coth Mul 2 acosh Add Add Add x0 acos atan x4 tan x0 x0 
Mul Mul -1 Pow csch Mul 2 acosh Add Add Add x0 acos atan x4 tan x0 x0 2 Mul 2 Mul Add Add 1 Pow sec x0 2 1 Pow Mul sqrt Add Add Add Add x0 acos atan x4 tan x0 x0 -1 sqrt Add 1 Add Add Add x0 acos atan x4 tan x0 x0 -1 