Details

series11.2m (55.7%)

Calls

340 calls:

2.5m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
12.7s
(fma b c (- (* z (* (* t x) (* y 18.0))) (fma 4.0 (fma t a (* x i)) (* (* 27.0 k) j))))
12.5s
(fma b c (- (* z (* (* t x) (* y 18.0))) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j)))))
1.3s
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
892.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))

simplify4.8m (23.9%)

sample1.9m (9.6%)

Algorithm
59×intervals
Results
33.8s263245×body80valid
23.9s206643×body80nan
21.2s21295×body1280valid
8.0s10975×body640valid
6.0s5338×body2560valid
3.1s5075×body320valid
1.2s2574×body160valid
1.2s16512×pre80true
154.0ms208×body5120valid

prune1.6m (7.9%)

regimes17.2s (1.4%)

Accuracy

Total 34.5b remaining (24.9%)

Threshold costs 4.7b (3.4%)

7.6b9.9%Linear.Matrix:det33 from linear-1.19.1.3
5.2b81.5%NMSE problem 3.2.1
4.3b84.5%The quadratic formula (r1)
3.3b0%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
2.6b0%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite12.2s (1.0%)

Algorithm
102×rewrite-expression-head
Calls

342 calls:

1.8s
(/ (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
873.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)
732.0ms
(/ (* x (* (sqrt (exp (- (fma (log a) (- 1.0) (* y (log z))) (fma t (- (log a)) b)))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
249.0ms
(* (/ (/ (* (cbrt (/ y (cbrt z))) (cbrt (/ y (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (* (cbrt z) (cbrt z)))))) (* (/ (/ (cbrt (/ y (cbrt z))) (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z))))) (/ x (cbrt (cbrt z)))))
237.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
Rules
6842×times-frac
5921×add-sqr-sqrt
5564×*-un-lft-identity
4654×add-cube-cbrt
2532×add-exp-log
1856×cbrt-prod
1684×prod-diff
1527×add-cbrt-cube
1212×pow1
1112×associate-*l*
947×sqrt-prod
921×prod-exp
824×div-exp
668×cbrt-unprod
567×associate-*r*
509×add-log-exp
478×cbrt-undiv
415×div-inv
394×pow-prod-down
342×expm1-log1p-u log1p-expm1-u insert-posit16
310×distribute-rgt-neg-in
298×distribute-lft-neg-in
294×associate-/r*
269×difference-of-squares
262×distribute-lft-out--
253×distribute-lft-out
250×distribute-rgt-in distribute-lft-in
246×associate-/l*
204×unswap-sqr
199×fma-neg
146×flip-- log-pow flip3--
134×associate--r+
131×1-exp
117×log-prod
109×associate-*l/
103×associate-/r/
98×exp-sum
97×sqrt-pow1
89×pow1/3
88×*-commutative
84×associate-+l+ rec-exp
82×associate--l+ neg-mul-1
81×associate-+r+
71×swap-sqr
69×pow1/2 sub-neg
66×diff-log
65×associate-*r/
63×associate-/l/
56×fma-def
53×frac-2neg clear-num
52×frac-times fma-udef
48×sqrt-div exp-prod
47×tan-quot
40×pow-prod-up
39×rem-sqrt-square
37×sum-log
32×pow-sqr
31×flip-+ flip3-+
29×exp-diff frac-sub
26×cbrt-div rem-exp-log
24×pow-flip
20×cos-mult
19×sin-mult
17×pow-plus
15×pow-unpow inv-pow
14×associate-+r- div-sub
12×pow-div sub-div log-div
11×+-commutative
10×difference-of-sqr-1 frac-add
9×pow2 unpow-prod-down
7×neg-sub0 associate-+l-
6×sqrt-unprod distribute-neg-frac un-div-inv
5×distribute-rgt-out-- distribute-frac-neg
4×associate--l- exp-to-pow expm1-def
3×pow-exp sqr-pow neg-log pow-pow pow-to-exp rem-log-exp e-exp-1
2×pow3 cos-sum hypot-def tan-sum
1×distribute-lft-neg-out distribute-rgt-neg-out rem-square-sqrt remove-posit16 associate--r- cos-2

localize6.1s (0.5%)

bsearch939.0ms (0.1%)

end1.0ms (0.0%)