Mul -5 Pow Mul x0 x3 atan Pow x3 Add Add 4 x0 acoth acos x7 
Mul -5 Mul Pow Mul x0 x3 Add atan Pow x3 Add Add 4 x0 acoth acos x7 -1 Add Mul atan Pow x3 Add Add 4 x0 acoth acos x7 x3 Mul Mul Mul x0 x3 log Mul x0 x3 Mul Mul Pow x3 Add Add Add 4 x0 acoth acos x7 -1 Mul x3 log x3 Pow Add 1 Mul Pow x3 Add Add 4 x0 acoth acos x7 Pow x3 Add Add 4 x0 acoth acos x7 -1 