Details

Time bar (total: 4.3s)

analyze752.0ms (17.5%)

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
0%0%99.9%0.1%0%0%0%5
15.6%15.6%84.3%0.1%0%0%0%6
39.1%39%60.9%0.1%0%0%0%7
51.6%51.5%48.4%0.1%0%0%0%8
66%66%34%0.1%0%0%0%9
73.8%73.8%26.1%0.1%0%0%0%10
82.1%82%17.9%0.1%0%0%0%11
86.4%86.3%13.6%0.1%0%0%0%12
Compiler

Compiled 10 to 6 computations (40% saved)

sample889.0ms (20.7%)

Results
879.0ms8256×body256valid
Bogosity

preprocess904.0ms (21%)

Algorithm
2×egg-herbie
Rules
16374×rational.json-simplify-41
1646×rational.json-simplify-1
648×rational.json-simplify-35
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01038
11638
22538
34838
410938
531938
643038
743538
844038
944538
1045038
11162338
12162838
13163338
14163838
15164338
16164838
17227938
18228438
19228938
20229438
21229938
22230438
23230938
24231438
25231938
26232438
27232938
28233438
29233938
30234438
31234938
32235438
33235938
34236438
35236938
36237438
37237938
38238438
39238938
40239438
41239938
42240438
43240938
44241438
45241938
46242438
47242938
48243438
49243938
50244438
51244938
52245438
53245938
54246438
55246938
56247438
57247938
58248438
59248938
60249438
61249938
62250438
63250938
64251438
65251938
66252438
67252938
68253438
69253938
70254438
71254938
72255438
73255938
74256438
75256938
76257438
77257938
78258438
79258938
80259438
81259938
82260438
83260938
84261438
85261938
86262438
87262938
88263438
89263938
90264438
91264938
92265438
93265938
94266438
95266938
96267438
97267938
98268438
99268938
100269438
101269938
102270438
103270938
104271438
105271938
106272438
107272938
108273438
109273938
110274438
111274938
112275438
113275938
114276438
115276938
116277438
117277938
118278438
119278938
120279438
121279938
122280438
123280938
124281438
125281938
126282438
127282938
128283438
129283938
130284438
131284938
132285438
133285938
134286438
135286938
136287438
137287938
138288438
139288938
140289438
141289938
142290438
143290938
144291438
145291938
146292438
147292938
148293438
149293938
150294438
151294938
152295438
153295938
154296438
155296938
156297438
157297938
158298438
159298938
160299438
161299938
022
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(/.f64 (-.f64 x y) (+.f64 x y))
(/.f64 (-.f64 y x) (+.f64 y x))
Outputs
(/.f64 (-.f64 x y) (+.f64 x y))
(/.f64 (-.f64 y x) (+.f64 y x))
(/.f64 (-.f64 y x) (+.f64 x y))
Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify1.2s (28.1%)

Algorithm
1×egg-herbie
Rules
14546×rational.json-simplify-41
1432×rational.json-simplify-1
324×rational.json-simplify-35
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
11119
21819
33719
49219
528419
637519
737819
838119
938419
1038719
11136519
12136819
13137119
14137419
15137719
16138019
17192219
18192519
19192819
20193119
21193419
22193719
23194019
24194319
25194619
26194919
27195219
28195519
29195819
30196119
31196419
32196719
33197019
34197319
35197619
36197919
37198219
38198519
39198819
40199119
41199419
42199719
43200019
44200319
45200619
46200919
47201219
48201519
49201819
50202119
51202419
52202719
53203019
54203319
55203619
56203919
57204219
58204519
59204819
60205119
61205419
62205719
63206019
64206319
65206619
66206919
67207219
68207519
69207819
70208119
71208419
72208719
73209019
74209319
75209619
76209919
77210219
78210519
79210819
80211119
81211419
82211719
83212019
84212319
85212619
86212919
87213219
88213519
89213819
90214119
91214419
92214719
93215019
94215319
95215619
96215919
97216219
98216519
99216819
100217119
101217419
102217719
103218019
104218319
105218619
106218919
107219219
108219519
109219819
110220119
111220419
112220719
113221019
114221319
115221619
116221919
117222219
118222519
119222819
120223119
121223419
122223719
123224019
124224319
125224619
126224919
127225219
128225519
129225819
130226119
131226419
132226719
133227019
134227319
135227619
136227919
137228219
138228519
139228819
140229119
141229419
142229719
143230019
144230319
145230619
146230919
147231219
148231519
149231819
150232119
151232419
152232719
153233019
154233319
155233619
156233919
157234219
158234519
159234819
160235119
161235419
Stop Event
1×node limit
Counts
1 → 1
Calls
Call 1
Inputs
(/.f64 (-.f64 x y) (+.f64 x y))
Outputs
(/.f64 (-.f64 x y) (+.f64 x y))

eval0.0ms (0%)

Compiler

Compiled 9 to 5 computations (44.4% 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 (-.f64 x y) (+.f64 x y))
Compiler

Compiled 9 to 5 computations (44.4% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiled 17 to 5 computations (70.6% saved)

series2.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

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

rewrite73.0ms (1.7%)

Algorithm
1×batch-egg-rewrite
Rules
1384×rational.json-1
1384×rational.json-2
1384×rational.json-4
1384×rational.json-3
1376×exponential.json-3
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
14819
213219
335319
489719
5362219
Stop Event
1×node limit
Counts
1 → 76
Calls
Call 1
Inputs
(/.f64 (-.f64 x y) (+.f64 x y))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (-.f64 x y) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (/.f64 (-.f64 y x) (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1/2) (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 (-.f64 y x) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x y) (/.f64 1 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x y) (*.f64 1/2 (*.f64 2 (/.f64 1 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x y) (*.f64 1/2 (/.f64 2 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x y) (/.f64 (/.f64 1 (-.f64 x y)) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (-.f64 x y) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x y) 2) (/.f64 1/2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x y) 4) (/.f64 1 (*.f64 (+.f64 x y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x y) 4) (*.f64 (/.f64 1 (+.f64 x y)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x y) 4) (*.f64 1/2 (/.f64 1/2 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 x y)) (-.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 x y)) (/.f64 1 (/.f64 1 (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 y x) (/.f64 -1 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 1 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 2 (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (/.f64 (-.f64 y x) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (/.f64 (*.f64 (-.f64 x y) -2) (*.f64 (+.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x y) (/.f64 2 (-.f64 x y))) (/.f64 1 (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x y) (/.f64 2 (-.f64 x y))) (/.f64 1/2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (-.f64 x y) (*.f64 (+.f64 x y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x y) 8) (/.f64 1 (*.f64 (+.f64 x y) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (-.f64 x y)) (/.f64 (+.f64 x y) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/2 (+.f64 x y)) (*.f64 (-.f64 x y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x y) -2) (/.f64 -1/2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x y) -2) (/.f64 1 (*.f64 (+.f64 x y) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x y) -2) (/.f64 -1 (*.f64 (+.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (/.f64 1 (+.f64 x y))) (*.f64 (-.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 y x) (+.f64 x y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x y) (/.f64 1/2 (-.f64 x y))) (/.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/2 (-.f64 x y)) (/.f64 (*.f64 (+.f64 x y) 2) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 (+.f64 x y)) (*.f64 (-.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 (+.f64 x y) 4)) (*.f64 (-.f64 x y) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1 (+.f64 x y)) (-.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 (-.f64 x y)) (/.f64 (+.f64 x y) (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x y) 1/2) (*.f64 2 (/.f64 1 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x y) 1/2) (/.f64 2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (-.f64 y x)) (/.f64 (neg.f64 (+.f64 x y)) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 1 (+.f64 x y)) 1/4) (*.f64 (-.f64 x y) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (*.f64 2 (/.f64 1 (+.f64 x y)))) (-.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (/.f64 2 (+.f64 x y))) (-.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (/.f64 1/2 (+.f64 x y))) (*.f64 (-.f64 x y) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (/.f64 (+.f64 x y) (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (+.f64 x y) 2) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (/.f64 1/2 (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (*.f64 (+.f64 x y) (/.f64 1/2 (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 1 (-.f64 x y))) (/.f64 1 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x y) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (/.f64 1 (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (neg.f64 (+.f64 x y)) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (/.f64 1 (-.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (-.f64 x y)) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))) (*.f64 (+.f64 x y) (/.f64 2 (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))) (/.f64 (+.f64 x y) (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (-.f64 x y) -2) (*.f64 (+.f64 x y) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x y) (*.f64 (+.f64 x y) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1/2 (+.f64 x y)) (*.f64 (-.f64 x y) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (*.f64 (+.f64 x y) (/.f64 2 (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x y) (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))) (/.f64 2 (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 (+.f64 x y) 8)) (*.f64 (-.f64 x y) 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 (+.f64 x y) -2)) (*.f64 (-.f64 x y) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1 (*.f64 (+.f64 x y) 2)) (*.f64 (-.f64 x y) -2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (-.f64 y x) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (/.f64 (+.f64 x y) (-.f64 y x)) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (*.f64 (-.f64 x y) -2) (*.f64 (+.f64 x y) 2)))))))

simplify85.0ms (2%)

Algorithm
1×egg-herbie
Rules
1358×rational.json-simplify-2
900×rational.json-simplify-44
860×rational.json-simplify-61
856×rational.json-simplify-47
844×rational.json-simplify-35
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02193466
15003372
212793202
349723094
Stop Event
1×node limit
Counts
100 → 155
Calls
Call 1
Inputs
-1
(-.f64 (*.f64 2 (/.f64 x y)) 1)
(-.f64 (+.f64 (*.f64 -2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 2 (/.f64 x y))) 1)
(-.f64 (+.f64 (*.f64 -2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (*.f64 2 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 2 (/.f64 x y)))) 1)
1
(-.f64 (+.f64 1 (*.f64 -1 (/.f64 y x))) (/.f64 y x))
(-.f64 (+.f64 1 (+.f64 (*.f64 -1 (/.f64 (*.f64 y (-.f64 (*.f64 -1 y) y)) (pow.f64 x 2))) (*.f64 -1 (/.f64 y x)))) (/.f64 y x))
(-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 y 2) (-.f64 (*.f64 -1 y) y)) (pow.f64 x 3)) (+.f64 1 (+.f64 (*.f64 -1 (/.f64 (*.f64 y (-.f64 (*.f64 -1 y) y)) (pow.f64 x 2))) (*.f64 -1 (/.f64 y x))))) (/.f64 y x))
1
(-.f64 (+.f64 1 (*.f64 -1 (/.f64 y x))) (/.f64 y x))
(-.f64 (+.f64 1 (+.f64 (*.f64 -1 (/.f64 (*.f64 y (-.f64 (*.f64 -1 y) y)) (pow.f64 x 2))) (*.f64 -1 (/.f64 y x)))) (/.f64 y x))
(-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 y 2) (-.f64 (*.f64 -1 y) y)) (pow.f64 x 3)) (+.f64 1 (+.f64 (*.f64 -1 (/.f64 (*.f64 y (-.f64 (*.f64 -1 y) y)) (pow.f64 x 2))) (*.f64 -1 (/.f64 y x))))) (/.f64 y x))
1
(+.f64 1 (*.f64 -2 (/.f64 y x)))
(+.f64 1 (+.f64 (*.f64 -2 (/.f64 y x)) (*.f64 2 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 (*.f64 -2 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 1 (+.f64 (*.f64 -2 (/.f64 y x)) (*.f64 2 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))))
-1
(-.f64 (/.f64 x y) (+.f64 1 (*.f64 -1 (/.f64 x y))))
(-.f64 (+.f64 (/.f64 x y) (*.f64 -1 (/.f64 (*.f64 (-.f64 x (*.f64 -1 x)) x) (pow.f64 y 2)))) (+.f64 1 (*.f64 -1 (/.f64 x y))))
(-.f64 (+.f64 (/.f64 (*.f64 (-.f64 x (*.f64 -1 x)) (pow.f64 x 2)) (pow.f64 y 3)) (+.f64 (/.f64 x y) (*.f64 -1 (/.f64 (*.f64 (-.f64 x (*.f64 -1 x)) x) (pow.f64 y 2))))) (+.f64 1 (*.f64 -1 (/.f64 x y))))
-1
(-.f64 (*.f64 -1 (/.f64 (-.f64 (*.f64 -1 x) x) y)) 1)
(-.f64 (+.f64 (*.f64 -1 (/.f64 (-.f64 (*.f64 -1 x) x) y)) (/.f64 (*.f64 (-.f64 (*.f64 -1 x) x) x) (pow.f64 y 2))) 1)
(-.f64 (+.f64 (*.f64 -1 (/.f64 (-.f64 (*.f64 -1 x) x) y)) (+.f64 (*.f64 -1 (/.f64 (*.f64 (-.f64 (*.f64 -1 x) x) (pow.f64 x 2)) (pow.f64 y 3))) (/.f64 (*.f64 (-.f64 (*.f64 -1 x) x) x) (pow.f64 y 2)))) 1)
(+.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 0)
(+.f64 0 (/.f64 (-.f64 x y) (+.f64 x y)))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 y x) (+.f64 x y))))
(+.f64 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1/2) (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1/2))
(-.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 0)
(-.f64 0 (/.f64 (-.f64 y x) (+.f64 x y)))
(*.f64 (-.f64 x y) (/.f64 1 (+.f64 x y)))
(*.f64 (-.f64 x y) (*.f64 1/2 (*.f64 2 (/.f64 1 (+.f64 x y)))))
(*.f64 (-.f64 x y) (*.f64 1/2 (/.f64 2 (+.f64 x y))))
(*.f64 (+.f64 x y) (/.f64 (/.f64 1 (-.f64 x y)) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1)
(*.f64 1 (/.f64 (-.f64 x y) (+.f64 x y)))
(*.f64 (*.f64 (-.f64 x y) 2) (/.f64 1/2 (+.f64 x y)))
(*.f64 2 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1/2))
(*.f64 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 2) 1/2)
(*.f64 (*.f64 (-.f64 x y) 4) (/.f64 1 (*.f64 (+.f64 x y) 4)))
(*.f64 (*.f64 (-.f64 x y) 4) (*.f64 (/.f64 1 (+.f64 x y)) 1/4))
(*.f64 (*.f64 (-.f64 x y) 4) (*.f64 1/2 (/.f64 1/2 (+.f64 x y))))
(*.f64 (/.f64 1 (+.f64 x y)) (-.f64 x y))
(*.f64 (/.f64 1 (+.f64 x y)) (/.f64 1 (/.f64 1 (-.f64 x y))))
(*.f64 (-.f64 y x) (/.f64 -1 (+.f64 x y)))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 1 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 2 (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 -1 (/.f64 (-.f64 y x) (+.f64 x y)))
(*.f64 -1 (/.f64 (*.f64 (-.f64 x y) -2) (*.f64 (+.f64 x y) 2)))
(*.f64 (*.f64 (+.f64 x y) (/.f64 2 (-.f64 x y))) (/.f64 1 (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 (*.f64 (+.f64 x y) (/.f64 2 (-.f64 x y))) (/.f64 1/2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 4 (/.f64 (-.f64 x y) (*.f64 (+.f64 x y) 4)))
(*.f64 4 (/.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 4))
(*.f64 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 4) 1/4)
(*.f64 (*.f64 (-.f64 x y) 8) (/.f64 1 (*.f64 (+.f64 x y) 8)))
(*.f64 1/2 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 2))
(*.f64 (/.f64 1 (-.f64 x y)) (/.f64 (+.f64 x y) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 (/.f64 1/2 (+.f64 x y)) (*.f64 (-.f64 x y) 2))
(*.f64 (*.f64 (-.f64 x y) -2) (/.f64 -1/2 (+.f64 x y)))
(*.f64 (*.f64 (-.f64 x y) -2) (/.f64 1 (*.f64 (+.f64 x y) -2)))
(*.f64 (*.f64 (-.f64 x y) -2) (/.f64 -1 (*.f64 (+.f64 x y) 2)))
(*.f64 (*.f64 2 (/.f64 1 (+.f64 x y))) (*.f64 (-.f64 x y) 1/2))
(*.f64 (/.f64 (-.f64 y x) (+.f64 x y)) -1)
(*.f64 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1/2) 2)
(*.f64 (*.f64 (+.f64 x y) (/.f64 1/2 (-.f64 x y))) (/.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 (/.f64 1/2 (-.f64 x y)) (/.f64 (*.f64 (+.f64 x y) 2) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 (/.f64 2 (+.f64 x y)) (*.f64 (-.f64 x y) 1/2))
(*.f64 (/.f64 1 (*.f64 (+.f64 x y) 4)) (*.f64 (-.f64 x y) 4))
(*.f64 (/.f64 -1 (+.f64 x y)) (-.f64 y x))
(*.f64 (/.f64 2 (-.f64 x y)) (/.f64 (+.f64 x y) (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 (*.f64 (-.f64 x y) 1/2) (*.f64 2 (/.f64 1 (+.f64 x y))))
(*.f64 (*.f64 (-.f64 x y) 1/2) (/.f64 2 (+.f64 x y)))
(*.f64 1/4 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 4))
(*.f64 (/.f64 1 (-.f64 y x)) (/.f64 (neg.f64 (+.f64 x y)) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 (*.f64 (/.f64 1 (+.f64 x y)) 1/4) (*.f64 (-.f64 x y) 4))
(*.f64 (*.f64 1/2 (*.f64 2 (/.f64 1 (+.f64 x y)))) (-.f64 x y))
(*.f64 (*.f64 1/2 (/.f64 2 (+.f64 x y))) (-.f64 x y))
(*.f64 (*.f64 1/2 (/.f64 1/2 (+.f64 x y))) (*.f64 (-.f64 x y) 4))
(*.f64 (/.f64 1 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (/.f64 (+.f64 x y) (-.f64 x y)))
(*.f64 (/.f64 (*.f64 (+.f64 x y) 2) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (/.f64 1/2 (-.f64 x y)))
(*.f64 (/.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (*.f64 (+.f64 x y) (/.f64 1/2 (-.f64 x y))))
(*.f64 (/.f64 1 (/.f64 1 (-.f64 x y))) (/.f64 1 (+.f64 x y)))
(*.f64 (/.f64 (+.f64 x y) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (/.f64 1 (-.f64 x y)))
(*.f64 (/.f64 (neg.f64 (+.f64 x y)) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (/.f64 1 (-.f64 y x)))
(*.f64 (/.f64 (/.f64 1 (-.f64 x y)) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (+.f64 x y))
(*.f64 (/.f64 1 (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))) (*.f64 (+.f64 x y) (/.f64 2 (-.f64 x y))))
(*.f64 (/.f64 2 (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))) (/.f64 (+.f64 x y) (-.f64 x y)))
(*.f64 (/.f64 (*.f64 (-.f64 x y) -2) (*.f64 (+.f64 x y) 2)) -1)
(*.f64 (/.f64 (-.f64 x y) (*.f64 (+.f64 x y) 4)) 4)
(*.f64 (/.f64 -1/2 (+.f64 x y)) (*.f64 (-.f64 x y) -2))
(*.f64 (/.f64 1/2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (*.f64 (+.f64 x y) (/.f64 2 (-.f64 x y))))
(*.f64 (/.f64 (+.f64 x y) (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))) (/.f64 2 (-.f64 x y)))
(*.f64 (/.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 4) 4)
(*.f64 (/.f64 1 (*.f64 (+.f64 x y) 8)) (*.f64 (-.f64 x y) 8))
(*.f64 (/.f64 1 (*.f64 (+.f64 x y) -2)) (*.f64 (-.f64 x y) -2))
(*.f64 (/.f64 -1 (*.f64 (+.f64 x y) 2)) (*.f64 (-.f64 x y) -2))
(pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1)
(neg.f64 (/.f64 (-.f64 y x) (+.f64 x y)))
(neg.f64 (/.f64 (/.f64 (+.f64 x y) (-.f64 y x)) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(neg.f64 (/.f64 (*.f64 (-.f64 x y) -2) (*.f64 (+.f64 x y) 2)))
Outputs
-1
(-.f64 (*.f64 2 (/.f64 x y)) 1)
(+.f64 (*.f64 2 (/.f64 x y)) -1)
(+.f64 -1 (*.f64 2 (/.f64 x y)))
(-.f64 (+.f64 (*.f64 -2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 2 (/.f64 x y))) 1)
(+.f64 (*.f64 2 (/.f64 x y)) (-.f64 (*.f64 -2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) 1))
(+.f64 (*.f64 -2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 -1 (*.f64 2 (/.f64 x y))))
(+.f64 -1 (+.f64 (*.f64 2 (/.f64 x y)) (*.f64 -2 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))))
(+.f64 (+.f64 -1 (*.f64 2 (/.f64 x y))) (*.f64 -2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(-.f64 (+.f64 (*.f64 -2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (*.f64 2 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 2 (/.f64 x y)))) 1)
(+.f64 (+.f64 (*.f64 2 (/.f64 x y)) (*.f64 2 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))) (-.f64 (*.f64 -2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) 1))
(+.f64 (*.f64 -2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (-.f64 (*.f64 2 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))) 1))
(+.f64 (*.f64 -2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (*.f64 2 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3)))) -1))
(+.f64 (*.f64 -2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 -1 (*.f64 2 (+.f64 (/.f64 x y) (/.f64 (pow.f64 x 3) (pow.f64 y 3))))))
1
(-.f64 (+.f64 1 (*.f64 -1 (/.f64 y x))) (/.f64 y x))
(+.f64 (*.f64 -1 (/.f64 y x)) (-.f64 1 (/.f64 y x)))
(+.f64 (neg.f64 (/.f64 y x)) (-.f64 1 (/.f64 y x)))
(-.f64 (-.f64 1 (/.f64 y x)) (/.f64 y x))
(-.f64 (+.f64 1 (+.f64 (*.f64 -1 (/.f64 (*.f64 y (-.f64 (*.f64 -1 y) y)) (pow.f64 x 2))) (*.f64 -1 (/.f64 y x)))) (/.f64 y x))
(+.f64 (+.f64 (*.f64 -1 (/.f64 y x)) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 y) y) (/.f64 y (pow.f64 x 2))))) (-.f64 1 (/.f64 y x)))
(+.f64 1 (-.f64 (*.f64 -1 (+.f64 (*.f64 y (/.f64 (-.f64 (neg.f64 y) y) (pow.f64 x 2))) (/.f64 y x))) (/.f64 y x)))
(+.f64 1 (-.f64 (*.f64 -1 (+.f64 (/.f64 y x) (*.f64 y (/.f64 (-.f64 (neg.f64 y) y) (pow.f64 x 2))))) (/.f64 y x)))
(+.f64 (-.f64 (-.f64 1 (/.f64 y x)) (/.f64 y x)) (*.f64 (/.f64 y (pow.f64 x 2)) (neg.f64 (-.f64 (neg.f64 y) y))))
(-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 y 2) (-.f64 (*.f64 -1 y) y)) (pow.f64 x 3)) (+.f64 1 (+.f64 (*.f64 -1 (/.f64 (*.f64 y (-.f64 (*.f64 -1 y) y)) (pow.f64 x 2))) (*.f64 -1 (/.f64 y x))))) (/.f64 y x))
(+.f64 (+.f64 1 (+.f64 (*.f64 -1 (/.f64 y x)) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 y) y) (/.f64 y (pow.f64 x 2)))))) (-.f64 (*.f64 (-.f64 (*.f64 -1 y) y) (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (/.f64 y x)))
(+.f64 (+.f64 1 (*.f64 -1 (+.f64 (*.f64 y (/.f64 (-.f64 (neg.f64 y) y) (pow.f64 x 2))) (/.f64 y x)))) (-.f64 (*.f64 (pow.f64 y 2) (/.f64 (-.f64 (neg.f64 y) y) (pow.f64 x 3))) (/.f64 y x)))
(+.f64 1 (+.f64 (*.f64 -1 (+.f64 (/.f64 y x) (*.f64 y (/.f64 (-.f64 (neg.f64 y) y) (pow.f64 x 2))))) (-.f64 (*.f64 (-.f64 (neg.f64 y) y) (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (/.f64 y x))))
(+.f64 (*.f64 (-.f64 (neg.f64 y) y) (+.f64 (neg.f64 (/.f64 y (pow.f64 x 2))) (/.f64 (pow.f64 y 2) (pow.f64 x 3)))) (-.f64 (-.f64 1 (/.f64 y x)) (/.f64 y x)))
1
(-.f64 (+.f64 1 (*.f64 -1 (/.f64 y x))) (/.f64 y x))
(+.f64 (*.f64 -1 (/.f64 y x)) (-.f64 1 (/.f64 y x)))
(+.f64 (neg.f64 (/.f64 y x)) (-.f64 1 (/.f64 y x)))
(-.f64 (-.f64 1 (/.f64 y x)) (/.f64 y x))
(-.f64 (+.f64 1 (+.f64 (*.f64 -1 (/.f64 (*.f64 y (-.f64 (*.f64 -1 y) y)) (pow.f64 x 2))) (*.f64 -1 (/.f64 y x)))) (/.f64 y x))
(+.f64 (+.f64 (*.f64 -1 (/.f64 y x)) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 y) y) (/.f64 y (pow.f64 x 2))))) (-.f64 1 (/.f64 y x)))
(+.f64 1 (-.f64 (*.f64 -1 (+.f64 (*.f64 y (/.f64 (-.f64 (neg.f64 y) y) (pow.f64 x 2))) (/.f64 y x))) (/.f64 y x)))
(+.f64 1 (-.f64 (*.f64 -1 (+.f64 (/.f64 y x) (*.f64 y (/.f64 (-.f64 (neg.f64 y) y) (pow.f64 x 2))))) (/.f64 y x)))
(+.f64 (-.f64 (-.f64 1 (/.f64 y x)) (/.f64 y x)) (*.f64 (/.f64 y (pow.f64 x 2)) (neg.f64 (-.f64 (neg.f64 y) y))))
(-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 y 2) (-.f64 (*.f64 -1 y) y)) (pow.f64 x 3)) (+.f64 1 (+.f64 (*.f64 -1 (/.f64 (*.f64 y (-.f64 (*.f64 -1 y) y)) (pow.f64 x 2))) (*.f64 -1 (/.f64 y x))))) (/.f64 y x))
(+.f64 (+.f64 1 (+.f64 (*.f64 -1 (/.f64 y x)) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 y) y) (/.f64 y (pow.f64 x 2)))))) (-.f64 (*.f64 (-.f64 (*.f64 -1 y) y) (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (/.f64 y x)))
(+.f64 (+.f64 1 (*.f64 -1 (+.f64 (*.f64 y (/.f64 (-.f64 (neg.f64 y) y) (pow.f64 x 2))) (/.f64 y x)))) (-.f64 (*.f64 (pow.f64 y 2) (/.f64 (-.f64 (neg.f64 y) y) (pow.f64 x 3))) (/.f64 y x)))
(+.f64 1 (+.f64 (*.f64 -1 (+.f64 (/.f64 y x) (*.f64 y (/.f64 (-.f64 (neg.f64 y) y) (pow.f64 x 2))))) (-.f64 (*.f64 (-.f64 (neg.f64 y) y) (/.f64 (pow.f64 y 2) (pow.f64 x 3))) (/.f64 y x))))
(+.f64 (*.f64 (-.f64 (neg.f64 y) y) (+.f64 (neg.f64 (/.f64 y (pow.f64 x 2))) (/.f64 (pow.f64 y 2) (pow.f64 x 3)))) (-.f64 (-.f64 1 (/.f64 y x)) (/.f64 y x)))
1
(+.f64 1 (*.f64 -2 (/.f64 y x)))
(+.f64 1 (+.f64 (*.f64 -2 (/.f64 y x)) (*.f64 2 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 (*.f64 2 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 1 (*.f64 -2 (/.f64 y x))))
(+.f64 (*.f64 -2 (/.f64 y x)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 (*.f64 -2 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 1 (+.f64 (*.f64 -2 (/.f64 y x)) (*.f64 2 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))))
(+.f64 1 (+.f64 (+.f64 (*.f64 -2 (/.f64 y x)) (*.f64 2 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 -2 (/.f64 (pow.f64 y 3) (pow.f64 x 3)))))
(+.f64 (+.f64 (*.f64 -2 (/.f64 y x)) (*.f64 2 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))) (+.f64 (*.f64 -2 (/.f64 (pow.f64 y 3) (pow.f64 x 3))) 1))
(+.f64 (*.f64 2 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (+.f64 1 (*.f64 -2 (/.f64 y x))) (*.f64 -2 (/.f64 (pow.f64 y 3) (pow.f64 x 3)))))
(+.f64 1 (+.f64 (*.f64 2 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 -2 (+.f64 (/.f64 y x) (/.f64 (pow.f64 y 3) (pow.f64 x 3))))))
-1
(-.f64 (/.f64 x y) (+.f64 1 (*.f64 -1 (/.f64 x y))))
(-.f64 -1 (-.f64 (neg.f64 (/.f64 x y)) (/.f64 x y)))
(-.f64 (/.f64 x y) (-.f64 1 (/.f64 x y)))
(-.f64 (+.f64 (/.f64 x y) (*.f64 -1 (/.f64 (*.f64 (-.f64 x (*.f64 -1 x)) x) (pow.f64 y 2)))) (+.f64 1 (*.f64 -1 (/.f64 x y))))
(+.f64 (*.f64 -1 (*.f64 x (/.f64 (-.f64 x (*.f64 -1 x)) (pow.f64 y 2)))) (-.f64 (/.f64 x y) (+.f64 1 (*.f64 -1 (/.f64 x y)))))
(+.f64 (/.f64 x y) (-.f64 (neg.f64 (*.f64 x (/.f64 (-.f64 x (neg.f64 x)) (pow.f64 y 2)))) (+.f64 1 (neg.f64 (/.f64 x y)))))
(+.f64 (/.f64 x y) (-.f64 -1 (-.f64 (neg.f64 (/.f64 x y)) (*.f64 (/.f64 (-.f64 x (neg.f64 x)) (pow.f64 y 2)) (neg.f64 x)))))
(+.f64 (/.f64 x y) (-.f64 (*.f64 x (neg.f64 (/.f64 (-.f64 x (neg.f64 x)) (pow.f64 y 2)))) (-.f64 1 (/.f64 x y))))
(-.f64 (+.f64 (/.f64 (*.f64 (-.f64 x (*.f64 -1 x)) (pow.f64 x 2)) (pow.f64 y 3)) (+.f64 (/.f64 x y) (*.f64 -1 (/.f64 (*.f64 (-.f64 x (*.f64 -1 x)) x) (pow.f64 y 2))))) (+.f64 1 (*.f64 -1 (/.f64 x y))))
(+.f64 (+.f64 (/.f64 x y) (*.f64 -1 (*.f64 x (/.f64 (-.f64 x (*.f64 -1 x)) (pow.f64 y 2))))) (-.f64 (*.f64 (pow.f64 x 2) (/.f64 (-.f64 x (*.f64 -1 x)) (pow.f64 y 3))) (+.f64 1 (*.f64 -1 (/.f64 x y)))))
(+.f64 (+.f64 (/.f64 x y) (neg.f64 (*.f64 x (/.f64 (-.f64 x (neg.f64 x)) (pow.f64 y 2))))) (-.f64 (*.f64 (pow.f64 x 2) (/.f64 (-.f64 x (neg.f64 x)) (pow.f64 y 3))) (+.f64 1 (neg.f64 (/.f64 x y)))))
(+.f64 (/.f64 x y) (+.f64 (*.f64 (/.f64 (-.f64 x (neg.f64 x)) (pow.f64 y 2)) (neg.f64 x)) (-.f64 (*.f64 (pow.f64 x 2) (/.f64 (-.f64 x (neg.f64 x)) (pow.f64 y 3))) (+.f64 1 (neg.f64 (/.f64 x y))))))
(+.f64 (-.f64 (/.f64 x y) (-.f64 1 (/.f64 x y))) (*.f64 (-.f64 x (neg.f64 x)) (+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3)) (neg.f64 (/.f64 x (pow.f64 y 2))))))
-1
(-.f64 (*.f64 -1 (/.f64 (-.f64 (*.f64 -1 x) x) y)) 1)
(+.f64 (*.f64 -1 (/.f64 (-.f64 (*.f64 -1 x) x) y)) -1)
(+.f64 -1 (neg.f64 (/.f64 (-.f64 (neg.f64 x) x) y)))
(-.f64 -1 (/.f64 (-.f64 (neg.f64 x) x) y))
(-.f64 (+.f64 (*.f64 -1 (/.f64 (-.f64 (*.f64 -1 x) x) y)) (/.f64 (*.f64 (-.f64 (*.f64 -1 x) x) x) (pow.f64 y 2))) 1)
(+.f64 (*.f64 x (/.f64 (-.f64 (*.f64 -1 x) x) (pow.f64 y 2))) (+.f64 (*.f64 -1 (/.f64 (-.f64 (*.f64 -1 x) x) y)) -1))
(+.f64 -1 (+.f64 (neg.f64 (/.f64 (-.f64 (neg.f64 x) x) y)) (*.f64 x (/.f64 (-.f64 (neg.f64 x) x) (pow.f64 y 2)))))
(+.f64 (-.f64 -1 (/.f64 (-.f64 (neg.f64 x) x) y)) (*.f64 x (/.f64 (-.f64 (neg.f64 x) x) (pow.f64 y 2))))
(-.f64 (+.f64 (*.f64 -1 (/.f64 (-.f64 (*.f64 -1 x) x) y)) (+.f64 (*.f64 -1 (/.f64 (*.f64 (-.f64 (*.f64 -1 x) x) (pow.f64 x 2)) (pow.f64 y 3))) (/.f64 (*.f64 (-.f64 (*.f64 -1 x) x) x) (pow.f64 y 2)))) 1)
(+.f64 (+.f64 (*.f64 x (/.f64 (-.f64 (*.f64 -1 x) x) (pow.f64 y 2))) (*.f64 -1 (/.f64 (*.f64 (pow.f64 x 2) (-.f64 (*.f64 -1 x) x)) (pow.f64 y 3)))) (+.f64 (*.f64 -1 (/.f64 (-.f64 (*.f64 -1 x) x) y)) -1))
(+.f64 -1 (+.f64 (*.f64 x (/.f64 (-.f64 (neg.f64 x) x) (pow.f64 y 2))) (+.f64 (neg.f64 (*.f64 (pow.f64 x 2) (/.f64 (-.f64 (neg.f64 x) x) (pow.f64 y 3)))) (neg.f64 (/.f64 (-.f64 (neg.f64 x) x) y)))))
(+.f64 -1 (+.f64 (*.f64 x (/.f64 (-.f64 (neg.f64 x) x) (pow.f64 y 2))) (*.f64 -1 (+.f64 (*.f64 (pow.f64 x 2) (/.f64 (-.f64 (neg.f64 x) x) (pow.f64 y 3))) (/.f64 (-.f64 (neg.f64 x) x) y)))))
(+.f64 (-.f64 -1 (/.f64 (-.f64 (neg.f64 x) x) y)) (*.f64 (-.f64 (neg.f64 x) x) (+.f64 (/.f64 x (pow.f64 y 2)) (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 3))))))
(+.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 0)
(/.f64 (-.f64 x y) (+.f64 x y))
(+.f64 0 (/.f64 (-.f64 x y) (+.f64 x y)))
(/.f64 (-.f64 x y) (+.f64 x y))
(+.f64 -1 (-.f64 1 (/.f64 (-.f64 y x) (+.f64 x y))))
(/.f64 (-.f64 x y) (+.f64 x y))
(+.f64 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1/2) (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1/2))
(/.f64 (-.f64 x y) (+.f64 x y))
(-.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 0)
(/.f64 (-.f64 x y) (+.f64 x y))
(-.f64 0 (/.f64 (-.f64 y x) (+.f64 x y)))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (-.f64 x y) (/.f64 1 (+.f64 x y)))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (-.f64 x y) (*.f64 1/2 (*.f64 2 (/.f64 1 (+.f64 x y)))))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (-.f64 x y) (*.f64 1/2 (/.f64 2 (+.f64 x y))))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (+.f64 x y) (/.f64 (/.f64 1 (-.f64 x y)) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1)
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 1 (/.f64 (-.f64 x y) (+.f64 x y)))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 (-.f64 x y) 2) (/.f64 1/2 (+.f64 x y)))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 2 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1/2))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 2) 1/2)
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 (-.f64 x y) 4) (/.f64 1 (*.f64 (+.f64 x y) 4)))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 (-.f64 x y) 4) (*.f64 (/.f64 1 (+.f64 x y)) 1/4))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 (-.f64 x y) 4) (*.f64 1/2 (/.f64 1/2 (+.f64 x y))))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 1 (+.f64 x y)) (-.f64 x y))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 1 (+.f64 x y)) (/.f64 1 (/.f64 1 (-.f64 x y))))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (-.f64 y x) (/.f64 -1 (+.f64 x y)))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 1 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (*.f64 (-.f64 x y) (/.f64 1 (+.f64 x y))))))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (/.f64 (-.f64 x y) (+.f64 x y)))))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (-.f64 x y) (*.f64 (+.f64 x y) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 2 (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 1 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (*.f64 (-.f64 x y) (/.f64 1 (+.f64 x y))))))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (/.f64 (-.f64 x y) (+.f64 x y)))))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (-.f64 x y) (*.f64 (+.f64 x y) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 -1 (/.f64 (-.f64 y x) (+.f64 x y)))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 -1 (/.f64 (*.f64 (-.f64 x y) -2) (*.f64 (+.f64 x y) 2)))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 (+.f64 x y) (/.f64 2 (-.f64 x y))) (/.f64 1 (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 (+.f64 x y) (*.f64 (/.f64 2 (-.f64 x y)) (/.f64 1/2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 (+.f64 x y) (*.f64 (/.f64 2 (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) 1/2))))))
(*.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (/.f64 (-.f64 x y) (*.f64 2 (+.f64 x y))))) (/.f64 2 (-.f64 x y))))
(*.f64 (*.f64 (+.f64 x y) (/.f64 2 (-.f64 x y))) (/.f64 1/2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 (+.f64 x y) (*.f64 (/.f64 2 (-.f64 x y)) (/.f64 1/2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 (+.f64 x y) (*.f64 (/.f64 2 (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) 1/2))))))
(*.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (/.f64 (-.f64 x y) (*.f64 2 (+.f64 x y))))) (/.f64 2 (-.f64 x y))))
(*.f64 4 (/.f64 (-.f64 x y) (*.f64 (+.f64 x y) 4)))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 4 (/.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 4))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 4) 1/4)
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 (-.f64 x y) 8) (/.f64 1 (*.f64 (+.f64 x y) 8)))
(*.f64 (*.f64 (-.f64 x y) 8) (/.f64 1/8 (+.f64 x y)))
(*.f64 (-.f64 x y) (*.f64 8 (/.f64 1/8 (+.f64 x y))))
(*.f64 1/2 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 2))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 1 (-.f64 x y)) (/.f64 (+.f64 x y) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 1/2 (+.f64 x y)) (*.f64 (-.f64 x y) 2))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 (-.f64 x y) -2) (/.f64 -1/2 (+.f64 x y)))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 (-.f64 x y) -2) (/.f64 1 (*.f64 (+.f64 x y) -2)))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 (-.f64 x y) -2) (/.f64 -1 (*.f64 (+.f64 x y) 2)))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 2 (/.f64 1 (+.f64 x y))) (*.f64 (-.f64 x y) 1/2))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 (-.f64 y x) (+.f64 x y)) -1)
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1/2) 2)
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 (+.f64 x y) (/.f64 1/2 (-.f64 x y))) (/.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 (+.f64 x y) (*.f64 (/.f64 1/2 (-.f64 x y)) (/.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 (/.f64 1/2 (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (/.f64 (*.f64 2 (+.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 2 (/.f64 (/.f64 1/2 (-.f64 x y)) (/.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (-.f64 x y))))
(*.f64 (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (-.f64 x y))) (*.f64 2 (/.f64 1/2 (-.f64 x y))))
(*.f64 (/.f64 1/2 (-.f64 x y)) (/.f64 (*.f64 (+.f64 x y) 2) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 (+.f64 x y) (*.f64 (/.f64 1/2 (-.f64 x y)) (/.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 (/.f64 1/2 (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (/.f64 (*.f64 2 (+.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 2 (/.f64 (/.f64 1/2 (-.f64 x y)) (/.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (-.f64 x y))))
(*.f64 (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (-.f64 x y))) (*.f64 2 (/.f64 1/2 (-.f64 x y))))
(*.f64 (/.f64 2 (+.f64 x y)) (*.f64 (-.f64 x y) 1/2))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 1 (*.f64 (+.f64 x y) 4)) (*.f64 (-.f64 x y) 4))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 -1 (+.f64 x y)) (-.f64 y x))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 2 (-.f64 x y)) (/.f64 (+.f64 x y) (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 (/.f64 2 (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (/.f64 (+.f64 x y) 1/2) (-.f64 x y))))
(*.f64 (/.f64 2 (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (*.f64 2 (+.f64 x y)) (-.f64 x y))))
(*.f64 (*.f64 (-.f64 x y) 1/2) (*.f64 2 (/.f64 1 (+.f64 x y))))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 (-.f64 x y) 1/2) (/.f64 2 (+.f64 x y)))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 1/4 (*.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 4))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 1 (-.f64 y x)) (/.f64 (neg.f64 (+.f64 x y)) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 (/.f64 1 (+.f64 x y)) 1/4) (*.f64 (-.f64 x y) 4))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 1/2 (*.f64 2 (/.f64 1 (+.f64 x y)))) (-.f64 x y))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 1/2 (/.f64 2 (+.f64 x y))) (-.f64 x y))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (*.f64 1/2 (/.f64 1/2 (+.f64 x y))) (*.f64 (-.f64 x y) 4))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 1 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (/.f64 (+.f64 x y) (-.f64 x y)))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 1 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (*.f64 (-.f64 x y) (/.f64 1 (+.f64 x y))))))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (/.f64 (-.f64 x y) (+.f64 x y)))))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (-.f64 x y) (*.f64 (+.f64 x y) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 (/.f64 (*.f64 (+.f64 x y) 2) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (/.f64 1/2 (-.f64 x y)))
(*.f64 (+.f64 x y) (*.f64 (/.f64 1/2 (-.f64 x y)) (/.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 (/.f64 1/2 (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (/.f64 (*.f64 2 (+.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 2 (/.f64 (/.f64 1/2 (-.f64 x y)) (/.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (-.f64 x y))))
(*.f64 (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (-.f64 x y))) (*.f64 2 (/.f64 1/2 (-.f64 x y))))
(*.f64 (/.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (*.f64 (+.f64 x y) (/.f64 1/2 (-.f64 x y))))
(*.f64 (+.f64 x y) (*.f64 (/.f64 1/2 (-.f64 x y)) (/.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 (/.f64 1/2 (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (/.f64 (*.f64 2 (+.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 2 (/.f64 (/.f64 1/2 (-.f64 x y)) (/.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (-.f64 x y))))
(*.f64 (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (-.f64 x y))) (*.f64 2 (/.f64 1/2 (-.f64 x y))))
(*.f64 (/.f64 1 (/.f64 1 (-.f64 x y))) (/.f64 1 (+.f64 x y)))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 (+.f64 x y) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (/.f64 1 (-.f64 x y)))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 (neg.f64 (+.f64 x y)) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (/.f64 1 (-.f64 y x)))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 (/.f64 1 (-.f64 x y)) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (+.f64 x y))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 1 (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))) (*.f64 (+.f64 x y) (/.f64 2 (-.f64 x y))))
(*.f64 (+.f64 x y) (*.f64 (/.f64 2 (-.f64 x y)) (/.f64 1/2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 (+.f64 x y) (*.f64 (/.f64 2 (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) 1/2))))))
(*.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (/.f64 (-.f64 x y) (*.f64 2 (+.f64 x y))))) (/.f64 2 (-.f64 x y))))
(*.f64 (/.f64 2 (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))) (/.f64 (+.f64 x y) (-.f64 x y)))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 1 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (*.f64 (-.f64 x y) (/.f64 1 (+.f64 x y))))))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (/.f64 (-.f64 x y) (+.f64 x y)))))
(*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (-.f64 x y) (*.f64 (+.f64 x y) (/.f64 (+.f64 x y) (-.f64 x y)))))
(*.f64 (/.f64 (*.f64 (-.f64 x y) -2) (*.f64 (+.f64 x y) 2)) -1)
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 (-.f64 x y) (*.f64 (+.f64 x y) 4)) 4)
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 -1/2 (+.f64 x y)) (*.f64 (-.f64 x y) -2))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 1/2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))) (*.f64 (+.f64 x y) (/.f64 2 (-.f64 x y))))
(*.f64 (+.f64 x y) (*.f64 (/.f64 2 (-.f64 x y)) (/.f64 1/2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 (+.f64 x y) (*.f64 (/.f64 2 (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) 1/2))))))
(*.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 x y) (/.f64 (+.f64 x y) (/.f64 (-.f64 x y) (*.f64 2 (+.f64 x y))))) (/.f64 2 (-.f64 x y))))
(*.f64 (/.f64 (+.f64 x y) (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))) (/.f64 2 (-.f64 x y)))
(*.f64 (/.f64 2 (-.f64 x y)) (/.f64 (+.f64 x y) (*.f64 2 (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y))))))
(*.f64 (/.f64 2 (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (/.f64 (+.f64 x y) 1/2) (-.f64 x y))))
(*.f64 (/.f64 2 (-.f64 x y)) (/.f64 (-.f64 x y) (/.f64 (*.f64 2 (+.f64 x y)) (-.f64 x y))))
(*.f64 (/.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 4) 4)
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 1 (*.f64 (+.f64 x y) 8)) (*.f64 (-.f64 x y) 8))
(*.f64 (*.f64 (-.f64 x y) 8) (/.f64 1 (*.f64 (+.f64 x y) 8)))
(*.f64 (*.f64 (-.f64 x y) 8) (/.f64 1/8 (+.f64 x y)))
(*.f64 (-.f64 x y) (*.f64 8 (/.f64 1/8 (+.f64 x y))))
(*.f64 (/.f64 1 (*.f64 (+.f64 x y) -2)) (*.f64 (-.f64 x y) -2))
(/.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (/.f64 -1 (*.f64 (+.f64 x y) 2)) (*.f64 (-.f64 x y) -2))
(/.f64 (-.f64 x y) (+.f64 x y))
(pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 1)
(/.f64 (-.f64 x y) (+.f64 x y))
(neg.f64 (/.f64 (-.f64 y x) (+.f64 x y)))
(/.f64 (-.f64 x y) (+.f64 x y))
(neg.f64 (/.f64 (/.f64 (+.f64 x y) (-.f64 y x)) (*.f64 (/.f64 (+.f64 x y) (-.f64 x y)) (/.f64 (+.f64 x y) (-.f64 x y)))))
(/.f64 (-.f64 x y) (+.f64 x y))
(neg.f64 (/.f64 (*.f64 (-.f64 x y) -2) (*.f64 (+.f64 x y) 2)))
(/.f64 (-.f64 x y) (+.f64 x y))

eval40.0ms (0.9%)

Compiler

Compiled 2873 to 1290 computations (55.1% saved)

prune21.0ms (0.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1523155
Fresh000
Picked011
Done000
Total1524156
Error
0b
Counts
156 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(/.f64 (-.f64 x y) (+.f64 x y))
▶30.5b
(+.f64 1 (*.f64 -2 (/.f64 y x)))
31.0b
1
32.5b
-1
Compiler

Compiled 24 to 18 computations (25% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 -2 (/.f64 y x))
Compiler

Compiled 21 to 11 computations (47.6% saved)

series3.0ms (0.1%)

Counts
1 → 0
Calls

6 calls:

TimeVariablePointExpression
1.0ms
x
@0
(*.f64 -2 (/.f64 y x))
1.0ms
y
@inf
(*.f64 -2 (/.f64 y x))
0.0ms
y
@0
(*.f64 -2 (/.f64 y x))
0.0ms
x
@inf
(*.f64 -2 (/.f64 y x))
0.0ms
y
@-inf
(*.f64 -2 (/.f64 y x))

rewrite70.0ms (1.6%)

Algorithm
1×batch-egg-rewrite
Rules
1252×rational.json-1
1252×rational.json-2
1252×rational.json-4
1252×rational.json-3
1244×exponential.json-3
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
14813
212313
330513
480413
5337113
Stop Event
1×node limit
Counts
1 → 15
Calls
Call 1
Inputs
(*.f64 -2 (/.f64 y x))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -2 (/.f64 y x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 -2 (/.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (*.f64 y (/.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (neg.f64 y) x) (/.f64 (neg.f64 y) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 -2 (/.f64 y x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 y (/.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -2 (/.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (/.f64 2 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 y x) -4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 y x) -8) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 -2 (/.f64 y x)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (/.f64 x (neg.f64 y))) (*.f64 (/.f64 x (neg.f64 y)) (/.f64 x (neg.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 -2 (/.f64 y x)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -2 (/.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 y (/.f64 2 x)))))))

simplify70.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
1824×rational.json-simplify-53
1432×rational.json-simplify-61
964×rational.json-simplify-44
878×rational.json-simplify-49
862×rational.json-simplify-47
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044195
1106195
2256195
3932195
45668195
Stop Event
1×node limit
Counts
15 → 16
Calls
Call 1
Inputs
(+.f64 (*.f64 -2 (/.f64 y x)) 0)
(+.f64 0 (*.f64 -2 (/.f64 y x)))
(+.f64 -1 (-.f64 1 (*.f64 y (/.f64 2 x))))
(+.f64 (/.f64 (neg.f64 y) x) (/.f64 (neg.f64 y) x))
(-.f64 (*.f64 -2 (/.f64 y x)) 0)
(-.f64 0 (*.f64 y (/.f64 2 x)))
(/.f64 (*.f64 -2 (/.f64 y x)) 1)
(/.f64 (*.f64 y (/.f64 2 x)) -1)
(/.f64 (*.f64 (/.f64 y x) -4) 2)
(/.f64 (*.f64 (/.f64 y x) -8) 4)
(/.f64 (*.f64 (*.f64 -2 (/.f64 y x)) 8) 8)
(/.f64 (*.f64 2 (/.f64 x (neg.f64 y))) (*.f64 (/.f64 x (neg.f64 y)) (/.f64 x (neg.f64 y))))
(/.f64 (*.f64 2 (*.f64 (*.f64 -2 (/.f64 y x)) 8)) 16)
(pow.f64 (*.f64 -2 (/.f64 y x)) 1)
(neg.f64 (*.f64 y (/.f64 2 x)))
Outputs
(+.f64 (*.f64 -2 (/.f64 y x)) 0)
(*.f64 -2 (/.f64 y x))
(+.f64 0 (*.f64 -2 (/.f64 y x)))
(*.f64 -2 (/.f64 y x))
(+.f64 -1 (-.f64 1 (*.f64 y (/.f64 2 x))))
(*.f64 -2 (/.f64 y x))
(+.f64 (/.f64 (neg.f64 y) x) (/.f64 (neg.f64 y) x))
(*.f64 -2 (/.f64 y x))
(-.f64 (*.f64 -2 (/.f64 y x)) 0)
(*.f64 -2 (/.f64 y x))
(-.f64 0 (*.f64 y (/.f64 2 x)))
(*.f64 -2 (/.f64 y x))
(/.f64 (*.f64 -2 (/.f64 y x)) 1)
(*.f64 -2 (/.f64 y x))
(/.f64 (*.f64 y (/.f64 2 x)) -1)
(*.f64 -2 (/.f64 y x))
(/.f64 (*.f64 (/.f64 y x) -4) 2)
(*.f64 -2 (/.f64 y x))
(/.f64 (*.f64 (/.f64 y x) -8) 4)
(*.f64 -2 (/.f64 y x))
(/.f64 (*.f64 (*.f64 -2 (/.f64 y x)) 8) 8)
(*.f64 -2 (/.f64 y x))
(/.f64 (*.f64 2 (/.f64 x (neg.f64 y))) (*.f64 (/.f64 x (neg.f64 y)) (/.f64 x (neg.f64 y))))
(*.f64 -2 (/.f64 y x))
(/.f64 (*.f64 2 (*.f64 (*.f64 -2 (/.f64 y x)) 8)) 16)
(*.f64 -2 (/.f64 y x))
(pow.f64 (*.f64 -2 (/.f64 y x)) 1)
(*.f64 -2 (/.f64 y x))
(neg.f64 (*.f64 y (/.f64 2 x)))
(*.f64 -2 (/.f64 y x))

eval3.0ms (0.1%)

Compiler

Compiled 162 to 108 computations (33.3% saved)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New16016
Fresh022
Picked011
Done011
Total16420
Error
0b
Counts
20 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(/.f64 (-.f64 x y) (+.f64 x y))
✓30.5b
(+.f64 1 (*.f64 -2 (/.f64 y x)))
31.0b
1
32.5b
-1
Compiler

Compiled 24 to 18 computations (25% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune4.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New000
Fresh022
Picked000
Done022
Total044
Error
0b
Counts
4 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(/.f64 (-.f64 x y) (+.f64 x y))
✓30.5b
(+.f64 1 (*.f64 -2 (/.f64 y x)))
31.0b
1
32.5b
-1
Compiler

Compiled 24 to 18 computations (25% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New000
Fresh022
Picked000
Done022
Total044
Error
0b
Counts
4 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(/.f64 (-.f64 x y) (+.f64 x y))
✓30.5b
(+.f64 1 (*.f64 -2 (/.f64 y x)))
31.0b
1
32.5b
-1
Compiler

Compiled 24 to 18 computations (25% saved)

regimes14.0ms (0.3%)

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

3 calls:

7.0ms
x
4.0ms
y
2.0ms
(/.f64 (-.f64 x y) (+.f64 x y))
Results
ErrorSegmentsBranch
0.0b1x
0.0b1y
0.0b1(/.f64 (-.f64 x y) (+.f64 x y))
Compiler

Compiled 33 to 21 computations (36.4% saved)

regimes23.0ms (0.5%)

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

2 calls:

13.0ms
y
9.0ms
x
Results
ErrorSegmentsBranch
12.1b3x
12.7b3y
Compiler

Compiled 17 to 13 computations (23.5% saved)

bsearch29.0ms (0.7%)

Algorithm
2×binary-search
Steps
TimeLeftRight
14.0ms
2.0701470980786273e-92
4.185555412984587e-88
15.0ms
-1.3256201088822829e-26
-6.555205042135984e-34
Results
23.0ms272×body256valid
Compiler

Compiled 252 to 213 computations (15.5% saved)

regimes22.0ms (0.5%)

Accuracy

Total -50.6b remaining (-407.5%)

Threshold costs -50.6b (-407.5%)

Counts
2 → 3
Calls
Call 1
Inputs
-1
1
Outputs
1
-1
1
Calls

2 calls:

11.0ms
y
10.0ms
x
Results
ErrorSegmentsBranch
12.4b3x
13.0b3y
Compiler

Compiled 10 to 8 computations (20% saved)

bsearch29.0ms (0.7%)

Algorithm
2×binary-search
Steps
TimeLeftRight
14.0ms
2.0701470980786273e-92
4.185555412984587e-88
15.0ms
-1.3256201088822829e-26
-6.555205042135984e-34
Results
26.0ms272×body256valid
Compiler

Compiled 150 to 145 computations (3.3% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02898
Stop Event
1×fuel
1×saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 x y) (+.f64 x y))
(if (<=.f64 x -5553706221857431/5846006549323611672814739330865132078623730171904) (+.f64 1 (*.f64 -2 (/.f64 y x))) (if (<=.f64 x 7883901492465871/71671831749689734737838152978190216899892655911508785116799651230841339877765150252188079784691427704832) -1 (+.f64 1 (*.f64 -2 (/.f64 y x)))))
(if (<=.f64 x -8084020134467351/2787593149816327892691964784081045188247552) 1 (if (<=.f64 x 8242260651214319/71671831749689734737838152978190216899892655911508785116799651230841339877765150252188079784691427704832) -1 1))
-1
Outputs
(/.f64 (-.f64 x y) (+.f64 x y))
(if (<=.f64 x -5553706221857431/5846006549323611672814739330865132078623730171904) (+.f64 1 (*.f64 -2 (/.f64 y x))) (if (<=.f64 x 7883901492465871/71671831749689734737838152978190216899892655911508785116799651230841339877765150252188079784691427704832) -1 (+.f64 1 (*.f64 -2 (/.f64 y x)))))
(if (<=.f64 x -8084020134467351/2787593149816327892691964784081045188247552) 1 (if (<=.f64 x 8242260651214319/71671831749689734737838152978190216899892655911508785116799651230841339877765150252188079784691427704832) -1 1))
-1
Compiler

Compiled 50 to 37 computations (26% saved)

soundness0.0ms (0%)

end36.0ms (0.8%)

Compiler

Compiled 44 to 31 computations (29.5% saved)

Profiling

Loading profile data...