Mul x0 log asech Pow 3 Add sech pi asech Mul sqrt x3 Mul x7 x0 
Add log asech Pow 3 Add sech pi asech Mul sqrt x3 Mul x7 x0 Mul x0 Mul Mul Mul Pow 3 Add Add sech pi asech Mul sqrt x3 Mul x7 x0 -1 Mul 4.09861228866811 Mul Mul sqrt x3 x7 Pow Mul Mul Mul sqrt x3 Mul x7 x0 Mul sqrt x3 Mul x7 x0 sqrt Add 1 Mul -1 Pow Mul Mul sqrt x3 Mul x7 x0 Mul sqrt x3 Mul x7 x0 -1 -1 Pow Mul Mul Pow 3 Add sech pi asech Mul sqrt x3 Mul x7 x0 Pow 3 Add sech pi asech Mul sqrt x3 Mul x7 x0 sqrt Add 1 Mul -1 Pow Mul Pow 3 Add sech pi asech Mul sqrt x3 Mul x7 x0 Pow 3 Add sech pi asech Mul sqrt x3 Mul x7 x0 -1 -1 Pow asech Pow 3 Add sech pi asech Mul sqrt x3 Mul x7 x0 -1 