Mul Add Mul x0 acosh x0 pi Pow x0 Mul x0 Pow x3 pi 
Add Mul Pow x0 Mul x0 Pow x3 pi Add acosh x0 Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Add Mul x0 acosh x0 pi Mul Pow x0 Add Mul x0 Pow x3 pi -1 Add Mul x0 Pow x3 pi Mul Mul x0 log x0 Pow x3 pi 