Mul Pow x5 x7 Pow x0 asec cos Pow acoth x6 cos x0 
Mul Pow x5 x7 Mul Pow x0 Add asec cos Pow acoth x6 cos x0 -1 Add asec cos Pow acoth x6 cos x0 Mul Mul x0 log x0 Mul Mul Mul -1 sin Pow acoth x6 cos x0 Mul Pow acoth x6 Add cos x0 -1 Mul Mul acoth x6 log acoth x6 Mul -1 sin x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul cos Pow acoth x6 cos x0 cos Pow acoth x6 cos x0 -1 cos Pow acoth x6 cos x0 cos Pow acoth x6 cos x0 -1 