Details

series10.7m (46.2%)

Calls

346 calls:

3.9s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.9s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
2.6s
(/ (+ (pow (+ (+ (* x y) (* z t)) (* a b)) 3) (pow (* c i) 3)) (+ (* (* c i) (- (* c i) (+ (+ (* x y) (* z t)) (* a b)))) (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b)))))
601.0ms
(* (/ (/ (pow (/ (sqrt 1) 1) 1.0) 1) y) (/ (/ (pow (/ 1 (* (cbrt a) (cbrt a))) 1.0) 1) (/ (/ 1 x) (/ (pow (/ (sqrt 1) (cbrt a)) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))))
575.0ms
(/ (+ (* (* z (sqrt (+ t a))) (+ b c)) (- (* (* t (- (* b b) (* c c))) (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0))))))) (* t (+ b c)))

prune5.5m (23.9%)

rewrite4.8m (20.8%)

Algorithm
104×rewrite-expression-head
Calls

349 calls:

3.9m
(* (/ (/ (pow (/ (sqrt 1) 1) 1.0) 1) y) (/ (/ (pow (/ 1 (* (cbrt a) (cbrt a))) 1.0) 1) (/ (/ 1 x) (/ (pow (/ (sqrt 1) (cbrt a)) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))))
4.2s
(* (/ (/ (pow (/ (sqrt 1) 1) 1.0) 1) y) (/ (/ (pow (/ (sqrt 1) a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ 1 x)))
2.1s
(* (* (* (- y z) (* (cbrt (/ 1 (- (+ t 1.0) z))) (cbrt (/ 1 (- (+ t 1.0) z))))) (cbrt (/ 1 (- (+ t 1.0) z)))) (- a x))
760.0ms
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5)))
589.0ms
(* (* (* (* x (* 18.0 y)) z) (* (cbrt t) (cbrt t))) (cbrt t))
Rules
557952×times-frac
226006×add-sqr-sqrt
191389×*-un-lft-identity
175270×add-cube-cbrt
143482×unpow-prod-down
88800×associate-*r*
41720×sqrt-prod
36939×cbrt-prod
35185×add-exp-log
34319×div-exp
22112×exp-sum
19187×div-inv
11873×sqr-pow
8643×prod-exp
8425×pow-exp
7461×1-exp
7416×unswap-sqr
2742×pow-to-exp
2244×rec-exp
1606×add-cbrt-cube
974×pow1
963×associate-*l*
581×add-log-exp
549×associate-*r/
542×cbrt-unprod
484×frac-times
429×associate-/l*
421×flip-- flip3--
386×associate-/r*
368×distribute-rgt-neg-in
366×cbrt-undiv
327×flip-+ flip3-+
320×associate-*l/
316×distribute-lft-neg-in
307×pow-prod-down
301×distribute-lft-out--
297×distribute-lft-out
247×difference-of-squares
243×associate-/r/
207×frac-add
176×distribute-rgt-in distribute-lft-in
168×cbrt-div
166×sqrt-div
161×log-prod
132×sub-neg distribute-neg-frac
122×*-commutative
117×associate-/l/
108×frac-sub
102×neg-mul-1
82×sum-log
76×tan-quot
74×log-pow
67×clear-num frac-2neg
58×pow-unpow
56×associate-+l+
54×associate-+r+
51×exp-prod
49×diff-log
48×pow1/3
39×distribute-rgt-out--
37×pow1/2 +-commutative associate-+l- sqrt-pow1
34×sin-mult
31×neg-sub0
27×cos-mult
26×pow-pow
25×neg-log
24×log-div
23×rem-sqrt-square
22×swap-sqr
19×associate--r+
17×un-div-inv
16×sub-div div-sub
12×pow-prod-up rem-exp-log inv-pow pow-flip
10×pow-sqr
9×cube-div associate--l+
8×distribute-neg-in
7×associate--l-
6×rem-cube-cbrt
5×distribute-lft-neg-out associate-+r- pow-plus distribute-frac-neg sum-cubes
4×exp-diff pow2 unpow-prod-up unpow3 cube-mult cube-prod rem-log-exp log-rec
3×distribute-rgt-neg-out
2×sqrt-unprod exp-neg pow-sub unsub-neg tan-sum cos-sum
1×e-exp-1 pow-neg rem-square-sqrt rem-cbrt-cube

sample1.1m (4.9%)

Algorithm
58×intervals
Results
21.7s308063×body80valid
8.7s21722×body1280valid
5.7s163640×body80nan
3.0s10853×body640valid
2.4s5248×body2560valid
919.0ms5150×body320valid
395.0ms16512×pre80true
322.0ms2520×body160valid
50.0ms205×body5120valid

simplify40.7s (2.9%)

regimes13.3s (1.0%)

Accuracy

Total 40.4b remaining (26.4%)

Threshold costs 3.8b (2.5%)

12.4b-13.9%Linear.Matrix:det44 from linear-1.19.1.3
4.8b26.6%Linear.Matrix:det33 from linear-1.19.1.3
4.7b82.1%The quadratic formula (r1)
2.9b-14.9%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
2.7b0%cos(2*x)/(cos^2(x)*sin^2(x))

bsearch3.5s (0.3%)

localize2.4s (0.2%)

end1.0ms (0.0%)