Mul Mul x7 Mul Add asech Mul Mul Mul x0 pi asech Pow Add x0 x0 cosh x5 x0 Mul sqrt x0 -0.958924274663138 x6 x0 
Add Mul x0 Mul x7 Mul x6 Add Mul Add Mul x0 Add Mul asech Pow Add x0 x0 cosh x5 pi Mul Mul x0 pi Mul Mul Pow Add x0 x0 Add cosh x5 -1 Mul cosh x5 2 Pow Mul Mul Pow Add x0 x0 cosh x5 Pow Add x0 x0 cosh x5 sqrt Add 1 Mul -1 Pow Mul Pow Add x0 x0 cosh x5 Pow Add x0 x0 cosh x5 -1 -1 Mul Mul x0 pi asech Pow Add x0 x0 cosh x5 Pow Mul Mul Mul Mul Mul x0 pi asech Pow Add x0 x0 cosh x5 x0 Mul Mul Mul x0 pi asech Pow Add x0 x0 cosh x5 x0 sqrt Add 1 Mul -1 Pow Mul Mul Mul Mul x0 pi asech Pow Add x0 x0 cosh x5 x0 Mul Mul Mul x0 pi asech Pow Add x0 x0 cosh x5 x0 -1 -1 Mul -0.958924274663138 Pow Mul 2 sqrt x0 -1 Mul x7 Mul Add asech Mul Mul Mul x0 pi asech Pow Add x0 x0 cosh x5 x0 Mul sqrt x0 -0.958924274663138 x6 