Mul asech Mul x0 Mul acsc atanh Add sqrt x7 x0 -3 Mul x6 sqrt x7 
Mul Mul x6 sqrt x7 Mul Add Mul acsc atanh Add sqrt x7 x0 -3 Mul x0 Mul -3 Mul -1 Mul Pow Add 1 Mul -1 Mul Add sqrt x7 x0 Add sqrt x7 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul atanh Add sqrt x7 x0 atanh Add sqrt x7 x0 -1 atanh Add sqrt x7 x0 atanh Add sqrt x7 x0 -1 Pow Mul Mul Mul x0 Mul acsc atanh Add sqrt x7 x0 -3 Mul x0 Mul acsc atanh Add sqrt x7 x0 -3 sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul acsc atanh Add sqrt x7 x0 -3 Mul x0 Mul acsc atanh Add sqrt x7 x0 -3 -1 -1 