Mul x0 atanh Mul x0 Mul Mul atan x4 x0 Pow log x0 asech x3 
Add atanh Mul x0 Mul Mul atan x4 x0 Pow log x0 asech x3 Mul x0 Mul Add Mul Mul atan x4 x0 Pow log x0 asech x3 Mul x0 Add Mul Pow log x0 asech x3 atan x4 Mul Mul atan x4 x0 Mul Pow log x0 Add asech x3 -1 Mul asech x3 Pow x0 -1 Pow Add 1 Mul -1 Mul Mul x0 Mul Mul atan x4 x0 Pow log x0 asech x3 Mul x0 Mul Mul atan x4 x0 Pow log x0 asech x3 -1 