Mul x7 Mul x0 Mul Mul acoth Add Add Mul x0 Pow x0 Add x0 Add -3 atanh x4 -3 5 x1 -4 
Mul x7 Add Mul Mul acoth Add Add Mul x0 Pow x0 Add x0 Add -3 atanh x4 -3 5 x1 -4 Mul x0 Mul -4 Mul x1 Mul Add Pow x0 Add x0 Add -3 atanh x4 Mul x0 Mul Pow x0 Add Add x0 Add -3 atanh x4 -1 Add Add x0 Add -3 atanh x4 Mul x0 log x0 Pow Add 1 Mul -1 Mul Add Add Mul x0 Pow x0 Add x0 Add -3 atanh x4 -3 5 Add Add Mul x0 Pow x0 Add x0 Add -3 atanh x4 -3 5 -1 