4.489 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.035 * * * [progress]: [2/2] Setting up program. 0.037 * [progress]: [Phase 2 of 3] Improving. 0.038 * [simplify]: Simplifying using # : (- (exp (* a x)) 1.0) 0.040 * * [simplify]: iteration 0 : 11 enodes (cost 3 ) 0.041 * * [simplify]: iteration 1 : 18 enodes (cost 3 ) 0.042 * * [simplify]: iteration 2 : 26 enodes (cost 3 ) 0.044 * * [simplify]: iteration 3 : 48 enodes (cost 3 ) 0.045 * * [simplify]: iteration 4 : 110 enodes (cost 3 ) 0.048 * * [simplify]: iteration 5 : 318 enodes (cost 3 ) 0.055 * * [simplify]: iteration 6 : 1623 enodes (cost 3 ) 0.097 * * [simplify]: iteration 7 : 5001 enodes (cost 3 ) 0.097 * [simplify]: Simplified to: (- (exp (* a x)) 1.0) 0.097 * * [progress]: iteration 1 / 4 0.097 * * * [progress]: picking best candidate 0.099 * * * * [pick]: Picked # 0.099 * * * [progress]: localizing error 0.104 * * * [progress]: generating rewritten candidates 0.104 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.108 * * * [progress]: generating series expansions 0.108 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.108 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0 0.108 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x 0.108 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 0.108 * [taylor]: Taking taylor expansion of (* a x) in x 0.108 * [taylor]: Taking taylor expansion of a in x 0.108 * [taylor]: Taking taylor expansion of x in x 0.108 * [taylor]: Taking taylor expansion of 1.0 in x 0.108 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.108 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.108 * [taylor]: Taking taylor expansion of (* a x) in a 0.108 * [taylor]: Taking taylor expansion of a in a 0.108 * [taylor]: Taking taylor expansion of x in a 0.109 * [taylor]: Taking taylor expansion of 1.0 in a 0.109 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.109 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.109 * [taylor]: Taking taylor expansion of (* a x) in a 0.109 * [taylor]: Taking taylor expansion of a in a 0.109 * [taylor]: Taking taylor expansion of x in a 0.109 * [taylor]: Taking taylor expansion of 1.0 in a 0.110 * [taylor]: Taking taylor expansion of 0 in x 0.110 * [taylor]: Taking taylor expansion of x in x 0.112 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 0.112 * [taylor]: Taking taylor expansion of 1/2 in x 0.112 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.112 * [taylor]: Taking taylor expansion of x in x 0.114 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 0.114 * [taylor]: Taking taylor expansion of 1/6 in x 0.114 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.114 * [taylor]: Taking taylor expansion of x in x 0.117 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 0.117 * [taylor]: Taking taylor expansion of 1/24 in x 0.117 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.117 * [taylor]: Taking taylor expansion of x in x 0.122 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 0.122 * [taylor]: Taking taylor expansion of 1/120 in x 0.122 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.122 * [taylor]: Taking taylor expansion of x in x 0.132 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 0.132 * [taylor]: Taking taylor expansion of 1/720 in x 0.132 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.132 * [taylor]: Taking taylor expansion of x in x 0.133 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.133 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.133 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.133 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.133 * [taylor]: Taking taylor expansion of (* a x) in x 0.133 * [taylor]: Taking taylor expansion of a in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.134 * [taylor]: Taking taylor expansion of 1.0 in x 0.134 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.134 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.134 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.134 * [taylor]: Taking taylor expansion of (* a x) in a 0.134 * [taylor]: Taking taylor expansion of a in a 0.134 * [taylor]: Taking taylor expansion of x in a 0.134 * [taylor]: Taking taylor expansion of 1.0 in a 0.134 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.134 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.134 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.134 * [taylor]: Taking taylor expansion of (* a x) in a 0.134 * [taylor]: Taking taylor expansion of a in a 0.134 * [taylor]: Taking taylor expansion of x in a 0.135 * [taylor]: Taking taylor expansion of 1.0 in a 0.135 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.135 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.135 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.135 * [taylor]: Taking taylor expansion of (* a x) in x 0.135 * [taylor]: Taking taylor expansion of a in x 0.135 * [taylor]: Taking taylor expansion of x in x 0.136 * [taylor]: Taking taylor expansion of 1.0 in x 0.137 * [taylor]: Taking taylor expansion of 0 in x 0.138 * [taylor]: Taking taylor expansion of 0 in x 0.139 * [taylor]: Taking taylor expansion of 0 in x 0.139 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.139 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.139 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.139 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.139 * [taylor]: Taking taylor expansion of (* a x) in x 0.139 * [taylor]: Taking taylor expansion of a in x 0.139 * [taylor]: Taking taylor expansion of x in x 0.140 * [taylor]: Taking taylor expansion of 1.0 in x 0.140 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.140 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.140 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.140 * [taylor]: Taking taylor expansion of (* a x) in a 0.140 * [taylor]: Taking taylor expansion of a in a 0.140 * [taylor]: Taking taylor expansion of x in a 0.140 * [taylor]: Taking taylor expansion of 1.0 in a 0.140 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.140 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.140 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.140 * [taylor]: Taking taylor expansion of (* a x) in a 0.140 * [taylor]: Taking taylor expansion of a in a 0.140 * [taylor]: Taking taylor expansion of x in a 0.140 * [taylor]: Taking taylor expansion of 1.0 in a 0.141 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.141 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.141 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.141 * [taylor]: Taking taylor expansion of (* a x) in x 0.141 * [taylor]: Taking taylor expansion of a in x 0.141 * [taylor]: Taking taylor expansion of x in x 0.141 * [taylor]: Taking taylor expansion of 1.0 in x 0.143 * [taylor]: Taking taylor expansion of 0 in x 0.143 * [taylor]: Taking taylor expansion of 0 in x 0.144 * [taylor]: Taking taylor expansion of 0 in x 0.145 * * * [progress]: simplifying candidates 0.145 * [simplify]: Simplifying using # : (/ (exp (exp (* a x))) (exp 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (* (* (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0)) (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (exp (* a x))) (+ (* 1.0 1.0) (* (exp (* a x)) 1.0))) (- 1.0) (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) 0.148 * * [simplify]: iteration 0 : 103 enodes (cost 100 ) 0.151 * * [simplify]: iteration 1 : 300 enodes (cost 92 ) 0.157 * * [simplify]: iteration 2 : 1055 enodes (cost 90 ) 0.183 * * [simplify]: iteration 3 : 5001 enodes (cost 90 ) 0.184 * [simplify]: Simplified to: (exp (- (exp (* a x)) 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (pow (- (exp (* a x)) 1.0) 3) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)) (- 1.0) (+ (- (* 1.0 1.0)) (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (+ (* x (+ a (* (* 1/2 (pow a 2)) x))) (* 1/6 (* (pow a 3) (pow x 3)))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) 0.184 * * * [progress]: adding candidates to table 0.215 * * [progress]: iteration 2 / 4 0.215 * * * [progress]: picking best candidate 0.225 * * * * [pick]: Picked # 0.226 * * * [progress]: localizing error 0.237 * * * [progress]: generating rewritten candidates 0.237 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 0.241 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 0.245 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 0.248 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.253 * * * [progress]: generating series expansions 0.253 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 0.254 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0 0.254 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x 0.254 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 0.254 * [taylor]: Taking taylor expansion of (* a x) in x 0.254 * [taylor]: Taking taylor expansion of a in x 0.254 * [taylor]: Taking taylor expansion of x in x 0.254 * [taylor]: Taking taylor expansion of 1.0 in x 0.254 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.254 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.254 * [taylor]: Taking taylor expansion of (* a x) in a 0.254 * [taylor]: Taking taylor expansion of a in a 0.254 * [taylor]: Taking taylor expansion of x in a 0.255 * [taylor]: Taking taylor expansion of 1.0 in a 0.255 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.255 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.255 * [taylor]: Taking taylor expansion of (* a x) in a 0.255 * [taylor]: Taking taylor expansion of a in a 0.255 * [taylor]: Taking taylor expansion of x in a 0.255 * [taylor]: Taking taylor expansion of 1.0 in a 0.256 * [taylor]: Taking taylor expansion of 0 in x 0.257 * [taylor]: Taking taylor expansion of x in x 0.258 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 0.258 * [taylor]: Taking taylor expansion of 1/2 in x 0.258 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.258 * [taylor]: Taking taylor expansion of x in x 0.260 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 0.261 * [taylor]: Taking taylor expansion of 1/6 in x 0.261 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.264 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 0.264 * [taylor]: Taking taylor expansion of 1/24 in x 0.264 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.264 * [taylor]: Taking taylor expansion of x in x 0.268 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 0.268 * [taylor]: Taking taylor expansion of 1/120 in x 0.268 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.268 * [taylor]: Taking taylor expansion of x in x 0.276 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 0.276 * [taylor]: Taking taylor expansion of 1/720 in x 0.276 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.276 * [taylor]: Taking taylor expansion of x in x 0.277 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.277 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.277 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.277 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.277 * [taylor]: Taking taylor expansion of (* a x) in x 0.277 * [taylor]: Taking taylor expansion of a in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.277 * [taylor]: Taking taylor expansion of 1.0 in x 0.277 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.277 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.277 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.277 * [taylor]: Taking taylor expansion of (* a x) in a 0.277 * [taylor]: Taking taylor expansion of a in a 0.277 * [taylor]: Taking taylor expansion of x in a 0.278 * [taylor]: Taking taylor expansion of 1.0 in a 0.278 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.278 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.278 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.278 * [taylor]: Taking taylor expansion of (* a x) in a 0.278 * [taylor]: Taking taylor expansion of a in a 0.278 * [taylor]: Taking taylor expansion of x in a 0.278 * [taylor]: Taking taylor expansion of 1.0 in a 0.279 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.279 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.279 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.279 * [taylor]: Taking taylor expansion of (* a x) in x 0.279 * [taylor]: Taking taylor expansion of a in x 0.279 * [taylor]: Taking taylor expansion of x in x 0.279 * [taylor]: Taking taylor expansion of 1.0 in x 0.280 * [taylor]: Taking taylor expansion of 0 in x 0.281 * [taylor]: Taking taylor expansion of 0 in x 0.282 * [taylor]: Taking taylor expansion of 0 in x 0.282 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.282 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.282 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.282 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.283 * [taylor]: Taking taylor expansion of (* a x) in x 0.283 * [taylor]: Taking taylor expansion of a in x 0.283 * [taylor]: Taking taylor expansion of x in x 0.283 * [taylor]: Taking taylor expansion of 1.0 in x 0.283 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.283 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.283 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.283 * [taylor]: Taking taylor expansion of (* a x) in a 0.283 * [taylor]: Taking taylor expansion of a in a 0.283 * [taylor]: Taking taylor expansion of x in a 0.283 * [taylor]: Taking taylor expansion of 1.0 in a 0.283 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.283 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.283 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.283 * [taylor]: Taking taylor expansion of (* a x) in a 0.283 * [taylor]: Taking taylor expansion of a in a 0.283 * [taylor]: Taking taylor expansion of x in a 0.284 * [taylor]: Taking taylor expansion of 1.0 in a 0.284 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.284 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.284 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.284 * [taylor]: Taking taylor expansion of (* a x) in x 0.284 * [taylor]: Taking taylor expansion of a in x 0.285 * [taylor]: Taking taylor expansion of x in x 0.285 * [taylor]: Taking taylor expansion of 1.0 in x 0.286 * [taylor]: Taking taylor expansion of 0 in x 0.287 * [taylor]: Taking taylor expansion of 0 in x 0.288 * [taylor]: Taking taylor expansion of 0 in x 0.288 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 0.288 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0 0.288 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x 0.288 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 0.288 * [taylor]: Taking taylor expansion of (* a x) in x 0.288 * [taylor]: Taking taylor expansion of a in x 0.288 * [taylor]: Taking taylor expansion of x in x 0.288 * [taylor]: Taking taylor expansion of 1.0 in x 0.288 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.289 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.289 * [taylor]: Taking taylor expansion of (* a x) in a 0.289 * [taylor]: Taking taylor expansion of a in a 0.289 * [taylor]: Taking taylor expansion of x in a 0.289 * [taylor]: Taking taylor expansion of 1.0 in a 0.289 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.289 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.289 * [taylor]: Taking taylor expansion of (* a x) in a 0.289 * [taylor]: Taking taylor expansion of a in a 0.289 * [taylor]: Taking taylor expansion of x in a 0.289 * [taylor]: Taking taylor expansion of 1.0 in a 0.290 * [taylor]: Taking taylor expansion of 0 in x 0.290 * [taylor]: Taking taylor expansion of x in x 0.292 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 0.292 * [taylor]: Taking taylor expansion of 1/2 in x 0.292 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.292 * [taylor]: Taking taylor expansion of x in x 0.294 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 0.294 * [taylor]: Taking taylor expansion of 1/6 in x 0.294 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.297 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 0.297 * [taylor]: Taking taylor expansion of 1/24 in x 0.297 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.297 * [taylor]: Taking taylor expansion of x in x 0.302 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 0.302 * [taylor]: Taking taylor expansion of 1/120 in x 0.302 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.310 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 0.310 * [taylor]: Taking taylor expansion of 1/720 in x 0.310 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.310 * [taylor]: Taking taylor expansion of x in x 0.311 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.311 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.311 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.311 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.311 * [taylor]: Taking taylor expansion of (* a x) in x 0.311 * [taylor]: Taking taylor expansion of a in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of 1.0 in x 0.311 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.311 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.311 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.311 * [taylor]: Taking taylor expansion of (* a x) in a 0.311 * [taylor]: Taking taylor expansion of a in a 0.311 * [taylor]: Taking taylor expansion of x in a 0.312 * [taylor]: Taking taylor expansion of 1.0 in a 0.312 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.312 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.312 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.312 * [taylor]: Taking taylor expansion of (* a x) in a 0.312 * [taylor]: Taking taylor expansion of a in a 0.312 * [taylor]: Taking taylor expansion of x in a 0.312 * [taylor]: Taking taylor expansion of 1.0 in a 0.313 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.313 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.313 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.313 * [taylor]: Taking taylor expansion of (* a x) in x 0.313 * [taylor]: Taking taylor expansion of a in x 0.313 * [taylor]: Taking taylor expansion of x in x 0.313 * [taylor]: Taking taylor expansion of 1.0 in x 0.314 * [taylor]: Taking taylor expansion of 0 in x 0.315 * [taylor]: Taking taylor expansion of 0 in x 0.316 * [taylor]: Taking taylor expansion of 0 in x 0.317 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.317 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.317 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.317 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.317 * [taylor]: Taking taylor expansion of (* a x) in x 0.317 * [taylor]: Taking taylor expansion of a in x 0.317 * [taylor]: Taking taylor expansion of x in x 0.317 * [taylor]: Taking taylor expansion of 1.0 in x 0.317 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.317 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.317 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.317 * [taylor]: Taking taylor expansion of (* a x) in a 0.317 * [taylor]: Taking taylor expansion of a in a 0.317 * [taylor]: Taking taylor expansion of x in a 0.317 * [taylor]: Taking taylor expansion of 1.0 in a 0.318 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.318 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.318 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.318 * [taylor]: Taking taylor expansion of (* a x) in a 0.318 * [taylor]: Taking taylor expansion of a in a 0.318 * [taylor]: Taking taylor expansion of x in a 0.318 * [taylor]: Taking taylor expansion of 1.0 in a 0.319 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.319 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.319 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.319 * [taylor]: Taking taylor expansion of (* a x) in x 0.319 * [taylor]: Taking taylor expansion of a in x 0.319 * [taylor]: Taking taylor expansion of x in x 0.319 * [taylor]: Taking taylor expansion of 1.0 in x 0.320 * [taylor]: Taking taylor expansion of 0 in x 0.321 * [taylor]: Taking taylor expansion of 0 in x 0.322 * [taylor]: Taking taylor expansion of 0 in x 0.322 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 0.322 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0 0.322 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x 0.322 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 0.322 * [taylor]: Taking taylor expansion of (* a x) in x 0.322 * [taylor]: Taking taylor expansion of a in x 0.322 * [taylor]: Taking taylor expansion of x in x 0.323 * [taylor]: Taking taylor expansion of 1.0 in x 0.323 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.323 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.323 * [taylor]: Taking taylor expansion of (* a x) in a 0.323 * [taylor]: Taking taylor expansion of a in a 0.323 * [taylor]: Taking taylor expansion of x in a 0.323 * [taylor]: Taking taylor expansion of 1.0 in a 0.323 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.323 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.323 * [taylor]: Taking taylor expansion of (* a x) in a 0.323 * [taylor]: Taking taylor expansion of a in a 0.323 * [taylor]: Taking taylor expansion of x in a 0.324 * [taylor]: Taking taylor expansion of 1.0 in a 0.324 * [taylor]: Taking taylor expansion of 0 in x 0.325 * [taylor]: Taking taylor expansion of x in x 0.326 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 0.326 * [taylor]: Taking taylor expansion of 1/2 in x 0.326 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.326 * [taylor]: Taking taylor expansion of x in x 0.329 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 0.329 * [taylor]: Taking taylor expansion of 1/6 in x 0.329 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.329 * [taylor]: Taking taylor expansion of x in x 0.335 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 0.335 * [taylor]: Taking taylor expansion of 1/24 in x 0.335 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.335 * [taylor]: Taking taylor expansion of x in x 0.340 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 0.340 * [taylor]: Taking taylor expansion of 1/120 in x 0.340 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.340 * [taylor]: Taking taylor expansion of x in x 0.347 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 0.347 * [taylor]: Taking taylor expansion of 1/720 in x 0.347 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.347 * [taylor]: Taking taylor expansion of x in x 0.348 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.348 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.348 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.348 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.348 * [taylor]: Taking taylor expansion of (* a x) in x 0.348 * [taylor]: Taking taylor expansion of a in x 0.348 * [taylor]: Taking taylor expansion of x in x 0.349 * [taylor]: Taking taylor expansion of 1.0 in x 0.349 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.349 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.349 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.349 * [taylor]: Taking taylor expansion of (* a x) in a 0.349 * [taylor]: Taking taylor expansion of a in a 0.349 * [taylor]: Taking taylor expansion of x in a 0.349 * [taylor]: Taking taylor expansion of 1.0 in a 0.349 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.349 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.349 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.349 * [taylor]: Taking taylor expansion of (* a x) in a 0.349 * [taylor]: Taking taylor expansion of a in a 0.349 * [taylor]: Taking taylor expansion of x in a 0.350 * [taylor]: Taking taylor expansion of 1.0 in a 0.350 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.350 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.350 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.350 * [taylor]: Taking taylor expansion of (* a x) in x 0.350 * [taylor]: Taking taylor expansion of a in x 0.350 * [taylor]: Taking taylor expansion of x in x 0.351 * [taylor]: Taking taylor expansion of 1.0 in x 0.352 * [taylor]: Taking taylor expansion of 0 in x 0.353 * [taylor]: Taking taylor expansion of 0 in x 0.354 * [taylor]: Taking taylor expansion of 0 in x 0.354 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.354 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.354 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.354 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.354 * [taylor]: Taking taylor expansion of (* a x) in x 0.354 * [taylor]: Taking taylor expansion of a in x 0.354 * [taylor]: Taking taylor expansion of x in x 0.354 * [taylor]: Taking taylor expansion of 1.0 in x 0.355 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.355 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.355 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.355 * [taylor]: Taking taylor expansion of (* a x) in a 0.355 * [taylor]: Taking taylor expansion of a in a 0.355 * [taylor]: Taking taylor expansion of x in a 0.355 * [taylor]: Taking taylor expansion of 1.0 in a 0.355 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.355 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.355 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.355 * [taylor]: Taking taylor expansion of (* a x) in a 0.355 * [taylor]: Taking taylor expansion of a in a 0.355 * [taylor]: Taking taylor expansion of x in a 0.355 * [taylor]: Taking taylor expansion of 1.0 in a 0.356 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.356 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.356 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.356 * [taylor]: Taking taylor expansion of (* a x) in x 0.356 * [taylor]: Taking taylor expansion of a in x 0.356 * [taylor]: Taking taylor expansion of x in x 0.356 * [taylor]: Taking taylor expansion of 1.0 in x 0.358 * [taylor]: Taking taylor expansion of 0 in x 0.358 * [taylor]: Taking taylor expansion of 0 in x 0.359 * [taylor]: Taking taylor expansion of 0 in x 0.360 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.360 * [approximate]: Taking taylor expansion of (pow (- (exp (* a x)) 1.0) 1/3) in (a x) around 0 0.360 * [taylor]: Taking taylor expansion of (pow (- (exp (* a x)) 1.0) 1/3) in x 0.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (* a x)) 1.0)))) in x 0.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (* a x)) 1.0))) in x 0.360 * [taylor]: Taking taylor expansion of 1/3 in x 0.360 * [taylor]: Taking taylor expansion of (log (- (exp (* a x)) 1.0)) in x 0.360 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x 0.360 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 0.360 * [taylor]: Taking taylor expansion of (* a x) in x 0.360 * [taylor]: Taking taylor expansion of a in x 0.360 * [taylor]: Taking taylor expansion of x in x 0.360 * [taylor]: Taking taylor expansion of 1.0 in x 0.362 * [taylor]: Taking taylor expansion of (pow (- (exp (* a x)) 1.0) 1/3) in a 0.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (* a x)) 1.0)))) in a 0.362 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (* a x)) 1.0))) in a 0.362 * [taylor]: Taking taylor expansion of 1/3 in a 0.362 * [taylor]: Taking taylor expansion of (log (- (exp (* a x)) 1.0)) in a 0.362 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.362 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.362 * [taylor]: Taking taylor expansion of (* a x) in a 0.362 * [taylor]: Taking taylor expansion of a in a 0.362 * [taylor]: Taking taylor expansion of x in a 0.362 * [taylor]: Taking taylor expansion of 1.0 in a 0.364 * [taylor]: Taking taylor expansion of (pow (- (exp (* a x)) 1.0) 1/3) in a 0.364 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (* a x)) 1.0)))) in a 0.364 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (* a x)) 1.0))) in a 0.364 * [taylor]: Taking taylor expansion of 1/3 in a 0.364 * [taylor]: Taking taylor expansion of (log (- (exp (* a x)) 1.0)) in a 0.364 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.364 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.364 * [taylor]: Taking taylor expansion of (* a x) in a 0.364 * [taylor]: Taking taylor expansion of a in a 0.364 * [taylor]: Taking taylor expansion of x in a 0.364 * [taylor]: Taking taylor expansion of 1.0 in a 0.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log x)))) in x 0.366 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log x))) in x 0.366 * [taylor]: Taking taylor expansion of 1/3 in x 0.366 * [taylor]: Taking taylor expansion of (+ (log a) (log x)) in x 0.366 * [taylor]: Taking taylor expansion of (log a) in x 0.366 * [taylor]: Taking taylor expansion of a in x 0.366 * [taylor]: Taking taylor expansion of (log x) in x 0.366 * [taylor]: Taking taylor expansion of x in x 0.369 * [taylor]: Taking taylor expansion of (* 1/6 (* x (exp (* 1/3 (+ (log a) (log x)))))) in x 0.369 * [taylor]: Taking taylor expansion of 1/6 in x 0.369 * [taylor]: Taking taylor expansion of (* x (exp (* 1/3 (+ (log a) (log x))))) in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log x)))) in x 0.369 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log x))) in x 0.369 * [taylor]: Taking taylor expansion of 1/3 in x 0.369 * [taylor]: Taking taylor expansion of (+ (log a) (log x)) in x 0.369 * [taylor]: Taking taylor expansion of (log a) in x 0.369 * [taylor]: Taking taylor expansion of a in x 0.369 * [taylor]: Taking taylor expansion of (log x) in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.376 * [taylor]: Taking taylor expansion of (* 1/36 (* (pow x 2) (exp (* 1/3 (+ (log a) (log x)))))) in x 0.376 * [taylor]: Taking taylor expansion of 1/36 in x 0.376 * [taylor]: Taking taylor expansion of (* (pow x 2) (exp (* 1/3 (+ (log a) (log x))))) in x 0.376 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.376 * [taylor]: Taking taylor expansion of x in x 0.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log x)))) in x 0.376 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log x))) in x 0.376 * [taylor]: Taking taylor expansion of 1/3 in x 0.376 * [taylor]: Taking taylor expansion of (+ (log a) (log x)) in x 0.376 * [taylor]: Taking taylor expansion of (log a) in x 0.376 * [taylor]: Taking taylor expansion of a in x 0.376 * [taylor]: Taking taylor expansion of (log x) in x 0.376 * [taylor]: Taking taylor expansion of x in x 0.389 * [taylor]: Taking taylor expansion of (* 1/324 (* (pow x 3) (exp (* 1/3 (+ (log a) (log x)))))) in x 0.389 * [taylor]: Taking taylor expansion of 1/324 in x 0.389 * [taylor]: Taking taylor expansion of (* (pow x 3) (exp (* 1/3 (+ (log a) (log x))))) in x 0.389 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.389 * [taylor]: Taking taylor expansion of x in x 0.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log x)))) in x 0.389 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log x))) in x 0.389 * [taylor]: Taking taylor expansion of 1/3 in x 0.389 * [taylor]: Taking taylor expansion of (+ (log a) (log x)) in x 0.389 * [taylor]: Taking taylor expansion of (log a) in x 0.389 * [taylor]: Taking taylor expansion of a in x 0.389 * [taylor]: Taking taylor expansion of (log x) in x 0.389 * [taylor]: Taking taylor expansion of x in x 0.409 * [taylor]: Taking taylor expansion of (* 1/4860 (* (pow x 4) (exp (* 1/3 (+ (log a) (log x)))))) in x 0.409 * [taylor]: Taking taylor expansion of 1/4860 in x 0.409 * [taylor]: Taking taylor expansion of (* (pow x 4) (exp (* 1/3 (+ (log a) (log x))))) in x 0.409 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log a) (log x)))) in x 0.409 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log a) (log x))) in x 0.409 * [taylor]: Taking taylor expansion of 1/3 in x 0.409 * [taylor]: Taking taylor expansion of (+ (log a) (log x)) in x 0.409 * [taylor]: Taking taylor expansion of (log a) in x 0.409 * [taylor]: Taking taylor expansion of a in x 0.409 * [taylor]: Taking taylor expansion of (log x) in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.411 * [approximate]: Taking taylor expansion of (pow (- (exp (/ 1 (* a x))) 1.0) 1/3) in (a x) around 0 0.411 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 (* a x))) 1.0) 1/3) in x 0.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0)))) in x 0.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0))) in x 0.411 * [taylor]: Taking taylor expansion of 1/3 in x 0.411 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 (* a x))) 1.0)) in x 0.411 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.411 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.411 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.411 * [taylor]: Taking taylor expansion of (* a x) in x 0.411 * [taylor]: Taking taylor expansion of a in x 0.411 * [taylor]: Taking taylor expansion of x in x 0.411 * [taylor]: Taking taylor expansion of 1.0 in x 0.412 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 (* a x))) 1.0) 1/3) in a 0.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0)))) in a 0.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0))) in a 0.412 * [taylor]: Taking taylor expansion of 1/3 in a 0.412 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 (* a x))) 1.0)) in a 0.412 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.412 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.412 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.412 * [taylor]: Taking taylor expansion of (* a x) in a 0.412 * [taylor]: Taking taylor expansion of a in a 0.412 * [taylor]: Taking taylor expansion of x in a 0.413 * [taylor]: Taking taylor expansion of 1.0 in a 0.413 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 (* a x))) 1.0) 1/3) in a 0.413 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0)))) in a 0.413 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0))) in a 0.413 * [taylor]: Taking taylor expansion of 1/3 in a 0.413 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 (* a x))) 1.0)) in a 0.413 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.414 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.414 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.414 * [taylor]: Taking taylor expansion of (* a x) in a 0.414 * [taylor]: Taking taylor expansion of a in a 0.414 * [taylor]: Taking taylor expansion of x in a 0.414 * [taylor]: Taking taylor expansion of 1.0 in a 0.415 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 (* a x))) 1.0) 1/3) in x 0.415 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0)))) in x 0.415 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0))) in x 0.415 * [taylor]: Taking taylor expansion of 1/3 in x 0.415 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 (* a x))) 1.0)) in x 0.415 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.415 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.415 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.415 * [taylor]: Taking taylor expansion of (* a x) in x 0.415 * [taylor]: Taking taylor expansion of a in x 0.415 * [taylor]: Taking taylor expansion of x in x 0.415 * [taylor]: Taking taylor expansion of 1.0 in x 0.418 * [taylor]: Taking taylor expansion of 0 in x 0.426 * [taylor]: Taking taylor expansion of 0 in x 0.433 * [taylor]: Taking taylor expansion of 0 in x 0.434 * [approximate]: Taking taylor expansion of (pow (- (exp (/ 1 (* a x))) 1.0) 1/3) in (a x) around 0 0.434 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 (* a x))) 1.0) 1/3) in x 0.434 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0)))) in x 0.434 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0))) in x 0.434 * [taylor]: Taking taylor expansion of 1/3 in x 0.434 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 (* a x))) 1.0)) in x 0.434 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.434 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.434 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.434 * [taylor]: Taking taylor expansion of (* a x) in x 0.434 * [taylor]: Taking taylor expansion of a in x 0.434 * [taylor]: Taking taylor expansion of x in x 0.434 * [taylor]: Taking taylor expansion of 1.0 in x 0.435 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 (* a x))) 1.0) 1/3) in a 0.435 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0)))) in a 0.435 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0))) in a 0.435 * [taylor]: Taking taylor expansion of 1/3 in a 0.435 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 (* a x))) 1.0)) in a 0.435 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.435 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.435 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.435 * [taylor]: Taking taylor expansion of (* a x) in a 0.435 * [taylor]: Taking taylor expansion of a in a 0.435 * [taylor]: Taking taylor expansion of x in a 0.436 * [taylor]: Taking taylor expansion of 1.0 in a 0.436 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 (* a x))) 1.0) 1/3) in a 0.436 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0)))) in a 0.436 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0))) in a 0.436 * [taylor]: Taking taylor expansion of 1/3 in a 0.436 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 (* a x))) 1.0)) in a 0.436 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.436 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.436 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.437 * [taylor]: Taking taylor expansion of (* a x) in a 0.437 * [taylor]: Taking taylor expansion of a in a 0.437 * [taylor]: Taking taylor expansion of x in a 0.437 * [taylor]: Taking taylor expansion of 1.0 in a 0.438 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 (* a x))) 1.0) 1/3) in x 0.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0)))) in x 0.438 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (exp (/ 1 (* a x))) 1.0))) in x 0.438 * [taylor]: Taking taylor expansion of 1/3 in x 0.438 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 (* a x))) 1.0)) in x 0.438 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.438 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.438 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.438 * [taylor]: Taking taylor expansion of (* a x) in x 0.438 * [taylor]: Taking taylor expansion of a in x 0.438 * [taylor]: Taking taylor expansion of x in x 0.438 * [taylor]: Taking taylor expansion of 1.0 in x 0.441 * [taylor]: Taking taylor expansion of 0 in x 0.446 * [taylor]: Taking taylor expansion of 0 in x 0.453 * [taylor]: Taking taylor expansion of 0 in x 0.453 * * * [progress]: simplifying candidates 0.454 * [simplify]: Simplifying using # : (/ (exp (exp (* a x))) (exp 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (* (* (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0)) (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (exp (* a x))) (+ (* 1.0 1.0) (* (exp (* a x)) 1.0))) (- 1.0) (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (/ (exp (exp (* a x))) (exp 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (* (* (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0)) (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (exp (* a x))) (+ (* 1.0 1.0) (* (exp (* a x)) 1.0))) (- 1.0) (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (/ (exp (exp (* a x))) (exp 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (* (* (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0)) (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (exp (* a x))) (+ (* 1.0 1.0) (* (exp (* a x)) 1.0))) (- 1.0) (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (log (cbrt (- (exp (* a x)) 1.0))) (exp (cbrt (- (exp (* a x)) 1.0))) (cbrt (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0)))) (cbrt (cbrt (- (exp (* a x)) 1.0))) (cbrt (sqrt (- (exp (* a x)) 1.0))) (cbrt (sqrt (- (exp (* a x)) 1.0))) (cbrt 1) (cbrt (- (exp (* a x)) 1.0)) (cbrt (+ (sqrt (exp (* a x))) (sqrt 1.0))) (cbrt (- (sqrt (exp (* a x))) (sqrt 1.0))) (cbrt 1) (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (pow (exp (* a x)) 3) (pow 1.0 3))) (cbrt (+ (* (exp (* a x)) (exp (* a x))) (+ (* 1.0 1.0) (* (exp (* a x)) 1.0)))) (cbrt (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0))) (cbrt (+ (exp (* a x)) 1.0)) (* (cbrt (cbrt (- (exp (* a x)) 1.0))) (cbrt (cbrt (- (exp (* a x)) 1.0)))) (cbrt (cbrt (- (exp (* a x)) 1.0))) (* (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0))) (sqrt (cbrt (- (exp (* a x)) 1.0))) (sqrt (cbrt (- (exp (* a x)) 1.0))) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (+ (* 1/6 (* a (* x (exp (* 1/3 (+ (log a) (log x))))))) (+ (* 1/36 (* (pow a 2) (* (pow x 2) (exp (* 1/3 (+ (log a) (log x))))))) (exp (* 1/3 (+ (log a) (log x)))))) (pow (- (exp (* a x)) 1.0) 1/3) (pow (- (exp (* a x)) 1.0) 1/3) 0.459 * * [simplify]: iteration 0 : 167 enodes (cost 460 ) 0.462 * * [simplify]: iteration 1 : 491 enodes (cost 412 ) 0.472 * * [simplify]: iteration 2 : 1911 enodes (cost 395 ) 0.515 * * [simplify]: iteration 3 : 5001 enodes (cost 391 ) 0.518 * [simplify]: Simplified to: (exp (- (exp (* a x)) 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (pow (- (exp (* a x)) 1.0) 2/3) (pow (- (exp (* a x)) 1.0) 1/3) (pow (- (exp (* a x)) 1.0) 3) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)) (- 1.0) (+ (- (* 1.0 1.0)) (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (exp (- (exp (* a x)) 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (pow (- (exp (* a x)) 1.0) 2/3) (pow (- (exp (* a x)) 1.0) 1/3) (pow (- (exp (* a x)) 1.0) 3) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)) (- 1.0) (+ (- (* 1.0 1.0)) (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (exp (- (exp (* a x)) 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (pow (- (exp (* a x)) 1.0) 2/3) (pow (- (exp (* a x)) 1.0) 1/3) (pow (- (exp (* a x)) 1.0) 3) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)) (- 1.0) (+ (- (* 1.0 1.0)) (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (log (cbrt (- (exp (* a x)) 1.0))) (exp (cbrt (- (exp (* a x)) 1.0))) (cbrt (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0)))) (cbrt (cbrt (- (exp (* a x)) 1.0))) (cbrt (sqrt (- (exp (* a x)) 1.0))) (cbrt (sqrt (- (exp (* a x)) 1.0))) (cbrt 1) (pow (- (exp (* a x)) 1.0) 1/3) (cbrt (+ (sqrt (exp (* a x))) (sqrt 1.0))) (cbrt (- (sqrt (exp (* a x))) (sqrt 1.0))) (cbrt 1) (pow (- (exp (* a x)) 1.0) 1/3) (cbrt (- (pow (exp (* a x)) 3) (pow 1.0 3))) (cbrt (+ (* (exp (* a x)) (exp (* a x))) (+ (* 1.0 1.0) (* (exp (* a x)) 1.0)))) (cbrt (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0))) (cbrt (+ (exp (* a x)) 1.0)) (* (cbrt (cbrt (- (exp (* a x)) 1.0))) (cbrt (cbrt (- (exp (* a x)) 1.0)))) (cbrt (cbrt (- (exp (* a x)) 1.0))) (- (exp (* a x)) 1.0) (sqrt (cbrt (- (exp (* a x)) 1.0))) (sqrt (cbrt (- (exp (* a x)) 1.0))) (+ (* x (+ a (* (* 1/2 (pow a 2)) x))) (* 1/6 (* (pow a 3) (pow x 3)))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (+ (* x (+ a (* (* 1/2 (pow a 2)) x))) (* 1/6 (* (pow a 3) (pow x 3)))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (+ (* x (+ a (* (* 1/2 (pow a 2)) x))) (* 1/6 (* (pow a 3) (pow x 3)))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (* (* (pow x 1/3) (pow a 1/3)) (+ (* 1/6 (* a x)) (+ (* 1/36 (* (pow a 2) (pow x 2))) 1))) (pow (- (exp (* a x)) 1.0) 1/3) (pow (- (exp (* a x)) 1.0) 1/3) 0.518 * * * [progress]: adding candidates to table 0.663 * * [progress]: iteration 3 / 4 0.663 * * * [progress]: picking best candidate 0.677 * * * * [pick]: Picked # 0.677 * * * [progress]: localizing error 0.691 * * * [progress]: generating rewritten candidates 0.691 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1) 0.695 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1) 0.699 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1) 0.703 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 0.708 * * * [progress]: generating series expansions 0.708 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1) 0.708 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0 0.708 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x 0.708 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 0.708 * [taylor]: Taking taylor expansion of (* a x) in x 0.708 * [taylor]: Taking taylor expansion of a in x 0.708 * [taylor]: Taking taylor expansion of x in x 0.709 * [taylor]: Taking taylor expansion of 1.0 in x 0.709 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.709 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.709 * [taylor]: Taking taylor expansion of (* a x) in a 0.709 * [taylor]: Taking taylor expansion of a in a 0.709 * [taylor]: Taking taylor expansion of x in a 0.709 * [taylor]: Taking taylor expansion of 1.0 in a 0.709 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.709 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.709 * [taylor]: Taking taylor expansion of (* a x) in a 0.709 * [taylor]: Taking taylor expansion of a in a 0.709 * [taylor]: Taking taylor expansion of x in a 0.710 * [taylor]: Taking taylor expansion of 1.0 in a 0.710 * [taylor]: Taking taylor expansion of 0 in x 0.711 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 0.712 * [taylor]: Taking taylor expansion of 1/2 in x 0.712 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.714 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 0.714 * [taylor]: Taking taylor expansion of 1/6 in x 0.714 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.714 * [taylor]: Taking taylor expansion of x in x 0.718 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 0.718 * [taylor]: Taking taylor expansion of 1/24 in x 0.718 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.718 * [taylor]: Taking taylor expansion of x in x 0.722 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 0.722 * [taylor]: Taking taylor expansion of 1/120 in x 0.722 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.723 * [taylor]: Taking taylor expansion of x in x 0.730 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 0.730 * [taylor]: Taking taylor expansion of 1/720 in x 0.730 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.730 * [taylor]: Taking taylor expansion of x in x 0.731 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.731 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.731 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.731 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.731 * [taylor]: Taking taylor expansion of (* a x) in x 0.731 * [taylor]: Taking taylor expansion of a in x 0.731 * [taylor]: Taking taylor expansion of x in x 0.731 * [taylor]: Taking taylor expansion of 1.0 in x 0.731 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.731 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.731 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.731 * [taylor]: Taking taylor expansion of (* a x) in a 0.731 * [taylor]: Taking taylor expansion of a in a 0.731 * [taylor]: Taking taylor expansion of x in a 0.732 * [taylor]: Taking taylor expansion of 1.0 in a 0.732 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.732 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.732 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.732 * [taylor]: Taking taylor expansion of (* a x) in a 0.732 * [taylor]: Taking taylor expansion of a in a 0.732 * [taylor]: Taking taylor expansion of x in a 0.732 * [taylor]: Taking taylor expansion of 1.0 in a 0.733 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.733 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.733 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.733 * [taylor]: Taking taylor expansion of (* a x) in x 0.733 * [taylor]: Taking taylor expansion of a in x 0.733 * [taylor]: Taking taylor expansion of x in x 0.733 * [taylor]: Taking taylor expansion of 1.0 in x 0.734 * [taylor]: Taking taylor expansion of 0 in x 0.735 * [taylor]: Taking taylor expansion of 0 in x 0.736 * [taylor]: Taking taylor expansion of 0 in x 0.736 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.736 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.736 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.736 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.736 * [taylor]: Taking taylor expansion of (* a x) in x 0.737 * [taylor]: Taking taylor expansion of a in x 0.737 * [taylor]: Taking taylor expansion of x in x 0.737 * [taylor]: Taking taylor expansion of 1.0 in x 0.737 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.737 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.737 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.737 * [taylor]: Taking taylor expansion of (* a x) in a 0.737 * [taylor]: Taking taylor expansion of a in a 0.737 * [taylor]: Taking taylor expansion of x in a 0.737 * [taylor]: Taking taylor expansion of 1.0 in a 0.737 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.737 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.737 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.737 * [taylor]: Taking taylor expansion of (* a x) in a 0.737 * [taylor]: Taking taylor expansion of a in a 0.737 * [taylor]: Taking taylor expansion of x in a 0.738 * [taylor]: Taking taylor expansion of 1.0 in a 0.738 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.738 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.738 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.738 * [taylor]: Taking taylor expansion of (* a x) in x 0.738 * [taylor]: Taking taylor expansion of a in x 0.738 * [taylor]: Taking taylor expansion of x in x 0.739 * [taylor]: Taking taylor expansion of 1.0 in x 0.740 * [taylor]: Taking taylor expansion of 0 in x 0.741 * [taylor]: Taking taylor expansion of 0 in x 0.742 * [taylor]: Taking taylor expansion of 0 in x 0.742 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1) 0.742 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0 0.742 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x 0.742 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 0.742 * [taylor]: Taking taylor expansion of (* a x) in x 0.742 * [taylor]: Taking taylor expansion of a in x 0.742 * [taylor]: Taking taylor expansion of x in x 0.742 * [taylor]: Taking taylor expansion of 1.0 in x 0.742 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.742 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.742 * [taylor]: Taking taylor expansion of (* a x) in a 0.743 * [taylor]: Taking taylor expansion of a in a 0.743 * [taylor]: Taking taylor expansion of x in a 0.743 * [taylor]: Taking taylor expansion of 1.0 in a 0.743 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.743 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.743 * [taylor]: Taking taylor expansion of (* a x) in a 0.743 * [taylor]: Taking taylor expansion of a in a 0.743 * [taylor]: Taking taylor expansion of x in a 0.743 * [taylor]: Taking taylor expansion of 1.0 in a 0.744 * [taylor]: Taking taylor expansion of 0 in x 0.744 * [taylor]: Taking taylor expansion of x in x 0.746 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 0.746 * [taylor]: Taking taylor expansion of 1/2 in x 0.746 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.746 * [taylor]: Taking taylor expansion of x in x 0.748 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 0.748 * [taylor]: Taking taylor expansion of 1/6 in x 0.748 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.748 * [taylor]: Taking taylor expansion of x in x 0.751 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 0.751 * [taylor]: Taking taylor expansion of 1/24 in x 0.751 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.751 * [taylor]: Taking taylor expansion of x in x 0.756 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 0.756 * [taylor]: Taking taylor expansion of 1/120 in x 0.756 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.756 * [taylor]: Taking taylor expansion of x in x 0.763 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 0.763 * [taylor]: Taking taylor expansion of 1/720 in x 0.763 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.763 * [taylor]: Taking taylor expansion of x in x 0.764 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.764 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.764 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.764 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.764 * [taylor]: Taking taylor expansion of (* a x) in x 0.764 * [taylor]: Taking taylor expansion of a in x 0.764 * [taylor]: Taking taylor expansion of x in x 0.765 * [taylor]: Taking taylor expansion of 1.0 in x 0.765 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.765 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.765 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.765 * [taylor]: Taking taylor expansion of (* a x) in a 0.765 * [taylor]: Taking taylor expansion of a in a 0.765 * [taylor]: Taking taylor expansion of x in a 0.765 * [taylor]: Taking taylor expansion of 1.0 in a 0.765 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.765 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.765 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.765 * [taylor]: Taking taylor expansion of (* a x) in a 0.765 * [taylor]: Taking taylor expansion of a in a 0.765 * [taylor]: Taking taylor expansion of x in a 0.766 * [taylor]: Taking taylor expansion of 1.0 in a 0.766 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.766 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.766 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.766 * [taylor]: Taking taylor expansion of (* a x) in x 0.766 * [taylor]: Taking taylor expansion of a in x 0.766 * [taylor]: Taking taylor expansion of x in x 0.767 * [taylor]: Taking taylor expansion of 1.0 in x 0.768 * [taylor]: Taking taylor expansion of 0 in x 0.769 * [taylor]: Taking taylor expansion of 0 in x 0.774 * [taylor]: Taking taylor expansion of 0 in x 0.774 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.774 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.774 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.774 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.774 * [taylor]: Taking taylor expansion of (* a x) in x 0.774 * [taylor]: Taking taylor expansion of a in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.774 * [taylor]: Taking taylor expansion of 1.0 in x 0.774 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.774 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.774 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.774 * [taylor]: Taking taylor expansion of (* a x) in a 0.774 * [taylor]: Taking taylor expansion of a in a 0.774 * [taylor]: Taking taylor expansion of x in a 0.775 * [taylor]: Taking taylor expansion of 1.0 in a 0.775 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.775 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.775 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.775 * [taylor]: Taking taylor expansion of (* a x) in a 0.775 * [taylor]: Taking taylor expansion of a in a 0.775 * [taylor]: Taking taylor expansion of x in a 0.775 * [taylor]: Taking taylor expansion of 1.0 in a 0.776 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.776 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.776 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.776 * [taylor]: Taking taylor expansion of (* a x) in x 0.776 * [taylor]: Taking taylor expansion of a in x 0.776 * [taylor]: Taking taylor expansion of x in x 0.776 * [taylor]: Taking taylor expansion of 1.0 in x 0.777 * [taylor]: Taking taylor expansion of 0 in x 0.778 * [taylor]: Taking taylor expansion of 0 in x 0.779 * [taylor]: Taking taylor expansion of 0 in x 0.779 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1) 0.779 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0 0.779 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x 0.780 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 0.780 * [taylor]: Taking taylor expansion of (* a x) in x 0.780 * [taylor]: Taking taylor expansion of a in x 0.780 * [taylor]: Taking taylor expansion of x in x 0.780 * [taylor]: Taking taylor expansion of 1.0 in x 0.780 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.780 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.780 * [taylor]: Taking taylor expansion of (* a x) in a 0.780 * [taylor]: Taking taylor expansion of a in a 0.780 * [taylor]: Taking taylor expansion of x in a 0.780 * [taylor]: Taking taylor expansion of 1.0 in a 0.780 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.780 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.780 * [taylor]: Taking taylor expansion of (* a x) in a 0.780 * [taylor]: Taking taylor expansion of a in a 0.780 * [taylor]: Taking taylor expansion of x in a 0.781 * [taylor]: Taking taylor expansion of 1.0 in a 0.781 * [taylor]: Taking taylor expansion of 0 in x 0.782 * [taylor]: Taking taylor expansion of x in x 0.783 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 0.783 * [taylor]: Taking taylor expansion of 1/2 in x 0.783 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.783 * [taylor]: Taking taylor expansion of x in x 0.785 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 0.785 * [taylor]: Taking taylor expansion of 1/6 in x 0.785 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.785 * [taylor]: Taking taylor expansion of x in x 0.788 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 0.789 * [taylor]: Taking taylor expansion of 1/24 in x 0.789 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.789 * [taylor]: Taking taylor expansion of x in x 0.793 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 0.793 * [taylor]: Taking taylor expansion of 1/120 in x 0.793 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.793 * [taylor]: Taking taylor expansion of x in x 0.800 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 0.800 * [taylor]: Taking taylor expansion of 1/720 in x 0.800 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.800 * [taylor]: Taking taylor expansion of x in x 0.802 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.802 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.802 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.802 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.802 * [taylor]: Taking taylor expansion of (* a x) in x 0.802 * [taylor]: Taking taylor expansion of a in x 0.802 * [taylor]: Taking taylor expansion of x in x 0.802 * [taylor]: Taking taylor expansion of 1.0 in x 0.802 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.802 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.802 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.802 * [taylor]: Taking taylor expansion of (* a x) in a 0.802 * [taylor]: Taking taylor expansion of a in a 0.802 * [taylor]: Taking taylor expansion of x in a 0.803 * [taylor]: Taking taylor expansion of 1.0 in a 0.803 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.803 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.803 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.803 * [taylor]: Taking taylor expansion of (* a x) in a 0.803 * [taylor]: Taking taylor expansion of a in a 0.803 * [taylor]: Taking taylor expansion of x in a 0.803 * [taylor]: Taking taylor expansion of 1.0 in a 0.804 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.804 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.804 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.804 * [taylor]: Taking taylor expansion of (* a x) in x 0.804 * [taylor]: Taking taylor expansion of a in x 0.804 * [taylor]: Taking taylor expansion of x in x 0.804 * [taylor]: Taking taylor expansion of 1.0 in x 0.805 * [taylor]: Taking taylor expansion of 0 in x 0.806 * [taylor]: Taking taylor expansion of 0 in x 0.807 * [taylor]: Taking taylor expansion of 0 in x 0.807 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.807 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.807 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.807 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.807 * [taylor]: Taking taylor expansion of (* a x) in x 0.807 * [taylor]: Taking taylor expansion of a in x 0.807 * [taylor]: Taking taylor expansion of x in x 0.808 * [taylor]: Taking taylor expansion of 1.0 in x 0.808 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.808 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.808 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.808 * [taylor]: Taking taylor expansion of (* a x) in a 0.808 * [taylor]: Taking taylor expansion of a in a 0.808 * [taylor]: Taking taylor expansion of x in a 0.808 * [taylor]: Taking taylor expansion of 1.0 in a 0.808 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.808 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.808 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.808 * [taylor]: Taking taylor expansion of (* a x) in a 0.808 * [taylor]: Taking taylor expansion of a in a 0.808 * [taylor]: Taking taylor expansion of x in a 0.809 * [taylor]: Taking taylor expansion of 1.0 in a 0.809 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.809 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.809 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.809 * [taylor]: Taking taylor expansion of (* a x) in x 0.809 * [taylor]: Taking taylor expansion of a in x 0.809 * [taylor]: Taking taylor expansion of x in x 0.810 * [taylor]: Taking taylor expansion of 1.0 in x 0.811 * [taylor]: Taking taylor expansion of 0 in x 0.812 * [taylor]: Taking taylor expansion of 0 in x 0.813 * [taylor]: Taking taylor expansion of 0 in x 0.813 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 0.813 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0 0.813 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x 0.813 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 0.813 * [taylor]: Taking taylor expansion of (* a x) in x 0.813 * [taylor]: Taking taylor expansion of a in x 0.813 * [taylor]: Taking taylor expansion of x in x 0.813 * [taylor]: Taking taylor expansion of 1.0 in x 0.813 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.813 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.813 * [taylor]: Taking taylor expansion of (* a x) in a 0.813 * [taylor]: Taking taylor expansion of a in a 0.813 * [taylor]: Taking taylor expansion of x in a 0.814 * [taylor]: Taking taylor expansion of 1.0 in a 0.814 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.814 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.814 * [taylor]: Taking taylor expansion of (* a x) in a 0.814 * [taylor]: Taking taylor expansion of a in a 0.814 * [taylor]: Taking taylor expansion of x in a 0.814 * [taylor]: Taking taylor expansion of 1.0 in a 0.815 * [taylor]: Taking taylor expansion of 0 in x 0.815 * [taylor]: Taking taylor expansion of x in x 0.817 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 0.817 * [taylor]: Taking taylor expansion of 1/2 in x 0.817 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.817 * [taylor]: Taking taylor expansion of x in x 0.819 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 0.819 * [taylor]: Taking taylor expansion of 1/6 in x 0.819 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.822 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 0.822 * [taylor]: Taking taylor expansion of 1/24 in x 0.822 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.822 * [taylor]: Taking taylor expansion of x in x 0.827 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 0.827 * [taylor]: Taking taylor expansion of 1/120 in x 0.827 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.827 * [taylor]: Taking taylor expansion of x in x 0.834 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 0.834 * [taylor]: Taking taylor expansion of 1/720 in x 0.834 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.834 * [taylor]: Taking taylor expansion of x in x 0.835 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.835 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.835 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.835 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.835 * [taylor]: Taking taylor expansion of (* a x) in x 0.835 * [taylor]: Taking taylor expansion of a in x 0.835 * [taylor]: Taking taylor expansion of x in x 0.836 * [taylor]: Taking taylor expansion of 1.0 in x 0.836 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.836 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.836 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.836 * [taylor]: Taking taylor expansion of (* a x) in a 0.836 * [taylor]: Taking taylor expansion of a in a 0.836 * [taylor]: Taking taylor expansion of x in a 0.836 * [taylor]: Taking taylor expansion of 1.0 in a 0.836 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.836 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.836 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.836 * [taylor]: Taking taylor expansion of (* a x) in a 0.836 * [taylor]: Taking taylor expansion of a in a 0.836 * [taylor]: Taking taylor expansion of x in a 0.837 * [taylor]: Taking taylor expansion of 1.0 in a 0.837 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.837 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.837 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.837 * [taylor]: Taking taylor expansion of (* a x) in x 0.837 * [taylor]: Taking taylor expansion of a in x 0.837 * [taylor]: Taking taylor expansion of x in x 0.838 * [taylor]: Taking taylor expansion of 1.0 in x 0.839 * [taylor]: Taking taylor expansion of 0 in x 0.840 * [taylor]: Taking taylor expansion of 0 in x 0.841 * [taylor]: Taking taylor expansion of 0 in x 0.841 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.841 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.841 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.841 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.841 * [taylor]: Taking taylor expansion of (* a x) in x 0.841 * [taylor]: Taking taylor expansion of a in x 0.841 * [taylor]: Taking taylor expansion of x in x 0.841 * [taylor]: Taking taylor expansion of 1.0 in x 0.841 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.841 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.841 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.841 * [taylor]: Taking taylor expansion of (* a x) in a 0.842 * [taylor]: Taking taylor expansion of a in a 0.842 * [taylor]: Taking taylor expansion of x in a 0.842 * [taylor]: Taking taylor expansion of 1.0 in a 0.842 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.842 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.842 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.842 * [taylor]: Taking taylor expansion of (* a x) in a 0.842 * [taylor]: Taking taylor expansion of a in a 0.842 * [taylor]: Taking taylor expansion of x in a 0.842 * [taylor]: Taking taylor expansion of 1.0 in a 0.843 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.843 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.843 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.843 * [taylor]: Taking taylor expansion of (* a x) in x 0.843 * [taylor]: Taking taylor expansion of a in x 0.843 * [taylor]: Taking taylor expansion of x in x 0.843 * [taylor]: Taking taylor expansion of 1.0 in x 0.844 * [taylor]: Taking taylor expansion of 0 in x 0.845 * [taylor]: Taking taylor expansion of 0 in x 0.846 * [taylor]: Taking taylor expansion of 0 in x 0.847 * * * [progress]: simplifying candidates 0.847 * [simplify]: Simplifying using # : (/ (exp (exp (* a x))) (exp 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (* (* (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0)) (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (exp (* a x))) (+ (* 1.0 1.0) (* (exp (* a x)) 1.0))) (- 1.0) (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (/ (exp (exp (* a x))) (exp 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (* (* (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0)) (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (exp (* a x))) (+ (* 1.0 1.0) (* (exp (* a x)) 1.0))) (- 1.0) (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (/ (exp (exp (* a x))) (exp 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (* (* (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0)) (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (exp (* a x))) (+ (* 1.0 1.0) (* (exp (* a x)) 1.0))) (- 1.0) (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (/ (exp (exp (* a x))) (exp 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (* (* (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0)) (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (exp (* a x))) (+ (* 1.0 1.0) (* (exp (* a x)) 1.0))) (- 1.0) (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) 0.851 * * [simplify]: iteration 0 : 103 enodes (cost 400 ) 0.854 * * [simplify]: iteration 1 : 300 enodes (cost 368 ) 0.860 * * [simplify]: iteration 2 : 1055 enodes (cost 360 ) 0.887 * * [simplify]: iteration 3 : 5001 enodes (cost 360 ) 0.890 * [simplify]: Simplified to: (exp (- (exp (* a x)) 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (pow (- (exp (* a x)) 1.0) 3) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)) (- 1.0) (+ (- (* 1.0 1.0)) (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (exp (- (exp (* a x)) 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (pow (- (exp (* a x)) 1.0) 3) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)) (- 1.0) (+ (- (* 1.0 1.0)) (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (exp (- (exp (* a x)) 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (pow (- (exp (* a x)) 1.0) 3) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)) (- 1.0) (+ (- (* 1.0 1.0)) (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (exp (- (exp (* a x)) 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (pow (- (exp (* a x)) 1.0) 3) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)) (- 1.0) (+ (- (* 1.0 1.0)) (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (+ (* x (+ a (* (* 1/2 (pow a 2)) x))) (* 1/6 (* (pow a 3) (pow x 3)))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (+ (* x (+ a (* (* 1/2 (pow a 2)) x))) (* 1/6 (* (pow a 3) (pow x 3)))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (+ (* x (+ a (* (* 1/2 (pow a 2)) x))) (* 1/6 (* (pow a 3) (pow x 3)))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (+ (* x (+ a (* (* 1/2 (pow a 2)) x))) (* 1/6 (* (pow a 3) (pow x 3)))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) 0.890 * * * [progress]: adding candidates to table 1.069 * * [progress]: iteration 4 / 4 1.069 * * * [progress]: picking best candidate 1.083 * * * * [pick]: Picked # 1.083 * * * [progress]: localizing error 1.104 * * * [progress]: generating rewritten candidates 1.104 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1) 1.108 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1) 1.112 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1) 1.115 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1) 1.120 * * * [progress]: generating series expansions 1.120 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1) 1.120 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0 1.120 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x 1.120 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 1.120 * [taylor]: Taking taylor expansion of (* a x) in x 1.120 * [taylor]: Taking taylor expansion of a in x 1.120 * [taylor]: Taking taylor expansion of x in x 1.121 * [taylor]: Taking taylor expansion of 1.0 in x 1.121 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 1.121 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 1.121 * [taylor]: Taking taylor expansion of (* a x) in a 1.121 * [taylor]: Taking taylor expansion of a in a 1.121 * [taylor]: Taking taylor expansion of x in a 1.121 * [taylor]: Taking taylor expansion of 1.0 in a 1.122 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 1.122 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 1.122 * [taylor]: Taking taylor expansion of (* a x) in a 1.122 * [taylor]: Taking taylor expansion of a in a 1.122 * [taylor]: Taking taylor expansion of x in a 1.122 * [taylor]: Taking taylor expansion of 1.0 in a 1.123 * [taylor]: Taking taylor expansion of 0 in x 1.123 * [taylor]: Taking taylor expansion of x in x 1.125 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 1.125 * [taylor]: Taking taylor expansion of 1/2 in x 1.125 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.125 * [taylor]: Taking taylor expansion of x in x 1.127 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 1.127 * [taylor]: Taking taylor expansion of 1/6 in x 1.127 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.127 * [taylor]: Taking taylor expansion of x in x 1.130 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 1.130 * [taylor]: Taking taylor expansion of 1/24 in x 1.130 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.130 * [taylor]: Taking taylor expansion of x in x 1.135 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 1.135 * [taylor]: Taking taylor expansion of 1/120 in x 1.135 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.135 * [taylor]: Taking taylor expansion of x in x 1.142 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 1.142 * [taylor]: Taking taylor expansion of 1/720 in x 1.142 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.142 * [taylor]: Taking taylor expansion of x in x 1.144 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 1.144 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 1.144 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.144 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.144 * [taylor]: Taking taylor expansion of (* a x) in x 1.144 * [taylor]: Taking taylor expansion of a in x 1.144 * [taylor]: Taking taylor expansion of x in x 1.144 * [taylor]: Taking taylor expansion of 1.0 in x 1.144 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 1.144 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.144 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.144 * [taylor]: Taking taylor expansion of (* a x) in a 1.144 * [taylor]: Taking taylor expansion of a in a 1.144 * [taylor]: Taking taylor expansion of x in a 1.145 * [taylor]: Taking taylor expansion of 1.0 in a 1.145 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 1.145 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.145 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.145 * [taylor]: Taking taylor expansion of (* a x) in a 1.145 * [taylor]: Taking taylor expansion of a in a 1.145 * [taylor]: Taking taylor expansion of x in a 1.145 * [taylor]: Taking taylor expansion of 1.0 in a 1.146 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 1.146 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.146 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.146 * [taylor]: Taking taylor expansion of (* a x) in x 1.146 * [taylor]: Taking taylor expansion of a in x 1.146 * [taylor]: Taking taylor expansion of x in x 1.146 * [taylor]: Taking taylor expansion of 1.0 in x 1.147 * [taylor]: Taking taylor expansion of 0 in x 1.148 * [taylor]: Taking taylor expansion of 0 in x 1.149 * [taylor]: Taking taylor expansion of 0 in x 1.149 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 1.149 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 1.149 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.149 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.149 * [taylor]: Taking taylor expansion of (* a x) in x 1.149 * [taylor]: Taking taylor expansion of a in x 1.149 * [taylor]: Taking taylor expansion of x in x 1.150 * [taylor]: Taking taylor expansion of 1.0 in x 1.150 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 1.150 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.150 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.150 * [taylor]: Taking taylor expansion of (* a x) in a 1.150 * [taylor]: Taking taylor expansion of a in a 1.150 * [taylor]: Taking taylor expansion of x in a 1.150 * [taylor]: Taking taylor expansion of 1.0 in a 1.150 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 1.150 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.150 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.150 * [taylor]: Taking taylor expansion of (* a x) in a 1.150 * [taylor]: Taking taylor expansion of a in a 1.150 * [taylor]: Taking taylor expansion of x in a 1.151 * [taylor]: Taking taylor expansion of 1.0 in a 1.151 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 1.151 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.151 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.151 * [taylor]: Taking taylor expansion of (* a x) in x 1.151 * [taylor]: Taking taylor expansion of a in x 1.151 * [taylor]: Taking taylor expansion of x in x 1.152 * [taylor]: Taking taylor expansion of 1.0 in x 1.153 * [taylor]: Taking taylor expansion of 0 in x 1.154 * [taylor]: Taking taylor expansion of 0 in x 1.155 * [taylor]: Taking taylor expansion of 0 in x 1.155 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1) 1.155 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0 1.155 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x 1.155 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 1.155 * [taylor]: Taking taylor expansion of (* a x) in x 1.155 * [taylor]: Taking taylor expansion of a in x 1.155 * [taylor]: Taking taylor expansion of x in x 1.155 * [taylor]: Taking taylor expansion of 1.0 in x 1.155 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 1.155 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 1.155 * [taylor]: Taking taylor expansion of (* a x) in a 1.155 * [taylor]: Taking taylor expansion of a in a 1.155 * [taylor]: Taking taylor expansion of x in a 1.156 * [taylor]: Taking taylor expansion of 1.0 in a 1.156 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 1.156 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 1.156 * [taylor]: Taking taylor expansion of (* a x) in a 1.156 * [taylor]: Taking taylor expansion of a in a 1.156 * [taylor]: Taking taylor expansion of x in a 1.156 * [taylor]: Taking taylor expansion of 1.0 in a 1.157 * [taylor]: Taking taylor expansion of 0 in x 1.157 * [taylor]: Taking taylor expansion of x in x 1.159 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 1.159 * [taylor]: Taking taylor expansion of 1/2 in x 1.159 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.159 * [taylor]: Taking taylor expansion of x in x 1.161 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 1.161 * [taylor]: Taking taylor expansion of 1/6 in x 1.161 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.161 * [taylor]: Taking taylor expansion of x in x 1.164 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 1.164 * [taylor]: Taking taylor expansion of 1/24 in x 1.164 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.164 * [taylor]: Taking taylor expansion of x in x 1.169 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 1.169 * [taylor]: Taking taylor expansion of 1/120 in x 1.169 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.169 * [taylor]: Taking taylor expansion of x in x 1.176 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 1.176 * [taylor]: Taking taylor expansion of 1/720 in x 1.176 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.176 * [taylor]: Taking taylor expansion of x in x 1.177 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 1.177 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 1.177 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.177 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.177 * [taylor]: Taking taylor expansion of (* a x) in x 1.177 * [taylor]: Taking taylor expansion of a in x 1.177 * [taylor]: Taking taylor expansion of x in x 1.178 * [taylor]: Taking taylor expansion of 1.0 in x 1.178 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 1.178 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.178 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.178 * [taylor]: Taking taylor expansion of (* a x) in a 1.178 * [taylor]: Taking taylor expansion of a in a 1.178 * [taylor]: Taking taylor expansion of x in a 1.178 * [taylor]: Taking taylor expansion of 1.0 in a 1.178 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 1.178 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.178 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.178 * [taylor]: Taking taylor expansion of (* a x) in a 1.178 * [taylor]: Taking taylor expansion of a in a 1.178 * [taylor]: Taking taylor expansion of x in a 1.179 * [taylor]: Taking taylor expansion of 1.0 in a 1.179 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 1.179 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.179 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.179 * [taylor]: Taking taylor expansion of (* a x) in x 1.179 * [taylor]: Taking taylor expansion of a in x 1.179 * [taylor]: Taking taylor expansion of x in x 1.180 * [taylor]: Taking taylor expansion of 1.0 in x 1.181 * [taylor]: Taking taylor expansion of 0 in x 1.182 * [taylor]: Taking taylor expansion of 0 in x 1.183 * [taylor]: Taking taylor expansion of 0 in x 1.183 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 1.183 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 1.183 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.183 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.183 * [taylor]: Taking taylor expansion of (* a x) in x 1.183 * [taylor]: Taking taylor expansion of a in x 1.183 * [taylor]: Taking taylor expansion of x in x 1.183 * [taylor]: Taking taylor expansion of 1.0 in x 1.183 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 1.183 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.183 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.183 * [taylor]: Taking taylor expansion of (* a x) in a 1.183 * [taylor]: Taking taylor expansion of a in a 1.183 * [taylor]: Taking taylor expansion of x in a 1.184 * [taylor]: Taking taylor expansion of 1.0 in a 1.184 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 1.184 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.184 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.184 * [taylor]: Taking taylor expansion of (* a x) in a 1.184 * [taylor]: Taking taylor expansion of a in a 1.184 * [taylor]: Taking taylor expansion of x in a 1.184 * [taylor]: Taking taylor expansion of 1.0 in a 1.185 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 1.185 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.185 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.185 * [taylor]: Taking taylor expansion of (* a x) in x 1.185 * [taylor]: Taking taylor expansion of a in x 1.185 * [taylor]: Taking taylor expansion of x in x 1.185 * [taylor]: Taking taylor expansion of 1.0 in x 1.186 * [taylor]: Taking taylor expansion of 0 in x 1.187 * [taylor]: Taking taylor expansion of 0 in x 1.188 * [taylor]: Taking taylor expansion of 0 in x 1.188 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1) 1.188 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0 1.188 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x 1.188 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 1.188 * [taylor]: Taking taylor expansion of (* a x) in x 1.189 * [taylor]: Taking taylor expansion of a in x 1.189 * [taylor]: Taking taylor expansion of x in x 1.189 * [taylor]: Taking taylor expansion of 1.0 in x 1.189 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 1.189 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 1.189 * [taylor]: Taking taylor expansion of (* a x) in a 1.189 * [taylor]: Taking taylor expansion of a in a 1.189 * [taylor]: Taking taylor expansion of x in a 1.189 * [taylor]: Taking taylor expansion of 1.0 in a 1.189 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 1.189 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 1.189 * [taylor]: Taking taylor expansion of (* a x) in a 1.189 * [taylor]: Taking taylor expansion of a in a 1.189 * [taylor]: Taking taylor expansion of x in a 1.195 * [taylor]: Taking taylor expansion of 1.0 in a 1.196 * [taylor]: Taking taylor expansion of 0 in x 1.197 * [taylor]: Taking taylor expansion of x in x 1.198 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 1.198 * [taylor]: Taking taylor expansion of 1/2 in x 1.198 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.198 * [taylor]: Taking taylor expansion of x in x 1.200 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 1.200 * [taylor]: Taking taylor expansion of 1/6 in x 1.200 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.200 * [taylor]: Taking taylor expansion of x in x 1.203 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 1.203 * [taylor]: Taking taylor expansion of 1/24 in x 1.203 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.203 * [taylor]: Taking taylor expansion of x in x 1.208 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 1.208 * [taylor]: Taking taylor expansion of 1/120 in x 1.208 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.208 * [taylor]: Taking taylor expansion of x in x 1.215 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 1.215 * [taylor]: Taking taylor expansion of 1/720 in x 1.215 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.215 * [taylor]: Taking taylor expansion of x in x 1.216 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 1.216 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 1.216 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.216 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.216 * [taylor]: Taking taylor expansion of (* a x) in x 1.217 * [taylor]: Taking taylor expansion of a in x 1.217 * [taylor]: Taking taylor expansion of x in x 1.217 * [taylor]: Taking taylor expansion of 1.0 in x 1.217 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 1.217 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.217 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.217 * [taylor]: Taking taylor expansion of (* a x) in a 1.217 * [taylor]: Taking taylor expansion of a in a 1.217 * [taylor]: Taking taylor expansion of x in a 1.217 * [taylor]: Taking taylor expansion of 1.0 in a 1.217 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 1.217 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.217 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.217 * [taylor]: Taking taylor expansion of (* a x) in a 1.217 * [taylor]: Taking taylor expansion of a in a 1.217 * [taylor]: Taking taylor expansion of x in a 1.218 * [taylor]: Taking taylor expansion of 1.0 in a 1.218 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 1.218 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.218 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.218 * [taylor]: Taking taylor expansion of (* a x) in x 1.218 * [taylor]: Taking taylor expansion of a in x 1.218 * [taylor]: Taking taylor expansion of x in x 1.219 * [taylor]: Taking taylor expansion of 1.0 in x 1.220 * [taylor]: Taking taylor expansion of 0 in x 1.221 * [taylor]: Taking taylor expansion of 0 in x 1.222 * [taylor]: Taking taylor expansion of 0 in x 1.222 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 1.222 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 1.222 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.222 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.222 * [taylor]: Taking taylor expansion of (* a x) in x 1.222 * [taylor]: Taking taylor expansion of a in x 1.222 * [taylor]: Taking taylor expansion of x in x 1.222 * [taylor]: Taking taylor expansion of 1.0 in x 1.223 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 1.223 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.223 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.223 * [taylor]: Taking taylor expansion of (* a x) in a 1.223 * [taylor]: Taking taylor expansion of a in a 1.223 * [taylor]: Taking taylor expansion of x in a 1.223 * [taylor]: Taking taylor expansion of 1.0 in a 1.223 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 1.223 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.223 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.223 * [taylor]: Taking taylor expansion of (* a x) in a 1.223 * [taylor]: Taking taylor expansion of a in a 1.223 * [taylor]: Taking taylor expansion of x in a 1.223 * [taylor]: Taking taylor expansion of 1.0 in a 1.224 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 1.224 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.224 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.224 * [taylor]: Taking taylor expansion of (* a x) in x 1.224 * [taylor]: Taking taylor expansion of a in x 1.224 * [taylor]: Taking taylor expansion of x in x 1.224 * [taylor]: Taking taylor expansion of 1.0 in x 1.226 * [taylor]: Taking taylor expansion of 0 in x 1.226 * [taylor]: Taking taylor expansion of 0 in x 1.227 * [taylor]: Taking taylor expansion of 0 in x 1.228 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1) 1.228 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0 1.228 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x 1.228 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 1.228 * [taylor]: Taking taylor expansion of (* a x) in x 1.228 * [taylor]: Taking taylor expansion of a in x 1.228 * [taylor]: Taking taylor expansion of x in x 1.228 * [taylor]: Taking taylor expansion of 1.0 in x 1.228 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 1.228 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 1.228 * [taylor]: Taking taylor expansion of (* a x) in a 1.228 * [taylor]: Taking taylor expansion of a in a 1.228 * [taylor]: Taking taylor expansion of x in a 1.229 * [taylor]: Taking taylor expansion of 1.0 in a 1.229 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 1.229 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 1.229 * [taylor]: Taking taylor expansion of (* a x) in a 1.229 * [taylor]: Taking taylor expansion of a in a 1.229 * [taylor]: Taking taylor expansion of x in a 1.229 * [taylor]: Taking taylor expansion of 1.0 in a 1.230 * [taylor]: Taking taylor expansion of 0 in x 1.230 * [taylor]: Taking taylor expansion of x in x 1.232 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 1.232 * [taylor]: Taking taylor expansion of 1/2 in x 1.232 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.232 * [taylor]: Taking taylor expansion of x in x 1.234 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 1.234 * [taylor]: Taking taylor expansion of 1/6 in x 1.234 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.234 * [taylor]: Taking taylor expansion of x in x 1.237 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 1.237 * [taylor]: Taking taylor expansion of 1/24 in x 1.237 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.237 * [taylor]: Taking taylor expansion of x in x 1.242 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 1.242 * [taylor]: Taking taylor expansion of 1/120 in x 1.242 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.242 * [taylor]: Taking taylor expansion of x in x 1.249 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 1.249 * [taylor]: Taking taylor expansion of 1/720 in x 1.249 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.249 * [taylor]: Taking taylor expansion of x in x 1.250 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 1.250 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 1.250 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.250 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.250 * [taylor]: Taking taylor expansion of (* a x) in x 1.250 * [taylor]: Taking taylor expansion of a in x 1.250 * [taylor]: Taking taylor expansion of x in x 1.251 * [taylor]: Taking taylor expansion of 1.0 in x 1.251 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 1.251 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.251 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.251 * [taylor]: Taking taylor expansion of (* a x) in a 1.251 * [taylor]: Taking taylor expansion of a in a 1.251 * [taylor]: Taking taylor expansion of x in a 1.251 * [taylor]: Taking taylor expansion of 1.0 in a 1.251 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 1.251 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.251 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.251 * [taylor]: Taking taylor expansion of (* a x) in a 1.251 * [taylor]: Taking taylor expansion of a in a 1.251 * [taylor]: Taking taylor expansion of x in a 1.252 * [taylor]: Taking taylor expansion of 1.0 in a 1.252 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 1.252 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.252 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.252 * [taylor]: Taking taylor expansion of (* a x) in x 1.252 * [taylor]: Taking taylor expansion of a in x 1.252 * [taylor]: Taking taylor expansion of x in x 1.253 * [taylor]: Taking taylor expansion of 1.0 in x 1.254 * [taylor]: Taking taylor expansion of 0 in x 1.255 * [taylor]: Taking taylor expansion of 0 in x 1.256 * [taylor]: Taking taylor expansion of 0 in x 1.256 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 1.256 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 1.256 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.256 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.256 * [taylor]: Taking taylor expansion of (* a x) in x 1.256 * [taylor]: Taking taylor expansion of a in x 1.256 * [taylor]: Taking taylor expansion of x in x 1.256 * [taylor]: Taking taylor expansion of 1.0 in x 1.256 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 1.256 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.256 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.256 * [taylor]: Taking taylor expansion of (* a x) in a 1.257 * [taylor]: Taking taylor expansion of a in a 1.257 * [taylor]: Taking taylor expansion of x in a 1.257 * [taylor]: Taking taylor expansion of 1.0 in a 1.257 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 1.257 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.257 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.257 * [taylor]: Taking taylor expansion of (* a x) in a 1.257 * [taylor]: Taking taylor expansion of a in a 1.257 * [taylor]: Taking taylor expansion of x in a 1.257 * [taylor]: Taking taylor expansion of 1.0 in a 1.258 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 1.258 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.258 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.258 * [taylor]: Taking taylor expansion of (* a x) in x 1.258 * [taylor]: Taking taylor expansion of a in x 1.258 * [taylor]: Taking taylor expansion of x in x 1.258 * [taylor]: Taking taylor expansion of 1.0 in x 1.260 * [taylor]: Taking taylor expansion of 0 in x 1.261 * [taylor]: Taking taylor expansion of 0 in x 1.262 * [taylor]: Taking taylor expansion of 0 in x 1.262 * * * [progress]: simplifying candidates 1.263 * [simplify]: Simplifying using # : (/ (exp (exp (* a x))) (exp 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (* (* (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0)) (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (exp (* a x))) (+ (* 1.0 1.0) (* (exp (* a x)) 1.0))) (- 1.0) (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (/ (exp (exp (* a x))) (exp 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (* (* (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0)) (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (exp (* a x))) (+ (* 1.0 1.0) (* (exp (* a x)) 1.0))) (- 1.0) (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (/ (exp (exp (* a x))) (exp 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (* (* (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0)) (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (exp (* a x))) (+ (* 1.0 1.0) (* (exp (* a x)) 1.0))) (- 1.0) (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (/ (exp (exp (* a x))) (exp 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (* (* (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0)) (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (exp (* a x))) (+ (* 1.0 1.0) (* (exp (* a x)) 1.0))) (- 1.0) (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) 1.267 * * [simplify]: iteration 0 : 103 enodes (cost 400 ) 1.270 * * [simplify]: iteration 1 : 300 enodes (cost 368 ) 1.276 * * [simplify]: iteration 2 : 1055 enodes (cost 360 ) 1.304 * * [simplify]: iteration 3 : 5001 enodes (cost 360 ) 1.306 * [simplify]: Simplified to: (exp (- (exp (* a x)) 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (pow (- (exp (* a x)) 1.0) 3) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)) (- 1.0) (+ (- (* 1.0 1.0)) (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (exp (- (exp (* a x)) 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (pow (- (exp (* a x)) 1.0) 3) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)) (- 1.0) (+ (- (* 1.0 1.0)) (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (exp (- (exp (* a x)) 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (pow (- (exp (* a x)) 1.0) 3) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)) (- 1.0) (+ (- (* 1.0 1.0)) (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (exp (- (exp (* a x)) 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (pow (- (exp (* a x)) 1.0) 3) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (+ (exp (* a x)) 1.0)) (* 1.0 1.0)) (- 1.0) (+ (- (* 1.0 1.0)) (pow (exp a) (* 2 x))) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (- 1.0) (+ (* x (+ a (* (* 1/2 (pow a 2)) x))) (* 1/6 (* (pow a 3) (pow x 3)))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (+ (* x (+ a (* (* 1/2 (pow a 2)) x))) (* 1/6 (* (pow a 3) (pow x 3)))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (+ (* x (+ a (* (* 1/2 (pow a 2)) x))) (* 1/6 (* (pow a 3) (pow x 3)))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) (+ (* x (+ a (* (* 1/2 (pow a 2)) x))) (* 1/6 (* (pow a 3) (pow x 3)))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) 1.307 * * * [progress]: adding candidates to table 1.509 * [progress]: [Phase 3 of 3] Extracting. 1.509 * * [regime]: Finding splitpoints for: (# # # # # #) 1.511 * * * [regime-changes]: Trying 5 branch expressions: ((* a x) (exp (* a x)) (- (exp (* a x)) 1.0) x a) 1.511 * * * * [regimes]: Trying to branch on (* a x) from (# # # # # #) 1.543 * * * * [regimes]: Trying to branch on (* a x) from (# # # #) 1.562 * * * * [regimes]: Trying to branch on (exp (* a x)) from (# # # # # #) 1.591 * * * * [regimes]: Trying to branch on (exp (* a x)) from (# # # #) 1.609 * * * * [regimes]: Trying to branch on (- (exp (* a x)) 1.0) from (# # # # # #) 1.639 * * * * [regimes]: Trying to branch on (- (exp (* a x)) 1.0) from (# #) 1.652 * * * * [regimes]: Trying to branch on x from (# # # # # #) 1.712 * * * * [regimes]: Trying to branch on a from (# # # # # #) 1.766 * * * [regime]: Found split indices: #