Details

sample5.5m (32.0%)

Algorithm
538×intervals
Results
2.8m2654277×body80valid
32.4s506417×body80nan
22.4s47075×body1280valid
13.3s43078×body640valid
5.2s24362×body320valid
4.9s5564×body2560valid
2.0s13836×body160valid
180.0ms686×body640nan
158.0ms491×body1280nan
134.0ms44×body5120valid
110.0ms1589×body80overflowed
77.0ms406×body320nan
29.0ms216×body160nan

prune4.6m (26.9%)

series4.1m (23.8%)

Calls

2349 calls:

3.5s
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
2.8s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* 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))))
1.2s
(fma 2.0 (fma x y (* z t)) (* (sqrt 2.0) (* (sqrt 2.0) (* (- (fma c b a)) (* c i)))))
831.0ms
(pow (fma (- t x) (- y z) x) 3)

simplify1.3m (7.6%)

Algorithm
1403×egg-herbie

regimes45.0s (4.4%)

Accuracy

Total 161.9b remaining (33.9%)

Threshold costs 26.9b (5.6%)

13.2b40.2%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.7b60.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.5b-12.4%Linear.Matrix:det44 from linear-1.19.1.3
8.3b16%Linear.Matrix:det33 from linear-1.19.1.3
6.5b17.9%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3

rewrite37.5s (3.7%)

Algorithm
866×rewrite-expression-head
Calls

2349 calls:

655.0ms
(+ (- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (* (- a 0.5) (log t)))
627.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
524.0ms
(- (- 1.0 (/ (/ (/ 1.0 x) (* (cbrt 9.0) (cbrt 9.0))) (cbrt 9.0))) (/ (/ y 3.0) (sqrt x)))
472.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
462.0ms
(* (sqrt (- (+ (/ y t) (/ x t)) (/ z t))) (sqrt (- (+ (/ y t) (/ x t)) (/ z t))))
Rules
70086×times-frac
61768×*-un-lft-identity
56970×add-sqr-sqrt
41706×add-cube-cbrt
18145×prod-diff
9329×add-exp-log
8900×sqrt-prod
7717×add-cbrt-cube
7546×cbrt-prod
6820×cbrt-div
5987×pow1
5890×associate-*r*
5593×difference-of-squares
5458×distribute-lft-out--
5043×distribute-lft-out
4005×flip3-- flip--
3704×frac-times
3690×div-inv
3356×associate-*l*
3195×associate-/r/
3163×distribute-rgt-in distribute-lft-in
3093×add-log-exp
2869×associate-/r*
2711×associate-/l*
2649×associate-*r/
2599×unpow-prod-down
2507×prod-exp
2350×log1p-expm1-u expm1-log1p-u
2284×associate-*l/
2090×div-exp
2083×cbrt-unprod
1880×sqrt-div
1538×cbrt-undiv
1457×pow-prod-down
1402×log-prod
1300×flip-+ flip3-+
1239×associate-+r+
1195×unswap-sqr
1062×swap-sqr
827×pow1/3
795×associate--l+
792×log-pow
769×fma-neg
686×frac-sub
621×*-commutative
602×sqrt-pow1
589×cube-prod
555×associate-/l/
508×fma-udef
497×clear-num frac-2neg
458×sub-neg
455×exp-prod
454×fma-def
420×sqr-pow
414×exp-sum
403×associate-+l+
374×pow1/2
353×pow-prod-up
249×1-exp
240×pow-sqr
232×rec-exp
220×sum-log
200×diff-log
168×unpow2
153×distribute-rgt-neg-in distribute-lft-neg-in
127×+-commutative
125×div-sub
118×associate--r+
111×pow-plus
106×frac-add
105×pow-exp
104×rem-sqrt-square
101×pow2
98×pow-unpow
83×pow-flip
78×log-div
77×pow-to-exp
72×un-div-inv
67×cosh-def
58×inv-pow
57×distribute-rgt-out-- pow-pow
54×distribute-rgt-out rem-log-exp
46×tanh-def
44×distribute-rgt-neg-out
42×unpow3 cube-mult
34×sqrt-unprod
32×sinh-def
29×neg-mul-1
26×hypot-udef
25×associate-+l- distribute-neg-frac
24×rem-square-sqrt
23×cos-sum
22×sub-div
21×hypot-def
15×distribute-lft-neg-out
14×rem-cube-cbrt
11×cube-div unsub-neg sin-mult
10×rem-exp-log exp-diff associate--l- rem-cbrt-cube
9×sum-cubes associate-+r-
8×associate--r-
6×distribute-lft1-in expm1-udef
5×e-exp-1 unpow1/3 distribute-rgt1-in count-2 expm1-log1p neg-sub0
4×tan-quot
3×log1p-udef cos-diff log1p-expm1 distribute-frac-neg exp-to-pow
2×sqrt-pow2 pow3 distribute-neg-in diff-cos
1×remove-double-div neg-log cos-mult

localize9.4s (0.9%)

bsearch7.8s (0.8%)

end5.0ms (0.0%)