Add coth Pow Add Mul x0 exp x0 acosh x4 2 Pow x6 x0 
Add Mul Mul -1 Pow csch Pow Add Mul x0 exp x0 acosh x4 2 2 Mul Add Mul x0 exp x0 acosh x4 Mul 2 Add exp x0 Mul x0 exp x0 Mul Pow x6 Add x0 -1 Mul x6 log x6 