Details

series11.0m (81.8%)

Calls

349 calls:

10.2s
(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)
3.3s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
992.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 a)) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) x))
951.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))

prune57.8s (7.1%)

sample55.5s (6.9%)

Algorithm
59×intervals
Results
11.4s263744×body80valid
8.9s21591×body1280valid
8.0s207828×body80nan
3.2s11265×body640valid
2.4s5317×body2560valid
985.0ms5117×body320valid
459.0ms16512×pre80true
340.0ms2438×body160valid
59.0ms235×body5120valid

rewrite14.0s (1.7%)

Algorithm
105×rewrite-expression-head
Calls

351 calls:

513.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))
503.0ms
(/ (* 2.0 c) (+ (- b) (- (* 2.0 (* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))) b)))
469.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
464.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 a)) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) x))
420.0ms
(/ (* 2.0 c) (+ (- b) (- (* 2.0 (* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))) b)))
Rules
11842×times-frac
8777×*-un-lft-identity
8212×add-sqr-sqrt
6742×add-cube-cbrt
3479×sqrt-prod
2637×unpow-prod-down
2502×associate-*l*
2155×add-exp-log
1439×prod-diff
1152×add-cbrt-cube
938×prod-exp
853×pow1
705×cbrt-prod
651×exp-sum
628×distribute-lft-out--
612×distribute-rgt-neg-in
556×fma-udef
554×difference-of-squares
550×distribute-lft-neg-in
549×associate-*r*
532×add-log-exp
509×distribute-lft-out
469×div-exp
395×div-inv
381×exp-prod
370×associate-/l*
352×log1p-expm1-u
351×expm1-log1p-u
350×cbrt-unprod associate-/r*
289×fma-def
270×log-pow
252×associate--r+
246×distribute-rgt-in distribute-lft-in
239×fma-neg
220×log-prod
200×flip-- flip3--
196×cbrt-undiv
189×pow-prod-down
187×pow-exp
169×neg-mul-1
161×pow-to-exp
157×associate-/r/
155×sqr-pow
150×unswap-sqr
138×associate-+r+ sqrt-pow1
126×sqrt-div
120×pow-flip
99×*-commutative
83×associate-*l/
77×sub-neg
76×flip-+ flip3-+
74×associate-*r/
71×swap-sqr
68×pow1/3
66×clear-num frac-2neg
63×cube-prod frac-sub
60×frac-times
59×diff-log
56×associate-/l/
52×pow1/2
41×rem-sqrt-square sum-log
39×associate-+l+
37×1-exp rec-exp
35×distribute-neg-in
30×neg-sub0
29×associate-+l-
28×sin-mult
25×neg-log log-div
23×rem-exp-log tan-quot
22×cos-mult
20×cbrt-div
19×pow-unpow
18×pow-pow +-commutative
16×rem-log-exp
15×associate--l-
14×div-sub
13×sub-div
12×exp-diff
11×inv-pow pow-sqr pow-prod-up
10×exp-neg associate--l+
9×cube-mult unpow3
7×cube-div un-div-inv
6×sqrt-unprod frac-add pow2 pow-plus distribute-frac-neg hypot-def distribute-neg-frac
4×log-rec
3×sqrt-undiv distribute-lft-neg-out associate-+r- expm1-udef
2×cos-sum expm1-log1p tan-sum
1×associate--r- rem-cbrt-cube distribute-rgt-neg-out

simplify9.2s (1.1%)

regimes7.6s (0.9%)

Accuracy

Total 31.1b remaining (24.7%)

Threshold costs 5.5b (4.3%)

6.7b17.4%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%)

bsearch691.0ms (0.1%)

end1.0ms (0.0%)