Details

prune4.3m (33.8%)

sample3.5m (27.4%)

Algorithm
59×intervals
Results
1.7m327770×body80valid
30.3s21479×body1280valid
24.4s151802×body80nan
11.1s10805×body640valid
7.5s5417×body2560valid
3.2s5108×body320valid
1.2s16512×pre80true
1.1s2588×body160valid
217.0ms220×body5120valid

simplify3.0m (23.2%)

series51.8s (6.7%)

Calls

342 calls:

Slowest
755.0ms
(* (/ (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (* (/ (cbrt (- y z)) (cbrt (- (+ t 1.0) z))) (- a x)))
716.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
693.0ms
(* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
689.0ms
(cbrt (log t))
678.0ms
(* (/ (- y z) (* (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))) (cbrt (- (+ t 1.0) z)))) (- a x))

regimes38.6s (5.0%)

Accuracy

Total 43.8b remaining (28%)

Threshold costs 3.0b (1.9%)

9.4b-18.5%Linear.Matrix:det44 from linear-1.19.1.3
5.1b82.3%NMSE problem 3.2.1
4.6b83.2%The quadratic formula (r1)
3.3b30.3%Linear.Matrix:det33 from linear-1.19.1.3
3.3b31.5%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

rewrite14.9s (1.9%)

Algorithm
102×rewrite-expression-head
Calls

342 calls:

Slowest
607.0ms
(* (/ (- y z) (* (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))) (cbrt (- (+ t 1.0) z)))) (- a x))
458.0ms
(+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c))
429.0ms
(+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c))
416.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
313.0ms
(* (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
Rules
6457×times-frac
4682×add-sqr-sqrt
4670×*-un-lft-identity
3831×add-cube-cbrt
1655×add-exp-log
1524×cbrt-prod
1389×add-cbrt-cube
1298×pow1
590×add-log-exp
583×prod-exp
564×associate-*l*
520×cbrt-unprod
493×associate-/l*
491×associate-*r*
469×pow-prod-down
431×sqrt-prod
429×associate-/r*
407×distribute-rgt-neg-in
370×distribute-lft-neg-in
342×insert-posit16
315×flip3-- flip--
314×div-exp
261×distribute-lft-out--
238×difference-of-squares
236×div-inv
220×cbrt-undiv
192×frac-times
176×associate-/r/
172×distribute-lft-out
158×sub-neg
151×associate-*r/
148×unswap-sqr
144×cbrt-div
142×associate-*l/
131×distribute-rgt-in distribute-lft-in
119×*-commutative
118×flip-+ flip3-+
100×neg-mul-1
98×sqrt-div
87×frac-sub
85×swap-sqr
84×exp-prod
83×unpow-prod-down
79×diff-log
69×frac-2neg clear-num
67×log-prod
63×exp-sum
57×sum-log
56×pow1/3 pow-prod-up
51×pow-sqr
49×1-exp rec-exp
46×associate-/l/
45×sqrt-pow1 associate-+r+ pow1/2
35×sqr-pow
33×sin-mult
32×associate--l+
31×rem-exp-log
30×cos-mult
28×associate-+l+ cube-unmult log-pow
27×rem-sqrt-square
24×associate--r+
23×pow-unpow +-commutative
22×pow-plus
21×tan-quot
20×div-sub
18×neg-sub0
17×associate-+l-
15×pow-flip exp-diff pow-pow
14×sub-div difference-cubes inv-pow
13×pow2
12×neg-log
11×distribute-neg-frac
10×pow-exp associate--l- log-div
9×pow-to-exp
7×un-div-inv e-exp-1
6×distribute-frac-neg difference-of-sqr-1
5×frac-add
4×associate-+r- cos-2
3×distribute-rgt-out-- sqrt-unprod
2×pow-div distribute-lft1-in remove-posit16 tan-sum rem-square-sqrt cos-sum distribute-rgt-out
1×pow3 sqr-sin exp-to-pow acos-asin rem-cbrt-cube

localize7.9s (1.0%)

bsearch6.7s (0.9%)

end1.0ms (0.0%)