Date:Wednesday, September 16th, 2020
Commit:eff2405d on multiprecision
Hostname:warfa with Racket 7.8
Seed:2020260
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 (44.1%)

Algorithm
56×intervals
Results
26.9s36637×body2048valid
20.3s66677×body1024valid
5.9s35300×body512valid
3.2s73486×body128valid
1.7s16817×body256valid
1.3s1531×body1024nan
964.0ms2250×body4096valid
651.0ms43094×pre128true
563.0ms3113×body128overflowed
371.0ms708×body512nan
228.0ms407×body2048overflowed
205.0ms610×body1024overflowed
205.0ms3766×body128nan
196.0ms201×body1024invalid
148.0ms277×body512invalid
107.0ms1722×body128invalid
103.0ms391×body256nan
72.0ms327×body512overflowed
41.0ms144×body256invalid
24.0ms169×body256overflowed
12.0ms10×body2048nan
3.0ms1×body8192valid
2.0ms2×body2048invalid

series46.9s (30.5%)

Calls

330 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)))))))
1.1s
(-.f64 (/.f64 1 (-.f64 (/.f64 1 (+.f64 (tan.f64 x) (tan.f64 eps))) (/.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) (+.f64 (tan.f64 x) (tan.f64 eps))))) (tan.f64 x))
962.0ms
(-.f64 (/.f64 1 (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (+.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
944.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
654.0ms
(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))

analyze11.2s (7.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

simplify10.8s (7.0%)

Algorithm
158×egg-herbie

prune9.6s (6.2%)

Filtered
10914 candidates to 6907 candidates (36.7%)

rewrite4.0s (2.6%)

Algorithm
102×rewrite-expression-head
Calls

330 calls:

121.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)))
69.0ms
(/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
49.0ms
(-.f64 (/.f64 1 (-.f64 (/.f64 1 (+.f64 (tan.f64 x) (tan.f64 eps))) (/.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) (+.f64 (tan.f64 x) (tan.f64 eps))))) (tan.f64 x))
48.0ms
(*.f64 (+.f64 1 x) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
47.0ms
(/.f64 (/.f64 1 (*.f64 x (+.f64 1 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
Rules
7128×times-frac_binary64
6662×*-un-lft-identity_binary64
5111×add-sqr-sqrt_binary64
3460×add-cube-cbrt_binary64
1579×sqrt-prod_binary64
1278×distribute-lft-out_binary64
918×add-exp-log_binary64
796×add-cbrt-cube_binary64
696×difference-of-squares_binary64
579×pow1_binary64
574×div-inv_binary64
563×add-log-exp_binary64
486×distribute-lft-out--_binary64
477×associate-/l*_binary64
472×associate-/r*_binary64
366×cbrt-prod_binary64
270×log-prod_binary64
237×associate-/r/_binary64
226×associate-*r*_binary64
200×flip3-+_binary64 flip-+_binary64
185×div-exp_binary64
183×unpow-prod-down_binary64
182×associate-*l*_binary64
173×cbrt-undiv_binary64
171×flip3--_binary64 flip--_binary64
147×prod-exp_binary64
142×associate-*r/_binary64
112×cbrt-unprod_binary64
109×log-pow_binary64
98×sqr-pow_binary64
91×pow-unpow_binary64
88×sqrt-div_binary64
84×frac-add_binary64
83×sub-neg_binary64
82×unswap-sqr_binary64
76×diff-log_binary64 clear-num_binary64 frac-2neg_binary64
75×associate-/l/_binary64
73×cbrt-div_binary64
66×pow1/3_binary64
60×pow-prod-down_binary64
59×exp-prod_binary64
58×frac-times_binary64
57×swap-sqr_binary64
48×difference-of-sqr--1_binary64
47×sum-log_binary64
46×*-commutative_binary64
44×log-div_binary64 tan-quot_binary64
40×pow-flip_binary64
39×cube-prod_binary64
35×pow1/2_binary64 sqrt-pow1_binary64
33×associate-+r+_binary64
32×distribute-rgt-neg-in_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64
31×+-commutative_binary64
30×associate-*l/_binary64
29×rec-exp_binary64
28×pow-to-exp_binary64 pow-exp_binary64
27×distribute-lft-neg-in_binary64
23×neg-mul-1_binary64 rem-sqrt-square_binary64
22×div-sub_binary64
21×inv-pow_binary64
20×rem-log-exp_binary64 pow-pow_binary64
18×difference-of-sqr-1_binary64 unpow3_binary64 exp-diff_binary64
16×frac-sub_binary64
14×unpow2_binary64 associate--l+_binary64
12×associate-+l+_binary64
11×neg-sub0_binary64
10×associate--r+_binary64 pow-sqr_binary64 pow-prod-up_binary64
9×exp-sum_binary64 cube-mult_binary64 distribute-rgt-out--_binary64
8×exp-neg_binary64
6×pow2_binary64
5×associate-+l-_binary64 pow-plus_binary64
4×associate--l-_binary64
3×associate-+r-_binary64 sin-mult_binary64 sqr-sin-a_binary64 distribute-frac-neg_binary64
2×unpow-prod-up_binary64 rem-exp-log_binary64 tan-sum_binary64 cos-sum_binary64 sin-sum_binary64
1×rem-cbrt-cube_binary64 exp-to-pow_binary64 distribute-rgt-out_binary64 distribute-lft1-in_binary64 rem-cube-cbrt_binary64 neg-log_binary64 sin-cos-mult_binary64 diff-sin_binary64 diff-atan_binary64 diff-cos_binary64

regimes1.7s (1.1%)

Accuracy

Total 18.6b remaining (23.4%)

Threshold costs 4.8b (6.1%)

3.4b85.7%expax (section 3.5)
3.3b0%expq3 (problem 3.4.2)
1.9b82.1%2nthrt (problem 3.4.6)
1.5b93.5%quadm (p42, negative)
1.4b94.1%quadp (p42, positive)

localize1.1s (0.7%)

bsearch717.0ms (0.5%)

end1.0ms (0.0%)

Profiling

Loading profile data...