Date:Wednesday, July 22nd, 2020
Commit:b1a42fe6 on reprify
Hostname:warfa with Racket 7.5
Seed:2020204
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 (59.1%)

Algorithm
56×intervals
Results
26.7s69848×body1280valid
18.7s17364×body2560valid
9.5s44242×body640valid
2.9s21169×body320valid
2.8s67725×body80valid
1.4s1225×body1280nan
927.0ms10325×body160valid
699.0ms989×body640nan
674.0ms43054×pre80true
540.0ms3136×body80overflowed
288.0ms676×body1280overflowed
206.0ms495×body5120valid
194.0ms449×body320nan
181.0ms261×body640invalid
174.0ms3535×body80nan
151.0ms119×body1280invalid
117.0ms172×body2560overflowed
107.0ms1803×body80invalid
105.0ms378×body640overflowed
75.0ms181×body320invalid
59.0ms242×body160nan
44.0ms211×body320overflowed
21.0ms86×body160invalid
12.0ms88×body160overflowed
2.0ms2×body2560invalid

prune13.2s (11.0%)

Filtered
10183 candidates to 6984 candidates (31.4%)

analyze9.8s (8.2%)

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

simplify9.6s (8.0%)

Algorithm
164×egg-herbie

series7.3s (6.0%)

Calls

350 calls:

917.0ms
(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1.0)) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) 1.0) (+.f64 (*.f64 1/6 (*.f64 (pow.f64 eps 3) (pow.f64 b 3))) (*.f64 b (+.f64 eps (*.f64 b (*.f64 1/2 (*.f64 eps eps))))))))
153.0ms
(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1.0) (/.f64 1.0 n)) (pow.f64 x (/.f64 1.0 n))))))
139.0ms
(-.f64 (+.f64 (/.f64 (sin.f64 x) (*.f64 (cos.f64 x) (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 x) (cos.f64 eps)))))) (/.f64 (sin.f64 eps) (*.f64 (cos.f64 eps) (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 x) (cos.f64 eps))))))) (/.f64 (sin.f64 x) (cos.f64 x)))
129.0ms
(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1.0) (/.f64 1.0 n)) (pow.f64 x (/.f64 1.0 n))))))
128.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))

rewrite3.8s (3.2%)

Algorithm
108×rewrite-expression-head
Calls

350 calls:

91.0ms
(-.f64 (/.f64 (/.f64 (-.f64 (/.f64 1.0 x) 1.0) x) x) (/.f64 1.0 (pow.f64 x 4)))
71.0ms
(/.f64 (*.f64 (+.f64 (/.f64 1.0 (+.f64 1.0 x)) (/.f64 2.0 x)) (+.f64 (*.f64 (-.f64 (/.f64 1.0 (+.f64 1.0 x)) (/.f64 2.0 x)) (-.f64 x 1.0)) 1.0)) (*.f64 (-.f64 x 1.0) (+.f64 (/.f64 1.0 (+.f64 1.0 x)) (/.f64 2.0 x))))
59.0ms
(*.f64 (sqrt.f64 (/.f64 1.0 (+.f64 (sqrt.f64 (+.f64 1.0 x)) (sqrt.f64 x)))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1.0 x)) (sqrt.f64 x)))))
58.0ms
(*.f64 (/.f64 (*.f64 1 (/.f64 (/.f64 2.0 (*.f64 x x)) (-.f64 x 1.0))) (-.f64 (/.f64 1.0 (+.f64 1.0 x)) (/.f64 2.0 x))) (-.f64 (/.f64 1.0 (+.f64 1.0 x)) (/.f64 2.0 x)))
49.0ms
(/.f64 (*.f64 (+.f64 (/.f64 1.0 (+.f64 1.0 x)) (/.f64 2.0 x)) (/.f64 2.0 (*.f64 x x))) (*.f64 (-.f64 x 1.0) (+.f64 (/.f64 1.0 (+.f64 1.0 x)) (/.f64 2.0 x))))
Rules
3876×*-un-lft-identity_binary64
3548×add-sqr-sqrt_binary64
3222×times-frac_binary64
2086×add-cube-cbrt_binary64
1125×add-exp-log_binary64
1036×sqrt-prod_binary64
991×add-cbrt-cube_binary64
710×pow1_binary64
624×distribute-lft-out_binary64
619×add-log-exp_binary64
527×difference-of-squares_binary64
460×cbrt-prod_binary64
385×unpow-prod-down_binary64
378×associate-*r*_binary64
374×associate-/r*_binary64
336×distribute-lft-out--_binary64
305×associate-/l*_binary64
296×associate-*l*_binary64
270×prod-exp_binary64
229×div-exp_binary64
219×div-inv_binary64
215×cbrt-unprod_binary64
213×associate-/r/_binary64
200×cube-prod_binary64
193×cbrt-undiv_binary64
190×flip3-+_binary64 flip-+_binary64
166×flip3--_binary64 flip--_binary64
162×unswap-sqr_binary64
160×sqr-pow_binary64
137×sqrt-pow1_binary64
130×log-prod_binary64
124×swap-sqr_binary64
117×pow-prod-down_binary64
116×exp-prod_binary64
107×cbrt-div_binary64
106×log-pow_binary64
95×pow1/2_binary64
94×pow-unpow_binary64
91×sub-neg_binary64 sqrt-div_binary64
87×diff-log_binary64
82×associate-*r/_binary64 distribute-rgt-neg-in_binary64
74×distribute-lft-neg-in_binary64 neg-mul-1_binary64
71×associate-/l/_binary64
68×clear-num_binary64 frac-2neg_binary64
62×frac-times_binary64
60×pow-prod-up_binary64
58×*-commutative_binary64
55×pow1/3_binary64 sum-log_binary64
48×pow-exp_binary64
43×pow-to-exp_binary64 frac-add_binary64
39×pow-pow_binary64
37×+-commutative_binary64
36×frac-sub_binary64
35×associate-*l/_binary64
31×distribute-rgt-in_binary64 rem-sqrt-square_binary64 distribute-lft-in_binary64
29×div-sub_binary64
28×unpow3_binary64 cube-mult_binary64
26×pow-sqr_binary64 log-div_binary64
15×associate--l+_binary64
14×rem-log-exp_binary64 tan-quot_binary64
13×associate--r+_binary64
12×1-exp_binary64
11×exp-diff_binary64
10×pow-plus_binary64
9×sqrt-unprod_binary64 associate-+r+_binary64 rem-cube-cbrt_binary64 pow2_binary64
8×exp-sum_binary64 cube-div_binary64 sin-mult_binary64
7×associate--l-_binary64 neg-sub0_binary64
6×unpow2_binary64
4×rec-exp_binary64 associate-+r-_binary64 cos-mult_binary64 associate-+l+_binary64 distribute-rgt-out_binary64 rem-exp-log_binary64 sin-cos-mult_binary64 rem-square-sqrt_binary64 distribute-frac-neg_binary64
3×sqrt-undiv_binary64 difference-of-sqr--1_binary64 rem-cbrt-cube_binary64 distribute-rgt-out--_binary64
2×difference-cubes_binary64 associate-+l-_binary64 sqrt-pow2_binary64 exp-to-pow_binary64 tan-sum_binary64 neg-log_binary64 exp-neg_binary64 cos-sum_binary64 sin-sum_binary64
1×unpow1/3_binary64 pow-flip_binary64 distribute-lft1-in_binary64 inv-pow_binary64 diff-sin_binary64 sub-div_binary64 diff-atan_binary64 diff-cos_binary64

regimes3.8s (3.1%)

Accuracy

Total 22.7b remaining (27.7%)

Threshold costs 6.3b (7.7%)

4.7b83.9%quadp (p42, positive)
3.5b0%expq3 (problem 3.4.2)
2.5b77.5%2nthrt (problem 3.4.6)
1.7b93%quadm (p42, negative)
1.7b93%quad2p (problem 3.2.1, positive)

localize1.2s (1.0%)

bsearch585.0ms (0.5%)

end1.0ms (0.0%)

Profiling

Loading profile data...