Pow Add acoth acos x5 atan acsch x1 Mul Mul Mul x3 5 x0 x0 
Mul Pow Add acoth acos x5 atan acsch x1 Add Mul Mul Mul x3 5 x0 x0 -1 Mul Mul Add acoth acos x5 atan acsch x1 log Add acoth acos x5 atan acsch x1 Add Mul x0 Mul x3 5 Mul Mul x3 5 x0 