Date:Tuesday, February 25th, 2020
Commit:7c13946c on findroot
Hostname:warfa with Racket 7.5
Seed:2020056
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

prune57.3s (38.4%)

series32.6s (21.8%)

Calls

297 calls:

2.1s
(/ (* 100.0 (/ (fma (- 1.0) 1.0 (pow (+ 1.0 (/ i n)) (* 2 n))) (+ (pow (+ 1.0 (/ i n)) n) 1.0))) (/ i n))
2.0s
(/ (* 100.0 (/ (log (exp (fma (- 1.0) 1.0 (pow (+ 1.0 (/ i n)) (* 2 n))))) (+ (pow (+ 1.0 (/ i n)) n) 1.0))) (/ i n))
1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
571.0ms
(/ (* 100.0 (- (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
485.0ms
(fma x (* (- (* (* (* (* 11.0 x) x) y) y) (+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))) x) (+ (* 333.75 (pow y 6.0)) (fma (pow y 8.0) 5.5 (/ x (* 2.0 y)))))

sample31.1s (20.9%)

Algorithm
73×intervals
Results
9.3s294394×body80valid
4.9s13832×body1280valid
2.4s3854×body2560valid
1.8s9384×body640valid
1.7s16832×body160valid
1.4s100633×pre80true
1.0s2161×body10240exit
718.0ms6797×body320valid
545.0ms19275×body80nan
95.0ms221×body5120valid
3.0ms100×pre80false

simplify12.8s (8.6%)

Algorithm
175×egg-herbie

rewrite9.6s (6.4%)

Algorithm
105×rewrite-expression-head
Calls

297 calls:

332.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
296.0ms
(+ (+ (+ (+ e d) c) b) a)
287.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
273.0ms
(- (/ x (/ (fma x x (* y y)) (+ x y))) (/ y (/ (fma x x (* y y)) (+ x y))))
239.0ms
(* 100.0 (- (pow (+ 1.0 (/ i n)) n) 1.0))
Rules
24286×times-frac
19538×*-un-lft-identity
15440×add-sqr-sqrt
14230×add-cube-cbrt
9162×prod-diff
2622×add-exp-log
2385×distribute-lft-out
2125×add-cbrt-cube
2080×cbrt-prod
1350×div-inv
1224×associate-/r/
1096×unpow-prod-down
948×sqrt-prod
946×prod-exp
858×div-exp
776×cube-prod
757×cbrt-unprod
744×distribute-rgt-in distribute-lft-in
728×pow1
726×associate-*r*
637×cbrt-undiv
614×flip-+ flip3-+
596×add-log-exp
519×associate-/l*
435×associate-/r*
413×difference-of-squares
410×associate-*l*
305×distribute-lft-out--
297×log1p-expm1-u expm1-log1p-u
267×fma-neg
191×distribute-rgt-neg-in
157×sqr-pow
133×swap-sqr
131×flip3-- flip--
129×distribute-lft-neg-in unswap-sqr
125×sum-log
124×pow-prod-down
122×fma-def
120×1-exp
108×associate-*r/
100×frac-times
97×log-pow
88×cbrt-div
79×associate-/l/
78×associate-*l/
76×rec-exp
75×clear-num frac-2neg
68×sub-neg
61×*-commutative
54×diff-log exp-prod
53×pow-prod-up
47×log-prod
43×neg-mul-1
39×pow-sqr
37×fma-udef
35×sqrt-div
33×pow-plus
32×unpow2
28×pow-to-exp pow2 pow-exp
27×pow1/3 +-commutative
25×div-sub
20×pow-unpow unpow3 cube-mult
18×frac-sub
17×rem-sqrt-square
16×log-div
14×pow1/2 sqrt-pow1
12×frac-add neg-sub0 pow-pow
11×pow-flip associate--l+
10×associate-+l+ associate-+r+
9×inv-pow neg-log
8×rem-log-exp
7×associate--l- hypot-udef
6×distribute-lft-neg-out associate-+l-
5×distribute-frac-neg rem-cbrt-cube associate--r+
4×cube-div
3×un-div-inv distribute-rgt-out--
2×sqrt-pow2 associate--r- sum-cubes
1×associate-+r- sub-div expm1-log1p unsub-neg exp-sum expm1-udef

regimes3.4s (2.2%)

Accuracy

Total 43.9b remaining (17.2%)

Threshold costs 3.1b (1.2%)

12.9b46.7%Compound Interest
9.0b31.9%Complex division, imag part
7.5b33.3%Complex division, real part
4.7b83.6%The quadratic formula (r2)
4.2b85.2%The quadratic formula (r1)

localize1.3s (0.9%)

bsearch1.2s (0.8%)

end1.0ms (0.0%)