Pow x0 Add Pow Mul x0 x0 acsch Mul 7.38905609893065 asech sinh pi x1 
Mul Pow x0 Add Add Pow Mul x0 x0 acsch Mul 7.38905609893065 asech sinh pi x1 -1 Add Add Pow Mul x0 x0 acsch Mul 7.38905609893065 asech sinh pi x1 Mul Mul x0 log x0 Mul Pow Mul x0 x0 Add acsch Mul 7.38905609893065 asech sinh pi -1 Mul acsch Mul 7.38905609893065 asech sinh pi Add x0 x0 