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