Mul sech Add Mul acot sec x0 x0 x0 asec x3 
Mul asec x3 Mul Mul tanh Add Mul acot sec x0 x0 x0 Mul -1 sech Add Mul acot sec x0 x0 x0 Add Add Mul x0 Mul -1 Mul Mul tan x0 sec x0 Pow Add 1 Mul sec x0 sec x0 -1 acot sec x0 1 