Details

sample1.2m (35.1%)

Algorithm
60×intervals
Results
23.4s337456×body80valid
8.7s21243×body1280valid
8.0s207726×body80nan
3.1s11043×body640valid
2.3s5321×body2560valid
959.0ms5150×body320valid
400.0ms16512×pre80true
336.0ms2591×body160valid
61.0ms241×body5120valid

series54.9s (26.0%)

Calls

338 calls:

3.6s
(sqrt (fma i c (fma t z (fma a b (* x y)))))
3.5s
(sqrt (fma i c (fma t z (fma a b (* x y)))))
3.0s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
2.7s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k))))))
2.7s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (* j 27.0) (* (cbrt k) (cbrt k))) (cbrt k)))))

prune45.4s (21.5%)

regimes13.0s (6.2%)

Accuracy

Total 42.0b remaining (26.7%)

Threshold costs 2.6b (1.6%)

9.4b-7.5%Linear.Matrix:det44 from linear-1.19.1.3
9.1b4.2%Linear.Matrix:det33 from linear-1.19.1.3
4.9b82.6%NMSE problem 3.2.1
3.1b-6.6%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
2.6b24.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

rewrite10.3s (4.9%)

Algorithm
106×rewrite-expression-head
Calls

338 calls:

735.0ms
(* (pow (/ 1 (pow a 1.0)) 1.0) (/ x (* (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b))) y)))
208.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
206.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
185.0ms
(* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))
183.0ms
(* (sqrt (/ (- (+ f n)) (- f n))) (sqrt (/ (- (+ f n)) (- f n))))
Rules
5460×times-frac
5131×*-un-lft-identity
4708×add-sqr-sqrt
3790×add-cube-cbrt
2177×add-exp-log
1152×prod-diff
1103×add-cbrt-cube
957×prod-exp
910×sqrt-prod
851×pow1
818×unpow-prod-down
609×associate-*r*
605×associate-*l*
602×distribute-rgt-neg-in
533×distribute-lft-neg-in
526×div-exp
481×add-log-exp
480×associate-/r*
369×distribute-lft-out--
345×exp-sum
339×log1p-expm1-u
338×expm1-log1p-u
320×cbrt-unprod
309×distribute-lft-out
275×difference-of-squares
261×distribute-rgt-in distribute-lft-in
258×associate-/l*
257×fma-udef
231×div-inv
213×flip3-- flip--
202×cbrt-prod
195×pow-exp
191×cbrt-undiv
175×pow-prod-down
169×fma-neg
162×swap-sqr
156×unswap-sqr
152×pow-to-exp
150×neg-mul-1
143×associate-/r/
132×associate-*l/
121×log-pow
120×log-prod
119×1-exp
115×sqr-pow
110×associate-*r/
109×*-commutative
93×fma-def frac-times
92×sub-neg
85×associate-+r+
84×flip-+ flip3-+
82×rec-exp
76×sqrt-div
69×sqrt-pow1
63×associate--r+
61×frac-sub
58×clear-num frac-2neg
56×associate-/l/
55×pow1/2
47×diff-log
40×pow1/3 exp-prod associate--l+
39×rem-sqrt-square tan-quot
36×associate-+l+
35×unpow2
33×sum-log
24×neg-sub0
21×pow-unpow sin-mult
20×pow-prod-up cos-mult
19×neg-log cbrt-div
17×associate-+l-
16×+-commutative associate--l-
15×unpow-prod-up
14×pow-pow log-div
13×rem-exp-log pow-flip div-sub
11×inv-pow
10×frac-add pow-sqr
9×un-div-inv sub-div pow-plus distribute-neg-frac
6×cube-prod
5×exp-diff distribute-neg-in pow2 distribute-frac-neg distribute-rgt-neg-out
4×distribute-lft-neg-out
3×sqrt-unprod associate-+r-
2×cube-mult unpow3 exp-neg expm1-log1p rem-square-sqrt log-rec cos-sum tan-sum expm1-udef exp-to-pow rem-log-exp
1×rem-cube-cbrt log1p-udef pow3 log1p-expm1 pow-sub unsub-neg unpow1/2 rem-cbrt-cube mul-1-neg

simplify8.4s (4.0%)

Algorithm
166×egg-herbie

bsearch2.7s (1.3%)

localize2.4s (1.1%)

end0.0ms (0.0%)