Pow acot Mul -5 pi Mul Pow atanh Add asin x4 x0 x2 Add sech x0 1 
Mul Pow acot Mul -5 pi Add Mul Pow atanh Add asin x4 x0 x2 Add sech x0 1 -1 Mul Mul acot Mul -5 pi log acot Mul -5 pi Add Mul Add sech x0 1 Mul Pow atanh Add asin x4 x0 Add x2 -1 Mul x2 Pow Add 1 Mul -1 Mul Add asin x4 x0 Add asin x4 x0 -1 Mul Pow atanh Add asin x4 x0 x2 Mul tanh x0 Mul -1 sech x0 