Mul Pow asec acoth x1 Pow Pow sin x3 x1 Add x0 5 sin x0 
Add Mul sin x0 Mul Pow asec acoth x1 Add Pow Pow sin x3 x1 Add x0 5 -1 Mul Mul asec acoth x1 log asec acoth x1 Mul Pow Pow sin x3 x1 Add Add x0 5 -1 Mul Pow sin x3 x1 log Pow sin x3 x1 Mul Pow asec acoth x1 Pow Pow sin x3 x1 Add x0 5 cos x0 