tan Add acot x0 Add Pow Add x1 E Mul sin log Add x0 Add x0 cosh E -1 Add x2 1.85091812823932 
Mul Pow sec Add acot x0 Add Pow Add x1 E Mul sin log Add x0 Add x0 cosh E -1 Add x2 1.85091812823932 2 Add Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow Add x1 E Add Mul sin log Add x0 Add x0 cosh E -1 -1 Mul Mul Add x1 E log Add x1 E Mul -1 Mul cos log Add x0 Add x0 cosh E Mul 2 Pow Add x0 Add x0 cosh E -1 