acot Mul Add Add x0 x4 Mul Mul x1 2 Add sinh x0 4 tan x0 
Mul -1 Mul Add Mul tan x0 Add 1 Mul Mul x1 2 cosh x0 Mul Add Add x0 x4 Mul Mul x1 2 Add sinh x0 4 Pow sec x0 2 Pow Add 1 Mul Mul Add Add x0 x4 Mul Mul x1 2 Add sinh x0 4 tan x0 Mul Add Add x0 x4 Mul Mul x1 2 Add sinh x0 4 tan x0 -1 