Mul acsch x1 Mul x0 sinh acsch Pow Mul x0 x0 cosh atanh x2 
Mul acsch x1 Add sinh acsch Pow Mul x0 x0 cosh atanh x2 Mul x0 Mul cosh acsch Pow Mul x0 x0 cosh atanh x2 Mul Mul -1 Mul Pow Mul x0 x0 Add cosh atanh x2 -1 Mul cosh atanh x2 Add x0 x0 Pow Mul Mul Pow Mul x0 x0 cosh atanh x2 Pow Mul x0 x0 cosh atanh x2 sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 x0 cosh atanh x2 Pow Mul x0 x0 cosh atanh x2 -1 -1 