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