Mul cosh acot atanh Pow x0 cosh x2 Pow cos Pow x0 x3 x0 
Add Mul Pow cos Pow x0 x3 x0 Mul sinh acot atanh Pow x0 cosh x2 Mul -1 Mul Mul Mul Pow x0 Add cosh x2 -1 cosh x2 Pow Add 1 Mul -1 Mul Pow x0 cosh x2 Pow x0 cosh x2 -1 Pow Add 1 Mul atanh Pow x0 cosh x2 atanh Pow x0 cosh x2 -1 Mul cosh acot atanh Pow x0 cosh x2 Mul Pow cos Pow x0 x3 Add x0 -1 Add Mul x0 Mul Mul -1 sin Pow x0 x3 Mul Pow x0 Add x3 -1 x3 Mul cos Pow x0 x3 log cos Pow x0 x3 