Mul Mul 4 x0 acos Mul Mul atanh acot x2 x0 sec x0 
Add Mul acos Mul Mul atanh acot x2 x0 sec x0 4 Mul Mul 4 x0 Mul -1 Mul Add Mul sec x0 atanh acot x2 Mul Mul atanh acot x2 x0 Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul Mul Mul atanh acot x2 x0 sec x0 Mul Mul atanh acot x2 x0 sec x0 -1 