Details

series11.0m (64.4%)

Calls

313 calls:

3.8s
(fma (- (* y (* z (* x 18.0))) (* a 4.0)) t (- (* c b) (fma 27.0 (* k j) (* (* x 4.0) i))))
3.8s
(fma (- (* y (* z (* x 18.0))) (* a 4.0)) t (- (* c b) (fma (* i 4.0) x (* (* k j) 27.0))))
3.7s
(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* c b) (fma 27.0 (* k j) (* (* x 4.0) i))))
3.7s
(fma (- (* y (* z (* x 18.0))) (* a 4.0)) t (- (* c b) (fma (* i 4.0) x (* k (* j 27.0)))))
957.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))

sample2.7m (15.5%)

Algorithm
59×intervals
Results
51.3s262517×body80valid
32.8s205786×body80nan
28.4s21529×body1280valid
11.9s10974×body640valid
6.7s5363×body2560valid
4.2s5079×body320valid
1.6s2521×body160valid
1.2s16512×pre80true
252.0ms238×body5120valid

simplify1.5m (8.9%)

prune1.3m (7.9%)

regimes16.2s (1.6%)

Accuracy

Total 32.7b remaining (23.7%)

Threshold costs 4.1b (3%)

7.5b0%Linear.Matrix:det33 from linear-1.19.1.3
4.5b83.9%NMSE problem 3.2.1
4.4b84.6%The quadratic formula (r1)
2.5b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.1b27.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

rewrite10.5s (1.0%)

Algorithm
97×rewrite-expression-head
Calls

316 calls:

917.0ms
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
844.0ms
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
617.0ms
(/ (* x (* (* (cbrt (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
394.0ms
(sqrt (- (* b_2 b_2) (* a c)))
370.0ms
(* z (* x 18.0))
Rules
8399×times-frac
6741×*-un-lft-identity
6681×add-sqr-sqrt
5471×add-cube-cbrt
2362×prod-diff
1636×add-exp-log
1171×add-cbrt-cube
882×pow1
679×associate-+r+
607×sqrt-prod
541×div-inv
497×prod-exp
491×associate-*r*
487×add-log-exp
486×distribute-rgt-neg-in
456×div-exp
435×difference-of-squares
414×distribute-lft-neg-in
397×associate-/r*
390×distribute-lft-out--
337×cbrt-unprod
316×expm1-log1p-u log1p-expm1-u insert-posit16
315×associate-*l*
291×associate-/l*
266×associate-/r/
247×cbrt-undiv
232×pow-prod-down
230×distribute-lft-out
215×fma-neg
193×cbrt-prod
155×flip3-- flip--
136×neg-mul-1
130×log-prod
111×1-exp rec-exp
110×unswap-sqr
84×exp-sum
82×fma-def
76×associate-*r/
73×*-commutative associate-*l/
70×swap-sqr
65×frac-2neg clear-num sub-neg diff-log
64×cbrt-div
63×associate-/l/
61×associate--l+
58×pow-flip distribute-rgt-in pow-prod-up distribute-lft-in log-pow
57×flip-+ flip3-+
54×associate-+l+
53×frac-times
50×inv-pow fma-udef
44×sqrt-pow1
43×pow1/2
36×unpow-prod-up pow1/3
35×exp-prod
32×exp-diff rem-sqrt-square
31×tan-quot
30×sum-log sin-mult
28×sqrt-div div-sub
27×cos-mult
25×difference-of-sqr-1
23×pow-sqr
21×rem-exp-log
20×frac-sub
19×pow-unpow
18×unpow-prod-down log-div
15×pow-sub
14×+-commutative sub-div un-div-inv
13×pow-plus
10×neg-sub0 associate--l-
9×frac-add
8×pow-exp neg-log associate-+l-
7×cos-sum cos-2
6×pow2 sqr-pow
5×pow3 pow-pow pow-to-exp rem-log-exp count-2
4×associate-+r-
3×quot-tan distribute-neg-frac hypot-def e-exp-1 distribute-rgt-out--
2×tan-sum unpow2 distribute-frac-neg
1×expm1-log1p expm1-udef remove-posit16 sin-cos-mult sqrt-unprod associate--r+ rem-cbrt-cube unsub-neg

localize5.8s (0.6%)

bsearch1.3s (0.1%)

end2.0ms (0.0%)