Pow acot Pow Add Mul x0 Mul Pow x0 sech x2 x1 Add x0 Add asech E -2 4 -1 
Mul Pow acot Pow Add Mul x0 Mul Pow x0 sech x2 x1 Add x0 Add asech E -2 4 2 Mul -1 Mul -1 Mul Mul Pow Add Mul x0 Mul Pow x0 sech x2 x1 Add x0 Add asech E -2 3 Mul 4 Add Add Mul Pow x0 sech x2 x1 Mul x0 Mul x1 Mul Pow x0 Add sech x2 -1 sech x2 1 Pow Add 1 Mul Pow Add Mul x0 Mul Pow x0 sech x2 x1 Add x0 Add asech E -2 4 Pow Add Mul x0 Mul Pow x0 sech x2 x1 Add x0 Add asech E -2 4 -1 