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)

sample791.0ms (31.7%)

Results

773.0ms	8150×	256	valid
5.0ms	77×	256	infinite
2.0ms	14×	1024	valid
1.0ms	9×	512	valid
1.0ms	6×	2048	valid

Bogosity

preprocess203.0ms (8.1%)

Algorithm

1×	egg-herbie

Rules

384×	`fma-def`
60×	`distribute-lft-in`
54×	`distribute-rgt-in`
46×	`fma-neg`
44×	`distribute-lft-neg-in`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`x`
-	-	`(*.f64 500 (-.f64 x y))`
-	-	`500`
-	-	`(-.f64 x y)`
-	-	`y`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	149
1	48	133
2	124	133
3	354	133
4	518	133
5	624	133
6	643	133
7	645	133

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)))
(neg.f64 (*.f64 500 (-.f64 (neg.f64 x) y)))
(neg.f64 (*.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 (+.f64 x y) -500)
(*.f64 500 (-.f64 x (neg.f64 y)))
(*.f64 500 (+.f64 x y))
(neg.f64 (*.f64 500 (-.f64 (neg.f64 x) y)))
(*.f64 500 (-.f64 x (neg.f64 y)))
(*.f64 500 (+.f64 x y))
(neg.f64 (*.f64 500 (-.f64 x (neg.f64 y))))
(*.f64 500 (-.f64 (neg.f64 x) y))
(*.f64 (+.f64 x y) -500)
(*.f64 500 (-.f64 y x))

Compiler

Compiled 35 to 19 computations (45.7% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize25.0ms (1%)

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	@	-inf	(*.f64 500 (-.f64 x y))

rewrite257.0ms (10.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	98	19
2	1309	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 (.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 x (*.f64 500 (neg.f64 y)))
(fma.f64 x 500 (*.f64 (neg.f64 y) 500))

simplify87.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1150×	`fma-def`
992×	`distribute-lft-in`
934×	`distribute-rgt-in`
592×	`fma-neg`
526×	`unsub-neg`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	99	1285
1	230	1165
2	522	1165
3	1650	1165
4	6529	1165

Stop Event

1×	node limit

Counts

53 → 41

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 (.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 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 (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 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (/.f64 (fma.f64 y (+.f64 y x) (pow.f64 x 2)) 500))
(/.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 (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 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (/.f64 (fma.f64 y (+.f64 y x) (pow.f64 x 2)) 500))
(/.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)
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(pow.f64 (*.f64 (pow.f64 (-.f64 x y) 3) 125000000) 1/3)
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(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))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(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))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(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 (.f64 3 (log.f64 (*.f64 500 (-.f64 x y)))) 1/3))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 (-.f64 x y))
(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 439 to 275 computations (37.4% saved)

prune8.0ms (0.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	36	5	41
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	36	6	42

Accuracy

100.0%

Counts

42 → 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))
▶	48.9%	(*.f64 500 x)
▶	52.4%	(*.f64 -500 y)

Compiler

Compiled 79 to 61 computations (22.8% saved)

localize131.0ms (5.2%)

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)

series5.0ms (0.2%)

Counts

3 → 54

Calls

18 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(fma.f64 x 500 (*.f64 (neg.f64 y) 500))
1.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 -500 y (*.f64 500 x))

rewrite105.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1176×	`unpow-prod-down`
740×	`fma-def`
676×	`log-prod`
626×	`log1p-expm1-u`
626×	`expm1-log1p-u`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	63
1	190	57
2	2507	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 y x))) (cbrt.f64 (pow.f64 (exp.f64 500) (+.f64 y x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 500) (+.f64 y x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 500) (+.f64 y x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 500) (+.f64 y x)))))
(-.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))) (cbrt.f64 (*.f64 250000 (pow.f64 (+.f64 x y) 2))))
(.f64 (cbrt.f64 (.f64 250000 (pow.f64 (+.f64 x y) 2))) (cbrt.f64 (*.f64 500 (+.f64 x y))))
(.f64 (cbrt.f64 (.f64 250000 (pow.f64 (+.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 (cbrt.f64 (.f64 250000 (pow.f64 (+.f64 x y) 2)))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 3))
(.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 (.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 (.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) (pow.f64 (cbrt.f64 (*.f64 500 (+.f64 x y))) 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 (sqrt.f64 (cbrt.f64 (.f64 250000 (pow.f64 (+.f64 x y) 2)))) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 2))
(.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 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 (*.f64 125000000 (pow.f64 (+.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 y x)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 500 (+.f64 x y)))))
(log.f64 (.f64 (pow.f64 (exp.f64 x) 500) (+.f64 1 (expm1.f64 (.f64 -500 y)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (pow.f64 (exp.f64 y) -500)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (+.f64 1 (expm1.f64 (*.f64 -500 y)))))
(log.f64 (.f64 (pow.f64 (exp.f64 y) -500) (+.f64 1 (expm1.f64 (.f64 500 x)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -500 y))) (pow.f64 (exp.f64 x) 500)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -500 y))) (+.f64 1 (expm1.f64 (*.f64 500 x)))))
(log.f64 (/.f64 (pow.f64 (exp.f64 x) 500) (+.f64 1 (expm1.f64 (*.f64 -500 y)))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 500 x))) (pow.f64 (exp.f64 y) -500)))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (+.f64 1 (expm1.f64 (.f64 -500 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 (.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))) (cbrt.f64 (*.f64 250000 (pow.f64 (+.f64 x y) 2))))
(.f64 (cbrt.f64 (.f64 250000 (pow.f64 (+.f64 x y) 2))) (cbrt.f64 (*.f64 500 (+.f64 x y))))
(.f64 (cbrt.f64 (.f64 250000 (pow.f64 (+.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 (cbrt.f64 (.f64 250000 (pow.f64 (+.f64 x y) 2)))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 3))
(.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 (.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 (.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) (pow.f64 (cbrt.f64 (*.f64 500 (+.f64 x y))) 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 (sqrt.f64 (cbrt.f64 (.f64 250000 (pow.f64 (+.f64 x y) 2)))) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 2))
(.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 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 (*.f64 125000000 (pow.f64 (+.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 y x)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 500 (+.f64 x y)))))
(log.f64 (.f64 (pow.f64 (exp.f64 x) 500) (+.f64 1 (expm1.f64 (.f64 -500 y)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (pow.f64 (exp.f64 y) -500)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (+.f64 1 (expm1.f64 (*.f64 -500 y)))))
(log.f64 (.f64 (pow.f64 (exp.f64 y) -500) (+.f64 1 (expm1.f64 (.f64 500 x)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -500 y))) (pow.f64 (exp.f64 x) 500)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -500 y))) (+.f64 1 (expm1.f64 (*.f64 500 x)))))
(log.f64 (/.f64 (pow.f64 (exp.f64 x) 500) (+.f64 1 (expm1.f64 (*.f64 -500 y)))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 500 x))) (pow.f64 (exp.f64 y) -500)))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (+.f64 1 (expm1.f64 (.f64 -500 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 (.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 (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)) (cbrt.f64 (.f64 (pow.f64 x 2) 250000)) (*.f64 -500 y))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 x 2) 250000)) (cbrt.f64 (.f64 500 x)) (*.f64 -500 y))
(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 (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 (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 -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 y x))) (cbrt.f64 (pow.f64 (exp.f64 500) (+.f64 y x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 500) (+.f64 y x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 500) (+.f64 y x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 500) (+.f64 y x)))))
(-.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))) (cbrt.f64 (*.f64 250000 (pow.f64 (+.f64 x y) 2))))
(.f64 (cbrt.f64 (.f64 250000 (pow.f64 (+.f64 x y) 2))) (cbrt.f64 (*.f64 500 (+.f64 x y))))
(.f64 (cbrt.f64 (.f64 250000 (pow.f64 (+.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 (cbrt.f64 (.f64 250000 (pow.f64 (+.f64 x y) 2)))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 3))
(.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 (.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 (.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) (pow.f64 (cbrt.f64 (*.f64 500 (+.f64 x y))) 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 (sqrt.f64 (cbrt.f64 (.f64 250000 (pow.f64 (+.f64 x y) 2)))) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 500 (+.f64 x y)))) 2))
(.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 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 (*.f64 125000000 (pow.f64 (+.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 y x)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 500 (+.f64 x y)))))
(log.f64 (.f64 (pow.f64 (exp.f64 x) 500) (+.f64 1 (expm1.f64 (.f64 -500 y)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (pow.f64 (exp.f64 y) -500)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (+.f64 1 (expm1.f64 (*.f64 -500 y)))))
(log.f64 (.f64 (pow.f64 (exp.f64 y) -500) (+.f64 1 (expm1.f64 (.f64 500 x)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -500 y))) (pow.f64 (exp.f64 x) 500)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -500 y))) (+.f64 1 (expm1.f64 (*.f64 500 x)))))
(log.f64 (/.f64 (pow.f64 (exp.f64 x) 500) (+.f64 1 (expm1.f64 (*.f64 -500 y)))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 500 x))) (pow.f64 (exp.f64 y) -500)))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (.f64 500 x))) (+.f64 1 (expm1.f64 (.f64 -500 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 (.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))))

simplify244.0ms (9.8%)

Algorithm

1×	egg-herbie

Rules

892×	`fma-def`
636×	`log-prod`
610×	`*-commutative`
586×	`fma-neg`
498×	`distribute-lft-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	252	9336
1	619	9056
2	1676	8693
3	5664	8489

Stop Event

1×	node limit

Counts

282 → 118

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

eval39.0ms (1.5%)

Compiler: Compiled 1602 to 1114 computations (30.5% saved)

prune17.0ms (0.7%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	117	1	118
Fresh	0	0	0
Picked	1	4	5
Done	0	1	1
Total	118	6	124

Accuracy

100.0%

Counts

124 → 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))
✓	48.9%	(*.f64 500 x)
✓	52.4%	(*.f64 -500 y)

Compiler

Compiled 42 to 32 computations (23.8% saved)

localize27.0ms (1.1%)

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)

series1.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	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))
0.0ms	y	@	inf	(fma.f64 x 500 (*.f64 -500 y))

rewrite66.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	21
1	89	21
2	963	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))))

simplify62.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1050×	`times-frac`
956×	`associate-r`
880×	`associate-l`
806×	`fma-def`
622×	`log-prod`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	132	1836
1	284	1622
2	857	1593
3	5013	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 (.f64 y 500) (.f64 500 x)))))
(/.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 (.f64 x 250000) (neg.f64 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))

eval28.0ms (1.1%)

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

prune78.0ms (3.1%)

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))
✓	48.9%	(*.f64 500 x)
✓	52.4%	(*.f64 -500 y)

Compiler

Compiled 81 to 59 computations (27.2% saved)

regimes51.0ms (2%)

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:

34.0ms	y
6.0ms	(-.f64 x y)
5.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 18 to 12 computations (33.3% saved)

regimes18.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)
5.0ms	x
4.0ms	(*.f64 500 (-.f64 x y))
4.0ms	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 18 to 12 computations (33.3% saved)

regimes32.0ms (1.3%)

Counts

2 → 5

Calls

Call 1

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

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

Calls

2 calls:

16.0ms	x
15.0ms	y

Results

Accuracy	Segments	Branch
78.7%	5	`x`
75.3%	5	`y`

Compiler

Compiled 6 to 4 computations (33.3% 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	x
3.0ms	y

Results

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

Compiler

Compiled 6 to 4 computations (33.3% saved)

bsearch57.0ms (2.3%)

Algorithm

4×	binary-search

Stop Event

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

Steps

Time	Left	Right
12.0ms	5.193787002506899e+36	2.4864147763204317e+40
14.0ms	2.318772132965069e-5	358.8727580123839
15.0ms	5.527747594681984e-53	1.7277771980394525e-41
15.0ms	-4.063882686831987e+91	-7.392882988820903e+85

Results

49.0ms	572×	256	valid
0.0ms	3×	256	infinite
0.0ms	1×	512	valid

Compiler

Compiled 444 to 369 computations (16.9% saved)

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

8×	`not-or`
8×	`*-commutative`
6×	`not-not`
6×	`if-if-or-not`
6×	`if-not`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	30	145
1	41	142
2	49	139
3	57	135
4	62	135
5	66	135
6	67	135
7	68	135

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 -55000000000000000418190442266846444607006036045042602923061490852797152944711795342311424) (.f64 500 x) (if (<=.f64 x 41377379603379/3064991081731777716716694054300618367237478244367204352) (.f64 -500 y) (if (<=.f64 x 8070450532247929/1152921504606846976) (.f64 500 x) (if (<=.f64 x 6199999999999999879315674985752690688) (.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 -55000000000000000418190442266846444607006036045042602923061490852797152944711795342311424) (.f64 500 x) (if (<=.f64 x 41377379603379/3064991081731777716716694054300618367237478244367204352) (.f64 -500 y) (if (<=.f64 x 8070450532247929/1152921504606846976) (.f64 500 x) (if (<=.f64 x 6199999999999999879315674985752690688) (.f64 -500 y) (*.f64 500 x)))))
(if (<=.f64 x -55000000000000000418190442266846444607006036045042602923061490852797152944711795342311424) (.f64 500 x) (if (<=.f64 x 41377379603379/3064991081731777716716694054300618367237478244367204352) (.f64 -500 y) (if (or (<=.f64 x 8070450532247929/1152921504606846976) (not (<=.f64 x 6199999999999999879315674985752690688))) (.f64 500 x) (.f64 -500 y))))
(if (<=.f64 x -55000000000000000418190442266846444607006036045042602923061490852797152944711795342311424) (.f64 500 x) (if (or (<=.f64 x 41377379603379/3064991081731777716716694054300618367237478244367204352) (not (or (<=.f64 x 8070450532247929/1152921504606846976) (not (<=.f64 x 6199999999999999879315674985752690688))))) (.f64 -500 y) (*.f64 500 x)))
(if (or (<=.f64 x -55000000000000000418190442266846444607006036045042602923061490852797152944711795342311424) (not (or (<=.f64 x 41377379603379/3064991081731777716716694054300618367237478244367204352) (not (or (<=.f64 x 8070450532247929/1152921504606846976) (not (<=.f64 x 6199999999999999879315674985752690688))))))) (.f64 500 x) (.f64 -500 y))
(if (or (<=.f64 x -55000000000000000418190442266846444607006036045042602923061490852797152944711795342311424) (not (or (<=.f64 x 41377379603379/3064991081731777716716694054300618367237478244367204352) (and (not (<=.f64 x 8070450532247929/1152921504606846976)) (<=.f64 x 6199999999999999879315674985752690688))))) (.f64 500 x) (.f64 -500 y))
(if (or (<=.f64 x -55000000000000000418190442266846444607006036045042602923061490852797152944711795342311424) (and (not (<=.f64 x 41377379603379/3064991081731777716716694054300618367237478244367204352)) (or (<=.f64 x 8070450532247929/1152921504606846976) (not (<=.f64 x 6199999999999999879315674985752690688))))) (.f64 500 x) (.f64 -500 y))
(*.f64 -500 y)

Compiler

Compiled 46 to 35 computations (23.9% saved)

soundness102.0ms (4.1%)

Rules

1150×	`fma-def`
992×	`distribute-lft-in`
934×	`distribute-rgt-in`
592×	`fma-neg`
526×	`unsub-neg`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	99	1285
1	230	1165
2	522	1165
3	1650	1165
4	6529	1165

Stop Event

1×	node limit

Compiler

Compiled 15 to 11 computations (26.7% saved)

end0.0ms (0%)

preprocess40.0ms (1.6%)

Compiler: Compiled 94 to 68 computations (27.7% saved)

analyze0.0ms (0%)

sample791.0ms (31.7%)

preprocess203.0ms (8.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize25.0ms (1%)

series2.0ms (0.1%)

rewrite257.0ms (10.3%)

simplify87.0ms (3.5%)

eval10.0ms (0.4%)

prune8.0ms (0.3%)

localize131.0ms (5.2%)

series5.0ms (0.2%)

rewrite105.0ms (4.2%)

simplify244.0ms (9.8%)

eval39.0ms (1.5%)

prune17.0ms (0.7%)

localize27.0ms (1.1%)

series1.0ms (0%)

rewrite66.0ms (2.7%)

simplify62.0ms (2.5%)

eval28.0ms (1.1%)

prune78.0ms (3.1%)

regimes51.0ms (2%)

regimes18.0ms (0.7%)

regimes32.0ms (1.3%)

regimes6.0ms (0.2%)

bsearch57.0ms (2.3%)

simplify8.0ms (0.3%)

soundness102.0ms (4.1%)

end0.0ms (0%)

preprocess40.0ms (1.6%)

Profiling