cot Mul acot cos tan Mul x0 x7 exp acsch sec x0 
Mul Mul -1 Pow csc Mul acot cos tan Mul x0 x7 exp acsch sec x0 2 Add Mul exp acsch sec x0 Mul -1 Mul Mul Mul -1 sin tan Mul x0 x7 Mul Pow sec Mul x0 x7 2 x7 Pow Add 1 Mul cos tan Mul x0 x7 cos tan Mul x0 x7 -1 Mul acot cos tan Mul x0 x7 Mul exp acsch sec x0 Mul Mul -1 Mul tan x0 sec x0 Pow Mul Mul sec x0 sec x0 sqrt Add 1 Mul -1 Pow Mul sec x0 sec x0 -1 -1 