Mul Mul x6 Pow x0 Mul Add 5 Add x0 Pow x0 log x6 cos acoth x3 x0 
Add Mul x0 Mul x6 Mul Pow x0 Add Mul Add 5 Add x0 Pow x0 log x6 cos acoth x3 -1 Add Mul Add 5 Add x0 Pow x0 log x6 cos acoth x3 Mul Mul x0 log x0 Mul cos acoth x3 Add 1 Mul Pow x0 Add log x6 -1 log x6 Mul x6 Pow x0 Mul Add 5 Add x0 Pow x0 log x6 cos acoth x3 