Details

analyze57.0ms (2.3%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
50.8%	50%	48.4%	0.1%	1.6%	0%	0%	7
60.8%	59.3%	38.2%	0.1%	2.3%	0%	0%	8
70.8%	67.1%	27.7%	0.1%	5.1%	0%	0%	9
77.3%	72.6%	21.3%	0.1%	6%	0%	0%	10
83.9%	76.9%	14.7%	0.1%	8.3%	0%	0%	11
87.7%	79.8%	11.2%	0.1%	8.9%	0%	0%	12

Compiler

Compiled 10 to 6 computations (40% saved)

sample705.0ms (28%)

Results

664.0ms	8254×	body	256	valid
28.0ms	344×	body	256	infinite
0.0ms	2×	body	512	valid

Bogosity

preprocess4.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

12×	`rational.json-simplify-1`
6×	`rational.json-simplify-41`
2×	`swap-x-y`
2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	16	38
2	20	38
3	21	38
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
(+.f64 (+.f64 (*.f64 x y) x) y)
(+.f64 (+.f64 (*.f64 y x) y) x)

Outputs
(+.f64 (+.f64 (*.f64 x y) x) y)
(+.f64 y (+.f64 x (*.f64 x y)))
(+.f64 x (+.f64 y (*.f64 x y)))
(+.f64 (+.f64 (*.f64 y x) y) x)
(+.f64 y (+.f64 x (*.f64 x y)))
(+.f64 x (+.f64 y (*.f64 x y)))

Symmetry

(sort x y)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify10.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

12×	`rational.json-simplify-1`
4×	`rational.json-simplify-41`
2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	10	19
2	14	19
3	18	19

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

Inputs
(+.f64 (+.f64 (*.f64 x y) x) y)

Outputs
(+.f64 (+.f64 (*.f64 x y) x) y)
(+.f64 y (+.f64 x (*.f64 x y)))
(+.f64 x (+.f64 (*.f64 x y) y))
(+.f64 x (+.f64 y (*.f64 x y)))

eval1.0ms (0%)

Compiler: Compiled 30 to 11 computations (63.3% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	3	1	4
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	4	1	5

Error

0.0b

Counts

5 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 x (+.f64 (*.f64 x y) y))

Compiler

Compiled 9 to 5 computations (44.4% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (+.f64 (*.f64 x y) y))
✓	0.0b	(+.f64 (*.f64 x y) y)

Compiler

Compiled 19 to 5 computations (73.7% saved)

series3.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	y	@	inf	(+.f64 (*.f64 x y) y)
0.0ms	y	@	-inf	(+.f64 (*.f64 x y) y)
0.0ms	y	@	0	(+.f64 (*.f64 x y) y)
0.0ms	x	@	inf	(+.f64 (*.f64 x y) y)
0.0ms	x	@	0	(+.f64 (*.f64 x y) y)

rewrite115.0ms (4.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1830×	`rational.json-1`
1830×	`rational.json-2`
1708×	`rational.json-simplify-35`
1406×	`rational.json-3`
1400×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	32
1	49	32
2	118	32
3	273	32
4	599	32
5	1555	32
6	3685	32
7	5859	32
8	7632	32

Stop Event

1×	node limit

Counts

2 → 68

Calls

Call 1

Inputs
(+.f64 (*.f64 x y) y)
(+.f64 x (+.f64 (*.f64 x y) y))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 y (.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 y (+.f64 x 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 y (.f64 1/2 (.f64 2 (+.f64 x 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 y (.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 y (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 y (.f64 (+.f64 x 1) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (.f64 y 1/4) (.f64 2 (+.f64 x 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y (.f64 2 (+.f64 x 1))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 y y) (.f64 (+.f64 x 1) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 y y) (+.f64 (.f64 x 1/2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 y y) (+.f64 1/2 (.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 y y) (.f64 1/4 (.f64 2 (+.f64 x 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x 1) y)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 y (/.f64 (+.f64 x 1) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 (/.f64 y 8) (.f64 2 (+.f64 x 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y (.f64 (+.f64 x 1) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y 4) (/.f64 (+.f64 x 1) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y 4) (.f64 1/4 (+.f64 x 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y 4) (.f64 1/8 (.f64 2 (+.f64 x 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 8 (.f64 (/.f64 y 8) (+.f64 x 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y 8) (.f64 1/8 (+.f64 x 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 y (.f64 x y)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (+.f64 x 1)) (.f64 y 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 y (.f64 2 (+.f64 x 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (.f64 x (+.f64 y y)) (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (+.f64 y y) (.f64 x (+.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y 1/2) (.f64 2 (+.f64 x 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y 1/2) (+.f64 (+.f64 x x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y 1/2) (+.f64 2 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y (.f64 (+.f64 x 1) 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (.f64 y 8)) (.f64 1/16 (+.f64 x 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x 1) 4) (.f64 y 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 y (.f64 (+.f64 x 1) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x 1) 1/2) (+.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y (/.f64 (+.f64 x 1) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 y (.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y (.f64 2 (+.f64 x 1))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y (.f64 (+.f64 x 1) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 y (.f64 x y)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 y (.f64 x y)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (+.f64 y (.f64 x y)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 y (.f64 x y)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 y (.f64 x y)) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 y (.f64 x y)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 y (.f64 x y)) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (+.f64 y (.f64 x y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x (+.f64 y (.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 x (+.f64 y (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (.f64 y (.f64 2 (+.f64 x 1))) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (.f64 (+.f64 x y) 2) (.f64 x (+.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (+.f64 x x) (.f64 y (.f64 2 (+.f64 x 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (+.f64 y (.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 y (*.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 y (+.f64 x 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 y (*.f64 1/2 (*.f64 2 (+.f64 x 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y (*.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 y (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 y (*.f64 (+.f64 x 1) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 y 1/4) (*.f64 2 (+.f64 x 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (*.f64 2 (+.f64 x 1))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y y) (*.f64 (+.f64 x 1) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y y) (+.f64 (*.f64 x 1/2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y y) (+.f64 1/2 (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y y) (*.f64 1/4 (*.f64 2 (+.f64 x 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x 1) y)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 y (/.f64 (+.f64 x 1) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (/.f64 y 8) (*.f64 2 (+.f64 x 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (*.f64 (+.f64 x 1) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y 4) (/.f64 (+.f64 x 1) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y 4) (*.f64 1/4 (+.f64 x 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y 4) (*.f64 1/8 (*.f64 2 (+.f64 x 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 8 (*.f64 (/.f64 y 8) (+.f64 x 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y 8) (*.f64 1/8 (+.f64 x 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 y (*.f64 x y)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (+.f64 x 1)) (*.f64 y 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 y (*.f64 2 (+.f64 x 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 x (+.f64 y y)) (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (+.f64 y y) (*.f64 x (+.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y 1/2) (*.f64 2 (+.f64 x 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y 1/2) (+.f64 (+.f64 x x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y 1/2) (+.f64 2 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (*.f64 (+.f64 x 1) 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 y 8)) (*.f64 1/16 (+.f64 x 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x 1) 4) (*.f64 y 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 y (*.f64 (+.f64 x 1) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x 1) 1/2) (+.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (/.f64 (+.f64 x 1) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 y (*.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 2 (+.f64 x 1))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 (+.f64 x 1) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 y (*.f64 x y)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 y (*.f64 x y)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 y (*.f64 x y)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 y (*.f64 x y)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 y (*.f64 x y)) 8)))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 y (*.f64 x y)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 y (*.f64 x y)) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (+.f64 y (*.f64 x y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 x (+.f64 y (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (+.f64 y (*.f64 x y))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (+.f64 y (*.f64 x y))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (+.f64 y (*.f64 x y))) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 x (+.f64 y (*.f64 x y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 y (*.f64 2 (+.f64 x 1))) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 (+.f64 x y) 2) (*.f64 x (+.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (+.f64 x x) (*.f64 y (*.f64 2 (+.f64 x 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 x (+.f64 y (*.f64 x y))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (+.f64 y (*.f64 x y))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (+.f64 y (*.f64 x y))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (+.f64 y (*.f64 x y))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 x (+.f64 y (*.f64 x y))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (+.f64 y (*.f64 x y))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (+.f64 y (*.f64 x y))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (+.f64 y (*.f64 x y))) 8)))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (+.f64 y (*.f64 x y))) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1)))))

simplify272.0ms (10.8%)

Algorithm

1×	egg-herbie

Rules

2624×	`rational.json-simplify-2`
2010×	`rational.json-simplify-35`
1216×	`rational.json-simplify-1`
1166×	`rational.json-simplify-53`
1010×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	161	1790
1	354	1790
2	815	1790
3	1943	1790
4	3814	1790
5	4605	1790
6	5172	1790
7	5685	1790
8	6091	1790
9	6640	1790
10	7664	1790
11	7873	1790
12	7946	1790

Stop Event

1×	node limit

Counts

116 → 94

Calls

Call 1

Inputs
y
(+.f64 (*.f64 y x) y)
(+.f64 (*.f64 y x) y)
(+.f64 (*.f64 y x) y)
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
y
(+.f64 y (*.f64 (+.f64 1 y) x))
(+.f64 y (*.f64 (+.f64 1 y) x))
(+.f64 y (*.f64 (+.f64 1 y) x))
(*.f64 (+.f64 1 y) x)
(+.f64 y (*.f64 (+.f64 1 y) x))
(+.f64 y (*.f64 (+.f64 1 y) x))
(+.f64 y (*.f64 (+.f64 1 y) x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
(+.f64 y (.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x)))
(+.f64 y (.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x)))
(+.f64 y (.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x)))
x
(+.f64 (*.f64 (+.f64 1 x) y) x)
(+.f64 (*.f64 (+.f64 1 x) y) x)
(+.f64 (*.f64 (+.f64 1 x) y) x)
(*.f64 (+.f64 1 x) y)
(+.f64 (*.f64 (+.f64 1 x) y) x)
(+.f64 (*.f64 (+.f64 1 x) y) x)
(+.f64 (*.f64 (+.f64 1 x) y) x)
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
(+.f64 x (.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y)))
(+.f64 x (.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y)))
(+.f64 x (.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y)))
(-.f64 (+.f64 y (*.f64 x y)) 0)
(*.f64 y (+.f64 x 1))
(.f64 y (.f64 1/2 (*.f64 2 (+.f64 x 1))))
(.f64 (+.f64 y (.f64 x y)) 1)
(.f64 1 (+.f64 y (.f64 x y)))
(.f64 2 (.f64 y (*.f64 (+.f64 x 1) 1/2)))
(.f64 2 (.f64 (.f64 y 1/4) (.f64 2 (+.f64 x 1))))
(.f64 (.f64 y (*.f64 2 (+.f64 x 1))) 1/2)
(.f64 (+.f64 y y) (.f64 (+.f64 x 1) 1/2))
(.f64 (+.f64 y y) (+.f64 (.f64 x 1/2) 1/2))
(.f64 (+.f64 y y) (+.f64 1/2 (.f64 x 1/2)))
(.f64 (+.f64 y y) (.f64 1/4 (*.f64 2 (+.f64 x 1))))
(*.f64 (+.f64 x 1) y)
(.f64 4 (.f64 y (/.f64 (+.f64 x 1) 4)))
(.f64 4 (.f64 (/.f64 y 8) (*.f64 2 (+.f64 x 1))))
(.f64 (.f64 y (*.f64 (+.f64 x 1) 4)) 1/4)
(.f64 (.f64 y 4) (/.f64 (+.f64 x 1) 4))
(.f64 (.f64 y 4) (*.f64 1/4 (+.f64 x 1)))
(.f64 (.f64 y 4) (.f64 1/8 (.f64 2 (+.f64 x 1))))
(.f64 8 (.f64 (/.f64 y 8) (+.f64 x 1)))
(.f64 (.f64 y 8) (*.f64 1/8 (+.f64 x 1)))
(.f64 (.f64 (+.f64 y (*.f64 x y)) 8) 1/8)
(.f64 (.f64 2 (+.f64 x 1)) (*.f64 y 1/2))
(.f64 1/2 (.f64 y (*.f64 2 (+.f64 x 1))))
(.f64 1/2 (+.f64 (.f64 x (+.f64 y y)) (+.f64 y y)))
(.f64 1/2 (+.f64 (+.f64 y y) (.f64 x (+.f64 y y))))
(.f64 (.f64 y 1/2) (*.f64 2 (+.f64 x 1)))
(.f64 (.f64 y 1/2) (+.f64 (+.f64 x x) 2))
(.f64 (.f64 y 1/2) (+.f64 2 (+.f64 x x)))
(.f64 (.f64 y (*.f64 (+.f64 x 1) 1/2)) 2)
(.f64 (.f64 2 (.f64 y 8)) (.f64 1/16 (+.f64 x 1)))
(.f64 (.f64 (+.f64 x 1) 4) (*.f64 y 1/4))
(.f64 1/4 (.f64 y (*.f64 (+.f64 x 1) 4)))
(.f64 (.f64 (+.f64 x 1) 1/2) (+.f64 y y))
(.f64 (.f64 y (/.f64 (+.f64 x 1) 4)) 4)
(/.f64 (+.f64 y (*.f64 x y)) 1)
(/.f64 (.f64 y (.f64 2 (+.f64 x 1))) 2)
(/.f64 (.f64 y (.f64 (+.f64 x 1) 4)) 4)
(/.f64 (.f64 (+.f64 y (.f64 x y)) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 y (*.f64 x y)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 y (.f64 x y)) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 y (*.f64 x y)) 8)))) 64)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 y (.f64 x y)) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 y (.f64 x y)) 8))))) 128)
(pow.f64 (+.f64 y (*.f64 x y)) 1)
(-.f64 (+.f64 x (+.f64 y (*.f64 x y))) 0)
(.f64 (+.f64 x (+.f64 y (.f64 x y))) 1)
(.f64 1 (+.f64 x (+.f64 y (.f64 x y))))
(.f64 2 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1/2))
(.f64 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 2) 1/2)
(.f64 4 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1/4))
(.f64 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 4) 1/4)
(.f64 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 8) 1/8)
(.f64 1/2 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 2))
(.f64 1/2 (+.f64 (.f64 y (*.f64 2 (+.f64 x 1))) (+.f64 x x)))
(.f64 1/2 (+.f64 (.f64 (+.f64 x y) 2) (*.f64 x (+.f64 y y))))
(.f64 1/2 (+.f64 (+.f64 x x) (.f64 y (*.f64 2 (+.f64 x 1)))))
(.f64 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 4))
(.f64 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1/4) 4)
(/.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1)
(/.f64 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 2) 2)
(/.f64 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 4) 4)
(/.f64 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 8)))) 64)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 8))))) 128)
(pow.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1)

Outputs
y
(+.f64 (*.f64 y x) y)
(+.f64 y (*.f64 y x))
(+.f64 (*.f64 y x) y)
(+.f64 y (*.f64 y x))
(+.f64 (*.f64 y x) y)
(+.f64 y (*.f64 y x))
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 y (+.f64 x 1))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 y (+.f64 x 1))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 y (+.f64 x 1))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 y (+.f64 x 1))
y
(+.f64 y (*.f64 (+.f64 1 y) x))
(+.f64 y (*.f64 x (+.f64 y 1)))
(+.f64 y (*.f64 (+.f64 1 y) x))
(+.f64 y (*.f64 x (+.f64 y 1)))
(+.f64 y (*.f64 (+.f64 1 y) x))
(+.f64 y (*.f64 x (+.f64 y 1)))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 y 1))
(+.f64 y (*.f64 (+.f64 1 y) x))
(+.f64 y (*.f64 x (+.f64 y 1)))
(+.f64 y (*.f64 (+.f64 1 y) x))
(+.f64 y (*.f64 x (+.f64 y 1)))
(+.f64 y (*.f64 (+.f64 1 y) x))
(+.f64 y (*.f64 x (+.f64 y 1)))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
(*.f64 x (+.f64 y 1))
(+.f64 y (.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x)))
(+.f64 y (*.f64 x (+.f64 y 1)))
(+.f64 y (.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x)))
(+.f64 y (*.f64 x (+.f64 y 1)))
(+.f64 y (.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x)))
(+.f64 y (*.f64 x (+.f64 y 1)))
x
(+.f64 (*.f64 (+.f64 1 x) y) x)
(+.f64 x (*.f64 y (+.f64 x 1)))
(+.f64 (*.f64 (+.f64 1 x) y) x)
(+.f64 x (*.f64 y (+.f64 x 1)))
(+.f64 (*.f64 (+.f64 1 x) y) x)
(+.f64 x (*.f64 y (+.f64 x 1)))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(+.f64 (*.f64 (+.f64 1 x) y) x)
(+.f64 x (*.f64 y (+.f64 x 1)))
(+.f64 (*.f64 (+.f64 1 x) y) x)
(+.f64 x (*.f64 y (+.f64 x 1)))
(+.f64 (*.f64 (+.f64 1 x) y) x)
(+.f64 x (*.f64 y (+.f64 x 1)))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 y (+.f64 x 1))
(+.f64 x (.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y)))
(+.f64 x (*.f64 y (+.f64 x 1)))
(+.f64 x (.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y)))
(+.f64 x (*.f64 y (+.f64 x 1)))
(+.f64 x (.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y)))
(+.f64 x (*.f64 y (+.f64 x 1)))
(-.f64 (+.f64 y (*.f64 x y)) 0)
(+.f64 y (*.f64 y x))
(*.f64 y (+.f64 x 1))
(.f64 y (.f64 1/2 (*.f64 2 (+.f64 x 1))))
(*.f64 y (+.f64 x 1))
(.f64 (+.f64 y (.f64 x y)) 1)
(+.f64 y (*.f64 y x))
(.f64 1 (+.f64 y (.f64 x y)))
(+.f64 y (*.f64 y x))
(.f64 2 (.f64 y (*.f64 (+.f64 x 1) 1/2)))
(*.f64 y (+.f64 x 1))
(.f64 2 (.f64 (.f64 y 1/4) (.f64 2 (+.f64 x 1))))
(*.f64 y (+.f64 x 1))
(.f64 (.f64 y (*.f64 2 (+.f64 x 1))) 1/2)
(*.f64 y (+.f64 x 1))
(.f64 (+.f64 y y) (.f64 (+.f64 x 1) 1/2))
(*.f64 y (+.f64 x 1))
(.f64 (+.f64 y y) (+.f64 (.f64 x 1/2) 1/2))
(.f64 (+.f64 y y) (+.f64 1/2 (.f64 x 1/2)))
(.f64 (+.f64 y y) (+.f64 1/2 (.f64 x 1/2)))
(.f64 (+.f64 y y) (.f64 1/4 (*.f64 2 (+.f64 x 1))))
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 x 1) y)
(*.f64 y (+.f64 x 1))
(.f64 4 (.f64 y (/.f64 (+.f64 x 1) 4)))
(*.f64 y (+.f64 x 1))
(.f64 4 (.f64 (/.f64 y 8) (*.f64 2 (+.f64 x 1))))
(*.f64 y (+.f64 x 1))
(.f64 (.f64 y (*.f64 (+.f64 x 1) 4)) 1/4)
(*.f64 y (+.f64 x 1))
(.f64 (.f64 y 4) (/.f64 (+.f64 x 1) 4))
(*.f64 y (+.f64 x 1))
(.f64 (.f64 y 4) (*.f64 1/4 (+.f64 x 1)))
(*.f64 y (+.f64 x 1))
(.f64 (.f64 y 4) (.f64 1/8 (.f64 2 (+.f64 x 1))))
(*.f64 y (+.f64 x 1))
(.f64 8 (.f64 (/.f64 y 8) (+.f64 x 1)))
(*.f64 y (+.f64 x 1))
(.f64 (.f64 y 8) (*.f64 1/8 (+.f64 x 1)))
(*.f64 y (+.f64 x 1))
(.f64 (.f64 (+.f64 y (*.f64 x y)) 8) 1/8)
(+.f64 y (*.f64 y x))
(.f64 (.f64 2 (+.f64 x 1)) (*.f64 y 1/2))
(*.f64 y (+.f64 x 1))
(.f64 1/2 (.f64 y (*.f64 2 (+.f64 x 1))))
(*.f64 y (+.f64 x 1))
(.f64 1/2 (+.f64 (.f64 x (+.f64 y y)) (+.f64 y y)))
(+.f64 y (*.f64 y x))
(.f64 1/2 (+.f64 (+.f64 y y) (.f64 x (+.f64 y y))))
(+.f64 y (*.f64 y x))
(.f64 (.f64 y 1/2) (*.f64 2 (+.f64 x 1)))
(*.f64 y (+.f64 x 1))
(.f64 (.f64 y 1/2) (+.f64 (+.f64 x x) 2))
(*.f64 y (+.f64 x 1))
(.f64 (.f64 y 1/2) (+.f64 2 (+.f64 x x)))
(*.f64 y (+.f64 x 1))
(.f64 (.f64 y (*.f64 (+.f64 x 1) 1/2)) 2)
(*.f64 y (+.f64 x 1))
(.f64 (.f64 2 (.f64 y 8)) (.f64 1/16 (+.f64 x 1)))
(*.f64 y (+.f64 x 1))
(.f64 (.f64 (+.f64 x 1) 4) (*.f64 y 1/4))
(*.f64 y (+.f64 x 1))
(.f64 1/4 (.f64 y (*.f64 (+.f64 x 1) 4)))
(*.f64 y (+.f64 x 1))
(.f64 (.f64 (+.f64 x 1) 1/2) (+.f64 y y))
(*.f64 y (+.f64 x 1))
(.f64 (.f64 y (/.f64 (+.f64 x 1) 4)) 4)
(*.f64 y (+.f64 x 1))
(/.f64 (+.f64 y (*.f64 x y)) 1)
(+.f64 y (*.f64 y x))
(/.f64 (.f64 y (.f64 2 (+.f64 x 1))) 2)
(*.f64 y (+.f64 x 1))
(/.f64 (.f64 y (.f64 (+.f64 x 1) 4)) 4)
(*.f64 y (+.f64 x 1))
(/.f64 (.f64 (+.f64 y (.f64 x y)) 8) 8)
(+.f64 y (*.f64 y x))
(/.f64 (.f64 2 (.f64 (+.f64 y (*.f64 x y)) 8)) 16)
(+.f64 y (*.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 y (.f64 x y)) 8))) 32)
(+.f64 y (*.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 y (*.f64 x y)) 8)))) 64)
(+.f64 y (*.f64 y x))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 y (.f64 x y)) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 y (.f64 x y)) 8))))) 128)
(+.f64 y (*.f64 y x))
(pow.f64 (+.f64 y (*.f64 x y)) 1)
(+.f64 y (*.f64 y x))
(-.f64 (+.f64 x (+.f64 y (*.f64 x y))) 0)
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(.f64 (+.f64 x (+.f64 y (.f64 x y))) 1)
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(.f64 1 (+.f64 x (+.f64 y (.f64 x y))))
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(.f64 2 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1/2))
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(.f64 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 2) 1/2)
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(.f64 4 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1/4))
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(.f64 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 4) 1/4)
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(.f64 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 8) 1/8)
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(.f64 1/2 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 2))
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(.f64 1/2 (+.f64 (.f64 y (*.f64 2 (+.f64 x 1))) (+.f64 x x)))
(.f64 1/2 (+.f64 (.f64 y (*.f64 (+.f64 x 1) 2)) (+.f64 x x)))
(.f64 1/2 (+.f64 x (+.f64 x (.f64 y (*.f64 (+.f64 x 1) 2)))))
(.f64 1/2 (+.f64 (.f64 y (+.f64 x (+.f64 x 2))) (+.f64 x x)))
(.f64 1/2 (+.f64 (.f64 (*.f64 y (+.f64 x 1)) 2) (+.f64 x x)))
(.f64 1/2 (+.f64 (.f64 (+.f64 x 1) (+.f64 y y)) (+.f64 x x)))
(.f64 1/2 (+.f64 (.f64 (+.f64 x y) 2) (*.f64 x (+.f64 y y))))
(.f64 1/2 (+.f64 (.f64 x (+.f64 y y)) (*.f64 2 (+.f64 y x))))
(.f64 1/2 (+.f64 (.f64 y (+.f64 x x)) (*.f64 2 (+.f64 y x))))
(.f64 1/2 (+.f64 (+.f64 x x) (.f64 y (*.f64 2 (+.f64 x 1)))))
(.f64 1/2 (+.f64 (.f64 y (*.f64 (+.f64 x 1) 2)) (+.f64 x x)))
(.f64 1/2 (+.f64 x (+.f64 x (.f64 y (*.f64 (+.f64 x 1) 2)))))
(.f64 1/2 (+.f64 (.f64 y (+.f64 x (+.f64 x 2))) (+.f64 x x)))
(.f64 1/2 (+.f64 (.f64 (*.f64 y (+.f64 x 1)) 2) (+.f64 x x)))
(.f64 1/2 (+.f64 (.f64 (+.f64 x 1) (+.f64 y y)) (+.f64 x x)))
(.f64 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1/2) 2)
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(.f64 1/4 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 4))
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(.f64 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1/4) 4)
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(/.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1)
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(/.f64 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 2) 2)
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(/.f64 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 4) 4)
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(/.f64 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 8) 8)
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(/.f64 (.f64 2 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 8)) 16)
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 8))) 32)
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 y (*.f64 x y))) 8)))) 64)
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (+.f64 y (.f64 x y))) 8))))) 128)
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))
(pow.f64 (+.f64 x (+.f64 y (*.f64 x y))) 1)
(+.f64 y (+.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (+.f64 y x))
(+.f64 y (+.f64 x (*.f64 y x)))

eval18.0ms (0.7%)

Compiler: Compiled 1030 to 564 computations (45.2% saved)

prune14.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	90	4	94
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	90	5	95

Error

Counts

95 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 x (+.f64 (*.f64 x y) y))
▶	28.8b	(+.f64 x (*.f64 y x))
▶	7.8b	(+.f64 x y)
▶	28.8b	(*.f64 (+.f64 1 y) x)
	36.5b	x

Compiler

Compiled 31 to 19 computations (38.7% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (+.f64 1 y) x)

Compiler

Compiled 13 to 8 computations (38.5% saved)

series1.0ms (0.1%)

Counts

1 → 12

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(*.f64 (+.f64 1 y) x)
0.0ms	x	@	-inf	(*.f64 (+.f64 1 y) x)
0.0ms	x	@	0	(*.f64 (+.f64 1 y) x)
0.0ms	y	@	0	(*.f64 (+.f64 1 y) x)
0.0ms	y	@	-inf	(*.f64 (+.f64 1 y) x)

rewrite183.0ms (7.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1672×	`rational.json-simplify-1`
1502×	`rational.json-simplify-35`
1372×	`exponential.json-3`
1372×	`rational.json-1`
1372×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	58	13
2	136	13
3	241	13
4	441	13
5	938	13
6	2379	13
7	4160	13
8	5233	13
9	6760	13
10	7595	13
11	7595	13

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

Inputs
(*.f64 (+.f64 1 y) x)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 1 y) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (+.f64 1 y) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 1 y) (.f64 x 1/2)) (.f64 (+.f64 1 y) (.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (+.f64 1 y) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 1 y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 1 y) (+.f64 x x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 1 y) (.f64 x 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 1 y) (.f64 x 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 1 y) (.f64 x 8))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (+.f64 1 y) (.f64 x 8)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 1 y) (.f64 x 8))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 1 y) (.f64 x 8)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 1 y) (.f64 x 8))))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 1 y) x) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 1 y) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (+.f64 1 y) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 1 y) (*.f64 x 1/2)) (*.f64 (+.f64 1 y) (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 1 y) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 1 y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 1 y) (+.f64 x x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 1 y) (*.f64 x 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 1 y) (*.f64 x 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 1 y) (*.f64 x 8))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 1 y) (*.f64 x 8)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 1 y) (*.f64 x 8))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 1 y) (*.f64 x 8)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 1 y) (*.f64 x 8))))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 1 y) x) 1)))))

simplify564.0ms (22.4%)

Algorithm

1×	egg-herbie

Rules

2778×	`rational.json-simplify-2`
2570×	`rational.json-simplify-35`
1512×	`rational.json-simplify-53`
1212×	`rational.json-simplify-1`
1048×	`exponential.json-simplify-26`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	314
1	126	314
2	236	314
3	529	314
4	1881	314
5	3654	314
6	4197	314
7	4382	314
8	4566	314
9	4756	314
10	4928	314
11	5927	314
12	6533	314
13	6808	314
14	6808	314
15	6862	314
16	6887	314
17	6970	314
18	7015	314
19	7191	314
20	7335	314
21	7467	314

Stop Event

1×	node limit

Counts

26 → 20

Calls

Call 1

Inputs
x
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(*.f64 y x)
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(*.f64 y x)
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 (+.f64 1 y) x) 0)
(+.f64 0 (*.f64 (+.f64 1 y) x))
(+.f64 (.f64 (+.f64 1 y) (.f64 x 1/2)) (.f64 (+.f64 1 y) (.f64 x 1/2)))
(-.f64 (*.f64 (+.f64 1 y) x) 0)
(/.f64 (*.f64 (+.f64 1 y) x) 1)
(/.f64 (*.f64 (+.f64 1 y) (+.f64 x x)) 2)
(/.f64 (.f64 (+.f64 1 y) (.f64 x 4)) 4)
(/.f64 (.f64 (+.f64 1 y) (.f64 x 8)) 8)
(/.f64 (.f64 2 (.f64 (+.f64 1 y) (*.f64 x 8))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 1 y) (.f64 x 8)))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 1 y) (*.f64 x 8))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 1 y) (.f64 x 8)))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 1 y) (*.f64 x 8))))))) 256)
(pow.f64 (*.f64 (+.f64 1 y) x) 1)

Outputs
x
(+.f64 (*.f64 y x) x)
(+.f64 x (*.f64 x y))
(+.f64 (*.f64 y x) x)
(+.f64 x (*.f64 x y))
(+.f64 (*.f64 y x) x)
(+.f64 x (*.f64 x y))
(*.f64 y x)
(*.f64 x y)
(+.f64 (*.f64 y x) x)
(+.f64 x (*.f64 x y))
(+.f64 (*.f64 y x) x)
(+.f64 x (*.f64 x y))
(+.f64 (*.f64 y x) x)
(+.f64 x (*.f64 x y))
(*.f64 y x)
(*.f64 x y)
(+.f64 (*.f64 y x) x)
(+.f64 x (*.f64 x y))
(+.f64 (*.f64 y x) x)
(+.f64 x (*.f64 x y))
(+.f64 (*.f64 y x) x)
(+.f64 x (*.f64 x y))
(+.f64 (*.f64 (+.f64 1 y) x) 0)
(*.f64 x (+.f64 y 1))
(+.f64 0 (*.f64 (+.f64 1 y) x))
(*.f64 x (+.f64 y 1))
(+.f64 (.f64 (+.f64 1 y) (.f64 x 1/2)) (.f64 (+.f64 1 y) (.f64 x 1/2)))
(*.f64 x (+.f64 y 1))
(-.f64 (*.f64 (+.f64 1 y) x) 0)
(*.f64 x (+.f64 y 1))
(/.f64 (*.f64 (+.f64 1 y) x) 1)
(*.f64 x (+.f64 y 1))
(/.f64 (*.f64 (+.f64 1 y) (+.f64 x x)) 2)
(*.f64 x (+.f64 y 1))
(/.f64 (.f64 (+.f64 1 y) (.f64 x 4)) 4)
(*.f64 x (+.f64 y 1))
(/.f64 (.f64 (+.f64 1 y) (.f64 x 8)) 8)
(*.f64 x (+.f64 y 1))
(/.f64 (.f64 2 (.f64 (+.f64 1 y) (*.f64 x 8))) 16)
(*.f64 x (+.f64 y 1))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 1 y) (.f64 x 8)))) 32)
(*.f64 x (+.f64 y 1))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 1 y) (*.f64 x 8))))) 64)
(*.f64 x (+.f64 y 1))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 1 y) (.f64 x 8)))))) 128)
(*.f64 x (+.f64 y 1))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 1 y) (*.f64 x 8))))))) 256)
(*.f64 x (+.f64 y 1))
(pow.f64 (*.f64 (+.f64 1 y) x) 1)
(*.f64 x (+.f64 y 1))

localize3.0ms (0.1%)

Compiler: Compiled 7 to 3 computations (57.1% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (*.f64 y x))

Compiler

Compiled 12 to 4 computations (66.7% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(+.f64 x (*.f64 y x))
0.0ms	x	@	-inf	(+.f64 x (*.f64 y x))
0.0ms	x	@	0	(+.f64 x (*.f64 y x))
0.0ms	y	@	inf	(+.f64 x (*.f64 y x))
0.0ms	y	@	-inf	(+.f64 x (*.f64 y x))

rewrite188.0ms (7.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1732×	`rational.json-simplify-1`
1654×	`rational.json-simplify-35`
1514×	`exponential.json-3`
1514×	`rational.json-1`
1514×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	40	13
2	94	13
3	209	13
4	397	13
5	907	13
6	2470	13
7	4679	13
8	5578	13
9	6927	13
10	7994	13
11	7994	13

Stop Event

1×	node limit

Counts

1 → 44

Calls

Call 1

Inputs
(+.f64 x (*.f64 y x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (*.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (+.f64 y 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (*.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 x (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 y 1) (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x x) (+.f64 y 1)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x x) (*.f64 (+.f64 y 1) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x x) (*.f64 (+.f64 y (+.f64 y 2)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x x) (+.f64 1/2 (*.f64 y 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y 1) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 x (/.f64 (+.f64 y 1) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (/.f64 x 8) (+.f64 y (+.f64 y 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (*.f64 (+.f64 y 1) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 4) (*.f64 (+.f64 y 1) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 4) (/.f64 (+.f64 y 1) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 4) (*.f64 1/8 (+.f64 y (+.f64 y 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 8 (*.f64 (/.f64 x 8) (+.f64 y 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 8 (*.f64 (*.f64 1/2 (*.f64 x 1/4)) (+.f64 y 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 y 1) (*.f64 x 8)) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 8) (*.f64 1/8 (+.f64 y 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y (+.f64 y 2)) (*.f64 x 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 x x) (+.f64 y 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 y 1) (*.f64 x 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 1/2) (+.f64 y (+.f64 y 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 x 8)) (*.f64 1/16 (+.f64 y 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 y 1) 4) (*.f64 x 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 x (*.f64 (+.f64 y 1) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 y 1) 1/2) (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 1/4) (*.f64 (+.f64 y 1) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (/.f64 (+.f64 y 1) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (+.f64 y 1) (*.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 y 1) 1/4) (*.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 y 1) 4) (*.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 1/2 (*.f64 y 1/2)) (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (*.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x x) (+.f64 y 1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 (+.f64 y 1) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 y 1) (*.f64 x 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 y 1) (*.f64 x 8))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 y 1) (*.f64 x 8)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 y 1) (*.f64 x 8))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 y 1) (*.f64 x 8)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 y 1) (*.f64 x 8))))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x (*.f64 x y)) 1)))))

simplify140.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

1904×	`rational.json-simplify-35`
1278×	`rational.json-simplify-51`
1092×	`rational.json-simplify-41`
1044×	`rational.json-simplify-2`
840×	`rational.json-simplify-42`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	107	884
1	249	884
2	487	884
3	883	884
4	1606	884
5	4490	884
6	5758	884
7	6397	884
8	6992	884
9	7430	884

Stop Event

1×	node limit

Counts

68 → 51

Calls

Call 1

Inputs
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
x
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(*.f64 y x)
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(*.f64 y x)
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(-.f64 (+.f64 x (*.f64 x y)) 0)
(*.f64 x (+.f64 y 1))
(.f64 (+.f64 x (.f64 x y)) 1)
(.f64 1 (+.f64 x (.f64 x y)))
(.f64 2 (.f64 (+.f64 y 1) (*.f64 x 1/2)))
(.f64 (.f64 (+.f64 x x) (+.f64 y 1)) 1/2)
(.f64 (+.f64 x x) (.f64 (+.f64 y 1) 1/2))
(.f64 (+.f64 x x) (.f64 (+.f64 y (+.f64 y 2)) 1/4))
(.f64 (+.f64 x x) (+.f64 1/2 (.f64 y 1/2)))
(*.f64 (+.f64 y 1) x)
(.f64 4 (.f64 x (/.f64 (+.f64 y 1) 4)))
(.f64 4 (.f64 (/.f64 x 8) (+.f64 y (+.f64 y 2))))
(.f64 (.f64 x (*.f64 (+.f64 y 1) 4)) 1/4)
(.f64 (.f64 x 4) (*.f64 (+.f64 y 1) 1/4))
(.f64 (.f64 x 4) (/.f64 (+.f64 y 1) 4))
(.f64 (.f64 x 4) (*.f64 1/8 (+.f64 y (+.f64 y 2))))
(.f64 8 (.f64 (/.f64 x 8) (+.f64 y 1)))
(.f64 8 (.f64 (.f64 1/2 (.f64 x 1/4)) (+.f64 y 1)))
(.f64 (.f64 (+.f64 y 1) (*.f64 x 8)) 1/8)
(.f64 (.f64 x 8) (*.f64 1/8 (+.f64 y 1)))
(.f64 (+.f64 y (+.f64 y 2)) (.f64 x 1/2))
(.f64 1/2 (.f64 (+.f64 x x) (+.f64 y 1)))
(.f64 (.f64 (+.f64 y 1) (*.f64 x 1/2)) 2)
(.f64 (.f64 x 1/2) (+.f64 y (+.f64 y 2)))
(.f64 (.f64 2 (.f64 x 8)) (.f64 1/16 (+.f64 y 1)))
(.f64 (.f64 (+.f64 y 1) 4) (*.f64 x 1/4))
(.f64 1/4 (.f64 x (*.f64 (+.f64 y 1) 4)))
(.f64 (.f64 (+.f64 y 1) 1/2) (+.f64 x x))
(.f64 (.f64 x 1/4) (*.f64 (+.f64 y 1) 4))
(.f64 (.f64 x (/.f64 (+.f64 y 1) 4)) 4)
(.f64 1/8 (.f64 (+.f64 y 1) (*.f64 x 8)))
(.f64 (.f64 (+.f64 y 1) 1/4) (*.f64 x 4))
(.f64 (/.f64 (+.f64 y 1) 4) (.f64 x 4))
(.f64 (+.f64 1/2 (.f64 y 1/2)) (+.f64 x x))
(/.f64 (+.f64 x (*.f64 x y)) 1)
(/.f64 (*.f64 (+.f64 x x) (+.f64 y 1)) 2)
(/.f64 (.f64 x (.f64 (+.f64 y 1) 4)) 4)
(/.f64 (.f64 (+.f64 y 1) (.f64 x 8)) 8)
(/.f64 (.f64 2 (.f64 (+.f64 y 1) (*.f64 x 8))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 y 1) (.f64 x 8)))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 y 1) (*.f64 x 8))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 y 1) (.f64 x 8)))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 y 1) (*.f64 x 8))))))) 256)
(pow.f64 (+.f64 x (*.f64 x y)) 1)

Outputs
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
x
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(-.f64 (+.f64 x (*.f64 x y)) 0)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 x (+.f64 y 1))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (+.f64 x (.f64 x y)) 1)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 1 (+.f64 x (.f64 x y)))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 2 (.f64 (+.f64 y 1) (*.f64 x 1/2)))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (.f64 (+.f64 x x) (+.f64 y 1)) 1/2)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (+.f64 x x) (.f64 (+.f64 y 1) 1/2))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (+.f64 x x) (.f64 (+.f64 y (+.f64 y 2)) 1/4))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (+.f64 x x) (+.f64 1/2 (.f64 y 1/2)))
(*.f64 (+.f64 y 1) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 4 (.f64 x (/.f64 (+.f64 y 1) 4)))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 4 (.f64 (/.f64 x 8) (+.f64 y (+.f64 y 2))))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (.f64 x (*.f64 (+.f64 y 1) 4)) 1/4)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (.f64 x 4) (*.f64 (+.f64 y 1) 1/4))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (.f64 x 4) (/.f64 (+.f64 y 1) 4))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (.f64 x 4) (*.f64 1/8 (+.f64 y (+.f64 y 2))))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 8 (.f64 (/.f64 x 8) (+.f64 y 1)))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 8 (.f64 (.f64 1/2 (.f64 x 1/4)) (+.f64 y 1)))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (.f64 (+.f64 y 1) (*.f64 x 8)) 1/8)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (.f64 x 8) (*.f64 1/8 (+.f64 y 1)))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (+.f64 y (+.f64 y 2)) (.f64 x 1/2))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 1/2 (.f64 (+.f64 x x) (+.f64 y 1)))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (.f64 (+.f64 y 1) (*.f64 x 1/2)) 2)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (.f64 x 1/2) (+.f64 y (+.f64 y 2)))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (.f64 2 (.f64 x 8)) (.f64 1/16 (+.f64 y 1)))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (.f64 (+.f64 y 1) 4) (*.f64 x 1/4))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 1/4 (.f64 x (*.f64 (+.f64 y 1) 4)))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (.f64 (+.f64 y 1) 1/2) (+.f64 x x))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (.f64 x 1/4) (*.f64 (+.f64 y 1) 4))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (.f64 x (/.f64 (+.f64 y 1) 4)) 4)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 1/8 (.f64 (+.f64 y 1) (*.f64 x 8)))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (.f64 (+.f64 y 1) 1/4) (*.f64 x 4))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (/.f64 (+.f64 y 1) 4) (.f64 x 4))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(.f64 (+.f64 1/2 (.f64 y 1/2)) (+.f64 x x))
(.f64 (+.f64 x x) (+.f64 1/2 (.f64 y 1/2)))
(/.f64 (+.f64 x (*.f64 x y)) 1)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(/.f64 (*.f64 (+.f64 x x) (+.f64 y 1)) 2)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(/.f64 (.f64 x (.f64 (+.f64 y 1) 4)) 4)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(/.f64 (.f64 (+.f64 y 1) (.f64 x 8)) 8)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(/.f64 (.f64 2 (.f64 (+.f64 y 1) (*.f64 x 8))) 16)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 y 1) (.f64 x 8)))) 32)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 y 1) (*.f64 x 8))))) 64)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 y 1) (.f64 x 8)))))) 128)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 y 1) (*.f64 x 8))))))) 256)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(pow.f64 (+.f64 x (*.f64 x y)) 1)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))

eval14.0ms (0.6%)

Compiler: Compiled 627 to 438 computations (30.1% saved)

prune10.0ms (0.4%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	70	1	71
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	70	6	76

Error

Counts

76 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 x (+.f64 (*.f64 x y) y))
✓	28.8b	(+.f64 x (*.f64 y x))
✓	7.8b	(+.f64 x y)
✓	28.8b	(*.f64 (+.f64 1 y) x)
▶	54.8b	(*.f64 y x)
	36.5b	x

Compiler

Compiled 36 to 22 computations (38.9% saved)

localize4.0ms (0.1%)

Compiler: Compiled 7 to 3 computations (57.1% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

6 alts after pruning (1 fresh and 5 done)

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

Error

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 x (+.f64 (*.f64 x y) y))
✓	28.8b	(+.f64 x (*.f64 y x))
✓	7.8b	(+.f64 x y)
✓	28.8b	(*.f64 (+.f64 1 y) x)
✓	54.8b	(*.f64 y x)
	36.5b	x

Compiler

Compiled 36 to 22 computations (38.9% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

6 alts after pruning (1 fresh and 5 done)

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

Error

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 x (+.f64 (*.f64 x y) y))
✓	28.8b	(+.f64 x (*.f64 y x))
✓	7.8b	(+.f64 x y)
✓	28.8b	(*.f64 (+.f64 1 y) x)
✓	54.8b	(*.f64 y x)
	36.5b	x

Compiler

Compiled 36 to 22 computations (38.9% saved)

regimes20.0ms (0.8%)

Counts

7 → 1

Calls

Call 1

Inputs
x
(*.f64 y x)
(+.f64 x y)
(*.f64 (+.f64 1 y) x)
(+.f64 x (*.f64 y x))
(+.f64 x (+.f64 (*.f64 x y) y))
(+.f64 (+.f64 (*.f64 x y) x) y)

Outputs
(+.f64 x (+.f64 (*.f64 x y) y))

Calls

3 calls:

6.0ms	y
6.0ms	(+.f64 (+.f64 (*.f64 x y) x) y)
6.0ms	x

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`(+.f64 (+.f64 (*.f64 x y) x) y)`

Compiler

Compiled 48 to 22 computations (54.2% saved)

regimes23.0ms (0.9%)

Counts

5 → 3

Calls

Call 1

Inputs
x
(*.f64 y x)
(+.f64 x y)
(*.f64 (+.f64 1 y) x)
(+.f64 x (*.f64 y x))

Outputs
(*.f64 (+.f64 1 y) x)
(+.f64 x y)
(*.f64 y x)

Calls

2 calls:

12.0ms	x
8.0ms	y

Results

Error	Segments	Branch
0.2b	3	`x`
5.7b	2	`y`

Compiler

Compiled 25 to 12 computations (52% saved)

bsearch22.0ms (0.9%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
19.0ms	1.2416814568537684e-12	3.0740136067722043e+32
3.0ms	-10094866.471091336	-8265929.7893981645

Results

19.0ms	224×	body	256	valid
0.0ms	3×	body	256	infinite

Compiler

Compiled 186 to 125 computations (32.8% saved)

regimes16.0ms (0.6%)

Counts

3 → 2

Calls

Call 1

Inputs
x
(*.f64 y x)
(+.f64 x y)

Outputs
(+.f64 x y)
(*.f64 y x)

Calls

2 calls:

8.0ms	x
7.0ms	y

Results

Error	Segments	Branch
5.5b	2	`x`
6.4b	2	`y`

Compiler

Compiled 15 to 8 computations (46.7% saved)

bsearch19.0ms (0.8%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
19.0ms	1.2416814568537684e-12	3.0740136067722043e+32

Results

17.0ms	192×	body	256	valid
0.0ms	2×	body	256	infinite

Compiler

Compiled 158 to 105 computations (33.5% saved)

regimes16.0ms (0.6%)

Accuracy

Total -32.2b remaining (-109%)

Threshold costs -32.2b (-109%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(*.f64 y x)

Outputs
(*.f64 y x)
x
(*.f64 y x)

Calls

2 calls:

9.0ms	y
6.0ms	x

Results

Error	Segments	Branch
33.9b	2	`x`
29.6b	3	`y`

Compiler

Compiled 12 to 7 computations (41.7% saved)

bsearch13.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
0.0ms	0.0015398447502500065	0.0015466237526147771
13.0ms	-76.04343588043078	-0.002892129880631135

Results

11.0ms

128×

body

256

valid

Compiler

Compiled 94 to 65 computations (30.9% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	121

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 x (+.f64 (*.f64 x y) y))
(if (<=.f64 x -8500000) (.f64 (+.f64 1 y) x) (if (<=.f64 x 174999999999999995453374464) (+.f64 x y) (.f64 y x)))
(if (<=.f64 x 19999999999999999166239473664) (+.f64 x y) (*.f64 y x))
(if (<=.f64 y -1) (.f64 y x) (if (<=.f64 y 7101996468378177/4611686018427387904) x (.f64 y x)))
x

Outputs
(+.f64 x (+.f64 (*.f64 x y) y))
(if (<=.f64 x -8500000) (.f64 (+.f64 1 y) x) (if (<=.f64 x 174999999999999995453374464) (+.f64 x y) (.f64 y x)))
(if (<=.f64 x 19999999999999999166239473664) (+.f64 x y) (*.f64 y x))
(if (<=.f64 y -1) (.f64 y x) (if (<=.f64 y 7101996468378177/4611686018427387904) x (.f64 y x)))
x

Compiler

Compiled 62 to 36 computations (41.9% saved)

soundness10.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

12×	`rational.json-simplify-1`
4×	`rational.json-simplify-41`
2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	10	19
2	14	19
3	18	19

Stop Event

1×

saturated

Compiler

Compiled 30 to 10 computations (66.7% saved)

end43.0ms (1.7%)

Compiler: Compiled 72 to 35 computations (51.4% saved)

Details

analyze57.0ms (2.3%)

sample705.0ms (28%)

preprocess4.0ms (0.2%)

simplify10.0ms (0.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.3%)

series3.0ms (0.1%)

rewrite115.0ms (4.6%)

simplify272.0ms (10.8%)

eval18.0ms (0.7%)

prune14.0ms (0.5%)

localize5.0ms (0.2%)

series1.0ms (0.1%)

rewrite183.0ms (7.3%)

simplify564.0ms (22.4%)

localize3.0ms (0.1%)

localize5.0ms (0.2%)

series1.0ms (0%)

rewrite188.0ms (7.5%)

simplify140.0ms (5.6%)

eval14.0ms (0.6%)

prune10.0ms (0.4%)

localize4.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes20.0ms (0.8%)

regimes23.0ms (0.9%)

bsearch22.0ms (0.9%)

regimes16.0ms (0.6%)

bsearch19.0ms (0.8%)

regimes16.0ms (0.6%)

bsearch13.0ms (0.5%)

simplify4.0ms (0.2%)

soundness10.0ms (0.4%)

end43.0ms (1.7%)

Profiling