Details

simplify8.6m (45.7%)

prune3.1m (16.5%)

sample2.7m (14.2%)

Algorithm
60×intervals
Results
1.1m335028×body80valid
24.4s207451×body80nan
18.2s21486×body1280valid
7.7s11041×body640valid
5.4s5390×body2560valid
2.0s4998×body320valid
651.0ms16512×pre80true
650.0ms2505×body160valid
203.0ms238×body5120valid

series1.6m (8.7%)

Calls

343 calls:

3.8s
(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
3.6s
(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
1.6s
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
1.3s
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
1.3s
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))

regimes1.5m (8.0%)

Accuracy

Total 42.7b remaining (26.7%)

Threshold costs 3.4b (2.2%)

11.4b-4.6%Linear.Matrix:det44 from linear-1.19.1.3
5.5b28.3%Linear.Matrix:det33 from linear-1.19.1.3
4.8b82.9%NMSE problem 3.2.1
4.7b83.9%The quadratic formula (r1)
2.6b0%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite56.5s (5.0%)

Algorithm
103×rewrite-expression-head
Calls

343 calls:

14.3s
(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
10.2s
(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
1.6s
(* (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))) (- a x))
1.3s
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
935.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i))
Rules
4070×times-frac
3823×*-un-lft-identity
3583×add-sqr-sqrt
2929×add-exp-log
2539×add-cube-cbrt
1634×prod-exp
1269×add-cbrt-cube
962×cbrt-prod
881×pow1
654×associate-*r*
612×add-log-exp
576×associate-*l*
497×div-exp
477×cbrt-unprod
343×insert-posit16
339×associate-/r*
335×distribute-lft-out--
317×pow-exp
310×distribute-lft-out
297×flip3-- flip--
292×distribute-rgt-neg-in
287×cbrt-div
286×pow-to-exp
279×difference-of-squares
275×distribute-lft-neg-in
263×frac-times
253×pow-prod-down
250×associate-/l* associate-/r/
247×sqrt-prod
244×associate-*r/
231×div-inv
222×exp-prod
218×cbrt-undiv
183×unswap-sqr
182×associate-*l/
172×frac-sub
145×flip-+ flip3-+
142×sub-neg
116×*-commutative
105×distribute-rgt-in distribute-lft-in
97×log-pow
90×diff-log
85×neg-mul-1
84×sqrt-div
83×swap-sqr
82×sin-mult
68×pow1/3
62×sum-log frac-2neg clear-num
53×log-prod
52×associate-/l/
40×rem-exp-log
38×exp-sum
37×associate-+r+
34×cos-mult sqrt-pow1 pow1/2
32×associate--l+ unpow-prod-down
30×rem-sqrt-square
29×exp-diff
27×1-exp
25×+-commutative
23×rec-exp
22×pow-prod-up
21×associate-+l+ tan-quot
20×associate--r+
18×associate-+l- frac-add
17×neg-sub0 sub-div pow-sqr
13×pow-unpow
12×sqr-pow pow-pow div-sub
11×neg-log log-div
9×pow-plus associate--l-
8×distribute-rgt-out-- un-div-inv
7×pow2
6×distribute-frac-neg
5×associate-+r-
4×distribute-neg-frac
3×pow-flip unpow-prod-up distribute-lft-neg-out inv-pow exp-neg rem-cbrt-cube
2×cube-unmult pow-div pow3 tan-sum cos-sum rem-log-exp
1×log-rec sqrt-unprod unpow1/3 e-exp-1 pow-sub

localize13.0s (1.1%)

bsearch9.3s (0.8%)

end1.0ms (0.0%)