0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.042 * * * [progress]: [2/2] Setting up program. 0.044 * [progress]: [Phase 2 of 3] Improving. 0.044 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.044 * [simplify]: Simplifying (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) 0.044 * * [simplify]: iteration 1: (9 enodes) 0.047 * * [simplify]: iteration 2: (42 enodes) 0.065 * * [simplify]: iteration 3: (77 enodes) 0.083 * * [simplify]: iteration 4: (134 enodes) 0.138 * * [simplify]: iteration 5: (380 enodes) 0.418 * * [simplify]: iteration 6: (1189 enodes) 3.274 * * [simplify]: Extracting #0: cost 1 inf + 0 3.274 * * [simplify]: Extracting #1: cost 125 inf + 0 3.277 * * [simplify]: Extracting #2: cost 694 inf + 690 3.283 * * [simplify]: Extracting #3: cost 614 inf + 24686 3.309 * * [simplify]: Extracting #4: cost 185 inf + 257434 3.372 * * [simplify]: Extracting #5: cost 4 inf + 375612 3.433 * * [simplify]: Extracting #6: cost 0 inf + 376958 3.508 * [simplify]: Simplified to (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1)) 3.515 * * [progress]: iteration 1 / 4 3.515 * * * [progress]: picking best candidate 3.520 * * * * [pick]: Picked # 3.520 * * * [progress]: localizing error 3.542 * * * [progress]: generating rewritten candidates 3.543 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 3.741 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1) 3.787 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 4.451 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 32.910 * * * [progress]: generating series expansions 32.910 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 32.911 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5) 32.911 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0 32.911 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 32.911 * [taylor]: Taking taylor expansion of d1 in d1 32.911 * [backup-simplify]: Simplify 0 into 0 32.911 * [backup-simplify]: Simplify 1 into 1 32.911 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 32.911 * [taylor]: Taking taylor expansion of d1 in d1 32.911 * [backup-simplify]: Simplify 0 into 0 32.911 * [backup-simplify]: Simplify 1 into 1 32.912 * [backup-simplify]: Simplify (* 1 1) into 1 32.912 * [backup-simplify]: Simplify (* 1 1) into 1 32.913 * [backup-simplify]: Simplify (* 1 1) into 1 32.913 * [backup-simplify]: Simplify 1 into 1 32.913 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.914 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.915 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.915 * [backup-simplify]: Simplify 0 into 0 32.916 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.916 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.917 * [backup-simplify]: Simplify 0 into 0 32.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.921 * [backup-simplify]: Simplify 0 into 0 32.922 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.923 * [backup-simplify]: Simplify 0 into 0 32.924 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.926 * [backup-simplify]: Simplify 0 into 0 32.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.929 * [backup-simplify]: Simplify 0 into 0 32.929 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5) 32.929 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5)) 32.929 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0 32.929 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 32.929 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 32.929 * [taylor]: Taking taylor expansion of d1 in d1 32.929 * [backup-simplify]: Simplify 0 into 0 32.929 * [backup-simplify]: Simplify 1 into 1 32.929 * [backup-simplify]: Simplify (* 1 1) into 1 32.929 * [backup-simplify]: Simplify (* 1 1) into 1 32.930 * [backup-simplify]: Simplify (* 1 1) into 1 32.930 * [backup-simplify]: Simplify (/ 1 1) into 1 32.930 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 32.930 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 32.930 * [taylor]: Taking taylor expansion of d1 in d1 32.930 * [backup-simplify]: Simplify 0 into 0 32.930 * [backup-simplify]: Simplify 1 into 1 32.930 * [backup-simplify]: Simplify (* 1 1) into 1 32.930 * [backup-simplify]: Simplify (* 1 1) into 1 32.931 * [backup-simplify]: Simplify (* 1 1) into 1 32.931 * [backup-simplify]: Simplify (/ 1 1) into 1 32.931 * [backup-simplify]: Simplify 1 into 1 32.931 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.932 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.932 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 32.933 * [backup-simplify]: Simplify 0 into 0 32.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.935 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.935 * [backup-simplify]: Simplify 0 into 0 32.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.937 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.938 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.938 * [backup-simplify]: Simplify 0 into 0 32.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.939 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.940 * [backup-simplify]: Simplify 0 into 0 32.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.942 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.943 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.943 * [backup-simplify]: Simplify 0 into 0 32.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.945 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.946 * [backup-simplify]: Simplify 0 into 0 32.947 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5) 32.947 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5)) 32.947 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0 32.947 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 32.947 * [taylor]: Taking taylor expansion of -1 in d1 32.947 * [backup-simplify]: Simplify -1 into -1 32.947 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 32.947 * [taylor]: Taking taylor expansion of d1 in d1 32.947 * [backup-simplify]: Simplify 0 into 0 32.947 * [backup-simplify]: Simplify 1 into 1 32.947 * [backup-simplify]: Simplify (* 1 1) into 1 32.947 * [backup-simplify]: Simplify (* 1 1) into 1 32.948 * [backup-simplify]: Simplify (* 1 1) into 1 32.948 * [backup-simplify]: Simplify (/ -1 1) into -1 32.948 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 32.948 * [taylor]: Taking taylor expansion of -1 in d1 32.948 * [backup-simplify]: Simplify -1 into -1 32.948 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 32.948 * [taylor]: Taking taylor expansion of d1 in d1 32.948 * [backup-simplify]: Simplify 0 into 0 32.948 * [backup-simplify]: Simplify 1 into 1 32.948 * [backup-simplify]: Simplify (* 1 1) into 1 32.948 * [backup-simplify]: Simplify (* 1 1) into 1 32.949 * [backup-simplify]: Simplify (* 1 1) into 1 32.949 * [backup-simplify]: Simplify (/ -1 1) into -1 32.949 * [backup-simplify]: Simplify -1 into -1 32.949 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.950 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.950 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.951 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 32.951 * [backup-simplify]: Simplify 0 into 0 32.951 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.953 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.953 * [backup-simplify]: Simplify 0 into 0 32.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.955 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.957 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.957 * [backup-simplify]: Simplify 0 into 0 32.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.959 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.959 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.960 * [backup-simplify]: Simplify 0 into 0 32.961 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.961 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.962 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.963 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.963 * [backup-simplify]: Simplify 0 into 0 32.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.966 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.966 * [backup-simplify]: Simplify 0 into 0 32.966 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5) 32.966 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1) 32.966 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4) 32.966 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0 32.966 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 32.966 * [taylor]: Taking taylor expansion of d1 in d1 32.967 * [backup-simplify]: Simplify 0 into 0 32.967 * [backup-simplify]: Simplify 1 into 1 32.967 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 32.967 * [taylor]: Taking taylor expansion of d1 in d1 32.967 * [backup-simplify]: Simplify 0 into 0 32.967 * [backup-simplify]: Simplify 1 into 1 32.967 * [backup-simplify]: Simplify (* 1 1) into 1 32.967 * [backup-simplify]: Simplify (* 1 1) into 1 32.967 * [backup-simplify]: Simplify 1 into 1 32.968 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.968 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.968 * [backup-simplify]: Simplify 0 into 0 32.969 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.969 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.969 * [backup-simplify]: Simplify 0 into 0 32.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.970 * [backup-simplify]: Simplify 0 into 0 32.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.972 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.972 * [backup-simplify]: Simplify 0 into 0 32.973 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.974 * [backup-simplify]: Simplify 0 into 0 32.975 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.975 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.975 * [backup-simplify]: Simplify 0 into 0 32.976 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4) 32.976 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4)) 32.976 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 32.976 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 32.976 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 32.976 * [taylor]: Taking taylor expansion of d1 in d1 32.976 * [backup-simplify]: Simplify 0 into 0 32.976 * [backup-simplify]: Simplify 1 into 1 32.976 * [backup-simplify]: Simplify (* 1 1) into 1 32.976 * [backup-simplify]: Simplify (* 1 1) into 1 32.977 * [backup-simplify]: Simplify (/ 1 1) into 1 32.977 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 32.977 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 32.977 * [taylor]: Taking taylor expansion of d1 in d1 32.977 * [backup-simplify]: Simplify 0 into 0 32.977 * [backup-simplify]: Simplify 1 into 1 32.977 * [backup-simplify]: Simplify (* 1 1) into 1 32.977 * [backup-simplify]: Simplify (* 1 1) into 1 32.977 * [backup-simplify]: Simplify (/ 1 1) into 1 32.977 * [backup-simplify]: Simplify 1 into 1 32.978 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.978 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.979 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 32.979 * [backup-simplify]: Simplify 0 into 0 32.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.981 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.981 * [backup-simplify]: Simplify 0 into 0 32.981 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.982 * [backup-simplify]: Simplify 0 into 0 32.983 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.984 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.984 * [backup-simplify]: Simplify 0 into 0 32.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.987 * [backup-simplify]: Simplify 0 into 0 32.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.996 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.996 * [backup-simplify]: Simplify 0 into 0 32.996 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 32.996 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 32.996 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 32.996 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 32.996 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 32.996 * [taylor]: Taking taylor expansion of d1 in d1 32.996 * [backup-simplify]: Simplify 0 into 0 32.996 * [backup-simplify]: Simplify 1 into 1 32.997 * [backup-simplify]: Simplify (* 1 1) into 1 32.997 * [backup-simplify]: Simplify (* 1 1) into 1 32.997 * [backup-simplify]: Simplify (/ 1 1) into 1 32.997 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 32.997 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 32.997 * [taylor]: Taking taylor expansion of d1 in d1 32.997 * [backup-simplify]: Simplify 0 into 0 32.998 * [backup-simplify]: Simplify 1 into 1 32.998 * [backup-simplify]: Simplify (* 1 1) into 1 32.998 * [backup-simplify]: Simplify (* 1 1) into 1 32.999 * [backup-simplify]: Simplify (/ 1 1) into 1 32.999 * [backup-simplify]: Simplify 1 into 1 32.999 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.000 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 33.001 * [backup-simplify]: Simplify 0 into 0 33.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.004 * [backup-simplify]: Simplify 0 into 0 33.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.007 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.007 * [backup-simplify]: Simplify 0 into 0 33.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.010 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.010 * [backup-simplify]: Simplify 0 into 0 33.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.013 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.014 * [backup-simplify]: Simplify 0 into 0 33.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.018 * [backup-simplify]: Simplify 0 into 0 33.018 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 33.019 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 33.019 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7) 33.019 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0 33.019 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 33.019 * [taylor]: Taking taylor expansion of d1 in d1 33.019 * [backup-simplify]: Simplify 0 into 0 33.019 * [backup-simplify]: Simplify 1 into 1 33.019 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 33.019 * [taylor]: Taking taylor expansion of d1 in d1 33.019 * [backup-simplify]: Simplify 0 into 0 33.019 * [backup-simplify]: Simplify 1 into 1 33.019 * [backup-simplify]: Simplify (* 1 1) into 1 33.020 * [backup-simplify]: Simplify (* 1 1) into 1 33.020 * [backup-simplify]: Simplify (* 1 1) into 1 33.021 * [backup-simplify]: Simplify (* 1 1) into 1 33.021 * [backup-simplify]: Simplify 1 into 1 33.021 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.022 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.023 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.023 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.023 * [backup-simplify]: Simplify 0 into 0 33.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.027 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.027 * [backup-simplify]: Simplify 0 into 0 33.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.031 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.032 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.032 * [backup-simplify]: Simplify 0 into 0 33.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.034 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.035 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.035 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.035 * [backup-simplify]: Simplify 0 into 0 33.036 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.037 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.038 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.039 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.039 * [backup-simplify]: Simplify 0 into 0 33.039 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.040 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.041 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.042 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.042 * [backup-simplify]: Simplify 0 into 0 33.042 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7) 33.042 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7)) 33.042 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0 33.043 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 33.043 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 33.043 * [taylor]: Taking taylor expansion of d1 in d1 33.043 * [backup-simplify]: Simplify 0 into 0 33.043 * [backup-simplify]: Simplify 1 into 1 33.043 * [backup-simplify]: Simplify (* 1 1) into 1 33.043 * [backup-simplify]: Simplify (* 1 1) into 1 33.043 * [backup-simplify]: Simplify (* 1 1) into 1 33.044 * [backup-simplify]: Simplify (* 1 1) into 1 33.044 * [backup-simplify]: Simplify (/ 1 1) into 1 33.044 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 33.044 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 33.044 * [taylor]: Taking taylor expansion of d1 in d1 33.044 * [backup-simplify]: Simplify 0 into 0 33.044 * [backup-simplify]: Simplify 1 into 1 33.044 * [backup-simplify]: Simplify (* 1 1) into 1 33.044 * [backup-simplify]: Simplify (* 1 1) into 1 33.045 * [backup-simplify]: Simplify (* 1 1) into 1 33.045 * [backup-simplify]: Simplify (* 1 1) into 1 33.045 * [backup-simplify]: Simplify (/ 1 1) into 1 33.045 * [backup-simplify]: Simplify 1 into 1 33.046 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.046 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.046 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.047 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 33.047 * [backup-simplify]: Simplify 0 into 0 33.048 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.048 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.049 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.049 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.050 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.050 * [backup-simplify]: Simplify 0 into 0 33.051 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.051 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.052 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.053 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.053 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.053 * [backup-simplify]: Simplify 0 into 0 33.054 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.055 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.056 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.056 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.057 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.057 * [backup-simplify]: Simplify 0 into 0 33.058 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.058 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.059 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.060 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.061 * [backup-simplify]: Simplify 0 into 0 33.062 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.063 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.065 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.067 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.068 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.068 * [backup-simplify]: Simplify 0 into 0 33.068 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7) 33.068 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7)) 33.068 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0 33.068 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 33.068 * [taylor]: Taking taylor expansion of -1 in d1 33.068 * [backup-simplify]: Simplify -1 into -1 33.068 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 33.068 * [taylor]: Taking taylor expansion of d1 in d1 33.068 * [backup-simplify]: Simplify 0 into 0 33.068 * [backup-simplify]: Simplify 1 into 1 33.069 * [backup-simplify]: Simplify (* 1 1) into 1 33.069 * [backup-simplify]: Simplify (* 1 1) into 1 33.070 * [backup-simplify]: Simplify (* 1 1) into 1 33.070 * [backup-simplify]: Simplify (* 1 1) into 1 33.070 * [backup-simplify]: Simplify (/ -1 1) into -1 33.071 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 33.071 * [taylor]: Taking taylor expansion of -1 in d1 33.071 * [backup-simplify]: Simplify -1 into -1 33.071 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 33.071 * [taylor]: Taking taylor expansion of d1 in d1 33.071 * [backup-simplify]: Simplify 0 into 0 33.071 * [backup-simplify]: Simplify 1 into 1 33.071 * [backup-simplify]: Simplify (* 1 1) into 1 33.071 * [backup-simplify]: Simplify (* 1 1) into 1 33.072 * [backup-simplify]: Simplify (* 1 1) into 1 33.072 * [backup-simplify]: Simplify (* 1 1) into 1 33.073 * [backup-simplify]: Simplify (/ -1 1) into -1 33.073 * [backup-simplify]: Simplify -1 into -1 33.073 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.074 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.075 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.075 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.076 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 33.076 * [backup-simplify]: Simplify 0 into 0 33.077 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.078 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.079 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.080 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.081 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.081 * [backup-simplify]: Simplify 0 into 0 33.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.083 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.083 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.084 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.084 * [backup-simplify]: Simplify 0 into 0 33.085 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.086 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.087 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.089 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.089 * [backup-simplify]: Simplify 0 into 0 33.090 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.095 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.095 * [backup-simplify]: Simplify 0 into 0 33.096 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.096 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.097 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.098 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.099 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.099 * [backup-simplify]: Simplify 0 into 0 33.099 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7) 33.099 * * * * [progress]: [ 4 / 4 ] generating series at (2) 33.099 * [backup-simplify]: Simplify (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) into (pow d1 10) 33.099 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0 33.099 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 33.099 * [taylor]: Taking taylor expansion of d1 in d1 33.099 * [backup-simplify]: Simplify 0 into 0 33.099 * [backup-simplify]: Simplify 1 into 1 33.099 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 33.099 * [taylor]: Taking taylor expansion of d1 in d1 33.099 * [backup-simplify]: Simplify 0 into 0 33.099 * [backup-simplify]: Simplify 1 into 1 33.100 * [backup-simplify]: Simplify (* 1 1) into 1 33.100 * [backup-simplify]: Simplify (* 1 1) into 1 33.100 * [backup-simplify]: Simplify (* 1 1) into 1 33.100 * [backup-simplify]: Simplify (* 1 1) into 1 33.100 * [backup-simplify]: Simplify 1 into 1 33.101 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.101 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.101 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.102 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.102 * [backup-simplify]: Simplify 0 into 0 33.102 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.103 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.104 * [backup-simplify]: Simplify 0 into 0 33.111 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.114 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.115 * [backup-simplify]: Simplify 0 into 0 33.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.119 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.120 * [backup-simplify]: Simplify 0 into 0 33.121 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.125 * [backup-simplify]: Simplify 0 into 0 33.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.128 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.130 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.131 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.132 * [backup-simplify]: Simplify 0 into 0 33.132 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10) 33.132 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 10)) 33.132 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 33.132 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 33.132 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 33.132 * [taylor]: Taking taylor expansion of d1 in d1 33.132 * [backup-simplify]: Simplify 0 into 0 33.132 * [backup-simplify]: Simplify 1 into 1 33.133 * [backup-simplify]: Simplify (* 1 1) into 1 33.133 * [backup-simplify]: Simplify (* 1 1) into 1 33.133 * [backup-simplify]: Simplify (* 1 1) into 1 33.134 * [backup-simplify]: Simplify (* 1 1) into 1 33.134 * [backup-simplify]: Simplify (/ 1 1) into 1 33.134 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 33.134 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 33.134 * [taylor]: Taking taylor expansion of d1 in d1 33.134 * [backup-simplify]: Simplify 0 into 0 33.134 * [backup-simplify]: Simplify 1 into 1 33.135 * [backup-simplify]: Simplify (* 1 1) into 1 33.135 * [backup-simplify]: Simplify (* 1 1) into 1 33.135 * [backup-simplify]: Simplify (* 1 1) into 1 33.136 * [backup-simplify]: Simplify (* 1 1) into 1 33.136 * [backup-simplify]: Simplify (/ 1 1) into 1 33.136 * [backup-simplify]: Simplify 1 into 1 33.137 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.138 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.138 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.139 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.140 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 33.140 * [backup-simplify]: Simplify 0 into 0 33.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.142 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.145 * [backup-simplify]: Simplify 0 into 0 33.146 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.147 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.148 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.149 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.150 * [backup-simplify]: Simplify 0 into 0 33.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.152 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.154 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.156 * [backup-simplify]: Simplify 0 into 0 33.157 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.160 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.161 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.162 * [backup-simplify]: Simplify 0 into 0 33.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.169 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.170 * [backup-simplify]: Simplify 0 into 0 33.170 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10) 33.170 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 10)) 33.170 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 33.171 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 33.171 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 33.171 * [taylor]: Taking taylor expansion of d1 in d1 33.171 * [backup-simplify]: Simplify 0 into 0 33.171 * [backup-simplify]: Simplify 1 into 1 33.171 * [backup-simplify]: Simplify (* 1 1) into 1 33.171 * [backup-simplify]: Simplify (* 1 1) into 1 33.172 * [backup-simplify]: Simplify (* 1 1) into 1 33.172 * [backup-simplify]: Simplify (* 1 1) into 1 33.173 * [backup-simplify]: Simplify (/ 1 1) into 1 33.173 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 33.173 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 33.173 * [taylor]: Taking taylor expansion of d1 in d1 33.173 * [backup-simplify]: Simplify 0 into 0 33.173 * [backup-simplify]: Simplify 1 into 1 33.173 * [backup-simplify]: Simplify (* 1 1) into 1 33.174 * [backup-simplify]: Simplify (* 1 1) into 1 33.174 * [backup-simplify]: Simplify (* 1 1) into 1 33.174 * [backup-simplify]: Simplify (* 1 1) into 1 33.175 * [backup-simplify]: Simplify (/ 1 1) into 1 33.175 * [backup-simplify]: Simplify 1 into 1 33.176 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.176 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.177 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.178 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 33.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 33.178 * [backup-simplify]: Simplify 0 into 0 33.179 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 33.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.183 * [backup-simplify]: Simplify 0 into 0 33.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.186 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.188 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 33.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.189 * [backup-simplify]: Simplify 0 into 0 33.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.191 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.192 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.193 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 33.194 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.194 * [backup-simplify]: Simplify 0 into 0 33.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 33.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.201 * [backup-simplify]: Simplify 0 into 0 33.202 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 33.208 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 33.208 * [backup-simplify]: Simplify 0 into 0 33.208 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10) 33.208 * * * [progress]: simplifying candidates 33.208 * * * * [progress]: [ 1 / 590 ] simplifiying candidate # 33.208 * * * * [progress]: [ 2 / 590 ] simplifiying candidate # 33.208 * * * * [progress]: [ 3 / 590 ] simplifiying candidate # 33.208 * * * * [progress]: [ 4 / 590 ] simplifiying candidate # 33.208 * * * * [progress]: [ 5 / 590 ] simplifiying candidate # 33.208 * * * * [progress]: [ 6 / 590 ] simplifiying candidate # 33.208 * * * * [progress]: [ 7 / 590 ] simplifiying candidate # 33.209 * * * * [progress]: [ 8 / 590 ] simplifiying candidate # 33.209 * * * * [progress]: [ 9 / 590 ] simplifiying candidate # 33.209 * * * * [progress]: [ 10 / 590 ] simplifiying candidate # 33.209 * * * * [progress]: [ 11 / 590 ] simplifiying candidate # 33.209 * * * * [progress]: [ 12 / 590 ] simplifiying candidate # 33.209 * * * * [progress]: [ 13 / 590 ] simplifiying candidate # 33.209 * * * * [progress]: [ 14 / 590 ] simplifiying candidate # 33.209 * * * * [progress]: [ 15 / 590 ] simplifiying candidate # 33.209 * * * * [progress]: [ 16 / 590 ] simplifiying candidate # 33.209 * * * * [progress]: [ 17 / 590 ] simplifiying candidate # 33.209 * * * * [progress]: [ 18 / 590 ] simplifiying candidate # 33.209 * * * * [progress]: [ 19 / 590 ] simplifiying candidate # 33.209 * * * * [progress]: [ 20 / 590 ] simplifiying candidate # 33.209 * * * * [progress]: [ 21 / 590 ] simplifiying candidate # 33.210 * * * * [progress]: [ 22 / 590 ] simplifiying candidate # 33.210 * * * * [progress]: [ 23 / 590 ] simplifiying candidate # 33.210 * * * * [progress]: [ 24 / 590 ] simplifiying candidate # 33.210 * * * * [progress]: [ 25 / 590 ] simplifiying candidate # 33.210 * * * * [progress]: [ 26 / 590 ] simplifiying candidate # 33.210 * * * * [progress]: [ 27 / 590 ] simplifiying candidate # 33.210 * * * * [progress]: [ 28 / 590 ] simplifiying candidate # 33.210 * * * * [progress]: [ 29 / 590 ] simplifiying candidate # 33.210 * * * * [progress]: [ 30 / 590 ] simplifiying candidate # 33.210 * * * * [progress]: [ 31 / 590 ] simplifiying candidate # 33.210 * * * * [progress]: [ 32 / 590 ] simplifiying candidate # 33.210 * * * * [progress]: [ 33 / 590 ] simplifiying candidate # 33.210 * * * * [progress]: [ 34 / 590 ] simplifiying candidate # 33.210 * * * * [progress]: [ 35 / 590 ] simplifiying candidate # 33.210 * * * * [progress]: [ 36 / 590 ] simplifiying candidate # 33.210 * * * * [progress]: [ 37 / 590 ] simplifiying candidate # 33.211 * * * * [progress]: [ 38 / 590 ] simplifiying candidate # 33.211 * * * * [progress]: [ 39 / 590 ] simplifiying candidate # 33.211 * * * * [progress]: [ 40 / 590 ] simplifiying candidate # 33.211 * * * * [progress]: [ 41 / 590 ] simplifiying candidate # 33.211 * * * * [progress]: [ 42 / 590 ] simplifiying candidate # 33.211 * * * * [progress]: [ 43 / 590 ] simplifiying candidate # 33.211 * * * * [progress]: [ 44 / 590 ] simplifiying candidate # 33.211 * * * * [progress]: [ 45 / 590 ] simplifiying candidate # 33.211 * * * * [progress]: [ 46 / 590 ] simplifiying candidate #real (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))> 33.211 * * * * [progress]: [ 47 / 590 ] simplifiying candidate # 33.211 * * * * [progress]: [ 48 / 590 ] simplifiying candidate # 33.211 * * * * [progress]: [ 49 / 590 ] simplifiying candidate # 33.211 * * * * [progress]: [ 50 / 590 ] simplifiying candidate # 33.211 * * * * [progress]: [ 51 / 590 ] simplifiying candidate # 33.211 * * * * [progress]: [ 52 / 590 ] simplifiying candidate # 33.212 * * * * [progress]: [ 53 / 590 ] simplifiying candidate # 33.212 * * * * [progress]: [ 54 / 590 ] simplifiying candidate # 33.212 * * * * [progress]: [ 55 / 590 ] simplifiying candidate # 33.212 * * * * [progress]: [ 56 / 590 ] simplifiying candidate # 33.212 * * * * [progress]: [ 57 / 590 ] simplifiying candidate # 33.212 * * * * [progress]: [ 58 / 590 ] simplifiying candidate # 33.212 * * * * [progress]: [ 59 / 590 ] simplifiying candidate # 33.212 * * * * [progress]: [ 60 / 590 ] simplifiying candidate # 33.212 * * * * [progress]: [ 61 / 590 ] simplifiying candidate # 33.212 * * * * [progress]: [ 62 / 590 ] simplifiying candidate # 33.212 * * * * [progress]: [ 63 / 590 ] simplifiying candidate # 33.212 * * * * [progress]: [ 64 / 590 ] simplifiying candidate # 33.212 * * * * [progress]: [ 65 / 590 ] simplifiying candidate # 33.212 * * * * [progress]: [ 66 / 590 ] simplifiying candidate # 33.212 * * * * [progress]: [ 67 / 590 ] simplifiying candidate # 33.213 * * * * [progress]: [ 68 / 590 ] simplifiying candidate # 33.213 * * * * [progress]: [ 69 / 590 ] simplifiying candidate # 33.213 * * * * [progress]: [ 70 / 590 ] simplifiying candidate # 33.213 * * * * [progress]: [ 71 / 590 ] simplifiying candidate # 33.213 * * * * [progress]: [ 72 / 590 ] simplifiying candidate # 33.213 * * * * [progress]: [ 73 / 590 ] simplifiying candidate # 33.213 * * * * [progress]: [ 74 / 590 ] simplifiying candidate # 33.213 * * * * [progress]: [ 75 / 590 ] simplifiying candidate # 33.213 * * * * [progress]: [ 76 / 590 ] simplifiying candidate # 33.213 * * * * [progress]: [ 77 / 590 ] simplifiying candidate # 33.213 * * * * [progress]: [ 78 / 590 ] simplifiying candidate # 33.213 * * * * [progress]: [ 79 / 590 ] simplifiying candidate # 33.213 * * * * [progress]: [ 80 / 590 ] simplifiying candidate #real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))> 33.213 * * * * [progress]: [ 81 / 590 ] simplifiying candidate # 33.213 * * * * [progress]: [ 82 / 590 ] simplifiying candidate # 33.214 * * * * [progress]: [ 83 / 590 ] simplifiying candidate # 33.214 * * * * [progress]: [ 84 / 590 ] simplifiying candidate # 33.214 * * * * [progress]: [ 85 / 590 ] simplifiying candidate # 33.214 * * * * [progress]: [ 86 / 590 ] simplifiying candidate # 33.214 * * * * [progress]: [ 87 / 590 ] simplifiying candidate # 33.214 * * * * [progress]: [ 88 / 590 ] simplifiying candidate # 33.214 * * * * [progress]: [ 89 / 590 ] simplifiying candidate # 33.214 * * * * [progress]: [ 90 / 590 ] simplifiying candidate # 33.214 * * * * [progress]: [ 91 / 590 ] simplifiying candidate # 33.214 * * * * [progress]: [ 92 / 590 ] simplifiying candidate # 33.214 * * * * [progress]: [ 93 / 590 ] simplifiying candidate # 33.214 * * * * [progress]: [ 94 / 590 ] simplifiying candidate # 33.214 * * * * [progress]: [ 95 / 590 ] simplifiying candidate # 33.214 * * * * [progress]: [ 96 / 590 ] simplifiying candidate # 33.214 * * * * [progress]: [ 97 / 590 ] simplifiying candidate # 33.215 * * * * [progress]: [ 98 / 590 ] simplifiying candidate # 33.215 * * * * [progress]: [ 99 / 590 ] simplifiying candidate # 33.215 * * * * [progress]: [ 100 / 590 ] simplifiying candidate # 33.215 * * * * [progress]: [ 101 / 590 ] simplifiying candidate # 33.215 * * * * [progress]: [ 102 / 590 ] simplifiying candidate # 33.215 * * * * [progress]: [ 103 / 590 ] simplifiying candidate # 33.215 * * * * [progress]: [ 104 / 590 ] simplifiying candidate # 33.215 * * * * [progress]: [ 105 / 590 ] simplifiying candidate # 33.215 * * * * [progress]: [ 106 / 590 ] simplifiying candidate # 33.215 * * * * [progress]: [ 107 / 590 ] simplifiying candidate # 33.215 * * * * [progress]: [ 108 / 590 ] simplifiying candidate # 33.215 * * * * [progress]: [ 109 / 590 ] simplifiying candidate # 33.215 * * * * [progress]: [ 110 / 590 ] simplifiying candidate # 33.215 * * * * [progress]: [ 111 / 590 ] simplifiying candidate # 33.216 * * * * [progress]: [ 112 / 590 ] simplifiying candidate # 33.216 * * * * [progress]: [ 113 / 590 ] simplifiying candidate # 33.216 * * * * [progress]: [ 114 / 590 ] simplifiying candidate # 33.216 * * * * [progress]: [ 115 / 590 ] simplifiying candidate # 33.216 * * * * [progress]: [ 116 / 590 ] simplifiying candidate # 33.216 * * * * [progress]: [ 117 / 590 ] simplifiying candidate # 33.216 * * * * [progress]: [ 118 / 590 ] simplifiying candidate # 33.216 * * * * [progress]: [ 119 / 590 ] simplifiying candidate # 33.216 * * * * [progress]: [ 120 / 590 ] simplifiying candidate # 33.216 * * * * [progress]: [ 121 / 590 ] simplifiying candidate # 33.216 * * * * [progress]: [ 122 / 590 ] simplifiying candidate # 33.216 * * * * [progress]: [ 123 / 590 ] simplifiying candidate # 33.216 * * * * [progress]: [ 124 / 590 ] simplifiying candidate # 33.216 * * * * [progress]: [ 125 / 590 ] simplifiying candidate # 33.216 * * * * [progress]: [ 126 / 590 ] simplifiying candidate # 33.217 * * * * [progress]: [ 127 / 590 ] simplifiying candidate # 33.217 * * * * [progress]: [ 128 / 590 ] simplifiying candidate # 33.217 * * * * [progress]: [ 129 / 590 ] simplifiying candidate # 33.217 * * * * [progress]: [ 130 / 590 ] simplifiying candidate # 33.217 * * * * [progress]: [ 131 / 590 ] simplifiying candidate # 33.217 * * * * [progress]: [ 132 / 590 ] simplifiying candidate # 33.217 * * * * [progress]: [ 133 / 590 ] simplifiying candidate # 33.217 * * * * [progress]: [ 134 / 590 ] simplifiying candidate # 33.217 * * * * [progress]: [ 135 / 590 ] simplifiying candidate # 33.217 * * * * [progress]: [ 136 / 590 ] simplifiying candidate # 33.217 * * * * [progress]: [ 137 / 590 ] simplifiying candidate # 33.217 * * * * [progress]: [ 138 / 590 ] simplifiying candidate # 33.217 * * * * [progress]: [ 139 / 590 ] simplifiying candidate # 33.217 * * * * [progress]: [ 140 / 590 ] simplifiying candidate # 33.218 * * * * [progress]: [ 141 / 590 ] simplifiying candidate # 33.218 * * * * [progress]: [ 142 / 590 ] simplifiying candidate # 33.218 * * * * [progress]: [ 143 / 590 ] simplifiying candidate # 33.218 * * * * [progress]: [ 144 / 590 ] simplifiying candidate # 33.218 * * * * [progress]: [ 145 / 590 ] simplifiying candidate # 33.218 * * * * [progress]: [ 146 / 590 ] simplifiying candidate # 33.218 * * * * [progress]: [ 147 / 590 ] simplifiying candidate # 33.218 * * * * [progress]: [ 148 / 590 ] simplifiying candidate # 33.218 * * * * [progress]: [ 149 / 590 ] simplifiying candidate # 33.218 * * * * [progress]: [ 150 / 590 ] simplifiying candidate # 33.218 * * * * [progress]: [ 151 / 590 ] simplifiying candidate # 33.218 * * * * [progress]: [ 152 / 590 ] simplifiying candidate # 33.218 * * * * [progress]: [ 153 / 590 ] simplifiying candidate # 33.218 * * * * [progress]: [ 154 / 590 ] simplifiying candidate # 33.218 * * * * [progress]: [ 155 / 590 ] simplifiying candidate # 33.219 * * * * [progress]: [ 156 / 590 ] simplifiying candidate # 33.219 * * * * [progress]: [ 157 / 590 ] simplifiying candidate # 33.219 * * * * [progress]: [ 158 / 590 ] simplifiying candidate # 33.219 * * * * [progress]: [ 159 / 590 ] simplifiying candidate # 33.219 * * * * [progress]: [ 160 / 590 ] simplifiying candidate # 33.219 * * * * [progress]: [ 161 / 590 ] simplifiying candidate # 33.219 * * * * [progress]: [ 162 / 590 ] simplifiying candidate # 33.219 * * * * [progress]: [ 163 / 590 ] simplifiying candidate # 33.219 * * * * [progress]: [ 164 / 590 ] simplifiying candidate # 33.219 * * * * [progress]: [ 165 / 590 ] simplifiying candidate # 33.219 * * * * [progress]: [ 166 / 590 ] simplifiying candidate # 33.219 * * * * [progress]: [ 167 / 590 ] simplifiying candidate # 33.219 * * * * [progress]: [ 168 / 590 ] simplifiying candidate # 33.219 * * * * [progress]: [ 169 / 590 ] simplifiying candidate # 33.219 * * * * [progress]: [ 170 / 590 ] simplifiying candidate # 33.220 * * * * [progress]: [ 171 / 590 ] simplifiying candidate # 33.220 * * * * [progress]: [ 172 / 590 ] simplifiying candidate # 33.220 * * * * [progress]: [ 173 / 590 ] simplifiying candidate # 33.220 * * * * [progress]: [ 174 / 590 ] simplifiying candidate # 33.220 * * * * [progress]: [ 175 / 590 ] simplifiying candidate # 33.220 * * * * [progress]: [ 176 / 590 ] simplifiying candidate # 33.220 * * * * [progress]: [ 177 / 590 ] simplifiying candidate # 33.220 * * * * [progress]: [ 178 / 590 ] simplifiying candidate # 33.220 * * * * [progress]: [ 179 / 590 ] simplifiying candidate # 33.220 * * * * [progress]: [ 180 / 590 ] simplifiying candidate # 33.220 * * * * [progress]: [ 181 / 590 ] simplifiying candidate # 33.220 * * * * [progress]: [ 182 / 590 ] simplifiying candidate # 33.220 * * * * [progress]: [ 183 / 590 ] simplifiying candidate # 33.220 * * * * [progress]: [ 184 / 590 ] simplifiying candidate # 33.220 * * * * [progress]: [ 185 / 590 ] simplifiying candidate # 33.221 * * * * [progress]: [ 186 / 590 ] simplifiying candidate # 33.221 * * * * [progress]: [ 187 / 590 ] simplifiying candidate # 33.221 * * * * [progress]: [ 188 / 590 ] simplifiying candidate # 33.221 * * * * [progress]: [ 189 / 590 ] simplifiying candidate # 33.221 * * * * [progress]: [ 190 / 590 ] simplifiying candidate # 33.221 * * * * [progress]: [ 191 / 590 ] simplifiying candidate # 33.221 * * * * [progress]: [ 192 / 590 ] simplifiying candidate # 33.221 * * * * [progress]: [ 193 / 590 ] simplifiying candidate # 33.221 * * * * [progress]: [ 194 / 590 ] simplifiying candidate # 33.221 * * * * [progress]: [ 195 / 590 ] simplifiying candidate # 33.221 * * * * [progress]: [ 196 / 590 ] simplifiying candidate # 33.221 * * * * [progress]: [ 197 / 590 ] simplifiying candidate # 33.221 * * * * [progress]: [ 198 / 590 ] simplifiying candidate # 33.222 * * * * [progress]: [ 199 / 590 ] simplifiying candidate # 33.222 * * * * [progress]: [ 200 / 590 ] simplifiying candidate # 33.222 * * * * [progress]: [ 201 / 590 ] simplifiying candidate # 33.222 * * * * [progress]: [ 202 / 590 ] simplifiying candidate # 33.222 * * * * [progress]: [ 203 / 590 ] simplifiying candidate #real (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))> 33.222 * * * * [progress]: [ 204 / 590 ] simplifiying candidate # 33.222 * * * * [progress]: [ 205 / 590 ] simplifiying candidate # 33.222 * * * * [progress]: [ 206 / 590 ] simplifiying candidate # 33.222 * * * * [progress]: [ 207 / 590 ] simplifiying candidate # 33.222 * * * * [progress]: [ 208 / 590 ] simplifiying candidate # 33.222 * * * * [progress]: [ 209 / 590 ] simplifiying candidate # 33.222 * * * * [progress]: [ 210 / 590 ] simplifiying candidate # 33.222 * * * * [progress]: [ 211 / 590 ] simplifiying candidate # 33.222 * * * * [progress]: [ 212 / 590 ] simplifiying candidate # 33.223 * * * * [progress]: [ 213 / 590 ] simplifiying candidate # 33.223 * * * * [progress]: [ 214 / 590 ] simplifiying candidate # 33.223 * * * * [progress]: [ 215 / 590 ] simplifiying candidate # 33.223 * * * * [progress]: [ 216 / 590 ] simplifiying candidate # 33.223 * * * * [progress]: [ 217 / 590 ] simplifiying candidate # 33.223 * * * * [progress]: [ 218 / 590 ] simplifiying candidate # 33.223 * * * * [progress]: [ 219 / 590 ] simplifiying candidate # 33.223 * * * * [progress]: [ 220 / 590 ] simplifiying candidate # 33.223 * * * * [progress]: [ 221 / 590 ] simplifiying candidate # 33.223 * * * * [progress]: [ 222 / 590 ] simplifiying candidate # 33.223 * * * * [progress]: [ 223 / 590 ] simplifiying candidate # 33.223 * * * * [progress]: [ 224 / 590 ] simplifiying candidate # 33.223 * * * * [progress]: [ 225 / 590 ] simplifiying candidate # 33.223 * * * * [progress]: [ 226 / 590 ] simplifiying candidate # 33.223 * * * * [progress]: [ 227 / 590 ] simplifiying candidate # 33.224 * * * * [progress]: [ 228 / 590 ] simplifiying candidate # 33.224 * * * * [progress]: [ 229 / 590 ] simplifiying candidate # 33.224 * * * * [progress]: [ 230 / 590 ] simplifiying candidate # 33.224 * * * * [progress]: [ 231 / 590 ] simplifiying candidate # 33.224 * * * * [progress]: [ 232 / 590 ] simplifiying candidate # 33.224 * * * * [progress]: [ 233 / 590 ] simplifiying candidate # 33.224 * * * * [progress]: [ 234 / 590 ] simplifiying candidate # 33.224 * * * * [progress]: [ 235 / 590 ] simplifiying candidate # 33.224 * * * * [progress]: [ 236 / 590 ] simplifiying candidate # 33.224 * * * * [progress]: [ 237 / 590 ] simplifiying candidate # 33.224 * * * * [progress]: [ 238 / 590 ] simplifiying candidate # 33.224 * * * * [progress]: [ 239 / 590 ] simplifiying candidate # 33.224 * * * * [progress]: [ 240 / 590 ] simplifiying candidate # 33.224 * * * * [progress]: [ 241 / 590 ] simplifiying candidate # 33.225 * * * * [progress]: [ 242 / 590 ] simplifiying candidate # 33.225 * * * * [progress]: [ 243 / 590 ] simplifiying candidate # 33.225 * * * * [progress]: [ 244 / 590 ] simplifiying candidate # 33.225 * * * * [progress]: [ 245 / 590 ] simplifiying candidate # 33.225 * * * * [progress]: [ 246 / 590 ] simplifiying candidate # 33.225 * * * * [progress]: [ 247 / 590 ] simplifiying candidate # 33.225 * * * * [progress]: [ 248 / 590 ] simplifiying candidate # 33.225 * * * * [progress]: [ 249 / 590 ] simplifiying candidate # 33.225 * * * * [progress]: [ 250 / 590 ] simplifiying candidate # 33.225 * * * * [progress]: [ 251 / 590 ] simplifiying candidate # 33.225 * * * * [progress]: [ 252 / 590 ] simplifiying candidate # 33.225 * * * * [progress]: [ 253 / 590 ] simplifiying candidate # 33.225 * * * * [progress]: [ 254 / 590 ] simplifiying candidate # 33.225 * * * * [progress]: [ 255 / 590 ] simplifiying candidate # 33.226 * * * * [progress]: [ 256 / 590 ] simplifiying candidate # 33.226 * * * * [progress]: [ 257 / 590 ] simplifiying candidate # 33.226 * * * * [progress]: [ 258 / 590 ] simplifiying candidate # 33.226 * * * * [progress]: [ 259 / 590 ] simplifiying candidate # 33.226 * * * * [progress]: [ 260 / 590 ] simplifiying candidate # 33.226 * * * * [progress]: [ 261 / 590 ] simplifiying candidate # 33.226 * * * * [progress]: [ 262 / 590 ] simplifiying candidate # 33.226 * * * * [progress]: [ 263 / 590 ] simplifiying candidate # 33.226 * * * * [progress]: [ 264 / 590 ] simplifiying candidate # 33.226 * * * * [progress]: [ 265 / 590 ] simplifiying candidate # 33.226 * * * * [progress]: [ 266 / 590 ] simplifiying candidate # 33.226 * * * * [progress]: [ 267 / 590 ] simplifiying candidate # 33.226 * * * * [progress]: [ 268 / 590 ] simplifiying candidate # 33.226 * * * * [progress]: [ 269 / 590 ] simplifiying candidate # 33.227 * * * * [progress]: [ 270 / 590 ] simplifiying candidate # 33.227 * * * * [progress]: [ 271 / 590 ] simplifiying candidate # 33.227 * * * * [progress]: [ 272 / 590 ] simplifiying candidate # 33.227 * * * * [progress]: [ 273 / 590 ] simplifiying candidate # 33.227 * * * * [progress]: [ 274 / 590 ] simplifiying candidate # 33.227 * * * * [progress]: [ 275 / 590 ] simplifiying candidate # 33.227 * * * * [progress]: [ 276 / 590 ] simplifiying candidate # 33.227 * * * * [progress]: [ 277 / 590 ] simplifiying candidate # 33.227 * * * * [progress]: [ 278 / 590 ] simplifiying candidate # 33.227 * * * * [progress]: [ 279 / 590 ] simplifiying candidate # 33.227 * * * * [progress]: [ 280 / 590 ] simplifiying candidate # 33.227 * * * * [progress]: [ 281 / 590 ] simplifiying candidate # 33.227 * * * * [progress]: [ 282 / 590 ] simplifiying candidate # 33.227 * * * * [progress]: [ 283 / 590 ] simplifiying candidate # 33.228 * * * * [progress]: [ 284 / 590 ] simplifiying candidate # 33.228 * * * * [progress]: [ 285 / 590 ] simplifiying candidate # 33.228 * * * * [progress]: [ 286 / 590 ] simplifiying candidate # 33.228 * * * * [progress]: [ 287 / 590 ] simplifiying candidate # 33.228 * * * * [progress]: [ 288 / 590 ] simplifiying candidate # 33.228 * * * * [progress]: [ 289 / 590 ] simplifiying candidate # 33.228 * * * * [progress]: [ 290 / 590 ] simplifiying candidate # 33.228 * * * * [progress]: [ 291 / 590 ] simplifiying candidate # 33.228 * * * * [progress]: [ 292 / 590 ] simplifiying candidate # 33.228 * * * * [progress]: [ 293 / 590 ] simplifiying candidate # 33.228 * * * * [progress]: [ 294 / 590 ] simplifiying candidate # 33.228 * * * * [progress]: [ 295 / 590 ] simplifiying candidate # 33.228 * * * * [progress]: [ 296 / 590 ] simplifiying candidate # 33.228 * * * * [progress]: [ 297 / 590 ] simplifiying candidate # 33.229 * * * * [progress]: [ 298 / 590 ] simplifiying candidate # 33.229 * * * * [progress]: [ 299 / 590 ] simplifiying candidate # 33.229 * * * * [progress]: [ 300 / 590 ] simplifiying candidate # 33.229 * * * * [progress]: [ 301 / 590 ] simplifiying candidate # 33.229 * * * * [progress]: [ 302 / 590 ] simplifiying candidate # 33.229 * * * * [progress]: [ 303 / 590 ] simplifiying candidate # 33.229 * * * * [progress]: [ 304 / 590 ] simplifiying candidate # 33.229 * * * * [progress]: [ 305 / 590 ] simplifiying candidate # 33.229 * * * * [progress]: [ 306 / 590 ] simplifiying candidate # 33.229 * * * * [progress]: [ 307 / 590 ] simplifiying candidate # 33.229 * * * * [progress]: [ 308 / 590 ] simplifiying candidate # 33.229 * * * * [progress]: [ 309 / 590 ] simplifiying candidate # 33.229 * * * * [progress]: [ 310 / 590 ] simplifiying candidate # 33.229 * * * * [progress]: [ 311 / 590 ] simplifiying candidate # 33.230 * * * * [progress]: [ 312 / 590 ] simplifiying candidate # 33.230 * * * * [progress]: [ 313 / 590 ] simplifiying candidate # 33.230 * * * * [progress]: [ 314 / 590 ] simplifiying candidate # 33.230 * * * * [progress]: [ 315 / 590 ] simplifiying candidate # 33.230 * * * * [progress]: [ 316 / 590 ] simplifiying candidate # 33.230 * * * * [progress]: [ 317 / 590 ] simplifiying candidate # 33.230 * * * * [progress]: [ 318 / 590 ] simplifiying candidate # 33.230 * * * * [progress]: [ 319 / 590 ] simplifiying candidate # 33.230 * * * * [progress]: [ 320 / 590 ] simplifiying candidate # 33.230 * * * * [progress]: [ 321 / 590 ] simplifiying candidate # 33.230 * * * * [progress]: [ 322 / 590 ] simplifiying candidate # 33.230 * * * * [progress]: [ 323 / 590 ] simplifiying candidate # 33.230 * * * * [progress]: [ 324 / 590 ] simplifiying candidate # 33.230 * * * * [progress]: [ 325 / 590 ] simplifiying candidate # 33.231 * * * * [progress]: [ 326 / 590 ] simplifiying candidate # 33.231 * * * * [progress]: [ 327 / 590 ] simplifiying candidate # 33.231 * * * * [progress]: [ 328 / 590 ] simplifiying candidate # 33.231 * * * * [progress]: [ 329 / 590 ] simplifiying candidate # 33.231 * * * * [progress]: [ 330 / 590 ] simplifiying candidate # 33.231 * * * * [progress]: [ 331 / 590 ] simplifiying candidate # 33.231 * * * * [progress]: [ 332 / 590 ] simplifiying candidate # 33.231 * * * * [progress]: [ 333 / 590 ] simplifiying candidate # 33.231 * * * * [progress]: [ 334 / 590 ] simplifiying candidate # 33.231 * * * * [progress]: [ 335 / 590 ] simplifiying candidate # 33.231 * * * * [progress]: [ 336 / 590 ] simplifiying candidate # 33.231 * * * * [progress]: [ 337 / 590 ] simplifiying candidate # 33.231 * * * * [progress]: [ 338 / 590 ] simplifiying candidate # 33.231 * * * * [progress]: [ 339 / 590 ] simplifiying candidate # 33.232 * * * * [progress]: [ 340 / 590 ] simplifiying candidate # 33.232 * * * * [progress]: [ 341 / 590 ] simplifiying candidate # 33.232 * * * * [progress]: [ 342 / 590 ] simplifiying candidate # 33.232 * * * * [progress]: [ 343 / 590 ] simplifiying candidate # 33.232 * * * * [progress]: [ 344 / 590 ] simplifiying candidate # 33.232 * * * * [progress]: [ 345 / 590 ] simplifiying candidate # 33.232 * * * * [progress]: [ 346 / 590 ] simplifiying candidate # 33.232 * * * * [progress]: [ 347 / 590 ] simplifiying candidate # 33.232 * * * * [progress]: [ 348 / 590 ] simplifiying candidate # 33.232 * * * * [progress]: [ 349 / 590 ] simplifiying candidate # 33.232 * * * * [progress]: [ 350 / 590 ] simplifiying candidate # 33.232 * * * * [progress]: [ 351 / 590 ] simplifiying candidate # 33.232 * * * * [progress]: [ 352 / 590 ] simplifiying candidate # 33.232 * * * * [progress]: [ 353 / 590 ] simplifiying candidate # 33.233 * * * * [progress]: [ 354 / 590 ] simplifiying candidate # 33.233 * * * * [progress]: [ 355 / 590 ] simplifiying candidate # 33.233 * * * * [progress]: [ 356 / 590 ] simplifiying candidate # 33.233 * * * * [progress]: [ 357 / 590 ] simplifiying candidate # 33.233 * * * * [progress]: [ 358 / 590 ] simplifiying candidate # 33.233 * * * * [progress]: [ 359 / 590 ] simplifiying candidate # 33.233 * * * * [progress]: [ 360 / 590 ] simplifiying candidate # 33.233 * * * * [progress]: [ 361 / 590 ] simplifiying candidate # 33.233 * * * * [progress]: [ 362 / 590 ] simplifiying candidate # 33.233 * * * * [progress]: [ 363 / 590 ] simplifiying candidate # 33.233 * * * * [progress]: [ 364 / 590 ] simplifiying candidate # 33.233 * * * * [progress]: [ 365 / 590 ] simplifiying candidate # 33.233 * * * * [progress]: [ 366 / 590 ] simplifiying candidate # 33.233 * * * * [progress]: [ 367 / 590 ] simplifiying candidate # 33.234 * * * * [progress]: [ 368 / 590 ] simplifiying candidate # 33.234 * * * * [progress]: [ 369 / 590 ] simplifiying candidate # 33.234 * * * * [progress]: [ 370 / 590 ] simplifiying candidate # 33.234 * * * * [progress]: [ 371 / 590 ] simplifiying candidate # 33.234 * * * * [progress]: [ 372 / 590 ] simplifiying candidate # 33.234 * * * * [progress]: [ 373 / 590 ] simplifiying candidate # 33.234 * * * * [progress]: [ 374 / 590 ] simplifiying candidate # 33.234 * * * * [progress]: [ 375 / 590 ] simplifiying candidate # 33.234 * * * * [progress]: [ 376 / 590 ] simplifiying candidate # 33.234 * * * * [progress]: [ 377 / 590 ] simplifiying candidate # 33.234 * * * * [progress]: [ 378 / 590 ] simplifiying candidate # 33.234 * * * * [progress]: [ 379 / 590 ] simplifiying candidate # 33.234 * * * * [progress]: [ 380 / 590 ] simplifiying candidate # 33.234 * * * * [progress]: [ 381 / 590 ] simplifiying candidate # 33.235 * * * * [progress]: [ 382 / 590 ] simplifiying candidate # 33.235 * * * * [progress]: [ 383 / 590 ] simplifiying candidate # 33.235 * * * * [progress]: [ 384 / 590 ] simplifiying candidate # 33.235 * * * * [progress]: [ 385 / 590 ] simplifiying candidate # 33.235 * * * * [progress]: [ 386 / 590 ] simplifiying candidate # 33.235 * * * * [progress]: [ 387 / 590 ] simplifiying candidate # 33.235 * * * * [progress]: [ 388 / 590 ] simplifiying candidate # 33.235 * * * * [progress]: [ 389 / 590 ] simplifiying candidate # 33.235 * * * * [progress]: [ 390 / 590 ] simplifiying candidate # 33.235 * * * * [progress]: [ 391 / 590 ] simplifiying candidate # 33.235 * * * * [progress]: [ 392 / 590 ] simplifiying candidate # 33.235 * * * * [progress]: [ 393 / 590 ] simplifiying candidate # 33.235 * * * * [progress]: [ 394 / 590 ] simplifiying candidate # 33.235 * * * * [progress]: [ 395 / 590 ] simplifiying candidate # 33.236 * * * * [progress]: [ 396 / 590 ] simplifiying candidate # 33.236 * * * * [progress]: [ 397 / 590 ] simplifiying candidate # 33.236 * * * * [progress]: [ 398 / 590 ] simplifiying candidate # 33.236 * * * * [progress]: [ 399 / 590 ] simplifiying candidate # 33.236 * * * * [progress]: [ 400 / 590 ] simplifiying candidate # 33.236 * * * * [progress]: [ 401 / 590 ] simplifiying candidate # 33.236 * * * * [progress]: [ 402 / 590 ] simplifiying candidate # 33.236 * * * * [progress]: [ 403 / 590 ] simplifiying candidate # 33.236 * * * * [progress]: [ 404 / 590 ] simplifiying candidate # 33.236 * * * * [progress]: [ 405 / 590 ] simplifiying candidate # 33.236 * * * * [progress]: [ 406 / 590 ] simplifiying candidate # 33.236 * * * * [progress]: [ 407 / 590 ] simplifiying candidate # 33.236 * * * * [progress]: [ 408 / 590 ] simplifiying candidate # 33.236 * * * * [progress]: [ 409 / 590 ] simplifiying candidate # 33.237 * * * * [progress]: [ 410 / 590 ] simplifiying candidate # 33.237 * * * * [progress]: [ 411 / 590 ] simplifiying candidate # 33.237 * * * * [progress]: [ 412 / 590 ] simplifiying candidate # 33.237 * * * * [progress]: [ 413 / 590 ] simplifiying candidate # 33.237 * * * * [progress]: [ 414 / 590 ] simplifiying candidate # 33.237 * * * * [progress]: [ 415 / 590 ] simplifiying candidate # 33.237 * * * * [progress]: [ 416 / 590 ] simplifiying candidate # 33.237 * * * * [progress]: [ 417 / 590 ] simplifiying candidate # 33.237 * * * * [progress]: [ 418 / 590 ] simplifiying candidate # 33.237 * * * * [progress]: [ 419 / 590 ] simplifiying candidate # 33.237 * * * * [progress]: [ 420 / 590 ] simplifiying candidate # 33.237 * * * * [progress]: [ 421 / 590 ] simplifiying candidate # 33.237 * * * * [progress]: [ 422 / 590 ] simplifiying candidate # 33.238 * * * * [progress]: [ 423 / 590 ] simplifiying candidate # 33.238 * * * * [progress]: [ 424 / 590 ] simplifiying candidate # 33.238 * * * * [progress]: [ 425 / 590 ] simplifiying candidate # 33.238 * * * * [progress]: [ 426 / 590 ] simplifiying candidate # 33.238 * * * * [progress]: [ 427 / 590 ] simplifiying candidate # 33.238 * * * * [progress]: [ 428 / 590 ] simplifiying candidate # 33.238 * * * * [progress]: [ 429 / 590 ] simplifiying candidate # 33.238 * * * * [progress]: [ 430 / 590 ] simplifiying candidate # 33.238 * * * * [progress]: [ 431 / 590 ] simplifiying candidate # 33.238 * * * * [progress]: [ 432 / 590 ] simplifiying candidate # 33.238 * * * * [progress]: [ 433 / 590 ] simplifiying candidate # 33.238 * * * * [progress]: [ 434 / 590 ] simplifiying candidate # 33.238 * * * * [progress]: [ 435 / 590 ] simplifiying candidate # 33.238 * * * * [progress]: [ 436 / 590 ] simplifiying candidate # 33.239 * * * * [progress]: [ 437 / 590 ] simplifiying candidate # 33.239 * * * * [progress]: [ 438 / 590 ] simplifiying candidate # 33.239 * * * * [progress]: [ 439 / 590 ] simplifiying candidate # 33.239 * * * * [progress]: [ 440 / 590 ] simplifiying candidate # 33.239 * * * * [progress]: [ 441 / 590 ] simplifiying candidate # 33.239 * * * * [progress]: [ 442 / 590 ] simplifiying candidate # 33.239 * * * * [progress]: [ 443 / 590 ] simplifiying candidate # 33.239 * * * * [progress]: [ 444 / 590 ] simplifiying candidate # 33.239 * * * * [progress]: [ 445 / 590 ] simplifiying candidate # 33.239 * * * * [progress]: [ 446 / 590 ] simplifiying candidate # 33.239 * * * * [progress]: [ 447 / 590 ] simplifiying candidate # 33.239 * * * * [progress]: [ 448 / 590 ] simplifiying candidate # 33.239 * * * * [progress]: [ 449 / 590 ] simplifiying candidate # 33.239 * * * * [progress]: [ 450 / 590 ] simplifiying candidate # 33.240 * * * * [progress]: [ 451 / 590 ] simplifiying candidate # 33.240 * * * * [progress]: [ 452 / 590 ] simplifiying candidate # 33.240 * * * * [progress]: [ 453 / 590 ] simplifiying candidate # 33.240 * * * * [progress]: [ 454 / 590 ] simplifiying candidate # 33.240 * * * * [progress]: [ 455 / 590 ] simplifiying candidate # 33.240 * * * * [progress]: [ 456 / 590 ] simplifiying candidate # 33.240 * * * * [progress]: [ 457 / 590 ] simplifiying candidate # 33.240 * * * * [progress]: [ 458 / 590 ] simplifiying candidate # 33.240 * * * * [progress]: [ 459 / 590 ] simplifiying candidate # 33.240 * * * * [progress]: [ 460 / 590 ] simplifiying candidate # 33.240 * * * * [progress]: [ 461 / 590 ] simplifiying candidate # 33.240 * * * * [progress]: [ 462 / 590 ] simplifiying candidate # 33.240 * * * * [progress]: [ 463 / 590 ] simplifiying candidate # 33.240 * * * * [progress]: [ 464 / 590 ] simplifiying candidate # 33.241 * * * * [progress]: [ 465 / 590 ] simplifiying candidate # 33.241 * * * * [progress]: [ 466 / 590 ] simplifiying candidate # 33.241 * * * * [progress]: [ 467 / 590 ] simplifiying candidate # 33.241 * * * * [progress]: [ 468 / 590 ] simplifiying candidate # 33.241 * * * * [progress]: [ 469 / 590 ] simplifiying candidate # 33.241 * * * * [progress]: [ 470 / 590 ] simplifiying candidate # 33.241 * * * * [progress]: [ 471 / 590 ] simplifiying candidate # 33.241 * * * * [progress]: [ 472 / 590 ] simplifiying candidate # 33.241 * * * * [progress]: [ 473 / 590 ] simplifiying candidate # 33.241 * * * * [progress]: [ 474 / 590 ] simplifiying candidate # 33.241 * * * * [progress]: [ 475 / 590 ] simplifiying candidate # 33.241 * * * * [progress]: [ 476 / 590 ] simplifiying candidate # 33.241 * * * * [progress]: [ 477 / 590 ] simplifiying candidate # 33.241 * * * * [progress]: [ 478 / 590 ] simplifiying candidate # 33.242 * * * * [progress]: [ 479 / 590 ] simplifiying candidate # 33.242 * * * * [progress]: [ 480 / 590 ] simplifiying candidate # 33.242 * * * * [progress]: [ 481 / 590 ] simplifiying candidate # 33.242 * * * * [progress]: [ 482 / 590 ] simplifiying candidate # 33.242 * * * * [progress]: [ 483 / 590 ] simplifiying candidate # 33.242 * * * * [progress]: [ 484 / 590 ] simplifiying candidate # 33.242 * * * * [progress]: [ 485 / 590 ] simplifiying candidate # 33.242 * * * * [progress]: [ 486 / 590 ] simplifiying candidate # 33.242 * * * * [progress]: [ 487 / 590 ] simplifiying candidate # 33.242 * * * * [progress]: [ 488 / 590 ] simplifiying candidate # 33.242 * * * * [progress]: [ 489 / 590 ] simplifiying candidate # 33.242 * * * * [progress]: [ 490 / 590 ] simplifiying candidate # 33.242 * * * * [progress]: [ 491 / 590 ] simplifiying candidate # 33.242 * * * * [progress]: [ 492 / 590 ] simplifiying candidate # 33.243 * * * * [progress]: [ 493 / 590 ] simplifiying candidate # 33.243 * * * * [progress]: [ 494 / 590 ] simplifiying candidate # 33.243 * * * * [progress]: [ 495 / 590 ] simplifiying candidate # 33.243 * * * * [progress]: [ 496 / 590 ] simplifiying candidate # 33.243 * * * * [progress]: [ 497 / 590 ] simplifiying candidate # 33.243 * * * * [progress]: [ 498 / 590 ] simplifiying candidate # 33.243 * * * * [progress]: [ 499 / 590 ] simplifiying candidate # 33.243 * * * * [progress]: [ 500 / 590 ] simplifiying candidate # 33.243 * * * * [progress]: [ 501 / 590 ] simplifiying candidate # 33.243 * * * * [progress]: [ 502 / 590 ] simplifiying candidate # 33.243 * * * * [progress]: [ 503 / 590 ] simplifiying candidate # 33.243 * * * * [progress]: [ 504 / 590 ] simplifiying candidate # 33.243 * * * * [progress]: [ 505 / 590 ] simplifiying candidate # 33.243 * * * * [progress]: [ 506 / 590 ] simplifiying candidate # 33.244 * * * * [progress]: [ 507 / 590 ] simplifiying candidate # 33.244 * * * * [progress]: [ 508 / 590 ] simplifiying candidate # 33.244 * * * * [progress]: [ 509 / 590 ] simplifiying candidate # 33.244 * * * * [progress]: [ 510 / 590 ] simplifiying candidate # 33.244 * * * * [progress]: [ 511 / 590 ] simplifiying candidate # 33.244 * * * * [progress]: [ 512 / 590 ] simplifiying candidate # 33.244 * * * * [progress]: [ 513 / 590 ] simplifiying candidate # 33.244 * * * * [progress]: [ 514 / 590 ] simplifiying candidate # 33.244 * * * * [progress]: [ 515 / 590 ] simplifiying candidate # 33.244 * * * * [progress]: [ 516 / 590 ] simplifiying candidate # 33.244 * * * * [progress]: [ 517 / 590 ] simplifiying candidate # 33.244 * * * * [progress]: [ 518 / 590 ] simplifiying candidate # 33.244 * * * * [progress]: [ 519 / 590 ] simplifiying candidate # 33.244 * * * * [progress]: [ 520 / 590 ] simplifiying candidate # 33.245 * * * * [progress]: [ 521 / 590 ] simplifiying candidate # 33.245 * * * * [progress]: [ 522 / 590 ] simplifiying candidate # 33.245 * * * * [progress]: [ 523 / 590 ] simplifiying candidate # 33.245 * * * * [progress]: [ 524 / 590 ] simplifiying candidate # 33.245 * * * * [progress]: [ 525 / 590 ] simplifiying candidate # 33.245 * * * * [progress]: [ 526 / 590 ] simplifiying candidate # 33.245 * * * * [progress]: [ 527 / 590 ] simplifiying candidate # 33.245 * * * * [progress]: [ 528 / 590 ] simplifiying candidate # 33.245 * * * * [progress]: [ 529 / 590 ] simplifiying candidate # 33.245 * * * * [progress]: [ 530 / 590 ] simplifiying candidate # 33.245 * * * * [progress]: [ 531 / 590 ] simplifiying candidate # 33.245 * * * * [progress]: [ 532 / 590 ] simplifiying candidate # 33.245 * * * * [progress]: [ 533 / 590 ] simplifiying candidate # 33.245 * * * * [progress]: [ 534 / 590 ] simplifiying candidate # 33.246 * * * * [progress]: [ 535 / 590 ] simplifiying candidate # 33.246 * * * * [progress]: [ 536 / 590 ] simplifiying candidate # 33.246 * * * * [progress]: [ 537 / 590 ] simplifiying candidate # 33.246 * * * * [progress]: [ 538 / 590 ] simplifiying candidate # 33.246 * * * * [progress]: [ 539 / 590 ] simplifiying candidate # 33.246 * * * * [progress]: [ 540 / 590 ] simplifiying candidate # 33.246 * * * * [progress]: [ 541 / 590 ] simplifiying candidate # 33.246 * * * * [progress]: [ 542 / 590 ] simplifiying candidate # 33.246 * * * * [progress]: [ 543 / 590 ] simplifiying candidate # 33.246 * * * * [progress]: [ 544 / 590 ] simplifiying candidate # 33.246 * * * * [progress]: [ 545 / 590 ] simplifiying candidate # 33.246 * * * * [progress]: [ 546 / 590 ] simplifiying candidate # 33.246 * * * * [progress]: [ 547 / 590 ] simplifiying candidate # 33.247 * * * * [progress]: [ 548 / 590 ] simplifiying candidate # 33.247 * * * * [progress]: [ 549 / 590 ] simplifiying candidate # 33.247 * * * * [progress]: [ 550 / 590 ] simplifiying candidate # 33.247 * * * * [progress]: [ 551 / 590 ] simplifiying candidate # 33.247 * * * * [progress]: [ 552 / 590 ] simplifiying candidate # 33.247 * * * * [progress]: [ 553 / 590 ] simplifiying candidate # 33.247 * * * * [progress]: [ 554 / 590 ] simplifiying candidate # 33.247 * * * * [progress]: [ 555 / 590 ] simplifiying candidate # 33.247 * * * * [progress]: [ 556 / 590 ] simplifiying candidate # 33.247 * * * * [progress]: [ 557 / 590 ] simplifiying candidate # 33.247 * * * * [progress]: [ 558 / 590 ] simplifiying candidate # 33.247 * * * * [progress]: [ 559 / 590 ] simplifiying candidate # 33.248 * * * * [progress]: [ 560 / 590 ] simplifiying candidate # 33.248 * * * * [progress]: [ 561 / 590 ] simplifiying candidate # 33.248 * * * * [progress]: [ 562 / 590 ] simplifiying candidate # 33.248 * * * * [progress]: [ 563 / 590 ] simplifiying candidate # 33.248 * * * * [progress]: [ 564 / 590 ] simplifiying candidate # 33.248 * * * * [progress]: [ 565 / 590 ] simplifiying candidate # 33.248 * * * * [progress]: [ 566 / 590 ] simplifiying candidate # 33.248 * * * * [progress]: [ 567 / 590 ] simplifiying candidate # 33.248 * * * * [progress]: [ 568 / 590 ] simplifiying candidate # 33.248 * * * * [progress]: [ 569 / 590 ] simplifiying candidate # 33.248 * * * * [progress]: [ 570 / 590 ] simplifiying candidate # 33.248 * * * * [progress]: [ 571 / 590 ] simplifiying candidate # 33.248 * * * * [progress]: [ 572 / 590 ] simplifiying candidate # 33.248 * * * * [progress]: [ 573 / 590 ] simplifiying candidate # 33.249 * * * * [progress]: [ 574 / 590 ] simplifiying candidate # 33.249 * * * * [progress]: [ 575 / 590 ] simplifiying candidate # 33.249 * * * * [progress]: [ 576 / 590 ] simplifiying candidate # 33.249 * * * * [progress]: [ 577 / 590 ] simplifiying candidate #real (real->posit16 (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))))> 33.249 * * * * [progress]: [ 578 / 590 ] simplifiying candidate # 33.249 * * * * [progress]: [ 579 / 590 ] simplifiying candidate # 33.249 * * * * [progress]: [ 580 / 590 ] simplifiying candidate # 33.249 * * * * [progress]: [ 581 / 590 ] simplifiying candidate # 33.249 * * * * [progress]: [ 582 / 590 ] simplifiying candidate # 33.249 * * * * [progress]: [ 583 / 590 ] simplifiying candidate # 33.249 * * * * [progress]: [ 584 / 590 ] simplifiying candidate # 33.249 * * * * [progress]: [ 585 / 590 ] simplifiying candidate # 33.249 * * * * [progress]: [ 586 / 590 ] simplifiying candidate # 33.250 * * * * [progress]: [ 587 / 590 ] simplifiying candidate # 33.250 * * * * [progress]: [ 588 / 590 ] simplifiying candidate # 33.250 * * * * [progress]: [ 589 / 590 ] simplifiying candidate # 33.250 * * * * [progress]: [ 590 / 590 ] simplifiying candidate # 33.258 * [simplify]: Simplifying (expm1 (* (* (* d1 (* d1 d1)) d1) d1)), (log1p (* (* (* d1 (* d1 d1)) d1) d1)), (+ (+ (+ 1 (+ 1 1)) 1) 1), (+ (+ (+ 1 2) 1) 1), (+ (+ (+ 1 (+ 1 1)) 1) 1), (+ (+ (+ 1 (* 2 1)) 1) 1), (+ (+ 3 1) 1), (+ (+ (+ 1 (+ 1 1)) 1) 1), (+ (+ (+ 1 2) 1) 1), (+ (+ (+ 1 (+ 1 1)) 1) 1), (+ (+ (+ 1 (* 2 1)) 1) 1), (+ (+ 3 1) 1), (* (* (* d1 (* d1 d1)) d1) d1), (* (* (* d1 (* d1 d1)) d1) d1), (* (* (* d1 (* d1 d1)) d1) d1), (* (* (* d1 (* d1 d1)) d1) d1), (+ (+ (+ 1 (+ 1 1)) 1) 1), (+ (+ (+ 1 2) 1) 1), (+ (+ (+ 1 (+ 1 1)) 1) 1), (+ (+ (+ 1 (* 2 1)) 1) 1), (+ (+ 3 1) 1), (+ (+ (+ 1 (+ 1 1)) 1) 1), (+ (+ (+ 1 2) 1) 1), (+ (+ (+ 1 (+ 1 1)) 1) 1), (+ (+ (+ 1 (* 2 1)) 1) 1), (+ (+ 3 1) 1), (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)), (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)), (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)), (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)), (log (* (* (* d1 (* d1 d1)) d1) d1)), (exp (* (* (* d1 (* d1 d1)) d1) d1)), (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)), (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)), (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)), (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)), (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1))), (cbrt (* (* (* d1 (* d1 d1)) d1) d1)), (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)), (sqrt (* (* (* d1 (* d1 d1)) d1) d1)), (sqrt (* (* (* d1 (* d1 d1)) d1) d1)), (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1))), (* (* (* d1 (* d1 d1)) d1) (sqrt d1)), (* (* (* d1 (* d1 d1)) d1) 1), (* d1 d1), (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1)), (expm1 (* (* d1 (* d1 d1)) d1)), (log1p (* (* d1 (* d1 d1)) d1)), (+ (+ 1 (+ 1 1)) 1), (+ (+ 1 2) 1), (+ (+ 1 (+ 1 1)) 1), (+ (+ 1 (* 2 1)) 1), (+ 3 1), (* (* d1 (* d1 d1)) d1), (* (* d1 (* d1 d1)) d1), (* (* d1 (* d1 d1)) d1), (+ (+ 1 (+ 1 1)) 1), (+ (+ 1 2) 1), (+ (+ 1 (+ 1 1)) 1), (+ (+ 1 (* 2 1)) 1), (+ 3 1), (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)), (+ (+ (log d1) (log (* d1 d1))) (log d1)), (+ (log (* d1 (* d1 d1))) (log d1)), (log (* (* d1 (* d1 d1)) d1)), (exp (* (* d1 (* d1 d1)) d1)), (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)), (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)), (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1))), (cbrt (* (* d1 (* d1 d1)) d1)), (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)), (sqrt (* (* d1 (* d1 d1)) d1)), (sqrt (* (* d1 (* d1 d1)) d1)), (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))), (* (* d1 (* d1 d1)) (sqrt d1)), (* (* d1 (* d1 d1)) 1), (* (* d1 d1) d1), (real->posit16 (* (* d1 (* d1 d1)) d1)), (expm1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))), (log1p (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 2) 1) 1) 2), (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)), (+ (+ (+ 3 1) 1) (+ 1 1)), (+ (+ (+ 3 1) 1) 2), (+ (+ (+ 3 1) 1) (+ 1 1)), (+ (+ (+ 3 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 2) 1) 1) 2), (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)), (+ (+ (+ 3 1) 1) (+ 1 1)), (+ (+ (+ 3 1) 1) 2), (+ (+ (+ 3 1) 1) (+ 1 1)), (+ (+ (+ 3 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 2) 1) 1) 2), (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)), (+ (+ (+ 3 1) 1) (+ 1 1)), (+ (+ (+ 3 1) 1) 2), (+ (+ (+ 3 1) 1) (+ 1 1)), (+ (+ (+ 3 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 2) 1) 1) 2), (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)), (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)), (+ (+ (+ 3 1) 1) (+ 1 1)), (+ (+ (+ 3 1) 1) 2), (+ (+ (+ 3 1) 1) (+ 1 1)), (+ (+ (+ 3 1) 1) (* 2 1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)), (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))), (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))), (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))), (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))), (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))), (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))), (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))), (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))), (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))), (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))), (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))), (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))), (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))), (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))), (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))), (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))), (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))), (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))), (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))), (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))), (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))), (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))), (* (* (* (* d1 (* d1 d1)) d1) d1) d1), (* d1 (* d1 d1)), (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))), (expm1 (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)), (log1p (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1), (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1), (+ (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log d1))) (log d1)), (+ (+ (log d1) (+ (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log d1))) (log d1)), (+ (+ (log d1) (log (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (log d1)), (+ (log (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (log d1)), (log (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)), (exp (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* (* d1 d1) d1)), (* (* (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* (* d1 d1) d1)), (* (cbrt (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)) (cbrt (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))), (cbrt (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)), (* (* (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)), (sqrt (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)), (sqrt (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (cbrt d1) (cbrt d1))), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (sqrt d1)), (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1), (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) d1), (real->posit16 (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)), (pow d1 5), (pow d1 5), (pow d1 5), (pow d1 4), (pow d1 4), (pow d1 4), (pow d1 7), (pow d1 7), (pow d1 7), (pow d1 10), (pow d1 10), (pow d1 10) 33.277 * * [simplify]: iteration 1: (261 enodes) 33.585 * * [simplify]: iteration 2: (986 enodes) 34.148 * * [simplify]: iteration 3: (1951 enodes) 36.746 * * [simplify]: Extracting #0: cost 55 inf + 0 36.747 * * [simplify]: Extracting #1: cost 197 inf + 4 36.753 * * [simplify]: Extracting #2: cost 237 inf + 12748 36.782 * * [simplify]: Extracting #3: cost 89 inf + 45521 36.806 * * [simplify]: Extracting #4: cost 12 inf + 61908 36.848 * * [simplify]: Extracting #5: cost 0 inf + 66330 36.877 * * [simplify]: Extracting #6: cost 0 inf + 66290 36.924 * [simplify]: Simplified to (expm1 (* (* d1 (* d1 d1)) (* d1 d1))), (log1p (* (* d1 (* d1 d1)) (* d1 d1))), 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, (* (* d1 (* d1 d1)) (* d1 d1)), (* (* d1 (* d1 d1)) (* d1 d1)), (* (* d1 (* d1 d1)) (* d1 d1)), (* (* d1 (* d1 d1)) (* d1 d1)), 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, (+ (log d1) (* 4 (log d1))), (+ (log d1) (* 4 (log d1))), (+ (log d1) (* 4 (log d1))), (+ (log d1) (* 4 (log d1))), (+ (log d1) (* 4 (log d1))), (exp (* (* d1 (* d1 d1)) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 (* d1 d1)))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 (* d1 d1)))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 (* d1 d1)))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 (* d1 d1)))), (* (cbrt (* (* d1 (* d1 d1)) (* d1 d1))) (cbrt (* (* d1 (* d1 d1)) (* d1 d1)))), (cbrt (* (* d1 (* d1 d1)) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 (* d1 d1)))), (sqrt (* (* d1 (* d1 d1)) (* d1 d1))), (sqrt (* (* d1 (* d1 d1)) (* d1 d1))), (* (* (cbrt d1) (* d1 d1)) (* (cbrt d1) (* d1 d1))), (* (* (* d1 d1) (* d1 d1)) (sqrt d1)), (* (* d1 d1) (* d1 d1)), (* d1 d1), (real->posit16 (* (* d1 (* d1 d1)) (* d1 d1))), (expm1 (* (* d1 d1) (* d1 d1))), (log1p (* (* d1 d1) (* d1 d1))), 4, 4, 4, 4, 4, (* (* d1 d1) (* d1 d1)), (* (* d1 d1) (* d1 d1)), (* (* d1 d1) (* d1 d1)), 4, 4, 4, 4, 4, (* 4 (log d1)), (* 4 (log d1)), (* 4 (log d1)), (* 4 (log d1)), (exp (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))), (* (cbrt (* (* d1 d1) (* d1 d1))) (cbrt (* (* d1 d1) (* d1 d1)))), (cbrt (* (* d1 d1) (* d1 d1))), (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))), (fabs (* d1 d1)), (fabs (* d1 d1)), (* d1 (* (* (cbrt d1) d1) (* (cbrt d1) d1))), (* d1 (* (* d1 d1) (sqrt d1))), (* d1 (* d1 d1)), (* d1 (* d1 d1)), (real->posit16 (* (* d1 d1) (* d1 d1))), (expm1 (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), (log1p (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))), (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))), (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))), (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))), (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))), (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))), (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))), (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))), (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))), (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (+ (* (log d1) 6) (log d1)), (exp (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), (* (cbrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))))), (cbrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), (sqrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), (sqrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), (* (* (* d1 d1) (* d1 d1)) (* d1 d1)), (* d1 (* d1 d1)), (real->posit16 (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))), (expm1 (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (log1p (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))), 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, (+ (log d1) (* 3 (* (log d1) 3))), (+ (log d1) (* 3 (* (log d1) 3))), (+ (log d1) (* 3 (* (log d1) 3))), (+ (log d1) (* 3 (* (log d1) 3))), (+ (log d1) (* 3 (* (log d1) 3))), (+ (log d1) (* 3 (* (log d1) 3))), (+ (log d1) (* 3 (* (log d1) 3))), (+ (log d1) (* 3 (* (log d1) 3))), (+ (log d1) (* 3 (* (log d1) 3))), (+ (log d1) (* 3 (* (log d1) 3))), (+ (log d1) (* 3 (* (log d1) 3))), (+ (log d1) (* 3 (* (log d1) 3))), (+ (log d1) (* 3 (* (log d1) 3))), (+ (log d1) (* 3 (* (log d1) 3))), (exp (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (* (cbrt (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (cbrt (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))), (cbrt (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))), (fabs (* (* d1 (* d1 d1)) (* d1 d1))), (fabs (* (* d1 (* d1 d1)) (* d1 d1))), (* d1 (* (* (* (cbrt d1) (* d1 d1)) (* d1 d1)) (* (* (cbrt d1) (* d1 d1)) (* d1 d1)))), (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (sqrt d1) d1)), (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (real->posit16 (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))), (* (* d1 (* d1 d1)) (* d1 d1)), (* (* d1 (* d1 d1)) (* d1 d1)), (* (* d1 (* d1 d1)) (* d1 d1)), (* (* d1 d1) (* d1 d1)), (* (* d1 d1) (* d1 d1)), (* (* d1 d1) (* d1 d1)), (pow d1 7), (pow d1 7), (pow d1 7), (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))), (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) 36.966 * * * [progress]: adding candidates to table 40.568 * * [progress]: iteration 2 / 4 40.568 * * * [progress]: picking best candidate 40.572 * * * * [pick]: Picked # 40.572 * * * [progress]: localizing error 40.580 * * * [progress]: generating rewritten candidates 40.580 * * * [progress]: generating series expansions 40.580 * * * [progress]: simplifying candidates 40.580 * [simplify]: Simplifying 40.580 * * [simplify]: iteration 1: (0 enodes) 40.580 * * [simplify]: Extracting #0: cost 0 inf + 0 40.580 * [simplify]: Simplified to 40.580 * * * [progress]: adding candidates to table 40.581 * [progress]: [Phase 3 of 3] Extracting. 40.585 * [simplify]: Simplifying (pow d1 10) 40.585 * * [simplify]: iteration 1: (3 enodes) 40.585 * * [simplify]: Extracting #0: cost 1 inf + 0 40.585 * * [simplify]: Extracting #1: cost 3 inf + 0 40.585 * * [simplify]: Extracting #2: cost 1 inf + 2 40.585 * * [simplify]: Extracting #3: cost 0 inf + 214 40.585 * [simplify]: Simplified to (pow d1 10) 43.345 * [regime-testing]: Baseline error score: 0 43.347 * [regime-testing]: Oracle error score: 0 43.348 * [regime-testing]: End program error score: 0 43.411 * [regime-testing]: Target error score: 0