Details

series10.8m (60.2%)

Calls

332 calls:

2.0m
(fma (- (* b y4) (* y5 i)) (- (* t j) (* k y)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
1.3m
(fma (- (* b y4) (* y5 i)) (- (* t j) (* k y)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
1.3m
(fma (- (* b y4) (* y5 i)) (- (* t j) (* k y)) (* (* (- (* a b) (* c i)) (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t))))) (cbrt (- (* x y) (* z t)))))
3.8s
(- (- (+ (- (* (* (* y x) (* 18.0 z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* j k)))
1.1s
(/ (fma (fma y (fma (+ y a) y b) c) y i) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))

sample2.5m (14.2%)

Algorithm
59×intervals
Results
48.7s263955×body80valid
31.6s208318×body80nan
26.1s21188×body1280valid
11.3s11172×body640valid
7.3s5327×body2560valid
3.9s5132×body320valid
1.3s16512×pre80true
1.0s2512×body160valid
200.0ms237×body5120valid

simplify2.3m (12.7%)

prune1.5m (8.6%)

rewrite22.6s (2.1%)

Algorithm
100×rewrite-expression-head
Calls

333 calls:

12.3s
(- (- (+ (- (* (* (* y x) (* 18.0 z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* j k)))
950.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)
564.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin z) (sin y)) (* (cos y) (cos z))))) (tan a))
214.0ms
(+ (/ (- a x) (/ (- (+ 1.0 t) z) (- y z))) x)
206.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
Rules
8622×times-frac
7521×*-un-lft-identity
7254×add-sqr-sqrt
5520×add-cube-cbrt
2184×prod-diff
1750×add-exp-log
1412×cbrt-prod
1342×add-cbrt-cube
915×pow1
784×associate-*l*
778×sqrt-prod
658×distribute-lft-out--
619×difference-of-squares
598×distribute-rgt-neg-in
581×distribute-lft-neg-in
523×prod-exp
507×add-log-exp
496×div-exp
460×associate-*r*
436×cbrt-unprod
431×div-inv
423×associate-/l*
416×distribute-lft-out
386×associate-/r*
333×expm1-log1p-u log1p-expm1-u insert-posit16
325×fma-neg
321×cbrt-undiv
312×associate-*r/
265×pow-prod-down
241×associate-/r/
236×fma-def
221×flip3-- flip--
188×neg-mul-1
178×unswap-sqr
159×log-pow
137×cbrt-div
132×exp-sum
123×exp-prod
104×flip-+ flip3-+
82×pow1/3
81×associate-+r+
80×*-commutative
78×frac-add
77×frac-times
72×sub-neg
71×diff-log
70×associate-*l/
68×frac-2neg clear-num
61×1-exp
60×distribute-rgt-in distribute-lft-in
55×rec-exp
49×associate-/l/
46×fma-udef
45×log-prod
43×unpow-prod-down
42×associate--l+
36×sin-mult
33×associate-+l+ tan-quot
31×swap-sqr
30×sqrt-pow1
29×cos-mult
28×pow1/2 div-sub
27×rem-exp-log
25×exp-diff frac-sub
24×rem-sqrt-square
23×sum-log
21×sqr-pow
20×sqrt-div unpow2
19×sub-div
17×pow-prod-up pow-sqr
11×pow-flip
10×neg-sub0 inv-pow log-div
9×associate--l- +-commutative
8×associate-+l-
7×pow-plus distribute-rgt-out
6×cos-2
5×pow2 distribute-frac-neg neg-log un-div-inv distribute-rgt-out--
4×associate-+r- pow-unpow distribute-neg-frac
2×pow-exp distribute-rgt1-in distribute-lft1-in difference-of-sqr-1 cos-sum pow-pow pow-to-exp tan-sum exp-to-pow exp-neg rem-log-exp
1×distribute-lft-neg-out log-rec sqrt-unprod remove-posit16 count-2

regimes16.4s (1.5%)

Accuracy

Total 32.3b remaining (22.7%)

Threshold costs 5.0b (3.5%)

5.9b26.3%Linear.Matrix:det33 from linear-1.19.1.3
4.6b83.4%NMSE problem 3.2.1
3.6b35.9%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
3.2b85.3%The quadratic formula (r1)
3.0b35.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

localize5.6s (0.5%)

bsearch1.6s (0.2%)

end1.0ms (0.0%)