Date:Tuesday, May 26th, 2020
Commit:851a19d5 on master
Hostname:warfa with Racket 7.5
Seed:2020147
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.2m (45.1%)

Algorithm
56×intervals
Results
24.9s67973×body1280valid
18.4s17416×body2560valid
8.7s42121×body640valid
3.4s92730×body80valid
2.7s20247×body320valid
2.2s63897×body80nan
1.2s1131×body1280nan
1.0s15862×body80overflowed
921.0ms10712×body160valid
637.0ms47638×pre80true
620.0ms939×body640nan
182.0ms474×body320nan
170.0ms501×body5120valid
47.0ms227×body160nan

prune1.1m (40.2%)

Filtered
11812 candidates to 7692 candidates (34.9%)

simplify8.4s (5.1%)

Algorithm
164×egg-herbie

series5.1s (3.1%)

Calls

348 calls:

259.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0)))
97.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (cbrt (pow (* (tan x) (tan eps)) 3)))) (tan x))
97.0ms
(- (/ 1 (/ (- 1 (* (tan x) (tan eps))) (+ (tan x) (tan eps)))) (tan x))
96.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
89.0ms
(log (cbrt (exp (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)))))

regimes4.9s (3.0%)

Accuracy

Total 28.6b remaining (25.6%)

Threshold costs 6.6b (5.9%)

4.5b83.3%quadp (p42, positive)
3.3b0%expq3 (problem 3.4.2)
3.2b88.2%quadm (p42, negative)
3.1b88.4%quad2m (problem 3.2.1, negative)
2.6b90%quad2p (problem 3.2.1, positive)

rewrite3.4s (2.0%)

Algorithm
108×rewrite-expression-head
Calls

348 calls:

200.0ms
(+ x (- 1.0 x))
46.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
34.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
34.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
32.0ms
(+ (- (* (/ 1 (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (/ 1.0 (cbrt (+ x 1.0)))) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
Rules
6072×*-un-lft-identity
5936×times-frac
5424×add-sqr-sqrt
3194×add-cube-cbrt
1099×sqrt-prod
1083×add-exp-log
937×difference-of-squares
824×add-cbrt-cube
761×distribute-lft-out
720×distribute-lft-out--
705×unpow-prod-down
672×add-log-exp
657×associate-*r*
612×associate-/l*
602×pow1
424×log-prod
382×associate-/r*
379×cbrt-prod
304×sqr-pow
256×flip-- flip3--
250×div-exp
247×associate-/r/
246×associate-*l*
225×unswap-sqr
218×prod-exp
213×div-inv
207×cube-prod
168×cbrt-undiv
161×flip-+ flip3-+
145×unpow2
139×associate-*l/ distribute-rgt-neg-in
123×sub-neg
120×cbrt-unprod diff-log
111×log-pow
109×associate-/l/
98×exp-sum
97×swap-sqr
82×cbrt-div
73×pow-exp
71×associate-*r/
70×clear-num pow-to-exp frac-2neg
69×exp-prod
66×sqrt-div
65×pow-prod-down
59×frac-times
56×*-commutative
54×frac-add
51×pow1/2 sum-log sqrt-pow1
50×pow-unpow pow1/3
42×tan-quot
35×rem-log-exp
34×rem-sqrt-square
31×log-div
28×distribute-rgt-in distribute-lft-in
26×+-commutative div-sub
24×frac-sub
22×associate--l+
19×unpow3 1-exp cube-mult rec-exp
18×cube-div pow-prod-up
17×neg-sub0
15×pow-pow associate-+l+
14×pow-sqr associate--r+
13×associate--l- neg-log
11×exp-diff associate-+l-
8×rem-cube-cbrt associate-+r+
6×difference-cubes inv-pow pow-flip cos-mult
5×rem-exp-log sqrt-unprod associate-+r- distribute-rgt-out-- pow2 pow-plus sin-mult
4×sin-cos-mult rem-cbrt-cube
3×un-div-inv sub-div
2×cos-sum distribute-lft-neg-in exp-neg difference-of-sqr-1 unsub-neg rem-square-sqrt neg-mul-1 distribute-neg-frac sin-sum tan-sum
1×sqrt-pow2 diff-atan diff-cos associate--r- exp-to-pow diff-sin log-rec

bsearch1.2s (0.7%)

localize1.2s (0.7%)

end0.0ms (0.0%)

Profiling

Loading profile data...