asinh Mul -2 exp Pow Add acot x1 x0 acosh asec sqrt Mul exp E x0 
Mul Mul -2 Mul exp Pow Add acot x1 x0 acosh asec sqrt Mul exp E x0 Mul Pow Add acot x1 x0 Add acosh asec sqrt Mul exp E x0 -1 Add acosh asec sqrt Mul exp E x0 Mul Mul Add acot x1 x0 log Add acot x1 x0 Mul Mul Mul Pow Mul 2 sqrt Mul exp E x0 -1 exp E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sqrt Mul exp E x0 sqrt Mul exp E x0 -1 sqrt Mul exp E x0 sqrt Mul exp E x0 -1 Pow Mul sqrt Add asec sqrt Mul exp E x0 -1 sqrt Add 1 asec sqrt Mul exp E x0 -1 Pow sqrt Add 1 Mul Mul -2 exp Pow Add acot x1 x0 acosh asec sqrt Mul exp E x0 Mul -2 exp Pow Add acot x1 x0 acosh asec sqrt Mul exp E x0 -1 