Mul x0 tan Pow sec csc x0 asech x4 
Add tan Pow sec csc x0 asech x4 Mul x0 Mul Pow sec Pow sec csc x0 asech x4 2 Mul Pow sec csc x0 Add asech x4 -1 Mul asech x4 Mul Mul tan csc x0 sec csc x0 Mul Mul -1 cot x0 csc x0 