sec Pow acoth sqrt sin x0 asec Mul x7 x0 
Mul Mul tan Pow acoth sqrt sin x0 asec Mul x7 x0 sec Pow acoth sqrt sin x0 asec Mul x7 x0 Mul Pow acoth sqrt sin x0 Add asec Mul x7 x0 -1 Add Mul asec Mul x7 x0 Mul Mul Pow Mul 2 sqrt sin x0 -1 cos x0 Pow Add 1 Mul -1 Mul sqrt sin x0 sqrt sin x0 -1 Mul Mul acoth sqrt sin x0 log acoth sqrt sin x0 Mul x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x7 x0 Mul x7 x0 -1 Mul x7 x0 Mul x7 x0 -1 