Mul 2 Pow tan atan Add x0 sin x1 Pow Mul -2 sinh x0 -4 
Mul 2 Mul Pow tan atan Add x0 sin x1 Add Pow Mul -2 sinh x0 -4 -1 Add Mul Pow Mul -2 sinh x0 -4 Mul Pow sec atan Add x0 sin x1 2 Pow Add 1 Mul Add x0 sin x1 Add x0 sin x1 -1 Mul Mul tan atan Add x0 sin x1 log tan atan Add x0 sin x1 Mul Pow Mul -2 sinh x0 5 Mul -4 Mul -2 cosh x0 