csch atanh Pow Mul x0 x3 cosh sqrt pi 
Mul Mul Mul -1 coth atanh Pow Mul x0 x3 cosh sqrt pi csch atanh Pow Mul x0 x3 cosh sqrt pi Mul Mul Pow Mul x0 x3 Add cosh sqrt pi -1 Mul cosh sqrt pi x3 Pow Add 1 Mul -1 Mul Pow Mul x0 x3 cosh sqrt pi Pow Mul x0 x3 cosh sqrt pi -1 