Pow Pow Add x0 sqrt x0 Add asech Add Pow Mul atanh Mul x0 x0 x0 x0 sqrt x3 x0 x0 
Mul Pow Pow Add x0 sqrt x0 Add asech Add Pow Mul atanh Mul x0 x0 x0 x0 sqrt x3 x0 Add x0 -1 Add Mul x0 Mul Pow Add x0 sqrt x0 Add Add asech Add Pow Mul atanh Mul x0 x0 x0 x0 sqrt x3 x0 -1 Add Mul Add asech Add Pow Mul atanh Mul x0 x0 x0 x0 sqrt x3 x0 Add 1 Pow Mul 2 sqrt x0 -1 Mul Mul Add x0 sqrt x0 log Add x0 sqrt x0 Add Mul Mul Pow Mul atanh Mul x0 x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 atanh Mul x0 x0 Mul Mul atanh Mul x0 x0 x0 log Mul atanh Mul x0 x0 x0 Pow Mul Mul Add Pow Mul atanh Mul x0 x0 x0 x0 sqrt x3 Add Pow Mul atanh Mul x0 x0 x0 x0 sqrt x3 sqrt Add 1 Mul -1 Pow Mul Add Pow Mul atanh Mul x0 x0 x0 x0 sqrt x3 Add Pow Mul atanh Mul x0 x0 x0 x0 sqrt x3 -1 -1 1 Mul Pow Add x0 sqrt x0 Add asech Add Pow Mul atanh Mul x0 x0 x0 x0 sqrt x3 x0 log Pow Add x0 sqrt x0 Add asech Add Pow Mul atanh Mul x0 x0 x0 x0 sqrt x3 x0 