Details

analyze818.0ms (26.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
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
15.6%	81.9%	2.5%	9
21.1%	74.5%	4.4%	10
25.4%	69.8%	4.8%	11
39.2%	51.6%	9.2%	12
44.6%	44%	11.4%	13
48.2%	40.1%	11.7%	14

Compiler

Compiled 17 to 13 computations (23.5% saved)

sample1.1s (37.3%)

Results

1.0s	8256×	body	128	valid
110.0ms	967×	body	128	invalid

Compiler

Compiled 34 to 26 computations (23.5% saved)

preprocess41.0ms (1.3%)

Algorithm

2×	egg-herbie

Rules

588×	`fma-def_binary64`
308×	`distribute-rgt-in_binary64`
281×	`fma-neg_binary64`
248×	`div-sub_binary64`
227×	`associate--r+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	76
1	70	68
2	179	60
3	503	60
4	1217	60
5	2859	52
0	3	3

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 16 to 12 computations (25% saved)

simplify30.0ms (1%)

Algorithm

1×	egg-herbie

Rules

708×	`fma-neg_binary64`
598×	`times-frac_binary64`
477×	`fma-def_binary64`
280×	`distribute-rgt-in_binary64`
277×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	13	19
1	25	17
2	55	15
3	142	15
4	342	15
5	737	11
6	1441	11
7	2689	11
8	4492	11

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

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

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

prune3.0ms (0.1%)

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

0.0b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.1b	(+.f64 1 (/.f64 (.f64 4 (-.f64 (+.f64 x (.f64 y 3/4)) z)) y))
	0.1b	(fma.f64 (/.f64 4 y) (-.f64 x z) 4)

Compiler

Compiled 78 to 57 computations (26.9% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series20.0ms (0.6%)

Counts

4 → 132

Calls

33 calls:

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

rewrite82.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

262×	`expm1-udef_binary64`
262×	`log1p-udef_binary64`
150×	`add-sqr-sqrt_binary64`
145×	`*-un-lft-identity_binary64`
145×	`pow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	52
1	294	44
2	4275	44

Stop Event

1×	node limit

Counts

4 → 159

Calls

Call 1

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

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

simplify66.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

772×	`fma-def_binary64`
454×	`fma-neg_binary64`
448×	`times-frac_binary64`
257×	`distribute-rgt-in_binary64`
202×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	39	1177
1	94	1177
2	184	1064
3	343	1062
4	657	1059
5	1188	1059
6	2183	1059
7	3492	1059

Stop Event

1×	node limit

Counts

291 → 191

Calls

Call 1

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

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

prune154.0ms (5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	190	1	191
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	191	2	193

Error

Counts

193 → 2

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 (+.f64 (.f64 4 (/.f64 x y)) 4) (.f64 4 (/.f64 z y)))
	0.1b	(fma.f64 (/.f64 4 y) (-.f64 x z) 4)

Compiler

Compiled 3506 to 2413 computations (31.2% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series12.0ms (0.4%)

Counts

4 → 42

Calls

27 calls:

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

rewrite81.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

440×	`fma-def_binary64`
241×	`expm1-udef_binary64`
241×	`log1p-udef_binary64`
240×	`fma-neg_binary64`
135×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	39
1	262	39
2	3850	37

Stop Event

1×	node limit

Counts

4 → 219

Calls

Call 1

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

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

simplify78.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1042×	`fma-neg_binary64`
760×	`fma-def_binary64`
370×	`cancel-sign-sub-inv_binary64`
141×	`distribute-rgt-in_binary64`
103×	`sub-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	19	388
1	44	388
2	92	386
3	169	350
4	328	350
5	567	350
6	947	350
7	1467	350
8	2158	350
9	3371	350
10	4065	350
11	4123	350
12	4137	350
13	4142	350
14	4146	350

Stop Event

1×

saturated

Counts

261 → 231

Calls

Call 1

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

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

prune157.0ms (5.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	231	0	231
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	231	2	233

Error

Counts

233 → 2

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 (.f64 4 (/.f64 x y)) 4) (.f64 4 (/.f64 z y)))
▶	0.1b	(fma.f64 (/.f64 4 y) (-.f64 x z) 4)

Compiler

Compiled 4809 to 2824 computations (41.3% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 (/.f64 4 y) (-.f64 x z) 4)

series5.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite41.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

909×	`log1p-expm1-u_binary64`
909×	`expm1-log1p-u_binary64`
92×	`add-sqr-sqrt_binary64`
89×	`*-un-lft-identity_binary64`
89×	`pow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	179	11
2	2390	11

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

Inputs
(fma.f64 (/.f64 4 y) (-.f64 x z) 4)

Outputs

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

simplify72.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

988×	`fma-neg_binary64`
362×	`fma-def_binary64`
338×	`cancel-sign-sub-inv_binary64`
113×	`distribute-rgt-in_binary64`
100×	`sub-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	20	409
1	48	409
2	98	407
3	175	353
4	349	353
5	618	353
6	1055	353
7	1601	353
8	2329	353
9	3271	353
10	3488	353
11	3518	353
12	3523	353
13	3527	353

Stop Event

1×

saturated

Counts

59 → 36

Calls

Call 1

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

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

prune18.0ms (0.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	36	0	36
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	36	2	38

Error

Counts

38 → 2

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 (.f64 4 (/.f64 x y)) 4) (.f64 4 (/.f64 z y)))
✓	0.1b	(fma.f64 (/.f64 4 y) (-.f64 x z) 4)

Compiler

Compiled 440 to 269 computations (38.9% saved)

regimes170.0ms (5.5%)

Accuracy

Total 0.0b remaining (55%)

Threshold costs 0.0b (55%)

Counts

54 → 1

Compiler

Compiled 572 to 357 computations (37.6% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
4×	`*-commutative_binary64`
4×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	17
1	17	17
2	27	17
3	33	17
4	38	17
5	41	17
6	42	17

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (fma.f64 (/.f64 x y) 4 4) (*.f64 4 (/.f64 z y)))

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

end53.0ms (1.7%)

Stop Event

1×

done

Compiler

Compiled 57 to 42 computations (26.3% saved)

Details

analyze818.0ms (26.7%)

sample1.1s (37.3%)

preprocess41.0ms (1.3%)

simplify30.0ms (1%)

prune3.0ms (0.1%)

localize10.0ms (0.3%)

series20.0ms (0.6%)

rewrite82.0ms (2.7%)

simplify66.0ms (2.1%)

prune154.0ms (5%)

localize8.0ms (0.3%)

series12.0ms (0.4%)

rewrite81.0ms (2.6%)

simplify78.0ms (2.5%)

prune157.0ms (5.1%)

localize6.0ms (0.2%)

series5.0ms (0.1%)

rewrite41.0ms (1.3%)

simplify72.0ms (2.3%)

prune18.0ms (0.6%)

regimes170.0ms (5.5%)

simplify3.0ms (0.1%)

end53.0ms (1.7%)

Profiling