Pow sqrt Add acosh x0 Add Mul x5 Pow x0 atan E E Pow x0 Add x0 2 
Mul Pow sqrt Add acosh x0 Add Mul x5 Pow x0 atan E E Add Pow x0 Add x0 2 -1 Add Mul Pow x0 Add x0 2 Mul Pow Mul 2 sqrt Add acosh x0 Add Mul x5 Pow x0 atan E E -1 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul x5 Mul Pow x0 Add atan E -1 atan E Mul Mul sqrt Add acosh x0 Add Mul x5 Pow x0 atan E E log sqrt Add acosh x0 Add Mul x5 Pow x0 atan E E Mul Pow x0 Add Add x0 2 -1 Add Add x0 2 Mul x0 log x0 