Details

sample1.8m (47.4%)

Algorithm
60×intervals
Results
52.0s335522×body80valid
12.9s209152×body80nan
10.6s21329×body1280valid
4.0s10960×body640valid
3.1s5331×body2560valid
1.3s5128×body320valid
750.0ms16512×pre80true
462.0ms2596×body160valid
94.0ms233×body5120valid

series41.1s (18.5%)

Calls

347 calls:

668.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
650.0ms
(+ (pow (+ (* a a) (* b b)) (* 2 2.0)) (- (* (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))))
523.0ms
(* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))
484.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (/ (* (tan y) (sin z)) (cos z))) (sin a))) (* (- 1 (/ (* (tan y) (sin z)) (cos z))) (cos a)))
468.0ms
(* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

prune40.6s (18.2%)

regimes13.2s (5.9%)

Accuracy

Total 40.1b remaining (25.7%)

Threshold costs 3.9b (2.5%)

12.1b-3%Linear.Matrix:det44 from linear-1.19.1.3
4.3b83.9%The quadratic formula (r1)
4.0b2.6%Linear.Matrix:det33 from linear-1.19.1.3
3.6b0%fabs fraction 1
2.6b90.3%NMSE problem 3.2.1

rewrite8.6s (3.9%)

Algorithm
103×rewrite-expression-head
Calls

347 calls:

1.9s
(* (* (* x (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ 1 y))
465.0ms
(/ (* (* x (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
146.0ms
(* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))
136.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
132.0ms
(/ (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
Rules
3619×add-sqr-sqrt
3211×times-frac
3192×*-un-lft-identity
2320×add-cube-cbrt
2159×add-exp-log
1293×add-cbrt-cube
1001×prod-exp
969×associate-*r*
912×pow1
737×associate-*l*
539×add-log-exp
462×flip-- flip3--
442×frac-times
420×cbrt-unprod
413×difference-of-squares
396×cbrt-div
386×cbrt-prod
367×div-exp
339×distribute-lft-out--
334×associate-/l*
313×associate-*r/
302×associate-*l/
284×sqrt-prod
261×pow-prod-down
259×associate-/r*
219×unpow-prod-down
217×unswap-sqr
213×cbrt-undiv
195×log-prod
191×frac-sub
174×associate-/r/
173×flip-+ flip3-+
171×pow-exp
167×div-inv
162×distribute-rgt-neg-in
160×pow-to-exp
154×distribute-rgt-in distribute-lft-in
141×frac-add
129×*-commutative
126×distribute-lft-neg-in
119×distribute-lft-out
100×sub-neg
82×sqr-pow
80×sqrt-div
77×pow1/3
68×sin-mult
63×clear-num sum-log frac-2neg
61×cos-mult
59×associate-/l/
57×exp-prod
50×log-pow
49×swap-sqr
46×diff-log
45×1-exp
43×rec-exp
41×neg-mul-1
35×pow1/2 sqrt-pow1
34×unpow2 associate-+r+
29×pow-unpow
28×associate-+l+
27×rem-sqrt-square +-commutative
26×pow-pow
25×tan-quot
24×exp-sum associate--r+
22×pow-prod-up sub-div
21×distribute-rgt-neg-out
20×pow-sqr
18×cube-prod
17×neg-sub0
16×pow-flip
15×neg-log
14×inv-pow
13×div-sub associate-+l- associate--l+
11×un-div-inv
10×pow-plus
9×rem-exp-log
8×distribute-lft-neg-out pow2 distribute-neg-in log-rec
6×rem-cube-cbrt associate-+r- unpow3 cube-mult distribute-frac-neg log-div
5×cube-div unsub-neg associate--l-
4×exp-diff unpow-prod-up
3×rem-cbrt-cube rem-log-exp
2×cos-sum sqrt-unprod exp-neg pow-sub tan-sum distribute-neg-frac
1×unpow1/3 rem-square-sqrt

simplify7.9s (3.6%)

Algorithm
163×egg-herbie

bsearch3.0s (1.3%)

localize2.6s (1.2%)

end0.0ms (0.0%)