Mul x0 sinh Mul -2 Add Mul Add Add x0 x0 x0 Add acsch x6 pi Mul x0 x0 
Add sinh Mul -2 Add Mul Add Add x0 x0 x0 Add acsch x6 pi Mul x0 x0 Mul x0 Mul cosh Mul -2 Add Mul Add Add x0 x0 x0 Add acsch x6 pi Mul x0 x0 Mul -2 Add Mul Add acsch x6 pi 3 Add x0 x0 