Add Mul x0 x0 Mul acot x0 Add Pow x7 x0 Mul Mul x0 x0 Add Mul x0 sinh log Mul x0 x7 -4 
Add Add x0 x0 Add Mul Add Pow x7 x0 Mul Mul x0 x0 Add Mul x0 sinh log Mul x0 x7 -4 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Add Mul Pow x7 Add x0 -1 Mul x7 log x7 Add Mul Add Mul x0 sinh log Mul x0 x7 -4 Add x0 x0 Mul Mul x0 x0 Add sinh log Mul x0 x7 Mul x0 Mul cosh log Mul x0 x7 Mul x7 Pow Mul x0 x7 -1 