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

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)

sample691.0ms (33.4%)

Results

657.0ms	8089×	body	256	valid
9.0ms	45×	body	1024	valid
6.0ms	42×	body	2048	valid
4.0ms	55×	body	256	infinite
2.0ms	25×	body	512	valid

Bogosity

preprocess29.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	16	60
1	31	56
2	78	52
3	201	52
4	339	52
5	460	52
6	594	52
7	673	52

Stop Event

1×

saturated

Calls

Call 1

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

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify17.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

352×	`fma-def`
54×	`distribute-lft-in`
48×	`distribute-rgt-in`
48×	`unsub-neg`
40×	`fma-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	11	13
2	22	13
3	45	13
4	72	13
5	101	13
6	172	13
7	268	13
8	382	13
9	451	13
10	534	13
11	550	13

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Accurracy

100.0%

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize20.0ms (1%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(*.f64 200 (-.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 200 (-.f64 x y))
0.0ms	y	@	inf	(*.f64 200 (-.f64 x y))
0.0ms	x	@	-inf	(*.f64 200 (-.f64 x y))
0.0ms	x	@	0	(*.f64 200 (-.f64 x y))
0.0ms	y	@	-inf	(*.f64 200 (-.f64 x y))

rewrite56.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1602×	`pow1`
1490×	`add-exp-log`
1490×	`log1p-expm1-u`
1490×	`expm1-log1p-u`
1460×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	151	13
2	1975	13

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

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

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

simplify59.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

1368×	`fma-def`
1240×	`log-prod`
882×	`*-commutative`
678×	`associate-r`
614×	`associate-l`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	64	639
1	165	573
2	488	573
3	2901	573
4	7241	573

Stop Event

1×	node limit

Counts

41 → 25

Calls

Call 1

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

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

eval5.0ms (0.2%)

Compiler: Compiled 232 to 134 computations (42.2% saved)

prune11.0ms (0.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	20	5	25
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	20	6	26

Accurracy

100.0%

Counts

26 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 -200 y (*.f64 200 x))
▶	47.3%	(pow.f64 (sqrt.f64 (*.f64 200 (-.f64 x y))) 2)
▶	100.0%	(+.f64 (.f64 200 x) (.f64 -200 y))
✓	100.0%	(*.f64 200 (-.f64 x y))
▶	46.8%	(*.f64 200 x)
▶	54.6%	(*.f64 -200 y)
▶	100.0%	(fma.f64 -200 y (*.f64 200 x))
▶	47.3%	(pow.f64 (sqrt.f64 (*.f64 200 (-.f64 x y))) 2)
▶	100.0%	(+.f64 (.f64 200 x) (.f64 -200 y))
✓	100.0%	(*.f64 200 (-.f64 x y))
▶	46.8%	(*.f64 200 x)
▶	54.6%	(*.f64 -200 y)

Compiler

Compiled 162 to 126 computations (22.2% saved)

localize85.0ms (4.1%)

Local Accuracy

Found 5 expressions with local accuracy:

New	Accuracy	Program
	100.0%	(*.f64 200 (-.f64 x y))
✓	99.6%	(pow.f64 (sqrt.f64 (*.f64 200 (-.f64 x y))) 2)
✓	99.5%	(sqrt.f64 (*.f64 200 (-.f64 x y)))
✓	100.0%	(+.f64 (.f64 200 x) (.f64 -200 y))
✓	100.0%	(fma.f64 -200 y (*.f64 200 x))

Compiler

Compiled 69 to 41 computations (40.6% saved)

series14.0ms (0.7%)

Counts

4 → 55

Calls

24 calls:

Time	Variable		Point	Expression
2.0ms	y	@	inf	(sqrt.f64 (*.f64 200 (-.f64 x y)))
1.0ms	x	@	-inf	(pow.f64 (sqrt.f64 (*.f64 200 (-.f64 x y))) 2)
1.0ms	x	@	0	(sqrt.f64 (*.f64 200 (-.f64 x y)))
1.0ms	x	@	inf	(pow.f64 (sqrt.f64 (*.f64 200 (-.f64 x y))) 2)
1.0ms	y	@	inf	(pow.f64 (sqrt.f64 (*.f64 200 (-.f64 x y))) 2)

rewrite91.0ms (4.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1454×	`log-prod`
1068×	`fma-def`
698×	`pow-exp`
562×	`expm1-udef`
556×	`log1p-udef`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	60
1	366	60
2	4162	60

Stop Event

1×	node limit

Counts

4 → 207

Calls

Call 1

Inputs
(fma.f64 -200 y (*.f64 200 x))
(+.f64 (.f64 200 x) (.f64 -200 y))
(sqrt.f64 (*.f64 200 (-.f64 x y)))
(pow.f64 (sqrt.f64 (*.f64 200 (-.f64 x y))) 2)

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

simplify127.0ms (6.1%)

Algorithm

1×	egg-herbie

Rules

660×	`times-frac`
532×	`associate-+r+`
500×	`associate-+l+`
486×	`associate-r`
466×	`log-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	459	6414
1	1097	5786
2	3817	5384

Stop Event

1×	node limit

Counts

262 → 229

Calls

Call 1

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

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

eval112.0ms (5.4%)

Compiler: Compiled 4084 to 2898 computations (29% saved)

prune62.0ms (3%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	253	1	254
Fresh	0	0	0
Picked	1	4	5
Done	0	1	1
Total	254	6	260

Accurracy

100.0%

Counts

260 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 -200 y (*.f64 200 x))
▶	99.7%	(/.f64 200 (/.f64 1 (-.f64 x y)))
✓	100.0%	(+.f64 (.f64 200 x) (.f64 -200 y))
✓	100.0%	(*.f64 200 (-.f64 x y))
✓	46.8%	(*.f64 200 x)
✓	54.6%	(*.f64 -200 y)
✓	100.0%	(fma.f64 -200 y (*.f64 200 x))
▶	99.7%	(/.f64 200 (/.f64 1 (-.f64 x y)))
✓	100.0%	(+.f64 (.f64 200 x) (.f64 -200 y))
✓	100.0%	(*.f64 200 (-.f64 x y))
✓	46.8%	(*.f64 200 x)
✓	54.6%	(*.f64 -200 y)

Compiler

Compiled 86 to 66 computations (23.3% saved)

localize59.0ms (2.8%)

Local Accuracy

Found 2 expressions with local accuracy:

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

Compiler

Compiled 22 to 12 computations (45.5% saved)

series3.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite102.0ms (4.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1208×	`unpow-prod-down`
840×	`log-prod`
742×	`prod-diff`
502×	`pow-prod-down`
428×	`pow-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	199	26
2	2570	26

Stop Event

1×	node limit

Counts

2 → 105

Calls

Call 1

Inputs
(/.f64 200 (/.f64 1 (-.f64 x y)))
(/.f64 1 (-.f64 x y))

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

simplify94.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

1656×	`times-frac`
960×	`fma-def`
650×	`distribute-lft-in`
628×	`distribute-rgt-in`
462×	`sqr-pow`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	307	3607
1	762	3345
2	2225	3223

Stop Event

1×	node limit

Counts

153 → 168

Calls

Call 1

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

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

eval63.0ms (3%)

Compiler: Compiled 2265 to 1393 computations (38.5% saved)

prune24.0ms (1.2%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	167	1	168
Fresh	0	0	0
Picked	1	0	1
Done	0	5	5
Total	168	6	174

Accurracy

100.0%

Counts

174 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 -200 y (*.f64 200 x))
▶	46.7%	(/.f64 200 (/.f64 1 x))
✓	100.0%	(+.f64 (.f64 200 x) (.f64 -200 y))
✓	100.0%	(*.f64 200 (-.f64 x y))
✓	46.8%	(*.f64 200 x)
✓	54.6%	(*.f64 -200 y)
✓	100.0%	(fma.f64 -200 y (*.f64 200 x))
▶	46.7%	(/.f64 200 (/.f64 1 x))
✓	100.0%	(+.f64 (.f64 200 x) (.f64 -200 y))
✓	100.0%	(*.f64 200 (-.f64 x y))
✓	46.8%	(*.f64 200 x)
✓	54.6%	(*.f64 -200 y)

Compiler

Compiled 82 to 64 computations (22% saved)

localize25.0ms (1.2%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	99.7%	(/.f64 200 (/.f64 1 x))

Compiler

Compiled 14 to 11 computations (21.4% saved)

series5.0ms (0.2%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
3.0ms	x	@	-inf	(/.f64 200 (/.f64 1 x))
2.0ms	x	@	0	(/.f64 200 (/.f64 1 x))
0.0ms	x	@	inf	(/.f64 200 (/.f64 1 x))

rewrite79.0ms (3.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1274×	`pow1`
1186×	`add-exp-log`
1186×	`log1p-expm1-u`
1186×	`expm1-log1p-u`
1158×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	148	7
2	1699	7

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

Inputs
(/.f64 200 (/.f64 1 x))

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

simplify45.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1086×	`log-prod`
916×	`fma-def`
844×	`associate-r`
766×	`associate-l`
628×	`distribute-rgt-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	245
1	123	245
2	412	245
3	2980	245

Stop Event

1×	node limit

Counts

35 → 23

Calls

Call 1

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

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

eval4.0ms (0.2%)

Compiler: Compiled 146 to 116 computations (20.5% saved)

prune8.0ms (0.4%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	23	0	23
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	23	6	29

Accurracy

100.0%

Counts

29 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 -200 y (*.f64 200 x))
✓	46.7%	(/.f64 200 (/.f64 1 x))
✓	100.0%	(+.f64 (.f64 200 x) (.f64 -200 y))
✓	100.0%	(*.f64 200 (-.f64 x y))
✓	46.8%	(*.f64 200 x)
✓	54.6%	(*.f64 -200 y)

Compiler

Compiled 87 to 63 computations (27.6% saved)

regimes23.0ms (1.1%)

Counts

8 → 1

Calls

Call 1

Inputs
(*.f64 -200 y)
(*.f64 200 x)
(*.f64 200 (-.f64 x y))
(/.f64 200 (/.f64 1 x))
(+.f64 (.f64 200 x) (.f64 -200 y))
(/.f64 200 (/.f64 1 (-.f64 x y)))
(fma.f64 -200 y (*.f64 200 x))
(pow.f64 (sqrt.f64 (*.f64 200 (-.f64 x y))) 2)

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

Calls

4 calls:

6.0ms	x
6.0ms	(*.f64 200 (-.f64 x y))
5.0ms	(-.f64 x y)
5.0ms	y

Results

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

Compiler

Compiled 64 to 43 computations (32.8% saved)

regimes64.0ms (3.1%)

Counts

2 → 5

Calls

Call 1

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

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

Calls

2 calls:

53.0ms	y
11.0ms	x

Results

Accuracy	Segments	Branch
75.1%	3	`x`
78.8%	5	`y`

Compiler

Compiled 14 to 10 computations (28.6% saved)

regimes5.0ms (0.3%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 -200 y)

Outputs
(*.f64 -200 y)

Calls

2 calls:

2.0ms	y
2.0ms	x

Results

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

Compiler

Compiled 11 to 8 computations (27.3% saved)

bsearch38.0ms (1.8%)

Algorithm

4×	binary-search

Stop Event

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

Steps

Time	Left	Right
9.0ms	1.2845748516776482e+126	1.3910912712588284e+127
7.0ms	1.1142700886942532e+100	4.442628940059363e+100
12.0ms	3.5930090947828464e-12	3.097334409616473e-8
9.0ms	-1.0162883704093513e-33	-9.84118632879022e-35

Results

33.0ms	396×	body	256	valid
0.0ms	3×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 312 to 259 computations (17% saved)

simplify7.0ms (0.4%)

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	25	91
1	36	91
2	44	91
3	52	87
4	57	87
5	61	87
6	62	87
7	63	87

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(*.f64 200 (-.f64 x y))

(if (<=.f64 y -5553706221857431/5846006549323611672814739330865132078623730171904) (*.f64 -200 y) (if (<=.f64 y 870426590122533/19342813113834066795298816) (*.f64 200 x) (if (<=.f64 y 44000000000000001476794765719728022428572320410766800772000576874946299098274640563140982019853385728) (*.f64 -200 y) (if (<=.f64 y 1299999999999999977481452753453409947771451228044074875892835328959118322601842023614801345559133140715357024250350688989609984) (*.f64 200 x) (*.f64 -200 y)))))

(*.f64 -200 y)

Outputs
(*.f64 200 (-.f64 x y))
(if (<=.f64 y -5553706221857431/5846006549323611672814739330865132078623730171904) (.f64 -200 y) (if (<=.f64 y 870426590122533/19342813113834066795298816) (.f64 200 x) (if (<=.f64 y 44000000000000001476794765719728022428572320410766800772000576874946299098274640563140982019853385728) (.f64 -200 y) (if (<=.f64 y 1299999999999999977481452753453409947771451228044074875892835328959118322601842023614801345559133140715357024250350688989609984) (.f64 200 x) (*.f64 -200 y)))))
(if (<=.f64 y -5553706221857431/5846006549323611672814739330865132078623730171904) (.f64 y -200) (if (<=.f64 y 870426590122533/19342813113834066795298816) (.f64 200 x) (if (<=.f64 y 44000000000000001476794765719728022428572320410766800772000576874946299098274640563140982019853385728) (.f64 y -200) (if (<=.f64 y 1299999999999999977481452753453409947771451228044074875892835328959118322601842023614801345559133140715357024250350688989609984) (.f64 200 x) (*.f64 y -200)))))
(if (<=.f64 y -5553706221857431/5846006549323611672814739330865132078623730171904) (.f64 y -200) (if (or (<=.f64 y 870426590122533/19342813113834066795298816) (and (not (<=.f64 y 44000000000000001476794765719728022428572320410766800772000576874946299098274640563140982019853385728)) (<=.f64 y 1299999999999999977481452753453409947771451228044074875892835328959118322601842023614801345559133140715357024250350688989609984))) (.f64 200 x) (*.f64 y -200)))
(*.f64 -200 y)
(*.f64 y -200)

Compiler

Compiled 40 to 30 computations (25% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess38.0ms (1.8%)

Compiler: Compiled 86 to 62 computations (27.9% saved)

Iter	Nodes	Cost
0	7	13
1	11	13
2	22	13
3	45	13
4	72	13
5	101	13
6	172	13
7	268	13
8	382	13
9	451	13
10	534	13
11	550	13

Iter	Nodes	Cost
0	7	13
1	11	13
2	22	13
3	45	13
4	72	13
5	101	13
6	172	13
7	268	13
8	382	13
9	451	13
10	534	13
11	550	13

analyze0.0ms (0%)

sample691.0ms (33.4%)

preprocess29.0ms (1.4%)

simplify17.0ms (0.8%)

eval0.0ms (0%)

prune1.0ms (0%)

localize20.0ms (1%)

series2.0ms (0.1%)

rewrite56.0ms (2.7%)

simplify59.0ms (2.9%)

eval5.0ms (0.2%)

prune11.0ms (0.5%)

localize85.0ms (4.1%)

series14.0ms (0.7%)

rewrite91.0ms (4.4%)

simplify127.0ms (6.1%)

eval112.0ms (5.4%)

prune62.0ms (3%)

localize59.0ms (2.8%)

series3.0ms (0.1%)

rewrite102.0ms (4.9%)

simplify94.0ms (4.5%)

eval63.0ms (3%)

prune24.0ms (1.2%)

localize25.0ms (1.2%)

series5.0ms (0.2%)

rewrite79.0ms (3.8%)

simplify45.0ms (2.2%)

eval4.0ms (0.2%)

prune8.0ms (0.4%)

regimes23.0ms (1.1%)

regimes64.0ms (3.1%)

regimes5.0ms (0.3%)

bsearch38.0ms (1.8%)

simplify7.0ms (0.4%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess38.0ms (1.8%)

Profiling

Iter	Nodes	Cost
0	7	13
1	11	13
2	22	13
3	45	13
4	72	13
5	101	13
6	172	13
7	268	13
8	382	13
9	451	13
10	534	13
11	550	13