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

analyze42.0ms (1.1%)

Algorithm

1×

Search

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

Compiler

Compiled 15 to 11 computations (26.7% saved)

sample1.2s (31.7%)

Results

894.0ms	6571×	body	256	valid
237.0ms	1685×	body	256	infinite

Bogosity

preprocess123.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1324×	`fma-def`
1186×	`fma-neg`
886×	`sub-neg`
790×	`div-sub`
720×	`unsub-neg`

Problems

256×

No Errors

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	49	513
1	137	485
2	375	437
3	1573	429
4	6339	352

Stop Event

1×	node limit

Calls

Call 1

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

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

Compiler

Compiled 56 to 33 computations (41.1% saved)

eval1.0ms (0%)

Compiler: Compiled 43 to 27 computations (37.2% saved)

prune2.0ms (0.1%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 50 to 36 computations (28% saved)

localize89.0ms (2.3%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	99.8%	(fma.f64 (-.f64 x y) (/.f64 4 z) -2)
✓	100.0%	(/.f64 (.f64 4 (-.f64 (-.f64 x y) (.f64 z 1/2))) z)

Compiler

Compiled 61 to 31 computations (49.2% saved)

series10.0ms (0.3%)

Counts

2 → 72

Calls

18 calls:

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

rewrite141.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1044×	`fma-def`
906×	`log1p-expm1-u`
906×	`expm1-log1p-u`
448×	`expm1-udef`
448×	`log1p-udef`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	20	73
1	250	73
2	3693	69

Stop Event

1×	node limit

Counts

2 → 66

Calls

Call 1

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

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

simplify69.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

1164×	`associate-*r/`
924×	`associate-*l/`
842×	`distribute-lft-in`
832×	`distribute-rgt-in`
662×	`unswap-sqr`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	197	5321
1	510	5195
2	1776	4988

Stop Event

1×	node limit

Counts

138 → 110

Calls

Call 1

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

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

eval32.0ms (0.8%)

Compiler: Compiled 1601 to 982 computations (38.7% saved)

prune36.0ms (1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	103	7	110
Fresh	0	0	0
Picked	2	0	2
Done	0	0	0
Total	105	7	112

Accuracy

100.0%

Counts

112 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	36.3%	(/.f64 (*.f64 4 x) z)
▶	72.4%	(-.f64 (*.f64 4 (/.f64 x z)) 2)
	66.8%	(-.f64 (*.f64 -4 (/.f64 y z)) 2)
▶	36.2%	(*.f64 x (/.f64 4 z))
▶	63.0%	(*.f64 4 (/.f64 (-.f64 x y) z))
▶	30.8%	(*.f64 -4 (/.f64 y z))
	37.8%	-2
▶	36.3%	(/.f64 (*.f64 4 x) z)
▶	72.4%	(-.f64 (*.f64 4 (/.f64 x z)) 2)
	66.8%	(-.f64 (*.f64 -4 (/.f64 y z)) 2)
▶	36.2%	(*.f64 x (/.f64 4 z))
▶	63.0%	(*.f64 4 (/.f64 (-.f64 x y) z))
▶	30.8%	(*.f64 -4 (/.f64 y z))
	37.8%	-2

Compiler

Compiled 224 to 172 computations (23.2% saved)

localize75.0ms (2%)

Localize:

Found 5 expressions with local error:

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

Compiler

Compiled 75 to 34 computations (54.7% saved)

series14.0ms (0.4%)

Counts

5 → 72

Calls

36 calls:

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

rewrite102.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

931×	`log1p-expm1-u`
931×	`expm1-log1p-u`
472×	`expm1-udef`
472×	`log1p-udef`
234×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	107
1	285	107
2	4192	107

Stop Event

1×	node limit

Counts

5 → 146

Calls

Call 1

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

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

simplify78.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1362×	`times-frac`
1142×	`associate-/l*`
1034×	`associate-/r*`
996×	`fma-def`
680×	`log-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	286	5348
1	673	4919
2	2485	4839

Stop Event

1×	node limit

Counts

218 → 145

Calls

Call 1

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

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

eval54.0ms (1.4%)

Compiler: Compiled 1490 to 763 computations (48.8% saved)

prune29.0ms (0.8%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	2	2
Picked	0	5	5
Done	0	0	0
Total	145	7	152

Accuracy

100.0%

Counts

152 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	36.3%	(/.f64 (*.f64 4 x) z)
✓	72.4%	(-.f64 (*.f64 4 (/.f64 x z)) 2)
▶	66.8%	(-.f64 (*.f64 -4 (/.f64 y z)) 2)
✓	36.2%	(*.f64 x (/.f64 4 z))
✓	63.0%	(*.f64 4 (/.f64 (-.f64 x y) z))
✓	30.8%	(*.f64 -4 (/.f64 y z))
	37.8%	-2
✓	36.3%	(/.f64 (*.f64 4 x) z)
✓	72.4%	(-.f64 (*.f64 4 (/.f64 x z)) 2)
▶	66.8%	(-.f64 (*.f64 -4 (/.f64 y z)) 2)
✓	36.2%	(*.f64 x (/.f64 4 z))
✓	63.0%	(*.f64 4 (/.f64 (-.f64 x y) z))
✓	30.8%	(*.f64 -4 (/.f64 y z))
	37.8%	-2

Compiler

Compiled 116 to 90 computations (22.4% saved)

localize81.0ms (2.1%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 23 to 13 computations (43.5% saved)

eval10.0ms (0.3%)

Compiler: Compiled 233 to 165 computations (29.2% saved)

prune8.0ms (0.2%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	24	0	24
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	24	7	31

Accuracy

100.0%

Counts

31 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	36.3%	(/.f64 (*.f64 4 x) z)
✓	72.4%	(-.f64 (*.f64 4 (/.f64 x z)) 2)
✓	66.8%	(-.f64 (*.f64 -4 (/.f64 y z)) 2)
✓	36.2%	(*.f64 x (/.f64 4 z))
✓	63.0%	(*.f64 4 (/.f64 (-.f64 x y) z))
✓	30.8%	(*.f64 -4 (/.f64 y z))
	37.8%	-2
✓	36.3%	(/.f64 (*.f64 4 x) z)
✓	72.4%	(-.f64 (*.f64 4 (/.f64 x z)) 2)
✓	66.8%	(-.f64 (*.f64 -4 (/.f64 y z)) 2)
✓	36.2%	(*.f64 x (/.f64 4 z))
✓	63.0%	(*.f64 4 (/.f64 (-.f64 x y) z))
✓	30.8%	(*.f64 -4 (/.f64 y z))
	37.8%	-2

Compiler

Compiled 116 to 90 computations (22.4% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune6.0ms (0.1%)

Pruning

7 alts after pruning (1 fresh and 6 done)

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

Accuracy

100.0%

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	36.3%	(/.f64 (*.f64 4 x) z)
✓	72.4%	(-.f64 (*.f64 4 (/.f64 x z)) 2)
✓	66.8%	(-.f64 (*.f64 -4 (/.f64 y z)) 2)
✓	36.2%	(*.f64 x (/.f64 4 z))
✓	63.0%	(*.f64 4 (/.f64 (-.f64 x y) z))
✓	30.8%	(*.f64 -4 (/.f64 y z))
	37.8%	-2

Compiler

Compiled 117 to 81 computations (30.8% saved)

regimes61.0ms (1.6%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

5 calls:

33.0ms	z
9.0ms	x
6.0ms	y
6.0ms	(-.f64 x y)
4.0ms	(/.f64 (.f64 4 (-.f64 (-.f64 x y) (.f64 z 1/2))) z)

Results

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

Compiler

Compiled 91 to 59 computations (35.2% saved)

regimes131.0ms (3.4%)

Counts

7 → 3

Calls

Call 1

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

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

Calls

4 calls:

70.0ms	z
22.0ms	y
22.0ms	(-.f64 x y)
15.0ms	x

Results

Accuracy	Segments	Branch
89.2%	3	`x`
88.2%	3	`y`
89.0%	3	`z`
84.7%	3	`(-.f64 x y)`

Compiler

Compiled 58 to 39 computations (32.8% saved)

regimes81.0ms (2.1%)

Counts

6 → 3

Calls

Call 1

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

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

Calls

3 calls:

45.0ms	y
19.0ms	z
16.0ms	x

Results

Accuracy	Segments	Branch
77.3%	8	`y`
87.5%	3	`z`
87.6%	3	`x`

Compiler

Compiled 45 to 30 computations (33.3% saved)

regimes103.0ms (2.7%)

Counts

5 → 3

Calls

Call 1

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

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

Calls

3 calls:

59.0ms	z
22.0ms	(-.f64 x y)
21.0ms	x

Results

Accuracy	Segments	Branch
78.7%	5	`(-.f64 x y)`
83.2%	3	`z`
71.5%	5	`x`

Compiler

Compiled 40 to 27 computations (32.5% saved)

regimes117.0ms (3.1%)

Counts

4 → 7

Calls

Call 1

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

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

Calls

3 calls:

46.0ms	z
41.0ms	y
29.0ms	x

Results

Accuracy	Segments	Branch
64.4%	7	`x`
65.4%	10	`y`
68.2%	11	`z`

Compiler

Compiled 31 to 22 computations (29% saved)

regimes25.0ms (0.6%)

Counts

3 → 7

Calls

Call 1

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

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

Calls

1 calls:

24.0ms

Results

Accuracy	Segments	Branch
64.3%	7	`x`

Compiler

Compiled 18 to 13 computations (27.8% saved)

regimes167.0ms (4.4%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

155.0ms	x
12.0ms	z

Results

Accuracy	Segments	Branch
56.2%	3	`z`
44.3%	6	`x`

Compiler

Compiled 17 to 13 computations (23.5% saved)

regimes7.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
-2

Outputs
-2

Calls

2 calls:

4.0ms	z
3.0ms	y

Results

Accuracy	Segments	Branch
37.8%	1	`y`
37.8%	1	`z`

Compiler

Compiled 12 to 10 computations (16.7% saved)

bsearch39.0ms (1%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
23.0ms	81730029500425.48	4.5893397631711206e+33
16.0ms	-5.373372403807363e+25	-7.2621097990799e+23

Results

31.0ms	249×	body	256	valid
4.0ms	39×	body	256	infinite

Compiler

Compiled 416 to 339 computations (18.5% saved)

bsearch67.0ms (1.8%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	0.03207701341547564	34.68822065133404
52.0ms	-1.6365063041197762e+130	-1.3350764561438998e+128

Results

20.0ms	190×	body	256	valid
5.0ms	50×	body	256	infinite

Compiler

Compiled 350 to 270 computations (22.9% saved)

bsearch33.0ms (0.9%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	2.1253028865552606e+46	1.3657350159628764e+47
21.0ms	-6.597181020246921e+143	-4.464394926019088e+121

Results

29.0ms

272×

body

256

valid

Compiler

Compiled 292 to 236 computations (19.2% saved)

bsearch94.0ms (2.5%)

Algorithm

6×	binary-search

Stop Event

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

Steps

Time	Left	Right
15.0ms	0.03207701341547564	34.68822065133404
12.0ms	1.3576263095936005e-33	1.540322360738801e-32
16.0ms	1.1383175783732915e-122	1.7428679317502487e-119
19.0ms	-2.5712463766796672e-61	-1.0292626314589172e-72
19.0ms	-2.778190300899526e-18	-2.4477097685720616e-30
13.0ms	-1.6365063041197762e+130	-1.3350764561438998e+128

Results

74.0ms	692×	body	256	valid
9.0ms	92×	body	256	infinite

Compiler

Compiled 706 to 603 computations (14.6% saved)

bsearch148.0ms (3.9%)

Algorithm

6×	binary-search

Stop Event

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

Steps

Time	Left	Right
64.0ms	0.03207701341547564	34.68822065133404
11.0ms	1.3576263095936005e-33	1.540322360738801e-32
15.0ms	1.1383175783732915e-122	1.7428679317502487e-119
19.0ms	-2.5712463766796672e-61	-1.0292626314589172e-72
25.0ms	-2.778190300899526e-18	-2.4477097685720616e-30
14.0ms	-1.6365063041197762e+130	-1.3350764561438998e+128

Results

78.0ms	697×	body	256	valid
58.0ms	87×	body	256	infinite

Compiler

Compiled 706 to 603 computations (14.6% saved)

bsearch31.0ms (0.8%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
17.0ms	7.463513968100253e-20	1.1245822870621688e-14
13.0ms	-1.6646356829437076e+48	-1.913661175081931e+46

Results

27.0ms	252×	body	256	valid
0.0ms	4×	body	256	infinite

Compiler

Compiled 244 to 207 computations (15.2% saved)

simplify17.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

24×	`*-commutative`
18×	`sub-neg`
18×	`+-commutative`
10×	`neg-mul-1`
10×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	94	610
1	126	610
2	145	610
3	155	610
4	161	610
5	162	610

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(/.f64 (.f64 4 (-.f64 (-.f64 x y) (.f64 z 1/2))) z)
(if (<=.f64 x -2599999999999999849005056) (-.f64 (.f64 4 (/.f64 x z)) 2) (if (<=.f64 x 899999999999999958056960) (-.f64 (.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)))
(if (<=.f64 x -135000000000000000528925314688337263273330399238450644689397008489820209490662233233784881778761150355504806546232483435295801344) (.f64 4 (/.f64 (-.f64 x y) z)) (if (<=.f64 x 35/2) (-.f64 (.f64 -4 (/.f64 y z)) 2) (*.f64 4 (/.f64 (-.f64 x y) z))))
(if (<=.f64 z -1400000000000000056864304477984527583936700396233028734937012235789482958769187272966851624175927314247372970328158254399488) -2 (if (<=.f64 z 48000000000000001698952274090624064543489261568) (*.f64 4 (/.f64 (-.f64 x y) z)) -2))
(if (<=.f64 x -800000000000000060139589533214566901977143251481926570786327281886212740193932163731632880878206428342612764031082021061342003200) (/.f64 (.f64 4 x) z) (if (<=.f64 x -178405961588245/44601490397061246283071436545296723011960832) -2 (if (<=.f64 x -1600709841616659/59285549689505892056868344324448208820874232148807968788202283012051522375647232) (.f64 -4 (/.f64 y z)) (if (<=.f64 x 6686916263519583/2907354897182427562197295231552018137414565442749272241125960796722557152453591693304764202855054262243050086425064711734138406514458624) -2 (if (<=.f64 x 496910556692507/365375409332725729550921208179070754913983135744) (.f64 -4 (/.f64 y z)) (if (<=.f64 x 41/2) -2 (/.f64 (.f64 4 x) z)))))))
(if (<=.f64 x -155000000000000002032415053018701435822758980525498808959055190536975527995510537327075703800716311064070125647009533961829351424) (.f64 x (/.f64 4 z)) (if (<=.f64 x -8081706214372289/85070591730234615865843651857942052864) -2 (if (<=.f64 x -7410693711188237/1852673427797059126777135760139006525652319754650249024631321344126610074238976) (.f64 -4 (/.f64 y z)) (if (<=.f64 x 2604989987875455/46517678354918840995156723704832290198633047083988355858015372747560914439257467092876227245680868195888801382801035387746214504231337984) -2 (if (<=.f64 x 8476709496519237/2923003274661805836407369665432566039311865085952) (.f64 -4 (/.f64 y z)) (if (<=.f64 x 3332663724254167/9007199254740992) -2 (.f64 x (/.f64 4 z))))))))
(if (<=.f64 z -19499999999999999739461411178143975098265108480) -2 (if (<=.f64 z 1419768672255617/2535301200456458802993406410752) (*.f64 -4 (/.f64 y z)) -2))
-2

Outputs
(/.f64 (.f64 4 (-.f64 (-.f64 x y) (.f64 z 1/2))) z)
(if (<=.f64 x -2599999999999999849005056) (-.f64 (.f64 4 (/.f64 x z)) 2) (if (<=.f64 x 899999999999999958056960) (-.f64 (.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)))
(if (or (<=.f64 x -2599999999999999849005056) (not (<=.f64 x 899999999999999958056960))) (-.f64 (.f64 4 (/.f64 x z)) 2) (-.f64 (.f64 -4 (/.f64 y z)) 2))
(if (<=.f64 x -135000000000000000528925314688337263273330399238450644689397008489820209490662233233784881778761150355504806546232483435295801344) (.f64 4 (/.f64 (-.f64 x y) z)) (if (<=.f64 x 35/2) (-.f64 (.f64 -4 (/.f64 y z)) 2) (*.f64 4 (/.f64 (-.f64 x y) z))))
(if (or (<=.f64 x -135000000000000000528925314688337263273330399238450644689397008489820209490662233233784881778761150355504806546232483435295801344) (not (<=.f64 x 35/2))) (.f64 4 (/.f64 (-.f64 x y) z)) (-.f64 (.f64 -4 (/.f64 y z)) 2))
(if (<=.f64 z -1400000000000000056864304477984527583936700396233028734937012235789482958769187272966851624175927314247372970328158254399488) -2 (if (<=.f64 z 48000000000000001698952274090624064543489261568) (*.f64 4 (/.f64 (-.f64 x y) z)) -2))
(if (<=.f64 x -800000000000000060139589533214566901977143251481926570786327281886212740193932163731632880878206428342612764031082021061342003200) (/.f64 (.f64 4 x) z) (if (<=.f64 x -178405961588245/44601490397061246283071436545296723011960832) -2 (if (<=.f64 x -1600709841616659/59285549689505892056868344324448208820874232148807968788202283012051522375647232) (.f64 -4 (/.f64 y z)) (if (<=.f64 x 6686916263519583/2907354897182427562197295231552018137414565442749272241125960796722557152453591693304764202855054262243050086425064711734138406514458624) -2 (if (<=.f64 x 496910556692507/365375409332725729550921208179070754913983135744) (.f64 -4 (/.f64 y z)) (if (<=.f64 x 41/2) -2 (/.f64 (.f64 4 x) z)))))))
(if (<=.f64 x -155000000000000002032415053018701435822758980525498808959055190536975527995510537327075703800716311064070125647009533961829351424) (.f64 x (/.f64 4 z)) (if (<=.f64 x -8081706214372289/85070591730234615865843651857942052864) -2 (if (<=.f64 x -7410693711188237/1852673427797059126777135760139006525652319754650249024631321344126610074238976) (.f64 -4 (/.f64 y z)) (if (<=.f64 x 2604989987875455/46517678354918840995156723704832290198633047083988355858015372747560914439257467092876227245680868195888801382801035387746214504231337984) -2 (if (<=.f64 x 8476709496519237/2923003274661805836407369665432566039311865085952) (.f64 -4 (/.f64 y z)) (if (<=.f64 x 3332663724254167/9007199254740992) -2 (.f64 x (/.f64 4 z))))))))
(if (<=.f64 z -19499999999999999739461411178143975098265108480) -2 (if (<=.f64 z 1419768672255617/2535301200456458802993406410752) (*.f64 -4 (/.f64 y z)) -2))
-2

Compiler

Compiled 208 to 152 computations (26.9% saved)

soundness289.0ms (7.6%)

Rules

1324×	`fma-def`
1186×	`fma-neg`
1164×	`associate-*r/`
1164×	`associate-*r/`
924×	`associate-*l/`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	197	5321
1	510	5195
2	1776	4988
0	197	5321
1	510	5195
2	1776	4988
0	49	513
1	137	485
2	375	437
3	1573	429
4	6339	352

Stop Event

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

Compiler

Compiled 342 to 212 computations (38% saved)

end0.0ms (0%)

preprocess201.0ms (5.3%)

Compiler: Compiled 434 to 292 computations (32.7% saved)

analyze42.0ms (1.1%)

sample1.2s (31.7%)

preprocess123.0ms (3.2%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize89.0ms (2.3%)

series10.0ms (0.3%)

rewrite141.0ms (3.7%)

simplify69.0ms (1.8%)

eval32.0ms (0.8%)

prune36.0ms (1%)

localize75.0ms (2%)

series14.0ms (0.4%)

rewrite102.0ms (2.7%)

simplify78.0ms (2%)

eval54.0ms (1.4%)

prune29.0ms (0.8%)

localize81.0ms (2.1%)

eval10.0ms (0.3%)

prune8.0ms (0.2%)

localize0.0ms (0%)

eval0.0ms (0%)

prune6.0ms (0.1%)

regimes61.0ms (1.6%)

regimes131.0ms (3.4%)

regimes81.0ms (2.1%)

regimes103.0ms (2.7%)

regimes117.0ms (3.1%)

regimes25.0ms (0.6%)

regimes167.0ms (4.4%)

regimes7.0ms (0.2%)

bsearch39.0ms (1%)

bsearch67.0ms (1.8%)

bsearch33.0ms (0.9%)

bsearch94.0ms (2.5%)

bsearch148.0ms (3.9%)

bsearch31.0ms (0.8%)

simplify17.0ms (0.4%)

soundness289.0ms (7.6%)

end0.0ms (0%)

preprocess201.0ms (5.3%)

Profiling