Add x3 cosh Mul Add x0 x0 acot sinh Add tan x0 x0 
Mul sinh Mul Add x0 x0 acot sinh Add tan x0 x0 Add Mul acot sinh Add tan x0 x0 2 Mul Add x0 x0 Mul -1 Mul Mul cosh Add tan x0 x0 Add Pow sec x0 2 1 Pow Add 1 Mul sinh Add tan x0 x0 sinh Add tan x0 x0 -1 