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)

sample686.0ms (45.6%)

Results

664.0ms	8151×	body	256	valid
6.0ms	85×	body	256	infinite
1.0ms	6×	body	2048	valid
1.0ms	7×	body	1024	valid
1.0ms	7×	body	512	valid

Bogosity

preprocess53.0ms (3.5%)

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)

prune1.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)

localize22.0ms (1.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)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite93.0ms (6.2%)

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))

simplify63.0ms (4.2%)

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.7%)

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

prune8.0ms (0.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	39	3	42
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	39	4	43

Accuracy

100.0%

Counts

43 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 x 500 (*.f64 (neg.f64 y) 500))
✓	100.0%	(*.f64 500 (-.f64 x y))
▶	48.8%	(*.f64 500 x)
▶	53.4%	(*.f64 -500 y)
▶	100.0%	(fma.f64 x 500 (*.f64 (neg.f64 y) 500))
✓	100.0%	(*.f64 500 (-.f64 x y))
▶	48.8%	(*.f64 500 x)
▶	53.4%	(*.f64 -500 y)

Compiler

Compiled 52 to 40 computations (23.1% saved)

localize44.0ms (2.9%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 29 to 17 computations (41.4% saved)

series2.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

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

rewrite58.0ms (3.9%)

Algorithm

1×	batch-egg-rewrite

Rules

638×	`unpow-prod-down`
438×	`cbrt-prod`
438×	`log-prod`
381×	`log1p-expm1-u`
381×	`expm1-log1p-u`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	25
1	113	19
2	1331	19

Stop Event

1×	node limit

Counts

1 → 86

Calls

Call 1

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

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

simplify122.0ms (8.1%)

Algorithm

1×	egg-herbie

Rules

902×	`associate-r`
812×	`div-sub`
776×	`associate-l`
484×	`associate-/l*`
464×	`associate-+r+`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	257	2864
1	638	2679
2	1762	2637
3	6434	2565

Stop Event

1×	node limit

Counts

110 → 115

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 500 (+.f64 x y)) (fma.f64 y 500 (.f64 500 y)))
(+.f64 (.f64 500 (+.f64 x y)) (fma.f64 -500 y (.f64 500 y)))
(+.f64 (.f64 500 (+.f64 x y)) (fma.f64 500 y (.f64 500 y)))
(+.f64 (.f64 500 (+.f64 x y)) (fma.f64 -1 (.f64 500 y) (*.f64 500 y)))
(+.f64 (.f64 500 (+.f64 x y)) (fma.f64 (.f64 500 y) 1 (*.f64 500 y)))
(+.f64 (.f64 500 (+.f64 x y)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (.f64 500 y)) 2)) (cbrt.f64 (.f64 500 y)) (.f64 500 y)))
(+.f64 (.f64 500 (+.f64 x y)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 500 y))) (pow.f64 (cbrt.f64 (.f64 500 y)) 2) (.f64 500 y)))
(+.f64 (.f64 500 (+.f64 x y)) (fma.f64 (neg.f64 (sqrt.f64 (.f64 500 y))) (sqrt.f64 (.f64 500 y)) (.f64 500 y)))
(+.f64 (.f64 500 (+.f64 x y)) (fma.f64 y -500 (.f64 500 y)))
(+.f64 (.f64 x 500) (.f64 500 y))
(+.f64 0 (*.f64 500 (+.f64 x y)))
(+.f64 (.f64 (.f64 x 500) 1) (*.f64 500 y))
(+.f64 (fma.f64 x 500 (neg.f64 (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) 500)) (pow.f64 (cbrt.f64 y) 2) (.f64 (*.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2))))
(+.f64 (fma.f64 x 500 (neg.f64 (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) 500)) (sqrt.f64 y) (.f64 (*.f64 (sqrt.f64 y) 500) (sqrt.f64 y))))
(+.f64 (fma.f64 x 500 (neg.f64 (.f64 (.f64 500 y) -1))) (fma.f64 (.f64 500 y) -1 (.f64 (*.f64 500 y) -1)))
(+.f64 (fma.f64 x 500 (neg.f64 (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 500 (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (*.f64 500 (pow.f64 (cbrt.f64 y) 2)))))
(+.f64 (fma.f64 x 500 (neg.f64 (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 500 (sqrt.f64 y)) (.f64 (sqrt.f64 y) (*.f64 500 (sqrt.f64 y)))))
(+.f64 (fma.f64 500 x (neg.f64 (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) 500)) (pow.f64 (cbrt.f64 y) 2) (.f64 (*.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2))))
(+.f64 (fma.f64 500 x (neg.f64 (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) 500)) (sqrt.f64 y) (.f64 (*.f64 (sqrt.f64 y) 500) (sqrt.f64 y))))
(+.f64 (fma.f64 500 x (neg.f64 (.f64 (.f64 500 y) -1))) (fma.f64 (.f64 500 y) -1 (.f64 (*.f64 500 y) -1)))
(+.f64 (fma.f64 500 x (neg.f64 (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 500 (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (*.f64 500 (pow.f64 (cbrt.f64 y) 2)))))
(+.f64 (fma.f64 500 x (neg.f64 (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 500 (sqrt.f64 y)) (.f64 (sqrt.f64 y) (*.f64 500 (sqrt.f64 y)))))
(+.f64 (fma.f64 1 (.f64 x 500) (neg.f64 (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) 500)) (pow.f64 (cbrt.f64 y) 2) (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2))))
(+.f64 (fma.f64 1 (.f64 x 500) (neg.f64 (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) 500)) (sqrt.f64 y) (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y))))
(+.f64 (fma.f64 1 (.f64 x 500) (neg.f64 (.f64 (.f64 500 y) -1))) (fma.f64 (.f64 500 y) -1 (.f64 (.f64 500 y) -1)))
(+.f64 (fma.f64 1 (.f64 x 500) (neg.f64 (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 500 (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2)))))
(+.f64 (fma.f64 1 (.f64 x 500) (neg.f64 (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 500 (sqrt.f64 y)) (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) 500) (neg.f64 (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) 500)) (pow.f64 (cbrt.f64 y) 2) (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) 500) (neg.f64 (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) 500)) (sqrt.f64 y) (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) 500) (neg.f64 (.f64 (.f64 500 y) -1))) (fma.f64 (.f64 500 y) -1 (.f64 (.f64 500 y) -1)))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) 500) (neg.f64 (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 500 (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) 500) (neg.f64 (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 500 (sqrt.f64 y)) (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y)))))
(+.f64 (fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) 500) (neg.f64 (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) 500)) (pow.f64 (cbrt.f64 y) 2) (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2))))
(+.f64 (fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) 500) (neg.f64 (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) 500)) (sqrt.f64 y) (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y))))
(+.f64 (fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) 500) (neg.f64 (.f64 (.f64 500 y) -1))) (fma.f64 (.f64 500 y) -1 (.f64 (.f64 500 y) -1)))
(+.f64 (fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) 500) (neg.f64 (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 500 (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2)))))
(+.f64 (fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) 500) (neg.f64 (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 500 (sqrt.f64 y)) (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (cbrt.f64 (.f64 x 500)) (neg.f64 (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) 500)) (pow.f64 (cbrt.f64 y) 2) (.f64 (*.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (cbrt.f64 (.f64 x 500)) (neg.f64 (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) 500)) (sqrt.f64 y) (.f64 (*.f64 (sqrt.f64 y) 500) (sqrt.f64 y))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (cbrt.f64 (.f64 x 500)) (neg.f64 (.f64 (.f64 500 y) -1))) (fma.f64 (.f64 500 y) -1 (.f64 (*.f64 500 y) -1)))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (cbrt.f64 (.f64 x 500)) (neg.f64 (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 500 (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (*.f64 500 (pow.f64 (cbrt.f64 y) 2)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (cbrt.f64 (.f64 x 500)) (neg.f64 (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 500 (sqrt.f64 y)) (.f64 (sqrt.f64 y) (*.f64 500 (sqrt.f64 y)))))
(+.f64 (fma.f64 (sqrt.f64 (.f64 x 500)) (sqrt.f64 (.f64 x 500)) (neg.f64 (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) 500)) (pow.f64 (cbrt.f64 y) 2) (.f64 (*.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2))))
(+.f64 (fma.f64 (sqrt.f64 (.f64 x 500)) (sqrt.f64 (.f64 x 500)) (neg.f64 (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) 500)) (sqrt.f64 y) (.f64 (*.f64 (sqrt.f64 y) 500) (sqrt.f64 y))))
(+.f64 (fma.f64 (sqrt.f64 (.f64 x 500)) (sqrt.f64 (.f64 x 500)) (neg.f64 (.f64 (.f64 500 y) -1))) (fma.f64 (.f64 500 y) -1 (.f64 (*.f64 500 y) -1)))
(+.f64 (fma.f64 (sqrt.f64 (.f64 x 500)) (sqrt.f64 (.f64 x 500)) (neg.f64 (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 500 (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (*.f64 500 (pow.f64 (cbrt.f64 y) 2)))))
(+.f64 (fma.f64 (sqrt.f64 (.f64 x 500)) (sqrt.f64 (.f64 x 500)) (neg.f64 (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 500 (sqrt.f64 y)) (.f64 (sqrt.f64 y) (*.f64 500 (sqrt.f64 y)))))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 500) (+.f64 x y)) 2))) (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 x 500) (.f64 500 y))
(-.f64 (+.f64 1 (*.f64 500 (+.f64 x y))) 1)
(*.f64 500 (+.f64 x y))
(.f64 (.f64 500 (+.f64 x y)) 1)
(.f64 (.f64 500 (+.f64 x y)) (log.f64 (E.f64)))
(.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 (sqrt.f64 (.f64 500 (+.f64 x y))) (sqrt.f64 (*.f64 500 (+.f64 x y))))
(.f64 (pow.f64 1 1/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 (pow.f64 (sqrt.f64 (.f64 125000000 (pow.f64 (+.f64 x y) 3))) 1/3) (pow.f64 (sqrt.f64 (*.f64 125000000 (pow.f64 (+.f64 x y) 3))) 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 500 (+.f64 x y)) (cbrt.f64 (.f64 500 (+.f64 x y)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))))
(.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (*.f64 500 (+.f64 x y)))))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 125000000 (pow.f64 (+.f64 x y) 3)))) (cbrt.f64 (sqrt.f64 (*.f64 125000000 (pow.f64 (+.f64 x y) 3)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 500 (+.f64 x y)) (cbrt.f64 (.f64 500 (+.f64 x y)))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 500 (+.f64 x y)) 5/2)) (cbrt.f64 (sqrt.f64 (*.f64 500 (+.f64 x y)))))
(/.f64 (+.f64 (.f64 (pow.f64 x 3) 125000000) (pow.f64 (.f64 500 y) 3)) (+.f64 (pow.f64 (.f64 x 500) 2) (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (.f64 x 500) (*.f64 500 y)))))
(/.f64 (-.f64 (pow.f64 (.f64 x 500) 2) (.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 (*.f64 125000000 (pow.f64 (+.f64 x y) 3)) 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 250000 (pow.f64 (+.f64 x y) 2)))
(log.f64 (pow.f64 (exp.f64 500) (+.f64 x y)))
(cbrt.f64 (*.f64 125000000 (pow.f64 (+.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 (cbrt.f64 (.f64 500 (+.f64 x y)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 125000000 (pow.f64 (+.f64 x y) 3))) 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 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))
(*.f64 500 (+.f64 y x))
(+.f64 (.f64 500 (+.f64 x y)) (fma.f64 y 500 (.f64 500 y)))
(fma.f64 500 (+.f64 y x) (fma.f64 y 500 (*.f64 y 500)))
(fma.f64 500 (+.f64 y x) (*.f64 y 1000))
(+.f64 (.f64 500 x) (.f64 y 1500))
(+.f64 (.f64 500 (+.f64 x y)) (fma.f64 -500 y (.f64 500 y)))
(*.f64 500 (+.f64 y x))
(+.f64 (.f64 500 (+.f64 x y)) (fma.f64 500 y (.f64 500 y)))
(fma.f64 500 (+.f64 y x) (fma.f64 y 500 (*.f64 y 500)))
(fma.f64 500 (+.f64 y x) (*.f64 y 1000))
(+.f64 (.f64 500 x) (.f64 y 1500))
(+.f64 (.f64 500 (+.f64 x y)) (fma.f64 -1 (.f64 500 y) (*.f64 500 y)))
(*.f64 500 (+.f64 y x))
(+.f64 (.f64 500 (+.f64 x y)) (fma.f64 (.f64 500 y) 1 (*.f64 500 y)))
(fma.f64 500 (+.f64 y x) (fma.f64 y 500 (*.f64 y 500)))
(fma.f64 500 (+.f64 y x) (*.f64 y 1000))
(+.f64 (.f64 500 x) (.f64 y 1500))
(+.f64 (.f64 500 (+.f64 x y)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (.f64 500 y)) 2)) (cbrt.f64 (.f64 500 y)) (.f64 500 y)))
(*.f64 500 (+.f64 y x))
(+.f64 (.f64 500 (+.f64 x y)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 500 y))) (pow.f64 (cbrt.f64 (.f64 500 y)) 2) (.f64 500 y)))
(*.f64 500 (+.f64 y x))
(+.f64 (.f64 500 (+.f64 x y)) (fma.f64 (neg.f64 (sqrt.f64 (.f64 500 y))) (sqrt.f64 (.f64 500 y)) (.f64 500 y)))
(*.f64 500 (+.f64 y x))
(+.f64 (.f64 500 (+.f64 x y)) (fma.f64 y -500 (.f64 500 y)))
(*.f64 500 (+.f64 y x))
(+.f64 (.f64 x 500) (.f64 500 y))
(*.f64 500 (+.f64 y x))
(+.f64 0 (*.f64 500 (+.f64 x y)))
(*.f64 500 (+.f64 y x))
(+.f64 (.f64 (.f64 x 500) 1) (*.f64 500 y))
(*.f64 500 (+.f64 y x))
(+.f64 (fma.f64 x 500 (neg.f64 (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) 500)) (pow.f64 (cbrt.f64 y) 2) (.f64 (*.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 x 500 (neg.f64 (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) 500)) (sqrt.f64 y) (.f64 (*.f64 (sqrt.f64 y) 500) (sqrt.f64 y))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 x 500 (neg.f64 (.f64 (.f64 500 y) -1))) (fma.f64 (.f64 500 y) -1 (.f64 (*.f64 500 y) -1)))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 x 500 (neg.f64 (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 500 (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (*.f64 500 (pow.f64 (cbrt.f64 y) 2)))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 x 500 (neg.f64 (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 500 (sqrt.f64 y)) (.f64 (sqrt.f64 y) (*.f64 500 (sqrt.f64 y)))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 500 x (neg.f64 (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) 500)) (pow.f64 (cbrt.f64 y) 2) (.f64 (*.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 500 x (neg.f64 (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) 500)) (sqrt.f64 y) (.f64 (*.f64 (sqrt.f64 y) 500) (sqrt.f64 y))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 500 x (neg.f64 (.f64 (.f64 500 y) -1))) (fma.f64 (.f64 500 y) -1 (.f64 (*.f64 500 y) -1)))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 500 x (neg.f64 (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 500 (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (*.f64 500 (pow.f64 (cbrt.f64 y) 2)))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 500 x (neg.f64 (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 500 (sqrt.f64 y)) (.f64 (sqrt.f64 y) (*.f64 500 (sqrt.f64 y)))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 1 (.f64 x 500) (neg.f64 (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) 500)) (pow.f64 (cbrt.f64 y) 2) (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 1 (.f64 x 500) (neg.f64 (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) 500)) (sqrt.f64 y) (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 1 (.f64 x 500) (neg.f64 (.f64 (.f64 500 y) -1))) (fma.f64 (.f64 500 y) -1 (.f64 (.f64 500 y) -1)))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 1 (.f64 x 500) (neg.f64 (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 500 (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2)))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 1 (.f64 x 500) (neg.f64 (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 500 (sqrt.f64 y)) (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y)))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) 500) (neg.f64 (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) 500)) (pow.f64 (cbrt.f64 y) 2) (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) 500) (neg.f64 (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) 500)) (sqrt.f64 y) (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) 500) (neg.f64 (.f64 (.f64 500 y) -1))) (fma.f64 (.f64 500 y) -1 (.f64 (.f64 500 y) -1)))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) 500) (neg.f64 (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 500 (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2)))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) 500) (neg.f64 (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 500 (sqrt.f64 y)) (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y)))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) 500) (neg.f64 (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) 500)) (pow.f64 (cbrt.f64 y) 2) (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) 500) (neg.f64 (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) 500)) (sqrt.f64 y) (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) 500) (neg.f64 (.f64 (.f64 500 y) -1))) (fma.f64 (.f64 500 y) -1 (.f64 (.f64 500 y) -1)))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) 500) (neg.f64 (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 500 (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2)))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) 500) (neg.f64 (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 500 (sqrt.f64 y)) (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y)))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (cbrt.f64 (.f64 x 500)) (neg.f64 (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) 500)) (pow.f64 (cbrt.f64 y) 2) (.f64 (*.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (cbrt.f64 (.f64 x 500)) (neg.f64 (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) 500)) (sqrt.f64 y) (.f64 (*.f64 (sqrt.f64 y) 500) (sqrt.f64 y))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (cbrt.f64 (.f64 x 500)) (neg.f64 (.f64 (.f64 500 y) -1))) (fma.f64 (.f64 500 y) -1 (.f64 (*.f64 500 y) -1)))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (cbrt.f64 (.f64 x 500)) (neg.f64 (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 500 (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (*.f64 500 (pow.f64 (cbrt.f64 y) 2)))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (cbrt.f64 (.f64 x 500)) (neg.f64 (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 500 (sqrt.f64 y)) (.f64 (sqrt.f64 y) (*.f64 500 (sqrt.f64 y)))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (sqrt.f64 (.f64 x 500)) (sqrt.f64 (.f64 x 500)) (neg.f64 (.f64 (.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 y) 500)) (pow.f64 (cbrt.f64 y) 2) (.f64 (*.f64 (cbrt.f64 y) 500) (pow.f64 (cbrt.f64 y) 2))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (sqrt.f64 (.f64 x 500)) (sqrt.f64 (.f64 x 500)) (neg.f64 (.f64 (.f64 (sqrt.f64 y) 500) (sqrt.f64 y)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 y) 500)) (sqrt.f64 y) (.f64 (*.f64 (sqrt.f64 y) 500) (sqrt.f64 y))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (sqrt.f64 (.f64 x 500)) (sqrt.f64 (.f64 x 500)) (neg.f64 (.f64 (.f64 500 y) -1))) (fma.f64 (.f64 500 y) -1 (.f64 (*.f64 500 y) -1)))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (sqrt.f64 (.f64 x 500)) (sqrt.f64 (.f64 x 500)) (neg.f64 (.f64 (cbrt.f64 y) (.f64 500 (pow.f64 (cbrt.f64 y) 2))))) (fma.f64 (neg.f64 (cbrt.f64 y)) (.f64 500 (pow.f64 (cbrt.f64 y) 2)) (.f64 (cbrt.f64 y) (*.f64 500 (pow.f64 (cbrt.f64 y) 2)))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (fma.f64 (sqrt.f64 (.f64 x 500)) (sqrt.f64 (.f64 x 500)) (neg.f64 (.f64 (sqrt.f64 y) (.f64 500 (sqrt.f64 y))))) (fma.f64 (neg.f64 (sqrt.f64 y)) (.f64 500 (sqrt.f64 y)) (.f64 (sqrt.f64 y) (*.f64 500 (sqrt.f64 y)))))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 500) (+.f64 x y)) 2))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 500) (+.f64 x y)))))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 500) (+.f64 y x)) 2))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 500) (+.f64 y x)))))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 500) (*.f64 2 (+.f64 y x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 500) (+.f64 y x)))))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 500) (*.f64 (+.f64 y x) 2)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 500) (+.f64 y x)))))
(+.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 y x))
(-.f64 (.f64 x 500) (.f64 500 y))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(-.f64 (+.f64 1 (*.f64 500 (+.f64 x y))) 1)
(*.f64 500 (+.f64 y x))
(*.f64 500 (+.f64 x y))
(*.f64 500 (+.f64 y x))
(.f64 (.f64 500 (+.f64 x y)) 1)
(*.f64 500 (+.f64 y x))
(.f64 (.f64 500 (+.f64 x y)) (log.f64 (E.f64)))
(*.f64 500 (+.f64 y x))
(.f64 1 (.f64 500 (+.f64 x y)))
(*.f64 500 (+.f64 y x))
(.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) (pow.f64 (cbrt.f64 (*.f64 500 (+.f64 x y))) 2))
(*.f64 500 (+.f64 y x))
(.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2) (cbrt.f64 (*.f64 500 (+.f64 x y))))
(*.f64 500 (+.f64 y x))
(.f64 (sqrt.f64 (.f64 500 (+.f64 x y))) (sqrt.f64 (*.f64 500 (+.f64 x y))))
(*.f64 500 (+.f64 y x))
(.f64 (pow.f64 1 1/3) (.f64 500 (+.f64 x y)))
(*.f64 500 (+.f64 y x))
(.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 y x))
(.f64 (pow.f64 (sqrt.f64 (.f64 125000000 (pow.f64 (+.f64 x y) 3))) 1/3) (pow.f64 (sqrt.f64 (*.f64 125000000 (pow.f64 (+.f64 x y) 3))) 1/3))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 125000000 (pow.f64 (+.f64 y x) 3)))) (cbrt.f64 (sqrt.f64 (*.f64 125000000 (pow.f64 (+.f64 y x) 3)))))
(pow.f64 (pow.f64 (sqrt.f64 (*.f64 125000000 (pow.f64 (+.f64 y x) 3))) 1/6) 4)
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 500 (+.f64 x y)) (cbrt.f64 (.f64 500 (+.f64 x y)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 500 (.f64 (+.f64 y x) (cbrt.f64 (.f64 500 (+.f64 y x))))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 500 (+.f64 y x)))))
(.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 (.f64 500 (+.f64 x y)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (*.f64 500 (+.f64 x y)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 500 (+.f64 y x)) 5/2)) (cbrt.f64 (sqrt.f64 (*.f64 500 (+.f64 y x)))))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 125000000 (pow.f64 (+.f64 x y) 3)))) (cbrt.f64 (sqrt.f64 (*.f64 125000000 (pow.f64 (+.f64 x y) 3)))))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 125000000 (pow.f64 (+.f64 y x) 3)))) (cbrt.f64 (sqrt.f64 (*.f64 125000000 (pow.f64 (+.f64 y x) 3)))))
(pow.f64 (pow.f64 (sqrt.f64 (*.f64 125000000 (pow.f64 (+.f64 y x) 3))) 1/6) 4)
(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 500 (+.f64 x y)) (cbrt.f64 (.f64 500 (+.f64 x y)))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 500 (.f64 (+.f64 y x) (cbrt.f64 (.f64 500 (+.f64 y x))))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 500 (+.f64 y x)))))
(.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 (.f64 500 (+.f64 x y)) 5/2)) (cbrt.f64 (sqrt.f64 (*.f64 500 (+.f64 x y)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 500 (+.f64 y x)) 5/2)) (cbrt.f64 (sqrt.f64 (*.f64 500 (+.f64 y x)))))
(/.f64 (+.f64 (.f64 (pow.f64 x 3) 125000000) (pow.f64 (.f64 500 y) 3)) (+.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 125000000 (pow.f64 y 3))) (+.f64 (pow.f64 (.f64 500 x) 2) (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (.f64 y 500) (.f64 500 x)))))
(/.f64 (.f64 125000000 (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (+.f64 (pow.f64 (.f64 500 x) 2) (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 y (*.f64 x 250000)))))
(/.f64 (.f64 125000000 (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (-.f64 (.f64 (pow.f64 y 2) 250000) (.f64 (.f64 x 250000) (-.f64 y x))))
(/.f64 (-.f64 (pow.f64 (.f64 x 500) 2) (.f64 (pow.f64 y 2) 250000)) (*.f64 500 (+.f64 x y)))
(/.f64 (-.f64 (pow.f64 (.f64 500 x) 2) (.f64 (pow.f64 y 2) 250000)) (*.f64 500 (+.f64 y x)))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 500 x) 2) (.f64 (pow.f64 y 2) 250000)) 500) (+.f64 y x))
(/.f64 (.f64 250000 (-.f64 (.f64 x x) (pow.f64 y 2))) (*.f64 500 (+.f64 y x)))
(pow.f64 (*.f64 500 (+.f64 x y)) 1)
(*.f64 500 (+.f64 y x))
(pow.f64 (cbrt.f64 (*.f64 500 (+.f64 x y))) 3)
(*.f64 500 (+.f64 y x))
(pow.f64 (*.f64 250000 (pow.f64 (+.f64 x y) 2)) 1/2)
(sqrt.f64 (*.f64 250000 (pow.f64 (+.f64 y x) 2)))
(fabs.f64 (*.f64 500 (+.f64 y x)))
(pow.f64 (*.f64 125000000 (pow.f64 (+.f64 x y) 3)) 1/3)
(cbrt.f64 (*.f64 125000000 (pow.f64 (+.f64 y x) 3)))
(pow.f64 (sqrt.f64 (*.f64 500 (+.f64 x y))) 2)
(*.f64 500 (+.f64 y x))
(pow.f64 (E.f64) (log.f64 (*.f64 500 (+.f64 x y))))
(*.f64 500 (+.f64 y x))
(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 (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 (.f64 500 (+.f64 x y))))) (sqrt.f64 (log.f64 (.f64 500 (+.f64 x y)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 500 (+.f64 y x))))) (sqrt.f64 (log.f64 (.f64 500 (+.f64 y x)))))
(sqrt.f64 (*.f64 250000 (pow.f64 (+.f64 x y) 2)))
(sqrt.f64 (*.f64 250000 (pow.f64 (+.f64 y x) 2)))
(fabs.f64 (*.f64 500 (+.f64 y x)))
(log.f64 (pow.f64 (exp.f64 500) (+.f64 x y)))
(*.f64 500 (+.f64 y x))
(cbrt.f64 (*.f64 125000000 (pow.f64 (+.f64 x y) 3)))
(cbrt.f64 (*.f64 125000000 (pow.f64 (+.f64 y x) 3)))
(expm1.f64 (log1p.f64 (*.f64 500 (+.f64 x y))))
(*.f64 500 (+.f64 y x))
(exp.f64 (log.f64 (*.f64 500 (+.f64 x y))))
(*.f64 500 (+.f64 y x))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 500 (+.f64 x y)))) 3))
(*.f64 500 (+.f64 y x))
(exp.f64 (.f64 (log.f64 (.f64 125000000 (pow.f64 (+.f64 x y) 3))) 1/3))
(cbrt.f64 (*.f64 125000000 (pow.f64 (+.f64 y x) 3)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 500 (+.f64 x y)))) 2))
(*.f64 500 (+.f64 y x))
(log1p.f64 (expm1.f64 (*.f64 500 (+.f64 x y))))
(*.f64 500 (+.f64 y x))

eval86.0ms (5.7%)

Compiler: Compiled 2158 to 1365 computations (36.7% saved)

prune16.0ms (1.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	115	0	115
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	115	4	119

Accuracy

100.0%

Counts

119 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 x 500 (*.f64 (neg.f64 y) 500))
✓	100.0%	(*.f64 500 (-.f64 x y))
✓	48.8%	(*.f64 500 x)
✓	53.4%	(*.f64 -500 y)

Compiler

Compiled 46 to 34 computations (26.1% saved)

regimes42.0ms (2.8%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

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)

regimes15.0ms (1%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

4 calls:

3.0ms	(*.f64 500 (-.f64 x y))
3.0ms	y
3.0ms	(-.f64 x y)
3.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 31 to 21 computations (32.3% saved)

regimes22.0ms (1.5%)

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:

12.0ms	x
9.0ms	y

Results

Accuracy	Segments	Branch
81.4%	3	`x`
78.5%	3	`y`

Compiler

Compiled 14 to 10 computations (28.6% saved)

regimes6.0ms (0.4%)

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	x
3.0ms	y

Results

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

Compiler

Compiled 11 to 8 computations (27.3% saved)

bsearch23.0ms (1.5%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
10.0ms	5.586526965291072e+67	1.2325843780184086e+69
12.0ms	-3.060802131447528e-80	-1.465109512674267e-83

Results

19.0ms	237×	body	256	valid
0.0ms	1×	body	1024	valid
0.0ms	2×	body	256	infinite

Compiler

Compiled 192 to 159 computations (17.2% saved)

simplify6.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative`
8×	`sub-neg`
8×	`+-commutative`
6×	`neg-mul-1`
6×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	105
1	43	105
2	52	105
3	59	105
4	62	105
5	63	105

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(fma.f64 x 500 (*.f64 (neg.f64 y) 500))
(*.f64 500 (-.f64 x y))
(if (<=.f64 x -3203980553881365/266998379490113760299377713271194014325338065294581596243380200977777465722580068752870260867072) (.f64 500 x) (if (<=.f64 x 86000000000000002406464676646792074953752631353827929127718267912192) (.f64 -500 y) (*.f64 500 x)))
(*.f64 -500 y)

Outputs
(fma.f64 x 500 (*.f64 (neg.f64 y) 500))
(fma.f64 x 500 (*.f64 500 (neg.f64 y)))
(*.f64 500 (-.f64 x y))
(if (<=.f64 x -3203980553881365/266998379490113760299377713271194014325338065294581596243380200977777465722580068752870260867072) (.f64 500 x) (if (<=.f64 x 86000000000000002406464676646792074953752631353827929127718267912192) (.f64 -500 y) (*.f64 500 x)))
(if (or (<=.f64 x -3203980553881365/266998379490113760299377713271194014325338065294581596243380200977777465722580068752870260867072) (not (<=.f64 x 86000000000000002406464676646792074953752631353827929127718267912192))) (.f64 x 500) (.f64 y -500))
(*.f64 -500 y)
(*.f64 y -500)

Compiler

Compiled 38 to 29 computations (23.7% saved)

soundness88.0ms (5.8%)

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

Compiler

Compiled 28 to 18 computations (35.7% saved)

end0.0ms (0%)

preprocess37.0ms (2.5%)

Compiler: Compiled 78 to 56 computations (28.2% saved)

analyze0.0ms (0%)

sample686.0ms (45.6%)

preprocess53.0ms (3.5%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize22.0ms (1.4%)

series2.0ms (0.1%)

rewrite93.0ms (6.2%)

simplify63.0ms (4.2%)

eval10.0ms (0.7%)

prune8.0ms (0.5%)

localize44.0ms (2.9%)

series2.0ms (0.2%)

rewrite58.0ms (3.9%)

simplify122.0ms (8.1%)

eval86.0ms (5.7%)

prune16.0ms (1.1%)

regimes42.0ms (2.8%)

regimes15.0ms (1%)

regimes22.0ms (1.5%)

regimes6.0ms (0.4%)

bsearch23.0ms (1.5%)

simplify6.0ms (0.4%)

soundness88.0ms (5.8%)

end0.0ms (0%)

preprocess37.0ms (2.5%)

Profiling