Details

series15.3m (62.9%)

Calls

340 calls:

4.1m
(fma (* (cbrt x) (cbrt x)) (cbrt x) (+ (* (fma 1 a (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (/ (- y z) (- (+ t 1.0) z))) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (/ (- y z) (- (+ t 1.0) z)))))
2.1m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
5.6s
(fma (- (* t c) (* y i)) j (fma (- (* a i) (* z c)) b (+ (* (fma y z (- (* t a))) x) (* (fma (- t) a (* t a)) x))))
4.2s
(fma (- (* a i) (* z c)) b (+ (* (fma y z (- (* t a))) x) (* (fma (- t) a (* t a)) x)))
3.7s
(fma (* y (* x (* z 18.0))) t (- (* b c) (fma 4.0 (fma t a (* i x)) (* (* 27.0 j) k))))

simplify4.5m (18.5%)

sample2.7m (10.9%)

Algorithm
59×intervals
Results
47.8s263030×body80valid
31.3s21477×body1280valid
31.0s206503×body80nan
11.9s11030×body640valid
7.6s5296×body2560valid
3.6s5109×body320valid
1.5s2557×body160valid
1.5s16512×pre80true
206.0ms216×body5120valid

prune1.3m (5.3%)

regimes16.7s (1.1%)

Accuracy

Total 33.6b remaining (24.6%)

Threshold costs 4.1b (3%)

5.2b11%Linear.Matrix:det33 from linear-1.19.1.3
4.8b82.8%NMSE problem 3.2.1
4.6b83.5%The quadratic formula (r1)
3.7b11.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.2b16.8%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite10.4s (0.7%)

Algorithm
102×rewrite-expression-head
Calls

341 calls:

495.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
374.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (* (cbrt y) (cbrt y)) (fma (+ y a) y b)) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))) c) y) i))
251.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (* (cbrt y) (cbrt y)) (fma (+ y a) y b)) (cbrt y)) c) y) i))
186.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
186.0ms
(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))
Rules
4458×add-sqr-sqrt
4343×*-un-lft-identity
4288×times-frac
3575×add-cube-cbrt
1622×prod-diff
1415×add-exp-log
1107×add-cbrt-cube
968×pow1
550×associate-*r*
488×add-log-exp
479×prod-exp
462×cbrt-prod
427×associate-*l*
411×distribute-rgt-neg-in
391×cbrt-unprod
378×distribute-lft-neg-in
373×sqrt-prod
342×expm1-log1p-u log1p-expm1-u
341×insert-posit16
313×div-inv
288×difference-of-squares pow-prod-down
272×distribute-lft-out--
251×div-exp
236×associate-/r*
233×distribute-rgt-in distribute-lft-in
227×associate-/l*
203×fma-neg
167×cbrt-undiv
151×flip-- flip3--
143×associate-*l/
138×distribute-lft-out
131×associate--r+
123×neg-mul-1
103×unswap-sqr
101×fma-def
99×associate-/r/
95×cbrt-div
92×*-commutative
82×pow1/3
79×associate-+l+
63×associate-*r/
57×fma-udef
56×frac-times
54×log-pow
53×sub-neg
51×sqrt-pow1 1-exp rec-exp flip-+ flip3-+
50×associate-+r+ pow1/2 associate-/l/ diff-log
48×frac-2neg clear-num
46×tan-quot
45×log-prod
42×sqrt-div swap-sqr
38×exp-sum
36×pow-prod-up
33×frac-sub
31×sum-log
29×rem-sqrt-square
27×sin-mult
24×cos-mult unpow-prod-down
21×exp-prod
19×div-sub pow-sqr
17×+-commutative
16×pow-unpow sub-div associate-+l-
14×neg-sub0 pow-flip pow-plus difference-of-sqr-1
13×unpow-prod-up
11×neg-log inv-pow rem-exp-log
8×associate--l- pow-exp distribute-neg-frac frac-add log-div
7×sqr-pow
6×associate--l+ pow2 pow-pow un-div-inv pow-to-exp
4×exp-diff cos-2 expm1-def
3×hypot-def
2×expm1-log1p expm1-udef associate-+r- cube-unmult sqrt-unprod tan-sum distribute-rgt-out-- cos-sum distribute-frac-neg unpow1/3 e-exp-1
1×distribute-lft-neg-out log1p-expm1 log1p-udef rem-square-sqrt associate--r- pow-sub

localize5.4s (0.4%)

bsearch2.2s (0.2%)

end1.0ms (0.0%)