csc Mul x0 Add Mul x7 csc x0 acsch Add Mul pi 3 x2 
Mul Mul Mul -1 cot Mul x0 Add Mul x7 csc x0 acsch Add Mul pi 3 x2 csc Mul x0 Add Mul x7 csc x0 acsch Add Mul pi 3 x2 Add Add Mul x7 csc x0 acsch Add Mul pi 3 x2 Mul x0 Mul x7 Mul Mul -1 cot x0 csc x0 