sin Mul x5 Mul x0 Pow acot x6 Add log Mul pi x0 4 
Mul cos Mul x5 Mul x0 Pow acot x6 Add log Mul pi x0 4 Mul x5 Add Pow acot x6 Add log Mul pi x0 4 Mul x0 Mul Pow acot x6 Add Add log Mul pi x0 4 -1 Mul Mul acot x6 log acot x6 Mul pi Pow Mul pi x0 -1 