Add atan Pow Mul Mul x0 -2 x0 Add atanh x6 x3 asech x1 
Mul Mul Pow Mul Mul x0 -2 x0 Add Add atanh x6 x3 -1 Mul Add atanh x6 x3 Add Mul x0 -2 Mul x0 -2 Pow Add 1 Mul Pow Mul Mul x0 -2 x0 Add atanh x6 x3 Pow Mul Mul x0 -2 x0 Add atanh x6 x3 -1 