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: 2.2min)

sample44.6s (33.9%)

Algorithm
69×intervals
Results
10.1s216936×body80valid
4.6s10147×body1280valid
2.7s16027×body160valid
2.2s1695×body2560valid
1.8s6669×body640valid
1.8s91273×pre80true
1.7s13437×body80invalid
906.0ms5472×body320valid
849.0ms200×body5120exit
136.0ms274×body640invalid
106.0ms138×body1280invalid
63.0ms202×body320invalid
39.0ms14×body5120valid
35.0ms18×body2560invalid
21.0ms112×body160invalid
18.0ms358×body80nan
16.0ms180×body80overflowed
4.0ms100×pre80false
Compiler

Compiled 9243 to 6232 computations (32.6% saved)

prune38.5s (29.3%)

Compiler

Compiled 437622 to 231833 computations (47% saved)

analyze21.2s (16.1%)

Algorithm
36×search
2×random
Search
TrueOtherFalseIter
0%60.5%39.5%0
1.4%59.2%39.5%1
5.6%55%39.5%2
11.1%47.4%41.5%3
13.9%43.5%42.6%4
19%38.1%42.8%5
20.7%35.1%44.2%6
24%30.1%45.9%7
26.5%26.9%46.6%8
29.4%22.8%47.8%9
31.8%19.6%48.6%10
33.4%17.3%49.2%11
35.7%14.6%49.7%12
40.6%9%50.4%13
41.2%8.2%50.6%14
Compiler

Compiled 1071 to 786 computations (26.6% saved)

simplify15.4s (11.7%)

Algorithm
163×egg-herbie

series3.8s (2.9%)

Calls

263 calls:

85.0ms
(+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 x1 (+.f64 -6 (*.f64 2 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))))) (*.f64 4 (*.f64 x1 x1)))) (*.f64 (*.f64 (cbrt.f64 (*.f64 -6 (*.f64 x1 x1))) (cbrt.f64 (*.f64 -6 (*.f64 x1 x1)))) (cbrt.f64 (*.f64 -6 (*.f64 x1 x1)))))
77.0ms
(+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))
72.0ms
(+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 x1 (+.f64 -6 (*.f64 2 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))))) (*.f64 4 (*.f64 x1 x1)))) (*.f64 x1 (*.f64 -6 x1)))
72.0ms
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
71.0ms
(/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n))

rewrite3.7s (2.8%)

Algorithm
97×rewrite-expression-head
Rules
12462×times-frac_binary64
8351×*-un-lft-identity_binary64
8272×add-sqr-sqrt_binary64
5340×add-cube-cbrt_binary64
1842×add-exp-log_binary64
1750×cbrt-prod_binary64
1401×difference-of-squares_binary64
1270×add-cbrt-cube_binary64
916×distribute-lft-out_binary64
857×associate-*r*_binary64
625×div-exp_binary64
602×add-log-exp_binary64
589×prod-exp_binary64
576×associate-/l*_binary64
570×distribute-lft-out--_binary64
559×div-inv_binary64
542×pow1_binary64
518×cbrt-unprod_binary64
437×cbrt-undiv_binary64
388×associate-/r/_binary64
385×flip3-+_binary64 associate-/r*_binary64 flip-+_binary64
360×sqrt-prod_binary64
342×associate-*l*_binary64
302×unpow-prod-down_binary64
227×frac-times_binary64
226×sqr-pow_binary64
200×associate-*r/_binary64
153×sum-log_binary64
132×pow-prod-down_binary64
131×cbrt-div_binary64
121×associate-*l/_binary64
119×flip3--_binary64 flip--_binary64
103×unswap-sqr_binary64
91×frac-sub_binary64
89×difference-of-sqr-1_binary64
87×sqrt-div_binary64
81×associate-/l/_binary64
74×exp-neg_binary64
73×exp-prod_binary64
72×1-exp_binary64
61×*-commutative_binary64
58×log-pow_binary64 exp-diff_binary64
57×clear-num_binary64 frac-2neg_binary64
56×neg-sub0_binary64
50×sub-neg_binary64 cube-prod_binary64
48×diff-log_binary64
47×+-commutative_binary64
46×rec-exp_binary64
45×log-prod_binary64
32×pow1/3_binary64 frac-add_binary64
30×distribute-rgt-in_binary64 distribute-lft-in_binary64
24×cube-mult_binary64
23×unpow3_binary64
21×pow1/2_binary64 sqrt-pow1_binary64 un-div-inv_binary64
20×associate-+l+_binary64 associate-+r+_binary64 rem-sqrt-square_binary64
16×distribute-rgt-out--_binary64
15×div-sub_binary64
12×cube-div_binary64
8×associate--r+_binary64 rem-log-exp_binary64 pow-flip_binary64 inv-pow_binary64
7×swap-sqr_binary64 log-div_binary64
6×exp-sum_binary64
5×pow-to-exp_binary64 pow-exp_binary64 rem-exp-log_binary64 pow-sqr_binary64 pow-prod-up_binary64
4×rem-cbrt-cube_binary64
3×distribute-lft-neg-in_binary64 neg-mul-1_binary64 pow-unpow_binary64 distribute-rgt-neg-in_binary64 pow-plus_binary64 associate--l+_binary64
2×distribute-rgt-out_binary64 neg-log_binary64 pow2_binary64
1×distribute-rgt1-in_binary64 associate--l-_binary64 distribute-rgt-neg-out_binary64 associate-+r-_binary64 sum-cubes_binary64 exp-to-pow_binary64 pow-pow_binary64
Calls

263 calls:

108.0ms
(*.f64 (+.f64 3/8 (*.f64 v -1/4)) (*.f64 (/.f64 (*.f64 (cbrt.f64 r) (cbrt.f64 r)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))) (*.f64 r w))) (*.f64 (*.f64 (cbrt.f64 (/.f64 (cbrt.f64 r) (/.f64 (cbrt.f64 (-.f64 1 v)) w))) (cbrt.f64 (/.f64 (cbrt.f64 r) (/.f64 (cbrt.f64 (-.f64 1 v)) w)))) (cbrt.f64 (/.f64 (cbrt.f64 r) (/.f64 (cbrt.f64 (-.f64 1 v)) w))))))
79.0ms
(*.f64 (/.f64 (*.f64 (cbrt.f64 r) (cbrt.f64 r)) (/.f64 (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))) (*.f64 r w))) (/.f64 (cbrt.f64 r) (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
78.0ms
(/.f64 (/.f64 (/.f64 1 (+.f64 t1 u)) (/.f64 1 v)) (-.f64 -1 (/.f64 u t1)))
54.0ms
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
47.0ms
(*.f64 (/.f64 (/.f64 PI.f64 2) (-.f64 (*.f64 b b) (*.f64 a a))) (-.f64 (/.f64 1 a) (/.f64 1 b)))

regimes2.8s (2.1%)

Compiler

Compiled 18155 to 10429 computations (42.6% saved)

localize1.1s (0.8%)

bsearch534.0ms (0.4%)

Compiler

Compiled 20 to 21 computations (-5% saved)

end1.0ms (0%)

Profiling

Loading profile data...