Details

series10.8m (67.7%)

Calls

322 calls:

3.1s
(fma (* (* t y) (* z x)) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))
2.9s
(fma (* (* (* t y) z) x) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* j (* 27.0 k))))))
2.9s
(fma (* (* (* t y) z) x) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))
998.0ms
(cbrt (fma (- a 0.5) (log t) (- (+ (log (+ x y)) (log z)) t)))
761.0ms
(/ (fma (fma (fma (+ y a) y b) y c) y i) (fma (+ 230661.510616 (* (fma (fma x y z) y 27464.7644705) y)) y t))

simplify3.3m (20.9%)

sample52.3s (5.5%)

Algorithm
59×intervals
Results
11.5s256980×body80valid
9.0s21341×body1280valid
6.7s168651×body80nan
3.0s10746×body640valid
2.4s5281×body2560valid
1.0s5252×body320valid
457.0ms16512×pre80true
338.0ms2500×body160valid
52.0ms212×body5120valid

prune36.1s (3.8%)

rewrite9.5s (1.0%)

Algorithm
99×rewrite-expression-head
Calls

325 calls:

322.0ms
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z)) x))
227.0ms
(* (* (* (* t y) z) (* (cbrt x) (cbrt x))) (cbrt x))
195.0ms
(* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))
188.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))
185.0ms
(/ (cos (* 2.0 x)) (* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
Rules
5009×*-un-lft-identity
4926×times-frac
4696×add-sqr-sqrt
3429×add-cube-cbrt
2724×add-exp-log
1539×prod-exp
1158×add-cbrt-cube
968×prod-diff
795×associate-*r*
718×pow1
526×sqrt-prod
521×cbrt-prod
494×distribute-rgt-neg-in
488×distribute-lft-neg-in
463×distribute-lft-out--
460×difference-of-squares
457×div-exp
439×cbrt-unprod
434×add-log-exp
367×associate-/r*
361×unpow-prod-down
350×distribute-lft-out
345×associate-*l*
326×log1p-expm1-u
325×expm1-log1p-u
318×associate-/l*
306×pow-exp
297×pow-to-exp
273×fma-neg
262×div-inv
228×cbrt-undiv
215×cube-prod
202×flip3-- flip--
186×associate-/r/
165×pow-prod-down
136×unswap-sqr
132×neg-mul-1
116×unpow-prod-up
111×distribute-rgt-in distribute-lft-in
100×associate-*r/
87×sqrt-div
86×*-commutative
82×sub-neg
81×fma-udef
67×clear-num frac-2neg
65×sqr-pow
63×log-prod
62×exp-sum associate--r+
59×fma-def
57×associate-/l/
52×log-pow
49×flip-+ flip3-+ frac-sub
48×associate-*l/
46×pow1/3
43×pow1/2 sqrt-pow1
42×pow-unpow rem-sqrt-square diff-log
39×tan-quot
33×associate-+r+
32×frac-times
28×associate-+l+ exp-prod
25×1-exp rec-exp distribute-neg-in sin-mult
22×cos-mult
19×associate--l+
17×sum-log
16×frac-add
15×distribute-neg-frac
14×sub-div pow-pow
12×distribute-rgt-out-- +-commutative swap-sqr div-sub
11×associate-+l-
10×cbrt-div log-div
8×rem-exp-log inv-pow pow-flip unpow3 cube-mult neg-sub0
7×cube-div
6×e-exp-1
5×rem-cube-cbrt distribute-frac-neg neg-log
4×unpow2 pow-sqr pow-prod-up pow-sub
3×exp-diff un-div-inv associate-+r-
2×distribute-lft-neg-out associate--l- cos-sum pow2 pow-plus tan-sum cube-neg rem-cbrt-cube
1×pow-neg log1p-udef exp-neg log1p-expm1 expm1-log1p unpow1/2 acos-asin sqrt-unprod expm1-udef rem-log-exp

regimes7.8s (0.8%)

Accuracy

Total 38.9b remaining (28.7%)

Threshold costs 3.4b (2.5%)

9.4b9.3%Linear.Matrix:det33 from linear-1.19.1.3
6.2b78%The quadratic formula (r1)
5.3b80.3%NMSE problem 3.2.1
3.4b27.5%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2
2.4b80.9%jeff quadratic root 1

localize2.1s (0.2%)

bsearch1.6s (0.2%)

end1.0ms (0.0%)