Mul x7 Add Pow acot x7 asec sinh Mul pi Add tan x0 x0 x0 
Mul x7 Add Mul Pow acot x7 Add asec sinh Mul pi Add tan x0 x0 -1 Mul Mul acot x7 log acot x7 Mul Mul cosh Mul pi Add tan x0 x0 Mul pi Add Pow sec x0 2 1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sinh Mul pi Add tan x0 x0 sinh Mul pi Add tan x0 x0 -1 sinh Mul pi Add tan x0 x0 sinh Mul pi Add tan x0 x0 -1 1 