C++ Mathematical Expression Toolkit (ExprTk) release
Loading...
Searching...
No Matches
exprtk_real_benchmark.cpp
Go to the documentation of this file.
1/*
2 **************************************************************
3 * C++ Mathematical Expression Toolkit Library *
4 * *
5 * ExprTk custom Real vs Native Benchmarks *
6 * Author: Arash Partow (1999-2024) *
7 * URL: https://www.partow.net/programming/exprtk/index.html *
8 * *
9 * Copyright notice: *
10 * Free use of the Mathematical Expression Toolkit Library is *
11 * permitted under the guidelines and in accordance with the *
12 * most current version of the MIT License. *
13 * https://www.opensource.org/licenses/MIT *
14 * SPDX-License-Identifier: MIT *
15 * *
16 **************************************************************
17*/
18
19
20#include <cstdio>
21#include <cmath>
22#include <iostream>
23#include <fstream>
24#include <string>
25#include <deque>
26
27#include "real_type.hpp"
29#include "exprtk.hpp"
30
31
32static const std::string expression_list[] =
33{
34 "(y + x)",
35 "2 * (y + x)",
36 "(2 * y + 2 * x)",
37 "((1.23 * x^2) / y) - 123.123",
38 "(y + x / y) * (x - y / x)",
39 "x / ((x + y) + (x - y)) / y",
40 "1 - ((x * y) + (y / x)) - 3",
41 "(5.5 + x) + (2 * x - 2 / 3 * y) * (x / 3 + y / 4) + (y + 7.7)",
42 "1.1x^1 + 2.2y^2 - 3.3x^3 + 4.4y^15 - 5.5x^23 + 6.6y^55",
43 "sin(2 * x) + cos(pi / y)",
44 "1 - sin(2 * x) + cos(pi / y)",
45 "sqrt(111.111 - sin(2 * x) + cos(pi / y) / 333.333)",
46 "(x^2 / sin(2 * pi / y)) - x / 2",
47 "x + (cos(y - sin(2 / x * pi)) - sin(x - cos(2 * y / pi))) - y",
48 "clamp(-1.0, sin(2 * pi * x) + cos(y / 2 * pi), +1.0)",
49 "max(3.33, min(sqrt(1 - sin(2 * x) + cos(pi / y) / 3), 1.11))",
50 "if((y + (x * 2.2)) <= (x + y + 1.1), x - y, x * y) + 2 * pi / x"
51};
52
53const std::size_t expression_list_size = sizeof(expression_list) / sizeof(std::string);
54
55
56static const real::type lower_bound_x = real::type(-100.0);
57static const real::type lower_bound_y = real::type(-100.0);
58static const real::type upper_bound_x = real::type(+100.0);
59static const real::type upper_bound_y = real::type(+100.0);
60static const real::type delta = real::type(0.0111);
61
62static const double lower_bound_x_d = -100.0;
63static const double lower_bound_y_d = -100.0;
64static const double upper_bound_x_d = +100.0;
65static const double upper_bound_y_d = +100.0;
66static const double delta_d = 0.0111;
67
68
69template <typename T,
70 typename Allocator,
71 template <typename,typename> class Sequence>
73 Sequence<exprtk::expression<T>,Allocator>& expr_seq)
74{
76 for (std::size_t i = 0; i < expression_list_size; ++i)
77 {
79 expression.register_symbol_table(symbol_table);
80
81 if (!parser.compile(expression_list[i],expression))
82 {
83 printf("[load_expression] - Parser Error: %s\tExpression: %s\n",
84 parser.error().c_str(),
85 expression_list[i].c_str());
86
87 return false;
88 }
89
90 expr_seq.push_back(expression);
91 }
92
93 return true;
94}
95
96template <typename T>
97void run_exprtk_benchmark(T& x, T& y,
98 exprtk::expression<T>& expression,
99 const std::string& expr_string)
100{
101 T total = T(0);
102 unsigned int count = 0;
103
104 exprtk::timer timer;
105 timer.start();
106
107 for (x = lower_bound_x; x <= upper_bound_x; x += delta)
108 {
109 for (y = lower_bound_y; y <= upper_bound_y; y += delta)
110 {
111 total += expression.value();
112 ++count;
113 }
114 }
115
116 timer.stop();
117
118 if (T(0) != total)
119 printf("[exprtk] Total Time:%12.8f Rate:%14.3fevals/sec Expression: %s\n",
120 timer.time(),
121 count / timer.time(),
122 expr_string.c_str());
123 else
124 printf("run_exprtk_benchmark() - Error running benchmark for expression: %s\n",expr_string.c_str());
125}
126
127template <typename T> struct native;
128
129template <typename T, typename NativeFunction>
130void run_native_benchmark(T& x, T& y, NativeFunction f, const std::string& expr_string)
131{
132 T total = T(0);
133 unsigned int count = 0;
134
135 exprtk::timer timer;
136 timer.start();
137
138 for (x = lower_bound_x_d; x <= upper_bound_x_d; x += delta_d)
139 {
140 for (y = lower_bound_y_d; y <= upper_bound_y_d; y += delta_d)
141 {
142 total += f(x,y);
143 ++count;
144 }
145 }
146
147 timer.stop();
148
149 if (T(0) != total)
150 printf("[native] Total Time:%12.8f Rate:%14.3fevals/sec Expression: %s\n",
151 timer.time(),
152 count / timer.time(),
153 expr_string.c_str());
154 else
155 printf("run_native_benchmark() - Error running benchmark for expression: %s\n",expr_string.c_str());
156}
157
158template <typename T>
160{
161 static const std::size_t rounds = 100000;
164
165 expression.register_symbol_table(symbol_table);
166
167 for (std::size_t i = 0; i < expression_list_size; ++i)
168 {
169 exprtk::timer timer;
170 timer.start();
171
172 for (std::size_t r = 0; r < rounds; ++r)
173 {
174 if (!parser.compile(expression_list[i],expression))
175 {
176 printf("[run_parse_benchmark] - Parser Error: %s\tExpression: %s\n",
177 parser.error().c_str(),
178 expression_list[i].c_str());
179
180 return false;
181 }
182 }
183
184 timer.stop();
185
186 printf("[parse] Total Time:%12.8f Rate:%14.3fparse/sec Expression: %s\n",
187 timer.time(),
188 rounds / timer.time(),
189 expression_list[i].c_str());
190 }
191
192 return true;
193}
194
195const real::type pi = 3.14159265358979323846;
196const double pi_d = 3.14159265358979323846;
197
198template <typename T>
199struct native
200{
202 typedef typename functor_t::Type Type;
203
204 static inline T avg(Type x, Type y)
205 {
206 return (x + y) / T(2);
207 }
208
209 static inline T clamp(const Type l, const Type v, const Type u)
210 {
211 return ((v < l) ? l : ((v > u) ? u : v));
212 }
213
214 static inline T func00(Type x, Type y)
215 {
216 return (y + x);
217 }
218
219 static inline T func01(Type x, Type y)
220 {
221 return T(2) * (y + x);
222 }
223
224 static inline T func02(Type x, Type y)
225 {
226 return (T(2) * y + T(2) * x);
227 }
228
229 static inline T func03(Type x, Type y)
230 {
231 return ((T(1.23) * (x * x)) / y) - T(123.123);
232 }
233
234 static inline T func04(Type x, Type y)
235 {
236 return (y + x / y) * (x - y / x);
237 }
238
239 static inline T func05(Type x, Type y)
240 {
241 return x / ((x + y) + (x - y)) / y;
242 }
243
244 static inline T func06(Type x, Type y)
245 {
246 return T(1) - ((x * y) + (y / x)) - T(3);
247 }
248
249 static inline T func07(Type x, Type y)
250 {
251 return (T(5.5) + x) + (T(2) * x - T(2) / T(3) * y) * (x / T(3) + y / T(4)) + (y + T(7.7));
252 }
253
254 static inline T func08(Type x, Type y)
255 {
256 using namespace std;
257 return (T(1.1)*pow(x,T(1))+T(2.2)*pow(y,T(2))-T(3.3)*pow(x,T(3))+T(4.4)*pow(y,T(15))-T(5.5)*pow(x,T(23))+T(6.6)*pow(y,T(55)));
258 }
259
260 static inline T func09(Type x, Type y)
261 {
262 return std::sin(T(2) * x) + std::cos(pi_d / y);
263 }
264
265 static inline T func10(Type x, Type y)
266 {
267 return T(1) - std::sin(T(2) * x) + std::cos(pi_d / y);
268 }
269
270 static inline T func11(Type x, Type y)
271 {
272 return std::sqrt(T(111.111) - std::sin(T(2) * x) + std::cos(pi_d / y) / T(333.333));
273 }
274
275 static inline T func12(Type x, Type y)
276 {
277 return ((x * x) / std::sin(T(2) * pi_d / y)) - x / T(2);
278 }
279
280 static inline T func13(Type x, Type y)
281 {
282 return (x + (std::cos(y - std::sin(T(2) / x * pi_d)) - std::sin(x - std::cos(T(2) * y / pi_d))) - y);
283 }
284
285 static inline T func14(Type x, Type y)
286 {
287 return clamp(T(-1), std::sin(T(2) * pi_d * x) + std::cos(y / T(2) * pi_d), + T(1));
288 }
289
290 static inline T func15(Type x, Type y)
291 {
292 return std::max(T(3.33), std::min(sqrt(T(1) - std::sin(T(2) * x) + std::cos(pi_d / y) / T(3)), T(1.11)));
293 }
294
295 static inline T func16(Type x, Type y)
296 {
297 return (((y + (x * T(2.2))) <= (x + y + T(1.1))) ? x - y : x * y) + T(2) * pi_d / x;
298 }
299};
300
301void pgo_primer();
302void perform_file_based_benchmark(const std::string& file_name, const std::size_t& rounds = 100000);
303
304int main(int argc, char* argv[])
305{
306 if (argc >= 2)
307 {
308 const std::string file_name = argv[1];
309
310 if (argc == 2)
312 else
313 perform_file_based_benchmark(file_name,atoi(argv[2]));
314
315 return 0;
316 }
317
318 pgo_primer();
319
320 real::type x = 0;
321 real::type y = 0;
322
324 symbol_table.add_constants();
325 symbol_table.add_variable("x",x);
326 symbol_table.add_variable("y",y);
327
328 std::deque<exprtk::expression<real::type> > expr_list;
329
330 if (!load_expression(symbol_table,expr_list))
331 {
332 return 1;
333 }
334
335 {
336 std::cout << "--- EXPRTK ---" << std::endl;
337 for (std::size_t i = 0; i < expr_list.size(); ++i)
338 {
339 run_exprtk_benchmark(x,y,expr_list[i],expression_list[i]);
340 }
341 }
342
343 {
344 std::cout << "--- NATIVE ---" << std::endl;
345 double x = 0;
346 double y = 0;
364 }
365
366 {
367 std::cout << "--- PARSE ----" << std::endl;
368 run_parse_benchmark(symbol_table);
369 }
370
371 return 0;
372}
373
375{
376 static const real::type lower_bound_x = -50.0;
377 static const real::type lower_bound_y = -50.0;
378 static const real::type upper_bound_x = +50.0;
379 static const real::type upper_bound_y = +50.0;
380 static const real::type delta = 0.07;
381
382 real::type total = 0.0;
383
384 for (real::type x = lower_bound_x; x <= upper_bound_x; x += delta)
385 {
386 for (real::type y = lower_bound_y; y <= upper_bound_y; y += delta)
387 {
388 total += native<double>::func00(x,y);
389 total += native<double>::func01(x,y);
390 total += native<double>::func02(x,y);
391 total += native<double>::func03(x,y);
392 total += native<double>::func04(x,y);
393 total += native<double>::func05(x,y);
394 total += native<double>::func06(x,y);
395 total += native<double>::func07(x,y);
396 total += native<double>::func08(x,y);
397 total += native<double>::func09(x,y);
398 total += native<double>::func10(x,y);
399 total += native<double>::func11(x,y);
400 total += native<double>::func12(x,y);
401 total += native<double>::func13(x,y);
402 total += native<double>::func14(x,y);
403 total += native<double>::func15(x,y);
404 total += native<double>::func16(x,y);
405 }
406 }
407}
408
409std::size_t load_expression_file(const std::string& file_name, std::deque<std::string>& expression_list)
410{
411 std::ifstream stream(file_name.c_str());
412
413 if (!stream) return 0;
414
415 std::string buffer;
416 buffer.reserve(1024);
417 std::size_t line_count = 0;
418
419 while (std::getline(stream,buffer))
420 {
421 if (buffer.empty())
422 continue;
423 else if ('#' == buffer[0])
424 continue;
425
426 ++line_count;
427 expression_list.push_back(buffer);
428 }
429
430 return line_count;
431}
432
433void perform_file_based_benchmark(const std::string& file_name, const std::size_t& rounds)
434{
435 std::deque<std::string> expr_str_list;
436
437 if (0 == load_expression_file(file_name,expr_str_list))
438 {
439 std::cout << "Failed to load any expressions from: " << file_name << "\n";
440 return;
441 }
442
443 typedef exprtk::symbol_table<real::type> symbol_table_t;
444 typedef exprtk::expression<real::type> expression_t;
445 typedef exprtk::parser<real::type> parser_t;
446
447 std::deque<expression_t> expression_list;
448
449 symbol_table_t symbol_table;
450
451 real::type a = 1.1;
452 real::type b = 2.2;
453 real::type c = 3.3;
454 real::type x = 2.123456;
455 real::type y = 3.123456;
456 real::type z = 4.123456;
457 real::type w = 5.123456;
458
459 symbol_table.add_variable("a", a);
460 symbol_table.add_variable("b", b);
461 symbol_table.add_variable("c", c);
462
463 symbol_table.add_variable("x", x);
464 symbol_table.add_variable("y", y);
465 symbol_table.add_variable("z", z);
466 symbol_table.add_variable("w", w);
467
480
481 symbol_table.add_function("poly01", poly01);
482 symbol_table.add_function("poly02", poly02);
483 symbol_table.add_function("poly03", poly03);
484 symbol_table.add_function("poly04", poly04);
485 symbol_table.add_function("poly05", poly05);
486 symbol_table.add_function("poly06", poly06);
487 symbol_table.add_function("poly07", poly07);
488 symbol_table.add_function("poly08", poly08);
489 symbol_table.add_function("poly09", poly09);
490 symbol_table.add_function("poly10", poly10);
491 symbol_table.add_function("poly11", poly11);
492 symbol_table.add_function("poly12", poly12);
493
495 symbol_table.add_variable("e", e, true);
496
497 symbol_table.add_constants();
498
499 {
500 parser_t parser;
501
502 for (std::size_t i = 0; i < expr_str_list.size(); ++i)
503 {
504 expression_t expression;
505 expression.register_symbol_table(symbol_table);
506
507 if (!parser.compile(expr_str_list[i],expression))
508 {
509 printf("[perform_file_based_benchmark] - Parser Error: %s\tExpression: %s\n",
510 parser.error().c_str(),
511 expr_str_list[i].c_str());
512
513 return;
514 }
515
516 expression_list.push_back(expression);
517 }
518 }
519
520 exprtk::timer total_timer;
521
522 real::type single_eval_total_time = 0.0;
523
524 total_timer.start();
525
526 for (std::size_t i = 0; i < expression_list.size(); ++i)
527 {
528 expression_t& e = expression_list[i];
529
530 exprtk::timer timer;
531
532 a = real::type(1.1);
533 b = real::type(2.2);
534 c = real::type(3.3);
535 x = real::type(2.123456);
536 y = real::type(3.123456);
537 z = real::type(4.123456);
538 w = real::type(5.123456);
539
540 timer.start();
541 real::type sum = 0.0;
542
543 for (std::size_t r = 0; r < rounds; ++r)
544 {
545 sum += e.value();
546 std::swap(a,b);
547 std::swap(x,y);
548 }
549
550 timer.stop();
551
552 printf("Expression %3d of %3d %9.3f ns\t%10d ns\t(%30.10f) '%s'\n",
553 static_cast<int>(i + 1),
554 static_cast<int>(expression_list.size()),
555 (timer.time() * 1000000000.0) / (1.0 * rounds),
556 static_cast<int>(timer.time() * 1000000000.0),
557 static_cast<double>(sum),
558 expr_str_list[i].c_str());
559
560 fflush(stdout);
561
562 single_eval_total_time += (timer.time() * 1000000000.0) / (1.0 * rounds);
563 }
564
565 total_timer.stop();
566
567 printf("[*] Number Of Evals: %15.0f\n",
568 rounds * (expression_list.size() * 1.0));
569
570 printf("[*] Total Time: %9.3fsec\n",
571 total_timer.time());
572
573 printf("[*] Total Single Eval Time: %9.3fms\n",
574 static_cast<double>(single_eval_total_time / 1000000.0));
575}
bool register_symbol_table(symbol_table< T > &st)
Definition exprtk.hpp:21726
bool compile(const std::string &expression_string, expression< T > &expr)
Definition exprtk.hpp:24443
std::string error() const
Definition exprtk.hpp:24722
bool add_variable(const std::string &variable_name, T &t, const bool is_constant=false)
Definition exprtk.hpp:20770
double time() const
Definition exprtk.hpp:43502
static const std::size_t rounds
void pgo_primer()
const std::size_t expression_list_size
void perform_file_based_benchmark(const std::string &file_name, const std::size_t &rounds=100000)
static const real::type upper_bound_y
bool run_parse_benchmark(exprtk::symbol_table< T > &symbol_table)
static const double upper_bound_y_d
std::size_t load_expression_file(const std::string &file_name, std::deque< std::string > &expression_list)
static const double lower_bound_y_d
const double pi_d
void run_exprtk_benchmark(T &x, T &y, exprtk::expression< T > &expression, const std::string &expr_string)
const real::type pi
void run_native_benchmark(T &x, T &y, NativeFunction f, const std::string &expr_string)
static const std::string expression_list[]
static const double delta_d
static const double lower_bound_x_d
static const double upper_bound_x_d
static const real::type lower_bound_y
static const real::type delta
bool load_expression(exprtk::symbol_table< T > &symbol_table, Sequence< exprtk::expression< T >, Allocator > &expr_seq)
static const real::type upper_bound_x
static const real::type lower_bound_x
static T func06(Type x, Type y)
static T func09(Type x, Type y)
static T func16(Type x, Type y)
static T func11(Type x, Type y)
static T func10(Type x, Type y)
static T func08(Type x, Type y)
static T func12(Type x, Type y)
static T func04(Type x, Type y)
static T clamp(const Type l, const Type v, const Type u)
static T func02(Type x, Type y)
exprtk::details::functor_t< T > functor_t
static T func15(Type x, Type y)
static T func00(Type x, Type y)
static T func03(Type x, Type y)
static T func13(Type x, Type y)
static T func07(Type x, Type y)
static T avg(Type x, Type y)
functor_t::Type Type
static T func05(Type x, Type y)
static T func14(Type x, Type y)
static T func01(Type x, Type y)