Mul Add x0 Mul Mul x0 x0 acot log Add Add Mul x0 Mul x0 4 0.0998215696688227 asech Add x0 pi 4 
Mul 4 Add 1 Add Mul acot log Add Add Mul x0 Mul x0 4 0.0998215696688227 asech Add x0 pi Add x0 x0 Mul Mul x0 x0 Mul -1 Mul Mul Add Add Mul x0 4 Mul x0 4 Pow Mul Mul Add x0 pi Add x0 pi sqrt Add 1 Mul -1 Pow Mul Add x0 pi Add x0 pi -1 -1 Pow Add Add Mul x0 Mul x0 4 0.0998215696688227 asech Add x0 pi -1 Pow Add 1 Mul log Add Add Mul x0 Mul x0 4 0.0998215696688227 asech Add x0 pi log Add Add Mul x0 Mul x0 4 0.0998215696688227 asech Add x0 pi -1 