Mul Mul x0 Add 2 asech log Mul -2 Add pi x0 Mul x6 556.744360865161 
Mul Mul x6 556.744360865161 Add Add 2 asech log Mul -2 Add pi x0 Mul x0 Mul Mul -2 Pow Mul -2 Add pi x0 -1 Pow Mul Mul log Mul -2 Add pi x0 log Mul -2 Add pi x0 sqrt Add 1 Mul -1 Pow Mul log Mul -2 Add pi x0 log Mul -2 Add pi x0 -1 -1 