Mul x0 acot Mul tan Add Pow exp pi x0 Add log Mul Mul Add pi x4 pi x0 3 x0 
Add acot Mul tan Add Pow exp pi x0 Add log Mul Mul Add pi x4 pi x0 3 x0 Mul x0 Mul -1 Mul Add Mul x0 Mul Pow sec Add Pow exp pi x0 Add log Mul Mul Add pi x4 pi x0 3 2 Add Mul Pow exp pi Add x0 -1 Mul exp pi log exp pi Mul Mul Add pi x4 pi Pow Mul Mul Add pi x4 pi x0 -1 tan Add Pow exp pi x0 Add log Mul Mul Add pi x4 pi x0 3 Pow Add 1 Mul Mul tan Add Pow exp pi x0 Add log Mul Mul Add pi x4 pi x0 3 x0 Mul tan Add Pow exp pi x0 Add log Mul Mul Add pi x4 pi x0 3 x0 -1 