Details

series11.2m (53.9%)

Calls

339 calls:

1.8m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
14.3s
(fma b c (- (* z (* (* t x) (* y 18.0))) (fma 4.0 (fma t a (* x i)) (* j (* 27.0 k)))))
12.5s
(fma b c (- (* z (* (* t x) (* y 18.0))) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j)))))
1.2s
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
1.0s
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))

simplify4.8m (23.0%)

sample2.6m (12.5%)

Algorithm
59×intervals
Results
48.1s263245×body80valid
34.6s206643×body80nan
28.5s21295×body1280valid
11.5s10975×body640valid
6.8s5338×body2560valid
3.8s5075×body320valid
1.2s2574×body160valid
1.1s16512×pre80true
298.0ms208×body5120valid

prune1.6m (7.6%)

regimes17.3s (1.4%)

Accuracy

Total 35.6b remaining (25.5%)

Threshold costs 4.9b (3.5%)

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))

rewrite11.6s (0.9%)

Algorithm
102×rewrite-expression-head
Calls

341 calls:

1.3s
(/ (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
851.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)
734.0ms
(/ (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (fma (log a) (- 1.0) (* y (log z))) (fma t (- (log a)) b)))))) y)
247.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
211.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
Rules
6747×times-frac
5748×add-sqr-sqrt
5412×*-un-lft-identity
4578×add-cube-cbrt
2537×add-exp-log
1838×cbrt-prod
1627×prod-diff
1528×add-cbrt-cube
1197×pow1
1138×associate-*l*
920×prod-exp
878×sqrt-prod
828×div-exp
667×cbrt-unprod
503×add-log-exp
501×associate-*r*
480×cbrt-undiv
412×div-inv
390×pow-prod-down
341×expm1-log1p-u log1p-expm1-u insert-posit16
306×associate-/r*
254×distribute-rgt-neg-in
250×distribute-rgt-in distribute-lft-in
245×distribute-lft-out
242×distribute-lft-neg-in
241×associate-/l*
238×difference-of-squares
233×distribute-lft-out--
194×unswap-sqr
193×fma-neg
146×log-pow
145×flip-- flip3--
134×associate--r+
133×1-exp
117×log-prod
109×associate-*l/
103×associate-/r/
98×exp-sum
87×*-commutative
86×rec-exp
84×associate-+l+ pow1/3
81×sqrt-pow1 associate-+r+
74×neg-mul-1
67×sub-neg
65×associate-*r/
63×associate-/l/ diff-log
62×pow1/2
60×swap-sqr
56×fma-def
55×frac-2neg clear-num
52×frac-times fma-udef
48×exp-prod
47×tan-quot
46×sqrt-div
41×associate--l+
37×sum-log
35×rem-sqrt-square
34×pow-prod-up
31×flip-+ flip3-+
29×exp-diff frac-sub
28×pow-flip pow-sqr
26×cbrt-div rem-exp-log
20×cos-mult
19×sin-mult
16×pow-plus
15×pow-unpow inv-pow
14×associate-+r-
13×div-sub
12×pow-div sub-div log-div
11×+-commutative
10×difference-of-sqr-1 frac-add
9×unpow-prod-down
8×pow2
7×associate-+l-
6×neg-sub0 un-div-inv
5×distribute-rgt-out-- sqrt-unprod
4×distribute-frac-neg exp-to-pow distribute-neg-frac expm1-def
3×pow-exp sqr-pow neg-log associate--l- pow-pow pow-to-exp rem-log-exp e-exp-1
2×distribute-lft-neg-out pow3 cos-sum hypot-def tan-sum
1×remove-posit16 associate--r- cos-2

localize5.7s (0.5%)

bsearch1.3s (0.1%)

end1.0ms (0.0%)