Pow Mul 2 x0 Mul sqrt Mul x0 csch Pow x6 E x2 
Mul Pow Mul 2 x0 Add Mul sqrt Mul x0 csch Pow x6 E x2 -1 Add Mul Mul sqrt Mul x0 csch Pow x6 E x2 2 Mul Mul Mul 2 x0 log Mul 2 x0 Mul x2 Mul Pow Mul 2 sqrt Mul x0 csch Pow x6 E -1 csch Pow x6 E 