Pow Mul cosh x0 Mul Mul acot x0 Mul x0 x0 Mul x0 asec atanh x0 E 
Mul Pow Mul cosh x0 Mul Mul acot x0 Mul x0 x0 Mul x0 asec atanh x0 Add E -1 Mul E Add Mul Mul Mul acot x0 Mul x0 x0 Mul x0 asec atanh x0 sinh x0 Mul cosh x0 Add Mul Mul x0 asec atanh x0 Add Mul Mul x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Add x0 x0 Mul Mul acot x0 Mul x0 x0 Add asec atanh x0 Mul x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul atanh x0 atanh x0 -1 atanh x0 atanh x0 -1 