Mul Pow Add x0 cosh Add x7 x0 csch Mul log pi Mul x0 2 Mul x1 asech Mul -2 Add x2 -2 
Mul Mul x1 asech Mul -2 Add x2 -2 Mul Pow Add x0 cosh Add x7 x0 Add csch Mul log pi Mul x0 2 -1 Add Mul csch Mul log pi Mul x0 2 Add 1 sinh Add x7 x0 Mul Mul Add x0 cosh Add x7 x0 log Add x0 cosh Add x7 x0 Mul Mul Mul -1 coth Mul log pi Mul x0 2 csch Mul log pi Mul x0 2 Mul log pi 2 