Mul acosh Mul x0 x3 Mul x0 Mul exp Pow csch x0 x0 1.04719755119660 
Add Mul Mul x0 Mul exp Pow csch x0 x0 1.04719755119660 Mul x3 Pow Mul sqrt Add Mul x0 x3 -1 sqrt Add 1 Mul x0 x3 -1 Mul acosh Mul x0 x3 Add Mul exp Pow csch x0 x0 1.04719755119660 Mul x0 Mul 1.04719755119660 Mul exp Pow csch x0 x0 Mul Pow csch x0 Add x0 -1 Add Mul x0 Mul Mul -1 coth x0 csch x0 Mul csch x0 log csch x0 