Pow Mul acot Mul Add acot E Mul E x0 x0 acos Add acosh atanh x0 x0 x2 
Mul Pow Mul acot Mul Add acot E Mul E x0 x0 acos Add acosh atanh x0 x0 Add x2 -1 Mul x2 Add Mul acos Add acosh atanh x0 x0 Mul -1 Mul Add Mul x0 E Add acot E Mul E x0 Pow Add 1 Mul Mul Add acot E Mul E x0 x0 Mul Add acot E Mul E x0 x0 -1 Mul acot Mul Add acot E Mul E x0 x0 Mul -1 Mul Add Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add atanh x0 -1 sqrt Add 1 atanh x0 -1 1 Pow sqrt Add 1 Mul -1 Mul Add acosh atanh x0 x0 Add acosh atanh x0 x0 -1 