Date:Wednesday, September 9th, 2020
Commit:9a6f76b9 on multiprecision
Hostname:warfa with Racket 7.8
Seed:2020253
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

sample1.1min (41.9%)

Algorithm
56×intervals
Results
26.4s36685×body2048valid
19.4s66061×body1024valid
5.5s34935×body512valid
3.0s74222×body128valid
1.6s17131×body256valid
1.4s1583×body1024nan
924.0ms2133×body4096valid
646.0ms43098×pre128true
535.0ms3030×body128overflowed
394.0ms758×body512nan
217.0ms409×body2048overflowed
203.0ms206×body1024invalid
201.0ms613×body1024overflowed
197.0ms3802×body128nan
120.0ms235×body512invalid
101.0ms405×body256nan
100.0ms1686×body128invalid
71.0ms334×body512overflowed
43.0ms154×body256invalid
20.0ms145×body256overflowed
5.0ms8×body2048invalid
4.0ms4×body2048nan
3.0ms1×body8192valid

series51.9s (33.0%)

Calls

317 calls:

8.1s
(/.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)))))))
6.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))
3.5s
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 (-.f64 1 (*.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) (*.f64 (tan.f64 x) (tan.f64 eps)))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (tan.f64 x))
982.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
595.0ms
(/.f64 1 (+.f64 (*.f64 (fabs.f64 (cbrt.f64 (+.f64 1 x))) (sqrt.f64 (cbrt.f64 (+.f64 1 x)))) (sqrt.f64 x)))

simplify10.8s (6.9%)

Algorithm
158×egg-herbie

prune10.5s (6.7%)

Filtered
10905 candidates to 6412 candidates (41.2%)

analyze10.1s (6.4%)

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

rewrite4.6s (2.9%)

Algorithm
102×rewrite-expression-head
Calls

317 calls:

353.0ms
(-.f64 (/.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
61.0ms
(/.f64 (-.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x))) (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (+.f64 1 x))))
58.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))
57.0ms
(-.f64 (/.f64 (cbrt.f64 (-.f64 (*.f64 x x) 1)) (cbrt.f64 (-.f64 x 1))) (cbrt.f64 x))
55.0ms
(*.f64 (cbrt.f64 (+.f64 (/.f64 1 b) (/.f64 1 a))) (cbrt.f64 (+.f64 (/.f64 1 b) (/.f64 1 a))))
Rules
8045×times-frac_binary64
6085×add-sqr-sqrt_binary64
6012×*-un-lft-identity_binary64
3886×add-cube-cbrt_binary64
2616×sqrt-prod_binary64
921×add-exp-log_binary64
886×difference-of-squares_binary64
801×add-cbrt-cube_binary64
735×pow1_binary64
666×distribute-lft-out_binary64
541×add-log-exp_binary64
456×associate-/r*_binary64
417×associate-/l*_binary64
381×div-inv_binary64
377×distribute-lft-out--_binary64
333×cbrt-prod_binary64
311×log-prod_binary64
246×associate-*r*_binary64
234×associate-*l*_binary64
176×div-exp_binary64
172×prod-exp_binary64
163×flip3--_binary64 flip--_binary64
149×cbrt-unprod_binary64
148×associate-/r/_binary64
146×cbrt-undiv_binary64
142×flip3-+_binary64 flip-+_binary64
127×associate-*r/_binary64
124×sqrt-pow1_binary64
123×pow-prod-down_binary64
103×log-pow_binary64
95×unpow-prod-down_binary64
92×unswap-sqr_binary64
82×pow1/2_binary64
80×sub-neg_binary64 sqrt-div_binary64
78×diff-log_binary64
67×tan-quot_binary64
64×clear-num_binary64 cbrt-div_binary64 frac-2neg_binary64 frac-times_binary64
63×pow1/3_binary64
60×associate-/l/_binary64
59×*-commutative_binary64
58×swap-sqr_binary64
57×distribute-rgt-in_binary64 distribute-lft-in_binary64
52×frac-add_binary64
48×sqr-pow_binary64
47×pow-prod-up_binary64
43×cube-prod_binary64
41×associate-*l/_binary64
40×difference-of-sqr-1_binary64
39×sum-log_binary64
36×pow-flip_binary64
34×rec-exp_binary64
31×exp-prod_binary64 pow-unpow_binary64 distribute-rgt-neg-in_binary64
29×rem-sqrt-square_binary64
26×distribute-lft-neg-in_binary64 log-div_binary64
25×+-commutative_binary64
24×neg-mul-1_binary64
21×div-sub_binary64 pow-sqr_binary64
18×rem-log-exp_binary64 pow-exp_binary64
17×pow-to-exp_binary64 unpow3_binary64 pow-pow_binary64
16×inv-pow_binary64
15×associate--r+_binary64
14×frac-sub_binary64
13×associate--l+_binary64
11×pow-div_binary64 cube-div_binary64
9×cube-mult_binary64 distribute-rgt-out--_binary64
7×pow-plus_binary64 sin-mult_binary64
6×neg-sub0_binary64 associate-+r+_binary64 rem-cube-cbrt_binary64 pow2_binary64
5×distribute-rgt1-in_binary64 associate-+l+_binary64 distribute-rgt-out_binary64
4×sqrt-unprod_binary64 associate--l-_binary64 distribute-frac-neg_binary64
3×unpow2_binary64 exp-diff_binary64 sqr-sin-a_binary64
2×associate-+l-_binary64 rem-cbrt-cube_binary64 rem-exp-log_binary64 tan-sum_binary64 exp-neg_binary64 cos-sum_binary64 sin-sum_binary64
1×sqrt-undiv_binary64 exp-sum_binary64 exp-to-pow_binary64 neg-log_binary64 sin-cos-mult_binary64 diff-sin_binary64 rem-square-sqrt_binary64 diff-atan_binary64 diff-cos_binary64

regimes1.6s (1.0%)

Accuracy

Total 19.4b remaining (19.3%)

Threshold costs 3.1b (3.1%)

3.7b0%expq3 (problem 3.4.2)
3.6b87.4%quadp (p42, positive)
2.8b88.1%expax (section 3.5)
1.6b91.8%2nthrt (problem 3.4.6)
1.4b80.4%2tan (problem 3.3.2)

localize1.0s (0.7%)

bsearch903.0ms (0.6%)

end1.0ms (0.0%)

Profiling

Loading profile data...