Details

simplify4.3m (40.9%)

sample2.2m (21.1%)

Algorithm
60×intervals
Results
46.8s290535×body80valid
24.2s206658×body80nan
19.0s21395×body1280valid
8.3s10824×body640valid
5.3s5263×body2560valid
2.8s5276×body320valid
966.0ms16512×pre80true
697.0ms2523×body160valid
177.0ms235×body5120valid

prune1.7m (16.5%)

series58.7s (9.3%)

Calls

347 calls:

3.9s
(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
718.0ms
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log (sqrt t)))) (* (log (sqrt (sqrt t))) (- a 0.5)))
626.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
611.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
606.0ms
(/ (+ f n) (sqrt (- f n)))

regimes39.8s (6.3%)

Accuracy

Total 37.7b remaining (27.1%)

Threshold costs 2.6b (1.8%)

6.4b12.3%Linear.Matrix:det33 from linear-1.19.1.3
5.0b47.8%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
4.6b83.6%NMSE problem 3.2.1
4.2b18.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
3.5b87.7%The quadratic formula (r1)

rewrite21.7s (3.4%)

Algorithm
104×rewrite-expression-head
Calls

347 calls:

1.1s
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log (sqrt t)))) (* (- a 0.5) (log (sqrt t))))
943.0ms
(* (+ (- (/ 5.0 6.0) (/ (/ 2.0 t) 3.0)) a) t)
893.0ms
(* (* (- b c) (+ b c)) (* (+ (- (/ 5.0 6.0) (/ (/ 2.0 t) 3.0)) a) t))
893.0ms
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log (sqrt t)))) (* (log (sqrt (sqrt t))) (- a 0.5)))
674.0ms
(* (* (- b c) (+ b c)) (* (+ (- (/ 5.0 6.0) (/ (/ 2.0 t) 3.0)) a) t))
Rules
4844×times-frac
4155×*-un-lft-identity
4074×add-sqr-sqrt
3319×add-exp-log
2951×add-cube-cbrt
2235×prod-exp
1152×add-cbrt-cube
907×associate-*r/
852×frac-times
834×associate-*l/
781×flip-+ flip3-+
778×pow1
658×cbrt-prod
583×add-log-exp
518×flip3-- flip--
515×pow-exp
514×pow-to-exp
487×associate-*r*
467×frac-sub
443×associate-*l*
420×sqrt-div
410×div-exp
402×associate-/r*
398×distribute-lft-out--
382×difference-of-squares
353×cbrt-unprod
291×sqrt-prod
273×associate-/l*
266×associate-/l/
260×distribute-rgt-neg-in
253×div-inv
242×distribute-lft-out
225×distribute-lft-neg-in
206×associate-/r/
204×cbrt-div
193×pow-prod-down
166×cbrt-undiv
142×sub-neg
132×distribute-rgt-in distribute-lft-in
115×unswap-sqr
109×log-prod
104×*-commutative
77×unpow-prod-down
74×sum-log associate-+r+
73×neg-mul-1
68×diff-log
66×frac-add
65×pow1/3
64×frac-2neg clear-num
57×log-pow
55×exp-sum
54×sqrt-pow1
49×pow1/2
44×exp-prod
42×rem-sqrt-square
36×1-exp rec-exp
35×pow-unpow
31×associate--l+
30×sin-mult
29×associate-+l-
28×sqr-pow
26×+-commutative
24×associate-+l+
23×cos-mult
22×swap-sqr
19×rem-exp-log
18×sub-div
17×associate--r+
15×neg-sub0 tan-quot
14×log-div
13×div-sub
12×neg-log pow-pow
11×exp-diff
9×associate--l- pow-flip
8×inv-pow
5×unpow-prod-up un-div-inv
4×associate-+r- pow-prod-up pow-sqr
3×distribute-frac-neg
2×pow2 pow-plus tan-sum distribute-neg-frac cos-sum rem-log-exp pow-sub
1×distribute-lft-neg-out sub0-neg pow3 sqrt-unprod rem-cbrt-cube e-exp-1

bsearch7.7s (1.2%)

localize7.5s (1.2%)

end1.0ms (0.0%)