Mul Pow exp sec sinh sech x2 E Pow Add sinh Mul x0 x1 x0 x0 
Mul Pow exp sec sinh sech x2 E Mul Pow Add sinh Mul x0 x1 x0 Add x0 -1 Add Mul x0 Add Mul cosh Mul x0 x1 x1 1 Mul Add sinh Mul x0 x1 x0 log Add sinh Mul x0 x1 x0 