Details

simplify6.3m (36.3%)

prune4.1m (23.9%)

sample3.3m (19.2%)

Algorithm
60×intervals
Results
1.4m310837×body80valid
31.4s206614×body80nan
28.6s21532×body1280valid
11.0s11071×body640valid
6.7s5332×body2560valid
3.9s4974×body320valid
1.0s16512×pre80true
947.0ms2411×body160valid
185.0ms224×body5120valid

series2.6m (14.8%)

Calls

348 calls:

1.7m
(/ 1 (/ (+ i (* y (+ (* (+ (* (+ a y) y) b) y) c))) (+ t (* (+ (* y (+ (* y (+ z (* x y))) 27464.7644705)) 230661.510616) y))))
871.0ms
(/ (- (* (sqrt (+ a t)) (* z (* (- a (/ 5.0 6.0)) (* t 3.0)))) (* (- b c) (* (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* 2.0 (- a (/ 5.0 6.0)))) t))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
840.0ms
(/ (+ i (* y (+ (* (+ (* (+ a y) y) b) y) c))) (+ t (* (+ (* y (+ (* y (+ z (* x y))) 27464.7644705)) 230661.510616) y)))
819.0ms
(- (* (sqrt (+ a t)) (* z (* (- a (/ 5.0 6.0)) (* t 3.0)))) (* (- b c) (* (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* 2.0 (- a (/ 5.0 6.0)))) t)))
815.0ms
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))

regimes29.5s (2.8%)

Accuracy

Total 31.4b remaining (25.9%)

Threshold costs 3.9b (3.2%)

10.0b1.8%Linear.Matrix:det33 from linear-1.19.1.3
5.2b28.6%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
3.1b88.7%The quadratic formula (r1)
2.5b0%cos(2*x)/(cos^2(x)*sin^2(x))
1.8b-4.9%fabs fraction 1

rewrite18.5s (1.8%)

Algorithm
103×rewrite-expression-head
Calls

348 calls:

1.3s
(/ (- (* (sqrt (+ a t)) (* z (* (- a (/ 5.0 6.0)) (* t 3.0)))) (* (- b c) (* (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* 2.0 (- a (/ 5.0 6.0)))) t))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
980.0ms
(- (* (sqrt (+ a t)) (* z (* (- a (/ 5.0 6.0)) (* t 3.0)))) (* (- b c) (* (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* 2.0 (- a (/ 5.0 6.0)))) t)))
789.0ms
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5)))
726.0ms
(* (- b c) (* (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* 2.0 (- a (/ 5.0 6.0)))) t))
487.0ms
(/ (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
Rules
4567×times-frac
3955×add-sqr-sqrt
3888×*-un-lft-identity
3178×associate-*l/
2916×add-cube-cbrt
2883×associate-*r/
2375×add-exp-log
1940×flip3-- flip--
1904×frac-sub
1816×frac-times
1698×add-cbrt-cube
1267×pow1
884×associate-*r*
866×prod-exp
829×flip-+ flip3-+
798×sqrt-div
636×div-exp
607×cbrt-unprod
596×add-log-exp
574×associate-/l/
543×associate-*l*
427×associate-/r*
406×pow-prod-down
382×cbrt-prod
358×cbrt-undiv
352×difference-of-squares
348×insert-posit16
305×distribute-rgt-neg-in
303×distribute-lft-out--
286×distribute-lft-neg-in associate-/l*
249×div-inv
239×exp-prod
202×cbrt-div
188×sqrt-prod
181×distribute-lft-out associate-/r/
173×log-pow
150×sub-neg
142×unswap-sqr
127×*-commutative
126×sub-div
114×1-exp rec-exp distribute-rgt-in distribute-lft-in
101×pow-prod-up
95×frac-add
91×neg-mul-1
82×log-prod tan-quot
73×frac-2neg clear-num diff-log
71×sum-log
68×exp-sum
66×swap-sqr
60×pow1/3
57×pow-sqr
47×pow-plus
46×pow-flip
41×associate--l+
39×pow-unpow inv-pow
38×sin-mult
37×associate-+r+
32×associate-+l+
28×cos-mult
27×sqrt-pow1 pow2 pow1/2 rem-exp-log
25×+-commutative
24×exp-diff
23×rem-sqrt-square
21×associate--r+
18×associate-+l-
17×log-div
16×div-sub
15×distribute-rgt-out--
13×pow-pow
12×un-div-inv
11×neg-sub0
10×unpow-prod-down
8×distribute-lft-neg-out neg-log
6×pow-exp
5×associate--l-
4×associate-+r- pow3 sqr-pow difference-of-sqr-1 pow-to-exp
3×unpow-prod-up cos-2
2×distribute-frac-neg distribute-rgt-neg-out tan-sum distribute-neg-frac remove-posit16 distribute-neg-in unsub-neg pow-sub cos-sum distribute-rgt-out rem-log-exp
1×sqrt-unprod exp-to-pow exp-neg pow-neg rem-cbrt-cube e-exp-1

localize6.6s (0.6%)

bsearch5.8s (0.6%)

end1.0ms (0.0%)