Mul acsc Add 1 Pow Add cosh x1 x0 pi atanh x0 
Add Mul atanh x0 Mul -1 Mul Mul Pow Add cosh x1 x0 Add pi -1 pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add 1 Pow Add cosh x1 x0 pi Add 1 Pow Add cosh x1 x0 pi -1 Add 1 Pow Add cosh x1 x0 pi Add 1 Pow Add cosh x1 x0 pi -1 Mul acsc Add 1 Pow Add cosh x1 x0 pi Pow Add 1 Mul -1 Mul x0 x0 -1 