Date:Thursday, October 1st, 2020
Commit:25b4af40 on multiprecision
Hostname:warfa with Racket 7.8
Seed:2020275
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.7min)

sample1.2min (44.9%)

Algorithm
56×intervals
Results
26.3s36572×body2048valid
19.5s66037×body1024valid
5.5s34993×body512valid
3.2s74201×body128valid
1.7s17152×body256valid
1.3s1490×body1024nan
949.0ms2213×body4096valid
722.0ms43018×pre128true
512.0ms3012×body128overflowed
332.0ms693×body512nan
227.0ms427×body2048overflowed
192.0ms3610×body128nan
188.0ms598×body1024overflowed
176.0ms185×body1024invalid
116.0ms218×body512invalid
110.0ms1793×body128invalid
88.0ms366×body256nan
53.0ms267×body512overflowed
44.0ms162×body256invalid
22.0ms164×body256overflowed
7.0ms6×body2048nan
2.0ms4×body2048invalid
Compiler

Compiled 5913 to 4589 computations (22.4% saved)

series45.5s (28.6%)

Calls

338 calls:

7.9s
(/.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)))))))
964.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 x) (cos.f64 eps))))) (tan.f64 x))
948.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
798.0ms
(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))
663.0ms
(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))

prune15.4s (9.6%)

Compiler

Compiled 256884 to 159605 computations (37.9% saved)

analyze10.0s (6.3%)

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)

simplify9.7s (6.1%)

Algorithm
159×egg-herbie

rewrite4.0s (2.5%)

Algorithm
103×rewrite-expression-head
Rules
3772×*-un-lft-identity_binary64
3433×add-sqr-sqrt_binary64
2687×times-frac_binary64
1739×add-cube-cbrt_binary64
994×add-exp-log_binary64
823×add-cbrt-cube_binary64
713×sqrt-prod_binary64
697×difference-of-squares_binary64
679×pow1_binary64
579×add-log-exp_binary64
551×distribute-lft-out--_binary64
421×associate-*r*_binary64
415×distribute-lft-out_binary64
363×log-prod_binary64
327×associate-/l*_binary64
323×associate-*l*_binary64
320×cbrt-prod_binary64
246×associate-/r*_binary64
222×prod-exp_binary64 div-inv_binary64
216×flip3--_binary64 flip--_binary64
196×unpow-prod-down_binary64
170×flip3-+_binary64 flip-+_binary64
168×cbrt-unprod_binary64
167×associate-/r/_binary64
161×div-exp_binary64
146×unswap-sqr_binary64
136×associate-*r/_binary64
125×cbrt-undiv_binary64
122×sqrt-div_binary64
109×pow-prod-down_binary64
95×frac-times_binary64
93×sqr-pow_binary64
92×sub-neg_binary64
90×swap-sqr_binary64
87×cbrt-div_binary64
84×sqrt-pow1_binary64
77×diff-log_binary64
74×associate-/l/_binary64
73×difference-of-sqr-1_binary64
72×log-pow_binary64 *-commutative_binary64
69×distribute-rgt-neg-in_binary64
68×frac-sub_binary64
64×pow1/2_binary64
62×pow-unpow_binary64
60×pow1/3_binary64
58×clear-num_binary64 frac-2neg_binary64
55×distribute-rgt-in_binary64 distribute-lft-in_binary64
51×associate-*l/_binary64
49×sum-log_binary64
48×associate-+r+_binary64
45×distribute-lft-neg-in_binary64
39×log-div_binary64
35×frac-add_binary64
33×+-commutative_binary64
32×cube-prod_binary64
30×pow-exp_binary64 rem-sqrt-square_binary64
29×neg-mul-1_binary64 distribute-rgt-out_binary64
28×pow-to-exp_binary64
26×rem-log-exp_binary64
24×exp-prod_binary64 pow-prod-up_binary64
22×tan-quot_binary64
20×rec-exp_binary64 1-exp_binary64
18×pow-flip_binary64 pow-sqr_binary64
17×div-sub_binary64
16×exp-sum_binary64 associate-+l+_binary64
15×associate--l+_binary64
14×unpow3_binary64 inv-pow_binary64
11×associate--r+_binary64 sin-mult_binary64 distribute-rgt-out--_binary64
9×neg-sub0_binary64 exp-diff_binary64
8×pow-plus_binary64 pow2_binary64
7×pow-pow_binary64
6×associate-+l-_binary64 cube-mult_binary64
5×sqrt-unprod_binary64 associate--l-_binary64
4×neg-log_binary64 distribute-frac-neg_binary64
3×difference-of-sqr--1_binary64 cos-mult_binary64 rem-exp-log_binary64 sqr-sin-a_binary64
2×pow-div_binary64 tan-sum_binary64 exp-neg_binary64 rem-square-sqrt_binary64 cos-sum_binary64 un-div-inv_binary64 sin-sum_binary64
1×associate-+r-_binary64 rem-cbrt-cube_binary64 exp-to-pow_binary64 rem-cube-cbrt_binary64 sin-cos-mult_binary64 diff-sin_binary64 quot-tan_binary64 sub-div_binary64 diff-atan_binary64 diff-cos_binary64
Calls

338 calls:

146.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))))
97.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)))
75.0ms
(/.f64 (*.f64 (+.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (+.f64 (*.f64 (-.f64 x 1) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) 1)) (*.f64 (-.f64 x 1) (+.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))))
50.0ms
(*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)))
45.0ms
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))

regimes1.6s (1%)

Compiler

Compiled 8908 to 6749 computations (24.2% saved)

localize1.1s (0.7%)

bsearch550.0ms (0.3%)

Compiler

Compiled 24 to 34 computations (-41.7% saved)

end1.0ms (0%)

Profiling

Loading profile data...