Date:Tuesday, August 18th, 2020
Commit:e43305aa on cleanup
Hostname:warfa with Racket 7.5
Seed:2020231
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: 12.3min)

sample5.2min (42%)

Algorithm
498×intervals
Results
1.0min1798600×body80valid
26.6s257576×body80invalid
15.7s32796×body1280valid
8.7s30046×body640valid
3.4s52190×body80nan
3.4s4384×body2560valid
3.3s17752×body320valid
1.5s5110×body1280invalid
1.2s9506×body160valid
1.0s5401×body640invalid
430.0ms3165×body320invalid
190.0ms2050×body160invalid
103.0ms36×body5120valid
79.0ms336×body640nan
47.0ms145×body1280nan
46.0ms848×body80overflowed
33.0ms210×body320nan
12.0ms125×body160nan
Compiler

Compiled 46134 to 34860 computations (24.4% saved)

analyze1.9min (15.1%)

Algorithm
270×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
2.2%97.6%0.1%1
4.3%95.4%0.3%2
10.5%88.3%1.3%3
15.4%81.8%2.8%4
23.4%72.8%3.7%5
29.2%65.4%5.4%6
36.4%56.3%7.3%7
40.6%51%8.4%8
45.6%44.6%9.8%9
49.5%39.2%11.4%10
52.9%34.9%12.2%11
55.6%31.3%13%12
58.6%27.3%14.1%13
60.5%25.1%14.4%14
Compiler

Compiled 3201 to 2770 computations (13.5% saved)

simplify1.7min (14.2%)

Algorithm
1328×egg-herbie

prune1.1min (9%)

Compiler

Compiled 1870525 to 759959 computations (59.4% saved)

regimes1.0min (8.1%)

Compiler

Compiled 202788 to 149936 computations (26.1% saved)

series50.6s (6.9%)

Calls

2333 calls:

2.2s
(+.f64 (pow.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 3) (pow.f64 (*.f64 a b) 3))
1.7s
(pow.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) 3)
343.0ms
(-.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (+.f64 a (*.f64 b c)) (*.f64 c i)))
297.0ms
(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
280.0ms
(/.f64 (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 (*.f64 x y) z)) 471841060772561/17179869184)) 7925469156333415/34359738368)) t) (*.f64 (cbrt.f64 (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i)) (cbrt.f64 (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i))))

rewrite23.6s (3.2%)

Algorithm
830×rewrite-expression-head
Rules
33468×times-frac_binary64
31924×*-un-lft-identity_binary64
30185×add-sqr-sqrt_binary64
20641×add-cube-cbrt_binary64
9853×add-exp-log_binary64
7859×add-cbrt-cube_binary64
6298×cbrt-prod_binary64
6258×associate-*r*_binary64
5944×pow1_binary64
5057×sqrt-prod_binary64
3651×associate-*l*_binary64
3540×add-log-exp_binary64
3384×difference-of-squares_binary64
3180×distribute-lft-out--_binary64
2955×associate-/r*_binary64
2917×prod-exp_binary64
2429×distribute-lft-out_binary64
2427×cbrt-unprod_binary64
2023×div-exp_binary64
1966×cbrt-div_binary64
1912×associate-/l*_binary64
1785×associate-/r/_binary64
1770×associate-*r/_binary64
1727×div-inv_binary64
1715×pow-prod-down_binary64
1700×flip3--_binary64 flip--_binary64
1520×cbrt-undiv_binary64
1506×flip3-+_binary64 flip-+_binary64
1469×frac-times_binary64
1277×unswap-sqr_binary64
1243×associate-*l/_binary64
1213×unpow-prod-down_binary64
1098×log-prod_binary64
860×pow1/3_binary64
809×distribute-rgt-in_binary64 distribute-lft-in_binary64
767×*-commutative_binary64
702×swap-sqr_binary64
646×sqrt-div_binary64
597×sub-neg_binary64
482×associate-/l/_binary64
470×clear-num_binary64 frac-2neg_binary64
437×sum-log_binary64
427×cube-prod_binary64
392×frac-sub_binary64
329×sqrt-pow1_binary64
317×associate-+r+_binary64
284×+-commutative_binary64
252×tanh-def-a_binary64 tanh-def-b_binary64 tanh-def-c_binary64
231×diff-log_binary64
226×pow-prod-up_binary64
225×1-exp_binary64
223×associate--l+_binary64
221×rec-exp_binary64
216×log-pow_binary64
193×exp-prod_binary64
190×pow-sqr_binary64
189×pow1/2_binary64
180×associate-+l+_binary64
165×sqr-pow_binary64
153×frac-add_binary64
141×pow-exp_binary64
135×pow-unpow_binary64
98×pow-to-exp_binary64
95×div-sub_binary64
87×pow-plus_binary64
83×pow2_binary64
67×pow-flip_binary64
63×rem-sqrt-square_binary64
56×pow-pow_binary64
55×un-div-inv_binary64
52×inv-pow_binary64
42×log-div_binary64
40×associate--r+_binary64 cube-div_binary64
35×associate-+l-_binary64 unpow2_binary64
33×sinh-def_binary64 unpow3_binary64 cube-mult_binary64
32×distribute-rgt-out--_binary64
30×rem-log-exp_binary64
28×distribute-rgt-out_binary64
25×cosh-def_binary64
24×rem-cube-cbrt_binary64
22×difference-of-sqr-1_binary64
19×distribute-rgt-neg-out_binary64 sub-div_binary64
18×unpow-prod-up_binary64
17×sum-cubes_binary64
14×sqrt-unprod_binary64 rem-exp-log_binary64
13×distribute-lft-neg-in_binary64
12×associate--l-_binary64 exp-sum_binary64 associate-+r-_binary64 distribute-neg-frac_binary64 distribute-rgt-neg-in_binary64 rem-square-sqrt_binary64 unsub-neg_binary64
11×rem-cbrt-cube_binary64
9×e-exp-1_binary64
8×pow-sub_binary64
7×distribute-rgt1-in_binary64 neg-mul-1_binary64 unpow1/3_binary64 distribute-lft1-in_binary64 cos-sum_binary64
6×count-2_binary64 associate--r-_binary64
5×exp-diff_binary64
4×exp-to-pow_binary64 diff-cos_binary64 distribute-lft-neg-out_binary64
3×cos-diff_binary64
2×neg-sub0_binary64 cosh-undef_binary64 tan-quot_binary64
1×sqrt-undiv_binary64 sqrt-pow2_binary64 neg-log_binary64 sin-cos-mult_binary64 exp-neg_binary64
Calls

2333 calls:

193.0ms
(*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3))))
112.0ms
(*.f64 (-.f64 a x) (/.f64 (cbrt.f64 (-.f64 y z)) (/.f64 (-.f64 (+.f64 t 1) z) (cbrt.f64 (-.f64 y z)))))
106.0ms
(-.f64 (/.f64 (/.f64 (+.f64 z x) y) (/.f64 1 (-.f64 z x))) y)
76.0ms
(*.f64 (*.f64 (/.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (*.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))))) (/.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (cbrt.f64 (-.f64 a z)))))
70.0ms
(*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))) (cbrt.f64 (-.f64 a z))) (*.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))) (/.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 a z))))) (/.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (cbrt.f64 (-.f64 a z)))))

localize8.3s (1.1%)

bsearch3.0s (0.4%)

Compiler

Compiled 161 to 270 computations (-67.7% saved)

end5.0ms (0%)

Profiling

Loading profile data...