Details

Time bar (total: 2.4s)

analyze209.0ms (8.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
50%50%50%0.1%0%0%0%3
50%50%50%0.1%0%0%0%4
62.5%62.4%37.5%0.1%0%0%0%5
66.7%62.4%31.2%0.1%6.2%0%0%6
75%65.6%21.9%0.1%12.5%0%0%7
79.6%67.1%17.2%0.1%15.6%0%0%8
86.5%70.2%10.9%0.1%18.7%0%0%9
89.2%71%8.6%0.1%20.3%0%0%10
93%72.6%5.5%0.1%21.9%0%0%11
94.4%73%4.3%0.1%22.6%0%0%12
Compiler

Compiled 9 to 6 computations (33.3% saved)

sample1.4s (57.6%)

Results
1.4s8256×body256valid
21.0ms256×body256infinite
Bogosity

preprocess5.0ms (0.2%)

Algorithm
2×egg-herbie
Rules
10×rational_best.json-simplify-2
4×rational_best.json-simplify-74
4×rational_best.json-simplify-44
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01134
11434
21834
32234
022
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(exp.f64 (*.f64 (*.f64 x y) y))
(exp.f64 (*.f64 (*.f64 y x) x))
Outputs
(exp.f64 (*.f64 (*.f64 x y) y))
(exp.f64 (*.f64 y (*.f64 x y)))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 (*.f64 y x) x))
(exp.f64 (*.f64 x (*.f64 x y)))
Compiler

Compiled 10 to 7 computations (30% saved)

simplify14.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
6×rational_best.json-simplify-2
2×rational_best.json-simplify-74
2×rational_best.json-simplify-44
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0817
11017
21217
31417
Stop Event
1×saturated
Counts
1 → 3
Calls
Call 1
Inputs
(exp.f64 (*.f64 (*.f64 x y) y))
Outputs
(exp.f64 (*.f64 (*.f64 x y) y))
(exp.f64 (*.f64 y (*.f64 x y)))
(exp.f64 (*.f64 x (*.f64 y y)))

eval1.0ms (0%)

Compiler

Compiled 20 to 10 computations (50% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New213
Fresh011
Picked000
Done000
Total224
Error
0.0b
Counts
4 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶0.0b
(exp.f64 (*.f64 (*.f64 x y) y))
Compiler

Compiled 8 to 5 computations (37.5% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(exp.f64 (*.f64 (*.f64 x y) y))
✓0.2b
(*.f64 (*.f64 x y) y)
Compiler

Compiled 18 to 5 computations (72.2% saved)

series6.0ms (0.3%)

Counts
2 → 48
Calls

12 calls:

TimeVariablePointExpression
3.0ms
y
@-inf
(exp.f64 (*.f64 (*.f64 x y) y))
1.0ms
x
@0
(*.f64 (*.f64 x y) y)
1.0ms
y
@inf
(*.f64 (*.f64 x y) y)
0.0ms
y
@0
(*.f64 (*.f64 x y) y)
0.0ms
x
@inf
(*.f64 (*.f64 x y) y)

rewrite94.0ms (3.9%)

Algorithm
1×batch-egg-rewrite
Rules
866×rational_best.json-simplify-82
862×rational_best.json-simplify-57
684×rational_best.json-simplify-80
602×rational_best.json-simplify-44
524×rational_best.json-simplify-43
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0830
16830
223530
3100130
4444630
Stop Event
1×node limit
Counts
2 → 38
Calls
Call 1
Inputs
(*.f64 (*.f64 x y) y)
(exp.f64 (*.f64 (*.f64 x y) y))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 y y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (*.f64 y y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 y y)) (/.f64 (*.f64 x (*.f64 y y)) (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 (*.f64 y y) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (*.f64 x (*.f64 y y))) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 x (*.f64 y y))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (*.f64 x (*.f64 y y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (exp.f64 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (*.f64 x (*.f64 y y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (exp.f64 (*.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (exp.f64 (*.f64 x (*.f64 y y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (exp.f64 (*.f64 x (*.f64 y y))) (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (+.f64 (*.f64 x (*.f64 y y)) (neg.f64 (*.f64 x (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (exp.f64 (*.f64 x (*.f64 y y))) (/.f64 1 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (exp.f64 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (exp.f64 (neg.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2))) (exp.f64 (neg.f64 (*.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (exp.f64 (+.f64 (*.f64 x (*.f64 y y)) (neg.f64 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y))))) (*.f64 (exp.f64 (*.f64 x (*.f64 y y))) (*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))) (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2)))) (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (exp.f64 (+.f64 (*.f64 x (*.f64 y y)) (neg.f64 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2)))) (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4))))) (*.f64 (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4)))) (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2)))) (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (exp.f64 (+.f64 (*.f64 x (*.f64 y y)) (neg.f64 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2)))) (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (exp.f64 (*.f64 x (*.f64 y y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (exp.f64 (*.f64 x (*.f64 y y))) (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (exp.f64 (*.f64 x (*.f64 y y))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (exp.f64 (*.f64 x (*.f64 y y)))) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (*.f64 x (*.f64 y y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (exp.f64 (*.f64 x (*.f64 y y)))))))))

simplify103.0ms (4.3%)

Algorithm
1×egg-herbie
Rules
1584×rational_best.json-simplify-132
964×rational_best.json-simplify-54
960×rational_best.json-simplify-80
872×rational_best.json-simplify-78
684×rational_best.json-simplify-2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0971858
11861840
23601840
310831840
431491840
Stop Event
1×node limit
Counts
86 → 77
Calls
Call 1
Inputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
1
(+.f64 1 (*.f64 (pow.f64 y 2) x))
(+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))) (+.f64 1 (*.f64 (pow.f64 y 2) x)))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3))) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))) (+.f64 1 (*.f64 (pow.f64 y 2) x))))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
1
(+.f64 1 (*.f64 (pow.f64 y 2) x))
(+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))) (+.f64 1 (*.f64 (pow.f64 y 2) x)))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3))) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))) (+.f64 1 (*.f64 (pow.f64 y 2) x))))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(+.f64 (*.f64 x (*.f64 y y)) 0)
(+.f64 0 (*.f64 x (*.f64 y y)))
(-.f64 (*.f64 x (*.f64 y y)) 0)
(-.f64 0 (neg.f64 (*.f64 x (*.f64 y y))))
(/.f64 (*.f64 x (*.f64 y y)) 1)
(/.f64 (*.f64 x (*.f64 y y)) (/.f64 (*.f64 x (*.f64 y y)) (*.f64 x (*.f64 y y))))
(/.f64 (*.f64 x (*.f64 (*.f64 y y) 2)) 2)
(/.f64 (*.f64 (neg.f64 (*.f64 x (*.f64 y y))) 2) -2)
(pow.f64 (*.f64 x (*.f64 y y)) 1)
(neg.f64 (neg.f64 (*.f64 x (*.f64 y y))))
(+.f64 (exp.f64 (*.f64 x (*.f64 y y))) 0)
(+.f64 0 (exp.f64 (*.f64 x (*.f64 y y))))
(-.f64 (exp.f64 (*.f64 x (*.f64 y y))) 0)
(-.f64 0 (neg.f64 (exp.f64 (*.f64 x (*.f64 y y)))))
(*.f64 (exp.f64 (*.f64 x (*.f64 y y))) 1)
(*.f64 (exp.f64 (*.f64 x (*.f64 y y))) (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))))
(*.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (+.f64 (*.f64 x (*.f64 y y)) (neg.f64 (*.f64 x (*.f64 y y))))))
(*.f64 (exp.f64 (*.f64 x (*.f64 y y))) (/.f64 1 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y))))))
(*.f64 1 (exp.f64 (*.f64 x (*.f64 y y))))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 y y))))
(*.f64 (exp.f64 (neg.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2))))
(*.f64 (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2))) (exp.f64 (neg.f64 (*.f64 x (*.f64 y y)))))
(*.f64 (exp.f64 (+.f64 (*.f64 x (*.f64 y y)) (neg.f64 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 y y))))
(*.f64 (/.f64 1 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 y y))))
(*.f64 (/.f64 1 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y))))) (*.f64 (exp.f64 (*.f64 x (*.f64 y y))) (*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))) (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))))))
(*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2)))) (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4)))))
(*.f64 (/.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2))))
(*.f64 (/.f64 (exp.f64 (+.f64 (*.f64 x (*.f64 y y)) (neg.f64 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2))))
(*.f64 (/.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2)))) (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4))))) (*.f64 (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4)))) (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4))))))
(*.f64 (/.f64 (/.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2)))) (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4)))))
(*.f64 (/.f64 (/.f64 (exp.f64 (+.f64 (*.f64 x (*.f64 y y)) (neg.f64 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2)))) (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4)))))
(*.f64 (/.f64 (/.f64 1 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2))))
(/.f64 (exp.f64 (*.f64 x (*.f64 y y))) 1)
(/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))))
(/.f64 (*.f64 (exp.f64 (*.f64 x (*.f64 y y))) 2) 2)
(/.f64 (*.f64 (neg.f64 (exp.f64 (*.f64 x (*.f64 y y)))) 2) -2)
(pow.f64 (exp.f64 (*.f64 x (*.f64 y y))) 1)
(neg.f64 (neg.f64 (exp.f64 (*.f64 x (*.f64 y y)))))
Outputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
1
(+.f64 1 (*.f64 (pow.f64 y 2) x))
(+.f64 (*.f64 (pow.f64 y 2) x) 1)
(+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))) (+.f64 1 (*.f64 (pow.f64 y 2) x)))
(+.f64 (+.f64 (*.f64 (pow.f64 y 2) x) 1) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))))
(+.f64 1 (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2)))))
(+.f64 (*.f64 (pow.f64 y 2) x) (+.f64 1 (*.f64 (pow.f64 y 4) (*.f64 1/2 (pow.f64 x 2)))))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3))) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))) (+.f64 1 (*.f64 (pow.f64 y 2) x))))
(+.f64 (+.f64 (+.f64 (*.f64 (pow.f64 y 2) x) 1) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2)))) (*.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3))))
(+.f64 (+.f64 (*.f64 (pow.f64 y 2) x) 1) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))) (*.f64 (pow.f64 x 3) (*.f64 1/6 (pow.f64 y 6)))))
(+.f64 1 (+.f64 (*.f64 (pow.f64 y 2) x) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))) (*.f64 (pow.f64 x 3) (*.f64 1/6 (pow.f64 y 6))))))
(+.f64 (*.f64 (pow.f64 y 2) x) (+.f64 1 (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))) (*.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3))))))
(+.f64 (*.f64 (pow.f64 y 2) x) (+.f64 1 (+.f64 (*.f64 (pow.f64 y 4) (*.f64 1/2 (pow.f64 x 2))) (*.f64 (pow.f64 x 3) (*.f64 1/6 (pow.f64 y 6))))))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
1
(+.f64 1 (*.f64 (pow.f64 y 2) x))
(+.f64 (*.f64 (pow.f64 y 2) x) 1)
(+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))) (+.f64 1 (*.f64 (pow.f64 y 2) x)))
(+.f64 (+.f64 (*.f64 (pow.f64 y 2) x) 1) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))))
(+.f64 1 (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2)))))
(+.f64 (*.f64 (pow.f64 y 2) x) (+.f64 1 (*.f64 (pow.f64 y 4) (*.f64 1/2 (pow.f64 x 2)))))
(+.f64 (*.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3))) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))) (+.f64 1 (*.f64 (pow.f64 y 2) x))))
(+.f64 (+.f64 (+.f64 (*.f64 (pow.f64 y 2) x) 1) (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2)))) (*.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3))))
(+.f64 (+.f64 (*.f64 (pow.f64 y 2) x) 1) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))) (*.f64 (pow.f64 x 3) (*.f64 1/6 (pow.f64 y 6)))))
(+.f64 1 (+.f64 (*.f64 (pow.f64 y 2) x) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))) (*.f64 (pow.f64 x 3) (*.f64 1/6 (pow.f64 y 6))))))
(+.f64 (*.f64 (pow.f64 y 2) x) (+.f64 1 (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 4) (pow.f64 x 2))) (*.f64 1/6 (*.f64 (pow.f64 y 6) (pow.f64 x 3))))))
(+.f64 (*.f64 (pow.f64 y 2) x) (+.f64 1 (+.f64 (*.f64 (pow.f64 y 4) (*.f64 1/2 (pow.f64 x 2))) (*.f64 (pow.f64 x 3) (*.f64 1/6 (pow.f64 y 6))))))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(exp.f64 (*.f64 (pow.f64 y 2) x))
(+.f64 (*.f64 x (*.f64 y y)) 0)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(+.f64 0 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(-.f64 (*.f64 x (*.f64 y y)) 0)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(-.f64 0 (neg.f64 (*.f64 x (*.f64 y y))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(/.f64 (*.f64 x (*.f64 y y)) 1)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(/.f64 (*.f64 x (*.f64 y y)) (/.f64 (*.f64 x (*.f64 y y)) (*.f64 x (*.f64 y y))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(/.f64 (*.f64 x (*.f64 (*.f64 y y) 2)) 2)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(/.f64 (*.f64 (neg.f64 (*.f64 x (*.f64 y y))) 2) -2)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(pow.f64 (*.f64 x (*.f64 y y)) 1)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(neg.f64 (neg.f64 (*.f64 x (*.f64 y y))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(+.f64 (exp.f64 (*.f64 x (*.f64 y y))) 0)
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(+.f64 0 (exp.f64 (*.f64 x (*.f64 y y))))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(-.f64 (exp.f64 (*.f64 x (*.f64 y y))) 0)
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(-.f64 0 (neg.f64 (exp.f64 (*.f64 x (*.f64 y y)))))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(*.f64 (exp.f64 (*.f64 x (*.f64 y y))) 1)
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(*.f64 (exp.f64 (*.f64 x (*.f64 y y))) (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(*.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (+.f64 (*.f64 x (*.f64 y y)) (neg.f64 (*.f64 x (*.f64 y y))))))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(*.f64 (exp.f64 (*.f64 x (*.f64 y y))) (/.f64 1 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y))))))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(*.f64 1 (exp.f64 (*.f64 x (*.f64 y y))))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 y y))))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(*.f64 (exp.f64 (neg.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2))))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(*.f64 (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2))) (exp.f64 (neg.f64 (*.f64 x (*.f64 y y)))))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(*.f64 (exp.f64 (+.f64 (*.f64 x (*.f64 y y)) (neg.f64 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 y y))))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(*.f64 (/.f64 1 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 y y))))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(*.f64 (/.f64 1 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y))))) (*.f64 (exp.f64 (*.f64 x (*.f64 y y))) (*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))) (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))))))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2)))) (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4)))))
(*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x))))
(*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 y (*.f64 4 (*.f64 y x)))))
(*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 y (+.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (neg.f64 (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))) (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x))))
(*.f64 (/.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2))))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(*.f64 (/.f64 (exp.f64 (+.f64 (*.f64 x (*.f64 y y)) (neg.f64 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2))))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(*.f64 (/.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2)))) (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4))))) (*.f64 (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4)))) (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4))))))
(*.f64 (/.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4))))) (exp.f64 (+.f64 (*.f64 y (*.f64 y (*.f64 x 4))) (*.f64 y (*.f64 y (*.f64 x 4))))))
(*.f64 (/.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x)))) (exp.f64 (*.f64 (*.f64 y (*.f64 x 4)) (+.f64 y y))))
(*.f64 (/.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 y (*.f64 4 (*.f64 y x))))) (exp.f64 (*.f64 y (*.f64 (*.f64 x 4) (+.f64 y y)))))
(*.f64 (/.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 y (+.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4))))) (exp.f64 (*.f64 y (*.f64 (*.f64 x 4) (+.f64 y y)))))
(*.f64 (/.f64 (/.f64 (exp.f64 (*.f64 y (neg.f64 (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))) (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x)))) (exp.f64 (*.f64 y (*.f64 (*.f64 y 4) (+.f64 x x)))))
(*.f64 (/.f64 (/.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2)))) (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4)))))
(*.f64 (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))) (/.f64 (/.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))))
(*.f64 (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x))) (/.f64 (/.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y x))) (exp.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))))
(*.f64 (exp.f64 (*.f64 y (*.f64 4 (*.f64 y x)))) (/.f64 (/.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y x))) (exp.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))))
(*.f64 (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))) (/.f64 (/.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y x))) (exp.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 y (+.f64 y y))))))
(*.f64 (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x))) (/.f64 (/.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y x))) (exp.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))))
(*.f64 (/.f64 (/.f64 (exp.f64 (+.f64 (*.f64 x (*.f64 y y)) (neg.f64 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2)))) (exp.f64 (*.f64 y (*.f64 x (*.f64 y 4)))))
(*.f64 (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))) (/.f64 (/.f64 (exp.f64 (+.f64 (*.f64 x (*.f64 y y)) (neg.f64 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))))
(*.f64 (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x))) (/.f64 (/.f64 (exp.f64 (+.f64 (*.f64 y (*.f64 y x)) (neg.f64 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))))
(*.f64 (exp.f64 (*.f64 y (*.f64 4 (*.f64 y x)))) (/.f64 (/.f64 (exp.f64 (+.f64 (*.f64 y (*.f64 y x)) (neg.f64 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))))
(*.f64 (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))) (/.f64 (/.f64 (exp.f64 (+.f64 (*.f64 y (*.f64 y x)) (neg.f64 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 y (+.f64 y y))))))
(*.f64 (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x))) (/.f64 (/.f64 (exp.f64 (+.f64 (*.f64 y (*.f64 y x)) (*.f64 y (neg.f64 (*.f64 y x))))) (exp.f64 (*.f64 y (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))))
(*.f64 (/.f64 (/.f64 1 (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 y y)))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 2))))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(/.f64 (exp.f64 (*.f64 x (*.f64 y y))) 1)
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (/.f64 (exp.f64 (*.f64 x (*.f64 y y))) (exp.f64 (*.f64 x (*.f64 y y)))))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(/.f64 (*.f64 (exp.f64 (*.f64 x (*.f64 y y))) 2) 2)
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(/.f64 (*.f64 (neg.f64 (exp.f64 (*.f64 x (*.f64 y y)))) 2) -2)
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(pow.f64 (exp.f64 (*.f64 x (*.f64 y y))) 1)
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))
(neg.f64 (neg.f64 (exp.f64 (*.f64 x (*.f64 y y)))))
(exp.f64 (*.f64 x (*.f64 y y)))
(exp.f64 (*.f64 y (*.f64 y x)))

eval19.0ms (0.8%)

Compiler

Compiled 1623 to 608 computations (62.5% saved)

prune11.0ms (0.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New75277
Fresh000
Picked011
Done000
Total75378
Error
0.0b
Counts
78 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
▶20.0b
(*.f64 (/.f64 (exp.f64 (*.f64 y (neg.f64 (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))) (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x))))
✓0.0b
(exp.f64 (*.f64 (*.f64 x y) y))
19.9b
1
Compiler

Compiled 38 to 25 computations (34.2% saved)

localize32.0ms (1.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(*.f64 (*.f64 y 4) (*.f64 y x))
✓0.2b
(*.f64 y (neg.f64 (*.f64 y x)))
✓0.2b
(*.f64 (/.f64 (exp.f64 (*.f64 y (neg.f64 (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))) (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x))))
✓8.1b
(*.f64 x (*.f64 2 (*.f64 y y)))
Compiler

Compiled 108 to 42 computations (61.1% saved)

series11.0ms (0.5%)

Counts
4 → 96
Calls

24 calls:

TimeVariablePointExpression
2.0ms
y
@0
(*.f64 (/.f64 (exp.f64 (*.f64 y (neg.f64 (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))) (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x))))
2.0ms
x
@inf
(*.f64 (/.f64 (exp.f64 (*.f64 y (neg.f64 (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))) (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x))))
1.0ms
x
@0
(*.f64 (/.f64 (exp.f64 (*.f64 y (neg.f64 (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))) (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x))))
1.0ms
y
@inf
(*.f64 (/.f64 (exp.f64 (*.f64 y (neg.f64 (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))) (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x))))
1.0ms
x
@-inf
(*.f64 (/.f64 (exp.f64 (*.f64 y (neg.f64 (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))) (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x))))

rewrite63.0ms (2.6%)

Algorithm
1×batch-egg-rewrite
Rules
1148×rational_best.json-simplify-47
1090×rational_best.json-2
1090×rational_best.json-3
1090×rational_best.json-1
1088×rational_best.json-5
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
020132
1178132
2598132
32566132
Stop Event
1×node limit
Counts
4 → 30
Calls
Call 1
Inputs
(*.f64 x (*.f64 2 (*.f64 y y)))
(*.f64 (/.f64 (exp.f64 (*.f64 y (neg.f64 (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))) (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x))))
(*.f64 y (neg.f64 (*.f64 y x)))
(*.f64 (*.f64 y 4) (*.f64 y x))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (*.f64 x (*.f64 y y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 2 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 y y)) (*.f64 x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 2 (*.f64 x (*.f64 y y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 x (*.f64 y y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 x (*.f64 y y))) (/.f64 (*.f64 x (*.f64 y y)) (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 2 (*.f64 x (*.f64 y y))) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) (/.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 x (neg.f64 y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 y (*.f64 x (neg.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 y (*.f64 x (neg.f64 y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 x (neg.f64 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 x (neg.f64 y))) (/.f64 (*.f64 y (*.f64 x (neg.f64 y))) (*.f64 y (*.f64 x (neg.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 x (*.f64 y -2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (*.f64 x (neg.f64 y))) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (*.f64 x (*.f64 y y))) (*.f64 2 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 (*.f64 y y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) (/.f64 (*.f64 x (*.f64 y y)) (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 y (*.f64 y 8))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) 1)))))

simplify173.0ms (7.2%)

Algorithm
1×egg-herbie
Rules
1692×rational_best.json-simplify-80
1474×rational_best.json-simplify-78
816×rational_best.json-simplify-132
796×rational_best.json-simplify-44
662×rational_best.json-simplify-2
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01645164
13374258
26453910
312503826
435963808
562923808
Stop Event
1×node limit
Counts
126 → 97
Calls
Call 1
Inputs
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
1
(+.f64 (*.f64 (-.f64 (+.f64 (*.f64 -1 x) (*.f64 4 x)) (*.f64 2 x)) (pow.f64 y 2)) 1)
(+.f64 (*.f64 (-.f64 (+.f64 (*.f64 -1 x) (*.f64 4 x)) (*.f64 2 x)) (pow.f64 y 2)) (+.f64 1 (*.f64 (pow.f64 y 4) (-.f64 (+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 -4 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2)))) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 2 (*.f64 (-.f64 (+.f64 (*.f64 -1 x) (*.f64 4 x)) (*.f64 2 x)) x)))))))
(+.f64 (*.f64 (-.f64 (+.f64 (*.f64 -1 x) (*.f64 4 x)) (*.f64 2 x)) (pow.f64 y 2)) (+.f64 1 (+.f64 (*.f64 (pow.f64 y 4) (-.f64 (+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 -4 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2)))) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 2 (*.f64 (-.f64 (+.f64 (*.f64 -1 x) (*.f64 4 x)) (*.f64 2 x)) x))))) (*.f64 (pow.f64 y 6) (-.f64 (+.f64 (*.f64 -1/6 (pow.f64 x 3)) (+.f64 (*.f64 2 (pow.f64 x 3)) (+.f64 (*.f64 32/3 (pow.f64 x 3)) (*.f64 -8 (pow.f64 x 3))))) (+.f64 (*.f64 4/3 (pow.f64 x 3)) (+.f64 (*.f64 2 (*.f64 (-.f64 (+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 -4 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2)))) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 2 (*.f64 (-.f64 (+.f64 (*.f64 -1 x) (*.f64 4 x)) (*.f64 2 x)) x)))) x)) (*.f64 2 (*.f64 (-.f64 (+.f64 (*.f64 -1 x) (*.f64 4 x)) (*.f64 2 x)) (pow.f64 x 2))))))))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
1
(+.f64 1 (*.f64 (-.f64 (+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 4 (pow.f64 y 2))) (*.f64 2 (pow.f64 y 2))) x))
(+.f64 1 (+.f64 (*.f64 (-.f64 (+.f64 (*.f64 -4 (pow.f64 y 4)) (+.f64 (*.f64 8 (pow.f64 y 4)) (*.f64 1/2 (pow.f64 y 4)))) (+.f64 (*.f64 2 (pow.f64 y 4)) (*.f64 2 (*.f64 (pow.f64 y 2) (-.f64 (+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 4 (pow.f64 y 2))) (*.f64 2 (pow.f64 y 2))))))) (pow.f64 x 2)) (*.f64 (-.f64 (+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 4 (pow.f64 y 2))) (*.f64 2 (pow.f64 y 2))) x)))
(+.f64 1 (+.f64 (*.f64 (-.f64 (+.f64 (*.f64 32/3 (pow.f64 y 6)) (+.f64 (*.f64 -1/6 (pow.f64 y 6)) (+.f64 (*.f64 -8 (pow.f64 y 6)) (*.f64 2 (pow.f64 y 6))))) (+.f64 (*.f64 2 (*.f64 (-.f64 (+.f64 (*.f64 -4 (pow.f64 y 4)) (+.f64 (*.f64 8 (pow.f64 y 4)) (*.f64 1/2 (pow.f64 y 4)))) (+.f64 (*.f64 2 (pow.f64 y 4)) (*.f64 2 (*.f64 (pow.f64 y 2) (-.f64 (+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 4 (pow.f64 y 2))) (*.f64 2 (pow.f64 y 2))))))) (pow.f64 y 2))) (+.f64 (*.f64 2 (*.f64 (pow.f64 y 4) (-.f64 (+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 4 (pow.f64 y 2))) (*.f64 2 (pow.f64 y 2))))) (*.f64 4/3 (pow.f64 y 6))))) (pow.f64 x 3)) (+.f64 (*.f64 (-.f64 (+.f64 (*.f64 -4 (pow.f64 y 4)) (+.f64 (*.f64 8 (pow.f64 y 4)) (*.f64 1/2 (pow.f64 y 4)))) (+.f64 (*.f64 2 (pow.f64 y 4)) (*.f64 2 (*.f64 (pow.f64 y 2) (-.f64 (+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 4 (pow.f64 y 2))) (*.f64 2 (pow.f64 y 2))))))) (pow.f64 x 2)) (*.f64 (-.f64 (+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 4 (pow.f64 y 2))) (*.f64 2 (pow.f64 y 2))) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(+.f64 (*.f64 2 (*.f64 x (*.f64 y y))) 0)
(+.f64 0 (*.f64 2 (*.f64 x (*.f64 y y))))
(+.f64 (*.f64 x (*.f64 y y)) (*.f64 x (*.f64 y y)))
(-.f64 (*.f64 2 (*.f64 x (*.f64 y y))) 0)
(/.f64 (*.f64 2 (*.f64 x (*.f64 y y))) 1)
(/.f64 (*.f64 2 (*.f64 x (*.f64 y y))) (/.f64 (*.f64 x (*.f64 y y)) (*.f64 x (*.f64 y y))))
(/.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) 2)
(pow.f64 (*.f64 2 (*.f64 x (*.f64 y y))) 1)
(+.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) 0)
(+.f64 0 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))))
(-.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) 0)
(/.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) 1)
(/.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) (/.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4))))))
(/.f64 (*.f64 2 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4))))) 2)
(pow.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) 1)
(+.f64 (*.f64 y (*.f64 x (neg.f64 y))) 0)
(+.f64 0 (*.f64 y (*.f64 x (neg.f64 y))))
(-.f64 (*.f64 y (*.f64 x (neg.f64 y))) 0)
(/.f64 (*.f64 y (*.f64 x (neg.f64 y))) 1)
(/.f64 (*.f64 y (*.f64 x (neg.f64 y))) (/.f64 (*.f64 y (*.f64 x (neg.f64 y))) (*.f64 y (*.f64 x (neg.f64 y)))))
(/.f64 (*.f64 y (*.f64 x (*.f64 y -2))) 2)
(pow.f64 (*.f64 y (*.f64 x (neg.f64 y))) 1)
(+.f64 (*.f64 2 (*.f64 x (*.f64 y y))) (*.f64 2 (*.f64 x (*.f64 y y))))
(+.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) 0)
(+.f64 0 (*.f64 x (*.f64 (*.f64 y y) 4)))
(-.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) 0)
(/.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) 1)
(/.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) (/.f64 (*.f64 x (*.f64 y y)) (*.f64 x (*.f64 y y))))
(/.f64 (*.f64 x (*.f64 y (*.f64 y 8))) 2)
(pow.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) 1)
Outputs
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
(*.f64 2 (*.f64 (pow.f64 y 2) x))
1
(+.f64 (*.f64 (-.f64 (+.f64 (*.f64 -1 x) (*.f64 4 x)) (*.f64 2 x)) (pow.f64 y 2)) 1)
(+.f64 1 (*.f64 (pow.f64 y 2) (-.f64 (+.f64 (*.f64 x -1) (*.f64 x 4)) (*.f64 2 x))))
(+.f64 1 (*.f64 (pow.f64 y 2) (-.f64 (*.f64 x 3) (*.f64 2 x))))
(+.f64 1 (*.f64 (pow.f64 y 2) (*.f64 x 1)))
(+.f64 1 (*.f64 (pow.f64 y 2) x))
(+.f64 (*.f64 (-.f64 (+.f64 (*.f64 -1 x) (*.f64 4 x)) (*.f64 2 x)) (pow.f64 y 2)) (+.f64 1 (*.f64 (pow.f64 y 4) (-.f64 (+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 -4 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2)))) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 2 (*.f64 (-.f64 (+.f64 (*.f64 -1 x) (*.f64 4 x)) (*.f64 2 x)) x)))))))
(+.f64 (*.f64 (pow.f64 y 4) (-.f64 (+.f64 (*.f64 (pow.f64 x 2) 8) (+.f64 (*.f64 (pow.f64 x 2) -4) (*.f64 1/2 (pow.f64 x 2)))) (*.f64 2 (+.f64 (*.f64 x (-.f64 (+.f64 (*.f64 x -1) (*.f64 x 4)) (*.f64 2 x))) (pow.f64 x 2))))) (+.f64 1 (*.f64 (pow.f64 y 2) (-.f64 (+.f64 (*.f64 x -1) (*.f64 x 4)) (*.f64 2 x)))))
(+.f64 1 (+.f64 (*.f64 (pow.f64 y 4) (-.f64 (+.f64 (*.f64 1/2 (pow.f64 x 2)) (*.f64 (pow.f64 x 2) 4)) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 x (-.f64 (*.f64 x 3) (*.f64 2 x))))))) (*.f64 (pow.f64 y 2) (-.f64 (*.f64 x 3) (*.f64 2 x)))))
(+.f64 1 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 x 1)) (*.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 2) 9/2) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 x (*.f64 x 1))))))))
(+.f64 (*.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 2) 9/2) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 x x))))) (+.f64 1 (*.f64 (pow.f64 y 2) x)))
(+.f64 (*.f64 (-.f64 (+.f64 (*.f64 -1 x) (*.f64 4 x)) (*.f64 2 x)) (pow.f64 y 2)) (+.f64 1 (+.f64 (*.f64 (pow.f64 y 4) (-.f64 (+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 -4 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2)))) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 2 (*.f64 (-.f64 (+.f64 (*.f64 -1 x) (*.f64 4 x)) (*.f64 2 x)) x))))) (*.f64 (pow.f64 y 6) (-.f64 (+.f64 (*.f64 -1/6 (pow.f64 x 3)) (+.f64 (*.f64 2 (pow.f64 x 3)) (+.f64 (*.f64 32/3 (pow.f64 x 3)) (*.f64 -8 (pow.f64 x 3))))) (+.f64 (*.f64 4/3 (pow.f64 x 3)) (+.f64 (*.f64 2 (*.f64 (-.f64 (+.f64 (*.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 -4 (pow.f64 x 2)) (*.f64 8 (pow.f64 x 2)))) (+.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 2 (*.f64 (-.f64 (+.f64 (*.f64 -1 x) (*.f64 4 x)) (*.f64 2 x)) x)))) x)) (*.f64 2 (*.f64 (-.f64 (+.f64 (*.f64 -1 x) (*.f64 4 x)) (*.f64 2 x)) (pow.f64 x 2))))))))))
(+.f64 (*.f64 (pow.f64 y 2) (-.f64 (+.f64 (*.f64 x -1) (*.f64 x 4)) (*.f64 2 x))) (+.f64 (*.f64 (pow.f64 y 6) (-.f64 (+.f64 (*.f64 -1/6 (pow.f64 x 3)) (+.f64 (*.f64 2 (pow.f64 x 3)) (+.f64 (*.f64 (pow.f64 x 3) 32/3) (*.f64 (pow.f64 x 3) -8)))) (+.f64 (*.f64 (pow.f64 x 3) 4/3) (*.f64 2 (+.f64 (*.f64 (-.f64 (+.f64 (*.f64 x -1) (*.f64 x 4)) (*.f64 2 x)) (pow.f64 x 2)) (*.f64 x (-.f64 (+.f64 (*.f64 (pow.f64 x 2) 8) (+.f64 (*.f64 (pow.f64 x 2) -4) (*.f64 1/2 (pow.f64 x 2)))) (*.f64 2 (+.f64 (*.f64 x (-.f64 (+.f64 (*.f64 x -1) (*.f64 x 4)) (*.f64 2 x))) (pow.f64 x 2)))))))))) (+.f64 1 (*.f64 (pow.f64 y 4) (-.f64 (+.f64 (*.f64 (pow.f64 x 2) 8) (+.f64 (*.f64 (pow.f64 x 2) -4) (*.f64 1/2 (pow.f64 x 2)))) (*.f64 2 (+.f64 (*.f64 x (-.f64 (+.f64 (*.f64 x -1) (*.f64 x 4)) (*.f64 2 x))) (pow.f64 x 2))))))))
(+.f64 1 (+.f64 (+.f64 (*.f64 (pow.f64 y 4) (-.f64 (+.f64 (*.f64 1/2 (pow.f64 x 2)) (*.f64 (pow.f64 x 2) 4)) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 x (-.f64 (*.f64 x 3) (*.f64 2 x))))))) (*.f64 (pow.f64 y 6) (-.f64 (+.f64 (*.f64 (pow.f64 x 3) 8/3) (*.f64 (pow.f64 x 3) 11/6)) (+.f64 (*.f64 (pow.f64 x 3) 4/3) (*.f64 2 (+.f64 (*.f64 x (-.f64 (+.f64 (*.f64 1/2 (pow.f64 x 2)) (*.f64 (pow.f64 x 2) 4)) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 x (-.f64 (*.f64 x 3) (*.f64 2 x))))))) (*.f64 (-.f64 (*.f64 x 3) (*.f64 2 x)) (pow.f64 x 2)))))))) (*.f64 (pow.f64 y 2) (-.f64 (*.f64 x 3) (*.f64 2 x)))))
(+.f64 (*.f64 (pow.f64 y 2) (*.f64 x 1)) (+.f64 1 (+.f64 (*.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 2) 9/2) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 x (*.f64 x 1)))))) (*.f64 (pow.f64 y 6) (-.f64 (*.f64 (pow.f64 x 3) 9/2) (+.f64 (*.f64 (pow.f64 x 3) 4/3) (*.f64 2 (+.f64 (*.f64 x (-.f64 (*.f64 (pow.f64 x 2) 9/2) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 x (*.f64 x 1)))))) (*.f64 (*.f64 x 1) (pow.f64 x 2))))))))))
(+.f64 (*.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 2) 9/2) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 x x))))) (+.f64 (*.f64 (pow.f64 y 6) (-.f64 (*.f64 (pow.f64 x 3) 9/2) (+.f64 (*.f64 (pow.f64 x 3) 4/3) (*.f64 2 (+.f64 (*.f64 x (-.f64 (*.f64 (pow.f64 x 2) 9/2) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 x x))))) (*.f64 x (pow.f64 x 2))))))) (+.f64 1 (*.f64 (pow.f64 y 2) x))))
(+.f64 (*.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 2) 9/2) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 x x))))) (+.f64 (*.f64 (pow.f64 y 6) (-.f64 (*.f64 (pow.f64 x 3) 9/2) (+.f64 (*.f64 x (-.f64 (*.f64 (pow.f64 x 2) 9) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 x x)) 4))) (+.f64 (*.f64 (pow.f64 x 3) 4/3) (*.f64 (*.f64 2 x) (pow.f64 x 2)))))) (+.f64 1 (*.f64 (pow.f64 y 2) x))))
(+.f64 (*.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 2) 9/2) (*.f64 2 (+.f64 (pow.f64 x 2) (*.f64 x x))))) (+.f64 (*.f64 (pow.f64 y 6) (-.f64 (*.f64 (pow.f64 x 3) 9/2) (+.f64 (*.f64 x (-.f64 (*.f64 (pow.f64 x 2) 9) (*.f64 (+.f64 (pow.f64 x 2) (*.f64 x x)) 4))) (+.f64 (*.f64 (pow.f64 x 3) 4/3) (*.f64 (+.f64 x x) (pow.f64 x 2)))))) (+.f64 1 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1)) (*.f64 (pow.f64 y 2) (*.f64 x 4)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (*.f64 (pow.f64 y 2) (*.f64 x 3))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1)) (*.f64 (pow.f64 y 2) (*.f64 x 4)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (*.f64 (pow.f64 y 2) (*.f64 x 3))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1)) (*.f64 (pow.f64 y 2) (*.f64 x 4)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (*.f64 (pow.f64 y 2) (*.f64 x 3))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1)) (*.f64 (pow.f64 y 2) (*.f64 x 4)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (*.f64 (pow.f64 y 2) (*.f64 x 3))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1)) (*.f64 (pow.f64 y 2) (*.f64 x 4)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (*.f64 (pow.f64 y 2) (*.f64 x 3))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1)) (*.f64 (pow.f64 y 2) (*.f64 x 4)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (*.f64 (pow.f64 y 2) (*.f64 x 3))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1)) (*.f64 (pow.f64 y 2) (*.f64 x 4)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (*.f64 (pow.f64 y 2) (*.f64 x 3))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1)) (*.f64 (pow.f64 y 2) (*.f64 x 4)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (*.f64 (pow.f64 y 2) (*.f64 x 3))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
1
(+.f64 1 (*.f64 (-.f64 (+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 4 (pow.f64 y 2))) (*.f64 2 (pow.f64 y 2))) x))
(+.f64 1 (*.f64 (pow.f64 y 2) (-.f64 (+.f64 (*.f64 x -1) (*.f64 x 4)) (*.f64 2 x))))
(+.f64 1 (*.f64 (pow.f64 y 2) (-.f64 (*.f64 x 3) (*.f64 2 x))))
(+.f64 1 (*.f64 (pow.f64 y 2) (*.f64 x 1)))
(+.f64 1 (*.f64 (pow.f64 y 2) x))
(+.f64 1 (+.f64 (*.f64 (-.f64 (+.f64 (*.f64 -4 (pow.f64 y 4)) (+.f64 (*.f64 8 (pow.f64 y 4)) (*.f64 1/2 (pow.f64 y 4)))) (+.f64 (*.f64 2 (pow.f64 y 4)) (*.f64 2 (*.f64 (pow.f64 y 2) (-.f64 (+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 4 (pow.f64 y 2))) (*.f64 2 (pow.f64 y 2))))))) (pow.f64 x 2)) (*.f64 (-.f64 (+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 4 (pow.f64 y 2))) (*.f64 2 (pow.f64 y 2))) x)))
(+.f64 1 (+.f64 (*.f64 x (-.f64 (+.f64 (*.f64 (pow.f64 y 2) -1) (*.f64 (pow.f64 y 2) 4)) (*.f64 2 (pow.f64 y 2)))) (*.f64 (pow.f64 x 2) (-.f64 (+.f64 (*.f64 (pow.f64 y 4) -4) (+.f64 (*.f64 (pow.f64 y 4) 8) (*.f64 (pow.f64 y 4) 1/2))) (*.f64 2 (+.f64 (*.f64 (pow.f64 y 2) (-.f64 (+.f64 (*.f64 (pow.f64 y 2) -1) (*.f64 (pow.f64 y 2) 4)) (*.f64 2 (pow.f64 y 2)))) (pow.f64 y 4)))))))
(+.f64 1 (+.f64 (*.f64 x (-.f64 (*.f64 (pow.f64 y 2) 3) (*.f64 2 (pow.f64 y 2)))) (*.f64 (pow.f64 x 2) (-.f64 (+.f64 (*.f64 (pow.f64 y 4) -4) (*.f64 (pow.f64 y 4) 17/2)) (*.f64 2 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 y 2) (-.f64 (*.f64 (pow.f64 y 2) 3) (*.f64 2 (pow.f64 y 2))))))))))
(+.f64 1 (+.f64 (*.f64 x (*.f64 (pow.f64 y 2) 1)) (*.f64 (pow.f64 x 2) (-.f64 (*.f64 (pow.f64 y 4) 9/2) (*.f64 2 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 y 2) (*.f64 (pow.f64 y 2) 1))))))))
(+.f64 1 (+.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 x 2) (-.f64 (*.f64 (pow.f64 y 4) 9/2) (*.f64 2 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 y 2) (pow.f64 y 2))))))))
(+.f64 (*.f64 (pow.f64 y 2) x) (+.f64 1 (*.f64 (pow.f64 x 2) (-.f64 (*.f64 (pow.f64 y 4) 9/2) (*.f64 2 (+.f64 (pow.f64 y 4) (pow.f64 (*.f64 y y) 2)))))))
(+.f64 1 (+.f64 (*.f64 (-.f64 (+.f64 (*.f64 32/3 (pow.f64 y 6)) (+.f64 (*.f64 -1/6 (pow.f64 y 6)) (+.f64 (*.f64 -8 (pow.f64 y 6)) (*.f64 2 (pow.f64 y 6))))) (+.f64 (*.f64 2 (*.f64 (-.f64 (+.f64 (*.f64 -4 (pow.f64 y 4)) (+.f64 (*.f64 8 (pow.f64 y 4)) (*.f64 1/2 (pow.f64 y 4)))) (+.f64 (*.f64 2 (pow.f64 y 4)) (*.f64 2 (*.f64 (pow.f64 y 2) (-.f64 (+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 4 (pow.f64 y 2))) (*.f64 2 (pow.f64 y 2))))))) (pow.f64 y 2))) (+.f64 (*.f64 2 (*.f64 (pow.f64 y 4) (-.f64 (+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 4 (pow.f64 y 2))) (*.f64 2 (pow.f64 y 2))))) (*.f64 4/3 (pow.f64 y 6))))) (pow.f64 x 3)) (+.f64 (*.f64 (-.f64 (+.f64 (*.f64 -4 (pow.f64 y 4)) (+.f64 (*.f64 8 (pow.f64 y 4)) (*.f64 1/2 (pow.f64 y 4)))) (+.f64 (*.f64 2 (pow.f64 y 4)) (*.f64 2 (*.f64 (pow.f64 y 2) (-.f64 (+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 4 (pow.f64 y 2))) (*.f64 2 (pow.f64 y 2))))))) (pow.f64 x 2)) (*.f64 (-.f64 (+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 4 (pow.f64 y 2))) (*.f64 2 (pow.f64 y 2))) x))))
(+.f64 (+.f64 (*.f64 x (-.f64 (+.f64 (*.f64 (pow.f64 y 2) -1) (*.f64 (pow.f64 y 2) 4)) (*.f64 2 (pow.f64 y 2)))) (*.f64 (pow.f64 x 2) (-.f64 (+.f64 (*.f64 (pow.f64 y 4) -4) (+.f64 (*.f64 (pow.f64 y 4) 8) (*.f64 (pow.f64 y 4) 1/2))) (*.f64 2 (+.f64 (*.f64 (pow.f64 y 2) (-.f64 (+.f64 (*.f64 (pow.f64 y 2) -1) (*.f64 (pow.f64 y 2) 4)) (*.f64 2 (pow.f64 y 2)))) (pow.f64 y 4)))))) (+.f64 (*.f64 (pow.f64 x 3) (-.f64 (+.f64 (+.f64 (*.f64 (pow.f64 y 6) -8) (*.f64 2 (pow.f64 y 6))) (+.f64 (*.f64 (pow.f64 y 6) -1/6) (*.f64 (pow.f64 y 6) 32/3))) (+.f64 (*.f64 2 (*.f64 (pow.f64 y 2) (-.f64 (+.f64 (*.f64 (pow.f64 y 4) -4) (+.f64 (*.f64 (pow.f64 y 4) 8) (*.f64 (pow.f64 y 4) 1/2))) (*.f64 2 (+.f64 (*.f64 (pow.f64 y 2) (-.f64 (+.f64 (*.f64 (pow.f64 y 2) -1) (*.f64 (pow.f64 y 2) 4)) (*.f64 2 (pow.f64 y 2)))) (pow.f64 y 4)))))) (+.f64 (*.f64 (pow.f64 y 4) (*.f64 2 (-.f64 (+.f64 (*.f64 (pow.f64 y 2) -1) (*.f64 (pow.f64 y 2) 4)) (*.f64 2 (pow.f64 y 2))))) (*.f64 (pow.f64 y 6) 4/3))))) 1))
(+.f64 1 (+.f64 (*.f64 x (-.f64 (*.f64 (pow.f64 y 2) 3) (*.f64 2 (pow.f64 y 2)))) (+.f64 (*.f64 (pow.f64 x 2) (-.f64 (+.f64 (*.f64 (pow.f64 y 4) -4) (*.f64 (pow.f64 y 4) 17/2)) (*.f64 2 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 y 2) (-.f64 (*.f64 (pow.f64 y 2) 3) (*.f64 2 (pow.f64 y 2)))))))) (*.f64 (pow.f64 x 3) (-.f64 (+.f64 (*.f64 (pow.f64 y 6) -6) (*.f64 (pow.f64 y 6) 21/2)) (+.f64 (*.f64 (pow.f64 y 6) 4/3) (*.f64 2 (+.f64 (*.f64 (pow.f64 y 2) (-.f64 (+.f64 (*.f64 (pow.f64 y 4) -4) (*.f64 (pow.f64 y 4) 17/2)) (*.f64 2 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 y 2) (-.f64 (*.f64 (pow.f64 y 2) 3) (*.f64 2 (pow.f64 y 2)))))))) (*.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 y 2) 3) (*.f64 2 (pow.f64 y 2))))))))))))
(+.f64 1 (+.f64 (*.f64 x (*.f64 (pow.f64 y 2) 1)) (+.f64 (*.f64 (pow.f64 x 2) (-.f64 (*.f64 (pow.f64 y 4) 9/2) (*.f64 2 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 y 2) (*.f64 (pow.f64 y 2) 1)))))) (*.f64 (pow.f64 x 3) (-.f64 (*.f64 (pow.f64 y 6) 9/2) (+.f64 (*.f64 (pow.f64 y 6) 4/3) (*.f64 2 (+.f64 (*.f64 (pow.f64 y 2) (-.f64 (*.f64 (pow.f64 y 4) 9/2) (*.f64 2 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 y 2) (*.f64 (pow.f64 y 2) 1)))))) (*.f64 (pow.f64 y 4) (*.f64 (pow.f64 y 2) 1))))))))))
(+.f64 1 (+.f64 (*.f64 (pow.f64 y 2) x) (+.f64 (*.f64 (pow.f64 x 2) (-.f64 (*.f64 (pow.f64 y 4) 9/2) (*.f64 2 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 y 2) (pow.f64 y 2)))))) (*.f64 (pow.f64 x 3) (-.f64 (*.f64 (pow.f64 y 6) 9/2) (+.f64 (*.f64 (pow.f64 y 2) (-.f64 (*.f64 (pow.f64 y 4) 9) (*.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 y 2) (pow.f64 y 2))) 4))) (+.f64 (*.f64 2 (*.f64 (pow.f64 y 2) (pow.f64 y 4))) (*.f64 (pow.f64 y 6) 4/3))))))))
(+.f64 (*.f64 (pow.f64 x 2) (-.f64 (*.f64 (pow.f64 y 4) 9/2) (*.f64 2 (+.f64 (pow.f64 y 4) (pow.f64 (*.f64 y y) 2))))) (+.f64 (+.f64 1 (*.f64 (pow.f64 y 2) x)) (*.f64 (pow.f64 x 3) (-.f64 (*.f64 (pow.f64 y 6) 9/2) (+.f64 (*.f64 (pow.f64 y 2) (-.f64 (*.f64 (pow.f64 y 4) 9) (*.f64 (+.f64 (pow.f64 y 4) (pow.f64 (*.f64 y y) 2)) 4))) (+.f64 (*.f64 2 (*.f64 (pow.f64 y 2) (pow.f64 y 4))) (*.f64 (pow.f64 y 6) 4/3)))))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1)) (*.f64 (pow.f64 y 2) (*.f64 x 4)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (*.f64 (pow.f64 y 2) (*.f64 x 3))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1)) (*.f64 (pow.f64 y 2) (*.f64 x 4)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (*.f64 (pow.f64 y 2) (*.f64 x 3))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1)) (*.f64 (pow.f64 y 2) (*.f64 x 4)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (*.f64 (pow.f64 y 2) (*.f64 x 3))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1)) (*.f64 (pow.f64 y 2) (*.f64 x 4)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (*.f64 (pow.f64 y 2) (*.f64 x 3))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1)) (*.f64 (pow.f64 y 2) (*.f64 x 4)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (*.f64 (pow.f64 y 2) (*.f64 x 3))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1)) (*.f64 (pow.f64 y 2) (*.f64 x 4)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (*.f64 (pow.f64 y 2) (*.f64 x 3))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1)) (*.f64 (pow.f64 y 2) (*.f64 x 4)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (*.f64 (pow.f64 y 2) (*.f64 x 3))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (*.f64 (exp.f64 (*.f64 -1 (*.f64 (pow.f64 y 2) x))) (exp.f64 (*.f64 4 (*.f64 (pow.f64 y 2) x)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 x -1)) (*.f64 (pow.f64 y 2) (*.f64 x 4)))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(/.f64 (exp.f64 (*.f64 (pow.f64 y 2) (*.f64 x 3))) (exp.f64 (*.f64 2 (*.f64 (pow.f64 y 2) x))))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 -1 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x -1))
(*.f64 (pow.f64 y 2) (neg.f64 x))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(*.f64 4 (*.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) (*.f64 x 4))
(+.f64 (*.f64 2 (*.f64 x (*.f64 y y))) 0)
(*.f64 2 (*.f64 y (*.f64 x y)))
(*.f64 2 (*.f64 y (*.f64 y x)))
(*.f64 2 (*.f64 x (*.f64 y y)))
(*.f64 (*.f64 2 x) (*.f64 y y))
(+.f64 0 (*.f64 2 (*.f64 x (*.f64 y y))))
(*.f64 2 (*.f64 y (*.f64 x y)))
(*.f64 2 (*.f64 y (*.f64 y x)))
(*.f64 2 (*.f64 x (*.f64 y y)))
(*.f64 (*.f64 2 x) (*.f64 y y))
(+.f64 (*.f64 x (*.f64 y y)) (*.f64 x (*.f64 y y)))
(*.f64 2 (*.f64 y (*.f64 x y)))
(*.f64 2 (*.f64 y (*.f64 y x)))
(*.f64 2 (*.f64 x (*.f64 y y)))
(*.f64 (*.f64 2 x) (*.f64 y y))
(-.f64 (*.f64 2 (*.f64 x (*.f64 y y))) 0)
(*.f64 2 (*.f64 y (*.f64 x y)))
(*.f64 2 (*.f64 y (*.f64 y x)))
(*.f64 2 (*.f64 x (*.f64 y y)))
(*.f64 (*.f64 2 x) (*.f64 y y))
(/.f64 (*.f64 2 (*.f64 x (*.f64 y y))) 1)
(*.f64 2 (*.f64 y (*.f64 x y)))
(*.f64 2 (*.f64 y (*.f64 y x)))
(*.f64 2 (*.f64 x (*.f64 y y)))
(*.f64 (*.f64 2 x) (*.f64 y y))
(/.f64 (*.f64 2 (*.f64 x (*.f64 y y))) (/.f64 (*.f64 x (*.f64 y y)) (*.f64 x (*.f64 y y))))
(/.f64 (*.f64 2 (*.f64 y (*.f64 x y))) (/.f64 (*.f64 y (*.f64 x y)) (*.f64 y (*.f64 x y))))
(*.f64 (/.f64 2 (*.f64 y (*.f64 y x))) (*.f64 (*.f64 y (*.f64 y x)) (*.f64 y (*.f64 y x))))
(*.f64 (*.f64 y y) (*.f64 (/.f64 2 (*.f64 y (*.f64 y x))) (*.f64 x (*.f64 y (*.f64 y x)))))
(*.f64 (*.f64 2 (*.f64 x (*.f64 y y))) (/.f64 (*.f64 x (*.f64 y y)) (*.f64 x (*.f64 y y))))
(*.f64 y (*.f64 y (*.f64 (*.f64 (*.f64 2 x) (*.f64 y y)) (/.f64 x (*.f64 x (*.f64 y y))))))
(*.f64 y (*.f64 y (*.f64 (*.f64 2 (*.f64 x (*.f64 y y))) (/.f64 x (*.f64 x (*.f64 y y))))))
(/.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) 2)
(*.f64 2 (*.f64 y (*.f64 x y)))
(*.f64 2 (*.f64 y (*.f64 y x)))
(*.f64 2 (*.f64 x (*.f64 y y)))
(*.f64 (*.f64 2 x) (*.f64 y y))
(pow.f64 (*.f64 2 (*.f64 x (*.f64 y y))) 1)
(*.f64 2 (*.f64 y (*.f64 x y)))
(*.f64 2 (*.f64 y (*.f64 y x)))
(*.f64 2 (*.f64 x (*.f64 y y)))
(*.f64 (*.f64 2 x) (*.f64 y y))
(+.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) 0)
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 x y))))) (exp.f64 (*.f64 x (*.f64 4 (*.f64 y y)))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 x (*.f64 y (*.f64 4 y)))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 y (*.f64 (*.f64 x 4) y))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 (*.f64 2 x) (*.f64 y y)))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(+.f64 0 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 x y))))) (exp.f64 (*.f64 x (*.f64 4 (*.f64 y y)))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 x (*.f64 y (*.f64 4 y)))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 y (*.f64 (*.f64 x 4) y))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 (*.f64 2 x) (*.f64 y y)))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(-.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) 0)
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 x y))))) (exp.f64 (*.f64 x (*.f64 4 (*.f64 y y)))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 x (*.f64 y (*.f64 4 y)))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 y (*.f64 (*.f64 x 4) y))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 (*.f64 2 x) (*.f64 y y)))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(/.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) 1)
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 x y))))) (exp.f64 (*.f64 x (*.f64 4 (*.f64 y y)))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 x (*.f64 y (*.f64 4 y)))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 y (*.f64 (*.f64 x 4) y))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 (*.f64 2 x) (*.f64 y y)))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(/.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) (/.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4))))))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 x y))))) (exp.f64 (*.f64 x (*.f64 4 (*.f64 y y)))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 x (*.f64 y (*.f64 4 y)))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 y (*.f64 (*.f64 x 4) y))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 (*.f64 2 x) (*.f64 y y)))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(/.f64 (*.f64 2 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4))))) 2)
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 x y))))) (exp.f64 (*.f64 x (*.f64 4 (*.f64 y y)))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 x (*.f64 y (*.f64 4 y)))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 y (*.f64 (*.f64 x 4) y))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 (*.f64 2 x) (*.f64 y y)))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(pow.f64 (*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 x (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 x (*.f64 (*.f64 y y) 4)))) 1)
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 x y))))) (exp.f64 (*.f64 x (*.f64 4 (*.f64 y y)))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 x (*.f64 y (*.f64 4 y)))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 y (*.f64 y x))))) (exp.f64 (*.f64 y (*.f64 (*.f64 x 4) y))))
(*.f64 (/.f64 (exp.f64 (*.f64 y (*.f64 y (neg.f64 x)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 (*.f64 2 x) (*.f64 y y)))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(*.f64 (/.f64 (exp.f64 (*.f64 x (*.f64 y (neg.f64 y)))) (exp.f64 (*.f64 2 (*.f64 x (*.f64 y y))))) (exp.f64 (*.f64 y (*.f64 y (*.f64 x 4)))))
(+.f64 (*.f64 y (*.f64 x (neg.f64 y))) 0)
(*.f64 x (*.f64 y (neg.f64 y)))
(*.f64 y (*.f64 y (neg.f64 x)))
(+.f64 0 (*.f64 y (*.f64 x (neg.f64 y))))
(*.f64 x (*.f64 y (neg.f64 y)))
(*.f64 y (*.f64 y (neg.f64 x)))
(-.f64 (*.f64 y (*.f64 x (neg.f64 y))) 0)
(*.f64 x (*.f64 y (neg.f64 y)))
(*.f64 y (*.f64 y (neg.f64 x)))
(/.f64 (*.f64 y (*.f64 x (neg.f64 y))) 1)
(*.f64 x (*.f64 y (neg.f64 y)))
(*.f64 y (*.f64 y (neg.f64 x)))
(/.f64 (*.f64 y (*.f64 x (neg.f64 y))) (/.f64 (*.f64 y (*.f64 x (neg.f64 y))) (*.f64 y (*.f64 x (neg.f64 y)))))
(*.f64 x (*.f64 y (neg.f64 y)))
(*.f64 y (*.f64 y (neg.f64 x)))
(/.f64 (*.f64 y (*.f64 x (*.f64 y -2))) 2)
(*.f64 x (*.f64 y (neg.f64 y)))
(*.f64 y (*.f64 y (neg.f64 x)))
(pow.f64 (*.f64 y (*.f64 x (neg.f64 y))) 1)
(*.f64 x (*.f64 y (neg.f64 y)))
(*.f64 y (*.f64 y (neg.f64 x)))
(+.f64 (*.f64 2 (*.f64 x (*.f64 y y))) (*.f64 2 (*.f64 x (*.f64 y y))))
(*.f64 2 (*.f64 x (+.f64 (*.f64 y y) (*.f64 y y))))
(*.f64 (*.f64 y (*.f64 y x)) 4)
(*.f64 y (*.f64 (*.f64 x 4) y))
(*.f64 y (*.f64 y (*.f64 x 4)))
(+.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) 0)
(*.f64 2 (*.f64 x (+.f64 (*.f64 y y) (*.f64 y y))))
(*.f64 (*.f64 y (*.f64 y x)) 4)
(*.f64 y (*.f64 (*.f64 x 4) y))
(*.f64 y (*.f64 y (*.f64 x 4)))
(+.f64 0 (*.f64 x (*.f64 (*.f64 y y) 4)))
(*.f64 2 (*.f64 x (+.f64 (*.f64 y y) (*.f64 y y))))
(*.f64 (*.f64 y (*.f64 y x)) 4)
(*.f64 y (*.f64 (*.f64 x 4) y))
(*.f64 y (*.f64 y (*.f64 x 4)))
(-.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) 0)
(*.f64 2 (*.f64 x (+.f64 (*.f64 y y) (*.f64 y y))))
(*.f64 (*.f64 y (*.f64 y x)) 4)
(*.f64 y (*.f64 (*.f64 x 4) y))
(*.f64 y (*.f64 y (*.f64 x 4)))
(/.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) 1)
(*.f64 2 (*.f64 x (+.f64 (*.f64 y y) (*.f64 y y))))
(*.f64 (*.f64 y (*.f64 y x)) 4)
(*.f64 y (*.f64 (*.f64 x 4) y))
(*.f64 y (*.f64 y (*.f64 x 4)))
(/.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) (/.f64 (*.f64 x (*.f64 y y)) (*.f64 x (*.f64 y y))))
(/.f64 (*.f64 x (*.f64 4 (*.f64 y y))) (/.f64 (*.f64 y (*.f64 x y)) (*.f64 y (*.f64 x y))))
(/.f64 (*.f64 x (*.f64 y (*.f64 4 y))) (/.f64 (*.f64 y (*.f64 y x)) (*.f64 y (*.f64 y x))))
(/.f64 (*.f64 y (*.f64 (*.f64 x 4) y)) (/.f64 (*.f64 y (*.f64 y x)) (*.f64 y (*.f64 y x))))
(*.f64 (/.f64 4 (*.f64 x (*.f64 y y))) (*.f64 x (*.f64 (*.f64 y y) (*.f64 x (*.f64 y y)))))
(*.f64 (*.f64 y (*.f64 y (*.f64 x 4))) (/.f64 (*.f64 x (*.f64 y y)) (*.f64 x (*.f64 y y))))
(/.f64 (*.f64 x (*.f64 y (*.f64 y 8))) 2)
(*.f64 2 (*.f64 x (+.f64 (*.f64 y y) (*.f64 y y))))
(*.f64 (*.f64 y (*.f64 y x)) 4)
(*.f64 y (*.f64 (*.f64 x 4) y))
(*.f64 y (*.f64 y (*.f64 x 4)))
(pow.f64 (*.f64 x (*.f64 (*.f64 y y) 4)) 1)
(*.f64 2 (*.f64 x (+.f64 (*.f64 y y) (*.f64 y y))))
(*.f64 (*.f64 y (*.f64 y x)) 4)
(*.f64 y (*.f64 (*.f64 x 4) y))
(*.f64 y (*.f64 y (*.f64 x 4)))

eval58.0ms (2.4%)

Compiler

Compiled 3983 to 2435 computations (38.9% saved)

prune64.0ms (2.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New97097
Fresh011
Picked011
Done011
Total973100
Error
0.0b
Counts
100 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓20.0b
(*.f64 (/.f64 (exp.f64 (*.f64 y (neg.f64 (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))) (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x))))
✓0.0b
(exp.f64 (*.f64 (*.f64 x y) y))
19.9b
1
Compiler

Compiled 38 to 25 computations (34.2% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done022
Total033
Error
0.0b
Counts
3 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓20.0b
(*.f64 (/.f64 (exp.f64 (*.f64 y (neg.f64 (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))) (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x))))
✓0.0b
(exp.f64 (*.f64 (*.f64 x y) y))
19.9b
1
Compiler

Compiled 38 to 25 computations (34.2% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done022
Total033
Error
0.0b
Counts
3 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓20.0b
(*.f64 (/.f64 (exp.f64 (*.f64 y (neg.f64 (*.f64 y x)))) (exp.f64 (*.f64 x (*.f64 2 (*.f64 y y))))) (exp.f64 (*.f64 (*.f64 y 4) (*.f64 y x))))
✓0.0b
(exp.f64 (*.f64 (*.f64 x y) y))
19.9b
1
Compiler

Compiled 38 to 25 computations (34.2% saved)

regimes136.0ms (5.6%)

Accuracy

Total -20.6b remaining (-226607.3%)

Threshold costs -20.6b (-226607.3%)

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

4 calls:

125.0ms
(*.f64 (*.f64 x y) y)
4.0ms
x
3.0ms
y
2.0ms
(exp.f64 (*.f64 (*.f64 x y) y))
Results
ErrorSegmentsBranch
0.0b1x
0.0b1y
0.0b1(exp.f64 (*.f64 (*.f64 x y) y))
0.0b1(*.f64 (*.f64 x y) y)
Compiler

Compiled 55 to 34 computations (38.2% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0918
Stop Event
1×fuel
1×saturated
Calls
Call 1
Inputs
(exp.f64 (*.f64 (*.f64 x y) y))
1
Outputs
(exp.f64 (*.f64 (*.f64 x y) y))
1
Compiler

Compiled 11 to 8 computations (27.3% saved)

soundness0.0ms (0%)

end13.0ms (0.6%)

Compiler

Compiled 9 to 6 computations (33.3% saved)

Profiling

Loading profile data...