atan Mul Add acosh exp x0 sin x0 x0 
Mul Add Mul x0 Add Mul exp x0 Pow Mul sqrt Add exp x0 -1 sqrt Add 1 exp x0 -1 cos x0 Add acosh exp x0 sin x0 Pow Add 1 Mul Mul Add acosh exp x0 sin x0 x0 Mul Add acosh exp x0 sin x0 x0 -1 