tan acot Mul Mul Add x0 Pow x7 Mul Add x0 x0 log pi 0.554682500274436 pi 
Mul Pow sec acot Mul Mul Add x0 Pow x7 Mul Add x0 x0 log pi 0.554682500274436 pi 2 Mul -1 Mul Mul pi Mul 0.554682500274436 Add 1 Mul Pow x7 Add Mul Add x0 x0 log pi -1 Mul Mul x7 log x7 Mul log pi 2 Pow Add 1 Mul Mul Mul Add x0 Pow x7 Mul Add x0 x0 log pi 0.554682500274436 pi Mul Mul Add x0 Pow x7 Mul Add x0 x0 log pi 0.554682500274436 pi -1 