Pow Add x0 asec pi Mul tanh Mul x0 cot x1 Add 3 E 
Mul Pow Add x0 asec pi Add Mul tanh Mul x0 cot x1 Add 3 E -1 Add Mul tanh Mul x0 cot x1 Add 3 E Mul Mul Add x0 asec pi log Add x0 asec pi Mul Add 3 E Mul Pow sech Mul x0 cot x1 2 cot x1 