csch Mul atanh atan Pow Pow E acosh pi x0 x3 
Mul Mul Mul -1 coth Mul atanh atan Pow Pow E acosh pi x0 x3 csch Mul atanh atan Pow Pow E acosh pi x0 x3 Mul x3 Mul Mul Mul Pow Pow E acosh pi Add x0 -1 Mul Pow E acosh pi log Pow E acosh pi Pow Add 1 Mul Pow Pow E acosh pi x0 Pow Pow E acosh pi x0 -1 Pow Add 1 Mul -1 Mul atan Pow Pow E acosh pi x0 atan Pow Pow E acosh pi x0 -1 