Mul Pow cosh atan Pow x7 5 Add -5 cot x0 Pow x7 Mul x0 asin asech E 
Add Mul Pow x7 Mul x0 asin asech E Mul Pow cosh atan Pow x7 5 Add Add -5 cot x0 -1 Mul Mul cosh atan Pow x7 5 log cosh atan Pow x7 5 Mul -1 Pow csc x0 2 Mul Pow cosh atan Pow x7 5 Add -5 cot x0 Mul Pow x7 Add Mul x0 asin asech E -1 Mul Mul x7 log x7 asin asech E 