Metrics for Statistics.Sample:$swelfordMean from math-functions-0.1.5.2

analyze37.0ms (0.7%)

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 11 to 7 computations (36.4% saved)

Precisions

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

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

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

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

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

sample1.2s (21.6%)

Results

906.0ms	6534×	256	valid
235.0ms	1721×	256	infinite
0.0ms	1×	256	infinite

Precisions

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

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

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

Operation ival-add, time spent: 46.0ms, 23.0% of total-time

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

Bogosity

preprocess312.0ms (5.7%)

Algorithm

1×	egg-herbie

Rules

3672×	`fma-def`
976×	`div-sub`
724×	`times-frac`
610×	`sub-neg`
586×	`associate-/r*`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`x`
-	-	`(+.f64 x (/.f64 (-.f64 y x) z))`
-	-	`z`
-	-	`(/.f64 (-.f64 y x) z)`
-	-	`y`
-	-	`(-.f64 y x)`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	36	377
1	87	353
2	236	349
3	742	349
4	1816	341
5	4705	341
6	5769	341
7	6260	341
8	6587	341
9	6676	341
10	6810	341
11	7748	341

Stop Event

1×	node limit

Calls

Call 1

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

Outputs
(+.f64 x (/.f64 (-.f64 y x) z))
(-.f64 x (/.f64 (-.f64 x y) z))
(+.f64 x (/.f64 (-.f64 y x) z))
(-.f64 x (/.f64 (-.f64 x y) z))
(+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) z))
(-.f64 (/.f64 (+.f64 x y) z) x)
(+.f64 x (/.f64 (-.f64 (neg.f64 y) x) z))
(-.f64 x (/.f64 (+.f64 x y) z))
(+.f64 x (/.f64 (-.f64 y x) (neg.f64 z)))
(+.f64 x (/.f64 (-.f64 x y) z))
(neg.f64 (+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) z)))
(+.f64 x (/.f64 (-.f64 (neg.f64 y) x) z))
(-.f64 x (/.f64 (+.f64 x y) z))
(neg.f64 (+.f64 x (/.f64 (-.f64 (neg.f64 y) x) z)))
(+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) z))
(-.f64 (/.f64 (+.f64 x y) z) x)
(neg.f64 (+.f64 x (/.f64 (-.f64 y x) (neg.f64 z))))
(-.f64 (neg.f64 x) (/.f64 (-.f64 y x) (neg.f64 z)))
(-.f64 (/.f64 (-.f64 x y) (neg.f64 z)) x)
(-.f64 (/.f64 (-.f64 y x) z) x)
(+.f64 y (/.f64 (-.f64 x y) z))
(+.f64 z (/.f64 (-.f64 y z) x))
(+.f64 x (/.f64 (-.f64 z x) y))

Compiler

Compiled 54 to 20 computations (63% saved)

Precisions

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

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

Operation ival-add, time spent: 4.0ms, 34.0% of total-time

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

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

eval0.0ms (0%)

Compiler: Compiled 10 to 6 computations (40% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(-.f64 x (/.f64 (-.f64 x y) z))

Compiler

Compiled 10 to 6 computations (40% saved)

localize97.0ms (1.8%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 22 to 7 computations (68.2% saved)

Precisions

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

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

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

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

series9.0ms (0.2%)

Counts

2 → 60

Calls

18 calls:

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

rewrite563.0ms (10.3%)

Algorithm

1×	batch-egg-rewrite

Rules

981×	`log1p-expm1-u`
981×	`expm1-log1p-u`
858×	`log-prod`
828×	`fma-def`
296×	`expm1-udef`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	53
1	156	53
2	2496	53

Stop Event

1×	node limit

Counts

2 → 150

Calls

Call 1

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

Outputs
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(+.f64 0 (/.f64 (-.f64 x y) z))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x y) z))) (cbrt.f64 (exp.f64 (/.f64 (-.f64 x y) z))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x y) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x y) z)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x 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 (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 (pow.f64 (cbrt.f64 (-.f64 x y)) 2) (.f64 (cbrt.f64 (-.f64 x y)) (/.f64 1 z)))
(*.f64 (sqrt.f64 (/.f64 (-.f64 x y) z)) (sqrt.f64 (/.f64 (-.f64 x y) z)))
(.f64 (sqrt.f64 (-.f64 x y)) (.f64 (sqrt.f64 (-.f64 x y)) (/.f64 1 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)))
(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))
(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 (*.f64 (cbrt.f64 (/.f64 x z)) (cbrt.f64 (/.f64 x z))) (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)))
(fma.f64 (/.f64 1 (pow.f64 (cbrt.f64 z) 2)) (/.f64 x (cbrt.f64 z)) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) z) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 z)) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 x) (sqrt.f64 z)) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) z) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 z)) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (neg.f64 (/.f64 y z)))
(+.f64 x (/.f64 (neg.f64 (-.f64 x y)) z))
(+.f64 x (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(+.f64 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(+.f64 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(+.f64 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(+.f64 (-.f64 x (/.f64 (-.f64 x y) z)) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) x)
(+.f64 0 (-.f64 x (/.f64 (-.f64 x y) z)))
(+.f64 (-.f64 x (/.f64 x z)) (/.f64 y z))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z)))) (cbrt.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z))))))
(*.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1)
(*.f64 1 (-.f64 x (/.f64 (-.f64 x y) z)))
(*.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(*.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(*.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))))
(*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))))
(*.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))))
(/.f64 1 (/.f64 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2)) (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3))))
(/.f64 1 (/.f64 (+.f64 x (/.f64 (-.f64 x y) z)) (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2))))
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2)))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (+.f64 x (/.f64 (-.f64 x y) z)))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3))) (neg.f64 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2))) (neg.f64 (+.f64 x (/.f64 (-.f64 x y) z))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 3)) (fma.f64 x x (-.f64 (.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (neg.f64 (-.f64 x y)) z)) (.f64 x (/.f64 (neg.f64 (-.f64 x y)) z)))))
(/.f64 (-.f64 (pow.f64 x 2) (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (neg.f64 (-.f64 x y)) z))) (-.f64 x (/.f64 (neg.f64 (-.f64 x y)) z)))
(pow.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1)
(pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 3)
(pow.f64 (pow.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 3) 1/3)
(pow.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2)
(sqrt.f64 (pow.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 2))
(log.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 x (/.f64 (-.f64 x y) z)))))
(log.f64 (*.f64 (exp.f64 x) (/.f64 1 (exp.f64 (/.f64 (-.f64 x y) z)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (/.f64 1 (exp.f64 (/.f64 (-.f64 x y) z)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (exp.f64 (/.f64 (neg.f64 (-.f64 x y)) z))))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (/.f64 (-.f64 x y) z))) (exp.f64 x)))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (/.f64 (-.f64 x y) z))) (+.f64 1 (expm1.f64 x))))
(log.f64 (*.f64 (exp.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) (exp.f64 x)))
(log.f64 (*.f64 (exp.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) (+.f64 1 (expm1.f64 x))))
(log.f64 (/.f64 (exp.f64 x) (+.f64 1 (expm1.f64 (/.f64 (-.f64 x y) z)))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 x)) (exp.f64 (/.f64 (-.f64 x y) z))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 x)) (+.f64 1 (expm1.f64 (/.f64 (-.f64 x y) z)))))
(cbrt.f64 (pow.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 3))
(expm1.f64 (log1p.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(exp.f64 (log.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(exp.f64 (*.f64 (log.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 1))
(log1p.f64 (expm1.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(fma.f64 x 1 (/.f64 (neg.f64 (-.f64 x y)) z))
(fma.f64 x 1 (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(fma.f64 (-.f64 x y) (neg.f64 (/.f64 1 z)) x)
(fma.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1 (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1 (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1 (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1 (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 1 x (/.f64 (neg.f64 (-.f64 x y)) z))
(fma.f64 1 x (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(fma.f64 1 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 1 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 1 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 1 (-.f64 x (/.f64 (-.f64 x y) z)) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 1 (/.f64 (neg.f64 (-.f64 x y)) z) x)
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) x)
(fma.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (/.f64 (neg.f64 (-.f64 x y)) z))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (/.f64 (neg.f64 (-.f64 x y)) z))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(fma.f64 (sqrt.f64 (/.f64 (-.f64 x y) z)) (neg.f64 (sqrt.f64 (/.f64 (-.f64 x y) z))) x)
(fma.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (/.f64 (neg.f64 (-.f64 x y)) z))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(fma.f64 (neg.f64 (-.f64 x y)) (/.f64 1 z) x)
(fma.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 (neg.f64 (sqrt.f64 (/.f64 (-.f64 x y) z))) (sqrt.f64 (/.f64 (-.f64 x y) z)) x)
(fma.f64 -1 (/.f64 (-.f64 x y) z) x)
(fma.f64 (*.f64 (cbrt.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) (cbrt.f64 (/.f64 (neg.f64 (-.f64 x y)) z))) (cbrt.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) x)
(fma.f64 (sqrt.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) (sqrt.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) x)
(fma.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2)) (cbrt.f64 (/.f64 (-.f64 x y) z)) x)

simplify168.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

864×	`cancel-sign-sub-inv`
854×	`unswap-sqr`
782×	`associate-+l+`
736×	`fma-neg`
682×	`times-frac`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	322	8501
1	743	8302
2	2463	7298

Stop Event

1×	node limit

Counts

210 → 193

Calls

Call 1

Inputs
(*.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 y z)
(+.f64 (*.f64 x (-.f64 1 (/.f64 1 z))) (/.f64 y z))
(+.f64 (*.f64 x (-.f64 1 (/.f64 1 z))) (/.f64 y z))
(+.f64 (*.f64 x (-.f64 1 (/.f64 1 z))) (/.f64 y z))
(*.f64 x (-.f64 1 (/.f64 1 z)))
(+.f64 (*.f64 x (-.f64 1 (/.f64 1 z))) (/.f64 y z))
(+.f64 (*.f64 x (-.f64 1 (/.f64 1 z))) (/.f64 y z))
(+.f64 (*.f64 x (-.f64 1 (/.f64 1 z))) (/.f64 y z))
(.f64 -1 (.f64 x (-.f64 (/.f64 1 z) 1)))
(+.f64 (.f64 -1 (.f64 x (-.f64 (/.f64 1 z) 1))) (/.f64 y z))
(+.f64 (.f64 -1 (.f64 x (-.f64 (/.f64 1 z) 1))) (/.f64 y z))
(+.f64 (.f64 -1 (.f64 x (-.f64 (/.f64 1 z) 1))) (/.f64 y z))
(-.f64 x (/.f64 x z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(/.f64 y z)
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(/.f64 y z)
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(/.f64 (-.f64 y x) z)
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
x
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
x
(+.f64 x (*.f64 -1 (/.f64 (-.f64 x y) z)))
(+.f64 x (*.f64 -1 (/.f64 (-.f64 x y) z)))
(+.f64 x (*.f64 -1 (/.f64 (-.f64 x y) z)))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(+.f64 0 (/.f64 (-.f64 x y) z))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x y) z))) (cbrt.f64 (exp.f64 (/.f64 (-.f64 x y) z))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x y) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x y) z)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x 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 (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 (pow.f64 (cbrt.f64 (-.f64 x y)) 2) (.f64 (cbrt.f64 (-.f64 x y)) (/.f64 1 z)))
(*.f64 (sqrt.f64 (/.f64 (-.f64 x y) z)) (sqrt.f64 (/.f64 (-.f64 x y) z)))
(.f64 (sqrt.f64 (-.f64 x y)) (.f64 (sqrt.f64 (-.f64 x y)) (/.f64 1 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)))
(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))
(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 (*.f64 (cbrt.f64 (/.f64 x z)) (cbrt.f64 (/.f64 x z))) (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)))
(fma.f64 (/.f64 1 (pow.f64 (cbrt.f64 z) 2)) (/.f64 x (cbrt.f64 z)) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) z) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 z)) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 x) (sqrt.f64 z)) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) z) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 z)) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (neg.f64 (/.f64 y z)))
(+.f64 x (/.f64 (neg.f64 (-.f64 x y)) z))
(+.f64 x (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(+.f64 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(+.f64 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(+.f64 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(+.f64 (-.f64 x (/.f64 (-.f64 x y) z)) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) x)
(+.f64 0 (-.f64 x (/.f64 (-.f64 x y) z)))
(+.f64 (-.f64 x (/.f64 x z)) (/.f64 y z))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z)))) (cbrt.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z))))))
(*.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1)
(*.f64 1 (-.f64 x (/.f64 (-.f64 x y) z)))
(*.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(*.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(*.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))))
(*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))))
(*.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))))
(/.f64 1 (/.f64 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2)) (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3))))
(/.f64 1 (/.f64 (+.f64 x (/.f64 (-.f64 x y) z)) (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2))))
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2)))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (+.f64 x (/.f64 (-.f64 x y) z)))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3))) (neg.f64 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2))) (neg.f64 (+.f64 x (/.f64 (-.f64 x y) z))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 3)) (fma.f64 x x (-.f64 (.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (neg.f64 (-.f64 x y)) z)) (.f64 x (/.f64 (neg.f64 (-.f64 x y)) z)))))
(/.f64 (-.f64 (pow.f64 x 2) (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (neg.f64 (-.f64 x y)) z))) (-.f64 x (/.f64 (neg.f64 (-.f64 x y)) z)))
(pow.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1)
(pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 3)
(pow.f64 (pow.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 3) 1/3)
(pow.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2)
(sqrt.f64 (pow.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 2))
(log.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 x (/.f64 (-.f64 x y) z)))))
(log.f64 (*.f64 (exp.f64 x) (/.f64 1 (exp.f64 (/.f64 (-.f64 x y) z)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (/.f64 1 (exp.f64 (/.f64 (-.f64 x y) z)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (exp.f64 (/.f64 (neg.f64 (-.f64 x y)) z))))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (/.f64 (-.f64 x y) z))) (exp.f64 x)))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (/.f64 (-.f64 x y) z))) (+.f64 1 (expm1.f64 x))))
(log.f64 (*.f64 (exp.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) (exp.f64 x)))
(log.f64 (*.f64 (exp.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) (+.f64 1 (expm1.f64 x))))
(log.f64 (/.f64 (exp.f64 x) (+.f64 1 (expm1.f64 (/.f64 (-.f64 x y) z)))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 x)) (exp.f64 (/.f64 (-.f64 x y) z))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 x)) (+.f64 1 (expm1.f64 (/.f64 (-.f64 x y) z)))))
(cbrt.f64 (pow.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 3))
(expm1.f64 (log1p.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(exp.f64 (log.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(exp.f64 (*.f64 (log.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 1))
(log1p.f64 (expm1.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(fma.f64 x 1 (/.f64 (neg.f64 (-.f64 x y)) z))
(fma.f64 x 1 (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(fma.f64 (-.f64 x y) (neg.f64 (/.f64 1 z)) x)
(fma.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1 (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1 (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1 (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1 (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 1 x (/.f64 (neg.f64 (-.f64 x y)) z))
(fma.f64 1 x (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(fma.f64 1 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 1 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 1 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 1 (-.f64 x (/.f64 (-.f64 x y) z)) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 1 (/.f64 (neg.f64 (-.f64 x y)) z) x)
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) x)
(fma.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (/.f64 (neg.f64 (-.f64 x y)) z))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (/.f64 (neg.f64 (-.f64 x y)) z))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(fma.f64 (sqrt.f64 (/.f64 (-.f64 x y) z)) (neg.f64 (sqrt.f64 (/.f64 (-.f64 x y) z))) x)
(fma.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (/.f64 (neg.f64 (-.f64 x y)) z))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(fma.f64 (neg.f64 (-.f64 x y)) (/.f64 1 z) x)
(fma.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 (neg.f64 (sqrt.f64 (/.f64 (-.f64 x y) z))) (sqrt.f64 (/.f64 (-.f64 x y) z)) x)
(fma.f64 -1 (/.f64 (-.f64 x y) z) x)
(fma.f64 (*.f64 (cbrt.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) (cbrt.f64 (/.f64 (neg.f64 (-.f64 x y)) z))) (cbrt.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) x)
(fma.f64 (sqrt.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) (sqrt.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) x)
(fma.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2)) (cbrt.f64 (/.f64 (-.f64 x y) z)) x)

Outputs
(*.f64 -1 (/.f64 y z))
(/.f64 (neg.f64 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 (*.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))
(/.f64 (neg.f64 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 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(/.f64 (-.f64 x y) z)
(*.f64 -1 (/.f64 y z))
(/.f64 (neg.f64 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 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(/.f64 (-.f64 x y) z)
(/.f64 y z)
(+.f64 (*.f64 x (-.f64 1 (/.f64 1 z))) (/.f64 y z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 (*.f64 x (-.f64 1 (/.f64 1 z))) (/.f64 y z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 (*.f64 x (-.f64 1 (/.f64 1 z))) (/.f64 y z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(*.f64 x (-.f64 1 (/.f64 1 z)))
(*.f64 x (+.f64 1 (/.f64 -1 z)))
(-.f64 x (/.f64 x z))
(+.f64 (*.f64 x (-.f64 1 (/.f64 1 z))) (/.f64 y z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 (*.f64 x (-.f64 1 (/.f64 1 z))) (/.f64 y z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 (*.f64 x (-.f64 1 (/.f64 1 z))) (/.f64 y z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(.f64 -1 (.f64 x (-.f64 (/.f64 1 z) 1)))
(*.f64 x (+.f64 1 (/.f64 -1 z)))
(-.f64 x (/.f64 x z))
(+.f64 (.f64 -1 (.f64 x (-.f64 (/.f64 1 z) 1))) (/.f64 y z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 (.f64 -1 (.f64 x (-.f64 (/.f64 1 z) 1))) (/.f64 y z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 (.f64 -1 (.f64 x (-.f64 (/.f64 1 z) 1))) (/.f64 y z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(-.f64 x (/.f64 x z))
(*.f64 x (+.f64 1 (/.f64 -1 z)))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(/.f64 y z)
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(/.f64 y z)
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(/.f64 (-.f64 y x) z)
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
x
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(-.f64 (+.f64 x (/.f64 y z)) (/.f64 x z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
x
(+.f64 x (*.f64 -1 (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 x (*.f64 -1 (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 x (*.f64 -1 (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(/.f64 (-.f64 x y) z)
(+.f64 0 (/.f64 (-.f64 x y) z))
(/.f64 (-.f64 x y) z)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x y) z))) (cbrt.f64 (exp.f64 (/.f64 (-.f64 x y) z))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x y) z)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x y) z))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x y) z)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x y) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x y) z)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x y) z)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x y) z)))))
(*.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x y) z)))) 2)
(-.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 (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 (pow.f64 (cbrt.f64 (-.f64 x y)) 2) (.f64 (cbrt.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 (sqrt.f64 (-.f64 x y)) (.f64 (sqrt.f64 (-.f64 x y)) (/.f64 1 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 (-.f64 x y) (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))
(*.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 x y) (sqrt.f64 z)))
(/.f64 (/.f64 (-.f64 x y) (sqrt.f64 z)) (sqrt.f64 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 1 (sqrt.f64 z)) (/.f64 (-.f64 x y) (sqrt.f64 z)))
(/.f64 (/.f64 (-.f64 x y) (sqrt.f64 z)) (sqrt.f64 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 1 (pow.f64 (cbrt.f64 z) 2)) (/.f64 (-.f64 x y) (cbrt.f64 z)))
(/.f64 (/.f64 (-.f64 x y) (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))
(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)
(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 (*.f64 (cbrt.f64 (/.f64 x z)) (cbrt.f64 (/.f64 x z))) (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)
(fma.f64 (/.f64 1 (pow.f64 (cbrt.f64 z) 2)) (/.f64 x (cbrt.f64 z)) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 1 (pow.f64 (cbrt.f64 z) 2)) (/.f64 x (cbrt.f64 z)) (/.f64 (neg.f64 y) z))
(-.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 z) 2)) (/.f64 x (cbrt.f64 z))) (/.f64 y z))
(-.f64 (/.f64 (/.f64 x (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)) (/.f64 y z))
(fma.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 x (sqrt.f64 z)) (/.f64 (neg.f64 y) z))
(-.f64 (/.f64 (/.f64 x (sqrt.f64 z)) (sqrt.f64 z)) (/.f64 y z))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) z) (neg.f64 (/.f64 y z)))
(/.f64 (-.f64 x y) z)
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 z)) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 z)) (/.f64 (neg.f64 y) z))
(-.f64 (pow.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 z)) 3) (/.f64 y z))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 x) (sqrt.f64 z)) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 x) (sqrt.f64 z)) (/.f64 (neg.f64 y) z))
(-.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 x) (sqrt.f64 z))) (/.f64 y z))
(fma.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) z) (neg.f64 (/.f64 y z)))
(/.f64 (-.f64 x y) z)
(fma.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 z)) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 z)) (/.f64 (neg.f64 y) z))
(-.f64 (*.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 z))) (/.f64 y z))
(fma.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (neg.f64 (/.f64 y z)))
(fma.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (/.f64 (neg.f64 y) z))
(-.f64 (*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (/.f64 (sqrt.f64 x) (sqrt.f64 z))) (/.f64 y z))
(+.f64 x (/.f64 (neg.f64 (-.f64 x y)) z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 x (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 (-.f64 x (/.f64 (-.f64 x y) z)) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) x)
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 0 (-.f64 x (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 (-.f64 x (/.f64 x z)) (/.f64 y z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z)))) (cbrt.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z))))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (+.f64 x (/.f64 (-.f64 y x) z)))))) (log.f64 (cbrt.f64 (exp.f64 (+.f64 x (/.f64 (-.f64 y x) z))))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (+.f64 x (/.f64 (-.f64 y x) z))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z))))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z))))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (+.f64 x (/.f64 (-.f64 y x) z))))))
(*.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1)
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(*.f64 1 (-.f64 x (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(*.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(*.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(*.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 y x) z) 3)) (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2)))
(*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (+.f64 x (/.f64 (-.f64 x y) z)))
(*.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(/.f64 1 (/.f64 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2)) (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3))))
(*.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 y x) z) 3)) (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2)))
(/.f64 1 (/.f64 (+.f64 x (/.f64 (-.f64 x y) z)) (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2))))
(*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (+.f64 x (/.f64 (-.f64 x y) z)))
(/.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2)))
(*.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 y x) z) 3)) (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2)))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (+.f64 x (/.f64 (-.f64 x y) z)))
(*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3))) (neg.f64 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))))
(*.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 y x) z) 3)) (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2)))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2))) (neg.f64 (+.f64 x (/.f64 (-.f64 x y) z))))
(*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (+.f64 x (/.f64 (-.f64 x y) z)))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 3)) (fma.f64 x x (-.f64 (.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (neg.f64 (-.f64 x y)) z)) (.f64 x (/.f64 (neg.f64 (-.f64 x y)) z)))))
(*.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 y x) z) 3)) (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2)))
(/.f64 (-.f64 (pow.f64 x 2) (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (neg.f64 (-.f64 x y)) z))) (-.f64 x (/.f64 (neg.f64 (-.f64 x y)) z)))
(*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (+.f64 x (/.f64 (-.f64 x y) z)))
(pow.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1)
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 3)
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(pow.f64 (pow.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 3) 1/3)
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(pow.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2)
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(sqrt.f64 (pow.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 2))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(log.f64 (exp.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 x (/.f64 (-.f64 x y) z)))))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(log.f64 (*.f64 (exp.f64 x) (/.f64 1 (exp.f64 (/.f64 (-.f64 x y) z)))))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (/.f64 1 (exp.f64 (/.f64 (-.f64 x y) z)))))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (exp.f64 (/.f64 (neg.f64 (-.f64 x y)) z))))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (/.f64 (-.f64 x y) z))) (exp.f64 x)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(log.f64 (*.f64 (/.f64 1 (exp.f64 (/.f64 (-.f64 x y) z))) (+.f64 1 (expm1.f64 x))))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(log.f64 (*.f64 (exp.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) (exp.f64 x)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(log.f64 (*.f64 (exp.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) (+.f64 1 (expm1.f64 x))))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(log.f64 (/.f64 (exp.f64 x) (+.f64 1 (expm1.f64 (/.f64 (-.f64 x y) z)))))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 x)) (exp.f64 (/.f64 (-.f64 x y) z))))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 x)) (+.f64 1 (expm1.f64 (/.f64 (-.f64 x y) z)))))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(cbrt.f64 (pow.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 3))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(expm1.f64 (log1p.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(exp.f64 (log.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(exp.f64 (*.f64 (log.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 1))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(log1p.f64 (expm1.f64 (-.f64 x (/.f64 (-.f64 x y) z))))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 x 1 (/.f64 (neg.f64 (-.f64 x y)) z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 x 1 (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (-.f64 x y) (neg.f64 (/.f64 1 z)) x)
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1 (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1 (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1 (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (-.f64 x (/.f64 (-.f64 x y) z)) 1 (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 1 x (/.f64 (neg.f64 (-.f64 x y)) z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 1 x (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 1 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 1 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 1 (-.f64 x (/.f64 (-.f64 x y) z)) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 1 (-.f64 x (/.f64 (-.f64 x y) z)) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 1 (/.f64 (neg.f64 (-.f64 x y)) z) x)
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) x)
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) 2) (cbrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (/.f64 (neg.f64 (-.f64 x y)) z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (/.f64 (neg.f64 (-.f64 x y)) z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (sqrt.f64 (/.f64 (-.f64 x y) z)) (neg.f64 (sqrt.f64 (/.f64 (-.f64 x y) z))) x)
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (sqrt.f64 (-.f64 x (/.f64 (-.f64 x y) z))) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (/.f64 (neg.f64 (-.f64 x y)) z))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (neg.f64 (-.f64 x y)) (/.f64 1 z) x)
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(*.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 y x) z) 3)) (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2)))
(fma.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(*.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 y x) z) 3)) (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2)))
(fma.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(*.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 y x) z) 3)) (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2)))
(fma.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(*.f64 (-.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 x y) z) 3)) (/.f64 1 (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (/.f64 (-.f64 y x) z) 3)) (fma.f64 (/.f64 (-.f64 x y) z) (+.f64 x (/.f64 (-.f64 x y) z)) (pow.f64 x 2)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (+.f64 x (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (+.f64 x (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (+.f64 x (/.f64 (-.f64 x y) z)))
(fma.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(*.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (/.f64 1 (+.f64 x (/.f64 (-.f64 x y) z))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (/.f64 (-.f64 x y) z) 2)) (+.f64 x (/.f64 (-.f64 x y) z)))
(fma.f64 (neg.f64 (sqrt.f64 (/.f64 (-.f64 x y) z))) (sqrt.f64 (/.f64 (-.f64 x y) z)) x)
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 -1 (/.f64 (-.f64 x y) z) x)
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (*.f64 (cbrt.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) (cbrt.f64 (/.f64 (neg.f64 (-.f64 x y)) z))) (cbrt.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) x)
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (sqrt.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) (sqrt.f64 (/.f64 (neg.f64 (-.f64 x y)) z)) x)
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (/.f64 1 z)) (-.f64 x y) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (fma.f64 (/.f64 (neg.f64 (-.f64 x y)) z) 1 (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (-.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (-.f64 x y) z))) (+.f64 (/.f64 (neg.f64 (-.f64 x y)) z) (/.f64 (-.f64 x y) z)))
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2)) (cbrt.f64 (/.f64 (-.f64 x y) z)) x)
(fma.f64 x (+.f64 1 (/.f64 -1 z)) (/.f64 y z))
(+.f64 x (/.f64 (-.f64 y x) z))

eval89.0ms (1.6%)

Compiler: Compiled 3299 to 867 computations (73.7% saved)

prune158.0ms (2.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	187	6	193
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	188	6	194

Accuracy

100.0%

Counts

194 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	66.5%	(/.f64 (-.f64 y x) z)
▶	42.9%	(/.f64 y z)
▶	75.6%	(-.f64 x (/.f64 (neg.f64 y) z))
▶	61.7%	(-.f64 x (/.f64 x z))
	61.7%	(*.f64 x (-.f64 1 (/.f64 1 z)))
▶	35.2%	x

Compiler

Compiled 90 to 62 computations (31.1% saved)

localize163.0ms (3%)

Localize:

Found 3 expressions with local error:

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

Compiler

Compiled 46 to 12 computations (73.9% saved)

Precisions

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

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

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

Operation ival-neg, time spent: 1.0ms, 7.0% of total-time

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

series7.0ms (0.1%)

Counts

3 → 84

Calls

24 calls:

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

rewrite127.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

944×	`log1p-expm1-u`
871×	`expm1-log1p-u`
424×	`expm1-udef`
424×	`log1p-udef`
162×	`associate-r`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	70
1	256	66
2	4276	66

Stop Event

1×	node limit

Counts

3 → 109

Calls

Call 1

Inputs
(-.f64 x (/.f64 (neg.f64 y) z))
(-.f64 x (/.f64 x z))
(/.f64 (-.f64 y x) z)

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

simplify177.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1826×	`fma-def`
1110×	`unswap-sqr`
888×	`distribute-lft-in`
870×	`distribute-rgt-in`
404×	`log-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	273	5530
1	677	5272
2	2532	5239

Stop Event

1×	node limit

Counts

193 → 138

Calls

Call 1

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

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

eval70.0ms (1.3%)

Compiler: Compiled 1654 to 548 computations (66.9% saved)

prune21.0ms (0.4%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	136	2	138
Fresh	0	1	1
Picked	1	4	5
Done	0	0	0
Total	137	7	144

Accuracy

100.0%

Counts

144 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	66.5%	(/.f64 (-.f64 y x) z)
▶	28.5%	(/.f64 (neg.f64 x) z)
✓	42.9%	(/.f64 y z)
✓	61.7%	(-.f64 x (/.f64 x z))
▶	75.6%	(+.f64 (/.f64 y z) x)
▶	61.7%	(*.f64 x (-.f64 1 (/.f64 1 z)))
✓	35.2%	x

Compiler

Compiled 51 to 35 computations (31.4% saved)

localize70.0ms (1.3%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 41 to 20 computations (51.2% saved)

Precisions

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

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

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

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

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

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

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

series3.0ms (0.1%)

Counts

2 → 48

Calls

15 calls:

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

rewrite105.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1782×	`prod-diff`
1028×	`log1p-expm1-u`
617×	`expm1-log1p-u`
346×	`expm1-udef`
344×	`log1p-udef`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	47
1	203	47
2	2778	47

Stop Event

1×	node limit

Counts

2 → 57

Calls

Call 1

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

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

simplify86.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

832×	`div-sub`
644×	`unswap-sqr`
614×	`distribute-lft-in`
606×	`distribute-rgt-in`
428×	`cancel-sign-sub-inv`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	156	2983
1	362	2853
2	1101	2853
3	4825	2655

Stop Event

1×	node limit

Counts

105 → 76

Calls

Call 1

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

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

eval16.0ms (0.3%)

Compiler: Compiled 868 to 452 computations (47.9% saved)

prune14.0ms (0.3%)

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	0	0
Picked	0	3	3
Done	0	4	4
Total	76	7	83

Accuracy

100.0%

Counts

83 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	66.5%	(/.f64 (-.f64 y x) z)
✓	28.5%	(/.f64 (neg.f64 x) z)
✓	42.9%	(/.f64 y z)
✓	61.7%	(-.f64 x (/.f64 x z))
✓	75.6%	(+.f64 (/.f64 y z) x)
✓	61.7%	(*.f64 x (-.f64 1 (/.f64 1 z)))
✓	35.2%	x

Compiler

Compiled 104 to 58 computations (44.2% saved)

regimes26.0ms (0.5%)

Counts

10 → 1

Calls

Call 1

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

Outputs
(+.f64 x (/.f64 (-.f64 y x) z))

Calls

4 calls:

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

Results

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

Compiler

Compiled 22 to 15 computations (31.8% saved)

regimes47.0ms (0.9%)

Counts

8 → 3

Calls

Call 1

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

Outputs
(+.f64 (/.f64 y z) x)
(/.f64 (-.f64 y x) z)
(+.f64 (/.f64 y z) x)

Calls

3 calls:

16.0ms	z
15.0ms	y
15.0ms	x

Results

Accuracy	Segments	Branch
86.4%	3	`x`
91.3%	3	`y`
99.1%	3	`z`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes45.0ms (0.8%)

Counts

5 → 3

Calls

Call 1

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

Outputs
(+.f64 (/.f64 y z) x)
(-.f64 x (/.f64 x z))
(+.f64 (/.f64 y z) x)

Calls

2 calls:

27.0ms	z
17.0ms	y

Results

Accuracy	Segments	Branch
91.3%	3	`y`
85.8%	7	`z`

Compiler

Compiled 8 to 6 computations (25% saved)

regimes42.0ms (0.8%)

Counts

4 → 7

Calls

Call 1

Inputs
x
(/.f64 y z)
(/.f64 (neg.f64 x) z)
(+.f64 (/.f64 y z) x)

Outputs
(+.f64 (/.f64 y z) x)
(/.f64 (neg.f64 x) z)
(+.f64 (/.f64 y z) x)
(/.f64 (neg.f64 x) z)
(/.f64 y z)
(/.f64 (neg.f64 x) z)
(+.f64 (/.f64 y z) x)

Calls

3 calls:

26.0ms	z
12.0ms	y
4.0ms	x

Results

Accuracy	Segments	Branch
85.8%	7	`z`
75.6%	1	`x`
77.8%	3	`y`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes193.0ms (3.5%)

Counts

3 → 9

Calls

Call 1

Inputs
x
(/.f64 y z)
(/.f64 (neg.f64 x) z)

Outputs
x
(/.f64 y z)
(/.f64 (neg.f64 x) z)
(/.f64 y z)
(/.f64 (neg.f64 x) z)
(/.f64 y z)
(/.f64 (neg.f64 x) z)
(/.f64 y z)
x

Calls

3 calls:

129.0ms	y
33.0ms	x
30.0ms	z

Results

Accuracy	Segments	Branch
67.7%	10	`y`
62.3%	10	`x`
74.3%	9	`z`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes16.0ms (0.3%)

Counts

2 → 5

Calls

Call 1

Inputs
x
(/.f64 y z)

Outputs
x
(/.f64 y z)
x
(/.f64 y z)
x

Calls

1 calls:

15.0ms

Results

Accuracy	Segments	Branch
66.5%	5	`z`

Compiler

Compiled 4 to 3 computations (25% saved)

regimes11.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
x

Outputs
x

Calls

3 calls:

5.0ms	x
3.0ms	z
3.0ms	y

Results

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

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch140.0ms (2.5%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
120.0ms	0.00022567500010803158	1773.3477012901221
19.0ms	-3088008702.4976068	-0.014367835037559503

Results

31.0ms	303×	256	valid
0.0ms	1×	256	valid

Compiler

Compiled 358 to 239 computations (33.2% saved)

Precisions

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

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

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

Operation ival-add, time spent: 2.0ms, 30.0% of total-time

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

bsearch33.0ms (0.6%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
22.0ms	1.4111203889251531e+72	2.193655052697762e+116
11.0ms	-3.621209503972093e-73	-6.895538001183942e-74

Results

22.0ms	220×	256	valid
6.0ms	67×	256	infinite
0.0ms	1×	256	valid

Compiler

Compiled 340 to 227 computations (33.2% saved)

Precisions

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

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

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

Operation ival-add, time spent: 2.0ms, 32.0% of total-time

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

bsearch156.0ms (2.8%)

Algorithm

6×	binary-search

Stop Event

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

Steps

Time	Left	Right
11.0ms	8.57510143791972e-13	7.098852443471968e-12
38.0ms	5.338799841327753e-49	2.3622578560205133e-47
16.0ms	9.281560621065511e-162	1.6087679517453567e-156
16.0ms	-7.762400423170717e-214	-4.928506903109139e-216
14.0ms	-2.2676675484420085e-90	-2.0510159914141188e-94
60.0ms	-1.6104226366406415e-77	-2.7446862203025308e-80

Results

93.0ms	484×	256	valid
26.0ms	235×	256	infinite
0.0ms	1×	256	valid

Compiler

Compiled 749 to 535 computations (28.6% saved)

Precisions

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

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

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

Operation ival-add, time spent: 4.0ms, 25.0% of total-time

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

bsearch125.0ms (2.3%)

Algorithm

8×	binary-search

Stop Event

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

Steps

Time	Left	Right
13.0ms	1.34787439968042e+105	5.862068134153535e+105
11.0ms	8.57510143791972e-13	7.098852443471968e-12
15.0ms	5.338799841327753e-49	2.3622578560205133e-47
20.0ms	9.281560621065511e-162	1.6087679517453567e-156
15.0ms	-7.762400423170717e-214	-4.928506903109139e-216
14.0ms	-2.2676675484420085e-90	-2.0510159914141188e-94
17.0ms	-1.6104226366406415e-77	-2.7446862203025308e-80
21.0ms	-1.196965698595801e+79	-3.869595017137459e+60

Results

80.0ms	752×	256	valid
24.0ms	223×	256	infinite
0.0ms	1×	256	valid

Compiler

Compiled 883 to 650 computations (26.4% saved)

Precisions

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

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

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

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

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

bsearch65.0ms (1.2%)

Algorithm

4×	binary-search

Stop Event

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

Steps

Time	Left	Right
11.0ms	1.34787439968042e+105	5.862068134153535e+105
14.0ms	3.111846036677786e+70	1.7403043215509032e+71
21.0ms	12103107.560043532	29946445259894530.0
20.0ms	-1.196965698595801e+79	-3.869595017137459e+60

Results

58.0ms	495×	256	valid
0.0ms	1×	256	valid

Compiler

Compiled 388 to 290 computations (25.3% saved)

Precisions

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

Operation ival-add, time spent: 7.0ms, 45.0% of total-time

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

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

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

simplify24.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

12×	`+-commutative`
10×	`if-if-or-not`
8×	`sub-neg`
8×	`not-or`
6×	`not-not`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	88	680
1	112	677
2	121	677
3	130	673
4	135	673
5	139	673
6	140	673
7	141	673

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 x (/.f64 (-.f64 y x) z))
(if (<=.f64 z -1) (+.f64 (/.f64 y z) x) (if (<=.f64 z 1) (/.f64 (-.f64 y x) z) (+.f64 (/.f64 y z) x)))
(if (<=.f64 y -5092589940836215/15914343565113172548972231940698266883214596825515126958094847260581103904401068017057792) (+.f64 (/.f64 y z) x) (if (<=.f64 y 1419999999999999971200023147305072060327047326771471385624293912990449664) (-.f64 x (/.f64 x z)) (+.f64 (/.f64 y z) x)))
(if (<=.f64 z -8343699359066055/521481209941628438084722096232800809229175908778479680162851955034721612739414196782949728256) (+.f64 (/.f64 y z) x) (if (<=.f64 z -7797895294366243/4586997231980143023221641790604173881593129978336562247475177678773845752176969616140037106220251373109248) (/.f64 (neg.f64 x) z) (if (<=.f64 z -7762590461503545/24258095192198577111702804507226602425888844017448384549047688094157046135724638848919975137947601217976370792142673018846430938189293974866316988672518455300069609000325779774222895087993725700394734362401819824232700732090875904) (+.f64 (/.f64 y z) x) (if (<=.f64 z 929962309538873/3957286423569672544968040336314355040562101585619389438625008897486355601704509874725062416979888719833562742816258229429621840548908019359480738481630290686665708354379186176) (/.f64 (neg.f64 x) z) (if (<=.f64 z 7816146647275729/411376139330301510538742295639337626245683966408394965837152256) (/.f64 y z) (if (<=.f64 z 5199348164998597/1237940039285380274899124224) (/.f64 (neg.f64 x) z) (+.f64 (/.f64 y z) x)))))))
(if (<=.f64 z -17000000000000001280452839109198142325810919361470675816546304) x (if (<=.f64 z -7092144455206147/4171849679533027504677776769862406473833407270227837441302815640277772901915313574263597826048) (/.f64 y z) (if (<=.f64 z -8485944879163265/4586997231980143023221641790604173881593129978336562247475177678773845752176969616140037106220251373109248) (/.f64 (neg.f64 x) z) (if (<=.f64 z -6016007607665247/388129523075177233787244872115625638814221504279174152784763009506512738171594221582719602207161619487621932674282768301542895011028703597861071818760295284801113744005212476387566321407899611206315749798429117187723211713454014464) (/.f64 y z) (if (<=.f64 z 272063441620415/494660802946209068121005042039294380070262698202423679828126112185794450213063734340632802122486089979195342852032278678702730068613502419935092310203786335833213544297398272) (/.f64 (neg.f64 x) z) (if (<=.f64 z 8556623698070271/6582018229284824168619876730229402019930943462534319453394436096) (/.f64 y z) (if (<=.f64 z 1436010445571041/1237940039285380274899124224) (/.f64 (neg.f64 x) z) (if (<=.f64 z 1400000000000000066339319380481226426591264940964336348472312222499638886264973300670146220755724521177088) (/.f64 y z) x))))))))
(if (<=.f64 z -1449999999999999965147033883818244145671006441105813288305819648) x (if (<=.f64 z 160000000000000) (/.f64 y z) (if (<=.f64 z 155000000000000008943629327838198157017027492769747127677213890823847936) x (if (<=.f64 z 3000000000000000069404399517656696404536793144588643566316797845858645804991355310208124052928813038829568) (/.f64 y z) x))))
x

Outputs
(+.f64 x (/.f64 (-.f64 y x) z))
(if (<=.f64 z -1) (+.f64 (/.f64 y z) x) (if (<=.f64 z 1) (/.f64 (-.f64 y x) z) (+.f64 (/.f64 y z) x)))
(if (or (<=.f64 z -1) (not (<=.f64 z 1))) (+.f64 x (/.f64 y z)) (/.f64 (-.f64 y x) z))
(if (<=.f64 y -5092589940836215/15914343565113172548972231940698266883214596825515126958094847260581103904401068017057792) (+.f64 (/.f64 y z) x) (if (<=.f64 y 1419999999999999971200023147305072060327047326771471385624293912990449664) (-.f64 x (/.f64 x z)) (+.f64 (/.f64 y z) x)))
(if (or (<=.f64 y -5092589940836215/15914343565113172548972231940698266883214596825515126958094847260581103904401068017057792) (not (<=.f64 y 1419999999999999971200023147305072060327047326771471385624293912990449664))) (+.f64 x (/.f64 y z)) (-.f64 x (/.f64 x z)))
(if (<=.f64 z -8343699359066055/521481209941628438084722096232800809229175908778479680162851955034721612739414196782949728256) (+.f64 (/.f64 y z) x) (if (<=.f64 z -7797895294366243/4586997231980143023221641790604173881593129978336562247475177678773845752176969616140037106220251373109248) (/.f64 (neg.f64 x) z) (if (<=.f64 z -7762590461503545/24258095192198577111702804507226602425888844017448384549047688094157046135724638848919975137947601217976370792142673018846430938189293974866316988672518455300069609000325779774222895087993725700394734362401819824232700732090875904) (+.f64 (/.f64 y z) x) (if (<=.f64 z 929962309538873/3957286423569672544968040336314355040562101585619389438625008897486355601704509874725062416979888719833562742816258229429621840548908019359480738481630290686665708354379186176) (/.f64 (neg.f64 x) z) (if (<=.f64 z 7816146647275729/411376139330301510538742295639337626245683966408394965837152256) (/.f64 y z) (if (<=.f64 z 5199348164998597/1237940039285380274899124224) (/.f64 (neg.f64 x) z) (+.f64 (/.f64 y z) x)))))))
(if (<=.f64 z -8343699359066055/521481209941628438084722096232800809229175908778479680162851955034721612739414196782949728256) (+.f64 x (/.f64 y z)) (if (<=.f64 z -7797895294366243/4586997231980143023221641790604173881593129978336562247475177678773845752176969616140037106220251373109248) (/.f64 (neg.f64 x) z) (if (<=.f64 z -7762590461503545/24258095192198577111702804507226602425888844017448384549047688094157046135724638848919975137947601217976370792142673018846430938189293974866316988672518455300069609000325779774222895087993725700394734362401819824232700732090875904) (+.f64 x (/.f64 y z)) (if (<=.f64 z 929962309538873/3957286423569672544968040336314355040562101585619389438625008897486355601704509874725062416979888719833562742816258229429621840548908019359480738481630290686665708354379186176) (/.f64 (neg.f64 x) z) (if (<=.f64 z 7816146647275729/411376139330301510538742295639337626245683966408394965837152256) (/.f64 y z) (if (<=.f64 z 5199348164998597/1237940039285380274899124224) (/.f64 (neg.f64 x) z) (+.f64 x (/.f64 y z))))))))
(if (<=.f64 z -17000000000000001280452839109198142325810919361470675816546304) x (if (<=.f64 z -7092144455206147/4171849679533027504677776769862406473833407270227837441302815640277772901915313574263597826048) (/.f64 y z) (if (<=.f64 z -8485944879163265/4586997231980143023221641790604173881593129978336562247475177678773845752176969616140037106220251373109248) (/.f64 (neg.f64 x) z) (if (<=.f64 z -6016007607665247/388129523075177233787244872115625638814221504279174152784763009506512738171594221582719602207161619487621932674282768301542895011028703597861071818760295284801113744005212476387566321407899611206315749798429117187723211713454014464) (/.f64 y z) (if (<=.f64 z 272063441620415/494660802946209068121005042039294380070262698202423679828126112185794450213063734340632802122486089979195342852032278678702730068613502419935092310203786335833213544297398272) (/.f64 (neg.f64 x) z) (if (<=.f64 z 8556623698070271/6582018229284824168619876730229402019930943462534319453394436096) (/.f64 y z) (if (<=.f64 z 1436010445571041/1237940039285380274899124224) (/.f64 (neg.f64 x) z) (if (<=.f64 z 1400000000000000066339319380481226426591264940964336348472312222499638886264973300670146220755724521177088) (/.f64 y z) x))))))))
(if (<=.f64 z -1449999999999999965147033883818244145671006441105813288305819648) x (if (<=.f64 z 160000000000000) (/.f64 y z) (if (<=.f64 z 155000000000000008943629327838198157017027492769747127677213890823847936) x (if (<=.f64 z 3000000000000000069404399517656696404536793144588643566316797845858645804991355310208124052928813038829568) (/.f64 y z) x))))
(if (<=.f64 z -1449999999999999965147033883818244145671006441105813288305819648) x (if (or (<=.f64 z 160000000000000) (not (or (<=.f64 z 155000000000000008943629327838198157017027492769747127677213890823847936) (not (<=.f64 z 3000000000000000069404399517656696404536793144588643566316797845858645804991355310208124052928813038829568))))) (/.f64 y z) x))
(if (<=.f64 z -1449999999999999965147033883818244145671006441105813288305819648) x (if (or (<=.f64 z 160000000000000) (and (not (<=.f64 z 155000000000000008943629327838198157017027492769747127677213890823847936)) (<=.f64 z 3000000000000000069404399517656696404536793144588643566316797845858645804991355310208124052928813038829568))) (/.f64 y z) x))
x

Compiler

Compiled 201 to 109 computations (45.8% saved)

soundness891.0ms (16.3%)

Rules

3672×	`fma-def`
1826×	`fma-def`
1826×	`fma-def`
1110×	`unswap-sqr`
1110×	`unswap-sqr`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	36	377
1	87	353
2	236	349
3	742	349
4	1816	341
5	4705	341
6	5769	341
7	6260	341
8	6587	341
9	6676	341
10	6810	341
11	7748	341
0	273	5530
1	677	5272
2	2532	5239
0	322	8501
1	743	8302
2	2463	7298
0	273	5530
1	677	5272
2	2532	5239

Stop Event

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

Compiler

Compiled 157 to 61 computations (61.1% saved)

end0.0ms (0%)

preprocess189.0ms (3.5%)

Compiler: Compiled 386 to 174 computations (54.9% saved)

analyze37.0ms (0.7%)

sample1.2s (21.6%)

preprocess312.0ms (5.7%)

eval0.0ms (0%)

prune1.0ms (0%)

localize97.0ms (1.8%)

series9.0ms (0.2%)

rewrite563.0ms (10.3%)

simplify168.0ms (3.1%)

eval89.0ms (1.6%)

prune158.0ms (2.9%)

localize163.0ms (3%)

series7.0ms (0.1%)

rewrite127.0ms (2.3%)

simplify177.0ms (3.2%)

eval70.0ms (1.3%)

prune21.0ms (0.4%)

localize70.0ms (1.3%)

series3.0ms (0.1%)

rewrite105.0ms (1.9%)

simplify86.0ms (1.6%)

eval16.0ms (0.3%)

prune14.0ms (0.3%)

regimes26.0ms (0.5%)

regimes47.0ms (0.9%)

regimes45.0ms (0.8%)

regimes42.0ms (0.8%)

regimes193.0ms (3.5%)

regimes16.0ms (0.3%)

regimes11.0ms (0.2%)

bsearch140.0ms (2.5%)

bsearch33.0ms (0.6%)

bsearch156.0ms (2.8%)

bsearch125.0ms (2.3%)

bsearch65.0ms (1.2%)

simplify24.0ms (0.4%)

soundness891.0ms (16.3%)

end0.0ms (0%)

preprocess189.0ms (3.5%)

Profiling