Details

analyze160.0ms (7.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
12.5%	87.4%	0.1%	6
50%	50%	0.1%	7
62.4%	37.5%	0.1%	8
76.1%	23.8%	0.1%	9
81.8%	18.1%	0.1%	10
87.7%	12.2%	0.1%	11
90.7%	9.2%	0.1%	12
93.7%	6.2%	0.1%	13
95.3%	4.6%	0.1%	14

Compiler

Compiled 22 to 13 computations (40.9% saved)

sample979.0ms (47.5%)

Results

968.0ms

8256×

body

128

valid

preprocess42.0ms (2%)

Algorithm

2×	egg-herbie

Rules

968×	`fma-def_binary64`
834×	`fma-neg_binary64`
302×	`cancel-sign-sub-inv_binary64`
287×	`div-sub_binary64`
232×	`associate-/l*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	52
1	44	48
2	102	48
3	217	48
4	462	48
5	889	48
6	1477	48
7	2476	48
8	4351	48
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

Outputs
(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (fma.f64 x x (.f64 y (*.f64 y 4))))
(/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4))))
(/.f64 (fma.f64 x x (.f64 (.f64 y y) -4)) (fma.f64 x x (.f64 y (.f64 y 4))))
(/.f64 (fma.f64 y (.f64 y -4) (.f64 x x)) (fma.f64 x x (.f64 y (.f64 y 4))))
(/.f64 (fma.f64 (.f64 y y) -4 (.f64 x x)) (fma.f64 4 (.f64 y y) (.f64 x x)))
(/.f64 (-.f64 (.f64 y y) (.f64 (.f64 x 4) x)) (+.f64 (.f64 y y) (.f64 (.f64 x 4) x)))
(/.f64 (fma.f64 y y (neg.f64 (.f64 x (.f64 x 4)))) (fma.f64 y y (.f64 x (.f64 x 4))))
(/.f64 (fma.f64 y y (.f64 x (.f64 x -4))) (fma.f64 x (.f64 x 4) (.f64 y y)))
(/.f64 (fma.f64 x (.f64 x -4) (.f64 y y)) (fma.f64 x (.f64 x 4) (.f64 y y)))
(/.f64 (fma.f64 x (.f64 x -4) (.f64 y y)) (fma.f64 (.f64 x x) 4 (.f64 y y)))

Compiler

Compiled 21 to 12 computations (42.9% saved)

simplify30.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

620×	`fma-def_binary64`
456×	`cancel-sign-sub-inv_binary64`
430×	`times-frac_binary64`
358×	`div-sub_binary64`
252×	`distribute-frac-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	26
1	24	24
2	56	24
3	114	24
4	240	24
5	457	24
6	723	24
7	987	24
8	1607	24
9	3745	24

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

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

Outputs
(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (fma.f64 x x (.f64 y (*.f64 y 4))))
(/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4))))
(/.f64 (fma.f64 x x (.f64 -4 (.f64 y y))) (fma.f64 4 (.f64 y y) (.f64 x x)))
(/.f64 (fma.f64 x x (.f64 -4 (.f64 y y))) (fma.f64 x x (.f64 y (.f64 y 4))))

prune3.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

32.8b

Counts

3 → 2

Alt Table

Status	Error	Program
	33.1b	(/.f64 (fma.f64 x x (.f64 -4 (.f64 y y))) (fma.f64 x x (.f64 y (.f64 y 4))))
▶	32.8b	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))

Compiler

Compiled 118 to 67 computations (43.2% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series12.0ms (0.6%)

Counts

2 → 48

Calls

12 calls:

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

rewrite80.0ms (3.9%)

Algorithm

1×	batch-egg-rewrite

Rules

450×	`fma-def_binary64`
230×	`fma-neg_binary64`
208×	`expm1-udef_binary64`
208×	`log1p-udef_binary64`
169×	`log-pow_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	39
1	237	35
2	3409	35

Stop Event

1×	node limit

Counts

2 → 213

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 x (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) x)) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) x)) (/.f64 y (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 x x (.f64 y (.f64 y -4))) (/.f64 1 (fma.f64 x x (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2)) (.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y -4)))) (/.f64 1 (fma.f64 x x (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4))))) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4))))) 2) (cbrt.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) (.f64 (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) (/.f64 1 (fma.f64 x x (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4))))) (sqrt.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (fma.f64 x x (.f64 y (.f64 y -4)))) (/.f64 1 (fma.f64 y (.f64 y -4) (neg.f64 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (fma.f64 x x (.f64 y (.f64 y 4)))) (fma.f64 x x (.f64 y (.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y 4))) 2))) (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y 4))))) (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2)) 1) (/.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y -4)))) (fma.f64 x x (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) 1) (/.f64 (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) (fma.f64 x x (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2)) (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y 4))) 2))) (cbrt.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y 4))) 2))) (/.f64 (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2)) (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y 4))))) (/.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y -4)))) (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2))) (fma.f64 x x (.f64 y (.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (+.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y 4)) 3))) (fma.f64 (.f64 y (.f64 y 4)) (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (fma.f64 x x (.f64 y (.f64 y -4)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 y (.f64 y -4) (neg.f64 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 3) (pow.f64 (fma.f64 x x (.f64 y (.f64 y 4))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (/.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 x x (.f64 y (.f64 y 4))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x x) (/.f64 1 (fma.f64 x x (.f64 y (.f64 y 4)))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (/.f64 x (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) x)) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (/.f64 x (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) x))) (cbrt.f64 (/.f64 x (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) x)))) (cbrt.f64 (/.f64 x (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) x))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 x (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) x))) (sqrt.f64 (/.f64 x (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) x))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1 (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y 4))) 2))) (/.f64 (.f64 x x) (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y 4))))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y 4))))) (/.f64 (.f64 x x) (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y 4))))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x 1) (/.f64 x (fma.f64 x x (.f64 y (.f64 y 4)))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (cbrt.f64 (pow.f64 x 4)) 1) (/.f64 (pow.f64 (cbrt.f64 x) 2) (fma.f64 x x (.f64 y (.f64 y 4)))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y 4))) 2))) (/.f64 x (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y 4))))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y 4))) 2))) (/.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y 4))))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y 4))))) (/.f64 x (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y 4))))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (cbrt.f64 (pow.f64 x 4)) (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y 4))))) (/.f64 (pow.f64 (cbrt.f64 x) 2) (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y 4))))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (.f64 x x) (+.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y 4)) 3))) (fma.f64 (.f64 y (.f64 y 4)) (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (pow.f64 x 4)) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (.f64 x x) (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2))) (fma.f64 x x (.f64 y (.f64 y -4))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (.f64 y 4)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x x) (.f64 y (.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x x) (.f64 (.f64 y (.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x x) (fma.f64 y (.f64 y -4) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 (.f64 y (.f64 y -4)) 1 (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 y (.f64 y 4)))) (pow.f64 (cbrt.f64 (.f64 y (.f64 y 4))) 2) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (+.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) (fma.f64 x x (.f64 y (.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y (.f64 y -4)) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 x x (.f64 y (.f64 y -4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 x x (.f64 y (.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y -4)))) (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2)) (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y -4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y 4)) 3)) (/.f64 1 (fma.f64 (.f64 y (.f64 y 4)) (fma.f64 x x (.f64 y (.f64 y 4))) (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (/.f64 1 (fma.f64 x x (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x (sqrt.f64 (.f64 y (.f64 y 4)))) (-.f64 x (sqrt.f64 (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2))) (fma.f64 x x (.f64 y (.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (+.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y 4)) 3))) (fma.f64 (.f64 y (.f64 y 4)) (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (.f64 y (.f64 y 4)) (fma.f64 x x (.f64 y (.f64 y 4))) (pow.f64 x 4)) (-.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y 4)) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 x x (.f64 y (.f64 y 4))) (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y 4)) 3)) (fma.f64 (.f64 y (.f64 y 4)) (fma.f64 x x (.f64 y (.f64 y 4))) (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (fma.f64 x x (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2))) (fma.f64 y (.f64 y -4) (neg.f64 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y 4)) 3))) (neg.f64 (fma.f64 (.f64 y (.f64 y 4)) (fma.f64 x x (.f64 y (.f64 y 4))) (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y -4)) 3)) (+.f64 (pow.f64 x 4) (-.f64 (.f64 (.f64 y (.f64 y -4)) (.f64 y (.f64 y -4))) (.f64 (.f64 x x) (.f64 y (.f64 y -4))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 3) (pow.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) 3)) (+.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2) (-.f64 (.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))) (.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 4) (.f64 (.f64 y (.f64 y -4)) (.f64 y (.f64 y -4)))) (-.f64 (.f64 x x) (.f64 y (.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2) (.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))) (-.f64 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) 1) (fma.f64 x x (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y 4))) 2))) (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y 4))))) (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y -4)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x x (.f64 y (.f64 y -4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 x x (.f64 y (.f64 y -4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (+.f64 1 (expm1.f64 (.f64 x x))) (pow.f64 (exp.f64 y) (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (pow.f64 (exp.f64 x) x) (+.f64 1 (expm1.f64 (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (+.f64 1 (expm1.f64 (.f64 x x))) (+.f64 1 (expm1.f64 (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x x))) (exp.f64 (.f64 y (.f64 y -4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (pow.f64 (exp.f64 x) x) (/.f64 1 (pow.f64 (exp.f64 y) (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x x))) (/.f64 1 (pow.f64 (exp.f64 y) (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (fma.f64 x x (.f64 y (.f64 y -4))))) (exp.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))) (exp.f64 (fma.f64 x x (.f64 y (.f64 y -4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))) (+.f64 1 (expm1.f64 (fma.f64 x x (.f64 y (.f64 y -4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (.f64 y (.f64 y -4))) (pow.f64 (exp.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (/.f64 1 (pow.f64 (exp.f64 y) (.f64 y 4))) (pow.f64 (exp.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (.f64 y (.f64 y -4))) (+.f64 1 (expm1.f64 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (/.f64 1 (pow.f64 (exp.f64 y) (.f64 y 4))) (+.f64 1 (expm1.f64 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x x (.f64 y (.f64 y -4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x x (.f64 y (.f64 y -4)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x x (.f64 y (.f64 y -4)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 x x (.f64 y (.f64 y -4)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (.f64 y (.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (.f64 (.f64 y (.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (fma.f64 y (.f64 y -4) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (neg.f64 (-.f64 (.f64 y (.f64 y 4)) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x x) 1 (.f64 y (.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x x) 1 (.f64 (.f64 y (.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x x) 1 (fma.f64 y (.f64 y -4) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x x) 1 (neg.f64 (-.f64 (.f64 y (.f64 y 4)) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y (.f64 y -4) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 y 4) (neg.f64 y) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 1 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 1 (fma.f64 (.f64 y (.f64 y -4)) 1 (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 1 (fma.f64 (neg.f64 (cbrt.f64 (.f64 y (.f64 y 4)))) (pow.f64 (cbrt.f64 (.f64 y (.f64 y 4))) 2) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 1 (.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 1 (+.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 x x) (.f64 y (.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 x x) (.f64 (.f64 y (.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 x x) (fma.f64 y (.f64 y -4) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 x x) (neg.f64 (-.f64 (.f64 y (.f64 y 4)) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 (.f64 y (.f64 y -4)) 1 (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 y (.f64 y 4)))) (pow.f64 (cbrt.f64 (.f64 y (.f64 y 4))) 2) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 x x (.f64 y (.f64 y -4))) (.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 x x (.f64 y (.f64 y -4))) (+.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) (fma.f64 x x (.f64 y (.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 y (.f64 y -4)) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y -4)))) (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2)) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y -4)))) (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2)) (fma.f64 (.f64 y (.f64 y -4)) 1 (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y -4)))) (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 y (.f64 y 4)))) (pow.f64 (cbrt.f64 (.f64 y (.f64 y 4))) 2) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y -4)))) (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2)) (.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y -4)))) (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2)) (+.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2)) (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y -4)))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2)) (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y -4)))) (fma.f64 (.f64 y (.f64 y -4)) 1 (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2)) (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y -4)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 y (.f64 y 4)))) (pow.f64 (cbrt.f64 (.f64 y (.f64 y 4))) 2) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2)) (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y -4)))) (.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (.f64 y (.f64 y -4))) 2)) (cbrt.f64 (fma.f64 x x (.f64 y (.f64 y -4)))) (+.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (pow.f64 x 4)) (.f64 y (.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (pow.f64 x 4)) (.f64 (.f64 y (.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (pow.f64 x 4)) (fma.f64 y (.f64 y -4) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (pow.f64 x 4)) (neg.f64 (-.f64 (.f64 y (.f64 y 4)) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) x) (.f64 y (.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) x) (.f64 (.f64 y (.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) x) (fma.f64 y (.f64 y -4) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) x) (neg.f64 (-.f64 (.f64 y (.f64 y 4)) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) (.f64 y (.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) (.f64 (.f64 y (.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) (fma.f64 y (.f64 y -4) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) (neg.f64 (-.f64 (.f64 y (.f64 y 4)) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 y 4))) 2) (neg.f64 (cbrt.f64 (.f64 y (.f64 y 4)))) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) (fma.f64 (.f64 y (.f64 y -4)) 1 (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 y (.f64 y 4)))) (pow.f64 (cbrt.f64 (.f64 y (.f64 y 4))) 2) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) (.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) (hypot.f64 x (sqrt.f64 (.f64 y (.f64 y -4)))) (+.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) x) (.f64 y (.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) x) (.f64 (.f64 y (.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) x) (fma.f64 y (.f64 y -4) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) x) (neg.f64 (-.f64 (.f64 y (.f64 y 4)) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 y (.f64 y 4))) (neg.f64 (sqrt.f64 (.f64 y (.f64 y 4)))) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 y) (.f64 y 4) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y 4)) 3)) (/.f64 1 (fma.f64 (.f64 y (.f64 y 4)) (fma.f64 x x (.f64 y (.f64 y 4))) (pow.f64 x 4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y 4)) 3)) (/.f64 1 (fma.f64 (.f64 y (.f64 y 4)) (fma.f64 x x (.f64 y (.f64 y 4))) (pow.f64 x 4))) (fma.f64 (.f64 y (.f64 y -4)) 1 (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y 4)) 3)) (/.f64 1 (fma.f64 (.f64 y (.f64 y 4)) (fma.f64 x x (.f64 y (.f64 y 4))) (pow.f64 x 4))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 y (.f64 y 4)))) (pow.f64 (cbrt.f64 (.f64 y (.f64 y 4))) 2) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y 4)) 3)) (/.f64 1 (fma.f64 (.f64 y (.f64 y 4)) (fma.f64 x x (.f64 y (.f64 y 4))) (pow.f64 x 4))) (.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y 4)) 3)) (/.f64 1 (fma.f64 (.f64 y (.f64 y 4)) (fma.f64 x x (.f64 y (.f64 y 4))) (pow.f64 x 4))) (+.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (/.f64 1 (fma.f64 x x (.f64 y (.f64 y 4)))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (/.f64 1 (fma.f64 x x (.f64 y (.f64 y 4)))) (fma.f64 (.f64 y (.f64 y -4)) 1 (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (/.f64 1 (fma.f64 x x (.f64 y (.f64 y 4)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 y (.f64 y 4)))) (pow.f64 (cbrt.f64 (.f64 y (.f64 y 4))) 2) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (/.f64 1 (fma.f64 x x (.f64 y (.f64 y 4)))) (.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (/.f64 1 (fma.f64 x x (.f64 y (.f64 y 4)))) (+.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 y -4) y (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (sqrt.f64 x)) (sqrt.f64 x) (.f64 y (.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (sqrt.f64 x)) (sqrt.f64 x) (.f64 (.f64 y (.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (sqrt.f64 x)) (sqrt.f64 x) (fma.f64 y (.f64 y -4) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (sqrt.f64 x)) (sqrt.f64 x) (neg.f64 (-.f64 (.f64 y (.f64 y 4)) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))) (cbrt.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))) (cbrt.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))) (fma.f64 x x (.f64 y (.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (.f64 y (.f64 y -4))) (cbrt.f64 (.f64 y (.f64 y -4)))) (cbrt.f64 (.f64 y (.f64 y -4))) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))) (sqrt.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))) (fma.f64 x x (.f64 y (.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 y (.f64 y -4))) (sqrt.f64 (.f64 y (.f64 y -4))) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 (sqrt.f64 (.f64 y (.f64 y 4)))) (sqrt.f64 (.f64 y (.f64 y 4))) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1 (.f64 y (.f64 y 4)) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 x (sqrt.f64 (.f64 y (.f64 y 4)))) (-.f64 x (sqrt.f64 (.f64 y (.f64 y 4)))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 x (sqrt.f64 (.f64 y (.f64 y 4)))) (-.f64 x (sqrt.f64 (.f64 y (.f64 y 4)))) (fma.f64 (.f64 y (.f64 y -4)) 1 (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 x (sqrt.f64 (.f64 y (.f64 y 4)))) (-.f64 x (sqrt.f64 (.f64 y (.f64 y 4)))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 y (.f64 y 4)))) (pow.f64 (cbrt.f64 (.f64 y (.f64 y 4))) 2) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 x (sqrt.f64 (.f64 y (.f64 y 4)))) (-.f64 x (sqrt.f64 (.f64 y (.f64 y 4)))) (.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 x (sqrt.f64 (.f64 y (.f64 y 4)))) (-.f64 x (sqrt.f64 (.f64 y (.f64 y 4)))) (+.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 y 4))) 2)) (cbrt.f64 (.f64 y (.f64 y 4))) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2))) (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2))) (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 (.f64 y (.f64 y -4)) 1 (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2))) (fma.f64 x x (.f64 y (.f64 y -4))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 y (.f64 y 4)))) (pow.f64 (cbrt.f64 (.f64 y (.f64 y 4))) 2) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2))) (fma.f64 x x (.f64 y (.f64 y -4))) (.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2))) (fma.f64 x x (.f64 y (.f64 y -4))) (+.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (+.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y 4)) 3))) (fma.f64 (.f64 y (.f64 y 4)) (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (pow.f64 x 4)) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (+.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y 4)) 3))) (fma.f64 (.f64 y (.f64 y 4)) (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (pow.f64 x 4)) (fma.f64 (.f64 y (.f64 y -4)) 1 (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (+.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y 4)) 3))) (fma.f64 (.f64 y (.f64 y 4)) (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (pow.f64 x 4)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 y (.f64 y 4)))) (pow.f64 (cbrt.f64 (.f64 y (.f64 y 4))) 2) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (+.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y 4)) 3))) (fma.f64 (.f64 y (.f64 y 4)) (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (pow.f64 x 4)) (.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (.f64 y (.f64 y 4)) 2)) (+.f64 (pow.f64 x 6) (pow.f64 (.f64 y (.f64 y 4)) 3))) (fma.f64 (.f64 y (.f64 y 4)) (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (pow.f64 x 4)) (+.f64 (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 y -4) 1) y (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 y -4) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 y -4) (sqrt.f64 y)) (sqrt.f64 y) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (.f64 y (.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (.f64 (.f64 y (.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (fma.f64 y (.f64 y -4) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (neg.f64 (-.f64 (.f64 y (.f64 y 4)) (fma.f64 y (.f64 y -4) (.f64 y (.f64 y 4))))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 x (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) x)) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) x)) (/.f64 y (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (/.f64 1 (fma.f64 x x (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2)) (*.f64 (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))) (/.f64 1 (fma.f64 x x (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4))))) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4))))) 2) (cbrt.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) (*.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) (/.f64 1 (fma.f64 x x (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4))))) (sqrt.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))) (/.f64 1 (fma.f64 y (*.f64 y -4) (neg.f64 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (fma.f64 x x (*.f64 y (*.f64 y 4)))) (fma.f64 x x (*.f64 y (*.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) 2))) (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4))))) (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2)) 1) (/.f64 (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))) (fma.f64 x x (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) 1) (/.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) (fma.f64 x x (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2)) (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) 2))) (cbrt.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) 2))) (/.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2)) (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4))))) (/.f64 (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))) (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2))) (fma.f64 x x (*.f64 y (*.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y 4)) 3))) (fma.f64 (*.f64 y (*.f64 y 4)) (-.f64 (*.f64 y (*.f64 y 4)) (*.f64 x x)) (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (fma.f64 x x (*.f64 y (*.f64 y -4)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 y (*.f64 y -4) (neg.f64 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 3) (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 x x (*.f64 y (*.f64 y 4))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) (/.f64 1 (fma.f64 x x (*.f64 y (*.f64 y 4)))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (/.f64 x (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) x)) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 (/.f64 x (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) x))) (cbrt.f64 (/.f64 x (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) x)))) (cbrt.f64 (/.f64 x (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) x))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 x (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) x))) (sqrt.f64 (/.f64 x (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) x))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1 (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) 2))) (/.f64 (*.f64 x x) (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4))))) (/.f64 (*.f64 x x) (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4))))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x 1) (/.f64 x (fma.f64 x x (*.f64 y (*.f64 y 4)))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (cbrt.f64 (pow.f64 x 4)) 1) (/.f64 (pow.f64 (cbrt.f64 x) 2) (fma.f64 x x (*.f64 y (*.f64 y 4)))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) 2))) (/.f64 x (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) 2))) (/.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4))))) (/.f64 x (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4))))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (cbrt.f64 (pow.f64 x 4)) (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4))))) (/.f64 (pow.f64 (cbrt.f64 x) 2) (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4))))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (*.f64 x x) (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y 4)) 3))) (fma.f64 (*.f64 y (*.f64 y 4)) (-.f64 (*.f64 y (*.f64 y 4)) (*.f64 x x)) (pow.f64 x 4)) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (*.f64 x x) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2))) (fma.f64 x x (*.f64 y (*.f64 y -4))) (neg.f64 (/.f64 y (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (*.f64 y 4)))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x x) (*.f64 y (*.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x x) (*.f64 (*.f64 y (*.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x x) (fma.f64 y (*.f64 y -4) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 (*.f64 y (*.f64 y -4)) 1 (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 y 4)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y 4))) 2) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (*.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (+.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) (fma.f64 x x (*.f64 y (*.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 y -4)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 x x (*.f64 y (*.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))) (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2)) (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y 4)) 3)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 y 4)) (fma.f64 x x (*.f64 y (*.f64 y 4))) (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (/.f64 1 (fma.f64 x x (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4)))) (-.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2))) (fma.f64 x x (*.f64 y (*.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y 4)) 3))) (fma.f64 (*.f64 y (*.f64 y 4)) (-.f64 (*.f64 y (*.f64 y 4)) (*.f64 x x)) (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (*.f64 y (*.f64 y 4)) (fma.f64 x x (*.f64 y (*.f64 y 4))) (pow.f64 x 4)) (-.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y 4)) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y 4)) 3)) (fma.f64 (*.f64 y (*.f64 y 4)) (fma.f64 x x (*.f64 y (*.f64 y 4))) (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (fma.f64 x x (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2))) (fma.f64 y (*.f64 y -4) (neg.f64 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y 4)) 3))) (neg.f64 (fma.f64 (*.f64 y (*.f64 y 4)) (fma.f64 x x (*.f64 y (*.f64 y 4))) (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y -4)) 3)) (+.f64 (pow.f64 x 4) (-.f64 (*.f64 (*.f64 y (*.f64 y -4)) (*.f64 y (*.f64 y -4))) (*.f64 (*.f64 x x) (*.f64 y (*.f64 y -4))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 3) (pow.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) 3)) (+.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2) (-.f64 (*.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))) (*.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 4) (*.f64 (*.f64 y (*.f64 y -4)) (*.f64 y (*.f64 y -4)))) (-.f64 (*.f64 x x) (*.f64 y (*.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2) (*.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))) (-.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) 1) (fma.f64 x x (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y 4))) 2))) (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4))))) (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (pow.f64 (exp.f64 y) (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (pow.f64 (exp.f64 x) x) (+.f64 1 (expm1.f64 (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (+.f64 1 (expm1.f64 (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (exp.f64 (*.f64 y (*.f64 y -4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (exp.f64 x) x) (/.f64 1 (pow.f64 (exp.f64 y) (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x x))) (/.f64 1 (pow.f64 (exp.f64 y) (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))))) (exp.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))) (exp.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))) (+.f64 1 (expm1.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (*.f64 y (*.f64 y -4))) (pow.f64 (exp.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (/.f64 1 (pow.f64 (exp.f64 y) (*.f64 y 4))) (pow.f64 (exp.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (*.f64 y (*.f64 y -4))) (+.f64 1 (expm1.f64 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (/.f64 1 (pow.f64 (exp.f64 y) (*.f64 y 4))) (+.f64 1 (expm1.f64 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (*.f64 y (*.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (*.f64 (*.f64 y (*.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (fma.f64 y (*.f64 y -4) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (neg.f64 (-.f64 (*.f64 y (*.f64 y 4)) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) 1 (*.f64 y (*.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) 1 (*.f64 (*.f64 y (*.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) 1 (fma.f64 y (*.f64 y -4) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) 1 (neg.f64 (-.f64 (*.f64 y (*.f64 y 4)) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y (*.f64 y -4) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y 4) (neg.f64 y) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 1 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 1 (fma.f64 (*.f64 y (*.f64 y -4)) 1 (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 1 (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 y 4)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y 4))) 2) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 1 (*.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 1 (+.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x x) (*.f64 y (*.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x x) (*.f64 (*.f64 y (*.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x x) (fma.f64 y (*.f64 y -4) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x x) (neg.f64 (-.f64 (*.f64 y (*.f64 y 4)) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 (*.f64 y (*.f64 y -4)) 1 (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 y 4)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y 4))) 2) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 x x (*.f64 y (*.f64 y -4))) (*.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 x x (*.f64 y (*.f64 y -4))) (+.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) (fma.f64 x x (*.f64 y (*.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 y (*.f64 y -4)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))) (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2)) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))) (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2)) (fma.f64 (*.f64 y (*.f64 y -4)) 1 (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))) (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 y 4)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y 4))) 2) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))) (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2)) (*.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))) (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2)) (+.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2)) (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2)) (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))) (fma.f64 (*.f64 y (*.f64 y -4)) 1 (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2)) (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 y 4)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y 4))) 2) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2)) (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))) (*.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (fma.f64 x x (*.f64 y (*.f64 y -4))) 2)) (cbrt.f64 (fma.f64 x x (*.f64 y (*.f64 y -4)))) (+.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (pow.f64 x 4)) (*.f64 y (*.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (pow.f64 x 4)) (*.f64 (*.f64 y (*.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (pow.f64 x 4)) (fma.f64 y (*.f64 y -4) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (pow.f64 x 4)) (neg.f64 (-.f64 (*.f64 y (*.f64 y 4)) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) x) (*.f64 y (*.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) x) (*.f64 (*.f64 y (*.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) x) (fma.f64 y (*.f64 y -4) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) x) (neg.f64 (-.f64 (*.f64 y (*.f64 y 4)) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) (*.f64 y (*.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) (*.f64 (*.f64 y (*.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) (fma.f64 y (*.f64 y -4) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) (neg.f64 (-.f64 (*.f64 y (*.f64 y 4)) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y 4))) 2) (neg.f64 (cbrt.f64 (*.f64 y (*.f64 y 4)))) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) (fma.f64 (*.f64 y (*.f64 y -4)) 1 (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 y 4)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y 4))) 2) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) (*.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) (hypot.f64 x (sqrt.f64 (*.f64 y (*.f64 y -4)))) (+.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) x) (*.f64 y (*.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) x) (*.f64 (*.f64 y (*.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) x) (fma.f64 y (*.f64 y -4) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) x) (neg.f64 (-.f64 (*.f64 y (*.f64 y 4)) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 y (*.f64 y 4))) (neg.f64 (sqrt.f64 (*.f64 y (*.f64 y 4)))) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 y) (*.f64 y 4) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y 4)) 3)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 y 4)) (fma.f64 x x (*.f64 y (*.f64 y 4))) (pow.f64 x 4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y 4)) 3)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 y 4)) (fma.f64 x x (*.f64 y (*.f64 y 4))) (pow.f64 x 4))) (fma.f64 (*.f64 y (*.f64 y -4)) 1 (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y 4)) 3)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 y 4)) (fma.f64 x x (*.f64 y (*.f64 y 4))) (pow.f64 x 4))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 y 4)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y 4))) 2) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y 4)) 3)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 y 4)) (fma.f64 x x (*.f64 y (*.f64 y 4))) (pow.f64 x 4))) (*.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y 4)) 3)) (/.f64 1 (fma.f64 (*.f64 y (*.f64 y 4)) (fma.f64 x x (*.f64 y (*.f64 y 4))) (pow.f64 x 4))) (+.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (/.f64 1 (fma.f64 x x (*.f64 y (*.f64 y 4)))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (/.f64 1 (fma.f64 x x (*.f64 y (*.f64 y 4)))) (fma.f64 (*.f64 y (*.f64 y -4)) 1 (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (/.f64 1 (fma.f64 x x (*.f64 y (*.f64 y 4)))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 y 4)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y 4))) 2) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (/.f64 1 (fma.f64 x x (*.f64 y (*.f64 y 4)))) (*.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (/.f64 1 (fma.f64 x x (*.f64 y (*.f64 y 4)))) (+.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y -4) y (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (sqrt.f64 x)) (sqrt.f64 x) (*.f64 y (*.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (sqrt.f64 x)) (sqrt.f64 x) (*.f64 (*.f64 y (*.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (sqrt.f64 x)) (sqrt.f64 x) (fma.f64 y (*.f64 y -4) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (sqrt.f64 x)) (sqrt.f64 x) (neg.f64 (-.f64 (*.f64 y (*.f64 y 4)) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))) (cbrt.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))) (cbrt.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))) (fma.f64 x x (*.f64 y (*.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 (*.f64 y (*.f64 y -4))) (cbrt.f64 (*.f64 y (*.f64 y -4)))) (cbrt.f64 (*.f64 y (*.f64 y -4))) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))) (sqrt.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))) (fma.f64 x x (*.f64 y (*.f64 y -4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 y (*.f64 y -4))) (sqrt.f64 (*.f64 y (*.f64 y -4))) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 (sqrt.f64 (*.f64 y (*.f64 y 4)))) (sqrt.f64 (*.f64 y (*.f64 y 4))) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1 (*.f64 y (*.f64 y 4)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4)))) (-.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4)))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4)))) (-.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4)))) (fma.f64 (*.f64 y (*.f64 y -4)) 1 (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4)))) (-.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4)))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 y 4)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y 4))) 2) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4)))) (-.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4)))) (*.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4)))) (-.f64 x (sqrt.f64 (*.f64 y (*.f64 y 4)))) (+.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y 4))) 2)) (cbrt.f64 (*.f64 y (*.f64 y 4))) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2))) (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2))) (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 (*.f64 y (*.f64 y -4)) 1 (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2))) (fma.f64 x x (*.f64 y (*.f64 y -4))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 y 4)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y 4))) 2) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2))) (fma.f64 x x (*.f64 y (*.f64 y -4))) (*.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2))) (fma.f64 x x (*.f64 y (*.f64 y -4))) (+.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y 4)) 3))) (fma.f64 (*.f64 y (*.f64 y 4)) (-.f64 (*.f64 y (*.f64 y 4)) (*.f64 x x)) (pow.f64 x 4)) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y 4)) 3))) (fma.f64 (*.f64 y (*.f64 y 4)) (-.f64 (*.f64 y (*.f64 y 4)) (*.f64 x x)) (pow.f64 x 4)) (fma.f64 (*.f64 y (*.f64 y -4)) 1 (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y 4)) 3))) (fma.f64 (*.f64 y (*.f64 y 4)) (-.f64 (*.f64 y (*.f64 y 4)) (*.f64 x x)) (pow.f64 x 4)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 y (*.f64 y 4)))) (pow.f64 (cbrt.f64 (*.f64 y (*.f64 y 4))) 2) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y 4)) 3))) (fma.f64 (*.f64 y (*.f64 y 4)) (-.f64 (*.f64 y (*.f64 y 4)) (*.f64 x x)) (pow.f64 x 4)) (*.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 y (*.f64 y 4)) 2)) (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (*.f64 y 4)) 3))) (fma.f64 (*.f64 y (*.f64 y 4)) (-.f64 (*.f64 y (*.f64 y 4)) (*.f64 x x)) (pow.f64 x 4)) (+.f64 (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 y -4) 1) y (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 y -4) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 y -4) (sqrt.f64 y)) (sqrt.f64 y) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 y (*.f64 y -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 (*.f64 y (*.f64 y -4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (fma.f64 y (*.f64 y -4) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (neg.f64 (-.f64 (*.f64 y (*.f64 y 4)) (fma.f64 y (*.f64 y -4) (*.f64 y (*.f64 y 4))))))))))

simplify59.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

911×	`fma-neg_binary64`
572×	`times-frac_binary64`
352×	`associate-/l*_binary64`
300×	`fma-def_binary64`
267×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	87	966
1	253	798
2	827	723
3	4950	723

Stop Event

1×	node limit

Counts

261 → 239

Calls

Call 1

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

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

prune169.0ms (8.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	236	3	239
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	237	4	241

Error

0.4b

Counts

241 → 4

Alt Table

Status	Error	Program
	35.6b	1
	33.1b	(/.f64 (fma.f64 x x (.f64 -4 (.f64 y y))) (fma.f64 x x (.f64 y (.f64 y 4))))
	30.3b	(fma.f64 1/2 (/.f64 x (/.f64 (*.f64 y y) x)) -1)
▶	28.1b	-1

Compiler

Compiled 7796 to 4698 computations (39.7% saved)

localize0.0ms (0%)

prune4.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Error

0.4b

Counts

4 → 4

Alt Table

Status	Error	Program
	35.6b	1
	33.1b	(/.f64 (fma.f64 x x (.f64 -4 (.f64 y y))) (fma.f64 x x (.f64 y (.f64 y 4))))
▶	30.3b	(fma.f64 1/2 (/.f64 x (/.f64 (*.f64 y y) x)) -1)
✓	28.1b	-1

Compiler

Compiled 71 to 47 computations (33.8% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	4.5b	(/.f64 x (/.f64 (*.f64 y y) x))
✓	9.2b	(/.f64 (*.f64 y y) x)

series7.0ms (0.3%)

Counts

2 → 48

Calls

12 calls:

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

rewrite43.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

735×	`pow1_binary64`
685×	`log1p-expm1-u_binary64`
685×	`expm1-log1p-u_binary64`
68×	`add-sqr-sqrt_binary64`
67×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	17
1	132	14
2	1922	14

Stop Event

1×	node limit

Counts

2 → 76

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (/.f64 y x) y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 y (/.f64 1 (/.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 y (.f64 y (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y y) (/.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 y x) y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 (/.f64 y x) y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 y 4)) (.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (/.f64 y x) y)) (pow.f64 (cbrt.f64 (.f64 (/.f64 y x) y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 (/.f64 y x) y)) 2) (cbrt.f64 (.f64 (/.f64 y x) y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 y (sqrt.f64 x)) (/.f64 y (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y (neg.f64 y)) (/.f64 1 (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 x) (.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 y 1) (/.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 y x) y)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 y 4)) 1) (/.f64 (pow.f64 (cbrt.f64 y) 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 y (pow.f64 (cbrt.f64 x) 2)) (/.f64 y (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (pow.f64 (cbrt.f64 x) 2)) (/.f64 (.f64 y y) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 y 4)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 (.f64 (/.f64 y x) y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (sqrt.f64 x)) (/.f64 (.f64 y y) (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 y 4)) (sqrt.f64 x)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (/.f64 y x) y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (/.f64 y x) y) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (/.f64 y x) y)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 y (sqrt.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 x (.f64 y y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (.f64 y y) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 (pow.f64 y 4) (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 (/.f64 y x) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (/.f64 y x) y))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (/.f64 y x) y) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (.f64 y y) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (/.f64 y x) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (/.f64 y x) y)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (/.f64 y x) y)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (*.f64 (/.f64 y x) y)) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (/.f64 x y) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 x (/.f64 x (.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (/.f64 x y) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (/.f64 x y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (/.f64 x y) 2)) (pow.f64 (cbrt.f64 (pow.f64 (/.f64 x y) 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 x y) 2)) 2) (cbrt.f64 (pow.f64 (/.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (/.f64 x (.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (/.f64 x (.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 x) (/.f64 1 (neg.f64 (.f64 (/.f64 y x) y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 x (.f64 y y)) x)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 x y) (/.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) (.f64 (/.f64 y x) y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) (.f64 (/.f64 y x) y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (.f64 y y)) (/.f64 x (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 y y)) (/.f64 (cbrt.f64 x) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 x) (.f64 y y)) (/.f64 (sqrt.f64 x) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 (/.f64 y x) y)) 2)) (/.f64 x (cbrt.f64 (.f64 (/.f64 y x) y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (.f64 (/.f64 y x) y)) 2)) (cbrt.f64 (pow.f64 (/.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 (.f64 (/.f64 y x) y)) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 (.f64 (/.f64 y x) y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (/.f64 y (sqrt.f64 x))) (/.f64 x (/.f64 y (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (/.f64 y (sqrt.f64 x))) (/.f64 (cbrt.f64 x) (/.f64 y (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 x 1) (/.f64 x (.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 x (.f64 y (neg.f64 y))) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 x (.f64 y y)) 1) x)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 x (.f64 y y)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 x (.f64 y y)) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 x y) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (/.f64 x y) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (pow.f64 (/.f64 x y) 2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (.f64 y y) (.f64 x x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 x y) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 x (neg.f64 (.f64 (/.f64 y x) y))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (pow.f64 (/.f64 x y) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (/.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (/.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (/.f64 x y) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 x 3) (pow.f64 (.f64 (/.f64 y x) y) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (/.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (/.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (pow.f64 (/.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 x y) 2)) 1))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 y x) y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 y (/.f64 1 (/.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 y (*.f64 y (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y y) (/.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 y x) y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (/.f64 y x) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 y 4)) (*.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (/.f64 y x) y)) (pow.f64 (cbrt.f64 (*.f64 (/.f64 y x) y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 (/.f64 y x) y)) 2) (cbrt.f64 (*.f64 (/.f64 y x) y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 y (sqrt.f64 x)) (/.f64 y (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (neg.f64 y)) (/.f64 1 (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 x) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 y 1) (/.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 y x) y)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 y 4)) 1) (/.f64 (pow.f64 (cbrt.f64 y) 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 y (pow.f64 (cbrt.f64 x) 2)) (/.f64 y (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 x) 2)) (/.f64 (*.f64 y y) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 y 4)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 (*.f64 (/.f64 y x) y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 (*.f64 y y) (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 y 4)) (sqrt.f64 x)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 y x) y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (/.f64 y x) y) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (/.f64 y x) y)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 y (sqrt.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 x (*.f64 y y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (*.f64 y y) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 (pow.f64 y 4) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 (/.f64 y x) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (/.f64 y x) y))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (/.f64 y x) y) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (*.f64 y y) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (/.f64 y x) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (/.f64 y x) y)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (/.f64 y x) y)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (/.f64 y x) y)) 1))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (/.f64 x y) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (/.f64 x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 x y) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (/.f64 x y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (/.f64 x y) 2)) (pow.f64 (cbrt.f64 (pow.f64 (/.f64 x y) 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 x y) 2)) 2) (cbrt.f64 (pow.f64 (/.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (/.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (/.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 x) (/.f64 1 (neg.f64 (*.f64 (/.f64 y x) y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (*.f64 y y)) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x y) (/.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) (*.f64 (/.f64 y x) y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) (*.f64 (/.f64 y x) y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 y y)) (/.f64 x (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 y y)) (/.f64 (cbrt.f64 x) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 x) (*.f64 y y)) (/.f64 (sqrt.f64 x) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (*.f64 (/.f64 y x) y)) 2)) (/.f64 x (cbrt.f64 (*.f64 (/.f64 y x) y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (*.f64 (/.f64 y x) y)) 2)) (cbrt.f64 (pow.f64 (/.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 (*.f64 (/.f64 y x) y)) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 (*.f64 (/.f64 y x) y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 y (sqrt.f64 x))) (/.f64 x (/.f64 y (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (/.f64 y (sqrt.f64 x))) (/.f64 (cbrt.f64 x) (/.f64 y (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x 1) (/.f64 x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (*.f64 y (neg.f64 y))) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 x (*.f64 y y)) 1) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 x (*.f64 y y)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 x (*.f64 y y)) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 x y) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (/.f64 x y) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (pow.f64 (/.f64 x y) 2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (*.f64 y y) (*.f64 x x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 x y) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 x (neg.f64 (*.f64 (/.f64 y x) y))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (pow.f64 (/.f64 x y) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (/.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (/.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (/.f64 x y) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 x 3) (pow.f64 (*.f64 (/.f64 y x) y) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (/.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (/.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (pow.f64 (/.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 x y) 2)) 1))))))

simplify58.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

640×	`unswap-sqr_binary64`
588×	`times-frac_binary64`
257×	`associate-/l*_binary64`
255×	`sqr-pow_binary64`
240×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	408
1	16	408
2	31	408
3	76	408
4	324	408
5	2651	408
6	4062	408
7	4246	408
8	4464	408
9	4708	408

Stop Event

1×	node limit

Counts

124 → 79

Calls

Call 1

Inputs
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))

Outputs
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 (/.f64 y x) y)
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))

prune59.0ms (2.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	78	1	79
Fresh	0	2	2
Picked	1	0	1
Done	1	0	1
Total	80	3	83

Error

0.3b

Counts

83 → 3

Alt Table

Status	Error	Program
	35.6b	1
	33.1b	(/.f64 (fma.f64 x x (.f64 -4 (.f64 y y))) (fma.f64 x x (.f64 y (.f64 y 4))))
▶	27.6b	(fma.f64 1/2 (pow.f64 (/.f64 x y) 2) -1)

Compiler

Compiled 1151 to 647 computations (43.8% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (/.f64 x y) 2)

series7.0ms (0.3%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(pow.f64 (/.f64 x y) 2)
2.0ms	y	@	-inf	(pow.f64 (/.f64 x y) 2)
1.0ms	x	@	0	(pow.f64 (/.f64 x y) 2)
1.0ms	x	@	inf	(pow.f64 (/.f64 x y) 2)
1.0ms	y	@	0	(pow.f64 (/.f64 x y) 2)

rewrite32.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

596×	`pow1_binary64`
552×	`add-log-exp_binary64`
552×	`log1p-expm1-u_binary64`
552×	`expm1-log1p-u_binary64`
62×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	128	7
2	1524	7

Stop Event

1×	node limit

Counts

1 → 35

Calls

Call 1

Inputs
(pow.f64 (/.f64 x y) 2)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (/.f64 x y) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 (/.f64 1 y) (/.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x y) (/.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 x y) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (/.f64 x y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x x) (*.f64 (/.f64 1 y) (/.f64 1 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x x) (pow.f64 (/.f64 1 y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 x y)) 2) (cbrt.f64 (pow.f64 (/.f64 x y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 x y)) 2) (*.f64 (cbrt.f64 (/.f64 x y)) (/.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (/.f64 x y) 4)) (pow.f64 (cbrt.f64 (/.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 x y)) (*.f64 (sqrt.f64 (/.f64 x y)) (/.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 x y) (sqrt.f64 (/.f64 x y))) (sqrt.f64 (/.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 x y) x) (/.f64 1 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 x y) (pow.f64 (cbrt.f64 (/.f64 x y)) 2)) (cbrt.f64 (/.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (*.f64 (/.f64 y x) y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (*.f64 y (/.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 x y) (/.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (*.f64 (/.f64 y x) (/.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x x) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 x) (*.f64 (/.f64 y x) (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (*.f64 (neg.f64 y) (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 x) x) (*.f64 (neg.f64 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 x) 1) (*.f64 (neg.f64 y) (/.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (neg.f64 x)) (*.f64 y (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (/.f64 x y)) y)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 x) (/.f64 x y)) (neg.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 x y) x) y)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 x y) (neg.f64 x)) (neg.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 x y) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (/.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (/.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (/.f64 x y) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (/.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (/.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 2 (log.f64 (/.f64 x y))))))))

simplify63.0ms (3%)

Algorithm

1×	egg-herbie

Rules

570×	`unswap-sqr_binary64`
555×	`times-frac_binary64`
356×	`sqr-pow_binary64`
256×	`associate-/l*_binary64`
225×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	240
1	15	240
2	30	240
3	73	240
4	304	240
5	2527	240
6	3788	240
7	3972	240
8	4189	240
9	4433	240
10	4764	240

Stop Event

1×	node limit

Counts

59 → 37

Calls

Call 1

Inputs
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))

Outputs
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
(/.f64 (.f64 x x) (.f64 y y))
(*.f64 (/.f64 x y) (/.f64 x y))
(.f64 x (/.f64 x (.f64 y y)))

prune18.0ms (0.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

0.3b

Counts

40 → 3

Alt Table

Status	Error	Program
	35.6b	1
	33.1b	(/.f64 (fma.f64 x x (.f64 -4 (.f64 y y))) (fma.f64 x x (.f64 y (.f64 y 4))))
✓	27.6b	(fma.f64 1/2 (pow.f64 (/.f64 x y) 2) -1)

Compiler

Compiled 478 to 269 computations (43.7% saved)

regimes129.0ms (6.3%)

Accuracy

Total -50.8b remaining (-406.8%)

Threshold costs -50.8b (-406.8%)

Counts

7 → 5

Compiler

Compiled 140 to 84 computations (40% saved)

bsearch1.0ms (0%)

Algorithm

4×	left-value

Calls

4 calls:

0.0ms	(.f64 (.f64 y 4) y)
0.0ms	(.f64 (.f64 y 4) y)
0.0ms	(.f64 (.f64 y 4) y)
0.0ms	(.f64 (.f64 y 4) y)

Steps

Iters	Point		Range
2e+206	∈ [	1.7256208992262093e+206	,	1.2017179598138766e+207	]
1e-27	∈ [	5.236337826351986e-28	,	7.903955342507667e-7	]
2e-123	∈ [	1.8051564901239803e-123	,	1.950948575396676e-118	]
0.0	∈ [	0.0	,	1.2e-322	]

Compiler

Compiled 21 to 12 computations (42.9% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
5×	`+-commutative_binary64`
4×	`distribute-rgt-neg-in_binary64`
4×	`sub-neg_binary64`
3×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	113
1	47	113
2	62	113
3	68	113
4	72	113
5	73	113

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 (*.f64 (*.f64 y 4) y) 0) 1 (if (<=.f64 (*.f64 (*.f64 y 4) y) 1488565707357403/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744) (/.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y)) (+.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y))) (if (<=.f64 (*.f64 (*.f64 y 4) y) 348449143727041/348449143727040986586495598010130648530944) 1 (if (<=.f64 (*.f64 (*.f64 y 4) y) 200000000000000007778715510217677686261474498590404026668604764015382588578769793526159931215755402774652920623882426582706341222818875123308036734442537880708869172525233887089132911615311892438644481327104) (/.f64 (fma.f64 x x (*.f64 -4 (*.f64 y y))) (fma.f64 x x (*.f64 y (*.f64 y 4)))) (fma.f64 1/2 (pow.f64 (/.f64 x y) 2) -1)))))

Outputs

(if (<=.f64 (*.f64 (*.f64 y 4) y) 0) 1 (if (<=.f64 (*.f64 (*.f64 y 4) y) 1488565707357403/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744) (/.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y)) (+.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y))) (if (<=.f64 (*.f64 (*.f64 y 4) y) 348449143727041/348449143727040986586495598010130648530944) 1 (if (<=.f64 (*.f64 (*.f64 y 4) y) 200000000000000007778715510217677686261474498590404026668604764015382588578769793526159931215755402774652920623882426582706341222818875123308036734442537880708869172525233887089132911615311892438644481327104) (/.f64 (fma.f64 x x (*.f64 -4 (*.f64 y y))) (fma.f64 x x (*.f64 y (*.f64 y 4)))) (fma.f64 1/2 (pow.f64 (/.f64 x y) 2) -1)))))

(if (<=.f64 (*.f64 y (*.f64 y 4)) 0) 1 (if (<=.f64 (*.f64 y (*.f64 y 4)) 1488565707357403/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744) (/.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4))) (+.f64 (*.f64 y (*.f64 y 4)) (*.f64 x x))) (if (<=.f64 (*.f64 y (*.f64 y 4)) 348449143727041/348449143727040986586495598010130648530944) 1 (if (<=.f64 (*.f64 y (*.f64 y 4)) 200000000000000007778715510217677686261474498590404026668604764015382588578769793526159931215755402774652920623882426582706341222818875123308036734442537880708869172525233887089132911615311892438644481327104) (/.f64 (fma.f64 x x (*.f64 -4 (*.f64 y y))) (fma.f64 x x (*.f64 y (*.f64 y 4)))) (fma.f64 1/2 (pow.f64 (/.f64 x y) 2) -1)))))

(if (<=.f64 (*.f64 y (*.f64 y 4)) 0) 1 (if (<=.f64 (*.f64 y (*.f64 y 4)) 1488565707357403/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744) (/.f64 (+.f64 (*.f64 x x) (*.f64 y (*.f64 y -4))) (+.f64 (*.f64 y (*.f64 y 4)) (*.f64 x x))) (if (<=.f64 (*.f64 y (*.f64 y 4)) 348449143727041/348449143727040986586495598010130648530944) 1 (if (<=.f64 (*.f64 y (*.f64 y 4)) 200000000000000007778715510217677686261474498590404026668604764015382588578769793526159931215755402774652920623882426582706341222818875123308036734442537880708869172525233887089132911615311892438644481327104) (/.f64 (fma.f64 x x (*.f64 -4 (*.f64 y y))) (fma.f64 x x (*.f64 y (*.f64 y 4)))) (fma.f64 1/2 (pow.f64 (/.f64 x y) 2) -1)))))

end84.0ms (4.1%)

Stop Event

1×

fuel

Compiler

Compiled 186 to 120 computations (35.5% saved)

Details

analyze160.0ms (7.7%)

sample979.0ms (47.5%)

preprocess42.0ms (2%)

simplify30.0ms (1.5%)

prune3.0ms (0.2%)

localize7.0ms (0.3%)

series12.0ms (0.6%)

rewrite80.0ms (3.9%)

simplify59.0ms (2.9%)

prune169.0ms (8.2%)

localize0.0ms (0%)

prune4.0ms (0.2%)

localize6.0ms (0.3%)

series7.0ms (0.3%)

rewrite43.0ms (2.1%)

simplify58.0ms (2.8%)

prune59.0ms (2.9%)

localize5.0ms (0.2%)

series7.0ms (0.3%)

rewrite32.0ms (1.6%)

simplify63.0ms (3%)

prune18.0ms (0.9%)

regimes129.0ms (6.3%)

bsearch1.0ms (0%)

simplify5.0ms (0.2%)

end84.0ms (4.1%)

Profiling