Date:Thursday, February 11th, 2021
Commit:bc7b0354 on mpmf-cost-baseline
Hostname:warfa with Racket 7.9
Seed:2021042
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:fallback
default

Details

Time bar (total: 11.6min)

series5.3min (45.7%)

Calls

316 calls:

36.0s
(cbrt.f64 (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 2)) (-.f64 (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (/.f64 (log.f64 (+.f64 x 1)) n) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3)))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 x) n) 2)) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3)) (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4))))))))
35.9s
(cbrt.f64 (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 2)) (-.f64 (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (/.f64 (log.f64 (+.f64 x 1)) n) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3)))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 x) n) 2)) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3)) (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4))))))))
35.4s
(cbrt.f64 (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 2)) (-.f64 (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (/.f64 (log.f64 (+.f64 x 1)) n) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3)))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 x) n) 2)) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3)) (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4))))))))
35.3s
(cbrt.f64 (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 2)) (-.f64 (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (/.f64 (log.f64 (+.f64 x 1)) n) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3)))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 x) n) 2)) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3)) (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4))))))))
35.3s
(cbrt.f64 (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 2)) (-.f64 (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (/.f64 (log.f64 (+.f64 x 1)) n) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3)))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 x) n) 2)) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3)) (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4))))))))
Compiler

Compiled 246180 to 194251 computations (21.1% saved)

sample4.4min (38.4%)

Algorithm
56×intervals
Results
46.3s36850×body2048valid
34.0s66570×body1024valid
9.9s34752×body512valid
5.7s73747×body128valid
3.0s17072×body256valid
2.2s1474×body1024nan
1.6s2175×body4096valid
1.3s42992×pre128true
1.0s2987×body128overflowed
654.0ms737×body512nan
355.0ms3881×body128nan
351.0ms371×body2048overflowed
341.0ms585×body1024overflowed
307.0ms179×body1024invalid
203.0ms218×body512invalid
186.0ms1730×body128invalid
186.0ms412×body256nan
117.0ms296×body512overflowed
73.0ms144×body256invalid
37.0ms152×body256overflowed
11.0msbody2048nan
7.0msbody8192valid
5.0msbody2048invalid
Compiler

Compiled 73013 to 53287 computations (27% saved)

prune44.1s (6.4%)

Compiler

Compiled 386173 to 226843 computations (41.3% saved)

simplify25.1s (3.6%)

Algorithm
186×egg-herbie

analyze17.9s (2.6%)

Algorithm
28×search
Search
TrueOtherFalseIter
0%90.9%9.1%0
14.3%76.7%9.1%1
21.4%67.8%10.9%2
33.2%51.7%15.1%3
37.6%44.1%18.2%4
43.8%36.2%19.9%5
46.6%32.5%20.9%6
48.1%29.6%22.3%7
49.9%27.4%22.7%8
51.1%25.4%23.5%9
51.5%24.3%24.2%10
52.4%22.9%24.7%11
53.2%21.5%25.2%12
53.5%20.9%25.6%13
53.9%20.1%26%14
Compiler

Compiled 332 to 278 computations (16.3% saved)

regimes12.3s (1.8%)

Accuracy

Total 27.2b remaining (55.2%)

Threshold costs 5.3b (10.8%)

6.7b61.5%2nthrt (problem 3.4.6)
4.7b83.5%quadp (p42, positive)
4.6b83.7%quad2p (problem 3.2.1, positive)
3.3b0%expq3 (problem 3.4.2)
1.4b94%quadm (p42, negative)

Compiler

Compiled 54342 to 38958 computations (28.3% saved)

rewrite7.5s (1.1%)

Algorithm
102×rewrite-expression-head
Rules
1025×*-un-lft-identity_binary64_3068
983×times-frac_binary64_410
907×sqrt-prod_binary64_3084
806×add-sqr-sqrt_binary64_426
770×*-un-lft-identity_binary64_404
702×times-frac_binary64_3074
647×add-sqr-sqrt_binary64
547×*-un-lft-identity_binary64
542×times-frac_binary64
531×add-cube-cbrt_binary64_439
399×*-un-lft-identity_binary64_1070 distribute-lft-out_binary64_3019
387×add-sqr-sqrt_binary64_1092
376×*-un-lft-identity_binary64_737
375×add-sqr-sqrt_binary64_759
344×add-sqr-sqrt_binary64_93
339×*-un-lft-identity_binary64_3401
334×add-sqr-sqrt_binary64_3090
329×add-sqr-sqrt_binary64_3423
321×add-cube-cbrt_binary64_3103
317×add-cube-cbrt_binary64
310×*-un-lft-identity_binary64_71
308×times-frac_binary64_1076
288×times-frac_binary64_3407
277×*-un-lft-identity_binary64_2069
272×times-frac_binary64_743
271×times-frac_binary64_77
244×add-cube-cbrt_binary64_106
235×add-cube-cbrt_binary64_772
229×add-cube-cbrt_binary64_1105
219×add-sqr-sqrt_binary64_2091
211×sqrt-prod_binary64_3417
191×add-log-exp_binary64_110
174×times-frac_binary64_2075
173×add-exp-log_binary64_109
161×add-cube-cbrt_binary64_3436
150×difference-of-squares_binary64
143×add-exp-log_binary64_442
140×log-prod_binary64_2155
131×associate-/r*_binary64_348
130×difference-of-squares_binary64_373
128×add-exp-log_binary64
127×add-cbrt-cube_binary64_107
126×add-exp-log_binary64_775 sqrt-prod_binary64_420
118×pow1_binary64_1131
117×add-exp-log_binary64_1108
115×cbrt-prod_binary64_102 add-cbrt-cube_binary64_440
114×add-sqr-sqrt_binary64_2424 distribute-lft-out--_binary64
112×add-cbrt-cube_binary64_773
111×add-cbrt-cube_binary64_1106
110×add-cbrt-cube_binary64
109×add-cube-cbrt_binary64_2104 add-exp-log_binary64_3439
103×cbrt-prod_binary64_768
98×add-log-exp_binary64_443
93×difference-of-squares_binary64_1039
91×add-log-exp_binary64_776
89×associate-/r*_binary64 add-log-exp_binary64
84×sqrt-prod_binary64_2085
83×sum-log_binary64_162
82×add-sqr-sqrt_binary64_1425
80×pow1_binary64_465 add-log-exp_binary64_1109
79×associate-*l*_binary64_12 distribute-lft-out--_binary64_356
76×*-un-lft-identity_binary64_1403
75×pow1_binary64_132
72×*-un-lft-identity_binary64_2402
71×pow1_binary64_798
70×associate-*r*_binary64_2342
68×sqrt-prod_binary64
67×pow1_binary64 associate-*r/_binary64_1012
66×unpow-prod-down_binary64_3147
62×difference-of-squares_binary64_2038 distribute-lft-out_binary64_3352
61×add-cbrt-cube_binary64_3437 tan-quot_binary64_1229
58×pow1_binary64_1464
57×add-cube-cbrt_binary64_1438 associate-*r*_binary64_677 associate-*r*_binary64
56×cancel-sign-sub-inv_binary64_370 add-exp-log_binary64_2440 add-cube-cbrt_binary64_2437 div-exp_binary64_122 flip-+_binary64_45 flip3-+_binary64_74
52×associate-*l*_binary64_678 cancel-sign-sub-inv_binary64_703
50×cancel-sign-sub-inv_binary64
49×cancel-sign-sub-inv_binary64_1036 associate-/l*_binary64_3013 associate-/l*_binary64_3346
48×associate-+r+_binary64_2001 distribute-lft-out_binary64_355
47×flip3--_binary64 associate-*r*_binary64_11 flip--_binary64 sqrt-div_binary64_421 add-log-exp_binary64_1442
46×div-exp_binary64_455 associate-/l*_binary64 add-exp-log_binary64_1441
45×flip3--_binary64_1074 flip--_binary64_1045 associate-/r*_binary64_1014 associate-/l*_binary64_349
44×difference-of-squares_binary64_706
43×associate-*r*_binary64_3341
42×frac-times_binary64_1080 add-cbrt-cube_binary64_1439 pow1_binary64_3462
41×associate-/l*_binary64_16 div-inv_binary64_401
40×distribute-lft-out_binary64_2020 div-exp_binary64_3452 associate-*l*_binary64_3342 *-un-lft-identity_binary64_1736 frac-add_binary64_79
38×frac-add_binary64_1078 unpow-prod-down_binary64_483
37×distribute-lft-out--_binary64_1022 flip3--_binary64_408 unpow-prod-down_binary64_150 difference-of-squares_binary64_3370 flip--_binary64_379 distribute-lft-out_binary64_688 add-cbrt-cube_binary64_2438
36×associate-/r/_binary64 add-exp-log_binary64_2107 cbrt-undiv_binary64_105 sqrt-div_binary64_3085 add-exp-log_binary64_3106 times-frac_binary64_2408
34×associate-/l*_binary64_1015
33×cancel-sign-sub-inv_binary64_3367 distribute-lft-out_binary64_1021 associate-/r*_binary64_3012
32×associate-/r*_binary64_15 prod-exp_binary64_786 frac-sub_binary64_80 prod-exp_binary64_120 associate-*l*_binary64_1011 div-exp_binary64
31×diff-log_binary64_163 associate-/r*_binary64_3345 div-inv_binary64_734 log-prod_binary64_1822 distribute-lft-out--_binary64_2021 cbrt-prod_binary64_1101
30×flip-+_binary64_1044 associate-/l*_binary64_682 flip3-+_binary64_1073
29×pow1/3_binary64_153 pow-prod-down_binary64_1141 distribute-lft-out--_binary64_689 associate-/r*_binary64_681
28×cbrt-undiv_binary64_438 associate-/r/_binary64_3014
27×add-sqr-sqrt_binary64_1758 associate-*r*_binary64_1010 log-prod_binary64_490 unswap-sqr_binary64_3369
26×associate-/r/_binary64_3347 sqrt-div_binary64_3418 cbrt-unprod_binary64_770 associate-/l/_binary64_1017 associate-/r/_binary64_350 flip3-+_binary64_407 cube-prod_binary64_432 flip-+_binary64_378 add-exp-log_binary64_2773
25×pow1_binary64_2463 associate-*l/_binary64_1013 unswap-sqr_binary64_705 unswap-sqr_binary64_39
24×cbrt-div_binary64_103 prod-exp_binary64_3450 cbrt-undiv_binary64 add-cbrt-cube_binary64_3104 associate-*r/_binary64_13 prod-exp_binary64_2451 cancel-sign-sub-inv_binary64_37 div-inv_binary64 add-log-exp_binary64_2774
23×cbrt-unprod_binary64_1103 *-un-lft-identity_binary64_2735 flip-+_binary64_3375 div-inv_binary64_68 associate-*r*_binary64_1343 add-sqr-sqrt_binary64_2757 prod-exp_binary64_1119 flip3-+_binary64_3404 div-inv_binary64_1067
22×diff-log_binary64 add-log-exp_binary64_3440 flip3--_binary64_741 flip--_binary64_712 distribute-lft-out--_binary64_3353 pow1_binary64_3129 cbrt-unprod_binary64_104
21×flip3-+_binary64_3071 difference-of-squares_binary64_40 flip3-+_binary64_740 add-log-exp_binary64_2441 flip-+_binary64_711 diff-log_binary64_496 flip-+_binary64_3042
20×add-cbrt-cube_binary64_2771 sqrt-prod_binary64_2418 prod-exp_binary64 associate-*l*_binary64_2343 add-cbrt-cube_binary64_2105 log-prod_binary64_1489 unpow-prod-down_binary64_2481 cbrt-prod_binary64_435
19×sub-neg_binary64 unswap-sqr_binary64_2370 associate-*l*_binary64_1344 pow-unpow_binary64_148 associate-*r/_binary64_3343 pow1_binary64_2130 add-cube-cbrt_binary64_1771 distribute-lft-out_binary64_22 difference-of-sqr-1_binary64_1040 associate-*r/_binary64_679 div-exp_binary64_788 add-log-exp_binary64_3107
18×frac-sub_binary64_413 associate-+l+_binary64_1003 associate-*l*_binary64_2010 sub-neg_binary64_397 pow1_binary64_2796 log-pow_binary64_1492
17×cbrt-undiv_binary64_3435 associate-*r*_binary64_2009 cbrt-undiv_binary64_771
16×times-frac_binary64_1409 swap-sqr_binary64_704 cbrt-unprod_binary64 div-inv_binary64_3398 sqrt-div_binary64
15×associate-/r/_binary64_1016 rec-exp_binary64_3451 1-exp_binary64_3445 div-exp_binary64_1121 sum-log_binary64_828 frac-add_binary64_412 add-cube-cbrt_binary64_2770 swap-sqr_binary64_38
14×associate-/r/_binary64_683 div-inv_binary64_3065 distribute-rgt-in_binary64_1686 sub-neg_binary64_730 distribute-lft-in_binary64_1685 cbrt-prod_binary64_1434 associate-*l*_binary64 cancel-sign-sub-inv_binary64_2368
13×add-log-exp_binary64_2108 distribute-lft-out--_binary64_23 frac-add_binary64_745 pow1_binary64_1797 pow1/2_binary64_484 pow-prod-down_binary64_808 cbrt-undiv_binary64_1104 div-exp_binary64_3119 sqrt-pow1_binary64_422 pow1/3_binary64_1152 pow-flip_binary64_3475 rem-sqrt-square_binary64_417 sub-neg_binary64_1063
12×difference-of-sqr-1_binary64_707 distribute-lft-in_binary64_686 cbrt-unprod_binary64_2435 associate-/l*_binary64_2014 cbrt-unprod_binary64_437 unswap-sqr_binary64 distribute-rgt-in_binary64_687 unpow-prod-down_binary64_2148 pow-prod-down_binary64_3472 sqr-pow_binary64_43 cube-prod_binary64_2430 unpow-prod-down_binary64_816 prod-exp_binary64_453 add-log-exp_binary64_1775
11×frac-sub_binary64_1079 associate-*r*_binary64_2675 *-commutative_binary64_668 pow1/2_binary64_3481 sqrt-pow1_binary64_3419 sqr-pow_binary64_3040 associate-/r*_binary64_2013 clear-num_binary64_403 frac-2neg_binary64_415 sum-log_binary64_1494
10×associate-/l/_binary64 +-commutative_binary64_667 cbrt-unprod_binary64_3434 clear-num_binary64 div-sub_binary64_76 diff-log_binary64_829 unswap-sqr_binary64_1038 frac-2neg_binary64 unswap-sqr_binary64_2037 log-pow_binary64_2158 log-div_binary64_1490 associate-/r/_binary64_2015 sqr-pow_binary64_376
pow1/3_binary64_819 prod-exp_binary64_1452 prod-exp_binary64_2118 *-commutative_binary64_1001 distribute-lft-out_binary64_1687 associate--l+_binary64_1673 add-cbrt-cube_binary64_1772 clear-num_binary64_70 sqr-pow_binary64_1042 add-exp-log_binary64_1774 cbrt-unprod_binary64_1436 diff-log_binary64_1162 unpow3_binary64_1136 unpow-prod-down_binary64_1149 prod-exp_binary64_2784 cube-prod_binary64_1098 difference-of-squares_binary64_2371 frac-2neg_binary64_82 pow-prod-down_binary64_1474
pow-prod-down_binary64 frac-2neg_binary64_1081 flip3-+_binary64_1406 unpow-prod-down_binary64 associate-+r-_binary64_5 pow1/2_binary64 sqr-pow_binary64_2374 associate-*r*_binary64_1676 clear-num_binary64_1069 distribute-rgt-out--_binary64_1024 sqrt-div_binary64_2086 frac-add_binary64_3409 sqrt-pow1_binary64 frac-2neg_binary64_748 unpow-prod-down_binary64_1482 associate-/r/_binary64_17 pow-prod-down_binary64_142 rem-sqrt-square_binary64 flip-+_binary64_1377 *-commutative_binary64_2333 cube-prod_binary64_1431 clear-num_binary64_736
unswap-sqr_binary64_1371 clear-num_binary64_3400 associate-/l/_binary64_351 cbrt-div_binary64_769 flip-+_binary64_2043 log-pow_binary64_493 flip3-+_binary64_2072 associate-+l+_binary64_2002 distribute-lft-out--_binary64_2354 associate-*l*_binary64_1677 swap-sqr_binary64_1037 distribute-neg-in_binary64_2030 inv-pow_binary64_3486 frac-2neg_binary64_3412 distribute-rgt-in_binary64_1020 sum-log_binary64_1161 distribute-rgt-out_binary64_3354 distribute-lft-in_binary64_1019 *-commutative_binary64_1334
flip--_binary64_46 flip3--_binary64_75 log-div_binary64_158 sqrt-pow1_binary64_3086 associate-*l*_binary64_345 cancel-sign-sub-inv_binary64_1369 pow1/2_binary64_3148 difference-of-sqr-1_binary64_374 associate--r+_binary64_1672 frac-times_binary64_81 div-inv_binary64_2399 sum-log_binary64_495 *-commutative_binary64_2 rec-exp_binary64_121 pow-prod-up_binary64_1140 sqr-pow_binary64_2041 pow-prod-down_binary64_2473 difference-of-squares_binary64_1372 pow-sqr_binary64_1043 associate-/l/_binary64_18 cbrt-undiv_binary64_3102 unpow3_binary64_470 cancel-sign-sub-inv_binary64_3034 cube-mult_binary64_434 associate-+l-_binary64_6 1-exp_binary64_115 cbrt-div_binary64_1102 sqr-pow_binary64_709 *-commutative_binary64
pow-sqr_binary64_44 pow-to-exp_binary64_2471 log-div_binary64_491 rec-exp_binary64_454 div-inv_binary64_2066 rem-log-exp_binary64_2110 pow-prod-up_binary64_141 +-commutative_binary64_1333 log-div_binary64_2156 pow-to-exp_binary64_140 flip--_binary64_1378 rem-sqrt-square_binary64_3081 distribute-rgt-neg-in_binary64 frac-times_binary64_747 pow-exp_binary64_139 associate--l+_binary64_341 1-exp_binary64_448 associate-/l/_binary64_684 associate-+l+_binary64_670 associate-*l/_binary64_680 cbrt-unprod_binary64_2768 pow-exp_binary64_2470 sub-neg_binary64_64 flip3--_binary64_1407
sin-mult_binary64_1225 pow-flip_binary64_3142 associate-/r*_binary64_1347 pow-exp_binary64_2803 pow-prod-down_binary64_475 flip3-+_binary64_2738 log-pow_binary64_1825 distribute-rgt-in_binary64_354 rec-exp_binary64 difference-of-squares_binary64_3037 1-exp_binary64 associate-*r*_binary64_344 associate-/l*_binary64_1348 cube-prod_binary64_2097 associate--l-_binary64_9 associate-/l/_binary64_2016 distribute-lft-out_binary64_1354 +-commutative_binary64_1000 distribute-lft-in_binary64_353 pow-prod-down_binary64_2806 pow-pow_binary64_143 div-sub_binary64 associate-*l/_binary64_14 frac-2neg_binary64_3079 associate-*l*_binary64_2676 flip-+_binary64_2709 associate--r+_binary64_340 *-commutative_binary64_3332 rem-log-exp_binary64_1444 cancel-sign-sub-inv_binary64_1702 clear-num_binary64_3067 associate-*r/_binary64_346 cube-div_binary64_433 sqr-pow_binary64 associate--l+_binary64 distribute-rgt-neg-in_binary64_2027 distribute-lft-out--_binary64_1355 associate-+r-_binary64_1337 div-exp_binary64_2120
pow-to-exp_binary64_806 pow2_binary64_152 flip3-+_binary64_2405 pow-unpow_binary64_2812 pow-plus_binary64_1133 flip--_binary64_2044 pow-to-exp_binary64_473 rem-log-exp_binary64_445 associate-/l*_binary64_2347 flip3--_binary64_3405 sum-log_binary64_2826 sqrt-unprod_binary64_3421 flip--_binary64_3376 associate-/r*_binary64_2346 associate-+r+_binary64_1668 sqr-pow_binary64_2707 cbrt-unprod_binary64_2102 associate-*r/_binary64 distribute-lft-out--_binary64_1688 pow-plus_binary64_134 pow-to-exp_binary64_2138 flip-+_binary64_2376 rec-exp_binary64_3118 sqr-sin-a_binary64_219 exp-to-pow_binary64_2797 *-commutative_binary64_2000 sum-log_binary64_2493 associate-+r+_binary64_1002 diff-log_binary64_1495 flip3--_binary64_2073 cube-mult_binary64_2432 cancel-sign-sub-inv_binary64_2701 +-commutative_binary64_1 diff-log_binary64_1828 cube-div_binary64_1099 exp-prod_binary64_2787 1-exp_binary64_3112 +-commutative_binary64_2332 pow-unpow_binary64_1480 distribute-lft-out--_binary64_3020 distribute-lft-out_binary64_2686 associate-+r+_binary64_669 unpow3_binary64_2468 pow-unpow_binary64_3145 pow-exp_binary64_2137 associate-+r+_binary64_1335 pow-unpow_binary64_481 pow-exp_binary64_805 +-commutative_binary64_2665 pow-unpow_binary64_1147 rem-exp-log_binary64_2775 associate-/l/_binary64_3348 pow-exp_binary64_472
inv-pow_binary64_1155 1-exp_binary64_1114 unpow3_binary64_1469 cos-sum_binary64_1204 distribute-rgt-out_binary64_1356 cube-prod_binary64_2763 pow-to-exp_binary64_3137 distribute-lft-in_binary64_2684 rem-cube-cbrt_binary64_2758 pow-to-exp_binary64 distribute-rgt-in_binary64_2685 flip-+_binary64_1710 sub-neg_binary64_3394 pow-flip_binary64_478 associate--l-_binary64 sin-sum_binary64_1536 clear-num_binary64_2068 sub-neg_binary64_1729 *-commutative_binary64_1667 div-sub_binary64_1408 pow2_binary64_1151 *-commutative_binary64_335 associate-*r/_binary64_1345 associate--l+_binary64_8 associate-*r/_binary64_2677 associate--r+_binary64_7 flip--_binary64_1711 tan-sum_binary64_1205 associate-*l/_binary64_1679 unpow2_binary64_136 pow-prod-up_binary64_807 1-exp_binary64_781 log-pow_binary64_160 pow-to-exp_binary64_2804 rem-cube-cbrt_binary64_1093 distribute-lft-in_binary64_1352 div-exp_binary64_2453 pow-flip_binary64_811 inv-pow_binary64_3153 neg-sub0_binary64_732 sub-neg_binary64_1396 pow-exp_binary64 neg-sub0_binary64_1398 unsub-neg_binary64_1397 neg-log_binary64_1496 sum-log_binary64_2160 sum-log_binary64 rec-exp_binary64_1120 +-commutative_binary64_334 pow-flip_binary64 exp-diff_binary64_785 +-commutative_binary64_2998 associate--l+_binary64_1340 cbrt-unprod_binary64_1769 flip3--_binary64_1740 unpow-prod-down_binary64_2814 frac-2neg_binary64_2080 unswap-sqr_binary64_2703 tan-quot_binary64_230 difference-of-squares_binary64_1705 *-commutative_binary64_2666 cbrt-undiv_binary64_2103 rec-exp_binary64_787 inv-pow_binary64 diff-log_binary64_3493 inv-pow_binary64_489 tan-quot_binary64_2561 difference-of-sqr--1_binary64_1374 cbrt-div_binary64_436 distribute-rgt-in_binary64_1353 cube-mult_binary64_1433 pow-pow_binary64_1142 associate--l-_binary64_342 sin-mult_binary64_226 unpow3_binary64_2801 flip3-+_binary64_1739 pow-flip_binary64_1144 cube-mult_binary64_2765 unswap-sqr_binary64_1704 pow-sqr_binary64_710 rem-sqrt-square_binary64_3414 pow-exp_binary64_3136 sum-log_binary64_3159 sqr-pow_binary64_1375 associate-+l+_binary64_2668 div-sub_binary64_2074 pow-pow_binary64_2807 associate-/r/_binary64_2348 prod-exp_binary64_1785 pow-exp_binary64_1138 difference-of-squares_binary64_2704 pow-prod-down_binary64_1807 associate--l+_binary64_1007 sum-log_binary64_1827 exp-neg_binary64_784 inv-pow_binary64_822
rem-cbrt-cube_binary64_428 rem-cube-cbrt_binary64_1426 flip3-+_binary64 +-commutative_binary64_3331 associate-+r+_binary64_3 pow2_binary64_818 flip3--_binary64_2739 diff-log_binary64_3160 un-div-inv_binary64_3399 frac-2neg_binary64_1414 associate-+l-_binary64_1005 difference-of-sqr-1_binary64_1706 associate--r+_binary64 exp-to-pow_binary64_799 pow-pow_binary64_3140 cancel-sign-sub-inv_binary64_2035 cube-mult_binary64_1100 rec-exp_binary64_2452 cos-mult_binary64_1224 inv-pow_binary64_156 sub-neg_binary64_3061 flip--_binary64_2710 distribute-lft-out_binary64 sub-neg_binary64_2395 associate-+r-_binary64_2003 exp-prod_binary64_789 pow-pow_binary64_1475 pow1/3_binary64_1485 neg-sub0_binary64 sqrt-prod_binary64_2751 flip--_binary64_2377 frac-sub_binary64_3410 flip--_binary64_3043 associate-+l-_binary64_2004 sub-neg_binary64_2728 sqrt-pow1_binary64_2087 distribute-rgt-in_binary64_21 distribute-lft-out--_binary64_2687 cube-mult_binary64_2099 pow-exp_binary64_1471 1-exp_binary64_2446 frac-sub_binary64_746 clear-num_binary64_1402 diff-log_binary64_2161 pow-pow_binary64_476 associate-/l/_binary64_3015 diff-log_binary64_2827 unpow3_binary64_2135 pow1/2_binary64_2149 cbrt-undiv_binary64_2436 unswap-sqr_binary64_372 diff-atan_binary64_1227 frac-times_binary64_3411 diff-cos_binary64_1221 associate--l-_binary64_1008 clear-num_binary64_2401 div-sub_binary64_3406 neg-log_binary64_2162 +-commutative_binary64_1999 distribute-lft-in_binary64_20 pow-to-exp_binary64_1139 neg-log_binary64 difference-of-sqr-1_binary64_2705 neg-mul-1_binary64_1399 associate-+l-_binary64_672 sin-cos-mult_binary64_1559 rem-exp-log_binary64_777 diff-log_binary64_2494 sum-log_binary64_3492 div-inv_binary64_1400 distribute-lft-neg-in_binary64_1360 sub-neg_binary64_2062 inv-pow_binary64_2487 pow1/3_binary64_486 pow-plus_binary64_800 div-sub_binary64_409 neg-sub0_binary64_2064 +-commutative_binary64 div-exp_binary64_1454 frac-2neg_binary64_2413 flip3--_binary64_3072 associate-*l/_binary64_3344 pow-to-exp_binary64_1472 cbrt-undiv_binary64_1437 pow-flip_binary64_145 pow-flip_binary64_2476 diff-sin_binary64_1553 +-commutative_binary64_1666 rem-cube-cbrt_binary64_427 frac-sub_binary64_2411 flip3--_binary64_2406 rem-cbrt-cube_binary64_1427 flip-+_binary64
Calls

632 calls:

112.0ms
(-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 x 1)) 2) (*.f64 n n))) (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (/.f64 (log.f64 (+.f64 x 1)) n) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3))))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n))) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3)) (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4))))))
101.0ms
(-.f64 (sqrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (sqrt.f64 (+.f64 (/.f64 1/2 (*.f64 N N)) (/.f64 1/4 (pow.f64 N 4)))))
96.0ms
(-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (+.f64 (/.f64 1/2 (*.f64 N N)) (/.f64 1/4 (pow.f64 N 4))))
94.0ms
(cbrt.f64 (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 2)) (-.f64 (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (/.f64 (log.f64 (+.f64 x 1)) n) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3)))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 x) n) 2)) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3)) (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4))))))))
91.0ms
(cbrt.f64 (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 2)) (-.f64 (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (/.f64 (log.f64 (+.f64 x 1)) n) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3)))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 x) n) 2)) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3)) (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4))))))))

localize2.3s (0.3%)

bsearch1.1s (0.2%)

Compiler

Compiled 12 to 23 computations (-91.7% saved)

end3.0ms (0%)

Profiling

Loading profile data...