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