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: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

prune40.7s (34.0%)

sample32.6s (27.3%)

Algorithm
73×intervals
Results
9.7s293786×body80valid
5.2s14294×body1280valid
2.5s3842×body2560valid
2.0s9750×body640valid
1.8s16696×body160valid
1.4s100604×pre80true
1.1s2200×body10240exit
750.0ms6841×body320valid
561.0ms19262×body80nan
91.0ms244×body5120valid
3.0ms100×pre80false

series27.3s (22.8%)

Calls

273 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
495.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)))))
417.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
413.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
412.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify10.0s (8.4%)

Algorithm
172×egg-herbie

rewrite3.7s (3.1%)

Algorithm
102×rewrite-expression-head
Calls

273 calls:

149.0ms
(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
62.0ms
(* (/ (/ PI 2.0) (+ b a)) (* (/ 1.0 (- b a)) (- (/ 1.0 a) (/ 1.0 b))))
60.0ms
(* (/ 1 (/ (+ t1 u) (- t1))) (/ v (+ t1 u)))
50.0ms
(/ (* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
50.0ms
(* (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
Rules
12283×times-frac
11110×*-un-lft-identity
9648×add-sqr-sqrt
8290×add-cube-cbrt
4986×prod-diff
1516×add-exp-log
1466×distribute-rgt-in distribute-lft-in
1145×distribute-lft-out
1144×add-cbrt-cube
900×associate-*r*
837×sqrt-prod
799×div-inv
650×associate-*l*
580×pow1
543×add-log-exp
541×distribute-rgt-neg-in
507×distribute-lft-neg-in
481×prod-exp
462×associate-/l*
420×div-exp
396×unpow-prod-down
378×difference-of-squares
357×associate-/r*
300×cbrt-unprod
281×distribute-lft-out--
275×cbrt-undiv
274×log1p-expm1-u
273×expm1-log1p-u
251×fma-neg
240×associate-/r/
223×unswap-sqr
179×sqr-pow
169×neg-mul-1
151×flip-+ flip3-+
137×associate-+l+
130×flip-- flip3--
122×pow-prod-down
110×sum-log
103×associate-*r/
90×frac-times
86×unpow2
77×fma-def 1-exp swap-sqr
67×sub-neg
63×associate-/l/ clear-num frac-2neg
62×*-commutative associate-*l/ exp-prod
56×cbrt-prod
53×sqrt-div
52×diff-log
44×fma-udef rec-exp
36×log-pow sqrt-pow1
35×pow1/2
34×pow-exp
33×pow-to-exp
31×log-prod
27×rem-sqrt-square
23×pow-prod-up
22×frac-add
21×associate-+r+ frac-sub
20×+-commutative
19×cube-prod div-sub
15×pow-sqr pow-plus
14×pow1/3
13×pow-flip
11×pow2
10×pow-unpow associate--l- distribute-lft-neg-out neg-sub0
8×neg-log
7×inv-pow
6×cbrt-div unpow3 cube-mult
4×hypot-udef
3×distribute-frac-neg unpow-prod-up exp-sum pow-pow
2×cube-div rem-exp-log sqrt-unprod expm1-log1p rem-square-sqrt expm1-udef associate-+l- associate--r+ rem-log-exp log-div
1×e-exp-1 un-div-inv log1p-udef pow3 log1p-expm1 rem-cbrt-cube associate--l+

regimes3.0s (2.5%)

Accuracy

Total 37.4b remaining (15.2%)

Threshold costs 3.3b (1.3%)

9.9b16.4%Complex division, imag part
7.5b36.7%Complex division, real part
5.6b68.6%Compound Interest
4.5b84.2%The quadratic formula (r2)
4.5b79%Kahan p9 Example

localize1.3s (1.1%)

bsearch1.1s (0.9%)

end1.0ms (0.0%)