Date:Friday, August 7th, 2020
Commit:ae72a3a6 on plugins
Hostname:warfa with Racket 7.5
Seed:2020220
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 (55.4%)

Algorithm
56×intervals
Results
27.0s69716×body1280valid
19.3s17420×body2560valid
9.5s43752×body640valid
3.1s21456×body320valid
2.9s68036×body80valid
1.3s1184×body1280nan
969.0ms10347×body160valid
698.0ms42988×pre80true
677.0ms958×body640nan
518.0ms3119×body80overflowed
312.0ms681×body1280overflowed
194.0ms278×body640invalid
190.0ms449×body320nan
180.0ms3648×body80nan
179.0ms441×body5120valid
130.0ms104×body1280invalid
118.0ms375×body640overflowed
113.0ms162×body2560overflowed
104.0ms1676×body80invalid
68.0ms173×body320invalid
54.0ms228×body160nan
40.0ms180×body320overflowed
24.0ms101×body160invalid
14.0ms90×body160overflowed
1.0ms1×body2560invalid

prune18.6s (14.3%)

Filtered
22817 candidates to 7420 candidates (67.5%)

simplify14.0s (10.7%)

Algorithm
160×egg-herbie

analyze10.1s (7.7%)

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

rewrite6.4s (4.9%)

Algorithm
104×rewrite-expression-head
Calls

337 calls:

312.0ms
(/.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))) (/.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))))
65.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (cbrt.f64 (/.f64 (pow.f64 (*.f64 (tan.f64 x) (sin.f64 eps)) 3) (pow.f64 (cos.f64 eps) 3))))) (tan.f64 x))
61.0ms
(/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
46.0ms
(*.f64 (+.f64 x 1) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1)))))
46.0ms
(/.f64 (/.f64 1 (*.f64 x (+.f64 1 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
Rules
57614×sqrt-prod_binary64
46659×times-frac_binary64
43262×*-un-lft-identity_binary64
18358×add-sqr-sqrt_binary64
16510×add-cube-cbrt_binary64
14686×distribute-lft-out_binary64
1577×associate-/r/_binary64
1474×sqrt-div_binary64
1087×div-inv_binary64
931×add-exp-log_binary64
845×difference-of-squares_binary64
830×flip3-+_binary64 flip-+_binary64
745×add-cbrt-cube_binary64
733×associate-/r*_binary64
661×pow1_binary64
573×add-log-exp_binary64
554×cbrt-prod_binary64
522×distribute-lft-out--_binary64
390×unpow-prod-down_binary64
382×associate-/l*_binary64
334×log-prod_binary64
324×associate-*r*_binary64
252×associate-*l*_binary64
232×cube-prod_binary64
220×sqr-pow_binary64
212×flip3--_binary64 flip--_binary64
192×div-exp_binary64
150×prod-exp_binary64
133×cbrt-undiv_binary64
125×associate-*r/_binary64
110×cbrt-unprod_binary64
108×pow-unpow_binary64
101×unswap-sqr_binary64
92×sub-neg_binary64
85×diff-log_binary64
84×log-pow_binary64
83×sqrt-pow1_binary64
74×cbrt-div_binary64
72×pow-prod-down_binary64
70×pow-flip_binary64
67×pow1/3_binary64
65×frac-times_binary64
63×clear-num_binary64 frac-2neg_binary64
61×associate-/l/_binary64
56×log-div_binary64
54×exp-prod_binary64
53×pow1/2_binary64
51×frac-add_binary64
50×unpow3_binary64
45×*-commutative_binary64
44×pow-pow_binary64
41×pow-exp_binary64
40×sum-log_binary64 associate-*l/_binary64
38×cube-mult_binary64
36×pow-to-exp_binary64
33×rec-exp_binary64 1-exp_binary64
31×tan-quot_binary64
30×pow-div_binary64
29×difference-of-sqr-1_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64
28×rem-log-exp_binary64 associate--l+_binary64
27×inv-pow_binary64 rem-sqrt-square_binary64
26×+-commutative_binary64
22×swap-sqr_binary64
21×exp-sum_binary64
20×associate--r+_binary64
18×div-sub_binary64
13×pow-prod-up_binary64 distribute-rgt-out--_binary64
12×frac-sub_binary64
11×difference-cubes_binary64 cube-div_binary64 pow-sqr_binary64
10×associate--l-_binary64
9×pow-plus_binary64 rem-cube-cbrt_binary64
8×sinh-undef_binary64
7×associate-+r+_binary64 sin-mult_binary64 pow2_binary64
5×associate-+l+_binary64 exp-diff_binary64 distribute-rgt-neg-in_binary64
4×associate-+l-_binary64 unpow2_binary64 rem-exp-log_binary64 associate--r-_binary64
3×sqrt-undiv_binary64 neg-sub0_binary64 sqr-sin-a_binary64
2×pow3_binary64 e-exp-1_binary64 tan-sum_binary64 exp-neg_binary64 cos-sum_binary64 sin-sum_binary64
1×rem-cbrt-cube_binary64 neg-log_binary64 sin-cos-mult_binary64 diff-sin_binary64 un-div-inv_binary64 diff-atan_binary64 diff-cos_binary64

series5.0s (3.8%)

Calls

337 calls:

318.0ms
(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)) (*.f64 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 eps 3) (pow.f64 a 3))) (*.f64 eps (+.f64 a (*.f64 eps (*.f64 1/2 (*.f64 a a)))))) (-.f64 (exp.f64 (*.f64 b eps)) 1)))
111.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (cbrt.f64 (pow.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) 3)))) (tan.f64 x))
110.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (cbrt.f64 (/.f64 (pow.f64 (*.f64 (tan.f64 x) (sin.f64 eps)) 3) (pow.f64 (cos.f64 eps) 3))))) (tan.f64 x))
106.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
73.0ms
(/.f64 (*.f64 4 (*.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))

regimes2.5s (1.9%)

Accuracy

Total 19.6b remaining (21.9%)

Threshold costs 5.1b (5.7%)

5.4b80.7%quadp (p42, positive)
4.9b83%quad2p (problem 3.2.1, positive)
1.9b81.3%2nthrt (problem 3.4.6)
1.3b94.4%quad2m (problem 3.2.1, negative)
1.0b87.2%2tan (problem 3.3.2)

localize1.1s (0.9%)

bsearch612.0ms (0.5%)

end1.0ms (0.0%)

Profiling

Loading profile data...