cos atanh asec Pow x0 2 
Mul Mul -1 sin atanh asec Pow x0 2 Mul Mul Mul x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 2 Pow x0 2 -1 Pow x0 2 Pow x0 2 -1 Pow Add 1 Mul -1 Mul asec Pow x0 2 asec Pow x0 2 -1 