Mul Pow acoth E Mul Mul x0 Add acot x7 -4 x0 0.591806523537667 
Mul 0.591806523537667 Mul Pow acoth E Add Mul Mul x0 Add acot x7 -4 x0 -1 Mul Mul acoth E log acoth E Add Mul x0 Add acot x7 -4 Mul x0 Add acot x7 -4 