Pow x0 sqrt Pow acosh Pow Add x0 Add atan csch x0 x3 2 4 
Mul Pow x0 Add sqrt Pow acosh Pow Add x0 Add atan csch x0 x3 2 4 -1 Add sqrt Pow acosh Pow Add x0 Add atan csch x0 x3 2 4 Mul Mul x0 log x0 Mul Pow Mul 2 sqrt Pow acosh Pow Add x0 Add atan csch x0 x3 2 4 -1 Mul Pow acosh Pow Add x0 Add atan csch x0 x3 2 3 Mul 4 Mul Mul Add x0 Add atan csch x0 x3 Mul 2 Add 1 Mul Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul csch x0 csch x0 -1 Pow Mul sqrt Add Pow Add x0 Add atan csch x0 x3 2 -1 sqrt Add 1 Pow Add x0 Add atan csch x0 x3 2 -1 