Add acot x5 tan Pow Pow acoth E x0 sech x0 
Mul Pow sec Pow Pow acoth E x0 sech x0 2 Mul Pow Pow acoth E x0 Add sech x0 -1 Add Mul sech x0 Mul Pow acoth E Add x0 -1 Mul acoth E log acoth E Mul Mul Pow acoth E x0 log Pow acoth E x0 Mul tanh x0 Mul -1 sech x0 