Details

series11.2m (37.5%)

Calls

333 calls:

3.7s
(fma (* (* (* t y) z) x) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))
3.7s
(fma (* (* (* t y) z) x) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))))
3.4s
(fma (* (* t y) (* z x)) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))
898.0ms
(/ (fma (+ (/ (* (sin y) (sin z)) (* (cos z) (cos y))) -1) (sin a) (* (+ (tan y) (tan z)) (cos a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
869.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))

prune8.9m (30.0%)

simplify6.5m (22.0%)

sample2.0m (6.7%)

Algorithm
58×intervals
Results
33.6s248655×body80valid
22.4s21553×body1280valid
18.0s162627×body80nan
8.6s11043×body640valid
5.7s5295×body2560valid
2.9s5220×body320valid
1.4s16512×pre80true
914.0ms2557×body160valid
121.0ms244×body5120valid

rewrite49.9s (2.8%)

Algorithm
104×rewrite-expression-head
Calls

337 calls:

2.9s
(/ (/ (/ 1 (pow a (/ 1.0 2))) 1) (/ y (/ (/ x (exp (- b (fma (log z) y (* (log a) t))))) (pow a (/ 1.0 2)))))
1.7s
(* (+ (sqrt (log (* 1.0 (- (/ (/ 1.0 x) x) 1.0)))) (sqrt (log (+ (/ 1.0 x) 1.0)))) (- (sqrt (log (* 1.0 (- (/ (/ 1.0 x) x) 1.0)))) (sqrt (log (+ (/ 1.0 x) 1.0)))))
967.0ms
(+ (* (* (- a x) (* (cbrt (/ (- y z) (- (+ t 1.0) z))) (cbrt (/ (- y z) (- (+ t 1.0) z))))) (cbrt (/ (- y z) (- (+ t 1.0) z)))) x)
656.0ms
(* x (exp (- (+ (* (+ 0 (log z)) y) (* (- t 1.0) (log a))) b)))
600.0ms
(* (* (* (* t y) (* (cbrt z) (cbrt z))) (cbrt z)) x)
Rules
456324×times-frac
185260×*-un-lft-identity
185104×add-sqr-sqrt
184089×add-cube-cbrt
61774×unpow-prod-down
56540×exp-sum
47460×prod-diff
20592×sqr-pow
6380×div-inv
5193×sub-neg
3193×add-exp-log
1914×associate-/r/
1791×associate-/r*
1717×exp-diff
1405×prod-exp
1213×add-cbrt-cube
1175×div-exp
923×sqrt-prod
867×pow1
631×distribute-rgt-neg-in
617×distribute-lft-neg-in
566×associate-/l*
500×associate-*r*
463×add-log-exp
409×distribute-lft-out--
386×difference-of-squares
378×pow-exp
377×pow-to-exp
342×cbrt-unprod
338×log1p-expm1-u expm1-log1p-u
320×cbrt-prod
303×associate-*l*
268×fma-neg
259×cbrt-undiv
254×log-pow
247×distribute-lft-out
233×exp-prod
202×pow-prod-down
164×fma-udef
148×1-exp
137×flip3-- flip--
136×distribute-rgt-in distribute-lft-in
126×neg-mul-1
99×unswap-sqr
85×frac-2neg clear-num
83×*-commutative
68×rec-exp
67×log-prod
66×associate-*r/
52×diff-log
51×fma-def
50×sqrt-div
49×associate-+r+
48×associate-*l/
46×pow1/3
42×tan-quot associate-/l/
33×flip-+ associate-+l+ flip3-+
27×sqrt-pow1
26×pow1/2
24×frac-times
23×rem-sqrt-square
20×log-div
18×sum-log
16×pow-unpow neg-sub0 sin-mult cos-mult div-sub
15×frac-sub
12×associate--l- pow-pow
11×associate--l+ distribute-neg-frac
10×rem-exp-log distribute-frac-neg rem-log-exp
9×+-commutative
8×inv-pow sub-div pow-flip neg-log
7×frac-add associate-+l-
6×swap-sqr cbrt-div
4×exp-neg associate--r+
3×unpow-prod-up distribute-rgt-out distribute-rgt-out--
2×sqrt-undiv un-div-inv log1p-udef associate-+r- associate--r- log1p-expm1 pow-sqr expm1-log1p acos-asin pow-prod-up tan-sum cos-sum expm1-udef
1×e-exp-1 quot-tan unpow1/3 sqrt-unprod pow2 pow-plus log-rec distribute-rgt-neg-out

regimes12.1s (0.7%)

Accuracy

Total 30.4b remaining (23.6%)

Threshold costs 3.4b (2.6%)

6.0b22.8%Linear.Matrix:det33 from linear-1.19.1.3
5.8b-2%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
4.7b83.4%The quadratic formula (r1)
1.9b0%fabs fraction 1
1.9b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

localize4.1s (0.2%)

bsearch1.2s (0.1%)

end1.0ms (0.0%)