Mul Mul Add x0 x7 x0 Add -2 cosh acot Add Mul x0 Pow asec x6 Mul 4 x0 x0 
Add Mul Add -2 cosh acot Add Mul x0 Pow asec x6 Mul 4 x0 x0 Add x0 Add x0 x7 Mul Mul Add x0 x7 x0 Mul sinh acot Add Mul x0 Pow asec x6 Mul 4 x0 x0 Mul -1 Mul Add Add Pow asec x6 Mul 4 x0 Mul x0 Mul Pow asec x6 Add Mul 4 x0 -1 Mul Mul asec x6 log asec x6 4 1 Pow Add 1 Mul Add Mul x0 Pow asec x6 Mul 4 x0 x0 Add Mul x0 Pow asec x6 Mul 4 x0 x0 -1 