Add Pow Pow exp acosh x6 atan Add x0 x0 pi cos Mul Add 3 x0 x0 
Add Mul Pow Pow exp acosh x6 atan Add x0 x0 Add pi -1 Mul pi Mul Pow exp acosh x6 Add atan Add x0 x0 -1 Mul Mul exp acosh x6 log exp acosh x6 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 Mul Mul -1 sin Mul Add 3 x0 x0 Add x0 Add 3 x0 