Pow Pow Mul 4 asec pi Mul atanh x0 x4 -4 
Mul Pow Pow Mul 4 asec pi Mul atanh x0 x4 5 Mul -4 Mul Pow Mul 4 asec pi Add Mul atanh x0 x4 -1 Mul Mul Mul 4 asec pi log Mul 4 asec pi Mul x4 Pow Add 1 Mul -1 Mul x0 x0 -1 