acoth Pow x4 Add x4 Add Pow x7 x7 Add x0 x5 
Mul Mul Pow x4 Add Add x4 Add Pow x7 x7 Add x0 x5 -1 Mul x4 log x4 Pow Add 1 Mul -1 Mul Pow x4 Add x4 Add Pow x7 x7 Add x0 x5 Pow x4 Add x4 Add Pow x7 x7 Add x0 x5 -1 