acoth Pow log Mul exp Mul Add -1 Mul x0 -1 x0 x0 log Mul x7 E 
Mul Mul Pow log Mul exp Mul Add -1 Mul x0 -1 x0 x0 Add log Mul x7 E -1 Mul log Mul x7 E Mul Add Mul x0 Mul exp Mul Add -1 Mul x0 -1 x0 Add Mul x0 -1 Add -1 Mul x0 -1 exp Mul Add -1 Mul x0 -1 x0 Pow Mul exp Mul Add -1 Mul x0 -1 x0 x0 -1 Pow Add 1 Mul -1 Mul Pow log Mul exp Mul Add -1 Mul x0 -1 x0 x0 log Mul x7 E Pow log Mul exp Mul Add -1 Mul x0 -1 x0 x0 log Mul x7 E -1 