Date:Saturday, June 27th, 2020
Commit:830c07fe on fix-unfold-let
Hostname:warfa with Racket 7.5
Seed:2020179
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.3min (67.3%)

Algorithm
56×intervals
Results
27.4s69860×body1280valid
19.4s17635×body2560valid
10.1s44009×body640valid
3.7s87404×body80valid
3.2s21432×body320valid
1.9s51433×body80nan
1.3s1160×body1280nan
1.0s10430×body160valid
855.0ms10060×body80overflowed
686.0ms47479×pre80true
666.0ms931×body640nan
377.0ms435×body5120valid
319.0ms740×body1280overflowed
182.0ms432×body320nan
122.0ms414×body640overflowed
107.0ms157×body2560overflowed
54.0ms227×body160nan
43.0ms209×body320overflowed
13.0ms94×body160overflowed

prune16.2s (13.7%)

Filtered
9461 candidates to 6459 candidates (31.7%)

simplify7.8s (6.6%)

Algorithm
165×egg-herbie

series5.4s (4.6%)

Calls

349 calls:

263.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* a eps) (* eps (* eps (* (* a a) (+ 1/2 (* (* eps 1/6) a)))))) (- (exp (* b eps)) 1.0)))
221.0ms
(cbrt (* a (/ c (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
133.0ms
(pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)
99.0ms
(- (/ 1 (/ (- 1 (* (tan x) (tan eps))) (+ (tan x) (tan eps)))) (tan x))
98.0ms
(- (* (+ (tan x) (tan eps)) (/ 1 (- 1 (* (tan x) (tan eps))))) (tan x))

regimes4.4s (3.7%)

Accuracy

Total 18.7b remaining (23.1%)

Threshold costs 5.4b (6.7%)

4.8b83.2%quadp (p42, positive)
3.7b86.2%quadm (p42, negative)
1.3b87.9%2nthrt (problem 3.4.6)
1.3b95.5%quad2p (problem 3.2.1, positive)
1.2b95.1%quad2m (problem 3.2.1, negative)

rewrite2.9s (2.4%)

Algorithm
109×rewrite-expression-head
Calls

349 calls:

68.0ms
(/ (* (+ (/ 1.0 (+ 1.0 x)) (/ 2.0 x)) (+ (* (- x 1.0) (- (/ 1.0 (+ 1.0 x)) (/ 2.0 x))) 1.0)) (* (- x 1.0) (+ (/ 1.0 (+ 1.0 x)) (/ 2.0 x))))
45.0ms
(* (+ (/ 1.0 (+ 1.0 x)) (/ 2.0 x)) (+ (* (- x 1.0) (- (/ 1.0 (+ 1.0 x)) (/ 2.0 x))) 1.0))
34.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
32.0ms
(+ (/ 1.0 N) (- (/ 0.3333333333333333 (pow N 3)) (/ 0.5 (* N N))))
30.0ms
(/ (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1.0 3) (pow 1.0 3))) (* (+ (pow (exp x) 2) (* 1.0 (+ (exp x) 1.0))) (+ (pow (exp x) 3) (pow 1.0 3))))
Rules
2927×*-un-lft-identity
2853×add-sqr-sqrt
1790×times-frac
1524×add-cube-cbrt
1142×add-exp-log
941×add-cbrt-cube
677×pow1
637×add-log-exp
532×difference-of-squares
447×sqrt-prod
422×associate-*r*
371×distribute-lft-out--
355×distribute-lft-out
350×unpow-prod-down
315×log-prod
302×associate-*l*
286×prod-exp
277×associate-/l*
258×associate-/r*
246×flip-- flip3--
240×associate-*r/
233×cube-prod
229×div-exp
228×cbrt-prod
208×cbrt-unprod
197×flip-+ flip3-+
164×cbrt-undiv
163×associate-/r/
134×exp-prod
130×log-pow
129×pow-prod-down
128×unswap-sqr
118×sqr-pow
115×sub-neg
112×div-inv
106×frac-add
104×sqrt-div associate-/l/
102×frac-times
99×diff-log
92×sqrt-pow1
84×associate-*l/
73×associate-+l+
64×*-commutative
62×clear-num pow1/2 frac-2neg
58×sum-log
57×distribute-rgt-in distribute-lft-in
50×cbrt-div
49×tan-quot
47×pow1/3
38×swap-sqr
37×exp-sum distribute-rgt-neg-in
35×log-div
30×+-commutative rem-sqrt-square 1-exp rec-exp
28×sum-cubes pow-pow
27×distribute-lft-neg-in pow-unpow div-sub
23×frac-sub
22×associate-+r+
21×rem-log-exp
19×pow-to-exp pow-exp
18×pow-prod-up
16×cube-mult associate--l+
15×exp-diff
12×pow-sqr
11×unpow3
9×neg-mul-1 pow-flip
8×difference-cubes
7×inv-pow un-div-inv
6×associate--l- neg-sub0 distribute-frac-neg sin-mult rem-exp-log
5×sqrt-unprod associate-+l-
4×cube-div pow2 associate-+r- pow-plus distribute-rgt-neg-out associate--r+ unpow2
3×neg-log rem-cube-cbrt
2×exp-neg tan-sum cos-sum rem-square-sqrt sin-cos-mult sin-sum rem-cbrt-cube
1×diff-cos exp-to-pow diff-sin diff-atan

localize1.2s (1.0%)

bsearch780.0ms (0.7%)

end0.0ms (0.0%)

Profiling

Loading profile data...