Mul x0 asinh acoth Mul x0 sec x0 
Add asinh acoth Mul x0 sec x0 Mul x0 Mul Mul Add sec x0 Mul x0 Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul Mul x0 sec x0 Mul x0 sec x0 -1 Pow sqrt Add 1 Mul acoth Mul x0 sec x0 acoth Mul x0 sec x0 -1 