Mul 5 Add Pow Mul x0 atan x0 acoth Add 5 Add x0 Pow E sinh x2 x1 
Mul 5 Mul Pow Mul x0 atan x0 Add acoth Add 5 Add x0 Pow E sinh x2 -1 Add Mul acoth Add 5 Add x0 Pow E sinh x2 Add atan x0 Mul x0 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul x0 atan x0 log Mul x0 atan x0 Pow Add 1 Mul -1 Mul Add 5 Add x0 Pow E sinh x2 Add 5 Add x0 Pow E sinh x2 -1 