Mul Mul x0 x3 Add 8165619676597685 Add -4 Mul x0 asech log Add sech acot pi asech cosh x6 
Add Mul Add 8165619676597685 Add -4 Mul x0 asech log Add sech acot pi asech cosh x6 x3 Mul Mul x0 x3 asech log Add sech acot pi asech cosh x6 