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

sample1.1min (65.5%)

Algorithm
48×intervals
Results
23.4s58500×body1280valid
17.6s12955×body2560valid
7.6s35169×body640valid
2.4s17179×body320valid
1.3s35092×body80valid
1.3s1177×body1280nan
756.0ms8251×body160valid
656.0ms943×body640nan
636.0ms43014×pre80true
523.0ms3138×body80overflowed
270.0ms659×body1280overflowed
191.0ms464×body320nan
159.0ms231×body640invalid
120.0ms94×body1280invalid
112.0ms414×body640overflowed
91.0ms145×body2560overflowed
81.0ms187×body320invalid
54.0ms246×body160nan
37.0ms656×body80nan
36.0ms185×body320overflowed
34.0ms22×body5120valid
34.0ms415×body80invalid
24.0ms103×body160invalid
13.0ms96×body160overflowed
7.0ms6×body2560invalid
Compiler

Compiled 4430 to 3438 computations (22.4% saved)

simplify11.7s (11.3%)

Algorithm
133×egg-herbie

analyze9.4s (9.1%)

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)

prune6.7s (6.5%)

Compiler

Compiled 155754 to 96674 computations (37.9% saved)

series3.3s (3.2%)

Calls

267 calls:

127.0ms
(+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
78.0ms
(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))
78.0ms
(log.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))))))
77.0ms
(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))
77.0ms
(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))

rewrite2.2s (2.1%)

Algorithm
85×rewrite-expression-head
Rules
2218×*-un-lft-identity_binary64
2113×add-sqr-sqrt_binary64
1135×times-frac_binary64
1100×add-cube-cbrt_binary64
686×add-exp-log_binary64
569×add-cbrt-cube_binary64
530×pow1_binary64
448×add-log-exp_binary64
394×difference-of-squares_binary64
334×sqrt-prod_binary64
282×associate-*r*_binary64
278×log-prod_binary64
265×distribute-lft-out--_binary64
260×associate-*l*_binary64
255×distribute-lft-out_binary64
254×unpow-prod-down_binary64
205×cbrt-prod_binary64
176×associate-/l*_binary64
154×prod-exp_binary64
150×associate-/r*_binary64
124×flip3--_binary64 flip--_binary64
117×sqr-pow_binary64
116×unswap-sqr_binary64
110×cbrt-unprod_binary64
90×flip3-+_binary64 flip-+_binary64
86×log-pow_binary64
83×div-inv_binary64
81×pow-prod-down_binary64
77×pow-unpow_binary64
76×div-exp_binary64 cube-prod_binary64
70×sub-neg_binary64
63×cbrt-undiv_binary64
60×diff-log_binary64 difference-of-sqr--1_binary64
59×associate-/r/_binary64
58×associate-*r/_binary64
57×*-commutative_binary64
54×difference-of-sqr-1_binary64
50×exp-prod_binary64
49×pow1/3_binary64
48×pow-pow_binary64
47×pow-exp_binary64
42×pow-to-exp_binary64
40×tan-quot_binary64
39×log-div_binary64
38×associate-*l/_binary64
37×associate-/l/_binary64 clear-num_binary64 cbrt-div_binary64 frac-2neg_binary64
34×sum-log_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64
33×frac-times_binary64
32×swap-sqr_binary64
29×frac-add_binary64
27×sqrt-div_binary64
26×pow1/2_binary64 sqrt-pow1_binary64
24×rem-log-exp_binary64 +-commutative_binary64
23×unpow2_binary64
19×unpow3_binary64
18×associate--l+_binary64
16×associate--r+_binary64 rem-sqrt-square_binary64
15×frac-sub_binary64 cube-mult_binary64
14×div-sub_binary64
12×cube-div_binary64 pow-prod-up_binary64
11×pow-flip_binary64 associate-+r+_binary64
10×pow-sqr_binary64
8×rec-exp_binary64 1-exp_binary64 exp-diff_binary64 distribute-rgt-out--_binary64
7×inv-pow_binary64 rem-cube-cbrt_binary64 sin-mult_binary64
6×associate--l-_binary64 exp-sum_binary64 exp-lft-sqr_binary64
5×associate-+l+_binary64 distribute-rgt-neg-in_binary64 pow-plus_binary64 pow2_binary64
4×sinh-undef_binary64
3×associate-+l-_binary64 neg-sub0_binary64 sqr-sin-a_binary64
2×exp-to-pow_binary64 rem-exp-log_binary64 tan-sum_binary64 exp-neg_binary64 associate--r-_binary64 cos-sum_binary64 sin-sum_binary64
1×sqrt-unprod_binary64 rem-cbrt-cube_binary64 sum-cubes_binary64 distribute-rgt-out_binary64 distribute-lft1-in_binary64 neg-log_binary64 sin-cos-mult_binary64 diff-sin_binary64 rem-square-sqrt_binary64 sub-div_binary64 diff-atan_binary64 diff-cos_binary64
Calls

267 calls:

110.0ms
(+.f64 (-.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 (+.f64 x 1))) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
39.0ms
(+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
37.0ms
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
36.0ms
(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
29.0ms
(-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))

regimes1.3s (1.2%)

Compiler

Compiled 5946 to 4506 computations (24.2% saved)

localize917.0ms (0.9%)

bsearch306.0ms (0.3%)

Compiler

Compiled 11 to 16 computations (-45.5% saved)

end0.0ms (0%)

Profiling

Loading profile data...