log Add Pow x3 Add 2 x0 Add coth sinh acoth Pow x0 2 sinh sinh x0 
Mul Add Mul Pow x3 Add Add 2 x0 -1 Mul x3 log x3 Add Mul Mul -1 Pow csch sinh acoth Pow x0 2 2 Mul cosh acoth Pow x0 2 Mul Mul x0 2 Pow Add 1 Mul -1 Mul Pow x0 2 Pow x0 2 -1 Mul cosh sinh x0 cosh x0 Pow Add Pow x3 Add 2 x0 Add coth sinh acoth Pow x0 2 sinh sinh x0 -1 