Date:Thursday, March 5th, 2020
Commit:a3b4d238 on findroot
Hostname:warfa with Racket 7.5
Seed:2020065
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

prune33.2s (29.5%)

sample32.9s (29.2%)

Algorithm
73×intervals
Results
10.0s293273×body80valid
5.1s14012×body1280valid
2.6s3838×body2560valid
1.9s9662×body640valid
1.8s16733×body160valid
1.5s100660×pre80true
1.1s2206×body10240exit
794.0ms7030×body320valid
576.0ms19283×body80nan
105.0ms252×body5120valid
3.0ms100×pre80false

series27.2s (24.1%)

Calls

284 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
840.0ms
(* (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))))
496.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)))))
423.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
421.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify10.4s (9.2%)

Algorithm
172×egg-herbie

rewrite3.6s (3.2%)

Algorithm
102×rewrite-expression-head
Calls

284 calls:

198.0ms
(* 3.9999999999999997e-32 (pow t 2))
75.0ms
(- (/ 1 (pow x 5)) (/ 1 (pow x 3)))
64.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
50.0ms
(/ (* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
45.0ms
(* (* (/ (/ PI 2.0) (+ b a)) (/ 1.0 (- b a))) (- (/ 1.0 a) (/ 1.0 b)))
Rules
10492×times-frac
9792×*-un-lft-identity
8856×add-sqr-sqrt
7416×add-cube-cbrt
4975×prod-diff
1667×add-exp-log
1273×unpow-prod-down
1136×add-cbrt-cube
981×distribute-rgt-in distribute-lft-in
882×sqrt-prod
817×distribute-lft-out
712×div-inv
627×associate-*r*
582×pow1
577×add-log-exp
570×prod-exp
536×difference-of-squares
525×cube-prod
472×div-exp
427×associate-*l*
410×sqr-pow
378×distribute-lft-out--
327×associate-/l*
325×associate-/r*
318×associate-/r/
295×cbrt-prod
291×cbrt-unprod
287×log1p-expm1-u
285×expm1-log1p-u
268×cbrt-undiv
253×fma-neg
249×distribute-rgt-neg-in
214×flip-+ flip3-+
191×distribute-lft-neg-in
176×flip3-- flip--
153×frac-times
144×unswap-sqr
143×1-exp
124×associate-*r/
122×sum-log
114×pow-prod-down
112×fma-def
100×frac-sub associate-*l/
91×unpow3 cube-mult
88×sqrt-div rec-exp
78×exp-neg
71×neg-sub0
69×swap-sqr
66×associate-/l/ clear-num frac-2neg
65×sub-neg neg-mul-1
64×sqrt-pow1
63×*-commutative
59×exp-diff
52×log-prod
51×diff-log
50×fma-udef
44×pow1/2
39×unpow2
32×pow-exp
30×rem-sqrt-square pow-to-exp
27×+-commutative
22×un-div-inv
18×div-sub
17×pow-prod-up log-pow
15×pow-unpow associate-+r+
13×pow-flip
12×frac-add pow-sqr exp-prod associate--r+
11×associate-+l+ neg-log
10×inv-pow
9×associate--l- pow-pow
8×pow2 pow-plus pow1/3 log-div
6×cube-div rem-cube-cbrt distribute-frac-neg hypot-def sum-cubes
5×distribute-lft-neg-out rem-cbrt-cube
4×cbrt-div rem-exp-log expm1-log1p expm1-udef rem-log-exp
3×log1p-udef log1p-expm1 associate-+l-
2×sqrt-pow2 associate-+r- associate--l+
1×sqrt-undiv sqrt-unprod hypot-udef unsub-neg rem-square-sqrt distribute-rgt-out

regimes3.0s (2.7%)

Accuracy

Total 35.8b remaining (12.3%)

Threshold costs 3.6b (1.2%)

8.2b32%Complex division, imag part
8.2b35%Complex division, real part
6.5b63.6%Compound Interest
4.5b84.6%The quadratic formula (r2)
3.5b87.4%The quadratic formula (r1)

localize1.3s (1.2%)

bsearch991.0ms (0.9%)

end1.0ms (0.0%)