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