Details

sample1.2m (35.1%)

Algorithm
60×intervals
Results
24.4s335799×body80valid
9.2s21490×body1280valid
8.6s207972×body80nan
3.2s10713×body640valid
2.5s5325×body2560valid
1.0s5178×body320valid
426.0ms16512×pre80true
364.0ms2534×body160valid
61.0ms217×body5120valid

prune46.4s (23.3%)

series45.7s (23.0%)

Calls

349 calls:

2.1s
(- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
2.1s
(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (cbrt t) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
481.0ms
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z))) (- a x))
477.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
463.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

regimes13.6s (6.8%)

Accuracy

Total 44.6b remaining (29.1%)

Threshold costs 3.0b (2%)

12.8b-15.1%Linear.Matrix:det44 from linear-1.19.1.3
7.4b26.6%Linear.Matrix:det33 from linear-1.19.1.3
3.4b88.5%NMSE problem 3.2.1
2.7b-52.2%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
2.5b58.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

rewrite9.9s (5.0%)

Algorithm
102×rewrite-expression-head
Calls

349 calls:

793.0ms
(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
793.0ms
(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
679.0ms
(- (+ (- (* (* x (* 18.0 y)) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
308.0ms
(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (cbrt t) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
237.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
Rules
5403×add-exp-log
4593×times-frac
3942×add-sqr-sqrt
3835×*-un-lft-identity
2917×add-cube-cbrt
2754×prod-exp
2514×div-exp
1666×pow-exp
1329×add-cbrt-cube
848×pow1
760×cbrt-prod
733×associate-*r*
670×flip3-- flip--
667×associate-*l*
659×associate-*l/
653×associate-*r/
606×add-log-exp
530×pow-to-exp
492×frac-sub
453×1-exp
443×cbrt-unprod
429×rec-exp
425×frac-times
393×exp-prod
349×sqrt-prod
320×associate-/l*
278×div-inv
274×distribute-lft-out-- distribute-rgt-neg-in
260×unpow-prod-down
248×difference-of-squares
244×associate-/r*
243×pow-prod-down
238×distribute-lft-neg-in
229×cbrt-undiv
222×unswap-sqr
209×cbrt-div
194×distribute-lft-out
187×log-pow
184×associate-/r/
160×distribute-rgt-in distribute-lft-in
148×associate-/l/
139×log-prod
136×sub-neg
119×*-commutative
113×flip-+ flip3-+
92×sqrt-div
86×swap-sqr
80×sum-log
76×pow1/3
67×sqr-pow
65×diff-log
64×pow-flip neg-mul-1
63×associate-+r+
61×pow-unpow clear-num frac-2neg
53×sqrt-pow1
49×pow1/2
48×associate-+l+
35×neg-sub0
34×frac-add
33×sin-mult
31×tan-quot
30×+-commutative associate--r+
28×rem-sqrt-square
25×cos-mult
22×pow-pow rem-exp-log
21×associate--l+
20×distribute-neg-in
19×sub-div exp-sum associate-+l-
18×unpow-prod-up
17×pow-prod-up div-sub
16×neg-log
15×pow-sqr
13×cube-div
12×associate--l-
11×inv-pow
10×unpow2 distribute-frac-neg cube-prod log-div
9×exp-diff pow-sub pow-neg
7×exp-neg pow2 pow-plus rem-log-exp
6×un-div-inv sqrt-unprod associate-+r- distribute-rgt-out-- distribute-neg-frac unpow3 cube-mult log-rec
5×rem-cube-cbrt
3×distribute-lft-neg-out rem-cbrt-cube
2×cos-sum rem-square-sqrt tan-sum distribute-rgt-neg-out

simplify7.9s (3.9%)

Algorithm
162×egg-herbie

bsearch3.0s (1.5%)

localize2.7s (1.4%)

end1.0ms (0.0%)