Add 1 Mul Mul sinh x2 Mul atanh E acoth x0 Pow x0 Add 6.02090815321257 x0 
Add Mul Pow x0 Add 6.02090815321257 x0 Mul sinh x2 Mul atanh E Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul sinh x2 Mul atanh E acoth x0 Mul Pow x0 Add Add 6.02090815321257 x0 -1 Add Add 6.02090815321257 x0 Mul x0 log x0 