Pow asech Mul x7 Pow x0 E csc x0 
Mul Pow asech Mul x7 Pow x0 E Add csc x0 -1 Add Mul csc x0 Mul Mul x7 Mul Pow x0 Add E -1 E Pow Mul Mul Mul x7 Pow x0 E Mul x7 Pow x0 E sqrt Add 1 Mul -1 Pow Mul Mul x7 Pow x0 E Mul x7 Pow x0 E -1 -1 Mul Mul asech Mul x7 Pow x0 E log asech Mul x7 Pow x0 E Mul Mul -1 cot x0 csc x0 