Add Mul acoth acos x7 Mul Pow Add x0 -5 Mul x0 Mul Mul x5 -2 x0 x7 -5 
Mul acoth acos x7 Mul x7 Mul Pow Add x0 -5 Add Mul x0 Mul Mul x5 -2 x0 -1 Add Mul x0 Mul Mul x5 -2 x0 Mul Mul Add x0 -5 log Add x0 -5 Add Mul Mul x5 -2 x0 Mul x0 Mul x5 -2 