Mul acosh sech Mul -2 Pow acot x3 x0 3 
Mul 3 Mul Mul Mul tanh Mul -2 Pow acot x3 x0 Mul -1 sech Mul -2 Pow acot x3 x0 Mul -2 Mul Pow acot x3 Add x0 -1 Mul acot x3 log acot x3 Pow Mul sqrt Add sech Mul -2 Pow acot x3 x0 -1 sqrt Add 1 sech Mul -2 Pow acot x3 x0 -1 