Details

series10.8m (56.8%)

Calls

308 calls:

766.0ms
(/ (fma y (fma (fma (+ a y) y b) y c) i) (fma y (fma y (fma (fma x y z) y 27464.7644705) 230661.510616) t))
732.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
728.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x))))
693.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))
672.0ms
(log1p (exp (/ (- (+ f n)) (- f n))))

simplify4.3m (22.9%)

sample1.9m (10.2%)

Algorithm
59×intervals
Results
35.0s263464×body80valid
24.9s207451×body80nan
20.3s21486×body1280valid
8.0s11041×body640valid
5.5s5390×body2560valid
2.2s4998×body320valid
1.7s16512×pre80true
1.3s2505×body160valid
101.0ms238×body5120valid

prune1.3m (6.8%)

regimes17.5s (1.5%)

Accuracy

Total 26.0b remaining (20.6%)

Threshold costs 6.2b (4.9%)

5.4b27%Linear.Matrix:det33 from linear-1.19.1.3
4.9b82.5%NMSE problem 3.2.1
3.8b86.1%The quadratic formula (r1)
2.2b84.5%jeff quadratic root 2
1.4b0%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2

rewrite11.9s (1.1%)

Algorithm
96×rewrite-expression-head
Calls

312 calls:

1.1s
(/ (* 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)
330.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5)))
261.0ms
(* (* (* (cbrt (* t (* x z))) (cbrt (* t (* x z)))) (cbrt (* t (* x z)))) (* y 18.0))
253.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
249.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
Rules
4536×times-frac
4470×*-un-lft-identity
4168×add-sqr-sqrt
3429×add-cube-cbrt
1206×prod-diff
1189×add-exp-log
1026×add-cbrt-cube
928×pow1
580×sqrt-prod
520×cbrt-prod
499×add-log-exp
456×distribute-rgt-neg-in
441×distribute-lft-neg-in
399×associate-*r*
372×prod-exp
349×cbrt-unprod
313×expm1-log1p-u
312×log1p-expm1-u insert-posit16
303×associate-*l*
299×distribute-lft-out
289×div-inv
287×associate-/r*
280×pow-prod-down
264×distribute-lft-out--
257×associate-/l*
256×exp-prod
241×difference-of-squares
225×div-exp
220×fma-neg
178×cbrt-undiv
177×associate-+r+
144×log-pow
136×neg-mul-1
133×exp-sum
127×flip3-- flip--
122×distribute-rgt-in distribute-lft-in
108×associate-/r/
103×unswap-sqr
102×pow1/3
93×cbrt-div
80×sin-mult
71×*-commutative fma-def
68×associate-*l/
67×sub-neg diff-log
66×associate-*r/
60×associate-+l+
54×log-prod
51×frac-times frac-2neg clear-num swap-sqr
40×associate-/l/
39×tan-quot
36×sum-log rem-exp-log
35×sqrt-div
32×flip-+ flip3-+
31×fma-udef
30×cos-mult frac-sub
29×pow-prod-up pow-sqr
28×sqrt-pow1 pow1/2
27×exp-diff
26×1-exp rec-exp
24×rem-sqrt-square
20×div-sub
16×neg-sub0
15×associate--l+
14×+-commutative
13×pow-plus
12×unpow-prod-up sub-div
10×associate-+l- log-div
9×pow-flip associate--l- pow2 neg-log unpow-prod-down frac-add
8×distribute-frac-neg
7×pow-unpow inv-pow
6×distribute-neg-frac
4×associate-+r- pow-exp exp-neg un-div-inv e-exp-1 cos-2
3×distribute-rgt-out-- pow3 sqr-pow pow-pow pow-to-exp
2×tan-sum cos-sum rem-cbrt-cube
1×expm1-log1p expm1-udef remove-posit16 log1p-expm1 log1p-udef log-rec difference-of-sqr-1 sqrt-unprod sqr-sin hypot-def rem-log-exp pow-sub

localize6.0s (0.5%)

bsearch1.3s (0.1%)

end1.0ms (0.0%)