acot acoth Add Mul 0.964027580075817 x0 Mul -1 x6 
Mul -1 Mul Mul 0.964027580075817 Pow Add 1 Mul -1 Mul Add Mul 0.964027580075817 x0 Mul -1 x6 Add Mul 0.964027580075817 x0 Mul -1 x6 -1 Pow Add 1 Mul acoth Add Mul 0.964027580075817 x0 Mul -1 x6 acoth Add Mul 0.964027580075817 x0 Mul -1 x6 -1 