Pow Add asinh cos acosh acos Pow x7 5 pi Add -4 Pow Pow x0 acoth x7 Mul x0 Mul x2 x1 
Mul Pow Add asinh cos acosh acos Pow x7 5 pi Add Add -4 Pow Pow x0 acoth x7 Mul x0 Mul x2 x1 -1 Mul Mul Add asinh cos acosh acos Pow x7 5 pi log Add asinh cos acosh acos Pow x7 5 pi Mul Pow Pow x0 acoth x7 Add Mul x0 Mul x2 x1 -1 Add Mul Mul x0 Mul x2 x1 Mul Pow x0 Add acoth x7 -1 acoth x7 Mul Mul Pow x0 acoth x7 log Pow x0 acoth x7 Mul x2 x1 