Add coth x3 cosh Pow pi Add pi sinh Add atanh x0 x0 
Mul sinh Pow pi Add pi sinh Add atanh x0 x0 Mul Pow pi Add Add pi sinh Add atanh x0 x0 -1 Mul Mul pi log pi Mul cosh Add atanh x0 x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 