Date:Wednesday, August 19th, 2020
Commit:9dfd47eb on scaleup-plugins
Hostname:warfa with Racket 7.5
Seed:2020232
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.2min (54.4%)

Algorithm
56×intervals
Results
27.1s69462×body1280valid
19.1s17553×body2560valid
9.6s43890×body640valid
3.0s21379×body320valid
2.9s68200×body80valid
1.2s1046×body1280nan
947.0ms10246×body160valid
713.0ms976×body640nan
662.0ms43019×pre80true
508.0ms2926×body80overflowed
298.0ms678×body1280overflowed
214.0ms479×body320nan
192.0ms273×body640invalid
175.0ms438×body5120valid
163.0ms3333×body80nan
159.0ms122×body1280invalid
112.0ms174×body2560overflowed
109.0ms371×body640overflowed
104.0ms1703×body80invalid
73.0ms167×body320invalid
52.0ms224×body160nan
41.0ms199×body320overflowed
19.0ms79×body160invalid
10.0ms74×body160overflowed
3.0ms3×body2560invalid

series19.6s (14.8%)

Calls

354 calls:

515.0ms
(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)) (*.f64 (+.f64 (*.f64 1/6 (pow.f64 (*.f64 eps a) 3)) (*.f64 eps (+.f64 a (log.f64 (pow.f64 (sqrt.f64 (exp.f64 eps)) (*.f64 a a)))))) (-.f64 (exp.f64 (*.f64 b eps)) 1)))
495.0ms
(/.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3)) (+.f64 (pow.f64 (exp.f64 x) -2) (*.f64 (-.f64 (exp.f64 x) 2) (-.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))))))
477.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
402.0ms
(/.f64 (*.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (+.f64 (cos.f64 x) (/.f64 (pow.f64 (sin.f64 x) 2) (cos.f64 x)))) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (cos.f64 x)))
276.0ms
(/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))

simplify14.1s (10.7%)

Algorithm
162×egg-herbie

prune10.1s (7.6%)

Filtered
10740 candidates to 6904 candidates (35.7%)

analyze10.0s (7.5%)

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

rewrite3.1s (2.3%)

Algorithm
106×rewrite-expression-head
Calls

354 calls:

48.0ms
(*.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
40.0ms
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
36.0ms
(-.f64 (/.f64 (cbrt.f64 (+.f64 1 (pow.f64 x 3))) (cbrt.f64 (+.f64 (*.f64 x x) (-.f64 1 x)))) (cbrt.f64 x))
32.0ms
(-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))
31.0ms
(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
Rules
4503×*-un-lft-identity_binary64
3847×add-sqr-sqrt_binary64
3703×times-frac_binary64
2478×add-cube-cbrt_binary64
1464×sqrt-prod_binary64
1081×add-exp-log_binary64
860×add-cbrt-cube_binary64
774×pow1_binary64
753×distribute-lft-out_binary64
631×add-log-exp_binary64
466×difference-of-squares_binary64
452×cbrt-prod_binary64
440×associate-*r*_binary64
393×associate-/r*_binary64
380×associate-/l*_binary64
373×associate-*l*_binary64
324×distribute-lft-out--_binary64
297×unpow-prod-down_binary64
262×log-prod_binary64
219×div-exp_binary64
210×prod-exp_binary64
188×div-inv_binary64
187×unswap-sqr_binary64
165×flip3--_binary64 flip--_binary64
163×associate-/r/_binary64
153×log-pow_binary64
150×flip3-+_binary64 cbrt-undiv_binary64 flip-+_binary64
148×cbrt-unprod_binary64
128×pow-unpow_binary64 sqr-pow_binary64
124×cube-prod_binary64
116×sqrt-pow1_binary64
102×swap-sqr_binary64 sqrt-div_binary64
100×pow-prod-down_binary64
98×diff-log_binary64
89×sub-neg_binary64
86×pow1/2_binary64
78×associate-*r/_binary64
77×exp-prod_binary64
73×*-commutative_binary64
72×clear-num_binary64 frac-2neg_binary64
55×associate-/l/_binary64 sum-log_binary64
52×pow-exp_binary64
51×pow-prod-up_binary64
50×pow-flip_binary64
49×pow-to-exp_binary64
48×associate-*l/_binary64
46×pow1/3_binary64
45×distribute-rgt-neg-in_binary64 cbrt-div_binary64
42×frac-times_binary64
37×tan-quot_binary64
36×difference-of-sqr-1_binary64
35×log-div_binary64
34×distribute-rgt-in_binary64 pow-pow_binary64 distribute-lft-in_binary64
33×rec-exp_binary64 1-exp_binary64 cube-mult_binary64
31×unpow3_binary64
30×rem-sqrt-square_binary64 +-commutative_binary64
28×frac-sub_binary64
26×rem-log-exp_binary64 frac-add_binary64
24×inv-pow_binary64
21×distribute-lft-neg-in_binary64 neg-mul-1_binary64 pow-sqr_binary64
19×associate--l+_binary64
18×cube-div_binary64 div-sub_binary64
14×associate--r+_binary64 exp-sum_binary64
10×sin-mult_binary64
9×exp-diff_binary64
8×neg-sub0_binary64 rem-cube-cbrt_binary64 sinh-undef_binary64
6×sqrt-unprod_binary64 associate-+l-_binary64 associate--l-_binary64 cos-mult_binary64 pow-plus_binary64 pow2_binary64
5×associate-+l+_binary64 un-div-inv_binary64
4×rem-cbrt-cube_binary64 unpow2_binary64 unpow-prod-up_binary64 exp-to-pow_binary64 associate-+r+_binary64 rem-exp-log_binary64 neg-log_binary64
3×sqr-sin-a_binary64 sub-div_binary64 distribute-frac-neg_binary64 cos-sum_binary64 sin-sum_binary64
2×tan-sum_binary64 exp-neg_binary64 associate--r-_binary64
1×pow-div_binary64 e-exp-1_binary64 sin-cos-mult_binary64 diff-sin_binary64 rem-square-sqrt_binary64 quot-tan_binary64 distribute-rgt-out--_binary64 diff-atan_binary64 diff-cos_binary64

regimes1.7s (1.3%)

Accuracy

Total 19.3b remaining (29.2%)

Threshold costs 4.9b (7.5%)

4.6b84%quadp (p42, positive)
3.1b87.1%expax (section 3.5)
1.6b85.1%2nthrt (problem 3.4.6)
1.4b94%quadm (p42, negative)
1.3b94.4%quad2m (problem 3.2.1, negative)

localize1.1s (0.9%)

bsearch494.0ms (0.4%)

end1.0ms (0.0%)

Profiling

Loading profile data...