Mul acot Pow sqrt atanh x0 -5 x0 
Add Mul x0 Mul -1 Mul Mul Pow sqrt atanh x0 6 Mul -5 Mul Pow Mul 2 sqrt atanh x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow sqrt atanh x0 -5 Pow sqrt atanh x0 -5 -1 acot Pow sqrt atanh x0 -5 