Add sech asinh Pow Mul x0 x0 sqrt acsch x2 pi 
Mul Mul tanh asinh Pow Mul x0 x0 sqrt acsch x2 Mul -1 sech asinh Pow Mul x0 x0 sqrt acsch x2 Mul Mul Pow Mul x0 x0 Add sqrt acsch x2 -1 Mul sqrt acsch x2 Add x0 x0 Pow sqrt Add 1 Mul Pow Mul x0 x0 sqrt acsch x2 Pow Mul x0 x0 sqrt acsch x2 -1 