Mul x0 Pow Mul Mul x0 sqrt acoth E Add x3 Mul -1 x0 4 
Add Pow Mul Mul x0 sqrt acoth E Add x3 Mul -1 x0 4 Mul x0 Mul Pow Mul Mul x0 sqrt acoth E Add x3 Mul -1 x0 3 Mul 4 Add Mul Add x3 Mul -1 x0 sqrt acoth E Mul Mul x0 sqrt acoth E -1 