Details

sample1.2m (34.2%)

Algorithm
60×intervals
Results
22.9s337456×body80valid
8.4s21243×body1280valid
7.6s207726×body80nan
3.3s11043×body640valid
2.3s5321×body2560valid
938.0ms5150×body320valid
397.0ms16512×pre80true
330.0ms2591×body160valid
57.0ms241×body5120valid

series59.7s (28.0%)

Calls

341 calls:

3.7s
(sqrt (fma i c (fma t z (fma a b (* x y)))))
3.7s
(sqrt (fma i c (fma t z (fma a b (* x y)))))
3.2s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
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) (* (cbrt k) (cbrt k))) (cbrt k)))))

prune45.1s (21.1%)

regimes12.8s (6.0%)

Accuracy

Total 42.0b remaining (26.8%)

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

rewrite9.2s (4.3%)

Algorithm
106×rewrite-expression-head
Calls

341 calls:

759.0ms
(* (pow (/ 1 (pow a 1.0)) 1.0) (/ x (* (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b))) y)))
191.0ms
(* (sqrt (/ (- (+ f n)) (- f n))) (sqrt (/ (- (+ f n)) (- f n))))
191.0ms
(* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))
184.0ms
(/ (cos (* 2.0 x)) (* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
174.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
Rules
5422×times-frac
5021×*-un-lft-identity
4657×add-sqr-sqrt
3750×add-cube-cbrt
2030×add-exp-log
1085×add-cbrt-cube
1028×prod-diff
903×prod-exp
889×sqrt-prod
836×unpow-prod-down
815×pow1
624×associate-*l*
619×associate-*r*
615×distribute-rgt-neg-in
546×distribute-lft-neg-in
484×add-log-exp
483×associate-/r*
422×div-exp
363×distribute-lft-out--
345×exp-sum
343×log1p-expm1-u
341×expm1-log1p-u
313×cbrt-unprod
279×distribute-lft-out
271×difference-of-squares
263×cbrt-prod
259×fma-udef
251×associate-/l*
218×div-inv
195×flip-- flip3--
194×pow-exp
187×distribute-rgt-in distribute-lft-in
186×cbrt-undiv
169×fma-neg
162×swap-sqr
159×pow-prod-down
155×unswap-sqr
151×pow-to-exp neg-mul-1
143×associate-/r/
123×associate-*l/
121×log-pow
120×log-prod
119×sqr-pow
106×*-commutative
97×fma-def
95×associate-*r/
84×sub-neg
83×associate-+r+
76×1-exp
75×flip-+ flip3-+
73×frac-times
72×sqrt-div
64×rec-exp
63×associate--r+
59×clear-num frac-2neg
55×associate-/l/
50×pow1/2 sqrt-pow1
49×frac-sub
47×diff-log
40×exp-prod
39×tan-quot pow1/3
36×associate-+l+ associate--l+
35×unpow2
33×sum-log
31×rem-sqrt-square
28×pow-unpow
24×neg-sub0
21×sin-mult
20×cos-mult
19×neg-log
17×associate-+l-
16×pow-flip +-commutative associate--l-
15×unpow-prod-up
14×cube-prod log-div
13×rem-exp-log pow-pow div-sub
12×inv-pow
11×pow-prod-up
10×frac-add distribute-neg-frac
9×un-div-inv sub-div
8×distribute-lft-neg-out
7×pow-sqr
5×exp-diff distribute-frac-neg cbrt-div distribute-neg-in
4×unpow3 cube-mult
3×sqrt-unprod associate-+r- pow2 expm1-log1p pow-plus expm1-udef
2×exp-neg rem-square-sqrt cos-sum tan-sum rem-cbrt-cube distribute-rgt-neg-out exp-to-pow rem-log-exp log-rec
1×cube-div rem-cube-cbrt log1p-udef log1p-expm1 pow-sub unsub-neg mul-1-neg

simplify8.6s (4.0%)

Algorithm
166×egg-herbie

bsearch2.6s (1.2%)

localize2.3s (1.1%)

end0.0ms (0.0%)