Details

simplify7.2m (37.5%)

series3.7m (19.2%)

Calls

337 calls:

2.7m
(* (/ (- y z) (- (+ t 1.0) z)) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))))))
3.6s
(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
3.5s
(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
1.6s
(fma (/ (+ (tan y) (tan z)) (- (pow 1 3) (pow (/ (* (sin y) (tan z)) (cos y)) 3))) (+ (* 1 1) (+ (* (/ (* (sin y) (tan z)) (cos y)) (/ (* (sin y) (tan z)) (cos y))) (* 1 (/ (* (sin y) (tan z)) (cos y))))) (- (tan a)))
832.0ms
(fma (- (* z y) (* t a)) x (fma b (/ (- (* (* i a) (* i a)) (* (* z c) (* z c))) (+ (* i a) (* z c))) (* (- (* t c) (* y i)) j)))

sample3.6m (18.8%)

Algorithm
60×intervals
Results
1.6m336548×body80valid
34.0s209576×body80nan
29.9s21376×body1280valid
12.8s11225×body640valid
7.9s5151×body2560valid
3.4s4999×body320valid
1.3s16512×pre80true
1.1s2506×body160valid
233.0ms227×body5120valid

prune3.6m (18.4%)

regimes30.4s (2.6%)

Accuracy

Total 37.4b remaining (23.7%)

Threshold costs 4.2b (2.7%)

10.7b-5%Linear.Matrix:det44 from linear-1.19.1.3
4.6b83.5%The quadratic formula (r1)
4.4b0%Linear.Matrix:det33 from linear-1.19.1.3
2.8b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.0b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

rewrite30.0s (2.6%)

Algorithm
100×rewrite-expression-head
Calls

337 calls:

10.1s
(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
7.3s
(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
797.0ms
(+ (- (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z))) t) (* (- a 0.5) (log t)))
723.0ms
(/ (* 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)
672.0ms
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
Rules
4907×*-un-lft-identity
4580×add-sqr-sqrt
4392×times-frac
3632×add-cube-cbrt
1932×prod-diff
1441×add-exp-log
1246×add-cbrt-cube
1128×pow1
517×add-log-exp
489×associate-*l*
478×sqrt-prod
466×prod-exp
438×cbrt-unprod
382×associate-*r*
375×distribute-lft-out--
374×distribute-lft-out
356×difference-of-squares
337×expm1-log1p-u log1p-expm1-u insert-posit16
327×div-inv
299×pow-prod-down
295×associate-/l*
285×associate-/r*
280×div-exp
238×distribute-rgt-neg-in
233×cbrt-undiv
231×distribute-lft-neg-in
221×flip3-- flip--
220×fma-neg
202×cbrt-prod
199×distribute-rgt-in distribute-lft-in
162×log-pow
117×log-prod associate-/r/
116×associate-+l+
114×associate-*l/
109×associate-*r/
108×associate-+r+
104×cbrt-div
101×frac-times
97×unswap-sqr
92×exp-sum
89×*-commutative sub-neg
87×fma-def
72×diff-log
69×pow1/3 neg-mul-1
64×frac-2neg clear-num
63×associate--r+
61×associate-/l/
56×flip-+ flip3-+
52×pow-prod-up
51×fma-udef
48×sqrt-div
46×frac-sub
43×sum-log
41×exp-prod
38×pow-sqr
37×sqrt-pow1
36×associate--l+ pow1/2
34×tan-quot
31×exp-diff
29×1-exp rec-exp swap-sqr rem-sqrt-square
25×pow-plus
24×div-sub
23×rem-exp-log
20×associate-+l-
19×unpow-prod-down
18×pow2
16×sin-mult log-div
15×un-div-inv frac-add
14×+-commutative
12×pow-flip unpow-prod-up pow-unpow
10×cos-mult neg-sub0 sub-div inv-pow
8×associate--l- distribute-neg-frac
7×cube-prod pow-exp
6×cos-2
5×sqr-pow neg-log distribute-frac-neg pow-sub
4×associate-+r- pow-pow pow-to-exp
3×rem-cube-cbrt
2×expm1-udef distribute-rgt-out-- tan-sum unpow2 cos-sum
1×expm1-log1p distribute-lft-neg-out pow3 unpow3 sqrt-unprod cube-mult difference-of-sqr-1 +-inverses cube-div rem-log-exp rem-cbrt-cube associate--r- e-exp-1

localize6.2s (0.5%)

bsearch3.6s (0.3%)

end1.0ms (0.0%)