Mul x0 Pow 4.12183605386996 Pow Mul acoth E x0 x0 
Add Pow 4.12183605386996 Pow Mul acoth E x0 x0 Mul x0 Mul Pow 4.12183605386996 Add Pow Mul acoth E x0 x0 -1 Mul 5.53813476210472 Mul Pow Mul acoth E x0 Add x0 -1 Add Mul x0 acoth E Mul Mul acoth E x0 log Mul acoth E x0 