Add Pow Add atanh Pow acsch acos Add x0 x0 Pow acot Add x0 x2 x0 x0 x0 x6 
Mul Pow Add atanh Pow acsch acos Add x0 x0 Pow acot Add x0 x2 x0 x0 Add x0 -1 Add Mul x0 Add Mul Mul Pow acsch acos Add x0 x0 Add Pow acot Add x0 x2 x0 -1 Add Mul Pow acot Add x0 x2 x0 Mul Mul -1 Mul -1 Mul 2 Pow sqrt Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Pow Mul Mul acos Add x0 x0 acos Add x0 x0 sqrt Add 1 Mul -1 Pow Mul acos Add x0 x0 acos Add x0 x0 -1 -1 Mul Mul acsch acos Add x0 x0 log acsch acos Add x0 x0 Mul Pow acot Add x0 x2 Add x0 -1 Add Mul x0 Mul -1 Pow Add 1 Mul Add x0 x2 Add x0 x2 -1 Mul acot Add x0 x2 log acot Add x0 x2 Pow Add 1 Mul -1 Mul Pow acsch acos Add x0 x0 Pow acot Add x0 x2 x0 Pow acsch acos Add x0 x0 Pow acot Add x0 x2 x0 -1 1 Mul Add atanh Pow acsch acos Add x0 x0 Pow acot Add x0 x2 x0 x0 log Add atanh Pow acsch acos Add x0 x0 Pow acot Add x0 x2 x0 x0 