Pow Pow x0 -1 Pow acsch x3 Add 4 Mul x0 -1 
Mul Pow Pow x0 -1 Add Pow acsch x3 Add 4 Mul x0 -1 -1 Add Mul Pow acsch x3 Add 4 Mul x0 -1 Mul Pow x0 2 -1 Mul Mul Pow x0 -1 log Pow x0 -1 Mul Pow acsch x3 Add Add 4 Mul x0 -1 -1 Mul Mul acsch x3 log acsch x3 -1 