Pow acoth sinh log Add x0 4 acos Mul -2 x0 
Mul Pow acoth sinh log Add x0 4 Add acos Mul -2 x0 -1 Add Mul acos Mul -2 x0 Mul Mul cosh log Add x0 4 Pow Add x0 4 -1 Pow Add 1 Mul -1 Mul sinh log Add x0 4 sinh log Add x0 4 -1 Mul Mul acoth sinh log Add x0 4 log acoth sinh log Add x0 4 Mul -1 Mul -2 Pow sqrt Add 1 Mul -1 Mul Mul -2 x0 Mul -2 x0 -1 