log Pow tan Mul Pow acosh x0 x0 sin x0 16 
Mul Mul Pow tan Mul Pow acosh x0 x0 sin x0 15 Mul 16 Mul Pow sec Mul Pow acosh x0 x0 sin x0 2 Add Mul sin x0 Mul Pow acosh x0 Add x0 -1 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 log acosh x0 Mul Pow acosh x0 x0 cos x0 Pow Pow tan Mul Pow acosh x0 x0 sin x0 16 -1 