Mul sec x0 atanh atanh sinh Add Add x0 x0 x0 
Add Mul atanh atanh sinh Add Add x0 x0 x0 Mul tan x0 sec x0 Mul sec x0 Mul Mul Mul cosh Add Add x0 x0 x0 3 Pow Add 1 Mul -1 Mul sinh Add Add x0 x0 x0 sinh Add Add x0 x0 x0 -1 Pow Add 1 Mul -1 Mul atanh sinh Add Add x0 x0 x0 atanh sinh Add Add x0 x0 x0 -1 