Pow Mul atanh Add acot x0 5 -5 Pow x5 0.570971499016583 
Mul Pow Mul atanh Add acot x0 5 -5 Add Pow x5 0.570971499016583 -1 Mul Pow x5 0.570971499016583 Mul -5 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add acot x0 5 Add acot x0 5 -1 