Mul Pow atanh Add x0 x0 Mul x0 sinh x3 Mul sqrt x0 acoth Mul Pow x2 x2 Add x0 Pow x0 4 
Add Mul Mul sqrt x0 acoth Mul Pow x2 x2 Add x0 Pow x0 4 Mul Pow atanh Add x0 x0 Add Mul x0 sinh x3 -1 Add Mul Mul x0 sinh x3 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Mul Mul atanh Add x0 x0 log atanh Add x0 x0 sinh x3 Mul Pow atanh Add x0 x0 Mul x0 sinh x3 Add Mul acoth Mul Pow x2 x2 Add x0 Pow x0 4 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Mul Mul Pow x2 x2 Add 1 Mul Pow x0 3 4 Pow Add 1 Mul -1 Mul Mul Pow x2 x2 Add x0 Pow x0 4 Mul Pow x2 x2 Add x0 Pow x0 4 -1 