Add exp Mul acsch x7 x0 Pow Add sinh tan E Mul cosh sec x1 E Add x0 Mul x0 x0 
Add Mul exp Mul acsch x7 x0 acsch x7 Mul Pow Add sinh tan E Mul cosh sec x1 E Add Add x0 Mul x0 x0 -1 Mul Mul Add sinh tan E Mul cosh sec x1 E log Add sinh tan E Mul cosh sec x1 E Add 1 Add x0 x0 