Metrics for Diagrams.Solve.Polynomial:quartForm from diagrams-solve-0.1, D

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 13 to 10 computations (23.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

Operation ival-div, time spent: 0.0ms, 0.0% of total-time

Operation ival-sub, time spent: 0.0ms, 0.0% of total-time

Operation ival-mult, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.4s (43.9%)

Results

1.1s	7219×	valid
246.0ms	1036×	infinite
0.0ms	1×	valid

Precisions

Click to see histograms. Total time spent on operations: 385.0ms

Operation ival-div, time spent: 137.0ms, 36.0% of total-time

Operation ival-sub, time spent: 121.0ms, 31.0% of total-time

Operation ival-mult, time spent: 99.0ms, 26.0% of total-time

Operation const, time spent: 28.0ms, 7.0% of total-time

Bogosity

preprocess282.0ms (8.9%)

Algorithm

1×	egg-herbie

Rules

1322×	`fma-define`
756×	`fma-neg`
172×	`unsub-neg`
166×	`distribute-lft-neg-in`
158×	`associate-r`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(/.f64 z 8)`
-	-	`x`
-	-	`(/.f64 (*.f64 x y) 2)`
-	-	`y`
-	-	`(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))`
-	-	`8`
-	-	`(*.f64 x y)`
-	-	`z`
-	-	`2`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	41	398
1	83	342
2	171	330
3	373	330
4	780	330
5	1448	330
6	2207	330
7	2262	330
8	2268	330
9	2268	330

Stop Event

1×

saturated

Calls

Call 1

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

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

Symmetry

(sort x y)

Compiler

Compiled 70 to 41 computations (41.4% saved)

Precisions

Click to see histograms. Total time spent on operations: 31.0ms

Operation ival-div, time spent: 16.0ms, 52.0% of total-time

Operation ival-sub, time spent: 6.0ms, 19.0% of total-time

Operation ival-mult, time spent: 5.0ms, 16.0% of total-time

Operation const, time spent: 4.0ms, 13.0% of total-time

eval1.0ms (0%)

Compiler: Compiled 36 to 24 computations (33.3% saved)

prune2.0ms (0.1%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 y (/.f64 x 2) (/.f64 z -8))
▶	100.0%	(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))

Compiler

Compiled 23 to 17 computations (26.1% saved)

localize83.0ms (2.6%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 48 to 27 computations (43.8% saved)

Precisions

Click to see histograms. Total time spent on operations: 37.0ms

Operation ival-div, time spent: 17.0ms, 46.0% of total-time

Operation composed, time spent: 6.0ms, 16.0% of total-time

Operation ival-mult, time spent: 4.0ms, 11.0% of total-time

Operation ival-sub, time spent: 3.0ms, 8.0% of total-time

Operation ival-add, time spent: 3.0ms, 8.0% of total-time

Operation const, time spent: 3.0ms, 8.0% of total-time

series10.0ms (0.3%)

Counts

1 → 36

Calls

9 calls:

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

rewrite223.0ms (7%)

Algorithm

1×	batch-egg-rewrite

Rules

964×	`log1p-expm1-u`
964×	`expm1-log1p-u`
948×	`log-prod`
588×	`fma-define`
312×	`fma-neg`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	34
1	183	30
2	2597	30

Stop Event

1×	node limit

Counts

1 → 142

Calls

Call 1

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

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

simplify109.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1198×	`times-frac`
782×	`associate-/l*`
496×	`cancel-sign-sub-inv`
466×	`distribute-lft-neg-in`
464×	`distribute-rgt-neg-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	310	7049
1	775	6832
2	2333	6785

Stop Event

1×	node limit

Counts

178 → 162

Calls

Call 1

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

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

eval59.0ms (1.9%)

Compiler: Compiled 2959 to 2050 computations (30.7% saved)

prune24.0ms (0.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	159	3	162
Fresh	0	0	0
Picked	1	1	2
Done	0	0	0
Total	160	4	164

Accuracy

100.0%

Counts

164 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	92.4%	(/.f64 (+.f64 2 (/.f64 (.f64 x (.f64 y -8)) z)) (/.f64 -16 z))
✓	100.0%	(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
▶	54.5%	(.f64 x (.f64 1/2 y))
▶	47.3%	(*.f64 -1/8 z)

Compiler

Compiled 42 to 32 computations (23.8% saved)

localize121.0ms (3.8%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	93.7%	(/.f64 (.f64 x (.f64 y -8)) z)
✓	92.4%	(/.f64 (+.f64 2 (/.f64 (.f64 x (.f64 y -8)) z)) (/.f64 -16 z))
✓	100.0%	(.f64 x (.f64 1/2 y))

Compiler

Compiled 66 to 42 computations (36.4% saved)

Precisions

Click to see histograms. Total time spent on operations: 51.0ms

Operation ival-mult, time spent: 28.0ms, 55.0% of total-time

Operation ival-div, time spent: 13.0ms, 25.0% of total-time

Operation ival-add, time spent: 6.0ms, 12.0% of total-time

Operation const, time spent: 4.0ms, 8.0% of total-time

series33.0ms (1.1%)

Counts

3 → 96

Calls

24 calls:

Time	Variable		Point	Expression
8.0ms	y	@	-inf	(.f64 x (.f64 1/2 y))
2.0ms	y	@	-inf	(/.f64 (+.f64 2 (/.f64 (.f64 x (.f64 y -8)) z)) (/.f64 -16 z))
1.0ms	x	@	0	(/.f64 (+.f64 2 (/.f64 (.f64 x (.f64 y -8)) z)) (/.f64 -16 z))
1.0ms	y	@	0	(.f64 x (.f64 1/2 y))
1.0ms	z	@	0	(/.f64 (+.f64 2 (/.f64 (.f64 x (.f64 y -8)) z)) (/.f64 -16 z))

rewrite136.0ms (4.3%)

Algorithm

1×	batch-egg-rewrite

Rules

919×	`log1p-expm1-u`
919×	`expm1-log1p-u`
468×	`log1p-undefine`
344×	`fma-define`
330×	`prod-diff`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	96
1	268	92
2	3858	92

Stop Event

1×	node limit

Counts

3 → 113

Calls

Call 1

Inputs
(.f64 x (.f64 1/2 y))
(/.f64 (+.f64 2 (/.f64 (.f64 x (.f64 y -8)) z)) (/.f64 -16 z))
(/.f64 (.f64 x (.f64 y -8)) z)

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

simplify152.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

1182×	`unswap-sqr`
962×	`log-prod`
820×	`fma-define`
636×	`cube-prod`
606×	`exp-prod`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	284	7033
1	753	6519
2	2812	6519

Stop Event

1×	node limit

Counts

209 → 143

Calls

Call 1

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

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

eval47.0ms (1.5%)

Compiler: Compiled 2382 to 1602 computations (32.7% saved)

prune23.0ms (0.7%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	143	4	147

Accuracy

100.0%

Counts

147 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	92.4%	(/.f64 (+.f64 2 (/.f64 (.f64 x (.f64 y -8)) z)) (/.f64 -16 z))
✓	100.0%	(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
✓	54.5%	(.f64 x (.f64 1/2 y))
✓	47.3%	(*.f64 -1/8 z)

Compiler

Compiled 83 to 60 computations (27.7% saved)

regimes32.0ms (1%)

Counts

5 → 1

Calls

Call 1

Inputs
(*.f64 -1/8 z)
(.f64 x (.f64 1/2 y))
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
(/.f64 (+.f64 2 (/.f64 (.f64 x (.f64 y -8)) z)) (/.f64 -16 z))
(fma.f64 y (/.f64 x 2) (/.f64 z -8))

Outputs
(fma.f64 y (/.f64 x 2) (/.f64 z -8))

Calls

7 calls:

5.0ms	y
5.0ms	(/.f64 (*.f64 x y) 2)
5.0ms	(/.f64 z 8)
4.0ms	z
4.0ms	(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`z`
100.0%	1	`(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))`
100.0%	1	`(/.f64 (*.f64 x y) 2)`
100.0%	1	`(*.f64 x y)`
100.0%	1	`(/.f64 z 8)`

Compiler

Compiled 44 to 33 computations (25% saved)

regimes29.0ms (0.9%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

7 calls:

5.0ms	x
4.0ms	(/.f64 (*.f64 x y) 2)
4.0ms	(/.f64 z 8)
4.0ms	z
4.0ms	y

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`z`
100.0%	1	`(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))`
100.0%	1	`(/.f64 (*.f64 x y) 2)`
100.0%	1	`(*.f64 x y)`
100.0%	1	`(/.f64 z 8)`

Compiler

Compiled 44 to 33 computations (25% saved)

regimes39.0ms (1.2%)

Counts

2 → 5

Calls

Call 1

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

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

Calls

3 calls:

15.0ms	y
14.0ms	z
8.0ms	x

Results

Accuracy	Segments	Branch
71.8%	3	`x`
76.4%	5	`y`
77.0%	5	`z`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes10.0ms (0.3%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 -1/8 z)

Outputs
(*.f64 -1/8 z)

Calls

3 calls:

4.0ms	y
3.0ms	x
3.0ms	z

Results

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

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch61.0ms (1.9%)

Algorithm

4×	binary-search

Stop Event

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

Steps

Time	Left	Right
8.0ms	2.2728951330151407e+122	3.0488781278925045e+122
17.0ms	-120583476156557310.0	-3762102507379752.5
11.0ms	-4.22101585918432e+58	-1.2407206636395851e+58
25.0ms	-1.6300593810120982e+149	-3.2108317009956836e+137

Results

47.0ms	358×	valid
5.0ms	41×	infinite
0.0ms	1×	valid

Compiler

Compiled 418 to 339 computations (18.9% saved)

Precisions

Click to see histograms. Total time spent on operations: 18.0ms

Operation ival-div, time spent: 8.0ms, 44.0% of total-time

Operation ival-sub, time spent: 5.0ms, 27.0% of total-time

Operation ival-mult, time spent: 4.0ms, 22.0% of total-time

Operation const, time spent: 1.0ms, 5.0% of total-time

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative`
8×	`sub-neg`
8×	`not-or`
8×	`+-commutative`
6×	`neg-sub0`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	40	187
1	52	175
2	64	172
3	76	168
4	85	168
5	91	168
6	92	168
7	93	168

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(fma.f64 y (/.f64 x 2) (/.f64 z -8))
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
(if (<=.f64 z -339999999999999986376532416695352406158760221333353982909010953767428259171258095694743275951751851867947440137346446312070035877255970816) (.f64 -1/8 z) (if (<=.f64 z -16000000000000000773547073848858544920454317534248228093952) (.f64 x (.f64 1/2 y)) (if (<=.f64 z -23000000000000000) (.f64 -1/8 z) (if (<=.f64 z 230000000000000005148166837858470196129813999400181457568790315686272431249061174251323793409958695441177348009681886380032) (.f64 x (.f64 1/2 y)) (*.f64 -1/8 z)))))
(*.f64 -1/8 z)

Outputs
(fma.f64 y (/.f64 x 2) (/.f64 z -8))
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(if (<=.f64 z -339999999999999986376532416695352406158760221333353982909010953767428259171258095694743275951751851867947440137346446312070035877255970816) (.f64 -1/8 z) (if (<=.f64 z -16000000000000000773547073848858544920454317534248228093952) (.f64 x (.f64 1/2 y)) (if (<=.f64 z -23000000000000000) (.f64 -1/8 z) (if (<=.f64 z 230000000000000005148166837858470196129813999400181457568790315686272431249061174251323793409958695441177348009681886380032) (.f64 x (.f64 1/2 y)) (*.f64 -1/8 z)))))
(if (<=.f64 z -339999999999999986376532416695352406158760221333353982909010953767428259171258095694743275951751851867947440137346446312070035877255970816) (.f64 z -1/8) (if (<=.f64 z -16000000000000000773547073848858544920454317534248228093952) (.f64 x (.f64 y 1/2)) (if (or (<=.f64 z -23000000000000000) (not (<=.f64 z 230000000000000005148166837858470196129813999400181457568790315686272431249061174251323793409958695441177348009681886380032))) (.f64 z -1/8) (.f64 x (.f64 y 1/2)))))
(if (<=.f64 z -339999999999999986376532416695352406158760221333353982909010953767428259171258095694743275951751851867947440137346446312070035877255970816) (.f64 z -1/8) (if (or (<=.f64 z -16000000000000000773547073848858544920454317534248228093952) (not (or (<=.f64 z -23000000000000000) (not (<=.f64 z 230000000000000005148166837858470196129813999400181457568790315686272431249061174251323793409958695441177348009681886380032))))) (.f64 x (.f64 y 1/2)) (.f64 z -1/8)))
(if (or (<=.f64 z -339999999999999986376532416695352406158760221333353982909010953767428259171258095694743275951751851867947440137346446312070035877255970816) (not (or (<=.f64 z -16000000000000000773547073848858544920454317534248228093952) (not (or (<=.f64 z -23000000000000000) (not (<=.f64 z 230000000000000005148166837858470196129813999400181457568790315686272431249061174251323793409958695441177348009681886380032))))))) (.f64 z -1/8) (.f64 x (*.f64 y 1/2)))
(if (or (<=.f64 z -339999999999999986376532416695352406158760221333353982909010953767428259171258095694743275951751851867947440137346446312070035877255970816) (not (or (<=.f64 z -16000000000000000773547073848858544920454317534248228093952) (and (not (<=.f64 z -23000000000000000)) (<=.f64 z 230000000000000005148166837858470196129813999400181457568790315686272431249061174251323793409958695441177348009681886380032))))) (.f64 z -1/8) (.f64 x (*.f64 y 1/2)))
(if (or (<=.f64 z -339999999999999986376532416695352406158760221333353982909010953767428259171258095694743275951751851867947440137346446312070035877255970816) (and (not (<=.f64 z -16000000000000000773547073848858544920454317534248228093952)) (or (<=.f64 z -23000000000000000) (not (<=.f64 z 230000000000000005148166837858470196129813999400181457568790315686272431249061174251323793409958695441177348009681886380032))))) (.f64 z -1/8) (.f64 x (*.f64 y 1/2)))
(*.f64 -1/8 z)
(*.f64 z -1/8)

Compiler

Compiled 58 to 44 computations (24.1% saved)

soundness249.0ms (7.9%)

Rules

1322×	`fma-define`
1198×	`times-frac`
782×	`associate-/l*`
756×	`fma-neg`
496×	`cancel-sign-sub-inv`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	41	398
1	83	342
2	171	330
3	373	330
4	780	330
5	1448	330
6	2207	330
7	2262	330
8	2268	330
9	2268	330
0	310	7049
1	775	6832
2	2333	6785

Stop Event

1×	node limit
1×	saturated

Compiler

Compiled 79 to 52 computations (34.2% saved)

end0.0ms (0%)

preprocess47.0ms (1.5%)

Remove: (sort x y)
Compiler: Compiled 210 to 152 computations (27.6% saved)

analyze0.0ms (0%)

sample1.4s (43.9%)

preprocess282.0ms (8.9%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize83.0ms (2.6%)

series10.0ms (0.3%)

rewrite223.0ms (7%)

simplify109.0ms (3.4%)

eval59.0ms (1.9%)

prune24.0ms (0.8%)

localize121.0ms (3.8%)

series33.0ms (1.1%)

rewrite136.0ms (4.3%)

simplify152.0ms (4.8%)

eval47.0ms (1.5%)

prune23.0ms (0.7%)

regimes32.0ms (1%)

regimes29.0ms (0.9%)

regimes39.0ms (1.2%)

regimes10.0ms (0.3%)

bsearch61.0ms (1.9%)

simplify8.0ms (0.3%)

soundness249.0ms (7.9%)

end0.0ms (0%)

preprocess47.0ms (1.5%)

Profiling