Mul Mul Add x7 3 Mul x0 Add Mul Mul log Mul x0 x0 Add x0 x0 2 tan Pow acoth x2 3 x0 
Add Mul x0 Mul Add x7 3 Add Add Mul Mul log Mul x0 x0 Add x0 x0 2 tan Pow acoth x2 3 Mul x0 Mul 2 Add Mul Add x0 x0 Mul Add x0 x0 Pow Mul x0 x0 -1 Mul log Mul x0 x0 2 Mul Add x7 3 Mul x0 Add Mul Mul log Mul x0 x0 Add x0 x0 2 tan Pow acoth x2 3 