Metrics for Data.Colour.CIE:cieLABView from colour-2.3.3, B

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 8 to 6 computations (25% saved)

sample1.2s (45.7%)

Results

1.2s	8149×	body	256	valid
8.0ms	76×	body	256	infinite
3.0ms	16×	body	1024	valid
1.0ms	11×	body	512	valid
1.0ms	4×	body	2048	valid

Bogosity

preprocess99.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

468×	`fma-def`
84×	`fma-neg`
58×	`distribute-lft-in`
54×	`cancel-sign-sub-inv`
52×	`sub-neg`

Problems

256×

No Errors

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	19	103
1	34	99
2	81	95
3	204	95
4	341	95
5	462	95
6	596	95
7	675	95

Stop Event

1×

saturated

Calls

Call 1

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

Outputs
(*.f64 500 (-.f64 x y))
(*.f64 500 (-.f64 x y))
(*.f64 500 (-.f64 (neg.f64 x) y))
(*.f64 500 (neg.f64 (+.f64 x y)))
(*.f64 -500 (+.f64 x y))
(*.f64 (+.f64 x y) -500)
(*.f64 500 (-.f64 x (neg.f64 y)))
(*.f64 500 (+.f64 x y))
(*.f64 500 (-.f64 y x))

Compiler

Compiled 21 to 12 computations (42.9% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 500 (-.f64 x y))
▶	100.0%	(*.f64 500 (-.f64 x y))

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize89.0ms (3.4%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 7 computations (50% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite167.0ms (6.3%)

Algorithm

1×	batch-egg-rewrite

Rules

718×	`unpow-prod-down`
718×	`prod-diff`
499×	`log1p-expm1-u`
499×	`expm1-log1p-u`
476×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	98	19
2	1306	19

Stop Event

1×	node limit

Counts

1 → 29

Calls

Call 1

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

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

simplify94.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1388×	`associate-r`
1112×	`fma-neg`
1108×	`associate-l`
1064×	`fma-def`
758×	`distribute-lft-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	99	1325
1	227	1215
2	518	1215
3	1579	1215
4	7283	1215

Stop Event

1×	node limit

Counts

53 → 42

Calls

Call 1

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

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

eval10.0ms (0.4%)

Compiler: Compiled 447 to 280 computations (37.4% saved)

prune60.0ms (2.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	37	5	42
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	37	6	43

Accuracy

100.0%

Counts

43 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 x 500 (*.f64 (neg.f64 y) 500))
▶	100.0%	(fma.f64 -500 y (*.f64 500 x))
▶	100.0%	(+.f64 (.f64 -500 y) (.f64 500 x))
✓	100.0%	(*.f64 500 (-.f64 x y))
▶	47.1%	(*.f64 500 x)
▶	54.7%	(*.f64 -500 y)
▶	100.0%	(fma.f64 x 500 (*.f64 (neg.f64 y) 500))
▶	100.0%	(fma.f64 -500 y (*.f64 500 x))
▶	100.0%	(+.f64 (.f64 -500 y) (.f64 500 x))
✓	100.0%	(*.f64 500 (-.f64 x y))
▶	47.1%	(*.f64 500 x)
▶	54.7%	(*.f64 -500 y)

Compiler

Compiled 158 to 122 computations (22.8% saved)

localize117.0ms (4.5%)

Localize:

Found 3 expressions with local error:

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

Compiler

Compiled 59 to 36 computations (39% saved)

series4.0ms (0.1%)

Counts

3 → 54

Calls

18 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(fma.f64 x 500 (*.f64 (neg.f64 y) 500))
0.0ms	y	@	0	(fma.f64 -500 y (*.f64 500 x))
0.0ms	y	@	-inf	(fma.f64 -500 y (*.f64 500 x))
0.0ms	x	@	0	(fma.f64 -500 y (*.f64 500 x))
0.0ms	x	@	-inf	(fma.f64 x 500 (*.f64 (neg.f64 y) 500))

rewrite83.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1182×	`unpow-prod-down`
740×	`fma-def`
676×	`log-prod`
628×	`log1p-expm1-u`
628×	`expm1-log1p-u`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	63
1	190	57
2	2504	57

Stop Event

1×	node limit

Counts

3 → 228

Calls

Call 1

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

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

simplify146.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

1286×	`fma-def`
886×	`log-prod`
774×	`distribute-lft-in`
740×	`distribute-rgt-in`
708×	`fma-neg`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	248	8822
1	616	8542
2	1836	8143
3	7103	7987

Stop Event

1×	node limit

Counts

282 → 114

Calls

Call 1

Inputs
(*.f64 500 x)
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(*.f64 -500 y)
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(*.f64 -500 y)
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(*.f64 -500 y)
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(*.f64 500 x)
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(*.f64 500 x)
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(*.f64 500 x)
(*.f64 -500 y)
(*.f64 -500 y)
(*.f64 -500 y)
(*.f64 500 x)
(*.f64 500 x)
(*.f64 -500 y)
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(*.f64 500 x)
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(*.f64 500 x)
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(*.f64 500 x)
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(*.f64 -500 y)
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(*.f64 -500 y)
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 0 (*.f64 500 (+.f64 x y)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 500) (+.f64 x y))) (cbrt.f64 (pow.f64 (exp.f64 500) (+.f64 x y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 500) (+.f64 x y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 500) (+.f64 x y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 500) (+.f64 x y)))))
(-.f64 (.f64 500 x) (.f64 -500 y))
(-.f64 (exp.f64 (log1p.f64 (*.f64 500 (+.f64 x y)))) 1)
(-.f64 (/.f64 (.f64 (pow.f64 y 2) 250000) (fma.f64 -500 y (.f64 -500 x))) (/.f64 (.f64 (pow.f64 x 2) 250000) (fma.f64 -500 y (.f64 -500 x))))
(*.f64 500 (+.f64 x y))
(*.f64 500 (pow.f64 (+.f64 x y) 1))
(.f64 (.f64 500 (+.f64 x y)) 1)
(.f64 (.f64 500 (+.f64 x y)) (log.f64 (exp.f64 1)))
(.f64 1 (.f64 500 (+.f64 x y)))
(.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 500 (+.f64 x y))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2) (cbrt.f64 (*.f64 500 (+.f64 x y))))
(.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 500 (+.f64 x y)))) 2))
(.f64 (sqrt.f64 (.f64 500 (+.f64 x y))) (sqrt.f64 (*.f64 500 (+.f64 x y))))
(.f64 (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000)) (/.f64 1 (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (*.f64 (pow.f64 y 2) 250000))))
(.f64 (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000)) (pow.f64 (/.f64 1 (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (*.f64 (pow.f64 y 2) 250000))) 1))
(.f64 (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (pow.f64 x 2) 250000)) (/.f64 1 (fma.f64 -500 y (.f64 -500 x))))
(.f64 (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (pow.f64 x 2) 250000)) (pow.f64 (/.f64 1 (fma.f64 -500 y (.f64 -500 x))) 1))
(.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (.f64 500 (+.f64 x y)))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 500 (+.f64 x y)))) 3))
(.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 3))
(.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 500 (+.f64 x y)))) (cbrt.f64 (cbrt.f64 (.f64 500 (+.f64 x y))))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 3))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 500 (+.f64 x y)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 3))
(.f64 (pow.f64 1 1/3) (.f64 500 (+.f64 x y)))
(.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 3/2) 1/3) (pow.f64 (pow.f64 (*.f64 500 (+.f64 x y)) 3/2) 1/3))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 500 (+.f64 x y)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 500 (+.f64 x y)) 3)) 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 5/2) 1/3) (pow.f64 (sqrt.f64 (*.f64 500 (+.f64 x y))) 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 500 (+.f64 x y)) (cbrt.f64 (.f64 500 (+.f64 x y)))) 2) 1/3) (pow.f64 (cbrt.f64 (*.f64 500 (+.f64 x y))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (.f64 500 (+.f64 x y)))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 500 (+.f64 x y)))) 2))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 2))
(/.f64 1 (/.f64 (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (.f64 (pow.f64 y 2) 250000)) (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000))))
(/.f64 1 (/.f64 (fma.f64 -500 y (.f64 -500 x)) (-.f64 (.f64 (pow.f64 y 2) 250000) (*.f64 (pow.f64 x 2) 250000))))
(/.f64 (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000)) (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (.f64 (pow.f64 y 2) 250000)))
(/.f64 (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000)) (fma.f64 (pow.f64 x 2) 250000 (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (.f64 500 x) (*.f64 -500 y)))))
(/.f64 (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (pow.f64 x 2) 250000)) (fma.f64 -500 y (*.f64 -500 x)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000))) (neg.f64 (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (.f64 (pow.f64 y 2) 250000))))
(/.f64 (neg.f64 (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (pow.f64 x 2) 250000))) (neg.f64 (fma.f64 -500 y (*.f64 -500 x))))
(/.f64 (fma.f64 (pow.f64 x 2) 250000 (.f64 (pow.f64 y 2) 250000)) (.f64 500 (+.f64 x y)))
(pow.f64 (*.f64 500 (+.f64 x y)) 1)
(pow.f64 (cbrt.f64 (*.f64 500 (+.f64 x y))) 3)
(pow.f64 (*.f64 250000 (pow.f64 (+.f64 x y) 2)) 1/2)
(pow.f64 (pow.f64 (*.f64 500 (+.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 500 (+.f64 x y))) 2)
(pow.f64 (/.f64 (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (.f64 (pow.f64 y 2) 250000)) (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000))) -1)
(pow.f64 (/.f64 (fma.f64 -500 y (.f64 -500 x)) (-.f64 (.f64 (pow.f64 y 2) 250000) (*.f64 (pow.f64 x 2) 250000))) -1)
(sqrt.f64 (*.f64 250000 (pow.f64 (+.f64 x y) 2)))
(log.f64 (pow.f64 (exp.f64 500) (+.f64 x y)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 500 (+.f64 x y)))))
(log.f64 (.f64 (pow.f64 (exp.f64 500) x) (+.f64 1 (expm1.f64 (.f64 -500 y)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (pow.f64 (exp.f64 500) y)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (+.f64 1 (expm1.f64 (*.f64 -500 y)))))
(log.f64 (.f64 (pow.f64 (exp.f64 500) y) (+.f64 1 (expm1.f64 (.f64 500 x)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -500 y))) (pow.f64 (exp.f64 500) x)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -500 y))) (+.f64 1 (expm1.f64 (*.f64 500 x)))))
(log.f64 (/.f64 (pow.f64 (exp.f64 500) x) (+.f64 1 (expm1.f64 (*.f64 -500 y)))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 500 x))) (pow.f64 (exp.f64 500) y)))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (+.f64 1 (expm1.f64 (.f64 -500 y)))))
(cbrt.f64 (pow.f64 (*.f64 500 (+.f64 x y)) 3))
(expm1.f64 (log1p.f64 (*.f64 500 (+.f64 x y))))
(exp.f64 (log.f64 (*.f64 500 (+.f64 x y))))
(exp.f64 (.f64 (log.f64 (.f64 500 (+.f64 x y))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 500 (+.f64 x y))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 500 (+.f64 x y)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 500 (+.f64 x y)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 500 (+.f64 x y)))) 2))
(log1p.f64 (expm1.f64 (*.f64 500 (+.f64 x y))))
(-.f64 (.f64 500 x) (.f64 -500 y))
(-.f64 (exp.f64 (log1p.f64 (*.f64 500 (+.f64 x y)))) 1)
(-.f64 (/.f64 (.f64 (pow.f64 y 2) 250000) (fma.f64 -500 y (.f64 -500 x))) (/.f64 (.f64 (pow.f64 x 2) 250000) (fma.f64 -500 y (.f64 -500 x))))
(*.f64 500 (+.f64 x y))
(*.f64 500 (pow.f64 (+.f64 x y) 1))
(.f64 (.f64 500 (+.f64 x y)) 1)
(.f64 (.f64 500 (+.f64 x y)) (log.f64 (exp.f64 1)))
(.f64 1 (.f64 500 (+.f64 x y)))
(.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 500 (+.f64 x y))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2) (cbrt.f64 (*.f64 500 (+.f64 x y))))
(.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 500 (+.f64 x y)))) 2))
(.f64 (sqrt.f64 (.f64 500 (+.f64 x y))) (sqrt.f64 (*.f64 500 (+.f64 x y))))
(.f64 (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000)) (/.f64 1 (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (*.f64 (pow.f64 y 2) 250000))))
(.f64 (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000)) (pow.f64 (/.f64 1 (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (*.f64 (pow.f64 y 2) 250000))) 1))
(.f64 (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (pow.f64 x 2) 250000)) (/.f64 1 (fma.f64 -500 y (.f64 -500 x))))
(.f64 (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (pow.f64 x 2) 250000)) (pow.f64 (/.f64 1 (fma.f64 -500 y (.f64 -500 x))) 1))
(.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (.f64 500 (+.f64 x y)))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 500 (+.f64 x y)))) 3))
(.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 3))
(.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 500 (+.f64 x y)))) (cbrt.f64 (cbrt.f64 (.f64 500 (+.f64 x y))))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 3))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 500 (+.f64 x y)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 3))
(.f64 (pow.f64 1 1/3) (.f64 500 (+.f64 x y)))
(.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 3/2) 1/3) (pow.f64 (pow.f64 (*.f64 500 (+.f64 x y)) 3/2) 1/3))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 500 (+.f64 x y)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 500 (+.f64 x y)) 3)) 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 5/2) 1/3) (pow.f64 (sqrt.f64 (*.f64 500 (+.f64 x y))) 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 500 (+.f64 x y)) (cbrt.f64 (.f64 500 (+.f64 x y)))) 2) 1/3) (pow.f64 (cbrt.f64 (*.f64 500 (+.f64 x y))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (.f64 500 (+.f64 x y)))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 500 (+.f64 x y)))) 2))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 2))
(/.f64 1 (/.f64 (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (.f64 (pow.f64 y 2) 250000)) (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000))))
(/.f64 1 (/.f64 (fma.f64 -500 y (.f64 -500 x)) (-.f64 (.f64 (pow.f64 y 2) 250000) (*.f64 (pow.f64 x 2) 250000))))
(/.f64 (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000)) (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (.f64 (pow.f64 y 2) 250000)))
(/.f64 (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000)) (fma.f64 (pow.f64 x 2) 250000 (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (.f64 500 x) (*.f64 -500 y)))))
(/.f64 (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (pow.f64 x 2) 250000)) (fma.f64 -500 y (*.f64 -500 x)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000))) (neg.f64 (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (.f64 (pow.f64 y 2) 250000))))
(/.f64 (neg.f64 (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (pow.f64 x 2) 250000))) (neg.f64 (fma.f64 -500 y (*.f64 -500 x))))
(/.f64 (fma.f64 (pow.f64 x 2) 250000 (.f64 (pow.f64 y 2) 250000)) (.f64 500 (+.f64 x y)))
(pow.f64 (*.f64 500 (+.f64 x y)) 1)
(pow.f64 (cbrt.f64 (*.f64 500 (+.f64 x y))) 3)
(pow.f64 (*.f64 250000 (pow.f64 (+.f64 x y) 2)) 1/2)
(pow.f64 (pow.f64 (*.f64 500 (+.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 500 (+.f64 x y))) 2)
(pow.f64 (/.f64 (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (.f64 (pow.f64 y 2) 250000)) (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000))) -1)
(pow.f64 (/.f64 (fma.f64 -500 y (.f64 -500 x)) (-.f64 (.f64 (pow.f64 y 2) 250000) (*.f64 (pow.f64 x 2) 250000))) -1)
(sqrt.f64 (*.f64 250000 (pow.f64 (+.f64 x y) 2)))
(log.f64 (pow.f64 (exp.f64 500) (+.f64 x y)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 500 (+.f64 x y)))))
(log.f64 (.f64 (pow.f64 (exp.f64 500) x) (+.f64 1 (expm1.f64 (.f64 -500 y)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (pow.f64 (exp.f64 500) y)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (+.f64 1 (expm1.f64 (*.f64 -500 y)))))
(log.f64 (.f64 (pow.f64 (exp.f64 500) y) (+.f64 1 (expm1.f64 (.f64 500 x)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -500 y))) (pow.f64 (exp.f64 500) x)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -500 y))) (+.f64 1 (expm1.f64 (*.f64 500 x)))))
(log.f64 (/.f64 (pow.f64 (exp.f64 500) x) (+.f64 1 (expm1.f64 (*.f64 -500 y)))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 500 x))) (pow.f64 (exp.f64 500) y)))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (+.f64 1 (expm1.f64 (.f64 -500 y)))))
(cbrt.f64 (pow.f64 (*.f64 500 (+.f64 x y)) 3))
(expm1.f64 (log1p.f64 (*.f64 500 (+.f64 x y))))
(exp.f64 (log.f64 (*.f64 500 (+.f64 x y))))
(exp.f64 (.f64 (log.f64 (.f64 500 (+.f64 x y))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 500 (+.f64 x y))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 500 (+.f64 x y)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 500 (+.f64 x y)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 500 (+.f64 x y)))) 2))
(log1p.f64 (expm1.f64 (*.f64 500 (+.f64 x y))))
(fma.f64 -500 y (*.f64 500 x))
(fma.f64 y -500 (*.f64 500 x))
(fma.f64 y 500 (*.f64 500 x))
(fma.f64 500 y (*.f64 500 x))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 x 500 (*.f64 -500 y))
(fma.f64 (.f64 500 x) 1 (.f64 -500 y))
(fma.f64 (.f64 -500 y) 1 (.f64 500 x))
(fma.f64 1 (.f64 500 x) (.f64 -500 y))
(fma.f64 1 (.f64 -500 y) (.f64 500 x))
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) -500) (.f64 500 x))
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (.f64 (cbrt.f64 y) 500) (.f64 500 x))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) 500) (.f64 -500 y))
(fma.f64 (cbrt.f64 (.f64 -500 y)) (pow.f64 (cbrt.f64 (.f64 -500 y)) 2) (*.f64 500 x))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 -500 y)) 2) (cbrt.f64 (.f64 -500 y)) (*.f64 500 x))
(fma.f64 (cbrt.f64 (.f64 500 x)) (pow.f64 (cbrt.f64 (.f64 500 x)) 2) (*.f64 -500 y))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 500 x)) 2) (cbrt.f64 (.f64 500 x)) (*.f64 -500 y))
(fma.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) -500) (.f64 500 x))
(fma.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) 500) (.f64 500 x))
(fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) 500) (.f64 -500 y))
(fma.f64 (sqrt.f64 (.f64 -500 y)) (sqrt.f64 (.f64 -500 y)) (*.f64 500 x))
(fma.f64 (sqrt.f64 (.f64 500 x)) (sqrt.f64 (.f64 500 x)) (*.f64 -500 y))
(fma.f64 -1 (.f64 -500 y) (.f64 500 x))
(fma.f64 (.f64 500 (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (.f64 500 x))
(fma.f64 (.f64 500 (sqrt.f64 y)) (sqrt.f64 y) (.f64 500 x))
(fma.f64 (.f64 500 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (.f64 -500 y))
(fma.f64 (.f64 500 (sqrt.f64 x)) (sqrt.f64 x) (.f64 -500 y))
(fma.f64 (.f64 -500 (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (.f64 500 x))
(fma.f64 (.f64 -500 (sqrt.f64 y)) (sqrt.f64 y) (.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 0 (*.f64 500 (+.f64 x y)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 500) (+.f64 x y))) (cbrt.f64 (pow.f64 (exp.f64 500) (+.f64 x y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 500) (+.f64 x y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 500) (+.f64 x y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 500) (+.f64 x y)))))
(-.f64 (.f64 500 x) (.f64 -500 y))
(-.f64 (exp.f64 (log1p.f64 (*.f64 500 (+.f64 x y)))) 1)
(-.f64 (/.f64 (.f64 (pow.f64 y 2) 250000) (fma.f64 -500 y (.f64 -500 x))) (/.f64 (.f64 (pow.f64 x 2) 250000) (fma.f64 -500 y (.f64 -500 x))))
(*.f64 500 (+.f64 x y))
(*.f64 500 (pow.f64 (+.f64 x y) 1))
(.f64 (.f64 500 (+.f64 x y)) 1)
(.f64 (.f64 500 (+.f64 x y)) (log.f64 (exp.f64 1)))
(.f64 1 (.f64 500 (+.f64 x y)))
(.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 500 (+.f64 x y))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2) (cbrt.f64 (*.f64 500 (+.f64 x y))))
(.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 500 (+.f64 x y)))) 2))
(.f64 (sqrt.f64 (.f64 500 (+.f64 x y))) (sqrt.f64 (*.f64 500 (+.f64 x y))))
(.f64 (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000)) (/.f64 1 (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (*.f64 (pow.f64 y 2) 250000))))
(.f64 (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000)) (pow.f64 (/.f64 1 (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (*.f64 (pow.f64 y 2) 250000))) 1))
(.f64 (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (pow.f64 x 2) 250000)) (/.f64 1 (fma.f64 -500 y (.f64 -500 x))))
(.f64 (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (pow.f64 x 2) 250000)) (pow.f64 (/.f64 1 (fma.f64 -500 y (.f64 -500 x))) 1))
(.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (.f64 500 (+.f64 x y)))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 500 (+.f64 x y)))) 3))
(.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 3))
(.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 500 (+.f64 x y)))) (cbrt.f64 (cbrt.f64 (.f64 500 (+.f64 x y))))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 3))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 500 (+.f64 x y)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 3))
(.f64 (pow.f64 1 1/3) (.f64 500 (+.f64 x y)))
(.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 3/2) 1/3) (pow.f64 (pow.f64 (*.f64 500 (+.f64 x y)) 3/2) 1/3))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 500 (+.f64 x y)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 500 (+.f64 x y)) 3)) 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 5/2) 1/3) (pow.f64 (sqrt.f64 (*.f64 500 (+.f64 x y))) 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 500 (+.f64 x y)) (cbrt.f64 (.f64 500 (+.f64 x y)))) 2) 1/3) (pow.f64 (cbrt.f64 (*.f64 500 (+.f64 x y))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (.f64 500 (+.f64 x y)))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 500 (+.f64 x y)))) 2))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 2))
(/.f64 1 (/.f64 (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (.f64 (pow.f64 y 2) 250000)) (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000))))
(/.f64 1 (/.f64 (fma.f64 -500 y (.f64 -500 x)) (-.f64 (.f64 (pow.f64 y 2) 250000) (*.f64 (pow.f64 x 2) 250000))))
(/.f64 (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000)) (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (.f64 (pow.f64 y 2) 250000)))
(/.f64 (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000)) (fma.f64 (pow.f64 x 2) 250000 (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (.f64 500 x) (*.f64 -500 y)))))
(/.f64 (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (pow.f64 x 2) 250000)) (fma.f64 -500 y (*.f64 -500 x)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000))) (neg.f64 (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (.f64 (pow.f64 y 2) 250000))))
(/.f64 (neg.f64 (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (pow.f64 x 2) 250000))) (neg.f64 (fma.f64 -500 y (*.f64 -500 x))))
(/.f64 (fma.f64 (pow.f64 x 2) 250000 (.f64 (pow.f64 y 2) 250000)) (.f64 500 (+.f64 x y)))
(pow.f64 (*.f64 500 (+.f64 x y)) 1)
(pow.f64 (cbrt.f64 (*.f64 500 (+.f64 x y))) 3)
(pow.f64 (*.f64 250000 (pow.f64 (+.f64 x y) 2)) 1/2)
(pow.f64 (pow.f64 (*.f64 500 (+.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 500 (+.f64 x y))) 2)
(pow.f64 (/.f64 (fma.f64 (.f64 500 x) (.f64 500 (+.f64 x y)) (.f64 (pow.f64 y 2) 250000)) (fma.f64 (pow.f64 y 3) -125000000 (.f64 (pow.f64 x 3) 125000000))) -1)
(pow.f64 (/.f64 (fma.f64 -500 y (.f64 -500 x)) (-.f64 (.f64 (pow.f64 y 2) 250000) (*.f64 (pow.f64 x 2) 250000))) -1)
(sqrt.f64 (*.f64 250000 (pow.f64 (+.f64 x y) 2)))
(log.f64 (pow.f64 (exp.f64 500) (+.f64 x y)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 500 (+.f64 x y)))))
(log.f64 (.f64 (pow.f64 (exp.f64 500) x) (+.f64 1 (expm1.f64 (.f64 -500 y)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (pow.f64 (exp.f64 500) y)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (+.f64 1 (expm1.f64 (*.f64 -500 y)))))
(log.f64 (.f64 (pow.f64 (exp.f64 500) y) (+.f64 1 (expm1.f64 (.f64 500 x)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -500 y))) (pow.f64 (exp.f64 500) x)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -500 y))) (+.f64 1 (expm1.f64 (*.f64 500 x)))))
(log.f64 (/.f64 (pow.f64 (exp.f64 500) x) (+.f64 1 (expm1.f64 (*.f64 -500 y)))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 500 x))) (pow.f64 (exp.f64 500) y)))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (+.f64 1 (expm1.f64 (.f64 -500 y)))))
(cbrt.f64 (pow.f64 (*.f64 500 (+.f64 x y)) 3))
(expm1.f64 (log1p.f64 (*.f64 500 (+.f64 x y))))
(exp.f64 (log.f64 (*.f64 500 (+.f64 x y))))
(exp.f64 (.f64 (log.f64 (.f64 500 (+.f64 x y))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 500 (+.f64 x y))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 500 (+.f64 x y)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 500 (+.f64 x y)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 500 (+.f64 x y)))) 2))
(log1p.f64 (expm1.f64 (*.f64 500 (+.f64 x y))))

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

eval37.0ms (1.4%)

Compiler: Compiled 1532 to 1068 computations (30.3% saved)

prune20.0ms (0.7%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	113	1	114
Fresh	0	0	0
Picked	1	4	5
Done	0	1	1
Total	114	6	120

Accuracy

100.0%

Counts

120 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 x 500 (*.f64 -500 y))
✓	100.0%	(fma.f64 -500 y (*.f64 500 x))
✓	100.0%	(+.f64 (.f64 -500 y) (.f64 500 x))
✓	100.0%	(*.f64 500 (-.f64 x y))
✓	47.1%	(*.f64 500 x)
✓	54.7%	(*.f64 -500 y)
▶	100.0%	(fma.f64 x 500 (*.f64 -500 y))
✓	100.0%	(fma.f64 -500 y (*.f64 500 x))
✓	100.0%	(+.f64 (.f64 -500 y) (.f64 500 x))
✓	100.0%	(*.f64 500 (-.f64 x y))
✓	47.1%	(*.f64 500 x)
✓	54.7%	(*.f64 -500 y)

Compiler

Compiled 84 to 64 computations (23.8% saved)

localize25.0ms (0.9%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 16 to 11 computations (31.3% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite97.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

518×	`unpow-prod-down`
402×	`log-prod`
398×	`cbrt-prod`
356×	`sqrt-prod`
356×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	21
1	89	21
2	960	21

Stop Event

1×	node limit

Counts

1 → 42

Calls

Call 1

Inputs
(fma.f64 x 500 (*.f64 -500 y))

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

simplify57.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1050×	`times-frac`
964×	`associate-r`
888×	`associate-l`
806×	`fma-def`
622×	`log-prod`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	132	1836
1	281	1622
2	854	1593
3	5003	1588

Stop Event

1×	node limit

Counts

66 → 68

Calls

Call 1

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

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

eval22.0ms (0.8%)

Compiler: Compiled 964 to 728 computations (24.5% saved)

prune13.0ms (0.5%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	68	6	74

Accuracy

100.0%

Counts

74 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 x 500 (*.f64 -500 y))
✓	100.0%	(fma.f64 -500 y (*.f64 500 x))
✓	100.0%	(+.f64 (.f64 -500 y) (.f64 500 x))
✓	100.0%	(*.f64 500 (-.f64 x y))
✓	47.1%	(*.f64 500 x)
✓	54.7%	(*.f64 -500 y)

Compiler

Compiled 81 to 59 computations (27.2% saved)

regimes35.0ms (1.3%)

Counts

7 → 1

Calls

Call 1

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

Outputs
(fma.f64 -500 y (*.f64 500 x))

Calls

4 calls:

17.0ms	y
6.0ms	(-.f64 x y)
6.0ms	(*.f64 500 (-.f64 x y))
5.0ms	x

Results

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

Compiler

Compiled 57 to 39 computations (31.6% saved)

regimes19.0ms (0.7%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

4 calls:

5.0ms	(-.f64 x y)
4.0ms	(*.f64 500 (-.f64 x y))
4.0ms	y
4.0ms	x

Results

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

Compiler

Compiled 38 to 26 computations (31.6% saved)

regimes45.0ms (1.7%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

26.0ms	y
19.0ms	x

Results

Accuracy	Segments	Branch
78.7%	3	`x`
80.9%	7	`y`

Compiler

Compiled 14 to 10 computations (28.6% saved)

regimes6.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 -500 y)

Outputs
(*.f64 -500 y)

Calls

2 calls:

3.0ms	y
3.0ms	x

Results

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

Compiler

Compiled 11 to 8 computations (27.3% saved)

bsearch20.0ms (0.8%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
7.0ms	3.7002847867536977e+67	1.381227516922474e+68
13.0ms	-1.0118543658352365e-13	-1.9148895465445427e-16

Results

17.0ms	207×	body	256	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 168 to 139 computations (17.3% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	101
1	35	101
2	40	101
3	42	101
4	43	101

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(if (<=.f64 x -3961408125713217/39614081257132168796771975168) (.f64 500 x) (if (<=.f64 x 38000000000000002037837297717225532438543058589860404488408022384640) (.f64 -500 y) (*.f64 500 x)))
(*.f64 -500 y)

Outputs
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(if (<=.f64 x -3961408125713217/39614081257132168796771975168) (.f64 500 x) (if (<=.f64 x 38000000000000002037837297717225532438543058589860404488408022384640) (.f64 -500 y) (*.f64 500 x)))
(if (or (<=.f64 x -3961408125713217/39614081257132168796771975168) (not (<=.f64 x 38000000000000002037837297717225532438543058589860404488408022384640))) (.f64 500 x) (.f64 -500 y))
(*.f64 -500 y)

Compiler

Compiled 37 to 28 computations (24.3% saved)

soundness88.0ms (3.4%)

Rules

1388×	`associate-r`
1112×	`fma-neg`
1108×	`associate-l`
1064×	`fma-def`
758×	`distribute-lft-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	99	1325
1	227	1215
2	518	1215
3	1579	1215
4	7283	1215

Stop Event

1×	node limit

Compiler

Compiled 15 to 11 computations (26.7% saved)

end0.0ms (0%)

preprocess65.0ms (2.5%)

Compiler: Compiled 76 to 54 computations (28.9% saved)

analyze0.0ms (0%)

sample1.2s (45.7%)

preprocess99.0ms (3.8%)

eval0.0ms (0%)

prune2.0ms (0.1%)

localize89.0ms (3.4%)

series3.0ms (0.1%)

rewrite167.0ms (6.3%)

simplify94.0ms (3.6%)

eval10.0ms (0.4%)

prune60.0ms (2.3%)

localize117.0ms (4.5%)

series4.0ms (0.1%)

rewrite83.0ms (3.2%)

simplify146.0ms (5.6%)

eval37.0ms (1.4%)

prune20.0ms (0.7%)

localize25.0ms (0.9%)

series0.0ms (0%)

rewrite97.0ms (3.7%)

simplify57.0ms (2.2%)

eval22.0ms (0.8%)

prune13.0ms (0.5%)

regimes35.0ms (1.3%)

regimes19.0ms (0.7%)

regimes45.0ms (1.7%)

regimes6.0ms (0.2%)

bsearch20.0ms (0.8%)

simplify5.0ms (0.2%)

soundness88.0ms (3.4%)

end0.0ms (0%)

preprocess65.0ms (2.5%)

Profiling