Mul x0 Mul x4 Pow acoth Add 3 x0 Add sqrt x0 Pow Mul coth E -3 Add x6 -2 
Add Mul x4 Pow acoth Add 3 x0 Add sqrt x0 Pow Mul coth E -3 Add x6 -2 Mul x0 Mul x4 Mul Pow acoth Add 3 x0 Add Add sqrt x0 Pow Mul coth E -3 Add x6 -2 -1 Add Mul Add sqrt x0 Pow Mul coth E -3 Add x6 -2 Pow Add 1 Mul -1 Mul Add 3 x0 Add 3 x0 -1 Mul Mul acoth Add 3 x0 log acoth Add 3 x0 Pow Mul 2 sqrt x0 -1 