Pow x0 Add log Mul x0 acot Add x4 Add x2 csch x3 x2 
Mul Pow x0 Add Add log Mul x0 acot Add x4 Add x2 csch x3 x2 -1 Add Add log Mul x0 acot Add x4 Add x2 csch x3 x2 Mul Mul x0 log x0 Mul acot Add x4 Add x2 csch x3 Pow Mul x0 acot Add x4 Add x2 csch x3 -1 