Mul Mul Add Mul 4 x5 3 Pow acsch Mul Mul x0 Mul x0 Add Mul Pow Add 2 sqrt x0 x6 x4 x0 x7 -1 -3 
Mul -3 Mul Add Mul 4 x5 3 Mul Pow acsch Mul Mul x0 Mul x0 Add Mul Pow Add 2 sqrt x0 x6 x4 x0 x7 2 Mul -1 Mul Mul -1 Mul x7 Add Mul x0 Add Mul Pow Add 2 sqrt x0 x6 x4 x0 Mul x0 Add Add Mul Pow Add 2 sqrt x0 x6 x4 x0 Mul x0 Add Mul x4 Mul Pow Add 2 sqrt x0 Add x6 -1 Mul x6 Pow Mul 2 sqrt x0 -1 1 Pow Mul Mul Mul Mul x0 Mul x0 Add Mul Pow Add 2 sqrt x0 x6 x4 x0 x7 Mul Mul x0 Mul x0 Add Mul Pow Add 2 sqrt x0 x6 x4 x0 x7 sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 Mul x0 Add Mul Pow Add 2 sqrt x0 x6 x4 x0 x7 Mul Mul x0 Mul x0 Add Mul Pow Add 2 sqrt x0 x6 x4 x0 x7 -1 -1 