Pow tan sqrt pi Pow Add acosh log x0 2 x0 
Mul Pow tan sqrt pi Add Pow Add acosh log x0 2 x0 -1 Mul Mul tan sqrt pi log tan sqrt pi Mul Pow Add acosh log x0 2 Add x0 -1 Add Mul x0 Mul Pow x0 -1 Pow Mul sqrt Add log x0 -1 sqrt Add 1 log x0 -1 Mul Add acosh log x0 2 log Add acosh log x0 2 