acoth Add Pow x0 Add log E x0 Mul x0 x5 
Mul Add Mul Pow x0 Add Add log E x0 -1 Add Add log E x0 Mul x0 log x0 x5 Pow Add 1 Mul -1 Mul Add Pow x0 Add log E x0 Mul x0 x5 Add Pow x0 Add log E x0 Mul x0 x5 -1 