Metrics for Data.Array.Repa.Algorithms.ColorRamp:rampColorHotToCold from repa-algorithms-3.4.0.1, C

analyze42.0ms (1.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
50%	49.9%	49.9%	0.1%	0%	0%	0%	3
50%	49.9%	49.9%	0.1%	0%	0%	0%	4
50%	49.9%	49.9%	0.1%	0%	0%	0%	5
75%	74.9%	25%	0.1%	0%	0%	0%	6
75%	74.9%	25%	0.1%	0%	0%	0%	7
75%	74.9%	25%	0.1%	0%	0%	0%	8
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	9
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	10
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	11
93.8%	93.6%	6.2%	0.1%	0%	0%	0%	12

Compiler

Compiled 17 to 13 computations (23.5% saved)

sample1.3s (31.7%)

Results

1.0s	6510×	body	256	valid
216.0ms	1746×	body	256	infinite

Bogosity

preprocess133.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1688×	`div-sub`
972×	`fma-neg`
970×	`fma-def`
696×	`unsub-neg`
680×	`sub-neg`

Problems

256×

No Errors

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	57	591
1	139	515
2	398	471
3	1301	455
4	4593	381

Stop Event

1×	node limit

Calls

Call 1

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

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

Compiler

Compiled 74 to 50 computations (32.4% saved)

eval1.0ms (0%)

Compiler: Compiled 59 to 40 computations (32.2% saved)

prune2.0ms (0.1%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.8%	(+.f64 2 (*.f64 (/.f64 4 y) (-.f64 x z)))
▶	100.0%	(+.f64 1 (/.f64 (.f64 4 (-.f64 (+.f64 x (.f64 y 1/4)) z)) y))
▶	99.8%	(+.f64 2 (*.f64 (/.f64 4 y) (-.f64 x z)))
▶	100.0%	(+.f64 1 (/.f64 (.f64 4 (-.f64 (+.f64 x (.f64 y 1/4)) z)) y))

Compiler

Compiled 56 to 42 computations (25% saved)

localize131.0ms (3.3%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	99.6%	(*.f64 (/.f64 4 y) (-.f64 x z))
✓	100.0%	(/.f64 (.f64 4 (-.f64 (+.f64 x (.f64 y 1/4)) z)) y)
✓	100.0%	(+.f64 1 (/.f64 (.f64 4 (-.f64 (+.f64 x (.f64 y 1/4)) z)) y))

Compiler

Compiled 85 to 51 computations (40% saved)

series13.0ms (0.3%)

Counts

3 → 108

Calls

27 calls:

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

rewrite155.0ms (3.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1152×	`log1p-expm1-u`
552×	`expm1-udef`
552×	`log1p-udef`
309×	`expm1-log1p-u`
224×	`associate-r`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	120
1	307	112
2	4815	112

Stop Event

1×	node limit

Counts

3 → 118

Calls

Call 1

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

Outputs
(-.f64 (exp.f64 (log1p.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))) 1)
(-.f64 (/.f64 1 (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) (/.f64 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2) (-.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(.f64 1 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(.f64 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1)
(.f64 (cbrt.f64 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) (pow.f64 (cbrt.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) 2))
(.f64 (pow.f64 (cbrt.f64 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) 2) (cbrt.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(.f64 (sqrt.f64 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) (sqrt.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3)) (/.f64 1 (+.f64 1 (.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) (-.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1)))))
(.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2)) (/.f64 1 (-.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(/.f64 1 (/.f64 (+.f64 1 (.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) (-.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1))) (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3))))
(/.f64 1 (/.f64 (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2))))
(/.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3)) (+.f64 1 (.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) (-.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1))))
(/.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3)) (+.f64 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2) (-.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(/.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2)) (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(/.f64 (neg.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3))) (neg.f64 (+.f64 1 (.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) (-.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1)))))
(/.f64 (neg.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2))) (neg.f64 (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(/.f64 (-.f64 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2) 1) (-.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1))
(pow.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1)
(pow.f64 (cbrt.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) 3)
(pow.f64 (pow.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) 2)
(sqrt.f64 (pow.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 2))
(log.f64 (exp.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))))
(cbrt.f64 (pow.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 3))
(expm1.f64 (log1p.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(exp.f64 (log1p.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(exp.f64 (.f64 (log1p.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1))
(log1p.f64 (expm1.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(fma.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1)
(fma.f64 (*.f64 4 (-.f64 (fma.f64 y 1/4 x) z)) (/.f64 1 y) 1)
(fma.f64 (pow.f64 (cbrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 2) (cbrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1)
(fma.f64 (sqrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) (sqrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1)
(-.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1)
(.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(*.f64 4 (/.f64 (-.f64 (fma.f64 y 1/4 x) z) y))
(*.f64 4 (/.f64 1 (/.f64 y (-.f64 (fma.f64 y 1/4 x) z))))
(.f64 4 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 1 y)))
(*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))
(.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z)) (/.f64 1 y))
(.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1)
(*.f64 (/.f64 4 y) (-.f64 (fma.f64 y 1/4 x) z))
(.f64 (pow.f64 (cbrt.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) 2) (.f64 (cbrt.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) (/.f64 1 y)))
(.f64 (cbrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) (pow.f64 (cbrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 2) (cbrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(.f64 (.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) (.f64 (.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) (/.f64 1 y)))
(.f64 (sqrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) (sqrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) -4) (/.f64 1 (neg.f64 y)))
(.f64 (/.f64 1 y) (.f64 4 (-.f64 (fma.f64 y 1/4 x) z)))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z)) (cbrt.f64 y)))
(.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z)) (sqrt.f64 y)))
(*.f64 (/.f64 4 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (-.f64 (fma.f64 y 1/4 x) z) (cbrt.f64 y)))
(*.f64 (/.f64 4 (sqrt.f64 y)) (/.f64 (-.f64 (fma.f64 y 1/4 x) z) (sqrt.f64 y)))
(*.f64 (/.f64 (-.f64 (fma.f64 y 1/4 x) z) (sqrt.f64 y)) (/.f64 4 (sqrt.f64 y)))
(*.f64 (/.f64 (-.f64 (fma.f64 y 1/4 x) z) 1) (/.f64 4 y))
(*.f64 (/.f64 (-.f64 (fma.f64 y 1/4 x) z) (pow.f64 (cbrt.f64 y) 2)) (/.f64 4 (cbrt.f64 y)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) 2) 1) (/.f64 (cbrt.f64 (*.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) y))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) 2) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (*.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) (sqrt.f64 y)))
(.f64 (/.f64 (.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) 1) (/.f64 (*.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) y))
(.f64 (/.f64 (.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (*.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) (cbrt.f64 y)))
(pow.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1)
(pow.f64 (cbrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 3)
(pow.f64 (pow.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 2)
(pow.f64 (/.f64 (*.f64 y 1/4) (-.f64 (fma.f64 y 1/4 x) z)) -1)
(neg.f64 (/.f64 (*.f64 4 (-.f64 (fma.f64 y 1/4 x) z)) (neg.f64 y)))
(sqrt.f64 (pow.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2))
(log.f64 (exp.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(cbrt.f64 (pow.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3))
(expm1.f64 (log1p.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(exp.f64 (log.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(exp.f64 (.f64 (log.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1))
(log1p.f64 (expm1.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(+.f64 (.f64 (/.f64 4 y) x) (.f64 (/.f64 4 y) (neg.f64 z)))
(+.f64 (.f64 x (/.f64 4 y)) (.f64 (neg.f64 z) (/.f64 4 y)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 4 y) (-.f64 x z)))) 1)
(/.f64 1 (/.f64 y (*.f64 4 (-.f64 x z))))
(/.f64 4 (/.f64 y (-.f64 x z)))
(/.f64 (-.f64 x z) (*.f64 y 1/4))
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (.f64 (.f64 y 1/4) (fma.f64 x x (*.f64 z (+.f64 x z)))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (.f64 (.f64 y 1/4) (+.f64 x z)))
(/.f64 (*.f64 4 (-.f64 x z)) y)
(/.f64 (.f64 4 (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (.f64 y (fma.f64 x x (*.f64 z (+.f64 x z)))))
(/.f64 (.f64 4 (-.f64 (pow.f64 x 2) (pow.f64 z 2))) (.f64 y (+.f64 x z)))
(/.f64 (.f64 -4 (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (.f64 (neg.f64 y) (fma.f64 x x (*.f64 z (+.f64 x z)))))
(/.f64 (.f64 -4 (-.f64 (pow.f64 x 2) (pow.f64 z 2))) (.f64 (neg.f64 y) (+.f64 x z)))
(/.f64 (.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) 1) (.f64 (fma.f64 x x (.f64 z (+.f64 x z))) (.f64 y 1/4)))
(/.f64 (.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) 4) (.f64 (fma.f64 x x (*.f64 z (+.f64 x z))) y))
(/.f64 (.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) -4) (.f64 (fma.f64 x x (*.f64 z (+.f64 x z))) (neg.f64 y)))
(/.f64 (.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) 1) (.f64 (+.f64 x z) (*.f64 y 1/4)))
(/.f64 (.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) 4) (.f64 (+.f64 x z) y))
(/.f64 (.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) -4) (.f64 (+.f64 x z) (neg.f64 y)))
(/.f64 (neg.f64 (*.f64 4 (-.f64 x z))) (neg.f64 y))
(/.f64 (.f64 (/.f64 4 y) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 x x (.f64 z (+.f64 x z))))
(/.f64 (*.f64 (/.f64 4 y) (-.f64 (pow.f64 x 2) (pow.f64 z 2))) (+.f64 x z))
(/.f64 (*.f64 (-.f64 x z) -4) (neg.f64 y))
(/.f64 (*.f64 -4 (-.f64 x z)) (neg.f64 y))
(/.f64 (.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (/.f64 4 y)) (fma.f64 x x (.f64 z (+.f64 x z))))
(/.f64 (*.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (/.f64 4 y)) (+.f64 x z))
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) 1) y)
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) (sqrt.f64 y)) (sqrt.f64 y))
(pow.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 1)
(pow.f64 (cbrt.f64 (*.f64 (/.f64 4 y) (-.f64 x z))) 3)
(pow.f64 (pow.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (/.f64 4 y) (-.f64 x z))) 2)
(sqrt.f64 (pow.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 2))
(log.f64 (pow.f64 (exp.f64 (-.f64 x z)) (/.f64 4 y)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (/.f64 4 y) (-.f64 x z)))))
(cbrt.f64 (pow.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 3))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 4 y) 3) (pow.f64 (-.f64 x z) 3)))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 x z) 3) (pow.f64 (/.f64 4 y) 3)))
(expm1.f64 (log1p.f64 (*.f64 (/.f64 4 y) (-.f64 x z))))
(exp.f64 (log.f64 (*.f64 (/.f64 4 y) (-.f64 x z))))
(exp.f64 (.f64 (log.f64 (.f64 (/.f64 4 y) (-.f64 x z))) 1))
(log1p.f64 (expm1.f64 (*.f64 (/.f64 4 y) (-.f64 x z))))

simplify103.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1760×	`fma-def`
970×	`unswap-sqr`
668×	`cancel-sign-sub-inv`
420×	`distribute-rgt-neg-in`
418×	`distribute-lft-neg-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	318	10043
1	871	9645
2	3326	9183

Stop Event

1×	node limit

Counts

226 → 187

Calls

Call 1

Inputs
(+.f64 1 (.f64 4 (/.f64 (-.f64 (.f64 1/4 y) z) y)))
(+.f64 1 (+.f64 (.f64 4 (/.f64 x y)) (.f64 4 (/.f64 (-.f64 (*.f64 1/4 y) z) y))))
(+.f64 1 (+.f64 (.f64 4 (/.f64 x y)) (.f64 4 (/.f64 (-.f64 (*.f64 1/4 y) z) y))))
(+.f64 1 (+.f64 (.f64 4 (/.f64 x y)) (.f64 4 (/.f64 (-.f64 (*.f64 1/4 y) z) y))))
(*.f64 4 (/.f64 x y))
(+.f64 1 (+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y))))
(+.f64 1 (+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y))))
(+.f64 1 (+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y))))
(*.f64 4 (/.f64 x y))
(+.f64 1 (+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y))))
(+.f64 1 (+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y))))
(+.f64 1 (+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y))))
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
2
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
2
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 1 (.f64 4 (/.f64 (+.f64 x (.f64 1/4 y)) y)))
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 (+.f64 x (*.f64 1/4 y)) y))))
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 (+.f64 x (*.f64 1/4 y)) y))))
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 (+.f64 x (*.f64 1/4 y)) y))))
(*.f64 -4 (/.f64 z y))
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y)))))
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y)))))
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y)))))
(*.f64 -4 (/.f64 z y))
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y)))))
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y)))))
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y)))))
(.f64 4 (/.f64 (-.f64 (.f64 1/4 y) z) y))
(+.f64 (.f64 4 (/.f64 x y)) (.f64 4 (/.f64 (-.f64 (*.f64 1/4 y) z) y)))
(+.f64 (.f64 4 (/.f64 x y)) (.f64 4 (/.f64 (-.f64 (*.f64 1/4 y) z) y)))
(+.f64 (.f64 4 (/.f64 x y)) (.f64 4 (/.f64 (-.f64 (*.f64 1/4 y) z) y)))
(*.f64 4 (/.f64 x y))
(+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 x y))
(+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
1
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
1
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(.f64 4 (/.f64 (+.f64 x (.f64 1/4 y)) y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 (+.f64 x (*.f64 1/4 y)) y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 (+.f64 x (*.f64 1/4 y)) y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 (+.f64 x (*.f64 1/4 y)) y)))
(*.f64 -4 (/.f64 z y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y))))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y))))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y))))
(*.f64 -4 (/.f64 z y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y))))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y))))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y))))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 -4 (/.f64 z y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 x y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 x y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 x y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 -4 (/.f64 z y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 -4 (/.f64 z y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(-.f64 (exp.f64 (log1p.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))) 1)
(-.f64 (/.f64 1 (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) (/.f64 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2) (-.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(.f64 1 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(.f64 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1)
(.f64 (cbrt.f64 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) (pow.f64 (cbrt.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) 2))
(.f64 (pow.f64 (cbrt.f64 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) 2) (cbrt.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(.f64 (sqrt.f64 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) (sqrt.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3)) (/.f64 1 (+.f64 1 (.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) (-.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1)))))
(.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2)) (/.f64 1 (-.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(/.f64 1 (/.f64 (+.f64 1 (.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) (-.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1))) (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3))))
(/.f64 1 (/.f64 (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2))))
(/.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3)) (+.f64 1 (.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) (-.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1))))
(/.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3)) (+.f64 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2) (-.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(/.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2)) (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(/.f64 (neg.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3))) (neg.f64 (+.f64 1 (.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) (-.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1)))))
(/.f64 (neg.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2))) (neg.f64 (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(/.f64 (-.f64 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2) 1) (-.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1))
(pow.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1)
(pow.f64 (cbrt.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) 3)
(pow.f64 (pow.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) 2)
(sqrt.f64 (pow.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 2))
(log.f64 (exp.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))))
(cbrt.f64 (pow.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 3))
(expm1.f64 (log1p.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(exp.f64 (log1p.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(exp.f64 (.f64 (log1p.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1))
(log1p.f64 (expm1.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(fma.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1)
(fma.f64 (*.f64 4 (-.f64 (fma.f64 y 1/4 x) z)) (/.f64 1 y) 1)
(fma.f64 (pow.f64 (cbrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 2) (cbrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1)
(fma.f64 (sqrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) (sqrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1)
(-.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1)
(.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(*.f64 4 (/.f64 (-.f64 (fma.f64 y 1/4 x) z) y))
(*.f64 4 (/.f64 1 (/.f64 y (-.f64 (fma.f64 y 1/4 x) z))))
(.f64 4 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 1 y)))
(*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))
(.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z)) (/.f64 1 y))
(.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1)
(*.f64 (/.f64 4 y) (-.f64 (fma.f64 y 1/4 x) z))
(.f64 (pow.f64 (cbrt.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) 2) (.f64 (cbrt.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) (/.f64 1 y)))
(.f64 (cbrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) (pow.f64 (cbrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 2) (cbrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(.f64 (.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) (.f64 (.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) (/.f64 1 y)))
(.f64 (sqrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) (sqrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) -4) (/.f64 1 (neg.f64 y)))
(.f64 (/.f64 1 y) (.f64 4 (-.f64 (fma.f64 y 1/4 x) z)))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z)) (cbrt.f64 y)))
(.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z)) (sqrt.f64 y)))
(*.f64 (/.f64 4 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (-.f64 (fma.f64 y 1/4 x) z) (cbrt.f64 y)))
(*.f64 (/.f64 4 (sqrt.f64 y)) (/.f64 (-.f64 (fma.f64 y 1/4 x) z) (sqrt.f64 y)))
(*.f64 (/.f64 (-.f64 (fma.f64 y 1/4 x) z) (sqrt.f64 y)) (/.f64 4 (sqrt.f64 y)))
(*.f64 (/.f64 (-.f64 (fma.f64 y 1/4 x) z) 1) (/.f64 4 y))
(*.f64 (/.f64 (-.f64 (fma.f64 y 1/4 x) z) (pow.f64 (cbrt.f64 y) 2)) (/.f64 4 (cbrt.f64 y)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) 2) 1) (/.f64 (cbrt.f64 (*.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) y))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) 2) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (*.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) (sqrt.f64 y)))
(.f64 (/.f64 (.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) 1) (/.f64 (*.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) y))
(.f64 (/.f64 (.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (*.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) (cbrt.f64 y)))
(pow.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1)
(pow.f64 (cbrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 3)
(pow.f64 (pow.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 2)
(pow.f64 (/.f64 (*.f64 y 1/4) (-.f64 (fma.f64 y 1/4 x) z)) -1)
(neg.f64 (/.f64 (*.f64 4 (-.f64 (fma.f64 y 1/4 x) z)) (neg.f64 y)))
(sqrt.f64 (pow.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2))
(log.f64 (exp.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(cbrt.f64 (pow.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3))
(expm1.f64 (log1p.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(exp.f64 (log.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(exp.f64 (.f64 (log.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1))
(log1p.f64 (expm1.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(+.f64 (.f64 (/.f64 4 y) x) (.f64 (/.f64 4 y) (neg.f64 z)))
(+.f64 (.f64 x (/.f64 4 y)) (.f64 (neg.f64 z) (/.f64 4 y)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 4 y) (-.f64 x z)))) 1)
(/.f64 1 (/.f64 y (*.f64 4 (-.f64 x z))))
(/.f64 4 (/.f64 y (-.f64 x z)))
(/.f64 (-.f64 x z) (*.f64 y 1/4))
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (.f64 (.f64 y 1/4) (fma.f64 x x (*.f64 z (+.f64 x z)))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (.f64 (.f64 y 1/4) (+.f64 x z)))
(/.f64 (*.f64 4 (-.f64 x z)) y)
(/.f64 (.f64 4 (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (.f64 y (fma.f64 x x (*.f64 z (+.f64 x z)))))
(/.f64 (.f64 4 (-.f64 (pow.f64 x 2) (pow.f64 z 2))) (.f64 y (+.f64 x z)))
(/.f64 (.f64 -4 (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (.f64 (neg.f64 y) (fma.f64 x x (*.f64 z (+.f64 x z)))))
(/.f64 (.f64 -4 (-.f64 (pow.f64 x 2) (pow.f64 z 2))) (.f64 (neg.f64 y) (+.f64 x z)))
(/.f64 (.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) 1) (.f64 (fma.f64 x x (.f64 z (+.f64 x z))) (.f64 y 1/4)))
(/.f64 (.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) 4) (.f64 (fma.f64 x x (*.f64 z (+.f64 x z))) y))
(/.f64 (.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) -4) (.f64 (fma.f64 x x (*.f64 z (+.f64 x z))) (neg.f64 y)))
(/.f64 (.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) 1) (.f64 (+.f64 x z) (*.f64 y 1/4)))
(/.f64 (.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) 4) (.f64 (+.f64 x z) y))
(/.f64 (.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) -4) (.f64 (+.f64 x z) (neg.f64 y)))
(/.f64 (neg.f64 (*.f64 4 (-.f64 x z))) (neg.f64 y))
(/.f64 (.f64 (/.f64 4 y) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 x x (.f64 z (+.f64 x z))))
(/.f64 (*.f64 (/.f64 4 y) (-.f64 (pow.f64 x 2) (pow.f64 z 2))) (+.f64 x z))
(/.f64 (*.f64 (-.f64 x z) -4) (neg.f64 y))
(/.f64 (*.f64 -4 (-.f64 x z)) (neg.f64 y))
(/.f64 (.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (/.f64 4 y)) (fma.f64 x x (.f64 z (+.f64 x z))))
(/.f64 (*.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (/.f64 4 y)) (+.f64 x z))
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) 1) y)
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) (sqrt.f64 y)) (sqrt.f64 y))
(pow.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 1)
(pow.f64 (cbrt.f64 (*.f64 (/.f64 4 y) (-.f64 x z))) 3)
(pow.f64 (pow.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (/.f64 4 y) (-.f64 x z))) 2)
(sqrt.f64 (pow.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 2))
(log.f64 (pow.f64 (exp.f64 (-.f64 x z)) (/.f64 4 y)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (/.f64 4 y) (-.f64 x z)))))
(cbrt.f64 (pow.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 3))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 4 y) 3) (pow.f64 (-.f64 x z) 3)))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 x z) 3) (pow.f64 (/.f64 4 y) 3)))
(expm1.f64 (log1p.f64 (*.f64 (/.f64 4 y) (-.f64 x z))))
(exp.f64 (log.f64 (*.f64 (/.f64 4 y) (-.f64 x z))))
(exp.f64 (.f64 (log.f64 (.f64 (/.f64 4 y) (-.f64 x z))) 1))
(log1p.f64 (expm1.f64 (*.f64 (/.f64 4 y) (-.f64 x z))))

Outputs
(+.f64 1 (.f64 4 (/.f64 (-.f64 (.f64 1/4 y) z) y)))
(fma.f64 4 (/.f64 (-.f64 (*.f64 1/4 y) z) y) 1)
(fma.f64 4 (-.f64 1/4 (/.f64 z y)) 1)
(+.f64 1 (+.f64 (.f64 4 (/.f64 x y)) (.f64 4 (/.f64 (-.f64 (*.f64 1/4 y) z) y))))
(+.f64 1 (.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y))))
(fma.f64 4 (+.f64 (/.f64 (-.f64 (*.f64 1/4 y) z) y) (/.f64 x y)) 1)
(fma.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)) 1)
(+.f64 1 (+.f64 (.f64 4 (/.f64 x y)) (.f64 4 (/.f64 (-.f64 (*.f64 1/4 y) z) y))))
(+.f64 1 (.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y))))
(fma.f64 4 (+.f64 (/.f64 (-.f64 (*.f64 1/4 y) z) y) (/.f64 x y)) 1)
(fma.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)) 1)
(+.f64 1 (+.f64 (.f64 4 (/.f64 x y)) (.f64 4 (/.f64 (-.f64 (*.f64 1/4 y) z) y))))
(+.f64 1 (.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y))))
(fma.f64 4 (+.f64 (/.f64 (-.f64 (*.f64 1/4 y) z) y) (/.f64 x y)) 1)
(fma.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)) 1)
(*.f64 4 (/.f64 x y))
(/.f64 (*.f64 x 4) y)
(+.f64 1 (+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y))))
(+.f64 1 (.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y))))
(fma.f64 4 (+.f64 (/.f64 (-.f64 (*.f64 1/4 y) z) y) (/.f64 x y)) 1)
(fma.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)) 1)
(+.f64 1 (+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y))))
(+.f64 1 (.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y))))
(fma.f64 4 (+.f64 (/.f64 (-.f64 (*.f64 1/4 y) z) y) (/.f64 x y)) 1)
(fma.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)) 1)
(+.f64 1 (+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y))))
(+.f64 1 (.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y))))
(fma.f64 4 (+.f64 (/.f64 (-.f64 (*.f64 1/4 y) z) y) (/.f64 x y)) 1)
(fma.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)) 1)
(*.f64 4 (/.f64 x y))
(/.f64 (*.f64 x 4) y)
(+.f64 1 (+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y))))
(+.f64 1 (.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y))))
(fma.f64 4 (+.f64 (/.f64 (-.f64 (*.f64 1/4 y) z) y) (/.f64 x y)) 1)
(fma.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)) 1)
(+.f64 1 (+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y))))
(+.f64 1 (.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y))))
(fma.f64 4 (+.f64 (/.f64 (-.f64 (*.f64 1/4 y) z) y) (/.f64 x y)) 1)
(fma.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)) 1)
(+.f64 1 (+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y))))
(+.f64 1 (.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y))))
(fma.f64 4 (+.f64 (/.f64 (-.f64 (*.f64 1/4 y) z) y) (/.f64 x y)) 1)
(fma.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)) 1)
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 2)
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 2)
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 2)
2
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 2)
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 2)
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 2)
2
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 2)
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 2)
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 2)
(+.f64 1 (.f64 4 (/.f64 (+.f64 x (.f64 1/4 y)) y)))
(+.f64 1 (*.f64 4 (/.f64 (fma.f64 y 1/4 x) y)))
(fma.f64 4 (/.f64 (fma.f64 1/4 y x) y) 1)
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 (+.f64 x (*.f64 1/4 y)) y))))
(+.f64 1 (fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 (fma.f64 y 1/4 x) y))))
(+.f64 1 (fma.f64 4 (/.f64 (fma.f64 1/4 y x) y) (*.f64 (/.f64 z y) -4)))
(fma.f64 4 (/.f64 (fma.f64 1/4 y x) y) (fma.f64 (/.f64 z y) -4 1))
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 (+.f64 x (*.f64 1/4 y)) y))))
(+.f64 1 (fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 (fma.f64 y 1/4 x) y))))
(+.f64 1 (fma.f64 4 (/.f64 (fma.f64 1/4 y x) y) (*.f64 (/.f64 z y) -4)))
(fma.f64 4 (/.f64 (fma.f64 1/4 y x) y) (fma.f64 (/.f64 z y) -4 1))
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 (+.f64 x (*.f64 1/4 y)) y))))
(+.f64 1 (fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 (fma.f64 y 1/4 x) y))))
(+.f64 1 (fma.f64 4 (/.f64 (fma.f64 1/4 y x) y) (*.f64 (/.f64 z y) -4)))
(fma.f64 4 (/.f64 (fma.f64 1/4 y x) y) (fma.f64 (/.f64 z y) -4 1))
(*.f64 -4 (/.f64 z y))
(*.f64 (/.f64 z y) -4)
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y)))))
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 2)
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y)))))
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 2)
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y)))))
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 2)
(*.f64 -4 (/.f64 z y))
(*.f64 (/.f64 z y) -4)
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y)))))
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 2)
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y)))))
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 2)
(+.f64 1 (+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y)))))
(+.f64 2 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 2)
(.f64 4 (/.f64 (-.f64 (.f64 1/4 y) z) y))
(*.f64 4 (-.f64 1/4 (/.f64 z y)))
(+.f64 (.f64 4 (/.f64 x y)) (.f64 4 (/.f64 (-.f64 (*.f64 1/4 y) z) y)))
(.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y)))
(.f64 4 (+.f64 (/.f64 (-.f64 (.f64 1/4 y) z) y) (/.f64 x y)))
(*.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)))
(+.f64 (.f64 4 (/.f64 x y)) (.f64 4 (/.f64 (-.f64 (*.f64 1/4 y) z) y)))
(.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y)))
(.f64 4 (+.f64 (/.f64 (-.f64 (.f64 1/4 y) z) y) (/.f64 x y)))
(*.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)))
(+.f64 (.f64 4 (/.f64 x y)) (.f64 4 (/.f64 (-.f64 (*.f64 1/4 y) z) y)))
(.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y)))
(.f64 4 (+.f64 (/.f64 (-.f64 (.f64 1/4 y) z) y) (/.f64 x y)))
(*.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)))
(*.f64 4 (/.f64 x y))
(/.f64 (*.f64 x 4) y)
(+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y)))
(.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y)))
(.f64 4 (+.f64 (/.f64 (-.f64 (.f64 1/4 y) z) y) (/.f64 x y)))
(*.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)))
(+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y)))
(.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y)))
(.f64 4 (+.f64 (/.f64 (-.f64 (.f64 1/4 y) z) y) (/.f64 x y)))
(*.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)))
(+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y)))
(.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y)))
(.f64 4 (+.f64 (/.f64 (-.f64 (.f64 1/4 y) z) y) (/.f64 x y)))
(*.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)))
(*.f64 4 (/.f64 x y))
(/.f64 (*.f64 x 4) y)
(+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y)))
(.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y)))
(.f64 4 (+.f64 (/.f64 (-.f64 (.f64 1/4 y) z) y) (/.f64 x y)))
(*.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)))
(+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y)))
(.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y)))
(.f64 4 (+.f64 (/.f64 (-.f64 (.f64 1/4 y) z) y) (/.f64 x y)))
(*.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)))
(+.f64 (.f64 4 (-.f64 1/4 (/.f64 z y))) (.f64 4 (/.f64 x y)))
(.f64 4 (+.f64 (/.f64 x y) (/.f64 (-.f64 (.f64 1/4 y) z) y)))
(.f64 4 (+.f64 (/.f64 (-.f64 (.f64 1/4 y) z) y) (/.f64 x y)))
(*.f64 4 (+.f64 (-.f64 1/4 (/.f64 z y)) (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 1)
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 1)
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 1)
1
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 1)
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 1)
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 1)
1
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 1)
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 1)
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 1)
(.f64 4 (/.f64 (+.f64 x (.f64 1/4 y)) y))
(*.f64 4 (/.f64 (fma.f64 y 1/4 x) y))
(*.f64 4 (/.f64 (fma.f64 1/4 y x) y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 (+.f64 x (*.f64 1/4 y)) y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 (fma.f64 y 1/4 x) y)))
(fma.f64 4 (/.f64 (fma.f64 1/4 y x) y) (*.f64 (/.f64 z y) -4))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 (+.f64 x (*.f64 1/4 y)) y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 (fma.f64 y 1/4 x) y)))
(fma.f64 4 (/.f64 (fma.f64 1/4 y x) y) (*.f64 (/.f64 z y) -4))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 (+.f64 x (*.f64 1/4 y)) y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 (fma.f64 y 1/4 x) y)))
(fma.f64 4 (/.f64 (fma.f64 1/4 y x) y) (*.f64 (/.f64 z y) -4))
(*.f64 -4 (/.f64 z y))
(*.f64 (/.f64 z y) -4)
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y))))
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 1)
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y))))
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 1)
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y))))
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 1)
(*.f64 -4 (/.f64 z y))
(*.f64 (/.f64 z y) -4)
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y))))
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 1)
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y))))
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 1)
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (+.f64 1/4 (/.f64 x y))))
(+.f64 1 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 1)
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 -4 (/.f64 z y))
(*.f64 (/.f64 z y) -4)
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 x y))
(/.f64 (*.f64 x 4) y)
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 x y))
(/.f64 (*.f64 x 4) y)
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 4 (/.f64 x y))
(/.f64 (*.f64 x 4) y)
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 -4 (/.f64 z y))
(*.f64 (/.f64 z y) -4)
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(*.f64 -4 (/.f64 z y))
(*.f64 (/.f64 z y) -4)
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(-.f64 (exp.f64 (log1p.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))) 1)
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(-.f64 (/.f64 1 (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) (/.f64 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2) (-.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(/.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2)) (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(/.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 2)) (+.f64 1 (.f64 -4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y))))
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 2) -1) (fma.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y) -1))
(.f64 1 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(.f64 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1)
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(.f64 (cbrt.f64 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) (pow.f64 (cbrt.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) 2))
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(.f64 (pow.f64 (cbrt.f64 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) 2) (cbrt.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(.f64 (sqrt.f64 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) (sqrt.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3)) (/.f64 1 (+.f64 1 (.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) (-.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1)))))
(/.f64 1 (/.f64 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (.f64 (/.f64 4 y) (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1)))) (+.f64 1 (pow.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3))))
(/.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 3)) (fma.f64 (.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) (fma.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y) -1) 1))
(/.f64 (fma.f64 64 (pow.f64 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 3) 1) (fma.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) (fma.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y) -1) 1))
(.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2)) (/.f64 1 (-.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(/.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2)) (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(/.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 2)) (+.f64 1 (.f64 -4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y))))
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 2) -1) (fma.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y) -1))
(/.f64 1 (/.f64 (+.f64 1 (.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) (-.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1))) (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3))))
(/.f64 1 (/.f64 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (.f64 (/.f64 4 y) (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1)))) (+.f64 1 (pow.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3))))
(/.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 3)) (fma.f64 (.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) (fma.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y) -1) 1))
(/.f64 (fma.f64 64 (pow.f64 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 3) 1) (fma.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) (fma.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y) -1) 1))
(/.f64 1 (/.f64 (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2))))
(/.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2)) (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(/.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 2)) (+.f64 1 (.f64 -4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y))))
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 2) -1) (fma.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y) -1))
(/.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3)) (+.f64 1 (.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) (-.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1))))
(/.f64 1 (/.f64 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (.f64 (/.f64 4 y) (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1)))) (+.f64 1 (pow.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3))))
(/.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 3)) (fma.f64 (.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) (fma.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y) -1) 1))
(/.f64 (fma.f64 64 (pow.f64 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 3) 1) (fma.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) (fma.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y) -1) 1))
(/.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3)) (+.f64 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2) (-.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(/.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3)) (+.f64 (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) (pow.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2)))
(/.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 3)) (+.f64 (+.f64 1 (.f64 -4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y))) (pow.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 2)))
(/.f64 (fma.f64 64 (pow.f64 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 3) 1) (+.f64 1 (fma.f64 -4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) (pow.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 2))))
(/.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2)) (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(/.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 2)) (+.f64 1 (.f64 -4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y))))
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 2) -1) (fma.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y) -1))
(/.f64 (neg.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3))) (neg.f64 (+.f64 1 (.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) (-.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1)))))
(/.f64 1 (/.f64 (+.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (.f64 (/.f64 4 y) (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1)))) (+.f64 1 (pow.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3))))
(/.f64 (+.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 3)) (fma.f64 (.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) (fma.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y) -1) 1))
(/.f64 (fma.f64 64 (pow.f64 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 3) 1) (fma.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) (fma.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y) -1) 1))
(/.f64 (neg.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2))) (neg.f64 (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(/.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2)) (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(/.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 2)) (+.f64 1 (.f64 -4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y))))
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 2) -1) (fma.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y) -1))
(/.f64 (-.f64 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2) 1) (-.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1))
(/.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2)) (-.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(/.f64 (-.f64 1 (pow.f64 (.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 2)) (+.f64 1 (.f64 -4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y))))
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 2) -1) (fma.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y) -1))
(pow.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1)
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(pow.f64 (cbrt.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) 3)
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(pow.f64 (pow.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 3) 1/3)
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(pow.f64 (sqrt.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))) 2)
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(sqrt.f64 (pow.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 2))
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(log.f64 (exp.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(log.f64 (+.f64 1 (expm1.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))))
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(cbrt.f64 (pow.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 3))
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(expm1.f64 (log1p.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(exp.f64 (log1p.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(exp.f64 (log1p.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))))
(exp.f64 (.f64 (log1p.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1))
(exp.f64 (log1p.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(exp.f64 (log1p.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))))
(log1p.f64 (expm1.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(fma.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1)
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(fma.f64 (*.f64 4 (-.f64 (fma.f64 y 1/4 x) z)) (/.f64 1 y) 1)
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(fma.f64 (pow.f64 (cbrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 2) (cbrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1)
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(fma.f64 (sqrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) (sqrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1)
(+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(fma.f64 4 (/.f64 (-.f64 (fma.f64 1/4 y x) z) y) 1)
(-.f64 (+.f64 1 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1)
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(.f64 1 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(*.f64 4 (/.f64 (-.f64 (fma.f64 y 1/4 x) z) y))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(*.f64 4 (/.f64 1 (/.f64 y (-.f64 (fma.f64 y 1/4 x) z))))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(.f64 4 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 1 y)))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z)) (/.f64 1 y))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1)
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(*.f64 (/.f64 4 y) (-.f64 (fma.f64 y 1/4 x) z))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(.f64 (pow.f64 (cbrt.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) 2) (.f64 (cbrt.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) (/.f64 1 y)))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(.f64 (cbrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) (pow.f64 (cbrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 2))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(.f64 (pow.f64 (cbrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 2) (cbrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(.f64 (.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) (.f64 (.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) (/.f64 1 y)))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(.f64 (sqrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) (sqrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) -4) (/.f64 1 (neg.f64 y)))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(.f64 (/.f64 1 y) (.f64 4 (-.f64 (fma.f64 y 1/4 x) z)))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z)) (cbrt.f64 y)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 4 (/.f64 (cbrt.f64 y) (-.f64 (fma.f64 y 1/4 x) z))))
(*.f64 (/.f64 4 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (-.f64 (fma.f64 1/4 y x) z) (cbrt.f64 y)))
(.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z)) (sqrt.f64 y)))
(/.f64 (.f64 (/.f64 1 (sqrt.f64 y)) (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) (sqrt.f64 y))
(*.f64 (/.f64 4 (sqrt.f64 y)) (/.f64 (-.f64 (fma.f64 1/4 y x) z) (sqrt.f64 y)))
(/.f64 (/.f64 4 (sqrt.f64 y)) (/.f64 (sqrt.f64 y) (-.f64 (fma.f64 1/4 y x) z)))
(*.f64 (/.f64 4 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (-.f64 (fma.f64 y 1/4 x) z) (cbrt.f64 y)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 4 (/.f64 (cbrt.f64 y) (-.f64 (fma.f64 y 1/4 x) z))))
(*.f64 (/.f64 4 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (-.f64 (fma.f64 1/4 y x) z) (cbrt.f64 y)))
(*.f64 (/.f64 4 (sqrt.f64 y)) (/.f64 (-.f64 (fma.f64 y 1/4 x) z) (sqrt.f64 y)))
(/.f64 (.f64 (/.f64 1 (sqrt.f64 y)) (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) (sqrt.f64 y))
(*.f64 (/.f64 4 (sqrt.f64 y)) (/.f64 (-.f64 (fma.f64 1/4 y x) z) (sqrt.f64 y)))
(/.f64 (/.f64 4 (sqrt.f64 y)) (/.f64 (sqrt.f64 y) (-.f64 (fma.f64 1/4 y x) z)))
(*.f64 (/.f64 (-.f64 (fma.f64 y 1/4 x) z) (sqrt.f64 y)) (/.f64 4 (sqrt.f64 y)))
(/.f64 (.f64 (/.f64 1 (sqrt.f64 y)) (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) (sqrt.f64 y))
(*.f64 (/.f64 4 (sqrt.f64 y)) (/.f64 (-.f64 (fma.f64 1/4 y x) z) (sqrt.f64 y)))
(/.f64 (/.f64 4 (sqrt.f64 y)) (/.f64 (sqrt.f64 y) (-.f64 (fma.f64 1/4 y x) z)))
(*.f64 (/.f64 (-.f64 (fma.f64 y 1/4 x) z) 1) (/.f64 4 y))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(*.f64 (/.f64 (-.f64 (fma.f64 y 1/4 x) z) (pow.f64 (cbrt.f64 y) 2)) (/.f64 4 (cbrt.f64 y)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 4 (/.f64 (cbrt.f64 y) (-.f64 (fma.f64 y 1/4 x) z))))
(*.f64 (/.f64 4 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (-.f64 (fma.f64 1/4 y x) z) (cbrt.f64 y)))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) 2) 1) (/.f64 (cbrt.f64 (*.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) y))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) 2) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(.f64 (cbrt.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) (/.f64 (pow.f64 (cbrt.f64 (*.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) 2) (pow.f64 (cbrt.f64 y) 2)))
(.f64 (cbrt.f64 (.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))) (/.f64 (pow.f64 (cbrt.f64 (*.f64 4 (-.f64 (fma.f64 1/4 y x) z))) 2) (pow.f64 (cbrt.f64 y) 2)))
(/.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))) (pow.f64 (cbrt.f64 (*.f64 4 (-.f64 (fma.f64 1/4 y x) z))) 2)) (pow.f64 (cbrt.f64 y) 2))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (*.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) (sqrt.f64 y)))
(/.f64 (.f64 (/.f64 1 (sqrt.f64 y)) (.f64 4 (-.f64 (fma.f64 y 1/4 x) z))) (sqrt.f64 y))
(*.f64 (/.f64 4 (sqrt.f64 y)) (/.f64 (-.f64 (fma.f64 1/4 y x) z) (sqrt.f64 y)))
(/.f64 (/.f64 4 (sqrt.f64 y)) (/.f64 (sqrt.f64 y) (-.f64 (fma.f64 1/4 y x) z)))
(.f64 (/.f64 (.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) 1) (/.f64 (*.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) y))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(.f64 (/.f64 (.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (*.f64 (sqrt.f64 (-.f64 (fma.f64 y 1/4 x) z)) 2) (cbrt.f64 y)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 4 (/.f64 (cbrt.f64 y) (-.f64 (fma.f64 y 1/4 x) z))))
(*.f64 (/.f64 4 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (-.f64 (fma.f64 1/4 y x) z) (cbrt.f64 y)))
(pow.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 1)
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(pow.f64 (cbrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 3)
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(pow.f64 (pow.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3) 1/3)
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(pow.f64 (sqrt.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 2)
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(pow.f64 (/.f64 (*.f64 y 1/4) (-.f64 (fma.f64 y 1/4 x) z)) -1)
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(neg.f64 (/.f64 (*.f64 4 (-.f64 (fma.f64 y 1/4 x) z)) (neg.f64 y)))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(sqrt.f64 (pow.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 2))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(log.f64 (exp.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)))))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(cbrt.f64 (pow.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y)) 3))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(expm1.f64 (log1p.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(exp.f64 (log.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(exp.f64 (.f64 (log.f64 (.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))) 1))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(log1p.f64 (expm1.f64 (*.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y))))
(+.f64 1 (fma.f64 (-.f64 (fma.f64 y 1/4 x) z) (/.f64 4 y) -1))
(+.f64 (*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y)) 0)
(*.f64 (-.f64 (fma.f64 1/4 y x) z) (/.f64 4 y))
(+.f64 (.f64 (/.f64 4 y) x) (.f64 (/.f64 4 y) (neg.f64 z)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 (.f64 x (/.f64 4 y)) (.f64 (neg.f64 z) (/.f64 4 y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 4 y) (-.f64 x z)))) 1)
(*.f64 4 (/.f64 (-.f64 x z) y))
(/.f64 1 (/.f64 y (*.f64 4 (-.f64 x z))))
(*.f64 4 (/.f64 (-.f64 x z) y))
(/.f64 4 (/.f64 y (-.f64 x z)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(/.f64 (-.f64 x z) (*.f64 y 1/4))
(*.f64 4 (/.f64 (-.f64 x z) y))
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (.f64 (.f64 y 1/4) (fma.f64 x x (*.f64 z (+.f64 x z)))))
(/.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (.f64 1/4 y)) (fma.f64 x x (.f64 z (+.f64 z x))))
(.f64 (/.f64 4 y) (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (fma.f64 x x (.f64 z (+.f64 z x)))))
(/.f64 (*.f64 (/.f64 4 y) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 z (+.f64 z x) (pow.f64 x 2)))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (.f64 (.f64 y 1/4) (+.f64 x z)))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (.f64 (.f64 1/4 y) (+.f64 z x)))
(*.f64 (/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) y) (/.f64 4 (+.f64 z x)))
(/.f64 (*.f64 4 (-.f64 x z)) y)
(*.f64 4 (/.f64 (-.f64 x z) y))
(/.f64 (.f64 4 (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (.f64 y (fma.f64 x x (*.f64 z (+.f64 x z)))))
(/.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (.f64 1/4 y)) (fma.f64 x x (.f64 z (+.f64 z x))))
(.f64 (/.f64 4 y) (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (fma.f64 x x (.f64 z (+.f64 z x)))))
(/.f64 (*.f64 (/.f64 4 y) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 z (+.f64 z x) (pow.f64 x 2)))
(/.f64 (.f64 4 (-.f64 (pow.f64 x 2) (pow.f64 z 2))) (.f64 y (+.f64 x z)))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (.f64 (.f64 1/4 y) (+.f64 z x)))
(*.f64 (/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) y) (/.f64 4 (+.f64 z x)))
(/.f64 (.f64 -4 (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (.f64 (neg.f64 y) (fma.f64 x x (*.f64 z (+.f64 x z)))))
(/.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (.f64 1/4 y)) (fma.f64 x x (.f64 z (+.f64 z x))))
(.f64 (/.f64 4 y) (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (fma.f64 x x (.f64 z (+.f64 z x)))))
(/.f64 (*.f64 (/.f64 4 y) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 z (+.f64 z x) (pow.f64 x 2)))
(/.f64 (.f64 -4 (-.f64 (pow.f64 x 2) (pow.f64 z 2))) (.f64 (neg.f64 y) (+.f64 x z)))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (.f64 (.f64 1/4 y) (+.f64 z x)))
(*.f64 (/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) y) (/.f64 4 (+.f64 z x)))
(/.f64 (.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) 1) (.f64 (fma.f64 x x (.f64 z (+.f64 x z))) (.f64 y 1/4)))
(/.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (.f64 1/4 y)) (fma.f64 x x (.f64 z (+.f64 z x))))
(.f64 (/.f64 4 y) (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (fma.f64 x x (.f64 z (+.f64 z x)))))
(/.f64 (*.f64 (/.f64 4 y) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 z (+.f64 z x) (pow.f64 x 2)))
(/.f64 (.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) 4) (.f64 (fma.f64 x x (*.f64 z (+.f64 x z))) y))
(/.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (.f64 1/4 y)) (fma.f64 x x (.f64 z (+.f64 z x))))
(.f64 (/.f64 4 y) (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (fma.f64 x x (.f64 z (+.f64 z x)))))
(/.f64 (*.f64 (/.f64 4 y) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 z (+.f64 z x) (pow.f64 x 2)))
(/.f64 (.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) -4) (.f64 (fma.f64 x x (*.f64 z (+.f64 x z))) (neg.f64 y)))
(/.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (.f64 1/4 y)) (fma.f64 x x (.f64 z (+.f64 z x))))
(.f64 (/.f64 4 y) (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (fma.f64 x x (.f64 z (+.f64 z x)))))
(/.f64 (*.f64 (/.f64 4 y) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 z (+.f64 z x) (pow.f64 x 2)))
(/.f64 (.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) 1) (.f64 (+.f64 x z) (*.f64 y 1/4)))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (.f64 (.f64 1/4 y) (+.f64 z x)))
(*.f64 (/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) y) (/.f64 4 (+.f64 z x)))
(/.f64 (.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) 4) (.f64 (+.f64 x z) y))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (.f64 (.f64 1/4 y) (+.f64 z x)))
(*.f64 (/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) y) (/.f64 4 (+.f64 z x)))
(/.f64 (.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) -4) (.f64 (+.f64 x z) (neg.f64 y)))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (.f64 (.f64 1/4 y) (+.f64 z x)))
(*.f64 (/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) y) (/.f64 4 (+.f64 z x)))
(/.f64 (neg.f64 (*.f64 4 (-.f64 x z))) (neg.f64 y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(/.f64 (.f64 (/.f64 4 y) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 x x (.f64 z (+.f64 x z))))
(/.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (.f64 1/4 y)) (fma.f64 x x (.f64 z (+.f64 z x))))
(.f64 (/.f64 4 y) (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (fma.f64 x x (.f64 z (+.f64 z x)))))
(/.f64 (*.f64 (/.f64 4 y) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 z (+.f64 z x) (pow.f64 x 2)))
(/.f64 (*.f64 (/.f64 4 y) (-.f64 (pow.f64 x 2) (pow.f64 z 2))) (+.f64 x z))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (.f64 (.f64 1/4 y) (+.f64 z x)))
(*.f64 (/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) y) (/.f64 4 (+.f64 z x)))
(/.f64 (*.f64 (-.f64 x z) -4) (neg.f64 y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(/.f64 (*.f64 -4 (-.f64 x z)) (neg.f64 y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(/.f64 (.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (/.f64 4 y)) (fma.f64 x x (.f64 z (+.f64 x z))))
(/.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (.f64 1/4 y)) (fma.f64 x x (.f64 z (+.f64 z x))))
(.f64 (/.f64 4 y) (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (fma.f64 x x (.f64 z (+.f64 z x)))))
(/.f64 (*.f64 (/.f64 4 y) (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 z (+.f64 z x) (pow.f64 x 2)))
(/.f64 (*.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (/.f64 4 y)) (+.f64 x z))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) (.f64 (.f64 1/4 y) (+.f64 z x)))
(*.f64 (/.f64 (-.f64 (pow.f64 x 2) (pow.f64 z 2)) y) (/.f64 4 (+.f64 z x)))
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) 1) y)
(*.f64 4 (/.f64 (-.f64 x z) y))
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) (sqrt.f64 y)) (sqrt.f64 y))
(*.f64 4 (/.f64 (-.f64 x z) y))
(pow.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 1)
(*.f64 4 (/.f64 (-.f64 x z) y))
(pow.f64 (cbrt.f64 (*.f64 (/.f64 4 y) (-.f64 x z))) 3)
(*.f64 4 (/.f64 (-.f64 x z) y))
(pow.f64 (pow.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 3) 1/3)
(*.f64 4 (/.f64 (-.f64 x z) y))
(pow.f64 (sqrt.f64 (*.f64 (/.f64 4 y) (-.f64 x z))) 2)
(*.f64 4 (/.f64 (-.f64 x z) y))
(sqrt.f64 (pow.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 2))
(*.f64 4 (/.f64 (-.f64 x z) y))
(log.f64 (pow.f64 (exp.f64 (-.f64 x z)) (/.f64 4 y)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (/.f64 4 y) (-.f64 x z)))))
(*.f64 4 (/.f64 (-.f64 x z) y))
(cbrt.f64 (pow.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 3))
(*.f64 4 (/.f64 (-.f64 x z) y))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 4 y) 3) (pow.f64 (-.f64 x z) 3)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(cbrt.f64 (*.f64 (pow.f64 (-.f64 x z) 3) (pow.f64 (/.f64 4 y) 3)))
(*.f64 4 (/.f64 (-.f64 x z) y))
(expm1.f64 (log1p.f64 (*.f64 (/.f64 4 y) (-.f64 x z))))
(*.f64 4 (/.f64 (-.f64 x z) y))
(exp.f64 (log.f64 (*.f64 (/.f64 4 y) (-.f64 x z))))
(*.f64 4 (/.f64 (-.f64 x z) y))
(exp.f64 (.f64 (log.f64 (.f64 (/.f64 4 y) (-.f64 x z))) 1))
(*.f64 4 (/.f64 (-.f64 x z) y))
(log1p.f64 (expm1.f64 (*.f64 (/.f64 4 y) (-.f64 x z))))
(*.f64 4 (/.f64 (-.f64 x z) y))

eval60.0ms (1.5%)

Compiler: Compiled 3275 to 2176 computations (33.6% saved)

prune37.0ms (0.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	182	5	187
Fresh	0	0	0
Picked	2	0	2
Done	0	0	0
Total	184	5	189

Accuracy

100.0%

Counts

189 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	34.8%	(/.f64 (*.f64 x 4) y)
▶	100.0%	(+.f64 2 (/.f64 (-.f64 x z) (*.f64 y 1/4)))
▶	33.8%	(*.f64 (/.f64 z y) -4)
▶	63.3%	(*.f64 4 (/.f64 (-.f64 x z) y))
	37.9%	2
▶	34.8%	(/.f64 (*.f64 x 4) y)
▶	100.0%	(+.f64 2 (/.f64 (-.f64 x z) (*.f64 y 1/4)))
▶	33.8%	(*.f64 (/.f64 z y) -4)
▶	63.3%	(*.f64 4 (/.f64 (-.f64 x z) y))
	37.9%	2

Compiler

Compiled 84 to 64 computations (23.8% saved)

localize155.0ms (3.9%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	100.0%	(*.f64 (/.f64 z y) -4)
✓	100.0%	(*.f64 4 (/.f64 (-.f64 x z) y))

Compiler

Compiled 72 to 31 computations (56.9% saved)

series4.0ms (0.1%)

Counts

2 → 48

Calls

15 calls:

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

rewrite72.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1250×	`prod-diff`
1098×	`log1p-expm1-u`
813×	`expm1-log1p-u`
348×	`expm1-udef`
348×	`log1p-udef`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	47
1	194	47
2	2825	47

Stop Event

1×	node limit

Counts

2 → 45

Calls

Call 1

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

Outputs
(-.f64 (exp.f64 (log1p.f64 (*.f64 4 (/.f64 (-.f64 x z) y)))) 1)
(/.f64 4 (/.f64 y (-.f64 x z)))
(/.f64 1 (/.f64 y (*.f64 4 (-.f64 x z))))
(/.f64 (*.f64 4 (-.f64 x z)) y)
(/.f64 (neg.f64 (*.f64 4 (-.f64 x z))) (neg.f64 y))
(/.f64 (*.f64 4 (neg.f64 (-.f64 x z))) (neg.f64 y))
(/.f64 (*.f64 (neg.f64 (-.f64 x z)) 4) (neg.f64 y))
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) 1) y)
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) (sqrt.f64 y)) (sqrt.f64 y))
(pow.f64 (*.f64 4 (/.f64 (-.f64 x z) y)) 1)
(pow.f64 (cbrt.f64 (*.f64 4 (/.f64 (-.f64 x z) y))) 3)
(pow.f64 (pow.f64 (*.f64 4 (/.f64 (-.f64 x z) y)) 3) 1/3)
(pow.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 x z) y)) 2) 2)
(sqrt.f64 (*.f64 (pow.f64 (/.f64 (-.f64 x z) y) 2) 16))
(log.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 x z) y)) 4))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 4 (/.f64 (-.f64 x z) y)))))
(cbrt.f64 (pow.f64 (*.f64 4 (/.f64 (-.f64 x z) y)) 3))
(expm1.f64 (log1p.f64 (*.f64 4 (/.f64 (-.f64 x z) y))))
(exp.f64 (log.f64 (*.f64 4 (/.f64 (-.f64 x z) y))))
(exp.f64 (.f64 (log.f64 (.f64 4 (/.f64 (-.f64 x z) y))) 1))
(log1p.f64 (expm1.f64 (*.f64 4 (/.f64 (-.f64 x z) y))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 -4 (/.f64 y z)))) 1)
(/.f64 z (/.f64 y -4))
(/.f64 -4 (/.f64 y z))
(/.f64 1 (/.f64 y (*.f64 z -4)))
(/.f64 (*.f64 z -4) y)
(/.f64 (neg.f64 (*.f64 z -4)) (neg.f64 y))
(/.f64 (*.f64 -4 (neg.f64 z)) (neg.f64 y))
(/.f64 (*.f64 (neg.f64 z) -4) (neg.f64 y))
(/.f64 (/.f64 (*.f64 z -4) 1) y)
(/.f64 (/.f64 (*.f64 z -4) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(/.f64 (/.f64 (*.f64 z -4) (sqrt.f64 y)) (sqrt.f64 y))
(pow.f64 (/.f64 -4 (/.f64 y z)) 1)
(pow.f64 (cbrt.f64 (/.f64 -4 (/.f64 y z))) 3)
(pow.f64 (pow.f64 (/.f64 -4 (/.f64 y z)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 -4 (/.f64 y z))) 2)
(sqrt.f64 (*.f64 (pow.f64 (/.f64 z y) 2) 16))
(log.f64 (exp.f64 (/.f64 -4 (/.f64 y z))))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 -4 (/.f64 y z)))))
(cbrt.f64 (pow.f64 (/.f64 -4 (/.f64 y z)) 3))
(expm1.f64 (log1p.f64 (/.f64 -4 (/.f64 y z))))
(exp.f64 (log.f64 (/.f64 -4 (/.f64 y z))))
(exp.f64 (*.f64 (log.f64 (/.f64 -4 (/.f64 y z))) 1))
(log1p.f64 (expm1.f64 (/.f64 -4 (/.f64 y z))))

simplify67.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

1530×	`fma-def`
1274×	`log-prod`
1200×	`log-div`
804×	`associate-*r/`
606×	`associate-*l/`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	2576
1	278	2576
2	980	2141
3	5743	2141

Stop Event

1×	node limit

Counts

93 → 57

Calls

Call 1

Inputs
(*.f64 -4 (/.f64 z y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 x y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 x y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 4 (/.f64 x y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 -4 (/.f64 z y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 -4 (/.f64 z y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(-.f64 (exp.f64 (log1p.f64 (*.f64 4 (/.f64 (-.f64 x z) y)))) 1)
(/.f64 4 (/.f64 y (-.f64 x z)))
(/.f64 1 (/.f64 y (*.f64 4 (-.f64 x z))))
(/.f64 (*.f64 4 (-.f64 x z)) y)
(/.f64 (neg.f64 (*.f64 4 (-.f64 x z))) (neg.f64 y))
(/.f64 (*.f64 4 (neg.f64 (-.f64 x z))) (neg.f64 y))
(/.f64 (*.f64 (neg.f64 (-.f64 x z)) 4) (neg.f64 y))
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) 1) y)
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) (sqrt.f64 y)) (sqrt.f64 y))
(pow.f64 (*.f64 4 (/.f64 (-.f64 x z) y)) 1)
(pow.f64 (cbrt.f64 (*.f64 4 (/.f64 (-.f64 x z) y))) 3)
(pow.f64 (pow.f64 (*.f64 4 (/.f64 (-.f64 x z) y)) 3) 1/3)
(pow.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 x z) y)) 2) 2)
(sqrt.f64 (*.f64 (pow.f64 (/.f64 (-.f64 x z) y) 2) 16))
(log.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 x z) y)) 4))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 4 (/.f64 (-.f64 x z) y)))))
(cbrt.f64 (pow.f64 (*.f64 4 (/.f64 (-.f64 x z) y)) 3))
(expm1.f64 (log1p.f64 (*.f64 4 (/.f64 (-.f64 x z) y))))
(exp.f64 (log.f64 (*.f64 4 (/.f64 (-.f64 x z) y))))
(exp.f64 (.f64 (log.f64 (.f64 4 (/.f64 (-.f64 x z) y))) 1))
(log1p.f64 (expm1.f64 (*.f64 4 (/.f64 (-.f64 x z) y))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 -4 (/.f64 y z)))) 1)
(/.f64 z (/.f64 y -4))
(/.f64 -4 (/.f64 y z))
(/.f64 1 (/.f64 y (*.f64 z -4)))
(/.f64 (*.f64 z -4) y)
(/.f64 (neg.f64 (*.f64 z -4)) (neg.f64 y))
(/.f64 (*.f64 -4 (neg.f64 z)) (neg.f64 y))
(/.f64 (*.f64 (neg.f64 z) -4) (neg.f64 y))
(/.f64 (/.f64 (*.f64 z -4) 1) y)
(/.f64 (/.f64 (*.f64 z -4) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(/.f64 (/.f64 (*.f64 z -4) (sqrt.f64 y)) (sqrt.f64 y))
(pow.f64 (/.f64 -4 (/.f64 y z)) 1)
(pow.f64 (cbrt.f64 (/.f64 -4 (/.f64 y z))) 3)
(pow.f64 (pow.f64 (/.f64 -4 (/.f64 y z)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 -4 (/.f64 y z))) 2)
(sqrt.f64 (*.f64 (pow.f64 (/.f64 z y) 2) 16))
(log.f64 (exp.f64 (/.f64 -4 (/.f64 y z))))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 -4 (/.f64 y z)))))
(cbrt.f64 (pow.f64 (/.f64 -4 (/.f64 y z)) 3))
(expm1.f64 (log1p.f64 (/.f64 -4 (/.f64 y z))))
(exp.f64 (log.f64 (/.f64 -4 (/.f64 y z))))
(exp.f64 (*.f64 (log.f64 (/.f64 -4 (/.f64 y z))) 1))
(log1p.f64 (expm1.f64 (/.f64 -4 (/.f64 y z))))

Outputs
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(*.f64 4 (/.f64 x y))
(/.f64 x (*.f64 1/4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(*.f64 4 (/.f64 x y))
(/.f64 x (*.f64 1/4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(*.f64 4 (/.f64 x y))
(/.f64 x (*.f64 1/4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(+.f64 (.f64 -4 (/.f64 z y)) (.f64 4 (/.f64 x y)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(-.f64 (exp.f64 (log1p.f64 (*.f64 4 (/.f64 (-.f64 x z) y)))) 1)
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(/.f64 4 (/.f64 y (-.f64 x z)))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(/.f64 1 (/.f64 y (*.f64 4 (-.f64 x z))))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(/.f64 (*.f64 4 (-.f64 x z)) y)
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(/.f64 (neg.f64 (*.f64 4 (-.f64 x z))) (neg.f64 y))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(/.f64 (*.f64 4 (neg.f64 (-.f64 x z))) (neg.f64 y))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(/.f64 (*.f64 (neg.f64 (-.f64 x z)) 4) (neg.f64 y))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) 1) y)
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(/.f64 (/.f64 (*.f64 4 (-.f64 x z)) (sqrt.f64 y)) (sqrt.f64 y))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(pow.f64 (*.f64 4 (/.f64 (-.f64 x z) y)) 1)
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(pow.f64 (cbrt.f64 (*.f64 4 (/.f64 (-.f64 x z) y))) 3)
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(pow.f64 (pow.f64 (*.f64 4 (/.f64 (-.f64 x z) y)) 3) 1/3)
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(pow.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 x z) y)) 2) 2)
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(sqrt.f64 (*.f64 (pow.f64 (/.f64 (-.f64 x z) y) 2) 16))
(sqrt.f64 (pow.f64 (*.f64 4 (/.f64 (-.f64 x z) y)) 2))
(fabs.f64 (*.f64 (-.f64 x z) (/.f64 4 y)))
(log.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 x z) y)) 4))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 4 (/.f64 (-.f64 x z) y)))))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(cbrt.f64 (pow.f64 (*.f64 4 (/.f64 (-.f64 x z) y)) 3))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(expm1.f64 (log1p.f64 (*.f64 4 (/.f64 (-.f64 x z) y))))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(exp.f64 (log.f64 (*.f64 4 (/.f64 (-.f64 x z) y))))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(exp.f64 (.f64 (log.f64 (.f64 4 (/.f64 (-.f64 x z) y))) 1))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(log1p.f64 (expm1.f64 (*.f64 4 (/.f64 (-.f64 x z) y))))
(fma.f64 -4 (/.f64 z y) (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) (*.f64 z (/.f64 -4 y)))
(*.f64 (-.f64 x z) (/.f64 4 y))
(-.f64 (exp.f64 (log1p.f64 (/.f64 -4 (/.f64 y z)))) 1)
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(/.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(/.f64 1 (/.f64 y (*.f64 z -4)))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(/.f64 (*.f64 z -4) y)
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(/.f64 (neg.f64 (*.f64 z -4)) (neg.f64 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(/.f64 (*.f64 -4 (neg.f64 z)) (neg.f64 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(/.f64 (*.f64 (neg.f64 z) -4) (neg.f64 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(/.f64 (/.f64 (*.f64 z -4) 1) y)
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(/.f64 (/.f64 (*.f64 z -4) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(/.f64 (/.f64 (*.f64 z -4) (sqrt.f64 y)) (sqrt.f64 y))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(pow.f64 (/.f64 -4 (/.f64 y z)) 1)
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(pow.f64 (cbrt.f64 (/.f64 -4 (/.f64 y z))) 3)
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(pow.f64 (pow.f64 (/.f64 -4 (/.f64 y z)) 3) 1/3)
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(pow.f64 (sqrt.f64 (/.f64 -4 (/.f64 y z))) 2)
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(sqrt.f64 (*.f64 (pow.f64 (/.f64 z y) 2) 16))
(sqrt.f64 (*.f64 16 (pow.f64 (/.f64 z y) 2)))
(sqrt.f64 (pow.f64 (*.f64 z (/.f64 -4 y)) 2))
(log.f64 (exp.f64 (/.f64 -4 (/.f64 y z))))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 -4 (/.f64 y z)))))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(cbrt.f64 (pow.f64 (/.f64 -4 (/.f64 y z)) 3))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(expm1.f64 (log1p.f64 (/.f64 -4 (/.f64 y z))))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(exp.f64 (log.f64 (/.f64 -4 (/.f64 y z))))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(exp.f64 (*.f64 (log.f64 (/.f64 -4 (/.f64 y z))) 1))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(log1p.f64 (expm1.f64 (/.f64 -4 (/.f64 y z))))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))

eval10.0ms (0.2%)

Compiler: Compiled 480 to 262 computations (45.4% saved)

prune14.0ms (0.4%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	55	2	57
Fresh	0	1	1
Picked	0	4	4
Done	0	0	0
Total	55	7	62

Accuracy

100.0%

Counts

62 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	34.8%	(/.f64 (*.f64 x 4) y)
▶	33.8%	(/.f64 -4 (/.f64 y z))
✓	100.0%	(+.f64 2 (/.f64 (-.f64 x z) (*.f64 y 1/4)))
✓	33.8%	(*.f64 (/.f64 z y) -4)
▶	33.7%	(*.f64 z (/.f64 -4 y))
✓	63.3%	(*.f64 4 (/.f64 (-.f64 x z) y))
	37.9%	2
✓	34.8%	(/.f64 (*.f64 x 4) y)
▶	33.8%	(/.f64 -4 (/.f64 y z))
✓	100.0%	(+.f64 2 (/.f64 (-.f64 x z) (*.f64 y 1/4)))
✓	33.8%	(*.f64 (/.f64 z y) -4)
▶	33.7%	(*.f64 z (/.f64 -4 y))
✓	63.3%	(*.f64 4 (/.f64 (-.f64 x z) y))
	37.9%	2

Compiler

Compiled 116 to 88 computations (24.1% saved)

localize41.0ms (1%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	98.5%	(/.f64 -4 (/.f64 y z))
✓	99.7%	(*.f64 z (/.f64 -4 y))

Compiler

Compiled 26 to 14 computations (46.2% saved)

series1.0ms (0%)

Counts

2 → 48

Calls

12 calls:

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

rewrite116.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1008×	`unpow-prod-down`
692×	`log-prod`
636×	`log1p-expm1-u`
636×	`expm1-log1p-u`
438×	`pow-prod-down`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	38
1	147	38
2	1788	38

Stop Event

1×	node limit

Counts

2 → 107

Calls

Call 1

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

Outputs
(+.f64 0 (/.f64 z (*.f64 y -1/4)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 z (*.f64 y -1/4)))) 1)
(/.f64 z (*.f64 y -1/4))
(/.f64 -4 (/.f64 y z))
(/.f64 -4 (neg.f64 (/.f64 (neg.f64 y) z)))
(/.f64 (/.f64 -4 y) (/.f64 1 z))
(/.f64 1 (/.f64 y (*.f64 z -4)))
(/.f64 1 (/.f64 (/.f64 y (*.f64 z -4)) 1))
(/.f64 4 (/.f64 (neg.f64 y) z))
(/.f64 (*.f64 z -4) y)
(/.f64 -1 (neg.f64 (/.f64 y (*.f64 z -4))))
(/.f64 (neg.f64 (*.f64 z -4)) (neg.f64 y))
(/.f64 (*.f64 z 4) (neg.f64 y))
(/.f64 (*.f64 4 z) (neg.f64 y))
(/.f64 (/.f64 -4 (pow.f64 (cbrt.f64 (/.f64 y z)) 2)) (cbrt.f64 (/.f64 y z)))
(/.f64 (/.f64 -4 (sqrt.f64 (/.f64 y z))) (sqrt.f64 (/.f64 y z)))
(/.f64 (/.f64 (*.f64 z -4) 1) y)
(/.f64 (/.f64 (*.f64 z -4) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(/.f64 (/.f64 (*.f64 z -4) (sqrt.f64 y)) (sqrt.f64 y))
(pow.f64 (/.f64 z (*.f64 y -1/4)) 1)
(pow.f64 (cbrt.f64 (/.f64 z (*.f64 y -1/4))) 3)
(pow.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)) 1/2)
(pow.f64 (pow.f64 (/.f64 z (*.f64 y -1/4)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 z (*.f64 y -1/4))) 2)
(pow.f64 (/.f64 y (*.f64 z -4)) -1)
(pow.f64 (/.f64 (/.f64 y (*.f64 z -4)) 1) -1)
(sqrt.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)))
(log.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 z (*.f64 y -1/4)))))
(cbrt.f64 (pow.f64 (/.f64 z (*.f64 y -1/4)) 3))
(expm1.f64 (log1p.f64 (/.f64 z (*.f64 y -1/4))))
(exp.f64 (log.f64 (/.f64 z (*.f64 y -1/4))))
(exp.f64 (.f64 (log.f64 (/.f64 z (.f64 y -1/4))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 z (*.f64 y -1/4))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 z (*.f64 y -1/4)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 z (.f64 y -1/4)))) 2))
(exp.f64 (.f64 (log.f64 (/.f64 y (.f64 z -4))) -1))
(log1p.f64 (expm1.f64 (/.f64 z (*.f64 y -1/4))))
(+.f64 0 (/.f64 z (*.f64 y -1/4)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 z (*.f64 y -1/4)))) 1)
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 (/.f64 -4 y) z)
(.f64 (/.f64 z (.f64 y -1/4)) 1)
(.f64 (/.f64 z (.f64 y -1/4)) (log.f64 (exp.f64 1)))
(.f64 1 (/.f64 z (.f64 y -1/4)))
(.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 z) (/.f64 -4 y)))
(.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4))) (pow.f64 (cbrt.f64 (/.f64 z (*.f64 y -1/4))) 2))
(.f64 (pow.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4))) 2) (cbrt.f64 (/.f64 z (*.f64 y -1/4))))
(.f64 (pow.f64 (cbrt.f64 (/.f64 -4 y)) 2) (.f64 (cbrt.f64 (/.f64 -4 y)) z))
(.f64 (sqrt.f64 z) (.f64 (sqrt.f64 z) (/.f64 -4 y)))
(.f64 (sqrt.f64 (/.f64 z (.f64 y -1/4))) (sqrt.f64 (/.f64 z (*.f64 y -1/4))))
(.f64 (sqrt.f64 (/.f64 -4 y)) (.f64 (sqrt.f64 (/.f64 -4 y)) z))
(*.f64 4 (/.f64 1 (/.f64 (neg.f64 y) z)))
(*.f64 4 (pow.f64 (/.f64 1 (/.f64 (neg.f64 y) z)) 1))
(*.f64 (/.f64 z y) -4)
(*.f64 (/.f64 z y) (log.f64 (exp.f64 -4)))
(.f64 (.f64 z -4) (/.f64 1 y))
(*.f64 (/.f64 z (sqrt.f64 y)) (/.f64 -4 (sqrt.f64 y)))
(*.f64 (/.f64 z 1) (/.f64 -4 y))
(*.f64 (/.f64 z (pow.f64 (cbrt.f64 y) 2)) (/.f64 -4 (cbrt.f64 y)))
(.f64 (.f64 z (pow.f64 (cbrt.f64 (/.f64 -4 y)) 2)) (cbrt.f64 (/.f64 -4 y)))
(.f64 (.f64 z (sqrt.f64 (/.f64 -4 y))) (sqrt.f64 (/.f64 -4 y)))
(.f64 (.f64 (/.f64 -4 y) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))
(.f64 (.f64 (/.f64 -4 y) (sqrt.f64 z)) (sqrt.f64 z))
(*.f64 (/.f64 -4 (neg.f64 y)) (neg.f64 z))
(.f64 (pow.f64 1 1/3) (/.f64 z (.f64 y -1/4)))
(*.f64 (pow.f64 (cbrt.f64 -4) 3) (/.f64 z y))
(*.f64 (pow.f64 (sqrt.f64 -4) 2) (/.f64 z y))
(*.f64 (pow.f64 (/.f64 z (sqrt.f64 y)) 1) (pow.f64 (/.f64 -4 (sqrt.f64 y)) 1))
(*.f64 (pow.f64 (/.f64 z 1) 1) (/.f64 -4 y))
(*.f64 (pow.f64 (/.f64 z (pow.f64 (cbrt.f64 y) 2)) 1) (pow.f64 (/.f64 -4 (cbrt.f64 y)) 1))
(*.f64 (pow.f64 (/.f64 -4 (neg.f64 y)) 1) (neg.f64 z))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4)))) 2) 3) (cbrt.f64 (/.f64 z (*.f64 y -1/4))))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 z (*.f64 y -1/4)))) 3))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 z (.f64 y -1/4)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 z (*.f64 y -1/4)) 3)) 1/3))
(.f64 (pow.f64 (.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)) z) 1/3) (cbrt.f64 (/.f64 -4 y)))
(.f64 (pow.f64 (.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)) -4) 1/3) (cbrt.f64 (/.f64 z y)))
(.f64 (pow.f64 (.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)) (/.f64 -4 y)) 1/3) (cbrt.f64 z))
(.f64 (pow.f64 (pow.f64 (.f64 (/.f64 z (.f64 y -1/4)) (cbrt.f64 (/.f64 z (.f64 y -1/4)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (/.f64 z (*.f64 y -1/4)))))
(.f64 (pow.f64 (pow.f64 (/.f64 z (.f64 y -1/4)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (/.f64 z (*.f64 y -1/4)))))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 y (.f64 z -4))) 2) -1) (cbrt.f64 (/.f64 z (*.f64 y -1/4))))
(pow.f64 (/.f64 z (*.f64 y -1/4)) 1)
(pow.f64 (cbrt.f64 (/.f64 z (*.f64 y -1/4))) 3)
(pow.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)) 1/2)
(pow.f64 (pow.f64 (/.f64 z (*.f64 y -1/4)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 z (*.f64 y -1/4))) 2)
(pow.f64 (/.f64 y (*.f64 z -4)) -1)
(pow.f64 (/.f64 (/.f64 y (*.f64 z -4)) 1) -1)
(sqrt.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)))
(log.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 z (*.f64 y -1/4)))))
(cbrt.f64 (pow.f64 (/.f64 z (*.f64 y -1/4)) 3))
(expm1.f64 (log1p.f64 (/.f64 z (*.f64 y -1/4))))
(exp.f64 (log.f64 (/.f64 z (*.f64 y -1/4))))
(exp.f64 (.f64 (log.f64 (/.f64 z (.f64 y -1/4))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 z (*.f64 y -1/4))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 z (*.f64 y -1/4)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 z (.f64 y -1/4)))) 2))
(exp.f64 (.f64 (log.f64 (/.f64 y (.f64 z -4))) -1))
(log1p.f64 (expm1.f64 (/.f64 z (*.f64 y -1/4))))

simplify61.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

1566×	`times-frac`
1208×	`unswap-sqr`
988×	`associate-/l*`
904×	`associate-/r*`
510×	`fma-def`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	220	3403
1	523	3313
2	1480	3293

Stop Event

1×	node limit

Counts

155 → 102

Calls

Call 1

Inputs
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(+.f64 0 (/.f64 z (*.f64 y -1/4)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 z (*.f64 y -1/4)))) 1)
(/.f64 z (*.f64 y -1/4))
(/.f64 -4 (/.f64 y z))
(/.f64 -4 (neg.f64 (/.f64 (neg.f64 y) z)))
(/.f64 (/.f64 -4 y) (/.f64 1 z))
(/.f64 1 (/.f64 y (*.f64 z -4)))
(/.f64 1 (/.f64 (/.f64 y (*.f64 z -4)) 1))
(/.f64 4 (/.f64 (neg.f64 y) z))
(/.f64 (*.f64 z -4) y)
(/.f64 -1 (neg.f64 (/.f64 y (*.f64 z -4))))
(/.f64 (neg.f64 (*.f64 z -4)) (neg.f64 y))
(/.f64 (*.f64 z 4) (neg.f64 y))
(/.f64 (*.f64 4 z) (neg.f64 y))
(/.f64 (/.f64 -4 (pow.f64 (cbrt.f64 (/.f64 y z)) 2)) (cbrt.f64 (/.f64 y z)))
(/.f64 (/.f64 -4 (sqrt.f64 (/.f64 y z))) (sqrt.f64 (/.f64 y z)))
(/.f64 (/.f64 (*.f64 z -4) 1) y)
(/.f64 (/.f64 (*.f64 z -4) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(/.f64 (/.f64 (*.f64 z -4) (sqrt.f64 y)) (sqrt.f64 y))
(pow.f64 (/.f64 z (*.f64 y -1/4)) 1)
(pow.f64 (cbrt.f64 (/.f64 z (*.f64 y -1/4))) 3)
(pow.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)) 1/2)
(pow.f64 (pow.f64 (/.f64 z (*.f64 y -1/4)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 z (*.f64 y -1/4))) 2)
(pow.f64 (/.f64 y (*.f64 z -4)) -1)
(pow.f64 (/.f64 (/.f64 y (*.f64 z -4)) 1) -1)
(sqrt.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)))
(log.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 z (*.f64 y -1/4)))))
(cbrt.f64 (pow.f64 (/.f64 z (*.f64 y -1/4)) 3))
(expm1.f64 (log1p.f64 (/.f64 z (*.f64 y -1/4))))
(exp.f64 (log.f64 (/.f64 z (*.f64 y -1/4))))
(exp.f64 (.f64 (log.f64 (/.f64 z (.f64 y -1/4))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 z (*.f64 y -1/4))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 z (*.f64 y -1/4)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 z (.f64 y -1/4)))) 2))
(exp.f64 (.f64 (log.f64 (/.f64 y (.f64 z -4))) -1))
(log1p.f64 (expm1.f64 (/.f64 z (*.f64 y -1/4))))
(+.f64 0 (/.f64 z (*.f64 y -1/4)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 z (*.f64 y -1/4)))) 1)
(*.f64 z (/.f64 -4 y))
(*.f64 -4 (/.f64 z y))
(*.f64 (/.f64 -4 y) z)
(.f64 (/.f64 z (.f64 y -1/4)) 1)
(.f64 (/.f64 z (.f64 y -1/4)) (log.f64 (exp.f64 1)))
(.f64 1 (/.f64 z (.f64 y -1/4)))
(.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 z) (/.f64 -4 y)))
(.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4))) (pow.f64 (cbrt.f64 (/.f64 z (*.f64 y -1/4))) 2))
(.f64 (pow.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4))) 2) (cbrt.f64 (/.f64 z (*.f64 y -1/4))))
(.f64 (pow.f64 (cbrt.f64 (/.f64 -4 y)) 2) (.f64 (cbrt.f64 (/.f64 -4 y)) z))
(.f64 (sqrt.f64 z) (.f64 (sqrt.f64 z) (/.f64 -4 y)))
(.f64 (sqrt.f64 (/.f64 z (.f64 y -1/4))) (sqrt.f64 (/.f64 z (*.f64 y -1/4))))
(.f64 (sqrt.f64 (/.f64 -4 y)) (.f64 (sqrt.f64 (/.f64 -4 y)) z))
(*.f64 4 (/.f64 1 (/.f64 (neg.f64 y) z)))
(*.f64 4 (pow.f64 (/.f64 1 (/.f64 (neg.f64 y) z)) 1))
(*.f64 (/.f64 z y) -4)
(*.f64 (/.f64 z y) (log.f64 (exp.f64 -4)))
(.f64 (.f64 z -4) (/.f64 1 y))
(*.f64 (/.f64 z (sqrt.f64 y)) (/.f64 -4 (sqrt.f64 y)))
(*.f64 (/.f64 z 1) (/.f64 -4 y))
(*.f64 (/.f64 z (pow.f64 (cbrt.f64 y) 2)) (/.f64 -4 (cbrt.f64 y)))
(.f64 (.f64 z (pow.f64 (cbrt.f64 (/.f64 -4 y)) 2)) (cbrt.f64 (/.f64 -4 y)))
(.f64 (.f64 z (sqrt.f64 (/.f64 -4 y))) (sqrt.f64 (/.f64 -4 y)))
(.f64 (.f64 (/.f64 -4 y) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))
(.f64 (.f64 (/.f64 -4 y) (sqrt.f64 z)) (sqrt.f64 z))
(*.f64 (/.f64 -4 (neg.f64 y)) (neg.f64 z))
(.f64 (pow.f64 1 1/3) (/.f64 z (.f64 y -1/4)))
(*.f64 (pow.f64 (cbrt.f64 -4) 3) (/.f64 z y))
(*.f64 (pow.f64 (sqrt.f64 -4) 2) (/.f64 z y))
(*.f64 (pow.f64 (/.f64 z (sqrt.f64 y)) 1) (pow.f64 (/.f64 -4 (sqrt.f64 y)) 1))
(*.f64 (pow.f64 (/.f64 z 1) 1) (/.f64 -4 y))
(*.f64 (pow.f64 (/.f64 z (pow.f64 (cbrt.f64 y) 2)) 1) (pow.f64 (/.f64 -4 (cbrt.f64 y)) 1))
(*.f64 (pow.f64 (/.f64 -4 (neg.f64 y)) 1) (neg.f64 z))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4)))) 2) 3) (cbrt.f64 (/.f64 z (*.f64 y -1/4))))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 z (*.f64 y -1/4)))) 3))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 z (.f64 y -1/4)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 z (*.f64 y -1/4)) 3)) 1/3))
(.f64 (pow.f64 (.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)) z) 1/3) (cbrt.f64 (/.f64 -4 y)))
(.f64 (pow.f64 (.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)) -4) 1/3) (cbrt.f64 (/.f64 z y)))
(.f64 (pow.f64 (.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)) (/.f64 -4 y)) 1/3) (cbrt.f64 z))
(.f64 (pow.f64 (pow.f64 (.f64 (/.f64 z (.f64 y -1/4)) (cbrt.f64 (/.f64 z (.f64 y -1/4)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (/.f64 z (*.f64 y -1/4)))))
(.f64 (pow.f64 (pow.f64 (/.f64 z (.f64 y -1/4)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (/.f64 z (*.f64 y -1/4)))))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 y (.f64 z -4))) 2) -1) (cbrt.f64 (/.f64 z (*.f64 y -1/4))))
(pow.f64 (/.f64 z (*.f64 y -1/4)) 1)
(pow.f64 (cbrt.f64 (/.f64 z (*.f64 y -1/4))) 3)
(pow.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)) 1/2)
(pow.f64 (pow.f64 (/.f64 z (*.f64 y -1/4)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 z (*.f64 y -1/4))) 2)
(pow.f64 (/.f64 y (*.f64 z -4)) -1)
(pow.f64 (/.f64 (/.f64 y (*.f64 z -4)) 1) -1)
(sqrt.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)))
(log.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 z (*.f64 y -1/4)))))
(cbrt.f64 (pow.f64 (/.f64 z (*.f64 y -1/4)) 3))
(expm1.f64 (log1p.f64 (/.f64 z (*.f64 y -1/4))))
(exp.f64 (log.f64 (/.f64 z (*.f64 y -1/4))))
(exp.f64 (.f64 (log.f64 (/.f64 z (.f64 y -1/4))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 z (*.f64 y -1/4))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 z (*.f64 y -1/4)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 z (.f64 y -1/4)))) 2))
(exp.f64 (.f64 (log.f64 (/.f64 y (.f64 z -4))) -1))
(log1p.f64 (expm1.f64 (/.f64 z (*.f64 y -1/4))))

Outputs
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(+.f64 0 (/.f64 z (*.f64 y -1/4)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))))
(*.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))) 3)
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(-.f64 (exp.f64 (log1p.f64 (/.f64 z (*.f64 y -1/4)))) 1)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 z (*.f64 y -1/4))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 -4 (/.f64 y z))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 -4 (neg.f64 (/.f64 (neg.f64 y) z)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 (/.f64 -4 y) (/.f64 1 z))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 1 (/.f64 y (*.f64 z -4)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 1 (/.f64 (/.f64 y (*.f64 z -4)) 1))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 4 (/.f64 (neg.f64 y) z))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 (*.f64 z -4) y)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 -1 (neg.f64 (/.f64 y (*.f64 z -4))))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 (neg.f64 (*.f64 z -4)) (neg.f64 y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 (*.f64 z 4) (neg.f64 y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 (*.f64 4 z) (neg.f64 y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 (/.f64 -4 (pow.f64 (cbrt.f64 (/.f64 y z)) 2)) (cbrt.f64 (/.f64 y z)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 (/.f64 -4 (sqrt.f64 (/.f64 y z))) (sqrt.f64 (/.f64 y z)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 (/.f64 (*.f64 z -4) 1) y)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 (/.f64 (*.f64 z -4) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(/.f64 (/.f64 (*.f64 z -4) (sqrt.f64 y)) (sqrt.f64 y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(pow.f64 (/.f64 z (*.f64 y -1/4)) 1)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(pow.f64 (cbrt.f64 (/.f64 z (*.f64 y -1/4))) 3)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(pow.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)) 1/2)
(sqrt.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)))
(pow.f64 (pow.f64 (/.f64 z (*.f64 y -1/4)) 3) 1/3)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(pow.f64 (sqrt.f64 (/.f64 z (*.f64 y -1/4))) 2)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(pow.f64 (/.f64 y (*.f64 z -4)) -1)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(pow.f64 (/.f64 (/.f64 y (*.f64 z -4)) 1) -1)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(sqrt.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)))
(log.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 z (*.f64 y -1/4)))))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(cbrt.f64 (pow.f64 (/.f64 z (*.f64 y -1/4)) 3))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(expm1.f64 (log1p.f64 (/.f64 z (*.f64 y -1/4))))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(exp.f64 (log.f64 (/.f64 z (*.f64 y -1/4))))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(exp.f64 (.f64 (log.f64 (/.f64 z (.f64 y -1/4))) 1))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 z (*.f64 y -1/4))) 1) 1))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4)))) 3))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 z (*.f64 y -1/4)))) 1/3))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 z (.f64 y -1/4)))) 2))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(exp.f64 (.f64 (log.f64 (/.f64 y (.f64 z -4))) -1))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(log1p.f64 (expm1.f64 (/.f64 z (*.f64 y -1/4))))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(+.f64 0 (/.f64 z (*.f64 y -1/4)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))))
(*.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))) 3)
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(-.f64 (exp.f64 (log1p.f64 (/.f64 z (*.f64 y -1/4)))) 1)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(*.f64 z (/.f64 -4 y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(*.f64 -4 (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 (/.f64 -4 y) z)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (/.f64 z (.f64 y -1/4)) 1)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (/.f64 z (.f64 y -1/4)) (log.f64 (exp.f64 1)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 1 (/.f64 z (.f64 y -1/4)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 z) (/.f64 -4 y)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4))) (pow.f64 (cbrt.f64 (/.f64 z (*.f64 y -1/4))) 2))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (pow.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4))) 2) (cbrt.f64 (/.f64 z (*.f64 y -1/4))))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (pow.f64 (cbrt.f64 (/.f64 -4 y)) 2) (.f64 (cbrt.f64 (/.f64 -4 y)) z))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (sqrt.f64 z) (.f64 (sqrt.f64 z) (/.f64 -4 y)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (sqrt.f64 (/.f64 z (.f64 y -1/4))) (sqrt.f64 (/.f64 z (*.f64 y -1/4))))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (sqrt.f64 (/.f64 -4 y)) (.f64 (sqrt.f64 (/.f64 -4 y)) z))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(*.f64 4 (/.f64 1 (/.f64 (neg.f64 y) z)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(*.f64 4 (pow.f64 (/.f64 1 (/.f64 (neg.f64 y) z)) 1))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(*.f64 (/.f64 z y) -4)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(*.f64 (/.f64 z y) (log.f64 (exp.f64 -4)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (.f64 z -4) (/.f64 1 y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(*.f64 (/.f64 z (sqrt.f64 y)) (/.f64 -4 (sqrt.f64 y)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(*.f64 (/.f64 z 1) (/.f64 -4 y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(*.f64 (/.f64 z (pow.f64 (cbrt.f64 y) 2)) (/.f64 -4 (cbrt.f64 y)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (.f64 z (pow.f64 (cbrt.f64 (/.f64 -4 y)) 2)) (cbrt.f64 (/.f64 -4 y)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (.f64 z (sqrt.f64 (/.f64 -4 y))) (sqrt.f64 (/.f64 -4 y)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (.f64 (/.f64 -4 y) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (.f64 (/.f64 -4 y) (sqrt.f64 z)) (sqrt.f64 z))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(*.f64 (/.f64 -4 (neg.f64 y)) (neg.f64 z))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (pow.f64 1 1/3) (/.f64 z (.f64 y -1/4)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(*.f64 (pow.f64 (cbrt.f64 -4) 3) (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(*.f64 (pow.f64 (sqrt.f64 -4) 2) (/.f64 z y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(*.f64 (pow.f64 (/.f64 z (sqrt.f64 y)) 1) (pow.f64 (/.f64 -4 (sqrt.f64 y)) 1))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(*.f64 (pow.f64 (/.f64 z 1) 1) (/.f64 -4 y))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(*.f64 (pow.f64 (/.f64 z (pow.f64 (cbrt.f64 y) 2)) 1) (pow.f64 (/.f64 -4 (cbrt.f64 y)) 1))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(*.f64 (pow.f64 (/.f64 -4 (neg.f64 y)) 1) (neg.f64 z))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4)))) 2) 3) (cbrt.f64 (/.f64 z (*.f64 y -1/4))))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 z (*.f64 y -1/4)))) 3))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 z (.f64 y -1/4)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 z (*.f64 y -1/4)) 3)) 1/3))
(.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 z (.f64 y -1/4)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 z (*.f64 y -1/4)) 3))))
(.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (.f64 -4 (/.f64 z y)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 -4 (/.f64 z y)) 3))))
(.f64 (cbrt.f64 (pow.f64 (.f64 -4 (/.f64 z y)) 3/2)) (cbrt.f64 (pow.f64 (*.f64 -4 (/.f64 z y)) 3/2)))
(.f64 (pow.f64 (.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)) z) 1/3) (cbrt.f64 (/.f64 -4 y)))
(.f64 (cbrt.f64 (/.f64 -4 y)) (cbrt.f64 (.f64 z (/.f64 16 (pow.f64 (/.f64 y z) 2)))))
(.f64 (pow.f64 (.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)) -4) 1/3) (cbrt.f64 (/.f64 z y)))
(*.f64 (cbrt.f64 (/.f64 -64 (pow.f64 (/.f64 y z) 2))) (cbrt.f64 (/.f64 z y)))
(.f64 (pow.f64 (.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)) (/.f64 -4 y)) 1/3) (cbrt.f64 z))
(*.f64 (cbrt.f64 z) (cbrt.f64 (/.f64 (/.f64 -64 (pow.f64 (/.f64 y z) 2)) y)))
(*.f64 (cbrt.f64 z) (cbrt.f64 (/.f64 (/.f64 -64 y) (pow.f64 (/.f64 y z) 2))))
(.f64 (pow.f64 (pow.f64 (.f64 (/.f64 z (.f64 y -1/4)) (cbrt.f64 (/.f64 z (.f64 y -1/4)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (/.f64 z (*.f64 y -1/4)))))
(.f64 (cbrt.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4)))) (cbrt.f64 (pow.f64 (.f64 (/.f64 z (.f64 y -1/4)) (cbrt.f64 (/.f64 z (*.f64 y -1/4)))) 2)))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 -4 (/.f64 z y)))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 -4 (/.f64 z y))) 4) 2)))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 -4 (/.f64 z y)))) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 -4 (/.f64 z y))) 8)))
(.f64 (pow.f64 (pow.f64 (/.f64 z (.f64 y -1/4)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (/.f64 z (*.f64 y -1/4)))))
(.f64 (cbrt.f64 (pow.f64 (/.f64 z (.f64 y -1/4)) 5/2)) (cbrt.f64 (sqrt.f64 (/.f64 z (*.f64 y -1/4)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 -4 (/.f64 z y)) 5/2)) (cbrt.f64 (sqrt.f64 (*.f64 -4 (/.f64 z y)))))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 y (.f64 z -4))) 2) -1) (cbrt.f64 (/.f64 z (*.f64 y -1/4))))
(.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4))) (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 y (*.f64 -4 z))) 2)))
(/.f64 (.f64 (cbrt.f64 (.f64 -4 (/.f64 z y))) 1) (pow.f64 (cbrt.f64 (*.f64 (/.f64 y z) -1/4)) 2))
(/.f64 (cbrt.f64 (.f64 -4 (/.f64 z y))) (pow.f64 (cbrt.f64 (.f64 y (/.f64 -1/4 z))) 2))
(pow.f64 (/.f64 z (*.f64 y -1/4)) 1)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(pow.f64 (cbrt.f64 (/.f64 z (*.f64 y -1/4))) 3)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(pow.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)) 1/2)
(sqrt.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)))
(pow.f64 (pow.f64 (/.f64 z (*.f64 y -1/4)) 3) 1/3)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(pow.f64 (sqrt.f64 (/.f64 z (*.f64 y -1/4))) 2)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(pow.f64 (/.f64 y (*.f64 z -4)) -1)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(pow.f64 (/.f64 (/.f64 y (*.f64 z -4)) 1) -1)
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(sqrt.f64 (/.f64 16 (pow.f64 (/.f64 y z) 2)))
(log.f64 (pow.f64 (exp.f64 z) (/.f64 -4 y)))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 z (*.f64 y -1/4)))))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(cbrt.f64 (pow.f64 (/.f64 z (*.f64 y -1/4)) 3))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(expm1.f64 (log1p.f64 (/.f64 z (*.f64 y -1/4))))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(exp.f64 (log.f64 (/.f64 z (*.f64 y -1/4))))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(exp.f64 (.f64 (log.f64 (/.f64 z (.f64 y -1/4))) 1))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 z (*.f64 y -1/4))) 1) 1))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (/.f64 z (.f64 y -1/4)))) 3))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 z (*.f64 y -1/4)))) 1/3))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (/.f64 z (.f64 y -1/4)))) 2))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(exp.f64 (.f64 (log.f64 (/.f64 y (.f64 z -4))) -1))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))
(log1p.f64 (expm1.f64 (/.f64 z (*.f64 y -1/4))))
(/.f64 z (/.f64 y -4))
(*.f64 -4 (/.f64 z y))

eval25.0ms (0.6%)

Compiler: Compiled 1122 to 761 computations (32.2% saved)

prune20.0ms (0.5%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	102	0	102
Fresh	0	1	1
Picked	0	2	2
Done	0	4	4
Total	102	7	109

Accuracy

100.0%

Counts

109 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	34.8%	(/.f64 (*.f64 x 4) y)
✓	33.8%	(/.f64 -4 (/.f64 y z))
✓	100.0%	(+.f64 2 (/.f64 (-.f64 x z) (*.f64 y 1/4)))
✓	33.8%	(*.f64 (/.f64 z y) -4)
✓	33.7%	(*.f64 z (/.f64 -4 y))
✓	63.3%	(*.f64 4 (/.f64 (-.f64 x z) y))
	37.9%	2
✓	34.8%	(/.f64 (*.f64 x 4) y)
✓	33.8%	(/.f64 -4 (/.f64 y z))
✓	100.0%	(+.f64 2 (/.f64 (-.f64 x z) (*.f64 y 1/4)))
✓	33.8%	(*.f64 (/.f64 z y) -4)
✓	33.7%	(*.f64 z (/.f64 -4 y))
✓	63.3%	(*.f64 4 (/.f64 (-.f64 x z) y))
	37.9%	2

Compiler

Compiled 116 to 88 computations (24.1% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune48.0ms (1.2%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	6	6
Total	7	7

Accuracy

100.0%

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	34.8%	(/.f64 (*.f64 x 4) y)
✓	33.8%	(/.f64 -4 (/.f64 y z))
✓	100.0%	(+.f64 2 (/.f64 (-.f64 x z) (*.f64 y 1/4)))
✓	33.8%	(*.f64 (/.f64 z y) -4)
✓	33.7%	(*.f64 z (/.f64 -4 y))
✓	63.3%	(*.f64 4 (/.f64 (-.f64 x z) y))
	37.9%	2

Compiler

Compiled 120 to 83 computations (30.8% saved)

regimes30.0ms (0.7%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

5 calls:

7.0ms	z
6.0ms	y
6.0ms	x
4.0ms	(+.f64 1 (/.f64 (.f64 4 (-.f64 (+.f64 x (.f64 y 1/4)) z)) y))
4.0ms	(/.f64 (.f64 4 (-.f64 (+.f64 x (.f64 y 1/4)) z)) y)

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`z`
100.0%	1	`(+.f64 1 (/.f64 (.f64 4 (-.f64 (+.f64 x (.f64 y 1/4)) z)) y))`
100.0%	1	`(/.f64 (.f64 4 (-.f64 (+.f64 x (.f64 y 1/4)) z)) y)`

Compiler

Compiled 104 to 70 computations (32.7% saved)

regimes32.0ms (0.8%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

3 calls:

17.0ms	z
8.0ms	x
6.0ms	y

Results

Accuracy	Segments	Branch
99.8%	1	`x`
99.8%	1	`y`
99.8%	1	`z`

Compiler

Compiled 52 to 34 computations (34.6% saved)

regimes67.0ms (1.7%)

Counts

6 → 3

Calls

Call 1

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

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

Calls

3 calls:

25.0ms	x
23.0ms	z
17.0ms	y

Results

Accuracy	Segments	Branch
70.0%	5	`x`
83.7%	3	`y`
73.8%	5	`z`

Compiler

Compiled 43 to 29 computations (32.6% saved)

regimes195.0ms (4.9%)

Counts

5 → 7

Calls

Call 1

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

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

Calls

3 calls:

92.0ms	z
56.0ms	x
46.0ms	y

Results

Accuracy	Segments	Branch
63.5%	7	`x`
66.1%	10	`z`
67.9%	10	`y`

Compiler

Compiled 36 to 25 computations (30.6% saved)

regimes33.0ms (0.8%)

Counts

4 → 3

Calls

Call 1

Inputs
2
(*.f64 z (/.f64 -4 y))
(*.f64 (/.f64 z y) -4)
(/.f64 -4 (/.f64 y z))

Outputs
2
(*.f64 (/.f64 z y) -4)
2

Calls

2 calls:

16.0ms	y
15.0ms	x

Results

Accuracy	Segments	Branch
57.4%	3	`y`
43.3%	4	`x`

Compiler

Compiled 27 to 19 computations (29.6% saved)

regimes14.0ms (0.3%)

Counts

2 → 3

Calls

Call 1

Inputs
2
(*.f64 z (/.f64 -4 y))

Outputs
2
(*.f64 z (/.f64 -4 y))
2

Calls

1 calls:

13.0ms

Results

Accuracy	Segments	Branch
57.3%	3	`y`

Compiler

Compiled 13 to 10 computations (23.1% saved)

regimes10.0ms (0.3%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
2

Outputs
2

Calls

3 calls:

5.0ms	z
3.0ms	y
3.0ms	x

Results

Accuracy	Segments	Branch
37.9%	1	`x`
37.9%	1	`z`
37.9%	1	`y`

Compiler

Compiled 16 to 13 computations (18.8% saved)

bsearch41.0ms (1%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
21.0ms	2.595241953598583e+106	2.0037318602215313e+114
20.0ms	-1.2963200826325473e+154	-4.461053022757716e+148

Results

38.0ms

288×

body

256

valid

Compiler

Compiled 310 to 251 computations (19% saved)

bsearch151.0ms (3.8%)

Algorithm

6×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
16.0ms	1.178374791685162e+70	2.5980247662607267e+72
15.0ms	8.398442344398094e-204	9.235126555833673e-202
37.0ms	-3.7312123845515956e-221	-3.9027702452342445e-224
14.0ms	-1077718956395.2677	-24335877195.40241
16.0ms	-3.9354768596688195e+81	-9.450797262528501e+79
53.0ms	-6.157394248899005e+194	-1.803522240460321e+177

Results

125.0ms	604×	body	256	valid
16.0ms	132×	body	256	infinite

Compiler

Compiled 666 to 569 computations (14.6% saved)

bsearch89.0ms (2.2%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	1.6267503115892473e+35	2.4385036128504275e+36
77.0ms	-1.2963200826325473e+154	-4.461053022757716e+148

Results

86.0ms

240×

body

256

valid

Compiler

Compiled 232 to 197 computations (15.1% saved)

bsearch62.0ms (1.6%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
43.0ms	1.6267503115892473e+35	2.4385036128504275e+36
19.0ms	-1.2963200826325473e+154	-4.461053022757716e+148

Results

59.0ms

240×

body

256

valid

Compiler

Compiled 232 to 197 computations (15.1% saved)

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative`
8×	`+-commutative`
6×	`if-if-or-not`
4×	`sub-neg`
2×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	67	364
1	89	364
2	94	364
3	96	364
4	97	364

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 2 (/.f64 (-.f64 x z) (*.f64 y 1/4)))
(+.f64 2 (*.f64 (/.f64 4 y) (-.f64 x z)))
(if (<=.f64 y -549999999999999998545061948535642156681763606316732015620657654176230815230650710394955149156395675156874267068441372501843387860491846340710875791360) 2 (if (<=.f64 y 4099999999999999904729321549578783701145353046062517842495906980519432540781743650875514894424618575949987840) (*.f64 4 (/.f64 (-.f64 x z) y)) 2))
(if (<=.f64 x -1850000000000000070017036360627446584299421982453607899736552680202341640824904554135851529685326437043669941113787309998903435509709269428820878789743787961235036720931360735232) (/.f64 (.f64 x 4) y) (if (<=.f64 x -3749999999999999862775487111582465329135178709477587922630136441285157438078582784) 2 (if (<=.f64 x -650000000000) (/.f64 (.f64 x 4) y) (if (<=.f64 x -4578562156365867/203491651394038521547847039511757134922630564035519658215217828728150550470508791245160894801988351157926327837934364027279321339542216951915385621714197694277806322617004838820284371518304871360136871830318804992117027222823378335301632) 2 (if (<=.f64 x 7501287077818703/22062609052407949194914912829723655182432452436340449411589077584864795549696863280514640007775234351335139574205343723266588256764674929278332446003804266456490594464708719691973688066349246310341854370928394768482304) (.f64 (/.f64 z y) -4) (if (<=.f64 x 47999999999999997351526782849847852622213863061796319389917598728585216) 2 (/.f64 (.f64 x 4) y)))))))
(if (<=.f64 y -24499999999999999621326946761666538787706916329743377224938707934690210284176400180499218595272158638860081815741757828389207492897878138423542854713344) 2 (if (<=.f64 y 439999999999999971441415615871451136) (*.f64 (/.f64 z y) -4) 2))
(if (<=.f64 y -44999999999999999364738929102059009872454090596365762674615341671721398887131223477883199623166802877756296060029034482563804456862558781900064817152) 2 (if (<=.f64 y 1100000000000000002390515334516834304) (*.f64 z (/.f64 -4 y)) 2))
2

Outputs
(+.f64 2 (/.f64 (-.f64 x z) (*.f64 y 1/4)))
(+.f64 2 (*.f64 (/.f64 4 y) (-.f64 x z)))
(+.f64 2 (*.f64 (-.f64 x z) (/.f64 4 y)))
(if (<=.f64 y -549999999999999998545061948535642156681763606316732015620657654176230815230650710394955149156395675156874267068441372501843387860491846340710875791360) 2 (if (<=.f64 y 4099999999999999904729321549578783701145353046062517842495906980519432540781743650875514894424618575949987840) (*.f64 4 (/.f64 (-.f64 x z) y)) 2))
(if (<=.f64 x -1850000000000000070017036360627446584299421982453607899736552680202341640824904554135851529685326437043669941113787309998903435509709269428820878789743787961235036720931360735232) (/.f64 (.f64 x 4) y) (if (<=.f64 x -3749999999999999862775487111582465329135178709477587922630136441285157438078582784) 2 (if (<=.f64 x -650000000000) (/.f64 (.f64 x 4) y) (if (<=.f64 x -4578562156365867/203491651394038521547847039511757134922630564035519658215217828728150550470508791245160894801988351157926327837934364027279321339542216951915385621714197694277806322617004838820284371518304871360136871830318804992117027222823378335301632) 2 (if (<=.f64 x 7501287077818703/22062609052407949194914912829723655182432452436340449411589077584864795549696863280514640007775234351335139574205343723266588256764674929278332446003804266456490594464708719691973688066349246310341854370928394768482304) (.f64 (/.f64 z y) -4) (if (<=.f64 x 47999999999999997351526782849847852622213863061796319389917598728585216) 2 (/.f64 (.f64 x 4) y)))))))
(if (<=.f64 y -24499999999999999621326946761666538787706916329743377224938707934690210284176400180499218595272158638860081815741757828389207492897878138423542854713344) 2 (if (<=.f64 y 439999999999999971441415615871451136) (*.f64 (/.f64 z y) -4) 2))
(if (<=.f64 y -44999999999999999364738929102059009872454090596365762674615341671721398887131223477883199623166802877756296060029034482563804456862558781900064817152) 2 (if (<=.f64 y 1100000000000000002390515334516834304) (*.f64 z (/.f64 -4 y)) 2))
2

Compiler

Compiled 134 to 101 computations (24.6% saved)

soundness603.0ms (15.1%)

Rules

1760×	`fma-def`
1760×	`fma-def`
1688×	`div-sub`
1530×	`fma-def`
1274×	`log-prod`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	57	591
1	139	515
2	398	471
3	1301	455
4	4593	381
0	21	120
1	307	112
2	4815	112
0	121	2576
1	278	2576
2	980	2141
3	5743	2141
0	318	10043
1	871	9645
2	3326	9183
0	318	10043
1	871	9645
2	3326	9183

Stop Event

1×	node limit
1×	node limit
1×	node limit
1×	node limit
1×	node limit

Compiler

Compiled 210 to 140 computations (33.3% saved)

end0.0ms (0%)

preprocess79.0ms (2%)

Compiler: Compiled 264 to 184 computations (30.3% saved)

analyze42.0ms (1.1%)

sample1.3s (31.7%)

preprocess133.0ms (3.3%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize131.0ms (3.3%)

series13.0ms (0.3%)

rewrite155.0ms (3.9%)

simplify103.0ms (2.6%)

eval60.0ms (1.5%)

prune37.0ms (0.9%)

localize155.0ms (3.9%)

series4.0ms (0.1%)

rewrite72.0ms (1.8%)

simplify67.0ms (1.7%)

eval10.0ms (0.2%)

prune14.0ms (0.4%)

localize41.0ms (1%)

series1.0ms (0%)

rewrite116.0ms (2.9%)

simplify61.0ms (1.5%)

eval25.0ms (0.6%)

prune20.0ms (0.5%)

localize0.0ms (0%)

eval0.0ms (0%)

prune48.0ms (1.2%)

regimes30.0ms (0.7%)

regimes32.0ms (0.8%)

regimes67.0ms (1.7%)

regimes195.0ms (4.9%)

regimes33.0ms (0.8%)

regimes14.0ms (0.3%)

regimes10.0ms (0.3%)

bsearch41.0ms (1%)

bsearch151.0ms (3.8%)

bsearch89.0ms (2.2%)

bsearch62.0ms (1.6%)

simplify10.0ms (0.3%)

soundness603.0ms (15.1%)

end0.0ms (0%)

preprocess79.0ms (2%)

Profiling