asin Add asin Add Mul x1 Mul tan Mul x0 acot x0 x0 x0 Mul pi x5 
Mul Mul Add Mul x1 Add Mul x0 Mul Pow sec Mul x0 acot x0 2 Add acot x0 Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 tan Mul x0 acot x0 1 Pow sqrt Add 1 Mul -1 Mul Add Mul x1 Mul tan Mul x0 acot x0 x0 x0 Add Mul x1 Mul tan Mul x0 acot x0 x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add asin Add Mul x1 Mul tan Mul x0 acot x0 x0 x0 Mul pi x5 Add asin Add Mul x1 Mul tan Mul x0 acot x0 x0 x0 Mul pi x5 -1 