atan Mul Pow Pow x0 Pow cosh pi -5 -4 acot x0 
Mul Add Mul acot x0 Mul Pow Pow x0 Pow cosh pi -5 5 Mul -4 Mul Pow x0 Add Pow cosh pi -5 -1 Pow cosh pi -5 Mul Pow Pow x0 Pow cosh pi -5 -4 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Mul Pow Pow x0 Pow cosh pi -5 -4 acot x0 Mul Pow Pow x0 Pow cosh pi -5 -4 acot x0 -1 