Mul asech pi Pow cot sec tanh x5 Pow sqrt x5 Add x0 1 
Mul asech pi Mul Pow cot sec tanh x5 Add Pow sqrt x5 Add x0 1 -1 Mul Mul cot sec tanh x5 log cot sec tanh x5 Mul Pow sqrt x5 Add Add x0 1 -1 Mul sqrt x5 log sqrt x5 