atan acoth acot Pow x0 -4 
Mul Mul Mul -1 Mul Mul Pow x0 5 -4 Pow Add 1 Mul Pow x0 -4 Pow x0 -4 -1 Pow Add 1 Mul -1 Mul acot Pow x0 -4 acot Pow x0 -4 -1 Pow Add 1 Mul acoth acot Pow x0 -4 acoth acot Pow x0 -4 -1 