Details

sample1.2m (35.3%)

Algorithm
60×intervals
Results
23.1s337456×body80valid
8.4s21243×body1280valid
7.7s207726×body80nan
3.0s11043×body640valid
2.3s5321×body2560valid
924.0ms5150×body320valid
391.0ms16512×pre80true
349.0ms2591×body160valid
63.0ms241×body5120valid

series52.5s (25.2%)

Calls

338 calls:

3.3s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.9s
(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)))))
2.8s
(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.8s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))

prune45.8s (22.0%)

regimes12.6s (6.0%)

Accuracy

Total 41.7b remaining (26.6%)

Threshold costs 2.7b (1.7%)

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.5s (5.0%)

Algorithm
105×rewrite-expression-head
Calls

338 calls:

772.0ms
(* (pow (/ 1 (pow a 1.0)) 1.0) (/ x (* (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b))) y)))
211.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
209.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
208.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
193.0ms
(* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))
Rules
5486×times-frac
5131×*-un-lft-identity
4698×add-sqr-sqrt
3788×add-cube-cbrt
2007×add-exp-log
1092×prod-diff
1087×add-cbrt-cube
897×prod-exp
872×sqrt-prod
832×pow1
794×unpow-prod-down
669×associate-*l*
647×associate-*r*
641×distribute-rgt-neg-in
572×distribute-lft-neg-in
497×add-log-exp
480×associate-/r*
404×div-exp
370×distribute-lft-out--
345×exp-sum
340×log1p-expm1-u
338×expm1-log1p-u
320×cbrt-unprod
312×distribute-lft-out
277×distribute-rgt-in distribute-lft-in
275×difference-of-squares
254×fma-udef
248×associate-/l*
235×div-inv
220×flip-- flip3--
202×cbrt-prod
192×pow-exp
180×pow-prod-down
175×cbrt-undiv
165×fma-neg
162×log-prod
158×unswap-sqr
154×swap-sqr
153×neg-mul-1
150×pow-to-exp associate-*l/
143×associate-/r/
123×associate-*r/
116×log-pow
114×*-commutative
110×fma-def
105×sqr-pow
93×flip-+ flip3-+ frac-times
86×sub-neg
78×sqrt-div
71×1-exp
64×associate-+l+ rec-exp
63×associate-+r+ associate--r+
61×frac-sub
58×clear-num frac-2neg
55×associate-/l/
45×diff-log
44×sum-log sqrt-pow1
43×pow1/2
42×exp-prod
39×tan-quot
35×unpow2
34×associate--l+
32×pow1/3
31×rem-sqrt-square
24×neg-sub0
21×+-commutative sin-mult
20×cos-mult
19×neg-log cbrt-div
18×frac-add associate-+l-
17×pow-unpow
16×pow-flip associate--l-
14×log-div
13×rem-exp-log div-sub
12×pow-pow inv-pow distribute-neg-frac
10×distribute-lft-neg-out
9×un-div-inv sub-div
6×unpow-prod-up pow-prod-up
5×exp-diff distribute-neg-in distribute-frac-neg
4×pow-sqr
3×expm1-log1p expm1-udef
2×cos-sum exp-neg pow2 pow-plus sqrt-unprod tan-sum distribute-rgt-neg-out rem-log-exp log-rec
1×log1p-udef unpow1/3 associate-+r- log1p-expm1 pow-sub unsub-neg rem-square-sqrt exp-to-pow mul-1-neg

simplify8.4s (4.0%)

Algorithm
165×egg-herbie

bsearch2.5s (1.2%)

localize2.4s (1.2%)

end1.0ms (0.0%)