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

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 8 to 6 computations (25% saved)

sample849.0ms (44.2%)

Results

824.0ms	8155×	body	256	valid
5.0ms	66×	body	256	infinite
4.0ms	21×	body	1024	valid
1.0ms	7×	body	2048	valid
1.0ms	7×	body	512	valid

Bogosity

preprocess102.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

192×	`fma-def`
47×	`associate-+l-`
45×	`associate--r+`
37×	`+-commutative`
34×	`*-commutative`

Problems

256×

No Errors

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	19	103
1	34	99
2	85	95
3	201	95
4	347	95
5	576	95
6	669	95
7	741	95

Stop Event

1×

saturated

Calls

Call 1

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

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

Compiler

Compiled 21 to 12 computations (42.9% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize21.0ms (1.1%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 7 computations (50% saved)

series3.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

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

rewrite159.0ms (8.3%)

Algorithm

1×	batch-egg-rewrite

Rules

438×	`*-un-lft-identity`
336×	`frac-times`
268×	`associate-*r/`
236×	`*-commutative`
205×	`times-frac`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 55

Calls

Call 1

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

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

simplify57.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

663×	`associate-/l*`
520×	`fma-def`
501×	`times-frac`
428×	`*-commutative`
351×	`associate-/r*`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	174	2753
1	505	2639
2	2156	2541

Stop Event

1×	node limit

Counts

79 → 87

Calls

Call 1

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

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

eval25.0ms (1.3%)

Compiler: Compiled 1407 to 742 computations (47.3% saved)

prune15.0ms (0.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	84	3	87
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	84	4	88

Accuracy

100.0%

Counts

88 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	44.5%	(/.f64 500 (/.f64 1 (+.f64 x y)))
✓	100.0%	(*.f64 500 (-.f64 x y))
▶	46.2%	(*.f64 500 x)
▶	54.9%	(*.f64 -500 y)
▶	44.5%	(/.f64 500 (/.f64 1 (+.f64 x y)))
✓	100.0%	(*.f64 500 (-.f64 x y))
▶	46.2%	(*.f64 500 x)
▶	54.9%	(*.f64 -500 y)

Compiler

Compiled 52 to 40 computations (23.1% saved)

localize44.0ms (2.3%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	100.0%	(/.f64 1 (+.f64 x y))
✓	99.5%	(/.f64 500 (/.f64 1 (+.f64 x y)))

Compiler

Compiled 32 to 18 computations (43.8% saved)

series3.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(/.f64 500 (/.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	x	@	-inf	(/.f64 1 (+.f64 x y))
0.0ms	y	@	0	(/.f64 1 (+.f64 x y))

rewrite88.0ms (4.6%)

Algorithm

1×	batch-egg-rewrite

Rules

622×	`associate-*r/`
385×	`associate-*l/`
304×	`*-commutative`
287×	`associate-/r*`
243×	`unswap-sqr`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	38
1	137	38
2	1722	38

Stop Event

1×	node limit

Counts

2 → 129

Calls

Call 1

Inputs
(/.f64 500 (/.f64 1 (+.f64 x y)))
(/.f64 1 (+.f64 x y))

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

simplify98.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

692×	`associate-/l*`
527×	`associate-*r/`
457×	`associate-/r*`
415×	`associate-*l/`
227×	`+-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	368	6997
1	1015	6572
2	3572	6485

Stop Event

1×	node limit

Counts

177 → 210

Calls

Call 1

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

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

eval80.0ms (4.2%)

Compiler: Compiled 3795 to 2349 computations (38.1% saved)

prune32.0ms (1.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	209	1	210
Fresh	0	0	0
Picked	1	2	3
Done	0	1	1
Total	210	4	214

Accuracy

100.0%

Counts

214 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	46.0%	(/.f64 500 (/.f64 1 x))
✓	100.0%	(*.f64 500 (-.f64 x y))
✓	46.2%	(*.f64 500 x)
✓	54.9%	(*.f64 -500 y)
▶	46.0%	(/.f64 500 (/.f64 1 x))
✓	100.0%	(*.f64 500 (-.f64 x y))
✓	46.2%	(*.f64 500 x)
✓	54.9%	(*.f64 -500 y)

Compiler

Compiled 48 to 38 computations (20.8% saved)

localize25.0ms (1.3%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	99.4%	(/.f64 500 (/.f64 1 x))

Compiler

Compiled 14 to 11 computations (21.4% saved)

series1.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite66.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

689×	`associate-r`
449×	`associate-l`
297×	`associate-*r/`
278×	`times-frac`
251×	`*-un-lft-identity`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	10
1	86	10
2	935	10

Stop Event

1×	node limit

Counts

1 → 79

Calls

Call 1

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

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

simplify80.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

530×	`associate-+r+`
513×	`associate-/l*`
511×	`*-commutative`
441×	`distribute-lft-neg-in`
253×	`associate-l`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	193	1911
1	468	1812
2	1693	1791
3	5775	1791

Stop Event

1×	node limit

Counts

91 → 110

Calls

Call 1

Inputs
(*.f64 500 x)
(*.f64 500 x)
(*.f64 500 x)
(*.f64 500 x)
(*.f64 500 x)
(*.f64 500 x)
(*.f64 500 x)
(*.f64 500 x)
(*.f64 500 x)
(*.f64 500 x)
(*.f64 500 x)
(*.f64 500 x)
(+.f64 (exp.f64 (log1p.f64 (*.f64 500 x))) -1)
(-.f64 (exp.f64 (log1p.f64 (*.f64 500 x))) 1)
(*.f64 500 x)
(.f64 1 (.f64 500 x))
(*.f64 x 500)
(*.f64 x -500)
(.f64 (.f64 500 x) 1)
(*.f64 -500 x)
(.f64 -1 (.f64 500 x))
(.f64 (sqrt.f64 x) (.f64 500 (sqrt.f64 x)))
(.f64 (sqrt.f64 (.f64 500 x)) (sqrt.f64 (*.f64 500 x)))
(.f64 (cbrt.f64 (.f64 500 x)) (cbrt.f64 (*.f64 (pow.f64 x 2) 250000)))
(.f64 (cbrt.f64 (.f64 (pow.f64 x 2) 250000)) (cbrt.f64 (*.f64 500 x)))
(.f64 (cbrt.f64 x) (.f64 500 (pow.f64 (cbrt.f64 x) 2)))
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 500 (cbrt.f64 x)))
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) 500))
(.f64 (.f64 500 (sqrt.f64 x)) (sqrt.f64 x))
(.f64 (.f64 500 (sqrt.f64 x)) (neg.f64 (sqrt.f64 x)))
(.f64 (.f64 500 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
(.f64 (.f64 500 (pow.f64 (cbrt.f64 x) 2)) (neg.f64 (cbrt.f64 x)))
(.f64 (.f64 500 (cbrt.f64 x)) (pow.f64 (cbrt.f64 x) 2))
(.f64 (sqrt.f64 500) (.f64 (sqrt.f64 x) (sqrt.f64 (*.f64 500 x))))
(.f64 (sqrt.f64 500) (sqrt.f64 (.f64 (pow.f64 x 2) 500)))
(.f64 (pow.f64 (.f64 500 x) 1/4) (.f64 (pow.f64 (.f64 500 x) 1/4) (sqrt.f64 (*.f64 500 x))))
(.f64 (pow.f64 (.f64 500 x) 1/4) (sqrt.f64 (pow.f64 (*.f64 500 x) 3/2)))
(.f64 (pow.f64 (.f64 500 x) 1/6) (.f64 (pow.f64 (.f64 500 x) 1/6) (cbrt.f64 (*.f64 (pow.f64 x 2) 250000))))
(.f64 (cbrt.f64 500) (.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 (pow.f64 x 2) 250000))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 x 2) 250000))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 500 x))) (cbrt.f64 (*.f64 (pow.f64 x 2) 250000))))
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 500 x) 4))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 x 2) 250000))) (cbrt.f64 (*.f64 500 x))))
(.f64 (.f64 (sqrt.f64 (.f64 500 x)) (cbrt.f64 (.f64 500 x))) (pow.f64 (*.f64 500 x) 1/6))
(.f64 (.f64 500 (neg.f64 (sqrt.f64 x))) (sqrt.f64 x))
(.f64 (.f64 500 (neg.f64 (pow.f64 (cbrt.f64 x) 2))) (cbrt.f64 x))
(.f64 (.f64 -500 (sqrt.f64 x)) (sqrt.f64 x))
(.f64 (.f64 -500 (sqrt.f64 x)) (neg.f64 (sqrt.f64 x)))
(.f64 (.f64 -500 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
(.f64 (.f64 -500 (pow.f64 (cbrt.f64 x) 2)) (neg.f64 (cbrt.f64 x)))
(.f64 (.f64 -500 (neg.f64 (sqrt.f64 x))) (sqrt.f64 x))
(.f64 (.f64 -500 (neg.f64 (pow.f64 (cbrt.f64 x) 2))) (cbrt.f64 x))
(.f64 (.f64 (sqrt.f64 (*.f64 500 x)) (sqrt.f64 500)) (sqrt.f64 x))
(.f64 (.f64 (sqrt.f64 (.f64 500 x)) (pow.f64 (.f64 500 x) 1/4)) (pow.f64 (*.f64 500 x) 1/4))
(.f64 (.f64 (cbrt.f64 (.f64 500 x)) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 500 x) 4)))) (cbrt.f64 (cbrt.f64 (*.f64 (pow.f64 x 2) 250000))))
(.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 x 2) 250000)) (pow.f64 (.f64 500 x) 1/6)) (pow.f64 (*.f64 500 x) 1/6))
(.f64 (.f64 (cbrt.f64 (*.f64 (pow.f64 x 2) 250000)) (cbrt.f64 500)) (cbrt.f64 x))
(.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 x 2) 250000)) (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 x 2) 250000)))) (cbrt.f64 (cbrt.f64 (*.f64 500 x))))
(.f64 (.f64 (*.f64 500 (sqrt.f64 x)) (pow.f64 x 1/4)) (pow.f64 x 1/4))
(.f64 (.f64 (*.f64 500 (sqrt.f64 x)) (cbrt.f64 x)) (pow.f64 x 1/6))
(.f64 (.f64 (*.f64 500 (pow.f64 (cbrt.f64 x) 2)) (pow.f64 x 1/6)) (pow.f64 x 1/6))
(.f64 (.f64 (*.f64 500 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 x) 2))) (cbrt.f64 (cbrt.f64 x)))
(.f64 (.f64 (*.f64 500 (sqrt.f64 x)) 1) (sqrt.f64 x))
(.f64 (.f64 (*.f64 500 (pow.f64 (cbrt.f64 x) 2)) 1) (cbrt.f64 x))
(.f64 (/.f64 (.f64 500 (sqrt.f64 x)) 1) (sqrt.f64 x))
(.f64 (/.f64 (.f64 500 (pow.f64 (cbrt.f64 x) 2)) 1) (cbrt.f64 x))
(.f64 (/.f64 (.f64 500 (sqrt.f64 x)) (sqrt.f64 -1)) (sqrt.f64 x))
(.f64 (/.f64 (.f64 500 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 -1)) (cbrt.f64 x))
(.f64 (.f64 (sqrt.f64 500) (sqrt.f64 500)) x)
(.f64 (sqrt.f64 (pow.f64 (.f64 500 x) 3/2)) (pow.f64 (*.f64 500 x) 1/4))
(.f64 (sqrt.f64 (.f64 x 250000)) (sqrt.f64 x))
(.f64 (sqrt.f64 (.f64 x (.f64 500 (cbrt.f64 (.f64 (pow.f64 x 2) 250000))))) (pow.f64 (*.f64 500 x) 1/6))
(.f64 (pow.f64 (pow.f64 (.f64 500 x) 1/6) 3) (pow.f64 (pow.f64 (*.f64 500 x) 1/6) 3))
(*.f64 (pow.f64 (cbrt.f64 500) 3) x)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 x 2) 250000))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 500 x))) 3))
(*.f64 (cbrt.f64 (/.f64 -125000000 (pow.f64 x 2))) (cbrt.f64 x))
(.f64 (cbrt.f64 (.f64 (.f64 500 x) (pow.f64 (.f64 500 x) 3/2))) (pow.f64 (*.f64 500 x) 1/6))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 500 x) 6) (.f64 (pow.f64 x 2) 250000)))) (cbrt.f64 (cbrt.f64 (*.f64 500 x))))
(pow.f64 (*.f64 500 x) 1)
(pow.f64 (*.f64 x 1/500) -1)
(pow.f64 (sqrt.f64 (*.f64 500 x)) 2)
(pow.f64 (cbrt.f64 (*.f64 500 x)) 3)
(pow.f64 (*.f64 (pow.f64 x 2) 250000) 1/2)
(pow.f64 (*.f64 (pow.f64 x 3) 125000000) 1/3)
(neg.f64 (*.f64 500 x))
(sqrt.f64 (*.f64 (pow.f64 x 2) 250000))
(fabs.f64 (*.f64 500 x))
(log.f64 (pow.f64 (exp.f64 500) x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 500 x))))
(cbrt.f64 (*.f64 (pow.f64 x 3) 125000000))
(expm1.f64 (log1p.f64 (*.f64 500 x)))
(exp.f64 (log.f64 (*.f64 500 x)))
(log1p.f64 (expm1.f64 (*.f64 500 x)))

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

eval30.0ms (1.5%)

Compiler: Compiled 1154 to 853 computations (26.1% saved)

prune18.0ms (0.9%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	110	4	114

Accuracy

100.0%

Counts

114 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	46.0%	(/.f64 500 (/.f64 1 x))
✓	100.0%	(*.f64 500 (-.f64 x y))
✓	46.2%	(*.f64 500 x)
✓	54.9%	(*.f64 -500 y)

Compiler

Compiled 49 to 37 computations (24.5% saved)

regimes23.0ms (1.2%)

Counts

5 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 43 to 30 computations (30.2% saved)

regimes26.0ms (1.3%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

13.0ms	y
12.0ms	x

Results

Accuracy	Segments	Branch
79.5%	3	`x`
75.8%	3	`y`

Compiler

Compiled 14 to 10 computations (28.6% saved)

regimes6.0ms (0.3%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 -500 y)

Outputs
(*.f64 -500 y)

Calls

2 calls:

3.0ms	y
3.0ms	x

Results

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

Compiler

Compiled 11 to 8 computations (27.3% saved)

bsearch33.0ms (1.7%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
18.0ms	5.998054719100682e+67	2.57579275284406e+75
15.0ms	-1.2365080099357862e+73	-1.8718111394993272e+64

Results

29.0ms	287×	body	256	valid
0.0ms	1×	body	256	infinite

Compiler

Compiled 228 to 189 computations (17.1% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	80
1	33	80
2	38	80
3	40	80
4	41	80

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 x -99999999999999999209038626283633850822756121694230455365568299008) (*.f64 500 x) (if (<=.f64 x 64999999999999995136446234387594918460625416937591529491564146458624) (*.f64 -500 y) (*.f64 500 x)))

(*.f64 -500 y)

Outputs
(*.f64 500 (-.f64 x y))
(if (<=.f64 x -99999999999999999209038626283633850822756121694230455365568299008) (.f64 500 x) (if (<=.f64 x 64999999999999995136446234387594918460625416937591529491564146458624) (.f64 -500 y) (*.f64 500 x)))
(if (or (<=.f64 x -99999999999999999209038626283633850822756121694230455365568299008) (not (<=.f64 x 64999999999999995136446234387594918460625416937591529491564146458624))) (.f64 500 x) (.f64 y -500))
(*.f64 -500 y)
(*.f64 y -500)

Compiler

Compiled 29 to 22 computations (24.1% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess30.0ms (1.6%)

Compiler: Compiled 64 to 46 computations (28.1% saved)

analyze0.0ms (0%)

sample849.0ms (44.2%)

preprocess102.0ms (5.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize21.0ms (1.1%)

series3.0ms (0.2%)

rewrite159.0ms (8.3%)

simplify57.0ms (2.9%)

eval25.0ms (1.3%)

prune15.0ms (0.8%)

localize44.0ms (2.3%)

series3.0ms (0.2%)

rewrite88.0ms (4.6%)

simplify98.0ms (5.1%)

eval80.0ms (4.2%)

prune32.0ms (1.7%)

localize25.0ms (1.3%)

series1.0ms (0.1%)

rewrite66.0ms (3.4%)

simplify80.0ms (4.2%)

eval30.0ms (1.5%)

prune18.0ms (0.9%)

regimes23.0ms (1.2%)

regimes26.0ms (1.3%)

regimes6.0ms (0.3%)

bsearch33.0ms (1.7%)

simplify4.0ms (0.2%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess30.0ms (1.6%)

Profiling