Mul Add Mul x0 -3 Mul Add -3 Mul acosh x4 Mul x6 x0 x0 exp Add Mul asech pi Add Mul Add x0 x2 x0 x0 x0 
Add Mul exp Add Mul asech pi Add Mul Add x0 x2 x0 x0 x0 Add -3 Add Mul x0 Mul acosh x4 x6 Add -3 Mul acosh x4 Mul x6 x0 Mul Add Mul x0 -3 Mul Add -3 Mul acosh x4 Mul x6 x0 x0 Mul exp Add Mul asech pi Add Mul Add x0 x2 x0 x0 x0 Add Mul asech pi Add Add x0 Add x0 x2 1 1 