Metrics for System.Random.MWC.Distributions:standard from mwc-random-0.13.3.2

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)

sample721.0ms (23.9%)

Results

530.0ms	6257×	256	valid
155.0ms	1999×	256	infinite

Bogosity

preprocess237.0ms (7.8%)

Algorithm

1×	egg-herbie

Rules

962×	`fma-def`
200×	`unsub-neg`
120×	`associate-r`
110×	`distribute-lft-in`
106×	`distribute-rgt-in`

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
1	-	-	`(.f64 1/2 (-.f64 (.f64 x x) y))`
0	-	-	`1/2`
0	-	-	`x`
0	-	-	`(*.f64 x x)`
0	-	-	`(-.f64 (*.f64 x x) y)`
0	-	-	`y`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	204
1	59	188
2	145	188
3	449	188
4	894	188
5	1330	188
6	1421	188
7	1441	188

Stop Event

1×

saturated

Calls

Call 1

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

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

Symmetry

(abs x)

Compiler

Compiled 51 to 22 computations (56.9% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.7%	(.f64 1/2 (-.f64 (.f64 x x) y))

Compiler

Compiled 9 to 6 computations (33.3% saved)

localize30.0ms (1%)

Localize:

Found 2 expressions with local error:

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

Compiler

Compiled 21 to 8 computations (61.9% saved)

series3.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite286.0ms (9.4%)

Algorithm

1×	batch-egg-rewrite

Rules

830×	`unpow-prod-down`
822×	`prod-diff`
554×	`log1p-expm1-u`
554×	`expm1-log1p-u`
546×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	44
1	120	44
2	1523	44

Stop Event

1×	node limit

Counts

2 → 128

Calls

Call 1

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

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

simplify171.0ms (5.7%)

Algorithm

1×	egg-herbie

Rules

1840×	`hypot-def`
778×	`associate-+l+`
744×	`unswap-sqr`
696×	`associate-+r+`
432×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	275	4930
1	631	4654
2	1928	4640
3	7210	4640

Stop Event

1×	node limit

Counts

176 → 155

Calls

Call 1

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

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

eval177.0ms (5.9%)

Compiler: Compiled 2167 to 1412 computations (34.8% saved)

prune21.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	153	2	155
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	153	3	156

Accuracy

99.7%

Counts

156 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.7%	(*.f64 1/2 (fma.f64 x x (neg.f64 y)))
✓	99.7%	(.f64 1/2 (-.f64 (.f64 x x) y))
▶	54.5%	(*.f64 -1/2 y)

Compiler

Compiled 23 to 16 computations (30.4% saved)

localize69.0ms (2.3%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	99.7%	(*.f64 1/2 (fma.f64 x x (neg.f64 y)))

Compiler

Compiled 25 to 11 computations (56% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	-inf	(*.f64 1/2 (fma.f64 x x (neg.f64 y)))
0.0ms	x	@	0	(*.f64 1/2 (fma.f64 x x (neg.f64 y)))
0.0ms	x	@	inf	(*.f64 1/2 (fma.f64 x x (neg.f64 y)))
0.0ms	y	@	0	(*.f64 1/2 (fma.f64 x x (neg.f64 y)))
0.0ms	y	@	inf	(*.f64 1/2 (fma.f64 x x (neg.f64 y)))

rewrite65.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

602×	`unpow-prod-down`
416×	`cbrt-prod`
416×	`log-prod`
370×	`log1p-expm1-u`
370×	`expm1-log1p-u`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	28
1	110	24
2	1257	24

Stop Event

1×	node limit

Counts

1 → 25

Calls

Call 1

Inputs
(*.f64 1/2 (fma.f64 x x (neg.f64 y)))

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

simplify82.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1630×	`fma-def`
808×	`exp-sum`
786×	`log-prod`
710×	`fma-neg`
594×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	87	1398
1	177	1398
2	370	1390
3	853	1390
4	2465	1390
5	6364	1390

Stop Event

1×	node limit

Counts

49 → 35

Calls

Call 1

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

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

eval7.0ms (0.2%)

Compiler: Compiled 338 to 192 computations (43.2% saved)

prune14.0ms (0.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	34	1	35
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	34	4	38

Accuracy

100.0%

Counts

38 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	24.9%	(pow.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)) 2)
✓	99.7%	(*.f64 1/2 (fma.f64 x x (neg.f64 y)))
✓	99.7%	(.f64 1/2 (-.f64 (.f64 x x) y))
✓	54.5%	(*.f64 -1/2 y)

Compiler

Compiled 34 to 25 computations (26.5% saved)

localize140.0ms (4.6%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	100.0%	(hypot.f64 x (sqrt.f64 y))
✓	99.7%	(*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))
✓	99.6%	(pow.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)) 2)

Compiler

Compiled 31 to 17 computations (45.2% saved)

series24.0ms (0.8%)

Counts

3 → 39

Calls

18 calls:

Time	Variable		Point	Expression
5.0ms	y	@	-inf	(pow.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)) 2)
3.0ms	x	@	0	(pow.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)) 2)
3.0ms	y	@	inf	(pow.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)) 2)
3.0ms	y	@	-inf	(*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))
1.0ms	y	@	-inf	(hypot.f64 x (sqrt.f64 y))

rewrite117.0ms (3.9%)

Algorithm

1×	batch-egg-rewrite

Rules

958×	`unpow-prod-down`
634×	`log-prod`
541×	`log1p-expm1-u`
541×	`expm1-log1p-u`
534×	`prod-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	77
1	153	68
2	1644	68

Stop Event

1×	node limit

Counts

3 → 128

Calls

Call 1

Inputs
(pow.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)) 2)
(*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))
(hypot.f64 x (sqrt.f64 y))

Outputs
(+.f64 0 (*.f64 1/2 (fma.f64 x x y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (fma.f64 x x y)))) 2)) (log.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (fma.f64 x x y))))))
(+.f64 (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (fma.f64 x x y))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (fma.f64 x x y))))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/2 (fma.f64 x x y)))) 1)
(.f64 (hypot.f64 x (sqrt.f64 y)) (pow.f64 (.f64 1/2 (*.f64 1/2 (fma.f64 x x y))) 1/2))
(.f64 (hypot.f64 x (sqrt.f64 y)) (pow.f64 (pow.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) 1/2) 1/2) 2))
(*.f64 1/2 (fma.f64 x x y))
(.f64 (sqrt.f64 1/2) (.f64 (hypot.f64 x (sqrt.f64 y)) (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))))
(.f64 (sqrt.f64 1/2) (pow.f64 (.f64 (pow.f64 1/2 1/4) (hypot.f64 x (sqrt.f64 y))) 2))
(.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)) (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)))
(.f64 (.f64 1/2 (fma.f64 x x y)) 1)
(.f64 (.f64 1/2 (fma.f64 x x y)) (log.f64 (exp.f64 1)))
(*.f64 (fma.f64 x x y) 1/2)
(*.f64 (fma.f64 x x y) (pow.f64 (cbrt.f64 1/2) 3))
(.f64 1 (.f64 1/2 (fma.f64 x x y)))
(.f64 (cbrt.f64 (.f64 1/2 (fma.f64 x x y))) (cbrt.f64 (*.f64 1/4 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 4))))
(.f64 (cbrt.f64 (.f64 1/4 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 4))) (cbrt.f64 (*.f64 1/2 (fma.f64 x x y))))
(.f64 (pow.f64 (.f64 1/2 (fma.f64 x x y)) 1/4) (pow.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)) 3/2))
(.f64 (pow.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y))) 4) (pow.f64 (.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y))) (sqrt.f64 1/2)) 2))
(.f64 (pow.f64 (cbrt.f64 1/2) 2) (pow.f64 (.f64 (pow.f64 1/2 1/6) (hypot.f64 x (sqrt.f64 y))) 2))
(.f64 (pow.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)) 3/2) (pow.f64 (*.f64 1/2 (fma.f64 x x y)) 1/4))
(.f64 (.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)) (hypot.f64 x (sqrt.f64 y))) (sqrt.f64 1/2))
(.f64 (pow.f64 (.f64 (*.f64 1/2 (fma.f64 x x y)) 1/2) 1/2) (hypot.f64 x (sqrt.f64 y)))
(.f64 (pow.f64 (.f64 1/2 (fma.f64 x x y)) 5/6) (pow.f64 (*.f64 1/2 (fma.f64 x x y)) 1/6))
(.f64 (pow.f64 1 1/3) (.f64 1/2 (fma.f64 x x y)))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 1/2 (fma.f64 x x y)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 1/2 (fma.f64 x x y)))) 3))
(.f64 (pow.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (cbrt.f64 1/2)) 2) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (pow.f64 1/2 1/4)) 2) (sqrt.f64 1/2))
(.f64 (pow.f64 (.f64 (sqrt.f64 1/2) (cbrt.f64 (fma.f64 x x y))) 2) (cbrt.f64 (fma.f64 x x y)))
(.f64 (pow.f64 (pow.f64 (.f64 1/2 (hypot.f64 x (sqrt.f64 y))) 1/2) 2) (hypot.f64 x (sqrt.f64 y)))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 1/2 (fma.f64 x x y)))) 2) 3) (cbrt.f64 (*.f64 1/2 (fma.f64 x x y))))
(.f64 (pow.f64 (sqrt.f64 (.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 6) 1/8)) 1/3) (pow.f64 (sqrt.f64 (*.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 6) 1/8)) 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 1/2 (fma.f64 x x y)) 5/2) 1/3) (pow.f64 (*.f64 1/2 (fma.f64 x x y)) 1/6))
(.f64 (pow.f64 (pow.f64 (.f64 (*.f64 1/2 (fma.f64 x x y)) (hypot.f64 x (sqrt.f64 y))) 2) 1/3) (cbrt.f64 1/2))
(.f64 (pow.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 1/2 (fma.f64 x x y))) 4) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 1/2 (fma.f64 x x y)))))
(sqrt.f64 (*.f64 1/4 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 4)))
(log.f64 (sqrt.f64 (exp.f64 (fma.f64 x x y))))
(cbrt.f64 (*.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 6) 1/8))
(expm1.f64 (log1p.f64 (*.f64 1/2 (fma.f64 x x y))))
(exp.f64 (log.f64 (*.f64 1/2 (fma.f64 x x y))))
(exp.f64 (.f64 (log.f64 (.f64 1/2 (fma.f64 x x y))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))) 1) 2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 1/2 (fma.f64 x x y))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 1/2 (fma.f64 x x y)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 6) 1/8)) 1/3))
(exp.f64 (+.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))) (.f64 (log.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))) 1) (log.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))) 1) (.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))) 1)))
(log1p.f64 (expm1.f64 (*.f64 1/2 (fma.f64 x x y))))
(+.f64 0 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) (hypot.f64 x (sqrt.f64 y)))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) (hypot.f64 x (sqrt.f64 y))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) (hypot.f64 x (sqrt.f64 y))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) (hypot.f64 x (sqrt.f64 y))))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)))) 1)
(pow.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)) 1)
(pow.f64 (*.f64 1/2 (fma.f64 x x y)) 1/2)
(pow.f64 (cbrt.f64 (*.f64 1/2 (fma.f64 x x y))) 3/2)
(pow.f64 (pow.f64 (*.f64 1/2 (fma.f64 x x y)) 1/6) 3)
(pow.f64 (*.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 6) 1/8) 1/6)
(pow.f64 (pow.f64 (*.f64 1/2 (fma.f64 x x y)) 3/2) 1/3)
(pow.f64 (pow.f64 (*.f64 1/2 (fma.f64 x x y)) 1/4) 2)
(pow.f64 (exp.f64 1) (log.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)))) 2)) (cbrt.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))))) (sqrt.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)))))
(sqrt.f64 (*.f64 1/2 (fma.f64 x x y)))
(fabs.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) (hypot.f64 x (sqrt.f64 y))))
(cbrt.f64 (pow.f64 (*.f64 1/2 (fma.f64 x x y)) 3/2))
(expm1.f64 (log1p.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))))
(exp.f64 (log.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))))
(exp.f64 (.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))) 1) 1))
(exp.f64 (.f64 (log.f64 (.f64 1/2 (fma.f64 x x y))) 1/2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 1/2 (fma.f64 x x y))) 1) 1/2))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 1/2 (fma.f64 x x y)) 1/6)) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 1/2 (fma.f64 x x y)) 3/2)) 1/3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 1/2 (fma.f64 x x y)) 1/4)) 2))
(exp.f64 (+.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) (*.f64 (log.f64 (sqrt.f64 1/2)) 1)))
(exp.f64 (+.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) (*.f64 (log.f64 1/2) 1/2)))
(exp.f64 (+.f64 (*.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 1) (log.f64 (sqrt.f64 1/2))))
(exp.f64 (+.f64 (.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 1) (.f64 (log.f64 (sqrt.f64 1/2)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 1) (.f64 (log.f64 1/2) 1/2)))
(exp.f64 (+.f64 (log.f64 (sqrt.f64 1/2)) (*.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 1/2)) 1) (log.f64 (hypot.f64 x (sqrt.f64 y)))))
(exp.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 1/2)) 1) (.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 1/2) 1/2) (log.f64 (hypot.f64 x (sqrt.f64 y)))))
(exp.f64 (+.f64 (.f64 (log.f64 1/2) 1/2) (.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 1)))
(log1p.f64 (expm1.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))))
(+.f64 0 (hypot.f64 x (sqrt.f64 y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (hypot.f64 x (sqrt.f64 y)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (hypot.f64 x (sqrt.f64 y))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (hypot.f64 x (sqrt.f64 y))))) (log.f64 (sqrt.f64 (exp.f64 (hypot.f64 x (sqrt.f64 y))))))
(-.f64 (exp.f64 (log1p.f64 (hypot.f64 x (sqrt.f64 y)))) 1)
(*.f64 (hypot.f64 x (sqrt.f64 y)) 1)
(*.f64 (hypot.f64 x (sqrt.f64 y)) (log.f64 (exp.f64 1)))
(*.f64 1 (hypot.f64 x (sqrt.f64 y)))
(*.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y))) (cbrt.f64 (fma.f64 x x y)))
(*.f64 (cbrt.f64 (fma.f64 x x y)) (cbrt.f64 (hypot.f64 x (sqrt.f64 y))))
(*.f64 (sqrt.f64 (hypot.f64 x (sqrt.f64 y))) (sqrt.f64 (hypot.f64 x (sqrt.f64 y))))
(*.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x x y))) (pow.f64 (pow.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y))) 4) 1/2))
(*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x (sqrt.f64 y)))) (pow.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 3/2) 1/2))
(*.f64 (pow.f64 1 1/3) (hypot.f64 x (sqrt.f64 y)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y))) 4) 1/2) (sqrt.f64 (cbrt.f64 (fma.f64 x x y))))
(*.f64 (pow.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 3/2) 1/2) (sqrt.f64 (sqrt.f64 (hypot.f64 x (sqrt.f64 y)))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y))) 5) 1/2) (sqrt.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y)))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y)))) 2) 3) (cbrt.f64 (hypot.f64 x (sqrt.f64 y))))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y)))) 3))
(.f64 (pow.f64 (.f64 (fma.f64 x x y) (cbrt.f64 (fma.f64 x x y))) 1/3) (cbrt.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y)))))
(*.f64 (pow.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (hypot.f64 x (sqrt.f64 y)))))
(pow.f64 (hypot.f64 x (sqrt.f64 y)) 1)
(pow.f64 (fma.f64 x x y) 1/2)
(pow.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y))) 3)
(pow.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 3) 1/3)
(pow.f64 (sqrt.f64 (hypot.f64 x (sqrt.f64 y))) 2)
(pow.f64 (exp.f64 1) (log.f64 (hypot.f64 x (sqrt.f64 y))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (hypot.f64 x (sqrt.f64 y)))) 2)) (cbrt.f64 (log.f64 (hypot.f64 x (sqrt.f64 y)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))))) (sqrt.f64 (log.f64 (hypot.f64 x (sqrt.f64 y)))))
(sqrt.f64 (fma.f64 x x y))
(log.f64 (exp.f64 (hypot.f64 x (sqrt.f64 y))))
(cbrt.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 3))
(expm1.f64 (log1p.f64 (hypot.f64 x (sqrt.f64 y))))
(exp.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))))
(exp.f64 (*.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 1) 1))
(exp.f64 (*.f64 (log.f64 (fma.f64 x x y)) 1/2))
(exp.f64 (.f64 (.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 2) 1/2))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y)))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 3)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (hypot.f64 x (sqrt.f64 y)))) 2))
(log1p.f64 (expm1.f64 (hypot.f64 x (sqrt.f64 y))))

simplify109.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1040×	`times-frac`
888×	`associate-+r+`
822×	`associate-+l+`
572×	`associate-r`
542×	`sqr-pow`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	452	6617
1	1129	6016
2	3789	5996

Stop Event

1×	node limit

Counts

167 → 248

Calls

Call 1

Inputs
(*.f64 y (pow.f64 (sqrt.f64 1/2) 2))
(+.f64 (.f64 y (pow.f64 (sqrt.f64 1/2) 2)) (.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2)))
(+.f64 (.f64 y (pow.f64 (sqrt.f64 1/2) 2)) (+.f64 (.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2)) (.f64 (pow.f64 x 4) (+.f64 (.f64 -1/4 (/.f64 (pow.f64 (sqrt.f64 1/2) 2) y)) (*.f64 1/4 (/.f64 (pow.f64 (sqrt.f64 1/2) 2) y))))))
(+.f64 (.f64 y (pow.f64 (sqrt.f64 1/2) 2)) (+.f64 (.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2)) (+.f64 (.f64 (pow.f64 x 4) (+.f64 (.f64 -1/4 (/.f64 (pow.f64 (sqrt.f64 1/2) 2) y)) (.f64 1/4 (/.f64 (pow.f64 (sqrt.f64 1/2) 2) y)))) (.f64 (pow.f64 x 6) (+.f64 (.f64 -1/8 (/.f64 (pow.f64 (sqrt.f64 1/2) 2) (pow.f64 y 2))) (.f64 1/8 (/.f64 (pow.f64 (sqrt.f64 1/2) 2) (pow.f64 y 2))))))))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(+.f64 (.f64 y (pow.f64 (sqrt.f64 1/2) 2)) (.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2)))
(+.f64 (.f64 -1/4 (/.f64 (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 1/2) 2)) (pow.f64 x 2))) (+.f64 (.f64 1/4 (/.f64 (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 1/2) 2)) (pow.f64 x 2))) (+.f64 (.f64 y (pow.f64 (sqrt.f64 1/2) 2)) (.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2)))))
(+.f64 (.f64 -1/4 (/.f64 (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 1/2) 2)) (pow.f64 x 2))) (+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 y 3) (pow.f64 (sqrt.f64 1/2) 2)) (pow.f64 x 4))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 y 3) (pow.f64 (sqrt.f64 1/2) 2)) (pow.f64 x 4))) (+.f64 (.f64 1/4 (/.f64 (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 1/2) 2)) (pow.f64 x 2))) (+.f64 (.f64 y (pow.f64 (sqrt.f64 1/2) 2)) (.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2)))))))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(+.f64 (.f64 y (pow.f64 (sqrt.f64 1/2) 2)) (.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2)))
(+.f64 (.f64 -1/4 (/.f64 (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 1/2) 2)) (pow.f64 x 2))) (+.f64 (.f64 1/4 (/.f64 (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 1/2) 2)) (pow.f64 x 2))) (+.f64 (.f64 y (pow.f64 (sqrt.f64 1/2) 2)) (.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2)))))
(+.f64 (.f64 -1/4 (/.f64 (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 1/2) 2)) (pow.f64 x 2))) (+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 y 3) (pow.f64 (sqrt.f64 1/2) 2)) (pow.f64 x 4))) (+.f64 (.f64 1/8 (/.f64 (.f64 (pow.f64 y 3) (pow.f64 (sqrt.f64 1/2) 2)) (pow.f64 x 4))) (+.f64 (.f64 1/4 (/.f64 (.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 1/2) 2)) (pow.f64 x 2))) (+.f64 (.f64 y (pow.f64 (sqrt.f64 1/2) 2)) (.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2)))))))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 (sqrt.f64 y) (sqrt.f64 1/2))
(+.f64 (.f64 1/2 (.f64 (.f64 (pow.f64 x 2) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 y)))) (.f64 (sqrt.f64 y) (sqrt.f64 1/2)))
(+.f64 (.f64 -1/8 (.f64 (.f64 (pow.f64 x 4) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 y 3))))) (+.f64 (.f64 1/2 (.f64 (.f64 (pow.f64 x 2) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 y)))) (*.f64 (sqrt.f64 y) (sqrt.f64 1/2))))
(+.f64 (.f64 -1/8 (.f64 (.f64 (pow.f64 x 4) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 y 3))))) (+.f64 (.f64 1/16 (.f64 (.f64 (pow.f64 x 6) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 (pow.f64 y 5))))) (+.f64 (.f64 1/2 (.f64 (.f64 (pow.f64 x 2) (sqrt.f64 1/2)) (sqrt.f64 (/.f64 1 y)))) (.f64 (sqrt.f64 y) (sqrt.f64 1/2)))))
(*.f64 x (sqrt.f64 1/2))
(+.f64 (.f64 1/2 (/.f64 (.f64 y (sqrt.f64 1/2)) x)) (*.f64 x (sqrt.f64 1/2)))
(+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 y 2) (sqrt.f64 1/2)) (pow.f64 x 3))) (+.f64 (.f64 1/2 (/.f64 (.f64 y (sqrt.f64 1/2)) x)) (*.f64 x (sqrt.f64 1/2))))
(+.f64 (.f64 -1/8 (/.f64 (.f64 (pow.f64 y 2) (sqrt.f64 1/2)) (pow.f64 x 3))) (+.f64 (.f64 1/16 (/.f64 (.f64 (pow.f64 y 3) (sqrt.f64 1/2)) (pow.f64 x 5))) (+.f64 (.f64 1/2 (/.f64 (.f64 y (sqrt.f64 1/2)) x)) (*.f64 x (sqrt.f64 1/2)))))
(.f64 -1 (.f64 x (sqrt.f64 1/2)))
(+.f64 (.f64 -1 (.f64 x (sqrt.f64 1/2))) (.f64 -1/2 (/.f64 (.f64 y (sqrt.f64 1/2)) x)))
(+.f64 (.f64 -1 (.f64 x (sqrt.f64 1/2))) (+.f64 (.f64 -1/2 (/.f64 (.f64 y (sqrt.f64 1/2)) x)) (.f64 1/8 (/.f64 (.f64 (pow.f64 y 2) (sqrt.f64 1/2)) (pow.f64 x 3)))))
(+.f64 (.f64 -1 (.f64 x (sqrt.f64 1/2))) (+.f64 (.f64 -1/2 (/.f64 (.f64 y (sqrt.f64 1/2)) x)) (+.f64 (.f64 -1/16 (/.f64 (.f64 (pow.f64 y 3) (sqrt.f64 1/2)) (pow.f64 x 5))) (.f64 1/8 (/.f64 (.f64 (pow.f64 y 2) (sqrt.f64 1/2)) (pow.f64 x 3))))))
(*.f64 x (sqrt.f64 1/2))
(sqrt.f64 y)
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (pow.f64 x 2) (sqrt.f64 (/.f64 1 y)))))
(+.f64 (sqrt.f64 y) (+.f64 (.f64 -1/8 (.f64 (pow.f64 x 4) (sqrt.f64 (/.f64 1 (pow.f64 y 3))))) (.f64 1/2 (.f64 (pow.f64 x 2) (sqrt.f64 (/.f64 1 y))))))
(+.f64 (sqrt.f64 y) (+.f64 (.f64 -1/8 (.f64 (pow.f64 x 4) (sqrt.f64 (/.f64 1 (pow.f64 y 3))))) (+.f64 (.f64 1/16 (.f64 (pow.f64 x 6) (sqrt.f64 (/.f64 1 (pow.f64 y 5))))) (.f64 1/2 (.f64 (pow.f64 x 2) (sqrt.f64 (/.f64 1 y)))))))
x
(+.f64 x (*.f64 1/2 (/.f64 y x)))
(+.f64 x (+.f64 (.f64 -1/8 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (.f64 1/2 (/.f64 y x))))
(+.f64 x (+.f64 (.f64 -1/8 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (+.f64 (.f64 1/16 (/.f64 (pow.f64 y 3) (pow.f64 x 5))) (*.f64 1/2 (/.f64 y x)))))
(*.f64 -1 x)
(+.f64 (.f64 -1 x) (.f64 -1/2 (/.f64 y x)))
(+.f64 (.f64 -1 x) (+.f64 (.f64 -1/2 (/.f64 y x)) (*.f64 1/8 (/.f64 (pow.f64 y 2) (pow.f64 x 3)))))
(+.f64 (.f64 -1 x) (+.f64 (.f64 -1/2 (/.f64 y x)) (+.f64 (.f64 -1/16 (/.f64 (pow.f64 y 3) (pow.f64 x 5))) (.f64 1/8 (/.f64 (pow.f64 y 2) (pow.f64 x 3))))))
x
(+.f64 0 (*.f64 1/2 (fma.f64 x x y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (fma.f64 x x y)))) 2)) (log.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (fma.f64 x x y))))))
(+.f64 (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (fma.f64 x x y))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (fma.f64 x x y))))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/2 (fma.f64 x x y)))) 1)
(.f64 (hypot.f64 x (sqrt.f64 y)) (pow.f64 (.f64 1/2 (*.f64 1/2 (fma.f64 x x y))) 1/2))
(.f64 (hypot.f64 x (sqrt.f64 y)) (pow.f64 (pow.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) 1/2) 1/2) 2))
(*.f64 1/2 (fma.f64 x x y))
(.f64 (sqrt.f64 1/2) (.f64 (hypot.f64 x (sqrt.f64 y)) (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))))
(.f64 (sqrt.f64 1/2) (pow.f64 (.f64 (pow.f64 1/2 1/4) (hypot.f64 x (sqrt.f64 y))) 2))
(.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)) (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)))
(.f64 (.f64 1/2 (fma.f64 x x y)) 1)
(.f64 (.f64 1/2 (fma.f64 x x y)) (log.f64 (exp.f64 1)))
(*.f64 (fma.f64 x x y) 1/2)
(*.f64 (fma.f64 x x y) (pow.f64 (cbrt.f64 1/2) 3))
(.f64 1 (.f64 1/2 (fma.f64 x x y)))
(.f64 (cbrt.f64 (.f64 1/2 (fma.f64 x x y))) (cbrt.f64 (*.f64 1/4 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 4))))
(.f64 (cbrt.f64 (.f64 1/4 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 4))) (cbrt.f64 (*.f64 1/2 (fma.f64 x x y))))
(.f64 (pow.f64 (.f64 1/2 (fma.f64 x x y)) 1/4) (pow.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)) 3/2))
(.f64 (pow.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y))) 4) (pow.f64 (.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y))) (sqrt.f64 1/2)) 2))
(.f64 (pow.f64 (cbrt.f64 1/2) 2) (pow.f64 (.f64 (pow.f64 1/2 1/6) (hypot.f64 x (sqrt.f64 y))) 2))
(.f64 (pow.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)) 3/2) (pow.f64 (*.f64 1/2 (fma.f64 x x y)) 1/4))
(.f64 (.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)) (hypot.f64 x (sqrt.f64 y))) (sqrt.f64 1/2))
(.f64 (pow.f64 (.f64 (*.f64 1/2 (fma.f64 x x y)) 1/2) 1/2) (hypot.f64 x (sqrt.f64 y)))
(.f64 (pow.f64 (.f64 1/2 (fma.f64 x x y)) 5/6) (pow.f64 (*.f64 1/2 (fma.f64 x x y)) 1/6))
(.f64 (pow.f64 1 1/3) (.f64 1/2 (fma.f64 x x y)))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 1/2 (fma.f64 x x y)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 1/2 (fma.f64 x x y)))) 3))
(.f64 (pow.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (cbrt.f64 1/2)) 2) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (pow.f64 1/2 1/4)) 2) (sqrt.f64 1/2))
(.f64 (pow.f64 (.f64 (sqrt.f64 1/2) (cbrt.f64 (fma.f64 x x y))) 2) (cbrt.f64 (fma.f64 x x y)))
(.f64 (pow.f64 (pow.f64 (.f64 1/2 (hypot.f64 x (sqrt.f64 y))) 1/2) 2) (hypot.f64 x (sqrt.f64 y)))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 1/2 (fma.f64 x x y)))) 2) 3) (cbrt.f64 (*.f64 1/2 (fma.f64 x x y))))
(.f64 (pow.f64 (sqrt.f64 (.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 6) 1/8)) 1/3) (pow.f64 (sqrt.f64 (*.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 6) 1/8)) 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 1/2 (fma.f64 x x y)) 5/2) 1/3) (pow.f64 (*.f64 1/2 (fma.f64 x x y)) 1/6))
(.f64 (pow.f64 (pow.f64 (.f64 (*.f64 1/2 (fma.f64 x x y)) (hypot.f64 x (sqrt.f64 y))) 2) 1/3) (cbrt.f64 1/2))
(.f64 (pow.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 1/2 (fma.f64 x x y))) 4) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 1/2 (fma.f64 x x y)))))
(sqrt.f64 (*.f64 1/4 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 4)))
(log.f64 (sqrt.f64 (exp.f64 (fma.f64 x x y))))
(cbrt.f64 (*.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 6) 1/8))
(expm1.f64 (log1p.f64 (*.f64 1/2 (fma.f64 x x y))))
(exp.f64 (log.f64 (*.f64 1/2 (fma.f64 x x y))))
(exp.f64 (.f64 (log.f64 (.f64 1/2 (fma.f64 x x y))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))) 1) 2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 1/2 (fma.f64 x x y))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 1/2 (fma.f64 x x y)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 6) 1/8)) 1/3))
(exp.f64 (+.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))) (.f64 (log.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))) 1) (log.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)))))
(exp.f64 (+.f64 (.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))) 1) (.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))) 1)))
(log1p.f64 (expm1.f64 (*.f64 1/2 (fma.f64 x x y))))
(+.f64 0 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) (hypot.f64 x (sqrt.f64 y)))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) (hypot.f64 x (sqrt.f64 y))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) (hypot.f64 x (sqrt.f64 y))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) (hypot.f64 x (sqrt.f64 y))))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)))) 1)
(pow.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)) 1)
(pow.f64 (*.f64 1/2 (fma.f64 x x y)) 1/2)
(pow.f64 (cbrt.f64 (*.f64 1/2 (fma.f64 x x y))) 3/2)
(pow.f64 (pow.f64 (*.f64 1/2 (fma.f64 x x y)) 1/6) 3)
(pow.f64 (*.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 6) 1/8) 1/6)
(pow.f64 (pow.f64 (*.f64 1/2 (fma.f64 x x y)) 3/2) 1/3)
(pow.f64 (pow.f64 (*.f64 1/2 (fma.f64 x x y)) 1/4) 2)
(pow.f64 (exp.f64 1) (log.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)))) 2)) (cbrt.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))))) (sqrt.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)))))
(sqrt.f64 (*.f64 1/2 (fma.f64 x x y)))
(fabs.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) (hypot.f64 x (sqrt.f64 y))))
(cbrt.f64 (pow.f64 (*.f64 1/2 (fma.f64 x x y)) 3/2))
(expm1.f64 (log1p.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))))
(exp.f64 (log.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))))
(exp.f64 (.f64 (log.f64 (.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))) 1) 1))
(exp.f64 (.f64 (log.f64 (.f64 1/2 (fma.f64 x x y))) 1/2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 1/2 (fma.f64 x x y))) 1) 1/2))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 1/2 (fma.f64 x x y)) 1/6)) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 1/2 (fma.f64 x x y)) 3/2)) 1/3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 1/2 (fma.f64 x x y)) 1/4)) 2))
(exp.f64 (+.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) (*.f64 (log.f64 (sqrt.f64 1/2)) 1)))
(exp.f64 (+.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) (*.f64 (log.f64 1/2) 1/2)))
(exp.f64 (+.f64 (*.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 1) (log.f64 (sqrt.f64 1/2))))
(exp.f64 (+.f64 (.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 1) (.f64 (log.f64 (sqrt.f64 1/2)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 1) (.f64 (log.f64 1/2) 1/2)))
(exp.f64 (+.f64 (log.f64 (sqrt.f64 1/2)) (*.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 1/2)) 1) (log.f64 (hypot.f64 x (sqrt.f64 y)))))
(exp.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 1/2)) 1) (.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 1/2) 1/2) (log.f64 (hypot.f64 x (sqrt.f64 y)))))
(exp.f64 (+.f64 (.f64 (log.f64 1/2) 1/2) (.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 1)))
(log1p.f64 (expm1.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2))))
(+.f64 0 (hypot.f64 x (sqrt.f64 y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (hypot.f64 x (sqrt.f64 y)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (hypot.f64 x (sqrt.f64 y))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (hypot.f64 x (sqrt.f64 y))))) (log.f64 (sqrt.f64 (exp.f64 (hypot.f64 x (sqrt.f64 y))))))
(-.f64 (exp.f64 (log1p.f64 (hypot.f64 x (sqrt.f64 y)))) 1)
(*.f64 (hypot.f64 x (sqrt.f64 y)) 1)
(*.f64 (hypot.f64 x (sqrt.f64 y)) (log.f64 (exp.f64 1)))
(*.f64 1 (hypot.f64 x (sqrt.f64 y)))
(*.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y))) (cbrt.f64 (fma.f64 x x y)))
(*.f64 (cbrt.f64 (fma.f64 x x y)) (cbrt.f64 (hypot.f64 x (sqrt.f64 y))))
(*.f64 (sqrt.f64 (hypot.f64 x (sqrt.f64 y))) (sqrt.f64 (hypot.f64 x (sqrt.f64 y))))
(*.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x x y))) (pow.f64 (pow.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y))) 4) 1/2))
(*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x (sqrt.f64 y)))) (pow.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 3/2) 1/2))
(*.f64 (pow.f64 1 1/3) (hypot.f64 x (sqrt.f64 y)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y))) 4) 1/2) (sqrt.f64 (cbrt.f64 (fma.f64 x x y))))
(*.f64 (pow.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 3/2) 1/2) (sqrt.f64 (sqrt.f64 (hypot.f64 x (sqrt.f64 y)))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y))) 5) 1/2) (sqrt.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y)))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y)))) 2) 3) (cbrt.f64 (hypot.f64 x (sqrt.f64 y))))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y)))) 3))
(.f64 (pow.f64 (.f64 (fma.f64 x x y) (cbrt.f64 (fma.f64 x x y))) 1/3) (cbrt.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y)))))
(*.f64 (pow.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (hypot.f64 x (sqrt.f64 y)))))
(pow.f64 (hypot.f64 x (sqrt.f64 y)) 1)
(pow.f64 (fma.f64 x x y) 1/2)
(pow.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y))) 3)
(pow.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 3) 1/3)
(pow.f64 (sqrt.f64 (hypot.f64 x (sqrt.f64 y))) 2)
(pow.f64 (exp.f64 1) (log.f64 (hypot.f64 x (sqrt.f64 y))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (hypot.f64 x (sqrt.f64 y)))) 2)) (cbrt.f64 (log.f64 (hypot.f64 x (sqrt.f64 y)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))))) (sqrt.f64 (log.f64 (hypot.f64 x (sqrt.f64 y)))))
(sqrt.f64 (fma.f64 x x y))
(log.f64 (exp.f64 (hypot.f64 x (sqrt.f64 y))))
(cbrt.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 3))
(expm1.f64 (log1p.f64 (hypot.f64 x (sqrt.f64 y))))
(exp.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))))
(exp.f64 (*.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 1) 1))
(exp.f64 (*.f64 (log.f64 (fma.f64 x x y)) 1/2))
(exp.f64 (.f64 (.f64 (log.f64 (hypot.f64 x (sqrt.f64 y))) 2) 1/2))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (hypot.f64 x (sqrt.f64 y)))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (hypot.f64 x (sqrt.f64 y)) 3)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (hypot.f64 x (sqrt.f64 y)))) 2))
(log1p.f64 (expm1.f64 (hypot.f64 x (sqrt.f64 y))))

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

eval92.0ms (3%)

Compiler: Compiled 4550 to 3080 computations (32.3% saved)

prune36.0ms (1.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	246	2	248
Fresh	0	0	0
Picked	1	0	1
Done	0	3	3
Total	247	5	252

Accuracy

100.0%

Counts

252 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	47.8%	(pow.f64 (*.f64 (sqrt.f64 1/2) x) 2)
▶	2.3%	(*.f64 y 1/2)
✓	99.7%	(*.f64 1/2 (fma.f64 x x (neg.f64 y)))
✓	99.7%	(.f64 1/2 (-.f64 (.f64 x x) y))
✓	54.5%	(*.f64 -1/2 y)

Compiler

Compiled 36 to 27 computations (25% saved)

localize48.0ms (1.6%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	99.5%	(pow.f64 (*.f64 (sqrt.f64 1/2) x) 2)
✓	99.3%	(*.f64 (sqrt.f64 1/2) x)

Compiler

Compiled 23 to 18 computations (21.7% saved)

series2.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite73.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

600×	`unpow-prod-down`
384×	`log-prod`
374×	`cbrt-prod`
352×	`prod-exp`
318×	`sqrt-prod`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	34
1	92	30
2	999	30

Stop Event

1×	node limit

Counts

2 → 73

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 1/2) x)
(pow.f64 (*.f64 (sqrt.f64 1/2) x) 2)

Outputs
(+.f64 0 (*.f64 (sqrt.f64 1/2) x))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 2) (sqrt.f64 1/2)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) x))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) x))))
(-.f64 (+.f64 1 (*.f64 (sqrt.f64 1/2) x)) 1)
(pow.f64 (*.f64 (sqrt.f64 1/2) x) 1)
(pow.f64 (*.f64 1/2 (pow.f64 x 2)) 1/2)
(pow.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 x 2))) 3/2)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 1/2) x)) 3)
(pow.f64 (*.f64 1/4 (pow.f64 x 4)) 1/4)
(pow.f64 (*.f64 (pow.f64 x 6) 1/8) 1/6)
(pow.f64 (*.f64 (sqrt.f64 1/8) (pow.f64 x 3)) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 1/2) x)) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 (sqrt.f64 1/2) x)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 (sqrt.f64 1/2) x))) 2)) (cbrt.f64 (log.f64 (.f64 (sqrt.f64 1/2) x))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 (sqrt.f64 1/2) x)))) (sqrt.f64 (log.f64 (.f64 (sqrt.f64 1/2) x))))
(sqrt.f64 (*.f64 1/2 (pow.f64 x 2)))
(fabs.f64 (*.f64 (sqrt.f64 1/2) x))
(fabs.f64 (neg.f64 (*.f64 (sqrt.f64 1/2) x)))
(fabs.f64 (-.f64 1 (+.f64 1 (*.f64 (sqrt.f64 1/2) x))))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) x))
(cbrt.f64 (*.f64 (sqrt.f64 1/8) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 1/2) x)))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 1/2) x)))
(exp.f64 (.f64 (log.f64 (.f64 1/2 (pow.f64 x 2))) 1/2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (sqrt.f64 1/2) x))) 3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 1/8) (pow.f64 x 3))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (sqrt.f64 1/2) x))) 2))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 1/2) x)))
(+.f64 0 (*.f64 1/2 (pow.f64 x 2)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x 2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x 2)))))
(-.f64 (+.f64 1 (*.f64 1/2 (pow.f64 x 2))) 1)
(*.f64 1/2 (pow.f64 x 2))
(.f64 (sqrt.f64 1/2) (.f64 x (*.f64 (sqrt.f64 1/2) x)))
(.f64 (sqrt.f64 1/2) (pow.f64 (.f64 (pow.f64 1/2 1/4) x) 2))
(.f64 x (.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 1/2) x)))
(.f64 x (pow.f64 (sqrt.f64 (.f64 x 1/2)) 2))
(.f64 (.f64 (sqrt.f64 1/2) x) (*.f64 (sqrt.f64 1/2) x))
(.f64 (.f64 1/2 (pow.f64 x 2)) 1)
(.f64 (.f64 1/2 (pow.f64 x 2)) (log.f64 (E.f64)))
(*.f64 (pow.f64 x 2) 1/2)
(.f64 1 (.f64 1/2 (pow.f64 x 2)))
(.f64 (cbrt.f64 (.f64 1/2 (pow.f64 x 2))) (cbrt.f64 (*.f64 1/4 (pow.f64 x 4))))
(.f64 (cbrt.f64 (.f64 1/4 (pow.f64 x 4))) (cbrt.f64 (*.f64 1/2 (pow.f64 x 2))))
(.f64 (sqrt.f64 (.f64 (sqrt.f64 1/2) x)) (pow.f64 (*.f64 (sqrt.f64 1/2) x) 3/2))
(.f64 (pow.f64 (cbrt.f64 x) 4) (pow.f64 (.f64 (cbrt.f64 x) (sqrt.f64 1/2)) 2))
(.f64 (cbrt.f64 1/4) (pow.f64 (.f64 (pow.f64 1/2 1/6) x) 2))
(.f64 (pow.f64 (.f64 (sqrt.f64 1/2) x) 3/2) (sqrt.f64 (*.f64 (sqrt.f64 1/2) x)))
(.f64 (.f64 (*.f64 (sqrt.f64 1/2) x) (sqrt.f64 1/2)) x)
(.f64 (.f64 (*.f64 (sqrt.f64 1/2) x) x) (sqrt.f64 1/2))
(.f64 (pow.f64 (.f64 1/2 (pow.f64 x 2)) 5/6) (cbrt.f64 (*.f64 (sqrt.f64 1/2) x)))
(.f64 (pow.f64 1 1/3) (.f64 1/2 (pow.f64 x 2)))
(.f64 (pow.f64 (.f64 (sqrt.f64 1/2) (pow.f64 (cbrt.f64 x) 2)) 2) (pow.f64 (cbrt.f64 x) 2))
(.f64 (pow.f64 (sqrt.f64 (.f64 1/2 x)) 2) x)
(.f64 (pow.f64 (.f64 x (cbrt.f64 1/2)) 2) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 x (pow.f64 1/2 1/4)) 2) (sqrt.f64 1/2))
(*.f64 (pow.f64 (cbrt.f64 1/2) 3) (pow.f64 x 2))
(.f64 (pow.f64 (pow.f64 (.f64 (sqrt.f64 1/2) x) 5) 1/3) (cbrt.f64 (*.f64 (sqrt.f64 1/2) x)))
(.f64 (pow.f64 (.f64 (*.f64 1/4 (pow.f64 x 4)) 1/2) 1/3) (pow.f64 (cbrt.f64 x) 2))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 1/2) x) 8)) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 x 2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 1/2) x) 5)) (cbrt.f64 (*.f64 (sqrt.f64 1/2) x)))
(.f64 (cbrt.f64 (.f64 (*.f64 1/4 (pow.f64 x 4)) 1/2)) (pow.f64 (cbrt.f64 x) 2))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 1/2) x) 8)) 2)) (cbrt.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 x 2)))))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 1/2 (pow.f64 x 2))) 5)) (cbrt.f64 (*.f64 (sqrt.f64 1/2) x)))
(sqrt.f64 (*.f64 1/4 (pow.f64 x 4)))
(fabs.f64 (*.f64 1/2 (pow.f64 x 2)))
(log.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x 2)))
(cbrt.f64 (*.f64 (pow.f64 x 6) 1/8))
(expm1.f64 (log1p.f64 (*.f64 1/2 (pow.f64 x 2))))
(exp.f64 (log.f64 (*.f64 1/2 (pow.f64 x 2))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 1/2 (pow.f64 x 2)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x 6) 1/8)) 1/3))
(log1p.f64 (expm1.f64 (*.f64 1/2 (pow.f64 x 2))))

simplify75.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1062×	`log-prod`
1060×	`fma-neg`
1052×	`associate-r`
894×	`associate-l`
712×	`fabs-mul`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	205	2494
1	449	2019
2	1062	2015
3	4340	2013

Stop Event

1×	node limit

Counts

97 → 90

Calls

Call 1

Inputs
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(+.f64 0 (*.f64 (sqrt.f64 1/2) x))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 2) (sqrt.f64 1/2)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) x))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) x))))
(-.f64 (+.f64 1 (*.f64 (sqrt.f64 1/2) x)) 1)
(pow.f64 (*.f64 (sqrt.f64 1/2) x) 1)
(pow.f64 (*.f64 1/2 (pow.f64 x 2)) 1/2)
(pow.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 x 2))) 3/2)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 1/2) x)) 3)
(pow.f64 (*.f64 1/4 (pow.f64 x 4)) 1/4)
(pow.f64 (*.f64 (pow.f64 x 6) 1/8) 1/6)
(pow.f64 (*.f64 (sqrt.f64 1/8) (pow.f64 x 3)) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 1/2) x)) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 (sqrt.f64 1/2) x)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 (sqrt.f64 1/2) x))) 2)) (cbrt.f64 (log.f64 (.f64 (sqrt.f64 1/2) x))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 (sqrt.f64 1/2) x)))) (sqrt.f64 (log.f64 (.f64 (sqrt.f64 1/2) x))))
(sqrt.f64 (*.f64 1/2 (pow.f64 x 2)))
(fabs.f64 (*.f64 (sqrt.f64 1/2) x))
(fabs.f64 (neg.f64 (*.f64 (sqrt.f64 1/2) x)))
(fabs.f64 (-.f64 1 (+.f64 1 (*.f64 (sqrt.f64 1/2) x))))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) x))
(cbrt.f64 (*.f64 (sqrt.f64 1/8) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 1/2) x)))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 1/2) x)))
(exp.f64 (.f64 (log.f64 (.f64 1/2 (pow.f64 x 2))) 1/2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (sqrt.f64 1/2) x))) 3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 1/8) (pow.f64 x 3))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (sqrt.f64 1/2) x))) 2))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 1/2) x)))
(+.f64 0 (*.f64 1/2 (pow.f64 x 2)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x 2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x 2)))))
(-.f64 (+.f64 1 (*.f64 1/2 (pow.f64 x 2))) 1)
(*.f64 1/2 (pow.f64 x 2))
(.f64 (sqrt.f64 1/2) (.f64 x (*.f64 (sqrt.f64 1/2) x)))
(.f64 (sqrt.f64 1/2) (pow.f64 (.f64 (pow.f64 1/2 1/4) x) 2))
(.f64 x (.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 1/2) x)))
(.f64 x (pow.f64 (sqrt.f64 (.f64 x 1/2)) 2))
(.f64 (.f64 (sqrt.f64 1/2) x) (*.f64 (sqrt.f64 1/2) x))
(.f64 (.f64 1/2 (pow.f64 x 2)) 1)
(.f64 (.f64 1/2 (pow.f64 x 2)) (log.f64 (E.f64)))
(*.f64 (pow.f64 x 2) 1/2)
(.f64 1 (.f64 1/2 (pow.f64 x 2)))
(.f64 (cbrt.f64 (.f64 1/2 (pow.f64 x 2))) (cbrt.f64 (*.f64 1/4 (pow.f64 x 4))))
(.f64 (cbrt.f64 (.f64 1/4 (pow.f64 x 4))) (cbrt.f64 (*.f64 1/2 (pow.f64 x 2))))
(.f64 (sqrt.f64 (.f64 (sqrt.f64 1/2) x)) (pow.f64 (*.f64 (sqrt.f64 1/2) x) 3/2))
(.f64 (pow.f64 (cbrt.f64 x) 4) (pow.f64 (.f64 (cbrt.f64 x) (sqrt.f64 1/2)) 2))
(.f64 (cbrt.f64 1/4) (pow.f64 (.f64 (pow.f64 1/2 1/6) x) 2))
(.f64 (pow.f64 (.f64 (sqrt.f64 1/2) x) 3/2) (sqrt.f64 (*.f64 (sqrt.f64 1/2) x)))
(.f64 (.f64 (*.f64 (sqrt.f64 1/2) x) (sqrt.f64 1/2)) x)
(.f64 (.f64 (*.f64 (sqrt.f64 1/2) x) x) (sqrt.f64 1/2))
(.f64 (pow.f64 (.f64 1/2 (pow.f64 x 2)) 5/6) (cbrt.f64 (*.f64 (sqrt.f64 1/2) x)))
(.f64 (pow.f64 1 1/3) (.f64 1/2 (pow.f64 x 2)))
(.f64 (pow.f64 (.f64 (sqrt.f64 1/2) (pow.f64 (cbrt.f64 x) 2)) 2) (pow.f64 (cbrt.f64 x) 2))
(.f64 (pow.f64 (sqrt.f64 (.f64 1/2 x)) 2) x)
(.f64 (pow.f64 (.f64 x (cbrt.f64 1/2)) 2) (cbrt.f64 1/2))
(.f64 (pow.f64 (.f64 x (pow.f64 1/2 1/4)) 2) (sqrt.f64 1/2))
(*.f64 (pow.f64 (cbrt.f64 1/2) 3) (pow.f64 x 2))
(.f64 (pow.f64 (pow.f64 (.f64 (sqrt.f64 1/2) x) 5) 1/3) (cbrt.f64 (*.f64 (sqrt.f64 1/2) x)))
(.f64 (pow.f64 (.f64 (*.f64 1/4 (pow.f64 x 4)) 1/2) 1/3) (pow.f64 (cbrt.f64 x) 2))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 1/2) x) 8)) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 x 2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 1/2) x) 5)) (cbrt.f64 (*.f64 (sqrt.f64 1/2) x)))
(.f64 (cbrt.f64 (.f64 (*.f64 1/4 (pow.f64 x 4)) 1/2)) (pow.f64 (cbrt.f64 x) 2))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 1/2) x) 8)) 2)) (cbrt.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 x 2)))))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 1/2 (pow.f64 x 2))) 5)) (cbrt.f64 (*.f64 (sqrt.f64 1/2) x)))
(sqrt.f64 (*.f64 1/4 (pow.f64 x 4)))
(fabs.f64 (*.f64 1/2 (pow.f64 x 2)))
(log.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x 2)))
(cbrt.f64 (*.f64 (pow.f64 x 6) 1/8))
(expm1.f64 (log1p.f64 (*.f64 1/2 (pow.f64 x 2))))
(exp.f64 (log.f64 (*.f64 1/2 (pow.f64 x 2))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 1/2 (pow.f64 x 2)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x 6) 1/8)) 1/3))
(log1p.f64 (expm1.f64 (*.f64 1/2 (pow.f64 x 2))))

Outputs
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 x (sqrt.f64 1/2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(+.f64 0 (*.f64 (sqrt.f64 1/2) x))
(*.f64 x (sqrt.f64 1/2))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 2) (sqrt.f64 1/2)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) x))))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 2) x) (sqrt.f64 1/2)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) x))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) x))))
(*.f64 x (sqrt.f64 1/2))
(-.f64 (+.f64 1 (*.f64 (sqrt.f64 1/2) x)) 1)
(*.f64 x (sqrt.f64 1/2))
(pow.f64 (*.f64 (sqrt.f64 1/2) x) 1)
(*.f64 x (sqrt.f64 1/2))
(pow.f64 (*.f64 1/2 (pow.f64 x 2)) 1/2)
(*.f64 x (sqrt.f64 1/2))
(pow.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 x 2))) 3/2)
(*.f64 x (sqrt.f64 1/2))
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 1/2) x)) 3)
(*.f64 x (sqrt.f64 1/2))
(pow.f64 (*.f64 1/4 (pow.f64 x 4)) 1/4)
(pow.f64 (*.f64 (pow.f64 x 6) 1/8) 1/6)
(pow.f64 (*.f64 1/8 (pow.f64 x 6)) 1/6)
(pow.f64 (*.f64 (sqrt.f64 1/8) (pow.f64 x 3)) 1/3)
(cbrt.f64 (*.f64 (sqrt.f64 1/8) (pow.f64 x 3)))
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 1/2) x)) 2)
(*.f64 x (sqrt.f64 1/2))
(pow.f64 (E.f64) (log.f64 (*.f64 (sqrt.f64 1/2) x)))
(*.f64 x (sqrt.f64 1/2))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 (sqrt.f64 1/2) x))) 2)) (cbrt.f64 (log.f64 (.f64 (sqrt.f64 1/2) x))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 x (sqrt.f64 1/2)))) 2)) (cbrt.f64 (log.f64 (.f64 x (sqrt.f64 1/2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 (sqrt.f64 1/2) x)))) (sqrt.f64 (log.f64 (.f64 (sqrt.f64 1/2) x))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 x (sqrt.f64 1/2))))) (sqrt.f64 (log.f64 (.f64 x (sqrt.f64 1/2)))))
(sqrt.f64 (*.f64 1/2 (pow.f64 x 2)))
(*.f64 x (sqrt.f64 1/2))
(fabs.f64 (*.f64 (sqrt.f64 1/2) x))
(*.f64 x (sqrt.f64 1/2))
(fabs.f64 (neg.f64 (*.f64 (sqrt.f64 1/2) x)))
(*.f64 x (sqrt.f64 1/2))
(fabs.f64 (-.f64 1 (+.f64 1 (*.f64 (sqrt.f64 1/2) x))))
(*.f64 x (sqrt.f64 1/2))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 1/2)) x))
(*.f64 x (sqrt.f64 1/2))
(cbrt.f64 (*.f64 (sqrt.f64 1/8) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 1/2) x)))
(*.f64 x (sqrt.f64 1/2))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 1/2) x)))
(*.f64 x (sqrt.f64 1/2))
(exp.f64 (.f64 (log.f64 (.f64 1/2 (pow.f64 x 2))) 1/2))
(*.f64 x (sqrt.f64 1/2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (sqrt.f64 1/2) x))) 3))
(*.f64 x (sqrt.f64 1/2))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 1/8) (pow.f64 x 3))) 1/3))
(cbrt.f64 (*.f64 (sqrt.f64 1/8) (pow.f64 x 3)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (sqrt.f64 1/2) x))) 2))
(*.f64 x (sqrt.f64 1/2))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 1/2) x)))
(*.f64 x (sqrt.f64 1/2))
(+.f64 0 (*.f64 1/2 (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x 2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x 2)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x 2)))))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(-.f64 (+.f64 1 (*.f64 1/2 (pow.f64 x 2))) 1)
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(.f64 (sqrt.f64 1/2) (.f64 x (*.f64 (sqrt.f64 1/2) x)))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (sqrt.f64 1/2) (pow.f64 (.f64 (pow.f64 1/2 1/4) x) 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 x (.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 1/2) x)))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 x (pow.f64 (sqrt.f64 (.f64 x 1/2)) 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (.f64 (sqrt.f64 1/2) x) (*.f64 (sqrt.f64 1/2) x))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (.f64 1/2 (pow.f64 x 2)) 1)
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (.f64 1/2 (pow.f64 x 2)) (log.f64 (E.f64)))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) 1/2)
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1 (.f64 1/2 (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (cbrt.f64 (.f64 1/2 (pow.f64 x 2))) (cbrt.f64 (*.f64 1/4 (pow.f64 x 4))))
(.f64 (cbrt.f64 (.f64 1/4 (pow.f64 x 4))) (cbrt.f64 (*.f64 1/2 (pow.f64 x 2))))
(.f64 (cbrt.f64 (.f64 1/4 (pow.f64 x 4))) (cbrt.f64 (*.f64 1/2 (pow.f64 x 2))))
(.f64 (cbrt.f64 (.f64 1/2 (pow.f64 x 2))) (cbrt.f64 (*.f64 1/4 (pow.f64 x 4))))
(.f64 (sqrt.f64 (.f64 (sqrt.f64 1/2) x)) (pow.f64 (*.f64 (sqrt.f64 1/2) x) 3/2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (pow.f64 (cbrt.f64 x) 4) (pow.f64 (.f64 (cbrt.f64 x) (sqrt.f64 1/2)) 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (cbrt.f64 1/4) (pow.f64 (.f64 (pow.f64 1/2 1/6) x) 2))
(.f64 (cbrt.f64 1/4) (pow.f64 (.f64 x (pow.f64 1/2 1/6)) 2))
(.f64 (pow.f64 x 2) (.f64 (cbrt.f64 1/2) (cbrt.f64 1/4)))
(.f64 (pow.f64 (.f64 (sqrt.f64 1/2) x) 3/2) (sqrt.f64 (*.f64 (sqrt.f64 1/2) x)))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (.f64 (*.f64 (sqrt.f64 1/2) x) (sqrt.f64 1/2)) x)
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (.f64 (*.f64 (sqrt.f64 1/2) x) x) (sqrt.f64 1/2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (pow.f64 (.f64 1/2 (pow.f64 x 2)) 5/6) (cbrt.f64 (*.f64 (sqrt.f64 1/2) x)))
(.f64 (cbrt.f64 (.f64 x (sqrt.f64 1/2))) (pow.f64 (*.f64 1/2 (pow.f64 x 2)) 5/6))
(.f64 (pow.f64 1 1/3) (.f64 1/2 (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (pow.f64 (.f64 (sqrt.f64 1/2) (pow.f64 (cbrt.f64 x) 2)) 2) (pow.f64 (cbrt.f64 x) 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (pow.f64 (sqrt.f64 (.f64 1/2 x)) 2) x)
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (pow.f64 (.f64 x (cbrt.f64 1/2)) 2) (cbrt.f64 1/2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (pow.f64 (.f64 x (pow.f64 1/2 1/4)) 2) (sqrt.f64 1/2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 (pow.f64 (cbrt.f64 1/2) 3) (pow.f64 x 2))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (pow.f64 (pow.f64 (.f64 (sqrt.f64 1/2) x) 5) 1/3) (cbrt.f64 (*.f64 (sqrt.f64 1/2) x)))
(.f64 (cbrt.f64 (.f64 x (sqrt.f64 1/2))) (cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 1/2)) 5)))
(.f64 (pow.f64 (.f64 (*.f64 1/4 (pow.f64 x 4)) 1/2) 1/3) (pow.f64 (cbrt.f64 x) 2))
(.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (.f64 1/2 (*.f64 1/4 (pow.f64 x 4)))))
(.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (.f64 (pow.f64 x 4) 1/8)))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 1/2) x) 8)) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 x 2)))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 x (sqrt.f64 1/2)) 8)) 2)) (cbrt.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 x 2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 1/2) x) 5)) (cbrt.f64 (*.f64 (sqrt.f64 1/2) x)))
(.f64 (cbrt.f64 (.f64 x (sqrt.f64 1/2))) (cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 1/2)) 5)))
(.f64 (cbrt.f64 (.f64 (*.f64 1/4 (pow.f64 x 4)) 1/2)) (pow.f64 (cbrt.f64 x) 2))
(.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (.f64 1/2 (*.f64 1/4 (pow.f64 x 4)))))
(.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (.f64 (pow.f64 x 4) 1/8)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 1/2) x) 8)) 2)) (cbrt.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 x 2)))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 x (sqrt.f64 1/2)) 8)) 2)) (cbrt.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 x 2)))))
(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 1/2 (pow.f64 x 2))) 5)) (cbrt.f64 (*.f64 (sqrt.f64 1/2) x)))
(.f64 (cbrt.f64 (.f64 x (sqrt.f64 1/2))) (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 x 2))) 5)))
(.f64 (cbrt.f64 (.f64 x (sqrt.f64 1/2))) (pow.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 x 2))) 5/2))
(sqrt.f64 (*.f64 1/4 (pow.f64 x 4)))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(fabs.f64 (*.f64 1/2 (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(log.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(cbrt.f64 (*.f64 (pow.f64 x 6) 1/8))
(cbrt.f64 (*.f64 1/8 (pow.f64 x 6)))
(expm1.f64 (log1p.f64 (*.f64 1/2 (pow.f64 x 2))))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(exp.f64 (log.f64 (*.f64 1/2 (pow.f64 x 2))))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 1/2 (pow.f64 x 2)))) 3))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x 6) 1/8)) 1/3))
(cbrt.f64 (*.f64 (pow.f64 x 6) 1/8))
(cbrt.f64 (*.f64 1/8 (pow.f64 x 6)))
(log1p.f64 (expm1.f64 (*.f64 1/2 (pow.f64 x 2))))
(*.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 1/2) 2))
(*.f64 1/2 (pow.f64 x 2))

eval27.0ms (0.9%)

Compiler: Compiled 961 to 826 computations (14% saved)

prune25.0ms (0.8%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	0	0
Picked	0	2	2
Done	0	3	3
Total	90	5	95

Accuracy

100.0%

Counts

95 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	47.8%	(pow.f64 (*.f64 (sqrt.f64 1/2) x) 2)
✓	2.3%	(*.f64 y 1/2)
✓	99.7%	(*.f64 1/2 (fma.f64 x x (neg.f64 y)))
✓	99.7%	(.f64 1/2 (-.f64 (.f64 x x) y))
✓	54.5%	(*.f64 -1/2 y)

Compiler

Compiled 73 to 53 computations (27.4% saved)

regimes174.0ms (5.8%)

Counts

6 → 1

Calls

Call 1

Inputs
(*.f64 -1/2 y)
(*.f64 y 1/2)
(.f64 1/2 (-.f64 (.f64 x x) y))
(*.f64 1/2 (fma.f64 x x (neg.f64 y)))
(pow.f64 (*.f64 (sqrt.f64 1/2) x) 2)
(pow.f64 (*.f64 (hypot.f64 x (sqrt.f64 y)) (sqrt.f64 1/2)) 2)

Outputs
(*.f64 1/2 (fma.f64 x x (neg.f64 y)))

Calls

5 calls:

156.0ms	(-.f64 (*.f64 x x) y)
5.0ms	y
5.0ms	(.f64 1/2 (-.f64 (.f64 x x) y))
5.0ms	x
3.0ms	(*.f64 x x)

Results

Accuracy	Segments	Branch
99.7%	1	`x`
99.7%	1	`y`
99.7%	1	`(.f64 1/2 (-.f64 (.f64 x x) y))`
99.7%	1	`(-.f64 (*.f64 x x) y)`
99.7%	1	`(*.f64 x x)`

Compiler

Compiled 27 to 17 computations (37% saved)

regimes19.0ms (0.6%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

5 calls:

4.0ms	(*.f64 x x)
4.0ms	(.f64 1/2 (-.f64 (.f64 x x) y))
3.0ms	(-.f64 (*.f64 x x) y)
3.0ms	y
3.0ms	x

Results

Accuracy	Segments	Branch
99.7%	1	`x`
99.7%	1	`y`
99.7%	1	`(.f64 1/2 (-.f64 (.f64 x x) y))`
99.7%	1	`(-.f64 (*.f64 x x) y)`
99.7%	1	`(*.f64 x x)`

Compiler

Compiled 27 to 17 computations (37% saved)

regimes10.0ms (0.3%)

Accuracy

Total -33.9b remaining (-116.3%)

Threshold costs -33.9b (-116.3%)

Counts

2 → 1

Calls

Call 1

Inputs
(*.f64 -1/2 y)
(*.f64 y 1/2)

Outputs
(*.f64 -1/2 y)

Calls

2 calls:

6.0ms	y
3.0ms	x

Results

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

Compiler

Compiled 6 to 4 computations (33.3% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative`
4×	`sub-neg`
4×	`+-commutative`
2×	`neg-mul-1`
2×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	66
1	26	66
2	29	66
3	30	66

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 23 to 16 computations (30.4% saved)

soundness125.0ms (4.1%)

Rules

830×	`unpow-prod-down`
822×	`prod-diff`
554×	`log1p-expm1-u`
554×	`expm1-log1p-u`
546×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	44
1	120	44
2	1523	44

Stop Event

1×	node limit

Compiler

Compiled 16 to 10 computations (37.5% saved)

end0.0ms (0%)

preprocess38.0ms (1.3%)

Remove: (abs x)
Compiler: Compiled 128 to 84 computations (34.4% saved)

analyze0.0ms (0%)

sample721.0ms (23.9%)

preprocess237.0ms (7.8%)

eval0.0ms (0%)

prune1.0ms (0%)

localize30.0ms (1%)

series3.0ms (0.1%)

rewrite286.0ms (9.4%)

simplify171.0ms (5.7%)

eval177.0ms (5.9%)

prune21.0ms (0.7%)

localize69.0ms (2.3%)

series2.0ms (0.1%)

rewrite65.0ms (2.2%)

simplify82.0ms (2.7%)

eval7.0ms (0.2%)

prune14.0ms (0.5%)

localize140.0ms (4.6%)

series24.0ms (0.8%)

rewrite117.0ms (3.9%)

simplify109.0ms (3.6%)

eval92.0ms (3%)

prune36.0ms (1.2%)

localize48.0ms (1.6%)

series2.0ms (0.1%)

rewrite73.0ms (2.4%)

simplify75.0ms (2.5%)

eval27.0ms (0.9%)

prune25.0ms (0.8%)

regimes174.0ms (5.8%)

regimes19.0ms (0.6%)

regimes10.0ms (0.3%)

simplify3.0ms (0.1%)

soundness125.0ms (4.1%)

end0.0ms (0%)

preprocess38.0ms (1.3%)

Profiling