Mul Mul Mul x4 x0 acot Mul Mul x0 x0 Add Pow x3 x0 x0 asech x7 
Mul asech x7 Add Mul acot Mul Mul x0 x0 Add Pow x3 x0 x0 x4 Mul Mul x4 x0 Mul -1 Mul Add Mul Add Pow x3 x0 x0 Add x0 x0 Mul Mul x0 x0 Add Mul Pow x3 Add x0 -1 Mul x3 log x3 1 Pow Add 1 Mul Mul Mul x0 x0 Add Pow x3 x0 x0 Mul Mul x0 x0 Add Pow x3 x0 x0 -1 