Mul cos cosh x0 Add x0 Mul 3 Add sinh x0 Mul x7 Add Mul x6 x0 Add Mul x0 acoth Add -1 E pi 
Add Mul Add x0 Mul 3 Add sinh x0 Mul x7 Add Mul x6 x0 Add Mul x0 acoth Add -1 E pi Mul Mul -1 sin cosh x0 sinh x0 Mul cos cosh x0 Add 1 Mul 3 Add cosh x0 Mul x7 Add x6 acoth Add -1 E 