Pow Mul 2 Pow acoth Mul 5 x1 Mul x0 5 x0 
Mul Pow Mul 2 Pow acoth Mul 5 x1 Mul x0 5 Add x0 -1 Add Mul x0 Mul 2 Mul Pow acoth Mul 5 x1 Add Mul x0 5 -1 Mul Mul acoth Mul 5 x1 log acoth Mul 5 x1 5 Mul Mul 2 Pow acoth Mul 5 x1 Mul x0 5 log Mul 2 Pow acoth Mul 5 x1 Mul x0 5 