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:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

series44.7s (32.6%)

Calls

325 calls:

14.3s
(/ (* 100.0 (/ (/ (+ (pow (+ 1.0 (/ i n)) (* 2 (* 2 n))) (- (* (* 1.0 1.0) (* 1.0 1.0)))) (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (* 1.0 1.0))) (+ (pow (+ 1.0 (/ i n)) n) 1.0))) (/ i n))
2.1s
(/ (* 100.0 (/ (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (- (* 1.0 1.0))) (+ (pow (+ 1.0 (/ i n)) n) 1.0))) (/ i n))
505.0ms
(cbrt (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
435.0ms
(cbrt (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
429.0ms
(cbrt (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))

sample31.2s (22.8%)

Algorithm
73×intervals
Results
9.5s294394×body80valid
4.8s13832×body1280valid
2.4s3854×body2560valid
1.8s9384×body640valid
1.8s16832×body160valid
1.4s100633×pre80true
1.1s2161×body10240exit
729.0ms6797×body320valid
557.0ms19275×body80nan
91.0ms221×body5120valid
3.0ms100×pre80false

prune30.9s (22.5%)

rewrite14.2s (10.4%)

Algorithm
112×rewrite-expression-head
Calls

325 calls:

1.2s
(+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
616.0ms
(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))
569.0ms
(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
304.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
278.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
Rules
4873×times-frac
4223×add-sqr-sqrt
4197×*-un-lft-identity
2670×add-cube-cbrt
2345×add-exp-log
1434×add-cbrt-cube
872×prod-exp
790×associate-*r*
788×add-log-exp
726×div-exp
717×pow1
598×unpow-prod-down difference-of-squares
594×sqrt-prod
524×associate-*l*
505×associate-*r/
482×distribute-lft-out
443×associate-/r*
416×cbrt-unprod
353×cbrt-undiv
342×associate-/l*
321×associate-/r/
315×flip-+ flip3-+
314×distribute-lft-out--
308×flip-- flip3--
278×sqr-pow
256×div-inv
247×cbrt-prod
220×cube-prod
214×pow-exp
212×frac-times
186×pow-to-exp
183×unswap-sqr
170×sum-log
155×associate-*l/
152×cbrt-div
147×pow-prod-down
132×sqrt-div
126×associate-/l/ frac-add
116×sub-neg
106×diff-log
100×swap-sqr
95×unpow2
80×frac-sub
71×*-commutative
60×clear-num frac-2neg
57×distribute-rgt-in distribute-lft-in
49×pow-unpow rec-exp 1-exp
48×distribute-rgt-neg-in
45×+-commutative
43×sqrt-pow1
42×pow1/2 rem-sqrt-square
40×associate--l+
36×pow-pow
33×distribute-lft-neg-in
32×pow1/3
26×difference-cubes
24×rem-cube-cbrt associate-+l+ associate-+r+ pow-prod-up
23×log-prod div-sub
22×log-pow
21×pow-sqr
17×cube-div exp-prod exp-sum
16×pow-plus
15×unpow3 cube-mult
14×pow2
13×un-div-inv cube-unmult
11×associate--l- neg-sub0 neg-mul-1
10×log-div
9×neg-log
6×inv-pow distribute-lft-neg-out pow-flip associate--r+
5×associate-+r- distribute-frac-neg rem-log-exp
4×unsub-neg rem-cbrt-cube associate-+l-
2×exp-diff sqrt-pow2 sum-cubes
1×rem-exp-log distribute-lft1-in sqrt-unprod distribute-rgt-out-- sub-div rem-square-sqrt distribute-rgt-out associate--r- exp-to-pow

simplify10.1s (7.4%)

Algorithm
182×egg-herbie

regimes3.4s (2.5%)

Accuracy

Total 36.8b remaining (8.3%)

Threshold costs 2.8b (0.6%)

12.9b46.7%Compound Interest
4.9b76.8%Kahan p9 Example
4.3b85%The quadratic formula (r1)
3.9b-28%Complex division, real part
2.9b0%Complex division, imag part

localize1.5s (1.1%)

bsearch1.1s (0.8%)

end1.0ms (0.0%)