Mul x7 Mul tanh Mul 2 asec x0 acoth Pow x0 2 
Mul x7 Add Mul acoth Pow x0 2 Mul Pow sech Mul 2 asec x0 2 Mul 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul tanh Mul 2 asec x0 Mul Mul x0 2 Pow Add 1 Mul -1 Mul Pow x0 2 Pow x0 2 -1 