Details

analyze432.0ms (13.5%)

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
56.3%	56.2%	43.7%	0.1%	0%	0%	0%	7
65.6%	65.6%	34.3%	0.1%	0%	0%	0%	8
76.6%	76.5%	23.4%	0.1%	0%	0%	0%	9
82%	82%	18%	0.1%	0%	0%	0%	10
87.9%	87.8%	12.1%	0.1%	0%	0%	0%	11
90.8%	90.7%	9.2%	0.1%	0%	0%	0%	12

Compiler

Compiled 10 to 8 computations (20% saved)

sample1.3s (40.7%)

Results

1.2s	7736×	body	256	valid
45.0ms	195×	body	2048	valid
36.0ms	196×	body	1024	valid
18.0ms	129×	body	512	valid

Bogosity

preprocess10.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

4×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	14	26
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(-.f64 x (*.f64 (/.f64 3 8) y))
(-.f64 y (*.f64 (/.f64 3 8) x))

Outputs
(-.f64 x (*.f64 (/.f64 3 8) y))
(-.f64 x (*.f64 3/8 y))
(-.f64 y (*.f64 (/.f64 3 8) x))
(-.f64 y (*.f64 x 3/8))

Compiler

Compiled 11 to 9 computations (18.2% saved)

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	11	13

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 x (*.f64 (/.f64 3 8) y))

Outputs
(-.f64 x (*.f64 (/.f64 3 8) y))
(-.f64 x (*.f64 3/8 y))

eval1.0ms (0%)

Compiler: Compiled 14 to 10 computations (28.6% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

0.1b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(-.f64 x (*.f64 3/8 y))

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 x (*.f64 3/8 y))

Compiler

Compiled 13 to 8 computations (38.5% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite128.0ms (4%)

Algorithm

1×	batch-egg-rewrite

Rules

1790×	`rational.json-simplify-35`
1624×	`rational.json-1`
1136×	`exponential.json-3`
1136×	`rational.json-2`
1136×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	45	13
2	100	13
3	212	13
4	392	13
5	881	13
6	2345	13
7	4257	13
8	5637	13
9	7786	13

Stop Event

1×	node limit

Counts

1 → 53

Calls

Call 1

Inputs
(-.f64 x (*.f64 3/8 y))

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

Outputs

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

simplify253.0ms (7.9%)

Algorithm

1×	egg-herbie

Rules

1888×	`rational.json-simplify-35`
1770×	`rational.json-simplify-1`
1766×	`rational.json-simplify-45`
1476×	`rational.json-simplify-2`
934×	`rational.json-simplify-41`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	128	1427
1	251	1427
2	400	1247
3	726	1247
4	1776	1247
5	2907	1247
6	3852	1247
7	4438	1247
8	4719	1247
9	4988	1247
10	5231	1247
11	5798	1247
12	6326	1247
13	7490	1247
14	7670	1247
15	7899	1247

Stop Event

1×	node limit

Counts

77 → 62

Calls

Call 1

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

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

eval14.0ms (0.4%)

Compiler: Compiled 577 to 443 computations (23.2% saved)

prune10.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	59	3	62
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	59	4	63

Error

0.1b

Counts

63 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(/.f64 (+.f64 x (+.f64 x (*.f64 y -3/4))) 2)
✓	0.1b	(-.f64 x (*.f64 3/8 y))
▶	33.2b	(*.f64 -3/8 y)
	30.6b	x

Compiler

Compiled 26 to 19 computations (26.9% saved)

localize3.0ms (0.1%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

localize11.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (+.f64 x (*.f64 y -3/4)))
✓	0.0b	(+.f64 x (*.f64 y -3/4))

Compiler

Compiled 30 to 19 computations (36.7% saved)

series3.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite272.0ms (8.5%)

Algorithm

1×	batch-egg-rewrite

Rules

3206×	`rational.json-simplify-35`
2024×	`rational.json-simplify-2`
1250×	`rational.json-simplify-1`
1150×	`exponential.json-3`
1150×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	53	32
2	111	32
3	231	32
4	460	32
5	1092	32
6	2574	32
7	4127	32
8	4909	32
9	5712	32
10	6179	32
11	6179	32
12	6690	32
13	6900	32
14	7390	32

Stop Event

1×	node limit

Counts

2 → 52

Calls

Call 1

Inputs
(+.f64 x (*.f64 y -3/4))
(+.f64 x (+.f64 x (*.f64 y -3/4)))

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

Outputs

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

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

simplify574.0ms (18%)

Algorithm

1×	egg-herbie

Rules

4398×	`rational.json-simplify-51`
2202×	`rational.json-simplify-35`
1324×	`rational.json-simplify-2`
902×	`rational.json-simplify-1`
596×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	111	1516
1	241	1516
2	575	1516
3	1906	1516
4	3682	1516
5	4194	1516
6	4290	1516
7	4354	1516
8	4415	1516
9	4475	1516
10	4805	1516
11	4865	1516
12	4925	1516
13	4985	1516
14	5045	1516
15	5105	1516
16	5165	1516
17	5225	1516
18	5225	1516
19	7733	1516
20	7879	1516
21	7882	1516
22	7930	1516
23	7978	1516

Stop Event

1×	node limit

Counts

100 → 62

Calls

Call 1

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

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

eval19.0ms (0.6%)

Compiler: Compiled 856 to 662 computations (22.7% saved)

prune9.0ms (0.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	62	4	66

Error

0.1b

Counts

66 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(/.f64 (+.f64 x (+.f64 x (*.f64 y -3/4))) 2)
✓	0.1b	(-.f64 x (*.f64 3/8 y))
✓	33.2b	(*.f64 -3/8 y)
	30.6b	x

Compiler

Compiled 26 to 19 computations (26.9% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

0.1b

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(/.f64 (+.f64 x (+.f64 x (*.f64 y -3/4))) 2)
✓	0.1b	(-.f64 x (*.f64 3/8 y))
✓	33.2b	(*.f64 -3/8 y)
	30.6b	x

Compiler

Compiled 26 to 19 computations (26.9% saved)

eval1.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

0.1b

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(/.f64 (+.f64 x (+.f64 x (*.f64 y -3/4))) 2)
✓	0.1b	(-.f64 x (*.f64 3/8 y))
✓	33.2b	(*.f64 -3/8 y)
	30.6b	x

Compiler

Compiled 26 to 19 computations (26.9% saved)

regimes19.0ms (0.6%)

Counts

5 → 1

Calls

Call 1

Inputs
x
(*.f64 -3/8 y)
(-.f64 x (*.f64 3/8 y))
(-.f64 x (*.f64 (/.f64 3 8) y))
(/.f64 (+.f64 x (+.f64 x (*.f64 y -3/4))) 2)

Outputs
(-.f64 x (*.f64 3/8 y))

Calls

4 calls:

5.0ms	y
4.0ms	(-.f64 x (*.f64 (/.f64 3 8) y))
4.0ms	(*.f64 (/.f64 3 8) y)
4.0ms	x

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`y`
0.1b	1	`(-.f64 x (*.f64 (/.f64 3 8) y))`
0.1b	1	`(*.f64 (/.f64 3 8) y)`

Compiler

Compiled 49 to 35 computations (28.6% saved)

regimes24.0ms (0.7%)

Accuracy

Total -48.9b remaining (-380.9%)

Threshold costs -48.9b (-380.9%)

Counts

2 → 5

Calls

Call 1

Inputs
x
(*.f64 -3/8 y)

Outputs
x
(*.f64 -3/8 y)
x
(*.f64 -3/8 y)
x

Calls

2 calls:

14.0ms	x
9.0ms	y

Results

Error	Segments	Branch
12.8b	5	`x`
14.0b	3	`y`

Compiler

Compiled 12 to 8 computations (33.3% saved)

bsearch55.0ms (1.7%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
16.0ms	1.7974011298973362e-7	864.8332090444151
14.0ms	3.610172691968534e-61	2.4621441676184363e-57
14.0ms	7.174842090862157e-84	7.563314317552312e-81
11.0ms	-3.269345415763413e-87	-8.113317393511023e-88

Results

43.0ms	480×	body	256	valid
4.0ms	17×	body	2048	valid
2.0ms	10×	body	1024	valid
1.0ms	5×	body	512	valid

Compiler

Compiled 334 to 267 computations (20.1% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	67

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

(-.f64 x (*.f64 3/8 y))

(if (<=.f64 x -909896301509733/279968092772225526319680285071055534765205687154331191862498637620473983897520118172609686658950889472) x (if (<=.f64 x 8009951384703413/1067993517960455041197510853084776057301352261178326384973520803911109862890320275011481043468288) (*.f64 -3/8 y) (if (<=.f64 x 2894802230932905/7237005577332262213973186563042994240829374041602535252466099000494570602496) x (if (<=.f64 x 6139076427730539/1180591620717411303424) (*.f64 -3/8 y) x))))

Outputs

(-.f64 x (*.f64 3/8 y))

(if (<=.f64 x -909896301509733/279968092772225526319680285071055534765205687154331191862498637620473983897520118172609686658950889472) x (if (<=.f64 x 8009951384703413/1067993517960455041197510853084776057301352261178326384973520803911109862890320275011481043468288) (*.f64 -3/8 y) (if (<=.f64 x 2894802230932905/7237005577332262213973186563042994240829374041602535252466099000494570602496) x (if (<=.f64 x 6139076427730539/1180591620717411303424) (*.f64 -3/8 y) x))))

Compiler

Compiled 37 to 25 computations (32.4% saved)

soundness10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	11	13

Stop Event

1×

saturated

Compiler

Compiled 14 to 10 computations (28.6% saved)

end26.0ms (0.8%)

Compiler: Compiled 33 to 21 computations (36.4% saved)

Details

analyze432.0ms (13.5%)

sample1.3s (40.7%)

preprocess10.0ms (0.3%)

simplify10.0ms (0.3%)

eval1.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.2%)

series1.0ms (0%)

rewrite128.0ms (4%)

simplify253.0ms (7.9%)

eval14.0ms (0.4%)

prune10.0ms (0.3%)

localize3.0ms (0.1%)

localize11.0ms (0.3%)

series3.0ms (0.1%)

rewrite272.0ms (8.5%)

simplify574.0ms (18%)

eval19.0ms (0.6%)

prune9.0ms (0.3%)

eval0.0ms (0%)

prune2.0ms (0.1%)

eval1.0ms (0%)

prune2.0ms (0.1%)

regimes19.0ms (0.6%)

regimes24.0ms (0.7%)

bsearch55.0ms (1.7%)

simplify3.0ms (0.1%)

soundness10.0ms (0.3%)

end26.0ms (0.8%)

Profiling