Mul x0 exp Mul asech acoth x2 Add 2 Mul Mul x0 Add -3 x0 x0 
Add exp Mul asech acoth x2 Add 2 Mul Mul x0 Add -3 x0 x0 Mul x0 Mul exp Mul asech acoth x2 Add 2 Mul Mul x0 Add -3 x0 x0 Mul asech acoth x2 Add Mul x0 Add Add -3 x0 x0 Mul x0 Add -3 x0 