Mul atan Pow Pow x0 -5 acoth acoth x1 -4 
Mul -4 Mul Mul Pow Pow x0 -5 Add acoth acoth x1 -1 Mul acoth acoth x1 Mul Pow x0 6 -5 Pow Add 1 Mul Pow Pow x0 -5 acoth acoth x1 Pow Pow x0 -5 acoth acoth x1 -1 