Pow Mul Mul Pow x0 Add x0 Mul Pow x0 acosh pi x0 x5 4 cosh Mul x0 x0 
Mul Pow Mul Mul Pow x0 Add x0 Mul Pow x0 acosh pi x0 x5 4 Add cosh Mul x0 x0 -1 Add Mul cosh Mul x0 x0 Mul 4 Mul x5 Mul Pow x0 Add Add x0 Mul Pow x0 acosh pi x0 -1 Add Add x0 Mul Pow x0 acosh pi x0 Mul Mul x0 log x0 Add 1 Add Mul x0 Mul Pow x0 Add acosh pi -1 acosh pi Pow x0 acosh pi Mul Mul Mul Mul Pow x0 Add x0 Mul Pow x0 acosh pi x0 x5 4 log Mul Mul Pow x0 Add x0 Mul Pow x0 acosh pi x0 x5 4 Mul sinh Mul x0 x0 Add x0 x0 