Metrics for Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, E

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)

sample974.0ms (25.2%)

Results

790.0ms	6529×	body	256	valid
170.0ms	1727×	body	256	infinite

Bogosity

preprocess378.0ms (9.8%)

Algorithm

1×	egg-herbie

Rules

4402×	`fma-def`
924×	`fma-neg`
810×	`distribute-lft-in`
770×	`distribute-rgt-in`
590×	`unsub-neg`

Problems

255×	No Errors
1×	`(.f64 (.f64 (-.f64 y x) 6) z)`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	43	443
1	102	383
2	319	375
3	1058	375
4	3988	375
5	5272	375
6	5705	375
7	5803	375
8	5810	375
9	5810	375
10	5906	375
11	5946	375
12	5946	375
13	7606	375
14	7606	375
15	7606	375

Stop Event

1×

saturated

Calls

Call 1

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

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

Compiler

Compiled 44 to 23 computations (47.7% saved)

eval1.0ms (0%)

Compiler: Compiled 36 to 18 computations (50% saved)

prune2.0ms (0.1%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))
▶	99.6%	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
▶	99.9%	(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))
▶	99.6%	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))

Compiler

Compiled 48 to 32 computations (33.3% saved)

localize151.0ms (3.9%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	99.7%	(.f64 (-.f64 y x) (.f64 6 z))
✓	99.7%	(*.f64 (-.f64 y x) 6)
✓	99.3%	(.f64 (.f64 (-.f64 y x) 6) z)

Compiler

Compiled 58 to 25 computations (56.9% saved)

series6.0ms (0.2%)

Counts

3 → 96

Calls

24 calls:

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

rewrite149.0ms (3.8%)

Algorithm

1×	batch-egg-rewrite

Rules

872×	`log-prod`
787×	`log1p-expm1-u`
787×	`expm1-log1p-u`
718×	`prod-diff`
698×	`pow-prod-down`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	75
1	180	75
2	2102	75

Stop Event

1×	node limit

Counts

3 → 87

Calls

Call 1

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

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

simplify120.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

1082×	`distribute-lft-in`
1068×	`distribute-rgt-in`
988×	`fma-def`
738×	`log-prod`
580×	`unswap-sqr`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	167	6513
1	373	5145
2	1160	5019
3	5780	4875

Stop Event

1×	node limit

Counts

183 → 91

Calls

Call 1

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

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

eval35.0ms (0.9%)

Compiler: Compiled 1316 to 770 computations (41.5% saved)

prune18.0ms (0.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	87	4	91
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	87	6	93

Accuracy

100.0%

Counts

93 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))
✓	99.6%	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
▶	83.1%	(+.f64 x (.f64 (.f64 6 y) z))
▶	59.0%	(+.f64 x (.f64 (.f64 -6 x) z))
▶	83.0%	(+.f64 x (.f64 6 (.f64 z y)))
▶	59.3%	(+.f64 x (.f64 -6 (.f64 x z)))
✓	99.9%	(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))
✓	99.6%	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
▶	83.1%	(+.f64 x (.f64 (.f64 6 y) z))
▶	59.0%	(+.f64 x (.f64 (.f64 -6 x) z))
▶	83.0%	(+.f64 x (.f64 6 (.f64 z y)))
▶	59.3%	(+.f64 x (.f64 -6 (.f64 x z)))

Compiler

Compiled 128 to 88 computations (31.3% saved)

localize120.0ms (3.1%)

Localize:

Found 6 expressions with local error:

New	Accuracy	Program
✓	99.7%	(.f64 (.f64 6 y) z)
✓	100.0%	(+.f64 x (.f64 (.f64 -6 x) z))
✓	99.3%	(.f64 (.f64 -6 x) z)
✓	99.6%	(.f64 6 (.f64 z y))
✓	100.0%	(+.f64 x (.f64 -6 (.f64 x z)))
✓	99.6%	(.f64 -6 (.f64 x z))

Compiler

Compiled 78 to 38 computations (51.3% saved)

series28.0ms (0.7%)

Counts

6 → 111

Calls

36 calls:

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

rewrite183.0ms (4.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1332×	`log-prod`
666×	`fma-def`
639×	`log1p-expm1-u`
639×	`expm1-log1p-u`
494×	`pow-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	132
1	298	124
2	3041	124

Stop Event

1×	node limit

Counts

6 → 230

Calls

Call 1

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

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

simplify153.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1140×	`distribute-lft-in`
1106×	`distribute-rgt-in`
1040×	`unswap-sqr`
620×	`times-frac`
598×	`log-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	290	9537
1	663	8795
2	2182	8769

Stop Event

1×	node limit

Counts

341 → 138

Calls

Call 1

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

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

eval38.0ms (1%)

Compiler: Compiled 1761 to 1122 computations (36.3% saved)

prune25.0ms (0.6%)

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	135	3	138
Fresh	0	0	0
Picked	1	3	4
Done	0	2	2
Total	136	8	144

Accuracy

100.0%

Counts

144 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))
✓	99.6%	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
✓	83.1%	(+.f64 x (.f64 (.f64 6 y) z))
✓	59.0%	(+.f64 x (.f64 (.f64 -6 x) z))
✓	83.0%	(+.f64 x (.f64 6 (.f64 z y)))
▶	20.2%	(.f64 x (.f64 -6 z))
▶	20.2%	(.f64 -6 (.f64 x z))
	41.6%	x
✓	99.9%	(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))
✓	99.6%	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
✓	83.1%	(+.f64 x (.f64 (.f64 6 y) z))
✓	59.0%	(+.f64 x (.f64 (.f64 -6 x) z))
✓	83.0%	(+.f64 x (.f64 6 (.f64 z y)))
▶	20.2%	(.f64 x (.f64 -6 z))
▶	20.2%	(.f64 -6 (.f64 x z))
	41.6%	x

Compiler

Compiled 148 to 104 computations (29.7% saved)

localize36.0ms (0.9%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	99.7%	(.f64 x (.f64 -6 z))
	99.6%	(.f64 -6 (.f64 x z))

Compiler

Compiled 26 to 14 computations (46.2% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite51.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

658×	`unpow-prod-down`
472×	`log-prod`
462×	`cbrt-prod`
364×	`log1p-expm1-u`
364×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	88	19
2	1001	19

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

Inputs
(.f64 x (.f64 -6 z))

Outputs
(+.f64 0 (.f64 x (.f64 -6 z)))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 z) -12) x))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 -6 z)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 -6 z)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 -6 z)))))
(-.f64 (+.f64 1 (.f64 x (.f64 -6 z))) 1)
(pow.f64 (.f64 x (.f64 -6 z)) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 -6 z))) 3)
(pow.f64 (.f64 36 (pow.f64 (.f64 z x) 2)) 1/2)
(pow.f64 (.f64 -216 (pow.f64 (.f64 z x) 3)) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (.f64 -6 z))) 2)
(pow.f64 (E.f64) (log.f64 (.f64 x (.f64 -6 z))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 x (.f64 -6 z)))) 2)) (cbrt.f64 (log.f64 (.f64 x (.f64 -6 z)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 x (.f64 -6 z))))) (sqrt.f64 (log.f64 (.f64 x (.f64 -6 z)))))
(sqrt.f64 (.f64 36 (pow.f64 (.f64 z x) 2)))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 -6 z)))
(cbrt.f64 (.f64 -216 (pow.f64 (.f64 z x) 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 -6 z))))
(exp.f64 (log.f64 (.f64 x (.f64 -6 z))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 -6 z)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 -6 z)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (*.f64 -6 z)))) 2))
(log1p.f64 (expm1.f64 (.f64 x (.f64 -6 z))))

simplify55.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

984×	`unswap-sqr`
890×	`log-prod`
652×	`exp-sum`
476×	`associate-*r/`
470×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	77	997
1	169	997
2	387	997
3	1208	997
4	4121	997

Stop Event

1×	node limit

Counts

45 → 25

Calls

Call 1

Inputs
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(.f64 -6 (.f64 x z))
(+.f64 0 (.f64 x (.f64 -6 z)))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 z) -12) x))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 -6 z)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 -6 z)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 -6 z)))))
(-.f64 (+.f64 1 (.f64 x (.f64 -6 z))) 1)
(pow.f64 (.f64 x (.f64 -6 z)) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 -6 z))) 3)
(pow.f64 (.f64 36 (pow.f64 (.f64 z x) 2)) 1/2)
(pow.f64 (.f64 -216 (pow.f64 (.f64 z x) 3)) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (.f64 -6 z))) 2)
(pow.f64 (E.f64) (log.f64 (.f64 x (.f64 -6 z))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 x (.f64 -6 z)))) 2)) (cbrt.f64 (log.f64 (.f64 x (.f64 -6 z)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 x (.f64 -6 z))))) (sqrt.f64 (log.f64 (.f64 x (.f64 -6 z)))))
(sqrt.f64 (.f64 36 (pow.f64 (.f64 z x) 2)))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 -6 z)))
(cbrt.f64 (.f64 -216 (pow.f64 (.f64 z x) 3)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 -6 z))))
(exp.f64 (log.f64 (.f64 x (.f64 -6 z))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 -6 z)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 -6 z)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (*.f64 -6 z)))) 2))
(log1p.f64 (expm1.f64 (.f64 x (.f64 -6 z))))

Outputs
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(+.f64 0 (.f64 x (.f64 -6 z)))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 z) -12) x))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 -6 z)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 -6 z)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 -6 z)))))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(-.f64 (+.f64 1 (.f64 x (.f64 -6 z))) 1)
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(pow.f64 (.f64 x (.f64 -6 z)) 1)
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(pow.f64 (cbrt.f64 (.f64 x (.f64 -6 z))) 3)
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(pow.f64 (.f64 36 (pow.f64 (.f64 z x) 2)) 1/2)
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(pow.f64 (.f64 -216 (pow.f64 (.f64 z x) 3)) 1/3)
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(pow.f64 (sqrt.f64 (.f64 x (.f64 -6 z))) 2)
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(pow.f64 (E.f64) (log.f64 (.f64 x (.f64 -6 z))))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 x (.f64 -6 z)))) 2)) (cbrt.f64 (log.f64 (.f64 x (.f64 -6 z)))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 -6 (.f64 x z)))) 2)) (cbrt.f64 (log.f64 (.f64 -6 (.f64 x z)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 x (.f64 -6 z))))) (sqrt.f64 (log.f64 (.f64 x (.f64 -6 z)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 -6 (.f64 x z))))) (sqrt.f64 (log.f64 (.f64 -6 (.f64 x z)))))
(sqrt.f64 (.f64 36 (pow.f64 (.f64 z x) 2)))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 -6 z)))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(cbrt.f64 (.f64 -216 (pow.f64 (.f64 z x) 3)))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(expm1.f64 (log1p.f64 (.f64 x (.f64 -6 z))))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(exp.f64 (log.f64 (.f64 x (.f64 -6 z))))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (*.f64 -6 z)))) 3))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 -6 z)))) 1/3))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (*.f64 -6 z)))) 2))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(log1p.f64 (expm1.f64 (.f64 x (.f64 -6 z))))
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))

eval13.0ms (0.3%)

Compiler: Compiled 504 to 363 computations (28% saved)

prune12.0ms (0.3%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	48	0	48
Fresh	0	1	1
Picked	0	2	2
Done	0	5	5
Total	48	8	56

Accuracy

100.0%

Counts

56 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))
✓	99.6%	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
✓	83.1%	(+.f64 x (.f64 (.f64 6 y) z))
✓	59.0%	(+.f64 x (.f64 (.f64 -6 x) z))
✓	83.0%	(+.f64 x (.f64 6 (.f64 z y)))
✓	20.2%	(.f64 x (.f64 -6 z))
✓	20.2%	(.f64 -6 (.f64 x z))
	41.6%	x
✓	99.9%	(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))
✓	99.6%	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
✓	83.1%	(+.f64 x (.f64 (.f64 6 y) z))
✓	59.0%	(+.f64 x (.f64 (.f64 -6 x) z))
✓	83.0%	(+.f64 x (.f64 6 (.f64 z y)))
✓	20.2%	(.f64 x (.f64 -6 z))
✓	20.2%	(.f64 -6 (.f64 x z))
	41.6%	x

Compiler

Compiled 148 to 104 computations (29.7% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune6.0ms (0.2%)

Pruning

8 alts after pruning (1 fresh and 7 done)

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

Accuracy

100.0%

Counts

8 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))
✓	99.6%	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
✓	83.1%	(+.f64 x (.f64 (.f64 6 y) z))
✓	59.0%	(+.f64 x (.f64 (.f64 -6 x) z))
✓	83.0%	(+.f64 x (.f64 6 (.f64 z y)))
✓	20.2%	(.f64 x (.f64 -6 z))
✓	20.2%	(.f64 -6 (.f64 x z))
	41.6%	x

Compiler

Compiled 134 to 85 computations (36.6% saved)

regimes38.0ms (1%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

4 calls:

15.0ms	z
8.0ms	y
7.0ms	x
6.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))

Results

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

Compiler

Compiled 84 to 50 computations (40.5% saved)

regimes31.0ms (0.8%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 75 to 46 computations (38.7% saved)

regimes66.0ms (1.7%)

Counts

7 → 3

Calls

Call 1

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

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

Calls

3 calls:

28.0ms	y
17.0ms	z
17.0ms	x

Results

Accuracy	Segments	Branch
91.2%	3	`x`
91.4%	5	`y`
86.2%	3	`z`

Compiler

Compiled 54 to 33 computations (38.9% saved)

regimes17.0ms (0.4%)

Counts

6 → 3

Calls

Call 1

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

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

Calls

1 calls:

16.0ms

Results

Accuracy	Segments	Branch
91.2%	3	`x`

Compiler

Compiled 39 to 23 computations (41% saved)

regimes15.0ms (0.4%)

Counts

4 → 1

Calls

Call 1

Inputs
x
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))
(+.f64 x (.f64 -6 (.f64 x z)))

Outputs
(+.f64 x (.f64 -6 (.f64 x z)))

Calls

3 calls:

5.0ms	y
5.0ms	z
4.0ms	x

Results

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

Compiler

Compiled 33 to 21 computations (36.4% saved)

regimes21.0ms (0.6%)

Counts

3 → 3

Calls

Call 1

Inputs
x
(.f64 -6 (.f64 x z))
(.f64 x (.f64 -6 z))

Outputs
(.f64 -6 (.f64 x z))
x
(.f64 x (.f64 -6 z))

Calls

3 calls:

12.0ms	z
4.0ms	x
4.0ms	y

Results

Accuracy	Segments	Branch
41.6%	1	`x`
41.6%	1	`y`
58.5%	3	`z`

Compiler

Compiled 26 to 18 computations (30.8% saved)

regimes12.0ms (0.3%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(.f64 -6 (.f64 x z))

Outputs
(.f64 -6 (.f64 x z))
x
(.f64 -6 (.f64 x z))

Calls

1 calls:

11.0ms

Results

Accuracy	Segments	Branch
58.5%	3	`z`

Compiler

Compiled 13 to 9 computations (30.8% saved)

regimes7.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
x

Outputs
x

Calls

2 calls:

3.0ms	z
3.0ms	x

Results

Accuracy	Segments	Branch
41.6%	1	`x`
41.6%	1	`z`

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch34.0ms (0.9%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
16.0ms	8.876917818544303e+177	8.05650570237074e+185
18.0ms	-3.1286374839027297e+97	-1.1715948421805319e+80

Results

25.0ms	251×	body	256	valid
5.0ms	53×	body	256	infinite

Compiler

Compiled 436 to 317 computations (27.3% saved)

bsearch34.0ms (0.9%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
16.0ms	8.876917818544303e+177	8.05650570237074e+185
18.0ms	-3.1286374839027297e+97	-1.1715948421805319e+80

Results

24.0ms	242×	body	256	valid
6.0ms	62×	body	256	infinite

Compiler

Compiled 436 to 317 computations (27.3% saved)

bsearch27.0ms (0.7%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
14.0ms	0.0032487249708304483	4.127923034840001
13.0ms	-0.0006886901750689376	-7.048882198847989e-6

Results

23.0ms

240×

body

256

valid

Compiler

Compiled 228 to 178 computations (21.9% saved)

bsearch26.0ms (0.7%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
14.0ms	0.0032487249708304483	4.127923034840001
12.0ms	-0.0006886901750689376	-7.048882198847989e-6

Results

24.0ms

240×

body

256

valid

Compiler

Compiled 228 to 178 computations (21.9% saved)

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	400
1	83	400
2	88	400
3	90	400
4	91	400

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))
(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
(if (<=.f64 x -200000000000000006161332646193051381554050408015286692692179488138827970582662873088) (+.f64 x (.f64 -6 (.f64 x z))) (if (<=.f64 x 8999999999999999392203755337189421601397178294351106020782215126526263707097009550597841786641982977820087507841433244065392309467153690166575214845901196182591572946469374656512) (+.f64 x (.f64 (.f64 6 y) z)) (+.f64 x (.f64 -6 (.f64 x z)))))
(if (<=.f64 x -21999999999999999941119752615105383656140334322923471143306657541039634538319124371469238272) (+.f64 x (.f64 -6 (.f64 x z))) (if (<=.f64 x 10000000000000000524381184475062837195473800154429724610566137243318061834753718863820956830887857615988724636416932177829345401680187244151732297960592357271816907060120777654272) (+.f64 x (.f64 6 (.f64 z y))) (+.f64 x (.f64 -6 (.f64 x z)))))
(+.f64 x (.f64 -6 (.f64 x z)))
(if (<=.f64 z -48999163945791/72057594037927936) (.f64 -6 (.f64 x z)) (if (<=.f64 z 5944751508129055/36028797018963968) x (.f64 x (.f64 -6 z))))
(if (<=.f64 z -48999163945791/72057594037927936) (.f64 -6 (.f64 x z)) (if (<=.f64 z 5944751508129055/36028797018963968) x (.f64 -6 (.f64 x z))))
x

Outputs
(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))
(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
(+.f64 x (.f64 z (.f64 (-.f64 y x) 6)))
(if (<=.f64 x -200000000000000006161332646193051381554050408015286692692179488138827970582662873088) (+.f64 x (.f64 -6 (.f64 x z))) (if (<=.f64 x 8999999999999999392203755337189421601397178294351106020782215126526263707097009550597841786641982977820087507841433244065392309467153690166575214845901196182591572946469374656512) (+.f64 x (.f64 (.f64 6 y) z)) (+.f64 x (.f64 -6 (.f64 x z)))))
(if (or (<=.f64 x -200000000000000006161332646193051381554050408015286692692179488138827970582662873088) (not (<=.f64 x 8999999999999999392203755337189421601397178294351106020782215126526263707097009550597841786641982977820087507841433244065392309467153690166575214845901196182591572946469374656512))) (+.f64 x (.f64 -6 (.f64 x z))) (+.f64 x (.f64 z (.f64 y 6))))
(if (<=.f64 x -21999999999999999941119752615105383656140334322923471143306657541039634538319124371469238272) (+.f64 x (.f64 -6 (.f64 x z))) (if (<=.f64 x 10000000000000000524381184475062837195473800154429724610566137243318061834753718863820956830887857615988724636416932177829345401680187244151732297960592357271816907060120777654272) (+.f64 x (.f64 6 (.f64 z y))) (+.f64 x (.f64 -6 (.f64 x z)))))
(if (or (<=.f64 x -21999999999999999941119752615105383656140334322923471143306657541039634538319124371469238272) (not (<=.f64 x 10000000000000000524381184475062837195473800154429724610566137243318061834753718863820956830887857615988724636416932177829345401680187244151732297960592357271816907060120777654272))) (+.f64 x (.f64 -6 (.f64 x z))) (+.f64 x (.f64 6 (.f64 y z))))
(+.f64 x (.f64 -6 (.f64 x z)))
(if (<=.f64 z -48999163945791/72057594037927936) (.f64 -6 (.f64 x z)) (if (<=.f64 z 5944751508129055/36028797018963968) x (.f64 x (.f64 -6 z))))
(if (<=.f64 z -48999163945791/72057594037927936) (.f64 -6 (.f64 x z)) (if (<=.f64 z 5944751508129055/36028797018963968) x (.f64 x (.f64 z -6))))
(if (<=.f64 z -48999163945791/72057594037927936) (.f64 -6 (.f64 x z)) (if (<=.f64 z 5944751508129055/36028797018963968) x (.f64 -6 (.f64 x z))))
(if (or (<=.f64 z -48999163945791/72057594037927936) (not (<=.f64 z 5944751508129055/36028797018963968))) (.f64 -6 (.f64 x z)) x)
x

Compiler

Compiled 130 to 90 computations (30.8% saved)

soundness835.0ms (21.6%)

Rules

4402×	`fma-def`
1140×	`distribute-lft-in`
1106×	`distribute-rgt-in`
1082×	`distribute-lft-in`
1068×	`distribute-rgt-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	43	443
1	102	383
2	319	375
3	1058	375
4	3988	375
5	5272	375
6	5705	375
7	5803	375
8	5810	375
9	5810	375
10	5906	375
11	5946	375
12	5946	375
13	7606	375
14	7606	375
15	7606	375
0	290	9537
1	663	8795
2	2182	8769
0	167	6513
1	373	5145
2	1160	5019
3	5780	4875

Stop Event

1×	node limit
1×	node limit
1×	saturated

Compiler

Compiled 61 to 38 computations (37.7% saved)

end0.0ms (0%)

preprocess134.0ms (3.5%)

Compiler: Compiled 266 to 160 computations (39.8% saved)

analyze0.0ms (0%)

sample974.0ms (25.2%)

preprocess378.0ms (9.8%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize151.0ms (3.9%)

series6.0ms (0.2%)

rewrite149.0ms (3.8%)

simplify120.0ms (3.1%)

eval35.0ms (0.9%)

prune18.0ms (0.5%)

localize120.0ms (3.1%)

series28.0ms (0.7%)

rewrite183.0ms (4.7%)

simplify153.0ms (4%)

eval38.0ms (1%)

prune25.0ms (0.6%)

localize36.0ms (0.9%)

series0.0ms (0%)

rewrite51.0ms (1.3%)

simplify55.0ms (1.4%)

eval13.0ms (0.3%)

prune12.0ms (0.3%)

localize0.0ms (0%)

eval0.0ms (0%)

prune6.0ms (0.2%)

regimes38.0ms (1%)

regimes31.0ms (0.8%)

regimes66.0ms (1.7%)

regimes17.0ms (0.4%)

regimes15.0ms (0.4%)

regimes21.0ms (0.6%)

regimes12.0ms (0.3%)

regimes7.0ms (0.2%)

bsearch34.0ms (0.9%)

bsearch34.0ms (0.9%)

bsearch27.0ms (0.7%)

bsearch26.0ms (0.7%)

simplify10.0ms (0.3%)

soundness835.0ms (21.6%)

end0.0ms (0%)

preprocess134.0ms (3.5%)

Profiling