Add 2.06343706889556 exp Pow acot Pow x0 sech asech pi Mul x0 Add x7 Add x0 Add -3 x4 
Mul exp Pow acot Pow x0 sech asech pi Mul x0 Add x7 Add x0 Add -3 x4 Mul Pow acot Pow x0 sech asech pi Add Mul x0 Add x7 Add x0 Add -3 x4 -1 Add Mul Mul x0 Add x7 Add x0 Add -3 x4 Mul -1 Mul Mul Pow x0 Add sech asech pi -1 sech asech pi Pow Add 1 Mul Pow x0 sech asech pi Pow x0 sech asech pi -1 Mul Mul acot Pow x0 sech asech pi log acot Pow x0 sech asech pi Add Add x7 Add x0 Add -3 x4 x0 