Date:Tuesday, May 26th, 2020
Commit:25910407 on doc-updates
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 (43.9%)

Algorithm
56×intervals
Results
24.9s67973×body1280valid
18.6s17416×body2560valid
8.7s42121×body640valid
3.5s92730×body80valid
2.7s20247×body320valid
2.2s63897×body80nan
1.2s1131×body1280nan
1.1s15862×body80overflowed
932.0ms10712×body160valid
644.0ms47638×pre80true
641.0ms939×body640nan
185.0ms474×body320nan
175.0ms501×body5120valid
46.0ms227×body160nan

prune1.2m (41.6%)

Filtered
12113 candidates to 7848 candidates (35.2%)

simplify8.7s (5.1%)

Algorithm
164×egg-herbie

regimes5.1s (3.0%)

Accuracy

Total 28.1b remaining (25.3%)

Threshold costs 6.5b (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)

series4.8s (2.8%)

Calls

349 calls:

276.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)))
96.0ms
(- (/ 1 (/ (- 1 (* (tan x) (tan eps))) (+ (tan x) (tan eps)))) (tan x))
94.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
94.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (cbrt (pow (* (tan x) (tan eps)) 3)))) (tan x))
88.0ms
(log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))

rewrite3.2s (1.9%)

Algorithm
108×rewrite-expression-head
Calls

349 calls:

43.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
36.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
31.0ms
(/ (/ a (/ (- (neg b_2) (exp (log (sqrt (- (* b_2 b_2) (* a c)))))) c)) a)
30.0ms
(/ (/ (* (/ a (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (/ c (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) a)
29.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
Rules
6318×times-frac
6237×*-un-lft-identity
5586×add-sqr-sqrt
3380×add-cube-cbrt
1137×add-exp-log
1099×sqrt-prod
910×difference-of-squares
849×add-cbrt-cube
767×unpow-prod-down
758×distribute-lft-out
711×distribute-lft-out--
673×associate-*r*
664×add-log-exp
650×associate-/l*
608×pow1
419×log-prod
400×associate-/r*
361×cbrt-prod
318×sqr-pow
276×div-exp
256×flip-- flip3--
252×associate-*l*
247×associate-/r/
235×div-inv
233×unswap-sqr
230×prod-exp
207×cube-prod
178×cbrt-undiv
177×unpow2
163×flip-+ flip3-+
139×associate-*l/ distribute-rgt-neg-in
124×cbrt-unprod
119×sub-neg
116×diff-log
111×associate-/l/
105×exp-sum
101×log-pow
97×swap-sqr
81×pow-exp
79×cbrt-div
78×pow-to-exp
75×associate-*r/
74×clear-num frac-2neg
66×sqrt-div
65×pow-prod-down
59×frac-times
58×frac-add *-commutative exp-prod
51×pow1/2 sqrt-pow1
50×pow-unpow sum-log
46×pow1/3
42×tan-quot
37×log-div
34×distribute-rgt-in rem-sqrt-square distribute-lft-in
32×div-sub
31×rem-log-exp
28×+-commutative
24×frac-sub
22×associate--l+
20×associate-+r+
19×unpow3 1-exp cube-mult rec-exp
18×cube-div pow-prod-up
15×pow-pow associate-+l+ neg-sub0
14×pow-sqr associate--r+
13×associate--l-
11×neg-log
10×inv-pow pow-flip associate-+l-
9×exp-diff
8×rem-cube-cbrt
6×difference-cubes rem-exp-log cos-mult
5×sqrt-unprod distribute-rgt-out-- pow2 pow-plus sin-mult associate--r-
4×sub0-neg sin-cos-mult mul-1-neg unsub-neg rem-cbrt-cube distribute-rgt-neg-out
3×un-div-inv associate-+r- sub-div log-rec
2×cos-sum distribute-lft-neg-in exp-neg difference-of-sqr-1 rem-square-sqrt distribute-frac-neg neg-mul-1 distribute-neg-frac sin-sum tan-sum
1×sqrt-pow2 diff-atan diff-cos exp-to-pow diff-sin

bsearch1.4s (0.9%)

localize1.3s (0.8%)

end0.0ms (0.0%)

Profiling

Loading profile data...