Add Mul Pow x4 exp Pow x0 Pow x0 asech pi x4 Pow Mul x0 Add Mul x0 -2 1 Pow atanh x0 3 
Add Mul x4 Mul Pow x4 Add exp Pow x0 Pow x0 asech pi -1 Mul Mul x4 log x4 Mul exp Pow x0 Pow x0 asech pi Mul Pow x0 Add Pow x0 asech pi -1 Add Pow x0 asech pi Mul Mul x0 log x0 Mul Pow x0 Add asech pi -1 asech pi Mul Pow Mul x0 Add Mul x0 -2 1 Add Pow atanh x0 3 -1 Add Mul Pow atanh x0 3 Add Add Mul x0 -2 1 Mul x0 -2 Mul Mul Mul x0 Add Mul x0 -2 1 log Mul x0 Add Mul x0 -2 1 Mul Pow atanh x0 2 Mul 3 Pow Add 1 Mul -1 Mul x0 x0 -1 