Pow cos x0 Mul sec Pow acosh Add acoth x7 5 Mul -4 x0 3 
Mul Pow cos x0 Add Mul sec Pow acosh Add acoth x7 5 Mul -4 x0 3 -1 Add Mul Mul sec Pow acosh Add acoth x7 5 Mul -4 x0 3 Mul -1 sin x0 Mul Mul cos x0 log cos x0 Mul 3 Mul Mul tan Pow acosh Add acoth x7 5 Mul -4 x0 sec Pow acosh Add acoth x7 5 Mul -4 x0 Mul Pow acosh Add acoth x7 5 Add Mul -4 x0 -1 Mul Mul acosh Add acoth x7 5 log acosh Add acoth x7 5 -4 