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