Mul Mul x0 csc Add 1 x0 Mul Add x0 acosh x7 sqrt Add x3 Mul -4 x0 
Add Mul Mul Add x0 acosh x7 sqrt Add x3 Mul -4 x0 Add csc Add 1 x0 Mul x0 Mul Mul -1 cot Add 1 x0 csc Add 1 x0 Mul Mul x0 csc Add 1 x0 Add sqrt Add x3 Mul -4 x0 Mul Add x0 acosh x7 Mul Pow Mul 2 sqrt Add x3 Mul -4 x0 -1 -4 