Add Pow x0 Mul acsch Mul Pow x5 exp E -7.01525255143453 x0 x1 
Mul Pow x0 Add Mul acsch Mul Pow x5 exp E -7.01525255143453 x0 -1 Add Mul acsch Mul Pow x5 exp E -7.01525255143453 x0 Mul Mul x0 log x0 acsch Mul Pow x5 exp E -7.01525255143453 