Pow exp acosh atan sin x0 Add -4 acot sqrt x0 
Mul Pow exp acosh atan sin x0 Add Add -4 acot sqrt x0 -1 Add Mul Add -4 acot sqrt x0 Mul exp acosh atan sin x0 Mul Mul cos x0 Pow Add 1 Mul sin x0 sin x0 -1 Pow Mul sqrt Add atan sin x0 -1 sqrt Add 1 atan sin x0 -1 Mul Mul exp acosh atan sin x0 log exp acosh atan sin x0 Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 