Date:Sunday, October 18th, 2020
Commit:07f66b98 on simplicity-retired
Hostname:warfa with Racket 7.8
Seed:2020292
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:doubleprecision:fallback
default

Details

Time bar (total: 3.0min)

sample1.4min (47.9%)

Algorithm
56×intervals
Results
27.0s37058×body2048valid
20.3s66552×body1024valid
5.7s34492×body512valid
3.3s73725×body128valid
1.7s17169×body256valid
1.3s1516×body1024nan
949.0ms2172×body4096valid
768.0ms42990×pre128true
549.0ms3071×body128overflowed
422.0ms805×body512nan
219.0ms402×body2048overflowed
206.0ms3911×body128nan
193.0ms572×body1024overflowed
190.0ms185×body1024invalid
122.0ms236×body512invalid
117.0ms1790×body128invalid
100.0ms402×body256nan
75.0ms297×body512overflowed
51.0ms182×body256invalid
21.0ms146×body256overflowed
8.0ms6×body2048nan
3.0ms5×body2048invalid
Compiler

Compiled 19560 to 14421 computations (26.3% saved)

series41.9s (23.5%)

Calls

331 calls:

8.1s
(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) 1) (+.f64 (*.f64 b eps) (*.f64 (*.f64 b b) (+.f64 (*.f64 b (*.f64 1/6 (pow.f64 eps 3))) (*.f64 1/2 (*.f64 eps eps)))))))
982.0ms
(-.f64 (/.f64 1 (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (+.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
961.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
598.0ms
(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (+.f64 (tan.f64 x) (tan.f64 eps)))
560.0ms
(log.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x)))

prune14.3s (8.1%)

Compiler

Compiled 245023 to 149117 computations (39.1% saved)

simplify13.7s (7.7%)

Algorithm
159×egg-herbie

analyze10.3s (5.8%)

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)

regimes6.9s (3.9%)

Compiler

Compiled 54236 to 39180 computations (27.8% saved)

rewrite4.0s (2.2%)

Algorithm
103×rewrite-expression-head
Rules
2349×times-frac_binary64_2105
2329×*-un-lft-identity_binary64_2099
1802×add-sqr-sqrt_binary64_2120
1182×sqrt-prod_binary64_2114
811×add-sqr-sqrt_binary64_435
786×times-frac_binary64_420
673×*-un-lft-identity_binary64_414
622×distribute-lft-out_binary64_2052
591×*-un-lft-identity_binary64_1762
539×add-cube-cbrt_binary64_2131
449×difference-of-squares_binary64_2068
446×add-cube-cbrt_binary64_446
417×add-sqr-sqrt_binary64
410×add-sqr-sqrt_binary64_1109
407×*-un-lft-identity_binary64_1088
375×*-un-lft-identity_binary64
371×add-sqr-sqrt_binary64_1446
354×sqrt-prod_binary64_1777
346×*-un-lft-identity_binary64_77
341×add-sqr-sqrt_binary64_1783
334×*-un-lft-identity_binary64_1425
322×times-frac_binary64_1768
316×add-sqr-sqrt_binary64_772
315×distribute-lft-out--_binary64_2053
300×cbrt-prod_binary64_442
291×*-un-lft-identity_binary64_751 div-inv_binary64_2096
282×times-frac_binary64
244×add-sqr-sqrt_binary64_98
237×add-cube-cbrt_binary64_1794
224×times-frac_binary64_1431
216×times-frac_binary64_83
213×add-cube-cbrt_binary64
212×add-cube-cbrt_binary64_1457
203×times-frac_binary64_757
195×difference-of-squares_binary64_383
193×unpow-prod-down_binary64_490
192×add-cube-cbrt_binary64_1120
190×add-cube-cbrt_binary64_109
186×add-cube-cbrt_binary64_783
182×times-frac_binary64_1094
180×distribute-lft-out_binary64_1715
170×add-exp-log_binary64_1123
152×cbrt-prod_binary64_1116
149×add-exp-log_binary64_1460
144×add-exp-log_binary64_112
129×add-cbrt-cube_binary64_110
128×swap-sqr_binary64_2066
127×pow1_binary64_135
126×add-cbrt-cube_binary64_1121
125×cube-prod_binary64_439
121×associate-*r*_binary64_1030
118×add-exp-log_binary64_786 add-cbrt-cube_binary64_1458
117×pow1_binary64_1483
109×add-log-exp_binary64
101×add-cbrt-cube_binary64_784
100×pow1_binary64_1820
99×distribute-lft-out--_binary64_368
96×log-prod_binary64_1171 add-exp-log_binary64
95×add-exp-log_binary64_1797
94×add-exp-log_binary64_449
92×add-log-exp_binary64_1461
88×sqrt-prod_binary64
85×pow1_binary64_1146
83×difference-of-squares_binary64_1057
82×difference-of-squares_binary64 associate-*r*_binary64_1367
81×add-cbrt-cube_binary64_1795
80×pow1_binary64_809
79×log-prod_binary64_160 add-cbrt-cube_binary64 associate-/r*_binary64_360
78×add-log-exp_binary64_450 associate-/r*_binary64_2045 add-exp-log_binary64_2134
76×add-cbrt-cube_binary64_447
74×pow-unpow_binary64_488 log-prod_binary64_834
72×associate-*l*_binary64_1031
71×distribute-lft-out--_binary64
70×pow1_binary64_472 difference-of-squares_binary64_1394
69×pow1_binary64 add-log-exp_binary64_787
68×add-log-exp_binary64_1798
66×add-log-exp_binary64_113
65×distribute-lft-out_binary64_30
64×prod-exp_binary64_1134 associate-*r*_binary64_1704
61×add-log-exp_binary64_1124
60×unpow-prod-down_binary64_1164 sqrt-prod_binary64_429 associate-*l*_binary64_1368
55×associate-/l*_binary64_2046
54×difference-of-squares_binary64_720
53×associate-*l*_binary64_1705
49×sqr-pow_binary64_386 pow1_binary64_2157
48×associate-/r/_binary64_2047 add-cbrt-cube_binary64_2132
46×cbrt-div_binary64_106 prod-exp_binary64_1471 flip3--_binary64 distribute-lft-out_binary64_1041 flip--_binary64 log-pow_binary64_163
45×associate-/l*_binary64_24
44×distribute-lft-out--_binary64_1042 associate-*l*_binary64_2042 associate-*r*_binary64_2041 associate-/r*_binary64_1708
43×swap-sqr_binary64_1729
42×tan-quot_binary64_1918 associate-/r*_binary64_697 sqrt-prod_binary64_766
41×associate-/r*_binary64 unswap-sqr_binary64_1056
40×flip-+_binary64_51 associate-*r/_binary64_1369 flip3-+_binary64_80
39×associate-*l*_binary64_694 associate-*r/_binary64_2043
38×cbrt-unprod_binary64_1118 unpow-prod-down_binary64_1501 cbrt-prod_binary64
36×associate-*r*_binary64 cube-prod_binary64_1113 associate-/l*_binary64_698
34×associate-/r/_binary64_1710 distribute-lft-out--_binary64_31
33×associate-*l*_binary64_20
32×sqrt-div_binary64_2115 unswap-sqr_binary64_1393 sqrt-pow1_binary64_1779
31×distribute-lft-out--_binary64_705 div-exp_binary64_125 associate-*r*_binary64_19 flip3--_binary64_1429 flip--_binary64_1400 associate-*r*_binary64_693 log-div_binary64_161 associate-*r/_binary64_21
30×flip3--_binary64_418 sqrt-prod_binary64_1440 associate-/r*_binary64_23 cbrt-unprod_binary64_1455 div-exp_binary64_2147 flip--_binary64_389
29×cbrt-undiv_binary64_108 div-inv_binary64_411
28×distribute-lft-out--_binary64_1379 flip3-+_binary64_1428 diff-log_binary64 cbrt-prod_binary64_1790 flip-+_binary64_1399
27×unswap-sqr_binary64_1730 associate-/l*_binary64
26×flip-+_binary64_1736 flip3-+_binary64_1765 associate--l+_binary64_16 associate-/r*_binary64_1371
25×flip3--_binary64_755 flip--_binary64_726 prod-exp_binary64_123
24×add-log-exp_binary64_2135 cbrt-unprod_binary64_107 pow-prod-down_binary64_1493 flip3-+_binary64_2102 flip-+_binary64_2073 div-exp_binary64_799
23×sub-neg_binary64 pow-flip_binary64_2170 frac-add_binary64_1433 div-inv_binary64_74 associate-/l*_binary64_361
22×cbrt-prod_binary64_105 sqr-pow_binary64_1060 associate-/l*_binary64_1372 distribute-lft-out_binary64_367 sqrt-div_binary64 div-exp_binary64_462
21×difference-of-sqr-1_binary64_1395 distribute-lft-out_binary64_1378 associate-/r/_binary64_1036 *-commutative_binary64_1021 prod-exp_binary64_797 log-prod_binary64_1508
20×cbrt-undiv_binary64_782 pow-prod-down_binary64_1156 flip3--_binary64_1092 sqr-pow_binary64_1397 associate-/r/_binary64_699 sqrt-prod_binary64_1103 distribute-rgt-neg-in_binary64 cbrt-prod_binary64_779 pow-prod-down_binary64_145 flip--_binary64_1063 associate-*l/_binary64_1707
19×unpow-prod-down_binary64_1838 log-pow_binary64_500 log-pow_binary64_837 difference-of-squares_binary64_46 associate-/l*_binary64_1709 *-commutative_binary64_1358
18×pow-prod-down_binary64_1830 cbrt-div_binary64_443 div-inv_binary64_1759 unpow-prod-down_binary64_827 flip-+_binary64_1062 flip3-+_binary64_1091
17×unpow-prod-down_binary64 distribute-rgt-in_binary64_1377 div-inv_binary64_1085 sub-neg_binary64_407 distribute-lft-in_binary64_1376 associate-*l*_binary64 cbrt-unprod_binary64_781 div-inv_binary64_1422 pow1/3_binary64_156
16×pow1/2_binary64_2176 diff-log_binary64_503 sqrt-pow1_binary64_2116 sqrt-pow1_binary64_768 associate-*r/_binary64_1032 cube-div_binary64_440
15×cbrt-undiv_binary64_2130 distribute-lft-out_binary64_704 distribute-lft-in_binary64_702 div-inv_binary64_748 div-exp_binary64_1810 div-exp_binary64 distribute-rgt-in_binary64_703
14×prod-exp_binary64 frac-times_binary64_87 cbrt-unprod_binary64_1792 rem-sqrt-square_binary64 prod-exp_binary64_1808 associate-/l*_binary64_1035 pow1/2_binary64_1839
13×difference-of-squares_binary64_1731 sub-neg_binary64_1418 associate-*r*_binary64_356 frac-sub_binary64_2108 pow-flip_binary64_1833 pow-exp_binary64_1153 flip--_binary64_2074 flip3--_binary64_2103 pow-to-exp_binary64_1154 inv-pow_binary64_1844 div-inv_binary64 sqrt-div_binary64_1778 cube-prod_binary64 cbrt-undiv_binary64_445
12×pow1/2_binary64_1502 difference-of-sqr-1_binary64_1058 sqrt-pow1_binary64_1442 associate-/r/_binary64_25 pow1/3_binary64_493 associate--r+_binary64_15 frac-times_binary64_1435
11×flip3--_binary64_1766 associate-/r/_binary64 rec-exp_binary64_2146 flip-+_binary64_725 pow-exp_binary64_1490 sqrt-pow1_binary64 flip--_binary64_1737 flip3-+_binary64_754 sum-log_binary64_1513 associate-/l/_binary64_26 1-exp_binary64_2140
10×div-exp_binary64_1136 sqrt-div_binary64_430 unswap-sqr_binary64_719 pow-to-exp_binary64_1491 pow1/2_binary64 cube-mult_binary64_441 frac-2neg_binary64_88 frac-2neg_binary64_2110 exp-prod_binary64_463 frac-sub_binary64_1771 cube-prod_binary64_1787 associate-*l/_binary64_22 unswap-sqr_binary64 frac-add_binary64_1770 unpow3_binary64_477 clear-num_binary64_2098 *-commutative_binary64_1695 clear-num_binary64_76 associate-+r+_binary64_11
9×rem-log-exp_binary64_115 exp-prod_binary64_800 distribute-lft-out_binary64 cbrt-undiv_binary64 associate-/r*_binary64_1034 sub-neg_binary64_1081 clear-num_binary64_750 pow-prod-up_binary64_1829 sum-log_binary64_165 sum-log_binary64_1850 frac-2neg_binary64_762 diff-log_binary64_1514 diff-log_binary64_840 frac-times_binary64_2109 sub-neg_binary64_744 pow-pow_binary64_483
8×associate-/l/_binary64 *-commutative_binary64_10 cube-div_binary64_1114 cube-mult_binary64_1115 distribute-rgt-in_binary64_1040 inv-pow_binary64_2181 associate--l+_binary64_690 frac-times_binary64_1098 distribute-rgt-in_binary64_29 pow-prod-down_binary64_819 cbrt-undiv_binary64_1793 distribute-lft-out--_binary64_1716 associate-+l-_binary64_14 pow-to-exp_binary64_480 exp-prod_binary64_1474 unpow3_binary64_1151 distribute-lft-in_binary64_28 cbrt-div_binary64 cbrt-undiv_binary64_1119 cbrt-unprod_binary64 associate-/r/_binary64_1373 cbrt-div_binary64_1117 log-div_binary64_1509 div-exp_binary64_1473 swap-sqr_binary64_1392 sinh-undef_binary64_941 sqrt-div_binary64_767 distribute-lft-in_binary64_1039 pow-exp_binary64_479
7×flip--_binary64_52 rem-sqrt-square_binary64_1775 rem-log-exp_binary64_789 unswap-sqr_binary64_45 unpow-prod-up_binary64_1500 diff-log_binary64_166 sub-neg_binary64_70 diff-log_binary64_1177 prod-exp_binary64_2145 flip3--_binary64_81 swap-sqr_binary64_44 +-commutative_binary64_1357 rem-sqrt-square_binary64_764 pow1/2_binary64_828
6×associate-*r/_binary64_1706 flip3-+_binary64 diff-log_binary64_1851 log-div_binary64_835 tan-quot_binary64_233 pow1/3_binary64_1167 associate-*l*_binary64_357 clear-num_binary64_1761 pow-unpow_binary64_1162 pow-unpow_binary64_1836 associate-/l/_binary64_1037 *-commutative_binary64_684 cube-div_binary64 frac-2neg_binary64_1773 sum-log_binary64_839 sub-neg_binary64_1755 associate--r+_binary64_689 cbrt-undiv_binary64_1456 sqr-pow_binary64 associate-*l/_binary64_1370 flip-+_binary64
5×pow-pow_binary64_1494 clear-num_binary64_413 pow-prod-down_binary64 pow-sqr_binary64_1735 unpow3_binary64_1488 associate--l-_binary64_17 distribute-rgt-out--_binary64_1381 pow-unpow_binary64_1499 associate-/r/_binary64_362 pow-prod-up_binary64_144 associate-/l/_binary64_1711 log-pow_binary64_1511 clear-num_binary64 pow-prod-up_binary64_1492 +-commutative_binary64_1694 difference-of-sqr-1_binary64_721 distribute-lft-neg-in_binary64_36 frac-times_binary64_1772 pow-sqr_binary64_50 pow-prod-up_binary64_2166 distribute-rgt-neg-in_binary64_37 frac-2neg_binary64 sqr-pow_binary64_1734 log-pow_binary64_1174 frac-2neg_binary64_425 cube-prod_binary64_1450 1-exp_binary64_1803 rec-exp_binary64_1809 rem-log-exp_binary64_1463 associate-*l/_binary64_696 associate-+r+_binary64_1359
4×frac-2neg_binary64_1099 frac-times_binary64_761 +-commutative_binary64_9 sub-neg_binary64_2092 exp-diff_binary64_1470 flip3-+_binary64_417 1-exp_binary64_792 clear-num_binary64_1087 associate--l-_binary64 associate-*l/_binary64_1033 rec-exp_binary64_798 rec-exp_binary64 neg-sub0_binary64 1-exp_binary64 pow1/3_binary64 sqrt-pow1_binary64_431 log-prod_binary64_497 prod-exp_binary64_460 associate-/l/_binary64_363 rem-sqrt-square_binary64_1438 diff-log_binary64_2188 frac-2neg_binary64_1436 pow-prod-down_binary64_2167 +-commutative_binary64_683 associate-+l+_binary64_1360 unswap-sqr_binary64_2067 pow-pow_binary64_1831 neg-log_binary64 flip-+_binary64_388 sin-mult_binary64_229 div-sub_binary64_82 pow1/2_binary64_491 clear-num_binary64_1424 rem-log-exp_binary64_1126 frac-times_binary64 associate-/l/_binary64_2048 associate-*l/_binary64 *-commutative_binary64 rem-sqrt-square_binary64_427 cbrt-unprod_binary64_444
3×pow2_binary64_155 associate-/l/_binary64_700 exp-sum_binary64_1468 sqr-pow_binary64_723 pow-plus_binary64_137 unpow3_binary64_1825 associate-*l/_binary64_2044 unpow3_binary64 sqr-sin-a_binary64_222 sum-log_binary64 cube-mult_binary64 rem-cbrt-cube_binary64_437 cube-mult_binary64_1789 rec-exp_binary64_461 pow-unpow_binary64 div-sub_binary64 1-exp_binary64_455 neg-mul-1_binary64_73 log-div_binary64_1172 pow-sqr_binary64_1398 pow-sqr_binary64_2072 cbrt-unprod_binary64_2129 rem-cube-cbrt_binary64_436 associate-*r/_binary64_695
2×pow-flip_binary64_1496 pow-sub_binary64_1498 pow-to-exp_binary64 sin-cos-mult_binary64_1915 cos-sum_binary64_208 div-sub_binary64_756 sin-sum_binary64_1892 associate-*r/_binary64 unswap-sqr_binary64_382 neg-sub0_binary64_1420 pow-exp_binary64 pow-exp_binary64_1827 inv-pow_binary64_833 rem-cbrt-cube_binary64_1111 exp-neg_binary64_1469 frac-times_binary64_424 pow-pow_binary64_1157 +-commutative_binary64_1020 pow1/3_binary64_830 inv-pow_binary64_1507 associate-*l/_binary64_359 rem-cube-cbrt_binary64_1110 pow-to-exp_binary64_1828 rem-exp-log_binary64_1462 frac-sub_binary64_1434 +-commutative_binary64 tan-sum_binary64_1894 1-exp_binary64_1466 associate-+r+_binary64_1696 distribute-rgt-neg-out_binary64_39 associate-+l-_binary64_1362 un-div-inv_binary64 frac-add_binary64_2107 sum-log_binary64_1176 rec-exp_binary64_1472 pow-flip_binary64_822
1×rec-exp_binary64_124 frac-add_binary64_1096 pow-to-exp_binary64_817 pow-prod-down_binary64_482 1-exp_binary64_1129 log-div_binary64_498 rem-square-sqrt_binary64_2111 pow-plus_binary64_1485 associate--r+_binary64 exp-to-pow_binary64_1484 inv-pow_binary64_496 tan-quot_binary64_1244 pow-flip_binary64_485 div-sub_binary64_1767 associate-+r-_binary64_13 rem-cbrt-cube_binary64 1-exp_binary64_118 rem-square-sqrt_binary64_1437 exp-diff_binary64_459 *-commutative_binary64_347 associate-/l/_binary64_1374 *-commutative_binary64_2032 associate-+l+_binary64_12 div-sub_binary64_419 frac-sub_binary64 frac-sub_binary64_1097 sqrt-unprod_binary64_1444 sqrt-unprod_binary64_1781 pow-flip_binary64 pow2_binary64_1503 sub-div_binary64_421 diff-atan_binary64_1579 pow2_binary64_2177 div-sub_binary64_1093 rem-sqrt-square_binary64_2112 pow-plus_binary64_2159 inv-pow_binary64_1170 e-exp-1_binary64_1467 inv-pow_binary64_159 rem-cube-cbrt_binary64_1784 distribute-rgt-out--_binary64_370 sqrt-pow2_binary64_1780 sqrt-unprod_binary64_2118 inv-pow_binary64 rem-cube-cbrt_binary64 frac-sub_binary64_86 rem-cbrt-cube_binary64_1785 associate-+r+_binary64_685 distribute-frac-neg_binary64_42 pow1/3_binary64_1841 rem-log-exp_binary64_452 rem-square-sqrt_binary64_1774 pow-exp_binary64_816 pow-plus_binary64_1822 associate--l+_binary64_1701 exp-sum_binary64_457 pow-flip_binary64_1159 pow-pow_binary64 sub-div_binary64 distribute-rgt-out--_binary64 diff-cos_binary64_225 pow2_binary64_1840 associate-*r/_binary64_358 rec-exp_binary64_1135 div-sub_binary64_2104 pow-flip_binary64_148 diff-sin_binary64_1909 frac-sub_binary64_423 un-div-inv_binary64_749
Calls

331 calls:

118.0ms
(*.f64 (sqrt.f64 (-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x))))) (sqrt.f64 (-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x))))))
70.0ms
(/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
50.0ms
(/.f64 (/.f64 1 (*.f64 x (+.f64 1 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
42.0ms
(*.f64 (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
42.0ms
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))

localize1.0s (0.6%)

bsearch615.0ms (0.3%)

Compiler

Compiled 51 to 55 computations (-7.8% saved)

end1.0ms (0%)

Profiling

Loading profile data...