Details

analyze75.0ms (4%)

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.1s (56.8%)

Results

945.0ms	8256×	body	256	valid
118.0ms	668×	body	256	infinite

Bogosity

preprocess41.0ms (2.2%)

Algorithm

2×	egg-herbie

Rules

560×	`rational_best-simplify-124`
518×	`rational_best-simplify-126`
508×	`rational_best-simplify-113`
502×	`rational_best-simplify-96`
488×	`rational_best-simplify-117`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	38
1	48	38
2	237	38
3	1482	38
0	2	2

Stop Event

1×	saturated
1×	node limit

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)

simplify99.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

1046×	`rational_best-simplify-53`
802×	`rational_best-simplify-52`
768×	`rational_best-simplify-1`
542×	`rational_best-simplify-21`
542×	`rational_best-simplify-18`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	33	19
2	146	19
3	895	19
4	5715	19

Stop Event

1×	node limit

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.4%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 18 to 12 computations (33.3% saved)

series4.0ms (0.2%)

Counts

2 → 24

Calls

9 calls:

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

rewrite83.0ms (4.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1046×	`rational_best-simplify-53`
802×	`rational_best-simplify-52`
762×	`rational_best-simplify-1`
542×	`rational_best-simplify-21`
542×	`rational_best-simplify-18`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	26
1	33	26
2	146	26
3	895	26
4	5717	26

Stop Event

1×	node limit

Counts

2 → 37

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 x 4) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 x 4) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 x 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (neg.f64 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (pow.f64 x 4)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 x 4)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (pow.f64 x 4)))))))
((#(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 (neg.f64 (pow.f64 y 4)) (pow.f64 x 4))))) (#(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 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) 1)))) (#(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 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))))) (#(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 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) 1)))) (#(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 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) (+.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 -2 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) (-.f64 4 (.f64 -2 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1) (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) (.f64 (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))))) (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1)) (.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1) (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))))))))) (#(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)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 x 4) (pow.f64 y 4)) 0) (/.f64 (-.f64 (pow.f64 x 8) (pow.f64 y 8)) (+.f64 (pow.f64 x 4) (pow.f64 y 4))) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 y 4) 0) (/.f64 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 x 4) 0) (/.f64 (-.f64 (pow.f64 x 8) (pow.f64 (.f64 x y) 4)) (pow.f64 x 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (pow.f64 y 4)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (pow.f64 x 4)) 0) (/.f64 (-.f64 (pow.f64 x 8) (pow.f64 (.f64 x y) 4)) (pow.f64 x 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 0) (/.f64 (*.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))) (-.f64 (pow.f64 x 4) (pow.f64 y 4))) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 0 0) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (neg.f64 (pow.f64 x 4)) (pow.f64 y 4)) 0) (/.f64 (-.f64 (pow.f64 x 8) (pow.f64 y 8)) (+.f64 (pow.f64 x 4) (pow.f64 y 4))) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -1 0) (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))))

Outputs

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

((#(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 (neg.f64 (pow.f64 y 4)) (pow.f64 x 4))))) (#(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 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) 1)))) (#(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 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))))) (#(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 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) 1)))) (#(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 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) (+.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 -2 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (*.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) (-.f64 4 (*.f64 -2 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1) (*.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))))) (-.f64 (*.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1)) (*.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1) (*.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))))))))) (#(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)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 x 4) (pow.f64 y 4)) 0) (/.f64 (-.f64 (pow.f64 x 8) (pow.f64 y 8)) (+.f64 (pow.f64 x 4) (pow.f64 y 4))) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 y 4) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 x 4) 0) (/.f64 (-.f64 (pow.f64 x 8) (pow.f64 (*.f64 x y) 4)) (pow.f64 x 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (pow.f64 y 4)) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (pow.f64 x 4)) 0) (/.f64 (-.f64 (pow.f64 x 8) (pow.f64 (*.f64 x y) 4)) (pow.f64 x 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 0) (/.f64 (*.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))) (-.f64 (pow.f64 x 4) (pow.f64 y 4))) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 0 0) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (neg.f64 (pow.f64 x 4)) (pow.f64 y 4)) 0) (/.f64 (-.f64 (pow.f64 x 8) (pow.f64 y 8)) (+.f64 (pow.f64 x 4) (pow.f64 y 4))) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -1 0) (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))))

simplify58.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

926×	`rational_best-simplify-96`
898×	`rational_best-simplify-61`
890×	`rational_best-simplify-65`
598×	`rational_best-simplify-3`
552×	`rational_best-simplify-62`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	103	991
1	478	991
2	3114	991

Stop Event

1×	node limit

Counts

61 → 43

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) 0)
(+.f64 0 (pow.f64 x 4))
(-.f64 (pow.f64 x 4) 0)
(-.f64 0 (neg.f64 (pow.f64 x 4)))
(*.f64 (pow.f64 x 4) 1)
(*.f64 -1 (neg.f64 (pow.f64 x 4)))
(*.f64 (neg.f64 (pow.f64 x 4)) -1)
(/.f64 (neg.f64 (pow.f64 x 4)) -1)
(neg.f64 (neg.f64 (pow.f64 x 4)))
(+.f64 (pow.f64 x 4) (neg.f64 (pow.f64 y 4)))
(+.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) 0)
(+.f64 (neg.f64 (pow.f64 y 4)) (pow.f64 x 4))
(+.f64 0 (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(*.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) 1)
(*.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) -1)
(*.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))
(*.f64 1 (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) 1)
(/.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) -1)
(/.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))) -2)
(/.f64 (*.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1))
(/.f64 (+.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4))) 2)
(/.f64 (+.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) -4)
(/.f64 (+.f64 (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) (+.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1)))
(/.f64 (-.f64 (.f64 -2 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) (-.f64 4 (*.f64 -2 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))))))
(/.f64 (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1) (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) (.f64 (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))))) (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1)) (.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1) (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))))))
(pow.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) 1)
(neg.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))
(if (!=.f64 (+.f64 (pow.f64 x 4) (pow.f64 y 4)) 0) (/.f64 (-.f64 (pow.f64 x 8) (pow.f64 y 8)) (+.f64 (pow.f64 x 4) (pow.f64 y 4))) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(if (!=.f64 (pow.f64 y 4) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(if (!=.f64 (pow.f64 x 4) 0) (/.f64 (-.f64 (pow.f64 x 8) (pow.f64 (*.f64 x y) 4)) (pow.f64 x 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(if (!=.f64 (neg.f64 (pow.f64 y 4)) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(if (!=.f64 (neg.f64 (pow.f64 x 4)) 0) (/.f64 (-.f64 (pow.f64 x 8) (pow.f64 (*.f64 x y) 4)) (pow.f64 x 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(if (!=.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 0) (/.f64 (*.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))) (-.f64 (pow.f64 x 4) (pow.f64 y 4))) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(if (!=.f64 0 0) (/.f64 0 0) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(if (!=.f64 (-.f64 (neg.f64 (pow.f64 x 4)) (pow.f64 y 4)) 0) (/.f64 (-.f64 (pow.f64 x 8) (pow.f64 y 8)) (+.f64 (pow.f64 x 4) (pow.f64 y 4))) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(if (!=.f64 -1 0) (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 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) (pow.f64 y 4))
(+.f64 (pow.f64 x 4) (*.f64 -1 (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) (pow.f64 y 4))
(pow.f64 x 4)
(+.f64 (*.f64 -1 (pow.f64 y 4)) (pow.f64 x 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) (pow.f64 y 4))
(+.f64 (*.f64 -1 (pow.f64 y 4)) (pow.f64 x 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) (pow.f64 y 4))
(+.f64 (*.f64 -1 (pow.f64 y 4)) (pow.f64 x 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) (pow.f64 y 4))
(pow.f64 x 4)
(+.f64 (*.f64 -1 (pow.f64 y 4)) (pow.f64 x 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) (pow.f64 y 4))
(+.f64 (*.f64 -1 (pow.f64 y 4)) (pow.f64 x 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) (pow.f64 y 4))
(+.f64 (pow.f64 x 4) (*.f64 -1 (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) (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) (pow.f64 y 4))
(+.f64 (pow.f64 x 4) (*.f64 -1 (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) (pow.f64 y 4))
(+.f64 (pow.f64 x 4) 0)
(pow.f64 x 4)
(+.f64 0 (pow.f64 x 4))
(pow.f64 x 4)
(-.f64 (pow.f64 x 4) 0)
(pow.f64 x 4)
(-.f64 0 (neg.f64 (pow.f64 x 4)))
(pow.f64 x 4)
(*.f64 (pow.f64 x 4) 1)
(pow.f64 x 4)
(*.f64 -1 (neg.f64 (pow.f64 x 4)))
(pow.f64 x 4)
(*.f64 (neg.f64 (pow.f64 x 4)) -1)
(pow.f64 x 4)
(/.f64 (neg.f64 (pow.f64 x 4)) -1)
(pow.f64 x 4)
(neg.f64 (neg.f64 (pow.f64 x 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 (pow.f64 x 4) (pow.f64 y 4)) 0)
(-.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) (pow.f64 y 4))
(+.f64 0 (-.f64 (pow.f64 x 4) (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) (pow.f64 y 4))
(*.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) -1)
(-.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) (pow.f64 y 4))
(*.f64 1 (-.f64 (pow.f64 x 4) (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) (pow.f64 y 4))
(/.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) -1)
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(/.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))) -2)
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(/.f64 (*.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1))
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(/.f64 (+.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4))) 2)
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(/.f64 (+.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) -4)
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(/.f64 (+.f64 (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) (+.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1)))
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(/.f64 (-.f64 (.f64 -2 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) (-.f64 4 (*.f64 -2 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))))))
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(/.f64 (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1) (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) (.f64 (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))))) (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1) (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1)) (.f64 (+.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 1) (.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 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) (pow.f64 y 4))
(neg.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)))
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(if (!=.f64 (+.f64 (pow.f64 x 4) (pow.f64 y 4)) 0) (/.f64 (-.f64 (pow.f64 x 8) (pow.f64 y 8)) (+.f64 (pow.f64 x 4) (pow.f64 y 4))) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(if (!=.f64 (pow.f64 y 4) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(if (!=.f64 (pow.f64 x 4) 0) (/.f64 (-.f64 (pow.f64 x 8) (pow.f64 (*.f64 x y) 4)) (pow.f64 x 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(if (!=.f64 (neg.f64 (pow.f64 y 4)) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(if (!=.f64 (neg.f64 (pow.f64 x 4)) 0) (/.f64 (-.f64 (pow.f64 x 8) (pow.f64 (*.f64 x y) 4)) (pow.f64 x 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(if (!=.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) 0) (/.f64 (*.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (pow.f64 x 4))) (-.f64 (pow.f64 x 4) (pow.f64 y 4))) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(if (!=.f64 0 0) (/.f64 0 0) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(if (!=.f64 (-.f64 (neg.f64 (pow.f64 x 4)) (pow.f64 y 4)) 0) (/.f64 (-.f64 (pow.f64 x 8) (pow.f64 y 8)) (+.f64 (pow.f64 x 4) (pow.f64 y 4))) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(-.f64 (pow.f64 x 4) (pow.f64 y 4))
(if (!=.f64 -1 0) (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(-.f64 (pow.f64 x 4) (pow.f64 y 4))

eval15.0ms (0.8%)

Compiler: Compiled 801 to 613 computations (23.5% saved)

prune9.0ms (0.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	40	3	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	4	44

Error

0.0b

Counts

44 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	11.4b	(if (!=.f64 (pow.f64 y 4) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
▶	20.1b	(pow.f64 x 4)
✓	0.0b	(-.f64 (pow.f64 x 4) (pow.f64 y 4))
▶	20.0b	(neg.f64 (pow.f64 y 4))

Compiler

Compiled 48 to 37 computations (22.9% saved)

localize5.0ms (0.2%)

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

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize62.0ms (3.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(pow.f64 (*.f64 x y) 4)
✓	0.6b	(!=.f64 (pow.f64 y 4) 0)
✓	1.7b	(-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8))
✓	47.1b	(/.f64 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)) (pow.f64 y 4))

Compiler

Compiled 84 to 54 computations (35.7% saved)

series7.0ms (0.4%)

Counts

4 → 72

Calls

21 calls:

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

rewrite62.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1032×	`rational_best-simplify-113`
646×	`rational_best-simplify-111`
550×	`rational_best-simplify-96`
536×	`rational_best-simplify-61`
534×	`rational_best-simplify-117`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	88
1	50	88
2	261	88
3	1643	88

Stop Event

1×	node limit

Counts

4 → 44

Calls

Call 1

Inputs
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)) (pow.f64 y 4))
(-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8))
(!=.f64 (pow.f64 y 4) 0)
(pow.f64 (*.f64 x y) 4)

Outputs
()
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 x y) 4) (neg.f64 (pow.f64 y 8)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (pow.f64 y 8)) (pow.f64 (.f64 x y) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (pow.f64 y 8)) (+.f64 (pow.f64 (.f64 x y) 4) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (pow.f64 y 8)) (+.f64 0 (pow.f64 (.f64 x y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 y 4) (-.f64 (neg.f64 (pow.f64 y 4)) (neg.f64 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 y 4) (.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 y 4) (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)) (pow.f64 y 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (pow.f64 y 8)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 y 8) (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))) (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (-.f64 (pow.f64 y 8) (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) (-.f64 (pow.f64 y 8) (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))) (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4))))) (+.f64 (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1) (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 1 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8))) (.f64 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))) (-.f64 1 (.f64 1 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 -2 (-.f64 (pow.f64 y 8) (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))))) (.f64 (-.f64 (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (pow.f64 y 8)) (-.f64 (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (pow.f64 y 8)))) (-.f64 4 (.f64 -2 (-.f64 (pow.f64 y 8) (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1) (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4))))) (.f64 (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))) (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))))) (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1) (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1)) (.f64 (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1) (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x y) 8) (pow.f64 y 16)) (+.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8))) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 y 8) 0) (/.f64 (-.f64 (.f64 (pow.f64 x 4) (pow.f64 y 12)) (pow.f64 y 16)) (pow.f64 y 8)) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (.f64 x y) 4) 0) (/.f64 (-.f64 (pow.f64 (.f64 x y) 8) (.f64 (pow.f64 x 4) (pow.f64 y 12))) (pow.f64 (.f64 x y) 4)) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (neg.f64 (pow.f64 y 8)) (pow.f64 (.f64 x y) 4)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x y) 8) (pow.f64 y 16)) (+.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8))) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 0) (/.f64 (.f64 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8))) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8))) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (pow.f64 y 8)) 0) (/.f64 (-.f64 (.f64 (pow.f64 x 4) (pow.f64 y 12)) (pow.f64 y 16)) (pow.f64 y 8)) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (pow.f64 (.f64 x y) 4)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x y) 8) (.f64 (pow.f64 x 4) (pow.f64 y 12))) (pow.f64 (.f64 x y) 4)) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) 0)) 0) (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)))))))
()
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 (.f64 x y) 4) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (pow.f64 (.f64 x y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 y 4) (pow.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 x 4) (pow.f64 y 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (neg.f64 (pow.f64 (.f64 x y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (pow.f64 y 4)) (neg.f64 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (pow.f64 (.f64 x y) 4)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (.f64 x y) 4)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (pow.f64 (.f64 x y) 4)))))))

simplify82.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

1246×	`rational_best-simplify-61`
882×	`rational_best-simplify-3`
720×	`rational_best-simplify-53`
662×	`rational_best-simplify-56`
546×	`rational_best-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	131	2486
1	705	2486
2	4694	2486

Stop Event

1×	node limit

Counts

116 → 59

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 -1 (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(*.f64 -1 (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(*.f64 -1 (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(+.f64 (pow.f64 (*.f64 x y) 4) (neg.f64 (pow.f64 y 8)))
(+.f64 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)) 0)
(+.f64 0 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)))
(+.f64 (neg.f64 (pow.f64 y 8)) (pow.f64 (*.f64 x y) 4))
(+.f64 (neg.f64 (pow.f64 y 8)) (+.f64 (pow.f64 (*.f64 x y) 4) 0))
(+.f64 (neg.f64 (pow.f64 y 8)) (+.f64 0 (pow.f64 (*.f64 x y) 4)))
(.f64 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) 1)
(*.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(*.f64 (pow.f64 y 4) (-.f64 (neg.f64 (pow.f64 y 4)) (neg.f64 (pow.f64 x 4))))
(.f64 (pow.f64 y 4) (.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4))))
(.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) -1)
(.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))
(*.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(*.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (pow.f64 y 4))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)) 1)
(/.f64 (-.f64 (pow.f64 y 8) (pow.f64 (*.f64 x y) 4)) -1)
(/.f64 (-.f64 (*.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (pow.f64 y 8)) 2)
(/.f64 (-.f64 (pow.f64 y 8) (*.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) -2)
(/.f64 (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))) (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1))
(/.f64 (+.f64 (-.f64 (pow.f64 y 8) (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) (-.f64 (pow.f64 y 8) (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))))) -4)
(/.f64 (+.f64 (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))) (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4))))) (+.f64 (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1) (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1)))
(/.f64 (-.f64 (.f64 1 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8))) (.f64 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))) (-.f64 1 (.f64 1 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)))))
(/.f64 (-.f64 (.f64 -2 (-.f64 (pow.f64 y 8) (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))))) (.f64 (-.f64 (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (pow.f64 y 8)) (-.f64 (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (pow.f64 y 8)))) (-.f64 4 (.f64 -2 (-.f64 (pow.f64 y 8) (*.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4))))))))
(/.f64 (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1) (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4))))) (.f64 (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))) (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))))) (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1) (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1)) (.f64 (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1) (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))))))
(pow.f64 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)) 1)
(neg.f64 (-.f64 (pow.f64 y 8) (pow.f64 (*.f64 x y) 4)))
(if (!=.f64 (+.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x y) 8) (pow.f64 y 16)) (+.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8))) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))
(if (!=.f64 (pow.f64 y 8) 0) (/.f64 (-.f64 (.f64 (pow.f64 x 4) (pow.f64 y 12)) (pow.f64 y 16)) (pow.f64 y 8)) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))
(if (!=.f64 (pow.f64 (.f64 x y) 4) 0) (/.f64 (-.f64 (pow.f64 (.f64 x y) 8) (.f64 (pow.f64 x 4) (pow.f64 y 12))) (pow.f64 (.f64 x y) 4)) (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)))
(if (!=.f64 (-.f64 (neg.f64 (pow.f64 y 8)) (pow.f64 (.f64 x y) 4)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x y) 8) (pow.f64 y 16)) (+.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8))) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))
(if (!=.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 0) (/.f64 (.f64 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8))) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8))) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))
(if (!=.f64 (neg.f64 (pow.f64 y 8)) 0) (/.f64 (-.f64 (.f64 (pow.f64 x 4) (pow.f64 y 12)) (pow.f64 y 16)) (pow.f64 y 8)) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))
(if (!=.f64 (neg.f64 (pow.f64 (.f64 x y) 4)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x y) 8) (.f64 (pow.f64 x 4) (pow.f64 y 12))) (pow.f64 (.f64 x y) 4)) (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)))
(if (!=.f64 0 0) (/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) 0)) 0) (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 x y) 4) 0)
(-.f64 0 (neg.f64 (pow.f64 (*.f64 x y) 4)))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(*.f64 (pow.f64 x 4) (pow.f64 y 4))
(.f64 -1 (neg.f64 (pow.f64 (.f64 x y) 4)))
(*.f64 (neg.f64 (pow.f64 y 4)) (neg.f64 (pow.f64 x 4)))
(.f64 (neg.f64 (pow.f64 (.f64 x y) 4)) -1)
(*.f64 (neg.f64 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(/.f64 (neg.f64 (pow.f64 (*.f64 x y) 4)) -1)
(neg.f64 (neg.f64 (pow.f64 (*.f64 x y) 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) (pow.f64 y 4))
(+.f64 (pow.f64 x 4) (*.f64 -1 (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) (pow.f64 y 4))
(pow.f64 x 4)
(+.f64 (*.f64 -1 (pow.f64 y 4)) (pow.f64 x 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) (pow.f64 y 4))
(+.f64 (*.f64 -1 (pow.f64 y 4)) (pow.f64 x 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) (pow.f64 y 4))
(+.f64 (*.f64 -1 (pow.f64 y 4)) (pow.f64 x 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) (pow.f64 y 4))
(pow.f64 x 4)
(+.f64 (*.f64 -1 (pow.f64 y 4)) (pow.f64 x 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) (pow.f64 y 4))
(+.f64 (*.f64 -1 (pow.f64 y 4)) (pow.f64 x 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) (pow.f64 y 4))
(+.f64 (pow.f64 x 4) (*.f64 -1 (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) (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) (pow.f64 y 4))
(+.f64 (pow.f64 x 4) (*.f64 -1 (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) (pow.f64 y 4))
(*.f64 -1 (pow.f64 y 8))
(neg.f64 (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(*.f64 -1 (pow.f64 y 8))
(neg.f64 (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(*.f64 -1 (pow.f64 y 8))
(neg.f64 (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(+.f64 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -1 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(+.f64 (pow.f64 (*.f64 x y) 4) (neg.f64 (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(+.f64 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)) 0)
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(+.f64 0 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(+.f64 (neg.f64 (pow.f64 y 8)) (pow.f64 (*.f64 x y) 4))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(+.f64 (neg.f64 (pow.f64 y 8)) (+.f64 (pow.f64 (*.f64 x y) 4) 0))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(+.f64 (neg.f64 (pow.f64 y 8)) (+.f64 0 (pow.f64 (*.f64 x y) 4)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(.f64 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) 1)
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(*.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(*.f64 (pow.f64 y 4) (-.f64 (neg.f64 (pow.f64 y 4)) (neg.f64 (pow.f64 x 4))))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(.f64 (pow.f64 y 4) (.f64 -1 (-.f64 (pow.f64 y 4) (pow.f64 x 4))))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) -1)
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(*.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(*.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (pow.f64 y 4))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)) 1)
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(/.f64 (-.f64 (pow.f64 y 8) (pow.f64 (*.f64 x y) 4)) -1)
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(/.f64 (-.f64 (*.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (pow.f64 y 8)) 2)
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(/.f64 (-.f64 (pow.f64 y 8) (*.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) -2)
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(/.f64 (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))) (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(/.f64 (+.f64 (-.f64 (pow.f64 y 8) (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4))))) (-.f64 (pow.f64 y 8) (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))))) -4)
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(/.f64 (+.f64 (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))) (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4))))) (+.f64 (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1) (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(/.f64 (-.f64 (.f64 1 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8))) (.f64 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))) (-.f64 1 (.f64 1 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)))))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(/.f64 (-.f64 (.f64 -2 (-.f64 (pow.f64 y 8) (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))))) (.f64 (-.f64 (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (pow.f64 y 8)) (-.f64 (.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4)))) (pow.f64 y 8)))) (-.f64 4 (.f64 -2 (-.f64 (pow.f64 y 8) (*.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 x 4))))))))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(/.f64 (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1) (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4))))) (.f64 (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))) (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))))) (-.f64 (.f64 (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1) (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1)) (.f64 (+.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 1) (.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) (-.f64 -1 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)))))))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(pow.f64 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)) 1)
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(neg.f64 (-.f64 (pow.f64 y 8) (pow.f64 (*.f64 x y) 4)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(if (!=.f64 (+.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x y) 8) (pow.f64 y 16)) (+.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8))) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(if (!=.f64 (pow.f64 y 8) 0) (/.f64 (-.f64 (.f64 (pow.f64 x 4) (pow.f64 y 12)) (pow.f64 y 16)) (pow.f64 y 8)) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))
(if (!=.f64 (pow.f64 y 8) 0) (/.f64 (-.f64 (.f64 (pow.f64 x 4) (pow.f64 y 12)) (pow.f64 y 16)) (pow.f64 y 8)) (-.f64 (pow.f64 (.f64 y x) 4) (pow.f64 y 8)))
(if (!=.f64 (pow.f64 (.f64 x y) 4) 0) (/.f64 (-.f64 (pow.f64 (.f64 x y) 8) (.f64 (pow.f64 x 4) (pow.f64 y 12))) (pow.f64 (.f64 x y) 4)) (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)))
(if (!=.f64 (pow.f64 (.f64 y x) 4) 0) (/.f64 (-.f64 (pow.f64 (.f64 y x) 8) (.f64 (pow.f64 x 4) (pow.f64 y 12))) (pow.f64 (.f64 y x) 4)) (-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8)))
(if (!=.f64 (-.f64 (neg.f64 (pow.f64 y 8)) (pow.f64 (.f64 x y) 4)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x y) 8) (pow.f64 y 16)) (+.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8))) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(if (!=.f64 (-.f64 (pow.f64 y 8) (pow.f64 (.f64 x y) 4)) 0) (/.f64 (.f64 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8))) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8))) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(if (!=.f64 (neg.f64 (pow.f64 y 8)) 0) (/.f64 (-.f64 (.f64 (pow.f64 x 4) (pow.f64 y 12)) (pow.f64 y 16)) (pow.f64 y 8)) (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)))
(if (!=.f64 (neg.f64 (pow.f64 y 8)) 0) (/.f64 (-.f64 (.f64 (pow.f64 x 4) (pow.f64 y 12)) (pow.f64 y 16)) (pow.f64 y 8)) (-.f64 (pow.f64 (.f64 y x) 4) (pow.f64 y 8)))
(if (!=.f64 (neg.f64 (pow.f64 (.f64 x y) 4)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x y) 8) (.f64 (pow.f64 x 4) (pow.f64 y 12))) (pow.f64 (.f64 x y) 4)) (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)))
(if (!=.f64 (neg.f64 (pow.f64 (.f64 y x) 4)) 0) (/.f64 (-.f64 (pow.f64 (.f64 y x) 8) (.f64 (pow.f64 x 4) (pow.f64 y 12))) (pow.f64 (.f64 y x) 4)) (-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8)))
(if (!=.f64 0 0) (/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 (.f64 x y) 4) (pow.f64 y 8)) 0)) 0) (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)))
(-.f64 (pow.f64 (*.f64 y x) 4) (pow.f64 y 8))
(-.f64 (pow.f64 (*.f64 x y) 4) 0)
(pow.f64 (*.f64 y x) 4)
(-.f64 0 (neg.f64 (pow.f64 (*.f64 x y) 4)))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 y 4) (pow.f64 x 4))
(pow.f64 (*.f64 y x) 4)
(*.f64 (pow.f64 x 4) (pow.f64 y 4))
(pow.f64 (*.f64 y x) 4)
(.f64 -1 (neg.f64 (pow.f64 (.f64 x y) 4)))
(pow.f64 (*.f64 y x) 4)
(*.f64 (neg.f64 (pow.f64 y 4)) (neg.f64 (pow.f64 x 4)))
(pow.f64 (*.f64 y x) 4)
(.f64 (neg.f64 (pow.f64 (.f64 x y) 4)) -1)
(pow.f64 (*.f64 y x) 4)
(*.f64 (neg.f64 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(pow.f64 (*.f64 y x) 4)
(/.f64 (neg.f64 (pow.f64 (*.f64 x y) 4)) -1)
(pow.f64 (*.f64 y x) 4)
(neg.f64 (neg.f64 (pow.f64 (*.f64 x y) 4)))
(pow.f64 (*.f64 y x) 4)

eval94.0ms (5%)

Compiler: Compiled 2293 to 1637 computations (28.6% saved)

prune10.0ms (0.5%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	68	4	72

Error

0.0b

Counts

72 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	11.4b	(if (!=.f64 (pow.f64 y 4) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))
✓	20.1b	(pow.f64 x 4)
✓	0.0b	(-.f64 (pow.f64 x 4) (pow.f64 y 4))
✓	20.0b	(neg.f64 (pow.f64 y 4))

Compiler

Compiled 48 to 37 computations (22.9% saved)

regimes17.0ms (0.9%)

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))
(if (!=.f64 (pow.f64 y 4) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x y) 4) (pow.f64 y 8)) (pow.f64 y 4)) (-.f64 (pow.f64 x 4) (pow.f64 y 4)))

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

Calls

5 calls:

4.0ms	y
3.0ms	x
3.0ms	(pow.f64 x 4)
3.0ms	(-.f64 (pow.f64 x 4) (pow.f64 y 4))
2.0ms	(pow.f64 y 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 67 to 50 computations (25.4% saved)

regimes28.0ms (1.5%)

Accuracy

Total -35.5b remaining (-775.5%)

Threshold costs -35.5b (-775.5%)

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	x
8.0ms	y
5.0ms	(pow.f64 y 4)
4.0ms	(pow.f64 x 4)

Results

Error	Segments	Branch
4.6b	3	`x`
5.1b	3	`y`
4.8b	2	`(pow.f64 x 4)`
5.5b	2	`(pow.f64 y 4)`

Compiler

Compiled 25 to 19 computations (24% saved)

bsearch23.0ms (1.2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
9.0ms	2.4135090737249987e-70	4.362165965973749e-70
14.0ms	-5.428840865611018e-74	-9.399420582510807e-76

Results

20.0ms

176×

body

256

valid

Compiler

Compiled 157 to 132 computations (15.9% 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 -3055553964501729/1018517988167243043134222844204689080525734196832968125318070224677190649881668353091698688) (pow.f64 x 4) (if (<=.f64 x 3807631028762429/15541351137805832567355695254588151253139254712417116170014499277911234281641667985408) (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 -3055553964501729/1018517988167243043134222844204689080525734196832968125318070224677190649881668353091698688) (pow.f64 x 4) (if (<=.f64 x 3807631028762429/15541351137805832567355695254588151253139254712417116170014499277911234281641667985408) (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%)

end29.0ms (1.5%)

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

Details

analyze75.0ms (4%)

sample1.1s (56.8%)

preprocess41.0ms (2.2%)

simplify99.0ms (5.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.4%)

series4.0ms (0.2%)

rewrite83.0ms (4.4%)

simplify58.0ms (3.1%)

eval15.0ms (0.8%)

prune9.0ms (0.5%)

localize5.0ms (0.2%)

localize3.0ms (0.2%)

localize62.0ms (3.3%)

series7.0ms (0.4%)

rewrite62.0ms (3.3%)

simplify82.0ms (4.3%)

eval94.0ms (5%)

prune10.0ms (0.5%)

regimes17.0ms (0.9%)

regimes28.0ms (1.5%)

bsearch23.0ms (1.2%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end29.0ms (1.5%)

Profiling