Mul Mul pi csc Mul x1 x7 Mul x0 Mul x1 Add sqrt x0 Pow acsch x1 x0 
Mul Mul pi csc Mul x1 x7 Add Mul x1 Add sqrt x0 Pow acsch x1 x0 Mul x0 Mul x1 Add Pow Mul 2 sqrt x0 -1 Mul Pow acsch x1 Add x0 -1 Mul acsch x1 log acsch x1 