Details

series10.9m (84.4%)

Calls

330 calls:

7.0s
(fma (- (* c t) (* i y)) j (- (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (fma y z (- (* a t))))) (* x (fma (- a) t (* a t)))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
3.8s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.8s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
1.9s
(fma (/ (+ (tan y) (tan z)) (- 1 (* (* (tan y) (tan z)) (* (tan y) (tan z))))) (fma (tan y) (tan z) 1) (+ (- (tan a)) x))

sample51.0s (6.6%)

Algorithm
59×intervals
Results
12.0s262967×body80valid
8.9s21558×body1280valid
8.4s206874×body80nan
3.1s10743×body640valid
2.5s5317×body2560valid
1.0s5140×body320valid
429.0ms16512×pre80true
333.0ms2526×body160valid
58.0ms212×body5120valid

prune43.1s (5.5%)

simplify9.2s (1.2%)

Algorithm
158×egg-herbie

rewrite7.2s (0.9%)

Algorithm
100×rewrite-expression-head
Calls

333 calls:

601.0ms
(/ (* (* (pow (/ 1 (pow a 1.0)) 0.5) (* x (pow (/ 1 (pow (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b))) 2)) 1/3))) (/ (pow (/ (cbrt 1) (sqrt a)) 1.0) (cbrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))) y)
514.0ms
(* (- a x) (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))))
306.0ms
(+ (* (- a x) (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z)))) x)
171.0ms
(* x (pow (/ 1 (pow (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b))) 2)) 1/3))
152.0ms
(* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n))))
Rules
10460×*-un-lft-identity
9844×times-frac
8069×add-sqr-sqrt
6326×add-exp-log
5982×add-cube-cbrt
3243×prod-exp
3017×prod-diff
2807×div-exp
2165×pow-exp
2000×cbrt-prod
1550×distribute-lft-out--
1303×distribute-rgt-in distribute-lft-in
1166×associate-+l+
1066×add-cbrt-cube
972×distribute-rgt-neg-in
946×distribute-lft-out
924×distribute-lft-neg-in
890×unpow-prod-down
881×difference-of-squares
828×pow-to-exp
749×pow1
720×associate-*r*
708×cube-prod
497×div-inv
486×associate-/r/
471×add-log-exp
418×associate-*l*
411×1-exp
405×rec-exp
374×flip3-- flip--
338×associate-/l*
333×log1p-expm1-u expm1-log1p-u
329×cbrt-unprod
304×sqrt-prod
278×associate-/r*
272×neg-mul-1
202×swap-sqr
191×cbrt-undiv
153×pow-prod-down fma-neg
143×unswap-sqr
121×associate-*r/
101×fma-def
100×unpow-prod-up
95×associate--r+
90×*-commutative
89×associate-+r+ frac-times
85×associate-*l/
82×sub-neg
77×exp-prod
76×pow1/3
73×tan-quot
70×cbrt-div
68×exp-sum
64×flip-+ flip3-+
62×associate-/l/
61×sqrt-div
60×clear-num frac-sub frac-2neg
57×sqr-pow log-pow
53×fma-udef
42×diff-log
37×pow-unpow pow-pow
34×sqrt-pow1
33×log-prod
29×pow1/2
28×rem-sqrt-square
27×sum-log
24×unpow3 cube-mult sin-mult
22×neg-sub0
21×distribute-neg-in
20×cos-mult
19×neg-log
17×+-commutative
15×pow-sqr rem-exp-log pow-prod-up
14×sub-div div-sub
13×associate--l+
11×associate-+l-
10×pow-plus distribute-neg-frac
9×cube-div rem-cube-cbrt pow2
8×pow-flip
7×exp-diff associate--l- inv-pow distribute-frac-neg
6×frac-add log-div
5×pow-sub unpow2
4×un-div-inv exp-neg
3×unpow1/3 distribute-rgt-out-- rem-cbrt-cube
2×cos-sum associate-+r- hypot-def tan-sum
1×log1p-udef distribute-lft-neg-out log1p-expm1 log-rec sqrt-unprod cube-neg

regimes6.9s (0.9%)

Accuracy

Total 32.6b remaining (25.3%)

Threshold costs 2.9b (2.2%)

7.1b0.2%Linear.Matrix:det33 from linear-1.19.1.3
5.1b81.7%The quadratic formula (r1)
4.8b81.8%NMSE problem 3.2.1
2.6b21%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.3b10.6%cos(2*x)/(cos^2(x)*sin^2(x))

localize2.5s (0.3%)

bsearch1.3s (0.2%)

end1.0ms (0.0%)