Details

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0%	100%	0%	0%	0%	0
100%	0%	0%	100%	0%	0%	0%	1

Compiler

Compiled 10 to 8 computations (20% saved)

sample536.0ms (70.8%)

Results

526.0ms

8256×

body

256

valid

Bogosity

preprocess15.0ms (2%)

Algorithm

2×	egg-herbie

Rules

2×	`swap-x-y`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	2
0	2	2
1	2	2

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

Inputs
-54767/66192
-54767/66192

Outputs
-54767/66192
-54767/66192

Symmetry

(sort x y)

Compiler

Compiled 47 to 35 computations (25.5% saved)

simplify73.0ms (9.7%)

Algorithm

1×	egg-herbie

Rules

1060×	`associate-+l-`
1060×	`+-commutative`
1050×	`fma-neg`
970×	`*-commutative`
952×	`fma-def`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	32	123
1	85	115
2	258	109
3	848	107
4	2845	107
5	6058	107

Stop Event

1×	node limit

Counts

1 → 6

Calls

Call 1

Inputs

(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))

Outputs
(+.f64 (+.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 11 x) x) y) y) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (.f64 11/2 (pow.f64 y 8))) (/.f64 x (.f64 2 y)))
(+.f64 (fma.f64 1335/4 (pow.f64 y 6) (.f64 (.f64 x x) (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (pow.f64 y 6)) (+.f64 (.f64 121 (pow.f64 y 4)) 2)))) (+.f64 (.f64 11/2 (pow.f64 y 8)) (/.f64 x (*.f64 y 2))))
(+.f64 (fma.f64 1335/4 (pow.f64 y 6) (.f64 (.f64 x x) (-.f64 (fma.f64 y (.f64 11 (.f64 (.f64 x x) y)) (neg.f64 (pow.f64 y 6))) (fma.f64 121 (pow.f64 y 4) 2)))) (fma.f64 11/2 (pow.f64 y 8) (/.f64 x (.f64 y 2))))
(fma.f64 1335/4 (pow.f64 y 6) (fma.f64 x (.f64 x (fma.f64 y (.f64 y (.f64 x (.f64 x 11))) (fma.f64 -1 (pow.f64 y 6) (fma.f64 (pow.f64 y 4) -121 -2)))) (fma.f64 11/2 (pow.f64 y 8) (/.f64 x (*.f64 y 2)))))
(fma.f64 1335/4 (pow.f64 y 6) (fma.f64 11/2 (pow.f64 y 8) (fma.f64 x (.f64 x (fma.f64 (.f64 x 11) (.f64 x (.f64 y y)) (-.f64 -2 (fma.f64 121 (pow.f64 y 4) (pow.f64 y 6))))) (/.f64 (/.f64 x 2) y))))
(fma.f64 1335/4 (pow.f64 y 6) (fma.f64 (.f64 x x) (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x 11)))) (fma.f64 (pow.f64 y 4) (fma.f64 y y 121) 2)) (fma.f64 11/2 (pow.f64 y 8) (/.f64 x (.f64 y 2)))))

eval4.0ms (0.5%)

Compiler: Compiled 242 to 165 computations (31.8% saved)

prune2.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	5	1	6
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	5	2	7

Error

1.4%

Counts

7 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	1.4%	(+.f64 (+.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 11 x) x) y) y) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (.f64 11/2 (pow.f64 y 8))) (/.f64 x (.f64 2 y)))

Status

Error

Program

▶

1.4%

(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))

Compiler

Compiled 45 to 33 computations (26.7% saved)

localize91.0ms (12%)

Compiler: Compiled 260 to 177 computations (31.9% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune2.0ms (0.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Error

1.4%

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.4%	(+.f64 (+.f64 (+.f64 (.f64 1335/4 (pow.f64 y 6)) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 11 x) x) y) y) (pow.f64 y 6)) (.f64 121 (pow.f64 y 4))) 2))) (.f64 11/2 (pow.f64 y 8))) (/.f64 x (.f64 2 y)))

Status

Error

Program

✓

1.4%

(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))

Compiler

Compiled 90 to 66 computations (26.7% saved)

simplify6.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

26×	`*-commutative`
20×	`+-commutative`
10×	`sub-neg`
6×	`neg-mul-1`
6×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	127
1	56	127
2	70	127
3	76	127
4	80	127
5	81	127

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))

Outputs

(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))

(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (+.f64 (+.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 -121 (pow.f64 y 4))) -2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 y 2)))

(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (+.f64 (+.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 (pow.f64 y 4) -121)) -2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 y 2)))

Compiler

Compiled 45 to 33 computations (26.7% saved)

soundness0.0ms (0%)

end28.0ms (3.7%)

Remove: (sort x y)
Compiler: Compiled 135 to 99 computations (26.7% saved)

Details

analyze0.0ms (0%)

sample536.0ms (70.8%)

preprocess15.0ms (2%)

simplify73.0ms (9.7%)

eval4.0ms (0.5%)

prune2.0ms (0.2%)

localize91.0ms (12%)

eval0.0ms (0%)

prune2.0ms (0.2%)

simplify6.0ms (0.8%)

soundness0.0ms (0%)

end28.0ms (3.7%)

Profiling