asin Mul -3 Mul sec x6 log cosh cosh x0 
Mul Mul -3 Mul sec x6 Mul Mul sinh cosh x0 sinh x0 Pow cosh cosh x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul -3 Mul sec x6 log cosh cosh x0 Mul -3 Mul sec x6 log cosh cosh x0 -1 