Pow 4 Pow acoth x1 acoth Mul x0 5 
Mul Pow 4 Add Pow acoth x1 acoth Mul x0 5 -1 Mul 5.38629436111989 Mul Pow acoth x1 Add acoth Mul x0 5 -1 Mul Mul acoth x1 log acoth x1 Mul 5 Pow Add 1 Mul -1 Mul Mul x0 5 Mul x0 5 -1 