Pow x0 Pow Pow x0 atanh Mul x0 asec E sech Mul E x4 
Mul Pow x0 Add Pow Pow x0 atanh Mul x0 asec E sech Mul E x4 -1 Add Pow Pow x0 atanh Mul x0 asec E sech Mul E x4 Mul Mul x0 log x0 Mul Pow Pow x0 atanh Mul x0 asec E Add sech Mul E x4 -1 Mul sech Mul E x4 Mul Pow x0 Add atanh Mul x0 asec E -1 Add atanh Mul x0 asec E Mul Mul x0 log x0 Mul asec E Pow Add 1 Mul -1 Mul Mul x0 asec E Mul x0 asec E -1 