Pow Mul Add x0 Add x3 Add exp acosh x1 Mul -4 Add acoth Add -3 x5 Mul x0 -1 x0 x0 
Mul Pow Mul Add x0 Add x3 Add exp acosh x1 Mul -4 Add acoth Add -3 x5 Mul x0 -1 x0 Add x0 -1 Add Mul x0 Add Mul x0 6 Add x0 Add x3 Add exp acosh x1 Mul -4 Add acoth Add -3 x5 Mul x0 -1 Mul Mul Add x0 Add x3 Add exp acosh x1 Mul -4 Add acoth Add -3 x5 Mul x0 -1 x0 log Mul Add x0 Add x3 Add exp acosh x1 Mul -4 Add acoth Add -3 x5 Mul x0 -1 x0 