Mul x0 Add Add -1 Pow Mul acoth x0 -0.756802495307928 x0 E 
Add Add Add -1 Pow Mul acoth x0 -0.756802495307928 x0 E Mul x0 Mul Pow Mul acoth x0 -0.756802495307928 Add x0 -1 Add Mul x0 Mul -0.756802495307928 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 -0.756802495307928 log Mul acoth x0 -0.756802495307928 