Mul Mul Mul acosh x0 Mul atan pi E Mul sin x0 2 x0 
Add Mul x0 Add Mul Mul sin x0 2 Mul Mul atan pi E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 Mul atan pi E Mul 2 cos x0 Mul Mul acosh x0 Mul atan pi E Mul sin x0 2 