Details

series10.9m (82.1%)

Calls

347 calls:

9.9s
(fma (/ 1 (/ (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))) (* (cbrt (- y z)) (cbrt (- y z))))) (/ (- a x) (/ (cbrt (- (+ t 1.0) z)) (cbrt (- y z)))) x)
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
930.0ms
(* (/ (/ (pow (sqrt (/ 1 a)) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) y) (* (/ (pow (/ (sqrt 1) (sqrt a)) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) x))
906.0ms
(* (/ (/ (pow (/ (sqrt 1) (sqrt a)) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) y) (* (/ (pow (/ (sqrt 1) (sqrt a)) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) x))
567.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))

sample55.0s (6.9%)

Algorithm
59×intervals
Results
11.4s263744×body80valid
8.8s21591×body1280valid
7.9s207828×body80nan
3.1s11265×body640valid
2.5s5317×body2560valid
943.0ms5117×body320valid
453.0ms16512×pre80true
301.0ms2438×body160valid
61.0ms235×body5120valid

prune54.6s (6.8%)

rewrite13.7s (1.7%)

Algorithm
105×rewrite-expression-head
Calls

349 calls:

501.0ms
(* (/ (/ (pow (/ (sqrt 1) (sqrt a)) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) y) (* (/ (pow (/ (sqrt 1) (sqrt a)) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) x))
451.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
425.0ms
(/ (* 2.0 c) (+ (- b) (- (* 2.0 (* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))) b)))
422.0ms
(/ (* 2.0 c) (+ (- b) (- (* 2.0 (* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))) b)))
313.0ms
(* (/ (/ (pow (sqrt (/ 1 a)) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) y) (* (/ (pow (/ (sqrt 1) (sqrt a)) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) x))
Rules
9980×times-frac
7783×*-un-lft-identity
7313×add-sqr-sqrt
5917×add-cube-cbrt
2705×sqrt-prod
2137×add-exp-log
2131×unpow-prod-down
1995×associate-*l*
1446×prod-diff
1151×add-cbrt-cube
940×prod-exp
852×pow1
714×cbrt-prod
589×distribute-lft-out--
580×distribute-rgt-neg-in
578×exp-sum
546×associate-*r*
527×add-log-exp
518×distribute-lft-neg-in
515×difference-of-squares
485×fma-udef
469×distribute-lft-out
457×div-exp
380×div-inv
365×associate-/l*
353×cbrt-unprod
351×log1p-expm1-u
350×expm1-log1p-u
339×associate-/r*
291×fma-def
258×distribute-rgt-in distribute-lft-in
252×associate--r+
240×fma-neg
196×flip-- flip3--
194×cbrt-undiv
193×pow-prod-down
187×pow-exp
166×log-prod
161×pow-to-exp neg-mul-1
153×sqr-pow
151×unswap-sqr
143×associate-+r+ associate-/r/
130×sqrt-div
118×log-pow
115×exp-prod
101×*-commutative
86×sqrt-pow1
84×sub-neg associate-*r/
76×associate-*l/
73×flip-+ flip3-+
71×swap-sqr
70×pow1/3
63×clear-num cube-prod frac-sub frac-2neg
60×diff-log
59×frac-times
52×pow1/2 associate-/l/
42×sum-log
41×rem-sqrt-square
40×associate-+l+
35×distribute-neg-in
31×1-exp rec-exp
29×neg-sub0 associate-+l-
28×sin-mult
25×neg-log
22×tan-quot cos-mult
20×log-div
19×rem-exp-log pow-unpow
18×pow-pow +-commutative
17×cbrt-div
15×associate--l-
13×sub-div
12×div-sub
11×pow-sqr pow-prod-up
10×exp-diff associate--l+
9×cube-mult unpow3
7×cube-div sqrt-unprod exp-neg pow-flip distribute-neg-frac
6×un-div-inv inv-pow frac-add pow2 pow-plus hypot-def
5×expm1-udef
4×expm1-log1p distribute-frac-neg
3×sqrt-undiv log1p-udef associate-+r- log1p-expm1 rem-log-exp
2×distribute-lft-neg-out cos-sum tan-sum
1×associate--r- rem-cbrt-cube distribute-rgt-neg-out

simplify8.9s (1.1%)

regimes8.1s (1.0%)

Accuracy

Total 28.7b remaining (22.9%)

Threshold costs 5.4b (4.3%)

4.4b24%Linear.Matrix:det33 from linear-1.19.1.3
4.3b83.8%The quadratic formula (r1)
4.2b85.2%NMSE problem 3.2.1
2.6b45.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.6b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

localize2.3s (0.3%)

bsearch692.0ms (0.1%)

end1.0ms (0.0%)