Pow x5 Add Mul csch acos Add x0 -4 x0 2 
Mul Pow x5 Add Add Mul csch acos Add x0 -4 x0 2 -1 Mul Mul x5 log x5 Add Mul x0 Mul Mul Mul -1 coth acos Add x0 -4 csch acos Add x0 -4 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 -4 Add x0 -4 -1 csch acos Add x0 -4 