Details

analyze133.0ms (4.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
28.6%	25%	62.4%	0.1%	12.5%	0%	0%	6
38.1%	25%	40.6%	0.1%	34.3%	0%	0%	7
43.2%	25%	32.8%	0.1%	42.1%	0%	0%	8
51.6%	25%	23.4%	0.1%	51.5%	0%	0%	9
61%	28.1%	18%	0.1%	53.9%	0%	0%	10
73.3%	31.6%	11.5%	0.1%	56.8%	0%	0%	11
79%	33.4%	8.9%	0.1%	57.7%	0%	0%	12

Compiler

Compiled 10 to 8 computations (20% saved)

sample1.7s (54.1%)

Results

1.5s	8256×	body	256	valid
186.0ms	706×	body	256	infinite

Bogosity

preprocess3.0ms (0.1%)

Algorithm

2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	38
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(-.f64 (pow.f64 y 4) (pow.f64 x 4))

Outputs
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(-.f64 (pow.f64 y 4) (pow.f64 x 4))

Compiler

Compiled 11 to 9 computations (18.2% saved)

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(-.f64 (pow.f64 x 4) (pow.f64 y 4))

Outputs
(-.f64 (pow.f64 x 4) (pow.f64 y 4))

eval0.0ms (0%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(-.f64 (pow.f64 x 4) (pow.f64 y 4))

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (pow.f64 x 4) (pow.f64 y 4))

Compiler

Compiled 18 to 12 computations (33.3% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	y	@	0	(-.f64 (pow.f64 x 4) (pow.f64 y 4))
1.0ms	x	@	0	(-.f64 (pow.f64 x 4) (pow.f64 y 4))
1.0ms	x	@	inf	(-.f64 (pow.f64 x 4) (pow.f64 y 4))
0.0ms	x	@	-inf	(-.f64 (pow.f64 x 4) (pow.f64 y 4))
0.0ms	y	@	-inf	(-.f64 (pow.f64 x 4) (pow.f64 y 4))

rewrite137.0ms (4.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1330×	`exponential.json-3`
1330×	`rational.json-1`
1330×	`rational.json-2`
1330×	`rational.json-4`
1330×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	50	19
2	110	19
3	227	19
4	404	19
5	921	19
6	2481	19
7	4661	19
8	6148	19

Stop Event

1×	node limit

Counts

1 → 51

Calls

Call 1

Inputs
(-.f64 (pow.f64 x 4) (pow.f64 y 4))

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

Outputs

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

simplify320.0ms (10.2%)

Algorithm

1×	egg-herbie

Rules

1888×	`rational.json-simplify-35`
1578×	`rational.json-simplify-1`
1524×	`rational.json-simplify-2`
1028×	`rational.json-simplify-51`
810×	`rational.json-simplify-42`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	115	1661
1	237	1661
2	818	1661
3	1527	1661
4	2930	1389
5	3901	1389
6	4661	1389
7	5747	1389
8	6405	1389
9	6725	1389
10	6853	1389
11	7234	1389
12	7661	1389
13	7857	1389

Stop Event

1×	node limit

Counts

75 → 57

Calls

Call 1

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

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

eval90.0ms (2.9%)

Compiler: Compiled 619 to 503 computations (18.7% saved)

prune9.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	54	3	57
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	54	4	58

Error

Counts

58 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	18.6b	(pow.f64 x 4)
✓	0.0b	(-.f64 (pow.f64 x 4) (pow.f64 y 4))
▶	0.0b	(+.f64 (.f64 (pow.f64 x 4) 1/2) (-.f64 (.f64 (pow.f64 x 4) 1/2) (pow.f64 y 4)))
▶	21.0b	(neg.f64 (pow.f64 y 4))

Compiler

Compiled 37 to 30 computations (18.9% saved)

localize5.0ms (0.2%)

Compiler: Compiled 11 to 8 computations (27.3% saved)

localize18.0ms (0.6%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 (pow.f64 x 4) 1/2) (-.f64 (.f64 (pow.f64 x 4) 1/2) (pow.f64 y 4)))

Compiler

Compiled 41 to 31 computations (24.4% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(+.f64 (.f64 (pow.f64 x 4) 1/2) (-.f64 (.f64 (pow.f64 x 4) 1/2) (pow.f64 y 4)))
0.0ms	y	@	0	(+.f64 (.f64 (pow.f64 x 4) 1/2) (-.f64 (.f64 (pow.f64 x 4) 1/2) (pow.f64 y 4)))
0.0ms	x	@	0	(+.f64 (.f64 (pow.f64 x 4) 1/2) (-.f64 (.f64 (pow.f64 x 4) 1/2) (pow.f64 y 4)))
0.0ms	y	@	inf	(+.f64 (.f64 (pow.f64 x 4) 1/2) (-.f64 (.f64 (pow.f64 x 4) 1/2) (pow.f64 y 4)))
0.0ms	y	@	-inf	(+.f64 (.f64 (pow.f64 x 4) 1/2) (-.f64 (.f64 (pow.f64 x 4) 1/2) (pow.f64 y 4)))

rewrite127.0ms (4.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1550×	`rational.json-1`
1476×	`rational.json-simplify-35`
1324×	`exponential.json-3`
1324×	`rational.json-2`
1324×	`rational.json-4`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	11	43
1	70	43
2	139	43
3	284	43
4	518	23
5	1215	23
6	3006	23
7	4620	23
8	6161	23
9	7891	23

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

Inputs
(+.f64 (.f64 (pow.f64 x 4) 1/2) (-.f64 (.f64 (pow.f64 x 4) 1/2) (pow.f64 y 4)))

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

Outputs

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

simplify334.0ms (10.7%)

Algorithm

1×	egg-herbie

Rules

3318×	`rational.json-simplify-51`
1740×	`rational.json-simplify-48`
1316×	`rational.json-simplify-35`
1262×	`rational.json-simplify-1`
1258×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	65	1029
1	135	1029
2	375	1029
3	1117	1029
4	1757	1029
5	2658	1029
6	3213	1029
7	3378	1029
8	3571	1029
9	3940	1029
10	4288	1029
11	4466	1029
12	4512	1029
13	4548	1029
14	4584	1029
15	4620	1029
16	4656	1029
17	4753	1029
18	4817	1029
19	5637	1029

Stop Event

1×	node limit

Counts

47 → 30

Calls

Call 1

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

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

localize7.0ms (0.2%)

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

eval8.0ms (0.2%)

Compiler: Compiled 359 to 299 computations (16.7% saved)

prune12.0ms (0.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	30	0	30
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	30	4	34

Error

Counts

34 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	18.6b	(pow.f64 x 4)
✓	0.0b	(-.f64 (pow.f64 x 4) (pow.f64 y 4))
✓	0.0b	(+.f64 (.f64 (pow.f64 x 4) 1/2) (-.f64 (.f64 (pow.f64 x 4) 1/2) (pow.f64 y 4)))
✓	21.0b	(neg.f64 (pow.f64 y 4))

Compiler

Compiled 37 to 30 computations (18.9% saved)

regimes18.0ms (0.6%)

Counts

4 → 1

Calls

Call 1

Inputs
(pow.f64 x 4)
(neg.f64 (pow.f64 y 4))
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(+.f64 (.f64 (pow.f64 x 4) 1/2) (-.f64 (.f64 (pow.f64 x 4) 1/2) (pow.f64 y 4)))

Outputs
(-.f64 (pow.f64 x 4) (pow.f64 y 4))

Calls

5 calls:

5.0ms	y
4.0ms	x
3.0ms	(-.f64 (pow.f64 x 4) (pow.f64 y 4))
2.0ms	(pow.f64 y 4)
2.0ms	(pow.f64 x 4)

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`(-.f64 (pow.f64 x 4) (pow.f64 y 4))`
0.0b	1	`(pow.f64 x 4)`
0.0b	1	`(pow.f64 y 4)`

Compiler

Compiled 56 to 43 computations (23.2% saved)

regimes32.0ms (1%)

Accuracy

Total -35.5b remaining (-924.1%)

Threshold costs -35.5b (-924.1%)

Counts

2 → 3

Calls

Call 1

Inputs
(pow.f64 x 4)
(neg.f64 (pow.f64 y 4))

Outputs
(pow.f64 x 4)
(neg.f64 (pow.f64 y 4))
(pow.f64 x 4)

Calls

4 calls:

11.0ms	y
8.0ms	x
6.0ms	(pow.f64 y 4)
5.0ms	(pow.f64 x 4)

Results

Error	Segments	Branch
3.8b	3	`x`
6.2b	3	`y`
4.7b	2	`(pow.f64 x 4)`
5.8b	4	`(pow.f64 y 4)`

Compiler

Compiled 25 to 19 computations (24% saved)

bsearch42.0ms (1.3%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	2.7961929552591915e-45	2.318067685203166e-41
26.0ms	-4.957380202725259e-79	-3.389251552340701e-85

Results

39.0ms

272×

body

256

valid

Compiler

Compiled 235 to 198 computations (15.7% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	69

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(-.f64 (pow.f64 x 4) (pow.f64 y 4))

(if (<=.f64 x -6841833474434165/33374797436264220037422214158899251790667258161822699530422525122222183215322508594108782608384) (pow.f64 x 4) (if (<=.f64 x 4499426523925173/1606938044258990275541962092341162602522202993782792835301376) (neg.f64 (pow.f64 y 4)) (pow.f64 x 4)))

(pow.f64 x 4)

Outputs

(-.f64 (pow.f64 x 4) (pow.f64 y 4))

(if (<=.f64 x -6841833474434165/33374797436264220037422214158899251790667258161822699530422525122222183215322508594108782608384) (pow.f64 x 4) (if (<=.f64 x 4499426523925173/1606938044258990275541962092341162602522202993782792835301376) (neg.f64 (pow.f64 y 4)) (pow.f64 x 4)))

(pow.f64 x 4)

Compiler

Compiled 34 to 26 computations (23.5% saved)

soundness0.0ms (0%)

end117.0ms (3.7%)

Compiler: Compiled 30 to 22 computations (26.7% saved)

Details

analyze133.0ms (4.3%)

sample1.7s (54.1%)

preprocess3.0ms (0.1%)

simplify8.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.2%)

series3.0ms (0.1%)

rewrite137.0ms (4.4%)

simplify320.0ms (10.2%)

eval90.0ms (2.9%)

prune9.0ms (0.3%)

localize5.0ms (0.2%)

localize18.0ms (0.6%)

series1.0ms (0%)

rewrite127.0ms (4.1%)

simplify334.0ms (10.7%)

localize7.0ms (0.2%)

eval8.0ms (0.2%)

prune12.0ms (0.4%)

regimes18.0ms (0.6%)

regimes32.0ms (1%)

bsearch42.0ms (1.3%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end117.0ms (3.7%)

Profiling