Mul Pow acos asech acosh asin x0 x0 1.38189171821536 
Mul 1.38189171821536 Mul Pow acos asech acosh asin x0 Add x0 -1 Add Mul x0 Mul -1 Mul Mul Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add asin x0 -1 sqrt Add 1 asin x0 -1 Pow Mul Mul acosh asin x0 acosh asin x0 sqrt Add 1 Mul -1 Pow Mul acosh asin x0 acosh asin x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech acosh asin x0 asech acosh asin x0 -1 Mul acos asech acosh asin x0 log acos asech acosh asin x0 