Pow Mul asinh exp x0 x4 Mul csch E x0 
Mul Pow Mul asinh exp x0 x4 Add Mul csch E x0 -1 Add Mul Mul csch E x0 Mul x4 Mul exp x0 Pow sqrt Add 1 Mul exp x0 exp x0 -1 Mul Mul Mul asinh exp x0 x4 log Mul asinh exp x0 x4 csch E 