sech Mul csc x0 Add Add x0 asin asinh x5 x0 
Mul Mul tanh Mul csc x0 Add Add x0 asin asinh x5 x0 Mul -1 sech Mul csc x0 Add Add x0 asin asinh x5 x0 Add Mul Add Add x0 asin asinh x5 x0 Mul Mul -1 cot x0 csc x0 Mul csc x0 2 