Mul x5 Add x0 log Mul Add atanh cosh x0 Mul -4 acot tan x0 x1 
Mul x5 Add 1 Mul Mul x1 Add Mul sinh x0 Pow Add 1 Mul -1 Mul cosh x0 cosh x0 -1 Mul -4 Mul -1 Mul Pow sec x0 2 Pow Add 1 Mul tan x0 tan x0 -1 Pow Mul Add atanh cosh x0 Mul -4 acot tan x0 x1 -1 