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