Mul Mul Mul Add x0 x0 -4 Pow Pow asin atanh E Add 16 acoth acoth Pow acot x3 log x7 x0 -3 
Mul -3 Add Mul Pow Pow asin atanh E Add 16 acoth acoth Pow acot x3 log x7 x0 2 Mul Mul Add x0 x0 -4 Mul Pow Pow asin atanh E Add 16 acoth acoth Pow acot x3 log x7 Add x0 -1 Mul Pow asin atanh E Add 16 acoth acoth Pow acot x3 log x7 log Pow asin atanh E Add 16 acoth acoth Pow acot x3 log x7 