Mul Pow acoth Mul x0 Pow x5 Add -4 x0 4 x0 
Add Mul x0 Mul Pow acoth Mul x0 Pow x5 Add -4 x0 3 Mul 4 Mul Add Pow x5 Add -4 x0 Mul x0 Mul Pow x5 Add Add -4 x0 -1 Mul x5 log x5 Pow Add 1 Mul -1 Mul Mul x0 Pow x5 Add -4 x0 Mul x0 Pow x5 Add -4 x0 -1 Pow acoth Mul x0 Pow x5 Add -4 x0 4 