Metrics for Data.Colour.SRGB:transferFunction from colour-2.3.3

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 10 to 7 computations (30% saved)

Precisions

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

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

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

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

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

sample1.4s (35.1%)

Results

996.0ms	7171×	0	valid
190.0ms	1084×	0	infinite
1.0ms	4×	5	exit
0.0ms	1×	0	valid

Precisions

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

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

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

Operation ival-add, time spent: 69.0ms, 28.0% of total-time

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

Operation backward-pass, time spent: 4.0ms, 2.0% of total-time

Bogosity

preprocess478.0ms (12.1%)

Algorithm

1×	egg-herbie

Rules

1272×	`fma-neg`
1262×	`fma-define`
248×	`distribute-rgt-in`
232×	`unsub-neg`
146×	`distribute-lft-in`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(-.f64 (*.f64 (+.f64 x 1) y) x)`
-	-	`x`
-	-	`(*.f64 (+.f64 x 1) y)`
-	-	`(+.f64 x 1)`
-	-	`y`
-	-	`1`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	24	228
1	56	204
2	152	185
3	693	182
4	1591	176
5	2456	176
6	2748	176
7	2798	176

Stop Event

1×

saturated

Calls

Call 1

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

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

Compiler

Compiled 51 to 32 computations (37.3% saved)

Precisions

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

Operation ival-add, time spent: 9.0ms, 42.0% of total-time

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

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

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

eval1.0ms (0%)

Compiler: Compiled 21 to 11 computations (47.6% saved)

prune2.0ms (0%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 26 to 17 computations (34.6% saved)

localize78.0ms (2%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 48 to 26 computations (45.8% saved)

Precisions

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

Operation ival-add, time spent: 15.0ms, 44.0% of total-time

Operation composed, time spent: 8.0ms, 23.0% of total-time

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

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

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

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

series12.0ms (0.3%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
3.0ms	y	@	-inf	(-.f64 (*.f64 (+.f64 x 1) y) x)
1.0ms	y	@	-inf	(fma.f64 x (+.f64 y -1) y)
1.0ms	x	@	-inf	(fma.f64 x (+.f64 y -1) y)
1.0ms	y	@	0	(-.f64 (*.f64 (+.f64 x 1) y) x)
1.0ms	y	@	inf	(-.f64 (*.f64 (+.f64 x 1) y) x)

rewrite230.0ms (5.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1722×	`prod-diff`
978×	`log1p-expm1-u`
978×	`expm1-log1p-u`
838×	`fma-define`
502×	`fma-neg`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	52
1	187	52
2	2594	51

Stop Event

1×	node limit

Counts

2 → 151

Calls

Call 1

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

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

simplify213.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

864×	`distribute-lft-in`
804×	`distribute-rgt-in`
510×	`unswap-sqr`
504×	`hypot-define`
500×	`associate-+r+`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	321	5908
1	809	5799
2	2671	5799
3	7926	5799

Stop Event

1×	node limit

Counts

199 → 174

Calls

Call 1

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

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

eval75.0ms (1.9%)

Compiler: Compiled 3203 to 1483 computations (53.7% saved)

prune26.0ms (0.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	170	4	174
Fresh	0	0	0
Picked	1	2	3
Done	0	0	0
Total	171	6	177

Accuracy

100.0%

Counts

177 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (+.f64 x 1) y (neg.f64 x))
✓	100.0%	(-.f64 (*.f64 (+.f64 x 1) y) x)
▶	62.6%	(*.f64 y (+.f64 x 1))
▶	63.0%	(*.f64 x (-.f64 y 1))
▶	38.8%	(neg.f64 x)
▶	39.4%	y

Compiler

Compiled 39 to 27 computations (30.8% saved)

localize54.0ms (1.4%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 29 to 16 computations (44.8% saved)

Precisions

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

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

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

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

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

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

series4.0ms (0.1%)

Counts

1 → 12

Calls

6 calls:

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

rewrite68.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

780×	`unpow-prod-down`
436×	`log-prod`
432×	`log1p-expm1-u`
432×	`expm1-log1p-u`
420×	`cbrt-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	104	19
2	1234	19

Stop Event

1×	node limit

Counts

1 → 29

Calls

Call 1

Inputs
(*.f64 x (-.f64 y 1))

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

simplify75.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1432×	`log-prod`
1190×	`fma-neg`
722×	`associate-r`
636×	`associate-l`
466×	`exp-sum`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	90	1014
1	209	978
2	596	978
3	3676	978
4	6489	978

Stop Event

1×	node limit

Counts

41 → 43

Calls

Call 1

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

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

eval18.0ms (0.5%)

Compiler: Compiled 427 to 302 computations (29.3% saved)

prune8.0ms (0.2%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	41	2	43
Fresh	0	0	0
Picked	0	4	4
Done	1	1	2
Total	42	7	49

Accuracy

100.0%

Counts

49 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	63.0%	(fma.f64 y x (*.f64 -1 x))
✓	100.0%	(-.f64 (*.f64 (+.f64 x 1) y) x)
✓	62.6%	(*.f64 y (+.f64 x 1))
✓	63.0%	(*.f64 x (-.f64 y 1))
▶	26.0%	(*.f64 x y)
✓	38.8%	(neg.f64 x)
✓	39.4%	y

Compiler

Compiled 43 to 29 computations (32.6% saved)

localize36.0ms (0.9%)

Compiler: Compiled 20 to 10 computations (50% saved)
Precisions: Click to see histograms. Total time spent on operations: 13.0ms
Operation ival-mult, time spent: 7.0ms, 55.0% of total-time
Operation composed, time spent: 4.0ms, 31.0% of total-time
Operation const, time spent: 1.0ms, 8.0% of total-time
Operation ival-add, time spent: 1.0ms, 8.0% of total-time

eval0.0ms (0%)

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

prune4.0ms (0.1%)

Pruning

7 alts after pruning (0 fresh and 7 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	2	2
Done	5	5
Total	7	7

Accuracy

100.0%

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	63.0%	(fma.f64 y x (*.f64 -1 x))
✓	100.0%	(-.f64 (*.f64 (+.f64 x 1) y) x)
✓	62.6%	(*.f64 y (+.f64 x 1))
✓	63.0%	(*.f64 x (-.f64 y 1))
✓	26.0%	(*.f64 x y)
✓	38.8%	(neg.f64 x)
✓	39.4%	y

Compiler

Compiled 87 to 52 computations (40.2% saved)

regimes19.0ms (0.5%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

3 calls:

7.0ms	(-.f64 (*.f64 (+.f64 x 1) y) x)
6.0ms	y
6.0ms	x

Results

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

Compiler

Compiled 15 to 10 computations (33.3% saved)

regimes19.0ms (0.5%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

3 calls:

7.0ms	x
6.0ms	(-.f64 (*.f64 (+.f64 x 1) y) x)
6.0ms	y

Results

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

Compiler

Compiled 15 to 10 computations (33.3% saved)

regimes105.0ms (2.6%)

Counts

5 → 3

Calls

Call 1

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

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

Calls

2 calls:

91.0ms	x
13.0ms	y

Results

Accuracy	Segments	Branch
89.5%	3	`x`
88.9%	3	`y`

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes12.0ms (0.3%)

Counts

4 → 3

Calls

Call 1

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

Outputs
(*.f64 x (-.f64 y 1))
y
(*.f64 x (-.f64 y 1))

Calls

1 calls:

11.0ms

Results

Accuracy	Segments	Branch
89.3%	3	`x`

Compiler

Compiled 3 to 2 computations (33.3% saved)

regimes91.0ms (2.3%)

Counts

3 → 6

Calls

Call 1

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

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

Calls

2 calls:

67.0ms	y
24.0ms	x

Results

Accuracy	Segments	Branch
73.1%	8	`y`
72.6%	6	`x`

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes18.0ms (0.5%)

Counts

2 → 3

Calls

Call 1

Inputs
y
(neg.f64 x)

Outputs
y
(neg.f64 x)
y

Calls

2 calls:

9.0ms	y
9.0ms	x

Results

Accuracy	Segments	Branch
65.8%	3	`y`
65.1%	3	`x`

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes6.0ms (0.1%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
y

Outputs
y

Calls

2 calls:

3.0ms	y
3.0ms	x

Results

Accuracy	Segments	Branch
39.4%	1	`x`
39.4%	1	`y`

Compiler

Compiled 6 to 4 computations (33.3% saved)

bsearch31.0ms (0.8%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	4.175196392548787e-98	3.78146981418993e-94
15.0ms	-1467944.5779632353	-315.61316230800895

Results

26.0ms	255×	0	valid
0.0ms	1×	0	valid

Compiler

Compiled 270 to 202 computations (25.2% saved)

Precisions

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

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

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

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

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

Operation backward-pass, time spent: 0.0ms, 0.0% of total-time

bsearch32.0ms (0.8%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	4.175196392548787e-98	3.78146981418993e-94
16.0ms	-8.620515059245226e-16	-2.3136514315548688e-18

Results

27.0ms	255×	0	valid
0.0ms	1×	0	valid

Compiler

Compiled 206 to 154 computations (25.2% saved)

Precisions

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

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

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

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

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

Operation backward-pass, time spent: 0.0ms, 0.0% of total-time

bsearch81.0ms (2.1%)

Algorithm

5×	binary-search

Stop Event

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

Steps

Time	Left	Right
21.0ms	3.925307095359742e-18	6.72133928598444e+19
14.0ms	4.175196392548787e-98	3.78146981418993e-94
16.0ms	-8.620515059245226e-16	-2.3136514315548688e-18
15.0ms	-1.0718747868622233e+68	-1.5476285208108072e+65
15.0ms	-7.525313347219763e+216	-9.663917925569171e+212

Results

64.0ms	631×	valid
5.0ms	56×	infinite
0.0ms	1×	valid

Compiler

Compiled 455 to 338 computations (25.7% saved)

Precisions

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

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

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

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

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

Operation backward-pass, time spent: 0.0ms, 0.0% of total-time

bsearch34.0ms (0.8%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
19.0ms	2.0599598027885805e-135	1.8672830108939867e-124
15.0ms	-7.078240074771279e-34	-1.0794814840562974e-36

Results

29.0ms	287×	0	valid
0.0ms	1×	0	valid

Compiler

Compiled 176 to 136 computations (22.7% saved)

Precisions

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

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

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

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

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

Operation backward-pass, time spent: 0.0ms, 0.0% of total-time

simplify13.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

12×	`unsub-neg`
12×	`*-commutative`
10×	`neg-mul-1`
10×	`+-commutative`
8×	`sub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	55	337
1	82	337
2	88	337
3	94	337
4	101	337
5	112	337

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(if (<=.f64 x -620) (.f64 x (-.f64 y 1)) (if (<=.f64 x 3475843022505273/9394170331095332911557922387157348109502730195633279482829163886128836100458433773854795993539074812127739904) (.f64 y (+.f64 x 1)) (*.f64 x (-.f64 y 1))))
(if (<=.f64 x -2535301200456459/5070602400912917605986812821504) (.f64 x (-.f64 y 1)) (if (<=.f64 x 6012269011901013/37576681324381331646231689548629392438010920782533117931316655544515344401833735095419183974156299248510959616) y (.f64 x (-.f64 y 1))))
(if (<=.f64 x -25999999999999999293966867380244796479203821804008471107706555021699767124676642961256812322039703498971344803736659550269088173942107609545301827989586065453837292975396762577042499038181700925430599604439831543808) (neg.f64 x) (if (<=.f64 x -75000000000000005439857728614692634461878080723489146663865761660928) (.f64 x y) (if (<=.f64 x -215500602038799/633825300114114700748351602688) (neg.f64 x) (if (<=.f64 x 211368832449645/587135645693458306972370149197334256843920637227079967676822742883052256278652110865924749596192175757983744) y (if (<=.f64 x 30000000000) (neg.f64 x) (.f64 x y))))))
(if (<=.f64 y -5612166287350667/93536104789177786765035829293842113257979682750464) y (if (<=.f64 y 781199283221165/95268205270873786358080970147496530326800480428008152797215483387004752771599292606210513399154418065180265231976520474104247304665780191232) (neg.f64 x) y))
y

Outputs
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(if (<=.f64 x -620) (.f64 x (-.f64 y 1)) (if (<=.f64 x 3475843022505273/9394170331095332911557922387157348109502730195633279482829163886128836100458433773854795993539074812127739904) (.f64 y (+.f64 x 1)) (*.f64 x (-.f64 y 1))))
(if (or (<=.f64 x -620) (not (<=.f64 x 3475843022505273/9394170331095332911557922387157348109502730195633279482829163886128836100458433773854795993539074812127739904))) (.f64 x (-.f64 y 1)) (.f64 (+.f64 x 1) y))
(if (or (<=.f64 x -620) (not (<=.f64 x 3475843022505273/9394170331095332911557922387157348109502730195633279482829163886128836100458433773854795993539074812127739904))) (.f64 x (+.f64 y -1)) (.f64 (+.f64 x 1) y))
(if (<=.f64 x -2535301200456459/5070602400912917605986812821504) (.f64 x (-.f64 y 1)) (if (<=.f64 x 6012269011901013/37576681324381331646231689548629392438010920782533117931316655544515344401833735095419183974156299248510959616) y (.f64 x (-.f64 y 1))))
(if (or (<=.f64 x -2535301200456459/5070602400912917605986812821504) (not (<=.f64 x 6012269011901013/37576681324381331646231689548629392438010920782533117931316655544515344401833735095419183974156299248510959616))) (*.f64 x (-.f64 y 1)) y)
(if (or (<=.f64 x -2535301200456459/5070602400912917605986812821504) (not (<=.f64 x 6012269011901013/37576681324381331646231689548629392438010920782533117931316655544515344401833735095419183974156299248510959616))) (*.f64 x (+.f64 y -1)) y)
(if (<=.f64 x -25999999999999999293966867380244796479203821804008471107706555021699767124676642961256812322039703498971344803736659550269088173942107609545301827989586065453837292975396762577042499038181700925430599604439831543808) (neg.f64 x) (if (<=.f64 x -75000000000000005439857728614692634461878080723489146663865761660928) (.f64 x y) (if (<=.f64 x -215500602038799/633825300114114700748351602688) (neg.f64 x) (if (<=.f64 x 211368832449645/587135645693458306972370149197334256843920637227079967676822742883052256278652110865924749596192175757983744) y (if (<=.f64 x 30000000000) (neg.f64 x) (.f64 x y))))))
(if (<=.f64 y -5612166287350667/93536104789177786765035829293842113257979682750464) y (if (<=.f64 y 781199283221165/95268205270873786358080970147496530326800480428008152797215483387004752771599292606210513399154418065180265231976520474104247304665780191232) (neg.f64 x) y))
y

Compiler

Compiled 108 to 69 computations (36.1% saved)

soundness665.0ms (16.8%)

Rules

1272×	`fma-neg`
1262×	`fma-define`
864×	`distribute-lft-in`
864×	`distribute-lft-in`
804×	`distribute-rgt-in`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	24	228
1	56	204
2	152	185
3	693	182
4	1591	176
5	2456	176
6	2748	176
7	2798	176
0	321	5908
1	809	5799
2	2671	5799
3	7926	5799
0	321	5908
1	809	5799
2	2671	5799
3	7926	5799

Stop Event

1×	node limit
1×	node limit
1×	saturated

Compiler

Compiled 35 to 23 computations (34.3% saved)

end0.0ms (0%)

preprocess64.0ms (1.6%)

Compiler: Compiled 210 to 122 computations (41.9% saved)

analyze0.0ms (0%)

sample1.4s (35.1%)

preprocess478.0ms (12.1%)

eval1.0ms (0%)

prune2.0ms (0%)

localize78.0ms (2%)

series12.0ms (0.3%)

rewrite230.0ms (5.8%)

simplify213.0ms (5.4%)

eval75.0ms (1.9%)

prune26.0ms (0.6%)

localize54.0ms (1.4%)

series4.0ms (0.1%)

rewrite68.0ms (1.7%)

simplify75.0ms (1.9%)

eval18.0ms (0.5%)

prune8.0ms (0.2%)

localize36.0ms (0.9%)

eval0.0ms (0%)

prune4.0ms (0.1%)

regimes19.0ms (0.5%)

regimes19.0ms (0.5%)

regimes105.0ms (2.6%)

regimes12.0ms (0.3%)

regimes91.0ms (2.3%)

regimes18.0ms (0.5%)

regimes6.0ms (0.1%)

bsearch31.0ms (0.8%)

bsearch32.0ms (0.8%)

bsearch81.0ms (2.1%)

bsearch34.0ms (0.8%)

simplify13.0ms (0.3%)

soundness665.0ms (16.8%)

end0.0ms (0%)

preprocess64.0ms (1.6%)

Profiling