atanh Mul Pow Pow asec x1 x0 x0 Pow Add E Mul Pow x0 x2 2 3 
Mul Add Mul Pow Add E Mul Pow x0 x2 2 3 Mul Pow Pow asec x1 x0 Add x0 -1 Add Mul x0 Mul Pow asec x1 Add x0 -1 Mul asec x1 log asec x1 Mul Pow asec x1 x0 log Pow asec x1 x0 Mul Pow Pow asec x1 x0 x0 Mul Pow Add E Mul Pow x0 x2 2 2 Mul 3 Mul 2 Mul Pow x0 Add x2 -1 x2 Pow Add 1 Mul -1 Mul Mul Pow Pow asec x1 x0 x0 Pow Add E Mul Pow x0 x2 2 3 Mul Pow Pow asec x1 x0 x0 Pow Add E Mul Pow x0 x2 2 3 -1 