Add asech Pow Pow x2 Mul x0 x2 x0 Add coth Pow sqrt Add Mul -3 Add x0 sqrt x0 Mul x0 E x0 x0 
Add Mul Mul Pow Pow x2 Mul x0 x2 Add x0 -1 Add Mul x0 Mul Pow x2 Add Mul x0 x2 -1 Mul Mul x2 log x2 x2 Mul Pow x2 Mul x0 x2 log Pow x2 Mul x0 x2 Pow Mul Mul Pow Pow x2 Mul x0 x2 x0 Pow Pow x2 Mul x0 x2 x0 sqrt Add 1 Mul -1 Pow Mul Pow Pow x2 Mul x0 x2 x0 Pow Pow x2 Mul x0 x2 x0 -1 -1 Add Mul Mul -1 Pow csch Pow sqrt Add Mul -3 Add x0 sqrt x0 Mul x0 E x0 2 Mul Pow sqrt Add Mul -3 Add x0 sqrt x0 Mul x0 E Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt Add Mul -3 Add x0 sqrt x0 Mul x0 E -1 Add Mul -3 Add 1 Pow Mul 2 sqrt x0 -1 E Mul sqrt Add Mul -3 Add x0 sqrt x0 Mul x0 E log sqrt Add Mul -3 Add x0 sqrt x0 Mul x0 E 1 