Pow Pow x0 acsch x3 Mul x0 Add x0 5 
Mul Pow Pow x0 acsch x3 Add Mul x0 Add x0 5 -1 Add Mul Mul x0 Add x0 5 Mul Pow x0 Add acsch x3 -1 acsch x3 Mul Mul Pow x0 acsch x3 log Pow x0 acsch x3 Add Add x0 5 x0 