Mul Pow Pow acosh x0 x7 Mul Pow x0 Mul x0 atan x1 acsch tanh x0 x3 
Mul x3 Mul Pow Pow acosh x0 x7 Add Mul Pow x0 Mul x0 atan x1 acsch tanh x0 -1 Add Mul Mul Pow x0 Mul x0 atan x1 acsch tanh x0 Mul Pow acosh x0 Add x7 -1 Mul x7 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Pow acosh x0 x7 log Pow acosh x0 x7 Add Mul acsch tanh x0 Mul Pow x0 Add Mul x0 atan x1 -1 Add Mul x0 atan x1 Mul Mul x0 log x0 atan x1 Mul Pow x0 Mul x0 atan x1 Mul Mul -1 Pow sech x0 2 Pow Mul Mul tanh x0 tanh x0 sqrt Add 1 Mul -1 Pow Mul tanh x0 tanh x0 -1 -1 