Mul x7 Mul Mul Add Mul 3 pi sin log x0 Add acoth Add sinh x0 x0 x0 x0 
Mul x7 Add Mul x0 Add Mul Add acoth Add sinh x0 x0 x0 Mul cos log x0 Pow x0 -1 Mul Add Mul 3 pi sin log x0 Add Mul Add cosh x0 1 Pow Add 1 Mul -1 Mul Add sinh x0 x0 Add sinh x0 x0 -1 1 Mul Add Mul 3 pi sin log x0 Add acoth Add sinh x0 x0 x0 