Details

series10.9m (85.4%)

Calls

331 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.6s
(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)))))
611.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))

sample51.7s (6.8%)

Algorithm
59×intervals
Results
12.2s263030×body80valid
8.9s21461×body1280valid
8.5s208266×body80nan
3.1s10977×body640valid
2.4s5213×body2560valid
987.0ms5211×body320valid
449.0ms16512×pre80true
322.0ms2534×body160valid
67.0ms231×body5120valid

prune34.9s (4.6%)

simplify8.1s (1.1%)

Algorithm
160×egg-herbie

regimes7.1s (0.9%)

Accuracy

Total 32.8b remaining (25.4%)

Threshold costs 3.3b (2.5%)

8.5b-7.4%Linear.Matrix:det33 from linear-1.19.1.3
4.0b85.8%The quadratic formula (r1)
3.6b86.6%NMSE problem 3.2.1
3.1b6.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.7b0%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite6.5s (0.9%)

Algorithm
102×rewrite-expression-head
Calls

334 calls:

679.0ms
(exp (+ (+ (- 0 (pow (cbrt 1.0) 3)) (pow x 2)) 0))
261.0ms
(* (/ x (* (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))) (cbrt z))) (/ y (cbrt z)))
240.0ms
(* (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (/ (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
189.0ms
(- (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z))) t)
182.0ms
(- (+ x (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))) (tan a))
Rules
3837×*-un-lft-identity
3560×add-sqr-sqrt
2603×add-cube-cbrt
2403×times-frac
2183×add-exp-log
1185×prod-diff
1077×add-cbrt-cube
968×prod-exp
858×pow1
741×sqrt-prod
716×associate-*r*
533×distribute-rgt-neg-in
528×div-exp
505×add-log-exp
500×associate-*l*
475×distribute-lft-neg-in
382×distribute-lft-out
341×distribute-lft-out--
334×log1p-expm1-u expm1-log1p-u
324×cbrt-unprod
291×difference-of-squares
289×associate-/r*
257×cbrt-prod
245×associate-/l*
237×fma-neg
227×pow-exp
215×log-pow
202×cbrt-undiv
196×unpow-prod-down
186×flip3-- flip--
176×pow-prod-down
171×exp-prod
158×pow-to-exp
150×unswap-sqr
148×div-inv
144×neg-mul-1
132×associate-/r/
122×distribute-rgt-in distribute-lft-in
116×associate-*r/
115×associate-+r+ sqrt-pow1
102×sqrt-div
90×*-commutative
86×flip-+ flip3-+
82×sub-neg
80×associate-*l/ frac-times
79×exp-sum
78×fma-def
74×cbrt-div
73×pow1/2
71×fma-udef
67×log-prod
66×associate--r+
63×frac-2neg clear-num diff-log
57×1-exp rec-exp
54×pow1/3
50×associate-/l/
39×pow-unpow frac-sub
35×sum-log
33×sqr-pow
32×swap-sqr
30×sin-mult
26×neg-sub0
25×tan-quot rem-sqrt-square distribute-neg-in
24×pow-prod-up cos-mult associate-+l-
22×associate-+l+ log-div
20×unpow-prod-up
18×associate--l-
17×neg-log
16×pow-sqr div-sub
15×rem-exp-log pow-flip +-commutative
14×sub-div
12×pow-pow associate--l+
10×un-div-inv
9×associate-+r-
8×exp-diff inv-pow distribute-frac-neg cube-prod
6×sqrt-unprod pow2 distribute-neg-frac pow-plus
4×exp-neg
3×frac-add
2×rem-cube-cbrt unpow3 distribute-lft-neg-out associate--r- cube-mult rem-square-sqrt cos-sum tan-sum rem-log-exp
1×pow3 pow-sub log-rec rem-cbrt-cube pow-neg

localize2.5s (0.3%)

bsearch1.1s (0.1%)

end1.0ms (0.0%)