Add Pow Pow acoth sec x5 x0 Add x0 -5 x0 
Add Mul Pow Pow acoth sec x5 x0 Add Add x0 -5 -1 Add Mul Add x0 -5 Mul Pow acoth sec x5 Add x0 -1 Mul acoth sec x5 log acoth sec x5 Mul Pow acoth sec x5 x0 log Pow acoth sec x5 x0 1 