Details

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample848.0ms (36.8%)

Results

632.0ms	6522×	body	256	valid
202.0ms	1734×	body	256	infinite

Bogosity

preprocess114.0ms (4.9%)

Algorithm

2×	egg-herbie

Rules

1918×	`fma-def`
1116×	`fma-neg`
478×	`cancel-sign-sub-inv`
252×	`distribute-rgt-in`
238×	`sub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	84
1	46	84
2	75	84
3	128	76
4	199	76
5	279	76
6	431	76
7	643	76
8	1407	76
9	2611	76
10	3060	76
11	3308	76
12	3325	76
13	3325	76
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify49.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1062×	`fma-def`
132×	`cancel-sign-sub-inv`
96×	`distribute-lft-neg-in`
82×	`sub-neg`
78×	`associate-+l-`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	21
1	21	21
2	31	21
3	46	19
4	65	19
5	90	19
6	142	19
7	217	19
8	468	19
9	842	19
10	1123	19
11	1217	19
12	1222	19

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 34 to 17 computations (50% saved)

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	2	2	4
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	3	2	5

Accurracy

100.0%

Counts

5 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 x (+.f64 y z) (neg.f64 z))
▶	100.0%	(-.f64 (*.f64 x (+.f64 y z)) z)
▶	100.0%	(fma.f64 x (+.f64 y z) (neg.f64 z))
▶	100.0%	(-.f64 (*.f64 x (+.f64 y z)) z)

Compiler

Compiled 40 to 24 computations (40% saved)

localize50.0ms (2.2%)

Local Accuracy

Found 2 expressions with local accuracy:

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

Compiler

Compiled 41 to 14 computations (65.9% saved)

series5.0ms (0.2%)

Counts

2 → 72

Calls

18 calls:

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

rewrite83.0ms (3.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1084×	`fma-def`
974×	`log-prod`
920×	`prod-exp`
796×	`pow-prod-down`
454×	`pow-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	186	32
2	2842	32

Stop Event

1×	node limit

Counts

2 → 189

Calls

Call 1

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

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

simplify93.0ms (4%)

Algorithm

1×	egg-herbie

Rules

878×	`fma-neg`
842×	`unswap-sqr`
754×	`associate-+l+`
694×	`times-frac`
678×	`associate-+r+`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	396	5715
1	932	5523
2	2802	5499

Stop Event

1×	node limit

Counts

261 → 231

Calls

Call 1

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

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

eval42.0ms (1.8%)

Compiler: Compiled 3399 to 989 computations (70.9% saved)

prune35.0ms (1.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	227	4	231
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	227	6	233

Accurracy

100.0%

Counts

233 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 x (+.f64 y z) (neg.f64 z))
▶	57.7%	(-.f64 (*.f64 z x) z)
✓	100.0%	(-.f64 (*.f64 x (+.f64 y z)) z)
▶	70.1%	(*.f64 (+.f64 z y) x)
▶	45.6%	(*.f64 y x)
▶	31.3%	(neg.f64 z)
✓	100.0%	(fma.f64 x (+.f64 y z) (neg.f64 z))
▶	57.7%	(-.f64 (*.f64 z x) z)
✓	100.0%	(-.f64 (*.f64 x (+.f64 y z)) z)
▶	70.1%	(*.f64 (+.f64 z y) x)
▶	45.6%	(*.f64 y x)
▶	31.3%	(neg.f64 z)

Compiler

Compiled 94 to 60 computations (36.2% saved)

localize78.0ms (3.4%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(*.f64 (+.f64 z y) x)

Compiler

Compiled 45 to 22 computations (51.1% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite54.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1626×	`pow1`
1502×	`add-exp-log`
1502×	`log1p-expm1-u`
1502×	`expm1-log1p-u`
1472×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	148	13
2	2018	13

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

Inputs
(*.f64 (+.f64 z y) x)

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

simplify59.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1222×	`log-prod`
1202×	`fma-def`
840×	`*-commutative`
704×	`associate-r`
626×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	68	781
1	161	781
2	502	781
3	2956	781
4	6100	781

Stop Event

1×	node limit

Counts

57 → 29

Calls

Call 1

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

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

eval5.0ms (0.2%)

Compiler: Compiled 271 to 108 computations (60.1% saved)

prune9.0ms (0.4%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	28	1	29
Fresh	0	0	0
Picked	0	4	4
Done	0	2	2
Total	28	7	35

Accurracy

100.0%

Counts

35 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 x (+.f64 y z) (neg.f64 z))
✓	57.7%	(-.f64 (*.f64 z x) z)
✓	100.0%	(-.f64 (*.f64 x (+.f64 y z)) z)
✓	70.1%	(*.f64 (+.f64 z y) x)
▶	28.5%	(*.f64 z x)
✓	45.6%	(*.f64 y x)
✓	31.3%	(neg.f64 z)
✓	100.0%	(fma.f64 x (+.f64 y z) (neg.f64 z))
✓	57.7%	(-.f64 (*.f64 z x) z)
✓	100.0%	(-.f64 (*.f64 x (+.f64 y z)) z)
✓	70.1%	(*.f64 (+.f64 z y) x)
▶	28.5%	(*.f64 z x)
✓	45.6%	(*.f64 y x)
✓	31.3%	(neg.f64 z)

Compiler

Compiled 106 to 68 computations (35.8% saved)

localize22.0ms (1%)

Compiler: Compiled 9 to 5 computations (44.4% saved)

eval0.0ms (0%)

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

prune4.0ms (0.2%)

Pruning

7 alts after pruning (0 fresh and 7 done)

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

Accurracy

100.0%

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 x (+.f64 y z) (neg.f64 z))
✓	57.7%	(-.f64 (*.f64 z x) z)
✓	100.0%	(-.f64 (*.f64 x (+.f64 y z)) z)
✓	70.1%	(*.f64 (+.f64 z y) x)
✓	28.5%	(*.f64 z x)
✓	45.6%	(*.f64 y x)
✓	31.3%	(neg.f64 z)

Compiler

Compiled 97 to 52 computations (46.4% saved)

regimes23.0ms (1%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

4 calls:

6.0ms	y
5.0ms	z
5.0ms	x
5.0ms	(+.f64 (.f64 x y) (.f64 (-.f64 x 1) z))

Results

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

Compiler

Compiled 68 to 35 computations (48.5% saved)

regimes22.0ms (1%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

4 calls:

6.0ms	x
5.0ms	(+.f64 (.f64 x y) (.f64 (-.f64 x 1) z))
5.0ms	y
5.0ms	z

Results

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

Compiler

Compiled 61 to 34 computations (44.3% saved)

regimes51.0ms (2.2%)

Counts

5 → 3

Calls

Call 1

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

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

Calls

3 calls:

20.0ms	z
17.0ms	y
13.0ms	x

Results

Accuracy	Segments	Branch
85.6%	3	`x`
84.9%	3	`y`
86.9%	5	`z`

Compiler

Compiled 33 to 18 computations (45.5% saved)

regimes64.0ms (2.8%)

Counts

3 → 5

Calls

Call 1

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

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

Calls

3 calls:

22.0ms	z
21.0ms	x
20.0ms	y

Results

Accuracy	Segments	Branch
66.4%	7	`z`
66.4%	5	`y`
69.2%	7	`x`

Compiler

Compiled 23 to 15 computations (34.8% saved)

regimes18.0ms (0.8%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

9.0ms	y
9.0ms	x

Results

Accuracy	Segments	Branch
61.1%	3	`x`
59.6%	3	`y`

Compiler

Compiled 16 to 11 computations (31.3% saved)

regimes9.0ms (0.4%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(neg.f64 z)

Outputs
(neg.f64 z)

Calls

3 calls:

3.0ms	y
2.0ms	x
2.0ms	z

Results

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

Compiler

Compiled 17 to 13 computations (23.5% saved)

bsearch32.0ms (1.4%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	2.7483242537674348e-18	2.8370068442662446e-12
16.0ms	-2.780843196809476e-135	-1.8400990592741498e-148

Results

28.0ms

304×

body

256

valid

Compiler

Compiled 303 to 222 computations (26.7% saved)

bsearch58.0ms (2.5%)

Algorithm

4×	binary-search

Stop Event

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

Steps

Time	Left	Right
13.0ms	2.0872512713370876e-75	1.116546537729086e-72
15.0ms	-4.4472621651648236e-271	-1.519789615913538e-277
16.0ms	-8.590632872983944e-54	-1.0019046706949432e-58
14.0ms	-4.331846150171177e+44	-2.6666738762595165e+40

Results

44.0ms	447×	body	256	valid
9.0ms	97×	body	256	infinite

Compiler

Compiled 476 to 353 computations (25.8% saved)

bsearch33.0ms (1.4%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	2.7483242537674348e-18	2.8370068442662446e-12
18.0ms	-2.780843196809476e-135	-1.8400990592741498e-148

Results

30.0ms

304×

body

256

valid

Compiler

Compiled 265 to 203 computations (23.4% saved)

simplify11.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	192
1	61	192
2	64	192
3	65	192

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(fma.f64 x (+.f64 y z) (neg.f64 z))
(-.f64 (*.f64 x (+.f64 y z)) z)
(if (<=.f64 x -4500912085857195/1636695303948070935006594848413799576108321023021532394741645684048066898202337277441635046162952078575443342063780035504608628272942696526664263794688) (.f64 (+.f64 z y) x) (if (<=.f64 x 6591783121186793/10141204801825835211973625643008) (neg.f64 z) (.f64 (+.f64 z y) x)))
(if (<=.f64 y -28000000000000001334171207441461937176576) (.f64 y x) (if (<=.f64 y -4658678784083631/862718293348820473429344482784628181556388621521298319395315527974912) (.f64 z x) (if (<=.f64 y -8380970049803999/19490628022799998160706764775750376621752453715190015053735812914425897381532852204931230131764020518450609832462817336366918339730406188093155974592625306839062555399912946059741579310980107296705599186958436757747371195850789749891492727230937931225655477606208555094163657179983828221952) (neg.f64 z) (if (<=.f64 y 1750577792162449/7957171782556586274486115970349133441607298412757563479047423630290551952200534008528896) (.f64 z x) (.f64 y x)))))
(if (<=.f64 x -1407557961395341/3273390607896141870013189696827599152216642046043064789483291368096133796404674554883270092325904157150886684127560071009217256545885393053328527589376) (.f64 y x) (if (<=.f64 x 5446936172855673/9903520314283042199192993792) (neg.f64 z) (.f64 y x)))
(neg.f64 z)

Outputs
(fma.f64 x (+.f64 y z) (neg.f64 z))
(-.f64 (*.f64 x (+.f64 y z)) z)
(if (<=.f64 x -4500912085857195/1636695303948070935006594848413799576108321023021532394741645684048066898202337277441635046162952078575443342063780035504608628272942696526664263794688) (.f64 (+.f64 z y) x) (if (<=.f64 x 6591783121186793/10141204801825835211973625643008) (neg.f64 z) (.f64 (+.f64 z y) x)))
(if (or (<=.f64 x -4500912085857195/1636695303948070935006594848413799576108321023021532394741645684048066898202337277441635046162952078575443342063780035504608628272942696526664263794688) (not (<=.f64 x 6591783121186793/10141204801825835211973625643008))) (*.f64 x (+.f64 y z)) (neg.f64 z))
(if (<=.f64 y -28000000000000001334171207441461937176576) (.f64 y x) (if (<=.f64 y -4658678784083631/862718293348820473429344482784628181556388621521298319395315527974912) (.f64 z x) (if (<=.f64 y -8380970049803999/19490628022799998160706764775750376621752453715190015053735812914425897381532852204931230131764020518450609832462817336366918339730406188093155974592625306839062555399912946059741579310980107296705599186958436757747371195850789749891492727230937931225655477606208555094163657179983828221952) (neg.f64 z) (if (<=.f64 y 1750577792162449/7957171782556586274486115970349133441607298412757563479047423630290551952200534008528896) (.f64 z x) (.f64 y x)))))
(if (<=.f64 y -28000000000000001334171207441461937176576) (.f64 x y) (if (<=.f64 y -4658678784083631/862718293348820473429344482784628181556388621521298319395315527974912) (.f64 x z) (if (<=.f64 y -8380970049803999/19490628022799998160706764775750376621752453715190015053735812914425897381532852204931230131764020518450609832462817336366918339730406188093155974592625306839062555399912946059741579310980107296705599186958436757747371195850789749891492727230937931225655477606208555094163657179983828221952) (neg.f64 z) (if (<=.f64 y 1750577792162449/7957171782556586274486115970349133441607298412757563479047423630290551952200534008528896) (.f64 x z) (.f64 x y)))))
(if (<=.f64 x -1407557961395341/3273390607896141870013189696827599152216642046043064789483291368096133796404674554883270092325904157150886684127560071009217256545885393053328527589376) (.f64 y x) (if (<=.f64 x 5446936172855673/9903520314283042199192993792) (neg.f64 z) (.f64 y x)))
(if (<=.f64 x -1407557961395341/3273390607896141870013189696827599152216642046043064789483291368096133796404674554883270092325904157150886684127560071009217256545885393053328527589376) (.f64 x y) (if (<=.f64 x 5446936172855673/9903520314283042199192993792) (neg.f64 z) (.f64 x y)))
(neg.f64 z)

Compiler

Compiled 96 to 58 computations (39.6% saved)

soundness382.0ms (16.6%)

Rules

1062×	`fma-def`
1062×	`fma-def`
878×	`fma-neg`
878×	`fma-neg`
842×	`unswap-sqr`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	21
1	21	21
2	31	21
3	46	19
4	65	19
5	90	19
6	142	19
7	217	19
8	468	19
9	842	19
10	1123	19
11	1217	19
12	1222	19
0	10	21
1	21	21
2	31	21
3	46	19
4	65	19
5	90	19
6	142	19
7	217	19
8	468	19
9	842	19
10	1123	19
11	1217	19
12	1222	19
0	396	5715
1	932	5523
2	2802	5499
0	396	5715
1	932	5523
2	2802	5499

Stop Event

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

Compiler

Compiled 202 to 93 computations (54% saved)

end51.0ms (2.2%)

Compiler: Compiled 186 to 86 computations (53.8% saved)

Graphics.Rendering.Chart.Drawing:drawTextsR from Chart-1.5.3

Details

analyze0.0ms (0%)

sample848.0ms (36.8%)

preprocess114.0ms (4.9%)

simplify49.0ms (2.1%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize50.0ms (2.2%)

series5.0ms (0.2%)

rewrite83.0ms (3.6%)

simplify93.0ms (4%)

eval42.0ms (1.8%)

prune35.0ms (1.5%)

localize78.0ms (3.4%)

series1.0ms (0%)

rewrite54.0ms (2.3%)

simplify59.0ms (2.6%)

eval5.0ms (0.2%)

prune9.0ms (0.4%)

localize22.0ms (1%)

eval0.0ms (0%)

prune4.0ms (0.2%)

regimes23.0ms (1%)

regimes22.0ms (1%)

regimes51.0ms (2.2%)

regimes64.0ms (2.8%)

regimes18.0ms (0.8%)

regimes9.0ms (0.4%)

bsearch32.0ms (1.4%)

bsearch58.0ms (2.5%)

bsearch33.0ms (1.4%)

simplify11.0ms (0.5%)

soundness382.0ms (16.6%)

end51.0ms (2.2%)

Profiling