Add exp acoth x0 Pow 5.31303528549933 Mul x0 sqrt Pow x0 Mul -4 x0 
Add Mul exp acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow 5.31303528549933 Add Mul x0 sqrt Pow x0 Mul -4 x0 -1 Mul 6.98319857429736 Add sqrt Pow x0 Mul -4 x0 Mul x0 Mul Pow Mul 2 sqrt Pow x0 Mul -4 x0 -1 Mul Pow x0 Add Mul -4 x0 -1 Add Mul -4 x0 Mul Mul x0 log x0 -4 