atanh asec tan Mul x0 7 
Mul Mul Mul Pow sec Mul x0 7 2 7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul tan Mul x0 7 tan Mul x0 7 -1 tan Mul x0 7 tan Mul x0 7 -1 Pow Add 1 Mul -1 Mul asec tan Mul x0 7 asec tan Mul x0 7 -1 