Pow Add x6 x5 Add Pow Add x0 pi cosh acoth x0 acot x1 
Mul Pow Add x6 x5 Add Add Pow Add x0 pi cosh acoth x0 acot x1 -1 Mul Mul Add x6 x5 log Add x6 x5 Mul Pow Add x0 pi Add cosh acoth x0 -1 Add cosh acoth x0 Mul Mul Add x0 pi log Add x0 pi Mul sinh acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 