Mul Pow Pow x4 x0 Mul 2 Add x0 atan csch x5 2 
Mul 2 Mul Pow Pow x4 x0 Add Mul 2 Add x0 atan csch x5 -1 Add Mul Mul 2 Add x0 atan csch x5 Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Mul Pow x4 x0 log Pow x4 x0 2 