Mul x0 Add log tan Pow Pow x0 Mul x6 x2 atanh x1 x0 
Add Add log tan Pow Pow x0 Mul x6 x2 atanh x1 x0 Mul x0 Add Mul Mul Pow sec Pow Pow x0 Mul x6 x2 atanh x1 2 Mul Pow Pow x0 Mul x6 x2 Add atanh x1 -1 Mul atanh x1 Mul Pow x0 Add Mul x6 x2 -1 Mul x6 x2 Pow tan Pow Pow x0 Mul x6 x2 atanh x1 -1 1 