log Pow Add x4 Add Pow Mul x0 acsch x1 x0 -1 Add -4 x0 
Mul Mul Pow Add x4 Add Pow Mul x0 acsch x1 x0 -1 Add Add -4 x0 -1 Add Mul Add -4 x0 Mul Pow Mul x0 acsch x1 Add x0 -1 Add Mul x0 acsch x1 Mul Mul x0 acsch x1 log Mul x0 acsch x1 Mul Add x4 Add Pow Mul x0 acsch x1 x0 -1 log Add x4 Add Pow Mul x0 acsch x1 x0 -1 Pow Pow Add x4 Add Pow Mul x0 acsch x1 x0 -1 Add -4 x0 -1 