Mul x6 Add asec Mul x0 2 Pow x0 cos coth Mul x0 E 
Mul x6 Add Mul 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 2 Mul x0 2 -1 Mul x0 2 Mul x0 2 -1 Mul Pow x0 Add cos coth Mul x0 E -1 Add cos coth Mul x0 E Mul Mul x0 log x0 Mul Mul -1 sin coth Mul x0 E Mul Mul -1 Pow csch Mul x0 E 2 E 