Mul Mul Mul acosh atanh pi Add Mul x3 x0 Mul x7 x0 cot x0 x0 
Add Mul x0 Add Mul cot x0 Mul acosh atanh pi Add x3 x7 Mul Mul acosh atanh pi Add Mul x3 x0 Mul x7 x0 Mul -1 Pow csc x0 2 Mul Mul acosh atanh pi Add Mul x3 x0 Mul x7 x0 cot x0 