Add Pow x0 acosh x3 Pow asinh Mul Mul x0 x0 x0 x4 
Add Mul Pow x0 Add acosh x3 -1 acosh x3 Mul Pow asinh Mul Mul x0 x0 x0 Add x4 -1 Mul x4 Mul Add Mul x0 Add x0 x0 Mul x0 x0 Pow sqrt Add 1 Mul Mul Mul x0 x0 x0 Mul Mul x0 x0 x0 -1 