0.002 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.043 * * * [progress]: [2/2] Setting up program. 0.047 * [progress]: [Phase 2 of 3] Improving. 0.048 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.048 * [simplify]: Simplifying (+ (* d1 d2) (* d1 d3)) 0.048 * * [simplify]: iteration 1: (6 enodes) 0.051 * * [simplify]: iteration 2: (23 enodes) 0.058 * * [simplify]: iteration 3: (28 enodes) 0.065 * * [simplify]: Extracting #0: cost 1 inf + 0 0.065 * * [simplify]: Extracting #1: cost 6 inf + 0 0.066 * * [simplify]: Extracting #2: cost 10 inf + 1 0.066 * * [simplify]: Extracting #3: cost 8 inf + 3 0.066 * * [simplify]: Extracting #4: cost 0 inf + 501 0.066 * * [simplify]: Extracting #5: cost 0 inf + 421 0.067 * [simplify]: Simplified to (* d1 (+ d2 d3)) 0.077 * * [progress]: iteration 1 / 4 0.077 * * * [progress]: picking best candidate 0.085 * * * * [pick]: Picked # 0.085 * * * [progress]: localizing error 0.103 * * * [progress]: generating rewritten candidates 0.103 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.111 * * * [progress]: generating series expansions 0.111 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.111 * [backup-simplify]: Simplify (+ (* d1 d2) (* d1 d3)) into (+ (* d3 d1) (* d2 d1)) 0.111 * [approximate]: Taking taylor expansion of (+ (* d3 d1) (* d2 d1)) in (d1 d2 d3) around 0 0.111 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (* d2 d1)) in d3 0.111 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 0.111 * [taylor]: Taking taylor expansion of d3 in d3 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify 1 into 1 0.111 * [taylor]: Taking taylor expansion of d1 in d3 0.111 * [backup-simplify]: Simplify d1 into d1 0.111 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 0.111 * [taylor]: Taking taylor expansion of d2 in d3 0.111 * [backup-simplify]: Simplify d2 into d2 0.111 * [taylor]: Taking taylor expansion of d1 in d3 0.111 * [backup-simplify]: Simplify d1 into d1 0.111 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (* d2 d1)) in d2 0.111 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 0.111 * [taylor]: Taking taylor expansion of d3 in d2 0.111 * [backup-simplify]: Simplify d3 into d3 0.111 * [taylor]: Taking taylor expansion of d1 in d2 0.111 * [backup-simplify]: Simplify d1 into d1 0.111 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 0.111 * [taylor]: Taking taylor expansion of d2 in d2 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify 1 into 1 0.111 * [taylor]: Taking taylor expansion of d1 in d2 0.111 * [backup-simplify]: Simplify d1 into d1 0.111 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (* d2 d1)) in d1 0.111 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 0.111 * [taylor]: Taking taylor expansion of d3 in d1 0.111 * [backup-simplify]: Simplify d3 into d3 0.111 * [taylor]: Taking taylor expansion of d1 in d1 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify 1 into 1 0.111 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 0.111 * [taylor]: Taking taylor expansion of d2 in d1 0.111 * [backup-simplify]: Simplify d2 into d2 0.111 * [taylor]: Taking taylor expansion of d1 in d1 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify 1 into 1 0.111 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (* d2 d1)) in d1 0.111 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 0.111 * [taylor]: Taking taylor expansion of d3 in d1 0.111 * [backup-simplify]: Simplify d3 into d3 0.112 * [taylor]: Taking taylor expansion of d1 in d1 0.112 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify 1 into 1 0.112 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 0.112 * [taylor]: Taking taylor expansion of d2 in d1 0.112 * [backup-simplify]: Simplify d2 into d2 0.112 * [taylor]: Taking taylor expansion of d1 in d1 0.112 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify 1 into 1 0.112 * [backup-simplify]: Simplify (* d3 0) into 0 0.112 * [backup-simplify]: Simplify (* d2 0) into 0 0.112 * [backup-simplify]: Simplify (+ 0 0) into 0 0.112 * [taylor]: Taking taylor expansion of 0 in d2 0.112 * [backup-simplify]: Simplify 0 into 0 0.112 * [taylor]: Taking taylor expansion of 0 in d3 0.112 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 0.113 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 0.113 * [backup-simplify]: Simplify (+ d3 d2) into (+ d3 d2) 0.113 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2 0.113 * [taylor]: Taking taylor expansion of d3 in d2 0.113 * [backup-simplify]: Simplify d3 into d3 0.113 * [taylor]: Taking taylor expansion of d2 in d2 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify 1 into 1 0.113 * [backup-simplify]: Simplify (+ d3 0) into d3 0.113 * [taylor]: Taking taylor expansion of d3 in d3 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify 1 into 1 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [taylor]: Taking taylor expansion of 0 in d3 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify 0 into 0 0.114 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 0.114 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 0.115 * [backup-simplify]: Simplify (+ 0 0) into 0 0.115 * [taylor]: Taking taylor expansion of 0 in d2 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [taylor]: Taking taylor expansion of 0 in d3 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify (+ 0 1) into 1 0.115 * [taylor]: Taking taylor expansion of 1 in d3 0.115 * [backup-simplify]: Simplify 1 into 1 0.115 * [backup-simplify]: Simplify 1 into 1 0.115 * [taylor]: Taking taylor expansion of 0 in d3 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify 1 into 1 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify 0 into 0 0.116 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.116 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.117 * [backup-simplify]: Simplify (+ 0 0) into 0 0.117 * [taylor]: Taking taylor expansion of 0 in d2 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [taylor]: Taking taylor expansion of 0 in d3 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [taylor]: Taking taylor expansion of 0 in d3 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [backup-simplify]: Simplify (+ 0 0) into 0 0.117 * [taylor]: Taking taylor expansion of 0 in d3 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [taylor]: Taking taylor expansion of 0 in d3 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [backup-simplify]: Simplify (+ (* 1 (* d3 (* 1 d1))) (* 1 (* 1 (* d2 d1)))) into (+ (* d2 d1) (* d3 d1)) 0.117 * [backup-simplify]: Simplify (+ (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) into (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) 0.117 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in (d1 d2 d3) around 0 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d3 0.117 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3 0.117 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 0.118 * [taylor]: Taking taylor expansion of d2 in d3 0.118 * [backup-simplify]: Simplify d2 into d2 0.118 * [taylor]: Taking taylor expansion of d1 in d3 0.118 * [backup-simplify]: Simplify d1 into d1 0.118 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1) 0.118 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 0.118 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 0.118 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 0.118 * [taylor]: Taking taylor expansion of d3 in d3 0.118 * [backup-simplify]: Simplify 0 into 0 0.118 * [backup-simplify]: Simplify 1 into 1 0.118 * [taylor]: Taking taylor expansion of d1 in d3 0.118 * [backup-simplify]: Simplify d1 into d1 0.118 * [backup-simplify]: Simplify (* 0 d1) into 0 0.118 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 0.118 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 0.118 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d2 0.118 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 0.118 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 0.118 * [taylor]: Taking taylor expansion of d2 in d2 0.118 * [backup-simplify]: Simplify 0 into 0 0.118 * [backup-simplify]: Simplify 1 into 1 0.118 * [taylor]: Taking taylor expansion of d1 in d2 0.118 * [backup-simplify]: Simplify d1 into d1 0.118 * [backup-simplify]: Simplify (* 0 d1) into 0 0.119 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 0.119 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 0.119 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2 0.119 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 0.119 * [taylor]: Taking taylor expansion of d3 in d2 0.119 * [backup-simplify]: Simplify d3 into d3 0.119 * [taylor]: Taking taylor expansion of d1 in d2 0.119 * [backup-simplify]: Simplify d1 into d1 0.119 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1) 0.119 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 0.119 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 0.119 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 0.119 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 0.119 * [taylor]: Taking taylor expansion of d2 in d1 0.119 * [backup-simplify]: Simplify d2 into d2 0.119 * [taylor]: Taking taylor expansion of d1 in d1 0.119 * [backup-simplify]: Simplify 0 into 0 0.119 * [backup-simplify]: Simplify 1 into 1 0.119 * [backup-simplify]: Simplify (* d2 0) into 0 0.119 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 0.119 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.120 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 0.120 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 0.120 * [taylor]: Taking taylor expansion of d3 in d1 0.120 * [backup-simplify]: Simplify d3 into d3 0.120 * [taylor]: Taking taylor expansion of d1 in d1 0.120 * [backup-simplify]: Simplify 0 into 0 0.120 * [backup-simplify]: Simplify 1 into 1 0.120 * [backup-simplify]: Simplify (* d3 0) into 0 0.121 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 0.121 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.121 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 0.121 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 0.121 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 0.121 * [taylor]: Taking taylor expansion of d2 in d1 0.121 * [backup-simplify]: Simplify d2 into d2 0.121 * [taylor]: Taking taylor expansion of d1 in d1 0.121 * [backup-simplify]: Simplify 0 into 0 0.121 * [backup-simplify]: Simplify 1 into 1 0.121 * [backup-simplify]: Simplify (* d2 0) into 0 0.121 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 0.121 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.121 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 0.121 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 0.121 * [taylor]: Taking taylor expansion of d3 in d1 0.121 * [backup-simplify]: Simplify d3 into d3 0.121 * [taylor]: Taking taylor expansion of d1 in d1 0.121 * [backup-simplify]: Simplify 0 into 0 0.121 * [backup-simplify]: Simplify 1 into 1 0.121 * [backup-simplify]: Simplify (* d3 0) into 0 0.122 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 0.122 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.122 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 0.122 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 0.122 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.122 * [taylor]: Taking taylor expansion of d2 in d2 0.122 * [backup-simplify]: Simplify 0 into 0 0.122 * [backup-simplify]: Simplify 1 into 1 0.122 * [backup-simplify]: Simplify (/ 1 1) into 1 0.122 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.122 * [taylor]: Taking taylor expansion of d3 in d2 0.122 * [backup-simplify]: Simplify d3 into d3 0.122 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.123 * [backup-simplify]: Simplify (+ 1 0) into 1 0.123 * [taylor]: Taking taylor expansion of 1 in d3 0.123 * [backup-simplify]: Simplify 1 into 1 0.123 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 0.123 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 0.124 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 0.124 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 0.124 * [backup-simplify]: Simplify (+ 0 0) into 0 0.124 * [taylor]: Taking taylor expansion of 0 in d2 0.124 * [backup-simplify]: Simplify 0 into 0 0.125 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.125 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 0.125 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.125 * [taylor]: Taking taylor expansion of d3 in d3 0.125 * [backup-simplify]: Simplify 0 into 0 0.125 * [backup-simplify]: Simplify 1 into 1 0.125 * [backup-simplify]: Simplify (/ 1 1) into 1 0.125 * [backup-simplify]: Simplify 1 into 1 0.125 * [backup-simplify]: Simplify 1 into 1 0.126 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.126 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 0.126 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.126 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 0.126 * [backup-simplify]: Simplify (+ 0 0) into 0 0.126 * [taylor]: Taking taylor expansion of 0 in d2 0.126 * [backup-simplify]: Simplify 0 into 0 0.127 * [taylor]: Taking taylor expansion of 0 in d3 0.127 * [backup-simplify]: Simplify 0 into 0 0.127 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.127 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 0.128 * [backup-simplify]: Simplify (+ 0 0) into 0 0.128 * [taylor]: Taking taylor expansion of 0 in d3 0.128 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.128 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.129 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 0.130 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.130 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 0.130 * [backup-simplify]: Simplify (+ 0 0) into 0 0.130 * [taylor]: Taking taylor expansion of 0 in d2 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [taylor]: Taking taylor expansion of 0 in d3 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [taylor]: Taking taylor expansion of 0 in d3 0.130 * [backup-simplify]: Simplify 0 into 0 0.131 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.131 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 0.131 * [backup-simplify]: Simplify (+ 0 0) into 0 0.131 * [taylor]: Taking taylor expansion of 0 in d3 0.131 * [backup-simplify]: Simplify 0 into 0 0.131 * [backup-simplify]: Simplify 0 into 0 0.131 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.132 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* 1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1)))))) into (+ (* d3 d1) (* d2 d1)) 0.133 * [backup-simplify]: Simplify (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) into (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) 0.133 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in (d1 d2 d3) around 0 0.133 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d3 0.133 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3 0.133 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 0.133 * [taylor]: Taking taylor expansion of d2 in d3 0.133 * [backup-simplify]: Simplify d2 into d2 0.133 * [taylor]: Taking taylor expansion of d1 in d3 0.133 * [backup-simplify]: Simplify d1 into d1 0.133 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1) 0.133 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 0.133 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 0.133 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 0.133 * [taylor]: Taking taylor expansion of d3 in d3 0.133 * [backup-simplify]: Simplify 0 into 0 0.133 * [backup-simplify]: Simplify 1 into 1 0.133 * [taylor]: Taking taylor expansion of d1 in d3 0.133 * [backup-simplify]: Simplify d1 into d1 0.133 * [backup-simplify]: Simplify (* 0 d1) into 0 0.134 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 0.134 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 0.134 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d2 0.134 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 0.134 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 0.134 * [taylor]: Taking taylor expansion of d2 in d2 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify 1 into 1 0.134 * [taylor]: Taking taylor expansion of d1 in d2 0.134 * [backup-simplify]: Simplify d1 into d1 0.134 * [backup-simplify]: Simplify (* 0 d1) into 0 0.135 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 0.135 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 0.135 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2 0.135 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 0.135 * [taylor]: Taking taylor expansion of d3 in d2 0.135 * [backup-simplify]: Simplify d3 into d3 0.135 * [taylor]: Taking taylor expansion of d1 in d2 0.135 * [backup-simplify]: Simplify d1 into d1 0.135 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1) 0.135 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 0.135 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 0.135 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 0.135 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 0.135 * [taylor]: Taking taylor expansion of d2 in d1 0.135 * [backup-simplify]: Simplify d2 into d2 0.135 * [taylor]: Taking taylor expansion of d1 in d1 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 1 into 1 0.135 * [backup-simplify]: Simplify (* d2 0) into 0 0.136 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 0.136 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.136 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 0.136 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 0.136 * [taylor]: Taking taylor expansion of d3 in d1 0.136 * [backup-simplify]: Simplify d3 into d3 0.136 * [taylor]: Taking taylor expansion of d1 in d1 0.136 * [backup-simplify]: Simplify 0 into 0 0.136 * [backup-simplify]: Simplify 1 into 1 0.136 * [backup-simplify]: Simplify (* d3 0) into 0 0.136 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 0.136 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.136 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 0.136 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 0.136 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 0.136 * [taylor]: Taking taylor expansion of d2 in d1 0.136 * [backup-simplify]: Simplify d2 into d2 0.136 * [taylor]: Taking taylor expansion of d1 in d1 0.137 * [backup-simplify]: Simplify 0 into 0 0.137 * [backup-simplify]: Simplify 1 into 1 0.137 * [backup-simplify]: Simplify (* d2 0) into 0 0.137 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 0.137 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.137 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 0.137 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 0.137 * [taylor]: Taking taylor expansion of d3 in d1 0.137 * [backup-simplify]: Simplify d3 into d3 0.137 * [taylor]: Taking taylor expansion of d1 in d1 0.137 * [backup-simplify]: Simplify 0 into 0 0.137 * [backup-simplify]: Simplify 1 into 1 0.137 * [backup-simplify]: Simplify (* d3 0) into 0 0.138 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 0.138 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.138 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 0.138 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 0.138 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.138 * [taylor]: Taking taylor expansion of d2 in d2 0.138 * [backup-simplify]: Simplify 0 into 0 0.138 * [backup-simplify]: Simplify 1 into 1 0.139 * [backup-simplify]: Simplify (/ 1 1) into 1 0.139 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.139 * [taylor]: Taking taylor expansion of d3 in d2 0.139 * [backup-simplify]: Simplify d3 into d3 0.139 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.139 * [backup-simplify]: Simplify (+ 1 0) into 1 0.139 * [taylor]: Taking taylor expansion of 1 in d3 0.139 * [backup-simplify]: Simplify 1 into 1 0.140 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 0.140 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 0.141 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 0.141 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 0.142 * [backup-simplify]: Simplify (+ 0 0) into 0 0.142 * [taylor]: Taking taylor expansion of 0 in d2 0.142 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.143 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 0.143 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.143 * [taylor]: Taking taylor expansion of d3 in d3 0.143 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify 1 into 1 0.143 * [backup-simplify]: Simplify (/ 1 1) into 1 0.143 * [backup-simplify]: Simplify 1 into 1 0.143 * [backup-simplify]: Simplify 1 into 1 0.144 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.144 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 0.145 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.145 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 0.153 * [backup-simplify]: Simplify (+ 0 0) into 0 0.153 * [taylor]: Taking taylor expansion of 0 in d2 0.153 * [backup-simplify]: Simplify 0 into 0 0.153 * [taylor]: Taking taylor expansion of 0 in d3 0.153 * [backup-simplify]: Simplify 0 into 0 0.154 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.155 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 0.155 * [backup-simplify]: Simplify (+ 0 0) into 0 0.155 * [taylor]: Taking taylor expansion of 0 in d3 0.155 * [backup-simplify]: Simplify 0 into 0 0.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.156 * [backup-simplify]: Simplify 0 into 0 0.156 * [backup-simplify]: Simplify 0 into 0 0.157 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.158 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 0.159 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.159 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 0.160 * [backup-simplify]: Simplify (+ 0 0) into 0 0.160 * [taylor]: Taking taylor expansion of 0 in d2 0.160 * [backup-simplify]: Simplify 0 into 0 0.160 * [taylor]: Taking taylor expansion of 0 in d3 0.160 * [backup-simplify]: Simplify 0 into 0 0.160 * [taylor]: Taking taylor expansion of 0 in d3 0.160 * [backup-simplify]: Simplify 0 into 0 0.161 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.161 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 0.162 * [backup-simplify]: Simplify (+ 0 0) into 0 0.162 * [taylor]: Taking taylor expansion of 0 in d3 0.162 * [backup-simplify]: Simplify 0 into 0 0.162 * [backup-simplify]: Simplify 0 into 0 0.162 * [backup-simplify]: Simplify 0 into 0 0.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.163 * [backup-simplify]: Simplify 0 into 0 0.163 * [backup-simplify]: Simplify 0 into 0 0.163 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1))))))) into (+ (* d3 d1) (* d2 d1)) 0.163 * * * [progress]: simplifying candidates 0.163 * * * * [progress]: [ 1 / 16 ] simplifiying candidate # 0.164 * * * * [progress]: [ 2 / 16 ] simplifiying candidate # 0.164 * * * * [progress]: [ 3 / 16 ] simplifiying candidate # 0.164 * * * * [progress]: [ 4 / 16 ] simplifiying candidate # 0.164 * * * * [progress]: [ 5 / 16 ] simplifiying candidate # 0.164 * * * * [progress]: [ 6 / 16 ] simplifiying candidate # 0.164 * * * * [progress]: [ 7 / 16 ] simplifiying candidate # 0.164 * * * * [progress]: [ 8 / 16 ] simplifiying candidate # 0.164 * * * * [progress]: [ 9 / 16 ] simplifiying candidate # 0.164 * * * * [progress]: [ 10 / 16 ] simplifiying candidate # 0.164 * * * * [progress]: [ 11 / 16 ] simplifiying candidate # 0.164 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #real (real->posit16 (+ (* d1 d2) (* d1 d3)))))> 0.164 * * * * [progress]: [ 13 / 16 ] simplifiying candidate # 0.164 * * * * [progress]: [ 14 / 16 ] simplifiying candidate # 0.164 * * * * [progress]: [ 15 / 16 ] simplifiying candidate # 0.164 * * * * [progress]: [ 16 / 16 ] simplifiying candidate # 0.165 * [simplify]: Simplifying (* (exp (* d1 d2)) (exp (* d1 d3))), (log (+ (* d1 d2) (* d1 d3))), (exp (+ (* d1 d2) (* d1 d3))), (* (cbrt (+ (* d1 d2) (* d1 d3))) (cbrt (+ (* d1 d2) (* d1 d3)))), (cbrt (+ (* d1 d2) (* d1 d3))), (* (* (+ (* d1 d2) (* d1 d3)) (+ (* d1 d2) (* d1 d3))) (+ (* d1 d2) (* d1 d3))), (sqrt (+ (* d1 d2) (* d1 d3))), (sqrt (+ (* d1 d2) (* d1 d3))), (+ (pow (* d1 d2) 3) (pow (* d1 d3) 3)), (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))), (- (* (* d1 d2) (* d1 d2)) (* (* d1 d3) (* d1 d3))), (- (* d1 d2) (* d1 d3)), (+ d2 d3), (real->posit16 (+ (* d1 d2) (* d1 d3))), (+ (* d2 d1) (* d3 d1)), (+ (* d3 d1) (* d2 d1)), (+ (* d3 d1) (* d2 d1)) 0.165 * * [simplify]: iteration 1: (33 enodes) 0.185 * * [simplify]: iteration 2: (162 enodes) 0.253 * * [simplify]: iteration 3: (522 enodes) 0.613 * * [simplify]: iteration 4: (1565 enodes) 1.787 * * [simplify]: Extracting #0: cost 13 inf + 0 1.788 * * [simplify]: Extracting #1: cost 163 inf + 0 1.791 * * [simplify]: Extracting #2: cost 507 inf + 1309 1.801 * * [simplify]: Extracting #3: cost 561 inf + 18609 1.834 * * [simplify]: Extracting #4: cost 176 inf + 97777 1.869 * * [simplify]: Extracting #5: cost 23 inf + 136523 1.907 * * [simplify]: Extracting #6: cost 7 inf + 143000 1.962 * * [simplify]: Extracting #7: cost 0 inf + 147171 2.027 * [simplify]: Simplified to (exp (* (+ d2 d3) d1)), (log (* (+ d2 d3) d1)), (exp (* (+ d2 d3) d1)), (* (cbrt (* (+ d2 d3) d1)) (cbrt (* (+ d2 d3) d1))), (cbrt (* (+ d2 d3) d1)), (* (* (* (+ d2 d3) d1) (* (+ d2 d3) d1)) (* (+ d2 d3) d1)), (sqrt (* (+ d2 d3) d1)), (sqrt (* (+ d2 d3) d1)), (+ (* (* d1 d2) (* (* d1 d2) (* d1 d2))) (* (* (* d3 d1) (* d3 d1)) (* d3 d1))), (* (* d1 (+ (* d2 d2) (* d3 (- d3 d2)))) d1), (* (+ d2 d3) (* d1 (* d1 (- d2 d3)))), (* d1 (- d2 d3)), (+ d2 d3), (real->posit16 (* (+ d2 d3) d1)), (* (+ d2 d3) d1), (* (+ d2 d3) d1), (* (+ d2 d3) d1) 2.029 * * * [progress]: adding candidates to table 2.157 * * [progress]: iteration 2 / 4 2.157 * * * [progress]: picking best candidate 2.163 * * * * [pick]: Picked # 2.163 * * * [progress]: localizing error 2.175 * * * [progress]: generating rewritten candidates 2.175 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.212 * * * [progress]: generating series expansions 2.212 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.212 * [backup-simplify]: Simplify (* (+ d2 d3) d1) into (* d1 (+ d3 d2)) 2.212 * [approximate]: Taking taylor expansion of (* d1 (+ d3 d2)) in (d2 d3 d1) around 0 2.212 * [taylor]: Taking taylor expansion of (* d1 (+ d3 d2)) in d1 2.212 * [taylor]: Taking taylor expansion of d1 in d1 2.212 * [backup-simplify]: Simplify 0 into 0 2.212 * [backup-simplify]: Simplify 1 into 1 2.212 * [taylor]: Taking taylor expansion of (+ d3 d2) in d1 2.212 * [taylor]: Taking taylor expansion of d3 in d1 2.212 * [backup-simplify]: Simplify d3 into d3 2.212 * [taylor]: Taking taylor expansion of d2 in d1 2.212 * [backup-simplify]: Simplify d2 into d2 2.212 * [taylor]: Taking taylor expansion of (* d1 (+ d3 d2)) in d3 2.212 * [taylor]: Taking taylor expansion of d1 in d3 2.212 * [backup-simplify]: Simplify d1 into d1 2.212 * [taylor]: Taking taylor expansion of (+ d3 d2) in d3 2.212 * [taylor]: Taking taylor expansion of d3 in d3 2.212 * [backup-simplify]: Simplify 0 into 0 2.212 * [backup-simplify]: Simplify 1 into 1 2.212 * [taylor]: Taking taylor expansion of d2 in d3 2.212 * [backup-simplify]: Simplify d2 into d2 2.212 * [taylor]: Taking taylor expansion of (* d1 (+ d3 d2)) in d2 2.212 * [taylor]: Taking taylor expansion of d1 in d2 2.212 * [backup-simplify]: Simplify d1 into d1 2.212 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2 2.212 * [taylor]: Taking taylor expansion of d3 in d2 2.212 * [backup-simplify]: Simplify d3 into d3 2.212 * [taylor]: Taking taylor expansion of d2 in d2 2.212 * [backup-simplify]: Simplify 0 into 0 2.212 * [backup-simplify]: Simplify 1 into 1 2.213 * [taylor]: Taking taylor expansion of (* d1 (+ d3 d2)) in d2 2.213 * [taylor]: Taking taylor expansion of d1 in d2 2.213 * [backup-simplify]: Simplify d1 into d1 2.213 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2 2.213 * [taylor]: Taking taylor expansion of d3 in d2 2.213 * [backup-simplify]: Simplify d3 into d3 2.213 * [taylor]: Taking taylor expansion of d2 in d2 2.213 * [backup-simplify]: Simplify 0 into 0 2.213 * [backup-simplify]: Simplify 1 into 1 2.213 * [backup-simplify]: Simplify (+ d3 0) into d3 2.213 * [backup-simplify]: Simplify (* d1 d3) into (* d3 d1) 2.213 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 2.213 * [taylor]: Taking taylor expansion of d3 in d3 2.213 * [backup-simplify]: Simplify 0 into 0 2.213 * [backup-simplify]: Simplify 1 into 1 2.213 * [taylor]: Taking taylor expansion of d1 in d3 2.213 * [backup-simplify]: Simplify d1 into d1 2.213 * [backup-simplify]: Simplify (* 0 d1) into 0 2.213 * [taylor]: Taking taylor expansion of 0 in d1 2.213 * [backup-simplify]: Simplify 0 into 0 2.213 * [backup-simplify]: Simplify 0 into 0 2.214 * [backup-simplify]: Simplify (+ 0 1) into 1 2.214 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 d3)) into d1 2.214 * [taylor]: Taking taylor expansion of d1 in d3 2.214 * [backup-simplify]: Simplify d1 into d1 2.214 * [taylor]: Taking taylor expansion of d1 in d1 2.214 * [backup-simplify]: Simplify 0 into 0 2.214 * [backup-simplify]: Simplify 1 into 1 2.214 * [backup-simplify]: Simplify 0 into 0 2.214 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.215 * [taylor]: Taking taylor expansion of d1 in d1 2.215 * [backup-simplify]: Simplify 0 into 0 2.215 * [backup-simplify]: Simplify 1 into 1 2.215 * [backup-simplify]: Simplify 0 into 0 2.215 * [backup-simplify]: Simplify 0 into 0 2.215 * [backup-simplify]: Simplify (+ 0 0) into 0 2.215 * [backup-simplify]: Simplify (+ (* d1 0) (+ (* 0 1) (* 0 d3))) into 0 2.216 * [taylor]: Taking taylor expansion of 0 in d3 2.216 * [backup-simplify]: Simplify 0 into 0 2.216 * [taylor]: Taking taylor expansion of 0 in d1 2.216 * [backup-simplify]: Simplify 0 into 0 2.216 * [backup-simplify]: Simplify 0 into 0 2.216 * [taylor]: Taking taylor expansion of 0 in d1 2.216 * [backup-simplify]: Simplify 0 into 0 2.216 * [backup-simplify]: Simplify 0 into 0 2.216 * [backup-simplify]: Simplify 0 into 0 2.216 * [backup-simplify]: Simplify (* (+ (/ 1 d2) (/ 1 d3)) (/ 1 d1)) into (/ (+ (/ 1 d2) (/ 1 d3)) d1) 2.216 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in (d2 d3 d1) around 0 2.216 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d1 2.216 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 2.216 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 2.216 * [taylor]: Taking taylor expansion of d2 in d1 2.216 * [backup-simplify]: Simplify d2 into d2 2.216 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.216 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 2.216 * [taylor]: Taking taylor expansion of d3 in d1 2.216 * [backup-simplify]: Simplify d3 into d3 2.216 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.216 * [taylor]: Taking taylor expansion of d1 in d1 2.216 * [backup-simplify]: Simplify 0 into 0 2.216 * [backup-simplify]: Simplify 1 into 1 2.216 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 2.216 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) (/ 1 d3)) 1) into (+ (/ 1 d2) (/ 1 d3)) 2.217 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d3 2.217 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 2.217 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 2.217 * [taylor]: Taking taylor expansion of d2 in d3 2.217 * [backup-simplify]: Simplify d2 into d2 2.217 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.217 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.217 * [taylor]: Taking taylor expansion of d3 in d3 2.217 * [backup-simplify]: Simplify 0 into 0 2.217 * [backup-simplify]: Simplify 1 into 1 2.217 * [backup-simplify]: Simplify (/ 1 1) into 1 2.217 * [taylor]: Taking taylor expansion of d1 in d3 2.217 * [backup-simplify]: Simplify d1 into d1 2.218 * [backup-simplify]: Simplify (+ 0 1) into 1 2.218 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.218 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d2 2.218 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 2.218 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.218 * [taylor]: Taking taylor expansion of d2 in d2 2.218 * [backup-simplify]: Simplify 0 into 0 2.218 * [backup-simplify]: Simplify 1 into 1 2.218 * [backup-simplify]: Simplify (/ 1 1) into 1 2.218 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.218 * [taylor]: Taking taylor expansion of d3 in d2 2.218 * [backup-simplify]: Simplify d3 into d3 2.218 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.218 * [taylor]: Taking taylor expansion of d1 in d2 2.218 * [backup-simplify]: Simplify d1 into d1 2.219 * [backup-simplify]: Simplify (+ 1 0) into 1 2.219 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.219 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d2 2.219 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 2.219 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.219 * [taylor]: Taking taylor expansion of d2 in d2 2.219 * [backup-simplify]: Simplify 0 into 0 2.219 * [backup-simplify]: Simplify 1 into 1 2.219 * [backup-simplify]: Simplify (/ 1 1) into 1 2.219 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.219 * [taylor]: Taking taylor expansion of d3 in d2 2.219 * [backup-simplify]: Simplify d3 into d3 2.220 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.220 * [taylor]: Taking taylor expansion of d1 in d2 2.220 * [backup-simplify]: Simplify d1 into d1 2.220 * [backup-simplify]: Simplify (+ 1 0) into 1 2.220 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.220 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 2.220 * [taylor]: Taking taylor expansion of d1 in d3 2.220 * [backup-simplify]: Simplify d1 into d1 2.220 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.221 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.221 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 2.221 * [backup-simplify]: Simplify (- (/ (/ 1 d3) d1) (+ (* (/ 1 d1) (/ 0 d1)))) into (/ 1 (* d3 d1)) 2.221 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 2.221 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 2.221 * [taylor]: Taking taylor expansion of d3 in d3 2.221 * [backup-simplify]: Simplify 0 into 0 2.221 * [backup-simplify]: Simplify 1 into 1 2.221 * [taylor]: Taking taylor expansion of d1 in d3 2.221 * [backup-simplify]: Simplify d1 into d1 2.221 * [backup-simplify]: Simplify (* 0 d1) into 0 2.222 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.222 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.222 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.222 * [taylor]: Taking taylor expansion of d1 in d1 2.222 * [backup-simplify]: Simplify 0 into 0 2.222 * [backup-simplify]: Simplify 1 into 1 2.222 * [backup-simplify]: Simplify (/ 1 1) into 1 2.222 * [backup-simplify]: Simplify 1 into 1 2.222 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.223 * [taylor]: Taking taylor expansion of d1 in d1 2.223 * [backup-simplify]: Simplify 0 into 0 2.223 * [backup-simplify]: Simplify 1 into 1 2.223 * [backup-simplify]: Simplify (/ 1 1) into 1 2.223 * [backup-simplify]: Simplify 1 into 1 2.224 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.224 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.225 * [backup-simplify]: Simplify (+ 0 0) into 0 2.225 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ 0 d1)) (* (/ 1 (* d3 d1)) (/ 0 d1)))) into 0 2.225 * [taylor]: Taking taylor expansion of 0 in d3 2.225 * [backup-simplify]: Simplify 0 into 0 2.226 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d1))) into 0 2.226 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0 2.226 * [taylor]: Taking taylor expansion of 0 in d1 2.226 * [backup-simplify]: Simplify 0 into 0 2.226 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0 2.226 * [taylor]: Taking taylor expansion of 0 in d1 2.226 * [backup-simplify]: Simplify 0 into 0 2.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.227 * [backup-simplify]: Simplify 0 into 0 2.228 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.228 * [backup-simplify]: Simplify 0 into 0 2.228 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.229 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 2.229 * [backup-simplify]: Simplify (+ 0 0) into 0 2.229 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ 0 d1)) (* (/ 1 (* d3 d1)) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0 2.229 * [taylor]: Taking taylor expansion of 0 in d3 2.229 * [backup-simplify]: Simplify 0 into 0 2.229 * [taylor]: Taking taylor expansion of 0 in d1 2.229 * [backup-simplify]: Simplify 0 into 0 2.231 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d1)))) into 0 2.231 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0 2.231 * [taylor]: Taking taylor expansion of 0 in d1 2.231 * [backup-simplify]: Simplify 0 into 0 2.231 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0 2.231 * [taylor]: Taking taylor expansion of 0 in d1 2.231 * [backup-simplify]: Simplify 0 into 0 2.231 * [backup-simplify]: Simplify 0 into 0 2.231 * [backup-simplify]: Simplify 0 into 0 2.232 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.232 * [backup-simplify]: Simplify 0 into 0 2.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.233 * [backup-simplify]: Simplify 0 into 0 2.233 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 d1)) (* 1 (/ 1 (/ 1 d2))))) (* 1 (* (/ 1 (/ 1 d1)) (* (/ 1 (/ 1 d3)) 1)))) into (+ (* d3 d1) (* d2 d1)) 2.234 * [backup-simplify]: Simplify (* (+ (/ 1 (- d2)) (/ 1 (- d3))) (/ 1 (- d1))) into (/ (+ (/ 1 d2) (/ 1 d3)) d1) 2.234 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in (d2 d3 d1) around 0 2.234 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d1 2.234 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 2.234 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 2.234 * [taylor]: Taking taylor expansion of d2 in d1 2.234 * [backup-simplify]: Simplify d2 into d2 2.234 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.234 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 2.234 * [taylor]: Taking taylor expansion of d3 in d1 2.234 * [backup-simplify]: Simplify d3 into d3 2.234 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.234 * [taylor]: Taking taylor expansion of d1 in d1 2.234 * [backup-simplify]: Simplify 0 into 0 2.234 * [backup-simplify]: Simplify 1 into 1 2.234 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 2.234 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) (/ 1 d3)) 1) into (+ (/ 1 d2) (/ 1 d3)) 2.234 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d3 2.234 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 2.234 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 2.234 * [taylor]: Taking taylor expansion of d2 in d3 2.234 * [backup-simplify]: Simplify d2 into d2 2.234 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.234 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.234 * [taylor]: Taking taylor expansion of d3 in d3 2.234 * [backup-simplify]: Simplify 0 into 0 2.234 * [backup-simplify]: Simplify 1 into 1 2.235 * [backup-simplify]: Simplify (/ 1 1) into 1 2.235 * [taylor]: Taking taylor expansion of d1 in d3 2.235 * [backup-simplify]: Simplify d1 into d1 2.235 * [backup-simplify]: Simplify (+ 0 1) into 1 2.235 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.235 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d2 2.235 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 2.235 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.235 * [taylor]: Taking taylor expansion of d2 in d2 2.235 * [backup-simplify]: Simplify 0 into 0 2.235 * [backup-simplify]: Simplify 1 into 1 2.236 * [backup-simplify]: Simplify (/ 1 1) into 1 2.236 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.236 * [taylor]: Taking taylor expansion of d3 in d2 2.236 * [backup-simplify]: Simplify d3 into d3 2.236 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.236 * [taylor]: Taking taylor expansion of d1 in d2 2.236 * [backup-simplify]: Simplify d1 into d1 2.236 * [backup-simplify]: Simplify (+ 1 0) into 1 2.236 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.237 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d2 2.237 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 2.237 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.237 * [taylor]: Taking taylor expansion of d2 in d2 2.237 * [backup-simplify]: Simplify 0 into 0 2.237 * [backup-simplify]: Simplify 1 into 1 2.237 * [backup-simplify]: Simplify (/ 1 1) into 1 2.237 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.237 * [taylor]: Taking taylor expansion of d3 in d2 2.237 * [backup-simplify]: Simplify d3 into d3 2.237 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.237 * [taylor]: Taking taylor expansion of d1 in d2 2.237 * [backup-simplify]: Simplify d1 into d1 2.238 * [backup-simplify]: Simplify (+ 1 0) into 1 2.238 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.238 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 2.238 * [taylor]: Taking taylor expansion of d1 in d3 2.238 * [backup-simplify]: Simplify d1 into d1 2.238 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.239 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 2.239 * [backup-simplify]: Simplify (- (/ (/ 1 d3) d1) (+ (* (/ 1 d1) (/ 0 d1)))) into (/ 1 (* d3 d1)) 2.239 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 2.239 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 2.239 * [taylor]: Taking taylor expansion of d3 in d3 2.239 * [backup-simplify]: Simplify 0 into 0 2.239 * [backup-simplify]: Simplify 1 into 1 2.239 * [taylor]: Taking taylor expansion of d1 in d3 2.239 * [backup-simplify]: Simplify d1 into d1 2.239 * [backup-simplify]: Simplify (* 0 d1) into 0 2.239 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 2.239 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.239 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.240 * [taylor]: Taking taylor expansion of d1 in d1 2.240 * [backup-simplify]: Simplify 0 into 0 2.240 * [backup-simplify]: Simplify 1 into 1 2.240 * [backup-simplify]: Simplify (/ 1 1) into 1 2.240 * [backup-simplify]: Simplify 1 into 1 2.240 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.240 * [taylor]: Taking taylor expansion of d1 in d1 2.240 * [backup-simplify]: Simplify 0 into 0 2.240 * [backup-simplify]: Simplify 1 into 1 2.240 * [backup-simplify]: Simplify (/ 1 1) into 1 2.240 * [backup-simplify]: Simplify 1 into 1 2.241 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.241 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.242 * [backup-simplify]: Simplify (+ 0 0) into 0 2.242 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ 0 d1)) (* (/ 1 (* d3 d1)) (/ 0 d1)))) into 0 2.242 * [taylor]: Taking taylor expansion of 0 in d3 2.242 * [backup-simplify]: Simplify 0 into 0 2.243 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d1))) into 0 2.243 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0 2.243 * [taylor]: Taking taylor expansion of 0 in d1 2.243 * [backup-simplify]: Simplify 0 into 0 2.243 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0 2.243 * [taylor]: Taking taylor expansion of 0 in d1 2.243 * [backup-simplify]: Simplify 0 into 0 2.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.244 * [backup-simplify]: Simplify 0 into 0 2.245 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.245 * [backup-simplify]: Simplify 0 into 0 2.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.246 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 2.246 * [backup-simplify]: Simplify (+ 0 0) into 0 2.246 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ 0 d1)) (* (/ 1 (* d3 d1)) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0 2.246 * [taylor]: Taking taylor expansion of 0 in d3 2.247 * [backup-simplify]: Simplify 0 into 0 2.247 * [taylor]: Taking taylor expansion of 0 in d1 2.247 * [backup-simplify]: Simplify 0 into 0 2.248 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d1)))) into 0 2.248 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0 2.248 * [taylor]: Taking taylor expansion of 0 in d1 2.248 * [backup-simplify]: Simplify 0 into 0 2.248 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0 2.248 * [taylor]: Taking taylor expansion of 0 in d1 2.248 * [backup-simplify]: Simplify 0 into 0 2.248 * [backup-simplify]: Simplify 0 into 0 2.248 * [backup-simplify]: Simplify 0 into 0 2.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.249 * [backup-simplify]: Simplify 0 into 0 2.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.250 * [backup-simplify]: Simplify 0 into 0 2.251 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- d1))) (* 1 (/ 1 (/ 1 (- d2)))))) (* 1 (* (/ 1 (/ 1 (- d1))) (* (/ 1 (/ 1 (- d3))) 1)))) into (+ (* d3 d1) (* d2 d1)) 2.251 * * * [progress]: simplifying candidates 2.251 * * * * [progress]: [ 1 / 25 ] simplifiying candidate # 2.251 * * * * [progress]: [ 2 / 25 ] simplifiying candidate # 2.251 * * * * [progress]: [ 3 / 25 ] simplifiying candidate # 2.251 * * * * [progress]: [ 4 / 25 ] simplifiying candidate # 2.251 * * * * [progress]: [ 5 / 25 ] simplifiying candidate # 2.251 * * * * [progress]: [ 6 / 25 ] simplifiying candidate # 2.251 * * * * [progress]: [ 7 / 25 ] simplifiying candidate # 2.251 * * * * [progress]: [ 8 / 25 ] simplifiying candidate # 2.251 * * * * [progress]: [ 9 / 25 ] simplifiying candidate # 2.251 * * * * [progress]: [ 10 / 25 ] simplifiying candidate # 2.251 * * * * [progress]: [ 11 / 25 ] simplifiying candidate # 2.252 * * * * [progress]: [ 12 / 25 ] simplifiying candidate # 2.252 * * * * [progress]: [ 13 / 25 ] simplifiying candidate # 2.252 * * * * [progress]: [ 14 / 25 ] simplifiying candidate # 2.252 * * * * [progress]: [ 15 / 25 ] simplifiying candidate # 2.252 * * * * [progress]: [ 16 / 25 ] simplifiying candidate # 2.252 * * * * [progress]: [ 17 / 25 ] simplifiying candidate # 2.252 * * * * [progress]: [ 18 / 25 ] simplifiying candidate # 2.252 * * * * [progress]: [ 19 / 25 ] simplifiying candidate # 2.252 * * * * [progress]: [ 20 / 25 ] simplifiying candidate # 2.252 * * * * [progress]: [ 21 / 25 ] simplifiying candidate #real (real->posit16 (* (+ d2 d3) d1))))> 2.252 * * * * [progress]: [ 22 / 25 ] simplifiying candidate # 2.252 * * * * [progress]: [ 23 / 25 ] simplifiying candidate # 2.252 * * * * [progress]: [ 24 / 25 ] simplifiying candidate # 2.252 * * * * [progress]: [ 25 / 25 ] simplifiying candidate # 2.253 * [simplify]: Simplifying (* (+ d2 d3) d1), (+ (log (+ d2 d3)) (log d1)), (log (* (+ d2 d3) d1)), (exp (* (+ d2 d3) d1)), (* (* (* (+ d2 d3) (+ d2 d3)) (+ d2 d3)) (* (* d1 d1) d1)), (* (cbrt (* (+ d2 d3) d1)) (cbrt (* (+ d2 d3) d1))), (cbrt (* (+ d2 d3) d1)), (* (* (* (+ d2 d3) d1) (* (+ d2 d3) d1)) (* (+ d2 d3) d1)), (sqrt (* (+ d2 d3) d1)), (sqrt (* (+ d2 d3) d1)), (* (sqrt (+ d2 d3)) (sqrt d1)), (* (sqrt (+ d2 d3)) (sqrt d1)), (* (+ d2 d3) (* (cbrt d1) (cbrt d1))), (* (+ d2 d3) (sqrt d1)), (* (+ d2 d3) 1), (* (cbrt (+ d2 d3)) d1), (* (sqrt (+ d2 d3)) d1), (* (+ d2 d3) d1), (* (+ d2 d3) d1), (* (+ (pow d2 3) (pow d3 3)) d1), (* (- (* d2 d2) (* d3 d3)) d1), (real->posit16 (* (+ d2 d3) d1)), 0, (+ (* d3 d1) (* d2 d1)), (+ (* d3 d1) (* d2 d1)) 2.253 * * [simplify]: iteration 1: (46 enodes) 2.276 * * [simplify]: iteration 2: (198 enodes) 2.345 * * [simplify]: iteration 3: (496 enodes) 2.561 * * [simplify]: iteration 4: (1308 enodes) 4.080 * * [simplify]: Extracting #0: cost 17 inf + 0 4.080 * * [simplify]: Extracting #1: cost 144 inf + 1 4.083 * * [simplify]: Extracting #2: cost 526 inf + 740 4.091 * * [simplify]: Extracting #3: cost 635 inf + 13340 4.119 * * [simplify]: Extracting #4: cost 213 inf + 95079 4.159 * * [simplify]: Extracting #5: cost 12 inf + 136885 4.206 * * [simplify]: Extracting #6: cost 2 inf + 140385 4.253 * * [simplify]: Extracting #7: cost 0 inf + 140769 4.321 * [simplify]: Simplified to (* (+ d3 d2) d1), (log (* (+ d3 d2) d1)), (log (* (+ d3 d2) d1)), (exp (* (+ d3 d2) d1)), (* (* (+ d3 d2) d1) (* (* (+ d3 d2) d1) (* (+ d3 d2) d1))), (* (cbrt (* (+ d3 d2) d1)) (cbrt (* (+ d3 d2) d1))), (cbrt (* (+ d3 d2) d1)), (* (* (+ d3 d2) d1) (* (* (+ d3 d2) d1) (* (+ d3 d2) d1))), (sqrt (* (+ d3 d2) d1)), (sqrt (* (+ d3 d2) d1)), (* (sqrt (+ d3 d2)) (sqrt d1)), (* (sqrt (+ d3 d2)) (sqrt d1)), (* (+ d3 d2) (* (cbrt d1) (cbrt d1))), (* (+ d3 d2) (sqrt d1)), (+ d3 d2), (* d1 (cbrt (+ d3 d2))), (* (sqrt (+ d3 d2)) d1), (* (+ d3 d2) d1), (* (+ d3 d2) d1), (* d1 (+ (* (* d2 d2) d2) (* d3 (* d3 d3)))), (* d1 (* (+ d3 d2) (- d2 d3))), (real->posit16 (* (+ d3 d2) d1)), 0, (* (+ d3 d2) d1), (* (+ d3 d2) d1) 4.323 * * * [progress]: adding candidates to table 4.515 * * [progress]: iteration 3 / 4 4.515 * * * [progress]: picking best candidate 4.518 * * * * [pick]: Picked # 4.518 * * * [progress]: localizing error 4.536 * * * [progress]: generating rewritten candidates 4.536 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 4.612 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 4.664 * * * [progress]: generating series expansions 4.664 * * * * [progress]: [ 1 / 2 ] generating series at (2) 4.665 * [backup-simplify]: Simplify (/ (* d1 (* (+ d3 d2) (- d2 d3))) (- d2 d3)) into (* d1 (+ d3 d2)) 4.665 * [approximate]: Taking taylor expansion of (* d1 (+ d3 d2)) in (d1 d3 d2) around 0 4.665 * [taylor]: Taking taylor expansion of (* d1 (+ d3 d2)) in d2 4.665 * [taylor]: Taking taylor expansion of d1 in d2 4.665 * [backup-simplify]: Simplify d1 into d1 4.665 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2 4.665 * [taylor]: Taking taylor expansion of d3 in d2 4.665 * [backup-simplify]: Simplify d3 into d3 4.665 * [taylor]: Taking taylor expansion of d2 in d2 4.665 * [backup-simplify]: Simplify 0 into 0 4.665 * [backup-simplify]: Simplify 1 into 1 4.665 * [taylor]: Taking taylor expansion of (* d1 (+ d3 d2)) in d3 4.665 * [taylor]: Taking taylor expansion of d1 in d3 4.665 * [backup-simplify]: Simplify d1 into d1 4.665 * [taylor]: Taking taylor expansion of (+ d3 d2) in d3 4.665 * [taylor]: Taking taylor expansion of d3 in d3 4.665 * [backup-simplify]: Simplify 0 into 0 4.665 * [backup-simplify]: Simplify 1 into 1 4.665 * [taylor]: Taking taylor expansion of d2 in d3 4.665 * [backup-simplify]: Simplify d2 into d2 4.665 * [taylor]: Taking taylor expansion of (* d1 (+ d3 d2)) in d1 4.665 * [taylor]: Taking taylor expansion of d1 in d1 4.665 * [backup-simplify]: Simplify 0 into 0 4.665 * [backup-simplify]: Simplify 1 into 1 4.665 * [taylor]: Taking taylor expansion of (+ d3 d2) in d1 4.665 * [taylor]: Taking taylor expansion of d3 in d1 4.665 * [backup-simplify]: Simplify d3 into d3 4.665 * [taylor]: Taking taylor expansion of d2 in d1 4.665 * [backup-simplify]: Simplify d2 into d2 4.665 * [taylor]: Taking taylor expansion of (* d1 (+ d3 d2)) in d1 4.665 * [taylor]: Taking taylor expansion of d1 in d1 4.665 * [backup-simplify]: Simplify 0 into 0 4.665 * [backup-simplify]: Simplify 1 into 1 4.665 * [taylor]: Taking taylor expansion of (+ d3 d2) in d1 4.665 * [taylor]: Taking taylor expansion of d3 in d1 4.665 * [backup-simplify]: Simplify d3 into d3 4.665 * [taylor]: Taking taylor expansion of d2 in d1 4.665 * [backup-simplify]: Simplify d2 into d2 4.665 * [backup-simplify]: Simplify (+ d3 d2) into (+ d3 d2) 4.665 * [backup-simplify]: Simplify (* 0 (+ d3 d2)) into 0 4.665 * [taylor]: Taking taylor expansion of 0 in d3 4.665 * [backup-simplify]: Simplify 0 into 0 4.665 * [taylor]: Taking taylor expansion of 0 in d2 4.666 * [backup-simplify]: Simplify 0 into 0 4.666 * [backup-simplify]: Simplify 0 into 0 4.666 * [backup-simplify]: Simplify (+ 0 0) into 0 4.667 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ d3 d2))) into (+ d3 d2) 4.667 * [taylor]: Taking taylor expansion of (+ d3 d2) in d3 4.667 * [taylor]: Taking taylor expansion of d3 in d3 4.667 * [backup-simplify]: Simplify 0 into 0 4.667 * [backup-simplify]: Simplify 1 into 1 4.667 * [taylor]: Taking taylor expansion of d2 in d3 4.667 * [backup-simplify]: Simplify d2 into d2 4.667 * [backup-simplify]: Simplify (+ 0 d2) into d2 4.667 * [taylor]: Taking taylor expansion of d2 in d2 4.667 * [backup-simplify]: Simplify 0 into 0 4.667 * [backup-simplify]: Simplify 1 into 1 4.667 * [backup-simplify]: Simplify 0 into 0 4.667 * [taylor]: Taking taylor expansion of 0 in d2 4.667 * [backup-simplify]: Simplify 0 into 0 4.667 * [backup-simplify]: Simplify 0 into 0 4.667 * [backup-simplify]: Simplify 0 into 0 4.667 * [backup-simplify]: Simplify (+ 0 0) into 0 4.668 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ d3 d2)))) into 0 4.668 * [taylor]: Taking taylor expansion of 0 in d3 4.668 * [backup-simplify]: Simplify 0 into 0 4.668 * [taylor]: Taking taylor expansion of 0 in d2 4.668 * [backup-simplify]: Simplify 0 into 0 4.668 * [backup-simplify]: Simplify 0 into 0 4.669 * [backup-simplify]: Simplify (+ 1 0) into 1 4.669 * [taylor]: Taking taylor expansion of 1 in d2 4.669 * [backup-simplify]: Simplify 1 into 1 4.669 * [backup-simplify]: Simplify 1 into 1 4.669 * [taylor]: Taking taylor expansion of 0 in d2 4.669 * [backup-simplify]: Simplify 0 into 0 4.669 * [backup-simplify]: Simplify 0 into 0 4.669 * [backup-simplify]: Simplify 1 into 1 4.669 * [backup-simplify]: Simplify 0 into 0 4.669 * [backup-simplify]: Simplify 0 into 0 4.669 * [backup-simplify]: Simplify (+ 0 0) into 0 4.670 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (+ d3 d2))))) into 0 4.670 * [taylor]: Taking taylor expansion of 0 in d3 4.670 * [backup-simplify]: Simplify 0 into 0 4.670 * [taylor]: Taking taylor expansion of 0 in d2 4.670 * [backup-simplify]: Simplify 0 into 0 4.670 * [backup-simplify]: Simplify 0 into 0 4.670 * [taylor]: Taking taylor expansion of 0 in d2 4.670 * [backup-simplify]: Simplify 0 into 0 4.670 * [backup-simplify]: Simplify 0 into 0 4.671 * [backup-simplify]: Simplify (+ 0 0) into 0 4.671 * [taylor]: Taking taylor expansion of 0 in d2 4.671 * [backup-simplify]: Simplify 0 into 0 4.671 * [backup-simplify]: Simplify 0 into 0 4.671 * [taylor]: Taking taylor expansion of 0 in d2 4.671 * [backup-simplify]: Simplify 0 into 0 4.671 * [backup-simplify]: Simplify 0 into 0 4.671 * [backup-simplify]: Simplify (+ (* 1 (* d2 (* 1 d1))) (* 1 (* 1 (* d3 d1)))) into (+ (* d3 d1) (* d2 d1)) 4.671 * [backup-simplify]: Simplify (/ (* (/ 1 d1) (* (+ (/ 1 d3) (/ 1 d2)) (- (/ 1 d2) (/ 1 d3)))) (- (/ 1 d2) (/ 1 d3))) into (/ (+ (/ 1 d2) (/ 1 d3)) d1) 4.671 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in (d1 d3 d2) around 0 4.671 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d2 4.671 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 4.671 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 4.671 * [taylor]: Taking taylor expansion of d2 in d2 4.671 * [backup-simplify]: Simplify 0 into 0 4.671 * [backup-simplify]: Simplify 1 into 1 4.672 * [backup-simplify]: Simplify (/ 1 1) into 1 4.672 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 4.672 * [taylor]: Taking taylor expansion of d3 in d2 4.672 * [backup-simplify]: Simplify d3 into d3 4.672 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.672 * [taylor]: Taking taylor expansion of d1 in d2 4.672 * [backup-simplify]: Simplify d1 into d1 4.672 * [backup-simplify]: Simplify (+ 1 0) into 1 4.672 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 4.672 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d3 4.672 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 4.672 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 4.672 * [taylor]: Taking taylor expansion of d2 in d3 4.672 * [backup-simplify]: Simplify d2 into d2 4.672 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.673 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 4.673 * [taylor]: Taking taylor expansion of d3 in d3 4.673 * [backup-simplify]: Simplify 0 into 0 4.673 * [backup-simplify]: Simplify 1 into 1 4.673 * [backup-simplify]: Simplify (/ 1 1) into 1 4.673 * [taylor]: Taking taylor expansion of d1 in d3 4.673 * [backup-simplify]: Simplify d1 into d1 4.673 * [backup-simplify]: Simplify (+ 0 1) into 1 4.673 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 4.673 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d1 4.673 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 4.673 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 4.673 * [taylor]: Taking taylor expansion of d2 in d1 4.673 * [backup-simplify]: Simplify d2 into d2 4.673 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.673 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 4.673 * [taylor]: Taking taylor expansion of d3 in d1 4.674 * [backup-simplify]: Simplify d3 into d3 4.674 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.674 * [taylor]: Taking taylor expansion of d1 in d1 4.674 * [backup-simplify]: Simplify 0 into 0 4.674 * [backup-simplify]: Simplify 1 into 1 4.674 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 4.674 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) (/ 1 d3)) 1) into (+ (/ 1 d2) (/ 1 d3)) 4.674 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d1 4.674 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 4.674 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 4.674 * [taylor]: Taking taylor expansion of d2 in d1 4.674 * [backup-simplify]: Simplify d2 into d2 4.674 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.674 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 4.674 * [taylor]: Taking taylor expansion of d3 in d1 4.674 * [backup-simplify]: Simplify d3 into d3 4.674 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.674 * [taylor]: Taking taylor expansion of d1 in d1 4.674 * [backup-simplify]: Simplify 0 into 0 4.674 * [backup-simplify]: Simplify 1 into 1 4.674 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 4.674 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) (/ 1 d3)) 1) into (+ (/ 1 d2) (/ 1 d3)) 4.674 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 4.674 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 4.674 * [taylor]: Taking taylor expansion of d2 in d3 4.674 * [backup-simplify]: Simplify d2 into d2 4.674 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.674 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 4.674 * [taylor]: Taking taylor expansion of d3 in d3 4.674 * [backup-simplify]: Simplify 0 into 0 4.674 * [backup-simplify]: Simplify 1 into 1 4.675 * [backup-simplify]: Simplify (/ 1 1) into 1 4.675 * [backup-simplify]: Simplify (+ 0 1) into 1 4.675 * [taylor]: Taking taylor expansion of 1 in d2 4.675 * [backup-simplify]: Simplify 1 into 1 4.676 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 4.676 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 4.676 * [backup-simplify]: Simplify (+ 0 0) into 0 4.677 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) (/ 1 d3)) (/ 0 1)))) into 0 4.677 * [taylor]: Taking taylor expansion of 0 in d3 4.677 * [backup-simplify]: Simplify 0 into 0 4.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.678 * [backup-simplify]: Simplify (+ (/ 1 d2) 0) into (/ 1 d2) 4.678 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 4.678 * [taylor]: Taking taylor expansion of d2 in d2 4.678 * [backup-simplify]: Simplify 0 into 0 4.678 * [backup-simplify]: Simplify 1 into 1 4.679 * [backup-simplify]: Simplify (/ 1 1) into 1 4.679 * [backup-simplify]: Simplify 1 into 1 4.679 * [backup-simplify]: Simplify 1 into 1 4.679 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.679 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 4.679 * [backup-simplify]: Simplify (+ 0 0) into 0 4.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) (/ 1 d3)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.681 * [taylor]: Taking taylor expansion of 0 in d3 4.681 * [backup-simplify]: Simplify 0 into 0 4.681 * [taylor]: Taking taylor expansion of 0 in d2 4.681 * [backup-simplify]: Simplify 0 into 0 4.681 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 4.682 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.683 * [backup-simplify]: Simplify (+ 0 0) into 0 4.683 * [taylor]: Taking taylor expansion of 0 in d2 4.683 * [backup-simplify]: Simplify 0 into 0 4.683 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.683 * [backup-simplify]: Simplify 0 into 0 4.684 * [backup-simplify]: Simplify 0 into 0 4.684 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.684 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 4.684 * [backup-simplify]: Simplify (+ 0 0) into 0 4.686 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) (/ 1 d3)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.686 * [taylor]: Taking taylor expansion of 0 in d3 4.686 * [backup-simplify]: Simplify 0 into 0 4.686 * [taylor]: Taking taylor expansion of 0 in d2 4.686 * [backup-simplify]: Simplify 0 into 0 4.686 * [taylor]: Taking taylor expansion of 0 in d2 4.686 * [backup-simplify]: Simplify 0 into 0 4.687 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.688 * [backup-simplify]: Simplify (+ 0 0) into 0 4.688 * [taylor]: Taking taylor expansion of 0 in d2 4.688 * [backup-simplify]: Simplify 0 into 0 4.688 * [backup-simplify]: Simplify 0 into 0 4.688 * [backup-simplify]: Simplify 0 into 0 4.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.689 * [backup-simplify]: Simplify 0 into 0 4.689 * [backup-simplify]: Simplify 0 into 0 4.690 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 d3)) (/ 1 (/ 1 d1))))) (* 1 (* (/ 1 (/ 1 d2)) (* 1 (/ 1 (/ 1 d1)))))) into (+ (* d2 d1) (* d3 d1)) 4.690 * [backup-simplify]: Simplify (/ (* (/ 1 (- d1)) (* (+ (/ 1 (- d3)) (/ 1 (- d2))) (- (/ 1 (- d2)) (/ 1 (- d3))))) (- (/ 1 (- d2)) (/ 1 (- d3)))) into (/ (+ (/ 1 d2) (/ 1 d3)) d1) 4.690 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in (d1 d3 d2) around 0 4.690 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d2 4.690 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 4.690 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 4.690 * [taylor]: Taking taylor expansion of d2 in d2 4.690 * [backup-simplify]: Simplify 0 into 0 4.690 * [backup-simplify]: Simplify 1 into 1 4.691 * [backup-simplify]: Simplify (/ 1 1) into 1 4.691 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 4.691 * [taylor]: Taking taylor expansion of d3 in d2 4.691 * [backup-simplify]: Simplify d3 into d3 4.691 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.691 * [taylor]: Taking taylor expansion of d1 in d2 4.691 * [backup-simplify]: Simplify d1 into d1 4.691 * [backup-simplify]: Simplify (+ 1 0) into 1 4.691 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 4.691 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d3 4.691 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 4.691 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 4.691 * [taylor]: Taking taylor expansion of d2 in d3 4.691 * [backup-simplify]: Simplify d2 into d2 4.691 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.692 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 4.692 * [taylor]: Taking taylor expansion of d3 in d3 4.692 * [backup-simplify]: Simplify 0 into 0 4.692 * [backup-simplify]: Simplify 1 into 1 4.692 * [backup-simplify]: Simplify (/ 1 1) into 1 4.692 * [taylor]: Taking taylor expansion of d1 in d3 4.692 * [backup-simplify]: Simplify d1 into d1 4.692 * [backup-simplify]: Simplify (+ 0 1) into 1 4.692 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 4.693 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d1 4.693 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 4.693 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 4.693 * [taylor]: Taking taylor expansion of d2 in d1 4.693 * [backup-simplify]: Simplify d2 into d2 4.693 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.693 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 4.693 * [taylor]: Taking taylor expansion of d3 in d1 4.693 * [backup-simplify]: Simplify d3 into d3 4.693 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.693 * [taylor]: Taking taylor expansion of d1 in d1 4.693 * [backup-simplify]: Simplify 0 into 0 4.693 * [backup-simplify]: Simplify 1 into 1 4.693 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 4.693 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) (/ 1 d3)) 1) into (+ (/ 1 d2) (/ 1 d3)) 4.693 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d1 4.693 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 4.693 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 4.693 * [taylor]: Taking taylor expansion of d2 in d1 4.693 * [backup-simplify]: Simplify d2 into d2 4.693 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.693 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 4.693 * [taylor]: Taking taylor expansion of d3 in d1 4.693 * [backup-simplify]: Simplify d3 into d3 4.693 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.693 * [taylor]: Taking taylor expansion of d1 in d1 4.693 * [backup-simplify]: Simplify 0 into 0 4.694 * [backup-simplify]: Simplify 1 into 1 4.694 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 4.694 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) (/ 1 d3)) 1) into (+ (/ 1 d2) (/ 1 d3)) 4.694 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 4.694 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 4.694 * [taylor]: Taking taylor expansion of d2 in d3 4.694 * [backup-simplify]: Simplify d2 into d2 4.694 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.694 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 4.694 * [taylor]: Taking taylor expansion of d3 in d3 4.694 * [backup-simplify]: Simplify 0 into 0 4.694 * [backup-simplify]: Simplify 1 into 1 4.695 * [backup-simplify]: Simplify (/ 1 1) into 1 4.695 * [backup-simplify]: Simplify (+ 0 1) into 1 4.695 * [taylor]: Taking taylor expansion of 1 in d2 4.695 * [backup-simplify]: Simplify 1 into 1 4.695 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 4.695 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 4.696 * [backup-simplify]: Simplify (+ 0 0) into 0 4.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) (/ 1 d3)) (/ 0 1)))) into 0 4.697 * [taylor]: Taking taylor expansion of 0 in d3 4.697 * [backup-simplify]: Simplify 0 into 0 4.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.698 * [backup-simplify]: Simplify (+ (/ 1 d2) 0) into (/ 1 d2) 4.698 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 4.698 * [taylor]: Taking taylor expansion of d2 in d2 4.698 * [backup-simplify]: Simplify 0 into 0 4.698 * [backup-simplify]: Simplify 1 into 1 4.698 * [backup-simplify]: Simplify (/ 1 1) into 1 4.698 * [backup-simplify]: Simplify 1 into 1 4.698 * [backup-simplify]: Simplify 1 into 1 4.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 4.699 * [backup-simplify]: Simplify (+ 0 0) into 0 4.700 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) (/ 1 d3)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.700 * [taylor]: Taking taylor expansion of 0 in d3 4.700 * [backup-simplify]: Simplify 0 into 0 4.700 * [taylor]: Taking taylor expansion of 0 in d2 4.700 * [backup-simplify]: Simplify 0 into 0 4.700 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 4.701 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.701 * [backup-simplify]: Simplify (+ 0 0) into 0 4.701 * [taylor]: Taking taylor expansion of 0 in d2 4.701 * [backup-simplify]: Simplify 0 into 0 4.701 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.702 * [backup-simplify]: Simplify 0 into 0 4.702 * [backup-simplify]: Simplify 0 into 0 4.702 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.702 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 4.702 * [backup-simplify]: Simplify (+ 0 0) into 0 4.703 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) (/ 1 d3)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.703 * [taylor]: Taking taylor expansion of 0 in d3 4.703 * [backup-simplify]: Simplify 0 into 0 4.703 * [taylor]: Taking taylor expansion of 0 in d2 4.703 * [backup-simplify]: Simplify 0 into 0 4.703 * [taylor]: Taking taylor expansion of 0 in d2 4.703 * [backup-simplify]: Simplify 0 into 0 4.704 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.704 * [backup-simplify]: Simplify (+ 0 0) into 0 4.704 * [taylor]: Taking taylor expansion of 0 in d2 4.704 * [backup-simplify]: Simplify 0 into 0 4.704 * [backup-simplify]: Simplify 0 into 0 4.704 * [backup-simplify]: Simplify 0 into 0 4.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.705 * [backup-simplify]: Simplify 0 into 0 4.705 * [backup-simplify]: Simplify 0 into 0 4.705 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d3))) (/ 1 (/ 1 (- d1)))))) (* 1 (* (/ 1 (/ 1 (- d2))) (* 1 (/ 1 (/ 1 (- d1))))))) into (+ (* d2 d1) (* d3 d1)) 4.705 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 4.705 * [backup-simplify]: Simplify (* d1 (* (+ d3 d2) (- d2 d3))) into (* (+ d3 d2) (* (- d2 d3) d1)) 4.705 * [approximate]: Taking taylor expansion of (* (+ d3 d2) (* (- d2 d3) d1)) in (d1 d3 d2) around 0 4.705 * [taylor]: Taking taylor expansion of (* (+ d3 d2) (* (- d2 d3) d1)) in d2 4.705 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2 4.706 * [taylor]: Taking taylor expansion of d3 in d2 4.706 * [backup-simplify]: Simplify d3 into d3 4.706 * [taylor]: Taking taylor expansion of d2 in d2 4.706 * [backup-simplify]: Simplify 0 into 0 4.706 * [backup-simplify]: Simplify 1 into 1 4.706 * [taylor]: Taking taylor expansion of (* (- d2 d3) d1) in d2 4.706 * [taylor]: Taking taylor expansion of (- d2 d3) in d2 4.706 * [taylor]: Taking taylor expansion of d2 in d2 4.706 * [backup-simplify]: Simplify 0 into 0 4.706 * [backup-simplify]: Simplify 1 into 1 4.706 * [taylor]: Taking taylor expansion of d3 in d2 4.706 * [backup-simplify]: Simplify d3 into d3 4.706 * [taylor]: Taking taylor expansion of d1 in d2 4.706 * [backup-simplify]: Simplify d1 into d1 4.706 * [taylor]: Taking taylor expansion of (* (+ d3 d2) (* (- d2 d3) d1)) in d3 4.706 * [taylor]: Taking taylor expansion of (+ d3 d2) in d3 4.706 * [taylor]: Taking taylor expansion of d3 in d3 4.706 * [backup-simplify]: Simplify 0 into 0 4.706 * [backup-simplify]: Simplify 1 into 1 4.706 * [taylor]: Taking taylor expansion of d2 in d3 4.706 * [backup-simplify]: Simplify d2 into d2 4.706 * [taylor]: Taking taylor expansion of (* (- d2 d3) d1) in d3 4.706 * [taylor]: Taking taylor expansion of (- d2 d3) in d3 4.706 * [taylor]: Taking taylor expansion of d2 in d3 4.706 * [backup-simplify]: Simplify d2 into d2 4.706 * [taylor]: Taking taylor expansion of d3 in d3 4.706 * [backup-simplify]: Simplify 0 into 0 4.706 * [backup-simplify]: Simplify 1 into 1 4.706 * [taylor]: Taking taylor expansion of d1 in d3 4.706 * [backup-simplify]: Simplify d1 into d1 4.706 * [taylor]: Taking taylor expansion of (* (+ d3 d2) (* (- d2 d3) d1)) in d1 4.706 * [taylor]: Taking taylor expansion of (+ d3 d2) in d1 4.706 * [taylor]: Taking taylor expansion of d3 in d1 4.706 * [backup-simplify]: Simplify d3 into d3 4.706 * [taylor]: Taking taylor expansion of d2 in d1 4.706 * [backup-simplify]: Simplify d2 into d2 4.706 * [taylor]: Taking taylor expansion of (* (- d2 d3) d1) in d1 4.706 * [taylor]: Taking taylor expansion of (- d2 d3) in d1 4.706 * [taylor]: Taking taylor expansion of d2 in d1 4.706 * [backup-simplify]: Simplify d2 into d2 4.706 * [taylor]: Taking taylor expansion of d3 in d1 4.706 * [backup-simplify]: Simplify d3 into d3 4.706 * [taylor]: Taking taylor expansion of d1 in d1 4.706 * [backup-simplify]: Simplify 0 into 0 4.706 * [backup-simplify]: Simplify 1 into 1 4.706 * [taylor]: Taking taylor expansion of (* (+ d3 d2) (* (- d2 d3) d1)) in d1 4.706 * [taylor]: Taking taylor expansion of (+ d3 d2) in d1 4.706 * [taylor]: Taking taylor expansion of d3 in d1 4.706 * [backup-simplify]: Simplify d3 into d3 4.706 * [taylor]: Taking taylor expansion of d2 in d1 4.706 * [backup-simplify]: Simplify d2 into d2 4.706 * [taylor]: Taking taylor expansion of (* (- d2 d3) d1) in d1 4.706 * [taylor]: Taking taylor expansion of (- d2 d3) in d1 4.706 * [taylor]: Taking taylor expansion of d2 in d1 4.706 * [backup-simplify]: Simplify d2 into d2 4.706 * [taylor]: Taking taylor expansion of d3 in d1 4.706 * [backup-simplify]: Simplify d3 into d3 4.706 * [taylor]: Taking taylor expansion of d1 in d1 4.706 * [backup-simplify]: Simplify 0 into 0 4.706 * [backup-simplify]: Simplify 1 into 1 4.706 * [backup-simplify]: Simplify (+ d3 d2) into (+ d3 d2) 4.706 * [backup-simplify]: Simplify (- d3) into (- d3) 4.706 * [backup-simplify]: Simplify (+ d2 (- d3)) into (- d2 d3) 4.707 * [backup-simplify]: Simplify (* (- d2 d3) 0) into 0 4.707 * [backup-simplify]: Simplify (* (+ d3 d2) 0) into 0 4.707 * [taylor]: Taking taylor expansion of 0 in d3 4.707 * [backup-simplify]: Simplify 0 into 0 4.707 * [taylor]: Taking taylor expansion of 0 in d2 4.707 * [backup-simplify]: Simplify 0 into 0 4.707 * [backup-simplify]: Simplify 0 into 0 4.707 * [backup-simplify]: Simplify (- 0) into 0 4.707 * [backup-simplify]: Simplify (+ 0 0) into 0 4.707 * [backup-simplify]: Simplify (+ (* (- d2 d3) 1) (* 0 0)) into (- d2 d3) 4.708 * [backup-simplify]: Simplify (+ 0 0) into 0 4.708 * [backup-simplify]: Simplify (+ (* (+ d3 d2) (- d2 d3)) (* 0 0)) into (- (pow d2 2) (pow d3 2)) 4.708 * [taylor]: Taking taylor expansion of (- (pow d2 2) (pow d3 2)) in d3 4.708 * [taylor]: Taking taylor expansion of (pow d2 2) in d3 4.708 * [taylor]: Taking taylor expansion of d2 in d3 4.708 * [backup-simplify]: Simplify d2 into d2 4.708 * [taylor]: Taking taylor expansion of (pow d3 2) in d3 4.708 * [taylor]: Taking taylor expansion of d3 in d3 4.708 * [backup-simplify]: Simplify 0 into 0 4.708 * [backup-simplify]: Simplify 1 into 1 4.708 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 4.708 * [backup-simplify]: Simplify (+ (pow d2 2) 0) into (pow d2 2) 4.708 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 4.708 * [taylor]: Taking taylor expansion of d2 in d2 4.708 * [backup-simplify]: Simplify 0 into 0 4.708 * [backup-simplify]: Simplify 1 into 1 4.708 * [taylor]: Taking taylor expansion of 0 in d2 4.708 * [backup-simplify]: Simplify 0 into 0 4.708 * [backup-simplify]: Simplify 0 into 0 4.709 * [backup-simplify]: Simplify 0 into 0 4.709 * [backup-simplify]: Simplify (- 0) into 0 4.709 * [backup-simplify]: Simplify (+ 0 0) into 0 4.709 * [backup-simplify]: Simplify (+ (* (- d2 d3) 0) (+ (* 0 1) (* 0 0))) into 0 4.710 * [backup-simplify]: Simplify (+ 0 0) into 0 4.710 * [backup-simplify]: Simplify (+ (* (+ d3 d2) 0) (+ (* 0 (- d2 d3)) (* 0 0))) into 0 4.710 * [taylor]: Taking taylor expansion of 0 in d3 4.710 * [backup-simplify]: Simplify 0 into 0 4.710 * [taylor]: Taking taylor expansion of 0 in d2 4.710 * [backup-simplify]: Simplify 0 into 0 4.710 * [backup-simplify]: Simplify 0 into 0 4.710 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 d2)) into 0 4.710 * [backup-simplify]: Simplify (+ 0 0) into 0 4.710 * [taylor]: Taking taylor expansion of 0 in d2 4.710 * [backup-simplify]: Simplify 0 into 0 4.710 * [backup-simplify]: Simplify 0 into 0 4.711 * [taylor]: Taking taylor expansion of 0 in d2 4.711 * [backup-simplify]: Simplify 0 into 0 4.711 * [backup-simplify]: Simplify 0 into 0 4.711 * [backup-simplify]: Simplify 0 into 0 4.711 * [backup-simplify]: Simplify (* (/ 1 d1) (* (+ (/ 1 d3) (/ 1 d2)) (- (/ 1 d2) (/ 1 d3)))) into (/ (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) d1) 4.711 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) d1) in (d1 d3 d2) around 0 4.711 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) d1) in d2 4.711 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) in d2 4.711 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 4.711 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 4.711 * [taylor]: Taking taylor expansion of d2 in d2 4.711 * [backup-simplify]: Simplify 0 into 0 4.711 * [backup-simplify]: Simplify 1 into 1 4.711 * [backup-simplify]: Simplify (/ 1 1) into 1 4.711 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 4.711 * [taylor]: Taking taylor expansion of d3 in d2 4.711 * [backup-simplify]: Simplify d3 into d3 4.711 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.711 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2 4.711 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 4.711 * [taylor]: Taking taylor expansion of d2 in d2 4.711 * [backup-simplify]: Simplify 0 into 0 4.711 * [backup-simplify]: Simplify 1 into 1 4.712 * [backup-simplify]: Simplify (/ 1 1) into 1 4.712 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 4.712 * [taylor]: Taking taylor expansion of d3 in d2 4.712 * [backup-simplify]: Simplify d3 into d3 4.712 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.712 * [taylor]: Taking taylor expansion of d1 in d2 4.712 * [backup-simplify]: Simplify d1 into d1 4.712 * [backup-simplify]: Simplify (+ 1 0) into 1 4.712 * [backup-simplify]: Simplify (+ 1 0) into 1 4.712 * [backup-simplify]: Simplify (* 1 1) into 1 4.713 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 4.713 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) d1) in d3 4.713 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) in d3 4.713 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 4.713 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 4.713 * [taylor]: Taking taylor expansion of d2 in d3 4.713 * [backup-simplify]: Simplify d2 into d2 4.713 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.713 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 4.713 * [taylor]: Taking taylor expansion of d3 in d3 4.713 * [backup-simplify]: Simplify 0 into 0 4.713 * [backup-simplify]: Simplify 1 into 1 4.713 * [backup-simplify]: Simplify (/ 1 1) into 1 4.713 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d3 4.713 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 4.713 * [taylor]: Taking taylor expansion of d2 in d3 4.713 * [backup-simplify]: Simplify d2 into d2 4.713 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.713 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 4.713 * [taylor]: Taking taylor expansion of d3 in d3 4.713 * [backup-simplify]: Simplify 0 into 0 4.713 * [backup-simplify]: Simplify 1 into 1 4.713 * [backup-simplify]: Simplify (/ 1 1) into 1 4.713 * [taylor]: Taking taylor expansion of d1 in d3 4.713 * [backup-simplify]: Simplify d1 into d1 4.714 * [backup-simplify]: Simplify (+ 0 1) into 1 4.714 * [backup-simplify]: Simplify (- 1) into -1 4.714 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.714 * [backup-simplify]: Simplify (* 1 -1) into -1 4.715 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 4.715 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) d1) in d1 4.715 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) in d1 4.715 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 4.715 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 4.715 * [taylor]: Taking taylor expansion of d2 in d1 4.715 * [backup-simplify]: Simplify d2 into d2 4.715 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.715 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 4.715 * [taylor]: Taking taylor expansion of d3 in d1 4.715 * [backup-simplify]: Simplify d3 into d3 4.715 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.715 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1 4.715 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 4.715 * [taylor]: Taking taylor expansion of d2 in d1 4.715 * [backup-simplify]: Simplify d2 into d2 4.715 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.715 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 4.715 * [taylor]: Taking taylor expansion of d3 in d1 4.715 * [backup-simplify]: Simplify d3 into d3 4.715 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.715 * [taylor]: Taking taylor expansion of d1 in d1 4.715 * [backup-simplify]: Simplify 0 into 0 4.715 * [backup-simplify]: Simplify 1 into 1 4.715 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 4.715 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 4.715 * [backup-simplify]: Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3)) 4.715 * [backup-simplify]: Simplify (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) into (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) 4.715 * [backup-simplify]: Simplify (/ (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) 1) into (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) 4.715 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) d1) in d1 4.715 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) in d1 4.715 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 4.715 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 4.715 * [taylor]: Taking taylor expansion of d2 in d1 4.715 * [backup-simplify]: Simplify d2 into d2 4.716 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.716 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 4.716 * [taylor]: Taking taylor expansion of d3 in d1 4.716 * [backup-simplify]: Simplify d3 into d3 4.716 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.716 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1 4.716 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 4.716 * [taylor]: Taking taylor expansion of d2 in d1 4.716 * [backup-simplify]: Simplify d2 into d2 4.716 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.716 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 4.716 * [taylor]: Taking taylor expansion of d3 in d1 4.716 * [backup-simplify]: Simplify d3 into d3 4.716 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.716 * [taylor]: Taking taylor expansion of d1 in d1 4.716 * [backup-simplify]: Simplify 0 into 0 4.716 * [backup-simplify]: Simplify 1 into 1 4.716 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 4.716 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 4.716 * [backup-simplify]: Simplify (+ (/ 1 d2) (- (/ 1 d3))) into (- (/ 1 d2) (/ 1 d3)) 4.716 * [backup-simplify]: Simplify (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) into (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) 4.716 * [backup-simplify]: Simplify (/ (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) 1) into (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) 4.716 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) in d3 4.716 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 4.716 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 4.716 * [taylor]: Taking taylor expansion of d2 in d3 4.716 * [backup-simplify]: Simplify d2 into d2 4.716 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.716 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 4.716 * [taylor]: Taking taylor expansion of d3 in d3 4.716 * [backup-simplify]: Simplify 0 into 0 4.716 * [backup-simplify]: Simplify 1 into 1 4.717 * [backup-simplify]: Simplify (/ 1 1) into 1 4.717 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d3 4.717 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 4.717 * [taylor]: Taking taylor expansion of d2 in d3 4.717 * [backup-simplify]: Simplify d2 into d2 4.717 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.717 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 4.717 * [taylor]: Taking taylor expansion of d3 in d3 4.717 * [backup-simplify]: Simplify 0 into 0 4.717 * [backup-simplify]: Simplify 1 into 1 4.717 * [backup-simplify]: Simplify (/ 1 1) into 1 4.717 * [backup-simplify]: Simplify (+ 0 1) into 1 4.718 * [backup-simplify]: Simplify (- 1) into -1 4.718 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.718 * [backup-simplify]: Simplify (* 1 -1) into -1 4.718 * [taylor]: Taking taylor expansion of -1 in d2 4.718 * [backup-simplify]: Simplify -1 into -1 4.718 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 4.718 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 4.719 * [backup-simplify]: Simplify (- 0) into 0 4.719 * [backup-simplify]: Simplify (+ 0 0) into 0 4.719 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 4.719 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 4.719 * [backup-simplify]: Simplify (+ 0 0) into 0 4.720 * [backup-simplify]: Simplify (+ (* (+ (/ 1 d2) (/ 1 d3)) 0) (* 0 (- (/ 1 d2) (/ 1 d3)))) into 0 4.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) (/ 0 1)))) into 0 4.720 * [taylor]: Taking taylor expansion of 0 in d3 4.720 * [backup-simplify]: Simplify 0 into 0 4.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.721 * [backup-simplify]: Simplify (- 0) into 0 4.721 * [backup-simplify]: Simplify (+ (/ 1 d2) 0) into (/ 1 d2) 4.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.722 * [backup-simplify]: Simplify (+ (/ 1 d2) 0) into (/ 1 d2) 4.722 * [backup-simplify]: Simplify (+ (* 1 (/ 1 d2)) (* (/ 1 d2) -1)) into 0 4.722 * [taylor]: Taking taylor expansion of 0 in d2 4.722 * [backup-simplify]: Simplify 0 into 0 4.722 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.722 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 4.722 * [backup-simplify]: Simplify (- 0) into 0 4.723 * [backup-simplify]: Simplify (+ 0 0) into 0 4.723 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.723 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 4.723 * [backup-simplify]: Simplify (+ 0 0) into 0 4.723 * [backup-simplify]: Simplify (+ (* (+ (/ 1 d2) (/ 1 d3)) 0) (+ (* 0 0) (* 0 (- (/ 1 d2) (/ 1 d3))))) into 0 4.725 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.725 * [taylor]: Taking taylor expansion of 0 in d3 4.725 * [backup-simplify]: Simplify 0 into 0 4.725 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 4.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.726 * [backup-simplify]: Simplify (- 0) into 0 4.726 * [backup-simplify]: Simplify (+ 0 0) into 0 4.726 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 4.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.727 * [backup-simplify]: Simplify (+ 0 0) into 0 4.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 d2) (/ 1 d2)) (* 0 -1))) into (/ 1 (pow d2 2)) 4.728 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 4.728 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 4.728 * [taylor]: Taking taylor expansion of d2 in d2 4.728 * [backup-simplify]: Simplify 0 into 0 4.728 * [backup-simplify]: Simplify 1 into 1 4.728 * [backup-simplify]: Simplify (* 1 1) into 1 4.728 * [backup-simplify]: Simplify (/ 1 1) into 1 4.728 * [backup-simplify]: Simplify 1 into 1 4.729 * [backup-simplify]: Simplify -1 into -1 4.729 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.729 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 4.729 * [backup-simplify]: Simplify (- 0) into 0 4.729 * [backup-simplify]: Simplify (+ 0 0) into 0 4.730 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.730 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 4.730 * [backup-simplify]: Simplify (+ 0 0) into 0 4.731 * [backup-simplify]: Simplify (+ (* (+ (/ 1 d2) (/ 1 d3)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 d2) (/ 1 d3)))))) into 0 4.732 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.732 * [taylor]: Taking taylor expansion of 0 in d3 4.732 * [backup-simplify]: Simplify 0 into 0 4.732 * [taylor]: Taking taylor expansion of 0 in d2 4.732 * [backup-simplify]: Simplify 0 into 0 4.732 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.733 * [backup-simplify]: Simplify (- 0) into 0 4.734 * [backup-simplify]: Simplify (+ 0 0) into 0 4.734 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.735 * [backup-simplify]: Simplify (+ 0 0) into 0 4.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 d2) 0) (+ (* 0 (/ 1 d2)) (* 0 -1)))) into 0 4.735 * [taylor]: Taking taylor expansion of 0 in d2 4.735 * [backup-simplify]: Simplify 0 into 0 4.736 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.736 * [backup-simplify]: Simplify 0 into 0 4.736 * [backup-simplify]: Simplify 0 into 0 4.737 * [backup-simplify]: Simplify 0 into 0 4.737 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.737 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 4.737 * [backup-simplify]: Simplify (- 0) into 0 4.737 * [backup-simplify]: Simplify (+ 0 0) into 0 4.738 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.738 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 4.738 * [backup-simplify]: Simplify (+ 0 0) into 0 4.739 * [backup-simplify]: Simplify (+ (* (+ (/ 1 d2) (/ 1 d3)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 d2) (/ 1 d3))))))) into 0 4.743 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d2) (/ 1 d3))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.743 * [taylor]: Taking taylor expansion of 0 in d3 4.743 * [backup-simplify]: Simplify 0 into 0 4.743 * [taylor]: Taking taylor expansion of 0 in d2 4.743 * [backup-simplify]: Simplify 0 into 0 4.743 * [taylor]: Taking taylor expansion of 0 in d2 4.743 * [backup-simplify]: Simplify 0 into 0 4.743 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.744 * [backup-simplify]: Simplify (- 0) into 0 4.744 * [backup-simplify]: Simplify (+ 0 0) into 0 4.744 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.745 * [backup-simplify]: Simplify (+ 0 0) into 0 4.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 d2) 0) (+ (* 0 0) (+ (* 0 (/ 1 d2)) (* 0 -1))))) into 0 4.746 * [taylor]: Taking taylor expansion of 0 in d2 4.746 * [backup-simplify]: Simplify 0 into 0 4.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.747 * [backup-simplify]: Simplify 0 into 0 4.747 * [backup-simplify]: Simplify 0 into 0 4.747 * [backup-simplify]: Simplify 0 into 0 4.748 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (pow (/ 1 d3) -2) (/ 1 (/ 1 d1))))) (* 1 (* (pow (/ 1 d2) -2) (* 1 (/ 1 (/ 1 d1)))))) into (- (* (pow d2 2) d1) (* (pow d3 2) d1)) 4.748 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (+ (/ 1 (- d3)) (/ 1 (- d2))) (- (/ 1 (- d2)) (/ 1 (- d3))))) into (/ (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) d1) 4.748 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) d1) in (d1 d3 d2) around 0 4.748 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) d1) in d2 4.748 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) in d2 4.748 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 4.748 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 4.748 * [taylor]: Taking taylor expansion of d2 in d2 4.748 * [backup-simplify]: Simplify 0 into 0 4.748 * [backup-simplify]: Simplify 1 into 1 4.748 * [backup-simplify]: Simplify (/ 1 1) into 1 4.748 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 4.748 * [taylor]: Taking taylor expansion of d3 in d2 4.748 * [backup-simplify]: Simplify d3 into d3 4.748 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.748 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d2 4.748 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 4.748 * [taylor]: Taking taylor expansion of d3 in d2 4.748 * [backup-simplify]: Simplify d3 into d3 4.748 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.749 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 4.749 * [taylor]: Taking taylor expansion of d2 in d2 4.749 * [backup-simplify]: Simplify 0 into 0 4.749 * [backup-simplify]: Simplify 1 into 1 4.749 * [backup-simplify]: Simplify (/ 1 1) into 1 4.749 * [taylor]: Taking taylor expansion of d1 in d2 4.749 * [backup-simplify]: Simplify d1 into d1 4.749 * [backup-simplify]: Simplify (+ 1 0) into 1 4.749 * [backup-simplify]: Simplify (- 1) into -1 4.750 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.750 * [backup-simplify]: Simplify (* 1 -1) into -1 4.750 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 4.750 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) d1) in d3 4.750 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) in d3 4.750 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 4.750 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 4.750 * [taylor]: Taking taylor expansion of d2 in d3 4.750 * [backup-simplify]: Simplify d2 into d2 4.750 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.750 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 4.750 * [taylor]: Taking taylor expansion of d3 in d3 4.750 * [backup-simplify]: Simplify 0 into 0 4.750 * [backup-simplify]: Simplify 1 into 1 4.750 * [backup-simplify]: Simplify (/ 1 1) into 1 4.750 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d3 4.751 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 4.751 * [taylor]: Taking taylor expansion of d3 in d3 4.751 * [backup-simplify]: Simplify 0 into 0 4.751 * [backup-simplify]: Simplify 1 into 1 4.751 * [backup-simplify]: Simplify (/ 1 1) into 1 4.751 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 4.751 * [taylor]: Taking taylor expansion of d2 in d3 4.751 * [backup-simplify]: Simplify d2 into d2 4.751 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.751 * [taylor]: Taking taylor expansion of d1 in d3 4.751 * [backup-simplify]: Simplify d1 into d1 4.751 * [backup-simplify]: Simplify (+ 0 1) into 1 4.752 * [backup-simplify]: Simplify (+ 1 0) into 1 4.752 * [backup-simplify]: Simplify (* 1 1) into 1 4.752 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 4.752 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) d1) in d1 4.752 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) in d1 4.752 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 4.752 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 4.752 * [taylor]: Taking taylor expansion of d2 in d1 4.752 * [backup-simplify]: Simplify d2 into d2 4.752 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.752 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 4.752 * [taylor]: Taking taylor expansion of d3 in d1 4.752 * [backup-simplify]: Simplify d3 into d3 4.752 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.752 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1 4.752 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 4.752 * [taylor]: Taking taylor expansion of d3 in d1 4.752 * [backup-simplify]: Simplify d3 into d3 4.752 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.752 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 4.752 * [taylor]: Taking taylor expansion of d2 in d1 4.752 * [backup-simplify]: Simplify d2 into d2 4.752 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.752 * [taylor]: Taking taylor expansion of d1 in d1 4.752 * [backup-simplify]: Simplify 0 into 0 4.752 * [backup-simplify]: Simplify 1 into 1 4.752 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 4.752 * [backup-simplify]: Simplify (- (/ 1 d2)) into (- (/ 1 d2)) 4.752 * [backup-simplify]: Simplify (+ (/ 1 d3) (- (/ 1 d2))) into (- (/ 1 d3) (/ 1 d2)) 4.753 * [backup-simplify]: Simplify (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) into (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) 4.753 * [backup-simplify]: Simplify (/ (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) 1) into (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) 4.753 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) d1) in d1 4.753 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) in d1 4.753 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 4.753 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 4.753 * [taylor]: Taking taylor expansion of d2 in d1 4.753 * [backup-simplify]: Simplify d2 into d2 4.753 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.753 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 4.753 * [taylor]: Taking taylor expansion of d3 in d1 4.753 * [backup-simplify]: Simplify d3 into d3 4.753 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.753 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1 4.753 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 4.753 * [taylor]: Taking taylor expansion of d3 in d1 4.753 * [backup-simplify]: Simplify d3 into d3 4.753 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 4.753 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 4.753 * [taylor]: Taking taylor expansion of d2 in d1 4.753 * [backup-simplify]: Simplify d2 into d2 4.753 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.753 * [taylor]: Taking taylor expansion of d1 in d1 4.753 * [backup-simplify]: Simplify 0 into 0 4.753 * [backup-simplify]: Simplify 1 into 1 4.753 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 4.753 * [backup-simplify]: Simplify (- (/ 1 d2)) into (- (/ 1 d2)) 4.753 * [backup-simplify]: Simplify (+ (/ 1 d3) (- (/ 1 d2))) into (- (/ 1 d3) (/ 1 d2)) 4.753 * [backup-simplify]: Simplify (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) into (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) 4.754 * [backup-simplify]: Simplify (/ (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) 1) into (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) 4.754 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) in d3 4.754 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 4.754 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 4.754 * [taylor]: Taking taylor expansion of d2 in d3 4.754 * [backup-simplify]: Simplify d2 into d2 4.754 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.754 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 4.754 * [taylor]: Taking taylor expansion of d3 in d3 4.754 * [backup-simplify]: Simplify 0 into 0 4.754 * [backup-simplify]: Simplify 1 into 1 4.754 * [backup-simplify]: Simplify (/ 1 1) into 1 4.754 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d3 4.754 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 4.754 * [taylor]: Taking taylor expansion of d3 in d3 4.754 * [backup-simplify]: Simplify 0 into 0 4.754 * [backup-simplify]: Simplify 1 into 1 4.755 * [backup-simplify]: Simplify (/ 1 1) into 1 4.755 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 4.755 * [taylor]: Taking taylor expansion of d2 in d3 4.755 * [backup-simplify]: Simplify d2 into d2 4.755 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 4.756 * [backup-simplify]: Simplify (+ 0 1) into 1 4.756 * [backup-simplify]: Simplify (+ 1 0) into 1 4.757 * [backup-simplify]: Simplify (* 1 1) into 1 4.757 * [taylor]: Taking taylor expansion of 1 in d2 4.757 * [backup-simplify]: Simplify 1 into 1 4.757 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 4.757 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 4.758 * [backup-simplify]: Simplify (- 0) into 0 4.758 * [backup-simplify]: Simplify (+ 0 0) into 0 4.758 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 4.758 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 4.759 * [backup-simplify]: Simplify (+ 0 0) into 0 4.759 * [backup-simplify]: Simplify (+ (* (+ (/ 1 d2) (/ 1 d3)) 0) (* 0 (- (/ 1 d3) (/ 1 d2)))) into 0 4.760 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) (/ 0 1)))) into 0 4.760 * [taylor]: Taking taylor expansion of 0 in d3 4.760 * [backup-simplify]: Simplify 0 into 0 4.761 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.761 * [backup-simplify]: Simplify (- (/ 1 d2)) into (- (/ 1 d2)) 4.761 * [backup-simplify]: Simplify (+ 0 (- (/ 1 d2))) into (- (/ 1 d2)) 4.762 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.762 * [backup-simplify]: Simplify (+ (/ 1 d2) 0) into (/ 1 d2) 4.762 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 d2))) (* (/ 1 d2) 1)) into 0 4.762 * [taylor]: Taking taylor expansion of 0 in d2 4.762 * [backup-simplify]: Simplify 0 into 0 4.763 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 4.763 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.763 * [backup-simplify]: Simplify (- 0) into 0 4.764 * [backup-simplify]: Simplify (+ 0 0) into 0 4.764 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.764 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 4.764 * [backup-simplify]: Simplify (+ 0 0) into 0 4.765 * [backup-simplify]: Simplify (+ (* (+ (/ 1 d2) (/ 1 d3)) 0) (+ (* 0 0) (* 0 (- (/ 1 d3) (/ 1 d2))))) into 0 4.767 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.767 * [taylor]: Taking taylor expansion of 0 in d3 4.767 * [backup-simplify]: Simplify 0 into 0 4.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.768 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 4.768 * [backup-simplify]: Simplify (- 0) into 0 4.769 * [backup-simplify]: Simplify (+ 0 0) into 0 4.769 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 4.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.770 * [backup-simplify]: Simplify (+ 0 0) into 0 4.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 d2) (- (/ 1 d2))) (* 0 1))) into (- (/ 1 (pow d2 2))) 4.771 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d2 2))) in d2 4.771 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 4.771 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 4.771 * [taylor]: Taking taylor expansion of d2 in d2 4.771 * [backup-simplify]: Simplify 0 into 0 4.771 * [backup-simplify]: Simplify 1 into 1 4.772 * [backup-simplify]: Simplify (* 1 1) into 1 4.772 * [backup-simplify]: Simplify (/ 1 1) into 1 4.773 * [backup-simplify]: Simplify (- 1) into -1 4.773 * [backup-simplify]: Simplify -1 into -1 4.773 * [backup-simplify]: Simplify 1 into 1 4.773 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 4.773 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.773 * [backup-simplify]: Simplify (- 0) into 0 4.774 * [backup-simplify]: Simplify (+ 0 0) into 0 4.774 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.774 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 4.775 * [backup-simplify]: Simplify (+ 0 0) into 0 4.776 * [backup-simplify]: Simplify (+ (* (+ (/ 1 d2) (/ 1 d3)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 d3) (/ 1 d2)))))) into 0 4.778 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.778 * [taylor]: Taking taylor expansion of 0 in d3 4.778 * [backup-simplify]: Simplify 0 into 0 4.779 * [taylor]: Taking taylor expansion of 0 in d2 4.779 * [backup-simplify]: Simplify 0 into 0 4.779 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.780 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.780 * [backup-simplify]: Simplify (- 0) into 0 4.780 * [backup-simplify]: Simplify (+ 0 0) into 0 4.780 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.781 * [backup-simplify]: Simplify (+ 0 0) into 0 4.782 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 d2) 0) (+ (* 0 (- (/ 1 d2))) (* 0 1)))) into 0 4.782 * [taylor]: Taking taylor expansion of 0 in d2 4.782 * [backup-simplify]: Simplify 0 into 0 4.782 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.783 * [backup-simplify]: Simplify (- 0) into 0 4.783 * [backup-simplify]: Simplify 0 into 0 4.783 * [backup-simplify]: Simplify 0 into 0 4.783 * [backup-simplify]: Simplify 0 into 0 4.783 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 4.783 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.783 * [backup-simplify]: Simplify (- 0) into 0 4.784 * [backup-simplify]: Simplify (+ 0 0) into 0 4.784 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.784 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 4.784 * [backup-simplify]: Simplify (+ 0 0) into 0 4.785 * [backup-simplify]: Simplify (+ (* (+ (/ 1 d2) (/ 1 d3)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 d3) (/ 1 d2))))))) into 0 4.787 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 d2) (/ 1 d3)) (- (/ 1 d3) (/ 1 d2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.787 * [taylor]: Taking taylor expansion of 0 in d3 4.787 * [backup-simplify]: Simplify 0 into 0 4.787 * [taylor]: Taking taylor expansion of 0 in d2 4.787 * [backup-simplify]: Simplify 0 into 0 4.787 * [taylor]: Taking taylor expansion of 0 in d2 4.787 * [backup-simplify]: Simplify 0 into 0 4.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.788 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.788 * [backup-simplify]: Simplify (- 0) into 0 4.788 * [backup-simplify]: Simplify (+ 0 0) into 0 4.788 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 4.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.789 * [backup-simplify]: Simplify (+ 0 0) into 0 4.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 d2) 0) (+ (* 0 0) (+ (* 0 (- (/ 1 d2))) (* 0 1))))) into 0 4.790 * [taylor]: Taking taylor expansion of 0 in d2 4.790 * [backup-simplify]: Simplify 0 into 0 4.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.792 * [backup-simplify]: Simplify (- 0) into 0 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (pow (/ 1 (- d3)) -2) (/ 1 (/ 1 (- d1)))))) (* -1 (* (pow (/ 1 (- d2)) -2) (* 1 (/ 1 (/ 1 (- d1))))))) into (- (* (pow d2 2) d1) (* (pow d3 2) d1)) 4.792 * * * [progress]: simplifying candidates 4.792 * * * * [progress]: [ 1 / 79 ] simplifiying candidate # 4.792 * * * * [progress]: [ 2 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 3 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 4 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 5 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 6 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 7 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 8 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 9 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 10 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 11 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 12 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 13 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 14 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 15 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 16 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 17 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 18 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 19 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 20 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 21 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 22 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 23 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 24 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 25 / 79 ] simplifiying candidate # 4.793 * * * * [progress]: [ 26 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 27 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 28 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 29 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 30 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 31 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 32 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 33 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 34 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 35 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 36 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 37 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 38 / 79 ] simplifiying candidate #real (real->posit16 (/ (* d1 (* (+ d3 d2) (- d2 d3))) (- d2 d3)))))> 4.794 * * * * [progress]: [ 39 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 40 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 41 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 42 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 43 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 44 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 45 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 46 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 47 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 48 / 79 ] simplifiying candidate # 4.794 * * * * [progress]: [ 49 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 50 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 51 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 52 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 53 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 54 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 55 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 56 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 57 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 58 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 59 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 60 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 61 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 62 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 63 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 64 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 65 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 66 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 67 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 68 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 69 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 70 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 71 / 79 ] simplifiying candidate # 4.795 * * * * [progress]: [ 72 / 79 ] simplifiying candidate #real (real->posit16 (* d1 (* (+ d3 d2) (- d2 d3))))) (- d2 d3)))> 4.795 * * * * [progress]: [ 73 / 79 ] simplifiying candidate # 4.796 * * * * [progress]: [ 74 / 79 ] simplifiying candidate # 4.796 * * * * [progress]: [ 75 / 79 ] simplifiying candidate # 4.796 * * * * [progress]: [ 76 / 79 ] simplifiying candidate # 4.796 * * * * [progress]: [ 77 / 79 ] simplifiying candidate # 4.796 * * * * [progress]: [ 78 / 79 ] simplifiying candidate # 4.796 * * * * [progress]: [ 79 / 79 ] simplifiying candidate # 4.796 * [simplify]: Simplifying (- (+ (log d1) (+ (log (+ d3 d2)) (log (- d2 d3)))) (log (- d2 d3))), (- (+ (log d1) (log (* (+ d3 d2) (- d2 d3)))) (log (- d2 d3))), (- (log (* d1 (* (+ d3 d2) (- d2 d3)))) (log (- d2 d3))), (log (/ (* d1 (* (+ d3 d2) (- d2 d3))) (- d2 d3))), (exp (/ (* d1 (* (+ d3 d2) (- d2 d3))) (- d2 d3))), (/ (* (* (* d1 d1) d1) (* (* (* (+ d3 d2) (+ d3 d2)) (+ d3 d2)) (* (* (- d2 d3) (- d2 d3)) (- d2 d3)))) (* (* (- d2 d3) (- d2 d3)) (- d2 d3))), (/ (* (* (* d1 d1) d1) (* (* (* (+ d3 d2) (- d2 d3)) (* (+ d3 d2) (- d2 d3))) (* (+ d3 d2) (- d2 d3)))) (* (* (- d2 d3) (- d2 d3)) (- d2 d3))), (/ (* (* (* d1 (* (+ d3 d2) (- d2 d3))) (* d1 (* (+ d3 d2) (- d2 d3)))) (* d1 (* (+ d3 d2) (- d2 d3)))) (* (* (- d2 d3) (- d2 d3)) (- d2 d3))), (* (cbrt (/ (* d1 (* (+ d3 d2) (- d2 d3))) (- d2 d3))) (cbrt (/ (* d1 (* (+ d3 d2) (- d2 d3))) (- d2 d3)))), (cbrt (/ (* d1 (* (+ d3 d2) (- d2 d3))) (- d2 d3))), (* (* (/ (* d1 (* (+ d3 d2) (- d2 d3))) (- d2 d3)) (/ (* d1 (* (+ d3 d2) (- d2 d3))) (- d2 d3))) (/ (* d1 (* (+ d3 d2) (- d2 d3))) (- d2 d3))), (sqrt (/ (* d1 (* (+ d3 d2) (- d2 d3))) (- d2 d3))), (sqrt (/ (* d1 (* (+ d3 d2) (- d2 d3))) (- d2 d3))), (- (* d1 (* (+ d3 d2) (- d2 d3)))), (- (- d2 d3)), (/ d1 (* (cbrt (- d2 d3)) (cbrt (- d2 d3)))), (/ (* (+ d3 d2) (- d2 d3)) (cbrt (- d2 d3))), (/ d1 (sqrt (- d2 d3))), (/ (* (+ d3 d2) (- d2 d3)) (sqrt (- d2 d3))), (/ d1 1), (/ (* (+ d3 d2) (- d2 d3)) (- d2 d3)), (/ d1 (+ (sqrt d2) (sqrt d3))), (/ (* (+ d3 d2) (- d2 d3)) (- (sqrt d2) (sqrt d3))), (/ d1 1), (/ (* (+ d3 d2) (- d2 d3)) (- d2 d3)), (/ 1 (- d2 d3)), (/ (- d2 d3) (* d1 (* (+ d3 d2) (- d2 d3)))), (/ (* d1 (* (+ d3 d2) (- d2 d3))) (* (cbrt (- d2 d3)) (cbrt (- d2 d3)))), (/ (* d1 (* (+ d3 d2) (- d2 d3))) (sqrt (- d2 d3))), (/ (* d1 (* (+ d3 d2) (- d2 d3))) 1), (/ (* d1 (* (+ d3 d2) (- d2 d3))) (+ (sqrt d2) (sqrt d3))), (/ (* d1 (* (+ d3 d2) (- d2 d3))) 1), (/ (- d2 d3) (* (+ d3 d2) (- d2 d3))), (/ (* d1 (* (+ d3 d2) (- d2 d3))) (- (pow d2 3) (pow d3 3))), (/ (* d1 (* (+ d3 d2) (- d2 d3))) (- (* d2 d2) (* d3 d3))), (* (- d2 d3) (* (+ (* d3 d3) (- (* d2 d2) (* d3 d2))) (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))))), (* (- d2 d3) (* (+ (* d3 d3) (- (* d2 d2) (* d3 d2))) (+ d2 d3))), (* (- d2 d3) (* (- d3 d2) (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))))), (* (- d2 d3) (* (- d3 d2) (+ d2 d3))), (* (- d2 d3) (+ (* d2 d2) (+ (* d3 d3) (* d2 d3)))), (* (- d2 d3) (+ d2 d3)), (* (- d2 d3) (+ (* d3 d3) (- (* d2 d2) (* d3 d2)))), (* (- d2 d3) (- d3 d2)), (real->posit16 (/ (* d1 (* (+ d3 d2) (- d2 d3))) (- d2 d3))), (* d1 (* (+ d3 d2) (- d2 d3))), (* d1 (* (+ d3 d2) (- d2 d3))), (+ (log d1) (+ (log (+ d3 d2)) (log (- d2 d3)))), (+ (log d1) (log (* (+ d3 d2) (- d2 d3)))), (log (* d1 (* (+ d3 d2) (- d2 d3)))), (exp (* d1 (* (+ d3 d2) (- d2 d3)))), (* (* (* d1 d1) d1) (* (* (* (+ d3 d2) (+ d3 d2)) (+ d3 d2)) (* (* (- d2 d3) (- d2 d3)) (- d2 d3)))), (* (* (* d1 d1) d1) (* (* (* (+ d3 d2) (- d2 d3)) (* (+ d3 d2) (- d2 d3))) (* (+ d3 d2) (- d2 d3)))), (* (cbrt (* d1 (* (+ d3 d2) (- d2 d3)))) (cbrt (* d1 (* (+ d3 d2) (- d2 d3))))), (cbrt (* d1 (* (+ d3 d2) (- d2 d3)))), (* (* (* d1 (* (+ d3 d2) (- d2 d3))) (* d1 (* (+ d3 d2) (- d2 d3)))) (* d1 (* (+ d3 d2) (- d2 d3)))), (sqrt (* d1 (* (+ d3 d2) (- d2 d3)))), (sqrt (* d1 (* (+ d3 d2) (- d2 d3)))), (* d1 (* (+ d3 d2) d2)), (* d1 (* (+ d3 d2) (- d3))), (* d1 (* (+ d3 d2) d2)), (* d1 (* (+ d3 d2) (- d3))), (* d1 (* d2 (+ d3 d2))), (* d1 (* (- d3) (+ d3 d2))), (* d1 (* d2 (+ d3 d2))), (* d1 (* (- d3) (+ d3 d2))), (* (* (+ d3 d2) d2) d1), (* (* (+ d3 d2) (- d3)) d1), (* (* (+ d3 d2) d2) d1), (* (* (+ d3 d2) (- d3)) d1), (* (* d2 (+ d3 d2)) d1), (* (* (- d3) (+ d3 d2)) d1), (* (* d2 (+ d3 d2)) d1), (* (* (- d3) (+ d3 d2)) d1), (* d1 (+ d3 d2)), (* (cbrt d1) (* (+ d3 d2) (- d2 d3))), (* (sqrt d1) (* (+ d3 d2) (- d2 d3))), (* d1 (* (+ d3 d2) (- d2 d3))), (* d1 (* (+ (pow d3 3) (pow d2 3)) (- (pow d2 3) (pow d3 3)))), (* d1 (* (+ (pow d3 3) (pow d2 3)) (- (* d2 d2) (* d3 d3)))), (* d1 (* (- (* d3 d3) (* d2 d2)) (- (pow d2 3) (pow d3 3)))), (* d1 (* (- (* d3 d3) (* d2 d2)) (- (* d2 d2) (* d3 d3)))), (* d1 (* (+ d3 d2) (- (pow d2 3) (pow d3 3)))), (* d1 (* (+ d3 d2) (- (* d2 d2) (* d3 d3)))), (* d1 (* (+ (pow d3 3) (pow d2 3)) (- d2 d3))), (* d1 (* (- (* d3 d3) (* d2 d2)) (- d2 d3))), (real->posit16 (* d1 (* (+ d3 d2) (- d2 d3)))), (+ (* d3 d1) (* d2 d1)), (+ (* d2 d1) (* d3 d1)), (+ (* d2 d1) (* d3 d1)), 0, (- (* (pow d2 2) d1) (* (pow d3 2) d1)), (- (* (pow d2 2) d1) (* (pow d3 2) d1)) 4.798 * * [simplify]: iteration 1: (149 enodes) 4.857 * * [simplify]: iteration 2: (709 enodes) 5.152 * * [simplify]: Extracting #0: cost 55 inf + 0 5.153 * * [simplify]: Extracting #1: cost 558 inf + 2 5.159 * * [simplify]: Extracting #2: cost 1020 inf + 1034 5.169 * * [simplify]: Extracting #3: cost 826 inf + 43338 5.206 * * [simplify]: Extracting #4: cost 196 inf + 181351 5.269 * * [simplify]: Extracting #5: cost 16 inf + 222107 5.363 * * [simplify]: Extracting #6: cost 0 inf + 222789 5.439 * * [simplify]: Extracting #7: cost 0 inf + 222658 5.513 * [simplify]: Simplified to (log (/ d1 (/ 1 (+ d2 d3)))), (log (/ d1 (/ 1 (+ d2 d3)))), (log (/ d1 (/ 1 (+ d2 d3)))), (log (/ d1 (/ 1 (+ d2 d3)))), (exp (/ d1 (/ 1 (+ d2 d3)))), (* (* (/ d1 (/ 1 (+ d2 d3))) (/ d1 (/ 1 (+ d2 d3)))) (/ d1 (/ 1 (+ d2 d3)))), (* (* (/ d1 (/ 1 (+ d2 d3))) (/ d1 (/ 1 (+ d2 d3)))) (/ d1 (/ 1 (+ d2 d3)))), (* (* (/ d1 (/ 1 (+ d2 d3))) (/ d1 (/ 1 (+ d2 d3)))) (/ d1 (/ 1 (+ d2 d3)))), (* (cbrt (/ d1 (/ 1 (+ d2 d3)))) (cbrt (/ d1 (/ 1 (+ d2 d3))))), (cbrt (/ d1 (/ 1 (+ d2 d3)))), (* (* (/ d1 (/ 1 (+ d2 d3))) (/ d1 (/ 1 (+ d2 d3)))) (/ d1 (/ 1 (+ d2 d3)))), (sqrt (/ d1 (/ 1 (+ d2 d3)))), (sqrt (/ d1 (/ 1 (+ d2 d3)))), (* d1 (* (+ d2 d3) (- (- d2 d3)))), (- (- d2 d3)), (/ (/ d1 (cbrt (- d2 d3))) (cbrt (- d2 d3))), (/ (+ d2 d3) (/ (cbrt (- d2 d3)) (- d2 d3))), (/ d1 (sqrt (- d2 d3))), (/ (- d2 d3) (/ (sqrt (- d2 d3)) (+ d2 d3))), d1, (/ (+ d2 d3) 1), (/ d1 (+ (sqrt d3) (sqrt d2))), (/ (- d2 d3) (/ (- (sqrt d2) (sqrt d3)) (+ d2 d3))), d1, (/ (+ d2 d3) 1), (/ 1 (- d2 d3)), (/ (/ (/ (- d2 d3) d1) (+ d2 d3)) (- d2 d3)), (/ (* (/ d1 (cbrt (- d2 d3))) (+ d2 d3)) (/ (cbrt (- d2 d3)) (- d2 d3))), (/ (* (* d1 (- d2 d3)) (+ d2 d3)) (sqrt (- d2 d3))), (* (* d1 (- d2 d3)) (+ d2 d3)), (/ (* (* d1 (- d2 d3)) (+ d2 d3)) (+ (sqrt d3) (sqrt d2))), (* (* d1 (- d2 d3)) (+ d2 d3)), (/ 1 (+ d2 d3)), (/ d1 (/ (- (* d2 (* d2 d2)) (* d3 (* d3 d3))) (- (* d2 d2) (* d3 d3)))), (/ d1 (* 1 (/ (+ d2 d3) (+ d2 d3)))), (* (* (+ (* d2 (- d2 d3)) (* d3 d3)) (- d2 d3)) (+ (* (+ d2 d3) d2) (* d3 d3))), (* (- (* d2 d2) (* d3 d3)) (+ (* d2 (- d2 d3)) (* d3 d3))), (* (* (- d3 d2) (- d2 d3)) (+ (* (+ d2 d3) d2) (* d3 d3))), (* (- d2 d3) (- (* d3 d3) (* d2 d2))), (* (- d2 d3) (+ (* (+ d2 d3) d2) (* d3 d3))), (- (* d2 d2) (* d3 d3)), (* (+ (* d2 (- d2 d3)) (* d3 d3)) (- d2 d3)), (* (- d3 d2) (- d2 d3)), (real->posit16 (/ d1 (/ 1 (+ d2 d3)))), (* (* d1 (- d2 d3)) (+ d2 d3)), (* (* d1 (- d2 d3)) (+ d2 d3)), (log (* (* d1 (- d2 d3)) (+ d2 d3))), (log (* (* d1 (- d2 d3)) (+ d2 d3))), (log (* (* d1 (- d2 d3)) (+ d2 d3))), (exp (* (* d1 (- d2 d3)) (+ d2 d3))), (* (* (* (* d1 (- d2 d3)) (+ d2 d3)) (* (* d1 (- d2 d3)) (+ d2 d3))) (* (* d1 (- d2 d3)) (+ d2 d3))), (* (* (* (* d1 (- d2 d3)) (+ d2 d3)) (* (* d1 (- d2 d3)) (+ d2 d3))) (* (* d1 (- d2 d3)) (+ d2 d3))), (* (cbrt (* (* d1 (- d2 d3)) (+ d2 d3))) (cbrt (* (* d1 (- d2 d3)) (+ d2 d3)))), (cbrt (* (* d1 (- d2 d3)) (+ d2 d3))), (* (* (* (* d1 (- d2 d3)) (+ d2 d3)) (* (* d1 (- d2 d3)) (+ d2 d3))) (* (* d1 (- d2 d3)) (+ d2 d3))), (sqrt (* (* d1 (- d2 d3)) (+ d2 d3))), (sqrt (* (* d1 (- d2 d3)) (+ d2 d3))), (* (* d2 d1) (+ d2 d3)), (* d1 (* (- (+ d2 d3)) d3)), (* (* d2 d1) (+ d2 d3)), (* d1 (* (- (+ d2 d3)) d3)), (* (* d2 d1) (+ d2 d3)), (* d1 (* (- (+ d2 d3)) d3)), (* (* d2 d1) (+ d2 d3)), (* d1 (* (- (+ d2 d3)) d3)), (* (* d2 d1) (+ d2 d3)), (* d1 (* (- (+ d2 d3)) d3)), (* (* d2 d1) (+ d2 d3)), (* d1 (* (- (+ d2 d3)) d3)), (* (* d2 d1) (+ d2 d3)), (* d1 (* (- (+ d2 d3)) d3)), (* (* d2 d1) (+ d2 d3)), (* d1 (* (- (+ d2 d3)) d3)), (* d1 (+ d2 d3)), (* (- (* d2 d2) (* d3 d3)) (cbrt d1)), (* (sqrt d1) (- (* d2 d2) (* d3 d3))), (* (* d1 (- d2 d3)) (+ d2 d3)), (* (- (* d2 (* d2 d2)) (* d3 (* d3 d3))) (* (+ (* d3 (* d3 d3)) (* d2 (* d2 d2))) d1)), (* (+ (* d3 (* d3 d3)) (* d2 (* d2 d2))) (* (- (* d2 d2) (* d3 d3)) d1)), (* (* d1 (- (* d2 (* d2 d2)) (* d3 (* d3 d3)))) (- (* d3 d3) (* d2 d2))), (* (- (* d3 d3) (* d2 d2)) (* (- (* d2 d2) (* d3 d3)) d1)), (* (* (+ d2 d3) (- (* d2 (* d2 d2)) (* d3 (* d3 d3)))) d1), (* (* (* d1 (+ d2 d3)) (+ d2 d3)) (- d2 d3)), (* (* d1 (- d2 d3)) (+ (* d3 (* d3 d3)) (* d2 (* d2 d2)))), (* (* d1 (- d2 d3)) (- (* d3 d3) (* d2 d2))), (real->posit16 (* (* d1 (- d2 d3)) (+ d2 d3))), (* d1 (+ d2 d3)), (* d1 (+ d2 d3)), (* d1 (+ d2 d3)), 0, (* (* d1 (- d2 d3)) (+ d2 d3)), (* (* d1 (- d2 d3)) (+ d2 d3)) 5.521 * * * [progress]: adding candidates to table 6.226 * * [progress]: iteration 4 / 4 6.226 * * * [progress]: picking best candidate 6.228 * * * * [pick]: Picked # 6.228 * * * [progress]: localizing error 6.242 * * * [progress]: generating rewritten candidates 6.242 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 6.264 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 6.284 * * * [progress]: generating series expansions 6.284 * * * * [progress]: [ 1 / 2 ] generating series at (2) 6.285 * [backup-simplify]: Simplify (/ d1 (/ 1 (+ d2 d3))) into (* (+ d3 d2) d1) 6.285 * [approximate]: Taking taylor expansion of (* (+ d3 d2) d1) in (d1 d2 d3) around 0 6.285 * [taylor]: Taking taylor expansion of (* (+ d3 d2) d1) in d3 6.285 * [taylor]: Taking taylor expansion of (+ d3 d2) in d3 6.285 * [taylor]: Taking taylor expansion of d3 in d3 6.285 * [backup-simplify]: Simplify 0 into 0 6.285 * [backup-simplify]: Simplify 1 into 1 6.285 * [taylor]: Taking taylor expansion of d2 in d3 6.285 * [backup-simplify]: Simplify d2 into d2 6.285 * [taylor]: Taking taylor expansion of d1 in d3 6.285 * [backup-simplify]: Simplify d1 into d1 6.285 * [taylor]: Taking taylor expansion of (* (+ d3 d2) d1) in d2 6.285 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2 6.285 * [taylor]: Taking taylor expansion of d3 in d2 6.285 * [backup-simplify]: Simplify d3 into d3 6.285 * [taylor]: Taking taylor expansion of d2 in d2 6.285 * [backup-simplify]: Simplify 0 into 0 6.285 * [backup-simplify]: Simplify 1 into 1 6.285 * [taylor]: Taking taylor expansion of d1 in d2 6.285 * [backup-simplify]: Simplify d1 into d1 6.285 * [taylor]: Taking taylor expansion of (* (+ d3 d2) d1) in d1 6.285 * [taylor]: Taking taylor expansion of (+ d3 d2) in d1 6.285 * [taylor]: Taking taylor expansion of d3 in d1 6.285 * [backup-simplify]: Simplify d3 into d3 6.285 * [taylor]: Taking taylor expansion of d2 in d1 6.285 * [backup-simplify]: Simplify d2 into d2 6.285 * [taylor]: Taking taylor expansion of d1 in d1 6.285 * [backup-simplify]: Simplify 0 into 0 6.285 * [backup-simplify]: Simplify 1 into 1 6.285 * [taylor]: Taking taylor expansion of (* (+ d3 d2) d1) in d1 6.285 * [taylor]: Taking taylor expansion of (+ d3 d2) in d1 6.285 * [taylor]: Taking taylor expansion of d3 in d1 6.285 * [backup-simplify]: Simplify d3 into d3 6.285 * [taylor]: Taking taylor expansion of d2 in d1 6.286 * [backup-simplify]: Simplify d2 into d2 6.286 * [taylor]: Taking taylor expansion of d1 in d1 6.286 * [backup-simplify]: Simplify 0 into 0 6.286 * [backup-simplify]: Simplify 1 into 1 6.287 * [backup-simplify]: Simplify (+ d3 d2) into (+ d3 d2) 6.287 * [backup-simplify]: Simplify (* (+ d3 d2) 0) into 0 6.287 * [taylor]: Taking taylor expansion of 0 in d2 6.287 * [backup-simplify]: Simplify 0 into 0 6.287 * [taylor]: Taking taylor expansion of 0 in d3 6.287 * [backup-simplify]: Simplify 0 into 0 6.287 * [backup-simplify]: Simplify 0 into 0 6.288 * [backup-simplify]: Simplify (+ 0 0) into 0 6.289 * [backup-simplify]: Simplify (+ (* (+ d3 d2) 1) (* 0 0)) into (+ d3 d2) 6.289 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2 6.289 * [taylor]: Taking taylor expansion of d3 in d2 6.289 * [backup-simplify]: Simplify d3 into d3 6.289 * [taylor]: Taking taylor expansion of d2 in d2 6.289 * [backup-simplify]: Simplify 0 into 0 6.289 * [backup-simplify]: Simplify 1 into 1 6.289 * [backup-simplify]: Simplify (+ d3 0) into d3 6.289 * [taylor]: Taking taylor expansion of d3 in d3 6.289 * [backup-simplify]: Simplify 0 into 0 6.289 * [backup-simplify]: Simplify 1 into 1 6.289 * [backup-simplify]: Simplify 0 into 0 6.289 * [taylor]: Taking taylor expansion of 0 in d3 6.289 * [backup-simplify]: Simplify 0 into 0 6.289 * [backup-simplify]: Simplify 0 into 0 6.289 * [backup-simplify]: Simplify 0 into 0 6.290 * [backup-simplify]: Simplify (+ 0 0) into 0 6.290 * [backup-simplify]: Simplify (+ (* (+ d3 d2) 0) (+ (* 0 1) (* 0 0))) into 0 6.290 * [taylor]: Taking taylor expansion of 0 in d2 6.290 * [backup-simplify]: Simplify 0 into 0 6.291 * [taylor]: Taking taylor expansion of 0 in d3 6.291 * [backup-simplify]: Simplify 0 into 0 6.291 * [backup-simplify]: Simplify 0 into 0 6.291 * [backup-simplify]: Simplify (+ 0 1) into 1 6.291 * [taylor]: Taking taylor expansion of 1 in d3 6.291 * [backup-simplify]: Simplify 1 into 1 6.291 * [backup-simplify]: Simplify 1 into 1 6.291 * [taylor]: Taking taylor expansion of 0 in d3 6.291 * [backup-simplify]: Simplify 0 into 0 6.291 * [backup-simplify]: Simplify 0 into 0 6.291 * [backup-simplify]: Simplify 1 into 1 6.291 * [backup-simplify]: Simplify 0 into 0 6.291 * [backup-simplify]: Simplify 0 into 0 6.292 * [backup-simplify]: Simplify (+ 0 0) into 0 6.293 * [backup-simplify]: Simplify (+ (* (+ d3 d2) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.293 * [taylor]: Taking taylor expansion of 0 in d2 6.293 * [backup-simplify]: Simplify 0 into 0 6.293 * [taylor]: Taking taylor expansion of 0 in d3 6.293 * [backup-simplify]: Simplify 0 into 0 6.293 * [backup-simplify]: Simplify 0 into 0 6.293 * [taylor]: Taking taylor expansion of 0 in d3 6.293 * [backup-simplify]: Simplify 0 into 0 6.293 * [backup-simplify]: Simplify 0 into 0 6.293 * [backup-simplify]: Simplify (+ 0 0) into 0 6.293 * [taylor]: Taking taylor expansion of 0 in d3 6.293 * [backup-simplify]: Simplify 0 into 0 6.293 * [backup-simplify]: Simplify 0 into 0 6.293 * [taylor]: Taking taylor expansion of 0 in d3 6.294 * [backup-simplify]: Simplify 0 into 0 6.294 * [backup-simplify]: Simplify 0 into 0 6.294 * [backup-simplify]: Simplify (+ (* 1 (* d3 (* 1 d1))) (* 1 (* 1 (* d2 d1)))) into (+ (* d2 d1) (* d3 d1)) 6.294 * [backup-simplify]: Simplify (/ (/ 1 d1) (/ 1 (+ (/ 1 d2) (/ 1 d3)))) into (/ (+ (/ 1 d2) (/ 1 d3)) d1) 6.294 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in (d1 d2 d3) around 0 6.294 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d3 6.294 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 6.294 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 6.294 * [taylor]: Taking taylor expansion of d2 in d3 6.294 * [backup-simplify]: Simplify d2 into d2 6.294 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 6.294 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.295 * [taylor]: Taking taylor expansion of d3 in d3 6.295 * [backup-simplify]: Simplify 0 into 0 6.295 * [backup-simplify]: Simplify 1 into 1 6.295 * [backup-simplify]: Simplify (/ 1 1) into 1 6.295 * [taylor]: Taking taylor expansion of d1 in d3 6.295 * [backup-simplify]: Simplify d1 into d1 6.295 * [backup-simplify]: Simplify (+ 0 1) into 1 6.296 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 6.296 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d2 6.296 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 6.296 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 6.296 * [taylor]: Taking taylor expansion of d2 in d2 6.296 * [backup-simplify]: Simplify 0 into 0 6.296 * [backup-simplify]: Simplify 1 into 1 6.296 * [backup-simplify]: Simplify (/ 1 1) into 1 6.296 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 6.296 * [taylor]: Taking taylor expansion of d3 in d2 6.296 * [backup-simplify]: Simplify d3 into d3 6.296 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 6.296 * [taylor]: Taking taylor expansion of d1 in d2 6.296 * [backup-simplify]: Simplify d1 into d1 6.297 * [backup-simplify]: Simplify (+ 1 0) into 1 6.297 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 6.297 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d1 6.297 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 6.297 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 6.297 * [taylor]: Taking taylor expansion of d2 in d1 6.297 * [backup-simplify]: Simplify d2 into d2 6.297 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 6.297 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 6.297 * [taylor]: Taking taylor expansion of d3 in d1 6.297 * [backup-simplify]: Simplify d3 into d3 6.297 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 6.297 * [taylor]: Taking taylor expansion of d1 in d1 6.297 * [backup-simplify]: Simplify 0 into 0 6.297 * [backup-simplify]: Simplify 1 into 1 6.297 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 6.297 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) (/ 1 d3)) 1) into (+ (/ 1 d2) (/ 1 d3)) 6.297 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d1 6.297 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 6.297 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 6.297 * [taylor]: Taking taylor expansion of d2 in d1 6.298 * [backup-simplify]: Simplify d2 into d2 6.298 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 6.298 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 6.298 * [taylor]: Taking taylor expansion of d3 in d1 6.298 * [backup-simplify]: Simplify d3 into d3 6.298 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 6.298 * [taylor]: Taking taylor expansion of d1 in d1 6.298 * [backup-simplify]: Simplify 0 into 0 6.298 * [backup-simplify]: Simplify 1 into 1 6.298 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 6.298 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) (/ 1 d3)) 1) into (+ (/ 1 d2) (/ 1 d3)) 6.298 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 6.298 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 6.298 * [taylor]: Taking taylor expansion of d2 in d2 6.298 * [backup-simplify]: Simplify 0 into 0 6.298 * [backup-simplify]: Simplify 1 into 1 6.299 * [backup-simplify]: Simplify (/ 1 1) into 1 6.299 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 6.299 * [taylor]: Taking taylor expansion of d3 in d2 6.299 * [backup-simplify]: Simplify d3 into d3 6.299 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 6.299 * [backup-simplify]: Simplify (+ 1 0) into 1 6.299 * [taylor]: Taking taylor expansion of 1 in d3 6.299 * [backup-simplify]: Simplify 1 into 1 6.299 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 6.300 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 6.300 * [backup-simplify]: Simplify (+ 0 0) into 0 6.301 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) (/ 1 d3)) (/ 0 1)))) into 0 6.301 * [taylor]: Taking taylor expansion of 0 in d2 6.301 * [backup-simplify]: Simplify 0 into 0 6.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.302 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 6.302 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.302 * [taylor]: Taking taylor expansion of d3 in d3 6.302 * [backup-simplify]: Simplify 0 into 0 6.302 * [backup-simplify]: Simplify 1 into 1 6.302 * [backup-simplify]: Simplify (/ 1 1) into 1 6.302 * [backup-simplify]: Simplify 1 into 1 6.302 * [backup-simplify]: Simplify 1 into 1 6.302 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 6.303 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 6.303 * [backup-simplify]: Simplify (+ 0 0) into 0 6.304 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) (/ 1 d3)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.305 * [taylor]: Taking taylor expansion of 0 in d2 6.305 * [backup-simplify]: Simplify 0 into 0 6.305 * [taylor]: Taking taylor expansion of 0 in d3 6.305 * [backup-simplify]: Simplify 0 into 0 6.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.306 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 6.306 * [backup-simplify]: Simplify (+ 0 0) into 0 6.306 * [taylor]: Taking taylor expansion of 0 in d3 6.306 * [backup-simplify]: Simplify 0 into 0 6.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.307 * [backup-simplify]: Simplify 0 into 0 6.307 * [backup-simplify]: Simplify 0 into 0 6.307 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 6.307 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 6.308 * [backup-simplify]: Simplify (+ 0 0) into 0 6.310 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) (/ 1 d3)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.310 * [taylor]: Taking taylor expansion of 0 in d2 6.310 * [backup-simplify]: Simplify 0 into 0 6.310 * [taylor]: Taking taylor expansion of 0 in d3 6.310 * [backup-simplify]: Simplify 0 into 0 6.310 * [taylor]: Taking taylor expansion of 0 in d3 6.310 * [backup-simplify]: Simplify 0 into 0 6.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.311 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 6.311 * [backup-simplify]: Simplify (+ 0 0) into 0 6.311 * [taylor]: Taking taylor expansion of 0 in d3 6.311 * [backup-simplify]: Simplify 0 into 0 6.311 * [backup-simplify]: Simplify 0 into 0 6.311 * [backup-simplify]: Simplify 0 into 0 6.312 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.312 * [backup-simplify]: Simplify 0 into 0 6.312 * [backup-simplify]: Simplify 0 into 0 6.313 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* 1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1)))))) into (+ (* d3 d1) (* d2 d1)) 6.313 * [backup-simplify]: Simplify (/ (/ 1 (- d1)) (/ 1 (+ (/ 1 (- d2)) (/ 1 (- d3))))) into (/ (+ (/ 1 d2) (/ 1 d3)) d1) 6.313 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in (d1 d2 d3) around 0 6.313 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d3 6.313 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 6.313 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 6.313 * [taylor]: Taking taylor expansion of d2 in d3 6.313 * [backup-simplify]: Simplify d2 into d2 6.313 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 6.313 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.313 * [taylor]: Taking taylor expansion of d3 in d3 6.313 * [backup-simplify]: Simplify 0 into 0 6.313 * [backup-simplify]: Simplify 1 into 1 6.314 * [backup-simplify]: Simplify (/ 1 1) into 1 6.314 * [taylor]: Taking taylor expansion of d1 in d3 6.314 * [backup-simplify]: Simplify d1 into d1 6.314 * [backup-simplify]: Simplify (+ 0 1) into 1 6.314 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 6.314 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d2 6.314 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 6.314 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 6.315 * [taylor]: Taking taylor expansion of d2 in d2 6.315 * [backup-simplify]: Simplify 0 into 0 6.315 * [backup-simplify]: Simplify 1 into 1 6.315 * [backup-simplify]: Simplify (/ 1 1) into 1 6.315 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 6.315 * [taylor]: Taking taylor expansion of d3 in d2 6.315 * [backup-simplify]: Simplify d3 into d3 6.315 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 6.315 * [taylor]: Taking taylor expansion of d1 in d2 6.315 * [backup-simplify]: Simplify d1 into d1 6.316 * [backup-simplify]: Simplify (+ 1 0) into 1 6.316 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 6.316 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d1 6.316 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 6.316 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 6.316 * [taylor]: Taking taylor expansion of d2 in d1 6.316 * [backup-simplify]: Simplify d2 into d2 6.316 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 6.316 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 6.316 * [taylor]: Taking taylor expansion of d3 in d1 6.316 * [backup-simplify]: Simplify d3 into d3 6.316 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 6.316 * [taylor]: Taking taylor expansion of d1 in d1 6.316 * [backup-simplify]: Simplify 0 into 0 6.316 * [backup-simplify]: Simplify 1 into 1 6.316 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 6.316 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) (/ 1 d3)) 1) into (+ (/ 1 d2) (/ 1 d3)) 6.316 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d1 6.316 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 6.316 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 6.316 * [taylor]: Taking taylor expansion of d2 in d1 6.316 * [backup-simplify]: Simplify d2 into d2 6.316 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 6.316 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 6.317 * [taylor]: Taking taylor expansion of d3 in d1 6.317 * [backup-simplify]: Simplify d3 into d3 6.317 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 6.317 * [taylor]: Taking taylor expansion of d1 in d1 6.317 * [backup-simplify]: Simplify 0 into 0 6.317 * [backup-simplify]: Simplify 1 into 1 6.317 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 6.317 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) (/ 1 d3)) 1) into (+ (/ 1 d2) (/ 1 d3)) 6.317 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 6.317 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 6.317 * [taylor]: Taking taylor expansion of d2 in d2 6.317 * [backup-simplify]: Simplify 0 into 0 6.317 * [backup-simplify]: Simplify 1 into 1 6.318 * [backup-simplify]: Simplify (/ 1 1) into 1 6.318 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 6.318 * [taylor]: Taking taylor expansion of d3 in d2 6.318 * [backup-simplify]: Simplify d3 into d3 6.318 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 6.318 * [backup-simplify]: Simplify (+ 1 0) into 1 6.318 * [taylor]: Taking taylor expansion of 1 in d3 6.318 * [backup-simplify]: Simplify 1 into 1 6.318 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 6.318 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 6.319 * [backup-simplify]: Simplify (+ 0 0) into 0 6.320 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) (/ 1 d3)) (/ 0 1)))) into 0 6.320 * [taylor]: Taking taylor expansion of 0 in d2 6.320 * [backup-simplify]: Simplify 0 into 0 6.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.321 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 6.321 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.321 * [taylor]: Taking taylor expansion of d3 in d3 6.321 * [backup-simplify]: Simplify 0 into 0 6.321 * [backup-simplify]: Simplify 1 into 1 6.321 * [backup-simplify]: Simplify (/ 1 1) into 1 6.321 * [backup-simplify]: Simplify 1 into 1 6.321 * [backup-simplify]: Simplify 1 into 1 6.321 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 6.322 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 6.322 * [backup-simplify]: Simplify (+ 0 0) into 0 6.323 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) (/ 1 d3)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.323 * [taylor]: Taking taylor expansion of 0 in d2 6.323 * [backup-simplify]: Simplify 0 into 0 6.323 * [taylor]: Taking taylor expansion of 0 in d3 6.324 * [backup-simplify]: Simplify 0 into 0 6.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.325 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 6.325 * [backup-simplify]: Simplify (+ 0 0) into 0 6.325 * [taylor]: Taking taylor expansion of 0 in d3 6.325 * [backup-simplify]: Simplify 0 into 0 6.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.326 * [backup-simplify]: Simplify 0 into 0 6.326 * [backup-simplify]: Simplify 0 into 0 6.326 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 6.326 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 6.327 * [backup-simplify]: Simplify (+ 0 0) into 0 6.329 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) (/ 1 d3)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.329 * [taylor]: Taking taylor expansion of 0 in d2 6.329 * [backup-simplify]: Simplify 0 into 0 6.329 * [taylor]: Taking taylor expansion of 0 in d3 6.329 * [backup-simplify]: Simplify 0 into 0 6.329 * [taylor]: Taking taylor expansion of 0 in d3 6.329 * [backup-simplify]: Simplify 0 into 0 6.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.330 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 6.330 * [backup-simplify]: Simplify (+ 0 0) into 0 6.330 * [taylor]: Taking taylor expansion of 0 in d3 6.330 * [backup-simplify]: Simplify 0 into 0 6.330 * [backup-simplify]: Simplify 0 into 0 6.330 * [backup-simplify]: Simplify 0 into 0 6.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.331 * [backup-simplify]: Simplify 0 into 0 6.331 * [backup-simplify]: Simplify 0 into 0 6.332 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1))))))) into (+ (* d3 d1) (* d2 d1)) 6.332 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 6.332 * [backup-simplify]: Simplify (/ 1 (+ d2 d3)) into (/ 1 (+ d3 d2)) 6.332 * [approximate]: Taking taylor expansion of (/ 1 (+ d3 d2)) in (d2 d3) around 0 6.332 * [taylor]: Taking taylor expansion of (/ 1 (+ d3 d2)) in d3 6.332 * [taylor]: Taking taylor expansion of (+ d3 d2) in d3 6.332 * [taylor]: Taking taylor expansion of d3 in d3 6.332 * [backup-simplify]: Simplify 0 into 0 6.332 * [backup-simplify]: Simplify 1 into 1 6.332 * [taylor]: Taking taylor expansion of d2 in d3 6.332 * [backup-simplify]: Simplify d2 into d2 6.332 * [backup-simplify]: Simplify (+ 0 d2) into d2 6.332 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 6.332 * [taylor]: Taking taylor expansion of (/ 1 (+ d3 d2)) in d2 6.332 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2 6.332 * [taylor]: Taking taylor expansion of d3 in d2 6.332 * [backup-simplify]: Simplify d3 into d3 6.332 * [taylor]: Taking taylor expansion of d2 in d2 6.333 * [backup-simplify]: Simplify 0 into 0 6.333 * [backup-simplify]: Simplify 1 into 1 6.333 * [backup-simplify]: Simplify (+ d3 0) into d3 6.333 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 6.333 * [taylor]: Taking taylor expansion of (/ 1 (+ d3 d2)) in d2 6.333 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2 6.333 * [taylor]: Taking taylor expansion of d3 in d2 6.333 * [backup-simplify]: Simplify d3 into d3 6.333 * [taylor]: Taking taylor expansion of d2 in d2 6.333 * [backup-simplify]: Simplify 0 into 0 6.333 * [backup-simplify]: Simplify 1 into 1 6.333 * [backup-simplify]: Simplify (+ d3 0) into d3 6.333 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 6.333 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.333 * [taylor]: Taking taylor expansion of d3 in d3 6.333 * [backup-simplify]: Simplify 0 into 0 6.333 * [backup-simplify]: Simplify 1 into 1 6.333 * [backup-simplify]: Simplify (/ 1 1) into 1 6.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.334 * [backup-simplify]: Simplify 0 into 0 6.335 * [backup-simplify]: Simplify (+ 0 1) into 1 6.335 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 1 d3)))) into (- (/ 1 (pow d3 2))) 6.335 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 2))) in d3 6.335 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3 6.335 * [taylor]: Taking taylor expansion of (pow d3 2) in d3 6.335 * [taylor]: Taking taylor expansion of d3 in d3 6.335 * [backup-simplify]: Simplify 0 into 0 6.335 * [backup-simplify]: Simplify 1 into 1 6.336 * [backup-simplify]: Simplify (* 1 1) into 1 6.336 * [backup-simplify]: Simplify (/ 1 1) into 1 6.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.338 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.340 * [backup-simplify]: Simplify (- 0) into 0 6.340 * [backup-simplify]: Simplify 0 into 0 6.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.341 * [backup-simplify]: Simplify 0 into 0 6.341 * [backup-simplify]: Simplify (+ 0 0) into 0 6.342 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* (- (/ 1 (pow d3 2))) (/ 1 d3)))) into (/ 1 (pow d3 3)) 6.342 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3 6.342 * [taylor]: Taking taylor expansion of (pow d3 3) in d3 6.342 * [taylor]: Taking taylor expansion of d3 in d3 6.342 * [backup-simplify]: Simplify 0 into 0 6.342 * [backup-simplify]: Simplify 1 into 1 6.342 * [backup-simplify]: Simplify (* 1 1) into 1 6.342 * [backup-simplify]: Simplify (* 1 1) into 1 6.343 * [backup-simplify]: Simplify (/ 1 1) into 1 6.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.352 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.354 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.358 * [backup-simplify]: Simplify 0 into 0 6.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.360 * [backup-simplify]: Simplify (- 0) into 0 6.361 * [backup-simplify]: Simplify 0 into 0 6.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.362 * [backup-simplify]: Simplify 0 into 0 6.362 * [backup-simplify]: Simplify 0 into 0 6.362 * [backup-simplify]: Simplify (/ 1 (+ (/ 1 d2) (/ 1 d3))) into (/ 1 (+ (/ 1 d2) (/ 1 d3))) 6.362 * [approximate]: Taking taylor expansion of (/ 1 (+ (/ 1 d2) (/ 1 d3))) in (d2 d3) around 0 6.362 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 d2) (/ 1 d3))) in d3 6.362 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 6.362 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 6.362 * [taylor]: Taking taylor expansion of d2 in d3 6.362 * [backup-simplify]: Simplify d2 into d2 6.362 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 6.362 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.362 * [taylor]: Taking taylor expansion of d3 in d3 6.362 * [backup-simplify]: Simplify 0 into 0 6.362 * [backup-simplify]: Simplify 1 into 1 6.363 * [backup-simplify]: Simplify (/ 1 1) into 1 6.363 * [backup-simplify]: Simplify (+ 0 1) into 1 6.363 * [backup-simplify]: Simplify (/ 1 1) into 1 6.363 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 d2) (/ 1 d3))) in d2 6.363 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 6.364 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 6.364 * [taylor]: Taking taylor expansion of d2 in d2 6.364 * [backup-simplify]: Simplify 0 into 0 6.364 * [backup-simplify]: Simplify 1 into 1 6.364 * [backup-simplify]: Simplify (/ 1 1) into 1 6.364 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 6.364 * [taylor]: Taking taylor expansion of d3 in d2 6.364 * [backup-simplify]: Simplify d3 into d3 6.364 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 6.365 * [backup-simplify]: Simplify (+ 1 0) into 1 6.365 * [backup-simplify]: Simplify (/ 1 1) into 1 6.365 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 d2) (/ 1 d3))) in d2 6.365 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 6.365 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 6.365 * [taylor]: Taking taylor expansion of d2 in d2 6.365 * [backup-simplify]: Simplify 0 into 0 6.365 * [backup-simplify]: Simplify 1 into 1 6.366 * [backup-simplify]: Simplify (/ 1 1) into 1 6.366 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 6.366 * [taylor]: Taking taylor expansion of d3 in d2 6.366 * [backup-simplify]: Simplify d3 into d3 6.366 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 6.366 * [backup-simplify]: Simplify (+ 1 0) into 1 6.367 * [backup-simplify]: Simplify (/ 1 1) into 1 6.367 * [taylor]: Taking taylor expansion of 1 in d3 6.367 * [backup-simplify]: Simplify 1 into 1 6.367 * [backup-simplify]: Simplify 0 into 0 6.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.368 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 6.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 d3) 1)))) into (- (/ 1 d3)) 6.368 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3 6.368 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.368 * [taylor]: Taking taylor expansion of d3 in d3 6.368 * [backup-simplify]: Simplify 0 into 0 6.368 * [backup-simplify]: Simplify 1 into 1 6.368 * [backup-simplify]: Simplify (/ 1 1) into 1 6.369 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.370 * [backup-simplify]: Simplify (- 0) into 0 6.370 * [backup-simplify]: Simplify 0 into 0 6.370 * [backup-simplify]: Simplify 0 into 0 6.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.372 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 6.372 * [backup-simplify]: Simplify (+ 0 0) into 0 6.373 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* (- (/ 1 d3)) (/ (/ 1 d3) 1)))) into (/ 1 (pow d3 2)) 6.373 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3 6.373 * [taylor]: Taking taylor expansion of (pow d3 2) in d3 6.373 * [taylor]: Taking taylor expansion of d3 in d3 6.373 * [backup-simplify]: Simplify 0 into 0 6.373 * [backup-simplify]: Simplify 1 into 1 6.373 * [backup-simplify]: Simplify (* 1 1) into 1 6.373 * [backup-simplify]: Simplify (/ 1 1) into 1 6.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.375 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.378 * [backup-simplify]: Simplify 0 into 0 6.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.379 * [backup-simplify]: Simplify (- 0) into 0 6.379 * [backup-simplify]: Simplify 0 into 0 6.379 * [backup-simplify]: Simplify 0 into 0 6.380 * [backup-simplify]: Simplify 0 into 0 6.380 * [backup-simplify]: Simplify (/ 1 (+ (/ 1 (- d2)) (/ 1 (- d3)))) into (/ -1 (+ (/ 1 d2) (/ 1 d3))) 6.380 * [approximate]: Taking taylor expansion of (/ -1 (+ (/ 1 d2) (/ 1 d3))) in (d2 d3) around 0 6.380 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 d2) (/ 1 d3))) in d3 6.380 * [taylor]: Taking taylor expansion of -1 in d3 6.380 * [backup-simplify]: Simplify -1 into -1 6.380 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 6.380 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 6.380 * [taylor]: Taking taylor expansion of d2 in d3 6.380 * [backup-simplify]: Simplify d2 into d2 6.380 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 6.380 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.380 * [taylor]: Taking taylor expansion of d3 in d3 6.380 * [backup-simplify]: Simplify 0 into 0 6.380 * [backup-simplify]: Simplify 1 into 1 6.380 * [backup-simplify]: Simplify (/ 1 1) into 1 6.381 * [backup-simplify]: Simplify (+ 0 1) into 1 6.381 * [backup-simplify]: Simplify (/ -1 1) into -1 6.381 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 d2) (/ 1 d3))) in d2 6.381 * [taylor]: Taking taylor expansion of -1 in d2 6.381 * [backup-simplify]: Simplify -1 into -1 6.381 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 6.381 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 6.381 * [taylor]: Taking taylor expansion of d2 in d2 6.381 * [backup-simplify]: Simplify 0 into 0 6.381 * [backup-simplify]: Simplify 1 into 1 6.382 * [backup-simplify]: Simplify (/ 1 1) into 1 6.382 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 6.382 * [taylor]: Taking taylor expansion of d3 in d2 6.382 * [backup-simplify]: Simplify d3 into d3 6.382 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 6.382 * [backup-simplify]: Simplify (+ 1 0) into 1 6.383 * [backup-simplify]: Simplify (/ -1 1) into -1 6.383 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 d2) (/ 1 d3))) in d2 6.383 * [taylor]: Taking taylor expansion of -1 in d2 6.383 * [backup-simplify]: Simplify -1 into -1 6.383 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 6.383 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 6.383 * [taylor]: Taking taylor expansion of d2 in d2 6.383 * [backup-simplify]: Simplify 0 into 0 6.383 * [backup-simplify]: Simplify 1 into 1 6.383 * [backup-simplify]: Simplify (/ 1 1) into 1 6.383 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 6.383 * [taylor]: Taking taylor expansion of d3 in d2 6.383 * [backup-simplify]: Simplify d3 into d3 6.383 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 6.384 * [backup-simplify]: Simplify (+ 1 0) into 1 6.384 * [backup-simplify]: Simplify (/ -1 1) into -1 6.384 * [taylor]: Taking taylor expansion of -1 in d3 6.384 * [backup-simplify]: Simplify -1 into -1 6.384 * [backup-simplify]: Simplify 0 into 0 6.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.385 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 6.386 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ (/ 1 d3) 1)))) into (/ 1 d3) 6.386 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.386 * [taylor]: Taking taylor expansion of d3 in d3 6.386 * [backup-simplify]: Simplify 0 into 0 6.386 * [backup-simplify]: Simplify 1 into 1 6.386 * [backup-simplify]: Simplify (/ 1 1) into 1 6.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.388 * [backup-simplify]: Simplify 0 into 0 6.388 * [backup-simplify]: Simplify 0 into 0 6.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.389 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 6.389 * [backup-simplify]: Simplify (+ 0 0) into 0 6.390 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 d3) (/ (/ 1 d3) 1)))) into (- (/ 1 (pow d3 2))) 6.390 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 2))) in d3 6.390 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3 6.390 * [taylor]: Taking taylor expansion of (pow d3 2) in d3 6.390 * [taylor]: Taking taylor expansion of d3 in d3 6.390 * [backup-simplify]: Simplify 0 into 0 6.390 * [backup-simplify]: Simplify 1 into 1 6.391 * [backup-simplify]: Simplify (* 1 1) into 1 6.391 * [backup-simplify]: Simplify (/ 1 1) into 1 6.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.392 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.394 * [backup-simplify]: Simplify (- 0) into 0 6.394 * [backup-simplify]: Simplify 0 into 0 6.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.395 * [backup-simplify]: Simplify 0 into 0 6.395 * [backup-simplify]: Simplify 0 into 0 6.395 * [backup-simplify]: Simplify 0 into 0 6.395 * * * [progress]: simplifying candidates 6.396 * * * * [progress]: [ 1 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 2 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 3 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 4 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 5 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 6 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 7 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 8 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 9 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 10 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 11 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 12 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 13 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 14 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 15 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 16 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 17 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 18 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 19 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 20 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 21 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 22 / 137 ] simplifiying candidate # 6.396 * * * * [progress]: [ 23 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 24 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 25 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 26 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 27 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 28 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 29 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 30 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 31 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 32 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 33 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 34 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 35 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 36 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 37 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 38 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 39 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 40 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 41 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 42 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 43 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 44 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 45 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 46 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 47 / 137 ] simplifiying candidate # 6.397 * * * * [progress]: [ 48 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 49 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 50 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 51 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 52 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 53 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 54 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 55 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 56 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 57 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 58 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 59 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 60 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 61 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 62 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 63 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 64 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 65 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 66 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 67 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 68 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 69 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 70 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 71 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 72 / 137 ] simplifiying candidate # 6.398 * * * * [progress]: [ 73 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 74 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 75 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 76 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 77 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 78 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 79 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 80 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 81 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 82 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 83 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 84 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 85 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 86 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 87 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 88 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 89 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 90 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 91 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 92 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 93 / 137 ] simplifiying candidate #real (real->posit16 (/ d1 (/ 1 (+ d2 d3))))))> 6.399 * * * * [progress]: [ 94 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 95 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 96 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 97 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 98 / 137 ] simplifiying candidate # 6.399 * * * * [progress]: [ 99 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 100 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 101 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 102 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 103 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 104 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 105 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 106 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 107 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 108 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 109 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 110 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 111 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 112 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 113 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 114 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 115 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 116 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 117 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 118 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 119 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 120 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 121 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 122 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 123 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 124 / 137 ] simplifiying candidate # 6.400 * * * * [progress]: [ 125 / 137 ] simplifiying candidate # 6.401 * * * * [progress]: [ 126 / 137 ] simplifiying candidate # 6.401 * * * * [progress]: [ 127 / 137 ] simplifiying candidate # 6.401 * * * * [progress]: [ 128 / 137 ] simplifiying candidate # 6.401 * * * * [progress]: [ 129 / 137 ] simplifiying candidate # 6.401 * * * * [progress]: [ 130 / 137 ] simplifiying candidate # 6.401 * * * * [progress]: [ 131 / 137 ] simplifiying candidate #real (real->posit16 (/ 1 (+ d2 d3))))))> 6.401 * * * * [progress]: [ 132 / 137 ] simplifiying candidate # 6.401 * * * * [progress]: [ 133 / 137 ] simplifiying candidate # 6.401 * * * * [progress]: [ 134 / 137 ] simplifiying candidate # 6.401 * * * * [progress]: [ 135 / 137 ] simplifiying candidate # 6.401 * * * * [progress]: [ 136 / 137 ] simplifiying candidate # 6.401 * * * * [progress]: [ 137 / 137 ] simplifiying candidate # 6.402 * [simplify]: Simplifying (- (log d1) (- (log (+ d2 d3)))), (- (log d1) (- 0 (log (+ d2 d3)))), (- (log d1) (- (log 1) (log (+ d2 d3)))), (- (log d1) (log (/ 1 (+ d2 d3)))), (log (/ d1 (/ 1 (+ d2 d3)))), (exp (/ d1 (/ 1 (+ d2 d3)))), (/ (* (* d1 d1) d1) (/ (* (* 1 1) 1) (* (* (+ d2 d3) (+ d2 d3)) (+ d2 d3)))), (/ (* (* d1 d1) d1) (* (* (/ 1 (+ d2 d3)) (/ 1 (+ d2 d3))) (/ 1 (+ d2 d3)))), (* (cbrt (/ d1 (/ 1 (+ d2 d3)))) (cbrt (/ d1 (/ 1 (+ d2 d3))))), (cbrt (/ d1 (/ 1 (+ d2 d3)))), (* (* (/ d1 (/ 1 (+ d2 d3))) (/ d1 (/ 1 (+ d2 d3)))) (/ d1 (/ 1 (+ d2 d3)))), (sqrt (/ d1 (/ 1 (+ d2 d3)))), (sqrt (/ d1 (/ 1 (+ d2 d3)))), (- d1), (- (/ 1 (+ d2 d3))), (/ (* (cbrt d1) (cbrt d1)) (* (cbrt (/ 1 (+ d2 d3))) (cbrt (/ 1 (+ d2 d3))))), (/ (cbrt d1) (cbrt (/ 1 (+ d2 d3)))), (/ (* (cbrt d1) (cbrt d1)) (sqrt (/ 1 (+ d2 d3)))), (/ (cbrt d1) (sqrt (/ 1 (+ d2 d3)))), (/ (* (cbrt d1) (cbrt d1)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3))))), (/ (cbrt d1) (/ (cbrt 1) (cbrt (+ d2 d3)))), (/ (* (cbrt d1) (cbrt d1)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ d2 d3)))), (/ (cbrt d1) (/ (cbrt 1) (sqrt (+ d2 d3)))), (/ (* (cbrt d1) (cbrt d1)) (/ (* (cbrt 1) (cbrt 1)) 1)), (/ (cbrt d1) (/ (cbrt 1) (+ d2 d3))), (/ (* (cbrt d1) (cbrt d1)) (/ (* (cbrt 1) (cbrt 1)) 1)), (/ (cbrt d1) (/ (cbrt 1) (+ d2 d3))), (/ (* (cbrt d1) (cbrt d1)) (/ (sqrt 1) (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3))))), (/ (cbrt d1) (/ (sqrt 1) (cbrt (+ d2 d3)))), (/ (* (cbrt d1) (cbrt d1)) (/ (sqrt 1) (sqrt (+ d2 d3)))), (/ (cbrt d1) (/ (sqrt 1) (sqrt (+ d2 d3)))), (/ (* (cbrt d1) (cbrt d1)) (/ (sqrt 1) 1)), (/ (cbrt d1) (/ (sqrt 1) (+ d2 d3))), (/ (* (cbrt d1) (cbrt d1)) (/ (sqrt 1) 1)), (/ (cbrt d1) (/ (sqrt 1) (+ d2 d3))), (/ (* (cbrt d1) (cbrt d1)) (/ 1 (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3))))), (/ (cbrt d1) (/ 1 (cbrt (+ d2 d3)))), (/ (* (cbrt d1) (cbrt d1)) (/ 1 (sqrt (+ d2 d3)))), (/ (cbrt d1) (/ 1 (sqrt (+ d2 d3)))), (/ (* (cbrt d1) (cbrt d1)) (/ 1 1)), (/ (cbrt d1) (/ 1 (+ d2 d3))), (/ (* (cbrt d1) (cbrt d1)) (/ 1 1)), (/ (cbrt d1) (/ 1 (+ d2 d3))), (/ (* (cbrt d1) (cbrt d1)) 1), (/ (cbrt d1) (/ 1 (+ d2 d3))), (/ (* (cbrt d1) (cbrt d1)) 1), (/ (cbrt d1) (/ 1 (+ d2 d3))), (/ (* (cbrt d1) (cbrt d1)) (/ 1 (+ (pow d2 3) (pow d3 3)))), (/ (cbrt d1) (+ (* d2 d2) (- (* d3 d3) (* d2 d3)))), (/ (* (cbrt d1) (cbrt d1)) (/ 1 (- (* d2 d2) (* d3 d3)))), (/ (cbrt d1) (- d2 d3)), (/ (sqrt d1) (* (cbrt (/ 1 (+ d2 d3))) (cbrt (/ 1 (+ d2 d3))))), (/ (sqrt d1) (cbrt (/ 1 (+ d2 d3)))), (/ (sqrt d1) (sqrt (/ 1 (+ d2 d3)))), (/ (sqrt d1) (sqrt (/ 1 (+ d2 d3)))), (/ (sqrt d1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3))))), (/ (sqrt d1) (/ (cbrt 1) (cbrt (+ d2 d3)))), (/ (sqrt d1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ d2 d3)))), (/ (sqrt d1) (/ (cbrt 1) (sqrt (+ d2 d3)))), (/ (sqrt d1) (/ (* (cbrt 1) (cbrt 1)) 1)), (/ (sqrt d1) (/ (cbrt 1) (+ d2 d3))), (/ (sqrt d1) (/ (* (cbrt 1) (cbrt 1)) 1)), (/ (sqrt d1) (/ (cbrt 1) (+ d2 d3))), (/ (sqrt d1) (/ (sqrt 1) (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3))))), (/ (sqrt d1) (/ (sqrt 1) (cbrt (+ d2 d3)))), (/ (sqrt d1) (/ (sqrt 1) (sqrt (+ d2 d3)))), (/ (sqrt d1) (/ (sqrt 1) (sqrt (+ d2 d3)))), (/ (sqrt d1) (/ (sqrt 1) 1)), (/ (sqrt d1) (/ (sqrt 1) (+ d2 d3))), (/ (sqrt d1) (/ (sqrt 1) 1)), (/ (sqrt d1) (/ (sqrt 1) (+ d2 d3))), (/ (sqrt d1) (/ 1 (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3))))), (/ (sqrt d1) (/ 1 (cbrt (+ d2 d3)))), (/ (sqrt d1) (/ 1 (sqrt (+ d2 d3)))), (/ (sqrt d1) (/ 1 (sqrt (+ d2 d3)))), (/ (sqrt d1) (/ 1 1)), (/ (sqrt d1) (/ 1 (+ d2 d3))), (/ (sqrt d1) (/ 1 1)), (/ (sqrt d1) (/ 1 (+ d2 d3))), (/ (sqrt d1) 1), (/ (sqrt d1) (/ 1 (+ d2 d3))), (/ (sqrt d1) 1), (/ (sqrt d1) (/ 1 (+ d2 d3))), (/ (sqrt d1) (/ 1 (+ (pow d2 3) (pow d3 3)))), (/ (sqrt d1) (+ (* d2 d2) (- (* d3 d3) (* d2 d3)))), (/ (sqrt d1) (/ 1 (- (* d2 d2) (* d3 d3)))), (/ (sqrt d1) (- d2 d3)), (/ 1 (* (cbrt (/ 1 (+ d2 d3))) (cbrt (/ 1 (+ d2 d3))))), (/ d1 (cbrt (/ 1 (+ d2 d3)))), (/ 1 (sqrt (/ 1 (+ d2 d3)))), (/ d1 (sqrt (/ 1 (+ d2 d3)))), (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3))))), (/ d1 (/ (cbrt 1) (cbrt (+ d2 d3)))), (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ d2 d3)))), (/ d1 (/ (cbrt 1) (sqrt (+ d2 d3)))), (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1)), (/ d1 (/ (cbrt 1) (+ d2 d3))), (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1)), (/ d1 (/ (cbrt 1) (+ d2 d3))), (/ 1 (/ (sqrt 1) (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3))))), (/ d1 (/ (sqrt 1) (cbrt (+ d2 d3)))), (/ 1 (/ (sqrt 1) (sqrt (+ d2 d3)))), (/ d1 (/ (sqrt 1) (sqrt (+ d2 d3)))), (/ 1 (/ (sqrt 1) 1)), (/ d1 (/ (sqrt 1) (+ d2 d3))), (/ 1 (/ (sqrt 1) 1)), (/ d1 (/ (sqrt 1) (+ d2 d3))), (/ 1 (/ 1 (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3))))), (/ d1 (/ 1 (cbrt (+ d2 d3)))), (/ 1 (/ 1 (sqrt (+ d2 d3)))), (/ d1 (/ 1 (sqrt (+ d2 d3)))), (/ 1 (/ 1 1)), (/ d1 (/ 1 (+ d2 d3))), (/ 1 (/ 1 1)), (/ d1 (/ 1 (+ d2 d3))), (/ 1 1), (/ d1 (/ 1 (+ d2 d3))), (/ 1 1), (/ d1 (/ 1 (+ d2 d3))), (/ 1 (/ 1 (+ (pow d2 3) (pow d3 3)))), (/ d1 (+ (* d2 d2) (- (* d3 d3) (* d2 d3)))), (/ 1 (/ 1 (- (* d2 d2) (* d3 d3)))), (/ d1 (- d2 d3)), (/ 1 (/ 1 (+ d2 d3))), (/ (/ 1 (+ d2 d3)) d1), (/ d1 (* (cbrt (/ 1 (+ d2 d3))) (cbrt (/ 1 (+ d2 d3))))), (/ d1 (sqrt (/ 1 (+ d2 d3)))), (/ d1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3))))), (/ d1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ d2 d3)))), (/ d1 (/ (* (cbrt 1) (cbrt 1)) 1)), (/ d1 (/ (* (cbrt 1) (cbrt 1)) 1)), (/ d1 (/ (sqrt 1) (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3))))), (/ d1 (/ (sqrt 1) (sqrt (+ d2 d3)))), (/ d1 (/ (sqrt 1) 1)), (/ d1 (/ (sqrt 1) 1)), (/ d1 (/ 1 (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3))))), (/ d1 (/ 1 (sqrt (+ d2 d3)))), (/ d1 (/ 1 1)), (/ d1 (/ 1 1)), (/ d1 1), (/ d1 1), (/ d1 (/ 1 (+ (pow d2 3) (pow d3 3)))), (/ d1 (/ 1 (- (* d2 d2) (* d3 d3)))), (/ (/ 1 (+ d2 d3)) (cbrt d1)), (/ (/ 1 (+ d2 d3)) (sqrt d1)), (/ (/ 1 (+ d2 d3)) d1), (/ d1 1), (real->posit16 (/ d1 (/ 1 (+ d2 d3)))), (- 1), (- (log (+ d2 d3))), (- 0 (log (+ d2 d3))), (- (log 1) (log (+ d2 d3))), (log (/ 1 (+ d2 d3))), (exp (/ 1 (+ d2 d3))), (/ (* (* 1 1) 1) (* (* (+ d2 d3) (+ d2 d3)) (+ d2 d3))), (* (cbrt (/ 1 (+ d2 d3))) (cbrt (/ 1 (+ d2 d3)))), (cbrt (/ 1 (+ d2 d3))), (* (* (/ 1 (+ d2 d3)) (/ 1 (+ d2 d3))) (/ 1 (+ d2 d3))), (sqrt (/ 1 (+ d2 d3))), (sqrt (/ 1 (+ d2 d3))), (- 1), (- (+ d2 d3)), (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3)))), (/ (cbrt 1) (cbrt (+ d2 d3))), (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ d2 d3))), (/ (cbrt 1) (sqrt (+ d2 d3))), (/ (* (cbrt 1) (cbrt 1)) 1), (/ (cbrt 1) (+ d2 d3)), (/ (* (cbrt 1) (cbrt 1)) 1), (/ (cbrt 1) (+ d2 d3)), (/ (sqrt 1) (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3)))), (/ (sqrt 1) (cbrt (+ d2 d3))), (/ (sqrt 1) (sqrt (+ d2 d3))), (/ (sqrt 1) (sqrt (+ d2 d3))), (/ (sqrt 1) 1), (/ (sqrt 1) (+ d2 d3)), (/ (sqrt 1) 1), (/ (sqrt 1) (+ d2 d3)), (/ 1 (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3)))), (/ 1 (cbrt (+ d2 d3))), (/ 1 (sqrt (+ d2 d3))), (/ 1 (sqrt (+ d2 d3))), (/ 1 1), (/ 1 (+ d2 d3)), (/ 1 1), (/ 1 (+ d2 d3)), (/ 1 (+ d2 d3)), (/ (+ d2 d3) 1), (/ 1 (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3)))), (/ 1 (sqrt (+ d2 d3))), (/ 1 1), (/ 1 1), (/ (+ d2 d3) (cbrt 1)), (/ (+ d2 d3) (sqrt 1)), (/ (+ d2 d3) 1), (/ 1 (+ (pow d2 3) (pow d3 3))), (/ 1 (- (* d2 d2) (* d3 d3))), (real->posit16 (/ 1 (+ d2 d3))), (+ (* d2 d1) (* d3 d1)), (+ (* d3 d1) (* d2 d1)), (+ (* d3 d1) (* d2 d1)), 0, 0, 0 6.404 * * [simplify]: iteration 1: (182 enodes) 6.504 * * [simplify]: iteration 2: (743 enodes) 6.766 * * [simplify]: iteration 3: (1417 enodes) 7.611 * * [simplify]: Extracting #0: cost 75 inf + 0 7.612 * * [simplify]: Extracting #1: cost 301 inf + 4 7.613 * * [simplify]: Extracting #2: cost 512 inf + 1411 7.620 * * [simplify]: Extracting #3: cost 356 inf + 26954 7.645 * * [simplify]: Extracting #4: cost 81 inf + 81651 7.681 * * [simplify]: Extracting #5: cost 4 inf + 100587 7.713 * * [simplify]: Extracting #6: cost 1 inf + 100684 7.748 * * [simplify]: Extracting #7: cost 0 inf + 100856 7.787 * [simplify]: Simplified to (log (* d1 (+ d3 d2))), (log (* d1 (+ d3 d2))), (log (* d1 (+ d3 d2))), (log (* d1 (+ d3 d2))), (log (* d1 (+ d3 d2))), (exp (* d1 (+ d3 d2))), (* (* (* d1 (+ d3 d2)) (* d1 (+ d3 d2))) (* d1 (+ d3 d2))), (* (* (* d1 (+ d3 d2)) (* d1 (+ d3 d2))) (* d1 (+ d3 d2))), (* (cbrt (* d1 (+ d3 d2))) (cbrt (* d1 (+ d3 d2)))), (cbrt (* d1 (+ d3 d2))), (* (* (* d1 (+ d3 d2)) (* d1 (+ d3 d2))) (* d1 (+ d3 d2))), (sqrt (* d1 (+ d3 d2))), (sqrt (* d1 (+ d3 d2))), (- d1), (/ -1 (+ d3 d2)), (* (/ (cbrt d1) (cbrt (/ 1 (+ d3 d2)))) (/ (cbrt d1) (cbrt (/ 1 (+ d3 d2))))), (/ (cbrt d1) (cbrt (/ 1 (+ d3 d2)))), (/ (cbrt d1) (/ (sqrt (/ 1 (+ d3 d2))) (cbrt d1))), (/ (cbrt d1) (sqrt (/ 1 (+ d3 d2)))), (* (* (cbrt (+ d3 d2)) (cbrt d1)) (* (cbrt (+ d3 d2)) (cbrt d1))), (* (cbrt (+ d3 d2)) (cbrt d1)), (* (* (sqrt (+ d3 d2)) (cbrt d1)) (cbrt d1)), (* (sqrt (+ d3 d2)) (cbrt d1)), (* (cbrt d1) (cbrt d1)), (* (cbrt d1) (+ d3 d2)), (* (cbrt d1) (cbrt d1)), (* (cbrt d1) (+ d3 d2)), (* (* (cbrt (+ d3 d2)) (cbrt d1)) (* (cbrt (+ d3 d2)) (cbrt d1))), (* (cbrt (+ d3 d2)) (cbrt d1)), (* (* (sqrt (+ d3 d2)) (cbrt d1)) (cbrt d1)), (* (sqrt (+ d3 d2)) (cbrt d1)), (* (cbrt d1) (cbrt d1)), (* (cbrt d1) (+ d3 d2)), (* (cbrt d1) (cbrt d1)), (* (cbrt d1) (+ d3 d2)), (* (* (cbrt (+ d3 d2)) (cbrt d1)) (* (cbrt (+ d3 d2)) (cbrt d1))), (* (cbrt (+ d3 d2)) (cbrt d1)), (* (* (sqrt (+ d3 d2)) (cbrt d1)) (cbrt d1)), (* (sqrt (+ d3 d2)) (cbrt d1)), (* (cbrt d1) (cbrt d1)), (* (cbrt d1) (+ d3 d2)), (* (cbrt d1) (cbrt d1)), (* (cbrt d1) (+ d3 d2)), (* (cbrt d1) (cbrt d1)), (* (cbrt d1) (+ d3 d2)), (* (cbrt d1) (cbrt d1)), (* (cbrt d1) (+ d3 d2)), (* (* (cbrt d1) (cbrt d1)) (+ (* (* d2 d2) d2) (* (* d3 d3) d3))), (/ (cbrt d1) (+ (* d3 (- d3 d2)) (* d2 d2))), (* (* (cbrt d1) (cbrt d1)) (* (+ d3 d2) (- d2 d3))), (/ (cbrt d1) (- d2 d3)), (/ (/ (sqrt d1) (cbrt (/ 1 (+ d3 d2)))) (cbrt (/ 1 (+ d3 d2)))), (/ (sqrt d1) (cbrt (/ 1 (+ d3 d2)))), (/ (sqrt d1) (sqrt (/ 1 (+ d3 d2)))), (/ (sqrt d1) (sqrt (/ 1 (+ d3 d2)))), (* (* (cbrt (+ d3 d2)) (sqrt d1)) (cbrt (+ d3 d2))), (* (cbrt (+ d3 d2)) (sqrt d1)), (* (sqrt (+ d3 d2)) (sqrt d1)), (* (sqrt (+ d3 d2)) (sqrt d1)), (sqrt d1), (* (sqrt d1) (+ d3 d2)), (sqrt d1), (* (sqrt d1) (+ d3 d2)), (* (* (cbrt (+ d3 d2)) (sqrt d1)) (cbrt (+ d3 d2))), (* (cbrt (+ d3 d2)) (sqrt d1)), (* (sqrt (+ d3 d2)) (sqrt d1)), (* (sqrt (+ d3 d2)) (sqrt d1)), (sqrt d1), (* (sqrt d1) (+ d3 d2)), (sqrt d1), (* (sqrt d1) (+ d3 d2)), (* (* (cbrt (+ d3 d2)) (sqrt d1)) (cbrt (+ d3 d2))), (* (cbrt (+ d3 d2)) (sqrt d1)), (* (sqrt (+ d3 d2)) (sqrt d1)), (* (sqrt (+ d3 d2)) (sqrt d1)), (sqrt d1), (* (sqrt d1) (+ d3 d2)), (sqrt d1), (* (sqrt d1) (+ d3 d2)), (sqrt d1), (* (sqrt d1) (+ d3 d2)), (sqrt d1), (* (sqrt d1) (+ d3 d2)), (* (+ (* (* d2 d2) d2) (* (* d3 d3) d3)) (sqrt d1)), (/ (sqrt d1) (+ (* d3 (- d3 d2)) (* d2 d2))), (* (* (sqrt d1) (+ d3 d2)) (- d2 d3)), (/ (sqrt d1) (- d2 d3)), (/ 1 (* (cbrt (/ 1 (+ d3 d2))) (cbrt (/ 1 (+ d3 d2))))), (/ d1 (cbrt (/ 1 (+ d3 d2)))), (/ 1 (sqrt (/ 1 (+ d3 d2)))), (/ d1 (sqrt (/ 1 (+ d3 d2)))), (* (cbrt (+ d3 d2)) (cbrt (+ d3 d2))), (* d1 (cbrt (+ d3 d2))), (sqrt (+ d3 d2)), (* d1 (sqrt (+ d3 d2))), 1, (* d1 (+ d3 d2)), 1, (* d1 (+ d3 d2)), (* (cbrt (+ d3 d2)) (cbrt (+ d3 d2))), (* d1 (cbrt (+ d3 d2))), (sqrt (+ d3 d2)), (* d1 (sqrt (+ d3 d2))), 1, (* d1 (+ d3 d2)), 1, (* d1 (+ d3 d2)), (* (cbrt (+ d3 d2)) (cbrt (+ d3 d2))), (* d1 (cbrt (+ d3 d2))), (sqrt (+ d3 d2)), (* d1 (sqrt (+ d3 d2))), 1, (* d1 (+ d3 d2)), 1, (* d1 (+ d3 d2)), 1, (* d1 (+ d3 d2)), 1, (* d1 (+ d3 d2)), (+ (* (* d2 d2) d2) (* (* d3 d3) d3)), (/ d1 (+ (* d3 (- d3 d2)) (* d2 d2))), (* (+ d3 d2) (- d2 d3)), (/ d1 (- d2 d3)), (+ d3 d2), (/ (/ 1 (+ d3 d2)) d1), (/ (/ d1 (cbrt (/ 1 (+ d3 d2)))) (cbrt (/ 1 (+ d3 d2)))), (/ d1 (sqrt (/ 1 (+ d3 d2)))), (* (cbrt (+ d3 d2)) (* d1 (cbrt (+ d3 d2)))), (* d1 (sqrt (+ d3 d2))), d1, d1, (* (cbrt (+ d3 d2)) (* d1 (cbrt (+ d3 d2)))), (* d1 (sqrt (+ d3 d2))), d1, d1, (* (cbrt (+ d3 d2)) (* d1 (cbrt (+ d3 d2)))), (* d1 (sqrt (+ d3 d2))), d1, d1, d1, d1, (* (+ (* (* d2 d2) d2) (* (* d3 d3) d3)) d1), (* (* d1 (+ d3 d2)) (- d2 d3)), (/ 1 (* (cbrt d1) (+ d3 d2))), (/ (/ 1 (+ d3 d2)) (sqrt d1)), (/ (/ 1 (+ d3 d2)) d1), d1, (real->posit16 (* d1 (+ d3 d2))), -1, (- (log (+ d3 d2))), (- (log (+ d3 d2))), (- (log (+ d3 d2))), (- (log (+ d3 d2))), (exp (/ 1 (+ d3 d2))), (* (* (/ 1 (+ d3 d2)) (/ 1 (+ d3 d2))) (/ 1 (+ d3 d2))), (* (cbrt (/ 1 (+ d3 d2))) (cbrt (/ 1 (+ d3 d2)))), (cbrt (/ 1 (+ d3 d2))), (* (* (/ 1 (+ d3 d2)) (/ 1 (+ d3 d2))) (/ 1 (+ d3 d2))), (sqrt (/ 1 (+ d3 d2))), (sqrt (/ 1 (+ d3 d2))), -1, (- (- d2) d3), (* (/ 1 (cbrt (+ d3 d2))) (/ 1 (cbrt (+ d3 d2)))), (/ 1 (cbrt (+ d3 d2))), (/ 1 (sqrt (+ d3 d2))), (/ 1 (sqrt (+ d3 d2))), 1, (/ 1 (+ d3 d2)), 1, (/ 1 (+ d3 d2)), (* (/ 1 (cbrt (+ d3 d2))) (/ 1 (cbrt (+ d3 d2)))), (/ 1 (cbrt (+ d3 d2))), (/ 1 (sqrt (+ d3 d2))), (/ 1 (sqrt (+ d3 d2))), 1, (/ 1 (+ d3 d2)), 1, (/ 1 (+ d3 d2)), (* (/ 1 (cbrt (+ d3 d2))) (/ 1 (cbrt (+ d3 d2)))), (/ 1 (cbrt (+ d3 d2))), (/ 1 (sqrt (+ d3 d2))), (/ 1 (sqrt (+ d3 d2))), 1, (/ 1 (+ d3 d2)), 1, (/ 1 (+ d3 d2)), (/ 1 (+ d3 d2)), (+ d3 d2), (* (/ 1 (cbrt (+ d3 d2))) (/ 1 (cbrt (+ d3 d2)))), (/ 1 (sqrt (+ d3 d2))), 1, 1, (+ d3 d2), (+ d3 d2), (+ d3 d2), (/ 1 (+ (* (* d2 d2) d2) (* (* d3 d3) d3))), (/ (/ 1 (+ d3 d2)) (- d2 d3)), (real->posit16 (/ 1 (+ d3 d2))), (* d1 (+ d3 d2)), (* d1 (+ d3 d2)), (* d1 (+ d3 d2)), 0, 0, 0 7.799 * * * [progress]: adding candidates to table 8.980 * [progress]: [Phase 3 of 3] Extracting. 8.980 * * [regime]: Finding splitpoints for: (# # #) 8.980 * * * [regime-changes]: Trying 4 branch expressions: (d3 d2 d1 (+ (* d1 d2) (* d1 d3))) 8.980 * * * * [regimes]: Trying to branch on d3 from (# # #) 9.020 * * * * [regimes]: Trying to branch on d2 from (# # #) 9.061 * * * * [regimes]: Trying to branch on d1 from (# # #) 9.095 * * * * [regimes]: Trying to branch on (+ (* d1 d2) (* d1 d3)) from (# # #) 9.125 * * * [regime]: Found split indices: #