acoth Pow Pow Add x0 log x7 Add 3 x5 sqrt x0 
Mul Mul Pow Pow Add x0 log x7 Add 3 x5 Add sqrt x0 -1 Add Mul sqrt x0 Mul Pow Add x0 log x7 Add Add 3 x5 -1 Add 3 x5 Mul Mul Pow Add x0 log x7 Add 3 x5 log Pow Add x0 log x7 Add 3 x5 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul Pow Pow Add x0 log x7 Add 3 x5 sqrt x0 Pow Pow Add x0 log x7 Add 3 x5 sqrt x0 -1 