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

series10.8m (84.7%)

Calls

318 calls:

3.4s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
3.0s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.9s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (* j 27.0) (* (cbrt k) (cbrt k))) (cbrt k)))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))

sample50.5s (6.6%)

Algorithm
59×intervals
Results
12.2s263047×body80valid
9.0s209211×body80nan
7.3s21533×body1280valid
2.7s5341×body2560valid
2.6s10964×body640valid
871.0ms5144×body320valid
407.0ms16512×pre80true
309.0ms2495×body160valid
66.0ms239×body5120valid

prune44.5s (5.8%)

simplify8.2s (1.1%)

Algorithm
157×egg-herbie

regimes7.1s (0.9%)

Accuracy

Total 27.8b remaining (22.8%)

Threshold costs 3.9b (3.2%)

7.2b-3.5%Linear.Matrix:det33 from linear-1.19.1.3
4.4b84.4%NMSE problem 3.2.1
2.6b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.5b30.8%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
1.8b87.5%jeff quadratic root 2

rewrite3.2s (0.4%)

Algorithm
99×rewrite-expression-head
Calls

320 calls:

60.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
57.0ms
(* x (/ (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) y))
56.0ms
(- (/ (+ x 4.0) y) (/ x (/ y z)))
41.0ms
(+ (- (/ 1 (/ (tan B) (* x 1.0)))) (/ 1.0 (sin B)))
36.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
Rules
6389×times-frac
6203×*-un-lft-identity
5609×add-sqr-sqrt
4703×add-cube-cbrt
2222×prod-diff
1893×add-exp-log
1074×add-cbrt-cube
866×associate-*r/
853×associate-*l/
826×prod-exp
776×associate-*r*
775×distribute-rgt-neg-in
718×pow1
694×distribute-lft-neg-in
666×flip-- flip3--
597×sqrt-prod
565×frac-sub
504×add-log-exp
460×unpow-prod-down
446×distribute-lft-out
436×frac-times
423×div-inv
410×associate-*l*
402×div-exp
383×associate-/r*
351×distribute-lft-out--
320×log1p-expm1-u expm1-log1p-u
315×associate-/l*
312×difference-of-squares
290×sqrt-div
273×cbrt-unprod
271×fma-neg
268×cbrt-prod
239×distribute-rgt-in distribute-lft-in
208×neg-mul-1
205×associate-/l/
190×cbrt-undiv
180×flip-+ flip3-+
174×pow-exp
158×fma-def
155×pow-prod-down
151×associate-/r/
148×pow-to-exp
135×log-prod
132×cube-prod
127×fma-udef
119×tan-quot
114×associate-+r+
112×unswap-sqr
110×associate-+l+
106×exp-sum
92×sub-neg
88×*-commutative
76×clear-num frac-2neg
74×associate--r+
69×log-pow
65×diff-log
59×1-exp
56×rec-exp
51×cbrt-div
46×pow-unpow sqr-pow
36×sum-log
31×pow1/3 exp-prod
26×neg-sub0
23×neg-log
22×pow1/2 sin-mult sqrt-pow1
20×rem-sqrt-square +-commutative
18×associate-+l-
17×swap-sqr associate--l-
16×frac-add cos-mult
12×pow-flip div-sub distribute-neg-frac
11×pow-pow inv-pow
10×sub-div associate--l+ log-div
9×pow-prod-up pow-sqr
8×rem-exp-log
6×un-div-inv
5×distribute-neg-in pow-plus
4×pow2 distribute-frac-neg
3×exp-diff distribute-lft-neg-out unpow1/3
2×cube-div rem-cube-cbrt unpow3 cube-mult tan-sum cos-sum rem-log-exp associate-+r-
1×sqrt-unprod exp-neg distribute-rgt-out-- cube-neg rem-cbrt-cube

localize2.4s (0.3%)

bsearch1.2s (0.2%)

end1.0ms (0.0%)