Details

sample1.6m (35.6%)

Algorithm
59×intervals
Results
24.5s263922×body80valid
18.8s208968×body80nan
15.2s21553×body1280valid
6.5s11043×body640valid
3.3s5295×body2560valid
1.7s5220×body320valid
556.0ms2557×body160valid
538.0ms16512×pre80true
130.0ms244×body5120valid

prune60.0s (22.9%)

series53.6s (20.5%)

Calls

362 calls:

2.7s
(+ (* (* z (/ (sqrt (+ t a)) (cbrt t))) (+ b c)) (- (* (* (* (cbrt t) (cbrt t)) (- (* b b) (* c c))) (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))))))
1.8s
(/ (+ (* (* z (/ (sqrt (+ t a)) (cbrt t))) (+ b c)) (- (* (* (* (cbrt t) (cbrt t)) (- (* b b) (* c c))) (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0))))))) (* (* (cbrt t) (cbrt t)) (+ b c)))
633.0ms
(pow (/ 1 E) (/ (+ f n) (- f n)))
563.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (sin y) (/ (tan z) (cos y)))) (cos a)))
562.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (/ (* (sin y) (tan z)) (cos y))) (cos a)))

rewrite22.2s (8.5%)

Algorithm
105×rewrite-expression-head
Calls

362 calls:

1.3s
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- x))
1.0s
(/ (* (* x (/ (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (pow (/ (cbrt 1) (cbrt a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
819.0ms
(* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y))
661.0ms
(/ (+ (- b) (- (* 2.0 (* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))) b)) (* 2.0 a))
508.0ms
(/ (+ (* (* z (/ (sqrt (+ t a)) (cbrt t))) (+ b c)) (- (* (* (* (cbrt t) (cbrt t)) (- (* b b) (* c c))) (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0))))))) (* (* (cbrt t) (cbrt t)) (+ b c)))
Rules
19294×times-frac
13290×add-sqr-sqrt
11755×*-un-lft-identity
8356×add-cube-cbrt
6630×sqrt-prod
2661×add-exp-log
2243×difference-of-squares
1433×add-cbrt-cube
1375×distribute-lft-out--
1325×associate-/l*
1144×prod-exp
971×associate-*r*
900×pow1
753×cbrt-prod
751×associate-*l*
675×distribute-rgt-neg-in
661×div-exp
598×distribute-lft-neg-in
550×add-log-exp
450×cbrt-unprod
429×div-inv
369×associate-/r*
345×associate-*r/
333×flip-- flip3--
299×distribute-lft-out
287×cbrt-undiv
240×pow-prod-down
233×frac-times
227×associate-*l/
223×pow-exp
207×unswap-sqr
198×unpow-prod-down
195×associate-/r/
191×swap-sqr
185×flip-+ flip3-+
179×log-prod
157×pow-to-exp
156×exp-prod
143×frac-sub
137×associate-/l/
128×*-commutative
125×distribute-rgt-in distribute-lft-in
123×log-pow
111×sub-neg
108×neg-mul-1
100×frac-add
92×distribute-neg-frac
79×1-exp
78×clear-num frac-2neg
71×cbrt-div pow1/3
62×sqrt-div
57×rec-exp
55×diff-log
52×sum-log
48×pow-unpow
42×exp-sum
41×tan-quot
35×sqr-pow
34×log-div
29×associate-+r+ neg-sub0
27×div-sub
26×sin-mult rem-log-exp sqrt-pow1
25×pow1/2
23×associate-+l+ +-commutative cos-mult
22×rem-sqrt-square associate--r+
18×associate--l+
17×neg-log associate-+l-
15×associate--l-
14×inv-pow pow-sqr pow-flip pow-prod-up
13×sub-div
11×pow-pow associate-+r- distribute-rgt-neg-out
10×unpow2
9×un-div-inv pow-plus distribute-frac-neg
8×pow2
7×e-exp-1 rem-exp-log
6×cube-div exp-diff distribute-neg-in distribute-rgt-out
5×unsub-neg log-rec
4×exp-neg cube-prod
3×distribute-rgt-out--
2×sqrt-undiv associate--r- unpow-prod-up tan-sum cos-sum
1×rem-cube-cbrt unpow3 pow-neg sqrt-unprod pow-sub distribute-lft-neg-out cube-mult acos-asin

regimes14.6s (5.6%)

Accuracy

Total 29.7b remaining (23.6%)

Threshold costs 2.0b (1.6%)

3.9b85.5%NMSE problem 3.2.1
3.3b87.9%The quadratic formula (r1)
3.2b51.7%Linear.Matrix:det33 from linear-1.19.1.3
2.7b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.6b69.3%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

simplify8.8s (3.4%)

bsearch5.6s (2.1%)

localize3.5s (1.3%)

end1.0ms (0.0%)