Mul cosh pi Mul Pow x0 acoth Mul x6 Add x0 x3 2 
Mul cosh pi Mul 2 Mul Pow x0 Add acoth Mul x6 Add x0 x3 -1 Add acoth Mul x6 Add x0 x3 Mul Mul x0 log x0 Mul x6 Pow Add 1 Mul -1 Mul Mul x6 Add x0 x3 Mul x6 Add x0 x3 -1 