Mul x0 tan Pow Pow x1 atanh exp x0 x4 
Add tan Pow Pow x1 atanh exp x0 x4 Mul x0 Mul Pow sec Pow Pow x1 atanh exp x0 x4 2 Mul Pow Pow x1 atanh exp x0 Add x4 -1 Mul x4 Mul Pow x1 Add atanh exp x0 -1 Mul Mul x1 log x1 Mul exp x0 Pow Add 1 Mul -1 Mul exp x0 exp x0 -1 