0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.064 * * * [progress]: [2/2] Setting up program. 0.066 * [progress]: [Phase 2 of 3] Improving. 0.066 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.066 * [simplify]: Simplifying (/ (- (exp x) 1) x) 0.066 * * [simplify]: iters left: 5 (5 enodes) 0.068 * * [simplify]: iters left: 4 (24 enodes) 0.073 * * [simplify]: iters left: 3 (34 enodes) 0.079 * * [simplify]: iters left: 2 (39 enodes) 0.089 * * [simplify]: Extracting #0: cost 1 inf + 0 0.089 * * [simplify]: Extracting #1: cost 7 inf + 0 0.089 * * [simplify]: Extracting #2: cost 13 inf + 1 0.089 * * [simplify]: Extracting #3: cost 8 inf + 229 0.089 * * [simplify]: Extracting #4: cost 1 inf + 788 0.090 * * [simplify]: Extracting #5: cost 0 inf + 899 0.090 * [simplify]: Simplified to (/ (expm1 x) x) 0.090 * [simplify]: Simplified (2) to (λ (x) (/ (expm1 x) x)) 0.099 * * [progress]: iteration 1 / 4 0.099 * * * [progress]: picking best candidate 0.102 * * * * [pick]: Picked # 0.102 * * * [progress]: localizing error 0.112 * * * [progress]: generating rewritten candidates 0.112 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.120 * * * [progress]: generating series expansions 0.120 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.120 * [backup-simplify]: Simplify (/ (expm1 x) x) into (/ (expm1 x) x) 0.120 * [approximate]: Taking taylor expansion of (/ (expm1 x) x) in (x) around 0 0.120 * [taylor]: Taking taylor expansion of (/ (expm1 x) x) in x 0.120 * [taylor]: Taking taylor expansion of (expm1 x) in x 0.120 * [taylor]: Rewrote expression to (- (exp x) 1) 0.120 * [taylor]: Taking taylor expansion of (exp x) in x 0.120 * [taylor]: Taking taylor expansion of x in x 0.120 * [backup-simplify]: Simplify 0 into 0 0.120 * [backup-simplify]: Simplify 1 into 1 0.120 * [backup-simplify]: Simplify (exp 0) into 1 0.120 * [taylor]: Taking taylor expansion of 1 in x 0.120 * [backup-simplify]: Simplify 1 into 1 0.120 * [taylor]: Taking taylor expansion of x in x 0.120 * [backup-simplify]: Simplify 0 into 0 0.121 * [backup-simplify]: Simplify 1 into 1 0.121 * [backup-simplify]: Simplify (- 1) into -1 0.121 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.122 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.123 * [backup-simplify]: Simplify (- 0) into 0 0.123 * [backup-simplify]: Simplify (+ 1 0) into 1 0.123 * [backup-simplify]: Simplify (/ 1 1) into 1 0.123 * [taylor]: Taking taylor expansion of (/ (expm1 x) x) in x 0.124 * [taylor]: Taking taylor expansion of (expm1 x) in x 0.124 * [taylor]: Rewrote expression to (- (exp x) 1) 0.124 * [taylor]: Taking taylor expansion of (exp x) in x 0.124 * [taylor]: Taking taylor expansion of x in x 0.124 * [backup-simplify]: Simplify 0 into 0 0.124 * [backup-simplify]: Simplify 1 into 1 0.124 * [backup-simplify]: Simplify (exp 0) into 1 0.124 * [taylor]: Taking taylor expansion of 1 in x 0.124 * [backup-simplify]: Simplify 1 into 1 0.124 * [taylor]: Taking taylor expansion of x in x 0.124 * [backup-simplify]: Simplify 0 into 0 0.124 * [backup-simplify]: Simplify 1 into 1 0.124 * [backup-simplify]: Simplify (- 1) into -1 0.125 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.125 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.126 * [backup-simplify]: Simplify (- 0) into 0 0.126 * [backup-simplify]: Simplify (+ 1 0) into 1 0.126 * [backup-simplify]: Simplify (/ 1 1) into 1 0.127 * [backup-simplify]: Simplify 1 into 1 0.128 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.128 * [backup-simplify]: Simplify (- 0) into 0 0.129 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 0.130 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2 0.130 * [backup-simplify]: Simplify 1/2 into 1/2 0.132 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.132 * [backup-simplify]: Simplify (- 0) into 0 0.132 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 0.133 * [backup-simplify]: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6 0.133 * [backup-simplify]: Simplify 1/6 into 1/6 0.134 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 0.134 * [backup-simplify]: Simplify (/ (expm1 (/ 1 x)) (/ 1 x)) into (* (expm1 (/ 1 x)) x) 0.134 * [approximate]: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in (x) around 0 0.134 * [taylor]: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 0.134 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 0.134 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 0.134 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify 1 into 1 0.134 * [backup-simplify]: Simplify (/ 1 1) into 1 0.134 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.134 * [taylor]: Taking taylor expansion of 1 in x 0.134 * [backup-simplify]: Simplify 1 into 1 0.135 * [taylor]: Taking taylor expansion of x in x 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 1 into 1 0.135 * [taylor]: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 0.135 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 0.135 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 0.135 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.135 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.135 * [taylor]: Taking taylor expansion of x in x 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 1 into 1 0.135 * [backup-simplify]: Simplify (/ 1 1) into 1 0.135 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.135 * [taylor]: Taking taylor expansion of 1 in x 0.135 * [backup-simplify]: Simplify 1 into 1 0.135 * [taylor]: Taking taylor expansion of x in x 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 1 into 1 0.136 * [backup-simplify]: Simplify (- 1) into -1 0.136 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 0.136 * [backup-simplify]: Simplify (* (- (exp (/ 1 x)) 1) 0) into 0 0.136 * [backup-simplify]: Simplify 0 into 0 0.136 * [backup-simplify]: Simplify (- 0) into 0 0.137 * [backup-simplify]: Simplify (+ 0 0) into 0 0.137 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 1) (* 0 0)) into (- (exp (/ 1 x)) 1) 0.137 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 0.137 * [backup-simplify]: Simplify (- 0) into 0 0.138 * [backup-simplify]: Simplify (+ 0 0) into 0 0.138 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0 0.139 * [backup-simplify]: Simplify 0 into 0 0.139 * [backup-simplify]: Simplify (- 0) into 0 0.139 * [backup-simplify]: Simplify (+ 0 0) into 0 0.140 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.140 * [backup-simplify]: Simplify 0 into 0 0.140 * [backup-simplify]: Simplify (- 0) into 0 0.141 * [backup-simplify]: Simplify (+ 0 0) into 0 0.142 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.142 * [backup-simplify]: Simplify 0 into 0 0.142 * [backup-simplify]: Simplify (- 0) into 0 0.142 * [backup-simplify]: Simplify (+ 0 0) into 0 0.143 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.143 * [backup-simplify]: Simplify 0 into 0 0.144 * [backup-simplify]: Simplify (- 0) into 0 0.144 * [backup-simplify]: Simplify (+ 0 0) into 0 0.145 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.145 * [backup-simplify]: Simplify 0 into 0 0.145 * [backup-simplify]: Simplify (- 0) into 0 0.146 * [backup-simplify]: Simplify (+ 0 0) into 0 0.147 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.147 * [backup-simplify]: Simplify 0 into 0 0.147 * [backup-simplify]: Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x) 0.147 * [backup-simplify]: Simplify (/ (expm1 (/ 1 (- x))) (/ 1 (- x))) into (* -1 (* x (expm1 (/ -1 x)))) 0.147 * [approximate]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in (x) around 0 0.147 * [taylor]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 0.147 * [taylor]: Taking taylor expansion of -1 in x 0.147 * [backup-simplify]: Simplify -1 into -1 0.147 * [taylor]: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [backup-simplify]: Simplify 0 into 0 0.148 * [backup-simplify]: Simplify 1 into 1 0.148 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 0.148 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 0.148 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.148 * [taylor]: Taking taylor expansion of -1 in x 0.148 * [backup-simplify]: Simplify -1 into -1 0.148 * [taylor]: Taking taylor expansion of x in x 0.148 * [backup-simplify]: Simplify 0 into 0 0.148 * [backup-simplify]: Simplify 1 into 1 0.148 * [backup-simplify]: Simplify (/ -1 1) into -1 0.148 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.148 * [taylor]: Taking taylor expansion of 1 in x 0.148 * [backup-simplify]: Simplify 1 into 1 0.148 * [taylor]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 0.148 * [taylor]: Taking taylor expansion of -1 in x 0.148 * [backup-simplify]: Simplify -1 into -1 0.148 * [taylor]: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.148 * [backup-simplify]: Simplify 0 into 0 0.148 * [backup-simplify]: Simplify 1 into 1 0.148 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 0.148 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 0.149 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.149 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.149 * [taylor]: Taking taylor expansion of -1 in x 0.149 * [backup-simplify]: Simplify -1 into -1 0.149 * [taylor]: Taking taylor expansion of x in x 0.149 * [backup-simplify]: Simplify 0 into 0 0.149 * [backup-simplify]: Simplify 1 into 1 0.149 * [backup-simplify]: Simplify (/ -1 1) into -1 0.149 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.149 * [taylor]: Taking taylor expansion of 1 in x 0.149 * [backup-simplify]: Simplify 1 into 1 0.150 * [backup-simplify]: Simplify (- 1) into -1 0.150 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 0.150 * [backup-simplify]: Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0 0.150 * [backup-simplify]: Simplify (* -1 0) into 0 0.150 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify (- 0) into 0 0.151 * [backup-simplify]: Simplify (+ 0 0) into 0 0.151 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1) 0.152 * [backup-simplify]: Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x))) 0.152 * [backup-simplify]: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x))) 0.152 * [backup-simplify]: Simplify (- 0) into 0 0.153 * [backup-simplify]: Simplify (+ 0 0) into 0 0.165 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ -1 x)) 1)))) into 0 0.166 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0 0.166 * [backup-simplify]: Simplify 0 into 0 0.167 * [backup-simplify]: Simplify (- 0) into 0 0.167 * [backup-simplify]: Simplify (+ 0 0) into 0 0.169 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))) into 0 0.170 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0 0.170 * [backup-simplify]: Simplify 0 into 0 0.171 * [backup-simplify]: Simplify (- 0) into 0 0.171 * [backup-simplify]: Simplify (+ 0 0) into 0 0.173 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))) into 0 0.174 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0 0.174 * [backup-simplify]: Simplify 0 into 0 0.175 * [backup-simplify]: Simplify (- 0) into 0 0.175 * [backup-simplify]: Simplify (+ 0 0) into 0 0.177 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))) into 0 0.179 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0 0.179 * [backup-simplify]: Simplify 0 into 0 0.180 * [backup-simplify]: Simplify (- 0) into 0 0.180 * [backup-simplify]: Simplify (+ 0 0) into 0 0.183 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))))) into 0 0.185 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0 0.185 * [backup-simplify]: Simplify 0 into 0 0.186 * [backup-simplify]: Simplify (- 0) into 0 0.186 * [backup-simplify]: Simplify (+ 0 0) into 0 0.188 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))))) into 0 0.190 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))))) into 0 0.190 * [backup-simplify]: Simplify 0 into 0 0.190 * [backup-simplify]: Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x)) 0.190 * * * [progress]: simplifying candidates 0.190 * * * * [progress]: [ 1 / 34 ] simplifiying candidate # 0.190 * [simplify]: Simplifying (expm1 (/ (expm1 x) x)) 0.190 * * [simplify]: iters left: 4 (4 enodes) 0.191 * * [simplify]: iters left: 3 (12 enodes) 0.193 * * [simplify]: Extracting #0: cost 1 inf + 0 0.193 * * [simplify]: Extracting #1: cost 3 inf + 0 0.193 * * [simplify]: Extracting #2: cost 6 inf + 0 0.193 * * [simplify]: Extracting #3: cost 6 inf + 1 0.193 * * [simplify]: Extracting #4: cost 0 inf + 727 0.193 * [simplify]: Simplified to (expm1 (/ (expm1 x) x)) 0.193 * [simplify]: Simplified (2 1) to (λ (x) (log1p (expm1 (/ (expm1 x) x)))) 0.193 * * * * [progress]: [ 2 / 34 ] simplifiying candidate # 0.193 * [simplify]: Simplifying (log1p (/ (expm1 x) x)) 0.193 * * [simplify]: iters left: 4 (4 enodes) 0.194 * * [simplify]: iters left: 3 (12 enodes) 0.195 * * [simplify]: Extracting #0: cost 1 inf + 0 0.195 * * [simplify]: Extracting #1: cost 3 inf + 0 0.195 * * [simplify]: Extracting #2: cost 6 inf + 0 0.196 * * [simplify]: Extracting #3: cost 6 inf + 1 0.196 * * [simplify]: Extracting #4: cost 0 inf + 767 0.196 * [simplify]: Simplified to (log1p (/ (expm1 x) x)) 0.196 * [simplify]: Simplified (2 1) to (λ (x) (expm1 (log1p (/ (expm1 x) x)))) 0.196 * * * * [progress]: [ 3 / 34 ] simplifiying candidate # 0.196 * * * * [progress]: [ 4 / 34 ] simplifiying candidate # 0.196 * [simplify]: Simplifying (- (log (expm1 x)) (log x)) 0.196 * * [simplify]: iters left: 4 (5 enodes) 0.197 * * [simplify]: iters left: 3 (17 enodes) 0.199 * * [simplify]: iters left: 2 (20 enodes) 0.202 * * [simplify]: Extracting #0: cost 1 inf + 0 0.202 * * [simplify]: Extracting #1: cost 5 inf + 0 0.202 * * [simplify]: Extracting #2: cost 10 inf + 0 0.202 * * [simplify]: Extracting #3: cost 10 inf + 1 0.202 * * [simplify]: Extracting #4: cost 0 inf + 1291 0.202 * [simplify]: Simplified to (- (log (expm1 x)) (log x)) 0.202 * [simplify]: Simplified (2 1) to (λ (x) (exp (- (log (expm1 x)) (log x)))) 0.202 * * * * [progress]: [ 5 / 34 ] simplifiying candidate # 0.202 * [simplify]: Simplifying (log (/ (expm1 x) x)) 0.202 * * [simplify]: iters left: 4 (4 enodes) 0.203 * * [simplify]: iters left: 3 (15 enodes) 0.205 * * [simplify]: iters left: 2 (21 enodes) 0.208 * * [simplify]: iters left: 1 (24 enodes) 0.211 * * [simplify]: Extracting #0: cost 1 inf + 0 0.211 * * [simplify]: Extracting #1: cost 6 inf + 0 0.211 * * [simplify]: Extracting #2: cost 12 inf + 0 0.211 * * [simplify]: Extracting #3: cost 12 inf + 1 0.211 * * [simplify]: Extracting #4: cost 8 inf + 325 0.211 * * [simplify]: Extracting #5: cost 1 inf + 1232 0.212 * * [simplify]: Extracting #6: cost 0 inf + 1373 0.212 * [simplify]: Simplified to (log (/ (expm1 x) x)) 0.212 * [simplify]: Simplified (2 1) to (λ (x) (exp (log (/ (expm1 x) x)))) 0.212 * * * * [progress]: [ 6 / 34 ] simplifiying candidate # 0.212 * [simplify]: Simplifying (exp (/ (expm1 x) x)) 0.212 * * [simplify]: iters left: 4 (4 enodes) 0.213 * * [simplify]: iters left: 3 (12 enodes) 0.215 * * [simplify]: Extracting #0: cost 1 inf + 0 0.215 * * [simplify]: Extracting #1: cost 3 inf + 0 0.215 * * [simplify]: Extracting #2: cost 6 inf + 0 0.215 * * [simplify]: Extracting #3: cost 6 inf + 1 0.215 * * [simplify]: Extracting #4: cost 0 inf + 727 0.215 * [simplify]: Simplified to (exp (/ (expm1 x) x)) 0.215 * [simplify]: Simplified (2 1) to (λ (x) (log (exp (/ (expm1 x) x)))) 0.215 * * * * [progress]: [ 7 / 34 ] simplifiying candidate # 0.215 * [simplify]: Simplifying (/ (* (* (expm1 x) (expm1 x)) (expm1 x)) (* (* x x) x)) 0.215 * * [simplify]: iters left: 6 (7 enodes) 0.218 * * [simplify]: iters left: 5 (30 enodes) 0.229 * * [simplify]: iters left: 4 (70 enodes) 0.244 * * [simplify]: iters left: 3 (146 enodes) 0.290 * * [simplify]: iters left: 2 (250 enodes) 0.369 * * [simplify]: iters left: 1 (429 enodes) 0.584 * * [simplify]: Extracting #0: cost 1 inf + 0 0.584 * * [simplify]: Extracting #1: cost 87 inf + 0 0.585 * * [simplify]: Extracting #2: cost 207 inf + 184 0.588 * * [simplify]: Extracting #3: cost 179 inf + 6325 0.592 * * [simplify]: Extracting #4: cost 90 inf + 41357 0.599 * * [simplify]: Extracting #5: cost 8 inf + 85218 0.608 * * [simplify]: Extracting #6: cost 0 inf + 90202 0.625 * [simplify]: Simplified to (* (* (/ (expm1 x) x) (/ (expm1 x) x)) (/ (expm1 x) x)) 0.625 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (* (/ (expm1 x) x) (/ (expm1 x) x)) (/ (expm1 x) x)))) 0.625 * * * * [progress]: [ 8 / 34 ] simplifiying candidate # 0.625 * [simplify]: Simplifying (* (cbrt (/ (expm1 x) x)) (cbrt (/ (expm1 x) x))) 0.625 * * [simplify]: iters left: 6 (5 enodes) 0.628 * * [simplify]: iters left: 5 (15 enodes) 0.632 * * [simplify]: Extracting #0: cost 1 inf + 0 0.632 * * [simplify]: Extracting #1: cost 3 inf + 0 0.632 * * [simplify]: Extracting #2: cost 5 inf + 0 0.632 * * [simplify]: Extracting #3: cost 8 inf + 0 0.632 * * [simplify]: Extracting #4: cost 8 inf + 1 0.632 * * [simplify]: Extracting #5: cost 0 inf + 1209 0.633 * [simplify]: Simplified to (* (cbrt (/ (expm1 x) x)) (cbrt (/ (expm1 x) x))) 0.633 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (/ (expm1 x) x)) (cbrt (/ (expm1 x) x))) (cbrt (/ (expm1 x) x)))) 0.633 * [simplify]: Simplifying (cbrt (/ (expm1 x) x)) 0.633 * * [simplify]: iters left: 4 (4 enodes) 0.635 * * [simplify]: iters left: 3 (12 enodes) 0.638 * * [simplify]: Extracting #0: cost 1 inf + 0 0.638 * * [simplify]: Extracting #1: cost 3 inf + 0 0.638 * * [simplify]: Extracting #2: cost 6 inf + 0 0.638 * * [simplify]: Extracting #3: cost 6 inf + 1 0.638 * * [simplify]: Extracting #4: cost 0 inf + 747 0.639 * [simplify]: Simplified to (cbrt (/ (expm1 x) x)) 0.639 * [simplify]: Simplified (2 2) to (λ (x) (* (* (cbrt (/ (expm1 x) x)) (cbrt (/ (expm1 x) x))) (cbrt (/ (expm1 x) x)))) 0.639 * * * * [progress]: [ 9 / 34 ] simplifiying candidate # 0.639 * [simplify]: Simplifying (* (* (/ (expm1 x) x) (/ (expm1 x) x)) (/ (expm1 x) x)) 0.639 * * [simplify]: iters left: 6 (5 enodes) 0.642 * * [simplify]: iters left: 5 (22 enodes) 0.650 * * [simplify]: iters left: 4 (46 enodes) 0.666 * * [simplify]: iters left: 3 (86 enodes) 0.696 * * [simplify]: iters left: 2 (159 enodes) 0.743 * * [simplify]: iters left: 1 (248 enodes) 0.837 * * [simplify]: Extracting #0: cost 1 inf + 0 0.837 * * [simplify]: Extracting #1: cost 56 inf + 0 0.838 * * [simplify]: Extracting #2: cost 108 inf + 114 0.840 * * [simplify]: Extracting #3: cost 77 inf + 5191 0.844 * * [simplify]: Extracting #4: cost 30 inf + 20290 0.851 * * [simplify]: Extracting #5: cost 1 inf + 33076 0.859 * * [simplify]: Extracting #6: cost 0 inf + 33648 0.866 * [simplify]: Simplified to (* (/ (expm1 x) x) (* (/ (expm1 x) x) (/ (expm1 x) x))) 0.866 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (/ (expm1 x) x) (* (/ (expm1 x) x) (/ (expm1 x) x))))) 0.866 * * * * [progress]: [ 10 / 34 ] simplifiying candidate # 0.867 * [simplify]: Simplifying (sqrt (/ (expm1 x) x)) 0.867 * * [simplify]: iters left: 4 (4 enodes) 0.868 * * [simplify]: iters left: 3 (12 enodes) 0.871 * * [simplify]: Extracting #0: cost 1 inf + 0 0.872 * * [simplify]: Extracting #1: cost 3 inf + 0 0.872 * * [simplify]: Extracting #2: cost 6 inf + 0 0.872 * * [simplify]: Extracting #3: cost 6 inf + 1 0.872 * * [simplify]: Extracting #4: cost 0 inf + 667 0.872 * [simplify]: Simplified to (sqrt (/ (expm1 x) x)) 0.872 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (/ (expm1 x) x)) (sqrt (/ (expm1 x) x)))) 0.872 * [simplify]: Simplifying (sqrt (/ (expm1 x) x)) 0.872 * * [simplify]: iters left: 4 (4 enodes) 0.874 * * [simplify]: iters left: 3 (12 enodes) 0.877 * * [simplify]: Extracting #0: cost 1 inf + 0 0.877 * * [simplify]: Extracting #1: cost 3 inf + 0 0.877 * * [simplify]: Extracting #2: cost 6 inf + 0 0.877 * * [simplify]: Extracting #3: cost 6 inf + 1 0.877 * * [simplify]: Extracting #4: cost 0 inf + 667 0.878 * [simplify]: Simplified to (sqrt (/ (expm1 x) x)) 0.878 * [simplify]: Simplified (2 2) to (λ (x) (* (sqrt (/ (expm1 x) x)) (sqrt (/ (expm1 x) x)))) 0.878 * * * * [progress]: [ 11 / 34 ] simplifiying candidate # 0.878 * [simplify]: Simplifying (- (expm1 x)) 0.878 * * [simplify]: iters left: 3 (3 enodes) 0.879 * * [simplify]: iters left: 2 (9 enodes) 0.882 * * [simplify]: Extracting #0: cost 1 inf + 0 0.882 * * [simplify]: Extracting #1: cost 3 inf + 0 0.882 * * [simplify]: Extracting #2: cost 5 inf + 0 0.882 * * [simplify]: Extracting #3: cost 4 inf + 1 0.882 * * [simplify]: Extracting #4: cost 0 inf + 365 0.882 * [simplify]: Simplified to (- (expm1 x)) 0.882 * [simplify]: Simplified (2 1) to (λ (x) (/ (- (expm1 x)) (- x))) 0.882 * [simplify]: Simplifying (- x) 0.882 * * [simplify]: iters left: 2 (2 enodes) 0.883 * * [simplify]: iters left: 1 (6 enodes) 0.885 * * [simplify]: Extracting #0: cost 1 inf + 0 0.885 * * [simplify]: Extracting #1: cost 3 inf + 0 0.885 * * [simplify]: Extracting #2: cost 2 inf + 1 0.885 * * [simplify]: Extracting #3: cost 0 inf + 83 0.885 * [simplify]: Simplified to (- x) 0.885 * [simplify]: Simplified (2 2) to (λ (x) (/ (- (expm1 x)) (- x))) 0.885 * * * * [progress]: [ 12 / 34 ] simplifiying candidate # 0.885 * [simplify]: Simplifying (/ (exp x) x) 0.885 * * [simplify]: iters left: 3 (3 enodes) 0.887 * * [simplify]: iters left: 2 (9 enodes) 0.889 * * [simplify]: Extracting #0: cost 1 inf + 0 0.889 * * [simplify]: Extracting #1: cost 4 inf + 0 0.889 * * [simplify]: Extracting #2: cost 4 inf + 1 0.889 * * [simplify]: Extracting #3: cost 0 inf + 365 0.889 * [simplify]: Simplified to (/ (exp x) x) 0.890 * [simplify]: Simplified (2 1) to (λ (x) (- (/ (exp x) x) (/ 1 x))) 0.890 * [simplify]: Simplifying (/ 1 x) 0.890 * * [simplify]: iters left: 2 (3 enodes) 0.892 * * [simplify]: iters left: 1 (11 enodes) 0.896 * * [simplify]: Extracting #0: cost 1 inf + 0 0.896 * * [simplify]: Extracting #1: cost 4 inf + 0 0.896 * * [simplify]: Extracting #2: cost 2 inf + 2 0.896 * * [simplify]: Extracting #3: cost 0 inf + 86 0.896 * [simplify]: Simplified to (/ 1 x) 0.896 * [simplify]: Simplified (2 2) to (λ (x) (- (/ (exp x) x) (/ 1 x))) 0.896 * * * * [progress]: [ 13 / 34 ] simplifiying candidate # 0.896 * [simplify]: Simplifying (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (* (cbrt x) (cbrt x))) 0.897 * * [simplify]: iters left: 6 (7 enodes) 0.900 * * [simplify]: iters left: 5 (27 enodes) 0.908 * * [simplify]: iters left: 4 (42 enodes) 0.921 * * [simplify]: iters left: 3 (49 enodes) 0.933 * * [simplify]: iters left: 2 (52 enodes) 0.946 * * [simplify]: Extracting #0: cost 1 inf + 0 0.946 * * [simplify]: Extracting #1: cost 11 inf + 0 0.946 * * [simplify]: Extracting #2: cost 22 inf + 0 0.946 * * [simplify]: Extracting #3: cost 21 inf + 72 0.946 * * [simplify]: Extracting #4: cost 10 inf + 2123 0.948 * * [simplify]: Extracting #5: cost 0 inf + 4803 0.949 * [simplify]: Simplified to (* (/ (cbrt (expm1 x)) (cbrt x)) (/ (cbrt (expm1 x)) (cbrt x))) 0.949 * [simplify]: Simplified (2 1) to (λ (x) (* (* (/ (cbrt (expm1 x)) (cbrt x)) (/ (cbrt (expm1 x)) (cbrt x))) (/ (cbrt (expm1 x)) (cbrt x)))) 0.949 * [simplify]: Simplifying (/ (cbrt (expm1 x)) (cbrt x)) 0.949 * * [simplify]: iters left: 4 (5 enodes) 0.951 * * [simplify]: iters left: 3 (15 enodes) 0.955 * * [simplify]: Extracting #0: cost 1 inf + 0 0.955 * * [simplify]: Extracting #1: cost 4 inf + 0 0.955 * * [simplify]: Extracting #2: cost 8 inf + 0 0.955 * * [simplify]: Extracting #3: cost 8 inf + 1 0.955 * * [simplify]: Extracting #4: cost 0 inf + 1149 0.955 * [simplify]: Simplified to (/ (cbrt (expm1 x)) (cbrt x)) 0.955 * [simplify]: Simplified (2 2) to (λ (x) (* (* (/ (cbrt (expm1 x)) (cbrt x)) (/ (cbrt (expm1 x)) (cbrt x))) (/ (cbrt (expm1 x)) (cbrt x)))) 0.955 * * * * [progress]: [ 14 / 34 ] simplifiying candidate # 0.956 * [simplify]: Simplifying (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (sqrt x)) 0.956 * * [simplify]: iters left: 6 (6 enodes) 0.958 * * [simplify]: iters left: 5 (20 enodes) 0.963 * * [simplify]: iters left: 4 (24 enodes) 0.973 * * [simplify]: iters left: 3 (27 enodes) 0.980 * * [simplify]: Extracting #0: cost 1 inf + 0 0.980 * * [simplify]: Extracting #1: cost 7 inf + 0 0.981 * * [simplify]: Extracting #2: cost 14 inf + 0 0.981 * * [simplify]: Extracting #3: cost 14 inf + 1 0.981 * * [simplify]: Extracting #4: cost 11 inf + 154 0.981 * * [simplify]: Extracting #5: cost 2 inf + 1913 0.982 * * [simplify]: Extracting #6: cost 0 inf + 2375 0.982 * [simplify]: Simplified to (* (cbrt (expm1 x)) (/ (cbrt (expm1 x)) (sqrt x))) 0.982 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (expm1 x)) (/ (cbrt (expm1 x)) (sqrt x))) (/ (cbrt (expm1 x)) (sqrt x)))) 0.983 * [simplify]: Simplifying (/ (cbrt (expm1 x)) (sqrt x)) 0.983 * * [simplify]: iters left: 4 (5 enodes) 0.985 * * [simplify]: iters left: 3 (15 enodes) 0.989 * * [simplify]: Extracting #0: cost 1 inf + 0 0.989 * * [simplify]: Extracting #1: cost 4 inf + 0 0.989 * * [simplify]: Extracting #2: cost 8 inf + 0 0.989 * * [simplify]: Extracting #3: cost 8 inf + 1 0.990 * * [simplify]: Extracting #4: cost 0 inf + 989 0.990 * [simplify]: Simplified to (/ (cbrt (expm1 x)) (sqrt x)) 0.990 * [simplify]: Simplified (2 2) to (λ (x) (* (* (cbrt (expm1 x)) (/ (cbrt (expm1 x)) (sqrt x))) (/ (cbrt (expm1 x)) (sqrt x)))) 0.990 * * * * [progress]: [ 15 / 34 ] simplifiying candidate # 0.991 * [simplify]: Simplifying (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) 1) 0.991 * * [simplify]: iters left: 6 (6 enodes) 0.994 * * [simplify]: iters left: 5 (20 enodes) 1.000 * * [simplify]: iters left: 4 (30 enodes) 1.009 * * [simplify]: iters left: 3 (31 enodes) 1.018 * * [simplify]: Extracting #0: cost 1 inf + 0 1.018 * * [simplify]: Extracting #1: cost 5 inf + 0 1.018 * * [simplify]: Extracting #2: cost 7 inf + 1 1.018 * * [simplify]: Extracting #3: cost 9 inf + 1 1.018 * * [simplify]: Extracting #4: cost 8 inf + 2 1.018 * * [simplify]: Extracting #5: cost 0 inf + 1212 1.019 * [simplify]: Simplified to (* (cbrt (expm1 x)) (cbrt (expm1 x))) 1.019 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ (cbrt (expm1 x)) x))) 1.019 * [simplify]: Simplifying (/ (cbrt (expm1 x)) x) 1.019 * * [simplify]: iters left: 4 (4 enodes) 1.021 * * [simplify]: iters left: 3 (12 enodes) 1.024 * * [simplify]: Extracting #0: cost 1 inf + 0 1.024 * * [simplify]: Extracting #1: cost 4 inf + 0 1.024 * * [simplify]: Extracting #2: cost 5 inf + 1 1.024 * * [simplify]: Extracting #3: cost 5 inf + 72 1.024 * * [simplify]: Extracting #4: cost 0 inf + 827 1.025 * [simplify]: Simplified to (/ (cbrt (expm1 x)) x) 1.025 * [simplify]: Simplified (2 2) to (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ (cbrt (expm1 x)) x))) 1.025 * * * * [progress]: [ 16 / 34 ] simplifiying candidate # 1.025 * [simplify]: Simplifying (/ (sqrt (expm1 x)) (* (cbrt x) (cbrt x))) 1.025 * * [simplify]: iters left: 5 (6 enodes) 1.028 * * [simplify]: iters left: 4 (20 enodes) 1.033 * * [simplify]: iters left: 3 (22 enodes) 1.039 * * [simplify]: Extracting #0: cost 1 inf + 0 1.039 * * [simplify]: Extracting #1: cost 6 inf + 0 1.039 * * [simplify]: Extracting #2: cost 12 inf + 0 1.039 * * [simplify]: Extracting #3: cost 12 inf + 1 1.039 * * [simplify]: Extracting #4: cost 10 inf + 153 1.040 * * [simplify]: Extracting #5: cost 1 inf + 1502 1.040 * * [simplify]: Extracting #6: cost 0 inf + 1773 1.040 * [simplify]: Simplified to (/ (/ (sqrt (expm1 x)) (cbrt x)) (cbrt x)) 1.041 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (/ (sqrt (expm1 x)) (cbrt x)) (cbrt x)) (/ (sqrt (expm1 x)) (cbrt x)))) 1.041 * [simplify]: Simplifying (/ (sqrt (expm1 x)) (cbrt x)) 1.041 * * [simplify]: iters left: 4 (5 enodes) 1.043 * * [simplify]: iters left: 3 (15 enodes) 1.047 * * [simplify]: Extracting #0: cost 1 inf + 0 1.047 * * [simplify]: Extracting #1: cost 4 inf + 0 1.047 * * [simplify]: Extracting #2: cost 8 inf + 0 1.047 * * [simplify]: Extracting #3: cost 8 inf + 1 1.047 * * [simplify]: Extracting #4: cost 0 inf + 989 1.047 * [simplify]: Simplified to (/ (sqrt (expm1 x)) (cbrt x)) 1.047 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (/ (sqrt (expm1 x)) (cbrt x)) (cbrt x)) (/ (sqrt (expm1 x)) (cbrt x)))) 1.048 * * * * [progress]: [ 17 / 34 ] simplifiying candidate # 1.048 * [simplify]: Simplifying (/ (sqrt (expm1 x)) (sqrt x)) 1.048 * * [simplify]: iters left: 4 (5 enodes) 1.050 * * [simplify]: iters left: 3 (15 enodes) 1.054 * * [simplify]: Extracting #0: cost 1 inf + 0 1.054 * * [simplify]: Extracting #1: cost 4 inf + 0 1.054 * * [simplify]: Extracting #2: cost 8 inf + 0 1.054 * * [simplify]: Extracting #3: cost 8 inf + 1 1.054 * * [simplify]: Extracting #4: cost 0 inf + 829 1.054 * [simplify]: Simplified to (/ (sqrt (expm1 x)) (sqrt x)) 1.054 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (sqrt (expm1 x)) (sqrt x)) (/ (sqrt (expm1 x)) (sqrt x)))) 1.055 * [simplify]: Simplifying (/ (sqrt (expm1 x)) (sqrt x)) 1.055 * * [simplify]: iters left: 4 (5 enodes) 1.057 * * [simplify]: iters left: 3 (15 enodes) 1.061 * * [simplify]: Extracting #0: cost 1 inf + 0 1.061 * * [simplify]: Extracting #1: cost 4 inf + 0 1.061 * * [simplify]: Extracting #2: cost 8 inf + 0 1.061 * * [simplify]: Extracting #3: cost 8 inf + 1 1.061 * * [simplify]: Extracting #4: cost 0 inf + 829 1.062 * [simplify]: Simplified to (/ (sqrt (expm1 x)) (sqrt x)) 1.062 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (sqrt (expm1 x)) (sqrt x)) (/ (sqrt (expm1 x)) (sqrt x)))) 1.062 * * * * [progress]: [ 18 / 34 ] simplifiying candidate # 1.062 * [simplify]: Simplifying (/ (sqrt (expm1 x)) 1) 1.062 * * [simplify]: iters left: 4 (5 enodes) 1.065 * * [simplify]: iters left: 3 (15 enodes) 1.069 * * [simplify]: iters left: 2 (17 enodes) 1.075 * * [simplify]: iters left: 1 (19 enodes) 1.080 * * [simplify]: Extracting #0: cost 1 inf + 0 1.080 * * [simplify]: Extracting #1: cost 4 inf + 0 1.080 * * [simplify]: Extracting #2: cost 5 inf + 1 1.080 * * [simplify]: Extracting #3: cost 4 inf + 2 1.080 * * [simplify]: Extracting #4: cost 1 inf + 255 1.080 * * [simplify]: Extracting #5: cost 0 inf + 366 1.080 * [simplify]: Simplified to (sqrt (expm1 x)) 1.080 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (expm1 x)) (/ (sqrt (expm1 x)) x))) 1.080 * [simplify]: Simplifying (/ (sqrt (expm1 x)) x) 1.080 * * [simplify]: iters left: 4 (4 enodes) 1.081 * * [simplify]: iters left: 3 (12 enodes) 1.083 * * [simplify]: Extracting #0: cost 1 inf + 0 1.083 * * [simplify]: Extracting #1: cost 4 inf + 0 1.083 * * [simplify]: Extracting #2: cost 5 inf + 1 1.083 * * [simplify]: Extracting #3: cost 5 inf + 72 1.083 * * [simplify]: Extracting #4: cost 0 inf + 667 1.083 * [simplify]: Simplified to (/ (sqrt (expm1 x)) x) 1.083 * [simplify]: Simplified (2 2) to (λ (x) (* (sqrt (expm1 x)) (/ (sqrt (expm1 x)) x))) 1.083 * * * * [progress]: [ 19 / 34 ] simplifiying candidate # 1.083 * [simplify]: Simplifying (/ 1 (* (cbrt x) (cbrt x))) 1.083 * * [simplify]: iters left: 5 (5 enodes) 1.085 * * [simplify]: iters left: 4 (19 enodes) 1.088 * * [simplify]: iters left: 3 (23 enodes) 1.092 * * [simplify]: Extracting #0: cost 1 inf + 0 1.092 * * [simplify]: Extracting #1: cost 6 inf + 0 1.092 * * [simplify]: Extracting #2: cost 9 inf + 1 1.092 * * [simplify]: Extracting #3: cost 1 inf + 852 1.092 * * [simplify]: Extracting #4: cost 0 inf + 974 1.092 * [simplify]: Simplified to (/ 1 (* (cbrt x) (cbrt x))) 1.092 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 (* (cbrt x) (cbrt x))) (/ (expm1 x) (cbrt x)))) 1.092 * [simplify]: Simplifying (/ (expm1 x) (cbrt x)) 1.092 * * [simplify]: iters left: 3 (4 enodes) 1.093 * * [simplify]: iters left: 2 (12 enodes) 1.095 * * [simplify]: Extracting #0: cost 1 inf + 0 1.095 * * [simplify]: Extracting #1: cost 4 inf + 0 1.095 * * [simplify]: Extracting #2: cost 7 inf + 0 1.095 * * [simplify]: Extracting #3: cost 6 inf + 1 1.095 * * [simplify]: Extracting #4: cost 0 inf + 687 1.095 * [simplify]: Simplified to (/ (expm1 x) (cbrt x)) 1.095 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 1 (* (cbrt x) (cbrt x))) (/ (expm1 x) (cbrt x)))) 1.095 * * * * [progress]: [ 20 / 34 ] simplifiying candidate # 1.095 * [simplify]: Simplifying (/ 1 (sqrt x)) 1.095 * * [simplify]: iters left: 3 (4 enodes) 1.097 * * [simplify]: iters left: 2 (14 enodes) 1.099 * * [simplify]: iters left: 1 (16 enodes) 1.102 * * [simplify]: Extracting #0: cost 1 inf + 0 1.102 * * [simplify]: Extracting #1: cost 4 inf + 0 1.102 * * [simplify]: Extracting #2: cost 5 inf + 1 1.102 * * [simplify]: Extracting #3: cost 3 inf + 43 1.102 * * [simplify]: Extracting #4: cost 1 inf + 166 1.102 * * [simplify]: Extracting #5: cost 0 inf + 248 1.102 * [simplify]: Simplified to (/ 1 (sqrt x)) 1.102 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 (sqrt x)) (/ (expm1 x) (sqrt x)))) 1.102 * [simplify]: Simplifying (/ (expm1 x) (sqrt x)) 1.102 * * [simplify]: iters left: 3 (4 enodes) 1.103 * * [simplify]: iters left: 2 (12 enodes) 1.107 * * [simplify]: Extracting #0: cost 1 inf + 0 1.107 * * [simplify]: Extracting #1: cost 4 inf + 0 1.107 * * [simplify]: Extracting #2: cost 7 inf + 0 1.107 * * [simplify]: Extracting #3: cost 6 inf + 1 1.107 * * [simplify]: Extracting #4: cost 0 inf + 527 1.107 * [simplify]: Simplified to (/ (expm1 x) (sqrt x)) 1.107 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 1 (sqrt x)) (/ (expm1 x) (sqrt x)))) 1.107 * * * * [progress]: [ 21 / 34 ] simplifiying candidate # 1.108 * [simplify]: Simplifying (/ 1 1) 1.108 * * [simplify]: iters left: 2 (2 enodes) 1.109 * * [simplify]: iters left: 1 (6 enodes) 1.111 * * [simplify]: Extracting #0: cost 1 inf + 0 1.111 * * [simplify]: Extracting #1: cost 0 inf + 1 1.111 * [simplify]: Simplified to 1 1.111 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (/ (expm1 x) x))) 1.112 * [simplify]: Simplifying (/ (expm1 x) x) 1.112 * * [simplify]: iters left: 3 (3 enodes) 1.113 * * [simplify]: iters left: 2 (9 enodes) 1.114 * * [simplify]: Extracting #0: cost 1 inf + 0 1.114 * * [simplify]: Extracting #1: cost 4 inf + 0 1.114 * * [simplify]: Extracting #2: cost 4 inf + 1 1.114 * * [simplify]: Extracting #3: cost 0 inf + 365 1.114 * [simplify]: Simplified to (/ (expm1 x) x) 1.114 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (/ (expm1 x) x))) 1.114 * * * * [progress]: [ 22 / 34 ] simplifiying candidate # 1.114 * * * * [progress]: [ 23 / 34 ] simplifiying candidate # 1.115 * [simplify]: Simplifying (/ 1 x) 1.115 * * [simplify]: iters left: 2 (3 enodes) 1.116 * * [simplify]: iters left: 1 (11 enodes) 1.118 * * [simplify]: Extracting #0: cost 1 inf + 0 1.118 * * [simplify]: Extracting #1: cost 4 inf + 0 1.118 * * [simplify]: Extracting #2: cost 2 inf + 2 1.118 * * [simplify]: Extracting #3: cost 0 inf + 86 1.118 * [simplify]: Simplified to (/ 1 x) 1.118 * [simplify]: Simplified (2 2) to (λ (x) (* (expm1 x) (/ 1 x))) 1.118 * * * * [progress]: [ 24 / 34 ] simplifiying candidate # 1.118 * [simplify]: Simplifying (/ x (expm1 x)) 1.118 * * [simplify]: iters left: 3 (3 enodes) 1.119 * * [simplify]: iters left: 2 (9 enodes) 1.120 * * [simplify]: Extracting #0: cost 1 inf + 0 1.120 * * [simplify]: Extracting #1: cost 4 inf + 0 1.120 * * [simplify]: Extracting #2: cost 4 inf + 1 1.120 * * [simplify]: Extracting #3: cost 0 inf + 365 1.120 * [simplify]: Simplified to (/ x (expm1 x)) 1.120 * [simplify]: Simplified (2 2) to (λ (x) (/ 1 (/ x (expm1 x)))) 1.120 * * * * [progress]: [ 25 / 34 ] simplifiying candidate # 1.121 * [simplify]: Simplifying (/ (expm1 x) (* (cbrt x) (cbrt x))) 1.121 * * [simplify]: iters left: 5 (5 enodes) 1.122 * * [simplify]: iters left: 4 (17 enodes) 1.124 * * [simplify]: iters left: 3 (19 enodes) 1.127 * * [simplify]: Extracting #0: cost 1 inf + 0 1.127 * * [simplify]: Extracting #1: cost 6 inf + 0 1.127 * * [simplify]: Extracting #2: cost 11 inf + 0 1.127 * * [simplify]: Extracting #3: cost 10 inf + 1 1.127 * * [simplify]: Extracting #4: cost 0 inf + 1391 1.127 * [simplify]: Simplified to (/ (expm1 x) (* (cbrt x) (cbrt x))) 1.127 * [simplify]: Simplified (2 1) to (λ (x) (/ (/ (expm1 x) (* (cbrt x) (cbrt x))) (cbrt x))) 1.127 * * * * [progress]: [ 26 / 34 ] simplifiying candidate # 1.128 * [simplify]: Simplifying (/ (expm1 x) (sqrt x)) 1.128 * * [simplify]: iters left: 3 (4 enodes) 1.129 * * [simplify]: iters left: 2 (12 enodes) 1.130 * * [simplify]: Extracting #0: cost 1 inf + 0 1.130 * * [simplify]: Extracting #1: cost 4 inf + 0 1.130 * * [simplify]: Extracting #2: cost 7 inf + 0 1.130 * * [simplify]: Extracting #3: cost 6 inf + 1 1.130 * * [simplify]: Extracting #4: cost 0 inf + 527 1.130 * [simplify]: Simplified to (/ (expm1 x) (sqrt x)) 1.130 * [simplify]: Simplified (2 1) to (λ (x) (/ (/ (expm1 x) (sqrt x)) (sqrt x))) 1.131 * * * * [progress]: [ 27 / 34 ] simplifiying candidate # 1.131 * [simplify]: Simplifying (/ (expm1 x) 1) 1.131 * * [simplify]: iters left: 3 (4 enodes) 1.132 * * [simplify]: iters left: 2 (12 enodes) 1.134 * * [simplify]: iters left: 1 (14 enodes) 1.137 * * [simplify]: Extracting #0: cost 1 inf + 0 1.137 * * [simplify]: Extracting #1: cost 4 inf + 0 1.137 * * [simplify]: Extracting #2: cost 0 inf + 144 1.137 * [simplify]: Simplified to (expm1 x) 1.137 * [simplify]: Simplified (2 1) to (λ (x) (/ (expm1 x) x)) 1.137 * * * * [progress]: [ 28 / 34 ] simplifiying candidate # 1.137 * [simplify]: Simplifying (/ x (cbrt (expm1 x))) 1.137 * * [simplify]: iters left: 4 (4 enodes) 1.138 * * [simplify]: iters left: 3 (12 enodes) 1.139 * * [simplify]: Extracting #0: cost 1 inf + 0 1.139 * * [simplify]: Extracting #1: cost 4 inf + 0 1.140 * * [simplify]: Extracting #2: cost 5 inf + 1 1.140 * * [simplify]: Extracting #3: cost 5 inf + 72 1.140 * * [simplify]: Extracting #4: cost 0 inf + 827 1.140 * [simplify]: Simplified to (/ x (cbrt (expm1 x))) 1.140 * [simplify]: Simplified (2 2) to (λ (x) (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ x (cbrt (expm1 x))))) 1.140 * * * * [progress]: [ 29 / 34 ] simplifiying candidate # 1.140 * [simplify]: Simplifying (/ x (sqrt (expm1 x))) 1.140 * * [simplify]: iters left: 4 (4 enodes) 1.142 * * [simplify]: iters left: 3 (12 enodes) 1.145 * * [simplify]: Extracting #0: cost 1 inf + 0 1.145 * * [simplify]: Extracting #1: cost 4 inf + 0 1.145 * * [simplify]: Extracting #2: cost 5 inf + 1 1.145 * * [simplify]: Extracting #3: cost 5 inf + 72 1.145 * * [simplify]: Extracting #4: cost 0 inf + 667 1.146 * [simplify]: Simplified to (/ x (sqrt (expm1 x))) 1.146 * [simplify]: Simplified (2 2) to (λ (x) (/ (sqrt (expm1 x)) (/ x (sqrt (expm1 x))))) 1.146 * * * * [progress]: [ 30 / 34 ] simplifiying candidate # 1.146 * [simplify]: Simplifying (/ x (expm1 x)) 1.146 * * [simplify]: iters left: 3 (3 enodes) 1.147 * * [simplify]: iters left: 2 (9 enodes) 1.150 * * [simplify]: Extracting #0: cost 1 inf + 0 1.150 * * [simplify]: Extracting #1: cost 4 inf + 0 1.150 * * [simplify]: Extracting #2: cost 4 inf + 1 1.150 * * [simplify]: Extracting #3: cost 0 inf + 365 1.150 * [simplify]: Simplified to (/ x (expm1 x)) 1.150 * [simplify]: Simplified (2 2) to (λ (x) (/ 1 (/ x (expm1 x)))) 1.150 * * * * [progress]: [ 31 / 34 ] simplifiying candidate #real (real->posit16 (/ (expm1 x) x))))> 1.150 * [simplify]: Simplifying (real->posit16 (/ (expm1 x) x)) 1.150 * * [simplify]: iters left: 4 (4 enodes) 1.152 * * [simplify]: iters left: 3 (9 enodes) 1.154 * * [simplify]: Extracting #0: cost 1 inf + 0 1.154 * * [simplify]: Extracting #1: cost 2 inf + 0 1.154 * * [simplify]: Extracting #2: cost 4 inf + 0 1.154 * * [simplify]: Extracting #3: cost 4 inf + 1 1.154 * * [simplify]: Extracting #4: cost 0 inf + 365 1.155 * [simplify]: Simplified to (real->posit16 (/ (expm1 x) x)) 1.155 * [simplify]: Simplified (2 1) to (λ (x) (posit16->real (real->posit16 (/ (expm1 x) x)))) 1.155 * * * * [progress]: [ 32 / 34 ] simplifiying candidate # 1.155 * [simplify]: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1.155 * * [simplify]: iters left: 6 (10 enodes) 1.162 * * [simplify]: iters left: 5 (44 enodes) 1.177 * * [simplify]: iters left: 4 (62 enodes) 1.197 * * [simplify]: iters left: 3 (90 enodes) 1.209 * * [simplify]: iters left: 2 (112 enodes) 1.230 * * [simplify]: iters left: 1 (124 enodes) 1.253 * * [simplify]: Extracting #0: cost 1 inf + 0 1.253 * * [simplify]: Extracting #1: cost 14 inf + 0 1.253 * * [simplify]: Extracting #2: cost 17 inf + 87 1.254 * * [simplify]: Extracting #3: cost 4 inf + 943 1.255 * * [simplify]: Extracting #4: cost 0 inf + 1271 1.256 * [simplify]: Simplified to (fma x (fma x 1/6 1/2) 1) 1.256 * [simplify]: Simplified (2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 1.257 * * * * [progress]: [ 33 / 34 ] simplifiying candidate # 1.257 * [simplify]: Simplifying (/ (- (exp x) 1) x) 1.257 * * [simplify]: iters left: 5 (5 enodes) 1.260 * * [simplify]: iters left: 4 (24 enodes) 1.268 * * [simplify]: iters left: 3 (34 enodes) 1.278 * * [simplify]: iters left: 2 (39 enodes) 1.289 * * [simplify]: Extracting #0: cost 1 inf + 0 1.289 * * [simplify]: Extracting #1: cost 7 inf + 0 1.289 * * [simplify]: Extracting #2: cost 13 inf + 1 1.289 * * [simplify]: Extracting #3: cost 8 inf + 229 1.290 * * [simplify]: Extracting #4: cost 1 inf + 788 1.290 * * [simplify]: Extracting #5: cost 0 inf + 899 1.290 * [simplify]: Simplified to (/ (expm1 x) x) 1.290 * [simplify]: Simplified (2) to (λ (x) (/ (expm1 x) x)) 1.290 * * * * [progress]: [ 34 / 34 ] simplifiying candidate # 1.291 * [simplify]: Simplifying (* -1 (/ (- 1 (exp x)) x)) 1.291 * * [simplify]: iters left: 6 (7 enodes) 1.295 * * [simplify]: iters left: 5 (32 enodes) 1.307 * * [simplify]: iters left: 4 (56 enodes) 1.325 * * [simplify]: iters left: 3 (87 enodes) 1.351 * * [simplify]: iters left: 2 (129 enodes) 1.394 * * [simplify]: iters left: 1 (177 enodes) 1.463 * * [simplify]: Extracting #0: cost 1 inf + 0 1.463 * * [simplify]: Extracting #1: cost 22 inf + 0 1.464 * * [simplify]: Extracting #2: cost 56 inf + 45 1.465 * * [simplify]: Extracting #3: cost 44 inf + 1041 1.467 * * [simplify]: Extracting #4: cost 7 inf + 6476 1.470 * * [simplify]: Extracting #5: cost 1 inf + 7467 1.474 * * [simplify]: Extracting #6: cost 0 inf + 7619 1.477 * [simplify]: Simplified to (/ (+ (exp x) -1) x) 1.477 * [simplify]: Simplified (2) to (λ (x) (/ (+ (exp x) -1) x)) 1.477 * * * [progress]: adding candidates to table 1.738 * * [progress]: iteration 2 / 4 1.738 * * * [progress]: picking best candidate 1.742 * * * * [pick]: Picked # 1.742 * * * [progress]: localizing error 1.758 * * * [progress]: generating rewritten candidates 1.758 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.775 * * * [progress]: generating series expansions 1.775 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.775 * [backup-simplify]: Simplify (* (expm1 x) (/ 1 x)) into (/ (expm1 x) x) 1.775 * [approximate]: Taking taylor expansion of (/ (expm1 x) x) in (x) around 0 1.775 * [taylor]: Taking taylor expansion of (/ (expm1 x) x) in x 1.775 * [taylor]: Taking taylor expansion of (expm1 x) in x 1.775 * [taylor]: Rewrote expression to (- (exp x) 1) 1.775 * [taylor]: Taking taylor expansion of (exp x) in x 1.775 * [taylor]: Taking taylor expansion of x in x 1.775 * [backup-simplify]: Simplify 0 into 0 1.775 * [backup-simplify]: Simplify 1 into 1 1.776 * [backup-simplify]: Simplify (exp 0) into 1 1.776 * [taylor]: Taking taylor expansion of 1 in x 1.776 * [backup-simplify]: Simplify 1 into 1 1.776 * [taylor]: Taking taylor expansion of x in x 1.776 * [backup-simplify]: Simplify 0 into 0 1.776 * [backup-simplify]: Simplify 1 into 1 1.776 * [backup-simplify]: Simplify (- 1) into -1 1.776 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.777 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.777 * [backup-simplify]: Simplify (- 0) into 0 1.778 * [backup-simplify]: Simplify (+ 1 0) into 1 1.778 * [backup-simplify]: Simplify (/ 1 1) into 1 1.778 * [taylor]: Taking taylor expansion of (/ (expm1 x) x) in x 1.778 * [taylor]: Taking taylor expansion of (expm1 x) in x 1.778 * [taylor]: Rewrote expression to (- (exp x) 1) 1.778 * [taylor]: Taking taylor expansion of (exp x) in x 1.778 * [taylor]: Taking taylor expansion of x in x 1.778 * [backup-simplify]: Simplify 0 into 0 1.778 * [backup-simplify]: Simplify 1 into 1 1.778 * [backup-simplify]: Simplify (exp 0) into 1 1.778 * [taylor]: Taking taylor expansion of 1 in x 1.778 * [backup-simplify]: Simplify 1 into 1 1.778 * [taylor]: Taking taylor expansion of x in x 1.778 * [backup-simplify]: Simplify 0 into 0 1.778 * [backup-simplify]: Simplify 1 into 1 1.778 * [backup-simplify]: Simplify (- 1) into -1 1.779 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.779 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.779 * [backup-simplify]: Simplify (- 0) into 0 1.780 * [backup-simplify]: Simplify (+ 1 0) into 1 1.780 * [backup-simplify]: Simplify (/ 1 1) into 1 1.780 * [backup-simplify]: Simplify 1 into 1 1.781 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.782 * [backup-simplify]: Simplify (- 0) into 0 1.782 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1.782 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2 1.782 * [backup-simplify]: Simplify 1/2 into 1/2 1.784 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1.784 * [backup-simplify]: Simplify (- 0) into 0 1.784 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.785 * [backup-simplify]: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6 1.785 * [backup-simplify]: Simplify 1/6 into 1/6 1.785 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1.785 * [backup-simplify]: Simplify (* (expm1 (/ 1 x)) (/ 1 (/ 1 x))) into (* (expm1 (/ 1 x)) x) 1.785 * [approximate]: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in (x) around 0 1.785 * [taylor]: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 1.785 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 1.785 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 1.785 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.785 * [taylor]: Taking taylor expansion of x in x 1.785 * [backup-simplify]: Simplify 0 into 0 1.785 * [backup-simplify]: Simplify 1 into 1 1.786 * [backup-simplify]: Simplify (/ 1 1) into 1 1.786 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.786 * [taylor]: Taking taylor expansion of 1 in x 1.786 * [backup-simplify]: Simplify 1 into 1 1.786 * [taylor]: Taking taylor expansion of x in x 1.786 * [backup-simplify]: Simplify 0 into 0 1.786 * [backup-simplify]: Simplify 1 into 1 1.786 * [taylor]: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 1.786 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 1.786 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 1.786 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.786 * [taylor]: Taking taylor expansion of x in x 1.786 * [backup-simplify]: Simplify 0 into 0 1.786 * [backup-simplify]: Simplify 1 into 1 1.786 * [backup-simplify]: Simplify (/ 1 1) into 1 1.786 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.786 * [taylor]: Taking taylor expansion of 1 in x 1.786 * [backup-simplify]: Simplify 1 into 1 1.786 * [taylor]: Taking taylor expansion of x in x 1.786 * [backup-simplify]: Simplify 0 into 0 1.786 * [backup-simplify]: Simplify 1 into 1 1.787 * [backup-simplify]: Simplify (- 1) into -1 1.787 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1.787 * [backup-simplify]: Simplify (* (- (exp (/ 1 x)) 1) 0) into 0 1.787 * [backup-simplify]: Simplify 0 into 0 1.787 * [backup-simplify]: Simplify (- 0) into 0 1.787 * [backup-simplify]: Simplify (+ 0 0) into 0 1.788 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 1) (* 0 0)) into (- (exp (/ 1 x)) 1) 1.788 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1.788 * [backup-simplify]: Simplify (- 0) into 0 1.788 * [backup-simplify]: Simplify (+ 0 0) into 0 1.789 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0 1.789 * [backup-simplify]: Simplify 0 into 0 1.789 * [backup-simplify]: Simplify (- 0) into 0 1.789 * [backup-simplify]: Simplify (+ 0 0) into 0 1.790 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.790 * [backup-simplify]: Simplify 0 into 0 1.790 * [backup-simplify]: Simplify (- 0) into 0 1.790 * [backup-simplify]: Simplify (+ 0 0) into 0 1.791 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1.791 * [backup-simplify]: Simplify 0 into 0 1.791 * [backup-simplify]: Simplify (- 0) into 0 1.791 * [backup-simplify]: Simplify (+ 0 0) into 0 1.792 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1.792 * [backup-simplify]: Simplify 0 into 0 1.792 * [backup-simplify]: Simplify (- 0) into 0 1.792 * [backup-simplify]: Simplify (+ 0 0) into 0 1.793 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1.793 * [backup-simplify]: Simplify 0 into 0 1.793 * [backup-simplify]: Simplify (- 0) into 0 1.794 * [backup-simplify]: Simplify (+ 0 0) into 0 1.794 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1.794 * [backup-simplify]: Simplify 0 into 0 1.795 * [backup-simplify]: Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x) 1.795 * [backup-simplify]: Simplify (* (expm1 (/ 1 (- x))) (/ 1 (/ 1 (- x)))) into (* -1 (* x (expm1 (/ -1 x)))) 1.795 * [approximate]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in (x) around 0 1.795 * [taylor]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 1.795 * [taylor]: Taking taylor expansion of -1 in x 1.795 * [backup-simplify]: Simplify -1 into -1 1.795 * [taylor]: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 1.795 * [taylor]: Taking taylor expansion of x in x 1.795 * [backup-simplify]: Simplify 0 into 0 1.795 * [backup-simplify]: Simplify 1 into 1 1.795 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 1.795 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 1.795 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.795 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.795 * [taylor]: Taking taylor expansion of -1 in x 1.795 * [backup-simplify]: Simplify -1 into -1 1.795 * [taylor]: Taking taylor expansion of x in x 1.795 * [backup-simplify]: Simplify 0 into 0 1.795 * [backup-simplify]: Simplify 1 into 1 1.795 * [backup-simplify]: Simplify (/ -1 1) into -1 1.795 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.795 * [taylor]: Taking taylor expansion of 1 in x 1.795 * [backup-simplify]: Simplify 1 into 1 1.795 * [taylor]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 1.795 * [taylor]: Taking taylor expansion of -1 in x 1.795 * [backup-simplify]: Simplify -1 into -1 1.795 * [taylor]: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 1.795 * [taylor]: Taking taylor expansion of x in x 1.795 * [backup-simplify]: Simplify 0 into 0 1.795 * [backup-simplify]: Simplify 1 into 1 1.795 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 1.796 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 1.796 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.796 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.796 * [taylor]: Taking taylor expansion of -1 in x 1.796 * [backup-simplify]: Simplify -1 into -1 1.796 * [taylor]: Taking taylor expansion of x in x 1.796 * [backup-simplify]: Simplify 0 into 0 1.796 * [backup-simplify]: Simplify 1 into 1 1.796 * [backup-simplify]: Simplify (/ -1 1) into -1 1.796 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.796 * [taylor]: Taking taylor expansion of 1 in x 1.796 * [backup-simplify]: Simplify 1 into 1 1.796 * [backup-simplify]: Simplify (- 1) into -1 1.796 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1.796 * [backup-simplify]: Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0 1.797 * [backup-simplify]: Simplify (* -1 0) into 0 1.797 * [backup-simplify]: Simplify 0 into 0 1.797 * [backup-simplify]: Simplify (- 0) into 0 1.797 * [backup-simplify]: Simplify (+ 0 0) into 0 1.797 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1) 1.798 * [backup-simplify]: Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x))) 1.798 * [backup-simplify]: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x))) 1.798 * [backup-simplify]: Simplify (- 0) into 0 1.798 * [backup-simplify]: Simplify (+ 0 0) into 0 1.799 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ -1 x)) 1)))) into 0 1.799 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0 1.800 * [backup-simplify]: Simplify 0 into 0 1.800 * [backup-simplify]: Simplify (- 0) into 0 1.800 * [backup-simplify]: Simplify (+ 0 0) into 0 1.801 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))) into 0 1.801 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0 1.801 * [backup-simplify]: Simplify 0 into 0 1.802 * [backup-simplify]: Simplify (- 0) into 0 1.802 * [backup-simplify]: Simplify (+ 0 0) into 0 1.803 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))) into 0 1.804 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0 1.804 * [backup-simplify]: Simplify 0 into 0 1.804 * [backup-simplify]: Simplify (- 0) into 0 1.804 * [backup-simplify]: Simplify (+ 0 0) into 0 1.806 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))) into 0 1.807 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0 1.807 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify (- 0) into 0 1.807 * [backup-simplify]: Simplify (+ 0 0) into 0 1.809 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))))) into 0 1.810 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0 1.810 * [backup-simplify]: Simplify 0 into 0 1.810 * [backup-simplify]: Simplify (- 0) into 0 1.811 * [backup-simplify]: Simplify (+ 0 0) into 0 1.812 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))))) into 0 1.814 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))))) into 0 1.814 * [backup-simplify]: Simplify 0 into 0 1.814 * [backup-simplify]: Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x)) 1.814 * * * [progress]: simplifying candidates 1.814 * * * * [progress]: [ 1 / 42 ] simplifiying candidate # 1.814 * [simplify]: Simplifying (expm1 (* (expm1 x) (/ 1 x))) 1.814 * * [simplify]: iters left: 5 (6 enodes) 1.816 * * [simplify]: iters left: 4 (23 enodes) 1.820 * * [simplify]: iters left: 3 (29 enodes) 1.827 * * [simplify]: iters left: 2 (38 enodes) 1.837 * * [simplify]: iters left: 1 (40 enodes) 1.848 * * [simplify]: Extracting #0: cost 1 inf + 0 1.848 * * [simplify]: Extracting #1: cost 3 inf + 0 1.848 * * [simplify]: Extracting #2: cost 9 inf + 0 1.849 * * [simplify]: Extracting #3: cost 10 inf + 2 1.849 * * [simplify]: Extracting #4: cost 1 inf + 853 1.849 * * [simplify]: Extracting #5: cost 0 inf + 1034 1.850 * [simplify]: Simplified to (expm1 (/ (expm1 x) x)) 1.850 * [simplify]: Simplified (2 1) to (λ (x) (log1p (expm1 (/ (expm1 x) x)))) 1.850 * * * * [progress]: [ 2 / 42 ] simplifiying candidate # 1.850 * [simplify]: Simplifying (log1p (* (expm1 x) (/ 1 x))) 1.850 * * [simplify]: iters left: 5 (6 enodes) 1.853 * * [simplify]: iters left: 4 (23 enodes) 1.862 * * [simplify]: iters left: 3 (29 enodes) 1.875 * * [simplify]: iters left: 2 (38 enodes) 1.885 * * [simplify]: iters left: 1 (40 enodes) 1.895 * * [simplify]: Extracting #0: cost 1 inf + 0 1.895 * * [simplify]: Extracting #1: cost 3 inf + 0 1.895 * * [simplify]: Extracting #2: cost 9 inf + 0 1.896 * * [simplify]: Extracting #3: cost 10 inf + 2 1.896 * * [simplify]: Extracting #4: cost 1 inf + 873 1.896 * * [simplify]: Extracting #5: cost 0 inf + 1074 1.897 * [simplify]: Simplified to (log1p (/ (expm1 x) x)) 1.897 * [simplify]: Simplified (2 1) to (λ (x) (expm1 (log1p (/ (expm1 x) x)))) 1.897 * * * * [progress]: [ 3 / 42 ] simplifiying candidate # 1.897 * [simplify]: Simplifying (* (expm1 x) (/ 1 x)) 1.897 * * [simplify]: iters left: 4 (5 enodes) 1.900 * * [simplify]: iters left: 3 (20 enodes) 1.907 * * [simplify]: iters left: 2 (26 enodes) 1.915 * * [simplify]: iters left: 1 (35 enodes) 1.920 * * [simplify]: Extracting #0: cost 1 inf + 0 1.921 * * [simplify]: Extracting #1: cost 7 inf + 0 1.921 * * [simplify]: Extracting #2: cost 7 inf + 2 1.921 * * [simplify]: Extracting #3: cost 0 inf + 561 1.921 * [simplify]: Simplified to (/ (expm1 x) x) 1.921 * [simplify]: Simplified (2 1) to (λ (x) (pow (/ (expm1 x) x) 1)) 1.921 * * * * [progress]: [ 4 / 42 ] simplifiying candidate # 1.921 * * * * [progress]: [ 5 / 42 ] simplifiying candidate # 1.921 * [simplify]: Simplifying (+ (log (expm1 x)) (- (log x))) 1.921 * * [simplify]: iters left: 5 (6 enodes) 1.922 * * [simplify]: iters left: 4 (20 enodes) 1.925 * * [simplify]: Extracting #0: cost 1 inf + 0 1.925 * * [simplify]: Extracting #1: cost 5 inf + 0 1.925 * * [simplify]: Extracting #2: cost 10 inf + 0 1.925 * * [simplify]: Extracting #3: cost 10 inf + 1 1.925 * * [simplify]: Extracting #4: cost 0 inf + 1291 1.926 * [simplify]: Simplified to (- (log (expm1 x)) (log x)) 1.926 * [simplify]: Simplified (2 1) to (λ (x) (exp (- (log (expm1 x)) (log x)))) 1.926 * * * * [progress]: [ 6 / 42 ] simplifiying candidate # 1.926 * [simplify]: Simplifying (+ (log (expm1 x)) (- 0 (log x))) 1.926 * * [simplify]: iters left: 5 (7 enodes) 1.928 * * [simplify]: iters left: 4 (26 enodes) 1.933 * * [simplify]: iters left: 3 (34 enodes) 1.940 * * [simplify]: iters left: 2 (44 enodes) 1.953 * * [simplify]: iters left: 1 (57 enodes) 1.969 * * [simplify]: Extracting #0: cost 1 inf + 0 1.969 * * [simplify]: Extracting #1: cost 8 inf + 0 1.969 * * [simplify]: Extracting #2: cost 15 inf + 1 1.969 * * [simplify]: Extracting #3: cost 15 inf + 2 1.969 * * [simplify]: Extracting #4: cost 11 inf + 326 1.970 * * [simplify]: Extracting #5: cost 2 inf + 1876 1.970 * * [simplify]: Extracting #6: cost 0 inf + 2378 1.971 * [simplify]: Simplified to (- (log (expm1 x)) (log x)) 1.971 * [simplify]: Simplified (2 1) to (λ (x) (exp (- (log (expm1 x)) (log x)))) 1.971 * * * * [progress]: [ 7 / 42 ] simplifiying candidate # 1.972 * [simplify]: Simplifying (+ (log (expm1 x)) (- (log 1) (log x))) 1.972 * * [simplify]: iters left: 5 (8 enodes) 1.976 * * [simplify]: iters left: 4 (31 enodes) 1.985 * * [simplify]: iters left: 3 (34 enodes) 1.997 * * [simplify]: iters left: 2 (44 enodes) 2.011 * * [simplify]: iters left: 1 (49 enodes) 2.025 * * [simplify]: Extracting #0: cost 1 inf + 0 2.025 * * [simplify]: Extracting #1: cost 10 inf + 0 2.025 * * [simplify]: Extracting #2: cost 16 inf + 1 2.025 * * [simplify]: Extracting #3: cost 16 inf + 2 2.025 * * [simplify]: Extracting #4: cost 13 inf + 256 2.026 * * [simplify]: Extracting #5: cost 2 inf + 2087 2.026 * * [simplify]: Extracting #6: cost 0 inf + 2489 2.027 * [simplify]: Simplified to (- (log (expm1 x)) (log x)) 2.027 * [simplify]: Simplified (2 1) to (λ (x) (exp (- (log (expm1 x)) (log x)))) 2.027 * * * * [progress]: [ 8 / 42 ] simplifiying candidate # 2.028 * [simplify]: Simplifying (+ (log (expm1 x)) (log (/ 1 x))) 2.028 * * [simplify]: iters left: 5 (7 enodes) 2.030 * * [simplify]: iters left: 4 (28 enodes) 2.035 * * [simplify]: iters left: 3 (33 enodes) 2.040 * * [simplify]: iters left: 2 (38 enodes) 2.046 * * [simplify]: iters left: 1 (49 enodes) 2.054 * * [simplify]: Extracting #0: cost 1 inf + 0 2.054 * * [simplify]: Extracting #1: cost 9 inf + 0 2.054 * * [simplify]: Extracting #2: cost 17 inf + 1 2.055 * * [simplify]: Extracting #3: cost 19 inf + 2 2.055 * * [simplify]: Extracting #4: cost 13 inf + 439 2.055 * * [simplify]: Extracting #5: cost 3 inf + 2130 2.056 * * [simplify]: Extracting #6: cost 0 inf + 2574 2.057 * [simplify]: Simplified to (- (log (expm1 x)) (log x)) 2.057 * [simplify]: Simplified (2 1) to (λ (x) (exp (- (log (expm1 x)) (log x)))) 2.057 * * * * [progress]: [ 9 / 42 ] simplifiying candidate # 2.057 * [simplify]: Simplifying (log (* (expm1 x) (/ 1 x))) 2.057 * * [simplify]: iters left: 5 (6 enodes) 2.060 * * [simplify]: iters left: 4 (26 enodes) 2.070 * * [simplify]: iters left: 3 (43 enodes) 2.083 * * [simplify]: iters left: 2 (56 enodes) 2.091 * * [simplify]: iters left: 1 (69 enodes) 2.101 * * [simplify]: Extracting #0: cost 1 inf + 0 2.101 * * [simplify]: Extracting #1: cost 9 inf + 0 2.101 * * [simplify]: Extracting #2: cost 20 inf + 1 2.102 * * [simplify]: Extracting #3: cost 21 inf + 3 2.102 * * [simplify]: Extracting #4: cost 14 inf + 524 2.102 * * [simplify]: Extracting #5: cost 2 inf + 2365 2.103 * * [simplify]: Extracting #6: cost 0 inf + 2657 2.103 * [simplify]: Simplified to (log (/ (expm1 x) x)) 2.103 * [simplify]: Simplified (2 1) to (λ (x) (exp (log (/ (expm1 x) x)))) 2.103 * * * * [progress]: [ 10 / 42 ] simplifiying candidate # 2.103 * [simplify]: Simplifying (exp (* (expm1 x) (/ 1 x))) 2.104 * * [simplify]: iters left: 5 (6 enodes) 2.105 * * [simplify]: iters left: 4 (25 enodes) 2.110 * * [simplify]: iters left: 3 (39 enodes) 2.124 * * [simplify]: iters left: 2 (66 enodes) 2.141 * * [simplify]: iters left: 1 (116 enodes) 2.167 * * [simplify]: Extracting #0: cost 1 inf + 0 2.167 * * [simplify]: Extracting #1: cost 18 inf + 0 2.167 * * [simplify]: Extracting #2: cost 48 inf + 2 2.168 * * [simplify]: Extracting #3: cost 63 inf + 77 2.169 * * [simplify]: Extracting #4: cost 35 inf + 3746 2.171 * * [simplify]: Extracting #5: cost 7 inf + 10856 2.173 * * [simplify]: Extracting #6: cost 0 inf + 15472 2.175 * [simplify]: Simplified to (exp (/ (expm1 x) x)) 2.175 * [simplify]: Simplified (2 1) to (λ (x) (log (exp (/ (expm1 x) x)))) 2.175 * * * * [progress]: [ 11 / 42 ] simplifiying candidate # 2.176 * [simplify]: Simplifying (* (* (* (expm1 x) (expm1 x)) (expm1 x)) (/ (* (* 1 1) 1) (* (* x x) x))) 2.176 * * [simplify]: iters left: 6 (11 enodes) 2.179 * * [simplify]: iters left: 5 (43 enodes) 2.188 * * [simplify]: iters left: 4 (104 enodes) 2.241 * * [simplify]: iters left: 3 (319 enodes) 2.473 * * [simplify]: Extracting #0: cost 1 inf + 0 2.473 * * [simplify]: Extracting #1: cost 61 inf + 0 2.473 * * [simplify]: Extracting #2: cost 120 inf + 115 2.475 * * [simplify]: Extracting #3: cost 74 inf + 7439 2.482 * * [simplify]: Extracting #4: cost 8 inf + 21454 2.491 * * [simplify]: Extracting #5: cost 0 inf + 23901 2.500 * [simplify]: Simplified to (* (/ (expm1 x) x) (* (/ (expm1 x) x) (/ (expm1 x) x))) 2.500 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (/ (expm1 x) x) (* (/ (expm1 x) x) (/ (expm1 x) x))))) 2.500 * * * * [progress]: [ 12 / 42 ] simplifiying candidate # 2.501 * [simplify]: Simplifying (* (* (* (expm1 x) (expm1 x)) (expm1 x)) (* (* (/ 1 x) (/ 1 x)) (/ 1 x))) 2.501 * * [simplify]: iters left: 6 (9 enodes) 2.505 * * [simplify]: iters left: 5 (42 enodes) 2.514 * * [simplify]: iters left: 4 (84 enodes) 2.538 * * [simplify]: iters left: 3 (200 enodes) 2.653 * * [simplify]: iters left: 2 (393 enodes) 2.993 * * [simplify]: Extracting #0: cost 1 inf + 0 2.993 * * [simplify]: Extracting #1: cost 67 inf + 0 2.994 * * [simplify]: Extracting #2: cost 141 inf + 185 2.995 * * [simplify]: Extracting #3: cost 99 inf + 8298 3.001 * * [simplify]: Extracting #4: cost 24 inf + 32326 3.007 * * [simplify]: Extracting #5: cost 0 inf + 43187 3.014 * [simplify]: Simplified to (* (* (/ (expm1 x) x) (/ (expm1 x) x)) (/ (expm1 x) x)) 3.014 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (* (/ (expm1 x) x) (/ (expm1 x) x)) (/ (expm1 x) x)))) 3.014 * * * * [progress]: [ 13 / 42 ] simplifiying candidate # 3.014 * [simplify]: Simplifying (* (cbrt (* (expm1 x) (/ 1 x))) (cbrt (* (expm1 x) (/ 1 x)))) 3.014 * * [simplify]: iters left: 6 (7 enodes) 3.016 * * [simplify]: iters left: 5 (26 enodes) 3.022 * * [simplify]: iters left: 4 (32 enodes) 3.033 * * [simplify]: iters left: 3 (41 enodes) 3.045 * * [simplify]: iters left: 2 (43 enodes) 3.057 * * [simplify]: iters left: 1 (46 enodes) 3.067 * * [simplify]: Extracting #0: cost 1 inf + 0 3.067 * * [simplify]: Extracting #1: cost 3 inf + 0 3.067 * * [simplify]: Extracting #2: cost 5 inf + 0 3.067 * * [simplify]: Extracting #3: cost 11 inf + 0 3.067 * * [simplify]: Extracting #4: cost 12 inf + 2 3.068 * * [simplify]: Extracting #5: cost 7 inf + 339 3.068 * * [simplify]: Extracting #6: cost 4 inf + 752 3.068 * * [simplify]: Extracting #7: cost 1 inf + 1285 3.069 * * [simplify]: Extracting #8: cost 0 inf + 1516 3.069 * [simplify]: Simplified to (* (cbrt (/ (expm1 x) x)) (cbrt (/ (expm1 x) x))) 3.069 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (/ (expm1 x) x)) (cbrt (/ (expm1 x) x))) (cbrt (* (expm1 x) (/ 1 x))))) 3.070 * [simplify]: Simplifying (cbrt (* (expm1 x) (/ 1 x))) 3.070 * * [simplify]: iters left: 5 (6 enodes) 3.073 * * [simplify]: iters left: 4 (23 enodes) 3.081 * * [simplify]: iters left: 3 (29 enodes) 3.091 * * [simplify]: iters left: 2 (38 enodes) 3.101 * * [simplify]: iters left: 1 (40 enodes) 3.114 * * [simplify]: Extracting #0: cost 1 inf + 0 3.114 * * [simplify]: Extracting #1: cost 3 inf + 0 3.114 * * [simplify]: Extracting #2: cost 9 inf + 0 3.114 * * [simplify]: Extracting #3: cost 10 inf + 2 3.115 * * [simplify]: Extracting #4: cost 1 inf + 863 3.115 * * [simplify]: Extracting #5: cost 0 inf + 1054 3.115 * [simplify]: Simplified to (cbrt (/ (expm1 x) x)) 3.116 * [simplify]: Simplified (2 2) to (λ (x) (* (* (cbrt (* (expm1 x) (/ 1 x))) (cbrt (* (expm1 x) (/ 1 x)))) (cbrt (/ (expm1 x) x)))) 3.116 * * * * [progress]: [ 14 / 42 ] simplifiying candidate # 3.116 * [simplify]: Simplifying (* (* (* (expm1 x) (/ 1 x)) (* (expm1 x) (/ 1 x))) (* (expm1 x) (/ 1 x))) 3.116 * * [simplify]: iters left: 6 (7 enodes) 3.120 * * [simplify]: iters left: 5 (36 enodes) 3.136 * * [simplify]: iters left: 4 (94 enodes) 3.189 * * [simplify]: iters left: 3 (186 enodes) 3.288 * * [simplify]: iters left: 2 (299 enodes) 3.529 * * [simplify]: Extracting #0: cost 1 inf + 0 3.529 * * [simplify]: Extracting #1: cost 60 inf + 0 3.530 * * [simplify]: Extracting #2: cost 104 inf + 226 3.534 * * [simplify]: Extracting #3: cost 64 inf + 7922 3.542 * * [simplify]: Extracting #4: cost 6 inf + 24136 3.551 * * [simplify]: Extracting #5: cost 0 inf + 26129 3.559 * [simplify]: Simplified to (* (* (/ (expm1 x) x) (/ (expm1 x) x)) (/ (expm1 x) x)) 3.560 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (* (/ (expm1 x) x) (/ (expm1 x) x)) (/ (expm1 x) x)))) 3.560 * * * * [progress]: [ 15 / 42 ] simplifiying candidate # 3.560 * [simplify]: Simplifying (sqrt (* (expm1 x) (/ 1 x))) 3.560 * * [simplify]: iters left: 5 (6 enodes) 3.564 * * [simplify]: iters left: 4 (23 enodes) 3.568 * * [simplify]: iters left: 3 (29 enodes) 3.573 * * [simplify]: iters left: 2 (38 enodes) 3.578 * * [simplify]: iters left: 1 (40 enodes) 3.584 * * [simplify]: Extracting #0: cost 1 inf + 0 3.584 * * [simplify]: Extracting #1: cost 3 inf + 0 3.584 * * [simplify]: Extracting #2: cost 9 inf + 0 3.584 * * [simplify]: Extracting #3: cost 10 inf + 2 3.584 * * [simplify]: Extracting #4: cost 1 inf + 823 3.584 * * [simplify]: Extracting #5: cost 0 inf + 974 3.585 * [simplify]: Simplified to (sqrt (/ (expm1 x) x)) 3.585 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (/ (expm1 x) x)) (sqrt (* (expm1 x) (/ 1 x))))) 3.585 * [simplify]: Simplifying (sqrt (* (expm1 x) (/ 1 x))) 3.585 * * [simplify]: iters left: 5 (6 enodes) 3.586 * * [simplify]: iters left: 4 (23 enodes) 3.590 * * [simplify]: iters left: 3 (29 enodes) 3.599 * * [simplify]: iters left: 2 (38 enodes) 3.609 * * [simplify]: iters left: 1 (40 enodes) 3.622 * * [simplify]: Extracting #0: cost 1 inf + 0 3.622 * * [simplify]: Extracting #1: cost 3 inf + 0 3.623 * * [simplify]: Extracting #2: cost 9 inf + 0 3.623 * * [simplify]: Extracting #3: cost 10 inf + 2 3.623 * * [simplify]: Extracting #4: cost 1 inf + 823 3.623 * * [simplify]: Extracting #5: cost 0 inf + 974 3.624 * [simplify]: Simplified to (sqrt (/ (expm1 x) x)) 3.624 * [simplify]: Simplified (2 2) to (λ (x) (* (sqrt (* (expm1 x) (/ 1 x))) (sqrt (/ (expm1 x) x)))) 3.624 * * * * [progress]: [ 16 / 42 ] simplifiying candidate # 3.624 * * * * [progress]: [ 17 / 42 ] simplifiying candidate # 3.624 * * * * [progress]: [ 18 / 42 ] simplifiying candidate # 3.624 * [simplify]: Simplifying (* (sqrt (expm1 x)) (sqrt (/ 1 x))) 3.624 * * [simplify]: iters left: 5 (7 enodes) 3.628 * * [simplify]: iters left: 4 (24 enodes) 3.635 * * [simplify]: iters left: 3 (26 enodes) 3.642 * * [simplify]: Extracting #0: cost 1 inf + 0 3.642 * * [simplify]: Extracting #1: cost 4 inf + 0 3.642 * * [simplify]: Extracting #2: cost 8 inf + 0 3.642 * * [simplify]: Extracting #3: cost 12 inf + 0 3.642 * * [simplify]: Extracting #4: cost 10 inf + 2 3.643 * * [simplify]: Extracting #5: cost 4 inf + 450 3.643 * * [simplify]: Extracting #6: cost 2 inf + 764 3.643 * * [simplify]: Extracting #7: cost 0 inf + 1078 3.644 * [simplify]: Simplified to (* (sqrt (expm1 x)) (sqrt (/ 1 x))) 3.644 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (expm1 x)) (sqrt (/ 1 x))) (* (sqrt (expm1 x)) (sqrt (/ 1 x))))) 3.644 * [simplify]: Simplifying (* (sqrt (expm1 x)) (sqrt (/ 1 x))) 3.644 * * [simplify]: iters left: 5 (7 enodes) 3.648 * * [simplify]: iters left: 4 (24 enodes) 3.655 * * [simplify]: iters left: 3 (26 enodes) 3.662 * * [simplify]: Extracting #0: cost 1 inf + 0 3.662 * * [simplify]: Extracting #1: cost 4 inf + 0 3.662 * * [simplify]: Extracting #2: cost 8 inf + 0 3.662 * * [simplify]: Extracting #3: cost 12 inf + 0 3.662 * * [simplify]: Extracting #4: cost 10 inf + 2 3.663 * * [simplify]: Extracting #5: cost 4 inf + 450 3.663 * * [simplify]: Extracting #6: cost 2 inf + 764 3.663 * * [simplify]: Extracting #7: cost 0 inf + 1078 3.664 * [simplify]: Simplified to (* (sqrt (expm1 x)) (sqrt (/ 1 x))) 3.664 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (expm1 x)) (sqrt (/ 1 x))) (* (sqrt (expm1 x)) (sqrt (/ 1 x))))) 3.664 * * * * [progress]: [ 19 / 42 ] simplifiying candidate # 3.664 * [simplify]: Simplifying (* (sqrt (expm1 x)) (/ (sqrt 1) (sqrt x))) 3.664 * * [simplify]: iters left: 5 (8 enodes) 3.669 * * [simplify]: iters left: 4 (29 enodes) 3.678 * * [simplify]: iters left: 3 (37 enodes) 3.689 * * [simplify]: iters left: 2 (42 enodes) 3.699 * * [simplify]: iters left: 1 (46 enodes) 3.711 * * [simplify]: Extracting #0: cost 1 inf + 0 3.711 * * [simplify]: Extracting #1: cost 7 inf + 0 3.711 * * [simplify]: Extracting #2: cost 12 inf + 1 3.711 * * [simplify]: Extracting #3: cost 12 inf + 2 3.712 * * [simplify]: Extracting #4: cost 9 inf + 185 3.712 * * [simplify]: Extracting #5: cost 0 inf + 1376 3.712 * [simplify]: Simplified to (/ (sqrt (expm1 x)) (sqrt x)) 3.713 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (sqrt (expm1 x)) (sqrt x)) (* (sqrt (expm1 x)) (/ (sqrt 1) (sqrt x))))) 3.713 * [simplify]: Simplifying (* (sqrt (expm1 x)) (/ (sqrt 1) (sqrt x))) 3.713 * * [simplify]: iters left: 5 (8 enodes) 3.717 * * [simplify]: iters left: 4 (29 enodes) 3.721 * * [simplify]: iters left: 3 (37 enodes) 3.727 * * [simplify]: iters left: 2 (42 enodes) 3.733 * * [simplify]: iters left: 1 (46 enodes) 3.739 * * [simplify]: Extracting #0: cost 1 inf + 0 3.739 * * [simplify]: Extracting #1: cost 7 inf + 0 3.739 * * [simplify]: Extracting #2: cost 12 inf + 1 3.739 * * [simplify]: Extracting #3: cost 12 inf + 2 3.739 * * [simplify]: Extracting #4: cost 9 inf + 185 3.739 * * [simplify]: Extracting #5: cost 0 inf + 1376 3.740 * [simplify]: Simplified to (/ (sqrt (expm1 x)) (sqrt x)) 3.740 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (expm1 x)) (/ (sqrt 1) (sqrt x))) (/ (sqrt (expm1 x)) (sqrt x)))) 3.740 * * * * [progress]: [ 20 / 42 ] simplifiying candidate # 3.740 * [simplify]: Simplifying (* (sqrt (expm1 x)) (/ 1 (sqrt x))) 3.740 * * [simplify]: iters left: 5 (7 enodes) 3.743 * * [simplify]: iters left: 4 (26 enodes) 3.751 * * [simplify]: iters left: 3 (32 enodes) 3.760 * * [simplify]: iters left: 2 (41 enodes) 3.766 * * [simplify]: iters left: 1 (43 enodes) 3.772 * * [simplify]: Extracting #0: cost 1 inf + 0 3.772 * * [simplify]: Extracting #1: cost 7 inf + 0 3.772 * * [simplify]: Extracting #2: cost 12 inf + 1 3.772 * * [simplify]: Extracting #3: cost 12 inf + 2 3.772 * * [simplify]: Extracting #4: cost 8 inf + 267 3.773 * * [simplify]: Extracting #5: cost 2 inf + 994 3.773 * * [simplify]: Extracting #6: cost 0 inf + 1376 3.773 * [simplify]: Simplified to (/ (sqrt (expm1 x)) (sqrt x)) 3.773 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (sqrt (expm1 x)) (sqrt x)) (* (sqrt (expm1 x)) (/ 1 (sqrt x))))) 3.773 * [simplify]: Simplifying (* (sqrt (expm1 x)) (/ 1 (sqrt x))) 3.774 * * [simplify]: iters left: 5 (7 enodes) 3.776 * * [simplify]: iters left: 4 (26 enodes) 3.780 * * [simplify]: iters left: 3 (32 enodes) 3.785 * * [simplify]: iters left: 2 (41 enodes) 3.793 * * [simplify]: iters left: 1 (43 enodes) 3.805 * * [simplify]: Extracting #0: cost 1 inf + 0 3.805 * * [simplify]: Extracting #1: cost 7 inf + 0 3.805 * * [simplify]: Extracting #2: cost 12 inf + 1 3.805 * * [simplify]: Extracting #3: cost 12 inf + 2 3.806 * * [simplify]: Extracting #4: cost 8 inf + 267 3.806 * * [simplify]: Extracting #5: cost 2 inf + 994 3.807 * * [simplify]: Extracting #6: cost 0 inf + 1376 3.807 * [simplify]: Simplified to (/ (sqrt (expm1 x)) (sqrt x)) 3.807 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (expm1 x)) (/ 1 (sqrt x))) (/ (sqrt (expm1 x)) (sqrt x)))) 3.807 * * * * [progress]: [ 21 / 42 ] simplifiying candidate # 3.808 * [simplify]: Simplifying (* (expm1 x) (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))) 3.808 * * [simplify]: iters left: 6 (7 enodes) 3.811 * * [simplify]: iters left: 5 (26 enodes) 3.820 * * [simplify]: iters left: 4 (32 enodes) 3.829 * * [simplify]: Extracting #0: cost 1 inf + 0 3.829 * * [simplify]: Extracting #1: cost 6 inf + 0 3.829 * * [simplify]: Extracting #2: cost 12 inf + 0 3.829 * * [simplify]: Extracting #3: cost 13 inf + 1 3.829 * * [simplify]: Extracting #4: cost 8 inf + 228 3.830 * * [simplify]: Extracting #5: cost 4 inf + 976 3.830 * * [simplify]: Extracting #6: cost 1 inf + 1532 3.831 * * [simplify]: Extracting #7: cost 0 inf + 1804 3.831 * [simplify]: Simplified to (* (cbrt (/ 1 x)) (* (expm1 x) (cbrt (/ 1 x)))) 3.832 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (/ 1 x)) (* (expm1 x) (cbrt (/ 1 x)))) (cbrt (/ 1 x)))) 3.832 * * * * [progress]: [ 22 / 42 ] simplifiying candidate # 3.832 * [simplify]: Simplifying (* (expm1 x) (sqrt (/ 1 x))) 3.832 * * [simplify]: iters left: 5 (6 enodes) 3.835 * * [simplify]: iters left: 4 (21 enodes) 3.841 * * [simplify]: iters left: 3 (23 enodes) 3.844 * * [simplify]: Extracting #0: cost 1 inf + 0 3.844 * * [simplify]: Extracting #1: cost 4 inf + 0 3.845 * * [simplify]: Extracting #2: cost 8 inf + 0 3.845 * * [simplify]: Extracting #3: cost 9 inf + 1 3.845 * * [simplify]: Extracting #4: cost 6 inf + 144 3.845 * * [simplify]: Extracting #5: cost 1 inf + 584 3.845 * * [simplify]: Extracting #6: cost 0 inf + 776 3.845 * [simplify]: Simplified to (* (expm1 x) (sqrt (/ 1 x))) 3.845 * [simplify]: Simplified (2 1) to (λ (x) (* (* (expm1 x) (sqrt (/ 1 x))) (sqrt (/ 1 x)))) 3.845 * * * * [progress]: [ 23 / 42 ] simplifiying candidate # 3.845 * [simplify]: Simplifying (* (expm1 x) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x)))) 3.845 * * [simplify]: iters left: 6 (9 enodes) 3.850 * * [simplify]: iters left: 5 (38 enodes) 3.858 * * [simplify]: iters left: 4 (57 enodes) 3.868 * * [simplify]: iters left: 3 (109 enodes) 3.898 * * [simplify]: iters left: 2 (141 enodes) 3.923 * * [simplify]: iters left: 1 (167 enodes) 3.958 * * [simplify]: Extracting #0: cost 1 inf + 0 3.958 * * [simplify]: Extracting #1: cost 11 inf + 0 3.959 * * [simplify]: Extracting #2: cost 19 inf + 1 3.959 * * [simplify]: Extracting #3: cost 18 inf + 2 3.959 * * [simplify]: Extracting #4: cost 15 inf + 276 3.960 * * [simplify]: Extracting #5: cost 3 inf + 2191 3.961 * * [simplify]: Extracting #6: cost 0 inf + 2804 3.962 * [simplify]: Simplified to (/ (expm1 x) (* (cbrt x) (cbrt x))) 3.962 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (expm1 x) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)))) 3.962 * * * * [progress]: [ 24 / 42 ] simplifiying candidate # 3.962 * [simplify]: Simplifying (* (expm1 x) (/ (* (cbrt 1) (cbrt 1)) (sqrt x))) 3.963 * * [simplify]: iters left: 6 (8 enodes) 3.970 * * [simplify]: iters left: 5 (31 enodes) 3.979 * * [simplify]: iters left: 4 (35 enodes) 3.989 * * [simplify]: iters left: 3 (41 enodes) 4.000 * * [simplify]: iters left: 2 (44 enodes) 4.012 * * [simplify]: iters left: 1 (47 enodes) 4.023 * * [simplify]: Extracting #0: cost 1 inf + 0 4.023 * * [simplify]: Extracting #1: cost 7 inf + 0 4.023 * * [simplify]: Extracting #2: cost 11 inf + 1 4.023 * * [simplify]: Extracting #3: cost 10 inf + 2 4.023 * * [simplify]: Extracting #4: cost 7 inf + 185 4.024 * * [simplify]: Extracting #5: cost 0 inf + 994 4.024 * [simplify]: Simplified to (/ (expm1 x) (sqrt x)) 4.024 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (expm1 x) (sqrt x)) (/ (cbrt 1) (sqrt x)))) 4.024 * * * * [progress]: [ 25 / 42 ] simplifiying candidate # 4.025 * [simplify]: Simplifying (* (expm1 x) (/ (* (cbrt 1) (cbrt 1)) 1)) 4.025 * * [simplify]: iters left: 6 (7 enodes) 4.031 * * [simplify]: iters left: 5 (26 enodes) 4.038 * * [simplify]: iters left: 4 (28 enodes) 4.044 * * [simplify]: iters left: 3 (30 enodes) 4.052 * * [simplify]: iters left: 2 (35 enodes) 4.060 * * [simplify]: Extracting #0: cost 1 inf + 0 4.060 * * [simplify]: Extracting #1: cost 5 inf + 0 4.060 * * [simplify]: Extracting #2: cost 4 inf + 2 4.060 * * [simplify]: Extracting #3: cost 3 inf + 73 4.060 * * [simplify]: Extracting #4: cost 1 inf + 256 4.060 * * [simplify]: Extracting #5: cost 0 inf + 368 4.061 * [simplify]: Simplified to (expm1 x) 4.061 * [simplify]: Simplified (2 1) to (λ (x) (* (expm1 x) (/ (cbrt 1) x))) 4.061 * * * * [progress]: [ 26 / 42 ] simplifiying candidate # 4.061 * [simplify]: Simplifying (* (expm1 x) (/ (sqrt 1) (* (cbrt x) (cbrt x)))) 4.061 * * [simplify]: iters left: 6 (8 enodes) 4.065 * * [simplify]: iters left: 5 (31 enodes) 4.070 * * [simplify]: iters left: 4 (53 enodes) 4.082 * * [simplify]: iters left: 3 (89 enodes) 4.103 * * [simplify]: iters left: 2 (129 enodes) 4.155 * * [simplify]: iters left: 1 (165 enodes) 4.196 * * [simplify]: Extracting #0: cost 1 inf + 0 4.196 * * [simplify]: Extracting #1: cost 11 inf + 0 4.197 * * [simplify]: Extracting #2: cost 19 inf + 1 4.197 * * [simplify]: Extracting #3: cost 18 inf + 2 4.197 * * [simplify]: Extracting #4: cost 12 inf + 778 4.197 * * [simplify]: Extracting #5: cost 0 inf + 2804 4.198 * [simplify]: Simplified to (/ (expm1 x) (* (cbrt x) (cbrt x))) 4.198 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (expm1 x) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)))) 4.198 * * * * [progress]: [ 27 / 42 ] simplifiying candidate # 4.198 * [simplify]: Simplifying (* (expm1 x) (/ (sqrt 1) (sqrt x))) 4.198 * * [simplify]: iters left: 5 (7 enodes) 4.201 * * [simplify]: iters left: 4 (26 enodes) 4.206 * * [simplify]: iters left: 3 (34 enodes) 4.211 * * [simplify]: iters left: 2 (39 enodes) 4.217 * * [simplify]: iters left: 1 (43 enodes) 4.223 * * [simplify]: Extracting #0: cost 1 inf + 0 4.223 * * [simplify]: Extracting #1: cost 7 inf + 0 4.223 * * [simplify]: Extracting #2: cost 11 inf + 1 4.223 * * [simplify]: Extracting #3: cost 10 inf + 2 4.223 * * [simplify]: Extracting #4: cost 2 inf + 802 4.223 * * [simplify]: Extracting #5: cost 0 inf + 994 4.224 * [simplify]: Simplified to (/ (expm1 x) (sqrt x)) 4.224 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (expm1 x) (sqrt x)) (/ (sqrt 1) (sqrt x)))) 4.224 * * * * [progress]: [ 28 / 42 ] simplifiying candidate # 4.224 * [simplify]: Simplifying (* (expm1 x) (/ (sqrt 1) 1)) 4.224 * * [simplify]: iters left: 5 (6 enodes) 4.229 * * [simplify]: iters left: 4 (21 enodes) 4.235 * * [simplify]: iters left: 3 (23 enodes) 4.242 * * [simplify]: iters left: 2 (29 enodes) 4.248 * * [simplify]: iters left: 1 (34 enodes) 4.256 * * [simplify]: Extracting #0: cost 1 inf + 0 4.256 * * [simplify]: Extracting #1: cost 5 inf + 0 4.256 * * [simplify]: Extracting #2: cost 2 inf + 185 4.256 * * [simplify]: Extracting #3: cost 0 inf + 368 4.256 * [simplify]: Simplified to (expm1 x) 4.256 * [simplify]: Simplified (2 1) to (λ (x) (* (expm1 x) (/ (sqrt 1) x))) 4.256 * * * * [progress]: [ 29 / 42 ] simplifiying candidate # 4.256 * [simplify]: Simplifying (* (expm1 x) (/ 1 (* (cbrt x) (cbrt x)))) 4.256 * * [simplify]: iters left: 6 (7 enodes) 4.258 * * [simplify]: iters left: 5 (28 enodes) 4.263 * * [simplify]: iters left: 4 (42 enodes) 4.271 * * [simplify]: iters left: 3 (67 enodes) 4.283 * * [simplify]: iters left: 2 (80 enodes) 4.312 * * [simplify]: iters left: 1 (85 enodes) 4.331 * * [simplify]: Extracting #0: cost 1 inf + 0 4.332 * * [simplify]: Extracting #1: cost 11 inf + 0 4.332 * * [simplify]: Extracting #2: cost 19 inf + 1 4.332 * * [simplify]: Extracting #3: cost 13 inf + 538 4.333 * * [simplify]: Extracting #4: cost 3 inf + 2290 4.334 * * [simplify]: Extracting #5: cost 0 inf + 2804 4.335 * [simplify]: Simplified to (/ (expm1 x) (* (cbrt x) (cbrt x))) 4.335 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (expm1 x) (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)))) 4.335 * * * * [progress]: [ 30 / 42 ] simplifiying candidate # 4.335 * [simplify]: Simplifying (* (expm1 x) (/ 1 (sqrt x))) 4.336 * * [simplify]: iters left: 5 (6 enodes) 4.339 * * [simplify]: iters left: 4 (23 enodes) 4.346 * * [simplify]: iters left: 3 (29 enodes) 4.355 * * [simplify]: iters left: 2 (38 enodes) 4.366 * * [simplify]: iters left: 1 (40 enodes) 4.378 * * [simplify]: Extracting #0: cost 1 inf + 0 4.378 * * [simplify]: Extracting #1: cost 7 inf + 0 4.378 * * [simplify]: Extracting #2: cost 11 inf + 1 4.378 * * [simplify]: Extracting #3: cost 10 inf + 2 4.378 * * [simplify]: Extracting #4: cost 0 inf + 994 4.379 * [simplify]: Simplified to (/ (expm1 x) (sqrt x)) 4.379 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (expm1 x) (sqrt x)) (/ 1 (sqrt x)))) 4.379 * * * * [progress]: [ 31 / 42 ] simplifiying candidate # 4.379 * [simplify]: Simplifying (* (expm1 x) (/ 1 1)) 4.379 * * [simplify]: iters left: 4 (5 enodes) 4.382 * * [simplify]: iters left: 3 (16 enodes) 4.387 * * [simplify]: iters left: 2 (18 enodes) 4.392 * * [simplify]: iters left: 1 (21 enodes) 4.397 * * [simplify]: Extracting #0: cost 1 inf + 0 4.397 * * [simplify]: Extracting #1: cost 4 inf + 0 4.397 * * [simplify]: Extracting #2: cost 2 inf + 2 4.397 * * [simplify]: Extracting #3: cost 1 inf + 73 4.397 * * [simplify]: Extracting #4: cost 0 inf + 144 4.397 * [simplify]: Simplified to (expm1 x) 4.397 * [simplify]: Simplified (2 1) to (λ (x) (* (expm1 x) (/ 1 x))) 4.397 * * * * [progress]: [ 32 / 42 ] simplifiying candidate # 4.398 * [simplify]: Simplifying (* (expm1 x) 1) 4.398 * * [simplify]: iters left: 3 (4 enodes) 4.400 * * [simplify]: iters left: 2 (13 enodes) 4.402 * * [simplify]: iters left: 1 (17 enodes) 4.405 * * [simplify]: Extracting #0: cost 1 inf + 0 4.405 * * [simplify]: Extracting #1: cost 4 inf + 0 4.405 * * [simplify]: Extracting #2: cost 0 inf + 144 4.405 * [simplify]: Simplified to (expm1 x) 4.405 * [simplify]: Simplified (2 1) to (λ (x) (* (expm1 x) (/ 1 x))) 4.405 * * * * [progress]: [ 33 / 42 ] simplifiying candidate # 4.405 * [simplify]: Simplifying (* (expm1 x) 1) 4.405 * * [simplify]: iters left: 3 (4 enodes) 4.406 * * [simplify]: iters left: 2 (13 enodes) 4.409 * * [simplify]: iters left: 1 (17 enodes) 4.411 * * [simplify]: Extracting #0: cost 1 inf + 0 4.411 * * [simplify]: Extracting #1: cost 4 inf + 0 4.411 * * [simplify]: Extracting #2: cost 0 inf + 144 4.411 * [simplify]: Simplified to (expm1 x) 4.411 * [simplify]: Simplified (2 1) to (λ (x) (* (expm1 x) (/ 1 x))) 4.411 * * * * [progress]: [ 34 / 42 ] simplifiying candidate # 4.412 * [simplify]: Simplifying (* (cbrt (expm1 x)) (/ 1 x)) 4.412 * * [simplify]: iters left: 4 (6 enodes) 4.413 * * [simplify]: iters left: 3 (23 enodes) 4.417 * * [simplify]: iters left: 2 (29 enodes) 4.422 * * [simplify]: iters left: 1 (38 enodes) 4.429 * * [simplify]: Extracting #0: cost 1 inf + 0 4.429 * * [simplify]: Extracting #1: cost 7 inf + 0 4.429 * * [simplify]: Extracting #2: cost 8 inf + 2 4.429 * * [simplify]: Extracting #3: cost 1 inf + 1032 4.429 * * [simplify]: Extracting #4: cost 0 inf + 1103 4.429 * [simplify]: Simplified to (/ (cbrt (expm1 x)) x) 4.429 * [simplify]: Simplified (2 2) to (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ (cbrt (expm1 x)) x))) 4.429 * * * * [progress]: [ 35 / 42 ] simplifiying candidate # 4.430 * [simplify]: Simplifying (* (sqrt (expm1 x)) (/ 1 x)) 4.430 * * [simplify]: iters left: 4 (6 enodes) 4.431 * * [simplify]: iters left: 3 (23 enodes) 4.435 * * [simplify]: iters left: 2 (29 enodes) 4.440 * * [simplify]: iters left: 1 (38 enodes) 4.445 * * [simplify]: Extracting #0: cost 1 inf + 0 4.445 * * [simplify]: Extracting #1: cost 7 inf + 0 4.445 * * [simplify]: Extracting #2: cost 8 inf + 2 4.445 * * [simplify]: Extracting #3: cost 1 inf + 832 4.445 * * [simplify]: Extracting #4: cost 0 inf + 903 4.446 * [simplify]: Simplified to (/ (sqrt (expm1 x)) x) 4.446 * [simplify]: Simplified (2 2) to (λ (x) (* (sqrt (expm1 x)) (/ (sqrt (expm1 x)) x))) 4.446 * * * * [progress]: [ 36 / 42 ] simplifiying candidate # 4.446 * [simplify]: Simplifying (* (expm1 x) (/ 1 x)) 4.446 * * [simplify]: iters left: 4 (5 enodes) 4.447 * * [simplify]: iters left: 3 (20 enodes) 4.451 * * [simplify]: iters left: 2 (26 enodes) 4.455 * * [simplify]: iters left: 1 (35 enodes) 4.460 * * [simplify]: Extracting #0: cost 1 inf + 0 4.460 * * [simplify]: Extracting #1: cost 7 inf + 0 4.460 * * [simplify]: Extracting #2: cost 7 inf + 2 4.460 * * [simplify]: Extracting #3: cost 0 inf + 561 4.461 * [simplify]: Simplified to (/ (expm1 x) x) 4.461 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (/ (expm1 x) x))) 4.461 * * * * [progress]: [ 37 / 42 ] simplifiying candidate # 4.461 * [simplify]: Simplifying (* (expm1 x) 1) 4.461 * * [simplify]: iters left: 3 (4 enodes) 4.463 * * [simplify]: iters left: 2 (13 enodes) 4.468 * * [simplify]: iters left: 1 (17 enodes) 4.473 * * [simplify]: Extracting #0: cost 1 inf + 0 4.473 * * [simplify]: Extracting #1: cost 4 inf + 0 4.473 * * [simplify]: Extracting #2: cost 0 inf + 144 4.473 * [simplify]: Simplified to (expm1 x) 4.473 * [simplify]: Simplified (2 1) to (λ (x) (/ (expm1 x) x)) 4.473 * * * * [progress]: [ 38 / 42 ] simplifiying candidate #real (real->posit16 (* (expm1 x) (/ 1 x)))))> 4.473 * [simplify]: Simplifying (real->posit16 (* (expm1 x) (/ 1 x))) 4.474 * * [simplify]: iters left: 5 (6 enodes) 4.476 * * [simplify]: iters left: 4 (20 enodes) 4.483 * * [simplify]: iters left: 3 (26 enodes) 4.490 * * [simplify]: iters left: 2 (35 enodes) 4.494 * * [simplify]: iters left: 1 (37 enodes) 4.499 * * [simplify]: Extracting #0: cost 1 inf + 0 4.499 * * [simplify]: Extracting #1: cost 2 inf + 0 4.499 * * [simplify]: Extracting #2: cost 7 inf + 0 4.499 * * [simplify]: Extracting #3: cost 8 inf + 2 4.500 * * [simplify]: Extracting #4: cost 0 inf + 672 4.500 * [simplify]: Simplified to (real->posit16 (/ (expm1 x) x)) 4.500 * [simplify]: Simplified (2 1) to (λ (x) (posit16->real (real->posit16 (/ (expm1 x) x)))) 4.500 * * * * [progress]: [ 39 / 42 ] simplifiying candidate # 4.500 * * * * [progress]: [ 40 / 42 ] simplifiying candidate # 4.500 * [simplify]: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 4.500 * * [simplify]: iters left: 6 (10 enodes) 4.504 * * [simplify]: iters left: 5 (44 enodes) 4.511 * * [simplify]: iters left: 4 (62 enodes) 4.529 * * [simplify]: iters left: 3 (90 enodes) 4.553 * * [simplify]: iters left: 2 (112 enodes) 4.583 * * [simplify]: iters left: 1 (124 enodes) 4.607 * * [simplify]: Extracting #0: cost 1 inf + 0 4.607 * * [simplify]: Extracting #1: cost 14 inf + 0 4.607 * * [simplify]: Extracting #2: cost 17 inf + 87 4.608 * * [simplify]: Extracting #3: cost 4 inf + 943 4.609 * * [simplify]: Extracting #4: cost 0 inf + 1271 4.610 * [simplify]: Simplified to (fma x (fma x 1/6 1/2) 1) 4.610 * [simplify]: Simplified (2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 4.610 * * * * [progress]: [ 41 / 42 ] simplifiying candidate # 4.610 * [simplify]: Simplifying (/ (- (exp x) 1) x) 4.610 * * [simplify]: iters left: 5 (5 enodes) 4.614 * * [simplify]: iters left: 4 (24 enodes) 4.622 * * [simplify]: iters left: 3 (34 enodes) 4.632 * * [simplify]: iters left: 2 (39 enodes) 4.643 * * [simplify]: Extracting #0: cost 1 inf + 0 4.643 * * [simplify]: Extracting #1: cost 7 inf + 0 4.643 * * [simplify]: Extracting #2: cost 13 inf + 1 4.643 * * [simplify]: Extracting #3: cost 8 inf + 229 4.644 * * [simplify]: Extracting #4: cost 1 inf + 788 4.644 * * [simplify]: Extracting #5: cost 0 inf + 899 4.644 * [simplify]: Simplified to (/ (expm1 x) x) 4.644 * [simplify]: Simplified (2) to (λ (x) (/ (expm1 x) x)) 4.644 * * * * [progress]: [ 42 / 42 ] simplifiying candidate # 4.645 * [simplify]: Simplifying (* -1 (/ (- 1 (exp x)) x)) 4.645 * * [simplify]: iters left: 6 (7 enodes) 4.649 * * [simplify]: iters left: 5 (32 enodes) 4.662 * * [simplify]: iters left: 4 (56 enodes) 4.677 * * [simplify]: iters left: 3 (87 enodes) 4.705 * * [simplify]: iters left: 2 (129 enodes) 4.739 * * [simplify]: iters left: 1 (177 enodes) 4.785 * * [simplify]: Extracting #0: cost 1 inf + 0 4.785 * * [simplify]: Extracting #1: cost 22 inf + 0 4.786 * * [simplify]: Extracting #2: cost 56 inf + 45 4.786 * * [simplify]: Extracting #3: cost 44 inf + 1041 4.787 * * [simplify]: Extracting #4: cost 7 inf + 6476 4.789 * * [simplify]: Extracting #5: cost 1 inf + 7467 4.791 * * [simplify]: Extracting #6: cost 0 inf + 7619 4.792 * [simplify]: Simplified to (/ (+ (exp x) -1) x) 4.792 * [simplify]: Simplified (2) to (λ (x) (/ (+ (exp x) -1) x)) 4.792 * * * [progress]: adding candidates to table 5.047 * [progress]: [Phase 3 of 3] Extracting. 5.047 * * [regime]: Finding splitpoints for: (# #) 5.047 * * * [regime-changes]: Trying 1 branch expressions: (x) 5.047 * * * * [regimes]: Trying to branch on x from (# #) 5.072 * * * [regime]: Found split indices: #