Details

simplify3.7m (29.6%)

series3.0m (24.1%)

Calls

353 calls:

1.7m
(/ 1 (/ (+ i (* y (+ c (* (+ b (* (+ a y) y)) y)))) (+ t (* (+ (* y (+ (* (+ z (* x y)) y) 27464.7644705)) 230661.510616) y))))
6.0s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
5.3s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
991.0ms
(/ (+ i (* y (+ c (* (+ b (* (+ a y) y)) y)))) (+ t (* (+ (* y (+ (* (+ z (* x y)) y) 27464.7644705)) 230661.510616) y)))
778.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))

sample2.8m (22.6%)

Algorithm
60×intervals
Results
1.3m336023×body80valid
25.0s208371×body80nan
19.1s21285×body1280valid
7.9s11034×body640valid
4.8s5239×body2560valid
2.4s5235×body320valid
1.6s16512×pre80true
776.0ms2502×body160valid
189.0ms244×body5120valid

prune1.8m (14.3%)

regimes35.1s (4.7%)

Accuracy

Total 35.8b remaining (22.6%)

Threshold costs 4.9b (3.1%)

9.9b-16.8%Linear.Matrix:det44 from linear-1.19.1.3
6.0b12.7%Linear.Matrix:det33 from linear-1.19.1.3
3.4b85.8%The quadratic formula (r1)
2.4b46.8%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.1b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

rewrite18.8s (2.5%)

Algorithm
103×rewrite-expression-head
Calls

353 calls:

1.2s
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (* (cbrt (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (cbrt (- (+ t 1.0) z)))))) (cbrt (- (+ t 1.0) z))) (- a x))
539.0ms
(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
428.0ms
(* (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
395.0ms
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z))) (- a x))
391.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i))
Rules
4867×add-exp-log
4855×*-un-lft-identity
4741×times-frac
4008×add-sqr-sqrt
3390×cbrt-div
3267×prod-exp
2723×add-cube-cbrt
1568×associate-*l*
1491×frac-times
1365×flip3-- flip--
1253×add-cbrt-cube
1076×cbrt-prod
901×associate-/r/
880×div-exp
805×pow-exp
796×pow1
773×pow-to-exp
700×associate-*r/
682×associate-*r*
622×associate-*l/
621×distribute-lft-out--
614×distribute-rgt-neg-in
554×add-log-exp
552×distribute-lft-neg-in
459×difference-of-squares
420×cbrt-unprod
404×distribute-lft-out
318×swap-sqr
265×associate-/l*
254×associate-/r*
246×sqrt-prod
219×frac-sub
208×cbrt-undiv
193×div-inv
179×pow-prod-down
148×unswap-sqr
145×flip-+ flip3-+
142×neg-mul-1
127×sub-neg
125×distribute-rgt-in distribute-lft-in
117×log-prod
115×*-commutative
91×unpow-prod-down
90×pow1/3
86×sqrt-div
65×sum-log
58×diff-log
56×frac-2neg clear-num
54×frac-add
53×associate-+r+
47×sqrt-pow1
46×pow1/2
45×tan-quot
39×associate-/l/
35×rem-sqrt-square
34×sin-mult
33×sqr-pow
30×1-exp rec-exp
28×cos-mult log-pow
25×pow-prod-up
24×associate-+l+ associate--r+
23×+-commutative
21×associate--l+
18×pow-plus associate-+l-
16×pow-unpow sub-div pow-pow
15×distribute-frac-neg pow-sqr
14×exp-prod log-div
10×pow2
9×neg-sub0 distribute-lft-neg-out
8×exp-sum div-sub rem-exp-log
6×pow-flip distribute-neg-frac un-div-inv
5×unpow-prod-up neg-log inv-pow
4×exp-diff associate--l- associate-+r- distribute-rgt-neg-out pow3
3×rem-log-exp
2×quot-tan sqrt-unprod tan-sum sqr-neg cos-sum rem-cbrt-cube e-exp-1 pow-sub distribute-rgt-out
1×rem-square-sqrt unpow1/3

bsearch8.0s (1.1%)

localize7.7s (1.0%)

end0.0ms (0.0%)