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