Add x6 Add csch Add sin Mul x0 Mul x0 Mul x0 acosh exp pi x0 x0 
Add Mul Mul Mul -1 coth Add sin Mul x0 Mul x0 Mul x0 acosh exp pi x0 csch Add sin Mul x0 Mul x0 Mul x0 acosh exp pi x0 Add Mul cos Mul x0 Mul x0 Mul x0 acosh exp pi Add Mul x0 Mul x0 acosh exp pi Mul x0 Add Mul x0 acosh exp pi Mul x0 acosh exp pi 1 1 