Mul Add Mul acot sec Add x0 x0 Add Add Mul 4 x0 Mul x0 1.73205080756888 -1.52988565646640 x0 cosh x0 
Add Mul cosh x0 Add Add Mul Add Add Mul 4 x0 Mul x0 1.73205080756888 -1.52988565646640 Mul -1 Mul Mul Mul tan Add x0 x0 sec Add x0 x0 2 Pow Add 1 Mul sec Add x0 x0 sec Add x0 x0 -1 Mul acot sec Add x0 x0 5.73205080756888 1 Mul Add Mul acot sec Add x0 x0 Add Add Mul 4 x0 Mul x0 1.73205080756888 -1.52988565646640 x0 sinh x0 