Mul sinh asin Mul Mul x6 x0 x0 acosh x0 
Add Mul acosh x0 Mul cosh asin Mul Mul x6 x0 x0 Mul Add Mul x0 x6 Mul x6 x0 Pow sqrt Add 1 Mul -1 Mul Mul Mul x6 x0 x0 Mul Mul x6 x0 x0 -1 Mul sinh asin Mul Mul x6 x0 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 