asec coth Pow 6.24904577239825 tan x0 
Mul Mul Mul -1 Pow csch Pow 6.24904577239825 tan x0 2 Mul Pow 6.24904577239825 Add tan x0 -1 Mul 8.08147454807406 Pow sec x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul coth Pow 6.24904577239825 tan x0 coth Pow 6.24904577239825 tan x0 -1 coth Pow 6.24904577239825 tan x0 coth Pow 6.24904577239825 tan x0 -1 