Mul Mul x0 Mul x0 Mul coth Mul asec x0 Add asinh x7 x0 -1 atan x1 
Mul atan x1 Add Mul x0 Mul coth Mul asec x0 Add asinh x7 x0 -1 Mul x0 Add Mul coth Mul asec x0 Add asinh x7 x0 -1 Mul x0 Mul -1 Mul Mul -1 Pow csch Mul asec x0 Add asinh x7 x0 2 Add Mul Add asinh x7 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 asec x0 