asinh Add Mul Pow x0 x7 sqrt acot Add x0 Add x0 Add Mul x0 x6 x0 x0 
Mul Add Add Mul sqrt acot Add x0 Add x0 Add Mul x0 x6 x0 Mul Pow x0 Add x7 -1 x7 Mul Pow x0 x7 Mul Pow Mul 2 sqrt acot Add x0 Add x0 Add Mul x0 x6 x0 -1 Mul -1 Mul Add 1 Add 1 Add x6 1 Pow Add 1 Mul Add x0 Add x0 Add Mul x0 x6 x0 Add x0 Add x0 Add Mul x0 x6 x0 -1 1 Pow sqrt Add 1 Mul Add Mul Pow x0 x7 sqrt acot Add x0 Add x0 Add Mul x0 x6 x0 x0 Add Mul Pow x0 x7 sqrt acot Add x0 Add x0 Add Mul x0 x6 x0 x0 -1 