acsc Pow Add 2 sqrt Add x0 x5 Pow Add atanh x0 Mul x0 7 Add x0 x7 
Mul -1 Mul Mul Pow Add 2 sqrt Add x0 x5 Add Pow Add atanh x0 Mul x0 7 Add x0 x7 -1 Add Mul Pow Add atanh x0 Mul x0 7 Add x0 x7 Pow Mul 2 sqrt Add x0 x5 -1 Mul Mul Add 2 sqrt Add x0 x5 log Add 2 sqrt Add x0 x5 Mul Pow Add atanh x0 Mul x0 7 Add Add x0 x7 -1 Add Mul Add x0 x7 Add Pow Add 1 Mul -1 Mul x0 x0 -1 7 Mul Add atanh x0 Mul x0 7 log Add atanh x0 Mul x0 7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Add 2 sqrt Add x0 x5 Pow Add atanh x0 Mul x0 7 Add x0 x7 Pow Add 2 sqrt Add x0 x5 Pow Add atanh x0 Mul x0 7 Add x0 x7 -1 Pow Add 2 sqrt Add x0 x5 Pow Add atanh x0 Mul x0 7 Add x0 x7 Pow Add 2 sqrt Add x0 x5 Pow Add atanh x0 Mul x0 7 Add x0 x7 -1 