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