Mul x0 Add Add Pow Add 2 x6 Mul sqrt csch Add pi Add asech x0 atan tan x0 Add x3 x0 x0 Mul x1 x0 
Add Add Add Pow Add 2 x6 Mul sqrt csch Add pi Add asech x0 atan tan x0 Add x3 x0 x0 Mul x1 x0 Mul x0 Add Add Mul Pow Add 2 x6 Add Mul sqrt csch Add pi Add asech x0 atan tan x0 Add x3 x0 -1 Mul Mul Add 2 x6 log Add 2 x6 Add Mul Add x3 x0 Mul Pow Mul 2 sqrt csch Add pi Add asech x0 atan tan x0 -1 Mul Mul Mul -1 coth Add pi Add asech x0 atan tan x0 csch Add pi Add asech x0 atan tan x0 Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow sec x0 2 Pow Add 1 Mul tan x0 tan x0 -1 sqrt csch Add pi Add asech x0 atan tan x0 1 x1 