Pow sech Add pi 3 Pow 6.44579632679490 Mul -2 Add Mul Add x0 x0 Mul sqrt x3 x6 x0 
Mul Pow sech Add pi 3 Add Pow 6.44579632679490 Mul -2 Add Mul Add x0 x0 Mul sqrt x3 x6 x0 -1 Mul Mul sech Add pi 3 log sech Add pi 3 Mul Pow 6.44579632679490 Add Mul -2 Add Mul Add x0 x0 Mul sqrt x3 x6 x0 -1 Mul 8.30922451285291 Mul -2 Add Mul Mul sqrt x3 x6 2 1 