Mul x0 Mul x0 Add 3 Mul -5 Pow acoth Mul x3 x2 Add -5 Pow Add atan Add x0 -3 x0 x6 
Add Mul x0 Add 3 Mul -5 Pow acoth Mul x3 x2 Add -5 Pow Add atan Add x0 -3 x0 x6 Mul x0 Add Add 3 Mul -5 Pow acoth Mul x3 x2 Add -5 Pow Add atan Add x0 -3 x0 x6 Mul x0 Mul -5 Mul Pow acoth Mul x3 x2 Add Add -5 Pow Add atan Add x0 -3 x0 x6 -1 Mul Mul acoth Mul x3 x2 log acoth Mul x3 x2 Mul Pow Add atan Add x0 -3 x0 Add x6 -1 Mul x6 Add Pow Add 1 Mul Add x0 -3 Add x0 -3 -1 1 