atanh Mul asec x3 Pow Add Mul -5 x0 -2 x0 
Mul Mul asec x3 Mul Pow Add Mul -5 x0 -2 Add x0 -1 Add Mul x0 -5 Mul Add Mul -5 x0 -2 log Add Mul -5 x0 -2 Pow Add 1 Mul -1 Mul Mul asec x3 Pow Add Mul -5 x0 -2 x0 Mul asec x3 Pow Add Mul -5 x0 -2 x0 -1 