Pow Mul acos sqrt exp x0 Mul x0 sec x0 Add atanh x0 x0 
Mul Pow Mul acos sqrt exp x0 Mul x0 sec x0 Add Add atanh x0 x0 -1 Add Mul Add atanh x0 x0 Add Mul Mul x0 sec x0 Mul -1 Mul Mul Pow Mul 2 sqrt exp x0 -1 exp x0 Pow sqrt Add 1 Mul -1 Mul sqrt exp x0 sqrt exp x0 -1 Mul acos sqrt exp x0 Add sec x0 Mul x0 Mul tan x0 sec x0 Mul Mul Mul acos sqrt exp x0 Mul x0 sec x0 log Mul acos sqrt exp x0 Mul x0 sec x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 