acosh atanh Pow x0 Pow x2 x2 
Mul Mul Mul Pow x0 Add Pow x2 x2 -1 Pow x2 x2 Pow Add 1 Mul -1 Mul Pow x0 Pow x2 x2 Pow x0 Pow x2 x2 -1 Pow Mul sqrt Add atanh Pow x0 Pow x2 x2 -1 sqrt Add 1 atanh Pow x0 Pow x2 x2 -1 