125.548 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.064 * * * [progress]: [2/2] Setting up program.
0.068 * [progress]: [Phase 2 of 3] Improving.
0.068 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
0.068 * [simplify]: Simplifying:
  (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
0.068 * * [simplify]: iteration 0: 9 enodes
0.072 * * [simplify]: iteration 1: 24 enodes
0.081 * * [simplify]: iteration 2: 55 enodes
0.109 * * [simplify]: iteration 3: 103 enodes
0.216 * * [simplify]: iteration 4: 325 enodes
0.363 * * [simplify]: iteration 5: 506 enodes
1.144 * * [simplify]: iteration 6: 1811 enodes
2.456 * * [simplify]: iteration complete: 5001 enodes
2.456 * * [simplify]: Extracting #0: cost 1 inf + 0
2.456 * * [simplify]: Extracting #1: cost 116 inf + 0
2.463 * * [simplify]: Extracting #2: cost 1206 inf + 126
2.477 * * [simplify]: Extracting #3: cost 1286 inf + 16687
2.518 * * [simplify]: Extracting #4: cost 796 inf + 249627
2.592 * * [simplify]: Extracting #5: cost 71 inf + 696214
2.687 * * [simplify]: Extracting #6: cost 0 inf + 748792
2.775 * [simplify]: Simplified to:
  (* (* (* (* d1 d1) d1) (* d1 d1)) (* (* (* d1 d1) d1) (* d1 d1)))
2.778 * * [progress]: iteration 1 / 4
2.778 * * * [progress]: picking best candidate
2.781 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))>
2.782 * * * [progress]: localizing error
2.809 * * * [progress]: generating rewritten candidates
2.809 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1)
2.861 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1)
3.034 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
4.047 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1)
4.088 * * * [progress]: generating series expansions
4.088 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1)
4.088 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4)
4.088 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
4.088 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
4.088 * [taylor]: Taking taylor expansion of d1 in d1
4.088 * [backup-simplify]: Simplify 0 into 0
4.088 * [backup-simplify]: Simplify 1 into 1
4.088 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
4.088 * [taylor]: Taking taylor expansion of d1 in d1
4.088 * [backup-simplify]: Simplify 0 into 0
4.088 * [backup-simplify]: Simplify 1 into 1
4.089 * [backup-simplify]: Simplify (* 1 1) into 1
4.090 * [backup-simplify]: Simplify (* 1 1) into 1
4.090 * [backup-simplify]: Simplify 1 into 1
4.090 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.091 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.091 * [backup-simplify]: Simplify 0 into 0
4.092 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.093 * [backup-simplify]: Simplify 0 into 0
4.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.096 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.096 * [backup-simplify]: Simplify 0 into 0
4.096 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.097 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.097 * [backup-simplify]: Simplify 0 into 0
4.098 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.099 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.099 * [backup-simplify]: Simplify 0 into 0
4.100 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.101 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.101 * [backup-simplify]: Simplify 0 into 0
4.101 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4)
4.101 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4))
4.101 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
4.101 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
4.101 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
4.101 * [taylor]: Taking taylor expansion of d1 in d1
4.101 * [backup-simplify]: Simplify 0 into 0
4.101 * [backup-simplify]: Simplify 1 into 1
4.101 * [backup-simplify]: Simplify (* 1 1) into 1
4.101 * [backup-simplify]: Simplify (* 1 1) into 1
4.102 * [backup-simplify]: Simplify (/ 1 1) into 1
4.102 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
4.102 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
4.102 * [taylor]: Taking taylor expansion of d1 in d1
4.102 * [backup-simplify]: Simplify 0 into 0
4.102 * [backup-simplify]: Simplify 1 into 1
4.102 * [backup-simplify]: Simplify (* 1 1) into 1
4.102 * [backup-simplify]: Simplify (* 1 1) into 1
4.102 * [backup-simplify]: Simplify (/ 1 1) into 1
4.103 * [backup-simplify]: Simplify 1 into 1
4.103 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.103 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.104 * [backup-simplify]: Simplify 0 into 0
4.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.105 * [backup-simplify]: Simplify 0 into 0
4.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.107 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.107 * [backup-simplify]: Simplify 0 into 0
4.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.109 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.109 * [backup-simplify]: Simplify 0 into 0
4.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.111 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.111 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.111 * [backup-simplify]: Simplify 0 into 0
4.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.113 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.113 * [backup-simplify]: Simplify 0 into 0
4.114 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4)
4.114 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4))
4.114 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
4.114 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
4.114 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
4.114 * [taylor]: Taking taylor expansion of d1 in d1
4.114 * [backup-simplify]: Simplify 0 into 0
4.114 * [backup-simplify]: Simplify 1 into 1
4.114 * [backup-simplify]: Simplify (* 1 1) into 1
4.114 * [backup-simplify]: Simplify (* 1 1) into 1
4.115 * [backup-simplify]: Simplify (/ 1 1) into 1
4.115 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
4.115 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
4.115 * [taylor]: Taking taylor expansion of d1 in d1
4.115 * [backup-simplify]: Simplify 0 into 0
4.115 * [backup-simplify]: Simplify 1 into 1
4.115 * [backup-simplify]: Simplify (* 1 1) into 1
4.115 * [backup-simplify]: Simplify (* 1 1) into 1
4.115 * [backup-simplify]: Simplify (/ 1 1) into 1
4.115 * [backup-simplify]: Simplify 1 into 1
4.116 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.116 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.117 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.117 * [backup-simplify]: Simplify 0 into 0
4.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.118 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.118 * [backup-simplify]: Simplify 0 into 0
4.119 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.119 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.120 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.120 * [backup-simplify]: Simplify 0 into 0
4.121 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.121 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.122 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.122 * [backup-simplify]: Simplify 0 into 0
4.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.124 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.124 * [backup-simplify]: Simplify 0 into 0
4.126 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.128 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.129 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.129 * [backup-simplify]: Simplify 0 into 0
4.129 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4)
4.129 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1)
4.129 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5)
4.129 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0
4.129 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
4.129 * [taylor]: Taking taylor expansion of d1 in d1
4.129 * [backup-simplify]: Simplify 0 into 0
4.129 * [backup-simplify]: Simplify 1 into 1
4.129 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
4.129 * [taylor]: Taking taylor expansion of d1 in d1
4.129 * [backup-simplify]: Simplify 0 into 0
4.129 * [backup-simplify]: Simplify 1 into 1
4.130 * [backup-simplify]: Simplify (* 1 1) into 1
4.130 * [backup-simplify]: Simplify (* 1 1) into 1
4.130 * [backup-simplify]: Simplify (* 1 1) into 1
4.130 * [backup-simplify]: Simplify 1 into 1
4.131 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.132 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.132 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.133 * [backup-simplify]: Simplify 0 into 0
4.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.135 * [backup-simplify]: Simplify 0 into 0
4.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.139 * [backup-simplify]: Simplify 0 into 0
4.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.143 * [backup-simplify]: Simplify 0 into 0
4.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.145 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.147 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.147 * [backup-simplify]: Simplify 0 into 0
4.148 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.151 * [backup-simplify]: Simplify 0 into 0
4.151 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5)
4.152 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5))
4.152 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0
4.152 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
4.152 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
4.152 * [taylor]: Taking taylor expansion of d1 in d1
4.152 * [backup-simplify]: Simplify 0 into 0
4.152 * [backup-simplify]: Simplify 1 into 1
4.152 * [backup-simplify]: Simplify (* 1 1) into 1
4.153 * [backup-simplify]: Simplify (* 1 1) into 1
4.153 * [backup-simplify]: Simplify (* 1 1) into 1
4.153 * [backup-simplify]: Simplify (/ 1 1) into 1
4.153 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1
4.153 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
4.153 * [taylor]: Taking taylor expansion of d1 in d1
4.153 * [backup-simplify]: Simplify 0 into 0
4.153 * [backup-simplify]: Simplify 1 into 1
4.154 * [backup-simplify]: Simplify (* 1 1) into 1
4.154 * [backup-simplify]: Simplify (* 1 1) into 1
4.154 * [backup-simplify]: Simplify (* 1 1) into 1
4.155 * [backup-simplify]: Simplify (/ 1 1) into 1
4.155 * [backup-simplify]: Simplify 1 into 1
4.156 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.156 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.157 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.158 * [backup-simplify]: Simplify 0 into 0
4.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.160 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.161 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.161 * [backup-simplify]: Simplify 0 into 0
4.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.163 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.165 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.165 * [backup-simplify]: Simplify 0 into 0
4.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.168 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.169 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.170 * [backup-simplify]: Simplify 0 into 0
4.171 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.173 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.174 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.175 * [backup-simplify]: Simplify 0 into 0
4.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.181 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.181 * [backup-simplify]: Simplify 0 into 0
4.181 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5)
4.182 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5))
4.182 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0
4.182 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
4.182 * [taylor]: Taking taylor expansion of -1 in d1
4.182 * [backup-simplify]: Simplify -1 into -1
4.182 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
4.182 * [taylor]: Taking taylor expansion of d1 in d1
4.182 * [backup-simplify]: Simplify 0 into 0
4.182 * [backup-simplify]: Simplify 1 into 1
4.182 * [backup-simplify]: Simplify (* 1 1) into 1
4.183 * [backup-simplify]: Simplify (* 1 1) into 1
4.183 * [backup-simplify]: Simplify (* 1 1) into 1
4.184 * [backup-simplify]: Simplify (/ -1 1) into -1
4.184 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1
4.184 * [taylor]: Taking taylor expansion of -1 in d1
4.184 * [backup-simplify]: Simplify -1 into -1
4.184 * [taylor]: Taking taylor expansion of (pow d1 5) in d1
4.184 * [taylor]: Taking taylor expansion of d1 in d1
4.184 * [backup-simplify]: Simplify 0 into 0
4.184 * [backup-simplify]: Simplify 1 into 1
4.184 * [backup-simplify]: Simplify (* 1 1) into 1
4.184 * [backup-simplify]: Simplify (* 1 1) into 1
4.185 * [backup-simplify]: Simplify (* 1 1) into 1
4.185 * [backup-simplify]: Simplify (/ -1 1) into -1
4.185 * [backup-simplify]: Simplify -1 into -1
4.186 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.187 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.193 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.194 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.194 * [backup-simplify]: Simplify 0 into 0
4.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.198 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.198 * [backup-simplify]: Simplify 0 into 0
4.199 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.202 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.203 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.203 * [backup-simplify]: Simplify 0 into 0
4.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.208 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.208 * [backup-simplify]: Simplify 0 into 0
4.209 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.212 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.212 * [backup-simplify]: Simplify 0 into 0
4.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.214 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.216 * [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
4.216 * [backup-simplify]: Simplify 0 into 0
4.216 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5)
4.216 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
4.216 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7)
4.216 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0
4.216 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
4.216 * [taylor]: Taking taylor expansion of d1 in d1
4.216 * [backup-simplify]: Simplify 0 into 0
4.216 * [backup-simplify]: Simplify 1 into 1
4.216 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
4.216 * [taylor]: Taking taylor expansion of d1 in d1
4.216 * [backup-simplify]: Simplify 0 into 0
4.216 * [backup-simplify]: Simplify 1 into 1
4.216 * [backup-simplify]: Simplify (* 1 1) into 1
4.217 * [backup-simplify]: Simplify (* 1 1) into 1
4.217 * [backup-simplify]: Simplify (* 1 1) into 1
4.217 * [backup-simplify]: Simplify (* 1 1) into 1
4.217 * [backup-simplify]: Simplify 1 into 1
4.218 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.218 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.218 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.219 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.219 * [backup-simplify]: Simplify 0 into 0
4.219 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.220 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.220 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.221 * [backup-simplify]: Simplify 0 into 0
4.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.222 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.223 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.223 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.223 * [backup-simplify]: Simplify 0 into 0
4.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.226 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.226 * [backup-simplify]: Simplify 0 into 0
4.227 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.229 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.229 * [backup-simplify]: Simplify 0 into 0
4.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.232 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.233 * [backup-simplify]: Simplify 0 into 0
4.233 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7)
4.233 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7))
4.233 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0
4.233 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
4.233 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
4.233 * [taylor]: Taking taylor expansion of d1 in d1
4.233 * [backup-simplify]: Simplify 0 into 0
4.233 * [backup-simplify]: Simplify 1 into 1
4.233 * [backup-simplify]: Simplify (* 1 1) into 1
4.234 * [backup-simplify]: Simplify (* 1 1) into 1
4.234 * [backup-simplify]: Simplify (* 1 1) into 1
4.234 * [backup-simplify]: Simplify (* 1 1) into 1
4.235 * [backup-simplify]: Simplify (/ 1 1) into 1
4.235 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1
4.235 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
4.235 * [taylor]: Taking taylor expansion of d1 in d1
4.235 * [backup-simplify]: Simplify 0 into 0
4.235 * [backup-simplify]: Simplify 1 into 1
4.235 * [backup-simplify]: Simplify (* 1 1) into 1
4.235 * [backup-simplify]: Simplify (* 1 1) into 1
4.235 * [backup-simplify]: Simplify (* 1 1) into 1
4.236 * [backup-simplify]: Simplify (* 1 1) into 1
4.236 * [backup-simplify]: Simplify (/ 1 1) into 1
4.236 * [backup-simplify]: Simplify 1 into 1
4.236 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.237 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.237 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.238 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.238 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.238 * [backup-simplify]: Simplify 0 into 0
4.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.242 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.242 * [backup-simplify]: Simplify 0 into 0
4.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.247 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.247 * [backup-simplify]: Simplify 0 into 0
4.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.255 * [backup-simplify]: Simplify 0 into 0
4.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.262 * [backup-simplify]: Simplify 0 into 0
4.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.270 * [backup-simplify]: Simplify 0 into 0
4.270 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7)
4.270 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7))
4.270 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0
4.270 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
4.270 * [taylor]: Taking taylor expansion of -1 in d1
4.271 * [backup-simplify]: Simplify -1 into -1
4.271 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
4.271 * [taylor]: Taking taylor expansion of d1 in d1
4.271 * [backup-simplify]: Simplify 0 into 0
4.271 * [backup-simplify]: Simplify 1 into 1
4.271 * [backup-simplify]: Simplify (* 1 1) into 1
4.271 * [backup-simplify]: Simplify (* 1 1) into 1
4.272 * [backup-simplify]: Simplify (* 1 1) into 1
4.272 * [backup-simplify]: Simplify (* 1 1) into 1
4.273 * [backup-simplify]: Simplify (/ -1 1) into -1
4.273 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1
4.273 * [taylor]: Taking taylor expansion of -1 in d1
4.273 * [backup-simplify]: Simplify -1 into -1
4.273 * [taylor]: Taking taylor expansion of (pow d1 7) in d1
4.273 * [taylor]: Taking taylor expansion of d1 in d1
4.273 * [backup-simplify]: Simplify 0 into 0
4.273 * [backup-simplify]: Simplify 1 into 1
4.273 * [backup-simplify]: Simplify (* 1 1) into 1
4.274 * [backup-simplify]: Simplify (* 1 1) into 1
4.274 * [backup-simplify]: Simplify (* 1 1) into 1
4.275 * [backup-simplify]: Simplify (* 1 1) into 1
4.275 * [backup-simplify]: Simplify (/ -1 1) into -1
4.275 * [backup-simplify]: Simplify -1 into -1
4.276 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.277 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.277 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.278 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.279 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.279 * [backup-simplify]: Simplify 0 into 0
4.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.284 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.284 * [backup-simplify]: Simplify 0 into 0
4.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.290 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.290 * [backup-simplify]: Simplify 0 into 0
4.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.294 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.296 * [backup-simplify]: Simplify 0 into 0
4.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.303 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.303 * [backup-simplify]: Simplify 0 into 0
4.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.311 * [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
4.311 * [backup-simplify]: Simplify 0 into 0
4.311 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7)
4.311 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1)
4.311 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3)
4.311 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
4.311 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
4.311 * [taylor]: Taking taylor expansion of d1 in d1
4.311 * [backup-simplify]: Simplify 0 into 0
4.311 * [backup-simplify]: Simplify 1 into 1
4.311 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
4.311 * [taylor]: Taking taylor expansion of d1 in d1
4.312 * [backup-simplify]: Simplify 0 into 0
4.312 * [backup-simplify]: Simplify 1 into 1
4.312 * [backup-simplify]: Simplify (* 1 1) into 1
4.312 * [backup-simplify]: Simplify (* 1 1) into 1
4.312 * [backup-simplify]: Simplify 1 into 1
4.313 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.314 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.314 * [backup-simplify]: Simplify 0 into 0
4.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.316 * [backup-simplify]: Simplify 0 into 0
4.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.318 * [backup-simplify]: Simplify 0 into 0
4.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.322 * [backup-simplify]: Simplify 0 into 0
4.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.325 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.325 * [backup-simplify]: Simplify 0 into 0
4.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.328 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.328 * [backup-simplify]: Simplify 0 into 0
4.328 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3)
4.328 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3))
4.329 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
4.329 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
4.329 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
4.329 * [taylor]: Taking taylor expansion of d1 in d1
4.329 * [backup-simplify]: Simplify 0 into 0
4.329 * [backup-simplify]: Simplify 1 into 1
4.329 * [backup-simplify]: Simplify (* 1 1) into 1
4.329 * [backup-simplify]: Simplify (* 1 1) into 1
4.330 * [backup-simplify]: Simplify (/ 1 1) into 1
4.330 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
4.330 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
4.330 * [taylor]: Taking taylor expansion of d1 in d1
4.330 * [backup-simplify]: Simplify 0 into 0
4.330 * [backup-simplify]: Simplify 1 into 1
4.330 * [backup-simplify]: Simplify (* 1 1) into 1
4.331 * [backup-simplify]: Simplify (* 1 1) into 1
4.331 * [backup-simplify]: Simplify (/ 1 1) into 1
4.331 * [backup-simplify]: Simplify 1 into 1
4.332 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.332 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.333 * [backup-simplify]: Simplify 0 into 0
4.334 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.336 * [backup-simplify]: Simplify 0 into 0
4.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.340 * [backup-simplify]: Simplify 0 into 0
4.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.343 * [backup-simplify]: Simplify 0 into 0
4.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.347 * [backup-simplify]: Simplify 0 into 0
4.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.352 * [backup-simplify]: Simplify 0 into 0
4.352 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3)
4.352 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3))
4.352 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
4.352 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
4.352 * [taylor]: Taking taylor expansion of -1 in d1
4.352 * [backup-simplify]: Simplify -1 into -1
4.353 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
4.353 * [taylor]: Taking taylor expansion of d1 in d1
4.353 * [backup-simplify]: Simplify 0 into 0
4.353 * [backup-simplify]: Simplify 1 into 1
4.353 * [backup-simplify]: Simplify (* 1 1) into 1
4.353 * [backup-simplify]: Simplify (* 1 1) into 1
4.354 * [backup-simplify]: Simplify (/ -1 1) into -1
4.354 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
4.354 * [taylor]: Taking taylor expansion of -1 in d1
4.354 * [backup-simplify]: Simplify -1 into -1
4.354 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
4.354 * [taylor]: Taking taylor expansion of d1 in d1
4.354 * [backup-simplify]: Simplify 0 into 0
4.354 * [backup-simplify]: Simplify 1 into 1
4.355 * [backup-simplify]: Simplify (* 1 1) into 1
4.355 * [backup-simplify]: Simplify (* 1 1) into 1
4.355 * [backup-simplify]: Simplify (/ -1 1) into -1
4.355 * [backup-simplify]: Simplify -1 into -1
4.356 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.357 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.358 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.358 * [backup-simplify]: Simplify 0 into 0
4.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.361 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.361 * [backup-simplify]: Simplify 0 into 0
4.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.364 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.364 * [backup-simplify]: Simplify 0 into 0
4.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.368 * [backup-simplify]: Simplify 0 into 0
4.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.372 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.372 * [backup-simplify]: Simplify 0 into 0
4.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.376 * [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
4.377 * [backup-simplify]: Simplify 0 into 0
4.377 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3)
4.377 * * * [progress]: simplifying candidates
4.377 * * * * [progress]: [ 1 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
4.377 * * * * [progress]: [ 2 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
4.377 * * * * [progress]: [ 3 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
4.377 * * * * [progress]: [ 4 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
4.377 * * * * [progress]: [ 5 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
4.377 * * * * [progress]: [ 6 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
4.377 * * * * [progress]: [ 7 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
4.377 * * * * [progress]: [ 8 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
4.378 * * * * [progress]: [ 9 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
4.378 * * * * [progress]: [ 10 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 2) 1)) d1) (* d1 d1)) d1)) d1))>
4.378 * * * * [progress]: [ 11 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (+ 1 1)) 1)) d1) (* d1 d1)) d1)) d1))>
4.378 * * * * [progress]: [ 12 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ (+ 1 (* 2 1)) 1)) d1) (* d1 d1)) d1)) d1))>
4.378 * * * * [progress]: [ 13 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 (+ 3 1)) d1) (* d1 d1)) d1)) d1))>
4.378 * * * * [progress]: [ 14 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
4.378 * * * * [progress]: [ 15 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (+ (log d1) (log d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
4.378 * * * * [progress]: [ 16 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (+ (log d1) (log (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
4.378 * * * * [progress]: [ 17 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (+ (log (* d1 (* d1 d1))) (log d1))) d1) (* d1 d1)) d1)) d1))>
4.378 * * * * [progress]: [ 18 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (exp (log (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
4.378 * * * * [progress]: [ 19 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (log (exp (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
4.378 * * * * [progress]: [ 20 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
4.378 * * * * [progress]: [ 21 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
4.378 * * * * [progress]: [ 22 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1))) d1) (* d1 d1)) d1)) d1))>
4.379 * * * * [progress]: [ 23 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1))) (cbrt (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
4.379 * * * * [progress]: [ 24 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
4.379 * * * * [progress]: [ 25 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (sqrt (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
4.379 * * * * [progress]: [ 26 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* 1 (* (* d1 (* d1 d1)) d1)) d1) (* d1 d1)) d1)) d1))>
4.379 * * * * [progress]: [ 27 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))) (cbrt d1)) d1) (* d1 d1)) d1)) d1))>
4.379 * * * * [progress]: [ 28 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) (sqrt d1)) (sqrt d1)) d1) (* d1 d1)) d1)) d1))>
4.379 * * * * [progress]: [ 29 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
4.379 * * * * [progress]: [ 30 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* (* d1 d1) d1)) d1) (* d1 d1)) d1)) d1))>
4.379 * * * * [progress]: [ 31 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (posit16->real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))>
4.379 * * * * [progress]: [ 32 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 (* d1 d1))) d1) (* d1 d1)) d1)) d1))>
4.379 * * * * [progress]: [ 33 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.379 * * * * [progress]: [ 34 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
4.379 * * * * [progress]: [ 35 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.379 * * * * [progress]: [ 36 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.379 * * * * [progress]: [ 37 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
4.380 * * * * [progress]: [ 38 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.380 * * * * [progress]: [ 39 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
4.380 * * * * [progress]: [ 40 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.380 * * * * [progress]: [ 41 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.380 * * * * [progress]: [ 42 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
4.380 * * * * [progress]: [ 43 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
4.380 * * * * [progress]: [ 44 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
4.380 * * * * [progress]: [ 45 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
4.380 * * * * [progress]: [ 46 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
4.380 * * * * [progress]: [ 47 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.380 * * * * [progress]: [ 48 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
4.380 * * * * [progress]: [ 49 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.380 * * * * [progress]: [ 50 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.381 * * * * [progress]: [ 51 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
4.381 * * * * [progress]: [ 52 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.381 * * * * [progress]: [ 53 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 2) 1) 1)) (* d1 d1)) d1)) d1))>
4.381 * * * * [progress]: [ 54 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (+ 1 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.381 * * * * [progress]: [ 55 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ (+ 1 (* 2 1)) 1) 1)) (* d1 d1)) d1)) d1))>
4.381 * * * * [progress]: [ 56 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (+ (+ 3 1) 1)) (* d1 d1)) d1)) d1))>
4.381 * * * * [progress]: [ 57 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (* (* (* d1 (* d1 d1)) d1) d1) 1) (* d1 d1)) d1)) d1))>
4.381 * * * * [progress]: [ 58 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
4.381 * * * * [progress]: [ 59 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
4.381 * * * * [progress]: [ 60 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))) (* d1 d1)) d1)) d1))>
4.381 * * * * [progress]: [ 61 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))) (* d1 d1)) d1)) d1))>
4.381 * * * * [progress]: [ 62 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (exp (log (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
4.381 * * * * [progress]: [ 63 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (log (exp (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
4.381 * * * * [progress]: [ 64 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
4.381 * * * * [progress]: [ 65 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
4.382 * * * * [progress]: [ 66 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
4.382 * * * * [progress]: [ 67 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1))) (* d1 d1)) d1)) d1))>
4.382 * * * * [progress]: [ 68 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1))) (cbrt (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
4.382 * * * * [progress]: [ 69 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
4.382 * * * * [progress]: [ 70 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (sqrt (* (* (* d1 (* d1 d1)) d1) d1)) (sqrt (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
4.382 * * * * [progress]: [ 71 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* 1 (* (* (* d1 (* d1 d1)) d1) d1)) (* d1 d1)) d1)) d1))>
4.382 * * * * [progress]: [ 72 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1))) (cbrt d1)) (* d1 d1)) d1)) d1))>
4.382 * * * * [progress]: [ 73 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) (sqrt d1)) (sqrt d1)) (* d1 d1)) d1)) d1))>
4.382 * * * * [progress]: [ 74 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) 1) d1) (* d1 d1)) d1)) d1))>
4.382 * * * * [progress]: [ 75 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) d1)) d1))>
4.382 * * * * [progress]: [ 76 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (posit16->real (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))>
4.382 * * * * [progress]: [ 77 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* d1 (* (* d1 (* d1 d1)) d1)) (* d1 d1)) d1)) d1))>
4.382 * * * * [progress]: [ 78 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.382 * * * * [progress]: [ 79 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
4.382 * * * * [progress]: [ 80 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.383 * * * * [progress]: [ 81 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
4.383 * * * * [progress]: [ 82 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
4.383 * * * * [progress]: [ 83 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
4.383 * * * * [progress]: [ 84 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
4.383 * * * * [progress]: [ 85 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
4.383 * * * * [progress]: [ 86 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.383 * * * * [progress]: [ 87 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
4.383 * * * * [progress]: [ 88 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.383 * * * * [progress]: [ 89 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
4.383 * * * * [progress]: [ 90 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.383 * * * * [progress]: [ 91 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
4.383 * * * * [progress]: [ 92 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.383 * * * * [progress]: [ 93 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
4.383 * * * * [progress]: [ 94 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
4.384 * * * * [progress]: [ 95 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
4.384 * * * * [progress]: [ 96 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
4.384 * * * * [progress]: [ 97 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
4.384 * * * * [progress]: [ 98 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.384 * * * * [progress]: [ 99 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
4.384 * * * * [progress]: [ 100 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.384 * * * * [progress]: [ 101 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
4.384 * * * * [progress]: [ 102 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
4.384 * * * * [progress]: [ 103 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
4.384 * * * * [progress]: [ 104 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
4.384 * * * * [progress]: [ 105 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
4.384 * * * * [progress]: [ 106 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.384 * * * * [progress]: [ 107 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
4.384 * * * * [progress]: [ 108 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.384 * * * * [progress]: [ 109 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
4.385 * * * * [progress]: [ 110 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.385 * * * * [progress]: [ 111 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
4.385 * * * * [progress]: [ 112 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.385 * * * * [progress]: [ 113 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
4.385 * * * * [progress]: [ 114 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
4.385 * * * * [progress]: [ 115 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
4.385 * * * * [progress]: [ 116 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
4.385 * * * * [progress]: [ 117 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
4.386 * * * * [progress]: [ 118 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.386 * * * * [progress]: [ 119 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
4.386 * * * * [progress]: [ 120 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.386 * * * * [progress]: [ 121 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
4.386 * * * * [progress]: [ 122 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
4.386 * * * * [progress]: [ 123 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
4.386 * * * * [progress]: [ 124 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
4.386 * * * * [progress]: [ 125 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
4.386 * * * * [progress]: [ 126 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.386 * * * * [progress]: [ 127 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
4.386 * * * * [progress]: [ 128 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.387 * * * * [progress]: [ 129 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
4.387 * * * * [progress]: [ 130 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.387 * * * * [progress]: [ 131 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
4.387 * * * * [progress]: [ 132 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.387 * * * * [progress]: [ 133 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
4.387 * * * * [progress]: [ 134 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
4.387 * * * * [progress]: [ 135 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
4.387 * * * * [progress]: [ 136 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
4.387 * * * * [progress]: [ 137 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
4.387 * * * * [progress]: [ 138 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.387 * * * * [progress]: [ 139 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
4.388 * * * * [progress]: [ 140 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.388 * * * * [progress]: [ 141 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
4.388 * * * * [progress]: [ 142 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
4.388 * * * * [progress]: [ 143 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) 2)) d1)) d1))>
4.388 * * * * [progress]: [ 144 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))) d1)) d1))>
4.388 * * * * [progress]: [ 145 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))) d1)) d1))>
4.388 * * * * [progress]: [ 146 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.388 * * * * [progress]: [ 147 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)) d1)) d1))>
4.388 * * * * [progress]: [ 148 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.388 * * * * [progress]: [ 149 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))) d1)) d1))>
4.388 * * * * [progress]: [ 150 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.388 * * * * [progress]: [ 151 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)) d1)) d1))>
4.388 * * * * [progress]: [ 152 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))) d1)) d1))>
4.388 * * * * [progress]: [ 153 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))) d1)) d1))>
4.389 * * * * [progress]: [ 154 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
4.389 * * * * [progress]: [ 155 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) 2)) d1)) d1))>
4.389 * * * * [progress]: [ 156 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (+ 1 1))) d1)) d1))>
4.389 * * * * [progress]: [ 157 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (+ (+ (+ 3 1) 1) (* 2 1))) d1)) d1))>
4.389 * * * * [progress]: [ 158 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.389 * * * * [progress]: [ 159 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.389 * * * * [progress]: [ 160 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.389 * * * * [progress]: [ 161 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.389 * * * * [progress]: [ 162 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.389 * * * * [progress]: [ 163 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.389 * * * * [progress]: [ 164 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.389 * * * * [progress]: [ 165 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.389 * * * * [progress]: [ 166 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.389 * * * * [progress]: [ 167 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.389 * * * * [progress]: [ 168 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) d1)) d1))>
4.390 * * * * [progress]: [ 169 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
4.390 * * * * [progress]: [ 170 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
4.390 * * * * [progress]: [ 171 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
4.390 * * * * [progress]: [ 172 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
4.390 * * * * [progress]: [ 173 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
4.390 * * * * [progress]: [ 174 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
4.390 * * * * [progress]: [ 175 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1)))) d1)) d1))>
4.390 * * * * [progress]: [ 176 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1)))) d1)) d1))>
4.390 * * * * [progress]: [ 177 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1)))) d1)) d1))>
4.390 * * * * [progress]: [ 178 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1)))) d1)) d1))>
4.390 * * * * [progress]: [ 179 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (exp (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
4.390 * * * * [progress]: [ 180 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (log (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
4.390 * * * * [progress]: [ 181 / 235 ] simplifiying candidate #<alt (λ (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))>
4.390 * * * * [progress]: [ 182 / 235 ] simplifiying candidate #<alt (λ (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))>
4.391 * * * * [progress]: [ 183 / 235 ] simplifiying candidate #<alt (λ (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))>
4.391 * * * * [progress]: [ 184 / 235 ] simplifiying candidate #<alt (λ (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))>
4.391 * * * * [progress]: [ 185 / 235 ] simplifiying candidate #<alt (λ (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))>
4.391 * * * * [progress]: [ 186 / 235 ] simplifiying candidate #<alt (λ (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))>
4.391 * * * * [progress]: [ 187 / 235 ] simplifiying candidate #<alt (λ (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))>
4.391 * * * * [progress]: [ 188 / 235 ] simplifiying candidate #<alt (λ (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))>
4.391 * * * * [progress]: [ 189 / 235 ] simplifiying candidate #<alt (λ (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))>
4.391 * * * * [progress]: [ 190 / 235 ] simplifiying candidate #<alt (λ (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))>
4.391 * * * * [progress]: [ 191 / 235 ] simplifiying candidate #<alt (λ (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))>
4.391 * * * * [progress]: [ 192 / 235 ] simplifiying candidate #<alt (λ (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))>
4.391 * * * * [progress]: [ 193 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
4.391 * * * * [progress]: [ 194 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* 1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) d1)) d1))>
4.391 * * * * [progress]: [ 195 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) d1) d1) d1)) d1))>
4.391 * * * * [progress]: [ 196 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) d1) (* d1 (* d1 d1))) d1)) d1))>
4.392 * * * * [progress]: [ 197 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (posit16->real (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))>
4.392 * * * * [progress]: [ 198 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* d1 d1) (* (* (* d1 (* d1 d1)) d1) d1)) d1)) d1))>
4.392 * * * * [progress]: [ 199 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
4.392 * * * * [progress]: [ 200 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 2)) d1) d1) (* d1 d1)) d1)) d1))>
4.392 * * * * [progress]: [ 201 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (+ 1 1))) d1) d1) (* d1 d1)) d1)) d1))>
4.392 * * * * [progress]: [ 202 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 (+ 1 (* 2 1))) d1) d1) (* d1 d1)) d1)) d1))>
4.392 * * * * [progress]: [ 203 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
4.392 * * * * [progress]: [ 204 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
4.392 * * * * [progress]: [ 205 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow (* d1 (* d1 d1)) 1) d1) d1) (* d1 d1)) d1)) d1))>
4.392 * * * * [progress]: [ 206 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (+ (log d1) (log d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.392 * * * * [progress]: [ 207 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (+ (log d1) (log (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.392 * * * * [progress]: [ 208 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (exp (log (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.392 * * * * [progress]: [ 209 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (log (exp (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.392 * * * * [progress]: [ 210 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
4.392 * * * * [progress]: [ 211 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.392 * * * * [progress]: [ 212 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.393 * * * * [progress]: [ 213 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.393 * * * * [progress]: [ 214 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (cbrt (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.393 * * * * [progress]: [ 215 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.393 * * * * [progress]: [ 216 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
4.393 * * * * [progress]: [ 217 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (sqrt d1) d1) (* (sqrt d1) d1)) d1) d1) (* d1 d1)) d1)) d1))>
4.393 * * * * [progress]: [ 218 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
4.393 * * * * [progress]: [ 219 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
4.393 * * * * [progress]: [ 220 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (sqrt d1) (* (sqrt d1) (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
4.393 * * * * [progress]: [ 221 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* 1 (* d1 (* d1 d1))) d1) d1) (* d1 d1)) d1)) d1))>
4.393 * * * * [progress]: [ 222 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (posit16->real (real->posit16 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))>
4.393 * * * * [progress]: [ 223 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (* (* d1 d1) d1) d1) d1) (* d1 d1)) d1)) d1))>
4.393 * * * * [progress]: [ 224 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
4.393 * * * * [progress]: [ 225 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
4.393 * * * * [progress]: [ 226 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1))>
4.393 * * * * [progress]: [ 227 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
4.393 * * * * [progress]: [ 228 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
4.393 * * * * [progress]: [ 229 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1))>
4.394 * * * * [progress]: [ 230 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
4.394 * * * * [progress]: [ 231 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
4.394 * * * * [progress]: [ 232 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
4.394 * * * * [progress]: [ 233 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
4.394 * * * * [progress]: [ 234 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
4.394 * * * * [progress]: [ 235 / 235 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1))>
4.397 * [simplify]: Simplifying:
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 2) 1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 (* 2 1)) 1)
  (+ 3 1)
  (* (* d1 (* d1 d1)) d1)
  (* (* d1 (* d1 d1)) d1)
  (* (* d1 (* d1 d1)) d1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 2) 1)
  (+ (+ 1 (+ 1 1)) 1)
  (+ (+ 1 (* 2 1)) 1)
  (+ 3 1)
  (+ (+ (log d1) (+ (log d1) (log d1))) (log d1))
  (+ (+ (log d1) (log (* d1 d1))) (log d1))
  (+ (log (* d1 (* d1 d1))) (log d1))
  (log (* (* d1 (* d1 d1)) d1))
  (exp (* (* d1 (* d1 d1)) d1))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1))
  (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1)))
  (cbrt (* (* d1 (* d1 d1)) d1))
  (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1))
  (sqrt (* (* d1 (* d1 d1)) d1))
  (sqrt (* (* d1 (* d1 d1)) d1))
  (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1)))
  (* (* d1 (* d1 d1)) (sqrt d1))
  (* (* d1 (* d1 d1)) 1)
  (* (* d1 d1) d1)
  (real->posit16 (* (* d1 (* d1 d1)) d1))
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (* (* (* d1 (* d1 d1)) d1) d1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 2) 1) 1)
  (+ (+ (+ 1 (+ 1 1)) 1) 1)
  (+ (+ (+ 1 (* 2 1)) 1) 1)
  (+ (+ 3 1) 1)
  (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1))
  (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1))
  (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1))
  (+ (log (* (* d1 (* d1 d1)) d1)) (log d1))
  (log (* (* (* d1 (* d1 d1)) d1) d1))
  (exp (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1))
  (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1)))
  (cbrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (sqrt (* (* (* d1 (* d1 d1)) d1) d1))
  (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1)))
  (* (* (* d1 (* d1 d1)) d1) (sqrt d1))
  (* (* (* d1 (* d1 d1)) d1) 1)
  (* d1 d1)
  (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) 2)
  (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 2) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2)
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1))
  (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1))
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) 2)
  (+ (+ (+ 3 1) 1) (+ 1 1))
  (+ (+ (+ 3 1) 1) (* 2 1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
  (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1)))
  (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))
  (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1)))
  (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1)))
  (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1)))
  (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1)))
  (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1)))
  (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))))
  (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (* (* (* (* d1 (* d1 d1)) d1) d1) d1)
  (* d1 (* d1 d1))
  (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))
  (+ 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))
  (real->posit16 (* d1 (* d1 d1)))
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
  (pow d1 5)
  (pow d1 5)
  (pow d1 5)
  (pow d1 7)
  (pow d1 7)
  (pow d1 7)
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
4.401 * * [simplify]: iteration 0: 131 enodes
4.473 * * [simplify]: iteration 1: 337 enodes
4.669 * * [simplify]: iteration 2: 1099 enodes
6.453 * * [simplify]: iteration 3: 4078 enodes
8.311 * * [simplify]: iteration complete: 5001 enodes
8.312 * * [simplify]: Extracting #0: cost 45 inf + 0
8.314 * * [simplify]: Extracting #1: cost 753 inf + 429
8.325 * * [simplify]: Extracting #2: cost 839 inf + 40250
8.350 * * [simplify]: Extracting #3: cost 182 inf + 181370
8.390 * * [simplify]: Extracting #4: cost 11 inf + 218940
8.461 * * [simplify]: Extracting #5: cost 1 inf + 222661
8.507 * * [simplify]: Extracting #6: cost 0 inf + 223194
8.561 * [simplify]: Simplified to:
  4
  4
  4
  4
  4
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  4
  4
  4
  4
  4
  (* 4 (log d1))
  (* 4 (log d1))
  (* 4 (log d1))
  (* 4 (log d1))
  (exp (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* (* d1 d1) (* d1 d1))) (cbrt (* (* d1 d1) (* d1 d1))))
  (cbrt (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (fabs (* d1 d1))
  (fabs (* d1 d1))
  (* d1 (* (* d1 (cbrt d1)) (* d1 (cbrt d1))))
  (* d1 (* (* d1 d1) (sqrt d1)))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (real->posit16 (* (* d1 d1) (* d1 d1)))
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  (* d1 (* (* d1 d1) (* d1 d1)))
  (* d1 (* (* d1 d1) (* d1 d1)))
  (* d1 (* (* d1 d1) (* d1 d1)))
  (* d1 (* (* d1 d1) (* d1 d1)))
  5
  5
  5
  5
  5
  5
  5
  5
  5
  5
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (* 5 (log d1))
  (exp (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (* (cbrt (* d1 (* (* d1 d1) (* d1 d1)))) (cbrt (* d1 (* (* d1 d1) (* d1 d1)))))
  (cbrt (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))
  (sqrt (* d1 (* (* d1 d1) (* d1 d1))))
  (sqrt (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* (cbrt d1) (* d1 d1)) (* (cbrt d1) (* d1 d1)))
  (* (* d1 d1) (* (* d1 d1) (sqrt d1)))
  (* (* d1 d1) (* d1 d1))
  (* d1 d1)
  (real->posit16 (* d1 (* (* d1 d1) (* d1 d1))))
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  7
  (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))
  (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) d1))
  (+ (log d1) (* 3 (+ (log d1) (log d1))))
  (+ (log d1) (* 3 (+ (log d1) (log d1))))
  (+ (log d1) (* 3 (+ (log d1) (log d1))))
  (+ (log d1) (* 3 (+ (log d1) (log d1))))
  (+ (log d1) (* 3 (+ (log d1) (log d1))))
  (+ (log d1) (* 3 (+ (log d1) (log d1))))
  (+ (log d1) (* 3 (+ (log d1) (log d1))))
  (+ (log d1) (* 3 (+ (log d1) (log d1))))
  (+ (log d1) (* 3 (+ (log d1) (log d1))))
  (+ (log d1) (* 3 (+ (log d1) (log d1))))
  (+ (log d1) (* 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))
  (real->posit16 (* (* d1 d1) (* (* (* d1 d1) (* 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)))
  (* (sqrt d1) d1)
  (* (sqrt d1) d1)
  (* d1 d1)
  (* (* (cbrt d1) d1) d1)
  (* (* d1 d1) (sqrt d1))
  (* d1 (* d1 d1))
  (real->posit16 (* d1 (* d1 d1)))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* d1 (* (* d1 d1) (* d1 d1)))
  (* d1 (* (* d1 d1) (* d1 d1)))
  (* d1 (* (* d1 d1) (* d1 d1)))
  (pow d1 7)
  (pow d1 7)
  (pow d1 7)
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
  (* d1 (* d1 d1))
8.576 * * * [progress]: adding candidates to table
8.860 * * [progress]: iteration 2 / 4
8.860 * * * [progress]: picking best candidate
8.874 * * * * [pick]: Picked  #<alt (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1))>
8.874 * * * [progress]: localizing error
8.891 * * * [progress]: generating rewritten candidates
8.891 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
8.926 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
8.934 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
8.977 * * * [progress]: generating series expansions
8.977 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
8.977 * [backup-simplify]: Simplify (* d1 (* (pow d1 7) d1)) into (pow d1 9)
8.977 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0
8.978 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.978 * [taylor]: Taking taylor expansion of d1 in d1
8.978 * [backup-simplify]: Simplify 0 into 0
8.978 * [backup-simplify]: Simplify 1 into 1
8.978 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.978 * [taylor]: Taking taylor expansion of d1 in d1
8.978 * [backup-simplify]: Simplify 0 into 0
8.978 * [backup-simplify]: Simplify 1 into 1
8.978 * [backup-simplify]: Simplify (* 1 1) into 1
8.979 * [backup-simplify]: Simplify (* 1 1) into 1
8.979 * [backup-simplify]: Simplify (* 1 1) into 1
8.979 * [backup-simplify]: Simplify (* 1 1) into 1
8.979 * [backup-simplify]: Simplify 1 into 1
8.980 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.980 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.981 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.981 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.981 * [backup-simplify]: Simplify 0 into 0
8.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.983 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.983 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.983 * [backup-simplify]: Simplify 0 into 0
8.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.986 * [backup-simplify]: Simplify 0 into 0
8.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.989 * [backup-simplify]: Simplify 0 into 0
8.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.992 * [backup-simplify]: Simplify 0 into 0
8.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.995 * [backup-simplify]: Simplify 0 into 0
8.995 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9)
8.996 * [backup-simplify]: Simplify (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) into (/ 1 (pow d1 9))
8.996 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0
8.996 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
8.996 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.996 * [taylor]: Taking taylor expansion of d1 in d1
8.996 * [backup-simplify]: Simplify 0 into 0
8.996 * [backup-simplify]: Simplify 1 into 1
8.996 * [backup-simplify]: Simplify (* 1 1) into 1
8.996 * [backup-simplify]: Simplify (* 1 1) into 1
8.998 * [backup-simplify]: Simplify (* 1 1) into 1
8.998 * [backup-simplify]: Simplify (* 1 1) into 1
8.999 * [backup-simplify]: Simplify (/ 1 1) into 1
8.999 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1
8.999 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
8.999 * [taylor]: Taking taylor expansion of d1 in d1
8.999 * [backup-simplify]: Simplify 0 into 0
8.999 * [backup-simplify]: Simplify 1 into 1
8.999 * [backup-simplify]: Simplify (* 1 1) into 1
8.999 * [backup-simplify]: Simplify (* 1 1) into 1
8.999 * [backup-simplify]: Simplify (* 1 1) into 1
9.000 * [backup-simplify]: Simplify (* 1 1) into 1
9.000 * [backup-simplify]: Simplify (/ 1 1) into 1
9.000 * [backup-simplify]: Simplify 1 into 1
9.001 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.001 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.001 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.002 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.002 * [backup-simplify]: Simplify 0 into 0
9.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.006 * [backup-simplify]: Simplify 0 into 0
9.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.010 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.011 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.012 * [backup-simplify]: Simplify 0 into 0
9.013 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.014 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.017 * [backup-simplify]: Simplify 0 into 0
9.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.020 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.023 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.024 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.024 * [backup-simplify]: Simplify 0 into 0
9.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.027 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.031 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.031 * [backup-simplify]: Simplify 0 into 0
9.031 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9)
9.032 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) into (/ -1 (pow d1 9))
9.032 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0
9.032 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
9.032 * [taylor]: Taking taylor expansion of -1 in d1
9.032 * [backup-simplify]: Simplify -1 into -1
9.032 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
9.032 * [taylor]: Taking taylor expansion of d1 in d1
9.032 * [backup-simplify]: Simplify 0 into 0
9.032 * [backup-simplify]: Simplify 1 into 1
9.032 * [backup-simplify]: Simplify (* 1 1) into 1
9.033 * [backup-simplify]: Simplify (* 1 1) into 1
9.033 * [backup-simplify]: Simplify (* 1 1) into 1
9.033 * [backup-simplify]: Simplify (* 1 1) into 1
9.034 * [backup-simplify]: Simplify (/ -1 1) into -1
9.034 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1
9.034 * [taylor]: Taking taylor expansion of -1 in d1
9.034 * [backup-simplify]: Simplify -1 into -1
9.034 * [taylor]: Taking taylor expansion of (pow d1 9) in d1
9.034 * [taylor]: Taking taylor expansion of d1 in d1
9.034 * [backup-simplify]: Simplify 0 into 0
9.034 * [backup-simplify]: Simplify 1 into 1
9.034 * [backup-simplify]: Simplify (* 1 1) into 1
9.035 * [backup-simplify]: Simplify (* 1 1) into 1
9.035 * [backup-simplify]: Simplify (* 1 1) into 1
9.036 * [backup-simplify]: Simplify (* 1 1) into 1
9.036 * [backup-simplify]: Simplify (/ -1 1) into -1
9.036 * [backup-simplify]: Simplify -1 into -1
9.037 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.037 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.038 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.039 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.040 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
9.040 * [backup-simplify]: Simplify 0 into 0
9.040 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.042 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.042 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.043 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.044 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.044 * [backup-simplify]: Simplify 0 into 0
9.045 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.047 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.048 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.049 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.050 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.050 * [backup-simplify]: Simplify 0 into 0
9.051 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.052 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.053 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.053 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.054 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.054 * [backup-simplify]: Simplify 0 into 0
9.055 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.055 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.056 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.057 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.058 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.058 * [backup-simplify]: Simplify 0 into 0
9.059 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.060 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.060 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.061 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.062 * [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
9.062 * [backup-simplify]: Simplify 0 into 0
9.062 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9)
9.062 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
9.062 * [backup-simplify]: Simplify (* (pow d1 7) d1) into (pow d1 8)
9.062 * [approximate]: Taking taylor expansion of (pow d1 8) in (d1) around 0
9.062 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
9.062 * [taylor]: Taking taylor expansion of d1 in d1
9.062 * [backup-simplify]: Simplify 0 into 0
9.062 * [backup-simplify]: Simplify 1 into 1
9.062 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
9.062 * [taylor]: Taking taylor expansion of d1 in d1
9.062 * [backup-simplify]: Simplify 0 into 0
9.062 * [backup-simplify]: Simplify 1 into 1
9.063 * [backup-simplify]: Simplify (* 1 1) into 1
9.063 * [backup-simplify]: Simplify (* 1 1) into 1
9.063 * [backup-simplify]: Simplify (* 1 1) into 1
9.063 * [backup-simplify]: Simplify 1 into 1
9.064 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.064 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.064 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.064 * [backup-simplify]: Simplify 0 into 0
9.065 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.065 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.066 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.066 * [backup-simplify]: Simplify 0 into 0
9.067 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.067 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.068 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.068 * [backup-simplify]: Simplify 0 into 0
9.069 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.069 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.070 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.070 * [backup-simplify]: Simplify 0 into 0
9.071 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.072 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.072 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.072 * [backup-simplify]: Simplify 0 into 0
9.073 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.074 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.075 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.075 * [backup-simplify]: Simplify 0 into 0
9.075 * [backup-simplify]: Simplify (* 1 (pow d1 8)) into (pow d1 8)
9.075 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 7) (/ 1 d1)) into (/ 1 (pow d1 8))
9.075 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
9.075 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
9.075 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
9.075 * [taylor]: Taking taylor expansion of d1 in d1
9.075 * [backup-simplify]: Simplify 0 into 0
9.075 * [backup-simplify]: Simplify 1 into 1
9.075 * [backup-simplify]: Simplify (* 1 1) into 1
9.076 * [backup-simplify]: Simplify (* 1 1) into 1
9.076 * [backup-simplify]: Simplify (* 1 1) into 1
9.076 * [backup-simplify]: Simplify (/ 1 1) into 1
9.076 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
9.076 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
9.076 * [taylor]: Taking taylor expansion of d1 in d1
9.076 * [backup-simplify]: Simplify 0 into 0
9.076 * [backup-simplify]: Simplify 1 into 1
9.077 * [backup-simplify]: Simplify (* 1 1) into 1
9.077 * [backup-simplify]: Simplify (* 1 1) into 1
9.077 * [backup-simplify]: Simplify (* 1 1) into 1
9.077 * [backup-simplify]: Simplify (/ 1 1) into 1
9.077 * [backup-simplify]: Simplify 1 into 1
9.078 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.078 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.078 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.079 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.079 * [backup-simplify]: Simplify 0 into 0
9.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.083 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.083 * [backup-simplify]: Simplify 0 into 0
9.083 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.084 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.085 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.085 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.085 * [backup-simplify]: Simplify 0 into 0
9.086 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.086 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.087 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.088 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.088 * [backup-simplify]: Simplify 0 into 0
9.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.089 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.090 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.091 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.091 * [backup-simplify]: Simplify 0 into 0
9.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.092 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.094 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.094 * [backup-simplify]: Simplify 0 into 0
9.094 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8)
9.094 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1))) into (/ 1 (pow d1 8))
9.094 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0
9.094 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
9.094 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
9.094 * [taylor]: Taking taylor expansion of d1 in d1
9.094 * [backup-simplify]: Simplify 0 into 0
9.094 * [backup-simplify]: Simplify 1 into 1
9.094 * [backup-simplify]: Simplify (* 1 1) into 1
9.095 * [backup-simplify]: Simplify (* 1 1) into 1
9.095 * [backup-simplify]: Simplify (* 1 1) into 1
9.095 * [backup-simplify]: Simplify (/ 1 1) into 1
9.095 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1
9.095 * [taylor]: Taking taylor expansion of (pow d1 8) in d1
9.095 * [taylor]: Taking taylor expansion of d1 in d1
9.095 * [backup-simplify]: Simplify 0 into 0
9.095 * [backup-simplify]: Simplify 1 into 1
9.095 * [backup-simplify]: Simplify (* 1 1) into 1
9.096 * [backup-simplify]: Simplify (* 1 1) into 1
9.096 * [backup-simplify]: Simplify (* 1 1) into 1
9.097 * [backup-simplify]: Simplify (/ 1 1) into 1
9.097 * [backup-simplify]: Simplify 1 into 1
9.097 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.098 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.099 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.099 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.100 * [backup-simplify]: Simplify 0 into 0
9.100 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.101 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.102 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.103 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.103 * [backup-simplify]: Simplify 0 into 0
9.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.107 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.108 * [backup-simplify]: Simplify 0 into 0
9.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.113 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.113 * [backup-simplify]: Simplify 0 into 0
9.114 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.118 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.118 * [backup-simplify]: Simplify 0 into 0
9.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.121 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.124 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.124 * [backup-simplify]: Simplify 0 into 0
9.124 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8)
9.124 * * * * [progress]: [ 3 / 3 ] generating series at (2)
9.124 * [backup-simplify]: Simplify (* (* d1 (* (pow d1 7) d1)) d1) into (pow d1 10)
9.124 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0
9.124 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
9.124 * [taylor]: Taking taylor expansion of d1 in d1
9.125 * [backup-simplify]: Simplify 0 into 0
9.125 * [backup-simplify]: Simplify 1 into 1
9.125 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
9.125 * [taylor]: Taking taylor expansion of d1 in d1
9.125 * [backup-simplify]: Simplify 0 into 0
9.125 * [backup-simplify]: Simplify 1 into 1
9.125 * [backup-simplify]: Simplify (* 1 1) into 1
9.125 * [backup-simplify]: Simplify (* 1 1) into 1
9.126 * [backup-simplify]: Simplify (* 1 1) into 1
9.126 * [backup-simplify]: Simplify (* 1 1) into 1
9.126 * [backup-simplify]: Simplify 1 into 1
9.127 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.128 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.128 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.129 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.129 * [backup-simplify]: Simplify 0 into 0
9.130 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.131 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.132 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.133 * [backup-simplify]: Simplify 0 into 0
9.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.137 * [backup-simplify]: Simplify 0 into 0
9.138 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.142 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.142 * [backup-simplify]: Simplify 0 into 0
9.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.145 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.147 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.148 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.148 * [backup-simplify]: Simplify 0 into 0
9.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.153 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.154 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.154 * [backup-simplify]: Simplify 0 into 0
9.154 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10)
9.155 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 10))
9.155 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
9.155 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
9.155 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
9.155 * [taylor]: Taking taylor expansion of d1 in d1
9.155 * [backup-simplify]: Simplify 0 into 0
9.155 * [backup-simplify]: Simplify 1 into 1
9.155 * [backup-simplify]: Simplify (* 1 1) into 1
9.156 * [backup-simplify]: Simplify (* 1 1) into 1
9.156 * [backup-simplify]: Simplify (* 1 1) into 1
9.156 * [backup-simplify]: Simplify (* 1 1) into 1
9.157 * [backup-simplify]: Simplify (/ 1 1) into 1
9.157 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
9.157 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
9.157 * [taylor]: Taking taylor expansion of d1 in d1
9.157 * [backup-simplify]: Simplify 0 into 0
9.157 * [backup-simplify]: Simplify 1 into 1
9.157 * [backup-simplify]: Simplify (* 1 1) into 1
9.158 * [backup-simplify]: Simplify (* 1 1) into 1
9.158 * [backup-simplify]: Simplify (* 1 1) into 1
9.158 * [backup-simplify]: Simplify (* 1 1) into 1
9.159 * [backup-simplify]: Simplify (/ 1 1) into 1
9.159 * [backup-simplify]: Simplify 1 into 1
9.160 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.161 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.161 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.162 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.163 * [backup-simplify]: Simplify 0 into 0
9.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.165 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.168 * [backup-simplify]: Simplify 0 into 0
9.169 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.170 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.171 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.172 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.173 * [backup-simplify]: Simplify 0 into 0
9.174 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.179 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.179 * [backup-simplify]: Simplify 0 into 0
9.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.186 * [backup-simplify]: Simplify 0 into 0
9.187 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.188 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.189 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.190 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.191 * [backup-simplify]: Simplify 0 into 0
9.191 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10)
9.191 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 10))
9.191 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0
9.191 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
9.191 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
9.191 * [taylor]: Taking taylor expansion of d1 in d1
9.191 * [backup-simplify]: Simplify 0 into 0
9.191 * [backup-simplify]: Simplify 1 into 1
9.191 * [backup-simplify]: Simplify (* 1 1) into 1
9.191 * [backup-simplify]: Simplify (* 1 1) into 1
9.192 * [backup-simplify]: Simplify (* 1 1) into 1
9.192 * [backup-simplify]: Simplify (* 1 1) into 1
9.192 * [backup-simplify]: Simplify (/ 1 1) into 1
9.192 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1
9.192 * [taylor]: Taking taylor expansion of (pow d1 10) in d1
9.192 * [taylor]: Taking taylor expansion of d1 in d1
9.192 * [backup-simplify]: Simplify 0 into 0
9.192 * [backup-simplify]: Simplify 1 into 1
9.192 * [backup-simplify]: Simplify (* 1 1) into 1
9.193 * [backup-simplify]: Simplify (* 1 1) into 1
9.193 * [backup-simplify]: Simplify (* 1 1) into 1
9.193 * [backup-simplify]: Simplify (* 1 1) into 1
9.193 * [backup-simplify]: Simplify (/ 1 1) into 1
9.193 * [backup-simplify]: Simplify 1 into 1
9.194 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.194 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.195 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.195 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.196 * [backup-simplify]: Simplify 0 into 0
9.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.198 * [backup-simplify]: Simplify 0 into 0
9.199 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.199 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.201 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.201 * [backup-simplify]: Simplify 0 into 0
9.202 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.206 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.206 * [backup-simplify]: Simplify 0 into 0
9.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.209 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.210 * [backup-simplify]: Simplify 0 into 0
9.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.214 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.214 * [backup-simplify]: Simplify 0 into 0
9.214 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10)
9.215 * * * [progress]: simplifying candidates
9.215 * * * * [progress]: [ 1 / 86 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ 7 1))) d1))>
9.215 * * * * [progress]: [ 2 / 86 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 (+ 1 (+ 7 1))) d1))>
9.215 * * * * [progress]: [ 3 / 86 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (pow d1 7) d1)) 1) d1))>
9.215 * * * * [progress]: [ 4 / 86 ] simplifiying candidate #<alt (λ (d1) (* (pow (* d1 (* (pow d1 7) d1)) 1) d1))>
9.215 * * * * [progress]: [ 5 / 86 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (* (log d1) 7) (log d1)))) d1))>
9.215 * * * * [progress]: [ 6 / 86 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (* (log d1) 7) (log d1)))) d1))>
9.215 * * * * [progress]: [ 7 / 86 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (+ (log (pow d1 7)) (log d1)))) d1))>
9.215 * * * * [progress]: [ 8 / 86 ] simplifiying candidate #<alt (λ (d1) (* (exp (+ (log d1) (log (* (pow d1 7) d1)))) d1))>
9.215 * * * * [progress]: [ 9 / 86 ] simplifiying candidate #<alt (λ (d1) (* (exp (log (* d1 (* (pow d1 7) d1)))) d1))>
9.215 * * * * [progress]: [ 10 / 86 ] simplifiying candidate #<alt (λ (d1) (* (log (exp (* d1 (* (pow d1 7) d1)))) d1))>
9.215 * * * * [progress]: [ 11 / 86 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))) d1))>
9.215 * * * * [progress]: [ 12 / 86 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))) d1))>
9.215 * * * * [progress]: [ 13 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt (* d1 (* (pow d1 7) d1))) (cbrt (* d1 (* (pow d1 7) d1)))) (cbrt (* d1 (* (pow d1 7) d1)))) d1))>
9.215 * * * * [progress]: [ 14 / 86 ] simplifiying candidate #<alt (λ (d1) (* (cbrt (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1)))) d1))>
9.215 * * * * [progress]: [ 15 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt (* d1 (* (pow d1 7) d1))) (sqrt (* d1 (* (pow d1 7) d1)))) d1))>
9.215 * * * * [progress]: [ 16 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (pow d1 7) d1))) d1))>
9.215 * * * * [progress]: [ 17 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (pow d1 7)) d1) d1))>
9.215 * * * * [progress]: [ 18 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (* (pow d1 7) d1))) d1))>
9.215 * * * * [progress]: [ 19 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (sqrt d1) (* (sqrt d1) (* (pow d1 7) d1))) d1))>
9.215 * * * * [progress]: [ 20 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* 1 (* d1 (* (pow d1 7) d1))) d1))>
9.215 * * * * [progress]: [ 21 / 86 ] simplifiying candidate #<alt (λ (d1) (* (posit16->real (real->posit16 (* d1 (* (pow d1 7) d1)))) d1))>
9.215 * * * * [progress]: [ 22 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (* (pow d1 7) d1) d1) d1))>
9.216 * * * * [progress]: [ 23 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 (+ 7 1))) d1))>
9.216 * * * * [progress]: [ 24 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 (+ 7 1))) d1))>
9.216 * * * * [progress]: [ 25 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow (* (pow d1 7) d1) 1)) d1))>
9.216 * * * * [progress]: [ 26 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (* (log d1) 7) (log d1)))) d1))>
9.216 * * * * [progress]: [ 27 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (* (log d1) 7) (log d1)))) d1))>
9.216 * * * * [progress]: [ 28 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (+ (log (pow d1 7)) (log d1)))) d1))>
9.216 * * * * [progress]: [ 29 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (exp (log (* (pow d1 7) d1)))) d1))>
9.216 * * * * [progress]: [ 30 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (log (exp (* (pow d1 7) d1)))) d1))>
9.216 * * * * [progress]: [ 31 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (cbrt (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))) d1))>
9.216 * * * * [progress]: [ 32 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (* (pow d1 7) d1)) (cbrt (* (pow d1 7) d1))) (cbrt (* (pow d1 7) d1)))) d1))>
9.216 * * * * [progress]: [ 33 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (cbrt (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))) d1))>
9.216 * * * * [progress]: [ 34 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (sqrt (* (pow d1 7) d1)) (sqrt (* (pow d1 7) d1)))) d1))>
9.216 * * * * [progress]: [ 35 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* 1 (* (pow d1 7) d1))) d1))>
9.216 * * * * [progress]: [ 36 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow (sqrt d1) 7) (sqrt d1)) (* (pow (sqrt d1) 7) (sqrt d1)))) d1))>
9.216 * * * * [progress]: [ 37 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (sqrt (pow d1 7)) (sqrt d1)) (* (sqrt (pow d1 7)) (sqrt d1)))) d1))>
9.216 * * * * [progress]: [ 38 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 (/ 7 2)) (sqrt d1)) (* (pow d1 (/ 7 2)) (sqrt d1)))) d1))>
9.216 * * * * [progress]: [ 39 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) (* (cbrt d1) (cbrt d1))) (cbrt d1))) d1))>
9.216 * * * * [progress]: [ 40 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) (sqrt d1)) (sqrt d1))) d1))>
9.216 * * * * [progress]: [ 41 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (pow d1 7) 1) d1)) d1))>
9.216 * * * * [progress]: [ 42 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (* (cbrt d1) (cbrt d1)) 7) (* (pow (cbrt d1) 7) d1))) d1))>
9.216 * * * * [progress]: [ 43 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow (sqrt d1) 7) (* (pow (sqrt d1) 7) d1))) d1))>
9.216 * * * * [progress]: [ 44 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow 1 7) (* (pow d1 7) d1))) d1))>
9.216 * * * * [progress]: [ 45 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (* (cbrt (pow d1 7)) (cbrt (pow d1 7))) (* (cbrt (pow d1 7)) d1))) d1))>
9.216 * * * * [progress]: [ 46 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (sqrt (pow d1 7)) (* (sqrt (pow d1 7)) d1))) d1))>
9.216 * * * * [progress]: [ 47 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* 1 (* (pow d1 7) d1))) d1))>
9.216 * * * * [progress]: [ 48 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* (pow d1 (/ 7 2)) (* (pow d1 (/ 7 2)) d1))) d1))>
9.216 * * * * [progress]: [ 49 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (posit16->real (real->posit16 (* (pow d1 7) d1)))) d1))>
9.217 * * * * [progress]: [ 50 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (* d1 (pow d1 7))) d1))>
9.217 * * * * [progress]: [ 51 / 86 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
9.217 * * * * [progress]: [ 52 / 86 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
9.217 * * * * [progress]: [ 53 / 86 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
9.217 * * * * [progress]: [ 54 / 86 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
9.217 * * * * [progress]: [ 55 / 86 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
9.217 * * * * [progress]: [ 56 / 86 ] simplifiying candidate #<alt (λ (d1) (pow d1 (+ (+ 1 (+ 7 1)) 1)))>
9.217 * * * * [progress]: [ 57 / 86 ] simplifiying candidate #<alt (λ (d1) (pow (* (* d1 (* (pow d1 7) d1)) d1) 1))>
9.217 * * * * [progress]: [ 58 / 86 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))))>
9.217 * * * * [progress]: [ 59 / 86 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))))>
9.217 * * * * [progress]: [ 60 / 86 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (+ (log (pow d1 7)) (log d1))) (log d1))))>
9.217 * * * * [progress]: [ 61 / 86 ] simplifiying candidate #<alt (λ (d1) (exp (+ (+ (log d1) (log (* (pow d1 7) d1))) (log d1))))>
9.217 * * * * [progress]: [ 62 / 86 ] simplifiying candidate #<alt (λ (d1) (exp (+ (log (* d1 (* (pow d1 7) d1))) (log d1))))>
9.217 * * * * [progress]: [ 63 / 86 ] simplifiying candidate #<alt (λ (d1) (exp (log (* (* d1 (* (pow d1 7) d1)) d1))))>
9.217 * * * * [progress]: [ 64 / 86 ] simplifiying candidate #<alt (λ (d1) (log (exp (* (* d1 (* (pow d1 7) d1)) d1))))>
9.217 * * * * [progress]: [ 65 / 86 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))) (* (* d1 d1) d1))))>
9.217 * * * * [progress]: [ 66 / 86 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))) (* (* d1 d1) d1))))>
9.217 * * * * [progress]: [ 67 / 86 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1))) (* (* d1 d1) d1))))>
9.217 * * * * [progress]: [ 68 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (cbrt (* (* d1 (* (pow d1 7) d1)) d1)) (cbrt (* (* d1 (* (pow d1 7) d1)) d1))) (cbrt (* (* d1 (* (pow d1 7) d1)) d1))))>
9.217 * * * * [progress]: [ 69 / 86 ] simplifiying candidate #<alt (λ (d1) (cbrt (* (* (* (* d1 (* (pow d1 7) d1)) d1) (* (* d1 (* (pow d1 7) d1)) d1)) (* (* d1 (* (pow d1 7) d1)) d1))))>
9.217 * * * * [progress]: [ 70 / 86 ] simplifiying candidate #<alt (λ (d1) (* (sqrt (* (* d1 (* (pow d1 7) d1)) d1)) (sqrt (* (* d1 (* (pow d1 7) d1)) d1))))>
9.217 * * * * [progress]: [ 71 / 86 ] simplifiying candidate #<alt (λ (d1) (* 1 (* (* d1 (* (pow d1 7) d1)) d1)))>
9.217 * * * * [progress]: [ 72 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) (* (cbrt d1) (cbrt d1))) (cbrt d1)))>
9.217 * * * * [progress]: [ 73 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) (sqrt d1)) (sqrt d1)))>
9.217 * * * * [progress]: [ 74 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* (* d1 (* (pow d1 7) d1)) 1) d1))>
9.217 * * * * [progress]: [ 75 / 86 ] simplifiying candidate #<alt (λ (d1) (* d1 (* (* (pow d1 7) d1) d1)))>
9.217 * * * * [progress]: [ 76 / 86 ] simplifiying candidate #<alt (λ (d1) (posit16->real (real->posit16 (* (* d1 (* (pow d1 7) d1)) d1))))>
9.217 * * * * [progress]: [ 77 / 86 ] simplifiying candidate #<alt (λ (d1) (* d1 (* d1 (* (pow d1 7) d1))))>
9.217 * * * * [progress]: [ 78 / 86 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
9.218 * * * * [progress]: [ 79 / 86 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
9.218 * * * * [progress]: [ 80 / 86 ] simplifiying candidate #<alt (λ (d1) (* (pow d1 9) d1))>
9.218 * * * * [progress]: [ 81 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
9.218 * * * * [progress]: [ 82 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
9.218 * * * * [progress]: [ 83 / 86 ] simplifiying candidate #<alt (λ (d1) (* (* d1 (pow d1 8)) d1))>
9.218 * * * * [progress]: [ 84 / 86 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
9.218 * * * * [progress]: [ 85 / 86 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
9.218 * * * * [progress]: [ 86 / 86 ] simplifiying candidate #<alt (λ (d1) (pow d1 10))>
9.218 * [simplify]: Simplifying:
  (+ 1 (+ 7 1))
  (+ 1 (+ 7 1))
  (* d1 (* (pow d1 7) d1))
  (+ (log d1) (+ (* (log d1) 7) (log d1)))
  (+ (log d1) (+ (* (log d1) 7) (log d1)))
  (+ (log d1) (+ (log (pow d1 7)) (log d1)))
  (+ (log d1) (log (* (pow d1 7) d1)))
  (log (* d1 (* (pow d1 7) d1)))
  (exp (* d1 (* (pow d1 7) d1)))
  (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)))
  (* (cbrt (* d1 (* (pow d1 7) d1))) (cbrt (* d1 (* (pow d1 7) d1))))
  (cbrt (* d1 (* (pow d1 7) d1)))
  (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1)))
  (sqrt (* d1 (* (pow d1 7) d1)))
  (sqrt (* d1 (* (pow d1 7) d1)))
  (* d1 (pow d1 7))
  (* (cbrt d1) (* (pow d1 7) d1))
  (* (sqrt d1) (* (pow d1 7) d1))
  (* d1 (* (pow d1 7) d1))
  (real->posit16 (* d1 (* (pow d1 7) d1)))
  (+ 7 1)
  (+ 7 1)
  (+ (* (log d1) 7) (log d1))
  (+ (* (log d1) 7) (log d1))
  (+ (log (pow d1 7)) (log d1))
  (log (* (pow d1 7) d1))
  (exp (* (pow d1 7) d1))
  (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))
  (* (cbrt (* (pow d1 7) d1)) (cbrt (* (pow d1 7) d1)))
  (cbrt (* (pow d1 7) d1))
  (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))
  (sqrt (* (pow d1 7) d1))
  (sqrt (* (pow d1 7) d1))
  (* (pow (sqrt d1) 7) (sqrt d1))
  (* (pow (sqrt d1) 7) (sqrt d1))
  (* (sqrt (pow d1 7)) (sqrt d1))
  (* (sqrt (pow d1 7)) (sqrt d1))
  (* (pow d1 (/ 7 2)) (sqrt d1))
  (* (pow d1 (/ 7 2)) (sqrt d1))
  (* (pow d1 7) (* (cbrt d1) (cbrt d1)))
  (* (pow d1 7) (sqrt d1))
  (* (pow d1 7) 1)
  (* (pow (cbrt d1) 7) d1)
  (* (pow (sqrt d1) 7) d1)
  (* (pow d1 7) d1)
  (* (cbrt (pow d1 7)) d1)
  (* (sqrt (pow d1 7)) d1)
  (* (pow d1 7) d1)
  (* (pow d1 (/ 7 2)) d1)
  (real->posit16 (* (pow d1 7) d1))
  (+ (+ 1 (+ 7 1)) 1)
  (+ (+ 1 (+ 7 1)) 1)
  (* (* d1 (* (pow d1 7) d1)) d1)
  (* (* d1 (* (pow d1 7) d1)) d1)
  (+ (+ 1 (+ 7 1)) 1)
  (+ (+ 1 (+ 7 1)) 1)
  (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))
  (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1))
  (+ (+ (log d1) (+ (log (pow d1 7)) (log d1))) (log d1))
  (+ (+ (log d1) (log (* (pow d1 7) d1))) (log d1))
  (+ (log (* d1 (* (pow d1 7) d1))) (log d1))
  (log (* (* d1 (* (pow d1 7) d1)) d1))
  (exp (* (* d1 (* (pow d1 7) d1)) d1))
  (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))) (* (* d1 d1) d1))
  (* (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1))) (* (* d1 d1) d1))
  (* (cbrt (* (* d1 (* (pow d1 7) d1)) d1)) (cbrt (* (* d1 (* (pow d1 7) d1)) d1)))
  (cbrt (* (* d1 (* (pow d1 7) d1)) d1))
  (* (* (* (* d1 (* (pow d1 7) d1)) d1) (* (* d1 (* (pow d1 7) d1)) d1)) (* (* d1 (* (pow d1 7) d1)) d1))
  (sqrt (* (* d1 (* (pow d1 7) d1)) d1))
  (sqrt (* (* d1 (* (pow d1 7) d1)) d1))
  (* (* d1 (* (pow d1 7) d1)) (* (cbrt d1) (cbrt d1)))
  (* (* d1 (* (pow d1 7) d1)) (sqrt d1))
  (* (* d1 (* (pow d1 7) d1)) 1)
  (* (* (pow d1 7) d1) d1)
  (real->posit16 (* (* d1 (* (pow d1 7) d1)) d1))
  (pow d1 9)
  (pow d1 9)
  (pow d1 9)
  (pow d1 8)
  (pow d1 8)
  (pow d1 8)
  (pow d1 10)
  (pow d1 10)
  (pow d1 10)
9.220 * * [simplify]: iteration 0: 90 enodes
9.241 * * [simplify]: iteration 1: 234 enodes
9.360 * * [simplify]: iteration 2: 784 enodes
10.301 * * [simplify]: iteration 3: 3582 enodes
11.922 * * [simplify]: iteration complete: 5001 enodes
11.922 * * [simplify]: Extracting #0: cost 42 inf + 0
11.924 * * [simplify]: Extracting #1: cost 642 inf + 3
11.929 * * [simplify]: Extracting #2: cost 1286 inf + 2935
11.940 * * [simplify]: Extracting #3: cost 914 inf + 127859
11.979 * * [simplify]: Extracting #4: cost 251 inf + 340853
12.055 * * [simplify]: Extracting #5: cost 19 inf + 412342
12.132 * * [simplify]: Extracting #6: cost 0 inf + 420075
12.203 * * [simplify]: Extracting #7: cost 0 inf + 419984
12.303 * [simplify]: Simplified to:
  9
  9
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* 9 (log d1))
  (* 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)))))
  (* (* (* d1 (* (* d1 d1) (* 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))))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (cbrt d1)))
  (* (* (sqrt d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (real->posit16 (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))
  8
  8
  (* 8 (log d1))
  (* 8 (log d1))
  (* 8 (log d1))
  (* 8 (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))))
  (* (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))))
  (fabs (* (* d1 d1) (* d1 d1)))
  (fabs (* (* 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 (pow d1 7)) (sqrt d1))
  (* (sqrt (pow d1 7)) (sqrt d1))
  (* (sqrt d1) (pow d1 7/2))
  (* (sqrt d1) (pow d1 7/2))
  (* (cbrt d1) (* (cbrt d1) (pow d1 7)))
  (* (pow d1 7) (sqrt d1))
  (pow d1 7)
  (* d1 (pow (cbrt d1) 7))
  (* d1 (pow (sqrt d1) 7))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (cbrt (pow d1 7)) d1)
  (* d1 (sqrt (pow d1 7)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (pow d1 9/2)
  (real->posit16 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))
  10
  10
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))
  10
  10
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (log d1))
  (* 10 (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)))))
  (* (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))))
  (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))))
  (* (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))) (* d1 (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))) (* d1 (* (* d1 d1) (* d1 d1)))))
  (fabs (* d1 (* (* d1 d1) (* d1 d1))))
  (fabs (* d1 (* (* d1 d1) (* d1 d1))))
  (* d1 (* (* (* (* d1 d1) (* d1 d1)) (cbrt d1)) (* (* (* d1 d1) (* d1 d1)) (cbrt d1))))
  (* (* (* (sqrt d1) d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (real->posit16 (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))
  (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* 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.306 * * * [progress]: adding candidates to table
12.556 * * [progress]: iteration 3 / 4
12.556 * * * [progress]: picking best candidate
12.560 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 10))>
12.560 * * * [progress]: localizing error
12.567 * * * [progress]: generating rewritten candidates
12.567 * * * [progress]: generating series expansions
12.567 * * * [progress]: simplifying candidates
12.567 * [simplify]: Simplifying:
  
12.567 * * [simplify]: iteration 0: 0 enodes
12.568 * * [simplify]: iteration complete: 0 enodes
12.568 * * [simplify]: Extracting #0: cost 0 inf + 0
12.568 * [simplify]: Simplified to:
  
12.568 * * * [progress]: adding candidates to table
12.569 * [progress]: [Phase 3 of 3] Extracting.
12.572 * [simplify]: Simplifying:
  (pow d1 10)
12.573 * * [simplify]: iteration 0: 3 enodes
12.573 * * [simplify]: iteration complete: 3 enodes
12.573 * * [simplify]: Extracting #0: cost 1 inf + 0
12.573 * * [simplify]: Extracting #1: cost 3 inf + 0
12.573 * * [simplify]: Extracting #2: cost 1 inf + 2
12.573 * * [simplify]: Extracting #3: cost 0 inf + 214
12.573 * [simplify]: Simplified to:
  (pow d1 10)
15.206 * [regime-testing]: Baseline error score: 0
15.208 * [regime-testing]: Oracle error score: 0
15.208 * [regime-testing]: End program error score: 0
15.262 * [regime-testing]: Target error score: 0