Pow Add x0 x6 Mul sin Pow x5 x6 Pow Mul Mul acoth x0 acsc Mul x0 x0 Add 2 Add atan sqrt x0 x6 x5 
Mul Pow Add x0 x6 Add Mul sin Pow x5 x6 Pow Mul Mul acoth x0 acsc Mul x0 x0 Add 2 Add atan sqrt x0 x6 x5 -1 Add Mul sin Pow x5 x6 Pow Mul Mul acoth x0 acsc Mul x0 x0 Add 2 Add atan sqrt x0 x6 x5 Mul Mul Add x0 x6 log Add x0 x6 Mul sin Pow x5 x6 Mul Pow Mul Mul acoth x0 acsc Mul x0 x0 Add 2 Add atan sqrt x0 x6 Add x5 -1 Mul x5 Add Mul Add 2 Add atan sqrt x0 x6 Add Mul acsc Mul x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul -1 Mul Add x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 x0 Mul x0 x0 -1 Mul x0 x0 Mul x0 x0 -1 Mul Mul acoth x0 acsc Mul x0 x0 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 