sec Mul atanh sec x0 Mul exp Mul x0 x0 x0 
Mul Mul tan Mul atanh sec x0 Mul exp Mul x0 x0 x0 sec Mul atanh sec x0 Mul exp Mul x0 x0 x0 Add Mul Mul exp Mul x0 x0 x0 Mul Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul sec x0 sec x0 -1 Mul atanh sec x0 Add Mul x0 Mul exp Mul x0 x0 Add x0 x0 exp Mul x0 x0 