Date:Saturday, December 19th, 2020
Commit:c590cff1 on try-6-cores
Hostname:warfa with Racket 7.9
Seed:2020354
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: 4.0min)

sample2.0min (48.6%)

Algorithm
56×intervals
Results
36.4s36884×body2048valid
26.9s66264×body1024valid
7.9s34753×body512valid
4.7s73842×body128valid
2.4s17082×body256valid
1.8s1533×body1024nan
1.3s2342×body4096valid
1.0s43030×pre128true
804.0ms3066×body128overflowed
494.0ms728×body512nan
297.0ms3839×body128nan
273.0ms634×body1024overflowed
242.0ms189×body1024invalid
237.0ms370×body2048overflowed
169.0ms239×body512invalid
156.0ms1739×body128invalid
137.0ms397×body256nan
80.0ms290×body512overflowed
61.0ms149×body256invalid
31.0ms152×body256overflowed
14.0ms6×body2048nan
2.0ms1×body8192valid
1.0ms1×body2048invalid
1.0ms1×body4096invalid
Compiler

Compiled 18562 to 13684 computations (26.3% saved)

series47.1s (19.5%)

Calls

337 calls:

12.1s
(pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))) (cbrt.f64 (log.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))) (cbrt.f64 (log.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))
5.3s
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 (-.f64 1 (pow.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) 3)) (+.f64 1 (*.f64 (tan.f64 x) (*.f64 (tan.f64 eps) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))))) (tan.f64 x))
2.6s
(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)) (*.f64 (+.f64 (*.f64 a eps) (log.f64 (pow.f64 (exp.f64 (*.f64 eps eps)) (*.f64 (*.f64 a a) (+.f64 1/2 (*.f64 (*.f64 eps 1/6) a)))))) (-.f64 (exp.f64 (*.f64 b eps)) 1)))
806.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (log.f64 (exp.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))) (tan.f64 x))
722.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))

prune24.1s (10%)

Compiler

Compiled 273353 to 166177 computations (39.2% saved)

simplify18.2s (7.6%)

Algorithm
162×egg-herbie

analyze16.2s (6.7%)

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)

regimes9.8s (4.1%)

Accuracy

Total 14.3b remaining (19.3%)

Threshold costs 7.1b (9.6%)

3.1b86.9%expax (section 3.5)
1.7b83.2%2nthrt (problem 3.4.6)
1.3b94.5%quadm (p42, negative)
1.0b95.7%quad2p (problem 3.2.1, positive)
1.0b95.9%quadp (p42, positive)

Compiler

Compiled 51659 to 37322 computations (27.8% saved)

rewrite5.7s (2.4%)

Algorithm
106×rewrite-expression-head
Rules
1466×*-un-lft-identity_binary64_419
1311×add-sqr-sqrt_binary64_441
1256×times-frac_binary64_425
904×add-sqr-sqrt_binary64
877×*-un-lft-identity_binary64
725×times-frac_binary64
619×*-un-lft-identity_binary64_760
594×*-un-lft-identity_binary64_1101
563×add-sqr-sqrt_binary64_1123
562×*-un-lft-identity_binary64_78
503×add-cube-cbrt_binary64
498×add-cube-cbrt_binary64_454
486×times-frac_binary64_1107
469×add-sqr-sqrt_binary64_782
460×add-sqr-sqrt_binary64_100
412×times-frac_binary64_84
386×difference-of-squares_binary64_388
361×distribute-lft-out--_binary64_371
335×cancel-sign-sub-inv_binary64_385
326×add-cube-cbrt_binary64_113
320×add-cube-cbrt_binary64_1136
284×sqrt-prod_binary64_1117
278×add-cube-cbrt_binary64_795
252×add-exp-log_binary64
240×times-frac_binary64_766
230×difference-of-squares_binary64
221×add-cbrt-cube_binary64
205×sqrt-prod_binary64_776
197×add-exp-log_binary64_457
194×log-prod_binary64_846
181×add-exp-log_binary64_116
177×add-cbrt-cube_binary64_455
169×add-exp-log_binary64_798
168×add-cbrt-cube_binary64_114
165×pow1_binary64_821
159×unpow-prod-down_binary64
157×pow1_binary64_480
150×add-exp-log_binary64_1139
149×add-log-exp_binary64
140×cancel-sign-sub-inv_binary64
138×add-log-exp_binary64_458
132×distribute-lft-out_binary64_711
122×pow1_binary64
121×add-cbrt-cube_binary64_1137
118×distribute-lft-out--_binary64 distribute-lft-out_binary64_1052
116×log-prod_binary64_164
115×add-cbrt-cube_binary64_796
114×associate-/l*_binary64
108×div-inv_binary64_416
105×pow1_binary64_1162
104×pow1_binary64_139
103×difference-of-sqr-1_binary64_389 associate-*r*_binary64_700 add-log-exp_binary64_117
101×cbrt-prod_binary64_450
96×sqrt-prod_binary64_94
92×add-log-exp_binary64_1140 add-log-exp_binary64_799
91×flip3--_binary64_423 flip--_binary64_394
89×associate-/r*_binary64
88×distribute-lft-out_binary64_29
85×sqr-pow_binary64
82×associate-*r*_binary64_359
77×distribute-lft-out_binary64_370
76×associate-/l*_binary64_23
75×difference-of-squares_binary64_729 sqrt-prod_binary64
74×difference-of-squares_binary64_1070
73×distribute-lft-out_binary64 associate-*l*_binary64_701 cbrt-prod_binary64_791
71×associate-/l*_binary64_1046 associate-*r/_binary64_361
69×distribute-rgt-in_binary64_369 distribute-lft-in_binary64_368
68×associate-*l*_binary64_360
66×cancel-sign-sub-inv_binary64_1067 div-exp_binary64
60×flip3--_binary64 frac-sub_binary64_428 flip--_binary64
59×prod-exp_binary64_468
57×cbrt-undiv_binary64
56×add-sqr-sqrt_binary64_1464 associate-/l*_binary64_364
55×pow-unpow_binary64
53×associate-/r*_binary64_22 cancel-sign-sub-inv_binary64_44
51×associate-/r/_binary64
50×associate-/r*_binary64_363
49×cbrt-unprod_binary64_452
48×log-pow_binary64_849 associate-*r*_binary64_1041
47×associate--l+_binary64_356 div-exp_binary64_129 frac-times_binary64_429 associate-/r/_binary64_365 difference-of-squares_binary64_47
46×associate-/r/_binary64_1047 prod-exp_binary64 associate-/r*_binary64_1045
44×associate-*l*_binary64_1042 cbrt-undiv_binary64_112
43×unswap-sqr_binary64_728 div-inv_binary64
42×pow-prod-down_binary64_490 flip3-+_binary64_763 flip-+_binary64_734 unpow-prod-down_binary64_839
41×log-prod_binary64 exp-prod_binary64 distribute-lft-out--_binary64_1053
40×associate-*r*_binary64
39×flip3-+_binary64_422 *-un-lft-identity_binary64_1442 frac-add_binary64_427 flip-+_binary64_393
38×associate-/l/_binary64_366 log-prod_binary64_505
37×prod-exp_binary64_809 tan-quot_binary64_1601
36×flip3-+_binary64_1104 associate-*l*_binary64 flip-+_binary64_1075 sqrt-div_binary64_777
35×div-exp_binary64_1152
34×distribute-lft-out--_binary64_712 cbrt-unprod_binary64 cbrt-prod_binary64_109 distribute-lft-out--_binary64_30 div-inv_binary64_75
32×associate-+r+_binary64_10
31×flip--_binary64_53 exp-sum_binary64 diff-log_binary64 flip3--_binary64_82
30×sub-neg_binary64 cancel-sign-sub-inv_binary64_726 associate-/r/_binary64_24 log-div_binary64_847
29×add-log-exp_binary64_1481 div-inv_binary64_1098 pow1_binary64_1503 add-cube-cbrt_binary64_1477
28×add-cbrt-cube_binary64_1478 associate-/l*_binary64_705 log-pow_binary64_167 add-exp-log_binary64_1480
27×cbrt-unprod_binary64_111 prod-exp_binary64_127 prod-exp_binary64_1150
26×cube-prod_binary64_788 distribute-rgt-neg-in_binary64 associate-/r*_binary64_704 diff-log_binary64_511
25×sub-neg_binary64_412 flip-+_binary64_52 swap-sqr_binary64_727 flip3-+_binary64_81
24×difference-of-sqr--1_binary64_49 flip3--_binary64_1105 flip--_binary64_1076
23×unswap-sqr_binary64_387
22×pow1/2_binary64_840 associate-/r/_binary64_706 sqrt-pow1_binary64_778 sqrt-div_binary64 associate-+l+_binary64_352
21×associate-*l/_binary64_362 cbrt-undiv_binary64_1135 cbrt-unprod_binary64_1134 swap-sqr_binary64_386 distribute-lft-neg-in_binary64 neg-mul-1_binary64 *-commutative_binary64_350 unswap-sqr_binary64_1069
20×associate-/l/_binary64 sqrt-div_binary64_1118 associate-*r/_binary64_1043 sqrt-div_binary64_95 sqr-pow_binary64_732 pow-prod-down_binary64_1172 sqrt-pow1_binary64_1119 pow1/2_binary64_1181
19×clear-num_binary64 log-pow_binary64 frac-2neg_binary64 cbrt-unprod_binary64_793
18×rem-log-exp_binary64_801
17×div-exp_binary64_470
16×log-pow_binary64_508 diff-log_binary64_170 pow-flip_binary64_834 unpow3_binary64_485 distribute-rgt-out_binary64_372 sub-neg_binary64_71 *-commutative_binary64_691
15×flip3-+_binary64 cancel-sign-sub-inv_binary64_1408 unpow-prod-down_binary64_498 frac-2neg_binary64_89 clear-num_binary64_77 sum-log_binary64_510 pow-prod-down_binary64_831 pow-pow_binary64 div-exp_binary64_811 div-inv_binary64_757 flip-+_binary64
14×pow1/3_binary64_501 associate--l+_binary64_15
13×associate-*r/_binary64_1384 frac-times_binary64_1452 sub-neg_binary64_1094 difference-of-sqr-1_binary64_1071 associate-/l/_binary64_25 cbrt-undiv_binary64_453 flip--_binary64_735 flip3--_binary64_764 exp-prod_binary64_471
12×associate-*l*_binary64_19 associate-*l*_binary64_1383 frac-times_binary64_770 unswap-sqr_binary64 pow1/3_binary64_160 associate-*r*_binary64_18
11×distribute-lft-neg-in_binary64_376 pow1/2_binary64 sqrt-pow1_binary64_96 unpow2_binary64 sum-log_binary64_1192 sqrt-pow1_binary64 div-sub_binary64 diff-log_binary64_1193 rem-sqrt-square_binary64 pow-prod-up_binary64_830 pow1/2_binary64_158 distribute-rgt-neg-in_binary64_377
10×associate-*r*_binary64_1382 sum-log_binary64_851 *-commutative_binary64_1032 rem-sqrt-square_binary64_91 clear-num_binary64_1100 frac-2neg_binary64_1112 log-div_binary64_165 exp-prod_binary64_130 associate--r+_binary64_355
9×pow-prod-down_binary64 clear-num_binary64_418 pow-to-exp_binary64_829 unpow-prod-down_binary64_157 frac-2neg_binary64_430 pow-exp_binary64_828 associate-*r/_binary64 neg-mul-1_binary64_415 pow-flip_binary64_1175 frac-times_binary64 sum-log_binary64_169 associate--r+_binary64_14
8×+-commutative_binary64_8 cbrt-undiv_binary64_794 pow-to-exp_binary64 cbrt-div_binary64_451 pow-exp_binary64 rem-log-exp_binary64_119 1-exp_binary64_1145 rec-exp_binary64_1151 swap-sqr_binary64_1068 frac-times_binary64_1111 difference-of-squares_binary64_1411
7×+-commutative_binary64_1031 cbrt-unprod_binary64_1475 unpow3_binary64_826 sub-neg_binary64_1435 unpow2_binary64_143 sqr-pow_binary64_50 distribute-lft-in_binary64_1050 pow-prod-down_binary64_1513 exp-sum_binary64_465 associate-*l/_binary64_1385 sqr-pow_binary64_391 rem-sqrt-square_binary64_773 frac-2neg_binary64_771 cube-mult_binary64_790 diff-log_binary64_852 cbrt-div_binary64_792 prod-exp_binary64_1491 clear-num_binary64_759 distribute-rgt-in_binary64_1051 pow-sqr_binary64_733 +-commutative_binary64_349 tan-quot_binary64
6×exp-prod_binary64_1494 associate-*l/_binary64_703 distribute-neg-in_binary64_39 log-prod_binary64_1187 swap-sqr_binary64_45 associate-+l+_binary64_11 associate-/l/_binary64_1048 diff-log_binary64_1534 associate-*r/_binary64_702 rem-sqrt-square_binary64_1114 unswap-sqr_binary64_46 associate--l+_binary64_697 associate-*l/_binary64 *-commutative_binary64
5×inv-pow_binary64_1186 pow-prod-up_binary64_1171 rec-exp_binary64 flip-+_binary64_1416 log-prod_binary64_1528 div-sub_binary64_765 flip3-+_binary64_1445 1-exp_binary64 flip3--_binary64_1446 distribute-rgt-in_binary64_28 frac-sub_binary64_1451 exp-prod_binary64_1153 flip--_binary64_1417 distribute-lft-in_binary64_27 pow-to-exp_binary64_488 +-commutative_binary64_690 associate--r+_binary64_696 times-frac_binary64_1448 log-div_binary64 sub-neg_binary64_753 pow-exp_binary64_487
4×log-div_binary64_1188 associate-/l/_binary64_707 exp-prod_binary64_812 pow-pow_binary64_491 distribute-rgt-in_binary64_1392 exp-sum_binary64_124 sum-log_binary64 pow-pow_binary64_150 *-commutative_binary64_1373 exp-diff_binary64 distribute-lft-in_binary64_1391 pow1/3_binary64_842 associate-+r+_binary64_351 distribute-rgt-neg-in_binary64_36 associate-*l/_binary64_1044 rec-exp_binary64_810 associate-*r/_binary64_20 pow-prod-down_binary64_149 log-pow_binary64_1531 sqrt-unprod_binary64_1121 distribute-rgt-out--_binary64 distribute-lft-out--_binary64_1394 cbrt-prod_binary64 1-exp_binary64_804 exp-sum_binary64_1488
3×*-commutative_binary64_9 pow2_binary64_841 swap-sqr_binary64 pow-pow_binary64_1173 exp-diff_binary64_467 neg-sub0_binary64 pow-plus_binary64_823 pow-unpow_binary64_1519 cube-div_binary64_1471 inv-pow_binary64_845 pow-unpow_binary64_837 associate--l-_binary64_16 rem-exp-log_binary64 pow-sqr_binary64_1074 pow-unpow_binary64_155 unpow-prod-down_binary64_1180 exp-sum_binary64_1147 sqr-sin-a_binary64 +-commutative_binary64 distribute-frac-neg_binary64 cube-prod_binary64 un-div-inv_binary64 difference-of-sqr-1_binary64_48 unswap-sqr_binary64_1410
2×1-exp_binary64_463 rem-cube-cbrt_binary64_1465 pow-prod-up_binary64_148 associate--r-_binary64_699 pow-sqr_binary64_51 unpow-prod-up_binary64_1179 rem-exp-log_binary64_1482 associate-+l-_binary64_354 rem-log-exp_binary64 pow-div_binary64_494 inv-pow_binary64_504 associate--r-_binary64_358 neg-sub0_binary64_414 associate-+r+_binary64_1033 pow-exp_binary64_1169 rec-exp_binary64_469 cos-sum_binary64_553 exp-diff_binary64_1490 pow-flip_binary64_493 tan-quot_binary64_919 log-pow_binary64_1190 pow-exp_binary64_1510 sin-mult_binary64 associate--l-_binary64_698 pow-to-exp_binary64_1170 exp-diff_binary64_1149 associate--l-_binary64_357 sin-sum_binary64_893 tan-sum_binary64_1577 pow-pow_binary64_1514 div-sub_binary64_424 exp-neg_binary64_466 unpow-prod-up_binary64_497
1×associate-+l-_binary64_13 diff-atan_binary64_1258 distribute-rgt-out_binary64_1054 associate-+r+_binary64_692 pow-to-exp_binary64_147 exp-sum_binary64_806 frac-sub_binary64_769 exp-to-pow_binary64_822 rem-cbrt-cube_binary64_784 pow-plus_binary64_1164 sqrt-unprod_binary64_780 rec-exp_binary64_128 associate--r+_binary64 associate--l-_binary64 diff-sin_binary64_910 sum-log_binary64_1533 inv-pow_binary64_163 frac-sub_binary64_87 pow2_binary64_1182 rem-log-exp_binary64_1483 pow-plus_binary64_141 1-exp_binary64_122 +-commutative_binary64_1372 sin-mult_binary64_574 rem-square-sqrt_binary64_1113 pow-unpow_binary64_496 rem-cube-cbrt_binary64_783 frac-sub_binary64 distribute-rgt-in_binary64_710 pow2_binary64_500 cos-mult_binary64_914 unpow3_binary64 sqr-abs_binary64_775 distribute-lft1-in_binary64_1056 cube-mult_binary64 exp-to-pow_binary64 pow-flip_binary64 log-div_binary64_506 pow2_binary64_159 exp-diff_binary64_126 pow-plus_binary64_482 frac-sub_binary64_1110 pow-exp_binary64_146 sqr-pow_binary64_1414 distribute-lft-out_binary64_1393 pow-plus_binary64 associate-+r-_binary64_12 neg-sub0_binary64_73 inv-pow_binary64 rem-cube-cbrt_binary64 neg-log_binary64 diff-cos_binary64_570 distribute-lft-in_binary64_709 rem-log-exp_binary64_460 frac-add_binary64_1109 rem-exp-log_binary64_1141 cube-mult_binary64_1472 unpow3_binary64_1508 sqr-abs_binary64_1116 frac-add_binary64_1450 pow-sqr_binary64 rem-log-exp_binary64_1142 div-sub_binary64_83 cube-prod_binary64_1470 sub-div_binary64 pow-sqr_binary64_392 log-div_binary64_1529 sqr-pow_binary64_1073 pow-prod-up_binary64 rem-square-sqrt_binary64_772 pow-unpow_binary64_1178 pow-prod-up_binary64_489 exp-to-pow_binary64_1163 pow2_binary64 pow-flip_binary64_152 neg-log_binary64_171 unpow-prod-down_binary64_1521 pow-to-exp_binary64_1511 pow-pow_binary64_832 sin-cos-mult_binary64_916 div-sub_binary64_1106
Calls

337 calls:

237.0ms
(/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1))))
151.0ms
(-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1)))
92.0ms
(*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)))
85.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 (-.f64 1 (pow.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) 3)) (+.f64 1 (*.f64 (tan.f64 x) (*.f64 (tan.f64 eps) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))))) (tan.f64 x))
82.0ms
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))

localize1.5s (0.6%)

bsearch1.2s (0.5%)

Compiler

Compiled 46 to 52 computations (-13% saved)

end1.0ms (0%)

Profiling

Loading profile data...