Mul x3 Mul Add Pow x0 x0 Mul Pow Add Add x0 0.255412811882995 exp Pow x0 2 -2 Mul sqrt acsch x1 2 3 
Mul x3 Mul 3 Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul sqrt acsch x1 2 Mul Pow Add Add x0 0.255412811882995 exp Pow x0 2 3 Mul -2 Add 1 Mul exp Pow x0 2 Mul x0 2 