acot Pow Add atanh sec x0 5 sech x1 
Mul -1 Mul Mul Pow Add atanh sec x0 5 Add sech x1 -1 Mul sech x1 Mul Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul sec x0 sec x0 -1 Pow Add 1 Mul Pow Add atanh sec x0 5 sech x1 Pow Add atanh sec x0 5 sech x1 -1 