Add x0 Mul Pow Add Add 2 x0 Mul exp x0 x1 Mul Mul x0 x0 x0 acsch x4 
Add 1 Mul acsch x4 Mul Pow Add Add 2 x0 Mul exp x0 x1 Add Mul Mul x0 x0 x0 -1 Add Mul Mul Mul x0 x0 x0 Add 1 Mul x1 exp x0 Mul Mul Add Add 2 x0 Mul exp x0 x1 log Add Add 2 x0 Mul exp x0 x1 Add Mul x0 Add x0 x0 Mul x0 x0 