24.605 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.036 * * * [progress]: [2/2] Setting up program. 0.043 * [progress]: [Phase 2 of 3] Improving. 0.044 * [simplify]: Simplifying: (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)) 0.044 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.044 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.044 * * [simplify]: Extracting # 2 : cost 7 inf + 0 0.044 * * [simplify]: Extracting # 3 : cost 7 inf + 2 0.044 * * [simplify]: Extracting # 4 : cost 6 inf + 87 0.044 * * [simplify]: Extracting # 5 : cost 0 inf + 623 0.045 * * [simplify]: iteration 0 : 11 enodes (cost 245 ) 0.049 * * [simplify]: Extracting # 0 : cost 0 inf + 623 0.049 * * [simplify]: Extracting # 1 : cost 1 inf + 623 0.049 * * [simplify]: Extracting # 2 : cost 0 inf + 787 0.050 * * [simplify]: iteration 1 : 19 enodes (cost 245 ) 0.056 * * [simplify]: Extracting # 0 : cost 0 inf + 787 0.057 * * [simplify]: Extracting # 1 : cost 9 inf + 787 0.057 * * [simplify]: Extracting # 2 : cost 0 inf + 1370 0.058 * * [simplify]: Extracting # 3 : cost 0 inf + 1330 0.059 * * [simplify]: iteration 2 : 39 enodes (cost 205 ) 0.074 * * [simplify]: Extracting # 0 : cost 0 inf + 1330 0.075 * * [simplify]: Extracting # 1 : cost 22 inf + 1330 0.075 * * [simplify]: Extracting # 2 : cost 0 inf + 3474 0.076 * * [simplify]: Extracting # 3 : cost 0 inf + 3394 0.077 * * [simplify]: Extracting # 4 : cost 0 inf + 3354 0.078 * * [simplify]: iteration 3 : 113 enodes (cost 165 ) 0.116 * * [simplify]: Extracting # 0 : cost 0 inf + 3354 0.118 * * [simplify]: Extracting # 1 : cost 23 inf + 3034 0.121 * * [simplify]: Extracting # 2 : cost 0 inf + 5632 0.125 * * [simplify]: Extracting # 3 : cost 0 inf + 5592 0.129 * * [simplify]: iteration 4 : 229 enodes (cost 165 ) 0.245 * * [simplify]: Extracting # 0 : cost 0 inf + 5592 0.251 * * [simplify]: Extracting # 1 : cost 20 inf + 5232 0.257 * * [simplify]: Extracting # 2 : cost 0 inf + 7095 0.265 * * [simplify]: iteration 5 : 381 enodes (cost 165 ) 0.376 * * [simplify]: Extracting # 0 : cost 0 inf + 7095 0.379 * * [simplify]: Extracting # 1 : cost 3 inf + 7015 0.383 * * [simplify]: Extracting # 2 : cost 0 inf + 7346 0.387 * * [simplify]: iteration 6 : 461 enodes (cost 165 ) 0.445 * * [simplify]: Extracting # 0 : cost 0 inf + 7346 0.449 * * [simplify]: iteration 7 : 467 enodes (cost 165 ) 0.468 * * [simplify]: Extracting # 0 : cost 0 inf + 7346 0.473 * * [simplify]: iteration complete: 467 enodes (cost 165 ) 0.474 * [simplify]: Simplified to: (* d1 (+ d2 (+ (+ d3 5.0) 32.0))) 0.486 * * [progress]: iteration 1 / 4 0.486 * * * [progress]: picking best candidate 0.501 * * * * [pick]: Picked # 0.502 * * * [progress]: localizing error 0.523 * * * [progress]: generating rewritten candidates 0.523 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.775 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 0.802 * * * [progress]: generating series expansions 0.802 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.802 * [backup-simplify]: Simplify (* d1 (+ d2 (+ (+ d3 5.0) 32.0))) into (* (+ d3 (+ d2 37.0)) d1) 0.802 * [approximate]: Taking taylor expansion of (* (+ d3 (+ d2 37.0)) d1) in (d1 d2 d3) around 0 0.802 * [taylor]: Taking taylor expansion of (* (+ d3 (+ d2 37.0)) d1) in d3 0.803 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37.0)) in d3 0.803 * [taylor]: Taking taylor expansion of d3 in d3 0.803 * [backup-simplify]: Simplify 0 into 0 0.803 * [backup-simplify]: Simplify 1 into 1 0.803 * [taylor]: Taking taylor expansion of (+ d2 37.0) in d3 0.803 * [taylor]: Taking taylor expansion of d2 in d3 0.803 * [backup-simplify]: Simplify d2 into d2 0.803 * [taylor]: Taking taylor expansion of 37.0 in d3 0.803 * [backup-simplify]: Simplify 37.0 into 37.0 0.803 * [taylor]: Taking taylor expansion of d1 in d3 0.803 * [backup-simplify]: Simplify d1 into d1 0.803 * [taylor]: Taking taylor expansion of (* (+ d3 (+ d2 37.0)) d1) in d2 0.803 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37.0)) in d2 0.803 * [taylor]: Taking taylor expansion of d3 in d2 0.803 * [backup-simplify]: Simplify d3 into d3 0.803 * [taylor]: Taking taylor expansion of (+ d2 37.0) in d2 0.803 * [taylor]: Taking taylor expansion of d2 in d2 0.803 * [backup-simplify]: Simplify 0 into 0 0.803 * [backup-simplify]: Simplify 1 into 1 0.803 * [taylor]: Taking taylor expansion of 37.0 in d2 0.803 * [backup-simplify]: Simplify 37.0 into 37.0 0.803 * [taylor]: Taking taylor expansion of d1 in d2 0.803 * [backup-simplify]: Simplify d1 into d1 0.803 * [taylor]: Taking taylor expansion of (* (+ d3 (+ d2 37.0)) d1) in d1 0.803 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37.0)) in d1 0.803 * [taylor]: Taking taylor expansion of d3 in d1 0.803 * [backup-simplify]: Simplify d3 into d3 0.803 * [taylor]: Taking taylor expansion of (+ d2 37.0) in d1 0.803 * [taylor]: Taking taylor expansion of d2 in d1 0.803 * [backup-simplify]: Simplify d2 into d2 0.803 * [taylor]: Taking taylor expansion of 37.0 in d1 0.803 * [backup-simplify]: Simplify 37.0 into 37.0 0.803 * [taylor]: Taking taylor expansion of d1 in d1 0.803 * [backup-simplify]: Simplify 0 into 0 0.803 * [backup-simplify]: Simplify 1 into 1 0.803 * [taylor]: Taking taylor expansion of (* (+ d3 (+ d2 37.0)) d1) in d1 0.803 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37.0)) in d1 0.804 * [taylor]: Taking taylor expansion of d3 in d1 0.804 * [backup-simplify]: Simplify d3 into d3 0.804 * [taylor]: Taking taylor expansion of (+ d2 37.0) in d1 0.804 * [taylor]: Taking taylor expansion of d2 in d1 0.804 * [backup-simplify]: Simplify d2 into d2 0.804 * [taylor]: Taking taylor expansion of 37.0 in d1 0.804 * [backup-simplify]: Simplify 37.0 into 37.0 0.804 * [taylor]: Taking taylor expansion of d1 in d1 0.804 * [backup-simplify]: Simplify 0 into 0 0.804 * [backup-simplify]: Simplify 1 into 1 0.804 * [backup-simplify]: Simplify (+ d2 37.0) into (+ d2 37.0) 0.804 * [backup-simplify]: Simplify (+ d3 (+ d2 37.0)) into (+ d3 (+ d2 37.0)) 0.804 * [backup-simplify]: Simplify (* (+ d3 (+ d2 37.0)) 0) into 0 0.804 * [taylor]: Taking taylor expansion of 0 in d2 0.804 * [backup-simplify]: Simplify 0 into 0 0.804 * [taylor]: Taking taylor expansion of 0 in d3 0.804 * [backup-simplify]: Simplify 0 into 0 0.804 * [backup-simplify]: Simplify 0 into 0 0.805 * [backup-simplify]: Simplify (+ 0 0) into 0 0.805 * [backup-simplify]: Simplify (+ 0 0) into 0 0.806 * [backup-simplify]: Simplify (+ (* (+ d3 (+ d2 37.0)) 1) (* 0 0)) into (+ d3 (+ d2 37.0)) 0.806 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37.0)) in d2 0.806 * [taylor]: Taking taylor expansion of d3 in d2 0.806 * [backup-simplify]: Simplify d3 into d3 0.806 * [taylor]: Taking taylor expansion of (+ d2 37.0) in d2 0.806 * [taylor]: Taking taylor expansion of d2 in d2 0.806 * [backup-simplify]: Simplify 0 into 0 0.806 * [backup-simplify]: Simplify 1 into 1 0.806 * [taylor]: Taking taylor expansion of 37.0 in d2 0.806 * [backup-simplify]: Simplify 37.0 into 37.0 0.807 * [backup-simplify]: Simplify (+ 0 37.0) into 37.0 0.807 * [backup-simplify]: Simplify (+ d3 37.0) into (+ d3 37.0) 0.807 * [taylor]: Taking taylor expansion of (+ d3 37.0) in d3 0.807 * [taylor]: Taking taylor expansion of d3 in d3 0.807 * [backup-simplify]: Simplify 0 into 0 0.807 * [backup-simplify]: Simplify 1 into 1 0.807 * [taylor]: Taking taylor expansion of 37.0 in d3 0.807 * [backup-simplify]: Simplify 37.0 into 37.0 0.807 * [backup-simplify]: Simplify (+ 0 37.0) into 37.0 0.807 * [backup-simplify]: Simplify 37.0 into 37.0 0.807 * [taylor]: Taking taylor expansion of 0 in d3 0.807 * [backup-simplify]: Simplify 0 into 0 0.807 * [backup-simplify]: Simplify 0 into 0 0.808 * [backup-simplify]: Simplify 0 into 0 0.808 * [backup-simplify]: Simplify (+ 0 0) into 0 0.808 * [backup-simplify]: Simplify (+ 0 0) into 0 0.809 * [backup-simplify]: Simplify (+ (* (+ d3 (+ d2 37.0)) 0) (+ (* 0 1) (* 0 0))) into 0 0.809 * [taylor]: Taking taylor expansion of 0 in d2 0.809 * [backup-simplify]: Simplify 0 into 0 0.809 * [taylor]: Taking taylor expansion of 0 in d3 0.809 * [backup-simplify]: Simplify 0 into 0 0.809 * [backup-simplify]: Simplify 0 into 0 0.810 * [backup-simplify]: Simplify (+ 1 0) into 1 0.810 * [backup-simplify]: Simplify (+ 0 1) into 1 0.810 * [taylor]: Taking taylor expansion of 1 in d3 0.810 * [backup-simplify]: Simplify 1 into 1 0.810 * [backup-simplify]: Simplify 1 into 1 0.810 * [taylor]: Taking taylor expansion of 0 in d3 0.810 * [backup-simplify]: Simplify 0 into 0 0.810 * [backup-simplify]: Simplify 0 into 0 0.811 * [backup-simplify]: Simplify (+ 1 0) into 1 0.811 * [backup-simplify]: Simplify 1 into 1 0.811 * [backup-simplify]: Simplify (+ (* 1 (* d3 (* 1 d1))) (+ (* 1 (* 1 (* d2 d1))) (* 37.0 (* 1 (* 1 d1))))) into (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) 0.812 * [backup-simplify]: Simplify (* (/ 1 d1) (+ (/ 1 d2) (+ (+ (/ 1 d3) 5.0) 32.0))) into (/ (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) d1) 0.812 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) d1) in (d1 d2 d3) around 0 0.812 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) d1) in d3 0.812 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) in d3 0.812 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 0.812 * [taylor]: Taking taylor expansion of d2 in d3 0.812 * [backup-simplify]: Simplify d2 into d2 0.812 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.812 * [taylor]: Taking taylor expansion of (+ 37.0 (/ 1 d3)) in d3 0.812 * [taylor]: Taking taylor expansion of 37.0 in d3 0.812 * [backup-simplify]: Simplify 37.0 into 37.0 0.812 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.812 * [taylor]: Taking taylor expansion of d3 in d3 0.812 * [backup-simplify]: Simplify 0 into 0 0.812 * [backup-simplify]: Simplify 1 into 1 0.813 * [backup-simplify]: Simplify (/ 1 1) into 1 0.813 * [taylor]: Taking taylor expansion of d1 in d3 0.813 * [backup-simplify]: Simplify d1 into d1 0.813 * [backup-simplify]: Simplify (+ 0 1) into 1 0.813 * [backup-simplify]: Simplify (+ 0 1) into 1 0.814 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 0.814 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) d1) in d2 0.814 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) in d2 0.814 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.814 * [taylor]: Taking taylor expansion of d2 in d2 0.814 * [backup-simplify]: Simplify 0 into 0 0.814 * [backup-simplify]: Simplify 1 into 1 0.814 * [backup-simplify]: Simplify (/ 1 1) into 1 0.814 * [taylor]: Taking taylor expansion of (+ 37.0 (/ 1 d3)) in d2 0.814 * [taylor]: Taking taylor expansion of 37.0 in d2 0.814 * [backup-simplify]: Simplify 37.0 into 37.0 0.814 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.814 * [taylor]: Taking taylor expansion of d3 in d2 0.814 * [backup-simplify]: Simplify d3 into d3 0.814 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.814 * [taylor]: Taking taylor expansion of d1 in d2 0.814 * [backup-simplify]: Simplify d1 into d1 0.815 * [backup-simplify]: Simplify (+ 1 0) into 1 0.815 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 0.815 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) d1) in d1 0.815 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) in d1 0.815 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.815 * [taylor]: Taking taylor expansion of d2 in d1 0.815 * [backup-simplify]: Simplify d2 into d2 0.815 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.815 * [taylor]: Taking taylor expansion of (+ 37.0 (/ 1 d3)) in d1 0.815 * [taylor]: Taking taylor expansion of 37.0 in d1 0.815 * [backup-simplify]: Simplify 37.0 into 37.0 0.815 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 0.815 * [taylor]: Taking taylor expansion of d3 in d1 0.815 * [backup-simplify]: Simplify d3 into d3 0.815 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.815 * [taylor]: Taking taylor expansion of d1 in d1 0.815 * [backup-simplify]: Simplify 0 into 0 0.815 * [backup-simplify]: Simplify 1 into 1 0.815 * [backup-simplify]: Simplify (+ 37.0 (/ 1 d3)) into (+ 37.0 (/ 1 d3)) 0.816 * [backup-simplify]: Simplify (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) into (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) 0.816 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) 1) into (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) 0.816 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) d1) in d1 0.816 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) in d1 0.816 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.816 * [taylor]: Taking taylor expansion of d2 in d1 0.816 * [backup-simplify]: Simplify d2 into d2 0.816 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.816 * [taylor]: Taking taylor expansion of (+ 37.0 (/ 1 d3)) in d1 0.816 * [taylor]: Taking taylor expansion of 37.0 in d1 0.816 * [backup-simplify]: Simplify 37.0 into 37.0 0.816 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 0.816 * [taylor]: Taking taylor expansion of d3 in d1 0.816 * [backup-simplify]: Simplify d3 into d3 0.816 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.816 * [taylor]: Taking taylor expansion of d1 in d1 0.816 * [backup-simplify]: Simplify 0 into 0 0.816 * [backup-simplify]: Simplify 1 into 1 0.816 * [backup-simplify]: Simplify (+ 37.0 (/ 1 d3)) into (+ 37.0 (/ 1 d3)) 0.816 * [backup-simplify]: Simplify (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) into (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) 0.817 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) 1) into (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) 0.817 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) in d2 0.817 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.817 * [taylor]: Taking taylor expansion of d2 in d2 0.817 * [backup-simplify]: Simplify 0 into 0 0.817 * [backup-simplify]: Simplify 1 into 1 0.817 * [backup-simplify]: Simplify (/ 1 1) into 1 0.817 * [taylor]: Taking taylor expansion of (+ 37.0 (/ 1 d3)) in d2 0.817 * [taylor]: Taking taylor expansion of 37.0 in d2 0.818 * [backup-simplify]: Simplify 37.0 into 37.0 0.818 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.818 * [taylor]: Taking taylor expansion of d3 in d2 0.818 * [backup-simplify]: Simplify d3 into d3 0.818 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.818 * [backup-simplify]: Simplify (+ 1 0) into 1 0.818 * [taylor]: Taking taylor expansion of 1 in d3 0.818 * [backup-simplify]: Simplify 1 into 1 0.818 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 0.818 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 0.819 * [backup-simplify]: Simplify (+ 0 0) into 0 0.819 * [backup-simplify]: Simplify (+ 0 0) into 0 0.820 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) (/ 0 1)))) into 0 0.820 * [taylor]: Taking taylor expansion of 0 in d2 0.820 * [backup-simplify]: Simplify 0 into 0 0.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.821 * [backup-simplify]: Simplify (+ 37.0 (/ 1 d3)) into (+ 37.0 (/ 1 d3)) 0.821 * [backup-simplify]: Simplify (+ 0 (+ 37.0 (/ 1 d3))) into (+ 37.0 (/ 1 d3)) 0.821 * [taylor]: Taking taylor expansion of (+ 37.0 (/ 1 d3)) in d3 0.821 * [taylor]: Taking taylor expansion of 37.0 in d3 0.821 * [backup-simplify]: Simplify 37.0 into 37.0 0.821 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.822 * [taylor]: Taking taylor expansion of d3 in d3 0.822 * [backup-simplify]: Simplify 0 into 0 0.822 * [backup-simplify]: Simplify 1 into 1 0.822 * [backup-simplify]: Simplify (/ 1 1) into 1 0.822 * [backup-simplify]: Simplify (+ 0 1) into 1 0.823 * [backup-simplify]: Simplify 1 into 1 0.823 * [backup-simplify]: Simplify 1 into 1 0.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 0.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 0.824 * [backup-simplify]: Simplify (+ 0 0) into 0 0.824 * [backup-simplify]: Simplify (+ 0 0) into 0 0.826 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.826 * [taylor]: Taking taylor expansion of 0 in d2 0.826 * [backup-simplify]: Simplify 0 into 0 0.826 * [taylor]: Taking taylor expansion of 0 in d3 0.826 * [backup-simplify]: Simplify 0 into 0 0.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.827 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 0.827 * [backup-simplify]: Simplify (+ 0 0) into 0 0.827 * [backup-simplify]: Simplify (+ 0 0) into 0 0.828 * [taylor]: Taking taylor expansion of 0 in d3 0.828 * [backup-simplify]: Simplify 0 into 0 0.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.829 * [backup-simplify]: Simplify (+ 37.0 0) into 37.0 0.829 * [backup-simplify]: Simplify 37.0 into 37.0 0.829 * [backup-simplify]: Simplify (+ (* 37.0 (* 1 (* 1 (/ 1 (/ 1 d1))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* 1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1))))))) into (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) 0.830 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (+ (/ 1 (- d2)) (+ (+ (/ 1 (- d3)) 5.0) 32.0))) into (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) 0.830 * [approximate]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in (d1 d2 d3) around 0 0.830 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3 0.830 * [taylor]: Taking taylor expansion of -1 in d3 0.830 * [backup-simplify]: Simplify -1 into -1 0.830 * [taylor]: Taking taylor expansion of (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3 0.830 * [taylor]: Taking taylor expansion of (- 37.0 (+ (/ 1 d2) (/ 1 d3))) in d3 0.830 * [taylor]: Taking taylor expansion of 37.0 in d3 0.830 * [backup-simplify]: Simplify 37.0 into 37.0 0.830 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 0.830 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 0.830 * [taylor]: Taking taylor expansion of d2 in d3 0.830 * [backup-simplify]: Simplify d2 into d2 0.830 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.830 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.830 * [taylor]: Taking taylor expansion of d3 in d3 0.830 * [backup-simplify]: Simplify 0 into 0 0.830 * [backup-simplify]: Simplify 1 into 1 0.831 * [backup-simplify]: Simplify (/ 1 1) into 1 0.831 * [taylor]: Taking taylor expansion of d1 in d3 0.831 * [backup-simplify]: Simplify d1 into d1 0.831 * [backup-simplify]: Simplify (+ 0 1) into 1 0.831 * [backup-simplify]: Simplify (- 1) into -1 0.832 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.832 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 0.832 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d2 0.832 * [taylor]: Taking taylor expansion of -1 in d2 0.832 * [backup-simplify]: Simplify -1 into -1 0.832 * [taylor]: Taking taylor expansion of (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d2 0.832 * [taylor]: Taking taylor expansion of (- 37.0 (+ (/ 1 d2) (/ 1 d3))) in d2 0.832 * [taylor]: Taking taylor expansion of 37.0 in d2 0.832 * [backup-simplify]: Simplify 37.0 into 37.0 0.832 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 0.832 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.832 * [taylor]: Taking taylor expansion of d2 in d2 0.832 * [backup-simplify]: Simplify 0 into 0 0.832 * [backup-simplify]: Simplify 1 into 1 0.833 * [backup-simplify]: Simplify (/ 1 1) into 1 0.833 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.833 * [taylor]: Taking taylor expansion of d3 in d2 0.833 * [backup-simplify]: Simplify d3 into d3 0.833 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.833 * [taylor]: Taking taylor expansion of d1 in d2 0.833 * [backup-simplify]: Simplify d1 into d1 0.833 * [backup-simplify]: Simplify (+ 1 0) into 1 0.834 * [backup-simplify]: Simplify (- 1) into -1 0.834 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.834 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 0.834 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d1 0.834 * [taylor]: Taking taylor expansion of -1 in d1 0.834 * [backup-simplify]: Simplify -1 into -1 0.834 * [taylor]: Taking taylor expansion of (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1 0.834 * [taylor]: Taking taylor expansion of (- 37.0 (+ (/ 1 d2) (/ 1 d3))) in d1 0.834 * [taylor]: Taking taylor expansion of 37.0 in d1 0.834 * [backup-simplify]: Simplify 37.0 into 37.0 0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 0.834 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.834 * [taylor]: Taking taylor expansion of d2 in d1 0.834 * [backup-simplify]: Simplify d2 into d2 0.834 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.834 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 0.835 * [taylor]: Taking taylor expansion of d3 in d1 0.835 * [backup-simplify]: Simplify d3 into d3 0.835 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.835 * [taylor]: Taking taylor expansion of d1 in d1 0.835 * [backup-simplify]: Simplify 0 into 0 0.835 * [backup-simplify]: Simplify 1 into 1 0.835 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 0.835 * [backup-simplify]: Simplify (- (+ (/ 1 d2) (/ 1 d3))) into (- (+ (/ 1 d2) (/ 1 d3))) 0.835 * [backup-simplify]: Simplify (+ 37.0 (- (+ (/ 1 d2) (/ 1 d3)))) into (- 37.0 (+ (/ 1 d2) (/ 1 d3))) 0.835 * [backup-simplify]: Simplify (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) 1) into (- 37.0 (+ (/ 1 d2) (/ 1 d3))) 0.835 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d1 0.835 * [taylor]: Taking taylor expansion of -1 in d1 0.835 * [backup-simplify]: Simplify -1 into -1 0.835 * [taylor]: Taking taylor expansion of (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1 0.835 * [taylor]: Taking taylor expansion of (- 37.0 (+ (/ 1 d2) (/ 1 d3))) in d1 0.836 * [taylor]: Taking taylor expansion of 37.0 in d1 0.836 * [backup-simplify]: Simplify 37.0 into 37.0 0.836 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 0.836 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.836 * [taylor]: Taking taylor expansion of d2 in d1 0.836 * [backup-simplify]: Simplify d2 into d2 0.836 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.836 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 0.836 * [taylor]: Taking taylor expansion of d3 in d1 0.836 * [backup-simplify]: Simplify d3 into d3 0.836 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.836 * [taylor]: Taking taylor expansion of d1 in d1 0.836 * [backup-simplify]: Simplify 0 into 0 0.836 * [backup-simplify]: Simplify 1 into 1 0.836 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 0.836 * [backup-simplify]: Simplify (- (+ (/ 1 d2) (/ 1 d3))) into (- (+ (/ 1 d2) (/ 1 d3))) 0.836 * [backup-simplify]: Simplify (+ 37.0 (- (+ (/ 1 d2) (/ 1 d3)))) into (- 37.0 (+ (/ 1 d2) (/ 1 d3))) 0.837 * [backup-simplify]: Simplify (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) 1) into (- 37.0 (+ (/ 1 d2) (/ 1 d3))) 0.837 * [backup-simplify]: Simplify (* -1 (- 37.0 (+ (/ 1 d2) (/ 1 d3)))) into (* -1 (- 37.0 (+ (/ 1 d2) (/ 1 d3)))) 0.837 * [taylor]: Taking taylor expansion of (* -1 (- 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d2 0.837 * [taylor]: Taking taylor expansion of -1 in d2 0.837 * [backup-simplify]: Simplify -1 into -1 0.837 * [taylor]: Taking taylor expansion of (- 37.0 (+ (/ 1 d2) (/ 1 d3))) in d2 0.837 * [taylor]: Taking taylor expansion of 37.0 in d2 0.837 * [backup-simplify]: Simplify 37.0 into 37.0 0.837 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 0.837 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.837 * [taylor]: Taking taylor expansion of d2 in d2 0.837 * [backup-simplify]: Simplify 0 into 0 0.837 * [backup-simplify]: Simplify 1 into 1 0.838 * [backup-simplify]: Simplify (/ 1 1) into 1 0.838 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.838 * [taylor]: Taking taylor expansion of d3 in d2 0.838 * [backup-simplify]: Simplify d3 into d3 0.838 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.839 * [backup-simplify]: Simplify (+ 1 0) into 1 0.839 * [backup-simplify]: Simplify (- 1) into -1 0.840 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.840 * [backup-simplify]: Simplify (* -1 -1) into 1 0.840 * [taylor]: Taking taylor expansion of 1 in d3 0.840 * [backup-simplify]: Simplify 1 into 1 0.840 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 0.840 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 0.841 * [backup-simplify]: Simplify (+ 0 0) into 0 0.841 * [backup-simplify]: Simplify (- 0) into 0 0.842 * [backup-simplify]: Simplify (+ 0 0) into 0 0.843 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 37.0 (+ (/ 1 d2) (/ 1 d3))) (/ 0 1)))) into 0 0.843 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- 37.0 (+ (/ 1 d2) (/ 1 d3))))) into 0 0.843 * [taylor]: Taking taylor expansion of 0 in d2 0.843 * [backup-simplify]: Simplify 0 into 0 0.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.844 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 0.844 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 0.844 * [backup-simplify]: Simplify (+ 37.0 (- (/ 1 d3))) into (- 37.0 (/ 1 d3)) 0.845 * [backup-simplify]: Simplify (+ (* -1 (- 37.0 (/ 1 d3))) (* 0 -1)) into (- (/ 1 d3) 37.0) 0.845 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 37.0) in d3 0.845 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.845 * [taylor]: Taking taylor expansion of d3 in d3 0.845 * [backup-simplify]: Simplify 0 into 0 0.845 * [backup-simplify]: Simplify 1 into 1 0.846 * [backup-simplify]: Simplify (/ 1 1) into 1 0.846 * [taylor]: Taking taylor expansion of 37.0 in d3 0.846 * [backup-simplify]: Simplify 37.0 into 37.0 0.846 * [backup-simplify]: Simplify (+ 1 0) into 1 0.846 * [backup-simplify]: Simplify 1 into 1 0.846 * [backup-simplify]: Simplify 1 into 1 0.846 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 0.847 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 0.847 * [backup-simplify]: Simplify (+ 0 0) into 0 0.847 * [backup-simplify]: Simplify (- 0) into 0 0.848 * [backup-simplify]: Simplify (+ 0 0) into 0 0.849 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 37.0 (+ (/ 1 d2) (/ 1 d3))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.850 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- 37.0 (+ (/ 1 d2) (/ 1 d3)))))) into 0 0.850 * [taylor]: Taking taylor expansion of 0 in d2 0.850 * [backup-simplify]: Simplify 0 into 0 0.850 * [taylor]: Taking taylor expansion of 0 in d3 0.850 * [backup-simplify]: Simplify 0 into 0 0.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.851 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 0.852 * [backup-simplify]: Simplify (+ 0 0) into 0 0.852 * [backup-simplify]: Simplify (- 0) into 0 0.852 * [backup-simplify]: Simplify (+ 0 0) into 0 0.853 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- 37.0 (/ 1 d3))) (* 0 -1))) into 0 0.853 * [taylor]: Taking taylor expansion of 0 in d3 0.853 * [backup-simplify]: Simplify 0 into 0 0.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.855 * [backup-simplify]: Simplify (- 37.0) into (- 37.0) 0.855 * [backup-simplify]: Simplify (+ 0 (- 37.0)) into (- 37.0) 0.856 * [backup-simplify]: Simplify (- 37.0) into (- 37.0) 0.857 * [backup-simplify]: Simplify (+ (* (- 37.0) (* 1 (* 1 (/ 1 (/ 1 (- d1)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1)))))))) into (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) 0.857 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 0.857 * [backup-simplify]: Simplify (+ (+ d3 5.0) 32.0) into (+ d3 37.0) 0.857 * [approximate]: Taking taylor expansion of (+ d3 37.0) in (d3) around 0 0.857 * [taylor]: Taking taylor expansion of (+ d3 37.0) in d3 0.857 * [taylor]: Taking taylor expansion of d3 in d3 0.857 * [backup-simplify]: Simplify 0 into 0 0.857 * [backup-simplify]: Simplify 1 into 1 0.857 * [taylor]: Taking taylor expansion of 37.0 in d3 0.858 * [backup-simplify]: Simplify 37.0 into 37.0 0.858 * [taylor]: Taking taylor expansion of (+ d3 37.0) in d3 0.858 * [taylor]: Taking taylor expansion of d3 in d3 0.858 * [backup-simplify]: Simplify 0 into 0 0.858 * [backup-simplify]: Simplify 1 into 1 0.858 * [taylor]: Taking taylor expansion of 37.0 in d3 0.858 * [backup-simplify]: Simplify 37.0 into 37.0 0.858 * [backup-simplify]: Simplify (+ 0 37.0) into 37.0 0.858 * [backup-simplify]: Simplify 37.0 into 37.0 0.859 * [backup-simplify]: Simplify (+ 1 0) into 1 0.859 * [backup-simplify]: Simplify 1 into 1 0.859 * [backup-simplify]: Simplify (+ 0 0) into 0 0.859 * [backup-simplify]: Simplify 0 into 0 0.860 * [backup-simplify]: Simplify (+ 0 0) into 0 0.860 * [backup-simplify]: Simplify 0 into 0 0.860 * [backup-simplify]: Simplify (+ 0 0) into 0 0.860 * [backup-simplify]: Simplify 0 into 0 0.860 * [backup-simplify]: Simplify (+ 0 0) into 0 0.860 * [backup-simplify]: Simplify 0 into 0 0.861 * [backup-simplify]: Simplify (+ 0 0) into 0 0.861 * [backup-simplify]: Simplify 0 into 0 0.861 * [backup-simplify]: Simplify (+ 0 0) into 0 0.861 * [backup-simplify]: Simplify 0 into 0 0.861 * [backup-simplify]: Simplify (+ (* 1 d3) 37.0) into (+ d3 37.0) 0.862 * [backup-simplify]: Simplify (+ (+ (/ 1 d3) 5.0) 32.0) into (+ 37.0 (/ 1 d3)) 0.862 * [approximate]: Taking taylor expansion of (+ 37.0 (/ 1 d3)) in (d3) around 0 0.862 * [taylor]: Taking taylor expansion of (+ 37.0 (/ 1 d3)) in d3 0.862 * [taylor]: Taking taylor expansion of 37.0 in d3 0.862 * [backup-simplify]: Simplify 37.0 into 37.0 0.862 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.862 * [taylor]: Taking taylor expansion of d3 in d3 0.862 * [backup-simplify]: Simplify 0 into 0 0.862 * [backup-simplify]: Simplify 1 into 1 0.862 * [backup-simplify]: Simplify (/ 1 1) into 1 0.862 * [taylor]: Taking taylor expansion of (+ 37.0 (/ 1 d3)) in d3 0.862 * [taylor]: Taking taylor expansion of 37.0 in d3 0.862 * [backup-simplify]: Simplify 37.0 into 37.0 0.862 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.862 * [taylor]: Taking taylor expansion of d3 in d3 0.862 * [backup-simplify]: Simplify 0 into 0 0.862 * [backup-simplify]: Simplify 1 into 1 0.863 * [backup-simplify]: Simplify (/ 1 1) into 1 0.863 * [backup-simplify]: Simplify (+ 0 1) into 1 0.863 * [backup-simplify]: Simplify 1 into 1 0.864 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.864 * [backup-simplify]: Simplify (+ 37.0 0) into 37.0 0.865 * [backup-simplify]: Simplify 37.0 into 37.0 0.865 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.866 * [backup-simplify]: Simplify (+ 0 0) into 0 0.866 * [backup-simplify]: Simplify 0 into 0 0.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.867 * [backup-simplify]: Simplify (+ 0 0) into 0 0.867 * [backup-simplify]: Simplify 0 into 0 0.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.869 * [backup-simplify]: Simplify (+ 0 0) into 0 0.869 * [backup-simplify]: Simplify 0 into 0 0.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.870 * [backup-simplify]: Simplify (+ 0 0) into 0 0.870 * [backup-simplify]: Simplify 0 into 0 0.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.871 * [backup-simplify]: Simplify (+ 0 0) into 0 0.871 * [backup-simplify]: Simplify 0 into 0 0.872 * [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 0.873 * [backup-simplify]: Simplify (+ 0 0) into 0 0.873 * [backup-simplify]: Simplify 0 into 0 0.873 * [backup-simplify]: Simplify (+ 37.0 (* 1 (/ 1 (/ 1 d3)))) into (+ d3 37.0) 0.873 * [backup-simplify]: Simplify (+ (+ (/ 1 (- d3)) 5.0) 32.0) into (- 37.0 (/ 1 d3)) 0.873 * [approximate]: Taking taylor expansion of (- 37.0 (/ 1 d3)) in (d3) around 0 0.873 * [taylor]: Taking taylor expansion of (- 37.0 (/ 1 d3)) in d3 0.873 * [taylor]: Taking taylor expansion of 37.0 in d3 0.873 * [backup-simplify]: Simplify 37.0 into 37.0 0.873 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.874 * [taylor]: Taking taylor expansion of d3 in d3 0.874 * [backup-simplify]: Simplify 0 into 0 0.874 * [backup-simplify]: Simplify 1 into 1 0.874 * [backup-simplify]: Simplify (/ 1 1) into 1 0.874 * [taylor]: Taking taylor expansion of (- 37.0 (/ 1 d3)) in d3 0.874 * [taylor]: Taking taylor expansion of 37.0 in d3 0.874 * [backup-simplify]: Simplify 37.0 into 37.0 0.874 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.874 * [taylor]: Taking taylor expansion of d3 in d3 0.874 * [backup-simplify]: Simplify 0 into 0 0.874 * [backup-simplify]: Simplify 1 into 1 0.875 * [backup-simplify]: Simplify (/ 1 1) into 1 0.875 * [backup-simplify]: Simplify (- 1) into -1 0.875 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.875 * [backup-simplify]: Simplify -1 into -1 0.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.877 * [backup-simplify]: Simplify (- 0) into 0 0.877 * [backup-simplify]: Simplify (+ 37.0 0) into 37.0 0.877 * [backup-simplify]: Simplify 37.0 into 37.0 0.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.878 * [backup-simplify]: Simplify (- 0) into 0 0.879 * [backup-simplify]: Simplify (+ 0 0) into 0 0.879 * [backup-simplify]: Simplify 0 into 0 0.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.880 * [backup-simplify]: Simplify (- 0) into 0 0.880 * [backup-simplify]: Simplify (+ 0 0) into 0 0.881 * [backup-simplify]: Simplify 0 into 0 0.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.882 * [backup-simplify]: Simplify (- 0) into 0 0.882 * [backup-simplify]: Simplify (+ 0 0) into 0 0.882 * [backup-simplify]: Simplify 0 into 0 0.883 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.884 * [backup-simplify]: Simplify (- 0) into 0 0.884 * [backup-simplify]: Simplify (+ 0 0) into 0 0.884 * [backup-simplify]: Simplify 0 into 0 0.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.886 * [backup-simplify]: Simplify (- 0) into 0 0.886 * [backup-simplify]: Simplify (+ 0 0) into 0 0.886 * [backup-simplify]: Simplify 0 into 0 0.887 * [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 0.887 * [backup-simplify]: Simplify (- 0) into 0 0.888 * [backup-simplify]: Simplify (+ 0 0) into 0 0.888 * [backup-simplify]: Simplify 0 into 0 0.888 * [backup-simplify]: Simplify (+ 37.0 (* -1 (/ 1 (/ 1 (- d3))))) into (+ d3 37.0) 0.888 * * * [progress]: simplifying candidates 0.889 * [simplify]: Simplifying: (* d1 (+ d2 (+ (+ d3 5.0) 32.0))) (+ (log d1) (log (+ d2 (+ (+ d3 5.0) 32.0)))) (log (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (exp (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (* (* (* d1 d1) d1) (* (* (+ d2 (+ (+ d3 5.0) 32.0)) (+ d2 (+ (+ d3 5.0) 32.0))) (+ d2 (+ (+ d3 5.0) 32.0)))) (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (* (* (* d1 (+ d2 (+ (+ d3 5.0) 32.0))) (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (* (sqrt d1) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (* (sqrt d1) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (* d1 d2) (* d1 (+ (+ d3 5.0) 32.0)) (* d2 d1) (* (+ (+ d3 5.0) 32.0) d1) (* d1 (* (cbrt (+ d2 (+ (+ d3 5.0) 32.0))) (cbrt (+ d2 (+ (+ d3 5.0) 32.0))))) (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (* d1 1) (* d1 1) (* d1 1) (* d1 1) (* (cbrt d1) (+ d2 (+ (+ d3 5.0) 32.0))) (* (sqrt d1) (+ d2 (+ (+ d3 5.0) 32.0))) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))) (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3))) (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))) (* (* (exp d3) (exp 5.0)) (exp 32.0)) (* (exp (+ d3 5.0)) (exp 32.0)) (log (+ (+ d3 5.0) 32.0)) (exp (+ (+ d3 5.0) 32.0)) (* (cbrt (+ (+ d3 5.0) 32.0)) (cbrt (+ (+ d3 5.0) 32.0))) (cbrt (+ (+ d3 5.0) 32.0)) (* (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (+ (+ d3 5.0) 32.0)) (sqrt (+ (+ d3 5.0) 32.0)) (sqrt (+ (+ d3 5.0) 32.0)) (+ (pow (+ d3 5.0) 3) (pow 32.0 3)) (+ (* (+ d3 5.0) (+ d3 5.0)) (- (* 32.0 32.0) (* (+ d3 5.0) 32.0))) (- (* (+ d3 5.0) (+ d3 5.0)) (* 32.0 32.0)) (- (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0) (+ 5.0 32.0) (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) (+ d3 37.0) (+ d3 37.0) (+ d3 37.0) 0.890 * * [simplify]: Extracting # 0 : cost 37 inf + 0 0.890 * * [simplify]: Extracting # 1 : cost 67 inf + 0 0.891 * * [simplify]: Extracting # 2 : cost 62 inf + 836 0.892 * * [simplify]: Extracting # 3 : cost 24 inf + 5978 0.894 * * [simplify]: Extracting # 4 : cost 4 inf + 11160 0.896 * * [simplify]: Extracting # 5 : cost 0 inf + 12308 0.898 * * [simplify]: iteration 0 : 79 enodes (cost 8912 ) 0.937 * * [simplify]: Extracting # 0 : cost 0 inf + 12308 0.940 * * [simplify]: Extracting # 1 : cost 62 inf + 11052 0.946 * * [simplify]: Extracting # 2 : cost 5 inf + 18398 0.956 * * [simplify]: Extracting # 3 : cost 3 inf + 18611 0.963 * * [simplify]: Extracting # 4 : cost 0 inf + 19370 0.969 * * [simplify]: iteration 1 : 233 enodes (cost 7786 ) 1.071 * * [simplify]: Extracting # 0 : cost 0 inf + 19370 1.081 * * [simplify]: Extracting # 1 : cost 282 inf + 19260 1.097 * * [simplify]: Extracting # 2 : cost 7 inf + 65152 1.114 * * [simplify]: Extracting # 3 : cost 0 inf + 66655 1.143 * * [simplify]: iteration 2 : 951 enodes (cost 7626 ) 1.652 * * [simplify]: Extracting # 0 : cost 0 inf + 66655 1.707 * * [simplify]: Extracting # 1 : cost 1896 inf + 66355 1.850 * * [simplify]: Extracting # 2 : cost 31 inf + 474731 2.011 * * [simplify]: Extracting # 3 : cost 8 inf + 477904 2.201 * * [simplify]: Extracting # 4 : cost 0 inf + 480215 2.410 * * [simplify]: iteration complete: 5003 enodes (cost 7586 ) 2.411 * [simplify]: Simplified to: (* d1 (+ d2 (+ (+ d3 5.0) 32.0))) (log (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (log (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (exp (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (* (* (* d1 (+ d2 (+ (+ d3 5.0) 32.0))) (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (* (* (* d1 (+ d2 (+ (+ d3 5.0) 32.0))) (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (* (sqrt d1) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (* (sqrt d1) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (* d1 d2) (* (+ (+ d3 5.0) 32.0) d1) (* d2 d1) (* (+ (+ d3 5.0) 32.0) d1) (* d1 (* (cbrt (+ d2 (+ (+ d3 5.0) 32.0))) (cbrt (+ d2 (+ (+ d3 5.0) 32.0))))) (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) d1 d1 d1 d1 (* (cbrt d1) (+ d2 (+ (+ d3 5.0) 32.0))) (* (sqrt d1) (+ d2 (+ (+ d3 5.0) 32.0))) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))) (* d1 (+ (* (+ (+ d3 5.0) 32.0) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))) (* (* d2 d2) d2))) (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))) (exp (+ (+ d3 5.0) 32.0)) (exp (+ (+ d3 5.0) 32.0)) (log (+ (+ d3 5.0) 32.0)) (exp (+ (+ d3 5.0) 32.0)) (* (cbrt (+ (+ d3 5.0) 32.0)) (cbrt (+ (+ d3 5.0) 32.0))) (cbrt (+ (+ d3 5.0) 32.0)) (* (+ (+ d3 5.0) 32.0) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))) (sqrt (+ (+ d3 5.0) 32.0)) (sqrt (+ (+ d3 5.0) 32.0)) (+ (* (* (+ d3 5.0) (+ d3 5.0)) (+ d3 5.0)) (* 32.0 (* 32.0 32.0))) (+ (* (+ d3 5.0) (+ d3 5.0)) (* 32.0 (- 32.0 (+ d3 5.0)))) (- (* (+ d3 5.0) (+ d3 5.0)) (* 32.0 32.0)) (- (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0) (+ 5.0 32.0) (* d1 (+ d2 (+ d3 37.0))) (* d1 (+ d2 (+ d3 37.0))) (* d1 (+ d2 (+ d3 37.0))) (+ d3 37.0) (+ d3 37.0) (+ d3 37.0) 2.414 * * * [progress]: adding candidates to table 2.590 * * [progress]: iteration 2 / 4 2.590 * * * [progress]: picking best candidate 2.598 * * * * [pick]: Picked # 2.598 * * * [progress]: localizing error 2.617 * * * [progress]: generating rewritten candidates 2.618 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 2.664 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 2.678 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 2.713 * * * [progress]: generating series expansions 2.713 * * * * [progress]: [ 1 / 3 ] generating series at (2) 2.713 * [backup-simplify]: Simplify (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)) into (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) 2.713 * [approximate]: Taking taylor expansion of (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) in (d1 d2 d3) around 0 2.713 * [taylor]: Taking taylor expansion of (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) in d3 2.713 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 2.713 * [taylor]: Taking taylor expansion of d2 in d3 2.713 * [backup-simplify]: Simplify d2 into d2 2.714 * [taylor]: Taking taylor expansion of d1 in d3 2.714 * [backup-simplify]: Simplify d1 into d1 2.714 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (* 37.0 d1)) in d3 2.714 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 2.714 * [taylor]: Taking taylor expansion of d3 in d3 2.714 * [backup-simplify]: Simplify 0 into 0 2.714 * [backup-simplify]: Simplify 1 into 1 2.714 * [taylor]: Taking taylor expansion of d1 in d3 2.714 * [backup-simplify]: Simplify d1 into d1 2.714 * [taylor]: Taking taylor expansion of (* 37.0 d1) in d3 2.714 * [taylor]: Taking taylor expansion of 37.0 in d3 2.714 * [backup-simplify]: Simplify 37.0 into 37.0 2.714 * [taylor]: Taking taylor expansion of d1 in d3 2.714 * [backup-simplify]: Simplify d1 into d1 2.714 * [taylor]: Taking taylor expansion of (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) in d2 2.714 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 2.714 * [taylor]: Taking taylor expansion of d2 in d2 2.714 * [backup-simplify]: Simplify 0 into 0 2.714 * [backup-simplify]: Simplify 1 into 1 2.714 * [taylor]: Taking taylor expansion of d1 in d2 2.714 * [backup-simplify]: Simplify d1 into d1 2.714 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (* 37.0 d1)) in d2 2.714 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 2.714 * [taylor]: Taking taylor expansion of d3 in d2 2.714 * [backup-simplify]: Simplify d3 into d3 2.714 * [taylor]: Taking taylor expansion of d1 in d2 2.714 * [backup-simplify]: Simplify d1 into d1 2.714 * [taylor]: Taking taylor expansion of (* 37.0 d1) in d2 2.714 * [taylor]: Taking taylor expansion of 37.0 in d2 2.714 * [backup-simplify]: Simplify 37.0 into 37.0 2.714 * [taylor]: Taking taylor expansion of d1 in d2 2.714 * [backup-simplify]: Simplify d1 into d1 2.714 * [taylor]: Taking taylor expansion of (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) in d1 2.714 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.714 * [taylor]: Taking taylor expansion of d2 in d1 2.714 * [backup-simplify]: Simplify d2 into d2 2.714 * [taylor]: Taking taylor expansion of d1 in d1 2.715 * [backup-simplify]: Simplify 0 into 0 2.715 * [backup-simplify]: Simplify 1 into 1 2.715 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (* 37.0 d1)) in d1 2.715 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.715 * [taylor]: Taking taylor expansion of d3 in d1 2.715 * [backup-simplify]: Simplify d3 into d3 2.715 * [taylor]: Taking taylor expansion of d1 in d1 2.715 * [backup-simplify]: Simplify 0 into 0 2.715 * [backup-simplify]: Simplify 1 into 1 2.715 * [taylor]: Taking taylor expansion of (* 37.0 d1) in d1 2.715 * [taylor]: Taking taylor expansion of 37.0 in d1 2.715 * [backup-simplify]: Simplify 37.0 into 37.0 2.715 * [taylor]: Taking taylor expansion of d1 in d1 2.715 * [backup-simplify]: Simplify 0 into 0 2.715 * [backup-simplify]: Simplify 1 into 1 2.715 * [taylor]: Taking taylor expansion of (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) in d1 2.715 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.715 * [taylor]: Taking taylor expansion of d2 in d1 2.715 * [backup-simplify]: Simplify d2 into d2 2.715 * [taylor]: Taking taylor expansion of d1 in d1 2.715 * [backup-simplify]: Simplify 0 into 0 2.715 * [backup-simplify]: Simplify 1 into 1 2.715 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (* 37.0 d1)) in d1 2.715 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.715 * [taylor]: Taking taylor expansion of d3 in d1 2.715 * [backup-simplify]: Simplify d3 into d3 2.715 * [taylor]: Taking taylor expansion of d1 in d1 2.715 * [backup-simplify]: Simplify 0 into 0 2.715 * [backup-simplify]: Simplify 1 into 1 2.715 * [taylor]: Taking taylor expansion of (* 37.0 d1) in d1 2.715 * [taylor]: Taking taylor expansion of 37.0 in d1 2.715 * [backup-simplify]: Simplify 37.0 into 37.0 2.715 * [taylor]: Taking taylor expansion of d1 in d1 2.715 * [backup-simplify]: Simplify 0 into 0 2.715 * [backup-simplify]: Simplify 1 into 1 2.716 * [backup-simplify]: Simplify (* d2 0) into 0 2.716 * [backup-simplify]: Simplify (* d3 0) into 0 2.717 * [backup-simplify]: Simplify (* 37.0 0) into 0 2.717 * [backup-simplify]: Simplify (+ 0 0) into 0 2.717 * [backup-simplify]: Simplify (+ 0 0) into 0 2.717 * [taylor]: Taking taylor expansion of 0 in d2 2.717 * [backup-simplify]: Simplify 0 into 0 2.717 * [taylor]: Taking taylor expansion of 0 in d3 2.717 * [backup-simplify]: Simplify 0 into 0 2.717 * [backup-simplify]: Simplify 0 into 0 2.718 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.718 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.720 * [backup-simplify]: Simplify (+ (* 37.0 1) (* 0 0)) into 37.0 2.720 * [backup-simplify]: Simplify (+ d3 37.0) into (+ d3 37.0) 2.720 * [backup-simplify]: Simplify (+ d2 (+ d3 37.0)) into (+ d3 (+ d2 37.0)) 2.720 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37.0)) in d2 2.720 * [taylor]: Taking taylor expansion of d3 in d2 2.720 * [backup-simplify]: Simplify d3 into d3 2.720 * [taylor]: Taking taylor expansion of (+ d2 37.0) in d2 2.720 * [taylor]: Taking taylor expansion of d2 in d2 2.720 * [backup-simplify]: Simplify 0 into 0 2.720 * [backup-simplify]: Simplify 1 into 1 2.720 * [taylor]: Taking taylor expansion of 37.0 in d2 2.720 * [backup-simplify]: Simplify 37.0 into 37.0 2.721 * [backup-simplify]: Simplify (+ 0 37.0) into 37.0 2.721 * [backup-simplify]: Simplify (+ d3 37.0) into (+ d3 37.0) 2.721 * [taylor]: Taking taylor expansion of (+ d3 37.0) in d3 2.721 * [taylor]: Taking taylor expansion of d3 in d3 2.721 * [backup-simplify]: Simplify 0 into 0 2.721 * [backup-simplify]: Simplify 1 into 1 2.721 * [taylor]: Taking taylor expansion of 37.0 in d3 2.721 * [backup-simplify]: Simplify 37.0 into 37.0 2.721 * [backup-simplify]: Simplify (+ 0 37.0) into 37.0 2.721 * [backup-simplify]: Simplify 37.0 into 37.0 2.721 * [taylor]: Taking taylor expansion of 0 in d3 2.721 * [backup-simplify]: Simplify 0 into 0 2.722 * [backup-simplify]: Simplify 0 into 0 2.722 * [backup-simplify]: Simplify 0 into 0 2.722 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 2.728 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 2.730 * [backup-simplify]: Simplify (+ (* 37.0 0) (+ (* 0 1) (* 0 0))) into 0 2.730 * [backup-simplify]: Simplify (+ 0 0) into 0 2.730 * [backup-simplify]: Simplify (+ 0 0) into 0 2.730 * [taylor]: Taking taylor expansion of 0 in d2 2.730 * [backup-simplify]: Simplify 0 into 0 2.730 * [taylor]: Taking taylor expansion of 0 in d3 2.730 * [backup-simplify]: Simplify 0 into 0 2.731 * [backup-simplify]: Simplify 0 into 0 2.731 * [backup-simplify]: Simplify (+ 1 0) into 1 2.731 * [backup-simplify]: Simplify (+ 0 1) into 1 2.731 * [taylor]: Taking taylor expansion of 1 in d3 2.732 * [backup-simplify]: Simplify 1 into 1 2.732 * [backup-simplify]: Simplify 1 into 1 2.732 * [taylor]: Taking taylor expansion of 0 in d3 2.732 * [backup-simplify]: Simplify 0 into 0 2.732 * [backup-simplify]: Simplify 0 into 0 2.732 * [backup-simplify]: Simplify (+ 1 0) into 1 2.732 * [backup-simplify]: Simplify 1 into 1 2.733 * [backup-simplify]: Simplify (+ (* 1 (* d3 (* 1 d1))) (+ (* 1 (* 1 (* d2 d1))) (* 37.0 (* 1 (* 1 d1))))) into (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) 2.733 * [backup-simplify]: Simplify (+ (+ (* (/ 1 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5.0) (/ 1 d1))) (* (/ 1 d1) 32.0)) into (+ (/ 1 (* d2 d1)) (+ (* 37.0 (/ 1 d1)) (/ 1 (* d3 d1)))) 2.733 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 37.0 (/ 1 d1)) (/ 1 (* d3 d1)))) in (d1 d2 d3) around 0 2.733 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 37.0 (/ 1 d1)) (/ 1 (* d3 d1)))) in d3 2.733 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3 2.733 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 2.733 * [taylor]: Taking taylor expansion of d2 in d3 2.733 * [backup-simplify]: Simplify d2 into d2 2.733 * [taylor]: Taking taylor expansion of d1 in d3 2.734 * [backup-simplify]: Simplify d1 into d1 2.734 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1) 2.734 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 2.734 * [taylor]: Taking taylor expansion of (+ (* 37.0 (/ 1 d1)) (/ 1 (* d3 d1))) in d3 2.734 * [taylor]: Taking taylor expansion of (* 37.0 (/ 1 d1)) in d3 2.734 * [taylor]: Taking taylor expansion of 37.0 in d3 2.734 * [backup-simplify]: Simplify 37.0 into 37.0 2.734 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 2.734 * [taylor]: Taking taylor expansion of d1 in d3 2.734 * [backup-simplify]: Simplify d1 into d1 2.734 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.734 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 2.734 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 2.734 * [taylor]: Taking taylor expansion of d3 in d3 2.734 * [backup-simplify]: Simplify 0 into 0 2.734 * [backup-simplify]: Simplify 1 into 1 2.734 * [taylor]: Taking taylor expansion of d1 in d3 2.734 * [backup-simplify]: Simplify d1 into d1 2.734 * [backup-simplify]: Simplify (* 0 d1) into 0 2.735 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.735 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.735 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 37.0 (/ 1 d1)) (/ 1 (* d3 d1)))) in d2 2.735 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 2.735 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 2.735 * [taylor]: Taking taylor expansion of d2 in d2 2.735 * [backup-simplify]: Simplify 0 into 0 2.735 * [backup-simplify]: Simplify 1 into 1 2.735 * [taylor]: Taking taylor expansion of d1 in d2 2.735 * [backup-simplify]: Simplify d1 into d1 2.735 * [backup-simplify]: Simplify (* 0 d1) into 0 2.736 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.736 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.736 * [taylor]: Taking taylor expansion of (+ (* 37.0 (/ 1 d1)) (/ 1 (* d3 d1))) in d2 2.736 * [taylor]: Taking taylor expansion of (* 37.0 (/ 1 d1)) in d2 2.736 * [taylor]: Taking taylor expansion of 37.0 in d2 2.736 * [backup-simplify]: Simplify 37.0 into 37.0 2.736 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 2.736 * [taylor]: Taking taylor expansion of d1 in d2 2.736 * [backup-simplify]: Simplify d1 into d1 2.736 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.736 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2 2.736 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 2.736 * [taylor]: Taking taylor expansion of d3 in d2 2.736 * [backup-simplify]: Simplify d3 into d3 2.736 * [taylor]: Taking taylor expansion of d1 in d2 2.736 * [backup-simplify]: Simplify d1 into d1 2.736 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1) 2.736 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 2.736 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 37.0 (/ 1 d1)) (/ 1 (* d3 d1)))) in d1 2.736 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 2.736 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.736 * [taylor]: Taking taylor expansion of d2 in d1 2.736 * [backup-simplify]: Simplify d2 into d2 2.736 * [taylor]: Taking taylor expansion of d1 in d1 2.737 * [backup-simplify]: Simplify 0 into 0 2.737 * [backup-simplify]: Simplify 1 into 1 2.737 * [backup-simplify]: Simplify (* d2 0) into 0 2.737 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.737 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.737 * [taylor]: Taking taylor expansion of (+ (* 37.0 (/ 1 d1)) (/ 1 (* d3 d1))) in d1 2.737 * [taylor]: Taking taylor expansion of (* 37.0 (/ 1 d1)) in d1 2.737 * [taylor]: Taking taylor expansion of 37.0 in d1 2.737 * [backup-simplify]: Simplify 37.0 into 37.0 2.737 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.737 * [taylor]: Taking taylor expansion of d1 in d1 2.737 * [backup-simplify]: Simplify 0 into 0 2.737 * [backup-simplify]: Simplify 1 into 1 2.738 * [backup-simplify]: Simplify (/ 1 1) into 1 2.738 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 2.738 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.738 * [taylor]: Taking taylor expansion of d3 in d1 2.738 * [backup-simplify]: Simplify d3 into d3 2.738 * [taylor]: Taking taylor expansion of d1 in d1 2.738 * [backup-simplify]: Simplify 0 into 0 2.738 * [backup-simplify]: Simplify 1 into 1 2.738 * [backup-simplify]: Simplify (* d3 0) into 0 2.738 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.738 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.738 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 37.0 (/ 1 d1)) (/ 1 (* d3 d1)))) in d1 2.739 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 2.739 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.739 * [taylor]: Taking taylor expansion of d2 in d1 2.739 * [backup-simplify]: Simplify d2 into d2 2.739 * [taylor]: Taking taylor expansion of d1 in d1 2.739 * [backup-simplify]: Simplify 0 into 0 2.739 * [backup-simplify]: Simplify 1 into 1 2.739 * [backup-simplify]: Simplify (* d2 0) into 0 2.739 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.739 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.739 * [taylor]: Taking taylor expansion of (+ (* 37.0 (/ 1 d1)) (/ 1 (* d3 d1))) in d1 2.739 * [taylor]: Taking taylor expansion of (* 37.0 (/ 1 d1)) in d1 2.739 * [taylor]: Taking taylor expansion of 37.0 in d1 2.739 * [backup-simplify]: Simplify 37.0 into 37.0 2.739 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.739 * [taylor]: Taking taylor expansion of d1 in d1 2.739 * [backup-simplify]: Simplify 0 into 0 2.740 * [backup-simplify]: Simplify 1 into 1 2.740 * [backup-simplify]: Simplify (/ 1 1) into 1 2.740 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 2.740 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.740 * [taylor]: Taking taylor expansion of d3 in d1 2.740 * [backup-simplify]: Simplify d3 into d3 2.740 * [taylor]: Taking taylor expansion of d1 in d1 2.740 * [backup-simplify]: Simplify 0 into 0 2.740 * [backup-simplify]: Simplify 1 into 1 2.740 * [backup-simplify]: Simplify (* d3 0) into 0 2.741 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.741 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.741 * [backup-simplify]: Simplify (* 37.0 1) into 37.0 2.741 * [backup-simplify]: Simplify (+ 37.0 (/ 1 d3)) into (+ 37.0 (/ 1 d3)) 2.741 * [backup-simplify]: Simplify (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) into (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) 2.741 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ 37.0 (/ 1 d3))) in d2 2.741 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.742 * [taylor]: Taking taylor expansion of d2 in d2 2.742 * [backup-simplify]: Simplify 0 into 0 2.742 * [backup-simplify]: Simplify 1 into 1 2.742 * [backup-simplify]: Simplify (/ 1 1) into 1 2.742 * [taylor]: Taking taylor expansion of (+ 37.0 (/ 1 d3)) in d2 2.742 * [taylor]: Taking taylor expansion of 37.0 in d2 2.742 * [backup-simplify]: Simplify 37.0 into 37.0 2.742 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.742 * [taylor]: Taking taylor expansion of d3 in d2 2.742 * [backup-simplify]: Simplify d3 into d3 2.742 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.743 * [backup-simplify]: Simplify (+ 1 0) into 1 2.743 * [taylor]: Taking taylor expansion of 1 in d3 2.743 * [backup-simplify]: Simplify 1 into 1 2.743 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 2.744 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 2.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.745 * [backup-simplify]: Simplify (+ (* 37.0 0) (* 0 1)) into 0 2.746 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 2.746 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.746 * [backup-simplify]: Simplify (+ 0 0) into 0 2.747 * [backup-simplify]: Simplify (+ 0 0) into 0 2.747 * [taylor]: Taking taylor expansion of 0 in d2 2.747 * [backup-simplify]: Simplify 0 into 0 2.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.748 * [backup-simplify]: Simplify (+ 37.0 (/ 1 d3)) into (+ 37.0 (/ 1 d3)) 2.748 * [backup-simplify]: Simplify (+ 0 (+ 37.0 (/ 1 d3))) into (+ 37.0 (/ 1 d3)) 2.748 * [taylor]: Taking taylor expansion of (+ 37.0 (/ 1 d3)) in d3 2.748 * [taylor]: Taking taylor expansion of 37.0 in d3 2.748 * [backup-simplify]: Simplify 37.0 into 37.0 2.748 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.748 * [taylor]: Taking taylor expansion of d3 in d3 2.748 * [backup-simplify]: Simplify 0 into 0 2.748 * [backup-simplify]: Simplify 1 into 1 2.748 * [backup-simplify]: Simplify (/ 1 1) into 1 2.749 * [backup-simplify]: Simplify (+ 0 1) into 1 2.749 * [backup-simplify]: Simplify 1 into 1 2.749 * [backup-simplify]: Simplify 1 into 1 2.750 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.750 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.752 * [backup-simplify]: Simplify (+ (* 37.0 0) (+ (* 0 0) (* 0 1))) into 0 2.753 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.753 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 2.753 * [backup-simplify]: Simplify (+ 0 0) into 0 2.754 * [backup-simplify]: Simplify (+ 0 0) into 0 2.754 * [taylor]: Taking taylor expansion of 0 in d2 2.754 * [backup-simplify]: Simplify 0 into 0 2.754 * [taylor]: Taking taylor expansion of 0 in d3 2.754 * [backup-simplify]: Simplify 0 into 0 2.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.755 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.755 * [backup-simplify]: Simplify (+ 0 0) into 0 2.756 * [backup-simplify]: Simplify (+ 0 0) into 0 2.756 * [taylor]: Taking taylor expansion of 0 in d3 2.756 * [backup-simplify]: Simplify 0 into 0 2.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.757 * [backup-simplify]: Simplify (+ 37.0 0) into 37.0 2.757 * [backup-simplify]: Simplify 37.0 into 37.0 2.758 * [backup-simplify]: Simplify (+ (* 37.0 (* 1 (* 1 (/ 1 (/ 1 d1))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* 1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1))))))) into (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) 2.758 * [backup-simplify]: Simplify (+ (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5.0) (/ 1 (- d1)))) (* (/ 1 (- d1)) 32.0)) into (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 37.0 (/ 1 d1))) 2.758 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 37.0 (/ 1 d1))) in (d1 d2 d3) around 0 2.758 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 37.0 (/ 1 d1))) in d3 2.758 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d3 2.758 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3 2.758 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 2.758 * [taylor]: Taking taylor expansion of d2 in d3 2.758 * [backup-simplify]: Simplify d2 into d2 2.758 * [taylor]: Taking taylor expansion of d1 in d3 2.758 * [backup-simplify]: Simplify d1 into d1 2.758 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1) 2.759 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 2.759 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 2.759 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 2.759 * [taylor]: Taking taylor expansion of d3 in d3 2.759 * [backup-simplify]: Simplify 0 into 0 2.759 * [backup-simplify]: Simplify 1 into 1 2.759 * [taylor]: Taking taylor expansion of d1 in d3 2.759 * [backup-simplify]: Simplify d1 into d1 2.759 * [backup-simplify]: Simplify (* 0 d1) into 0 2.759 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.759 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.759 * [taylor]: Taking taylor expansion of (* 37.0 (/ 1 d1)) in d3 2.759 * [taylor]: Taking taylor expansion of 37.0 in d3 2.759 * [backup-simplify]: Simplify 37.0 into 37.0 2.759 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 2.759 * [taylor]: Taking taylor expansion of d1 in d3 2.759 * [backup-simplify]: Simplify d1 into d1 2.759 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.759 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 37.0 (/ 1 d1))) in d2 2.759 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d2 2.759 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 2.759 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 2.759 * [taylor]: Taking taylor expansion of d2 in d2 2.759 * [backup-simplify]: Simplify 0 into 0 2.759 * [backup-simplify]: Simplify 1 into 1 2.759 * [taylor]: Taking taylor expansion of d1 in d2 2.759 * [backup-simplify]: Simplify d1 into d1 2.759 * [backup-simplify]: Simplify (* 0 d1) into 0 2.760 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.760 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.760 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2 2.760 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 2.760 * [taylor]: Taking taylor expansion of d3 in d2 2.760 * [backup-simplify]: Simplify d3 into d3 2.760 * [taylor]: Taking taylor expansion of d1 in d2 2.760 * [backup-simplify]: Simplify d1 into d1 2.760 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1) 2.760 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 2.760 * [taylor]: Taking taylor expansion of (* 37.0 (/ 1 d1)) in d2 2.760 * [taylor]: Taking taylor expansion of 37.0 in d2 2.760 * [backup-simplify]: Simplify 37.0 into 37.0 2.760 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 2.760 * [taylor]: Taking taylor expansion of d1 in d2 2.760 * [backup-simplify]: Simplify d1 into d1 2.760 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.760 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 37.0 (/ 1 d1))) in d1 2.760 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 2.760 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 2.760 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.760 * [taylor]: Taking taylor expansion of d2 in d1 2.760 * [backup-simplify]: Simplify d2 into d2 2.760 * [taylor]: Taking taylor expansion of d1 in d1 2.760 * [backup-simplify]: Simplify 0 into 0 2.760 * [backup-simplify]: Simplify 1 into 1 2.760 * [backup-simplify]: Simplify (* d2 0) into 0 2.761 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.761 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.761 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 2.761 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.761 * [taylor]: Taking taylor expansion of d3 in d1 2.761 * [backup-simplify]: Simplify d3 into d3 2.761 * [taylor]: Taking taylor expansion of d1 in d1 2.761 * [backup-simplify]: Simplify 0 into 0 2.761 * [backup-simplify]: Simplify 1 into 1 2.761 * [backup-simplify]: Simplify (* d3 0) into 0 2.761 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.761 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.761 * [taylor]: Taking taylor expansion of (* 37.0 (/ 1 d1)) in d1 2.761 * [taylor]: Taking taylor expansion of 37.0 in d1 2.761 * [backup-simplify]: Simplify 37.0 into 37.0 2.761 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.761 * [taylor]: Taking taylor expansion of d1 in d1 2.761 * [backup-simplify]: Simplify 0 into 0 2.761 * [backup-simplify]: Simplify 1 into 1 2.761 * [backup-simplify]: Simplify (/ 1 1) into 1 2.761 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 37.0 (/ 1 d1))) in d1 2.761 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 2.761 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 2.761 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.761 * [taylor]: Taking taylor expansion of d2 in d1 2.761 * [backup-simplify]: Simplify d2 into d2 2.762 * [taylor]: Taking taylor expansion of d1 in d1 2.762 * [backup-simplify]: Simplify 0 into 0 2.762 * [backup-simplify]: Simplify 1 into 1 2.762 * [backup-simplify]: Simplify (* d2 0) into 0 2.762 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.762 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.762 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 2.762 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.762 * [taylor]: Taking taylor expansion of d3 in d1 2.762 * [backup-simplify]: Simplify d3 into d3 2.762 * [taylor]: Taking taylor expansion of d1 in d1 2.762 * [backup-simplify]: Simplify 0 into 0 2.762 * [backup-simplify]: Simplify 1 into 1 2.762 * [backup-simplify]: Simplify (* d3 0) into 0 2.762 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.762 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.762 * [taylor]: Taking taylor expansion of (* 37.0 (/ 1 d1)) in d1 2.762 * [taylor]: Taking taylor expansion of 37.0 in d1 2.762 * [backup-simplify]: Simplify 37.0 into 37.0 2.762 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.762 * [taylor]: Taking taylor expansion of d1 in d1 2.762 * [backup-simplify]: Simplify 0 into 0 2.762 * [backup-simplify]: Simplify 1 into 1 2.763 * [backup-simplify]: Simplify (/ 1 1) into 1 2.763 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 2.763 * [backup-simplify]: Simplify (* 37.0 1) into 37.0 2.763 * [backup-simplify]: Simplify (- 37.0) into (- 37.0) 2.764 * [backup-simplify]: Simplify (+ (+ (/ 1 d2) (/ 1 d3)) (- 37.0)) into (- (+ (/ 1 d2) (/ 1 d3)) 37.0) 2.764 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d3)) 37.0) in d2 2.764 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 2.764 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.764 * [taylor]: Taking taylor expansion of d2 in d2 2.764 * [backup-simplify]: Simplify 0 into 0 2.764 * [backup-simplify]: Simplify 1 into 1 2.764 * [backup-simplify]: Simplify (/ 1 1) into 1 2.764 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.764 * [taylor]: Taking taylor expansion of d3 in d2 2.764 * [backup-simplify]: Simplify d3 into d3 2.764 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.764 * [taylor]: Taking taylor expansion of 37.0 in d2 2.764 * [backup-simplify]: Simplify 37.0 into 37.0 2.765 * [backup-simplify]: Simplify (+ 1 0) into 1 2.765 * [backup-simplify]: Simplify (+ 1 0) into 1 2.765 * [taylor]: Taking taylor expansion of 1 in d3 2.765 * [backup-simplify]: Simplify 1 into 1 2.765 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 2.766 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 2.766 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 2.766 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.766 * [backup-simplify]: Simplify (+ 0 0) into 0 2.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.767 * [backup-simplify]: Simplify (+ (* 37.0 0) (* 0 1)) into 0 2.767 * [backup-simplify]: Simplify (- 0) into 0 2.768 * [backup-simplify]: Simplify (+ 0 0) into 0 2.768 * [taylor]: Taking taylor expansion of 0 in d2 2.768 * [backup-simplify]: Simplify 0 into 0 2.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.768 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 2.769 * [backup-simplify]: Simplify (- 37.0) into (- 37.0) 2.769 * [backup-simplify]: Simplify (+ (/ 1 d3) (- 37.0)) into (- (/ 1 d3) 37.0) 2.769 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 37.0) in d3 2.769 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.769 * [taylor]: Taking taylor expansion of d3 in d3 2.769 * [backup-simplify]: Simplify 0 into 0 2.769 * [backup-simplify]: Simplify 1 into 1 2.769 * [backup-simplify]: Simplify (/ 1 1) into 1 2.769 * [taylor]: Taking taylor expansion of 37.0 in d3 2.769 * [backup-simplify]: Simplify 37.0 into 37.0 2.769 * [backup-simplify]: Simplify (+ 1 0) into 1 2.770 * [backup-simplify]: Simplify 1 into 1 2.770 * [backup-simplify]: Simplify 1 into 1 2.770 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.770 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.771 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.771 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 2.771 * [backup-simplify]: Simplify (+ 0 0) into 0 2.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.772 * [backup-simplify]: Simplify (+ (* 37.0 0) (+ (* 0 0) (* 0 1))) into 0 2.772 * [backup-simplify]: Simplify (- 0) into 0 2.773 * [backup-simplify]: Simplify (+ 0 0) into 0 2.773 * [taylor]: Taking taylor expansion of 0 in d2 2.773 * [backup-simplify]: Simplify 0 into 0 2.773 * [taylor]: Taking taylor expansion of 0 in d3 2.773 * [backup-simplify]: Simplify 0 into 0 2.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.773 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.774 * [backup-simplify]: Simplify (+ 0 0) into 0 2.774 * [backup-simplify]: Simplify (- 0) into 0 2.774 * [backup-simplify]: Simplify (+ 0 0) into 0 2.774 * [taylor]: Taking taylor expansion of 0 in d3 2.774 * [backup-simplify]: Simplify 0 into 0 2.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.775 * [backup-simplify]: Simplify (- 37.0) into (- 37.0) 2.775 * [backup-simplify]: Simplify (+ 0 (- 37.0)) into (- 37.0) 2.776 * [backup-simplify]: Simplify (- 37.0) into (- 37.0) 2.776 * [backup-simplify]: Simplify (+ (* (- 37.0) (* 1 (* 1 (/ 1 (/ 1 (- d1)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1)))))))) into (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) 2.776 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 2.777 * [backup-simplify]: Simplify (+ (* d1 d2) (* (+ d3 5.0) d1)) into (+ (* d3 d1) (+ (* d2 d1) (* 5.0 d1))) 2.777 * [approximate]: Taking taylor expansion of (+ (* d3 d1) (+ (* d2 d1) (* 5.0 d1))) in (d1 d2 d3) around 0 2.777 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (+ (* d2 d1) (* 5.0 d1))) in d3 2.777 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 2.777 * [taylor]: Taking taylor expansion of d3 in d3 2.777 * [backup-simplify]: Simplify 0 into 0 2.777 * [backup-simplify]: Simplify 1 into 1 2.777 * [taylor]: Taking taylor expansion of d1 in d3 2.777 * [backup-simplify]: Simplify d1 into d1 2.777 * [taylor]: Taking taylor expansion of (+ (* d2 d1) (* 5.0 d1)) in d3 2.777 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 2.777 * [taylor]: Taking taylor expansion of d2 in d3 2.777 * [backup-simplify]: Simplify d2 into d2 2.777 * [taylor]: Taking taylor expansion of d1 in d3 2.777 * [backup-simplify]: Simplify d1 into d1 2.777 * [taylor]: Taking taylor expansion of (* 5.0 d1) in d3 2.777 * [taylor]: Taking taylor expansion of 5.0 in d3 2.777 * [backup-simplify]: Simplify 5.0 into 5.0 2.777 * [taylor]: Taking taylor expansion of d1 in d3 2.777 * [backup-simplify]: Simplify d1 into d1 2.777 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (+ (* d2 d1) (* 5.0 d1))) in d2 2.777 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 2.777 * [taylor]: Taking taylor expansion of d3 in d2 2.777 * [backup-simplify]: Simplify d3 into d3 2.777 * [taylor]: Taking taylor expansion of d1 in d2 2.777 * [backup-simplify]: Simplify d1 into d1 2.777 * [taylor]: Taking taylor expansion of (+ (* d2 d1) (* 5.0 d1)) in d2 2.777 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 2.777 * [taylor]: Taking taylor expansion of d2 in d2 2.777 * [backup-simplify]: Simplify 0 into 0 2.777 * [backup-simplify]: Simplify 1 into 1 2.777 * [taylor]: Taking taylor expansion of d1 in d2 2.777 * [backup-simplify]: Simplify d1 into d1 2.777 * [taylor]: Taking taylor expansion of (* 5.0 d1) in d2 2.777 * [taylor]: Taking taylor expansion of 5.0 in d2 2.777 * [backup-simplify]: Simplify 5.0 into 5.0 2.777 * [taylor]: Taking taylor expansion of d1 in d2 2.777 * [backup-simplify]: Simplify d1 into d1 2.777 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (+ (* d2 d1) (* 5.0 d1))) in d1 2.777 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.777 * [taylor]: Taking taylor expansion of d3 in d1 2.777 * [backup-simplify]: Simplify d3 into d3 2.777 * [taylor]: Taking taylor expansion of d1 in d1 2.777 * [backup-simplify]: Simplify 0 into 0 2.777 * [backup-simplify]: Simplify 1 into 1 2.777 * [taylor]: Taking taylor expansion of (+ (* d2 d1) (* 5.0 d1)) in d1 2.777 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.777 * [taylor]: Taking taylor expansion of d2 in d1 2.777 * [backup-simplify]: Simplify d2 into d2 2.777 * [taylor]: Taking taylor expansion of d1 in d1 2.777 * [backup-simplify]: Simplify 0 into 0 2.777 * [backup-simplify]: Simplify 1 into 1 2.777 * [taylor]: Taking taylor expansion of (* 5.0 d1) in d1 2.777 * [taylor]: Taking taylor expansion of 5.0 in d1 2.777 * [backup-simplify]: Simplify 5.0 into 5.0 2.777 * [taylor]: Taking taylor expansion of d1 in d1 2.777 * [backup-simplify]: Simplify 0 into 0 2.777 * [backup-simplify]: Simplify 1 into 1 2.777 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (+ (* d2 d1) (* 5.0 d1))) in d1 2.777 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.777 * [taylor]: Taking taylor expansion of d3 in d1 2.777 * [backup-simplify]: Simplify d3 into d3 2.778 * [taylor]: Taking taylor expansion of d1 in d1 2.778 * [backup-simplify]: Simplify 0 into 0 2.778 * [backup-simplify]: Simplify 1 into 1 2.778 * [taylor]: Taking taylor expansion of (+ (* d2 d1) (* 5.0 d1)) in d1 2.778 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.778 * [taylor]: Taking taylor expansion of d2 in d1 2.778 * [backup-simplify]: Simplify d2 into d2 2.778 * [taylor]: Taking taylor expansion of d1 in d1 2.778 * [backup-simplify]: Simplify 0 into 0 2.778 * [backup-simplify]: Simplify 1 into 1 2.778 * [taylor]: Taking taylor expansion of (* 5.0 d1) in d1 2.778 * [taylor]: Taking taylor expansion of 5.0 in d1 2.778 * [backup-simplify]: Simplify 5.0 into 5.0 2.778 * [taylor]: Taking taylor expansion of d1 in d1 2.778 * [backup-simplify]: Simplify 0 into 0 2.778 * [backup-simplify]: Simplify 1 into 1 2.778 * [backup-simplify]: Simplify (* d3 0) into 0 2.778 * [backup-simplify]: Simplify (* d2 0) into 0 2.778 * [backup-simplify]: Simplify (* 5.0 0) into 0 2.778 * [backup-simplify]: Simplify (+ 0 0) into 0 2.779 * [backup-simplify]: Simplify (+ 0 0) into 0 2.779 * [taylor]: Taking taylor expansion of 0 in d2 2.779 * [backup-simplify]: Simplify 0 into 0 2.779 * [taylor]: Taking taylor expansion of 0 in d3 2.779 * [backup-simplify]: Simplify 0 into 0 2.779 * [backup-simplify]: Simplify 0 into 0 2.779 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.779 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.780 * [backup-simplify]: Simplify (+ (* 5.0 1) (* 0 0)) into 5.0 2.780 * [backup-simplify]: Simplify (+ d2 5.0) into (+ d2 5.0) 2.780 * [backup-simplify]: Simplify (+ d3 (+ d2 5.0)) into (+ d3 (+ d2 5.0)) 2.780 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 5.0)) in d2 2.780 * [taylor]: Taking taylor expansion of d3 in d2 2.780 * [backup-simplify]: Simplify d3 into d3 2.780 * [taylor]: Taking taylor expansion of (+ d2 5.0) in d2 2.780 * [taylor]: Taking taylor expansion of d2 in d2 2.781 * [backup-simplify]: Simplify 0 into 0 2.781 * [backup-simplify]: Simplify 1 into 1 2.781 * [taylor]: Taking taylor expansion of 5.0 in d2 2.781 * [backup-simplify]: Simplify 5.0 into 5.0 2.781 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 2.781 * [backup-simplify]: Simplify (+ d3 5.0) into (+ d3 5.0) 2.781 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d3 2.781 * [taylor]: Taking taylor expansion of d3 in d3 2.781 * [backup-simplify]: Simplify 0 into 0 2.781 * [backup-simplify]: Simplify 1 into 1 2.781 * [taylor]: Taking taylor expansion of 5.0 in d3 2.781 * [backup-simplify]: Simplify 5.0 into 5.0 2.781 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 2.781 * [backup-simplify]: Simplify 5.0 into 5.0 2.781 * [taylor]: Taking taylor expansion of 0 in d3 2.781 * [backup-simplify]: Simplify 0 into 0 2.781 * [backup-simplify]: Simplify 0 into 0 2.781 * [backup-simplify]: Simplify 0 into 0 2.782 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 2.782 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 2.783 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 1) (* 0 0))) into 0 2.783 * [backup-simplify]: Simplify (+ 0 0) into 0 2.783 * [backup-simplify]: Simplify (+ 0 0) into 0 2.783 * [taylor]: Taking taylor expansion of 0 in d2 2.783 * [backup-simplify]: Simplify 0 into 0 2.784 * [taylor]: Taking taylor expansion of 0 in d3 2.784 * [backup-simplify]: Simplify 0 into 0 2.784 * [backup-simplify]: Simplify 0 into 0 2.784 * [backup-simplify]: Simplify (+ 1 0) into 1 2.784 * [backup-simplify]: Simplify (+ 0 1) into 1 2.784 * [taylor]: Taking taylor expansion of 1 in d3 2.784 * [backup-simplify]: Simplify 1 into 1 2.784 * [backup-simplify]: Simplify 1 into 1 2.784 * [taylor]: Taking taylor expansion of 0 in d3 2.784 * [backup-simplify]: Simplify 0 into 0 2.784 * [backup-simplify]: Simplify 0 into 0 2.785 * [backup-simplify]: Simplify (+ 1 0) into 1 2.785 * [backup-simplify]: Simplify 1 into 1 2.785 * [backup-simplify]: Simplify (+ (* 1 (* d3 (* 1 d1))) (+ (* 1 (* 1 (* d2 d1))) (* 5.0 (* 1 (* 1 d1))))) into (+ (* d2 d1) (+ (* d3 d1) (* 5.0 d1))) 2.785 * [backup-simplify]: Simplify (+ (* (/ 1 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5.0) (/ 1 d1))) into (+ (/ 1 (* d2 d1)) (+ (* 5.0 (/ 1 d1)) (/ 1 (* d3 d1)))) 2.785 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 5.0 (/ 1 d1)) (/ 1 (* d3 d1)))) in (d1 d2 d3) around 0 2.785 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 5.0 (/ 1 d1)) (/ 1 (* d3 d1)))) in d3 2.785 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3 2.785 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 2.785 * [taylor]: Taking taylor expansion of d2 in d3 2.785 * [backup-simplify]: Simplify d2 into d2 2.785 * [taylor]: Taking taylor expansion of d1 in d3 2.785 * [backup-simplify]: Simplify d1 into d1 2.785 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1) 2.785 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 2.785 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 d1)) (/ 1 (* d3 d1))) in d3 2.785 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d3 2.785 * [taylor]: Taking taylor expansion of 5.0 in d3 2.785 * [backup-simplify]: Simplify 5.0 into 5.0 2.785 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 2.785 * [taylor]: Taking taylor expansion of d1 in d3 2.786 * [backup-simplify]: Simplify d1 into d1 2.786 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.786 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 2.786 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 2.786 * [taylor]: Taking taylor expansion of d3 in d3 2.786 * [backup-simplify]: Simplify 0 into 0 2.786 * [backup-simplify]: Simplify 1 into 1 2.786 * [taylor]: Taking taylor expansion of d1 in d3 2.786 * [backup-simplify]: Simplify d1 into d1 2.786 * [backup-simplify]: Simplify (* 0 d1) into 0 2.786 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.786 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.786 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 5.0 (/ 1 d1)) (/ 1 (* d3 d1)))) in d2 2.786 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 2.786 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 2.786 * [taylor]: Taking taylor expansion of d2 in d2 2.786 * [backup-simplify]: Simplify 0 into 0 2.786 * [backup-simplify]: Simplify 1 into 1 2.786 * [taylor]: Taking taylor expansion of d1 in d2 2.786 * [backup-simplify]: Simplify d1 into d1 2.786 * [backup-simplify]: Simplify (* 0 d1) into 0 2.787 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.787 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.787 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 d1)) (/ 1 (* d3 d1))) in d2 2.787 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d2 2.787 * [taylor]: Taking taylor expansion of 5.0 in d2 2.787 * [backup-simplify]: Simplify 5.0 into 5.0 2.787 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 2.787 * [taylor]: Taking taylor expansion of d1 in d2 2.787 * [backup-simplify]: Simplify d1 into d1 2.787 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.787 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2 2.787 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 2.787 * [taylor]: Taking taylor expansion of d3 in d2 2.787 * [backup-simplify]: Simplify d3 into d3 2.787 * [taylor]: Taking taylor expansion of d1 in d2 2.787 * [backup-simplify]: Simplify d1 into d1 2.787 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1) 2.787 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 2.787 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 5.0 (/ 1 d1)) (/ 1 (* d3 d1)))) in d1 2.787 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 2.787 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.787 * [taylor]: Taking taylor expansion of d2 in d1 2.787 * [backup-simplify]: Simplify d2 into d2 2.787 * [taylor]: Taking taylor expansion of d1 in d1 2.787 * [backup-simplify]: Simplify 0 into 0 2.787 * [backup-simplify]: Simplify 1 into 1 2.787 * [backup-simplify]: Simplify (* d2 0) into 0 2.787 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.787 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.787 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 d1)) (/ 1 (* d3 d1))) in d1 2.787 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d1 2.787 * [taylor]: Taking taylor expansion of 5.0 in d1 2.788 * [backup-simplify]: Simplify 5.0 into 5.0 2.788 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.788 * [taylor]: Taking taylor expansion of d1 in d1 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [backup-simplify]: Simplify 1 into 1 2.788 * [backup-simplify]: Simplify (/ 1 1) into 1 2.788 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 2.788 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.788 * [taylor]: Taking taylor expansion of d3 in d1 2.788 * [backup-simplify]: Simplify d3 into d3 2.788 * [taylor]: Taking taylor expansion of d1 in d1 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [backup-simplify]: Simplify 1 into 1 2.788 * [backup-simplify]: Simplify (* d3 0) into 0 2.788 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.788 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.788 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 5.0 (/ 1 d1)) (/ 1 (* d3 d1)))) in d1 2.788 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 2.788 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.788 * [taylor]: Taking taylor expansion of d2 in d1 2.788 * [backup-simplify]: Simplify d2 into d2 2.788 * [taylor]: Taking taylor expansion of d1 in d1 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [backup-simplify]: Simplify 1 into 1 2.788 * [backup-simplify]: Simplify (* d2 0) into 0 2.789 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.789 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.789 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 d1)) (/ 1 (* d3 d1))) in d1 2.789 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d1 2.789 * [taylor]: Taking taylor expansion of 5.0 in d1 2.789 * [backup-simplify]: Simplify 5.0 into 5.0 2.789 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.789 * [taylor]: Taking taylor expansion of d1 in d1 2.789 * [backup-simplify]: Simplify 0 into 0 2.789 * [backup-simplify]: Simplify 1 into 1 2.789 * [backup-simplify]: Simplify (/ 1 1) into 1 2.789 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 2.789 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.789 * [taylor]: Taking taylor expansion of d3 in d1 2.789 * [backup-simplify]: Simplify d3 into d3 2.789 * [taylor]: Taking taylor expansion of d1 in d1 2.789 * [backup-simplify]: Simplify 0 into 0 2.789 * [backup-simplify]: Simplify 1 into 1 2.789 * [backup-simplify]: Simplify (* d3 0) into 0 2.790 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.790 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.790 * [backup-simplify]: Simplify (* 5.0 1) into 5.0 2.790 * [backup-simplify]: Simplify (+ 5.0 (/ 1 d3)) into (+ 5.0 (/ 1 d3)) 2.790 * [backup-simplify]: Simplify (+ (/ 1 d2) (+ 5.0 (/ 1 d3))) into (+ (/ 1 d2) (+ 5.0 (/ 1 d3))) 2.790 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ 5.0 (/ 1 d3))) in d2 2.790 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.790 * [taylor]: Taking taylor expansion of d2 in d2 2.790 * [backup-simplify]: Simplify 0 into 0 2.790 * [backup-simplify]: Simplify 1 into 1 2.790 * [backup-simplify]: Simplify (/ 1 1) into 1 2.791 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d2 2.791 * [taylor]: Taking taylor expansion of 5.0 in d2 2.791 * [backup-simplify]: Simplify 5.0 into 5.0 2.791 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.791 * [taylor]: Taking taylor expansion of d3 in d2 2.791 * [backup-simplify]: Simplify d3 into d3 2.791 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.791 * [backup-simplify]: Simplify (+ 1 0) into 1 2.791 * [taylor]: Taking taylor expansion of 1 in d3 2.791 * [backup-simplify]: Simplify 1 into 1 2.791 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 2.791 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 2.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.792 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0 2.793 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 2.793 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.793 * [backup-simplify]: Simplify (+ 0 0) into 0 2.793 * [backup-simplify]: Simplify (+ 0 0) into 0 2.793 * [taylor]: Taking taylor expansion of 0 in d2 2.793 * [backup-simplify]: Simplify 0 into 0 2.794 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.794 * [backup-simplify]: Simplify (+ 5.0 (/ 1 d3)) into (+ 5.0 (/ 1 d3)) 2.794 * [backup-simplify]: Simplify (+ 0 (+ 5.0 (/ 1 d3))) into (+ 5.0 (/ 1 d3)) 2.794 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d3 2.794 * [taylor]: Taking taylor expansion of 5.0 in d3 2.794 * [backup-simplify]: Simplify 5.0 into 5.0 2.794 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.794 * [taylor]: Taking taylor expansion of d3 in d3 2.794 * [backup-simplify]: Simplify 0 into 0 2.794 * [backup-simplify]: Simplify 1 into 1 2.794 * [backup-simplify]: Simplify (/ 1 1) into 1 2.795 * [backup-simplify]: Simplify (+ 0 1) into 1 2.795 * [backup-simplify]: Simplify 1 into 1 2.795 * [backup-simplify]: Simplify 1 into 1 2.795 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.795 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.797 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0 2.797 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.797 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 2.797 * [backup-simplify]: Simplify (+ 0 0) into 0 2.798 * [backup-simplify]: Simplify (+ 0 0) into 0 2.798 * [taylor]: Taking taylor expansion of 0 in d2 2.798 * [backup-simplify]: Simplify 0 into 0 2.798 * [taylor]: Taking taylor expansion of 0 in d3 2.798 * [backup-simplify]: Simplify 0 into 0 2.798 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.798 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.799 * [backup-simplify]: Simplify (+ 0 0) into 0 2.799 * [backup-simplify]: Simplify (+ 0 0) into 0 2.799 * [taylor]: Taking taylor expansion of 0 in d3 2.799 * [backup-simplify]: Simplify 0 into 0 2.799 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.800 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 2.800 * [backup-simplify]: Simplify 5.0 into 5.0 2.800 * [backup-simplify]: Simplify (+ (* 5.0 (* 1 (* 1 (/ 1 (/ 1 d1))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* 1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1))))))) into (+ (* d2 d1) (+ (* d3 d1) (* 5.0 d1))) 2.800 * [backup-simplify]: Simplify (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5.0) (/ 1 (- d1)))) into (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 5.0 (/ 1 d1))) 2.800 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 5.0 (/ 1 d1))) in (d1 d2 d3) around 0 2.800 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 5.0 (/ 1 d1))) in d3 2.800 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d3 2.800 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3 2.800 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 2.800 * [taylor]: Taking taylor expansion of d2 in d3 2.800 * [backup-simplify]: Simplify d2 into d2 2.800 * [taylor]: Taking taylor expansion of d1 in d3 2.800 * [backup-simplify]: Simplify d1 into d1 2.800 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1) 2.800 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 2.800 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 2.801 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 2.801 * [taylor]: Taking taylor expansion of d3 in d3 2.801 * [backup-simplify]: Simplify 0 into 0 2.801 * [backup-simplify]: Simplify 1 into 1 2.801 * [taylor]: Taking taylor expansion of d1 in d3 2.801 * [backup-simplify]: Simplify d1 into d1 2.801 * [backup-simplify]: Simplify (* 0 d1) into 0 2.801 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.801 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.801 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d3 2.801 * [taylor]: Taking taylor expansion of 5.0 in d3 2.801 * [backup-simplify]: Simplify 5.0 into 5.0 2.801 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 2.801 * [taylor]: Taking taylor expansion of d1 in d3 2.801 * [backup-simplify]: Simplify d1 into d1 2.801 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.801 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 5.0 (/ 1 d1))) in d2 2.801 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d2 2.801 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 2.801 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 2.801 * [taylor]: Taking taylor expansion of d2 in d2 2.801 * [backup-simplify]: Simplify 0 into 0 2.801 * [backup-simplify]: Simplify 1 into 1 2.801 * [taylor]: Taking taylor expansion of d1 in d2 2.801 * [backup-simplify]: Simplify d1 into d1 2.801 * [backup-simplify]: Simplify (* 0 d1) into 0 2.802 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.802 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.802 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2 2.802 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 2.802 * [taylor]: Taking taylor expansion of d3 in d2 2.802 * [backup-simplify]: Simplify d3 into d3 2.802 * [taylor]: Taking taylor expansion of d1 in d2 2.802 * [backup-simplify]: Simplify d1 into d1 2.802 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1) 2.802 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 2.802 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d2 2.802 * [taylor]: Taking taylor expansion of 5.0 in d2 2.802 * [backup-simplify]: Simplify 5.0 into 5.0 2.802 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 2.802 * [taylor]: Taking taylor expansion of d1 in d2 2.802 * [backup-simplify]: Simplify d1 into d1 2.802 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.802 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 5.0 (/ 1 d1))) in d1 2.802 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 2.802 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 2.802 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.802 * [taylor]: Taking taylor expansion of d2 in d1 2.802 * [backup-simplify]: Simplify d2 into d2 2.802 * [taylor]: Taking taylor expansion of d1 in d1 2.802 * [backup-simplify]: Simplify 0 into 0 2.802 * [backup-simplify]: Simplify 1 into 1 2.802 * [backup-simplify]: Simplify (* d2 0) into 0 2.802 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.803 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.803 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 2.803 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.803 * [taylor]: Taking taylor expansion of d3 in d1 2.803 * [backup-simplify]: Simplify d3 into d3 2.803 * [taylor]: Taking taylor expansion of d1 in d1 2.803 * [backup-simplify]: Simplify 0 into 0 2.803 * [backup-simplify]: Simplify 1 into 1 2.803 * [backup-simplify]: Simplify (* d3 0) into 0 2.803 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.803 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.803 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d1 2.803 * [taylor]: Taking taylor expansion of 5.0 in d1 2.803 * [backup-simplify]: Simplify 5.0 into 5.0 2.803 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.803 * [taylor]: Taking taylor expansion of d1 in d1 2.803 * [backup-simplify]: Simplify 0 into 0 2.803 * [backup-simplify]: Simplify 1 into 1 2.804 * [backup-simplify]: Simplify (/ 1 1) into 1 2.804 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 5.0 (/ 1 d1))) in d1 2.804 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 2.804 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 2.804 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 2.804 * [taylor]: Taking taylor expansion of d2 in d1 2.804 * [backup-simplify]: Simplify d2 into d2 2.804 * [taylor]: Taking taylor expansion of d1 in d1 2.804 * [backup-simplify]: Simplify 0 into 0 2.804 * [backup-simplify]: Simplify 1 into 1 2.804 * [backup-simplify]: Simplify (* d2 0) into 0 2.805 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 2.805 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.805 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 2.805 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 2.805 * [taylor]: Taking taylor expansion of d3 in d1 2.805 * [backup-simplify]: Simplify d3 into d3 2.805 * [taylor]: Taking taylor expansion of d1 in d1 2.805 * [backup-simplify]: Simplify 0 into 0 2.805 * [backup-simplify]: Simplify 1 into 1 2.805 * [backup-simplify]: Simplify (* d3 0) into 0 2.805 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 2.805 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.805 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d1 2.805 * [taylor]: Taking taylor expansion of 5.0 in d1 2.805 * [backup-simplify]: Simplify 5.0 into 5.0 2.805 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.806 * [taylor]: Taking taylor expansion of d1 in d1 2.806 * [backup-simplify]: Simplify 0 into 0 2.806 * [backup-simplify]: Simplify 1 into 1 2.806 * [backup-simplify]: Simplify (/ 1 1) into 1 2.806 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 2.807 * [backup-simplify]: Simplify (* 5.0 1) into 5.0 2.807 * [backup-simplify]: Simplify (- 5.0) into (- 5.0) 2.808 * [backup-simplify]: Simplify (+ (+ (/ 1 d2) (/ 1 d3)) (- 5.0)) into (- (+ (/ 1 d2) (/ 1 d3)) 5.0) 2.808 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d3)) 5.0) in d2 2.808 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 2.808 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.808 * [taylor]: Taking taylor expansion of d2 in d2 2.808 * [backup-simplify]: Simplify 0 into 0 2.808 * [backup-simplify]: Simplify 1 into 1 2.808 * [backup-simplify]: Simplify (/ 1 1) into 1 2.808 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.808 * [taylor]: Taking taylor expansion of d3 in d2 2.808 * [backup-simplify]: Simplify d3 into d3 2.808 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.808 * [taylor]: Taking taylor expansion of 5.0 in d2 2.808 * [backup-simplify]: Simplify 5.0 into 5.0 2.809 * [backup-simplify]: Simplify (+ 1 0) into 1 2.809 * [backup-simplify]: Simplify (+ 1 0) into 1 2.809 * [taylor]: Taking taylor expansion of 1 in d3 2.809 * [backup-simplify]: Simplify 1 into 1 2.810 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 2.810 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 2.811 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 2.811 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.811 * [backup-simplify]: Simplify (+ 0 0) into 0 2.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.813 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0 2.813 * [backup-simplify]: Simplify (- 0) into 0 2.814 * [backup-simplify]: Simplify (+ 0 0) into 0 2.814 * [taylor]: Taking taylor expansion of 0 in d2 2.814 * [backup-simplify]: Simplify 0 into 0 2.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.815 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 2.815 * [backup-simplify]: Simplify (- 5.0) into (- 5.0) 2.816 * [backup-simplify]: Simplify (+ (/ 1 d3) (- 5.0)) into (- (/ 1 d3) 5.0) 2.816 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 5.0) in d3 2.816 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.816 * [taylor]: Taking taylor expansion of d3 in d3 2.816 * [backup-simplify]: Simplify 0 into 0 2.816 * [backup-simplify]: Simplify 1 into 1 2.816 * [backup-simplify]: Simplify (/ 1 1) into 1 2.816 * [taylor]: Taking taylor expansion of 5.0 in d3 2.816 * [backup-simplify]: Simplify 5.0 into 5.0 2.817 * [backup-simplify]: Simplify (+ 1 0) into 1 2.817 * [backup-simplify]: Simplify 1 into 1 2.817 * [backup-simplify]: Simplify 1 into 1 2.818 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.818 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.819 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.819 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 2.819 * [backup-simplify]: Simplify (+ 0 0) into 0 2.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.821 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0 2.822 * [backup-simplify]: Simplify (- 0) into 0 2.822 * [backup-simplify]: Simplify (+ 0 0) into 0 2.822 * [taylor]: Taking taylor expansion of 0 in d2 2.822 * [backup-simplify]: Simplify 0 into 0 2.822 * [taylor]: Taking taylor expansion of 0 in d3 2.822 * [backup-simplify]: Simplify 0 into 0 2.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.824 * [backup-simplify]: Simplify (+ 0 0) into 0 2.824 * [backup-simplify]: Simplify (- 0) into 0 2.824 * [backup-simplify]: Simplify (+ 0 0) into 0 2.824 * [taylor]: Taking taylor expansion of 0 in d3 2.824 * [backup-simplify]: Simplify 0 into 0 2.825 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.826 * [backup-simplify]: Simplify (- 5.0) into (- 5.0) 2.826 * [backup-simplify]: Simplify (+ 0 (- 5.0)) into (- 5.0) 2.827 * [backup-simplify]: Simplify (- 5.0) into (- 5.0) 2.828 * [backup-simplify]: Simplify (+ (* (- 5.0) (* 1 (* 1 (/ 1 (/ 1 (- d1)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1)))))))) into (+ (* d2 d1) (+ (* d3 d1) (* 5.0 d1))) 2.828 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 2.828 * [backup-simplify]: Simplify (* (+ d3 5.0) d1) into (* (+ d3 5.0) d1) 2.828 * [approximate]: Taking taylor expansion of (* (+ d3 5.0) d1) in (d3 d1) around 0 2.828 * [taylor]: Taking taylor expansion of (* (+ d3 5.0) d1) in d1 2.828 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d1 2.828 * [taylor]: Taking taylor expansion of d3 in d1 2.828 * [backup-simplify]: Simplify d3 into d3 2.828 * [taylor]: Taking taylor expansion of 5.0 in d1 2.828 * [backup-simplify]: Simplify 5.0 into 5.0 2.828 * [taylor]: Taking taylor expansion of d1 in d1 2.828 * [backup-simplify]: Simplify 0 into 0 2.828 * [backup-simplify]: Simplify 1 into 1 2.828 * [taylor]: Taking taylor expansion of (* (+ d3 5.0) d1) in d3 2.828 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d3 2.829 * [taylor]: Taking taylor expansion of d3 in d3 2.829 * [backup-simplify]: Simplify 0 into 0 2.829 * [backup-simplify]: Simplify 1 into 1 2.829 * [taylor]: Taking taylor expansion of 5.0 in d3 2.829 * [backup-simplify]: Simplify 5.0 into 5.0 2.829 * [taylor]: Taking taylor expansion of d1 in d3 2.829 * [backup-simplify]: Simplify d1 into d1 2.829 * [taylor]: Taking taylor expansion of (* (+ d3 5.0) d1) in d3 2.829 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d3 2.829 * [taylor]: Taking taylor expansion of d3 in d3 2.829 * [backup-simplify]: Simplify 0 into 0 2.829 * [backup-simplify]: Simplify 1 into 1 2.829 * [taylor]: Taking taylor expansion of 5.0 in d3 2.829 * [backup-simplify]: Simplify 5.0 into 5.0 2.829 * [taylor]: Taking taylor expansion of d1 in d3 2.829 * [backup-simplify]: Simplify d1 into d1 2.829 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 2.830 * [backup-simplify]: Simplify (* 5.0 d1) into (* 5.0 d1) 2.830 * [taylor]: Taking taylor expansion of (* 5.0 d1) in d1 2.830 * [taylor]: Taking taylor expansion of 5.0 in d1 2.830 * [backup-simplify]: Simplify 5.0 into 5.0 2.830 * [taylor]: Taking taylor expansion of d1 in d1 2.830 * [backup-simplify]: Simplify 0 into 0 2.830 * [backup-simplify]: Simplify 1 into 1 2.830 * [backup-simplify]: Simplify (* 5.0 0) into 0 2.830 * [backup-simplify]: Simplify 0 into 0 2.831 * [backup-simplify]: Simplify (+ 1 0) into 1 2.831 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 1 d1)) into d1 2.831 * [taylor]: Taking taylor expansion of d1 in d1 2.831 * [backup-simplify]: Simplify 0 into 0 2.831 * [backup-simplify]: Simplify 1 into 1 2.831 * [backup-simplify]: Simplify 0 into 0 2.833 * [backup-simplify]: Simplify (+ (* 5.0 1) (* 0 0)) into 5.0 2.833 * [backup-simplify]: Simplify 5.0 into 5.0 2.834 * [backup-simplify]: Simplify (+ 0 0) into 0 2.835 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 1 0) (* 0 d1))) into 0 2.835 * [taylor]: Taking taylor expansion of 0 in d1 2.835 * [backup-simplify]: Simplify 0 into 0 2.835 * [backup-simplify]: Simplify 0 into 0 2.835 * [backup-simplify]: Simplify 1 into 1 2.836 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 1) (* 0 0))) into 0 2.836 * [backup-simplify]: Simplify 0 into 0 2.837 * [backup-simplify]: Simplify (+ 0 0) into 0 2.838 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d1)))) into 0 2.838 * [taylor]: Taking taylor expansion of 0 in d1 2.838 * [backup-simplify]: Simplify 0 into 0 2.838 * [backup-simplify]: Simplify 0 into 0 2.838 * [backup-simplify]: Simplify 0 into 0 2.838 * [backup-simplify]: Simplify 0 into 0 2.839 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.839 * [backup-simplify]: Simplify 0 into 0 2.840 * [backup-simplify]: Simplify (+ 0 0) into 0 2.841 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 d1))))) into 0 2.841 * [taylor]: Taking taylor expansion of 0 in d1 2.841 * [backup-simplify]: Simplify 0 into 0 2.841 * [backup-simplify]: Simplify 0 into 0 2.841 * [backup-simplify]: Simplify (+ (* 1 (* d1 d3)) (* 5.0 (* d1 1))) into (+ (* d3 d1) (* 5.0 d1)) 2.842 * [backup-simplify]: Simplify (* (+ (/ 1 d3) 5.0) (/ 1 d1)) into (/ (+ 5.0 (/ 1 d3)) d1) 2.842 * [approximate]: Taking taylor expansion of (/ (+ 5.0 (/ 1 d3)) d1) in (d3 d1) around 0 2.842 * [taylor]: Taking taylor expansion of (/ (+ 5.0 (/ 1 d3)) d1) in d1 2.842 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d1 2.842 * [taylor]: Taking taylor expansion of 5.0 in d1 2.842 * [backup-simplify]: Simplify 5.0 into 5.0 2.842 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 2.842 * [taylor]: Taking taylor expansion of d3 in d1 2.842 * [backup-simplify]: Simplify d3 into d3 2.842 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.842 * [taylor]: Taking taylor expansion of d1 in d1 2.842 * [backup-simplify]: Simplify 0 into 0 2.842 * [backup-simplify]: Simplify 1 into 1 2.842 * [backup-simplify]: Simplify (+ 5.0 (/ 1 d3)) into (+ 5.0 (/ 1 d3)) 2.842 * [backup-simplify]: Simplify (/ (+ 5.0 (/ 1 d3)) 1) into (+ 5.0 (/ 1 d3)) 2.842 * [taylor]: Taking taylor expansion of (/ (+ 5.0 (/ 1 d3)) d1) in d3 2.842 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d3 2.842 * [taylor]: Taking taylor expansion of 5.0 in d3 2.842 * [backup-simplify]: Simplify 5.0 into 5.0 2.842 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.842 * [taylor]: Taking taylor expansion of d3 in d3 2.842 * [backup-simplify]: Simplify 0 into 0 2.842 * [backup-simplify]: Simplify 1 into 1 2.843 * [backup-simplify]: Simplify (/ 1 1) into 1 2.843 * [taylor]: Taking taylor expansion of d1 in d3 2.843 * [backup-simplify]: Simplify d1 into d1 2.843 * [backup-simplify]: Simplify (+ 0 1) into 1 2.843 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.843 * [taylor]: Taking taylor expansion of (/ (+ 5.0 (/ 1 d3)) d1) in d3 2.844 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d3 2.844 * [taylor]: Taking taylor expansion of 5.0 in d3 2.844 * [backup-simplify]: Simplify 5.0 into 5.0 2.844 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.844 * [taylor]: Taking taylor expansion of d3 in d3 2.844 * [backup-simplify]: Simplify 0 into 0 2.844 * [backup-simplify]: Simplify 1 into 1 2.844 * [backup-simplify]: Simplify (/ 1 1) into 1 2.844 * [taylor]: Taking taylor expansion of d1 in d3 2.844 * [backup-simplify]: Simplify d1 into d1 2.845 * [backup-simplify]: Simplify (+ 0 1) into 1 2.845 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.845 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.845 * [taylor]: Taking taylor expansion of d1 in d1 2.845 * [backup-simplify]: Simplify 0 into 0 2.845 * [backup-simplify]: Simplify 1 into 1 2.845 * [backup-simplify]: Simplify (/ 1 1) into 1 2.845 * [backup-simplify]: Simplify 1 into 1 2.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.847 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 2.847 * [backup-simplify]: Simplify (- (/ 5.0 d1) (+ (* (/ 1 d1) (/ 0 d1)))) into (* 5.0 (/ 1 d1)) 2.847 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d1 2.847 * [taylor]: Taking taylor expansion of 5.0 in d1 2.847 * [backup-simplify]: Simplify 5.0 into 5.0 2.847 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.847 * [taylor]: Taking taylor expansion of d1 in d1 2.847 * [backup-simplify]: Simplify 0 into 0 2.847 * [backup-simplify]: Simplify 1 into 1 2.847 * [backup-simplify]: Simplify (/ 1 1) into 1 2.848 * [backup-simplify]: Simplify (* 5.0 1) into 5.0 2.848 * [backup-simplify]: Simplify 5.0 into 5.0 2.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.849 * [backup-simplify]: Simplify 0 into 0 2.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.850 * [backup-simplify]: Simplify (+ 0 0) into 0 2.850 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ 0 d1)) (* (* 5.0 (/ 1 d1)) (/ 0 d1)))) into 0 2.850 * [taylor]: Taking taylor expansion of 0 in d1 2.850 * [backup-simplify]: Simplify 0 into 0 2.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.852 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0 2.852 * [backup-simplify]: Simplify 0 into 0 2.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.853 * [backup-simplify]: Simplify 0 into 0 2.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.854 * [backup-simplify]: Simplify (+ 0 0) into 0 2.855 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ 0 d1)) (* (* 5.0 (/ 1 d1)) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0 2.855 * [taylor]: Taking taylor expansion of 0 in d1 2.855 * [backup-simplify]: Simplify 0 into 0 2.855 * [backup-simplify]: Simplify 0 into 0 2.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.862 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0 2.862 * [backup-simplify]: Simplify 0 into 0 2.863 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.863 * [backup-simplify]: Simplify 0 into 0 2.864 * [backup-simplify]: Simplify (+ (* 5.0 (* (/ 1 (/ 1 d1)) 1)) (* 1 (* (/ 1 (/ 1 d1)) (/ 1 (/ 1 d3))))) into (+ (* d3 d1) (* 5.0 d1)) 2.864 * [backup-simplify]: Simplify (* (+ (/ 1 (- d3)) 5.0) (/ 1 (- d1))) into (* -1 (/ (- 5.0 (/ 1 d3)) d1)) 2.864 * [approximate]: Taking taylor expansion of (* -1 (/ (- 5.0 (/ 1 d3)) d1)) in (d3 d1) around 0 2.864 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5.0 (/ 1 d3)) d1)) in d1 2.864 * [taylor]: Taking taylor expansion of -1 in d1 2.864 * [backup-simplify]: Simplify -1 into -1 2.864 * [taylor]: Taking taylor expansion of (/ (- 5.0 (/ 1 d3)) d1) in d1 2.864 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 d3)) in d1 2.864 * [taylor]: Taking taylor expansion of 5.0 in d1 2.864 * [backup-simplify]: Simplify 5.0 into 5.0 2.864 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 2.864 * [taylor]: Taking taylor expansion of d3 in d1 2.864 * [backup-simplify]: Simplify d3 into d3 2.864 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.864 * [taylor]: Taking taylor expansion of d1 in d1 2.864 * [backup-simplify]: Simplify 0 into 0 2.864 * [backup-simplify]: Simplify 1 into 1 2.864 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 2.864 * [backup-simplify]: Simplify (+ 5.0 (- (/ 1 d3))) into (- 5.0 (/ 1 d3)) 2.865 * [backup-simplify]: Simplify (/ (- 5.0 (/ 1 d3)) 1) into (- 5.0 (/ 1 d3)) 2.865 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5.0 (/ 1 d3)) d1)) in d3 2.865 * [taylor]: Taking taylor expansion of -1 in d3 2.865 * [backup-simplify]: Simplify -1 into -1 2.865 * [taylor]: Taking taylor expansion of (/ (- 5.0 (/ 1 d3)) d1) in d3 2.865 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 d3)) in d3 2.865 * [taylor]: Taking taylor expansion of 5.0 in d3 2.865 * [backup-simplify]: Simplify 5.0 into 5.0 2.865 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.865 * [taylor]: Taking taylor expansion of d3 in d3 2.865 * [backup-simplify]: Simplify 0 into 0 2.865 * [backup-simplify]: Simplify 1 into 1 2.865 * [backup-simplify]: Simplify (/ 1 1) into 1 2.866 * [taylor]: Taking taylor expansion of d1 in d3 2.866 * [backup-simplify]: Simplify d1 into d1 2.866 * [backup-simplify]: Simplify (- 1) into -1 2.866 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.866 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 2.866 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5.0 (/ 1 d3)) d1)) in d3 2.866 * [taylor]: Taking taylor expansion of -1 in d3 2.867 * [backup-simplify]: Simplify -1 into -1 2.867 * [taylor]: Taking taylor expansion of (/ (- 5.0 (/ 1 d3)) d1) in d3 2.867 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 d3)) in d3 2.867 * [taylor]: Taking taylor expansion of 5.0 in d3 2.867 * [backup-simplify]: Simplify 5.0 into 5.0 2.867 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.867 * [taylor]: Taking taylor expansion of d3 in d3 2.867 * [backup-simplify]: Simplify 0 into 0 2.867 * [backup-simplify]: Simplify 1 into 1 2.867 * [backup-simplify]: Simplify (/ 1 1) into 1 2.867 * [taylor]: Taking taylor expansion of d1 in d3 2.867 * [backup-simplify]: Simplify d1 into d1 2.867 * [backup-simplify]: Simplify (- 1) into -1 2.867 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.868 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 2.868 * [backup-simplify]: Simplify (* -1 (/ -1 d1)) into (/ 1 d1) 2.868 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.868 * [taylor]: Taking taylor expansion of d1 in d1 2.868 * [backup-simplify]: Simplify 0 into 0 2.868 * [backup-simplify]: Simplify 1 into 1 2.868 * [backup-simplify]: Simplify (/ 1 1) into 1 2.868 * [backup-simplify]: Simplify 1 into 1 2.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.869 * [backup-simplify]: Simplify (- 0) into 0 2.869 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 2.869 * [backup-simplify]: Simplify (- (/ 5.0 d1) (+ (* (/ -1 d1) (/ 0 d1)))) into (* 5.0 (/ 1 d1)) 2.869 * [backup-simplify]: Simplify (+ (* -1 (* 5.0 (/ 1 d1))) (* 0 (/ -1 d1))) into (- (* 5.0 (/ 1 d1))) 2.869 * [taylor]: Taking taylor expansion of (- (* 5.0 (/ 1 d1))) in d1 2.869 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d1 2.869 * [taylor]: Taking taylor expansion of 5.0 in d1 2.869 * [backup-simplify]: Simplify 5.0 into 5.0 2.869 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.869 * [taylor]: Taking taylor expansion of d1 in d1 2.869 * [backup-simplify]: Simplify 0 into 0 2.869 * [backup-simplify]: Simplify 1 into 1 2.870 * [backup-simplify]: Simplify (/ 1 1) into 1 2.870 * [backup-simplify]: Simplify (* 5.0 1) into 5.0 2.870 * [backup-simplify]: Simplify (- 5.0) into (- 5.0) 2.870 * [backup-simplify]: Simplify (- 5.0) into (- 5.0) 2.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.871 * [backup-simplify]: Simplify 0 into 0 2.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.872 * [backup-simplify]: Simplify (- 0) into 0 2.872 * [backup-simplify]: Simplify (+ 0 0) into 0 2.873 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ -1 d1) (/ 0 d1)) (* (* 5.0 (/ 1 d1)) (/ 0 d1)))) into 0 2.873 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 5.0 (/ 1 d1))) (* 0 (/ -1 d1)))) into 0 2.873 * [taylor]: Taking taylor expansion of 0 in d1 2.873 * [backup-simplify]: Simplify 0 into 0 2.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.874 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0 2.874 * [backup-simplify]: Simplify (- 0) into 0 2.875 * [backup-simplify]: Simplify 0 into 0 2.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.875 * [backup-simplify]: Simplify 0 into 0 2.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.876 * [backup-simplify]: Simplify (- 0) into 0 2.876 * [backup-simplify]: Simplify (+ 0 0) into 0 2.876 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ -1 d1) (/ 0 d1)) (* (* 5.0 (/ 1 d1)) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0 2.877 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (* 5.0 (/ 1 d1))) (* 0 (/ -1 d1))))) into 0 2.877 * [taylor]: Taking taylor expansion of 0 in d1 2.877 * [backup-simplify]: Simplify 0 into 0 2.877 * [backup-simplify]: Simplify 0 into 0 2.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.878 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0 2.878 * [backup-simplify]: Simplify (- 0) into 0 2.878 * [backup-simplify]: Simplify 0 into 0 2.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.879 * [backup-simplify]: Simplify 0 into 0 2.879 * [backup-simplify]: Simplify (+ (* (- 5.0) (* (/ 1 (/ 1 (- d1))) 1)) (* 1 (* (/ 1 (/ 1 (- d1))) (/ 1 (/ 1 (- d3)))))) into (+ (* d3 d1) (* 5.0 d1)) 2.879 * * * [progress]: simplifying candidates 2.880 * [simplify]: Simplifying: (* (* (exp (* d1 d2)) (exp (* (+ d3 5.0) d1))) (exp (* d1 32.0))) (* (exp (+ (* d1 d2) (* (+ d3 5.0) d1))) (exp (* d1 32.0))) (log (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))) (exp (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))) (* (cbrt (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))) (cbrt (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))) (cbrt (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))) (* (* (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)) (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))) (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))) (sqrt (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))) (sqrt (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))) (+ (pow (+ (* d1 d2) (* (+ d3 5.0) d1)) 3) (pow (* d1 32.0) 3)) (+ (* (+ (* d1 d2) (* (+ d3 5.0) d1)) (+ (* d1 d2) (* (+ d3 5.0) d1))) (- (* (* d1 32.0) (* d1 32.0)) (* (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))) (- (* (+ (* d1 d2) (* (+ d3 5.0) d1)) (+ (* d1 d2) (* (+ d3 5.0) d1))) (* (* d1 32.0) (* d1 32.0))) (- (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)) (+ (* (+ d3 5.0) d1) (* d1 32.0)) (* (exp (* d1 d2)) (exp (* (+ d3 5.0) d1))) (log (+ (* d1 d2) (* (+ d3 5.0) d1))) (exp (+ (* d1 d2) (* (+ d3 5.0) d1))) (* (cbrt (+ (* d1 d2) (* (+ d3 5.0) d1))) (cbrt (+ (* d1 d2) (* (+ d3 5.0) d1)))) (cbrt (+ (* d1 d2) (* (+ d3 5.0) d1))) (* (* (+ (* d1 d2) (* (+ d3 5.0) d1)) (+ (* d1 d2) (* (+ d3 5.0) d1))) (+ (* d1 d2) (* (+ d3 5.0) d1))) (sqrt (+ (* d1 d2) (* (+ d3 5.0) d1))) (sqrt (+ (* d1 d2) (* (+ d3 5.0) d1))) (+ (pow (* d1 d2) 3) (pow (* (+ d3 5.0) d1) 3)) (+ (* (* d1 d2) (* d1 d2)) (- (* (* (+ d3 5.0) d1) (* (+ d3 5.0) d1)) (* (* d1 d2) (* (+ d3 5.0) d1)))) (- (* (* d1 d2) (* d1 d2)) (* (* (+ d3 5.0) d1) (* (+ d3 5.0) d1))) (- (* d1 d2) (* (+ d3 5.0) d1)) (* (+ d3 5.0) d1) (+ (log (+ d3 5.0)) (log d1)) (log (* (+ d3 5.0) d1)) (exp (* (+ d3 5.0) d1)) (* (* (* (+ d3 5.0) (+ d3 5.0)) (+ d3 5.0)) (* (* d1 d1) d1)) (* (cbrt (* (+ d3 5.0) d1)) (cbrt (* (+ d3 5.0) d1))) (cbrt (* (+ d3 5.0) d1)) (* (* (* (+ d3 5.0) d1) (* (+ d3 5.0) d1)) (* (+ d3 5.0) d1)) (sqrt (* (+ d3 5.0) d1)) (sqrt (* (+ d3 5.0) d1)) (* (sqrt (+ d3 5.0)) (sqrt d1)) (* (sqrt (+ d3 5.0)) (sqrt d1)) (* (+ d3 5.0) (* (cbrt d1) (cbrt d1))) (* (+ d3 5.0) (sqrt d1)) (* (+ d3 5.0) 1) (* (cbrt (+ d3 5.0)) d1) (* (sqrt (+ d3 5.0)) d1) (* (+ d3 5.0) d1) (* (+ d3 5.0) d1) (* (+ (pow d3 3) (pow 5.0 3)) d1) (* (- (* d3 d3) (* 5.0 5.0)) d1) (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) (+ (* d2 d1) (+ (* d3 d1) (* 37.0 d1))) (+ (* d2 d1) (+ (* d3 d1) (* 5.0 d1))) (+ (* d2 d1) (+ (* d3 d1) (* 5.0 d1))) (+ (* d2 d1) (+ (* d3 d1) (* 5.0 d1))) (+ (* d3 d1) (* 5.0 d1)) (+ (* d3 d1) (* 5.0 d1)) (+ (* d3 d1) (* 5.0 d1)) 2.881 * * [simplify]: Extracting # 0 : cost 44 inf + 0 2.881 * * [simplify]: Extracting # 1 : cost 78 inf + 0 2.881 * * [simplify]: Extracting # 2 : cost 91 inf + 2 2.881 * * [simplify]: Extracting # 3 : cost 68 inf + 2246 2.883 * * [simplify]: Extracting # 4 : cost 18 inf + 12496 2.884 * * [simplify]: Extracting # 5 : cost 3 inf + 16666 2.886 * * [simplify]: Extracting # 6 : cost 0 inf + 17237 2.887 * * [simplify]: iteration 0 : 94 enodes (cost 13206 ) 2.920 * * [simplify]: Extracting # 0 : cost 0 inf + 17237 2.922 * * [simplify]: Extracting # 1 : cost 69 inf + 15539 2.926 * * [simplify]: Extracting # 2 : cost 7 inf + 25933 2.931 * * [simplify]: Extracting # 3 : cost 4 inf + 26319 2.935 * * [simplify]: Extracting # 4 : cost 0 inf + 27453 2.939 * * [simplify]: iteration 1 : 276 enodes (cost 11672 ) 3.084 * * [simplify]: Extracting # 0 : cost 0 inf + 27453 3.092 * * [simplify]: Extracting # 1 : cost 314 inf + 26659 3.126 * * [simplify]: Extracting # 2 : cost 17 inf + 86195 3.164 * * [simplify]: Extracting # 3 : cost 4 inf + 85360 3.193 * * [simplify]: Extracting # 4 : cost 0 inf + 83873 3.215 * * [simplify]: iteration 2 : 1087 enodes (cost 10432 ) 4.132 * * [simplify]: Extracting # 0 : cost 0 inf + 83873 4.195 * * [simplify]: Extracting # 1 : cost 1903 inf + 82611 4.359 * * [simplify]: Extracting # 2 : cost 54 inf + 450695 4.558 * * [simplify]: Extracting # 3 : cost 12 inf + 451671 4.759 * * [simplify]: Extracting # 4 : cost 0 inf + 452071 4.983 * * [simplify]: Extracting # 5 : cost 0 inf + 451951 5.168 * * [simplify]: iteration complete: 5000 enodes (cost 10032 ) 5.169 * [simplify]: Simplified to: (exp (* d1 (+ 32.0 (+ (+ 5.0 d3) d2)))) (exp (* d1 (+ 32.0 (+ (+ 5.0 d3) d2)))) (log (* d1 (+ 32.0 (+ (+ 5.0 d3) d2)))) (exp (* d1 (+ 32.0 (+ (+ 5.0 d3) d2)))) (* (cbrt (* d1 (+ 32.0 (+ (+ 5.0 d3) d2)))) (cbrt (* d1 (+ 32.0 (+ (+ 5.0 d3) d2))))) (cbrt (* d1 (+ 32.0 (+ (+ 5.0 d3) d2)))) (* (* (* d1 (+ 32.0 (+ (+ 5.0 d3) d2))) (* d1 (+ 32.0 (+ (+ 5.0 d3) d2)))) (* d1 (+ 32.0 (+ (+ 5.0 d3) d2)))) (sqrt (* d1 (+ 32.0 (+ (+ 5.0 d3) d2)))) (sqrt (* d1 (+ 32.0 (+ (+ 5.0 d3) d2)))) (+ (* (* d1 32.0) (* (* d1 32.0) (* d1 32.0))) (* (* (* d1 (+ (+ 5.0 d3) d2)) (* d1 (+ (+ 5.0 d3) d2))) (* d1 (+ (+ 5.0 d3) d2)))) (+ (* (* d1 32.0) (- (* d1 32.0) (* d1 (+ (+ 5.0 d3) d2)))) (* (* d1 (+ (+ 5.0 d3) d2)) (* d1 (+ (+ 5.0 d3) d2)))) (* (- (* d1 (+ (+ 5.0 d3) d2)) (* d1 32.0)) (+ (* d1 (+ (+ 5.0 d3) d2)) (* d1 32.0))) (* d1 (- (+ (+ 5.0 d3) d2) 32.0)) (* d1 (+ 32.0 (+ 5.0 d3))) (exp (* d1 (+ (+ 5.0 d3) d2))) (log (* d1 (+ (+ 5.0 d3) d2))) (exp (* d1 (+ (+ 5.0 d3) d2))) (* (cbrt (* d1 (+ (+ 5.0 d3) d2))) (cbrt (* d1 (+ (+ 5.0 d3) d2)))) (cbrt (* d1 (+ (+ 5.0 d3) d2))) (* (* (* d1 (+ (+ 5.0 d3) d2)) (* d1 (+ (+ 5.0 d3) d2))) (* d1 (+ (+ 5.0 d3) d2))) (sqrt (* d1 (+ (+ 5.0 d3) d2))) (sqrt (* d1 (+ (+ 5.0 d3) d2))) (+ (* (* d2 d1) (* (* d1 d2) (* d1 d2))) (* (* (* (+ d3 5.0) d1) (* (+ d3 5.0) d1)) (* (+ d3 5.0) d1))) (+ (* (* d1 d2) (* d1 d2)) (- (* (* (+ d3 5.0) d1) (* (+ d3 5.0) d1)) (* (* d1 d2) (* (+ d3 5.0) d1)))) (- (* (* d1 d2) (* d1 d2)) (* (* (+ d3 5.0) d1) (* (+ d3 5.0) d1))) (* d1 (- d2 (+ 5.0 d3))) (* (+ d3 5.0) d1) (log (* (+ d3 5.0) d1)) (log (* (+ d3 5.0) d1)) (exp (* (+ d3 5.0) d1)) (* (* (* (+ d3 5.0) d1) (* (+ d3 5.0) d1)) (* (+ d3 5.0) d1)) (* (cbrt (* (+ d3 5.0) d1)) (cbrt (* (+ d3 5.0) d1))) (cbrt (* (+ d3 5.0) d1)) (* (* (* (+ d3 5.0) d1) (* (+ d3 5.0) d1)) (* (+ d3 5.0) d1)) (sqrt (* (+ d3 5.0) d1)) (sqrt (* (+ d3 5.0) d1)) (* (sqrt (+ d3 5.0)) (sqrt d1)) (* (sqrt (+ d3 5.0)) (sqrt d1)) (* (+ d3 5.0) (* (cbrt d1) (cbrt d1))) (* (+ d3 5.0) (sqrt d1)) (+ 5.0 d3) (* (cbrt (+ d3 5.0)) d1) (* (sqrt (+ d3 5.0)) d1) (* (+ d3 5.0) d1) (* (+ d3 5.0) d1) (* (+ (* 5.0 (* 5.0 5.0)) (* d3 (* d3 d3))) d1) (* (- (* d3 d3) (* 5.0 5.0)) d1) (* d1 (+ (+ d3 37.0) d2)) (* d1 (+ (+ d3 37.0) d2)) (* d1 (+ (+ d3 37.0) d2)) (* d1 (+ (+ 5.0 d3) d2)) (* d1 (+ (+ 5.0 d3) d2)) (* d1 (+ (+ 5.0 d3) d2)) (* (+ d3 5.0) d1) (* (+ d3 5.0) d1) (* (+ d3 5.0) d1) 5.171 * * * [progress]: adding candidates to table 5.435 * * [progress]: iteration 3 / 4 5.435 * * * [progress]: picking best candidate 5.444 * * * * [pick]: Picked # 5.444 * * * [progress]: localizing error 5.497 * * * [progress]: generating rewritten candidates 5.497 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 5.544 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1) 5.549 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 5.552 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 5.558 * * * [progress]: generating series expansions 5.558 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 5.558 * [backup-simplify]: Simplify (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0))) into (pow (pow (+ d3 5.0) 2) 1/3) 5.558 * [approximate]: Taking taylor expansion of (pow (pow (+ d3 5.0) 2) 1/3) in (d3) around 0 5.558 * [taylor]: Taking taylor expansion of (pow (pow (+ d3 5.0) 2) 1/3) in d3 5.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d3 5.0) 2)))) in d3 5.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d3 5.0) 2))) in d3 5.558 * [taylor]: Taking taylor expansion of 1/3 in d3 5.558 * [backup-simplify]: Simplify 1/3 into 1/3 5.558 * [taylor]: Taking taylor expansion of (log (pow (+ d3 5.0) 2)) in d3 5.558 * [taylor]: Taking taylor expansion of (pow (+ d3 5.0) 2) in d3 5.558 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d3 5.558 * [taylor]: Taking taylor expansion of d3 in d3 5.558 * [backup-simplify]: Simplify 0 into 0 5.558 * [backup-simplify]: Simplify 1 into 1 5.558 * [taylor]: Taking taylor expansion of 5.0 in d3 5.558 * [backup-simplify]: Simplify 5.0 into 5.0 5.559 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 5.559 * [backup-simplify]: Simplify (* 5.0 5.0) into 25.0 5.559 * [backup-simplify]: Simplify (log 25.0) into (log 25.0) 5.560 * [backup-simplify]: Simplify (* 1/3 (log 25.0)) into (* 1/3 (log 25.0)) 5.561 * [backup-simplify]: Simplify (exp (* 1/3 (log 25.0))) into (pow 25.0 1/3) 5.561 * [taylor]: Taking taylor expansion of (pow (pow (+ d3 5.0) 2) 1/3) in d3 5.561 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d3 5.0) 2)))) in d3 5.561 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d3 5.0) 2))) in d3 5.561 * [taylor]: Taking taylor expansion of 1/3 in d3 5.561 * [backup-simplify]: Simplify 1/3 into 1/3 5.561 * [taylor]: Taking taylor expansion of (log (pow (+ d3 5.0) 2)) in d3 5.561 * [taylor]: Taking taylor expansion of (pow (+ d3 5.0) 2) in d3 5.561 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d3 5.561 * [taylor]: Taking taylor expansion of d3 in d3 5.561 * [backup-simplify]: Simplify 0 into 0 5.561 * [backup-simplify]: Simplify 1 into 1 5.561 * [taylor]: Taking taylor expansion of 5.0 in d3 5.561 * [backup-simplify]: Simplify 5.0 into 5.0 5.561 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 5.562 * [backup-simplify]: Simplify (* 5.0 5.0) into 25.0 5.562 * [backup-simplify]: Simplify (log 25.0) into (log 25.0) 5.562 * [backup-simplify]: Simplify (* 1/3 (log 25.0)) into (* 1/3 (log 25.0)) 5.563 * [backup-simplify]: Simplify (exp (* 1/3 (log 25.0))) into (pow 25.0 1/3) 5.564 * [backup-simplify]: Simplify (pow 25.0 1/3) into (pow 25.0 1/3) 5.564 * [backup-simplify]: Simplify (+ 1 0) into 1 5.565 * [backup-simplify]: Simplify (+ (* 5.0 1) (* 1 5.0)) into 10.0 5.569 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 10.0) 1)) (pow 25.0 1)))) 1) into 0.4 5.570 * [backup-simplify]: Simplify (+ (* 1/3 0.4) (* 0 (log 25.0))) into 0.13333333333333333 5.573 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 25.0))) (+ (* (/ (pow 0.13333333333333333 1) 1)))) into (* 0.13333333333333333 (pow 25.0 1/3)) 5.574 * [backup-simplify]: Simplify (* 0.13333333333333333 (pow 25.0 1/3)) into (* 0.13333333333333333 (pow 25.0 1/3)) 5.574 * [backup-simplify]: Simplify (+ 0 0) into 0 5.575 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 1 1) (* 0 5.0))) into 1 5.586 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 10.0) 2)) (pow 25.0 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 25.0 1)))) 2) into (* 1/2 (- 0.08 (* 100.0 (/ 1 (pow 25.0 2))))) 5.592 * [backup-simplify]: Simplify (+ (* 1/3 (* 1/2 (- 0.08 (* 100.0 (/ 1 (pow 25.0 2)))))) (+ (* 0 0.4) (* 0 (log 25.0)))) into (- 0.013333333333333332 (* 16.666666666666664 (/ 1 (pow 25.0 2)))) 5.603 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 25.0))) (+ (* (/ (pow 0.13333333333333333 2) 2)) (* (/ (pow (- 0.013333333333333332 (* 16.666666666666664 (/ 1 (pow 25.0 2)))) 1) 1)))) into (* (pow 25.0 1/3) (- 0.02222222222222222 (* 16.666666666666664 (/ 1 (pow 25.0 2))))) 5.606 * [backup-simplify]: Simplify (* (pow 25.0 1/3) (- 0.02222222222222222 (* 16.666666666666664 (/ 1 (pow 25.0 2))))) into (* (pow 25.0 1/3) (- 0.02222222222222222 (* 16.666666666666664 (/ 1 (pow 25.0 2))))) 5.613 * [backup-simplify]: Simplify (+ (* (* (pow 25.0 1/3) (- 0.02222222222222222 (* 16.666666666666664 (/ 1 (pow 25.0 2))))) (pow d3 2)) (+ (* (* 0.13333333333333333 (pow 25.0 1/3)) d3) (pow 25.0 1/3))) into (- (+ (pow 25.0 1/3) (+ (* 0.13333333333333333 (* d3 (pow 25.0 1/3))) (* 0.02222222222222222 (* (pow d3 2) (pow 25.0 1/3))))) (* 16.666666666666664 (* (pow d3 2) (pow (/ 1 (pow 25.0 5)) 1/3)))) 5.614 * [backup-simplify]: Simplify (* (cbrt (+ (/ 1 d3) 5.0)) (cbrt (+ (/ 1 d3) 5.0))) into (pow (pow (+ 5.0 (/ 1 d3)) 2) 1/3) 5.614 * [approximate]: Taking taylor expansion of (pow (pow (+ 5.0 (/ 1 d3)) 2) 1/3) in (d3) around 0 5.614 * [taylor]: Taking taylor expansion of (pow (pow (+ 5.0 (/ 1 d3)) 2) 1/3) in d3 5.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ 5.0 (/ 1 d3)) 2)))) in d3 5.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ 5.0 (/ 1 d3)) 2))) in d3 5.614 * [taylor]: Taking taylor expansion of 1/3 in d3 5.614 * [backup-simplify]: Simplify 1/3 into 1/3 5.614 * [taylor]: Taking taylor expansion of (log (pow (+ 5.0 (/ 1 d3)) 2)) in d3 5.614 * [taylor]: Taking taylor expansion of (pow (+ 5.0 (/ 1 d3)) 2) in d3 5.614 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d3 5.614 * [taylor]: Taking taylor expansion of 5.0 in d3 5.614 * [backup-simplify]: Simplify 5.0 into 5.0 5.614 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.614 * [taylor]: Taking taylor expansion of d3 in d3 5.614 * [backup-simplify]: Simplify 0 into 0 5.614 * [backup-simplify]: Simplify 1 into 1 5.615 * [backup-simplify]: Simplify (/ 1 1) into 1 5.615 * [backup-simplify]: Simplify (+ 0 1) into 1 5.615 * [backup-simplify]: Simplify (* 1 1) into 1 5.616 * [backup-simplify]: Simplify (log 1) into 0 5.616 * [backup-simplify]: Simplify (+ (* (- 2) (log d3)) 0) into (- (* 2 (log d3))) 5.616 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log d3)))) into (* -2/3 (log d3)) 5.616 * [backup-simplify]: Simplify (exp (* -2/3 (log d3))) into (pow d3 -2/3) 5.616 * [taylor]: Taking taylor expansion of (pow (pow (+ 5.0 (/ 1 d3)) 2) 1/3) in d3 5.616 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ 5.0 (/ 1 d3)) 2)))) in d3 5.617 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ 5.0 (/ 1 d3)) 2))) in d3 5.617 * [taylor]: Taking taylor expansion of 1/3 in d3 5.617 * [backup-simplify]: Simplify 1/3 into 1/3 5.617 * [taylor]: Taking taylor expansion of (log (pow (+ 5.0 (/ 1 d3)) 2)) in d3 5.617 * [taylor]: Taking taylor expansion of (pow (+ 5.0 (/ 1 d3)) 2) in d3 5.617 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d3 5.617 * [taylor]: Taking taylor expansion of 5.0 in d3 5.617 * [backup-simplify]: Simplify 5.0 into 5.0 5.617 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.617 * [taylor]: Taking taylor expansion of d3 in d3 5.617 * [backup-simplify]: Simplify 0 into 0 5.617 * [backup-simplify]: Simplify 1 into 1 5.617 * [backup-simplify]: Simplify (/ 1 1) into 1 5.618 * [backup-simplify]: Simplify (+ 0 1) into 1 5.618 * [backup-simplify]: Simplify (* 1 1) into 1 5.618 * [backup-simplify]: Simplify (log 1) into 0 5.619 * [backup-simplify]: Simplify (+ (* (- 2) (log d3)) 0) into (- (* 2 (log d3))) 5.619 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log d3)))) into (* -2/3 (log d3)) 5.619 * [backup-simplify]: Simplify (exp (* -2/3 (log d3))) into (pow d3 -2/3) 5.619 * [backup-simplify]: Simplify (pow d3 -2/3) into (pow d3 -2/3) 5.620 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.621 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 5.622 * [backup-simplify]: Simplify (+ (* 1 5.0) (* 5.0 1)) into 10.0 5.629 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 10.0) 1)) (pow 1 1)))) 1) into 10.0 5.629 * [backup-simplify]: Simplify (+ (* (- 2) (log d3)) 0) into (- (* 2 (log d3))) 5.630 * [backup-simplify]: Simplify (+ (* 1/3 10.0) (* 0 (- (* 2 (log d3))))) into 3.333333333333333 5.633 * [backup-simplify]: Simplify (* (exp (* -2/3 (log d3))) (+ (* (/ (pow 3.333333333333333 1) 1)))) into (* 3.333333333333333 (pow (/ 1 (pow d3 2)) 1/3)) 5.633 * [backup-simplify]: Simplify (* 3.333333333333333 (pow (/ 1 (pow d3 2)) 1/3)) into (* 3.333333333333333 (pow (/ 1 (pow d3 2)) 1/3)) 5.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.635 * [backup-simplify]: Simplify (+ 0 0) into 0 5.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 5.0 5.0) (* 0 1))) into 25.0 5.653 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 10.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 25.0) 1)) (pow 1 1)))) 2) into -25.0 5.654 * [backup-simplify]: Simplify (+ (* (- 2) (log d3)) 0) into (- (* 2 (log d3))) 5.655 * [backup-simplify]: Simplify (+ (* 1/3 -25.0) (+ (* 0 10.0) (* 0 (- (* 2 (log d3)))))) into (- 8.333333333333332) 5.660 * [backup-simplify]: Simplify (* (exp (* -2/3 (log d3))) (+ (* (/ (pow 3.333333333333333 2) 2)) (* (/ (pow (- 8.333333333333332) 1) 1)))) into (* -2.7777777777777777 (pow (/ 1 (pow d3 2)) 1/3)) 5.661 * [backup-simplify]: Simplify (* -2.7777777777777777 (pow (/ 1 (pow d3 2)) 1/3)) into (* -2.7777777777777777 (pow (/ 1 (pow d3 2)) 1/3)) 5.662 * [backup-simplify]: Simplify (+ (* (* -2.7777777777777777 (pow (/ 1 (pow (/ 1 d3) 2)) 1/3)) (pow (/ 1 d3) 2)) (+ (* (* 3.333333333333333 (pow (/ 1 (pow (/ 1 d3) 2)) 1/3)) (/ 1 d3)) (pow (/ 1 d3) -2/3))) into (- (+ (* 3.333333333333333 (pow (/ 1 d3) 1/3)) (pow (/ 1 d3) -2/3)) (* 2.7777777777777777 (pow (/ 1 (pow d3 4)) 1/3))) 5.662 * [backup-simplify]: Simplify (* (cbrt (+ (/ 1 (- d3)) 5.0)) (cbrt (+ (/ 1 (- d3)) 5.0))) into (pow (pow (- 5.0 (/ 1 d3)) 2) 1/3) 5.662 * [approximate]: Taking taylor expansion of (pow (pow (- 5.0 (/ 1 d3)) 2) 1/3) in (d3) around 0 5.662 * [taylor]: Taking taylor expansion of (pow (pow (- 5.0 (/ 1 d3)) 2) 1/3) in d3 5.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 5.0 (/ 1 d3)) 2)))) in d3 5.662 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 5.0 (/ 1 d3)) 2))) in d3 5.662 * [taylor]: Taking taylor expansion of 1/3 in d3 5.662 * [backup-simplify]: Simplify 1/3 into 1/3 5.662 * [taylor]: Taking taylor expansion of (log (pow (- 5.0 (/ 1 d3)) 2)) in d3 5.662 * [taylor]: Taking taylor expansion of (pow (- 5.0 (/ 1 d3)) 2) in d3 5.662 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 d3)) in d3 5.662 * [taylor]: Taking taylor expansion of 5.0 in d3 5.662 * [backup-simplify]: Simplify 5.0 into 5.0 5.662 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.662 * [taylor]: Taking taylor expansion of d3 in d3 5.662 * [backup-simplify]: Simplify 0 into 0 5.663 * [backup-simplify]: Simplify 1 into 1 5.663 * [backup-simplify]: Simplify (/ 1 1) into 1 5.663 * [backup-simplify]: Simplify (- 1) into -1 5.664 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.664 * [backup-simplify]: Simplify (* -1 -1) into 1 5.665 * [backup-simplify]: Simplify (log 1) into 0 5.665 * [backup-simplify]: Simplify (+ (* (- 2) (log d3)) 0) into (- (* 2 (log d3))) 5.665 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log d3)))) into (* -2/3 (log d3)) 5.665 * [backup-simplify]: Simplify (exp (* -2/3 (log d3))) into (pow d3 -2/3) 5.665 * [taylor]: Taking taylor expansion of (pow (pow (- 5.0 (/ 1 d3)) 2) 1/3) in d3 5.665 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 5.0 (/ 1 d3)) 2)))) in d3 5.665 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 5.0 (/ 1 d3)) 2))) in d3 5.665 * [taylor]: Taking taylor expansion of 1/3 in d3 5.665 * [backup-simplify]: Simplify 1/3 into 1/3 5.666 * [taylor]: Taking taylor expansion of (log (pow (- 5.0 (/ 1 d3)) 2)) in d3 5.666 * [taylor]: Taking taylor expansion of (pow (- 5.0 (/ 1 d3)) 2) in d3 5.666 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 d3)) in d3 5.666 * [taylor]: Taking taylor expansion of 5.0 in d3 5.666 * [backup-simplify]: Simplify 5.0 into 5.0 5.666 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.666 * [taylor]: Taking taylor expansion of d3 in d3 5.666 * [backup-simplify]: Simplify 0 into 0 5.666 * [backup-simplify]: Simplify 1 into 1 5.666 * [backup-simplify]: Simplify (/ 1 1) into 1 5.667 * [backup-simplify]: Simplify (- 1) into -1 5.667 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.667 * [backup-simplify]: Simplify (* -1 -1) into 1 5.668 * [backup-simplify]: Simplify (log 1) into 0 5.668 * [backup-simplify]: Simplify (+ (* (- 2) (log d3)) 0) into (- (* 2 (log d3))) 5.668 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log d3)))) into (* -2/3 (log d3)) 5.668 * [backup-simplify]: Simplify (exp (* -2/3 (log d3))) into (pow d3 -2/3) 5.669 * [backup-simplify]: Simplify (pow d3 -2/3) into (pow d3 -2/3) 5.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.670 * [backup-simplify]: Simplify (- 0) into 0 5.670 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 5.672 * [backup-simplify]: Simplify (+ (* -1 5.0) (* 5.0 -1)) into (- 10.0) 5.679 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 10.0)) 1)) (pow 1 1)))) 1) into -10.0 5.680 * [backup-simplify]: Simplify (+ (* (- 2) (log d3)) 0) into (- (* 2 (log d3))) 5.680 * [backup-simplify]: Simplify (+ (* 1/3 -10.0) (* 0 (- (* 2 (log d3))))) into (- 3.333333333333333) 5.684 * [backup-simplify]: Simplify (* (exp (* -2/3 (log d3))) (+ (* (/ (pow (- 3.333333333333333) 1) 1)))) into (* -3.333333333333333 (pow (/ 1 (pow d3 2)) 1/3)) 5.684 * [backup-simplify]: Simplify (* -3.333333333333333 (pow (/ 1 (pow d3 2)) 1/3)) into (* -3.333333333333333 (pow (/ 1 (pow d3 2)) 1/3)) 5.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.685 * [backup-simplify]: Simplify (- 0) into 0 5.686 * [backup-simplify]: Simplify (+ 0 0) into 0 5.689 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 5.0 5.0) (* 0 -1))) into 25.0 5.705 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 10.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 25.0) 1)) (pow 1 1)))) 2) into -25.0 5.705 * [backup-simplify]: Simplify (+ (* (- 2) (log d3)) 0) into (- (* 2 (log d3))) 5.706 * [backup-simplify]: Simplify (+ (* 1/3 -25.0) (+ (* 0 -10.0) (* 0 (- (* 2 (log d3)))))) into (- 8.333333333333332) 5.713 * [backup-simplify]: Simplify (* (exp (* -2/3 (log d3))) (+ (* (/ (pow (- 3.333333333333333) 2) 2)) (* (/ (pow (- 8.333333333333332) 1) 1)))) into (* -2.7777777777777777 (pow (/ 1 (pow d3 2)) 1/3)) 5.714 * [backup-simplify]: Simplify (* -2.7777777777777777 (pow (/ 1 (pow d3 2)) 1/3)) into (* -2.7777777777777777 (pow (/ 1 (pow d3 2)) 1/3)) 5.715 * [backup-simplify]: Simplify (+ (* (* -2.7777777777777777 (pow (/ 1 (pow (/ 1 (- d3)) 2)) 1/3)) (pow (/ 1 (- d3)) 2)) (+ (* (* -3.333333333333333 (pow (/ 1 (pow (/ 1 (- d3)) 2)) 1/3)) (/ 1 (- d3))) (pow (/ 1 (- d3)) -2/3))) into (- (+ (* 3.333333333333333 (pow (/ 1 d3) 1/3)) (pow (/ -1 d3) -2/3)) (* 2.7777777777777777 (pow (/ 1 (pow d3 4)) 1/3))) 5.715 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1) 5.715 * [backup-simplify]: Simplify (cbrt (+ d3 5.0)) into (pow (+ d3 5.0) 1/3) 5.715 * [approximate]: Taking taylor expansion of (pow (+ d3 5.0) 1/3) in (d3) around 0 5.715 * [taylor]: Taking taylor expansion of (pow (+ d3 5.0) 1/3) in d3 5.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 5.0)))) in d3 5.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 5.0))) in d3 5.715 * [taylor]: Taking taylor expansion of 1/3 in d3 5.715 * [backup-simplify]: Simplify 1/3 into 1/3 5.715 * [taylor]: Taking taylor expansion of (log (+ d3 5.0)) in d3 5.715 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d3 5.715 * [taylor]: Taking taylor expansion of d3 in d3 5.715 * [backup-simplify]: Simplify 0 into 0 5.715 * [backup-simplify]: Simplify 1 into 1 5.715 * [taylor]: Taking taylor expansion of 5.0 in d3 5.715 * [backup-simplify]: Simplify 5.0 into 5.0 5.716 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 5.716 * [backup-simplify]: Simplify (log 5.0) into (log 5.0) 5.717 * [backup-simplify]: Simplify (* 1/3 (log 5.0)) into (* 1/3 (log 5.0)) 5.719 * [backup-simplify]: Simplify (exp (* 1/3 (log 5.0))) into (pow 5.0 1/3) 5.719 * [taylor]: Taking taylor expansion of (pow (+ d3 5.0) 1/3) in d3 5.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 5.0)))) in d3 5.719 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 5.0))) in d3 5.719 * [taylor]: Taking taylor expansion of 1/3 in d3 5.719 * [backup-simplify]: Simplify 1/3 into 1/3 5.719 * [taylor]: Taking taylor expansion of (log (+ d3 5.0)) in d3 5.719 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d3 5.719 * [taylor]: Taking taylor expansion of d3 in d3 5.719 * [backup-simplify]: Simplify 0 into 0 5.719 * [backup-simplify]: Simplify 1 into 1 5.719 * [taylor]: Taking taylor expansion of 5.0 in d3 5.719 * [backup-simplify]: Simplify 5.0 into 5.0 5.720 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 5.720 * [backup-simplify]: Simplify (log 5.0) into (log 5.0) 5.721 * [backup-simplify]: Simplify (* 1/3 (log 5.0)) into (* 1/3 (log 5.0)) 5.723 * [backup-simplify]: Simplify (exp (* 1/3 (log 5.0))) into (pow 5.0 1/3) 5.723 * [backup-simplify]: Simplify (pow 5.0 1/3) into (pow 5.0 1/3) 5.724 * [backup-simplify]: Simplify (+ 1 0) into 1 5.729 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 5.0 1)))) 1) into 0.2 5.731 * [backup-simplify]: Simplify (+ (* 1/3 0.2) (* 0 (log 5.0))) into 0.06666666666666667 5.737 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 5.0))) (+ (* (/ (pow 0.06666666666666667 1) 1)))) into (* 0.06666666666666667 (pow 5.0 1/3)) 5.738 * [backup-simplify]: Simplify (* 0.06666666666666667 (pow 5.0 1/3)) into (* 0.06666666666666667 (pow 5.0 1/3)) 5.738 * [backup-simplify]: Simplify (+ 0 0) into 0 5.748 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 5.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 5.0 1)))) 2) into (/ -1/2 (pow 5.0 2)) 5.750 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 5.0 2))) (+ (* 0 0.2) (* 0 (log 5.0)))) into (- (* 1/6 (/ 1 (pow 5.0 2)))) 5.759 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 5.0))) (+ (* (/ (pow 0.06666666666666667 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 5.0 2)))) 1) 1)))) into (* (- 0.0022222222222222222 (* 1/6 (/ 1 (pow 5.0 2)))) (pow 5.0 1/3)) 5.762 * [backup-simplify]: Simplify (* (- 0.0022222222222222222 (* 1/6 (/ 1 (pow 5.0 2)))) (pow 5.0 1/3)) into (* (- 0.0022222222222222222 (* 1/6 (/ 1 (pow 5.0 2)))) (pow 5.0 1/3)) 5.766 * [backup-simplify]: Simplify (+ (* (* (- 0.0022222222222222222 (* 1/6 (/ 1 (pow 5.0 2)))) (pow 5.0 1/3)) (pow d3 2)) (+ (* (* 0.06666666666666667 (pow 5.0 1/3)) d3) (pow 5.0 1/3))) into (- (+ (* 0.0022222222222222222 (* (pow d3 2) (pow 5.0 1/3))) (+ (pow 5.0 1/3) (* 0.06666666666666667 (* d3 (pow 5.0 1/3))))) (* 1/6 (* (pow d3 2) (pow (/ 1 (pow 5.0 5)) 1/3)))) 5.766 * [backup-simplify]: Simplify (cbrt (+ (/ 1 d3) 5.0)) into (pow (+ 5.0 (/ 1 d3)) 1/3) 5.766 * [approximate]: Taking taylor expansion of (pow (+ 5.0 (/ 1 d3)) 1/3) in (d3) around 0 5.766 * [taylor]: Taking taylor expansion of (pow (+ 5.0 (/ 1 d3)) 1/3) in d3 5.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 5.0 (/ 1 d3))))) in d3 5.766 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 5.0 (/ 1 d3)))) in d3 5.766 * [taylor]: Taking taylor expansion of 1/3 in d3 5.766 * [backup-simplify]: Simplify 1/3 into 1/3 5.766 * [taylor]: Taking taylor expansion of (log (+ 5.0 (/ 1 d3))) in d3 5.766 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d3 5.766 * [taylor]: Taking taylor expansion of 5.0 in d3 5.766 * [backup-simplify]: Simplify 5.0 into 5.0 5.766 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.766 * [taylor]: Taking taylor expansion of d3 in d3 5.766 * [backup-simplify]: Simplify 0 into 0 5.766 * [backup-simplify]: Simplify 1 into 1 5.766 * [backup-simplify]: Simplify (/ 1 1) into 1 5.767 * [backup-simplify]: Simplify (+ 0 1) into 1 5.767 * [backup-simplify]: Simplify (log 1) into 0 5.767 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) 0) into (- (log d3)) 5.767 * [backup-simplify]: Simplify (* 1/3 (- (log d3))) into (* -1/3 (log d3)) 5.767 * [backup-simplify]: Simplify (exp (* -1/3 (log d3))) into (pow d3 -1/3) 5.767 * [taylor]: Taking taylor expansion of (pow (+ 5.0 (/ 1 d3)) 1/3) in d3 5.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 5.0 (/ 1 d3))))) in d3 5.767 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 5.0 (/ 1 d3)))) in d3 5.767 * [taylor]: Taking taylor expansion of 1/3 in d3 5.768 * [backup-simplify]: Simplify 1/3 into 1/3 5.768 * [taylor]: Taking taylor expansion of (log (+ 5.0 (/ 1 d3))) in d3 5.768 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d3 5.768 * [taylor]: Taking taylor expansion of 5.0 in d3 5.768 * [backup-simplify]: Simplify 5.0 into 5.0 5.768 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.768 * [taylor]: Taking taylor expansion of d3 in d3 5.768 * [backup-simplify]: Simplify 0 into 0 5.768 * [backup-simplify]: Simplify 1 into 1 5.768 * [backup-simplify]: Simplify (/ 1 1) into 1 5.768 * [backup-simplify]: Simplify (+ 0 1) into 1 5.768 * [backup-simplify]: Simplify (log 1) into 0 5.769 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) 0) into (- (log d3)) 5.769 * [backup-simplify]: Simplify (* 1/3 (- (log d3))) into (* -1/3 (log d3)) 5.769 * [backup-simplify]: Simplify (exp (* -1/3 (log d3))) into (pow d3 -1/3) 5.769 * [backup-simplify]: Simplify (pow d3 -1/3) into (pow d3 -1/3) 5.769 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.770 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 5.776 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 5.0) 1)) (pow 1 1)))) 1) into 5.0 5.776 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) 0) into (- (log d3)) 5.777 * [backup-simplify]: Simplify (+ (* 1/3 5.0) (* 0 (- (log d3)))) into 1.6666666666666665 5.779 * [backup-simplify]: Simplify (* (exp (* -1/3 (log d3))) (+ (* (/ (pow 1.6666666666666665 1) 1)))) into (* 1.6666666666666665 (pow (/ 1 d3) 1/3)) 5.779 * [backup-simplify]: Simplify (* 1.6666666666666665 (pow (/ 1 d3) 1/3)) into (* 1.6666666666666665 (pow (/ 1 d3) 1/3)) 5.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.781 * [backup-simplify]: Simplify (+ 0 0) into 0 5.790 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 5.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -12.5 5.790 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) 0) into (- (log d3)) 5.790 * [backup-simplify]: Simplify (+ (* 1/3 -12.5) (+ (* 0 5.0) (* 0 (- (log d3))))) into (- 4.166666666666666) 5.794 * [backup-simplify]: Simplify (* (exp (* -1/3 (log d3))) (+ (* (/ (pow 1.6666666666666665 2) 2)) (* (/ (pow (- 4.166666666666666) 1) 1)))) into (* -2.7777777777777777 (pow (/ 1 d3) 1/3)) 5.794 * [backup-simplify]: Simplify (* -2.7777777777777777 (pow (/ 1 d3) 1/3)) into (* -2.7777777777777777 (pow (/ 1 d3) 1/3)) 5.794 * [backup-simplify]: Simplify (+ (* (* -2.7777777777777777 (pow (/ 1 (/ 1 d3)) 1/3)) (pow (/ 1 d3) 2)) (+ (* (* 1.6666666666666665 (pow (/ 1 (/ 1 d3)) 1/3)) (/ 1 d3)) (pow (/ 1 d3) -1/3))) into (- (+ (* 1.6666666666666665 (pow (/ 1 (pow d3 2)) 1/3)) (pow (/ 1 d3) -1/3)) (* 2.7777777777777777 (pow (/ 1 (pow d3 5)) 1/3))) 5.794 * [backup-simplify]: Simplify (cbrt (+ (/ 1 (- d3)) 5.0)) into (pow (- 5.0 (/ 1 d3)) 1/3) 5.794 * [approximate]: Taking taylor expansion of (pow (- 5.0 (/ 1 d3)) 1/3) in (d3) around 0 5.794 * [taylor]: Taking taylor expansion of (pow (- 5.0 (/ 1 d3)) 1/3) in d3 5.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 5.0 (/ 1 d3))))) in d3 5.795 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 5.0 (/ 1 d3)))) in d3 5.795 * [taylor]: Taking taylor expansion of 1/3 in d3 5.795 * [backup-simplify]: Simplify 1/3 into 1/3 5.795 * [taylor]: Taking taylor expansion of (log (- 5.0 (/ 1 d3))) in d3 5.795 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 d3)) in d3 5.795 * [taylor]: Taking taylor expansion of 5.0 in d3 5.795 * [backup-simplify]: Simplify 5.0 into 5.0 5.795 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.795 * [taylor]: Taking taylor expansion of d3 in d3 5.795 * [backup-simplify]: Simplify 0 into 0 5.795 * [backup-simplify]: Simplify 1 into 1 5.795 * [backup-simplify]: Simplify (/ 1 1) into 1 5.795 * [backup-simplify]: Simplify (- 1) into -1 5.795 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.796 * [backup-simplify]: Simplify (log -1) into (log -1) 5.796 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) (log -1)) into (- (log -1) (log d3)) 5.797 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log d3))) into (* 1/3 (- (log -1) (log d3))) 5.797 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d3)))) into (exp (* 1/3 (- (log -1) (log d3)))) 5.797 * [taylor]: Taking taylor expansion of (pow (- 5.0 (/ 1 d3)) 1/3) in d3 5.797 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 5.0 (/ 1 d3))))) in d3 5.797 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 5.0 (/ 1 d3)))) in d3 5.797 * [taylor]: Taking taylor expansion of 1/3 in d3 5.797 * [backup-simplify]: Simplify 1/3 into 1/3 5.797 * [taylor]: Taking taylor expansion of (log (- 5.0 (/ 1 d3))) in d3 5.797 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 d3)) in d3 5.797 * [taylor]: Taking taylor expansion of 5.0 in d3 5.797 * [backup-simplify]: Simplify 5.0 into 5.0 5.797 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.797 * [taylor]: Taking taylor expansion of d3 in d3 5.797 * [backup-simplify]: Simplify 0 into 0 5.797 * [backup-simplify]: Simplify 1 into 1 5.798 * [backup-simplify]: Simplify (/ 1 1) into 1 5.798 * [backup-simplify]: Simplify (- 1) into -1 5.798 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.798 * [backup-simplify]: Simplify (log -1) into (log -1) 5.799 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) (log -1)) into (- (log -1) (log d3)) 5.799 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log d3))) into (* 1/3 (- (log -1) (log d3))) 5.799 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d3)))) into (exp (* 1/3 (- (log -1) (log d3)))) 5.800 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d3)))) into (exp (* 1/3 (- (log -1) (log d3)))) 5.800 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.801 * [backup-simplify]: Simplify (- 0) into 0 5.801 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 5.805 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 5.0) 1)) (pow -1 1)))) 1) into -5.0 5.805 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) (log -1)) into (- (log -1) (log d3)) 5.806 * [backup-simplify]: Simplify (+ (* 1/3 -5.0) (* 0 (- (log -1) (log d3)))) into (- 1.6666666666666665) 5.808 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log d3)))) (+ (* (/ (pow (- 1.6666666666666665) 1) 1)))) into (* -1.6666666666666665 (exp (* 1/3 (- (log -1) (log d3))))) 5.809 * [backup-simplify]: Simplify (* -1.6666666666666665 (exp (* 1/3 (- (log -1) (log d3))))) into (* -1.6666666666666665 (exp (* 1/3 (- (log -1) (log d3))))) 5.809 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.810 * [backup-simplify]: Simplify (- 0) into 0 5.810 * [backup-simplify]: Simplify (+ 0 0) into 0 5.818 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 5.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -12.5 5.819 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) (log -1)) into (- (log -1) (log d3)) 5.821 * [backup-simplify]: Simplify (+ (* 1/3 -12.5) (+ (* 0 -5.0) (* 0 (- (log -1) (log d3))))) into (- 4.166666666666666) 5.827 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log d3)))) (+ (* (/ (pow (- 1.6666666666666665) 2) 2)) (* (/ (pow (- 4.166666666666666) 1) 1)))) into (* -2.7777777777777777 (exp (* 1/3 (- (log -1) (log d3))))) 5.828 * [backup-simplify]: Simplify (* -2.7777777777777777 (exp (* 1/3 (- (log -1) (log d3))))) into (* -2.7777777777777777 (exp (* 1/3 (- (log -1) (log d3))))) 5.830 * [backup-simplify]: Simplify (+ (* (* -2.7777777777777777 (exp (* 1/3 (- (log -1) (log (/ 1 (- d3))))))) (pow (/ 1 (- d3)) 2)) (+ (* (* -1.6666666666666665 (exp (* 1/3 (- (log -1) (log (/ 1 (- d3))))))) (/ 1 (- d3))) (exp (* 1/3 (- (log -1) (log (/ 1 (- d3)))))))) into (- (+ (* 1.6666666666666665 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) d3)) (exp (* 1/3 (- (log -1) (log (/ -1 d3)))))) (* 2.7777777777777777 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) (pow d3 2)))) 5.830 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 5.830 * [backup-simplify]: Simplify (cbrt (+ d3 5.0)) into (pow (+ d3 5.0) 1/3) 5.830 * [approximate]: Taking taylor expansion of (pow (+ d3 5.0) 1/3) in (d3) around 0 5.830 * [taylor]: Taking taylor expansion of (pow (+ d3 5.0) 1/3) in d3 5.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 5.0)))) in d3 5.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 5.0))) in d3 5.830 * [taylor]: Taking taylor expansion of 1/3 in d3 5.830 * [backup-simplify]: Simplify 1/3 into 1/3 5.830 * [taylor]: Taking taylor expansion of (log (+ d3 5.0)) in d3 5.830 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d3 5.830 * [taylor]: Taking taylor expansion of d3 in d3 5.830 * [backup-simplify]: Simplify 0 into 0 5.831 * [backup-simplify]: Simplify 1 into 1 5.831 * [taylor]: Taking taylor expansion of 5.0 in d3 5.831 * [backup-simplify]: Simplify 5.0 into 5.0 5.831 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 5.831 * [backup-simplify]: Simplify (log 5.0) into (log 5.0) 5.832 * [backup-simplify]: Simplify (* 1/3 (log 5.0)) into (* 1/3 (log 5.0)) 5.834 * [backup-simplify]: Simplify (exp (* 1/3 (log 5.0))) into (pow 5.0 1/3) 5.834 * [taylor]: Taking taylor expansion of (pow (+ d3 5.0) 1/3) in d3 5.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 5.0)))) in d3 5.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 5.0))) in d3 5.834 * [taylor]: Taking taylor expansion of 1/3 in d3 5.834 * [backup-simplify]: Simplify 1/3 into 1/3 5.834 * [taylor]: Taking taylor expansion of (log (+ d3 5.0)) in d3 5.834 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d3 5.834 * [taylor]: Taking taylor expansion of d3 in d3 5.834 * [backup-simplify]: Simplify 0 into 0 5.834 * [backup-simplify]: Simplify 1 into 1 5.834 * [taylor]: Taking taylor expansion of 5.0 in d3 5.834 * [backup-simplify]: Simplify 5.0 into 5.0 5.835 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 5.835 * [backup-simplify]: Simplify (log 5.0) into (log 5.0) 5.836 * [backup-simplify]: Simplify (* 1/3 (log 5.0)) into (* 1/3 (log 5.0)) 5.837 * [backup-simplify]: Simplify (exp (* 1/3 (log 5.0))) into (pow 5.0 1/3) 5.838 * [backup-simplify]: Simplify (pow 5.0 1/3) into (pow 5.0 1/3) 5.839 * [backup-simplify]: Simplify (+ 1 0) into 1 5.844 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 5.0 1)))) 1) into 0.2 5.846 * [backup-simplify]: Simplify (+ (* 1/3 0.2) (* 0 (log 5.0))) into 0.06666666666666667 5.854 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 5.0))) (+ (* (/ (pow 0.06666666666666667 1) 1)))) into (* 0.06666666666666667 (pow 5.0 1/3)) 5.855 * [backup-simplify]: Simplify (* 0.06666666666666667 (pow 5.0 1/3)) into (* 0.06666666666666667 (pow 5.0 1/3)) 5.855 * [backup-simplify]: Simplify (+ 0 0) into 0 5.866 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 5.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 5.0 1)))) 2) into (/ -1/2 (pow 5.0 2)) 5.870 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 5.0 2))) (+ (* 0 0.2) (* 0 (log 5.0)))) into (- (* 1/6 (/ 1 (pow 5.0 2)))) 5.881 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 5.0))) (+ (* (/ (pow 0.06666666666666667 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 5.0 2)))) 1) 1)))) into (* (- 0.0022222222222222222 (* 1/6 (/ 1 (pow 5.0 2)))) (pow 5.0 1/3)) 5.884 * [backup-simplify]: Simplify (* (- 0.0022222222222222222 (* 1/6 (/ 1 (pow 5.0 2)))) (pow 5.0 1/3)) into (* (- 0.0022222222222222222 (* 1/6 (/ 1 (pow 5.0 2)))) (pow 5.0 1/3)) 5.888 * [backup-simplify]: Simplify (+ (* (* (- 0.0022222222222222222 (* 1/6 (/ 1 (pow 5.0 2)))) (pow 5.0 1/3)) (pow d3 2)) (+ (* (* 0.06666666666666667 (pow 5.0 1/3)) d3) (pow 5.0 1/3))) into (- (+ (* 0.0022222222222222222 (* (pow d3 2) (pow 5.0 1/3))) (+ (pow 5.0 1/3) (* 0.06666666666666667 (* d3 (pow 5.0 1/3))))) (* 1/6 (* (pow d3 2) (pow (/ 1 (pow 5.0 5)) 1/3)))) 5.888 * [backup-simplify]: Simplify (cbrt (+ (/ 1 d3) 5.0)) into (pow (+ 5.0 (/ 1 d3)) 1/3) 5.888 * [approximate]: Taking taylor expansion of (pow (+ 5.0 (/ 1 d3)) 1/3) in (d3) around 0 5.888 * [taylor]: Taking taylor expansion of (pow (+ 5.0 (/ 1 d3)) 1/3) in d3 5.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 5.0 (/ 1 d3))))) in d3 5.888 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 5.0 (/ 1 d3)))) in d3 5.888 * [taylor]: Taking taylor expansion of 1/3 in d3 5.888 * [backup-simplify]: Simplify 1/3 into 1/3 5.888 * [taylor]: Taking taylor expansion of (log (+ 5.0 (/ 1 d3))) in d3 5.888 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d3 5.888 * [taylor]: Taking taylor expansion of 5.0 in d3 5.888 * [backup-simplify]: Simplify 5.0 into 5.0 5.888 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.888 * [taylor]: Taking taylor expansion of d3 in d3 5.888 * [backup-simplify]: Simplify 0 into 0 5.888 * [backup-simplify]: Simplify 1 into 1 5.888 * [backup-simplify]: Simplify (/ 1 1) into 1 5.889 * [backup-simplify]: Simplify (+ 0 1) into 1 5.889 * [backup-simplify]: Simplify (log 1) into 0 5.889 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) 0) into (- (log d3)) 5.889 * [backup-simplify]: Simplify (* 1/3 (- (log d3))) into (* -1/3 (log d3)) 5.889 * [backup-simplify]: Simplify (exp (* -1/3 (log d3))) into (pow d3 -1/3) 5.889 * [taylor]: Taking taylor expansion of (pow (+ 5.0 (/ 1 d3)) 1/3) in d3 5.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 5.0 (/ 1 d3))))) in d3 5.889 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 5.0 (/ 1 d3)))) in d3 5.889 * [taylor]: Taking taylor expansion of 1/3 in d3 5.889 * [backup-simplify]: Simplify 1/3 into 1/3 5.889 * [taylor]: Taking taylor expansion of (log (+ 5.0 (/ 1 d3))) in d3 5.889 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d3 5.889 * [taylor]: Taking taylor expansion of 5.0 in d3 5.889 * [backup-simplify]: Simplify 5.0 into 5.0 5.890 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.890 * [taylor]: Taking taylor expansion of d3 in d3 5.890 * [backup-simplify]: Simplify 0 into 0 5.890 * [backup-simplify]: Simplify 1 into 1 5.890 * [backup-simplify]: Simplify (/ 1 1) into 1 5.890 * [backup-simplify]: Simplify (+ 0 1) into 1 5.890 * [backup-simplify]: Simplify (log 1) into 0 5.891 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) 0) into (- (log d3)) 5.891 * [backup-simplify]: Simplify (* 1/3 (- (log d3))) into (* -1/3 (log d3)) 5.891 * [backup-simplify]: Simplify (exp (* -1/3 (log d3))) into (pow d3 -1/3) 5.891 * [backup-simplify]: Simplify (pow d3 -1/3) into (pow d3 -1/3) 5.891 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.892 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 5.895 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 5.0) 1)) (pow 1 1)))) 1) into 5.0 5.896 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) 0) into (- (log d3)) 5.896 * [backup-simplify]: Simplify (+ (* 1/3 5.0) (* 0 (- (log d3)))) into 1.6666666666666665 5.898 * [backup-simplify]: Simplify (* (exp (* -1/3 (log d3))) (+ (* (/ (pow 1.6666666666666665 1) 1)))) into (* 1.6666666666666665 (pow (/ 1 d3) 1/3)) 5.898 * [backup-simplify]: Simplify (* 1.6666666666666665 (pow (/ 1 d3) 1/3)) into (* 1.6666666666666665 (pow (/ 1 d3) 1/3)) 5.899 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.899 * [backup-simplify]: Simplify (+ 0 0) into 0 5.907 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 5.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -12.5 5.908 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) 0) into (- (log d3)) 5.909 * [backup-simplify]: Simplify (+ (* 1/3 -12.5) (+ (* 0 5.0) (* 0 (- (log d3))))) into (- 4.166666666666666) 5.913 * [backup-simplify]: Simplify (* (exp (* -1/3 (log d3))) (+ (* (/ (pow 1.6666666666666665 2) 2)) (* (/ (pow (- 4.166666666666666) 1) 1)))) into (* -2.7777777777777777 (pow (/ 1 d3) 1/3)) 5.913 * [backup-simplify]: Simplify (* -2.7777777777777777 (pow (/ 1 d3) 1/3)) into (* -2.7777777777777777 (pow (/ 1 d3) 1/3)) 5.913 * [backup-simplify]: Simplify (+ (* (* -2.7777777777777777 (pow (/ 1 (/ 1 d3)) 1/3)) (pow (/ 1 d3) 2)) (+ (* (* 1.6666666666666665 (pow (/ 1 (/ 1 d3)) 1/3)) (/ 1 d3)) (pow (/ 1 d3) -1/3))) into (- (+ (* 1.6666666666666665 (pow (/ 1 (pow d3 2)) 1/3)) (pow (/ 1 d3) -1/3)) (* 2.7777777777777777 (pow (/ 1 (pow d3 5)) 1/3))) 5.914 * [backup-simplify]: Simplify (cbrt (+ (/ 1 (- d3)) 5.0)) into (pow (- 5.0 (/ 1 d3)) 1/3) 5.914 * [approximate]: Taking taylor expansion of (pow (- 5.0 (/ 1 d3)) 1/3) in (d3) around 0 5.914 * [taylor]: Taking taylor expansion of (pow (- 5.0 (/ 1 d3)) 1/3) in d3 5.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 5.0 (/ 1 d3))))) in d3 5.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 5.0 (/ 1 d3)))) in d3 5.914 * [taylor]: Taking taylor expansion of 1/3 in d3 5.914 * [backup-simplify]: Simplify 1/3 into 1/3 5.914 * [taylor]: Taking taylor expansion of (log (- 5.0 (/ 1 d3))) in d3 5.914 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 d3)) in d3 5.914 * [taylor]: Taking taylor expansion of 5.0 in d3 5.914 * [backup-simplify]: Simplify 5.0 into 5.0 5.914 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.914 * [taylor]: Taking taylor expansion of d3 in d3 5.914 * [backup-simplify]: Simplify 0 into 0 5.914 * [backup-simplify]: Simplify 1 into 1 5.914 * [backup-simplify]: Simplify (/ 1 1) into 1 5.914 * [backup-simplify]: Simplify (- 1) into -1 5.915 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.915 * [backup-simplify]: Simplify (log -1) into (log -1) 5.915 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) (log -1)) into (- (log -1) (log d3)) 5.916 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log d3))) into (* 1/3 (- (log -1) (log d3))) 5.916 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d3)))) into (exp (* 1/3 (- (log -1) (log d3)))) 5.916 * [taylor]: Taking taylor expansion of (pow (- 5.0 (/ 1 d3)) 1/3) in d3 5.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 5.0 (/ 1 d3))))) in d3 5.916 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 5.0 (/ 1 d3)))) in d3 5.916 * [taylor]: Taking taylor expansion of 1/3 in d3 5.916 * [backup-simplify]: Simplify 1/3 into 1/3 5.916 * [taylor]: Taking taylor expansion of (log (- 5.0 (/ 1 d3))) in d3 5.916 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 d3)) in d3 5.916 * [taylor]: Taking taylor expansion of 5.0 in d3 5.916 * [backup-simplify]: Simplify 5.0 into 5.0 5.916 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.916 * [taylor]: Taking taylor expansion of d3 in d3 5.916 * [backup-simplify]: Simplify 0 into 0 5.916 * [backup-simplify]: Simplify 1 into 1 5.917 * [backup-simplify]: Simplify (/ 1 1) into 1 5.917 * [backup-simplify]: Simplify (- 1) into -1 5.917 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.917 * [backup-simplify]: Simplify (log -1) into (log -1) 5.918 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) (log -1)) into (- (log -1) (log d3)) 5.918 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log d3))) into (* 1/3 (- (log -1) (log d3))) 5.918 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d3)))) into (exp (* 1/3 (- (log -1) (log d3)))) 5.919 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d3)))) into (exp (* 1/3 (- (log -1) (log d3)))) 5.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.919 * [backup-simplify]: Simplify (- 0) into 0 5.920 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 5.924 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 5.0) 1)) (pow -1 1)))) 1) into -5.0 5.924 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) (log -1)) into (- (log -1) (log d3)) 5.925 * [backup-simplify]: Simplify (+ (* 1/3 -5.0) (* 0 (- (log -1) (log d3)))) into (- 1.6666666666666665) 5.927 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log d3)))) (+ (* (/ (pow (- 1.6666666666666665) 1) 1)))) into (* -1.6666666666666665 (exp (* 1/3 (- (log -1) (log d3))))) 5.927 * [backup-simplify]: Simplify (* -1.6666666666666665 (exp (* 1/3 (- (log -1) (log d3))))) into (* -1.6666666666666665 (exp (* 1/3 (- (log -1) (log d3))))) 5.928 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.928 * [backup-simplify]: Simplify (- 0) into 0 5.928 * [backup-simplify]: Simplify (+ 0 0) into 0 5.935 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 5.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -12.5 5.935 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) (log -1)) into (- (log -1) (log d3)) 5.936 * [backup-simplify]: Simplify (+ (* 1/3 -12.5) (+ (* 0 -5.0) (* 0 (- (log -1) (log d3))))) into (- 4.166666666666666) 5.941 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log d3)))) (+ (* (/ (pow (- 1.6666666666666665) 2) 2)) (* (/ (pow (- 4.166666666666666) 1) 1)))) into (* -2.7777777777777777 (exp (* 1/3 (- (log -1) (log d3))))) 5.942 * [backup-simplify]: Simplify (* -2.7777777777777777 (exp (* 1/3 (- (log -1) (log d3))))) into (* -2.7777777777777777 (exp (* 1/3 (- (log -1) (log d3))))) 5.944 * [backup-simplify]: Simplify (+ (* (* -2.7777777777777777 (exp (* 1/3 (- (log -1) (log (/ 1 (- d3))))))) (pow (/ 1 (- d3)) 2)) (+ (* (* -1.6666666666666665 (exp (* 1/3 (- (log -1) (log (/ 1 (- d3))))))) (/ 1 (- d3))) (exp (* 1/3 (- (log -1) (log (/ 1 (- d3)))))))) into (- (+ (* 1.6666666666666665 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) d3)) (exp (* 1/3 (- (log -1) (log (/ -1 d3)))))) (* 2.7777777777777777 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) (pow d3 2)))) 5.944 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1) 5.944 * [backup-simplify]: Simplify (cbrt (+ d3 5.0)) into (pow (+ d3 5.0) 1/3) 5.944 * [approximate]: Taking taylor expansion of (pow (+ d3 5.0) 1/3) in (d3) around 0 5.944 * [taylor]: Taking taylor expansion of (pow (+ d3 5.0) 1/3) in d3 5.944 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 5.0)))) in d3 5.944 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 5.0))) in d3 5.944 * [taylor]: Taking taylor expansion of 1/3 in d3 5.944 * [backup-simplify]: Simplify 1/3 into 1/3 5.944 * [taylor]: Taking taylor expansion of (log (+ d3 5.0)) in d3 5.944 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d3 5.945 * [taylor]: Taking taylor expansion of d3 in d3 5.945 * [backup-simplify]: Simplify 0 into 0 5.945 * [backup-simplify]: Simplify 1 into 1 5.945 * [taylor]: Taking taylor expansion of 5.0 in d3 5.945 * [backup-simplify]: Simplify 5.0 into 5.0 5.945 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 5.945 * [backup-simplify]: Simplify (log 5.0) into (log 5.0) 5.946 * [backup-simplify]: Simplify (* 1/3 (log 5.0)) into (* 1/3 (log 5.0)) 5.948 * [backup-simplify]: Simplify (exp (* 1/3 (log 5.0))) into (pow 5.0 1/3) 5.948 * [taylor]: Taking taylor expansion of (pow (+ d3 5.0) 1/3) in d3 5.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 5.0)))) in d3 5.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 5.0))) in d3 5.948 * [taylor]: Taking taylor expansion of 1/3 in d3 5.948 * [backup-simplify]: Simplify 1/3 into 1/3 5.948 * [taylor]: Taking taylor expansion of (log (+ d3 5.0)) in d3 5.948 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d3 5.948 * [taylor]: Taking taylor expansion of d3 in d3 5.948 * [backup-simplify]: Simplify 0 into 0 5.948 * [backup-simplify]: Simplify 1 into 1 5.948 * [taylor]: Taking taylor expansion of 5.0 in d3 5.948 * [backup-simplify]: Simplify 5.0 into 5.0 5.949 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 5.949 * [backup-simplify]: Simplify (log 5.0) into (log 5.0) 5.950 * [backup-simplify]: Simplify (* 1/3 (log 5.0)) into (* 1/3 (log 5.0)) 5.951 * [backup-simplify]: Simplify (exp (* 1/3 (log 5.0))) into (pow 5.0 1/3) 5.952 * [backup-simplify]: Simplify (pow 5.0 1/3) into (pow 5.0 1/3) 5.953 * [backup-simplify]: Simplify (+ 1 0) into 1 5.960 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 5.0 1)))) 1) into 0.2 5.962 * [backup-simplify]: Simplify (+ (* 1/3 0.2) (* 0 (log 5.0))) into 0.06666666666666667 5.967 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 5.0))) (+ (* (/ (pow 0.06666666666666667 1) 1)))) into (* 0.06666666666666667 (pow 5.0 1/3)) 5.969 * [backup-simplify]: Simplify (* 0.06666666666666667 (pow 5.0 1/3)) into (* 0.06666666666666667 (pow 5.0 1/3)) 5.969 * [backup-simplify]: Simplify (+ 0 0) into 0 5.980 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 5.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 5.0 1)))) 2) into (/ -1/2 (pow 5.0 2)) 5.984 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 5.0 2))) (+ (* 0 0.2) (* 0 (log 5.0)))) into (- (* 1/6 (/ 1 (pow 5.0 2)))) 6.001 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 5.0))) (+ (* (/ (pow 0.06666666666666667 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 5.0 2)))) 1) 1)))) into (* (- 0.0022222222222222222 (* 1/6 (/ 1 (pow 5.0 2)))) (pow 5.0 1/3)) 6.006 * [backup-simplify]: Simplify (* (- 0.0022222222222222222 (* 1/6 (/ 1 (pow 5.0 2)))) (pow 5.0 1/3)) into (* (- 0.0022222222222222222 (* 1/6 (/ 1 (pow 5.0 2)))) (pow 5.0 1/3)) 6.012 * [backup-simplify]: Simplify (+ (* (* (- 0.0022222222222222222 (* 1/6 (/ 1 (pow 5.0 2)))) (pow 5.0 1/3)) (pow d3 2)) (+ (* (* 0.06666666666666667 (pow 5.0 1/3)) d3) (pow 5.0 1/3))) into (- (+ (* 0.0022222222222222222 (* (pow d3 2) (pow 5.0 1/3))) (+ (pow 5.0 1/3) (* 0.06666666666666667 (* d3 (pow 5.0 1/3))))) (* 1/6 (* (pow d3 2) (pow (/ 1 (pow 5.0 5)) 1/3)))) 6.013 * [backup-simplify]: Simplify (cbrt (+ (/ 1 d3) 5.0)) into (pow (+ 5.0 (/ 1 d3)) 1/3) 6.013 * [approximate]: Taking taylor expansion of (pow (+ 5.0 (/ 1 d3)) 1/3) in (d3) around 0 6.013 * [taylor]: Taking taylor expansion of (pow (+ 5.0 (/ 1 d3)) 1/3) in d3 6.013 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 5.0 (/ 1 d3))))) in d3 6.013 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 5.0 (/ 1 d3)))) in d3 6.013 * [taylor]: Taking taylor expansion of 1/3 in d3 6.013 * [backup-simplify]: Simplify 1/3 into 1/3 6.013 * [taylor]: Taking taylor expansion of (log (+ 5.0 (/ 1 d3))) in d3 6.013 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d3 6.013 * [taylor]: Taking taylor expansion of 5.0 in d3 6.013 * [backup-simplify]: Simplify 5.0 into 5.0 6.013 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.013 * [taylor]: Taking taylor expansion of d3 in d3 6.013 * [backup-simplify]: Simplify 0 into 0 6.013 * [backup-simplify]: Simplify 1 into 1 6.014 * [backup-simplify]: Simplify (/ 1 1) into 1 6.014 * [backup-simplify]: Simplify (+ 0 1) into 1 6.014 * [backup-simplify]: Simplify (log 1) into 0 6.015 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) 0) into (- (log d3)) 6.015 * [backup-simplify]: Simplify (* 1/3 (- (log d3))) into (* -1/3 (log d3)) 6.015 * [backup-simplify]: Simplify (exp (* -1/3 (log d3))) into (pow d3 -1/3) 6.015 * [taylor]: Taking taylor expansion of (pow (+ 5.0 (/ 1 d3)) 1/3) in d3 6.015 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 5.0 (/ 1 d3))))) in d3 6.015 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 5.0 (/ 1 d3)))) in d3 6.015 * [taylor]: Taking taylor expansion of 1/3 in d3 6.015 * [backup-simplify]: Simplify 1/3 into 1/3 6.015 * [taylor]: Taking taylor expansion of (log (+ 5.0 (/ 1 d3))) in d3 6.015 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d3 6.015 * [taylor]: Taking taylor expansion of 5.0 in d3 6.015 * [backup-simplify]: Simplify 5.0 into 5.0 6.015 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.015 * [taylor]: Taking taylor expansion of d3 in d3 6.015 * [backup-simplify]: Simplify 0 into 0 6.015 * [backup-simplify]: Simplify 1 into 1 6.016 * [backup-simplify]: Simplify (/ 1 1) into 1 6.016 * [backup-simplify]: Simplify (+ 0 1) into 1 6.017 * [backup-simplify]: Simplify (log 1) into 0 6.017 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) 0) into (- (log d3)) 6.017 * [backup-simplify]: Simplify (* 1/3 (- (log d3))) into (* -1/3 (log d3)) 6.017 * [backup-simplify]: Simplify (exp (* -1/3 (log d3))) into (pow d3 -1/3) 6.017 * [backup-simplify]: Simplify (pow d3 -1/3) into (pow d3 -1/3) 6.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.019 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 6.022 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 5.0) 1)) (pow 1 1)))) 1) into 5.0 6.023 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) 0) into (- (log d3)) 6.023 * [backup-simplify]: Simplify (+ (* 1/3 5.0) (* 0 (- (log d3)))) into 1.6666666666666665 6.025 * [backup-simplify]: Simplify (* (exp (* -1/3 (log d3))) (+ (* (/ (pow 1.6666666666666665 1) 1)))) into (* 1.6666666666666665 (pow (/ 1 d3) 1/3)) 6.025 * [backup-simplify]: Simplify (* 1.6666666666666665 (pow (/ 1 d3) 1/3)) into (* 1.6666666666666665 (pow (/ 1 d3) 1/3)) 6.025 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.026 * [backup-simplify]: Simplify (+ 0 0) into 0 6.032 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 5.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -12.5 6.032 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) 0) into (- (log d3)) 6.033 * [backup-simplify]: Simplify (+ (* 1/3 -12.5) (+ (* 0 5.0) (* 0 (- (log d3))))) into (- 4.166666666666666) 6.036 * [backup-simplify]: Simplify (* (exp (* -1/3 (log d3))) (+ (* (/ (pow 1.6666666666666665 2) 2)) (* (/ (pow (- 4.166666666666666) 1) 1)))) into (* -2.7777777777777777 (pow (/ 1 d3) 1/3)) 6.036 * [backup-simplify]: Simplify (* -2.7777777777777777 (pow (/ 1 d3) 1/3)) into (* -2.7777777777777777 (pow (/ 1 d3) 1/3)) 6.037 * [backup-simplify]: Simplify (+ (* (* -2.7777777777777777 (pow (/ 1 (/ 1 d3)) 1/3)) (pow (/ 1 d3) 2)) (+ (* (* 1.6666666666666665 (pow (/ 1 (/ 1 d3)) 1/3)) (/ 1 d3)) (pow (/ 1 d3) -1/3))) into (- (+ (* 1.6666666666666665 (pow (/ 1 (pow d3 2)) 1/3)) (pow (/ 1 d3) -1/3)) (* 2.7777777777777777 (pow (/ 1 (pow d3 5)) 1/3))) 6.037 * [backup-simplify]: Simplify (cbrt (+ (/ 1 (- d3)) 5.0)) into (pow (- 5.0 (/ 1 d3)) 1/3) 6.037 * [approximate]: Taking taylor expansion of (pow (- 5.0 (/ 1 d3)) 1/3) in (d3) around 0 6.037 * [taylor]: Taking taylor expansion of (pow (- 5.0 (/ 1 d3)) 1/3) in d3 6.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 5.0 (/ 1 d3))))) in d3 6.037 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 5.0 (/ 1 d3)))) in d3 6.037 * [taylor]: Taking taylor expansion of 1/3 in d3 6.037 * [backup-simplify]: Simplify 1/3 into 1/3 6.037 * [taylor]: Taking taylor expansion of (log (- 5.0 (/ 1 d3))) in d3 6.037 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 d3)) in d3 6.037 * [taylor]: Taking taylor expansion of 5.0 in d3 6.037 * [backup-simplify]: Simplify 5.0 into 5.0 6.037 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.037 * [taylor]: Taking taylor expansion of d3 in d3 6.037 * [backup-simplify]: Simplify 0 into 0 6.037 * [backup-simplify]: Simplify 1 into 1 6.037 * [backup-simplify]: Simplify (/ 1 1) into 1 6.038 * [backup-simplify]: Simplify (- 1) into -1 6.038 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.038 * [backup-simplify]: Simplify (log -1) into (log -1) 6.039 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) (log -1)) into (- (log -1) (log d3)) 6.039 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log d3))) into (* 1/3 (- (log -1) (log d3))) 6.039 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d3)))) into (exp (* 1/3 (- (log -1) (log d3)))) 6.039 * [taylor]: Taking taylor expansion of (pow (- 5.0 (/ 1 d3)) 1/3) in d3 6.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 5.0 (/ 1 d3))))) in d3 6.039 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 5.0 (/ 1 d3)))) in d3 6.039 * [taylor]: Taking taylor expansion of 1/3 in d3 6.039 * [backup-simplify]: Simplify 1/3 into 1/3 6.039 * [taylor]: Taking taylor expansion of (log (- 5.0 (/ 1 d3))) in d3 6.039 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 d3)) in d3 6.039 * [taylor]: Taking taylor expansion of 5.0 in d3 6.039 * [backup-simplify]: Simplify 5.0 into 5.0 6.039 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.039 * [taylor]: Taking taylor expansion of d3 in d3 6.039 * [backup-simplify]: Simplify 0 into 0 6.039 * [backup-simplify]: Simplify 1 into 1 6.040 * [backup-simplify]: Simplify (/ 1 1) into 1 6.040 * [backup-simplify]: Simplify (- 1) into -1 6.040 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.040 * [backup-simplify]: Simplify (log -1) into (log -1) 6.041 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) (log -1)) into (- (log -1) (log d3)) 6.041 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log d3))) into (* 1/3 (- (log -1) (log d3))) 6.042 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d3)))) into (exp (* 1/3 (- (log -1) (log d3)))) 6.042 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d3)))) into (exp (* 1/3 (- (log -1) (log d3)))) 6.042 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.043 * [backup-simplify]: Simplify (- 0) into 0 6.043 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 6.047 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 5.0) 1)) (pow -1 1)))) 1) into -5.0 6.048 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) (log -1)) into (- (log -1) (log d3)) 6.049 * [backup-simplify]: Simplify (+ (* 1/3 -5.0) (* 0 (- (log -1) (log d3)))) into (- 1.6666666666666665) 6.053 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log d3)))) (+ (* (/ (pow (- 1.6666666666666665) 1) 1)))) into (* -1.6666666666666665 (exp (* 1/3 (- (log -1) (log d3))))) 6.053 * [backup-simplify]: Simplify (* -1.6666666666666665 (exp (* 1/3 (- (log -1) (log d3))))) into (* -1.6666666666666665 (exp (* 1/3 (- (log -1) (log d3))))) 6.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.055 * [backup-simplify]: Simplify (- 0) into 0 6.055 * [backup-simplify]: Simplify (+ 0 0) into 0 6.067 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 5.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -12.5 6.068 * [backup-simplify]: Simplify (+ (* (- 1) (log d3)) (log -1)) into (- (log -1) (log d3)) 6.069 * [backup-simplify]: Simplify (+ (* 1/3 -12.5) (+ (* 0 -5.0) (* 0 (- (log -1) (log d3))))) into (- 4.166666666666666) 6.074 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log d3)))) (+ (* (/ (pow (- 1.6666666666666665) 2) 2)) (* (/ (pow (- 4.166666666666666) 1) 1)))) into (* -2.7777777777777777 (exp (* 1/3 (- (log -1) (log d3))))) 6.074 * [backup-simplify]: Simplify (* -2.7777777777777777 (exp (* 1/3 (- (log -1) (log d3))))) into (* -2.7777777777777777 (exp (* 1/3 (- (log -1) (log d3))))) 6.075 * [backup-simplify]: Simplify (+ (* (* -2.7777777777777777 (exp (* 1/3 (- (log -1) (log (/ 1 (- d3))))))) (pow (/ 1 (- d3)) 2)) (+ (* (* -1.6666666666666665 (exp (* 1/3 (- (log -1) (log (/ 1 (- d3))))))) (/ 1 (- d3))) (exp (* 1/3 (- (log -1) (log (/ 1 (- d3)))))))) into (- (+ (* 1.6666666666666665 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) d3)) (exp (* 1/3 (- (log -1) (log (/ -1 d3)))))) (* 2.7777777777777777 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) (pow d3 2)))) 6.076 * * * [progress]: simplifying candidates 6.077 * [simplify]: Simplifying: (+ 1/3 1/3) (+ 1 1) (* (+ d3 5.0) (+ d3 5.0)) (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0))) (+ 1 1) (+ (log (cbrt (+ d3 5.0))) (log (cbrt (+ d3 5.0)))) (log (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0)))) (exp (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0)))) (* (+ d3 5.0) (+ d3 5.0)) (* (cbrt (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0)))) (cbrt (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0))))) (cbrt (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0)))) (* (* (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0))) (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0)))) (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0)))) (sqrt (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0)))) (sqrt (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0)))) (* (cbrt (+ (pow d3 3) (pow 5.0 3))) (cbrt (+ (pow d3 3) (pow 5.0 3)))) (* (cbrt (+ (* d3 d3) (- (* 5.0 5.0) (* d3 5.0)))) (cbrt (+ (* d3 d3) (- (* 5.0 5.0) (* d3 5.0))))) (* (cbrt (+ (pow d3 3) (pow 5.0 3))) (cbrt (- (* d3 d3) (* 5.0 5.0)))) (* (cbrt (+ (* d3 d3) (- (* 5.0 5.0) (* d3 5.0)))) (cbrt (- d3 5.0))) (* (cbrt (- (* d3 d3) (* 5.0 5.0))) (cbrt (+ (pow d3 3) (pow 5.0 3)))) (* (cbrt (- d3 5.0)) (cbrt (+ (* d3 d3) (- (* 5.0 5.0) (* d3 5.0))))) (* (cbrt (- (* d3 d3) (* 5.0 5.0))) (cbrt (- (* d3 d3) (* 5.0 5.0)))) (* (cbrt (- d3 5.0)) (cbrt (- d3 5.0))) (* (cbrt (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0)))) (cbrt (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0))))) (* (cbrt (cbrt (+ d3 5.0))) (cbrt (cbrt (+ d3 5.0)))) (* (cbrt (sqrt (+ d3 5.0))) (cbrt (sqrt (+ d3 5.0)))) (* (cbrt (sqrt (+ d3 5.0))) (cbrt (sqrt (+ d3 5.0)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0))) (* (cbrt 1) (cbrt 1)) (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0))) (* (cbrt 1) (cbrt 1)) (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0))) (* (cbrt 1) (cbrt 1)) (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0))) (* (* (cbrt (cbrt (+ d3 5.0))) (cbrt (cbrt (+ d3 5.0)))) (* (cbrt (cbrt (+ d3 5.0))) (cbrt (cbrt (+ d3 5.0))))) (* (cbrt (cbrt (+ d3 5.0))) (cbrt (cbrt (+ d3 5.0)))) (* (sqrt (cbrt (+ d3 5.0))) (sqrt (cbrt (+ d3 5.0)))) (* (sqrt (cbrt (+ d3 5.0))) (sqrt (cbrt (+ d3 5.0)))) (* 1 1) (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0))) (* (cbrt (sqrt (+ d3 5.0))) (cbrt (sqrt (+ d3 5.0)))) (* (cbrt (sqrt (+ d3 5.0))) (cbrt (sqrt (+ d3 5.0)))) (* (cbrt (sqrt (+ d3 5.0))) (sqrt (cbrt (+ d3 5.0)))) (* (cbrt (sqrt (+ d3 5.0))) (sqrt (cbrt (+ d3 5.0)))) (* (sqrt (cbrt (+ d3 5.0))) (cbrt (sqrt (+ d3 5.0)))) (* (sqrt (cbrt (+ d3 5.0))) (cbrt (sqrt (+ d3 5.0)))) (* (sqrt (cbrt (+ d3 5.0))) (sqrt (cbrt (+ d3 5.0)))) (* (sqrt (cbrt (+ d3 5.0))) (sqrt (cbrt (+ d3 5.0)))) (* 2 1/3) (* 2 1) (* (cbrt (+ d3 5.0)) (cbrt (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0))))) (* (cbrt (+ d3 5.0)) (cbrt (sqrt (+ d3 5.0)))) (* (cbrt (+ d3 5.0)) (cbrt 1)) (* (cbrt (+ d3 5.0)) (cbrt 1)) (* (cbrt (+ d3 5.0)) (* (cbrt (cbrt (+ d3 5.0))) (cbrt (cbrt (+ d3 5.0))))) (* (cbrt (+ d3 5.0)) (sqrt (cbrt (+ d3 5.0)))) (* (cbrt (+ d3 5.0)) 1) (* (cbrt (cbrt (+ d3 5.0))) (cbrt (+ d3 5.0))) (* (cbrt (sqrt (+ d3 5.0))) (cbrt (+ d3 5.0))) (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0))) (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0))) (* (cbrt (cbrt (+ d3 5.0))) (cbrt (+ d3 5.0))) (* (sqrt (cbrt (+ d3 5.0))) (cbrt (+ d3 5.0))) (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0))) (* (cbrt (+ d3 5.0)) (cbrt (+ (pow d3 3) (pow 5.0 3)))) (* (cbrt (+ d3 5.0)) (cbrt (- (* d3 d3) (* 5.0 5.0)))) (* (cbrt (+ (pow d3 3) (pow 5.0 3))) (cbrt (+ d3 5.0))) (* (cbrt (- (* d3 d3) (* 5.0 5.0))) (cbrt (+ d3 5.0))) (log (cbrt (+ d3 5.0))) (exp (cbrt (+ d3 5.0))) (cbrt (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0)))) (cbrt (cbrt (+ d3 5.0))) (cbrt (sqrt (+ d3 5.0))) (cbrt (sqrt (+ d3 5.0))) (cbrt 1) (cbrt (+ d3 5.0)) (cbrt 1) (cbrt (+ d3 5.0)) (cbrt (+ (pow d3 3) (pow 5.0 3))) (cbrt (+ (* d3 d3) (- (* 5.0 5.0) (* d3 5.0)))) (cbrt (- (* d3 d3) (* 5.0 5.0))) (cbrt (- d3 5.0)) (* (cbrt (cbrt (+ d3 5.0))) (cbrt (cbrt (+ d3 5.0)))) (cbrt (cbrt (+ d3 5.0))) (* (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0))) (cbrt (+ d3 5.0))) (sqrt (cbrt (+ d3 5.0))) (sqrt (cbrt (+ d3 5.0))) (log (cbrt (+ d3 5.0))) (exp (cbrt (+ d3 5.0))) (cbrt (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0)))) (cbrt (cbrt (+ d3 5.0))) (cbrt (sqrt (+ d3 5.0))) (cbrt (sqrt (+ d3 5.0))) (cbrt 1) (cbrt (+ d3 5.0)) (cbrt 1) (cbrt (+ d3 5.0)) (cbrt (+ (pow d3 3) (pow 5.0 3))) (cbrt (+ (* d3 d3) (- (* 5.0 5.0) (* d3 5.0)))) (cbrt (- (* d3 d3) (* 5.0 5.0))) (cbrt (- d3 5.0)) (* (cbrt (cbrt (+ d3 5.0))) (cbrt (cbrt (+ d3 5.0)))) (cbrt (cbrt (+ d3 5.0))) (* (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0))) (cbrt (+ d3 5.0))) (sqrt (cbrt (+ d3 5.0))) (sqrt (cbrt (+ d3 5.0))) (log (cbrt (+ d3 5.0))) (exp (cbrt (+ d3 5.0))) (cbrt (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0)))) (cbrt (cbrt (+ d3 5.0))) (cbrt (sqrt (+ d3 5.0))) (cbrt (sqrt (+ d3 5.0))) (cbrt 1) (cbrt (+ d3 5.0)) (cbrt 1) (cbrt (+ d3 5.0)) (cbrt (+ (pow d3 3) (pow 5.0 3))) (cbrt (+ (* d3 d3) (- (* 5.0 5.0) (* d3 5.0)))) (cbrt (- (* d3 d3) (* 5.0 5.0))) (cbrt (- d3 5.0)) (* (cbrt (cbrt (+ d3 5.0))) (cbrt (cbrt (+ d3 5.0)))) (cbrt (cbrt (+ d3 5.0))) (* (* (cbrt (+ d3 5.0)) (cbrt (+ d3 5.0))) (cbrt (+ d3 5.0))) (sqrt (cbrt (+ d3 5.0))) (sqrt (cbrt (+ d3 5.0))) (- (+ (pow 25.0 1/3) (+ (* 0.13333333333333333 (* d3 (pow 25.0 1/3))) (* 0.02222222222222222 (* (pow d3 2) (pow 25.0 1/3))))) (* 16.666666666666664 (* (pow d3 2) (pow (/ 1 (pow 25.0 5)) 1/3)))) (- (+ (* 3.333333333333333 (pow (/ 1 d3) 1/3)) (pow (/ 1 d3) -2/3)) (* 2.7777777777777777 (pow (/ 1 (pow d3 4)) 1/3))) (- (+ (* 3.333333333333333 (pow (/ 1 d3) 1/3)) (pow (/ -1 d3) -2/3)) (* 2.7777777777777777 (pow (/ 1 (pow d3 4)) 1/3))) (- (+ (* 0.0022222222222222222 (* (pow d3 2) (pow 5.0 1/3))) (+ (pow 5.0 1/3) (* 0.06666666666666667 (* d3 (pow 5.0 1/3))))) (* 1/6 (* (pow d3 2) (pow (/ 1 (pow 5.0 5)) 1/3)))) (- (+ (* 1.6666666666666665 (pow (/ 1 (pow d3 2)) 1/3)) (pow (/ 1 d3) -1/3)) (* 2.7777777777777777 (pow (/ 1 (pow d3 5)) 1/3))) (- (+ (* 1.6666666666666665 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) d3)) (exp (* 1/3 (- (log -1) (log (/ -1 d3)))))) (* 2.7777777777777777 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) (pow d3 2)))) (- (+ (* 0.0022222222222222222 (* (pow d3 2) (pow 5.0 1/3))) (+ (pow 5.0 1/3) (* 0.06666666666666667 (* d3 (pow 5.0 1/3))))) (* 1/6 (* (pow d3 2) (pow (/ 1 (pow 5.0 5)) 1/3)))) (- (+ (* 1.6666666666666665 (pow (/ 1 (pow d3 2)) 1/3)) (pow (/ 1 d3) -1/3)) (* 2.7777777777777777 (pow (/ 1 (pow d3 5)) 1/3))) (- (+ (* 1.6666666666666665 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) d3)) (exp (* 1/3 (- (log -1) (log (/ -1 d3)))))) (* 2.7777777777777777 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) (pow d3 2)))) (- (+ (* 0.0022222222222222222 (* (pow d3 2) (pow 5.0 1/3))) (+ (pow 5.0 1/3) (* 0.06666666666666667 (* d3 (pow 5.0 1/3))))) (* 1/6 (* (pow d3 2) (pow (/ 1 (pow 5.0 5)) 1/3)))) (- (+ (* 1.6666666666666665 (pow (/ 1 (pow d3 2)) 1/3)) (pow (/ 1 d3) -1/3)) (* 2.7777777777777777 (pow (/ 1 (pow d3 5)) 1/3))) (- (+ (* 1.6666666666666665 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) d3)) (exp (* 1/3 (- (log -1) (log (/ -1 d3)))))) (* 2.7777777777777777 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) (pow d3 2)))) 6.079 * * [simplify]: Extracting # 0 : cost 60 inf + 0 6.079 * * [simplify]: Extracting # 1 : cost 81 inf + 0 6.079 * * [simplify]: Extracting # 2 : cost 100 inf + 207 6.079 * * [simplify]: Extracting # 3 : cost 109 inf + 1310 6.080 * * [simplify]: Extracting # 4 : cost 77 inf + 9095 6.081 * * [simplify]: Extracting # 5 : cost 52 inf + 18023 6.085 * * [simplify]: Extracting # 6 : cost 29 inf + 26818 6.087 * * [simplify]: Extracting # 7 : cost 15 inf + 33395 6.089 * * [simplify]: Extracting # 8 : cost 7 inf + 38738 6.092 * * [simplify]: Extracting # 9 : cost 4 inf + 40675 6.094 * * [simplify]: Extracting # 10 : cost 2 inf + 42640 6.097 * * [simplify]: Extracting # 11 : cost 0 inf + 44646 6.100 * * [simplify]: iteration 0 : 150 enodes (cost 41340 ) 6.145 * * [simplify]: Extracting # 0 : cost 0 inf + 44646 6.150 * * [simplify]: Extracting # 1 : cost 64 inf + 40107 6.158 * * [simplify]: Extracting # 2 : cost 19 inf + 48593 6.168 * * [simplify]: Extracting # 3 : cost 1 inf + 47169 6.178 * * [simplify]: Extracting # 4 : cost 0 inf + 47221 6.184 * * [simplify]: Extracting # 5 : cost 0 inf + 47181