Pow asinh acsch x3 Add Add -2 Pow acoth x0 E -1 
Mul Pow asinh acsch x3 Add Add Add -2 Pow acoth x0 E -1 -1 Mul Mul asinh acsch x3 log asinh acsch x3 Mul Pow acoth x0 Add E -1 Mul E Pow Add 1 Mul -1 Mul x0 x0 -1 