Add x0 Pow Mul coth x7 Mul Mul x6 sinh Pow Mul x1 Add atan sqrt x0 x0 x0 20.0855369231877 27.2899171971277 
Add 1 Mul Pow Mul coth x7 Mul Mul x6 sinh Pow Mul x1 Add atan sqrt x0 x0 x0 20.0855369231877 26.2899171971277 Mul 27.2899171971277 Mul coth x7 Mul 20.0855369231877 Mul x6 Mul cosh Pow Mul x1 Add atan sqrt x0 x0 x0 Mul Pow Mul x1 Add atan sqrt x0 x0 Add x0 -1 Add Mul x0 Mul x1 Add Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 1 Mul Mul x1 Add atan sqrt x0 x0 log Mul x1 Add atan sqrt x0 x0 