Details

Time bar (total: 2.7s)

analyze71.0ms (2.7%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
25%25%74.9%0.1%0%0%0%5
37.5%37.5%62.4%0.1%0%0%0%6
56.3%56.2%43.7%0.1%0%0%0%7
65.6%65.6%34.3%0.1%0%0%0%8
76.6%76.5%23.4%0.1%0%0%0%9
82%82%18%0.1%0%0%0%10
87.9%87.8%12.1%0.1%0%0%0%11
90.8%90.7%9.2%0.1%0%0%0%12
Compiler

Compiled 8 to 6 computations (25% saved)

sample1.0s (38.4%)

Results
912.0ms8256×body256valid
Bogosity

preprocess3.0ms (0.1%)

Algorithm
2×egg-herbie
Rules
4×rational_best_oopsla_all_46_json_45_simplify-35
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0926
11126
022
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(+.f64 x (/.f64 y 500))
(+.f64 y (/.f64 x 500))
Outputs
(+.f64 x (/.f64 y 500))
(+.f64 y (/.f64 x 500))
Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify7.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
2×rational_best_oopsla_all_46_json_45_simplify-35
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
1813
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(+.f64 x (/.f64 y 500))
Outputs
(+.f64 x (/.f64 y 500))

eval0.0ms (0%)

Compiler

Compiled 7 to 5 computations (28.6% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶0.0b
(+.f64 x (/.f64 y 500))
Compiler

Compiled 7 to 5 computations (28.6% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (/.f64 y 500))
Compiler

Compiled 13 to 8 computations (38.5% saved)

series1.0ms (0%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
0.0ms
y
@inf
(+.f64 x (/.f64 y 500))
0.0ms
x
@0
(+.f64 x (/.f64 y 500))
0.0ms
x
@inf
(+.f64 x (/.f64 y 500))
0.0ms
y
@0
(+.f64 x (/.f64 y 500))
0.0ms
y
@-inf
(+.f64 x (/.f64 y 500))

rewrite111.0ms (4.1%)

Algorithm
1×batch-egg-rewrite
Rules
1096×rational_best_oopsla_all_46_json_45_simplify-35
1004×rational_best_oopsla_all_46_json_45_simplify-37
932×rational_best_oopsla_all_46_json_45_simplify-23
904×rational_best_oopsla_all_46_json_45_simplify-13
646×rational_best_oopsla_all_46_json-2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
13813
28213
325113
4116713
5691513
Stop Event
1×node limit
Counts
1 → 54
Calls
Call 1
Inputs
(+.f64 x (/.f64 y 500))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 x (neg.f64 (/.f64 y 500)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 y 500) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (/.f64 y 500)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (/.f64 y 500)) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (/.f64 y 500)) (*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (/.f64 y 500)) (*.f64 (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (neg.f64 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (neg.f64 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (/.f64 y 500)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (/.f64 y 500)) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (/.f64 y 500)) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (/.f64 y 500)) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (/.f64 y 500)) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (/.f64 y 500)) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (/.f64 y 500)) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (/.f64 y 500)) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (/.f64 y 500)) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (/.f64 y 500)) (neg.f64 (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (/.f64 y 500)) (*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (/.f64 y 500)) (*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (/.f64 y 500)) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 x (/.f64 y 500)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 x (/.f64 y 500))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (*.f64 (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (*.f64 -1 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (neg.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (-.f64 (/.f64 0 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (neg.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (neg.f64 (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (+.f64 x (/.f64 y 500)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (+.f64 x (/.f64 y 500)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (neg.f64 (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (neg.f64 (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (+.f64 x (/.f64 y 500)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (/.f64 y 500)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (/.f64 y 500)) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (/.f64 y 500)) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 x (/.f64 y 500))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (+.f64 x (/.f64 y 500))))))))

simplify71.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
1414×rational_best_oopsla_all_46_json_45_simplify-82
1224×rational_best_oopsla_all_46_json_45_simplify-49
1044×rational_best_oopsla_all_46_json_45_simplify-72
708×rational_best_oopsla_all_46_json_45_simplify-23
656×rational_best_oopsla_all_46_json_45_simplify-35
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0109968
1460968
23304968
Stop Event
1×node limit
Counts
78 → 58
Calls
Call 1
Inputs
(*.f64 1/500 y)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
x
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
x
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
x
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(*.f64 1/500 y)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(*.f64 1/500 y)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(-.f64 x (neg.f64 (/.f64 y 500)))
(-.f64 (/.f64 y 500) (neg.f64 x))
(-.f64 (+.f64 x (/.f64 y 500)) 0)
(-.f64 (+.f64 x (/.f64 y 500)) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0))
(-.f64 (+.f64 x (/.f64 y 500)) (*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) 0))
(-.f64 (+.f64 x (/.f64 y 500)) (*.f64 (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) 0))
(-.f64 0 (neg.f64 (+.f64 x (/.f64 y 500))))
(-.f64 (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (neg.f64 (+.f64 x (/.f64 y 500)))))
(-.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (neg.f64 (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) 1)
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (neg.f64 (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(*.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))
(*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(*.f64 (neg.f64 (+.f64 x (/.f64 y 500))) -1)
(*.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(*.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (*.f64 (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(*.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (*.f64 -1 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(*.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (neg.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(*.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (-.f64 (/.f64 0 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(*.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (neg.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 -1 (neg.f64 (+.f64 x (/.f64 y 500))))
(*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))
(*.f64 (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))
(*.f64 (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (neg.f64 (+.f64 x (/.f64 y 500))))
(*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (+.f64 x (/.f64 y 500)))
(*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (+.f64 x (/.f64 y 500)))
(*.f64 (neg.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (neg.f64 (+.f64 x (/.f64 y 500))))
(*.f64 (neg.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (neg.f64 (+.f64 x (/.f64 y 500))))
(*.f64 (neg.f64 (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (+.f64 x (/.f64 y 500)))
(/.f64 (+.f64 x (/.f64 y 500)) 1)
(/.f64 (+.f64 x (/.f64 y 500)) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))
(/.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(/.f64 (+.f64 x (/.f64 y 500)) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(/.f64 (neg.f64 (+.f64 x (/.f64 y 500))) -1)
(neg.f64 (neg.f64 (+.f64 x (/.f64 y 500))))
Outputs
(*.f64 1/500 y)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
x
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
x
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
x
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(*.f64 1/500 y)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(*.f64 1/500 y)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(+.f64 (*.f64 1/500 y) x)
(-.f64 x (neg.f64 (/.f64 y 500)))
(-.f64 (/.f64 y 500) (neg.f64 x))
(-.f64 (/.f64 y 500) (neg.f64 x))
(-.f64 x (neg.f64 (/.f64 y 500)))
(-.f64 (+.f64 x (/.f64 y 500)) 0)
(+.f64 x (/.f64 y 500))
(-.f64 (+.f64 x (/.f64 y 500)) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0))
(+.f64 x (/.f64 y 500))
(-.f64 (+.f64 x (/.f64 y 500)) (*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) 0))
(+.f64 x (/.f64 y 500))
(-.f64 (+.f64 x (/.f64 y 500)) (*.f64 (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) 0))
(+.f64 x (/.f64 y 500))
(-.f64 0 (neg.f64 (+.f64 x (/.f64 y 500))))
(+.f64 x (/.f64 y 500))
(-.f64 (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (neg.f64 (+.f64 x (/.f64 y 500)))))
(+.f64 x (/.f64 y 500))
(-.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (neg.f64 (+.f64 x (/.f64 y 500)))))
(+.f64 x (/.f64 y 500))
(*.f64 (+.f64 x (/.f64 y 500)) 1)
(+.f64 x (/.f64 y 500))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))
(+.f64 x (/.f64 y 500))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 x (/.f64 y 500))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(+.f64 x (/.f64 y 500))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(+.f64 x (/.f64 y 500))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))))
(+.f64 x (/.f64 y 500))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 x (/.f64 y 500))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(+.f64 x (/.f64 y 500))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))))
(+.f64 x (/.f64 y 500))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))))
(+.f64 x (/.f64 y 500))
(*.f64 (+.f64 x (/.f64 y 500)) (neg.f64 (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(+.f64 x (/.f64 y 500))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(+.f64 x (/.f64 y 500))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(+.f64 x (/.f64 y 500))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(+.f64 x (/.f64 y 500))
(*.f64 1 (+.f64 x (/.f64 y 500)))
(+.f64 x (/.f64 y 500))
(*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))
(+.f64 x (/.f64 y 500))
(*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(+.f64 x (/.f64 y 500))
(*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(+.f64 x (/.f64 y 500))
(*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(+.f64 x (/.f64 y 500))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))
(+.f64 x (/.f64 y 500))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(+.f64 x (/.f64 y 500))
(*.f64 (neg.f64 (+.f64 x (/.f64 y 500))) -1)
(+.f64 x (/.f64 y 500))
(*.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(+.f64 x (/.f64 y 500))
(*.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (*.f64 (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(+.f64 x (/.f64 y 500))
(*.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (*.f64 -1 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(+.f64 x (/.f64 y 500))
(*.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (neg.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(+.f64 x (/.f64 y 500))
(*.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (-.f64 (/.f64 0 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(+.f64 x (/.f64 y 500))
(*.f64 (neg.f64 (+.f64 x (/.f64 y 500))) (neg.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 x (/.f64 y 500))
(*.f64 -1 (neg.f64 (+.f64 x (/.f64 y 500))))
(+.f64 x (/.f64 y 500))
(*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))
(+.f64 x (/.f64 y 500))
(*.f64 (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))
(+.f64 x (/.f64 y 500))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) (+.f64 x (/.f64 y 500)))
(+.f64 x (/.f64 y 500))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))
(+.f64 x (/.f64 y 500))
(*.f64 (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (neg.f64 (+.f64 x (/.f64 y 500))))
(+.f64 x (/.f64 y 500))
(*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (+.f64 x (/.f64 y 500)))
(+.f64 x (/.f64 y 500))
(*.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (+.f64 x (/.f64 y 500)))
(+.f64 x (/.f64 y 500))
(*.f64 (neg.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (neg.f64 (+.f64 x (/.f64 y 500))))
(+.f64 x (/.f64 y 500))
(*.f64 (neg.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (neg.f64 (+.f64 x (/.f64 y 500))))
(+.f64 x (/.f64 y 500))
(*.f64 (neg.f64 (neg.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (+.f64 x (/.f64 y 500)))
(+.f64 x (/.f64 y 500))
(/.f64 (+.f64 x (/.f64 y 500)) 1)
(+.f64 x (/.f64 y 500))
(/.f64 (+.f64 x (/.f64 y 500)) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))
(+.f64 x (/.f64 y 500))
(/.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(+.f64 x (/.f64 y 500))
(/.f64 (+.f64 x (/.f64 y 500)) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 x (/.f64 y 500))
(/.f64 (neg.f64 (+.f64 x (/.f64 y 500))) -1)
(+.f64 x (/.f64 y 500))
(neg.f64 (neg.f64 (+.f64 x (/.f64 y 500))))
(+.f64 x (/.f64 y 500))

eval87.0ms (3.3%)

Compiler

Compiled 1411 to 955 computations (32.3% saved)

prune55.0ms (2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New55358
Fresh000
Picked011
Done000
Total55459
Error
0.0b
Counts
59 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(+.f64 x (/.f64 y 500))
▶0.2b
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
▶31.4b
(*.f64 1/500 y)
31.6b
x
Compiler

Compiled 36 to 26 computations (27.8% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 1/500 y)
Compiler

Compiled 7 to 5 computations (28.6% saved)

series1.0ms (0%)

Counts
1 → 0
Calls

3 calls:

TimeVariablePointExpression
0.0ms
y
@inf
(*.f64 1/500 y)
0.0ms
y
@-inf
(*.f64 1/500 y)
0.0ms
y
@0
(*.f64 1/500 y)

rewrite81.0ms (3%)

Algorithm
1×batch-egg-rewrite
Rules
894×rational_best_oopsla_all_46_json_45_simplify-35
856×rational_best_oopsla_all_46_json_45_simplify-23
814×rational_best_oopsla_all_46_json_45_simplify-37
784×rational_best_oopsla_all_46_json_45_simplify-13
660×rational_best_oopsla_all_46_json_45_simplify-93
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
1297
2707
32227
410237
559027
Stop Event
1×node limit
Counts
1 → 27
Calls
Call 1
Inputs
(*.f64 1/500 y)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/500 y) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/500 y) (*.f64 0 (*.f64 y (/.f64 1/500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/500 y) (*.f64 0 (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/500 y) (*.f64 0 (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/500 y) (*.f64 0 (*.f64 (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 1/500 y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 y (/.f64 1/500 y))) (*.f64 1/500 y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y)))) (*.f64 1/500 y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y)))) (*.f64 1/500 y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)))) (*.f64 1/500 y))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 1/500 y) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 y -1/500))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 y (/.f64 1/500 y))) (*.f64 (*.f64 y (/.f64 1/500 y)) (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y)))) (*.f64 (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y))) (*.f64 y -1/500)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y)))) (*.f64 (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y))) (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)))) (*.f64 (*.f64 (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y))) (*.f64 y -1/500)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/500 y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/500 y) (/.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/500 y) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/500 y) (/.f64 (/.f64 y y) (/.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/500 y) (/.f64 (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/500 y) (/.f64 (*.f64 1/500 (/.f64 y y)) (*.f64 1/500 (/.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/500 y) (/.f64 (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y))) (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/500 y) (/.f64 (*.f64 y (/.f64 1/500 y)) (*.f64 y (/.f64 1/500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/500 y) (/.f64 (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y))) (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y -1/500) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 y -1/500))))))

simplify70.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
1410×rational_best_oopsla_all_46_json_45_simplify-13
1218×rational_best_oopsla_all_46_json_45_simplify-49
1172×rational_best_oopsla_all_46_json_45_simplify-7
794×rational_best_oopsla_all_46_json_45_simplify-89
614×rational_best_oopsla_all_46_json_45_simplify-74
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
062189
1195189
2856189
34149189
Stop Event
1×node limit
Counts
27 → 28
Calls
Call 1
Inputs
(+.f64 (*.f64 1/500 y) 0)
(+.f64 (*.f64 1/500 y) (*.f64 0 (*.f64 y (/.f64 1/500 y))))
(+.f64 (*.f64 1/500 y) (*.f64 0 (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y)))))
(+.f64 (*.f64 1/500 y) (*.f64 0 (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y)))))
(+.f64 (*.f64 1/500 y) (*.f64 0 (*.f64 (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)))))
(+.f64 0 (*.f64 1/500 y))
(+.f64 (*.f64 0 (*.f64 y (/.f64 1/500 y))) (*.f64 1/500 y))
(+.f64 (*.f64 0 (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y)))) (*.f64 1/500 y))
(+.f64 (*.f64 0 (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y)))) (*.f64 1/500 y))
(+.f64 (*.f64 0 (*.f64 (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)))) (*.f64 1/500 y))
(-.f64 (*.f64 1/500 y) 0)
(-.f64 0 (*.f64 y -1/500))
(-.f64 (*.f64 0 (*.f64 y (/.f64 1/500 y))) (*.f64 (*.f64 y (/.f64 1/500 y)) (neg.f64 y)))
(-.f64 (*.f64 0 (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y)))) (*.f64 (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y))) (*.f64 y -1/500)))
(-.f64 (*.f64 0 (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y)))) (*.f64 (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y))) (neg.f64 y)))
(-.f64 (*.f64 0 (*.f64 (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)))) (*.f64 (*.f64 (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y))) (*.f64 y -1/500)))
(/.f64 (*.f64 1/500 y) 1)
(/.f64 (*.f64 1/500 y) (/.f64 y y))
(/.f64 (*.f64 1/500 y) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)))
(/.f64 (*.f64 1/500 y) (/.f64 (/.f64 y y) (/.f64 y y)))
(/.f64 (*.f64 1/500 y) (/.f64 (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y))))
(/.f64 (*.f64 1/500 y) (/.f64 (*.f64 1/500 (/.f64 y y)) (*.f64 1/500 (/.f64 y y))))
(/.f64 (*.f64 1/500 y) (/.f64 (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y))) (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y)))))
(/.f64 (*.f64 1/500 y) (/.f64 (*.f64 y (/.f64 1/500 y)) (*.f64 y (/.f64 1/500 y))))
(/.f64 (*.f64 1/500 y) (/.f64 (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y))) (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y)))))
(/.f64 (*.f64 y -1/500) -1)
(neg.f64 (*.f64 y -1/500))
Outputs
(+.f64 (*.f64 1/500 y) 0)
(*.f64 1/500 y)
(+.f64 (*.f64 1/500 y) (*.f64 0 (*.f64 y (/.f64 1/500 y))))
(*.f64 1/500 y)
(+.f64 (*.f64 1/500 y) (*.f64 0 (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y)))))
(*.f64 1/500 y)
(+.f64 (*.f64 1/500 y) (*.f64 0 (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y)))))
(*.f64 1/500 y)
(+.f64 (*.f64 1/500 y) (*.f64 0 (*.f64 (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)))))
(*.f64 1/500 y)
(+.f64 0 (*.f64 1/500 y))
(*.f64 1/500 y)
(+.f64 (*.f64 0 (*.f64 y (/.f64 1/500 y))) (*.f64 1/500 y))
(*.f64 1/500 y)
(+.f64 (*.f64 0 (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y)))) (*.f64 1/500 y))
(*.f64 1/500 y)
(+.f64 (*.f64 0 (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y)))) (*.f64 1/500 y))
(*.f64 1/500 y)
(+.f64 (*.f64 0 (*.f64 (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)))) (*.f64 1/500 y))
(*.f64 1/500 y)
(-.f64 (*.f64 1/500 y) 0)
(*.f64 1/500 y)
(-.f64 0 (*.f64 y -1/500))
(*.f64 1/500 y)
(-.f64 (*.f64 0 (*.f64 y (/.f64 1/500 y))) (*.f64 (*.f64 y (/.f64 1/500 y)) (neg.f64 y)))
(*.f64 1/500 y)
(-.f64 (*.f64 0 (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y)))) (*.f64 (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y))) (*.f64 y -1/500)))
(*.f64 1/500 y)
(-.f64 (*.f64 0 (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y)))) (*.f64 (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y))) (neg.f64 y)))
(*.f64 1/500 y)
(-.f64 (*.f64 0 (*.f64 (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)))) (*.f64 (*.f64 (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y))) (*.f64 y -1/500)))
(*.f64 1/500 y)
(/.f64 (*.f64 1/500 y) 1)
(*.f64 1/500 y)
(/.f64 (*.f64 1/500 y) (/.f64 y y))
(*.f64 1/500 y)
(/.f64 (*.f64 1/500 y) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)))
(*.f64 1/500 y)
(/.f64 (*.f64 1/500 y) (/.f64 (/.f64 y y) (/.f64 y y)))
(*.f64 1/500 y)
(/.f64 (*.f64 1/500 y) (/.f64 (/.f64 (*.f64 1/500 y) (*.f64 1/500 y)) (/.f64 (*.f64 1/500 y) (*.f64 1/500 y))))
(*.f64 1/500 y)
(/.f64 (*.f64 1/500 y) (/.f64 (*.f64 1/500 (/.f64 y y)) (*.f64 1/500 (/.f64 y y))))
(*.f64 1/500 y)
(/.f64 (*.f64 1/500 y) (/.f64 (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y))) (*.f64 (/.f64 y y) (*.f64 1/500 (/.f64 y y)))))
(*.f64 1/500 y)
(/.f64 (*.f64 1/500 y) (/.f64 (*.f64 y (/.f64 1/500 y)) (*.f64 y (/.f64 1/500 y))))
(*.f64 1/500 y)
(/.f64 (*.f64 1/500 y) (/.f64 (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y))) (*.f64 (*.f64 1/500 y) (/.f64 1 (*.f64 1/500 y)))))
(*.f64 1/500 y)
(/.f64 (*.f64 y -1/500) -1)
(*.f64 1/500 y)
(neg.f64 (*.f64 y -1/500))
(*.f64 1/500 y)

localize19.0ms (0.7%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(+.f64 x (/.f64 y 500))
✓0.1b
(/.f64 1 (+.f64 x (/.f64 y 500)))
✓0.2b
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
Compiler

Compiled 53 to 36 computations (32.1% saved)

series2.0ms (0.1%)

Counts
2 → 48
Calls

12 calls:

TimeVariablePointExpression
0.0ms
x
@0
(/.f64 1 (+.f64 x (/.f64 y 500)))
0.0ms
y
@-inf
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
0.0ms
x
@inf
(/.f64 1 (+.f64 x (/.f64 y 500)))
0.0ms
y
@0
(/.f64 1 (+.f64 x (/.f64 y 500)))
0.0ms
x
@-inf
(/.f64 1 (+.f64 x (/.f64 y 500)))

rewrite158.0ms (5.9%)

Algorithm
1×batch-egg-rewrite
Rules
1990×rational_best_oopsla_all_46_json-2
1990×rational_best_oopsla_all_46_json-1
1990×rational_best_oopsla_all_46_json-4
1990×rational_best_oopsla_all_46_json-3
1100×rational_best_oopsla_all_46_json_45_simplify-7
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01056
15956
216756
374356
4398856
Stop Event
1×node limit
Counts
2 → 113
Calls
Call 1
Inputs
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 0 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (neg.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 0 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (neg.f64 (/.f64 0 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) 0) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) 0) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (neg.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) (/.f64 y 500)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) (/.f64 y 500)) (*.f64 x (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 y 500) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) x) (*.f64 (/.f64 y 500) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 y 500)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 y 500)) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) x) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (/.f64 0 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (neg.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 0 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 (neg.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 0 (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 0 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 0 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (/.f64 0 (+.f64 x (/.f64 y 500))) -1) (*.f64 -1 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (neg.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 1 (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 1 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 1 (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))) (neg.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 1 (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 1 (+.f64 x (/.f64 y 500))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))) (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))))))))

simplify136.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
1870×rational_best_oopsla_all_46_json_45_simplify-13
964×rational_best_oopsla_all_46_json_45_simplify-49
782×rational_best_oopsla_all_46_json_45_simplify-72
688×rational_best_oopsla_all_46_json_45_simplify-89
564×rational_best_oopsla_all_46_json_45_simplify-24
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02567315
18096827
231116827
Stop Event
1×node limit
Counts
161 → 144
Calls
Call 1
Inputs
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
(/.f64 500 y)
(+.f64 (*.f64 500 (/.f64 1 y)) (*.f64 -250000 (/.f64 x (pow.f64 y 2))))
(+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3))) (*.f64 -250000 (/.f64 x (pow.f64 y 2)))))
(+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3))) (+.f64 (*.f64 -250000 (/.f64 x (pow.f64 y 2))) (*.f64 -62500000000 (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(/.f64 1 x)
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (/.f64 1 x))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (/.f64 1 x)))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (+.f64 (*.f64 -1/125000000 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (/.f64 1 x))))
(/.f64 1 x)
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (/.f64 1 x))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (/.f64 1 x)))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (+.f64 (*.f64 -1/125000000 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (/.f64 1 x))))
(/.f64 1 x)
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (/.f64 1 x))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (/.f64 1 x)))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (+.f64 (*.f64 -1/125000000 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (/.f64 1 x))))
(/.f64 500 y)
(+.f64 (*.f64 500 (/.f64 1 y)) (*.f64 -250000 (/.f64 x (pow.f64 y 2))))
(+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3))) (*.f64 -250000 (/.f64 x (pow.f64 y 2)))))
(+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3))) (+.f64 (*.f64 -250000 (/.f64 x (pow.f64 y 2))) (*.f64 -62500000000 (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(/.f64 500 y)
(+.f64 (*.f64 500 (/.f64 1 y)) (*.f64 -250000 (/.f64 x (pow.f64 y 2))))
(+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3))) (*.f64 -250000 (/.f64 x (pow.f64 y 2)))))
(+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3))) (+.f64 (*.f64 -250000 (/.f64 x (pow.f64 y 2))) (*.f64 -62500000000 (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0)
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) 0))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 0 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) 0))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (neg.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 0 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(+.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (neg.f64 (/.f64 0 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) 0) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 0 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) 0) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (neg.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(+.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(+.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(+.f64 (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(+.f64 (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(+.f64 (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(+.f64 (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(+.f64 (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(+.f64 (*.f64 x (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) (/.f64 y 500)))
(+.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) (/.f64 y 500)) (*.f64 x (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (/.f64 y 500) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) x))
(+.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) x) (*.f64 (/.f64 y 500) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 y 500)))
(+.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 y 500)) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(+.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) x))
(+.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) x) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(+.f64 (*.f64 0 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(+.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(+.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (neg.f64 (/.f64 0 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))
(-.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0)
(-.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0))
(-.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) 0))
(-.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) 0))
(-.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0))
(-.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (neg.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0))
(-.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 0 (+.f64 x (/.f64 y 500)))))
(-.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500)))))
(-.f64 0 (*.f64 (neg.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (+.f64 x (/.f64 y 500))))
(-.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 0 (+.f64 x (/.f64 y 500))))
(-.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 0 (+.f64 x (/.f64 y 500)))))
(-.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 0 (+.f64 x (/.f64 y 500)))))
(-.f64 (*.f64 0 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500))))))
(-.f64 (*.f64 (/.f64 0 (+.f64 x (/.f64 y 500))) -1) (*.f64 -1 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(-.f64 (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500))))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 1)
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500)))) -1)
(neg.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500)))))
(neg.f64 (*.f64 (neg.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (+.f64 x (/.f64 y 500))))
(fabs.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(fabs.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500)))))
(+.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) 0)
(+.f64 0 (/.f64 1 (+.f64 x (/.f64 y 500))))
(-.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) 0)
(-.f64 0 (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))))
(*.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500))))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) 1)
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 1 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 1 (+.f64 x (/.f64 y 500))))
(*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(*.f64 (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))) -1)
(*.f64 (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))) (neg.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 -1 (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))))
(*.f64 -1 (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 1 (+.f64 x (/.f64 y 500))))
(*.f64 (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 1 (+.f64 x (/.f64 y 500))))
(*.f64 (neg.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))) (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))))
(neg.f64 (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))))
Outputs
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
(/.f64 500 y)
(+.f64 (*.f64 500 (/.f64 1 y)) (*.f64 -250000 (/.f64 x (pow.f64 y 2))))
(+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3))) (*.f64 -250000 (/.f64 x (pow.f64 y 2)))))
(+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 -250000 (/.f64 x (pow.f64 y 2))) (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3)))))
(+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3))) (+.f64 (*.f64 -250000 (/.f64 x (pow.f64 y 2))) (*.f64 -62500000000 (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(+.f64 (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3))) (+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 -250000 (/.f64 x (pow.f64 y 2))) (*.f64 -62500000000 (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(+.f64 (+.f64 (*.f64 -250000 (/.f64 x (pow.f64 y 2))) (*.f64 -62500000000 (/.f64 (pow.f64 x 3) (pow.f64 y 4)))) (+.f64 (*.f64 500 (/.f64 1 y)) (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3)))))
(/.f64 1 x)
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (/.f64 1 x))
(+.f64 (/.f64 1 x) (*.f64 -1/500 (/.f64 y (pow.f64 x 2))))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (/.f64 1 x)))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (/.f64 1 x) (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3)))))
(+.f64 (/.f64 1 x) (+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3)))))
(+.f64 (+.f64 (/.f64 1 x) (*.f64 -1/500 (/.f64 y (pow.f64 x 2)))) (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (+.f64 (*.f64 -1/125000000 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (/.f64 1 x))))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (+.f64 (/.f64 1 x) (*.f64 -1/125000000 (/.f64 (pow.f64 y 3) (pow.f64 x 4))))))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (/.f64 1 x) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (*.f64 -1/125000000 (/.f64 (pow.f64 y 3) (pow.f64 x 4))))))
(/.f64 1 x)
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (/.f64 1 x))
(+.f64 (/.f64 1 x) (*.f64 -1/500 (/.f64 y (pow.f64 x 2))))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (/.f64 1 x)))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (/.f64 1 x) (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3)))))
(+.f64 (/.f64 1 x) (+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3)))))
(+.f64 (+.f64 (/.f64 1 x) (*.f64 -1/500 (/.f64 y (pow.f64 x 2)))) (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (+.f64 (*.f64 -1/125000000 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (/.f64 1 x))))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (+.f64 (/.f64 1 x) (*.f64 -1/125000000 (/.f64 (pow.f64 y 3) (pow.f64 x 4))))))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (/.f64 1 x) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (*.f64 -1/125000000 (/.f64 (pow.f64 y 3) (pow.f64 x 4))))))
(/.f64 1 x)
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (/.f64 1 x))
(+.f64 (/.f64 1 x) (*.f64 -1/500 (/.f64 y (pow.f64 x 2))))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (/.f64 1 x)))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (/.f64 1 x) (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3)))))
(+.f64 (/.f64 1 x) (+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3)))))
(+.f64 (+.f64 (/.f64 1 x) (*.f64 -1/500 (/.f64 y (pow.f64 x 2)))) (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (+.f64 (*.f64 -1/125000000 (/.f64 (pow.f64 y 3) (pow.f64 x 4))) (/.f64 1 x))))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (+.f64 (/.f64 1 x) (*.f64 -1/125000000 (/.f64 (pow.f64 y 3) (pow.f64 x 4))))))
(+.f64 (*.f64 -1/500 (/.f64 y (pow.f64 x 2))) (+.f64 (/.f64 1 x) (+.f64 (*.f64 1/250000 (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (*.f64 -1/125000000 (/.f64 (pow.f64 y 3) (pow.f64 x 4))))))
(/.f64 500 y)
(+.f64 (*.f64 500 (/.f64 1 y)) (*.f64 -250000 (/.f64 x (pow.f64 y 2))))
(+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3))) (*.f64 -250000 (/.f64 x (pow.f64 y 2)))))
(+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 -250000 (/.f64 x (pow.f64 y 2))) (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3)))))
(+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3))) (+.f64 (*.f64 -250000 (/.f64 x (pow.f64 y 2))) (*.f64 -62500000000 (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(+.f64 (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3))) (+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 -250000 (/.f64 x (pow.f64 y 2))) (*.f64 -62500000000 (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(+.f64 (+.f64 (*.f64 -250000 (/.f64 x (pow.f64 y 2))) (*.f64 -62500000000 (/.f64 (pow.f64 x 3) (pow.f64 y 4)))) (+.f64 (*.f64 500 (/.f64 1 y)) (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3)))))
(/.f64 500 y)
(+.f64 (*.f64 500 (/.f64 1 y)) (*.f64 -250000 (/.f64 x (pow.f64 y 2))))
(+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3))) (*.f64 -250000 (/.f64 x (pow.f64 y 2)))))
(+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 -250000 (/.f64 x (pow.f64 y 2))) (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3)))))
(+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3))) (+.f64 (*.f64 -250000 (/.f64 x (pow.f64 y 2))) (*.f64 -62500000000 (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(+.f64 (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3))) (+.f64 (*.f64 500 (/.f64 1 y)) (+.f64 (*.f64 -250000 (/.f64 x (pow.f64 y 2))) (*.f64 -62500000000 (/.f64 (pow.f64 x 3) (pow.f64 y 4))))))
(+.f64 (+.f64 (*.f64 -250000 (/.f64 x (pow.f64 y 2))) (*.f64 -62500000000 (/.f64 (pow.f64 x 3) (pow.f64 y 4)))) (+.f64 (*.f64 500 (/.f64 1 y)) (*.f64 125000000 (/.f64 (pow.f64 x 2) (pow.f64 y 3)))))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0)
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) 0))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 0 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) 0))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (neg.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 0 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (neg.f64 (/.f64 0 (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 x (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 y 500) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) 0) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 0 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) 0) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (neg.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 y 500) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 x (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(+.f64 (*.f64 x (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) (/.f64 y 500)))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) (/.f64 y 500)) (*.f64 x (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (/.f64 y 500) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) x))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) x) (*.f64 (/.f64 y 500) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 y 500)))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (/.f64 y 500)) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) x))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) x) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 0 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(+.f64 (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 x (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))) (*.f64 (*.f64 (/.f64 y 500) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (neg.f64 (/.f64 0 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(-.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0)
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(-.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 0))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(-.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) 0))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(-.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) 0))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(-.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(-.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (neg.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) 0))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(-.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 0 (+.f64 x (/.f64 y 500)))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(-.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500)))))
(neg.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500)))))
(-.f64 0 (*.f64 (neg.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (+.f64 x (/.f64 y 500))))
(neg.f64 (*.f64 (+.f64 x (/.f64 y 500)) (neg.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(neg.f64 (-.f64 (*.f64 0 (+.f64 x (/.f64 y 500))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(-.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 0 (+.f64 x (/.f64 y 500))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(-.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 0 (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(-.f64 (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 0 (+.f64 x (/.f64 y 500)))))
(*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(-.f64 (*.f64 0 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))) (*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500))))))
(*.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (neg.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500))))))
(-.f64 (*.f64 (/.f64 0 (+.f64 x (/.f64 y 500))) -1) (*.f64 -1 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(neg.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500)))))
(-.f64 (*.f64 0 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (+.f64 (*.f64 x (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 y 500) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) 1)
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500)))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (+.f64 x (/.f64 y 500))))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))
(/.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500)))) -1)
(neg.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500)))))
(neg.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500)))))
(neg.f64 (*.f64 (neg.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500))))) (+.f64 x (/.f64 y 500))))
(neg.f64 (*.f64 (+.f64 x (/.f64 y 500)) (neg.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (+.f64 x (/.f64 y 500)) (+.f64 x (/.f64 y 500)))))))
(neg.f64 (-.f64 (*.f64 0 (+.f64 x (/.f64 y 500))) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(fabs.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(fabs.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 -1 (+.f64 x (/.f64 y 500)))))
(fabs.f64 (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(+.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) 0)
(/.f64 1 (+.f64 x (/.f64 y 500)))
(+.f64 0 (/.f64 1 (+.f64 x (/.f64 y 500))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(-.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) 0)
(/.f64 1 (+.f64 x (/.f64 y 500)))
(-.f64 0 (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) 1)
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500))))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 1 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (*.f64 (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 1 (+.f64 x (/.f64 y 500))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))) -1)
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))) (neg.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 -1 (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 -1 (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500))))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (*.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 1 (+.f64 x (/.f64 y 500))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (*.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500)))) (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))) (/.f64 1 (+.f64 x (/.f64 y 500))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(*.f64 (neg.f64 (/.f64 (/.f64 1 (+.f64 x (/.f64 y 500))) (/.f64 1 (+.f64 x (/.f64 y 500))))) (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))))
(/.f64 1 (+.f64 x (/.f64 y 500)))
(neg.f64 (neg.f64 (/.f64 1 (+.f64 x (/.f64 y 500)))))
(/.f64 1 (+.f64 x (/.f64 y 500)))

eval517.0ms (19.3%)

Compiler

Compiled 13717 to 9567 computations (30.3% saved)

prune135.0ms (5.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New3460346
Fresh011
Picked011
Done022
Total3464350
Error
0.0b
Counts
350 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(+.f64 x (/.f64 y 500))
✓0.2b
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
✓31.4b
(*.f64 1/500 y)
31.6b
x
Compiler

Compiled 36 to 26 computations (27.8% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune2.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done033
Total044
Error
0.0b
Counts
4 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(+.f64 x (/.f64 y 500))
✓0.2b
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
✓31.4b
(*.f64 1/500 y)
31.6b
x
Compiler

Compiled 36 to 26 computations (27.8% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune2.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done033
Total044
Error
0.0b
Counts
4 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(+.f64 x (/.f64 y 500))
✓0.2b
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
✓31.4b
(*.f64 1/500 y)
31.6b
x
Compiler

Compiled 36 to 26 computations (27.8% saved)

regimes19.0ms (0.7%)

Counts
4 → 1
Calls
Call 1
Inputs
x
(*.f64 1/500 y)
(+.f64 x (/.f64 y 500))
(*.f64 (+.f64 x (/.f64 y 500)) (*.f64 (+.f64 x (/.f64 y 500)) (/.f64 1 (+.f64 x (/.f64 y 500)))))
Outputs
(+.f64 x (/.f64 y 500))
Calls

4 calls:

5.0ms
(/.f64 y 500)
5.0ms
x
4.0ms
(+.f64 x (/.f64 y 500))
4.0ms
y
Results
ErrorSegmentsBranch
0.0b1x
0.0b1y
0.0b1(+.f64 x (/.f64 y 500))
0.0b1(/.f64 y 500)
Compiler

Compiled 48 to 33 computations (31.3% saved)

regimes27.0ms (1%)

Accuracy

Total -47.7b remaining (-338.6%)

Threshold costs -47.7b (-338.6%)

Counts
2 → 3
Calls
Call 1
Inputs
x
(*.f64 1/500 y)
Outputs
(*.f64 1/500 y)
x
(*.f64 1/500 y)
Calls

2 calls:

15.0ms
x
12.0ms
y
Results
ErrorSegmentsBranch
14.6b5x
14.1b3y
Compiler

Compiled 12 to 8 computations (33.3% saved)

bsearch28.0ms (1.1%)

Algorithm
2×binary-search
Steps
TimeLeftRight
14.0ms
3.7990844968122336e-14
3.605987150054239e-10
14.0ms
-6.3292738548549165e+50
-7.3056561550859535e+47
Results
25.0ms256×body256valid
Compiler

Compiled 172 to 137 computations (20.3% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01847
Stop Event
1×fuel
1×saturated
Calls
Call 1
Inputs
(+.f64 x (/.f64 y 500))
(if (<=.f64 y -850000000000000077833785795618108599333443076096) (*.f64 1/500 y) (if (<=.f64 y 4208996133570293/4951760157141521099596496896) x (*.f64 1/500 y)))
x
Outputs
(+.f64 x (/.f64 y 500))
(if (<=.f64 y -850000000000000077833785795618108599333443076096) (*.f64 1/500 y) (if (<=.f64 y 4208996133570293/4951760157141521099596496896) x (*.f64 1/500 y)))
x
Compiler

Compiled 27 to 19 computations (29.6% saved)

soundness0.0ms (0%)

end31.0ms (1.2%)

Compiler

Compiled 23 to 15 computations (34.8% saved)

Profiling

Loading profile data...