Mul Add acosh acosh x0 Mul x0 pi Pow x0 atanh pi 
Add Mul Pow x0 atanh pi Add Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul sqrt Add acosh x0 -1 sqrt Add 1 acosh x0 -1 pi Mul Add acosh acosh x0 Mul x0 pi Mul Pow x0 Add atanh pi -1 atanh pi 