Date:Wednesday, March 4th, 2020
Commit:29625745 on findroot
Hostname:warfa with Racket 7.5
Seed:2020064
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

prune3.0m (65.4%)

sample32.0s (11.7%)

Algorithm
73×intervals
Results
9.5s293786×body80valid
5.2s14294×body1280valid
2.6s3842×body2560valid
1.9s9750×body640valid
1.8s16696×body160valid
1.4s100604×pre80true
1.0s2200×body10240exit
743.0ms6841×body320valid
542.0ms19262×body80nan
90.0ms244×body5120valid
3.0ms100×pre80false

series31.1s (11.3%)

Calls

310 calls:

3.2s
(/ (+ (* (* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (cbrt (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (* (+ (* x1 x1) 1.0) (* (* (* x1 x1) (* (cbrt (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0))) (cbrt (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0))))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))) (* (+ (* x1 x1) 1.0) (* (cbrt (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))))
958.0ms
(* (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))))
630.0ms
(cbrt (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0)))
588.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
428.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))))

simplify19.0s (6.9%)

Algorithm
180×egg-herbie

rewrite7.2s (2.6%)

Algorithm
110×rewrite-expression-head
Calls

310 calls:

645.0ms
(/ (+ (* (* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (cbrt (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (* (+ (* x1 x1) 1.0) (* (* (* x1 x1) (* (cbrt (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0))) (cbrt (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0))))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))) (* (+ (* x1 x1) 1.0) (* (cbrt (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))))
252.0ms
(- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (/ 1.0 eps) (exp (* (+ 1.0 eps) x))) 2.0))
151.0ms
(- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))
78.0ms
(* (* x1 x1) (* (cbrt (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0))) (cbrt (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0)))))
60.0ms
(* (/ (- 1) (/ (+ t1 u) t1)) (/ v (+ t1 u)))
Rules
22121×frac-times
22022×cbrt-div
18306×associate-*r/
11285×flip3-- flip--
7241×associate-*l/
6799×times-frac
6720×flip-+ flip3-+
6596×frac-add
6488×associate-/l/
5442×*-un-lft-identity
4817×add-sqr-sqrt
3443×add-cube-cbrt
1587×add-exp-log
1189×add-cbrt-cube
859×associate-*r*
761×pow1
724×unpow-prod-down
715×distribute-lft-out
712×add-log-exp
638×associate-*l*
507×sqrt-prod
498×associate-/r*
460×prod-exp
444×associate-/l*
442×div-exp
441×difference-of-squares
422×distribute-rgt-neg-in
391×distribute-lft-neg-in
358×associate-/r/
349×div-inv
329×cbrt-unprod
320×distribute-lft-out--
296×cbrt-prod
289×sqr-pow
258×cbrt-undiv
210×unpow2
207×unswap-sqr
191×pow-prod-down
154×sum-log
143×sqrt-div
97×sub-neg
84×diff-log
81×pow-exp
74×*-commutative
72×pow-to-exp
71×sqrt-pow1
67×swap-sqr
66×clear-num frac-2neg
63×cube-prod
60×distribute-rgt-in distribute-lft-in
48×pow1/2
47×neg-mul-1
43×log-prod
41×pow-prod-up
38×+-commutative
36×pow-unpow 1-exp rec-exp
34×exp-prod
33×frac-sub
31×rem-sqrt-square
30×pow1/3
27×pow-sqr
25×div-sub
24×pow-plus
23×associate-+l+
18×associate-+r+
16×pow2
15×exp-sum associate--l+
14×log-pow neg-sub0 pow-pow log-div
12×cube-div
11×unpow3 cube-mult
10×pow-flip neg-log associate--r+
8×exp-diff inv-pow
7×associate--l-
6×distribute-frac-neg
5×rem-cbrt-cube
4×pow-sub associate-+l-
3×rem-exp-log distribute-lft-neg-out unpow-prod-up associate-+r- distribute-rgt-out
2×unsub-neg distribute-lft1-in sqrt-unprod distribute-rgt-out-- sub-div rem-square-sqrt exp-to-pow rem-log-exp
1×e-exp-1 un-div-inv pow3 associate--r- distribute-neg-frac

regimes3.3s (1.2%)

Accuracy

Total 26.3b remaining (6.2%)

Threshold costs 4.4b (1%)

5.6b68.3%Compound Interest
4.5b79%Kahan p9 Example
4.2b84.5%The quadratic formula (r1)
3.4b88%The quadratic formula (r2)
3.1b0%Complex division, real part

localize1.5s (0.6%)

bsearch815.0ms (0.3%)

end1.0ms (0.0%)