Mul acot x1 Add tan Pow Mul pi x0 x0 Mul x0 Mul Pow 5 E Add Add x0 sec x7 x1 
Mul acot x1 Add Mul Pow sec Pow Mul pi x0 x0 2 Mul Pow Mul pi x0 Add x0 -1 Add Mul x0 pi Mul Mul pi x0 log Mul pi x0 Add Mul Pow 5 E Add Add x0 sec x7 x1 Mul x0 Pow 5 E 