Add sinh cosh x0 Mul atan x5 Pow log cos acos x0 2 
Add Mul cosh cosh x0 sinh x0 Mul atan x5 Mul log cos acos x0 Mul 2 Mul Mul Mul -1 sin acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow cos acos x0 -1 