sech Pow Mul Pow pi -2 Mul x0 x0 acsch x1 
Mul Mul tanh Pow Mul Pow pi -2 Mul x0 x0 acsch x1 Mul -1 sech Pow Mul Pow pi -2 Mul x0 x0 acsch x1 Mul Pow Mul Pow pi -2 Mul x0 x0 Add acsch x1 -1 Mul acsch x1 Mul Pow pi -2 Add x0 x0 