Details

series10.9m (54.0%)

Calls

347 calls:

887.0ms
(fma x (- (* y z) (* t a)) (+ (* b (- (* i a) (* c z))) (* j (- (* c t) (* i y)))))
873.0ms
(* (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) (/ 1 (fma (fma (fma (+ y a) y b) y c) y i)))
833.0ms
(/ (fma y (fma (fma (+ y a) y b) y c) i) (fma y (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) t))
777.0ms
(fma x (- (* y z) (* t a)) (+ (+ (* a (* i b)) (- (* z (* b c)))) (* j (- (* c t) (* i y)))))
757.0ms
(/ (fma (+ (* (tan z) (tan y)) -1) (sin a) (* (+ (tan y) (tan z)) (cos a))) (* (- 1 (* (tan y) (tan z))) (cos a)))

simplify5.4m (26.7%)

sample2.2m (11.2%)

Algorithm
59×intervals
Results
36.2s262903×body80valid
25.7s206764×body80nan
22.0s21353×body1280valid
7.8s10886×body640valid
5.8s5275×body2560valid
3.8s5178×body320valid
1.0s16512×pre80true
741.0ms2548×body160valid
141.0ms227×body5120valid

prune1.1m (5.4%)

rewrite16.3s (1.4%)

Algorithm
104×rewrite-expression-head
Calls

351 calls:

865.0ms
(* (* (* (cbrt (- (+ f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ 1 (- f n))))
431.0ms
(* (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n))))
356.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
331.0ms
(* (* (* (* x 18.0) y) z) t)
322.0ms
(* (* (* (* x 18.0) y) z) t)
Rules
6680×times-frac
6417×add-sqr-sqrt
6188×*-un-lft-identity
4992×add-cube-cbrt
2853×add-exp-log
2644×prod-diff
1614×prod-exp
1243×add-cbrt-cube
916×associate-*r*
901×pow1
699×cbrt-prod
542×div-inv
521×div-exp
503×sqrt-prod
471×add-log-exp
456×associate-*l*
431×difference-of-squares
420×distribute-rgt-in distribute-lft-in
418×distribute-lft-out--
394×cbrt-unprod
365×associate-/r*
353×expm1-log1p-u
352×log1p-expm1-u
348×associate--l+
340×pow-exp
339×pow-to-exp
332×distribute-rgt-neg-in
325×distribute-lft-neg-in
309×fma-neg
279×associate-/l*
246×pow-prod-down
222×distribute-lft-out
186×cbrt-undiv
184×unswap-sqr
171×flip3-- flip--
165×unpow-prod-up
155×associate-/r/
141×unpow-prod-down
136×associate-*l/
119×tan-quot frac-times
118×associate-*r/
106×*-commutative
91×sub-neg
85×log-prod
77×cbrt-div
74×pow1/3
72×neg-mul-1
68×clear-num frac-2neg
62×associate-+l+
61×sqr-pow
60×sqrt-div
51×log-pow diff-log
49×sqrt-pow1
48×flip-+ flip3-+
45×pow1/2
43×1-exp rec-exp
41×swap-sqr
39×fma-udef associate-+r+
38×rem-sqrt-square
33×associate-/l/
31×fma-def
30×exp-sum
29×pow-unpow distribute-neg-frac
25×pow-prod-up exp-prod
22×frac-sub
19×pow-sqr
15×sum-log sin-mult
14×pow-plus
12×inv-pow sub-div pow-flip cube-prod cos-mult
11×distribute-rgt-out-- div-sub pow-pow
10×log-div
9×un-div-inv frac-add +-commutative associate-+l-
8×rem-exp-log pow2
6×unpow3 cube-mult neg-sub0
5×sqrt-unprod
4×exp-diff associate--l- neg-log
3×cube-div rem-cube-cbrt log1p-udef log1p-expm1 pow-sub expm1-log1p expm1-udef
2×cos-sum distribute-frac-neg asin-acos tan-sum rem-log-exp
1×pow3 associate--r- associate-+r- acos-asin rem-cbrt-cube

regimes11.0s (0.9%)

Accuracy

Total 27.0b remaining (21.3%)

Threshold costs 4.4b (3.5%)

6.4b17.4%Linear.Matrix:det33 from linear-1.19.1.3
4.6b84.1%The quadratic formula (r1)
2.9b47.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.1b0%cos(2*x)/(cos^2(x)*sin^2(x))
1.9b0%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2

localize4.1s (0.3%)

bsearch1.3s (0.1%)

end1.0ms (0.0%)