Mul x7 sec Mul acsc x0 atanh cot x0 
Mul x7 Mul Mul tan Mul acsc x0 atanh cot x0 sec Mul acsc x0 atanh cot x0 Add Mul atanh cot x0 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul acsc x0 Mul Mul -1 Pow csc x0 2 Pow Add 1 Mul -1 Mul cot x0 cot x0 -1 