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