Mul acoth Add asech x0 asin sin acoth asin Mul x6 -3 sin x0 
Add Mul sin x0 Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul -1 Mul Add asech x0 asin sin acoth asin Mul x6 -3 Add asech x0 asin sin acoth asin Mul x6 -3 -1 Mul acoth Add asech x0 asin sin acoth asin Mul x6 -3 cos x0 