Mul Add -0.125000000000000 Pow acoth Pow Add Mul x4 0.255412811882995 x0 -1 x6 x1 
Mul x1 Mul Pow acoth Pow Add Mul x4 0.255412811882995 x0 -1 Add x6 -1 Mul x6 Mul Mul Pow Add Mul x4 0.255412811882995 x0 2 -1 Pow Add 1 Mul -1 Mul Pow Add Mul x4 0.255412811882995 x0 -1 Pow Add Mul x4 0.255412811882995 x0 -1 -1 