acos Mul sec x0 Pow sin tanh x2 acsch x2 
Mul -1 Mul Mul Pow sin tanh x2 acsch x2 Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul Mul sec x0 Pow sin tanh x2 acsch x2 Mul sec x0 Pow sin tanh x2 acsch x2 -1 