Mul -3 Add Pow Mul sec Add 2 Add 9 asech x3 Pow x6 x2 acot Mul x2 x0 x0 
Mul -3 Add Mul Pow Mul sec Add 2 Add 9 asech x3 Pow x6 x2 Add acot Mul x2 x0 -1 Mul Mul Mul sec Add 2 Add 9 asech x3 Pow x6 x2 log Mul sec Add 2 Add 9 asech x3 Pow x6 x2 Mul -1 Mul x2 Pow Add 1 Mul Mul x2 x0 Mul x2 x0 -1 1 