Pow pi Add -3 acsch Add Add -4 acosh Pow Mul x0 Add x0 1 x5 Mul x0 x0 
Mul Pow pi Add Add -3 acsch Add Add -4 acosh Pow Mul x0 Add x0 1 x5 Mul x0 x0 -1 Mul Mul pi log pi Mul Mul -1 Add Mul Mul Pow Mul x0 Add x0 1 Add x5 -1 Mul x5 Add Add x0 1 x0 Pow Mul sqrt Add Pow Mul x0 Add x0 1 x5 -1 sqrt Add 1 Pow Mul x0 Add x0 1 x5 -1 Add x0 x0 Pow Mul Mul Add Add -4 acosh Pow Mul x0 Add x0 1 x5 Mul x0 x0 Add Add -4 acosh Pow Mul x0 Add x0 1 x5 Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul Add Add -4 acosh Pow Mul x0 Add x0 1 x5 Mul x0 x0 Add Add -4 acosh Pow Mul x0 Add x0 1 x5 Mul x0 x0 -1 -1 