Add Pow Mul x0 x2 Pow Mul x5 x7 x0 Mul Add Mul -1 pi x0 acsch Mul Pow 2 x7 x1 
Add Mul Pow Mul x0 x2 Add Pow Mul x5 x7 x0 -1 Add Mul Pow Mul x5 x7 x0 x2 Mul Mul Mul x0 x2 log Mul x0 x2 Mul Pow Mul x5 x7 Add x0 -1 Mul Mul x5 x7 log Mul x5 x7 acsch Mul Pow 2 x7 x1 