Details

series4.1m (48.8%)

Calls

346 calls:

1.8m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
1.4m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* (* c i) c) i))
2.9s
(- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (+ b c)) (* (cbrt t) (* (- (* b b) (* c c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))
1.7s
(/ (- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (+ b c)) (* (cbrt t) (* (- (* b b) (* c c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))) (* (cbrt t) (+ b c)))
833.0ms
(/ (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* (* c i) c) i)) (- (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

sample2.2m (26.7%)

Algorithm
60×intervals
Results
57.1s36767×body10240exit
24.6s337863×body80valid
10.0s21719×body1280valid
8.9s205879×body80nan
4.6s5319×body2560valid
3.5s11031×body640valid
1.1s5010×body320valid
449.0ms16512×pre80true
381.0ms2532×body160valid
57.0ms215×body5120valid

prune1.2m (14.1%)

rewrite22.9s (4.6%)

Algorithm
101×rewrite-expression-head
Calls

346 calls:

6.4s
(* (/ (/ 1 (cbrt (/ (- (acos a)) a))) (cbrt (/ (- (acos a)) a))) (/ 1 (cbrt (/ (- (acos a)) a))))
4.7s
(* (* (/ (- y z) (* (* (cbrt (- (+ t 1.0) z)) (* (cbrt (cbrt (- (+ t 1.0) z))) (cbrt (cbrt (- (+ t 1.0) z))))) (cbrt (cbrt (- (+ t 1.0) z))))) (/ 1 (cbrt (- (+ t 1.0) z)))) (- a x))
613.0ms
(* t (- (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))) (* a 4.0)))
607.0ms
(+ (- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (* (- a 0.5) (log t)))
482.0ms
(/ (* (* x (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
Rules
19449×times-frac
10607×add-sqr-sqrt
10358×*-un-lft-identity
9316×cbrt-prod
8640×add-cube-cbrt
4860×associate-*l*
2584×distribute-rgt-neg-in
2540×add-exp-log
2499×distribute-lft-neg-in
1356×add-cbrt-cube
1196×prod-exp
1082×associate-*r/
1031×pow1
1030×associate-*r*
948×frac-times
854×frac-sub
798×neg-mul-1
644×flip-- flip3--
565×add-log-exp
557×flip-+ flip3-+
549×div-exp
527×cbrt-unprod
445×associate-*l/
441×distribute-lft-out--
434×div-inv
402×sqrt-div
391×difference-of-squares
373×unswap-sqr
365×associate-/l*
362×unpow-prod-down
345×pow-prod-down
326×distribute-lft-out
290×associate-/l/
266×associate-/r*
238×cbrt-undiv
218×sqrt-prod
207×swap-sqr
206×distribute-rgt-in distribute-lft-in
194×log-prod
190×associate-/r/
182×pow-exp
161×sub-neg
160×pow-to-exp
132×cube-prod
130×*-commutative
120×cbrt-div
91×1-exp
79×rec-exp
77×pow1/3
74×exp-prod
71×diff-log
68×associate-+r+ log-pow
67×sqr-pow
63×clear-num frac-2neg
61×sum-log
44×pow-pow
43×frac-add
41×exp-sum
40×tan-quot
34×associate-+l+ unpow2
30×pow1/2 sin-mult associate--r+ sqrt-pow1
28×associate--l+
26×rem-sqrt-square
25×pow-unpow
24×+-commutative cos-mult
22×pow-flip pow-prod-up
20×associate-+l-
19×neg-sub0
18×inv-pow
17×un-div-inv neg-log pow-sqr
15×div-sub
13×sub-div
12×associate--l- log-div
10×pow-plus unpow-prod-up
9×rem-exp-log pow2
7×pow-sub log-rec
6×distribute-lft-neg-out distribute-neg-frac
5×pow-div
4×exp-diff distribute-neg-in distribute-frac-neg distribute-rgt-neg-out
3×rem-log-exp
2×cube-div rem-cube-cbrt unpow3 associate-+r- exp-neg cube-mult tan-sum cos-sum
1×sqrt-unprod pow3 associate--r- cube-neg exp-to-pow rem-cbrt-cube

regimes14.4s (2.9%)

Accuracy

Total 42.3b remaining (27.3%)

Threshold costs 3.4b (2.2%)

12.2b-11.2%Linear.Matrix:det44 from linear-1.19.1.3
11.4b-22.7%Linear.Matrix:det33 from linear-1.19.1.3
2.5b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.4b91.7%The quadratic formula (r1)
1.9b17%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

simplify8.8s (1.8%)

Algorithm
161×egg-herbie

bsearch2.9s (0.6%)

localize2.7s (0.5%)

end1.0ms (0.0%)