atan Add Pow x0 Add x0 Add asech log Add x0 acot x0 Add Mul x0 asinh atanh atan Pow x0 x4 x3 x0 
Mul Add Mul Pow x0 Add Add x0 Add asech log Add x0 acot x0 Add Mul x0 asinh atanh atan Pow x0 x4 x3 -1 Add Add x0 Add asech log Add x0 acot x0 Add Mul x0 asinh atanh atan Pow x0 x4 x3 Mul Mul x0 log x0 Add 1 Add Mul Mul Add 1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add x0 acot x0 -1 Pow Mul Mul log Add x0 acot x0 log Add x0 acot x0 sqrt Add 1 Mul -1 Pow Mul log Add x0 acot x0 log Add x0 acot x0 -1 -1 Add asinh atanh atan Pow x0 x4 Mul x0 Mul Mul Mul Mul Pow x0 Add x4 -1 x4 Pow Add 1 Mul Pow x0 x4 Pow x0 x4 -1 Pow Add 1 Mul -1 Mul atan Pow x0 x4 atan Pow x0 x4 -1 Pow sqrt Add 1 Mul atanh atan Pow x0 x4 atanh atan Pow x0 x4 -1 1 Pow Add 1 Mul Add Pow x0 Add x0 Add asech log Add x0 acot x0 Add Mul x0 asinh atanh atan Pow x0 x4 x3 x0 Add Pow x0 Add x0 Add asech log Add x0 acot x0 Add Mul x0 asinh atanh atan Pow x0 x4 x3 x0 -1 