Mul Mul acot sqrt Pow Mul Mul x1 4 Add Add x0 csch Pow x6 x3 Mul x0 x3 x6 E Mul Add x0 x0 x2 
Add Mul Mul Add x0 x0 x2 Mul E Mul -1 Mul Mul Pow Mul 2 sqrt Pow Mul Mul x1 4 Add Add x0 csch Pow x6 x3 Mul x0 x3 x6 -1 Mul Pow Mul Mul x1 4 Add Add x0 csch Pow x6 x3 Mul x0 x3 Add x6 -1 Mul x6 Mul Mul x1 4 Add 1 x3 Pow Add 1 Mul sqrt Pow Mul Mul x1 4 Add Add x0 csch Pow x6 x3 Mul x0 x3 x6 sqrt Pow Mul Mul x1 4 Add Add x0 csch Pow x6 x3 Mul x0 x3 x6 -1 Mul Mul acot sqrt Pow Mul Mul x1 4 Add Add x0 csch Pow x6 x3 Mul x0 x3 x6 E Mul x2 2 