Pow acot x4 sech log Add sqrt Add sinh x0 -4 x3 
Mul Pow acot x4 Add sech log Add sqrt Add sinh x0 -4 x3 -1 Mul Mul acot x4 log acot x4 Mul Mul tanh log Add sqrt Add sinh x0 -4 x3 Mul -1 sech log Add sqrt Add sinh x0 -4 x3 Mul Mul Pow Mul 2 sqrt Add sinh x0 -4 -1 cosh x0 Pow Add sqrt Add sinh x0 -4 x3 -1 