Add x0 acsch acot sqrt acot Pow pi Pow acosh Add x1 Pow x6 acot x1 x0 
Add 1 Mul Mul -1 Mul -1 Mul Mul Pow Mul 2 sqrt acot Pow pi Pow acosh Add x1 Pow x6 acot x1 x0 -1 Mul -1 Mul Mul Pow pi Add Pow acosh Add x1 Pow x6 acot x1 x0 -1 Mul Mul pi log pi Mul Pow acosh Add x1 Pow x6 acot x1 Add x0 -1 Mul acosh Add x1 Pow x6 acot x1 log acosh Add x1 Pow x6 acot x1 Pow Add 1 Mul Pow pi Pow acosh Add x1 Pow x6 acot x1 x0 Pow pi Pow acosh Add x1 Pow x6 acot x1 x0 -1 Pow Add 1 Mul sqrt acot Pow pi Pow acosh Add x1 Pow x6 acot x1 x0 sqrt acot Pow pi Pow acosh Add x1 Pow x6 acot x1 x0 -1 Pow Mul Mul acot sqrt acot Pow pi Pow acosh Add x1 Pow x6 acot x1 x0 acot sqrt acot Pow pi Pow acosh Add x1 Pow x6 acot x1 x0 sqrt Add 1 Mul -1 Pow Mul acot sqrt acot Pow pi Pow acosh Add x1 Pow x6 acot x1 x0 acot sqrt acot Pow pi Pow acosh Add x1 Pow x6 acot x1 x0 -1 -1 