Mul Add cot sin Add 4 Add Pow x0 x2 x0 x0 Mul sqrt log atanh Mul x1 csch acosh pi 3 
Mul Mul sqrt log atanh Mul x1 csch acosh pi 3 Add Mul Mul -1 Pow csc sin Add 4 Add Pow x0 x2 x0 2 Mul cos Add 4 Add Pow x0 x2 x0 Add Mul Pow x0 Add x2 -1 x2 1 1 