Pow Add x0 x0 Mul Mul Mul Mul exp x0 x0 -2 acsch x5 -1 
Mul Pow Add x0 x0 Add Mul Mul Mul Mul exp x0 x0 -2 acsch x5 -1 -1 Add Mul Mul Mul Mul Mul exp x0 x0 -2 acsch x5 -1 2 Mul Mul Add x0 x0 log Add x0 x0 Mul -1 Mul acsch x5 Mul -2 Add Mul x0 exp x0 exp x0 