atan Add 3 Mul Pow acot x2 Mul x0 x0 sin asech Add Add x6 Pow x5 Pow x3 Add x2 x7 x7 
Mul Mul sin asech Add Add x6 Pow x5 Pow x3 Add x2 x7 x7 Mul Pow acot x2 Add Mul x0 x0 -1 Mul Mul acot x2 log acot x2 Add x0 x0 Pow Add 1 Mul Add 3 Mul Pow acot x2 Mul x0 x0 sin asech Add Add x6 Pow x5 Pow x3 Add x2 x7 x7 Add 3 Mul Pow acot x2 Mul x0 x0 sin asech Add Add x6 Pow x5 Pow x3 Add x2 x7 x7 -1 