1553947043.771 * [progress]: [Phase 1 of 3] Setting up. 1553947043.772 * * * [progress]: [1/2] Preparing points 1553947043.792 * * * [progress]: [2/2] Setting up program. 1553947043.795 * [progress]: [Phase 2 of 3] Improving. 1553947043.795 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553947043.795 * [simplify]: Simplifying (+ (+ (* d1 10) (* d1 d2)) (* d1 20)) 1553947043.795 * * [simplify]: iters left: 6 (9 enodes) 1553947043.798 * * [simplify]: iters left: 5 (37 enodes) 1553947043.812 * * [simplify]: iters left: 4 (66 enodes) 1553947043.827 * * [simplify]: iters left: 3 (103 enodes) 1553947043.855 * * [simplify]: iters left: 2 (118 enodes) 1553947043.883 * * [simplify]: iters left: 1 (132 enodes) 1553947043.910 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947043.910 * * [simplify]: Extracting #1: cost 17 inf + 0 1553947043.910 * * [simplify]: Extracting #2: cost 22 inf + 5 1553947043.911 * * [simplify]: Extracting #3: cost 3 inf + 1008 1553947043.912 * * [simplify]: Extracting #4: cost 0 inf + 1175 1553947043.913 * [simplify]: Simplified to (* (+ 30 d2) d1) 1553947043.913 * [simplify]: Simplified (2) to (λ (d1 d2) (* (+ 30 d2) d1)) 1553947043.922 * * [progress]: iteration 1 / 4 1553947043.922 * * * [progress]: picking best candidate 1553947043.929 * * * * [pick]: Picked # 1553947043.929 * * * [progress]: localizing error 1553947043.943 * * * [progress]: generating rewritten candidates 1553947043.943 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553947043.946 * * * [progress]: generating series expansions 1553947043.946 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553947043.946 * [backup-simplify]: Simplify (* (+ 30 d2) d1) into (* d1 (+ d2 30)) 1553947043.946 * [approximate]: Taking taylor expansion of (* d1 (+ d2 30)) in (d2 d1) around 0 1553947043.946 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30)) in d1 1553947043.946 * [taylor]: Taking taylor expansion of d1 in d1 1553947043.946 * [backup-simplify]: Simplify 0 into 0 1553947043.946 * [backup-simplify]: Simplify 1 into 1 1553947043.946 * [taylor]: Taking taylor expansion of (+ d2 30) in d1 1553947043.946 * [taylor]: Taking taylor expansion of d2 in d1 1553947043.946 * [backup-simplify]: Simplify d2 into d2 1553947043.946 * [taylor]: Taking taylor expansion of 30 in d1 1553947043.946 * [backup-simplify]: Simplify 30 into 30 1553947043.946 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30)) in d2 1553947043.946 * [taylor]: Taking taylor expansion of d1 in d2 1553947043.946 * [backup-simplify]: Simplify d1 into d1 1553947043.946 * [taylor]: Taking taylor expansion of (+ d2 30) in d2 1553947043.946 * [taylor]: Taking taylor expansion of d2 in d2 1553947043.946 * [backup-simplify]: Simplify 0 into 0 1553947043.946 * [backup-simplify]: Simplify 1 into 1 1553947043.946 * [taylor]: Taking taylor expansion of 30 in d2 1553947043.946 * [backup-simplify]: Simplify 30 into 30 1553947043.946 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30)) in d2 1553947043.946 * [taylor]: Taking taylor expansion of d1 in d2 1553947043.946 * [backup-simplify]: Simplify d1 into d1 1553947043.946 * [taylor]: Taking taylor expansion of (+ d2 30) in d2 1553947043.946 * [taylor]: Taking taylor expansion of d2 in d2 1553947043.946 * [backup-simplify]: Simplify 0 into 0 1553947043.946 * [backup-simplify]: Simplify 1 into 1 1553947043.946 * [taylor]: Taking taylor expansion of 30 in d2 1553947043.946 * [backup-simplify]: Simplify 30 into 30 1553947043.947 * [backup-simplify]: Simplify (+ 0 30) into 30 1553947043.947 * [backup-simplify]: Simplify (* d1 30) into (* 30 d1) 1553947043.947 * [taylor]: Taking taylor expansion of (* 30 d1) in d1 1553947043.947 * [taylor]: Taking taylor expansion of 30 in d1 1553947043.947 * [backup-simplify]: Simplify 30 into 30 1553947043.947 * [taylor]: Taking taylor expansion of d1 in d1 1553947043.947 * [backup-simplify]: Simplify 0 into 0 1553947043.947 * [backup-simplify]: Simplify 1 into 1 1553947043.947 * [backup-simplify]: Simplify (* 30 0) into 0 1553947043.947 * [backup-simplify]: Simplify 0 into 0 1553947043.948 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947043.948 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 30)) into d1 1553947043.948 * [taylor]: Taking taylor expansion of d1 in d1 1553947043.948 * [backup-simplify]: Simplify 0 into 0 1553947043.948 * [backup-simplify]: Simplify 1 into 1 1553947043.948 * [backup-simplify]: Simplify 0 into 0 1553947043.949 * [backup-simplify]: Simplify (+ (* 30 1) (* 0 0)) into 30 1553947043.949 * [backup-simplify]: Simplify 30 into 30 1553947043.949 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947043.949 * [backup-simplify]: Simplify (+ (* d1 0) (+ (* 0 1) (* 0 30))) into 0 1553947043.949 * [taylor]: Taking taylor expansion of 0 in d1 1553947043.949 * [backup-simplify]: Simplify 0 into 0 1553947043.949 * [backup-simplify]: Simplify 0 into 0 1553947043.949 * [backup-simplify]: Simplify 1 into 1 1553947043.950 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 1) (* 0 0))) into 0 1553947043.950 * [backup-simplify]: Simplify 0 into 0 1553947043.950 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947043.951 * [backup-simplify]: Simplify (+ (* d1 0) (+ (* 0 0) (+ (* 0 1) (* 0 30)))) into 0 1553947043.951 * [taylor]: Taking taylor expansion of 0 in d1 1553947043.951 * [backup-simplify]: Simplify 0 into 0 1553947043.951 * [backup-simplify]: Simplify 0 into 0 1553947043.951 * [backup-simplify]: Simplify 0 into 0 1553947043.951 * [backup-simplify]: Simplify 0 into 0 1553947043.952 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1553947043.952 * [backup-simplify]: Simplify 0 into 0 1553947043.952 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947043.952 * [backup-simplify]: Simplify (+ (* d1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 30))))) into 0 1553947043.952 * [taylor]: Taking taylor expansion of 0 in d1 1553947043.952 * [backup-simplify]: Simplify 0 into 0 1553947043.952 * [backup-simplify]: Simplify 0 into 0 1553947043.953 * [backup-simplify]: Simplify (+ (* 1 (* d1 d2)) (* 30 (* d1 1))) into (+ (* d2 d1) (* 30 d1)) 1553947043.953 * [backup-simplify]: Simplify (* (+ 30 (/ 1 d2)) (/ 1 d1)) into (/ (+ (/ 1 d2) 30) d1) 1553947043.953 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) 30) d1) in (d2 d1) around 0 1553947043.953 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30) d1) in d1 1553947043.953 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30) in d1 1553947043.953 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 1553947043.953 * [taylor]: Taking taylor expansion of d2 in d1 1553947043.953 * [backup-simplify]: Simplify d2 into d2 1553947043.953 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1553947043.953 * [taylor]: Taking taylor expansion of 30 in d1 1553947043.953 * [backup-simplify]: Simplify 30 into 30 1553947043.953 * [taylor]: Taking taylor expansion of d1 in d1 1553947043.953 * [backup-simplify]: Simplify 0 into 0 1553947043.953 * [backup-simplify]: Simplify 1 into 1 1553947043.953 * [backup-simplify]: Simplify (+ (/ 1 d2) 30) into (+ (/ 1 d2) 30) 1553947043.953 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) 30) 1) into (+ (/ 1 d2) 30) 1553947043.953 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30) d1) in d2 1553947043.953 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30) in d2 1553947043.953 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947043.953 * [taylor]: Taking taylor expansion of d2 in d2 1553947043.953 * [backup-simplify]: Simplify 0 into 0 1553947043.953 * [backup-simplify]: Simplify 1 into 1 1553947043.953 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947043.953 * [taylor]: Taking taylor expansion of 30 in d2 1553947043.953 * [backup-simplify]: Simplify 30 into 30 1553947043.953 * [taylor]: Taking taylor expansion of d1 in d2 1553947043.953 * [backup-simplify]: Simplify d1 into d1 1553947043.954 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947043.954 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1553947043.954 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30) d1) in d2 1553947043.954 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30) in d2 1553947043.954 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947043.954 * [taylor]: Taking taylor expansion of d2 in d2 1553947043.954 * [backup-simplify]: Simplify 0 into 0 1553947043.954 * [backup-simplify]: Simplify 1 into 1 1553947043.954 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947043.954 * [taylor]: Taking taylor expansion of 30 in d2 1553947043.954 * [backup-simplify]: Simplify 30 into 30 1553947043.954 * [taylor]: Taking taylor expansion of d1 in d2 1553947043.954 * [backup-simplify]: Simplify d1 into d1 1553947043.954 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947043.954 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1553947043.955 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1553947043.955 * [taylor]: Taking taylor expansion of d1 in d1 1553947043.955 * [backup-simplify]: Simplify 0 into 0 1553947043.955 * [backup-simplify]: Simplify 1 into 1 1553947043.955 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947043.955 * [backup-simplify]: Simplify 1 into 1 1553947043.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947043.956 * [backup-simplify]: Simplify (+ 0 30) into 30 1553947043.956 * [backup-simplify]: Simplify (- (/ 30 d1) (+ (* (/ 1 d1) (/ 0 d1)))) into (* 30 (/ 1 d1)) 1553947043.956 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d1)) in d1 1553947043.956 * [taylor]: Taking taylor expansion of 30 in d1 1553947043.956 * [backup-simplify]: Simplify 30 into 30 1553947043.956 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1553947043.956 * [taylor]: Taking taylor expansion of d1 in d1 1553947043.956 * [backup-simplify]: Simplify 0 into 0 1553947043.956 * [backup-simplify]: Simplify 1 into 1 1553947043.956 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947043.956 * [backup-simplify]: Simplify (* 30 1) into 30 1553947043.956 * [backup-simplify]: Simplify 30 into 30 1553947043.957 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947043.957 * [backup-simplify]: Simplify 0 into 0 1553947043.957 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947043.957 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947043.958 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ 0 d1)) (* (* 30 (/ 1 d1)) (/ 0 d1)))) into 0 1553947043.958 * [taylor]: Taking taylor expansion of 0 in d1 1553947043.958 * [backup-simplify]: Simplify 0 into 0 1553947043.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947043.958 * [backup-simplify]: Simplify (+ (* 30 0) (* 0 1)) into 0 1553947043.958 * [backup-simplify]: Simplify 0 into 0 1553947043.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947043.959 * [backup-simplify]: Simplify 0 into 0 1553947043.960 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947043.960 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947043.960 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ 0 d1)) (* (* 30 (/ 1 d1)) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0 1553947043.960 * [taylor]: Taking taylor expansion of 0 in d1 1553947043.960 * [backup-simplify]: Simplify 0 into 0 1553947043.960 * [backup-simplify]: Simplify 0 into 0 1553947043.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947043.961 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (* 0 1))) into 0 1553947043.961 * [backup-simplify]: Simplify 0 into 0 1553947043.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947043.962 * [backup-simplify]: Simplify 0 into 0 1553947043.962 * [backup-simplify]: Simplify (+ (* 30 (* (/ 1 (/ 1 d1)) 1)) (* 1 (* (/ 1 (/ 1 d1)) (/ 1 (/ 1 d2))))) into (+ (* d2 d1) (* 30 d1)) 1553947043.962 * [backup-simplify]: Simplify (* (+ 30 (/ 1 (- d2))) (/ 1 (- d1))) into (* -1 (/ (- 30 (/ 1 d2)) d1)) 1553947043.962 * [approximate]: Taking taylor expansion of (* -1 (/ (- 30 (/ 1 d2)) d1)) in (d2 d1) around 0 1553947043.962 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30 (/ 1 d2)) d1)) in d1 1553947043.962 * [taylor]: Taking taylor expansion of -1 in d1 1553947043.962 * [backup-simplify]: Simplify -1 into -1 1553947043.962 * [taylor]: Taking taylor expansion of (/ (- 30 (/ 1 d2)) d1) in d1 1553947043.962 * [taylor]: Taking taylor expansion of (- 30 (/ 1 d2)) in d1 1553947043.962 * [taylor]: Taking taylor expansion of 30 in d1 1553947043.962 * [backup-simplify]: Simplify 30 into 30 1553947043.962 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 1553947043.962 * [taylor]: Taking taylor expansion of d2 in d1 1553947043.962 * [backup-simplify]: Simplify d2 into d2 1553947043.962 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1553947043.962 * [taylor]: Taking taylor expansion of d1 in d1 1553947043.962 * [backup-simplify]: Simplify 0 into 0 1553947043.962 * [backup-simplify]: Simplify 1 into 1 1553947043.963 * [backup-simplify]: Simplify (- (/ 1 d2)) into (- (/ 1 d2)) 1553947043.963 * [backup-simplify]: Simplify (+ 30 (- (/ 1 d2))) into (- 30 (/ 1 d2)) 1553947043.963 * [backup-simplify]: Simplify (/ (- 30 (/ 1 d2)) 1) into (- 30 (/ 1 d2)) 1553947043.963 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30 (/ 1 d2)) d1)) in d2 1553947043.963 * [taylor]: Taking taylor expansion of -1 in d2 1553947043.963 * [backup-simplify]: Simplify -1 into -1 1553947043.963 * [taylor]: Taking taylor expansion of (/ (- 30 (/ 1 d2)) d1) in d2 1553947043.963 * [taylor]: Taking taylor expansion of (- 30 (/ 1 d2)) in d2 1553947043.963 * [taylor]: Taking taylor expansion of 30 in d2 1553947043.963 * [backup-simplify]: Simplify 30 into 30 1553947043.963 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947043.963 * [taylor]: Taking taylor expansion of d2 in d2 1553947043.963 * [backup-simplify]: Simplify 0 into 0 1553947043.963 * [backup-simplify]: Simplify 1 into 1 1553947043.963 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947043.963 * [taylor]: Taking taylor expansion of d1 in d2 1553947043.963 * [backup-simplify]: Simplify d1 into d1 1553947043.963 * [backup-simplify]: Simplify (- 1) into -1 1553947043.964 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553947043.964 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 1553947043.964 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30 (/ 1 d2)) d1)) in d2 1553947043.964 * [taylor]: Taking taylor expansion of -1 in d2 1553947043.964 * [backup-simplify]: Simplify -1 into -1 1553947043.964 * [taylor]: Taking taylor expansion of (/ (- 30 (/ 1 d2)) d1) in d2 1553947043.964 * [taylor]: Taking taylor expansion of (- 30 (/ 1 d2)) in d2 1553947043.964 * [taylor]: Taking taylor expansion of 30 in d2 1553947043.964 * [backup-simplify]: Simplify 30 into 30 1553947043.964 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947043.964 * [taylor]: Taking taylor expansion of d2 in d2 1553947043.964 * [backup-simplify]: Simplify 0 into 0 1553947043.964 * [backup-simplify]: Simplify 1 into 1 1553947043.964 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947043.964 * [taylor]: Taking taylor expansion of d1 in d2 1553947043.964 * [backup-simplify]: Simplify d1 into d1 1553947043.964 * [backup-simplify]: Simplify (- 1) into -1 1553947043.965 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553947043.965 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 1553947043.965 * [backup-simplify]: Simplify (* -1 (/ -1 d1)) into (/ 1 d1) 1553947043.965 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1553947043.965 * [taylor]: Taking taylor expansion of d1 in d1 1553947043.965 * [backup-simplify]: Simplify 0 into 0 1553947043.965 * [backup-simplify]: Simplify 1 into 1 1553947043.965 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947043.965 * [backup-simplify]: Simplify 1 into 1 1553947043.966 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947043.966 * [backup-simplify]: Simplify (- 0) into 0 1553947043.966 * [backup-simplify]: Simplify (+ 30 0) into 30 1553947043.966 * [backup-simplify]: Simplify (- (/ 30 d1) (+ (* (/ -1 d1) (/ 0 d1)))) into (* 30 (/ 1 d1)) 1553947043.966 * [backup-simplify]: Simplify (+ (* -1 (* 30 (/ 1 d1))) (* 0 (/ -1 d1))) into (- (* 30 (/ 1 d1))) 1553947043.966 * [taylor]: Taking taylor expansion of (- (* 30 (/ 1 d1))) in d1 1553947043.966 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d1)) in d1 1553947043.967 * [taylor]: Taking taylor expansion of 30 in d1 1553947043.967 * [backup-simplify]: Simplify 30 into 30 1553947043.967 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1553947043.967 * [taylor]: Taking taylor expansion of d1 in d1 1553947043.967 * [backup-simplify]: Simplify 0 into 0 1553947043.967 * [backup-simplify]: Simplify 1 into 1 1553947043.967 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947043.967 * [backup-simplify]: Simplify (* 30 1) into 30 1553947043.967 * [backup-simplify]: Simplify (- 30) into -30 1553947043.967 * [backup-simplify]: Simplify -30 into -30 1553947043.968 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947043.968 * [backup-simplify]: Simplify 0 into 0 1553947043.968 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947043.969 * [backup-simplify]: Simplify (- 0) into 0 1553947043.969 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947043.969 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ -1 d1) (/ 0 d1)) (* (* 30 (/ 1 d1)) (/ 0 d1)))) into 0 1553947043.970 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 30 (/ 1 d1))) (* 0 (/ -1 d1)))) into 0 1553947043.970 * [taylor]: Taking taylor expansion of 0 in d1 1553947043.970 * [backup-simplify]: Simplify 0 into 0 1553947043.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947043.971 * [backup-simplify]: Simplify (+ (* 30 0) (* 0 1)) into 0 1553947043.971 * [backup-simplify]: Simplify (- 0) into 0 1553947043.972 * [backup-simplify]: Simplify 0 into 0 1553947043.972 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947043.972 * [backup-simplify]: Simplify 0 into 0 1553947043.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947043.974 * [backup-simplify]: Simplify (- 0) into 0 1553947043.974 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947043.974 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ -1 d1) (/ 0 d1)) (* (* 30 (/ 1 d1)) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0 1553947043.975 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (* 30 (/ 1 d1))) (* 0 (/ -1 d1))))) into 0 1553947043.975 * [taylor]: Taking taylor expansion of 0 in d1 1553947043.975 * [backup-simplify]: Simplify 0 into 0 1553947043.975 * [backup-simplify]: Simplify 0 into 0 1553947043.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947043.977 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (* 0 1))) into 0 1553947043.978 * [backup-simplify]: Simplify (- 0) into 0 1553947043.978 * [backup-simplify]: Simplify 0 into 0 1553947043.979 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947043.979 * [backup-simplify]: Simplify 0 into 0 1553947043.979 * [backup-simplify]: Simplify (+ (* -30 (* (/ 1 (/ 1 (- d1))) 1)) (* 1 (* (/ 1 (/ 1 (- d1))) (/ 1 (/ 1 (- d2)))))) into (+ (* d2 d1) (* 30 d1)) 1553947043.979 * * * [progress]: simplifying candidates 1553947043.979 * * * * [progress]: [ 1 / 19 ] simplifiying candidate # 1553947043.979 * * * * [progress]: [ 2 / 19 ] simplifiying candidate # 1553947043.979 * * * * [progress]: [ 3 / 19 ] simplifiying candidate # 1553947043.979 * * * * [progress]: [ 4 / 19 ] simplifiying candidate # 1553947043.979 * * * * [progress]: [ 5 / 19 ] simplifiying candidate # 1553947043.979 * * * * [progress]: [ 6 / 19 ] simplifiying candidate # 1553947043.979 * * * * [progress]: [ 7 / 19 ] simplifiying candidate # 1553947043.979 * * * * [progress]: [ 8 / 19 ] simplifiying candidate # 1553947043.980 * * * * [progress]: [ 9 / 19 ] simplifiying candidate # 1553947043.980 * * * * [progress]: [ 10 / 19 ] simplifiying candidate # 1553947043.980 * [simplify]: Simplifying (* (cbrt (+ 30 d2)) (cbrt (+ 30 d2))) 1553947043.980 * * [simplify]: iters left: 5 (5 enodes) 1553947043.983 * * [simplify]: iters left: 4 (16 enodes) 1553947043.988 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947043.988 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947043.988 * * [simplify]: Extracting #2: cost 5 inf + 0 1553947043.988 * * [simplify]: Extracting #3: cost 8 inf + 0 1553947043.988 * * [simplify]: Extracting #4: cost 6 inf + 2 1553947043.988 * * [simplify]: Extracting #5: cost 0 inf + 654 1553947043.988 * [simplify]: Simplified to (* (cbrt (+ d2 30)) (cbrt (+ d2 30))) 1553947043.989 * [simplify]: Simplified (2 1) to (λ (d1 d2) (* (* (cbrt (+ d2 30)) (cbrt (+ d2 30))) (* (cbrt (+ 30 d2)) d1))) 1553947043.989 * * * * [progress]: [ 11 / 19 ] simplifiying candidate # 1553947043.989 * [simplify]: Simplifying (sqrt (+ 30 d2)) 1553947043.989 * * [simplify]: iters left: 3 (4 enodes) 1553947043.991 * * [simplify]: iters left: 2 (13 enodes) 1553947043.995 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947043.995 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947043.995 * * [simplify]: Extracting #2: cost 6 inf + 0 1553947043.996 * * [simplify]: Extracting #3: cost 4 inf + 2 1553947043.996 * * [simplify]: Extracting #4: cost 0 inf + 250 1553947043.996 * [simplify]: Simplified to (sqrt (+ d2 30)) 1553947043.996 * [simplify]: Simplified (2 1) to (λ (d1 d2) (* (sqrt (+ d2 30)) (* (sqrt (+ 30 d2)) d1))) 1553947043.996 * * * * [progress]: [ 12 / 19 ] simplifiying candidate # 1553947043.996 * * * * [progress]: [ 13 / 19 ] simplifiying candidate # 1553947043.996 * [simplify]: Simplifying (* (+ (pow 30 3) (pow d2 3)) d1) 1553947043.996 * * [simplify]: iters left: 5 (8 enodes) 1553947044.002 * * [simplify]: iters left: 4 (34 enodes) 1553947044.012 * * [simplify]: iters left: 3 (50 enodes) 1553947044.025 * * [simplify]: iters left: 2 (78 enodes) 1553947044.036 * * [simplify]: iters left: 1 (93 enodes) 1553947044.048 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947044.048 * * [simplify]: Extracting #1: cost 12 inf + 0 1553947044.048 * * [simplify]: Extracting #2: cost 15 inf + 86 1553947044.049 * * [simplify]: Extracting #3: cost 0 inf + 1294 1553947044.049 * [simplify]: Simplified to (* (fma d2 (* d2 d2) 27000) d1) 1553947044.049 * [simplify]: Simplified (2 1) to (λ (d1 d2) (/ (* (fma d2 (* d2 d2) 27000) d1) (+ (* 30 30) (- (* d2 d2) (* 30 d2))))) 1553947044.049 * * * * [progress]: [ 14 / 19 ] simplifiying candidate # 1553947044.049 * [simplify]: Simplifying (* (- (* 30 30) (* d2 d2)) d1) 1553947044.050 * * [simplify]: iters left: 6 (7 enodes) 1553947044.052 * * [simplify]: iters left: 5 (29 enodes) 1553947044.061 * * [simplify]: iters left: 4 (45 enodes) 1553947044.068 * * [simplify]: iters left: 3 (92 enodes) 1553947044.094 * * [simplify]: iters left: 2 (282 enodes) 1553947044.227 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947044.227 * * [simplify]: Extracting #1: cost 41 inf + 0 1553947044.228 * * [simplify]: Extracting #2: cost 103 inf + 170 1553947044.231 * * [simplify]: Extracting #3: cost 55 inf + 5421 1553947044.242 * * [simplify]: Extracting #4: cost 0 inf + 13155 1553947044.250 * * [simplify]: Extracting #5: cost 0 inf + 13131 1553947044.258 * [simplify]: Simplified to (* (- 900 (* d2 d2)) d1) 1553947044.258 * [simplify]: Simplified (2 1) to (λ (d1 d2) (/ (* (- 900 (* d2 d2)) d1) (- 30 d2))) 1553947044.258 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #real (real->posit16 (* (+ 30 d2) d1))))> 1553947044.258 * * * * [progress]: [ 16 / 19 ] simplifiying candidate # 1553947044.258 * * * * [progress]: [ 17 / 19 ] simplifiying candidate # 1553947044.258 * [simplify]: Simplifying (+ (* d2 d1) (* 30 d1)) 1553947044.258 * * [simplify]: iters left: 4 (6 enodes) 1553947044.262 * * [simplify]: iters left: 3 (24 enodes) 1553947044.270 * * [simplify]: iters left: 2 (32 enodes) 1553947044.278 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947044.278 * * [simplify]: Extracting #1: cost 8 inf + 0 1553947044.279 * * [simplify]: Extracting #2: cost 8 inf + 3 1553947044.279 * * [simplify]: Extracting #3: cost 1 inf + 353 1553947044.279 * * [simplify]: Extracting #4: cost 0 inf + 436 1553947044.280 * * [simplify]: Extracting #5: cost 0 inf + 421 1553947044.280 * [simplify]: Simplified to (* d1 (+ 30 d2)) 1553947044.280 * [simplify]: Simplified (2) to (λ (d1 d2) (* d1 (+ 30 d2))) 1553947044.280 * * * * [progress]: [ 18 / 19 ] simplifiying candidate # 1553947044.280 * [simplify]: Simplifying (+ (* d2 d1) (* 30 d1)) 1553947044.280 * * [simplify]: iters left: 4 (6 enodes) 1553947044.284 * * [simplify]: iters left: 3 (24 enodes) 1553947044.291 * * [simplify]: iters left: 2 (32 enodes) 1553947044.299 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947044.299 * * [simplify]: Extracting #1: cost 8 inf + 0 1553947044.300 * * [simplify]: Extracting #2: cost 8 inf + 3 1553947044.300 * * [simplify]: Extracting #3: cost 1 inf + 353 1553947044.300 * * [simplify]: Extracting #4: cost 0 inf + 436 1553947044.300 * * [simplify]: Extracting #5: cost 0 inf + 421 1553947044.301 * [simplify]: Simplified to (* d1 (+ 30 d2)) 1553947044.301 * [simplify]: Simplified (2) to (λ (d1 d2) (* d1 (+ 30 d2))) 1553947044.301 * * * * [progress]: [ 19 / 19 ] simplifiying candidate # 1553947044.301 * [simplify]: Simplifying (+ (* d2 d1) (* 30 d1)) 1553947044.301 * * [simplify]: iters left: 4 (6 enodes) 1553947044.305 * * [simplify]: iters left: 3 (24 enodes) 1553947044.312 * * [simplify]: iters left: 2 (32 enodes) 1553947044.321 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947044.321 * * [simplify]: Extracting #1: cost 8 inf + 0 1553947044.321 * * [simplify]: Extracting #2: cost 8 inf + 3 1553947044.321 * * [simplify]: Extracting #3: cost 1 inf + 353 1553947044.321 * * [simplify]: Extracting #4: cost 0 inf + 436 1553947044.321 * * [simplify]: Extracting #5: cost 0 inf + 421 1553947044.322 * [simplify]: Simplified to (* d1 (+ 30 d2)) 1553947044.322 * [simplify]: Simplified (2) to (λ (d1 d2) (* d1 (+ 30 d2))) 1553947044.322 * * * [progress]: adding candidates to table 1553947044.457 * * [progress]: iteration 2 / 4 1553947044.458 * * * [progress]: picking best candidate 1553947044.460 * * * * [pick]: Picked # 1553947044.460 * * * [progress]: localizing error 1553947044.482 * * * [progress]: generating rewritten candidates 1553947044.482 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1553947044.495 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1553947044.498 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1553947044.500 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 1553947044.501 * * * [progress]: generating series expansions 1553947044.501 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1553947044.502 * [backup-simplify]: Simplify (/ (* (fma d2 (* d2 d2) 27000) d1) (+ (* 30 30) (- (* d2 d2) (* 30 d2)))) into (/ (* (fma d2 (pow d2 2) 27000) d1) (- (+ (pow d2 2) 900) (* 30 d2))) 1553947044.502 * [approximate]: Taking taylor expansion of (/ (* (fma d2 (pow d2 2) 27000) d1) (- (+ (pow d2 2) 900) (* 30 d2))) in (d2 d1) around 0 1553947044.502 * [taylor]: Taking taylor expansion of (/ (* (fma d2 (pow d2 2) 27000) d1) (- (+ (pow d2 2) 900) (* 30 d2))) in d1 1553947044.502 * [taylor]: Taking taylor expansion of (* (fma d2 (pow d2 2) 27000) d1) in d1 1553947044.502 * [taylor]: Taking taylor expansion of (fma d2 (pow d2 2) 27000) in d1 1553947044.502 * [taylor]: Rewrote expression to (+ (* d2 (pow d2 2)) 27000) 1553947044.502 * [taylor]: Taking taylor expansion of (* d2 (pow d2 2)) in d1 1553947044.502 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.502 * [backup-simplify]: Simplify d2 into d2 1553947044.502 * [taylor]: Taking taylor expansion of (pow d2 2) in d1 1553947044.502 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.502 * [backup-simplify]: Simplify d2 into d2 1553947044.502 * [taylor]: Taking taylor expansion of 27000 in d1 1553947044.502 * [backup-simplify]: Simplify 27000 into 27000 1553947044.502 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.502 * [backup-simplify]: Simplify 0 into 0 1553947044.502 * [backup-simplify]: Simplify 1 into 1 1553947044.502 * [taylor]: Taking taylor expansion of (- (+ (pow d2 2) 900) (* 30 d2)) in d1 1553947044.502 * [taylor]: Taking taylor expansion of (+ (pow d2 2) 900) in d1 1553947044.502 * [taylor]: Taking taylor expansion of (pow d2 2) in d1 1553947044.502 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.502 * [backup-simplify]: Simplify d2 into d2 1553947044.502 * [taylor]: Taking taylor expansion of 900 in d1 1553947044.502 * [backup-simplify]: Simplify 900 into 900 1553947044.502 * [taylor]: Taking taylor expansion of (* 30 d2) in d1 1553947044.502 * [taylor]: Taking taylor expansion of 30 in d1 1553947044.502 * [backup-simplify]: Simplify 30 into 30 1553947044.502 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.502 * [backup-simplify]: Simplify d2 into d2 1553947044.502 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1553947044.502 * [backup-simplify]: Simplify (* d2 (pow d2 2)) into (pow d2 3) 1553947044.502 * [backup-simplify]: Simplify (+ (pow d2 3) 27000) into (+ (pow d2 3) 27000) 1553947044.502 * [backup-simplify]: Simplify (* (+ (pow d2 3) 27000) 0) into 0 1553947044.502 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 d2)) into 0 1553947044.502 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 (pow d2 2))) into 0 1553947044.503 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.503 * [backup-simplify]: Simplify (+ (* (+ (pow d2 3) 27000) 1) (* 0 0)) into (+ (pow d2 3) 27000) 1553947044.503 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1553947044.503 * [backup-simplify]: Simplify (+ (pow d2 2) 900) into (+ (pow d2 2) 900) 1553947044.503 * [backup-simplify]: Simplify (* 30 d2) into (* 30 d2) 1553947044.503 * [backup-simplify]: Simplify (- (* 30 d2)) into (- (* 30 d2)) 1553947044.503 * [backup-simplify]: Simplify (+ (+ (pow d2 2) 900) (- (* 30 d2))) into (- (+ (pow d2 2) 900) (* 30 d2)) 1553947044.504 * [backup-simplify]: Simplify (/ (+ (pow d2 3) 27000) (- (+ (pow d2 2) 900) (* 30 d2))) into (/ (+ (pow d2 3) 27000) (- (+ (pow d2 2) 900) (* 30 d2))) 1553947044.504 * [taylor]: Taking taylor expansion of (/ (* (fma d2 (pow d2 2) 27000) d1) (- (+ (pow d2 2) 900) (* 30 d2))) in d2 1553947044.504 * [taylor]: Taking taylor expansion of (* (fma d2 (pow d2 2) 27000) d1) in d2 1553947044.504 * [taylor]: Taking taylor expansion of (fma d2 (pow d2 2) 27000) in d2 1553947044.504 * [taylor]: Rewrote expression to (+ (* d2 (pow d2 2)) 27000) 1553947044.504 * [taylor]: Taking taylor expansion of (* d2 (pow d2 2)) in d2 1553947044.504 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.504 * [backup-simplify]: Simplify 0 into 0 1553947044.504 * [backup-simplify]: Simplify 1 into 1 1553947044.504 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.504 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.504 * [backup-simplify]: Simplify 0 into 0 1553947044.504 * [backup-simplify]: Simplify 1 into 1 1553947044.504 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.504 * [backup-simplify]: Simplify 27000 into 27000 1553947044.504 * [taylor]: Taking taylor expansion of d1 in d2 1553947044.504 * [backup-simplify]: Simplify d1 into d1 1553947044.504 * [taylor]: Taking taylor expansion of (- (+ (pow d2 2) 900) (* 30 d2)) in d2 1553947044.504 * [taylor]: Taking taylor expansion of (+ (pow d2 2) 900) in d2 1553947044.504 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.504 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.504 * [backup-simplify]: Simplify 0 into 0 1553947044.504 * [backup-simplify]: Simplify 1 into 1 1553947044.504 * [taylor]: Taking taylor expansion of 900 in d2 1553947044.504 * [backup-simplify]: Simplify 900 into 900 1553947044.504 * [taylor]: Taking taylor expansion of (* 30 d2) in d2 1553947044.504 * [taylor]: Taking taylor expansion of 30 in d2 1553947044.504 * [backup-simplify]: Simplify 30 into 30 1553947044.504 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.504 * [backup-simplify]: Simplify 0 into 0 1553947044.504 * [backup-simplify]: Simplify 1 into 1 1553947044.505 * [backup-simplify]: Simplify (+ 0 27000) into 27000 1553947044.505 * [backup-simplify]: Simplify (* 27000 d1) into (* 27000 d1) 1553947044.505 * [backup-simplify]: Simplify (+ 0 900) into 900 1553947044.505 * [backup-simplify]: Simplify (* 30 0) into 0 1553947044.505 * [backup-simplify]: Simplify (- 0) into 0 1553947044.506 * [backup-simplify]: Simplify (+ 900 0) into 900 1553947044.506 * [backup-simplify]: Simplify (/ (* 27000 d1) 900) into (* 30 d1) 1553947044.506 * [taylor]: Taking taylor expansion of (/ (* (fma d2 (pow d2 2) 27000) d1) (- (+ (pow d2 2) 900) (* 30 d2))) in d2 1553947044.506 * [taylor]: Taking taylor expansion of (* (fma d2 (pow d2 2) 27000) d1) in d2 1553947044.506 * [taylor]: Taking taylor expansion of (fma d2 (pow d2 2) 27000) in d2 1553947044.506 * [taylor]: Rewrote expression to (+ (* d2 (pow d2 2)) 27000) 1553947044.506 * [taylor]: Taking taylor expansion of (* d2 (pow d2 2)) in d2 1553947044.506 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.506 * [backup-simplify]: Simplify 0 into 0 1553947044.506 * [backup-simplify]: Simplify 1 into 1 1553947044.506 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.506 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.506 * [backup-simplify]: Simplify 0 into 0 1553947044.506 * [backup-simplify]: Simplify 1 into 1 1553947044.506 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.506 * [backup-simplify]: Simplify 27000 into 27000 1553947044.506 * [taylor]: Taking taylor expansion of d1 in d2 1553947044.506 * [backup-simplify]: Simplify d1 into d1 1553947044.506 * [taylor]: Taking taylor expansion of (- (+ (pow d2 2) 900) (* 30 d2)) in d2 1553947044.506 * [taylor]: Taking taylor expansion of (+ (pow d2 2) 900) in d2 1553947044.506 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.506 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.506 * [backup-simplify]: Simplify 0 into 0 1553947044.506 * [backup-simplify]: Simplify 1 into 1 1553947044.506 * [taylor]: Taking taylor expansion of 900 in d2 1553947044.506 * [backup-simplify]: Simplify 900 into 900 1553947044.506 * [taylor]: Taking taylor expansion of (* 30 d2) in d2 1553947044.506 * [taylor]: Taking taylor expansion of 30 in d2 1553947044.506 * [backup-simplify]: Simplify 30 into 30 1553947044.506 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.506 * [backup-simplify]: Simplify 0 into 0 1553947044.506 * [backup-simplify]: Simplify 1 into 1 1553947044.506 * [backup-simplify]: Simplify (+ 0 27000) into 27000 1553947044.506 * [backup-simplify]: Simplify (* 27000 d1) into (* 27000 d1) 1553947044.507 * [backup-simplify]: Simplify (+ 0 900) into 900 1553947044.507 * [backup-simplify]: Simplify (* 30 0) into 0 1553947044.507 * [backup-simplify]: Simplify (- 0) into 0 1553947044.507 * [backup-simplify]: Simplify (+ 900 0) into 900 1553947044.507 * [backup-simplify]: Simplify (/ (* 27000 d1) 900) into (* 30 d1) 1553947044.508 * [taylor]: Taking taylor expansion of (* 30 d1) in d1 1553947044.508 * [taylor]: Taking taylor expansion of 30 in d1 1553947044.508 * [backup-simplify]: Simplify 30 into 30 1553947044.508 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.508 * [backup-simplify]: Simplify 0 into 0 1553947044.508 * [backup-simplify]: Simplify 1 into 1 1553947044.508 * [backup-simplify]: Simplify (+ (* 30 1) (* 0 0)) into 30 1553947044.508 * [backup-simplify]: Simplify 30 into 30 1553947044.508 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.514 * [backup-simplify]: Simplify (+ (* 27000 0) (* 0 d1)) into 0 1553947044.515 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.516 * [backup-simplify]: Simplify (+ (* 30 1) (* 0 0)) into 30 1553947044.516 * [backup-simplify]: Simplify (- 30) into -30 1553947044.516 * [backup-simplify]: Simplify (+ 0 -30) into -30 1553947044.517 * [backup-simplify]: Simplify (- (/ 0 900) (+ (* (* 30 d1) (/ -30 900)))) into d1 1553947044.517 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.517 * [backup-simplify]: Simplify 0 into 0 1553947044.517 * [backup-simplify]: Simplify 1 into 1 1553947044.517 * [backup-simplify]: Simplify 1 into 1 1553947044.518 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 1) (* 0 0))) into 0 1553947044.519 * [backup-simplify]: Simplify 0 into 0 1553947044.519 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.519 * [backup-simplify]: Simplify (* 0 1) into 0 1553947044.520 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.520 * [backup-simplify]: Simplify (+ (* 27000 0) (+ (* 0 0) (* 0 d1))) into 0 1553947044.521 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.521 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.522 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 1) (* 0 0))) into 0 1553947044.523 * [backup-simplify]: Simplify (- 0) into 0 1553947044.523 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.524 * [backup-simplify]: Simplify (- (/ 0 900) (+ (* (* 30 d1) (/ 1 900)) (* d1 (/ -30 900)))) into 0 1553947044.524 * [taylor]: Taking taylor expansion of 0 in d1 1553947044.524 * [backup-simplify]: Simplify 0 into 0 1553947044.524 * [backup-simplify]: Simplify 0 into 0 1553947044.525 * [backup-simplify]: Simplify 0 into 0 1553947044.526 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1553947044.526 * [backup-simplify]: Simplify 0 into 0 1553947044.526 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.527 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 1)) into 1 1553947044.527 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.528 * [backup-simplify]: Simplify (+ (* 27000 0) (+ (* 0 0) (+ (* 0 0) (* 1 d1)))) into d1 1553947044.529 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.529 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.531 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1553947044.531 * [backup-simplify]: Simplify (- 0) into 0 1553947044.531 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.533 * [backup-simplify]: Simplify (- (/ d1 900) (+ (* (* 30 d1) (/ 0 900)) (* d1 (/ 1 900)) (* 0 (/ -30 900)))) into 0 1553947044.533 * [taylor]: Taking taylor expansion of 0 in d1 1553947044.533 * [backup-simplify]: Simplify 0 into 0 1553947044.533 * [backup-simplify]: Simplify 0 into 0 1553947044.533 * [backup-simplify]: Simplify 0 into 0 1553947044.533 * [backup-simplify]: Simplify (+ (* 1 (* d1 d2)) (* 30 (* d1 1))) into (+ (* d2 d1) (* 30 d1)) 1553947044.534 * [backup-simplify]: Simplify (/ (* (fma (/ 1 d2) (* (/ 1 d2) (/ 1 d2)) 27000) (/ 1 d1)) (+ (* 30 30) (- (* (/ 1 d2) (/ 1 d2)) (* 30 (/ 1 d2))))) into (/ (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) d1)) 1553947044.534 * [approximate]: Taking taylor expansion of (/ (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) d1)) in (d2 d1) around 0 1553947044.534 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) d1)) in d1 1553947044.534 * [taylor]: Taking taylor expansion of (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) in d1 1553947044.534 * [taylor]: Rewrote expression to (+ (* (/ 1 d2) (/ 1 (pow d2 2))) 27000) 1553947044.534 * [taylor]: Taking taylor expansion of (* (/ 1 d2) (/ 1 (pow d2 2))) in d1 1553947044.534 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 1553947044.534 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.534 * [backup-simplify]: Simplify d2 into d2 1553947044.534 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1553947044.534 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d1 1553947044.534 * [taylor]: Taking taylor expansion of (pow d2 2) in d1 1553947044.534 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.534 * [backup-simplify]: Simplify d2 into d2 1553947044.535 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1553947044.535 * [backup-simplify]: Simplify (/ 1 (pow d2 2)) into (/ 1 (pow d2 2)) 1553947044.535 * [taylor]: Taking taylor expansion of 27000 in d1 1553947044.535 * [backup-simplify]: Simplify 27000 into 27000 1553947044.535 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) d1) in d1 1553947044.535 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) in d1 1553947044.535 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 2)) 900) in d1 1553947044.535 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d1 1553947044.535 * [taylor]: Taking taylor expansion of (pow d2 2) in d1 1553947044.535 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.535 * [backup-simplify]: Simplify d2 into d2 1553947044.535 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1553947044.535 * [backup-simplify]: Simplify (/ 1 (pow d2 2)) into (/ 1 (pow d2 2)) 1553947044.535 * [taylor]: Taking taylor expansion of 900 in d1 1553947044.535 * [backup-simplify]: Simplify 900 into 900 1553947044.535 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d1 1553947044.535 * [taylor]: Taking taylor expansion of 30 in d1 1553947044.535 * [backup-simplify]: Simplify 30 into 30 1553947044.535 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 1553947044.535 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.535 * [backup-simplify]: Simplify d2 into d2 1553947044.535 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1553947044.535 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.535 * [backup-simplify]: Simplify 0 into 0 1553947044.535 * [backup-simplify]: Simplify 1 into 1 1553947044.535 * [backup-simplify]: Simplify (* (/ 1 d2) (/ 1 (pow d2 2))) into (/ 1 (pow d2 3)) 1553947044.536 * [backup-simplify]: Simplify (+ (/ 1 (pow d2 3)) 27000) into (+ (/ 1 (pow d2 3)) 27000) 1553947044.536 * [backup-simplify]: Simplify (+ (/ 1 (pow d2 2)) 900) into (+ (/ 1 (pow d2 2)) 900) 1553947044.536 * [backup-simplify]: Simplify (* 30 (/ 1 d2)) into (/ 30 d2) 1553947044.536 * [backup-simplify]: Simplify (- (/ 30 d2)) into (- (* 30 (/ 1 d2))) 1553947044.536 * [backup-simplify]: Simplify (+ (+ (/ 1 (pow d2 2)) 900) (- (* 30 (/ 1 d2)))) into (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) 1553947044.536 * [backup-simplify]: Simplify (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) 0) into 0 1553947044.536 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 d2)) into 0 1553947044.537 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 2)) (/ 0 (pow d2 2))))) into 0 1553947044.537 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.537 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1553947044.538 * [backup-simplify]: Simplify (+ (* 30 0) (* 0 (/ 1 d2))) into 0 1553947044.538 * [backup-simplify]: Simplify (- 0) into 0 1553947044.538 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.539 * [backup-simplify]: Simplify (+ (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) 1) (* 0 0)) into (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) 1553947044.539 * [backup-simplify]: Simplify (/ (+ (/ 1 (pow d2 3)) 27000) (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2)))) into (/ (+ (/ 1 (pow d2 3)) 27000) (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2)))) 1553947044.539 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) d1)) in d2 1553947044.540 * [taylor]: Taking taylor expansion of (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) in d2 1553947044.540 * [taylor]: Rewrote expression to (+ (* (/ 1 d2) (/ 1 (pow d2 2))) 27000) 1553947044.540 * [taylor]: Taking taylor expansion of (* (/ 1 d2) (/ 1 (pow d2 2))) in d2 1553947044.540 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947044.540 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.540 * [backup-simplify]: Simplify 0 into 0 1553947044.540 * [backup-simplify]: Simplify 1 into 1 1553947044.540 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.540 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.540 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.540 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.540 * [backup-simplify]: Simplify 0 into 0 1553947044.540 * [backup-simplify]: Simplify 1 into 1 1553947044.541 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.541 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.541 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.541 * [backup-simplify]: Simplify 27000 into 27000 1553947044.541 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) d1) in d2 1553947044.541 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) in d2 1553947044.541 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 2)) 900) in d2 1553947044.541 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.541 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.541 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.541 * [backup-simplify]: Simplify 0 into 0 1553947044.541 * [backup-simplify]: Simplify 1 into 1 1553947044.541 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.542 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.542 * [taylor]: Taking taylor expansion of 900 in d2 1553947044.542 * [backup-simplify]: Simplify 900 into 900 1553947044.542 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d2 1553947044.542 * [taylor]: Taking taylor expansion of 30 in d2 1553947044.542 * [backup-simplify]: Simplify 30 into 30 1553947044.542 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947044.542 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.542 * [backup-simplify]: Simplify 0 into 0 1553947044.542 * [backup-simplify]: Simplify 1 into 1 1553947044.542 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.542 * [taylor]: Taking taylor expansion of d1 in d2 1553947044.542 * [backup-simplify]: Simplify d1 into d1 1553947044.542 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.542 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.543 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.543 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.543 * [backup-simplify]: Simplify (* 1 d1) into d1 1553947044.543 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1553947044.543 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) d1)) in d2 1553947044.543 * [taylor]: Taking taylor expansion of (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) in d2 1553947044.543 * [taylor]: Rewrote expression to (+ (* (/ 1 d2) (/ 1 (pow d2 2))) 27000) 1553947044.543 * [taylor]: Taking taylor expansion of (* (/ 1 d2) (/ 1 (pow d2 2))) in d2 1553947044.543 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947044.543 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.543 * [backup-simplify]: Simplify 0 into 0 1553947044.543 * [backup-simplify]: Simplify 1 into 1 1553947044.543 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.544 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.544 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.544 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.544 * [backup-simplify]: Simplify 0 into 0 1553947044.544 * [backup-simplify]: Simplify 1 into 1 1553947044.544 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.544 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.544 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.544 * [backup-simplify]: Simplify 27000 into 27000 1553947044.544 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) d1) in d2 1553947044.544 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) in d2 1553947044.544 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 2)) 900) in d2 1553947044.544 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.544 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.544 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.544 * [backup-simplify]: Simplify 0 into 0 1553947044.544 * [backup-simplify]: Simplify 1 into 1 1553947044.545 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.545 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.545 * [taylor]: Taking taylor expansion of 900 in d2 1553947044.545 * [backup-simplify]: Simplify 900 into 900 1553947044.545 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d2 1553947044.545 * [taylor]: Taking taylor expansion of 30 in d2 1553947044.545 * [backup-simplify]: Simplify 30 into 30 1553947044.545 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947044.545 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.545 * [backup-simplify]: Simplify 0 into 0 1553947044.545 * [backup-simplify]: Simplify 1 into 1 1553947044.545 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.545 * [taylor]: Taking taylor expansion of d1 in d2 1553947044.545 * [backup-simplify]: Simplify d1 into d1 1553947044.545 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.546 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.546 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.546 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.546 * [backup-simplify]: Simplify (* 1 d1) into d1 1553947044.546 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1553947044.546 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1553947044.546 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.546 * [backup-simplify]: Simplify 0 into 0 1553947044.546 * [backup-simplify]: Simplify 1 into 1 1553947044.547 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.547 * [backup-simplify]: Simplify 1 into 1 1553947044.547 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.548 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.549 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.549 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.550 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.550 * [backup-simplify]: Simplify (* 30 1) into 30 1553947044.550 * [backup-simplify]: Simplify (- 30) into -30 1553947044.550 * [backup-simplify]: Simplify (+ 0 -30) into -30 1553947044.551 * [backup-simplify]: Simplify (+ (* 1 0) (* -30 d1)) into (- (* 30 d1)) 1553947044.551 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ (- (* 30 d1)) d1)))) into (* 30 (/ 1 d1)) 1553947044.551 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d1)) in d1 1553947044.551 * [taylor]: Taking taylor expansion of 30 in d1 1553947044.551 * [backup-simplify]: Simplify 30 into 30 1553947044.551 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1553947044.551 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.551 * [backup-simplify]: Simplify 0 into 0 1553947044.551 * [backup-simplify]: Simplify 1 into 1 1553947044.551 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.551 * [backup-simplify]: Simplify (* 30 1) into 30 1553947044.551 * [backup-simplify]: Simplify 30 into 30 1553947044.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.552 * [backup-simplify]: Simplify 0 into 0 1553947044.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.555 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.556 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.556 * [backup-simplify]: Simplify (+ 0 900) into 900 1553947044.556 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.557 * [backup-simplify]: Simplify (+ (* 30 0) (* 0 1)) into 0 1553947044.557 * [backup-simplify]: Simplify (- 0) into 0 1553947044.557 * [backup-simplify]: Simplify (+ 900 0) into 900 1553947044.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* -30 0) (* 900 d1))) into (* 900 d1) 1553947044.558 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ (* 900 d1) d1)) (* (* 30 (/ 1 d1)) (/ (- (* 30 d1)) d1)))) into 0 1553947044.558 * [taylor]: Taking taylor expansion of 0 in d1 1553947044.558 * [backup-simplify]: Simplify 0 into 0 1553947044.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.559 * [backup-simplify]: Simplify (+ (* 30 0) (* 0 1)) into 0 1553947044.559 * [backup-simplify]: Simplify 0 into 0 1553947044.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.559 * [backup-simplify]: Simplify 0 into 0 1553947044.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.562 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.562 * [backup-simplify]: Simplify (+ 0 27000) into 27000 1553947044.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.563 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.565 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.565 * [backup-simplify]: Simplify (- 0) into 0 1553947044.565 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* -30 0) (+ (* 900 0) (* 0 d1)))) into 0 1553947044.566 * [backup-simplify]: Simplify (- (/ 27000 d1) (+ (* (/ 1 d1) (/ 0 d1)) (* (* 30 (/ 1 d1)) (/ (* 900 d1) d1)) (* 0 (/ (- (* 30 d1)) d1)))) into 0 1553947044.566 * [taylor]: Taking taylor expansion of 0 in d1 1553947044.566 * [backup-simplify]: Simplify 0 into 0 1553947044.566 * [backup-simplify]: Simplify 0 into 0 1553947044.567 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.567 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.567 * [backup-simplify]: Simplify 0 into 0 1553947044.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.568 * [backup-simplify]: Simplify 0 into 0 1553947044.568 * [backup-simplify]: Simplify (+ (* 30 (* (/ 1 (/ 1 d1)) 1)) (* 1 (* (/ 1 (/ 1 d1)) (/ 1 (/ 1 d2))))) into (+ (* d2 d1) (* 30 d1)) 1553947044.568 * [backup-simplify]: Simplify (/ (* (fma (/ 1 (- d2)) (* (/ 1 (- d2)) (/ 1 (- d2))) 27000) (/ 1 (- d1))) (+ (* 30 30) (- (* (/ 1 (- d2)) (/ 1 (- d2))) (* 30 (/ 1 (- d2)))))) into (* -1 (/ (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) (* (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) d1))) 1553947044.569 * [approximate]: Taking taylor expansion of (* -1 (/ (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) (* (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) d1))) in (d2 d1) around 0 1553947044.569 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) (* (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) d1))) in d1 1553947044.569 * [taylor]: Taking taylor expansion of -1 in d1 1553947044.569 * [backup-simplify]: Simplify -1 into -1 1553947044.569 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) (* (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) d1)) in d1 1553947044.569 * [taylor]: Taking taylor expansion of (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) in d1 1553947044.569 * [taylor]: Rewrote expression to (+ (* (/ -1 d2) (/ 1 (pow d2 2))) 27000) 1553947044.569 * [taylor]: Taking taylor expansion of (* (/ -1 d2) (/ 1 (pow d2 2))) in d1 1553947044.569 * [taylor]: Taking taylor expansion of (/ -1 d2) in d1 1553947044.569 * [taylor]: Taking taylor expansion of -1 in d1 1553947044.569 * [backup-simplify]: Simplify -1 into -1 1553947044.569 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.569 * [backup-simplify]: Simplify d2 into d2 1553947044.569 * [backup-simplify]: Simplify (/ -1 d2) into (/ -1 d2) 1553947044.569 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d1 1553947044.569 * [taylor]: Taking taylor expansion of (pow d2 2) in d1 1553947044.569 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.569 * [backup-simplify]: Simplify d2 into d2 1553947044.569 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1553947044.569 * [backup-simplify]: Simplify (/ 1 (pow d2 2)) into (/ 1 (pow d2 2)) 1553947044.569 * [taylor]: Taking taylor expansion of 27000 in d1 1553947044.569 * [backup-simplify]: Simplify 27000 into 27000 1553947044.569 * [taylor]: Taking taylor expansion of (* (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) d1) in d1 1553947044.569 * [taylor]: Taking taylor expansion of (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) in d1 1553947044.569 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d1 1553947044.569 * [taylor]: Taking taylor expansion of 30 in d1 1553947044.569 * [backup-simplify]: Simplify 30 into 30 1553947044.569 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 1553947044.569 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.569 * [backup-simplify]: Simplify d2 into d2 1553947044.570 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1553947044.570 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 2)) 900) in d1 1553947044.570 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d1 1553947044.570 * [taylor]: Taking taylor expansion of (pow d2 2) in d1 1553947044.570 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.570 * [backup-simplify]: Simplify d2 into d2 1553947044.570 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1553947044.570 * [backup-simplify]: Simplify (/ 1 (pow d2 2)) into (/ 1 (pow d2 2)) 1553947044.570 * [taylor]: Taking taylor expansion of 900 in d1 1553947044.570 * [backup-simplify]: Simplify 900 into 900 1553947044.570 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.570 * [backup-simplify]: Simplify 0 into 0 1553947044.570 * [backup-simplify]: Simplify 1 into 1 1553947044.570 * [backup-simplify]: Simplify (* (/ -1 d2) (/ 1 (pow d2 2))) into (/ -1 (pow d2 3)) 1553947044.570 * [backup-simplify]: Simplify (+ (/ -1 (pow d2 3)) 27000) into (- 27000 (/ 1 (pow d2 3))) 1553947044.570 * [backup-simplify]: Simplify (* 30 (/ 1 d2)) into (/ 30 d2) 1553947044.570 * [backup-simplify]: Simplify (+ (/ 1 (pow d2 2)) 900) into (+ (/ 1 (pow d2 2)) 900) 1553947044.571 * [backup-simplify]: Simplify (+ (/ 30 d2) (+ (/ 1 (pow d2 2)) 900)) into (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) 1553947044.571 * [backup-simplify]: Simplify (* (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) 0) into 0 1553947044.571 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1553947044.572 * [backup-simplify]: Simplify (+ (* 30 0) (* 0 (/ 1 d2))) into 0 1553947044.572 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 d2)) into 0 1553947044.572 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 2)) (/ 0 (pow d2 2))))) into 0 1553947044.572 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.573 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.573 * [backup-simplify]: Simplify (+ (* (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) 1) (* 0 0)) into (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) 1553947044.574 * [backup-simplify]: Simplify (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) into (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) 1553947044.574 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) (* (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) d1))) in d2 1553947044.574 * [taylor]: Taking taylor expansion of -1 in d2 1553947044.574 * [backup-simplify]: Simplify -1 into -1 1553947044.574 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) (* (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) d1)) in d2 1553947044.574 * [taylor]: Taking taylor expansion of (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) in d2 1553947044.574 * [taylor]: Rewrote expression to (+ (* (/ -1 d2) (/ 1 (pow d2 2))) 27000) 1553947044.574 * [taylor]: Taking taylor expansion of (* (/ -1 d2) (/ 1 (pow d2 2))) in d2 1553947044.574 * [taylor]: Taking taylor expansion of (/ -1 d2) in d2 1553947044.574 * [taylor]: Taking taylor expansion of -1 in d2 1553947044.574 * [backup-simplify]: Simplify -1 into -1 1553947044.574 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.574 * [backup-simplify]: Simplify 0 into 0 1553947044.574 * [backup-simplify]: Simplify 1 into 1 1553947044.574 * [backup-simplify]: Simplify (/ -1 1) into -1 1553947044.574 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.574 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.575 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.575 * [backup-simplify]: Simplify 0 into 0 1553947044.575 * [backup-simplify]: Simplify 1 into 1 1553947044.575 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.575 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.575 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.575 * [backup-simplify]: Simplify 27000 into 27000 1553947044.575 * [taylor]: Taking taylor expansion of (* (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) d1) in d2 1553947044.575 * [taylor]: Taking taylor expansion of (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) in d2 1553947044.576 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d2 1553947044.576 * [taylor]: Taking taylor expansion of 30 in d2 1553947044.576 * [backup-simplify]: Simplify 30 into 30 1553947044.576 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947044.576 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.576 * [backup-simplify]: Simplify 0 into 0 1553947044.576 * [backup-simplify]: Simplify 1 into 1 1553947044.576 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.576 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 2)) 900) in d2 1553947044.576 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.576 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.576 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.576 * [backup-simplify]: Simplify 0 into 0 1553947044.576 * [backup-simplify]: Simplify 1 into 1 1553947044.577 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.577 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.577 * [taylor]: Taking taylor expansion of 900 in d2 1553947044.577 * [backup-simplify]: Simplify 900 into 900 1553947044.577 * [taylor]: Taking taylor expansion of d1 in d2 1553947044.577 * [backup-simplify]: Simplify d1 into d1 1553947044.577 * [backup-simplify]: Simplify (* -1 1) into -1 1553947044.577 * [backup-simplify]: Simplify (+ -1 0) into -1 1553947044.578 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.578 * [backup-simplify]: Simplify (+ 0 1) into 1 1553947044.578 * [backup-simplify]: Simplify (* 1 d1) into d1 1553947044.578 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 1553947044.578 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) (* (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) d1))) in d2 1553947044.578 * [taylor]: Taking taylor expansion of -1 in d2 1553947044.578 * [backup-simplify]: Simplify -1 into -1 1553947044.578 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) (* (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) d1)) in d2 1553947044.578 * [taylor]: Taking taylor expansion of (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) in d2 1553947044.578 * [taylor]: Rewrote expression to (+ (* (/ -1 d2) (/ 1 (pow d2 2))) 27000) 1553947044.578 * [taylor]: Taking taylor expansion of (* (/ -1 d2) (/ 1 (pow d2 2))) in d2 1553947044.578 * [taylor]: Taking taylor expansion of (/ -1 d2) in d2 1553947044.578 * [taylor]: Taking taylor expansion of -1 in d2 1553947044.578 * [backup-simplify]: Simplify -1 into -1 1553947044.578 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.578 * [backup-simplify]: Simplify 0 into 0 1553947044.578 * [backup-simplify]: Simplify 1 into 1 1553947044.579 * [backup-simplify]: Simplify (/ -1 1) into -1 1553947044.579 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.579 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.579 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.579 * [backup-simplify]: Simplify 0 into 0 1553947044.579 * [backup-simplify]: Simplify 1 into 1 1553947044.579 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.579 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.579 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.579 * [backup-simplify]: Simplify 27000 into 27000 1553947044.579 * [taylor]: Taking taylor expansion of (* (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) d1) in d2 1553947044.579 * [taylor]: Taking taylor expansion of (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) in d2 1553947044.579 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d2 1553947044.579 * [taylor]: Taking taylor expansion of 30 in d2 1553947044.579 * [backup-simplify]: Simplify 30 into 30 1553947044.579 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947044.579 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.579 * [backup-simplify]: Simplify 0 into 0 1553947044.579 * [backup-simplify]: Simplify 1 into 1 1553947044.580 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.580 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 2)) 900) in d2 1553947044.580 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.580 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.580 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.580 * [backup-simplify]: Simplify 0 into 0 1553947044.580 * [backup-simplify]: Simplify 1 into 1 1553947044.580 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.580 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.580 * [taylor]: Taking taylor expansion of 900 in d2 1553947044.580 * [backup-simplify]: Simplify 900 into 900 1553947044.580 * [taylor]: Taking taylor expansion of d1 in d2 1553947044.580 * [backup-simplify]: Simplify d1 into d1 1553947044.580 * [backup-simplify]: Simplify (* -1 1) into -1 1553947044.581 * [backup-simplify]: Simplify (+ -1 0) into -1 1553947044.581 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.581 * [backup-simplify]: Simplify (+ 0 1) into 1 1553947044.581 * [backup-simplify]: Simplify (* 1 d1) into d1 1553947044.581 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 1553947044.581 * [backup-simplify]: Simplify (* -1 (/ -1 d1)) into (/ 1 d1) 1553947044.581 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1553947044.581 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.581 * [backup-simplify]: Simplify 0 into 0 1553947044.581 * [backup-simplify]: Simplify 1 into 1 1553947044.582 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.582 * [backup-simplify]: Simplify 1 into 1 1553947044.582 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.583 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1553947044.583 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 1553947044.584 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.584 * [backup-simplify]: Simplify (* 30 1) into 30 1553947044.584 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.585 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.585 * [backup-simplify]: Simplify (+ 30 0) into 30 1553947044.586 * [backup-simplify]: Simplify (+ (* 1 0) (* 30 d1)) into (* 30 d1) 1553947044.586 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ -1 d1) (/ (* 30 d1) d1)))) into (* 30 (/ 1 d1)) 1553947044.586 * [backup-simplify]: Simplify (+ (* -1 (* 30 (/ 1 d1))) (* 0 (/ -1 d1))) into (- (* 30 (/ 1 d1))) 1553947044.586 * [taylor]: Taking taylor expansion of (- (* 30 (/ 1 d1))) in d1 1553947044.586 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d1)) in d1 1553947044.586 * [taylor]: Taking taylor expansion of 30 in d1 1553947044.586 * [backup-simplify]: Simplify 30 into 30 1553947044.586 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1553947044.586 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.586 * [backup-simplify]: Simplify 0 into 0 1553947044.586 * [backup-simplify]: Simplify 1 into 1 1553947044.586 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.586 * [backup-simplify]: Simplify (* 30 1) into 30 1553947044.587 * [backup-simplify]: Simplify (- 30) into -30 1553947044.587 * [backup-simplify]: Simplify -30 into -30 1553947044.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.587 * [backup-simplify]: Simplify 0 into 0 1553947044.588 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.589 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.589 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.589 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.590 * [backup-simplify]: Simplify (+ (* 30 0) (* 0 1)) into 0 1553947044.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.591 * [backup-simplify]: Simplify (+ 0 900) into 900 1553947044.592 * [backup-simplify]: Simplify (+ 0 900) into 900 1553947044.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 30 0) (* 900 d1))) into (* 900 d1) 1553947044.592 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ -1 d1) (/ (* 900 d1) d1)) (* (* 30 (/ 1 d1)) (/ (* 30 d1) d1)))) into 0 1553947044.593 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 30 (/ 1 d1))) (* 0 (/ -1 d1)))) into 0 1553947044.593 * [taylor]: Taking taylor expansion of 0 in d1 1553947044.593 * [backup-simplify]: Simplify 0 into 0 1553947044.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.594 * [backup-simplify]: Simplify (+ (* 30 0) (* 0 1)) into 0 1553947044.594 * [backup-simplify]: Simplify (- 0) into 0 1553947044.594 * [backup-simplify]: Simplify 0 into 0 1553947044.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.595 * [backup-simplify]: Simplify 0 into 0 1553947044.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.596 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.597 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.597 * [backup-simplify]: Simplify (+ 0 27000) into 27000 1553947044.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.598 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.600 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.600 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 30 0) (+ (* 900 0) (* 0 d1)))) into 0 1553947044.601 * [backup-simplify]: Simplify (- (/ 27000 d1) (+ (* (/ -1 d1) (/ 0 d1)) (* (* 30 (/ 1 d1)) (/ (* 900 d1) d1)) (* 0 (/ (* 30 d1) d1)))) into 0 1553947044.601 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (* 30 (/ 1 d1))) (* 0 (/ -1 d1))))) into 0 1553947044.601 * [taylor]: Taking taylor expansion of 0 in d1 1553947044.601 * [backup-simplify]: Simplify 0 into 0 1553947044.602 * [backup-simplify]: Simplify 0 into 0 1553947044.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.603 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.603 * [backup-simplify]: Simplify (- 0) into 0 1553947044.603 * [backup-simplify]: Simplify 0 into 0 1553947044.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.603 * [backup-simplify]: Simplify 0 into 0 1553947044.604 * [backup-simplify]: Simplify (+ (* -30 (* (/ 1 (/ 1 (- d1))) 1)) (* 1 (* (/ 1 (/ 1 (- d1))) (/ 1 (/ 1 (- d2)))))) into (+ (* d2 d1) (* 30 d1)) 1553947044.604 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1553947044.604 * [backup-simplify]: Simplify (* (fma d2 (* d2 d2) 27000) d1) into (* (fma d2 (pow d2 2) 27000) d1) 1553947044.604 * [approximate]: Taking taylor expansion of (* (fma d2 (pow d2 2) 27000) d1) in (d2 d1) around 0 1553947044.604 * [taylor]: Taking taylor expansion of (* (fma d2 (pow d2 2) 27000) d1) in d1 1553947044.604 * [taylor]: Taking taylor expansion of (fma d2 (pow d2 2) 27000) in d1 1553947044.604 * [taylor]: Rewrote expression to (+ (* d2 (pow d2 2)) 27000) 1553947044.604 * [taylor]: Taking taylor expansion of (* d2 (pow d2 2)) in d1 1553947044.604 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.604 * [backup-simplify]: Simplify d2 into d2 1553947044.604 * [taylor]: Taking taylor expansion of (pow d2 2) in d1 1553947044.604 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.604 * [backup-simplify]: Simplify d2 into d2 1553947044.604 * [taylor]: Taking taylor expansion of 27000 in d1 1553947044.604 * [backup-simplify]: Simplify 27000 into 27000 1553947044.604 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.604 * [backup-simplify]: Simplify 0 into 0 1553947044.604 * [backup-simplify]: Simplify 1 into 1 1553947044.604 * [taylor]: Taking taylor expansion of (* (fma d2 (pow d2 2) 27000) d1) in d2 1553947044.604 * [taylor]: Taking taylor expansion of (fma d2 (pow d2 2) 27000) in d2 1553947044.604 * [taylor]: Rewrote expression to (+ (* d2 (pow d2 2)) 27000) 1553947044.604 * [taylor]: Taking taylor expansion of (* d2 (pow d2 2)) in d2 1553947044.604 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.604 * [backup-simplify]: Simplify 0 into 0 1553947044.604 * [backup-simplify]: Simplify 1 into 1 1553947044.604 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.604 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.604 * [backup-simplify]: Simplify 0 into 0 1553947044.604 * [backup-simplify]: Simplify 1 into 1 1553947044.604 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.604 * [backup-simplify]: Simplify 27000 into 27000 1553947044.604 * [taylor]: Taking taylor expansion of d1 in d2 1553947044.604 * [backup-simplify]: Simplify d1 into d1 1553947044.604 * [taylor]: Taking taylor expansion of (* (fma d2 (pow d2 2) 27000) d1) in d2 1553947044.604 * [taylor]: Taking taylor expansion of (fma d2 (pow d2 2) 27000) in d2 1553947044.604 * [taylor]: Rewrote expression to (+ (* d2 (pow d2 2)) 27000) 1553947044.604 * [taylor]: Taking taylor expansion of (* d2 (pow d2 2)) in d2 1553947044.604 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.604 * [backup-simplify]: Simplify 0 into 0 1553947044.604 * [backup-simplify]: Simplify 1 into 1 1553947044.604 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.604 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.604 * [backup-simplify]: Simplify 0 into 0 1553947044.604 * [backup-simplify]: Simplify 1 into 1 1553947044.604 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.604 * [backup-simplify]: Simplify 27000 into 27000 1553947044.604 * [taylor]: Taking taylor expansion of d1 in d2 1553947044.604 * [backup-simplify]: Simplify d1 into d1 1553947044.605 * [backup-simplify]: Simplify (+ 0 27000) into 27000 1553947044.605 * [backup-simplify]: Simplify (* 27000 d1) into (* 27000 d1) 1553947044.605 * [taylor]: Taking taylor expansion of (* 27000 d1) in d1 1553947044.605 * [taylor]: Taking taylor expansion of 27000 in d1 1553947044.605 * [backup-simplify]: Simplify 27000 into 27000 1553947044.605 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.605 * [backup-simplify]: Simplify 0 into 0 1553947044.605 * [backup-simplify]: Simplify 1 into 1 1553947044.605 * [backup-simplify]: Simplify (* 27000 0) into 0 1553947044.605 * [backup-simplify]: Simplify 0 into 0 1553947044.605 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.606 * [backup-simplify]: Simplify (+ (* 27000 0) (* 0 d1)) into 0 1553947044.606 * [taylor]: Taking taylor expansion of 0 in d1 1553947044.606 * [backup-simplify]: Simplify 0 into 0 1553947044.606 * [backup-simplify]: Simplify 0 into 0 1553947044.606 * [backup-simplify]: Simplify (+ (* 27000 1) (* 0 0)) into 27000 1553947044.606 * [backup-simplify]: Simplify 27000 into 27000 1553947044.606 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.607 * [backup-simplify]: Simplify (* 0 1) into 0 1553947044.607 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.607 * [backup-simplify]: Simplify (+ (* 27000 0) (+ (* 0 0) (* 0 d1))) into 0 1553947044.607 * [taylor]: Taking taylor expansion of 0 in d1 1553947044.607 * [backup-simplify]: Simplify 0 into 0 1553947044.608 * [backup-simplify]: Simplify 0 into 0 1553947044.608 * [backup-simplify]: Simplify 0 into 0 1553947044.608 * [backup-simplify]: Simplify (+ (* 27000 0) (+ (* 0 1) (* 0 0))) into 0 1553947044.608 * [backup-simplify]: Simplify 0 into 0 1553947044.609 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.609 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 1)) into 1 1553947044.609 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.611 * [backup-simplify]: Simplify (+ (* 27000 0) (+ (* 0 0) (+ (* 0 0) (* 1 d1)))) into d1 1553947044.611 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.611 * [backup-simplify]: Simplify 0 into 0 1553947044.611 * [backup-simplify]: Simplify 1 into 1 1553947044.611 * [backup-simplify]: Simplify 0 into 0 1553947044.611 * [backup-simplify]: Simplify 0 into 0 1553947044.611 * [backup-simplify]: Simplify 0 into 0 1553947044.611 * [backup-simplify]: Simplify (* 27000 (* d1 1)) into (* 27000 d1) 1553947044.611 * [backup-simplify]: Simplify (* (fma (/ 1 d2) (* (/ 1 d2) (/ 1 d2)) 27000) (/ 1 d1)) into (/ (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) d1) 1553947044.611 * [approximate]: Taking taylor expansion of (/ (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) d1) in (d2 d1) around 0 1553947044.611 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) d1) in d1 1553947044.611 * [taylor]: Taking taylor expansion of (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) in d1 1553947044.611 * [taylor]: Rewrote expression to (+ (* (/ 1 d2) (/ 1 (pow d2 2))) 27000) 1553947044.611 * [taylor]: Taking taylor expansion of (* (/ 1 d2) (/ 1 (pow d2 2))) in d1 1553947044.611 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 1553947044.611 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.611 * [backup-simplify]: Simplify d2 into d2 1553947044.612 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1553947044.612 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d1 1553947044.612 * [taylor]: Taking taylor expansion of (pow d2 2) in d1 1553947044.612 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.612 * [backup-simplify]: Simplify d2 into d2 1553947044.612 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1553947044.612 * [backup-simplify]: Simplify (/ 1 (pow d2 2)) into (/ 1 (pow d2 2)) 1553947044.612 * [taylor]: Taking taylor expansion of 27000 in d1 1553947044.612 * [backup-simplify]: Simplify 27000 into 27000 1553947044.612 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.612 * [backup-simplify]: Simplify 0 into 0 1553947044.612 * [backup-simplify]: Simplify 1 into 1 1553947044.612 * [backup-simplify]: Simplify (* (/ 1 d2) (/ 1 (pow d2 2))) into (/ 1 (pow d2 3)) 1553947044.612 * [backup-simplify]: Simplify (+ (/ 1 (pow d2 3)) 27000) into (+ (/ 1 (pow d2 3)) 27000) 1553947044.612 * [backup-simplify]: Simplify (/ (+ (/ 1 (pow d2 3)) 27000) 1) into (+ (/ 1 (pow d2 3)) 27000) 1553947044.612 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) d1) in d2 1553947044.612 * [taylor]: Taking taylor expansion of (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) in d2 1553947044.612 * [taylor]: Rewrote expression to (+ (* (/ 1 d2) (/ 1 (pow d2 2))) 27000) 1553947044.613 * [taylor]: Taking taylor expansion of (* (/ 1 d2) (/ 1 (pow d2 2))) in d2 1553947044.613 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947044.613 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.613 * [backup-simplify]: Simplify 0 into 0 1553947044.613 * [backup-simplify]: Simplify 1 into 1 1553947044.613 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.613 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.613 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.613 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.613 * [backup-simplify]: Simplify 0 into 0 1553947044.613 * [backup-simplify]: Simplify 1 into 1 1553947044.613 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.614 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.614 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.614 * [backup-simplify]: Simplify 27000 into 27000 1553947044.614 * [taylor]: Taking taylor expansion of d1 in d2 1553947044.614 * [backup-simplify]: Simplify d1 into d1 1553947044.615 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.615 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.615 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1553947044.615 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) d1) in d2 1553947044.615 * [taylor]: Taking taylor expansion of (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) in d2 1553947044.615 * [taylor]: Rewrote expression to (+ (* (/ 1 d2) (/ 1 (pow d2 2))) 27000) 1553947044.615 * [taylor]: Taking taylor expansion of (* (/ 1 d2) (/ 1 (pow d2 2))) in d2 1553947044.615 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947044.615 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.615 * [backup-simplify]: Simplify 0 into 0 1553947044.615 * [backup-simplify]: Simplify 1 into 1 1553947044.618 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.618 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.618 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.618 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.618 * [backup-simplify]: Simplify 0 into 0 1553947044.618 * [backup-simplify]: Simplify 1 into 1 1553947044.619 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.619 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.619 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.619 * [backup-simplify]: Simplify 27000 into 27000 1553947044.619 * [taylor]: Taking taylor expansion of d1 in d2 1553947044.619 * [backup-simplify]: Simplify d1 into d1 1553947044.620 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.620 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.620 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1553947044.620 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1553947044.620 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.620 * [backup-simplify]: Simplify 0 into 0 1553947044.620 * [backup-simplify]: Simplify 1 into 1 1553947044.621 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.621 * [backup-simplify]: Simplify 1 into 1 1553947044.621 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.623 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.624 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.624 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ 0 d1)))) into 0 1553947044.624 * [taylor]: Taking taylor expansion of 0 in d1 1553947044.624 * [backup-simplify]: Simplify 0 into 0 1553947044.625 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.625 * [backup-simplify]: Simplify 0 into 0 1553947044.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.629 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.629 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0 1553947044.629 * [taylor]: Taking taylor expansion of 0 in d1 1553947044.629 * [backup-simplify]: Simplify 0 into 0 1553947044.629 * [backup-simplify]: Simplify 0 into 0 1553947044.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.630 * [backup-simplify]: Simplify 0 into 0 1553947044.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.632 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.635 * [backup-simplify]: Simplify (+ 0 27000) into 27000 1553947044.635 * [backup-simplify]: Simplify (- (/ 27000 d1) (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)) (* 0 (/ 0 d1)))) into (* 27000 (/ 1 d1)) 1553947044.635 * [taylor]: Taking taylor expansion of (* 27000 (/ 1 d1)) in d1 1553947044.635 * [taylor]: Taking taylor expansion of 27000 in d1 1553947044.635 * [backup-simplify]: Simplify 27000 into 27000 1553947044.635 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1553947044.635 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.635 * [backup-simplify]: Simplify 0 into 0 1553947044.635 * [backup-simplify]: Simplify 1 into 1 1553947044.636 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.636 * [backup-simplify]: Simplify (* 27000 1) into 27000 1553947044.636 * [backup-simplify]: Simplify 27000 into 27000 1553947044.636 * [backup-simplify]: Simplify 0 into 0 1553947044.636 * [backup-simplify]: Simplify 0 into 0 1553947044.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.637 * [backup-simplify]: Simplify 0 into 0 1553947044.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947044.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947044.640 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.640 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)) (* 0 (/ 0 d1)) (* (* 27000 (/ 1 d1)) (/ 0 d1)))) into 0 1553947044.640 * [taylor]: Taking taylor expansion of 0 in d1 1553947044.640 * [backup-simplify]: Simplify 0 into 0 1553947044.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.641 * [backup-simplify]: Simplify (+ (* 27000 0) (* 0 1)) into 0 1553947044.641 * [backup-simplify]: Simplify 0 into 0 1553947044.641 * [backup-simplify]: Simplify 0 into 0 1553947044.641 * [backup-simplify]: Simplify 0 into 0 1553947044.641 * [backup-simplify]: Simplify (+ (* 27000 (* (/ 1 (/ 1 d1)) 1)) (* 1 (* (/ 1 (/ 1 d1)) (pow (/ 1 d2) -3)))) into (+ (* (pow d2 3) d1) (* 27000 d1)) 1553947044.642 * [backup-simplify]: Simplify (* (fma (/ 1 (- d2)) (* (/ 1 (- d2)) (/ 1 (- d2))) 27000) (/ 1 (- d1))) into (* -1 (/ (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) d1)) 1553947044.642 * [approximate]: Taking taylor expansion of (* -1 (/ (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) d1)) in (d2 d1) around 0 1553947044.642 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) d1)) in d1 1553947044.642 * [taylor]: Taking taylor expansion of -1 in d1 1553947044.642 * [backup-simplify]: Simplify -1 into -1 1553947044.642 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) d1) in d1 1553947044.642 * [taylor]: Taking taylor expansion of (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) in d1 1553947044.642 * [taylor]: Rewrote expression to (+ (* (/ -1 d2) (/ 1 (pow d2 2))) 27000) 1553947044.642 * [taylor]: Taking taylor expansion of (* (/ -1 d2) (/ 1 (pow d2 2))) in d1 1553947044.642 * [taylor]: Taking taylor expansion of (/ -1 d2) in d1 1553947044.642 * [taylor]: Taking taylor expansion of -1 in d1 1553947044.642 * [backup-simplify]: Simplify -1 into -1 1553947044.642 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.642 * [backup-simplify]: Simplify d2 into d2 1553947044.642 * [backup-simplify]: Simplify (/ -1 d2) into (/ -1 d2) 1553947044.642 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d1 1553947044.642 * [taylor]: Taking taylor expansion of (pow d2 2) in d1 1553947044.642 * [taylor]: Taking taylor expansion of d2 in d1 1553947044.642 * [backup-simplify]: Simplify d2 into d2 1553947044.642 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1553947044.642 * [backup-simplify]: Simplify (/ 1 (pow d2 2)) into (/ 1 (pow d2 2)) 1553947044.642 * [taylor]: Taking taylor expansion of 27000 in d1 1553947044.642 * [backup-simplify]: Simplify 27000 into 27000 1553947044.642 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.642 * [backup-simplify]: Simplify 0 into 0 1553947044.642 * [backup-simplify]: Simplify 1 into 1 1553947044.642 * [backup-simplify]: Simplify (* (/ -1 d2) (/ 1 (pow d2 2))) into (/ -1 (pow d2 3)) 1553947044.642 * [backup-simplify]: Simplify (+ (/ -1 (pow d2 3)) 27000) into (- 27000 (/ 1 (pow d2 3))) 1553947044.642 * [backup-simplify]: Simplify (/ (- 27000 (/ 1 (pow d2 3))) 1) into (- 27000 (/ 1 (pow d2 3))) 1553947044.642 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) d1)) in d2 1553947044.642 * [taylor]: Taking taylor expansion of -1 in d2 1553947044.642 * [backup-simplify]: Simplify -1 into -1 1553947044.642 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) d1) in d2 1553947044.642 * [taylor]: Taking taylor expansion of (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) in d2 1553947044.642 * [taylor]: Rewrote expression to (+ (* (/ -1 d2) (/ 1 (pow d2 2))) 27000) 1553947044.642 * [taylor]: Taking taylor expansion of (* (/ -1 d2) (/ 1 (pow d2 2))) in d2 1553947044.642 * [taylor]: Taking taylor expansion of (/ -1 d2) in d2 1553947044.642 * [taylor]: Taking taylor expansion of -1 in d2 1553947044.642 * [backup-simplify]: Simplify -1 into -1 1553947044.642 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.642 * [backup-simplify]: Simplify 0 into 0 1553947044.642 * [backup-simplify]: Simplify 1 into 1 1553947044.643 * [backup-simplify]: Simplify (/ -1 1) into -1 1553947044.643 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.643 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.643 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.643 * [backup-simplify]: Simplify 0 into 0 1553947044.643 * [backup-simplify]: Simplify 1 into 1 1553947044.643 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.643 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.643 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.643 * [backup-simplify]: Simplify 27000 into 27000 1553947044.643 * [taylor]: Taking taylor expansion of d1 in d2 1553947044.643 * [backup-simplify]: Simplify d1 into d1 1553947044.644 * [backup-simplify]: Simplify (* -1 1) into -1 1553947044.644 * [backup-simplify]: Simplify (+ -1 0) into -1 1553947044.644 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 1553947044.644 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) d1)) in d2 1553947044.644 * [taylor]: Taking taylor expansion of -1 in d2 1553947044.644 * [backup-simplify]: Simplify -1 into -1 1553947044.644 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) d1) in d2 1553947044.644 * [taylor]: Taking taylor expansion of (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) in d2 1553947044.644 * [taylor]: Rewrote expression to (+ (* (/ -1 d2) (/ 1 (pow d2 2))) 27000) 1553947044.644 * [taylor]: Taking taylor expansion of (* (/ -1 d2) (/ 1 (pow d2 2))) in d2 1553947044.644 * [taylor]: Taking taylor expansion of (/ -1 d2) in d2 1553947044.644 * [taylor]: Taking taylor expansion of -1 in d2 1553947044.644 * [backup-simplify]: Simplify -1 into -1 1553947044.644 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.644 * [backup-simplify]: Simplify 0 into 0 1553947044.644 * [backup-simplify]: Simplify 1 into 1 1553947044.644 * [backup-simplify]: Simplify (/ -1 1) into -1 1553947044.645 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.645 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.645 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.645 * [backup-simplify]: Simplify 0 into 0 1553947044.645 * [backup-simplify]: Simplify 1 into 1 1553947044.645 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.645 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.645 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.645 * [backup-simplify]: Simplify 27000 into 27000 1553947044.645 * [taylor]: Taking taylor expansion of d1 in d2 1553947044.645 * [backup-simplify]: Simplify d1 into d1 1553947044.645 * [backup-simplify]: Simplify (* -1 1) into -1 1553947044.646 * [backup-simplify]: Simplify (+ -1 0) into -1 1553947044.646 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 1553947044.646 * [backup-simplify]: Simplify (* -1 (/ -1 d1)) into (/ 1 d1) 1553947044.646 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1553947044.646 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.646 * [backup-simplify]: Simplify 0 into 0 1553947044.646 * [backup-simplify]: Simplify 1 into 1 1553947044.646 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.646 * [backup-simplify]: Simplify 1 into 1 1553947044.646 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.647 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1553947044.648 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 1553947044.648 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.648 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ -1 d1) (/ 0 d1)))) into 0 1553947044.648 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 d1))) into 0 1553947044.648 * [taylor]: Taking taylor expansion of 0 in d1 1553947044.648 * [backup-simplify]: Simplify 0 into 0 1553947044.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.649 * [backup-simplify]: Simplify 0 into 0 1553947044.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.650 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.651 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.651 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.651 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ -1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0 1553947044.652 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 d1)))) into 0 1553947044.652 * [taylor]: Taking taylor expansion of 0 in d1 1553947044.652 * [backup-simplify]: Simplify 0 into 0 1553947044.652 * [backup-simplify]: Simplify 0 into 0 1553947044.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.653 * [backup-simplify]: Simplify 0 into 0 1553947044.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.654 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.655 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.655 * [backup-simplify]: Simplify (+ 0 27000) into 27000 1553947044.655 * [backup-simplify]: Simplify (- (/ 27000 d1) (+ (* (/ -1 d1) (/ 0 d1)) (* 0 (/ 0 d1)) (* 0 (/ 0 d1)))) into (* 27000 (/ 1 d1)) 1553947044.656 * [backup-simplify]: Simplify (+ (* -1 (* 27000 (/ 1 d1))) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 d1))))) into (- (* 27000 (/ 1 d1))) 1553947044.656 * [taylor]: Taking taylor expansion of (- (* 27000 (/ 1 d1))) in d1 1553947044.656 * [taylor]: Taking taylor expansion of (* 27000 (/ 1 d1)) in d1 1553947044.656 * [taylor]: Taking taylor expansion of 27000 in d1 1553947044.656 * [backup-simplify]: Simplify 27000 into 27000 1553947044.656 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1553947044.656 * [taylor]: Taking taylor expansion of d1 in d1 1553947044.656 * [backup-simplify]: Simplify 0 into 0 1553947044.656 * [backup-simplify]: Simplify 1 into 1 1553947044.656 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.657 * [backup-simplify]: Simplify (* 27000 1) into 27000 1553947044.657 * [backup-simplify]: Simplify (- 27000) into -27000 1553947044.657 * [backup-simplify]: Simplify -27000 into -27000 1553947044.657 * [backup-simplify]: Simplify 0 into 0 1553947044.657 * [backup-simplify]: Simplify 0 into 0 1553947044.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.657 * [backup-simplify]: Simplify 0 into 0 1553947044.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947044.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.659 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.660 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947044.660 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.660 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ -1 d1) (/ 0 d1)) (* 0 (/ 0 d1)) (* 0 (/ 0 d1)) (* (* 27000 (/ 1 d1)) (/ 0 d1)))) into 0 1553947044.661 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 27000 (/ 1 d1))) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 d1)))))) into 0 1553947044.661 * [taylor]: Taking taylor expansion of 0 in d1 1553947044.661 * [backup-simplify]: Simplify 0 into 0 1553947044.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.662 * [backup-simplify]: Simplify (+ (* 27000 0) (* 0 1)) into 0 1553947044.662 * [backup-simplify]: Simplify (- 0) into 0 1553947044.662 * [backup-simplify]: Simplify 0 into 0 1553947044.662 * [backup-simplify]: Simplify 0 into 0 1553947044.662 * [backup-simplify]: Simplify 0 into 0 1553947044.663 * [backup-simplify]: Simplify (+ (* -27000 (* (/ 1 (/ 1 (- d1))) 1)) (* 1 (* (/ 1 (/ 1 (- d1))) (pow (/ 1 (- d2)) -3)))) into (+ (* (pow d2 3) d1) (* 27000 d1)) 1553947044.663 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 1553947044.663 * [backup-simplify]: Simplify (- (* d2 d2) (* 30 d2)) into (- (pow d2 2) (* 30 d2)) 1553947044.663 * [approximate]: Taking taylor expansion of (- (pow d2 2) (* 30 d2)) in (d2) around 0 1553947044.663 * [taylor]: Taking taylor expansion of (- (pow d2 2) (* 30 d2)) in d2 1553947044.663 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.663 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.663 * [backup-simplify]: Simplify 0 into 0 1553947044.663 * [backup-simplify]: Simplify 1 into 1 1553947044.663 * [taylor]: Taking taylor expansion of (* 30 d2) in d2 1553947044.663 * [taylor]: Taking taylor expansion of 30 in d2 1553947044.663 * [backup-simplify]: Simplify 30 into 30 1553947044.663 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.663 * [backup-simplify]: Simplify 0 into 0 1553947044.663 * [backup-simplify]: Simplify 1 into 1 1553947044.663 * [taylor]: Taking taylor expansion of (- (pow d2 2) (* 30 d2)) in d2 1553947044.663 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.663 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.663 * [backup-simplify]: Simplify 0 into 0 1553947044.663 * [backup-simplify]: Simplify 1 into 1 1553947044.663 * [taylor]: Taking taylor expansion of (* 30 d2) in d2 1553947044.663 * [taylor]: Taking taylor expansion of 30 in d2 1553947044.663 * [backup-simplify]: Simplify 30 into 30 1553947044.663 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.663 * [backup-simplify]: Simplify 0 into 0 1553947044.663 * [backup-simplify]: Simplify 1 into 1 1553947044.663 * [backup-simplify]: Simplify (* 30 0) into 0 1553947044.664 * [backup-simplify]: Simplify (- 0) into 0 1553947044.664 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.664 * [backup-simplify]: Simplify 0 into 0 1553947044.664 * [backup-simplify]: Simplify (+ (* 30 1) (* 0 0)) into 30 1553947044.664 * [backup-simplify]: Simplify (- 30) into -30 1553947044.665 * [backup-simplify]: Simplify (+ 0 -30) into -30 1553947044.665 * [backup-simplify]: Simplify -30 into -30 1553947044.665 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.666 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 1) (* 0 0))) into 0 1553947044.666 * [backup-simplify]: Simplify (- 0) into 0 1553947044.666 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.666 * [backup-simplify]: Simplify 1 into 1 1553947044.666 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.667 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1553947044.667 * [backup-simplify]: Simplify (- 0) into 0 1553947044.668 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.668 * [backup-simplify]: Simplify 0 into 0 1553947044.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.669 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1553947044.669 * [backup-simplify]: Simplify (- 0) into 0 1553947044.669 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.670 * [backup-simplify]: Simplify 0 into 0 1553947044.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.672 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1553947044.673 * [backup-simplify]: Simplify (- 0) into 0 1553947044.673 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.673 * [backup-simplify]: Simplify 0 into 0 1553947044.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947044.676 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1553947044.677 * [backup-simplify]: Simplify (- 0) into 0 1553947044.677 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.677 * [backup-simplify]: Simplify 0 into 0 1553947044.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947044.680 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1553947044.680 * [backup-simplify]: Simplify (- 0) into 0 1553947044.681 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.681 * [backup-simplify]: Simplify 0 into 0 1553947044.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947044.684 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1553947044.685 * [backup-simplify]: Simplify (- 0) into 0 1553947044.685 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.685 * [backup-simplify]: Simplify 0 into 0 1553947044.685 * [backup-simplify]: Simplify (+ (* 1 (pow d2 2)) (* -30 d2)) into (- (pow d2 2) (* 30 d2)) 1553947044.685 * [backup-simplify]: Simplify (- (* (/ 1 d2) (/ 1 d2)) (* 30 (/ 1 d2))) into (- (/ 1 (pow d2 2)) (* 30 (/ 1 d2))) 1553947044.686 * [approximate]: Taking taylor expansion of (- (/ 1 (pow d2 2)) (* 30 (/ 1 d2))) in (d2) around 0 1553947044.686 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d2 2)) (* 30 (/ 1 d2))) in d2 1553947044.686 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.686 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.686 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.686 * [backup-simplify]: Simplify 0 into 0 1553947044.686 * [backup-simplify]: Simplify 1 into 1 1553947044.686 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.686 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.686 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d2 1553947044.686 * [taylor]: Taking taylor expansion of 30 in d2 1553947044.687 * [backup-simplify]: Simplify 30 into 30 1553947044.687 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947044.687 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.687 * [backup-simplify]: Simplify 0 into 0 1553947044.687 * [backup-simplify]: Simplify 1 into 1 1553947044.687 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.687 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d2 2)) (* 30 (/ 1 d2))) in d2 1553947044.687 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.687 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.687 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.687 * [backup-simplify]: Simplify 0 into 0 1553947044.687 * [backup-simplify]: Simplify 1 into 1 1553947044.688 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.688 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.688 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d2 1553947044.688 * [taylor]: Taking taylor expansion of 30 in d2 1553947044.688 * [backup-simplify]: Simplify 30 into 30 1553947044.688 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947044.688 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.688 * [backup-simplify]: Simplify 0 into 0 1553947044.688 * [backup-simplify]: Simplify 1 into 1 1553947044.688 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.689 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.689 * [backup-simplify]: Simplify 1 into 1 1553947044.690 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.690 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.691 * [backup-simplify]: Simplify (* 30 1) into 30 1553947044.691 * [backup-simplify]: Simplify (- 30) into -30 1553947044.692 * [backup-simplify]: Simplify (+ 0 -30) into -30 1553947044.692 * [backup-simplify]: Simplify -30 into -30 1553947044.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.695 * [backup-simplify]: Simplify (+ (* 30 0) (* 0 1)) into 0 1553947044.695 * [backup-simplify]: Simplify (- 0) into 0 1553947044.696 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.696 * [backup-simplify]: Simplify 0 into 0 1553947044.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.699 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.700 * [backup-simplify]: Simplify (- 0) into 0 1553947044.700 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.700 * [backup-simplify]: Simplify 0 into 0 1553947044.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947044.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.703 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.704 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.705 * [backup-simplify]: Simplify (- 0) into 0 1553947044.705 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.705 * [backup-simplify]: Simplify 0 into 0 1553947044.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947044.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.708 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.709 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947044.710 * [backup-simplify]: Simplify (- 0) into 0 1553947044.710 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.710 * [backup-simplify]: Simplify 0 into 0 1553947044.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947044.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.715 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947044.716 * [backup-simplify]: Simplify (- 0) into 0 1553947044.716 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.716 * [backup-simplify]: Simplify 0 into 0 1553947044.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553947044.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.721 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947044.722 * [backup-simplify]: Simplify (- 0) into 0 1553947044.722 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.722 * [backup-simplify]: Simplify 0 into 0 1553947044.722 * [backup-simplify]: Simplify (+ (* -30 (/ 1 (/ 1 d2))) (* 1 (pow (/ 1 (/ 1 d2)) 2))) into (- (pow d2 2) (* 30 d2)) 1553947044.723 * [backup-simplify]: Simplify (- (* (/ 1 (- d2)) (/ 1 (- d2))) (* 30 (/ 1 (- d2)))) into (+ (* 30 (/ 1 d2)) (/ 1 (pow d2 2))) 1553947044.723 * [approximate]: Taking taylor expansion of (+ (* 30 (/ 1 d2)) (/ 1 (pow d2 2))) in (d2) around 0 1553947044.723 * [taylor]: Taking taylor expansion of (+ (* 30 (/ 1 d2)) (/ 1 (pow d2 2))) in d2 1553947044.723 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d2 1553947044.723 * [taylor]: Taking taylor expansion of 30 in d2 1553947044.723 * [backup-simplify]: Simplify 30 into 30 1553947044.723 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947044.723 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.723 * [backup-simplify]: Simplify 0 into 0 1553947044.723 * [backup-simplify]: Simplify 1 into 1 1553947044.723 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.723 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.723 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.723 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.723 * [backup-simplify]: Simplify 0 into 0 1553947044.723 * [backup-simplify]: Simplify 1 into 1 1553947044.724 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.724 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.724 * [taylor]: Taking taylor expansion of (+ (* 30 (/ 1 d2)) (/ 1 (pow d2 2))) in d2 1553947044.724 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d2 1553947044.724 * [taylor]: Taking taylor expansion of 30 in d2 1553947044.724 * [backup-simplify]: Simplify 30 into 30 1553947044.724 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947044.724 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.724 * [backup-simplify]: Simplify 0 into 0 1553947044.724 * [backup-simplify]: Simplify 1 into 1 1553947044.725 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.725 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.725 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.725 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.725 * [backup-simplify]: Simplify 0 into 0 1553947044.725 * [backup-simplify]: Simplify 1 into 1 1553947044.725 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.726 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.726 * [backup-simplify]: Simplify (+ 0 1) into 1 1553947044.726 * [backup-simplify]: Simplify 1 into 1 1553947044.727 * [backup-simplify]: Simplify (* 30 1) into 30 1553947044.727 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.729 * [backup-simplify]: Simplify (+ 30 0) into 30 1553947044.729 * [backup-simplify]: Simplify 30 into 30 1553947044.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.730 * [backup-simplify]: Simplify (+ (* 30 0) (* 0 1)) into 0 1553947044.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.732 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.732 * [backup-simplify]: Simplify 0 into 0 1553947044.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.734 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.737 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.737 * [backup-simplify]: Simplify 0 into 0 1553947044.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.739 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947044.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.744 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.744 * [backup-simplify]: Simplify 0 into 0 1553947044.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.746 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947044.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947044.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.749 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.749 * [backup-simplify]: Simplify 0 into 0 1553947044.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.751 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947044.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947044.754 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.754 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.754 * [backup-simplify]: Simplify 0 into 0 1553947044.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.757 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947044.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553947044.759 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.760 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.760 * [backup-simplify]: Simplify 0 into 0 1553947044.760 * [backup-simplify]: Simplify (+ (* 30 (/ 1 (/ 1 (- d2)))) (* 1 (pow (/ 1 (/ 1 (- d2))) 2))) into (- (pow d2 2) (* 30 d2)) 1553947044.760 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1553947044.760 * [backup-simplify]: Simplify (fma d2 (* d2 d2) 27000) into (fma d2 (pow d2 2) 27000) 1553947044.760 * [approximate]: Taking taylor expansion of (fma d2 (pow d2 2) 27000) in (d2) around 0 1553947044.760 * [taylor]: Taking taylor expansion of (fma d2 (pow d2 2) 27000) in d2 1553947044.760 * [taylor]: Rewrote expression to (+ (* d2 (pow d2 2)) 27000) 1553947044.760 * [taylor]: Taking taylor expansion of (* d2 (pow d2 2)) in d2 1553947044.761 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.761 * [backup-simplify]: Simplify 0 into 0 1553947044.761 * [backup-simplify]: Simplify 1 into 1 1553947044.761 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.761 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.761 * [backup-simplify]: Simplify 0 into 0 1553947044.761 * [backup-simplify]: Simplify 1 into 1 1553947044.761 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.761 * [backup-simplify]: Simplify 27000 into 27000 1553947044.761 * [taylor]: Taking taylor expansion of (fma d2 (pow d2 2) 27000) in d2 1553947044.761 * [taylor]: Rewrote expression to (+ (* d2 (pow d2 2)) 27000) 1553947044.761 * [taylor]: Taking taylor expansion of (* d2 (pow d2 2)) in d2 1553947044.761 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.761 * [backup-simplify]: Simplify 0 into 0 1553947044.761 * [backup-simplify]: Simplify 1 into 1 1553947044.761 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.761 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.761 * [backup-simplify]: Simplify 0 into 0 1553947044.761 * [backup-simplify]: Simplify 1 into 1 1553947044.761 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.761 * [backup-simplify]: Simplify 27000 into 27000 1553947044.762 * [backup-simplify]: Simplify (+ 0 27000) into 27000 1553947044.762 * [backup-simplify]: Simplify 27000 into 27000 1553947044.762 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.762 * [backup-simplify]: Simplify 0 into 0 1553947044.762 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.763 * [backup-simplify]: Simplify (* 0 1) into 0 1553947044.763 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.763 * [backup-simplify]: Simplify 0 into 0 1553947044.764 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.764 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 1)) into 1 1553947044.765 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.765 * [backup-simplify]: Simplify 1 into 1 1553947044.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.767 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 1))) into 0 1553947044.767 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.767 * [backup-simplify]: Simplify 0 into 0 1553947044.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.769 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.770 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.770 * [backup-simplify]: Simplify 0 into 0 1553947044.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947044.772 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947044.772 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.772 * [backup-simplify]: Simplify 0 into 0 1553947044.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947044.775 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947044.775 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.775 * [backup-simplify]: Simplify 0 into 0 1553947044.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947044.778 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947044.779 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.779 * [backup-simplify]: Simplify 0 into 0 1553947044.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553947044.782 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553947044.782 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.782 * [backup-simplify]: Simplify 0 into 0 1553947044.783 * [backup-simplify]: Simplify (+ (* 1 (pow d2 3)) 27000) into (+ (pow d2 3) 27000) 1553947044.783 * [backup-simplify]: Simplify (fma (/ 1 d2) (* (/ 1 d2) (/ 1 d2)) 27000) into (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) 1553947044.783 * [approximate]: Taking taylor expansion of (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) in (d2) around 0 1553947044.783 * [taylor]: Taking taylor expansion of (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) in d2 1553947044.783 * [taylor]: Rewrote expression to (+ (* (/ 1 d2) (/ 1 (pow d2 2))) 27000) 1553947044.783 * [taylor]: Taking taylor expansion of (* (/ 1 d2) (/ 1 (pow d2 2))) in d2 1553947044.783 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947044.783 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.783 * [backup-simplify]: Simplify 0 into 0 1553947044.783 * [backup-simplify]: Simplify 1 into 1 1553947044.783 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.783 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.784 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.784 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.784 * [backup-simplify]: Simplify 0 into 0 1553947044.784 * [backup-simplify]: Simplify 1 into 1 1553947044.784 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.784 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.784 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.785 * [backup-simplify]: Simplify 27000 into 27000 1553947044.785 * [taylor]: Taking taylor expansion of (fma (/ 1 d2) (/ 1 (pow d2 2)) 27000) in d2 1553947044.785 * [taylor]: Rewrote expression to (+ (* (/ 1 d2) (/ 1 (pow d2 2))) 27000) 1553947044.785 * [taylor]: Taking taylor expansion of (* (/ 1 d2) (/ 1 (pow d2 2))) in d2 1553947044.785 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1553947044.785 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.785 * [backup-simplify]: Simplify 0 into 0 1553947044.785 * [backup-simplify]: Simplify 1 into 1 1553947044.785 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.785 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.785 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.785 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.785 * [backup-simplify]: Simplify 0 into 0 1553947044.785 * [backup-simplify]: Simplify 1 into 1 1553947044.786 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.786 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.786 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.786 * [backup-simplify]: Simplify 27000 into 27000 1553947044.786 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.787 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947044.787 * [backup-simplify]: Simplify 1 into 1 1553947044.787 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.790 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.790 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.790 * [backup-simplify]: Simplify 0 into 0 1553947044.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.793 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.794 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.794 * [backup-simplify]: Simplify 0 into 0 1553947044.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.799 * [backup-simplify]: Simplify (+ 0 27000) into 27000 1553947044.799 * [backup-simplify]: Simplify 27000 into 27000 1553947044.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947044.801 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.802 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947044.803 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.803 * [backup-simplify]: Simplify 0 into 0 1553947044.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947044.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947044.808 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.808 * [backup-simplify]: Simplify 0 into 0 1553947044.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947044.811 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947044.813 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.813 * [backup-simplify]: Simplify 0 into 0 1553947044.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553947044.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553947044.819 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.819 * [backup-simplify]: Simplify 0 into 0 1553947044.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1553947044.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1553947044.825 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.825 * [backup-simplify]: Simplify 0 into 0 1553947044.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 1553947044.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 1553947044.831 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.831 * [backup-simplify]: Simplify 0 into 0 1553947044.832 * [backup-simplify]: Simplify (+ 27000 (* 1 (pow (/ 1 (/ 1 d2)) 3))) into (+ (pow d2 3) 27000) 1553947044.832 * [backup-simplify]: Simplify (fma (/ 1 (- d2)) (* (/ 1 (- d2)) (/ 1 (- d2))) 27000) into (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) 1553947044.832 * [approximate]: Taking taylor expansion of (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) in (d2) around 0 1553947044.832 * [taylor]: Taking taylor expansion of (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) in d2 1553947044.832 * [taylor]: Rewrote expression to (+ (* (/ -1 d2) (/ 1 (pow d2 2))) 27000) 1553947044.832 * [taylor]: Taking taylor expansion of (* (/ -1 d2) (/ 1 (pow d2 2))) in d2 1553947044.832 * [taylor]: Taking taylor expansion of (/ -1 d2) in d2 1553947044.832 * [taylor]: Taking taylor expansion of -1 in d2 1553947044.832 * [backup-simplify]: Simplify -1 into -1 1553947044.832 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.832 * [backup-simplify]: Simplify 0 into 0 1553947044.832 * [backup-simplify]: Simplify 1 into 1 1553947044.833 * [backup-simplify]: Simplify (/ -1 1) into -1 1553947044.833 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.833 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.833 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.833 * [backup-simplify]: Simplify 0 into 0 1553947044.833 * [backup-simplify]: Simplify 1 into 1 1553947044.833 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.834 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.834 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.834 * [backup-simplify]: Simplify 27000 into 27000 1553947044.834 * [taylor]: Taking taylor expansion of (fma (/ -1 d2) (/ 1 (pow d2 2)) 27000) in d2 1553947044.834 * [taylor]: Rewrote expression to (+ (* (/ -1 d2) (/ 1 (pow d2 2))) 27000) 1553947044.834 * [taylor]: Taking taylor expansion of (* (/ -1 d2) (/ 1 (pow d2 2))) in d2 1553947044.834 * [taylor]: Taking taylor expansion of (/ -1 d2) in d2 1553947044.834 * [taylor]: Taking taylor expansion of -1 in d2 1553947044.834 * [backup-simplify]: Simplify -1 into -1 1553947044.834 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.834 * [backup-simplify]: Simplify 0 into 0 1553947044.834 * [backup-simplify]: Simplify 1 into 1 1553947044.834 * [backup-simplify]: Simplify (/ -1 1) into -1 1553947044.834 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1553947044.834 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1553947044.834 * [taylor]: Taking taylor expansion of d2 in d2 1553947044.834 * [backup-simplify]: Simplify 0 into 0 1553947044.834 * [backup-simplify]: Simplify 1 into 1 1553947044.835 * [backup-simplify]: Simplify (* 1 1) into 1 1553947044.835 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947044.835 * [taylor]: Taking taylor expansion of 27000 in d2 1553947044.835 * [backup-simplify]: Simplify 27000 into 27000 1553947044.836 * [backup-simplify]: Simplify (* -1 1) into -1 1553947044.836 * [backup-simplify]: Simplify (+ -1 0) into -1 1553947044.836 * [backup-simplify]: Simplify -1 into -1 1553947044.837 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947044.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947044.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1553947044.839 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 1553947044.839 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.839 * [backup-simplify]: Simplify 0 into 0 1553947044.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.842 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.843 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0 1553947044.843 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.843 * [backup-simplify]: Simplify 0 into 0 1553947044.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.845 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.846 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.848 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947044.848 * [backup-simplify]: Simplify (+ 0 27000) into 27000 1553947044.848 * [backup-simplify]: Simplify 27000 into 27000 1553947044.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947044.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.851 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.852 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947044.853 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.853 * [backup-simplify]: Simplify 0 into 0 1553947044.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947044.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.857 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.858 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947044.859 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.859 * [backup-simplify]: Simplify 0 into 0 1553947044.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947044.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.862 * [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 1553947044.864 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947044.864 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.864 * [backup-simplify]: Simplify 0 into 0 1553947044.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553947044.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.868 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.870 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553947044.871 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.871 * [backup-simplify]: Simplify 0 into 0 1553947044.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1553947044.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.875 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.877 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1553947044.877 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.877 * [backup-simplify]: Simplify 0 into 0 1553947044.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 1553947044.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.881 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947044.884 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 1553947044.886 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947044.886 * [backup-simplify]: Simplify 0 into 0 1553947044.886 * [backup-simplify]: Simplify (+ 27000 (* -1 (pow (/ 1 (/ 1 (- d2))) 3))) into (+ (pow d2 3) 27000) 1553947044.886 * * * [progress]: simplifying candidates 1553947044.886 * * * * [progress]: [ 1 / 79 ] simplifiying candidate # 1553947044.886 * * * * [progress]: [ 2 / 79 ] simplifiying candidate # 1553947044.886 * * * * [progress]: [ 3 / 79 ] simplifiying candidate # 1553947044.887 * * * * [progress]: [ 4 / 79 ] simplifiying candidate # 1553947044.887 * [simplify]: Simplifying (- (log (* (fma d2 (* d2 d2) 27000) d1)) (log (+ (* 30 30) (- (* d2 d2) (* 30 d2))))) 1553947044.887 * * [simplify]: iters left: 6 (14 enodes) 1553947044.896 * * [simplify]: iters left: 5 (61 enodes) 1553947044.916 * * [simplify]: iters left: 4 (105 enodes) 1553947044.950 * * [simplify]: iters left: 3 (164 enodes) 1553947044.984 * * [simplify]: iters left: 2 (230 enodes) 1553947045.016 * * [simplify]: iters left: 1 (252 enodes) 1553947045.049 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947045.049 * * [simplify]: Extracting #1: cost 13 inf + 0 1553947045.050 * * [simplify]: Extracting #2: cost 28 inf + 0 1553947045.050 * * [simplify]: Extracting #3: cost 52 inf + 72 1553947045.050 * * [simplify]: Extracting #4: cost 59 inf + 453 1553947045.051 * * [simplify]: Extracting #5: cost 20 inf + 4306 1553947045.053 * * [simplify]: Extracting #6: cost 2 inf + 8620 1553947045.055 * * [simplify]: Extracting #7: cost 0 inf + 9142 1553947045.057 * * [simplify]: Extracting #8: cost 0 inf + 9127 1553947045.059 * [simplify]: Simplified to (- (log (* (fma (* d2 d2) d2 27000) d1)) (log (fma (+ d2 -30) d2 900))) 1553947045.059 * [simplify]: Simplified (2 1) to (λ (d1 d2) (exp (- (log (* (fma (* d2 d2) d2 27000) d1)) (log (fma (+ d2 -30) d2 900))))) 1553947045.059 * * * * [progress]: [ 5 / 79 ] simplifiying candidate # 1553947045.059 * * * * [progress]: [ 6 / 79 ] simplifiying candidate # 1553947045.059 * * * * [progress]: [ 7 / 79 ] simplifiying candidate # 1553947045.059 * [simplify]: Simplifying (/ (* (* (* (fma d2 (* d2 d2) 27000) d1) (* (fma d2 (* d2 d2) 27000) d1)) (* (fma d2 (* d2 d2) 27000) d1)) (* (* (+ (* 30 30) (- (* d2 d2) (* 30 d2))) (+ (* 30 30) (- (* d2 d2) (* 30 d2)))) (+ (* 30 30) (- (* d2 d2) (* 30 d2))))) 1553947045.059 * * [simplify]: iters left: 6 (16 enodes) 1553947045.065 * * [simplify]: iters left: 5 (89 enodes) 1553947045.088 * * [simplify]: iters left: 4 (329 enodes) 1553947045.329 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947045.329 * * [simplify]: Extracting #1: cost 88 inf + 0 1553947045.331 * * [simplify]: Extracting #2: cost 278 inf + 2 1553947045.340 * * [simplify]: Extracting #3: cost 363 inf + 19982 1553947045.384 * * [simplify]: Extracting #4: cost 92 inf + 92268 1553947045.439 * * [simplify]: Extracting #5: cost 5 inf + 111224 1553947045.468 * * [simplify]: Extracting #6: cost 0 inf + 105794 1553947045.526 * * [simplify]: Extracting #7: cost 0 inf + 104645 1553947045.556 * [simplify]: Simplified to (* (* (/ (* (fma (* d2 d2) d2 27000) d1) (fma (- d2 30) d2 900)) (/ (* (fma (* d2 d2) d2 27000) d1) (fma (- d2 30) d2 900))) (/ (* (fma (* d2 d2) d2 27000) d1) (fma (- d2 30) d2 900))) 1553947045.556 * [simplify]: Simplified (2 1) to (λ (d1 d2) (cbrt (* (* (/ (* (fma (* d2 d2) d2 27000) d1) (fma (- d2 30) d2 900)) (/ (* (fma (* d2 d2) d2 27000) d1) (fma (- d2 30) d2 900))) (/ (* (fma (* d2 d2) d2 27000) d1) (fma (- d2 30) d2 900))))) 1553947045.556 * * * * [progress]: [ 8 / 79 ] simplifiying candidate # 1553947045.556 * * * * [progress]: [ 9 / 79 ] simplifiying candidate # 1553947045.556 * * * * [progress]: [ 10 / 79 ] simplifiying candidate # 1553947045.556 * * * * [progress]: [ 11 / 79 ] simplifiying candidate # 1553947045.556 * * * * [progress]: [ 12 / 79 ] simplifiying candidate # 1553947045.557 * [simplify]: Simplifying (/ (fma d2 (* d2 d2) 27000) (* (cbrt (+ (* 30 30) (- (* d2 d2) (* 30 d2)))) (cbrt (+ (* 30 30) (- (* d2 d2) (* 30 d2)))))) 1553947045.557 * * [simplify]: iters left: 6 (12 enodes) 1553947045.565 * * [simplify]: iters left: 5 (51 enodes) 1553947045.576 * * [simplify]: iters left: 4 (79 enodes) 1553947045.589 * * [simplify]: iters left: 3 (108 enodes) 1553947045.619 * * [simplify]: iters left: 2 (148 enodes) 1553947045.644 * * [simplify]: iters left: 1 (163 enodes) 1553947045.675 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947045.675 * * [simplify]: Extracting #1: cost 6 inf + 0 1553947045.676 * * [simplify]: Extracting #2: cost 15 inf + 0 1553947045.676 * * [simplify]: Extracting #3: cost 32 inf + 2 1553947045.676 * * [simplify]: Extracting #4: cost 30 inf + 879 1553947045.678 * * [simplify]: Extracting #5: cost 3 inf + 3742 1553947045.680 * * [simplify]: Extracting #6: cost 0 inf + 4186 1553947045.682 * * [simplify]: Extracting #7: cost 0 inf + 4106 1553947045.684 * [simplify]: Simplified to (/ (fma (* d2 d2) d2 27000) (* (cbrt (fma d2 (- d2 30) 900)) (cbrt (fma d2 (- d2 30) 900)))) 1553947045.684 * [simplify]: Simplified (2 1) to (λ (d1 d2) (* (/ (fma (* d2 d2) d2 27000) (* (cbrt (fma d2 (- d2 30) 900)) (cbrt (fma d2 (- d2 30) 900)))) (/ d1 (cbrt (+ (* 30 30) (- (* d2 d2) (* 30 d2))))))) 1553947045.684 * [simplify]: Simplifying (/ d1 (cbrt (+ (* 30 30) (- (* d2 d2) (* 30 d2))))) 1553947045.684 * * [simplify]: iters left: 6 (10 enodes) 1553947045.690 * * [simplify]: iters left: 5 (41 enodes) 1553947045.698 * * [simplify]: iters left: 4 (61 enodes) 1553947045.710 * * [simplify]: iters left: 3 (87 enodes) 1553947045.728 * * [simplify]: iters left: 2 (127 enodes) 1553947045.760 * * [simplify]: iters left: 1 (142 enodes) 1553947045.781 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947045.781 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947045.781 * * [simplify]: Extracting #2: cost 5 inf + 1 1553947045.781 * * [simplify]: Extracting #3: cost 23 inf + 1 1553947045.781 * * [simplify]: Extracting #4: cost 28 inf + 146 1553947045.782 * * [simplify]: Extracting #5: cost 2 inf + 2138 1553947045.782 * * [simplify]: Extracting #6: cost 0 inf + 2415 1553947045.783 * [simplify]: Simplified to (/ d1 (cbrt (fma d2 (+ -30 d2) 900))) 1553947045.783 * [simplify]: Simplified (2 2) to (λ (d1 d2) (* (/ (fma d2 (* d2 d2) 27000) (* (cbrt (+ (* 30 30) (- (* d2 d2) (* 30 d2)))) (cbrt (+ (* 30 30) (- (* d2 d2) (* 30 d2)))))) (/ d1 (cbrt (fma d2 (+ -30 d2) 900))))) 1553947045.783 * * * * [progress]: [ 13 / 79 ] simplifiying candidate # 1553947045.784 * [simplify]: Simplifying (/ (fma d2 (* d2 d2) 27000) (sqrt (+ (* 30 30) (- (* d2 d2) (* 30 d2))))) 1553947045.784 * * [simplify]: iters left: 6 (11 enodes) 1553947045.787 * * [simplify]: iters left: 5 (46 enodes) 1553947045.797 * * [simplify]: iters left: 4 (72 enodes) 1553947045.809 * * [simplify]: iters left: 3 (101 enodes) 1553947045.840 * * [simplify]: iters left: 2 (141 enodes) 1553947045.860 * * [simplify]: iters left: 1 (156 enodes) 1553947045.890 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947045.890 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947045.890 * * [simplify]: Extracting #2: cost 11 inf + 0 1553947045.890 * * [simplify]: Extracting #3: cost 28 inf + 2 1553947045.890 * * [simplify]: Extracting #4: cost 29 inf + 273 1553947045.891 * * [simplify]: Extracting #5: cost 8 inf + 1635 1553947045.892 * * [simplify]: Extracting #6: cost 2 inf + 2254 1553947045.893 * * [simplify]: Extracting #7: cost 0 inf + 2802 1553947045.893 * [simplify]: Simplified to (/ (fma (* d2 d2) d2 27000) (sqrt (fma (- d2 30) d2 900))) 1553947045.893 * [simplify]: Simplified (2 1) to (λ (d1 d2) (* (/ (fma (* d2 d2) d2 27000) (sqrt (fma (- d2 30) d2 900))) (/ d1 (sqrt (+ (* 30 30) (- (* d2 d2) (* 30 d2))))))) 1553947045.894 * [simplify]: Simplifying (/ d1 (sqrt (+ (* 30 30) (- (* d2 d2) (* 30 d2))))) 1553947045.894 * * [simplify]: iters left: 6 (10 enodes) 1553947045.897 * * [simplify]: iters left: 5 (41 enodes) 1553947045.904 * * [simplify]: iters left: 4 (61 enodes) 1553947045.916 * * [simplify]: iters left: 3 (87 enodes) 1553947045.945 * * [simplify]: iters left: 2 (127 enodes) 1553947045.980 * * [simplify]: iters left: 1 (142 enodes) 1553947046.025 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947046.025 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947046.025 * * [simplify]: Extracting #2: cost 5 inf + 1 1553947046.025 * * [simplify]: Extracting #3: cost 23 inf + 1 1553947046.026 * * [simplify]: Extracting #4: cost 28 inf + 146 1553947046.027 * * [simplify]: Extracting #5: cost 2 inf + 2018 1553947046.028 * * [simplify]: Extracting #6: cost 0 inf + 2255 1553947046.030 * [simplify]: Simplified to (/ d1 (sqrt (fma d2 (+ -30 d2) 900))) 1553947046.030 * [simplify]: Simplified (2 2) to (λ (d1 d2) (* (/ (fma d2 (* d2 d2) 27000) (sqrt (+ (* 30 30) (- (* d2 d2) (* 30 d2))))) (/ d1 (sqrt (fma d2 (+ -30 d2) 900))))) 1553947046.030 * * * * [progress]: [ 14 / 79 ] simplifiying candidate # 1553947046.030 * [simplify]: Simplifying (/ (fma d2 (* d2 d2) 27000) 1) 1553947046.030 * * [simplify]: iters left: 5 (6 enodes) 1553947046.034 * * [simplify]: iters left: 4 (20 enodes) 1553947046.041 * * [simplify]: iters left: 3 (30 enodes) 1553947046.051 * * [simplify]: iters left: 2 (33 enodes) 1553947046.059 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947046.059 * * [simplify]: Extracting #1: cost 7 inf + 0 1553947046.059 * * [simplify]: Extracting #2: cost 7 inf + 3 1553947046.059 * * [simplify]: Extracting #3: cost 0 inf + 442 1553947046.059 * [simplify]: Simplified to (fma (* d2 d2) d2 27000) 1553947046.059 * [simplify]: Simplified (2 1) to (λ (d1 d2) (* (fma (* d2 d2) d2 27000) (/ d1 (+ (* 30 30) (- (* d2 d2) (* 30 d2)))))) 1553947046.059 * [simplify]: Simplifying (/ d1 (+ (* 30 30) (- (* d2 d2) (* 30 d2)))) 1553947046.059 * * [simplify]: iters left: 6 (9 enodes) 1553947046.063 * * [simplify]: iters left: 5 (38 enodes) 1553947046.069 * * [simplify]: iters left: 4 (58 enodes) 1553947046.079 * * [simplify]: iters left: 3 (84 enodes) 1553947046.097 * * [simplify]: iters left: 2 (124 enodes) 1553947046.136 * * [simplify]: iters left: 1 (139 enodes) 1553947046.173 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947046.173 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947046.173 * * [simplify]: Extracting #2: cost 21 inf + 1 1553947046.173 * * [simplify]: Extracting #3: cost 27 inf + 89 1553947046.174 * * [simplify]: Extracting #4: cost 8 inf + 1360 1553947046.174 * * [simplify]: Extracting #5: cost 0 inf + 1914 1553947046.175 * * [simplify]: Extracting #6: cost 0 inf + 1899 1553947046.176 * [simplify]: Simplified to (/ d1 (fma d2 (+ -30 d2) 900)) 1553947046.176 * [simplify]: Simplified (2 2) to (λ (d1 d2) (* (fma (* d2 d2) d2 27000) (/ d1 (fma d2 (+ -30 d2) 900)))) 1553947046.176 * * * * [progress]: [ 15 / 79 ] simplifiying candidate # 1553947046.176 * * * * [progress]: [ 16 / 79 ] simplifiying candidate # 1553947046.176 * * * * [progress]: [ 17 / 79 ] simplifiying candidate # 1553947046.176 * * * * [progress]: [ 18 / 79 ] simplifiying candidate # 1553947046.176 * [simplify]: Simplifying (cbrt (+ (* 30 30) (- (* d2 d2) (* 30 d2)))) 1553947046.176 * * [simplify]: iters left: 6 (8 enodes) 1553947046.179 * * [simplify]: iters left: 5 (35 enodes) 1553947046.186 * * [simplify]: iters left: 4 (55 enodes) 1553947046.195 * * [simplify]: iters left: 3 (81 enodes) 1553947046.220 * * [simplify]: iters left: 2 (121 enodes) 1553947046.256 * * [simplify]: iters left: 1 (136 enodes) 1553947046.295 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947046.295 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947046.295 * * [simplify]: Extracting #2: cost 21 inf + 0 1553947046.296 * * [simplify]: Extracting #3: cost 25 inf + 186 1553947046.297 * * [simplify]: Extracting #4: cost 6 inf + 1648 1553947046.297 * * [simplify]: Extracting #5: cost 0 inf + 1976 1553947046.298 * [simplify]: Simplified to (cbrt (fma d2 (+ d2 -30) 900)) 1553947046.298 * [simplify]: Simplified (2 2) to (λ (d1 d2) (/ (/ (* (fma d2 (* d2 d2) 27000) d1) (* (cbrt (+ (* 30 30) (- (* d2 d2) (* 30 d2)))) (cbrt (+ (* 30 30) (- (* d2 d2) (* 30 d2)))))) (cbrt (fma d2 (+ d2 -30) 900)))) 1553947046.298 * * * * [progress]: [ 19 / 79 ] simplifiying candidate # 1553947046.298 * [simplify]: Simplifying (sqrt (+ (* 30 30) (- (* d2 d2) (* 30 d2)))) 1553947046.298 * * [simplify]: iters left: 6 (8 enodes) 1553947046.301 * * [simplify]: iters left: 5 (35 enodes) 1553947046.307 * * [simplify]: iters left: 4 (55 enodes) 1553947046.316 * * [simplify]: iters left: 3 (81 enodes) 1553947046.331 * * [simplify]: iters left: 2 (121 enodes) 1553947046.356 * * [simplify]: iters left: 1 (136 enodes) 1553947046.380 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947046.380 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947046.380 * * [simplify]: Extracting #2: cost 21 inf + 0 1553947046.380 * * [simplify]: Extracting #3: cost 25 inf + 186 1553947046.381 * * [simplify]: Extracting #4: cost 6 inf + 1568 1553947046.383 * * [simplify]: Extracting #5: cost 0 inf + 1896 1553947046.384 * [simplify]: Simplified to (sqrt (fma d2 (+ d2 -30) 900)) 1553947046.384 * [simplify]: Simplified (2 2) to (λ (d1 d2) (/ (/ (* (fma d2 (* d2 d2) 27000) d1) (sqrt (+ (* 30 30) (- (* d2 d2) (* 30 d2))))) (sqrt (fma d2 (+ d2 -30) 900)))) 1553947046.384 * * * * [progress]: [ 20 / 79 ] simplifiying candidate # 1553947046.384 * [simplify]: Simplifying (+ (* 30 30) (- (* d2 d2) (* 30 d2))) 1553947046.385 * * [simplify]: iters left: 6 (7 enodes) 1553947046.389 * * [simplify]: iters left: 5 (32 enodes) 1553947046.400 * * [simplify]: iters left: 4 (52 enodes) 1553947046.417 * * [simplify]: iters left: 3 (78 enodes) 1553947046.432 * * [simplify]: iters left: 2 (118 enodes) 1553947046.451 * * [simplify]: iters left: 1 (134 enodes) 1553947046.478 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947046.479 * * [simplify]: Extracting #1: cost 19 inf + 0 1553947046.479 * * [simplify]: Extracting #2: cost 21 inf + 310 1553947046.479 * * [simplify]: Extracting #3: cost 1 inf + 1513 1553947046.480 * * [simplify]: Extracting #4: cost 0 inf + 1620 1553947046.480 * [simplify]: Simplified to (fma (+ -30 d2) d2 900) 1553947046.481 * [simplify]: Simplified (2 2) to (λ (d1 d2) (/ (/ (* (fma d2 (* d2 d2) 27000) d1) 1) (fma (+ -30 d2) d2 900))) 1553947046.481 * * * * [progress]: [ 21 / 79 ] simplifiying candidate # 1553947046.481 * [simplify]: Simplifying (fma d2 (* d2 d2) 27000) 1553947046.481 * * [simplify]: iters left: 3 (4 enodes) 1553947046.482 * * [simplify]: iters left: 2 (14 enodes) 1553947046.485 * * [simplify]: iters left: 1 (20 enodes) 1553947046.488 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947046.488 * * [simplify]: Extracting #1: cost 6 inf + 0 1553947046.488 * * [simplify]: Extracting #2: cost 7 inf + 2 1553947046.488 * * [simplify]: Extracting #3: cost 0 inf + 441 1553947046.488 * [simplify]: Simplified to (fma (* d2 d2) d2 27000) 1553947046.488 * [simplify]: Simplified (2 1) to (λ (d1 d2) (/ (fma (* d2 d2) d2 27000) (/ (+ (* 30 30) (- (* d2 d2) (* 30 d2))) d1))) 1553947046.488 * * * * [progress]: [ 22 / 79 ] simplifiying candidate # 1553947046.489 * [simplify]: Simplifying (+ (* (* 30 30) (* 30 30)) (- (* (- (* d2 d2) (* 30 d2)) (- (* d2 d2) (* 30 d2))) (* (* 30 30) (- (* d2 d2) (* 30 d2))))) 1553947046.489 * * [simplify]: iters left: 6 (11 enodes) 1553947046.492 * * [simplify]: iters left: 5 (57 enodes) 1553947046.520 * * [simplify]: iters left: 4 (154 enodes) 1553947046.585 * * [simplify]: iters left: 3 (466 enodes) 1553947046.913 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947046.913 * * [simplify]: Extracting #1: cost 71 inf + 0 1553947046.915 * * [simplify]: Extracting #2: cost 234 inf + 1033 1553947046.920 * * [simplify]: Extracting #3: cost 108 inf + 21302 1553947046.940 * * [simplify]: Extracting #4: cost 2 inf + 38704 1553947046.965 * * [simplify]: Extracting #5: cost 0 inf + 38697 1553947046.982 * [simplify]: Simplified to (fma (* (- d2 30) (fma (- d2 30) d2 -900)) d2 810000) 1553947046.982 * [simplify]: Simplified (2 2) to (λ (d1 d2) (* (/ (* (fma d2 (* d2 d2) 27000) d1) (+ (pow (* 30 30) 3) (pow (- (* d2 d2) (* 30 d2)) 3))) (fma (* (- d2 30) (fma (- d2 30) d2 -900)) d2 810000))) 1553947046.982 * * * * [progress]: [ 23 / 79 ] simplifiying candidate # 1553947046.983 * [simplify]: Simplifying (- (* 30 30) (- (* d2 d2) (* 30 d2))) 1553947046.983 * * [simplify]: iters left: 6 (7 enodes) 1553947046.985 * * [simplify]: iters left: 5 (33 enodes) 1553947046.992 * * [simplify]: iters left: 4 (60 enodes) 1553947047.006 * * [simplify]: iters left: 3 (105 enodes) 1553947047.029 * * [simplify]: iters left: 2 (154 enodes) 1553947047.056 * * [simplify]: iters left: 1 (179 enodes) 1553947047.089 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.089 * * [simplify]: Extracting #1: cost 24 inf + 0 1553947047.090 * * [simplify]: Extracting #2: cost 31 inf + 455 1553947047.091 * * [simplify]: Extracting #3: cost 5 inf + 2313 1553947047.092 * * [simplify]: Extracting #4: cost 0 inf + 2625 1553947047.093 * [simplify]: Simplified to (fma (- 30 d2) d2 900) 1553947047.093 * [simplify]: Simplified (2 2) to (λ (d1 d2) (* (/ (* (fma d2 (* d2 d2) 27000) d1) (- (* (* 30 30) (* 30 30)) (* (- (* d2 d2) (* 30 d2)) (- (* d2 d2) (* 30 d2))))) (fma (- 30 d2) d2 900))) 1553947047.093 * * * * [progress]: [ 24 / 79 ] simplifiying candidate #real (real->posit16 (/ (* (fma d2 (* d2 d2) 27000) d1) (+ (* 30 30) (- (* d2 d2) (* 30 d2)))))))> 1553947047.093 * * * * [progress]: [ 25 / 79 ] simplifiying candidate # 1553947047.093 * * * * [progress]: [ 26 / 79 ] simplifiying candidate # 1553947047.093 * * * * [progress]: [ 27 / 79 ] simplifiying candidate # 1553947047.093 * * * * [progress]: [ 28 / 79 ] simplifiying candidate # 1553947047.093 * * * * [progress]: [ 29 / 79 ] simplifiying candidate # 1553947047.093 * * * * [progress]: [ 30 / 79 ] simplifiying candidate # 1553947047.093 * * * * [progress]: [ 31 / 79 ] simplifiying candidate # 1553947047.093 * * * * [progress]: [ 32 / 79 ] simplifiying candidate # 1553947047.093 * * * * [progress]: [ 33 / 79 ] simplifiying candidate # 1553947047.093 * * * * [progress]: [ 34 / 79 ] simplifiying candidate # 1553947047.093 * [simplify]: Simplifying (* (cbrt (fma d2 (* d2 d2) 27000)) (cbrt (fma d2 (* d2 d2) 27000))) 1553947047.093 * * [simplify]: iters left: 6 (6 enodes) 1553947047.095 * * [simplify]: iters left: 5 (20 enodes) 1553947047.099 * * [simplify]: iters left: 4 (26 enodes) 1553947047.103 * * [simplify]: iters left: 3 (29 enodes) 1553947047.108 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.108 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947047.108 * * [simplify]: Extracting #2: cost 5 inf + 0 1553947047.108 * * [simplify]: Extracting #3: cost 10 inf + 0 1553947047.108 * * [simplify]: Extracting #4: cost 11 inf + 2 1553947047.108 * * [simplify]: Extracting #5: cost 8 inf + 141 1553947047.108 * * [simplify]: Extracting #6: cost 1 inf + 1012 1553947047.108 * * [simplify]: Extracting #7: cost 0 inf + 1229 1553947047.108 * [simplify]: Simplified to (* (cbrt (fma (* d2 d2) d2 27000)) (cbrt (fma (* d2 d2) d2 27000))) 1553947047.108 * [simplify]: Simplified (2 1 1) to (λ (d1 d2) (/ (* (* (cbrt (fma (* d2 d2) d2 27000)) (cbrt (fma (* d2 d2) d2 27000))) (* (cbrt (fma d2 (* d2 d2) 27000)) d1)) (+ (* 30 30) (- (* d2 d2) (* 30 d2))))) 1553947047.109 * * * * [progress]: [ 35 / 79 ] simplifiying candidate # 1553947047.109 * [simplify]: Simplifying (sqrt (fma d2 (* d2 d2) 27000)) 1553947047.109 * * [simplify]: iters left: 4 (5 enodes) 1553947047.110 * * [simplify]: iters left: 3 (17 enodes) 1553947047.113 * * [simplify]: iters left: 2 (23 enodes) 1553947047.121 * * [simplify]: iters left: 1 (26 enodes) 1553947047.128 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.128 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947047.128 * * [simplify]: Extracting #2: cost 8 inf + 0 1553947047.128 * * [simplify]: Extracting #3: cost 9 inf + 2 1553947047.129 * * [simplify]: Extracting #4: cost 0 inf + 715 1553947047.129 * [simplify]: Simplified to (sqrt (fma (* d2 d2) d2 27000)) 1553947047.129 * [simplify]: Simplified (2 1 1) to (λ (d1 d2) (/ (* (sqrt (fma (* d2 d2) d2 27000)) (* (sqrt (fma d2 (* d2 d2) 27000)) d1)) (+ (* 30 30) (- (* d2 d2) (* 30 d2))))) 1553947047.129 * * * * [progress]: [ 36 / 79 ] simplifiying candidate # 1553947047.129 * * * * [progress]: [ 37 / 79 ] simplifiying candidate #real (real->posit16 (* (fma d2 (* d2 d2) 27000) d1))) (+ (* 30 30) (- (* d2 d2) (* 30 d2)))))> 1553947047.129 * * * * [progress]: [ 38 / 79 ] simplifiying candidate # 1553947047.129 * * * * [progress]: [ 39 / 79 ] simplifiying candidate # 1553947047.130 * [simplify]: Simplifying (fma d2 d2 (- (* d2 30))) 1553947047.130 * * [simplify]: iters left: 5 (5 enodes) 1553947047.133 * * [simplify]: iters left: 4 (23 enodes) 1553947047.139 * * [simplify]: iters left: 3 (33 enodes) 1553947047.144 * * [simplify]: iters left: 2 (43 enodes) 1553947047.151 * * [simplify]: iters left: 1 (48 enodes) 1553947047.157 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.157 * * [simplify]: Extracting #1: cost 10 inf + 0 1553947047.157 * * [simplify]: Extracting #2: cost 12 inf + 3 1553947047.158 * * [simplify]: Extracting #3: cost 3 inf + 378 1553947047.158 * * [simplify]: Extracting #4: cost 1 inf + 501 1553947047.158 * * [simplify]: Extracting #5: cost 0 inf + 583 1553947047.158 * [simplify]: Simplified to (* (+ -30 d2) d2) 1553947047.159 * [simplify]: Simplified (2 2 2 1) to (λ (d1 d2) (/ (* (fma d2 (* d2 d2) 27000) d1) (+ (* 30 30) (+ (* (+ -30 d2) d2) (fma (- d2) 30 (* d2 30)))))) 1553947047.159 * [simplify]: Simplifying (fma (- d2) 30 (* d2 30)) 1553947047.159 * * [simplify]: iters left: 3 (5 enodes) 1553947047.162 * * [simplify]: iters left: 2 (18 enodes) 1553947047.167 * * [simplify]: iters left: 1 (25 enodes) 1553947047.176 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.176 * * [simplify]: Extracting #1: cost 8 inf + 0 1553947047.176 * * [simplify]: Extracting #2: cost 11 inf + 2 1553947047.176 * * [simplify]: Extracting #3: cost 5 inf + 251 1553947047.176 * * [simplify]: Extracting #4: cost 0 inf + 619 1553947047.177 * * [simplify]: Extracting #5: cost 0 inf + 579 1553947047.177 * [simplify]: Simplified to (- (* d2 30) (* d2 30)) 1553947047.177 * [simplify]: Simplified (2 2 2 2) to (λ (d1 d2) (/ (* (fma d2 (* d2 d2) 27000) d1) (+ (* 30 30) (+ (* (+ -30 d2) d2) (- (* d2 30) (* d2 30)))))) 1553947047.177 * * * * [progress]: [ 40 / 79 ] simplifiying candidate # 1553947047.177 * * * * [progress]: [ 41 / 79 ] simplifiying candidate # 1553947047.178 * * * * [progress]: [ 42 / 79 ] simplifiying candidate # 1553947047.178 * * * * [progress]: [ 43 / 79 ] simplifiying candidate # 1553947047.178 * [simplify]: Simplifying (/ (exp (* d2 d2)) (exp (* 30 d2))) 1553947047.178 * * [simplify]: iters left: 5 (7 enodes) 1553947047.182 * * [simplify]: iters left: 4 (28 enodes) 1553947047.192 * * [simplify]: iters left: 3 (40 enodes) 1553947047.204 * * [simplify]: iters left: 2 (57 enodes) 1553947047.222 * * [simplify]: iters left: 1 (82 enodes) 1553947047.235 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.236 * * [simplify]: Extracting #1: cost 13 inf + 0 1553947047.236 * * [simplify]: Extracting #2: cost 30 inf + 1 1553947047.236 * * [simplify]: Extracting #3: cost 24 inf + 1130 1553947047.236 * * [simplify]: Extracting #4: cost 2 inf + 2997 1553947047.237 * * [simplify]: Extracting #5: cost 0 inf + 2930 1553947047.237 * [simplify]: Simplified to (exp (* (+ d2 -30) d2)) 1553947047.238 * [simplify]: Simplified (2 2 2 1) to (λ (d1 d2) (/ (* (fma d2 (* d2 d2) 27000) d1) (+ (* 30 30) (log (exp (* (+ d2 -30) d2)))))) 1553947047.238 * * * * [progress]: [ 44 / 79 ] simplifiying candidate # 1553947047.238 * * * * [progress]: [ 45 / 79 ] simplifiying candidate # 1553947047.238 * * * * [progress]: [ 46 / 79 ] simplifiying candidate # 1553947047.238 * * * * [progress]: [ 47 / 79 ] simplifiying candidate # 1553947047.238 * * * * [progress]: [ 48 / 79 ] simplifiying candidate # 1553947047.238 * * * * [progress]: [ 49 / 79 ] simplifiying candidate # 1553947047.238 * * * * [progress]: [ 50 / 79 ] simplifiying candidate # 1553947047.238 * * * * [progress]: [ 51 / 79 ] simplifiying candidate # 1553947047.238 * * * * [progress]: [ 52 / 79 ] simplifiying candidate # 1553947047.238 * * * * [progress]: [ 53 / 79 ] simplifiying candidate # 1553947047.238 * * * * [progress]: [ 54 / 79 ] simplifiying candidate # 1553947047.238 * [simplify]: Simplifying (- d2 30) 1553947047.238 * * [simplify]: iters left: 2 (3 enodes) 1553947047.239 * * [simplify]: iters left: 1 (12 enodes) 1553947047.241 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.242 * * [simplify]: Extracting #1: cost 5 inf + 0 1553947047.242 * * [simplify]: Extracting #2: cost 2 inf + 3 1553947047.242 * * [simplify]: Extracting #3: cost 0 inf + 87 1553947047.242 * [simplify]: Simplified to (+ d2 -30) 1553947047.242 * [simplify]: Simplified (2 2 2 2) to (λ (d1 d2) (/ (* (fma d2 (* d2 d2) 27000) d1) (+ (* 30 30) (* d2 (+ d2 -30))))) 1553947047.242 * * * * [progress]: [ 55 / 79 ] simplifiying candidate # 1553947047.242 * * * * [progress]: [ 56 / 79 ] simplifiying candidate #real (real->posit16 (- (* d2 d2) (* 30 d2)))))))> 1553947047.242 * * * * [progress]: [ 57 / 79 ] simplifiying candidate # 1553947047.242 * * * * [progress]: [ 58 / 79 ] simplifiying candidate # 1553947047.242 * * * * [progress]: [ 59 / 79 ] simplifiying candidate # 1553947047.242 * * * * [progress]: [ 60 / 79 ] simplifiying candidate # 1553947047.242 * * * * [progress]: [ 61 / 79 ] simplifiying candidate # 1553947047.242 * * * * [progress]: [ 62 / 79 ] simplifiying candidate # 1553947047.242 * * * * [progress]: [ 63 / 79 ] simplifiying candidate # 1553947047.242 * * * * [progress]: [ 64 / 79 ] simplifiying candidate # 1553947047.242 * * * * [progress]: [ 65 / 79 ] simplifiying candidate # 1553947047.242 * * * * [progress]: [ 66 / 79 ] simplifiying candidate # 1553947047.242 * * * * [progress]: [ 67 / 79 ] simplifiying candidate #real (real->posit16 (fma d2 (* d2 d2) 27000))) d1) (+ (* 30 30) (- (* d2 d2) (* 30 d2)))))> 1553947047.242 * * * * [progress]: [ 68 / 79 ] simplifiying candidate # 1553947047.242 * [simplify]: Simplifying (+ (* d2 d1) (* 30 d1)) 1553947047.242 * * [simplify]: iters left: 4 (6 enodes) 1553947047.244 * * [simplify]: iters left: 3 (24 enodes) 1553947047.248 * * [simplify]: iters left: 2 (32 enodes) 1553947047.253 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.253 * * [simplify]: Extracting #1: cost 8 inf + 0 1553947047.253 * * [simplify]: Extracting #2: cost 8 inf + 3 1553947047.253 * * [simplify]: Extracting #3: cost 1 inf + 353 1553947047.253 * * [simplify]: Extracting #4: cost 0 inf + 436 1553947047.253 * * [simplify]: Extracting #5: cost 0 inf + 421 1553947047.254 * [simplify]: Simplified to (* d1 (+ 30 d2)) 1553947047.254 * [simplify]: Simplified (2) to (λ (d1 d2) (* d1 (+ 30 d2))) 1553947047.254 * * * * [progress]: [ 69 / 79 ] simplifiying candidate # 1553947047.254 * [simplify]: Simplifying (+ (* d2 d1) (* 30 d1)) 1553947047.254 * * [simplify]: iters left: 4 (6 enodes) 1553947047.256 * * [simplify]: iters left: 3 (24 enodes) 1553947047.263 * * [simplify]: iters left: 2 (32 enodes) 1553947047.271 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.271 * * [simplify]: Extracting #1: cost 8 inf + 0 1553947047.271 * * [simplify]: Extracting #2: cost 8 inf + 3 1553947047.271 * * [simplify]: Extracting #3: cost 1 inf + 353 1553947047.272 * * [simplify]: Extracting #4: cost 0 inf + 436 1553947047.272 * * [simplify]: Extracting #5: cost 0 inf + 421 1553947047.272 * [simplify]: Simplified to (* d1 (+ 30 d2)) 1553947047.272 * [simplify]: Simplified (2) to (λ (d1 d2) (* d1 (+ 30 d2))) 1553947047.272 * * * * [progress]: [ 70 / 79 ] simplifiying candidate # 1553947047.273 * [simplify]: Simplifying (+ (* d2 d1) (* 30 d1)) 1553947047.273 * * [simplify]: iters left: 4 (6 enodes) 1553947047.276 * * [simplify]: iters left: 3 (24 enodes) 1553947047.285 * * [simplify]: iters left: 2 (32 enodes) 1553947047.294 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.294 * * [simplify]: Extracting #1: cost 8 inf + 0 1553947047.294 * * [simplify]: Extracting #2: cost 8 inf + 3 1553947047.294 * * [simplify]: Extracting #3: cost 1 inf + 353 1553947047.294 * * [simplify]: Extracting #4: cost 0 inf + 436 1553947047.295 * * [simplify]: Extracting #5: cost 0 inf + 421 1553947047.295 * [simplify]: Simplified to (* d1 (+ 30 d2)) 1553947047.295 * [simplify]: Simplified (2) to (λ (d1 d2) (* d1 (+ 30 d2))) 1553947047.295 * * * * [progress]: [ 71 / 79 ] simplifiying candidate # 1553947047.296 * [simplify]: Simplifying (* 27000 d1) 1553947047.296 * * [simplify]: iters left: 2 (3 enodes) 1553947047.297 * * [simplify]: iters left: 1 (10 enodes) 1553947047.300 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.300 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947047.300 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947047.300 * * [simplify]: Extracting #3: cost 0 inf + 86 1553947047.301 * [simplify]: Simplified to (* 27000 d1) 1553947047.301 * [simplify]: Simplified (2 1) to (λ (d1 d2) (/ (* 27000 d1) (+ (* 30 30) (- (* d2 d2) (* 30 d2))))) 1553947047.301 * * * * [progress]: [ 72 / 79 ] simplifiying candidate # 1553947047.301 * [simplify]: Simplifying (+ (* (pow d2 3) d1) (* 27000 d1)) 1553947047.301 * * [simplify]: iters left: 5 (8 enodes) 1553947047.306 * * [simplify]: iters left: 4 (33 enodes) 1553947047.317 * * [simplify]: iters left: 3 (53 enodes) 1553947047.333 * * [simplify]: iters left: 2 (69 enodes) 1553947047.349 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.350 * * [simplify]: Extracting #1: cost 12 inf + 0 1553947047.350 * * [simplify]: Extracting #2: cost 13 inf + 225 1553947047.350 * * [simplify]: Extracting #3: cost 0 inf + 1294 1553947047.351 * [simplify]: Simplified to (* (fma d2 (* d2 d2) 27000) d1) 1553947047.351 * [simplify]: Simplified (2 1) to (λ (d1 d2) (/ (* (fma d2 (* d2 d2) 27000) d1) (+ (* 30 30) (- (* d2 d2) (* 30 d2))))) 1553947047.351 * * * * [progress]: [ 73 / 79 ] simplifiying candidate # 1553947047.352 * [simplify]: Simplifying (+ (* (pow d2 3) d1) (* 27000 d1)) 1553947047.352 * * [simplify]: iters left: 5 (8 enodes) 1553947047.356 * * [simplify]: iters left: 4 (33 enodes) 1553947047.367 * * [simplify]: iters left: 3 (53 enodes) 1553947047.384 * * [simplify]: iters left: 2 (69 enodes) 1553947047.399 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.399 * * [simplify]: Extracting #1: cost 12 inf + 0 1553947047.400 * * [simplify]: Extracting #2: cost 13 inf + 225 1553947047.400 * * [simplify]: Extracting #3: cost 0 inf + 1294 1553947047.401 * [simplify]: Simplified to (* (fma d2 (* d2 d2) 27000) d1) 1553947047.401 * [simplify]: Simplified (2 1) to (λ (d1 d2) (/ (* (fma d2 (* d2 d2) 27000) d1) (+ (* 30 30) (- (* d2 d2) (* 30 d2))))) 1553947047.401 * * * * [progress]: [ 74 / 79 ] simplifiying candidate # 1553947047.402 * [simplify]: Simplifying (- (pow d2 2) (* 30 d2)) 1553947047.402 * * [simplify]: iters left: 4 (6 enodes) 1553947047.405 * * [simplify]: iters left: 3 (22 enodes) 1553947047.414 * * [simplify]: iters left: 2 (35 enodes) 1553947047.425 * * [simplify]: iters left: 1 (47 enodes) 1553947047.441 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.441 * * [simplify]: Extracting #1: cost 10 inf + 0 1553947047.441 * * [simplify]: Extracting #2: cost 13 inf + 3 1553947047.441 * * [simplify]: Extracting #3: cost 3 inf + 418 1553947047.442 * * [simplify]: Extracting #4: cost 0 inf + 584 1553947047.443 * [simplify]: Simplified to (* (+ d2 -30) d2) 1553947047.443 * [simplify]: Simplified (2 2 2) to (λ (d1 d2) (/ (* (fma d2 (* d2 d2) 27000) d1) (+ (* 30 30) (* (+ d2 -30) d2)))) 1553947047.443 * * * * [progress]: [ 75 / 79 ] simplifiying candidate # 1553947047.443 * [simplify]: Simplifying (- (pow d2 2) (* 30 d2)) 1553947047.443 * * [simplify]: iters left: 4 (6 enodes) 1553947047.447 * * [simplify]: iters left: 3 (22 enodes) 1553947047.455 * * [simplify]: iters left: 2 (35 enodes) 1553947047.466 * * [simplify]: iters left: 1 (47 enodes) 1553947047.480 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.480 * * [simplify]: Extracting #1: cost 10 inf + 0 1553947047.480 * * [simplify]: Extracting #2: cost 13 inf + 3 1553947047.480 * * [simplify]: Extracting #3: cost 3 inf + 418 1553947047.481 * * [simplify]: Extracting #4: cost 0 inf + 584 1553947047.481 * [simplify]: Simplified to (* (+ d2 -30) d2) 1553947047.481 * [simplify]: Simplified (2 2 2) to (λ (d1 d2) (/ (* (fma d2 (* d2 d2) 27000) d1) (+ (* 30 30) (* (+ d2 -30) d2)))) 1553947047.481 * * * * [progress]: [ 76 / 79 ] simplifiying candidate # 1553947047.482 * [simplify]: Simplifying (- (pow d2 2) (* 30 d2)) 1553947047.482 * * [simplify]: iters left: 4 (6 enodes) 1553947047.485 * * [simplify]: iters left: 3 (22 enodes) 1553947047.493 * * [simplify]: iters left: 2 (35 enodes) 1553947047.499 * * [simplify]: iters left: 1 (47 enodes) 1553947047.506 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.506 * * [simplify]: Extracting #1: cost 10 inf + 0 1553947047.506 * * [simplify]: Extracting #2: cost 13 inf + 3 1553947047.506 * * [simplify]: Extracting #3: cost 3 inf + 418 1553947047.506 * * [simplify]: Extracting #4: cost 0 inf + 584 1553947047.507 * [simplify]: Simplified to (* (+ d2 -30) d2) 1553947047.507 * [simplify]: Simplified (2 2 2) to (λ (d1 d2) (/ (* (fma d2 (* d2 d2) 27000) d1) (+ (* 30 30) (* (+ d2 -30) d2)))) 1553947047.507 * * * * [progress]: [ 77 / 79 ] simplifiying candidate # 1553947047.507 * [simplify]: Simplifying (+ (pow d2 3) 27000) 1553947047.507 * * [simplify]: iters left: 3 (5 enodes) 1553947047.509 * * [simplify]: iters left: 2 (19 enodes) 1553947047.512 * * [simplify]: iters left: 1 (23 enodes) 1553947047.515 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.515 * * [simplify]: Extracting #1: cost 6 inf + 0 1553947047.515 * * [simplify]: Extracting #2: cost 7 inf + 2 1553947047.515 * * [simplify]: Extracting #3: cost 0 inf + 1015 1553947047.515 * * [simplify]: Extracting #4: cost 0 inf + 441 1553947047.516 * [simplify]: Simplified to (fma d2 (* d2 d2) 27000) 1553947047.516 * [simplify]: Simplified (2 1 1) to (λ (d1 d2) (/ (* (fma d2 (* d2 d2) 27000) d1) (+ (* 30 30) (- (* d2 d2) (* 30 d2))))) 1553947047.516 * * * * [progress]: [ 78 / 79 ] simplifiying candidate # 1553947047.516 * [simplify]: Simplifying (+ (pow d2 3) 27000) 1553947047.516 * * [simplify]: iters left: 3 (5 enodes) 1553947047.517 * * [simplify]: iters left: 2 (19 enodes) 1553947047.521 * * [simplify]: iters left: 1 (23 enodes) 1553947047.525 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.525 * * [simplify]: Extracting #1: cost 6 inf + 0 1553947047.525 * * [simplify]: Extracting #2: cost 7 inf + 2 1553947047.525 * * [simplify]: Extracting #3: cost 0 inf + 1015 1553947047.526 * * [simplify]: Extracting #4: cost 0 inf + 441 1553947047.526 * [simplify]: Simplified to (fma d2 (* d2 d2) 27000) 1553947047.526 * [simplify]: Simplified (2 1 1) to (λ (d1 d2) (/ (* (fma d2 (* d2 d2) 27000) d1) (+ (* 30 30) (- (* d2 d2) (* 30 d2))))) 1553947047.526 * * * * [progress]: [ 79 / 79 ] simplifiying candidate # 1553947047.526 * [simplify]: Simplifying (+ (pow d2 3) 27000) 1553947047.526 * * [simplify]: iters left: 3 (5 enodes) 1553947047.530 * * [simplify]: iters left: 2 (19 enodes) 1553947047.536 * * [simplify]: iters left: 1 (23 enodes) 1553947047.542 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947047.543 * * [simplify]: Extracting #1: cost 6 inf + 0 1553947047.543 * * [simplify]: Extracting #2: cost 7 inf + 2 1553947047.543 * * [simplify]: Extracting #3: cost 0 inf + 1015 1553947047.543 * * [simplify]: Extracting #4: cost 0 inf + 441 1553947047.543 * [simplify]: Simplified to (fma d2 (* d2 d2) 27000) 1553947047.543 * [simplify]: Simplified (2 1 1) to (λ (d1 d2) (/ (* (fma d2 (* d2 d2) 27000) d1) (+ (* 30 30) (- (* d2 d2) (* 30 d2))))) 1553947047.544 * * * [progress]: adding candidates to table 1553947048.195 * [progress]: [Phase 3 of 3] Extracting. 1553947048.195 * * [regime]: Finding splitpoints for: (# #) 1553947048.196 * * * [regime-changes]: Trying 2 branch expressions: (d2 d1) 1553947048.196 * * * * [regimes]: Trying to branch on d2 from (# #) 1553947048.222 * * * * [regimes]: Trying to branch on d1 from (# #) 1553947048.261 * * * [regime]: Found split indices: #