Add Mul Pow coth exp Mul -0.429203673205103 exp sec x1 x0 x1 Mul sinh x2 x0 
Add Mul x1 Mul Pow coth exp Mul -0.429203673205103 exp sec x1 Add x0 -1 Mul coth exp Mul -0.429203673205103 exp sec x1 log coth exp Mul -0.429203673205103 exp sec x1 sinh x2 