asech Mul Mul Mul Mul x0 2 acot x0 Pow x5 x0 x2 
Mul Mul x2 Add Mul Pow x5 x0 Add Mul acot x0 2 Mul Mul x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul x0 2 acot x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow Mul Mul Mul Mul Mul Mul x0 2 acot x0 Pow x5 x0 x2 Mul Mul Mul Mul x0 2 acot x0 Pow x5 x0 x2 sqrt Add 1 Mul -1 Pow Mul Mul Mul Mul Mul x0 2 acot x0 Pow x5 x0 x2 Mul Mul Mul Mul x0 2 acot x0 Pow x5 x0 x2 -1 -1 