Mul Mul x0 Add x0 x0 Add Pow pi acsch Mul x0 x5 Mul x3 x0 
Add Mul Add Pow pi acsch Mul x0 x5 Mul x3 x0 Add Add x0 x0 Mul x0 2 Mul Mul x0 Add x0 x0 Add Mul Pow pi Add acsch Mul x0 x5 -1 Mul Mul pi log pi Mul Mul -1 x5 Pow Mul Mul Mul x0 x5 Mul x0 x5 sqrt Add 1 Mul -1 Pow Mul Mul x0 x5 Mul x0 x5 -1 -1 x3 