26.112 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying: (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) 0.031 * * [simplify]: iteration 0: 9 enodes 0.032 * * [simplify]: iteration 1: 24 enodes 0.038 * * [simplify]: iteration 2: 55 enodes 0.063 * * [simplify]: iteration 3: 125 enodes 0.183 * * [simplify]: iteration 4: 835 enodes 0.813 * * [simplify]: iteration complete: 5001 enodes 0.813 * * [simplify]: Extracting #0: cost 1 inf + 0 0.814 * * [simplify]: Extracting #1: cost 497 inf + 0 0.819 * * [simplify]: Extracting #2: cost 1874 inf + 2354 0.845 * * [simplify]: Extracting #3: cost 1400 inf + 83032 0.907 * * [simplify]: Extracting #4: cost 397 inf + 329365 0.967 * * [simplify]: Extracting #5: cost 30 inf + 457766 1.047 * * [simplify]: Extracting #6: cost 0 inf + 471262 1.117 * [simplify]: Simplified to: (* (* (* d1 d1) (* d1 (* d1 d1))) (* (* d1 d1) (* d1 (* d1 d1)))) 1.124 * * [progress]: iteration 1 / 4 1.124 * * * [progress]: picking best candidate 1.134 * * * * [pick]: Picked # 1.134 * * * [progress]: localizing error 1.178 * * * [progress]: generating rewritten candidates 1.178 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 1.948 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1) 1.962 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1) 2.021 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 5.101 * * * [progress]: generating series expansions 5.101 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 5.102 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7) 5.102 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0 5.102 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 5.102 * [taylor]: Taking taylor expansion of d1 in d1 5.102 * [backup-simplify]: Simplify 0 into 0 5.102 * [backup-simplify]: Simplify 1 into 1 5.102 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 5.102 * [taylor]: Taking taylor expansion of d1 in d1 5.102 * [backup-simplify]: Simplify 0 into 0 5.102 * [backup-simplify]: Simplify 1 into 1 5.103 * [backup-simplify]: Simplify (* 1 1) into 1 5.103 * [backup-simplify]: Simplify (* 1 1) into 1 5.103 * [backup-simplify]: Simplify (* 1 1) into 1 5.104 * [backup-simplify]: Simplify (* 1 1) into 1 5.104 * [backup-simplify]: Simplify 1 into 1 5.105 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.105 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.106 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.106 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.107 * [backup-simplify]: Simplify 0 into 0 5.107 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.110 * [backup-simplify]: Simplify 0 into 0 5.111 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.114 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.114 * [backup-simplify]: Simplify 0 into 0 5.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.119 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.119 * [backup-simplify]: Simplify 0 into 0 5.121 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.122 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.125 * [backup-simplify]: Simplify 0 into 0 5.126 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.128 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.129 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.131 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.131 * [backup-simplify]: Simplify 0 into 0 5.131 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7) 5.131 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7)) 5.131 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0 5.131 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 5.131 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 5.131 * [taylor]: Taking taylor expansion of d1 in d1 5.131 * [backup-simplify]: Simplify 0 into 0 5.131 * [backup-simplify]: Simplify 1 into 1 5.132 * [backup-simplify]: Simplify (* 1 1) into 1 5.132 * [backup-simplify]: Simplify (* 1 1) into 1 5.132 * [backup-simplify]: Simplify (* 1 1) into 1 5.132 * [backup-simplify]: Simplify (* 1 1) into 1 5.133 * [backup-simplify]: Simplify (/ 1 1) into 1 5.133 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 5.133 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 5.133 * [taylor]: Taking taylor expansion of d1 in d1 5.133 * [backup-simplify]: Simplify 0 into 0 5.133 * [backup-simplify]: Simplify 1 into 1 5.133 * [backup-simplify]: Simplify (* 1 1) into 1 5.133 * [backup-simplify]: Simplify (* 1 1) into 1 5.133 * [backup-simplify]: Simplify (* 1 1) into 1 5.134 * [backup-simplify]: Simplify (* 1 1) into 1 5.134 * [backup-simplify]: Simplify (/ 1 1) into 1 5.134 * [backup-simplify]: Simplify 1 into 1 5.134 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.135 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.135 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.135 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.136 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.136 * [backup-simplify]: Simplify 0 into 0 5.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.138 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.138 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.138 * [backup-simplify]: Simplify 0 into 0 5.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.141 * [backup-simplify]: Simplify 0 into 0 5.142 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.145 * [backup-simplify]: Simplify 0 into 0 5.145 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.146 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.147 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.148 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.148 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.148 * [backup-simplify]: Simplify 0 into 0 5.149 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.152 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.152 * [backup-simplify]: Simplify 0 into 0 5.152 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7) 5.152 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7)) 5.152 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0 5.152 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 5.152 * [taylor]: Taking taylor expansion of -1 in d1 5.152 * [backup-simplify]: Simplify -1 into -1 5.152 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 5.153 * [taylor]: Taking taylor expansion of d1 in d1 5.153 * [backup-simplify]: Simplify 0 into 0 5.153 * [backup-simplify]: Simplify 1 into 1 5.153 * [backup-simplify]: Simplify (* 1 1) into 1 5.153 * [backup-simplify]: Simplify (* 1 1) into 1 5.153 * [backup-simplify]: Simplify (* 1 1) into 1 5.153 * [backup-simplify]: Simplify (* 1 1) into 1 5.154 * [backup-simplify]: Simplify (/ -1 1) into -1 5.154 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 5.154 * [taylor]: Taking taylor expansion of -1 in d1 5.154 * [backup-simplify]: Simplify -1 into -1 5.154 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 5.154 * [taylor]: Taking taylor expansion of d1 in d1 5.154 * [backup-simplify]: Simplify 0 into 0 5.154 * [backup-simplify]: Simplify 1 into 1 5.154 * [backup-simplify]: Simplify (* 1 1) into 1 5.154 * [backup-simplify]: Simplify (* 1 1) into 1 5.155 * [backup-simplify]: Simplify (* 1 1) into 1 5.155 * [backup-simplify]: Simplify (* 1 1) into 1 5.155 * [backup-simplify]: Simplify (/ -1 1) into -1 5.155 * [backup-simplify]: Simplify -1 into -1 5.155 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.156 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.156 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.163 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.165 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.165 * [backup-simplify]: Simplify 0 into 0 5.165 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.168 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.169 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.169 * [backup-simplify]: Simplify 0 into 0 5.170 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.171 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.172 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.173 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.174 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.174 * [backup-simplify]: Simplify 0 into 0 5.176 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.181 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.181 * [backup-simplify]: Simplify 0 into 0 5.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.186 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.187 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.188 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.188 * [backup-simplify]: Simplify 0 into 0 5.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.192 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.193 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.196 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.196 * [backup-simplify]: Simplify 0 into 0 5.196 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7) 5.196 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1) 5.197 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3) 5.197 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0 5.197 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 5.197 * [taylor]: Taking taylor expansion of d1 in d1 5.197 * [backup-simplify]: Simplify 0 into 0 5.197 * [backup-simplify]: Simplify 1 into 1 5.197 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 5.197 * [taylor]: Taking taylor expansion of d1 in d1 5.197 * [backup-simplify]: Simplify 0 into 0 5.197 * [backup-simplify]: Simplify 1 into 1 5.197 * [backup-simplify]: Simplify (* 1 1) into 1 5.198 * [backup-simplify]: Simplify (* 1 1) into 1 5.198 * [backup-simplify]: Simplify 1 into 1 5.198 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.199 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.199 * [backup-simplify]: Simplify 0 into 0 5.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.200 * [backup-simplify]: Simplify 0 into 0 5.201 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.201 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.201 * [backup-simplify]: Simplify 0 into 0 5.202 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.203 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.203 * [backup-simplify]: Simplify 0 into 0 5.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.204 * [backup-simplify]: Simplify 0 into 0 5.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.206 * [backup-simplify]: Simplify 0 into 0 5.206 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3) 5.206 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3)) 5.206 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 5.206 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 5.206 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 5.206 * [taylor]: Taking taylor expansion of d1 in d1 5.206 * [backup-simplify]: Simplify 0 into 0 5.206 * [backup-simplify]: Simplify 1 into 1 5.207 * [backup-simplify]: Simplify (* 1 1) into 1 5.207 * [backup-simplify]: Simplify (* 1 1) into 1 5.207 * [backup-simplify]: Simplify (/ 1 1) into 1 5.207 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 5.207 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 5.207 * [taylor]: Taking taylor expansion of d1 in d1 5.207 * [backup-simplify]: Simplify 0 into 0 5.207 * [backup-simplify]: Simplify 1 into 1 5.207 * [backup-simplify]: Simplify (* 1 1) into 1 5.208 * [backup-simplify]: Simplify (* 1 1) into 1 5.208 * [backup-simplify]: Simplify (/ 1 1) into 1 5.208 * [backup-simplify]: Simplify 1 into 1 5.208 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.209 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.209 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.209 * [backup-simplify]: Simplify 0 into 0 5.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.211 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.211 * [backup-simplify]: Simplify 0 into 0 5.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.212 * [backup-simplify]: Simplify 0 into 0 5.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.214 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.214 * [backup-simplify]: Simplify 0 into 0 5.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.216 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.216 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.216 * [backup-simplify]: Simplify 0 into 0 5.217 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.218 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.218 * [backup-simplify]: Simplify 0 into 0 5.218 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3) 5.219 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3)) 5.219 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 5.219 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 5.219 * [taylor]: Taking taylor expansion of -1 in d1 5.219 * [backup-simplify]: Simplify -1 into -1 5.219 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 5.219 * [taylor]: Taking taylor expansion of d1 in d1 5.219 * [backup-simplify]: Simplify 0 into 0 5.219 * [backup-simplify]: Simplify 1 into 1 5.219 * [backup-simplify]: Simplify (* 1 1) into 1 5.219 * [backup-simplify]: Simplify (* 1 1) into 1 5.220 * [backup-simplify]: Simplify (/ -1 1) into -1 5.220 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 5.220 * [taylor]: Taking taylor expansion of -1 in d1 5.220 * [backup-simplify]: Simplify -1 into -1 5.220 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 5.220 * [taylor]: Taking taylor expansion of d1 in d1 5.220 * [backup-simplify]: Simplify 0 into 0 5.220 * [backup-simplify]: Simplify 1 into 1 5.220 * [backup-simplify]: Simplify (* 1 1) into 1 5.220 * [backup-simplify]: Simplify (* 1 1) into 1 5.220 * [backup-simplify]: Simplify (/ -1 1) into -1 5.220 * [backup-simplify]: Simplify -1 into -1 5.221 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.221 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.222 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.222 * [backup-simplify]: Simplify 0 into 0 5.222 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.223 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.223 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.223 * [backup-simplify]: Simplify 0 into 0 5.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.225 * [backup-simplify]: Simplify 0 into 0 5.226 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.226 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.227 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.227 * [backup-simplify]: Simplify 0 into 0 5.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.229 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.229 * [backup-simplify]: Simplify 0 into 0 5.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.231 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.231 * [backup-simplify]: Simplify 0 into 0 5.232 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3) 5.232 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1) 5.232 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4) 5.232 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0 5.232 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 5.232 * [taylor]: Taking taylor expansion of d1 in d1 5.232 * [backup-simplify]: Simplify 0 into 0 5.232 * [backup-simplify]: Simplify 1 into 1 5.232 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 5.232 * [taylor]: Taking taylor expansion of d1 in d1 5.232 * [backup-simplify]: Simplify 0 into 0 5.232 * [backup-simplify]: Simplify 1 into 1 5.233 * [backup-simplify]: Simplify (* 1 1) into 1 5.233 * [backup-simplify]: Simplify (* 1 1) into 1 5.233 * [backup-simplify]: Simplify 1 into 1 5.234 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.234 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.234 * [backup-simplify]: Simplify 0 into 0 5.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.236 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.236 * [backup-simplify]: Simplify 0 into 0 5.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.238 * [backup-simplify]: Simplify 0 into 0 5.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.241 * [backup-simplify]: Simplify 0 into 0 5.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.244 * [backup-simplify]: Simplify 0 into 0 5.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.247 * [backup-simplify]: Simplify 0 into 0 5.247 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4) 5.247 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4)) 5.248 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 5.248 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 5.248 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 5.248 * [taylor]: Taking taylor expansion of d1 in d1 5.248 * [backup-simplify]: Simplify 0 into 0 5.248 * [backup-simplify]: Simplify 1 into 1 5.248 * [backup-simplify]: Simplify (* 1 1) into 1 5.248 * [backup-simplify]: Simplify (* 1 1) into 1 5.249 * [backup-simplify]: Simplify (/ 1 1) into 1 5.249 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 5.249 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 5.249 * [taylor]: Taking taylor expansion of d1 in d1 5.249 * [backup-simplify]: Simplify 0 into 0 5.249 * [backup-simplify]: Simplify 1 into 1 5.249 * [backup-simplify]: Simplify (* 1 1) into 1 5.250 * [backup-simplify]: Simplify (* 1 1) into 1 5.250 * [backup-simplify]: Simplify (/ 1 1) into 1 5.250 * [backup-simplify]: Simplify 1 into 1 5.251 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.252 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.252 * [backup-simplify]: Simplify 0 into 0 5.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.256 * [backup-simplify]: Simplify 0 into 0 5.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.259 * [backup-simplify]: Simplify 0 into 0 5.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.261 * [backup-simplify]: Simplify 0 into 0 5.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.263 * [backup-simplify]: Simplify 0 into 0 5.263 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.265 * [backup-simplify]: Simplify 0 into 0 5.265 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 5.265 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 5.265 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 5.265 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 5.265 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 5.265 * [taylor]: Taking taylor expansion of d1 in d1 5.265 * [backup-simplify]: Simplify 0 into 0 5.265 * [backup-simplify]: Simplify 1 into 1 5.266 * [backup-simplify]: Simplify (* 1 1) into 1 5.266 * [backup-simplify]: Simplify (* 1 1) into 1 5.266 * [backup-simplify]: Simplify (/ 1 1) into 1 5.266 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 5.266 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 5.266 * [taylor]: Taking taylor expansion of d1 in d1 5.266 * [backup-simplify]: Simplify 0 into 0 5.266 * [backup-simplify]: Simplify 1 into 1 5.266 * [backup-simplify]: Simplify (* 1 1) into 1 5.267 * [backup-simplify]: Simplify (* 1 1) into 1 5.267 * [backup-simplify]: Simplify (/ 1 1) into 1 5.267 * [backup-simplify]: Simplify 1 into 1 5.267 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.269 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.269 * [backup-simplify]: Simplify 0 into 0 5.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.270 * [backup-simplify]: Simplify 0 into 0 5.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.272 * [backup-simplify]: Simplify 0 into 0 5.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.275 * [backup-simplify]: Simplify 0 into 0 5.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.277 * [backup-simplify]: Simplify 0 into 0 5.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.279 * [backup-simplify]: Simplify 0 into 0 5.280 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 5.280 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 5.280 * [backup-simplify]: Simplify (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) into (pow d1 8) 5.280 * [approximate]: Taking taylor expansion of (pow d1 8) in (d1) around 0 5.280 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 5.280 * [taylor]: Taking taylor expansion of d1 in d1 5.280 * [backup-simplify]: Simplify 0 into 0 5.280 * [backup-simplify]: Simplify 1 into 1 5.280 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 5.280 * [taylor]: Taking taylor expansion of d1 in d1 5.280 * [backup-simplify]: Simplify 0 into 0 5.280 * [backup-simplify]: Simplify 1 into 1 5.280 * [backup-simplify]: Simplify (* 1 1) into 1 5.281 * [backup-simplify]: Simplify (* 1 1) into 1 5.281 * [backup-simplify]: Simplify (* 1 1) into 1 5.281 * [backup-simplify]: Simplify 1 into 1 5.281 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.282 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.282 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.282 * [backup-simplify]: Simplify 0 into 0 5.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.284 * [backup-simplify]: Simplify 0 into 0 5.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.285 * [backup-simplify]: Simplify 0 into 0 5.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.287 * [backup-simplify]: Simplify 0 into 0 5.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.290 * [backup-simplify]: Simplify 0 into 0 5.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.293 * [backup-simplify]: Simplify 0 into 0 5.293 * [backup-simplify]: Simplify (* 1 (pow d1 8)) into (pow d1 8) 5.294 * [backup-simplify]: Simplify (* (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 8)) 5.294 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 5.294 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 5.294 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 5.294 * [taylor]: Taking taylor expansion of d1 in d1 5.294 * [backup-simplify]: Simplify 0 into 0 5.294 * [backup-simplify]: Simplify 1 into 1 5.294 * [backup-simplify]: Simplify (* 1 1) into 1 5.295 * [backup-simplify]: Simplify (* 1 1) into 1 5.295 * [backup-simplify]: Simplify (* 1 1) into 1 5.295 * [backup-simplify]: Simplify (/ 1 1) into 1 5.295 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 5.295 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 5.295 * [taylor]: Taking taylor expansion of d1 in d1 5.295 * [backup-simplify]: Simplify 0 into 0 5.296 * [backup-simplify]: Simplify 1 into 1 5.296 * [backup-simplify]: Simplify (* 1 1) into 1 5.296 * [backup-simplify]: Simplify (* 1 1) into 1 5.297 * [backup-simplify]: Simplify (* 1 1) into 1 5.297 * [backup-simplify]: Simplify (/ 1 1) into 1 5.297 * [backup-simplify]: Simplify 1 into 1 5.298 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.298 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.299 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.300 * [backup-simplify]: Simplify 0 into 0 5.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.304 * [backup-simplify]: Simplify 0 into 0 5.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.308 * [backup-simplify]: Simplify 0 into 0 5.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.313 * [backup-simplify]: Simplify 0 into 0 5.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.318 * [backup-simplify]: Simplify 0 into 0 5.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.324 * [backup-simplify]: Simplify 0 into 0 5.324 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8) 5.325 * [backup-simplify]: Simplify (* (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 8)) 5.325 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 5.325 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 5.325 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 5.325 * [taylor]: Taking taylor expansion of d1 in d1 5.325 * [backup-simplify]: Simplify 0 into 0 5.325 * [backup-simplify]: Simplify 1 into 1 5.326 * [backup-simplify]: Simplify (* 1 1) into 1 5.326 * [backup-simplify]: Simplify (* 1 1) into 1 5.326 * [backup-simplify]: Simplify (* 1 1) into 1 5.327 * [backup-simplify]: Simplify (/ 1 1) into 1 5.327 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 5.327 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 5.327 * [taylor]: Taking taylor expansion of d1 in d1 5.327 * [backup-simplify]: Simplify 0 into 0 5.327 * [backup-simplify]: Simplify 1 into 1 5.327 * [backup-simplify]: Simplify (* 1 1) into 1 5.328 * [backup-simplify]: Simplify (* 1 1) into 1 5.328 * [backup-simplify]: Simplify (* 1 1) into 1 5.328 * [backup-simplify]: Simplify (/ 1 1) into 1 5.328 * [backup-simplify]: Simplify 1 into 1 5.329 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.330 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.330 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.331 * [backup-simplify]: Simplify 0 into 0 5.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.334 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.335 * [backup-simplify]: Simplify 0 into 0 5.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.339 * [backup-simplify]: Simplify 0 into 0 5.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.344 * [backup-simplify]: Simplify 0 into 0 5.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.349 * [backup-simplify]: Simplify 0 into 0 5.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.356 * [backup-simplify]: Simplify 0 into 0 5.356 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8) 5.356 * * * [progress]: simplifying candidates 5.367 * [simplify]: Simplifying: (expm1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log1p (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) d1) (* d1 (* d1 d1)) (expm1 (* d1 (* d1 d1))) (log1p (* d1 (* d1 d1))) (+ 1 (+ 1 1)) (+ 1 2) (+ 1 (+ 1 1)) (+ 1 (* 2 1)) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log (* d1 d1))) (log (* d1 (* d1 d1))) (exp (* d1 (* d1 d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1))) (* (sqrt d1) d1) (* (sqrt d1) d1) (* d1 d1) (* (cbrt d1) (* d1 d1)) (* (sqrt d1) (* d1 d1)) (* d1 (* d1 d1)) (expm1 (* (* d1 (* d1 d1)) d1)) (log1p (* (* d1 (* d1 d1)) d1)) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 2) 1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 (* 2 1)) 1) (+ 3 1) (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 2) 1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 (* 2 1)) 1) (+ 3 1) (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (+ (+ (log d1) (log (* d1 d1))) (log d1)) (+ (log (* d1 (* d1 d1))) (log d1)) (log (* (* d1 (* d1 d1)) d1)) (exp (* (* d1 (* d1 d1)) d1)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1))) (cbrt (* (* d1 (* d1 d1)) d1)) (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))) (* (* d1 (* d1 d1)) (sqrt d1)) (* (* d1 (* d1 d1)) 1) (* (* d1 d1) d1) (expm1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (log1p (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log d1)) (+ (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log d1)) (log (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (exp (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* d1 d1) d1)) (* (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (sqrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (sqrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (cbrt d1) (cbrt d1))) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (sqrt d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) (* (* d1 d1) d1) (pow d1 7) (pow d1 7) (pow d1 7) (pow d1 3) (pow d1 3) (pow d1 3) (pow d1 4) (pow d1 4) (pow d1 4) (pow d1 8) (pow d1 8) (pow d1 8) 5.376 * * [simplify]: iteration 0: 173 enodes 5.456 * * [simplify]: iteration 1: 575 enodes 6.168 * * [simplify]: iteration 2: 4597 enodes 12.169 * * [simplify]: iteration complete: 5001 enodes 12.169 * * [simplify]: Extracting #0: cost 56 inf + 0 12.174 * * [simplify]: Extracting #1: cost 1333 inf + 46 12.201 * * [simplify]: Extracting #2: cost 1237 inf + 87677 12.269 * * [simplify]: Extracting #3: cost 200 inf + 290511 12.367 * * [simplify]: Extracting #4: cost 7 inf + 337749 12.501 * * [simplify]: Extracting #5: cost 1 inf + 338261 12.591 * * [simplify]: Extracting #6: cost 0 inf + 338463 12.726 * [simplify]: Simplified to: (expm1 (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1)))) (log1p (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1)))) 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (fma 3 (log d1) (fma 3 (log d1) (log d1))) (exp (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) d1) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))) (* (* (* d1 d1) d1) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))) (* (* (* d1 d1) d1) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))) (* (* (* d1 d1) d1) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))) (* (* (* d1 d1) d1) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))) (* (* (* d1 d1) d1) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))))) (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))))) (* (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))))) (* (cbrt (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1)))) (cbrt (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))))) (cbrt (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1)))) (* (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))))) (sqrt (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1)))) (sqrt (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) d1) (expm1 (* (* d1 d1) d1)) (log1p (* (* d1 d1) d1)) 3 3 3 3 (* (* d1 d1) d1) (* (* d1 d1) d1) (* 3 (log d1)) (* 3 (log d1)) (* 3 (log d1)) (exp (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* d1 d1) d1 (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (sqrt (* (* d1 d1) d1)) (sqrt (* (* d1 d1) d1)) (* d1 (sqrt d1)) (* d1 (sqrt d1)) (* d1 d1) (* (cbrt d1) (* d1 d1)) (* (* d1 (sqrt d1)) d1) (* (* d1 d1) d1) (expm1 (* (* d1 d1) (* d1 d1))) (log1p (* (* d1 d1) (* d1 d1))) 4 4 4 4 4 (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) 4 4 4 4 4 (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1)) (exp (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (cbrt (* (* d1 d1) (* d1 d1))) (cbrt (* (* d1 d1) (* d1 d1)))) (cbrt (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (fabs (* d1 d1)) (fabs (* d1 d1)) (* (* (* d1 (cbrt d1)) (* d1 (cbrt d1))) d1) (* (* (* d1 d1) d1) (sqrt d1)) (* (* d1 d1) d1) (* (* d1 d1) d1) (expm1 (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1))) (log1p (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1))) 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1)) 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 (+ (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1))) (+ (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1))) (+ (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1))) (+ (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1))) (+ (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1))) (+ (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1))) (+ (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1))) (+ (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1))) (+ (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1))) (+ (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1))) (+ (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1))) (+ (fma 3 (log d1) (log d1)) (fma 3 (log d1) (log d1))) (exp (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))))) (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1))) (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1)))) (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))))) (sqrt (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1))) (sqrt (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (cbrt d1)) (cbrt d1)) (* (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (sqrt d1)) (* (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) d1) (pow d1 7) (pow d1 7) (pow d1 7) (* (* d1 d1) d1) (* (* d1 d1) d1) (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) 12.765 * * * [progress]: adding candidates to table 13.152 * * [progress]: iteration 2 / 4 13.152 * * * [progress]: picking best candidate 13.183 * * * * [pick]: Picked # 13.183 * * * [progress]: localizing error 13.200 * * * [progress]: generating rewritten candidates 13.200 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 13.232 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 13.244 * * * [progress]: generating series expansions 13.244 * * * * [progress]: [ 1 / 2 ] generating series at (2) 13.244 * [backup-simplify]: Simplify (* (* d1 (pow d1 8)) d1) into (pow d1 10) 13.244 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0 13.244 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 13.244 * [taylor]: Taking taylor expansion of d1 in d1 13.244 * [backup-simplify]: Simplify 0 into 0 13.244 * [backup-simplify]: Simplify 1 into 1 13.244 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 13.244 * [taylor]: Taking taylor expansion of d1 in d1 13.244 * [backup-simplify]: Simplify 0 into 0 13.244 * [backup-simplify]: Simplify 1 into 1 13.244 * [backup-simplify]: Simplify (* 1 1) into 1 13.245 * [backup-simplify]: Simplify (* 1 1) into 1 13.245 * [backup-simplify]: Simplify (* 1 1) into 1 13.245 * [backup-simplify]: Simplify (* 1 1) into 1 13.245 * [backup-simplify]: Simplify 1 into 1 13.246 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.246 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.246 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.247 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.247 * [backup-simplify]: Simplify 0 into 0 13.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.249 * [backup-simplify]: Simplify 0 into 0 13.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.251 * [backup-simplify]: Simplify 0 into 0 13.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.254 * [backup-simplify]: Simplify 0 into 0 13.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.256 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.257 * [backup-simplify]: Simplify 0 into 0 13.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.260 * [backup-simplify]: Simplify 0 into 0 13.260 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10) 13.260 * [backup-simplify]: Simplify (* (* (/ 1 d1) (pow (/ 1 d1) 8)) (/ 1 d1)) into (/ 1 (pow d1 10)) 13.260 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 13.260 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 13.260 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 13.260 * [taylor]: Taking taylor expansion of d1 in d1 13.260 * [backup-simplify]: Simplify 0 into 0 13.260 * [backup-simplify]: Simplify 1 into 1 13.261 * [backup-simplify]: Simplify (* 1 1) into 1 13.261 * [backup-simplify]: Simplify (* 1 1) into 1 13.261 * [backup-simplify]: Simplify (* 1 1) into 1 13.261 * [backup-simplify]: Simplify (* 1 1) into 1 13.261 * [backup-simplify]: Simplify (/ 1 1) into 1 13.261 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 13.262 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 13.262 * [taylor]: Taking taylor expansion of d1 in d1 13.262 * [backup-simplify]: Simplify 0 into 0 13.262 * [backup-simplify]: Simplify 1 into 1 13.262 * [backup-simplify]: Simplify (* 1 1) into 1 13.262 * [backup-simplify]: Simplify (* 1 1) into 1 13.262 * [backup-simplify]: Simplify (* 1 1) into 1 13.262 * [backup-simplify]: Simplify (* 1 1) into 1 13.263 * [backup-simplify]: Simplify (/ 1 1) into 1 13.263 * [backup-simplify]: Simplify 1 into 1 13.263 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.264 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.264 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.264 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.265 * [backup-simplify]: Simplify 0 into 0 13.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.266 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.266 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.267 * [backup-simplify]: Simplify 0 into 0 13.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.270 * [backup-simplify]: Simplify 0 into 0 13.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.279 * [backup-simplify]: Simplify 0 into 0 13.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.286 * [backup-simplify]: Simplify 0 into 0 13.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.293 * [backup-simplify]: Simplify 0 into 0 13.294 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10) 13.294 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (pow (/ 1 (- d1)) 8)) (/ 1 (- d1))) into (/ 1 (pow d1 10)) 13.294 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 13.294 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 13.294 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 13.294 * [taylor]: Taking taylor expansion of d1 in d1 13.294 * [backup-simplify]: Simplify 0 into 0 13.294 * [backup-simplify]: Simplify 1 into 1 13.295 * [backup-simplify]: Simplify (* 1 1) into 1 13.295 * [backup-simplify]: Simplify (* 1 1) into 1 13.295 * [backup-simplify]: Simplify (* 1 1) into 1 13.296 * [backup-simplify]: Simplify (* 1 1) into 1 13.296 * [backup-simplify]: Simplify (/ 1 1) into 1 13.296 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 13.296 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 13.296 * [taylor]: Taking taylor expansion of d1 in d1 13.296 * [backup-simplify]: Simplify 0 into 0 13.296 * [backup-simplify]: Simplify 1 into 1 13.297 * [backup-simplify]: Simplify (* 1 1) into 1 13.297 * [backup-simplify]: Simplify (* 1 1) into 1 13.297 * [backup-simplify]: Simplify (* 1 1) into 1 13.298 * [backup-simplify]: Simplify (* 1 1) into 1 13.298 * [backup-simplify]: Simplify (/ 1 1) into 1 13.298 * [backup-simplify]: Simplify 1 into 1 13.299 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.300 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.300 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.301 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.302 * [backup-simplify]: Simplify 0 into 0 13.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.306 * [backup-simplify]: Simplify 0 into 0 13.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.312 * [backup-simplify]: Simplify 0 into 0 13.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.318 * [backup-simplify]: Simplify 0 into 0 13.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.324 * [backup-simplify]: Simplify 0 into 0 13.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.330 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.331 * [backup-simplify]: Simplify 0 into 0 13.332 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10) 13.332 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 13.332 * [backup-simplify]: Simplify (* d1 (pow d1 8)) into (pow d1 9) 13.332 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0 13.332 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 13.332 * [taylor]: Taking taylor expansion of d1 in d1 13.332 * [backup-simplify]: Simplify 0 into 0 13.332 * [backup-simplify]: Simplify 1 into 1 13.332 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 13.332 * [taylor]: Taking taylor expansion of d1 in d1 13.332 * [backup-simplify]: Simplify 0 into 0 13.332 * [backup-simplify]: Simplify 1 into 1 13.333 * [backup-simplify]: Simplify (* 1 1) into 1 13.333 * [backup-simplify]: Simplify (* 1 1) into 1 13.333 * [backup-simplify]: Simplify (* 1 1) into 1 13.334 * [backup-simplify]: Simplify (* 1 1) into 1 13.334 * [backup-simplify]: Simplify 1 into 1 13.335 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.335 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.336 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.337 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.337 * [backup-simplify]: Simplify 0 into 0 13.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.340 * [backup-simplify]: Simplify 0 into 0 13.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.345 * [backup-simplify]: Simplify 0 into 0 13.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.350 * [backup-simplify]: Simplify 0 into 0 13.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.356 * [backup-simplify]: Simplify 0 into 0 13.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.363 * [backup-simplify]: Simplify 0 into 0 13.363 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9) 13.363 * [backup-simplify]: Simplify (* (/ 1 d1) (pow (/ 1 d1) 8)) into (/ 1 (pow d1 9)) 13.363 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0 13.364 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 13.364 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 13.364 * [taylor]: Taking taylor expansion of d1 in d1 13.364 * [backup-simplify]: Simplify 0 into 0 13.364 * [backup-simplify]: Simplify 1 into 1 13.364 * [backup-simplify]: Simplify (* 1 1) into 1 13.364 * [backup-simplify]: Simplify (* 1 1) into 1 13.364 * [backup-simplify]: Simplify (* 1 1) into 1 13.365 * [backup-simplify]: Simplify (* 1 1) into 1 13.365 * [backup-simplify]: Simplify (/ 1 1) into 1 13.365 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 13.365 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 13.365 * [taylor]: Taking taylor expansion of d1 in d1 13.365 * [backup-simplify]: Simplify 0 into 0 13.365 * [backup-simplify]: Simplify 1 into 1 13.365 * [backup-simplify]: Simplify (* 1 1) into 1 13.365 * [backup-simplify]: Simplify (* 1 1) into 1 13.366 * [backup-simplify]: Simplify (* 1 1) into 1 13.366 * [backup-simplify]: Simplify (* 1 1) into 1 13.366 * [backup-simplify]: Simplify (/ 1 1) into 1 13.366 * [backup-simplify]: Simplify 1 into 1 13.366 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.367 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.367 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.368 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.368 * [backup-simplify]: Simplify 0 into 0 13.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.371 * [backup-simplify]: Simplify 0 into 0 13.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.374 * [backup-simplify]: Simplify 0 into 0 13.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.378 * [backup-simplify]: Simplify 0 into 0 13.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.382 * [backup-simplify]: Simplify 0 into 0 13.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.386 * [backup-simplify]: Simplify 0 into 0 13.386 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9) 13.386 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (pow (/ 1 (- d1)) 8)) into (/ -1 (pow d1 9)) 13.386 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0 13.386 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 13.386 * [taylor]: Taking taylor expansion of -1 in d1 13.386 * [backup-simplify]: Simplify -1 into -1 13.386 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 13.386 * [taylor]: Taking taylor expansion of d1 in d1 13.386 * [backup-simplify]: Simplify 0 into 0 13.386 * [backup-simplify]: Simplify 1 into 1 13.386 * [backup-simplify]: Simplify (* 1 1) into 1 13.386 * [backup-simplify]: Simplify (* 1 1) into 1 13.387 * [backup-simplify]: Simplify (* 1 1) into 1 13.387 * [backup-simplify]: Simplify (* 1 1) into 1 13.387 * [backup-simplify]: Simplify (/ -1 1) into -1 13.387 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 13.387 * [taylor]: Taking taylor expansion of -1 in d1 13.387 * [backup-simplify]: Simplify -1 into -1 13.387 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 13.387 * [taylor]: Taking taylor expansion of d1 in d1 13.387 * [backup-simplify]: Simplify 0 into 0 13.387 * [backup-simplify]: Simplify 1 into 1 13.388 * [backup-simplify]: Simplify (* 1 1) into 1 13.388 * [backup-simplify]: Simplify (* 1 1) into 1 13.388 * [backup-simplify]: Simplify (* 1 1) into 1 13.388 * [backup-simplify]: Simplify (* 1 1) into 1 13.388 * [backup-simplify]: Simplify (/ -1 1) into -1 13.389 * [backup-simplify]: Simplify -1 into -1 13.389 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.389 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.390 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.390 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.391 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 13.391 * [backup-simplify]: Simplify 0 into 0 13.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.393 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.393 * [backup-simplify]: Simplify 0 into 0 13.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.396 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.396 * [backup-simplify]: Simplify 0 into 0 13.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.402 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.402 * [backup-simplify]: Simplify 0 into 0 13.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 13.405 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.405 * [backup-simplify]: Simplify 0 into 0 13.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 13.410 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.410 * [backup-simplify]: Simplify 0 into 0 13.410 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9) 13.410 * * * [progress]: simplifying candidates 13.411 * [simplify]: Simplifying: (expm1 (* (* d1 (pow d1 8)) d1)) (log1p (* (* d1 (pow d1 8)) d1)) (+ (+ 1 8) 1) (* (* d1 (pow d1 8)) d1) (+ (+ 1 8) 1) (+ (+ (log d1) (* (log d1) 8)) (log d1)) (+ (+ (log d1) (* (log d1) 8)) (log d1)) (+ (+ (log d1) (log (pow d1 8))) (log d1)) (+ (log (* d1 (pow d1 8))) (log d1)) (log (* (* d1 (pow d1 8)) d1)) (exp (* (* d1 (pow d1 8)) d1)) (* (* (* (* d1 d1) d1) (* (* (pow d1 8) (pow d1 8)) (pow d1 8))) (* (* d1 d1) d1)) (* (* (* (* d1 (pow d1 8)) (* d1 (pow d1 8))) (* d1 (pow d1 8))) (* (* d1 d1) d1)) (* (cbrt (* (* d1 (pow d1 8)) d1)) (cbrt (* (* d1 (pow d1 8)) d1))) (cbrt (* (* d1 (pow d1 8)) d1)) (* (* (* (* d1 (pow d1 8)) d1) (* (* d1 (pow d1 8)) d1)) (* (* d1 (pow d1 8)) d1)) (sqrt (* (* d1 (pow d1 8)) d1)) (sqrt (* (* d1 (pow d1 8)) d1)) (* (* d1 (pow d1 8)) (* (cbrt d1) (cbrt d1))) (* (* d1 (pow d1 8)) (sqrt d1)) (* (* d1 (pow d1 8)) 1) (* (pow d1 8) d1) (expm1 (* d1 (pow d1 8))) (log1p (* d1 (pow d1 8))) (+ 1 8) (+ (log d1) (* (log d1) 8)) (+ (log d1) (* (log d1) 8)) (+ (log d1) (log (pow d1 8))) (log (* d1 (pow d1 8))) (exp (* d1 (pow d1 8))) (* (* (* d1 d1) d1) (* (* (pow d1 8) (pow d1 8)) (pow d1 8))) (* (cbrt (* d1 (pow d1 8))) (cbrt (* d1 (pow d1 8)))) (cbrt (* d1 (pow d1 8))) (* (* (* d1 (pow d1 8)) (* d1 (pow d1 8))) (* d1 (pow d1 8))) (sqrt (* d1 (pow d1 8))) (sqrt (* d1 (pow d1 8))) (* (sqrt d1) (pow (sqrt d1) 8)) (* (sqrt d1) (pow (sqrt d1) 8)) (* (sqrt d1) (sqrt (pow d1 8))) (* (sqrt d1) (sqrt (pow d1 8))) (* (sqrt d1) (pow d1 (/ 8 2))) (* (sqrt d1) (pow d1 (/ 8 2))) (* d1 (pow (* (cbrt d1) (cbrt d1)) 8)) (* d1 (pow (sqrt d1) 8)) (* d1 (pow 1 8)) (* d1 (* (cbrt (pow d1 8)) (cbrt (pow d1 8)))) (* d1 (sqrt (pow d1 8))) (* d1 1) (* d1 (pow d1 (/ 8 2))) (* (cbrt d1) (pow d1 8)) (* (sqrt d1) (pow d1 8)) (* d1 (pow d1 8)) (pow d1 10) (pow d1 10) (pow d1 10) (pow d1 9) (pow d1 9) (pow d1 9) 13.411 * * [simplify]: iteration 0: 73 enodes 13.431 * * [simplify]: iteration 1: 189 enodes 13.541 * * [simplify]: iteration 2: 1013 enodes 14.239 * * [simplify]: iteration complete: 5001 enodes 14.239 * * [simplify]: Extracting #0: cost 34 inf + 0 14.241 * * [simplify]: Extracting #1: cost 512 inf + 2803 14.261 * * [simplify]: Extracting #2: cost 1833 inf + 47310 14.322 * * [simplify]: Extracting #3: cost 435 inf + 300452 14.455 * * [simplify]: Extracting #4: cost 55 inf + 340778 14.555 * * [simplify]: Extracting #5: cost 5 inf + 348983 14.700 * * [simplify]: Extracting #6: cost 0 inf + 350287 14.832 * [simplify]: Simplified to: (expm1 (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (log1p (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) 10 (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) 10 (fma 9 (log d1) (log d1)) (fma 9 (log d1) (log d1)) (fma 9 (log d1) (log d1)) (fma 9 (log d1) (log d1)) (fma 9 (log d1) (log d1)) (exp (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (cbrt (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (cbrt (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (cbrt (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (sqrt (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (sqrt (* (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* (cbrt d1) (* (* d1 d1) (* d1 d1))) (* (cbrt d1) (* (* d1 d1) (* d1 d1)))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 (sqrt d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (expm1 (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (log1p (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) 9 (* 9 (log d1)) (* 9 (log d1)) (* 9 (log d1)) (* 9 (log d1)) (exp (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (* (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (sqrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (sqrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (sqrt d1) (* (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))) (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))))) (* (sqrt d1) (* (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))) (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))))) (* (sqrt d1) (fabs (* (* d1 d1) (* d1 d1)))) (* (sqrt d1) (fabs (* (* d1 d1) (* d1 d1)))) (* (* (sqrt d1) (* d1 d1)) (* d1 d1)) (* (* (sqrt d1) (* d1 d1)) (* d1 d1)) (* d1 (* (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (cbrt d1))) (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (cbrt d1)))) (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (cbrt d1))) (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (cbrt d1)))))) (* (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))) (* (* (* (sqrt d1) (sqrt d1)) (* (sqrt d1) (sqrt d1))) d1)) d1 (* d1 (* (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))))) (* d1 (fabs (* (* d1 d1) (* d1 d1)))) d1 (* (* (* d1 d1) d1) (* d1 d1)) (* (cbrt d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (sqrt d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (pow d1 10) (pow d1 10) (pow d1 10) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) 14.836 * * * [progress]: adding candidates to table 15.064 * * [progress]: iteration 3 / 4 15.064 * * * [progress]: picking best candidate 15.070 * * * * [pick]: Picked # 15.070 * * * [progress]: localizing error 15.077 * * * [progress]: generating rewritten candidates 15.077 * * * [progress]: generating series expansions 15.077 * * * [progress]: simplifying candidates 15.078 * [simplify]: Simplifying: 15.078 * * [simplify]: iteration 0: 0 enodes 15.078 * * [simplify]: iteration complete: 0 enodes 15.078 * * [simplify]: Extracting #0: cost 0 inf + 0 15.078 * [simplify]: Simplified to: 15.078 * * * [progress]: adding candidates to table 15.079 * [progress]: [Phase 3 of 3] Extracting. 15.085 * [simplify]: Simplifying: (pow d1 10) 15.085 * * [simplify]: iteration 0: 3 enodes 15.085 * * [simplify]: iteration complete: 3 enodes 15.085 * * [simplify]: Extracting #0: cost 1 inf + 0 15.085 * * [simplify]: Extracting #1: cost 3 inf + 0 15.085 * * [simplify]: Extracting #2: cost 1 inf + 2 15.085 * * [simplify]: Extracting #3: cost 0 inf + 214 15.085 * [simplify]: Simplified to: (pow d1 10) 17.200 * [regime-testing]: Baseline error score: 0 17.211 * [regime-testing]: Oracle error score: 0 17.211 * [regime-testing]: End program error score: 0 17.358 * [regime-testing]: Target error score: 0