Mul acosh x0 Mul tanh x1 Pow pi csch acos Mul asin x3 x0 
Add Mul Mul tanh x1 Pow pi csch acos Mul asin x3 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul tanh x1 Mul Pow pi Add csch acos Mul asin x3 x0 -1 Mul Mul pi log pi Mul Mul Mul -1 coth acos Mul asin x3 x0 csch acos Mul asin x3 x0 Mul -1 Mul asin x3 Pow sqrt Add 1 Mul -1 Mul Mul asin x3 x0 Mul asin x3 x0 -1 