Mul x0 Pow Mul x0 Add -1 Pow x0 2 Add Mul acoth x2 0.632240201207211 -3 
Add Pow Mul x0 Add -1 Pow x0 2 Add Mul acoth x2 0.632240201207211 -3 Mul x0 Mul Pow Mul x0 Add -1 Pow x0 2 Add Add Mul acoth x2 0.632240201207211 -3 -1 Mul Add Mul acoth x2 0.632240201207211 -3 Add Add -1 Pow x0 2 Mul x0 Mul x0 2 