0.904 * [progress]: [Phase 1 of 3] Setting up. 0.004 * * * [progress]: [1/2] Preparing points 0.364 * * * [progress]: [2/2] Setting up program. 0.369 * [progress]: [Phase 2 of 3] Improving. 0.369 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.371 * [simplify]: Simplifying: (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) 0.371 * * [simplify]: iteration 0: 10 enodes 0.378 * * [simplify]: iteration 1: 24 enodes 0.381 * * [simplify]: iteration 2: 30 enodes 0.386 * * [simplify]: iteration 3: 53 enodes 0.395 * * [simplify]: iteration 4: 108 enodes 0.452 * * [simplify]: iteration 5: 301 enodes 0.616 * * [simplify]: iteration 6: 894 enodes 1.549 * * [simplify]: iteration 7: 3702 enodes 2.657 * * [simplify]: iteration complete: 5000 enodes 2.658 * * [simplify]: Extracting #0: cost 1 inf + 0 2.658 * * [simplify]: Extracting #1: cost 4 inf + 0 2.659 * * [simplify]: Extracting #2: cost 158 inf + 1 2.663 * * [simplify]: Extracting #3: cost 535 inf + 6 2.675 * * [simplify]: Extracting #4: cost 684 inf + 13496 2.700 * * [simplify]: Extracting #5: cost 612 inf + 67721 2.775 * * [simplify]: Extracting #6: cost 266 inf + 293890 2.892 * * [simplify]: Extracting #7: cost 15 inf + 473744 3.015 * * [simplify]: Extracting #8: cost 0 inf + 472314 3.142 * * [simplify]: Extracting #9: cost 0 inf + 469615 3.272 * [simplify]: Simplified to: (sqrt (+ 1 (exp x))) 3.281 * * [progress]: iteration 1 / 4 3.282 * * * [progress]: picking best candidate 3.284 * * * * [pick]: Picked # 3.284 * * * [progress]: localizing error 3.294 * * * [progress]: generating rewritten candidates 3.294 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 3.303 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 3.315 * * * [progress]: generating series expansions 3.316 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 3.318 * [backup-simplify]: Simplify (+ 1 (exp x)) into (+ (exp x) 1) 3.318 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0 3.319 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 3.319 * [taylor]: Taking taylor expansion of (exp x) in x 3.319 * [taylor]: Taking taylor expansion of x in x 3.319 * [backup-simplify]: Simplify 0 into 0 3.319 * [backup-simplify]: Simplify 1 into 1 3.319 * [backup-simplify]: Simplify (exp 0) into 1 3.319 * [taylor]: Taking taylor expansion of 1 in x 3.320 * [backup-simplify]: Simplify 1 into 1 3.320 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 3.320 * [taylor]: Taking taylor expansion of (exp x) in x 3.320 * [taylor]: Taking taylor expansion of x in x 3.320 * [backup-simplify]: Simplify 0 into 0 3.320 * [backup-simplify]: Simplify 1 into 1 3.320 * [backup-simplify]: Simplify (exp 0) into 1 3.320 * [taylor]: Taking taylor expansion of 1 in x 3.320 * [backup-simplify]: Simplify 1 into 1 3.322 * [backup-simplify]: Simplify (+ 1 1) into 2 3.322 * [backup-simplify]: Simplify 2 into 2 3.323 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 3.324 * [backup-simplify]: Simplify (+ 1 0) into 1 3.324 * [backup-simplify]: Simplify 1 into 1 3.325 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 3.326 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 3.326 * [backup-simplify]: Simplify 1/2 into 1/2 3.329 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2)) 3.329 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1) 3.329 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0 3.329 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 3.329 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.329 * [taylor]: Taking taylor expansion of x in x 3.329 * [backup-simplify]: Simplify 0 into 0 3.329 * [backup-simplify]: Simplify 1 into 1 3.330 * [backup-simplify]: Simplify (/ 1 1) into 1 3.330 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.330 * [taylor]: Taking taylor expansion of 1 in x 3.330 * [backup-simplify]: Simplify 1 into 1 3.330 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 3.330 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.331 * [taylor]: Taking taylor expansion of x in x 3.331 * [backup-simplify]: Simplify 0 into 0 3.331 * [backup-simplify]: Simplify 1 into 1 3.331 * [backup-simplify]: Simplify (/ 1 1) into 1 3.331 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.331 * [taylor]: Taking taylor expansion of 1 in x 3.331 * [backup-simplify]: Simplify 1 into 1 3.331 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 3.331 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 3.332 * [backup-simplify]: Simplify (+ 0 0) into 0 3.332 * [backup-simplify]: Simplify 0 into 0 3.332 * [backup-simplify]: Simplify (+ 0 0) into 0 3.332 * [backup-simplify]: Simplify 0 into 0 3.333 * [backup-simplify]: Simplify (+ 0 0) into 0 3.333 * [backup-simplify]: Simplify 0 into 0 3.333 * [backup-simplify]: Simplify (+ 0 0) into 0 3.333 * [backup-simplify]: Simplify 0 into 0 3.334 * [backup-simplify]: Simplify (+ 0 0) into 0 3.334 * [backup-simplify]: Simplify 0 into 0 3.335 * [backup-simplify]: Simplify (+ 0 0) into 0 3.335 * [backup-simplify]: Simplify 0 into 0 3.335 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1) 3.335 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 (- x)))) into (+ (exp (/ -1 x)) 1) 3.335 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0 3.335 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 3.335 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.335 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.335 * [taylor]: Taking taylor expansion of -1 in x 3.335 * [backup-simplify]: Simplify -1 into -1 3.335 * [taylor]: Taking taylor expansion of x in x 3.335 * [backup-simplify]: Simplify 0 into 0 3.335 * [backup-simplify]: Simplify 1 into 1 3.336 * [backup-simplify]: Simplify (/ -1 1) into -1 3.336 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 3.336 * [taylor]: Taking taylor expansion of 1 in x 3.336 * [backup-simplify]: Simplify 1 into 1 3.336 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 3.336 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.336 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.336 * [taylor]: Taking taylor expansion of -1 in x 3.336 * [backup-simplify]: Simplify -1 into -1 3.336 * [taylor]: Taking taylor expansion of x in x 3.336 * [backup-simplify]: Simplify 0 into 0 3.336 * [backup-simplify]: Simplify 1 into 1 3.336 * [backup-simplify]: Simplify (/ -1 1) into -1 3.337 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 3.337 * [taylor]: Taking taylor expansion of 1 in x 3.337 * [backup-simplify]: Simplify 1 into 1 3.337 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 3.337 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 3.337 * [backup-simplify]: Simplify (+ 0 0) into 0 3.337 * [backup-simplify]: Simplify 0 into 0 3.338 * [backup-simplify]: Simplify (+ 0 0) into 0 3.338 * [backup-simplify]: Simplify 0 into 0 3.348 * [backup-simplify]: Simplify (+ 0 0) into 0 3.349 * [backup-simplify]: Simplify 0 into 0 3.349 * [backup-simplify]: Simplify (+ 0 0) into 0 3.349 * [backup-simplify]: Simplify 0 into 0 3.350 * [backup-simplify]: Simplify (+ 0 0) into 0 3.350 * [backup-simplify]: Simplify 0 into 0 3.350 * [backup-simplify]: Simplify (+ 0 0) into 0 3.350 * [backup-simplify]: Simplify 0 into 0 3.350 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1) 3.350 * * * * [progress]: [ 2 / 2 ] generating series at (2) 3.351 * [backup-simplify]: Simplify (sqrt (+ 1 (exp x))) into (sqrt (+ (exp x) 1)) 3.351 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0 3.351 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 3.351 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 3.351 * [taylor]: Taking taylor expansion of (exp x) in x 3.351 * [taylor]: Taking taylor expansion of x in x 3.351 * [backup-simplify]: Simplify 0 into 0 3.351 * [backup-simplify]: Simplify 1 into 1 3.351 * [backup-simplify]: Simplify (exp 0) into 1 3.351 * [taylor]: Taking taylor expansion of 1 in x 3.351 * [backup-simplify]: Simplify 1 into 1 3.351 * [backup-simplify]: Simplify (+ 1 1) into 2 3.352 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 3.353 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 3.353 * [backup-simplify]: Simplify (+ 1 0) into 1 3.355 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 3.355 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 3.355 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 3.355 * [taylor]: Taking taylor expansion of (exp x) in x 3.355 * [taylor]: Taking taylor expansion of x in x 3.355 * [backup-simplify]: Simplify 0 into 0 3.355 * [backup-simplify]: Simplify 1 into 1 3.355 * [backup-simplify]: Simplify (exp 0) into 1 3.355 * [taylor]: Taking taylor expansion of 1 in x 3.355 * [backup-simplify]: Simplify 1 into 1 3.356 * [backup-simplify]: Simplify (+ 1 1) into 2 3.356 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 3.357 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 3.358 * [backup-simplify]: Simplify (+ 1 0) into 1 3.359 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 3.360 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 3.360 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 3.363 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 3.363 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 3.369 * [backup-simplify]: Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 3.375 * [backup-simplify]: Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 3.383 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 3.383 * [backup-simplify]: Simplify (sqrt (+ 1 (exp (/ 1 x)))) into (sqrt (+ (exp (/ 1 x)) 1)) 3.383 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0 3.383 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 3.384 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 3.384 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.384 * [taylor]: Taking taylor expansion of x in x 3.384 * [backup-simplify]: Simplify 0 into 0 3.384 * [backup-simplify]: Simplify 1 into 1 3.384 * [backup-simplify]: Simplify (/ 1 1) into 1 3.384 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.384 * [taylor]: Taking taylor expansion of 1 in x 3.385 * [backup-simplify]: Simplify 1 into 1 3.385 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 3.385 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 3.385 * [backup-simplify]: Simplify (+ 0 0) into 0 3.385 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 3.385 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 3.385 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 3.385 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.385 * [taylor]: Taking taylor expansion of x in x 3.385 * [backup-simplify]: Simplify 0 into 0 3.385 * [backup-simplify]: Simplify 1 into 1 3.386 * [backup-simplify]: Simplify (/ 1 1) into 1 3.386 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.386 * [taylor]: Taking taylor expansion of 1 in x 3.386 * [backup-simplify]: Simplify 1 into 1 3.386 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 3.386 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 3.387 * [backup-simplify]: Simplify (+ 0 0) into 0 3.387 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 3.387 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 3.387 * [backup-simplify]: Simplify 0 into 0 3.387 * [backup-simplify]: Simplify (+ 0 0) into 0 3.388 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 3.388 * [backup-simplify]: Simplify 0 into 0 3.388 * [backup-simplify]: Simplify (+ 0 0) into 0 3.389 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 3.389 * [backup-simplify]: Simplify 0 into 0 3.390 * [backup-simplify]: Simplify (+ 0 0) into 0 3.391 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 3.391 * [backup-simplify]: Simplify 0 into 0 3.391 * [backup-simplify]: Simplify (+ 0 0) into 0 3.392 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 3.392 * [backup-simplify]: Simplify 0 into 0 3.392 * [backup-simplify]: Simplify (+ 0 0) into 0 3.393 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 3.394 * [backup-simplify]: Simplify 0 into 0 3.394 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 3.394 * [backup-simplify]: Simplify (sqrt (+ 1 (exp (/ 1 (- x))))) into (sqrt (+ (exp (/ -1 x)) 1)) 3.394 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0 3.394 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 3.394 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 3.394 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.394 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.394 * [taylor]: Taking taylor expansion of -1 in x 3.394 * [backup-simplify]: Simplify -1 into -1 3.394 * [taylor]: Taking taylor expansion of x in x 3.394 * [backup-simplify]: Simplify 0 into 0 3.394 * [backup-simplify]: Simplify 1 into 1 3.394 * [backup-simplify]: Simplify (/ -1 1) into -1 3.395 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 3.395 * [taylor]: Taking taylor expansion of 1 in x 3.395 * [backup-simplify]: Simplify 1 into 1 3.395 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 3.395 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 3.395 * [backup-simplify]: Simplify (+ 0 0) into 0 3.395 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 3.395 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 3.395 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 3.395 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.395 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.395 * [taylor]: Taking taylor expansion of -1 in x 3.396 * [backup-simplify]: Simplify -1 into -1 3.396 * [taylor]: Taking taylor expansion of x in x 3.396 * [backup-simplify]: Simplify 0 into 0 3.396 * [backup-simplify]: Simplify 1 into 1 3.396 * [backup-simplify]: Simplify (/ -1 1) into -1 3.396 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 3.396 * [taylor]: Taking taylor expansion of 1 in x 3.396 * [backup-simplify]: Simplify 1 into 1 3.396 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 3.396 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 3.397 * [backup-simplify]: Simplify (+ 0 0) into 0 3.397 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 3.397 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 3.397 * [backup-simplify]: Simplify 0 into 0 3.397 * [backup-simplify]: Simplify (+ 0 0) into 0 3.398 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 3.398 * [backup-simplify]: Simplify 0 into 0 3.399 * [backup-simplify]: Simplify (+ 0 0) into 0 3.399 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 3.400 * [backup-simplify]: Simplify 0 into 0 3.400 * [backup-simplify]: Simplify (+ 0 0) into 0 3.401 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 3.401 * [backup-simplify]: Simplify 0 into 0 3.401 * [backup-simplify]: Simplify (+ 0 0) into 0 3.402 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 3.402 * [backup-simplify]: Simplify 0 into 0 3.403 * [backup-simplify]: Simplify (+ 0 0) into 0 3.404 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 3.404 * [backup-simplify]: Simplify 0 into 0 3.404 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 3.404 * * * [progress]: simplifying candidates 3.404 * * * * [progress]: [ 1 / 46 ] simplifiying candidate # 3.404 * * * * [progress]: [ 2 / 46 ] simplifiying candidate # 3.404 * * * * [progress]: [ 3 / 46 ] simplifiying candidate # 3.404 * * * * [progress]: [ 4 / 46 ] simplifiying candidate # 3.404 * * * * [progress]: [ 5 / 46 ] simplifiying candidate # 3.404 * * * * [progress]: [ 6 / 46 ] simplifiying candidate # 3.404 * * * * [progress]: [ 7 / 46 ] simplifiying candidate # 3.405 * * * * [progress]: [ 8 / 46 ] simplifiying candidate # 3.405 * * * * [progress]: [ 9 / 46 ] simplifiying candidate # 3.405 * * * * [progress]: [ 10 / 46 ] simplifiying candidate # 3.405 * * * * [progress]: [ 11 / 46 ] simplifiying candidate # 3.405 * * * * [progress]: [ 12 / 46 ] simplifiying candidate # 3.405 * * * * [progress]: [ 13 / 46 ] simplifiying candidate # 3.405 * * * * [progress]: [ 14 / 46 ] simplifiying candidate # 3.405 * * * * [progress]: [ 15 / 46 ] simplifiying candidate # 3.405 * * * * [progress]: [ 16 / 46 ] simplifiying candidate # 3.405 * * * * [progress]: [ 17 / 46 ] simplifiying candidate #real (real->posit16 (+ 1 (exp x))))))> 3.405 * * * * [progress]: [ 18 / 46 ] simplifiying candidate # 3.405 * * * * [progress]: [ 19 / 46 ] simplifiying candidate # 3.405 * * * * [progress]: [ 20 / 46 ] simplifiying candidate # 3.405 * * * * [progress]: [ 21 / 46 ] simplifiying candidate # 3.405 * * * * [progress]: [ 22 / 46 ] simplifiying candidate # 3.405 * * * * [progress]: [ 23 / 46 ] simplifiying candidate # 3.405 * * * * [progress]: [ 24 / 46 ] simplifiying candidate # 3.406 * * * * [progress]: [ 25 / 46 ] simplifiying candidate # 3.406 * * * * [progress]: [ 26 / 46 ] simplifiying candidate # 3.406 * * * * [progress]: [ 27 / 46 ] simplifiying candidate # 3.406 * * * * [progress]: [ 28 / 46 ] simplifiying candidate # 3.406 * * * * [progress]: [ 29 / 46 ] simplifiying candidate # 3.406 * * * * [progress]: [ 30 / 46 ] simplifiying candidate # 3.406 * * * * [progress]: [ 31 / 46 ] simplifiying candidate # 3.406 * * * * [progress]: [ 32 / 46 ] simplifiying candidate # 3.406 * * * * [progress]: [ 33 / 46 ] simplifiying candidate # 3.406 * * * * [progress]: [ 34 / 46 ] simplifiying candidate # 3.406 * * * * [progress]: [ 35 / 46 ] simplifiying candidate # 3.406 * * * * [progress]: [ 36 / 46 ] simplifiying candidate # 3.406 * * * * [progress]: [ 37 / 46 ] simplifiying candidate # 3.406 * * * * [progress]: [ 38 / 46 ] simplifiying candidate # 3.406 * * * * [progress]: [ 39 / 46 ] simplifiying candidate # 3.406 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #real (real->posit16 (sqrt (+ 1 (exp x))))))> 3.406 * * * * [progress]: [ 41 / 46 ] simplifiying candidate # 3.406 * * * * [progress]: [ 42 / 46 ] simplifiying candidate # 3.407 * * * * [progress]: [ 43 / 46 ] simplifiying candidate # 3.407 * * * * [progress]: [ 44 / 46 ] simplifiying candidate # 3.407 * * * * [progress]: [ 45 / 46 ] simplifiying candidate # 3.407 * * * * [progress]: [ 46 / 46 ] simplifiying candidate # 3.408 * [simplify]: Simplifying: (expm1 (+ 1 (exp x))) (log1p (+ 1 (exp x))) (* (exp 1) (exp (exp x))) (log (+ 1 (exp x))) (exp (+ 1 (exp x))) (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))) (cbrt (+ 1 (exp x))) (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))) (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))) (+ (pow 1 3) (pow (exp x) 3)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))) (- (* 1 1) (* (exp x) (exp x))) (- 1 (exp x)) (+ 1 (exp x)) (real->posit16 (+ 1 (exp x))) (expm1 (sqrt (+ 1 (exp x)))) (log1p (sqrt (+ 1 (exp x)))) (log (sqrt (+ 1 (exp x)))) (exp (sqrt (+ 1 (exp x)))) (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x))))) (cbrt (sqrt (+ 1 (exp x)))) (* (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x)))) (sqrt (+ 1 (exp x)))) (sqrt (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))) (sqrt (cbrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))) (sqrt 1) (sqrt (+ 1 (exp x))) (sqrt 1) (sqrt (+ 1 (exp x))) (sqrt (+ (pow 1 3) (pow (exp x) 3))) (sqrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (sqrt (- (* 1 1) (* (exp x) (exp x)))) (sqrt (- 1 (exp x))) (/ 1 2) (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))) (real->posit16 (sqrt (+ 1 (exp x)))) (+ x (+ (* 1/2 (pow x 2)) 2)) (+ (exp x) 1) (+ (exp x) 1) (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)) 3.409 * * [simplify]: iteration 0: 67 enodes 3.439 * * [simplify]: iteration 1: 156 enodes 3.534 * * [simplify]: iteration 2: 461 enodes 3.845 * * [simplify]: iteration 3: 1297 enodes 4.716 * * [simplify]: iteration 4: 3721 enodes 5.760 * * [simplify]: iteration complete: 5000 enodes 5.760 * * [simplify]: Extracting #0: cost 33 inf + 0 5.761 * * [simplify]: Extracting #1: cost 246 inf + 2 5.769 * * [simplify]: Extracting #2: cost 561 inf + 4824 5.796 * * [simplify]: Extracting #3: cost 429 inf + 36829 5.822 * * [simplify]: Extracting #4: cost 131 inf + 104635 5.880 * * [simplify]: Extracting #5: cost 2 inf + 144681 5.928 * * [simplify]: Extracting #6: cost 0 inf + 144624 5.988 * [simplify]: Simplified to: (expm1 (+ (exp x) 1)) (log1p (+ (exp x) 1)) (* (exp (exp x)) E) (log1p (exp x)) (* (exp (exp x)) E) (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)) (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)) (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)) (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)) (- 1 (* (exp x) (exp x))) (- (expm1 x)) (+ (exp x) 1) (real->posit16 (+ (exp x) 1)) (expm1 (sqrt (+ (exp x) 1))) (log1p (sqrt (+ (exp x) 1))) (log (sqrt (+ (exp x) 1))) (exp (sqrt (+ (exp x) 1))) (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (+ (exp x) 1))) (* (sqrt (+ (exp x) 1)) (+ (exp x) 1)) (fabs (cbrt (+ (exp x) 1))) (sqrt (cbrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))) 1 (sqrt (+ (exp x) 1)) 1 (sqrt (+ (exp x) 1)) (sqrt (+ (exp (* 3 x)) 1)) (sqrt (- (fma (exp x) (exp x) 1) (exp x))) (sqrt (- 1 (* (exp x) (exp x)))) (sqrt (- (expm1 x))) 1/2 (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))) (real->posit16 (sqrt (+ (exp x) 1))) (fma (fma 1/2 x 1) x 2) (+ (exp x) 1) (+ (exp x) 1) (fma (/ (* x x) (sqrt 2)) 3/16 (fma (/ x (sqrt 2)) 1/2 (sqrt 2))) (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)) 5.990 * * * [progress]: adding candidates to table 6.157 * * [progress]: iteration 2 / 4 6.157 * * * [progress]: picking best candidate 6.163 * * * * [pick]: Picked # 6.163 * * * [progress]: localizing error 6.200 * * * [progress]: generating rewritten candidates 6.200 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 6.208 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 6.227 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 6.273 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 6.286 * * * [progress]: generating series expansions 6.286 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 6.287 * [backup-simplify]: Simplify (- (fma (exp x) (exp x) 1) (exp x)) into (- (fma (exp x) (exp x) 1) (exp x)) 6.287 * [approximate]: Taking taylor expansion of (- (fma (exp x) (exp x) 1) (exp x)) in (x) around 0 6.287 * [taylor]: Taking taylor expansion of (- (fma (exp x) (exp x) 1) (exp x)) in x 6.287 * [taylor]: Taking taylor expansion of (fma (exp x) (exp x) 1) in x 6.289 * [taylor]: Rewrote expression to (+ (* (exp x) (exp x)) 1) 6.289 * [taylor]: Taking taylor expansion of (* (exp x) (exp x)) in x 6.289 * [taylor]: Taking taylor expansion of (exp x) in x 6.289 * [taylor]: Taking taylor expansion of x in x 6.289 * [backup-simplify]: Simplify 0 into 0 6.289 * [backup-simplify]: Simplify 1 into 1 6.289 * [backup-simplify]: Simplify (exp 0) into 1 6.289 * [taylor]: Taking taylor expansion of (exp x) in x 6.289 * [taylor]: Taking taylor expansion of x in x 6.289 * [backup-simplify]: Simplify 0 into 0 6.289 * [backup-simplify]: Simplify 1 into 1 6.289 * [backup-simplify]: Simplify (exp 0) into 1 6.289 * [taylor]: Taking taylor expansion of 1 in x 6.289 * [backup-simplify]: Simplify 1 into 1 6.289 * [taylor]: Taking taylor expansion of (exp x) in x 6.289 * [taylor]: Taking taylor expansion of x in x 6.289 * [backup-simplify]: Simplify 0 into 0 6.290 * [backup-simplify]: Simplify 1 into 1 6.290 * [backup-simplify]: Simplify (exp 0) into 1 6.290 * [taylor]: Taking taylor expansion of (- (fma (exp x) (exp x) 1) (exp x)) in x 6.290 * [taylor]: Taking taylor expansion of (fma (exp x) (exp x) 1) in x 6.290 * [taylor]: Rewrote expression to (+ (* (exp x) (exp x)) 1) 6.290 * [taylor]: Taking taylor expansion of (* (exp x) (exp x)) in x 6.290 * [taylor]: Taking taylor expansion of (exp x) in x 6.290 * [taylor]: Taking taylor expansion of x in x 6.290 * [backup-simplify]: Simplify 0 into 0 6.290 * [backup-simplify]: Simplify 1 into 1 6.290 * [backup-simplify]: Simplify (exp 0) into 1 6.290 * [taylor]: Taking taylor expansion of (exp x) in x 6.290 * [taylor]: Taking taylor expansion of x in x 6.290 * [backup-simplify]: Simplify 0 into 0 6.290 * [backup-simplify]: Simplify 1 into 1 6.290 * [backup-simplify]: Simplify (exp 0) into 1 6.290 * [taylor]: Taking taylor expansion of 1 in x 6.290 * [backup-simplify]: Simplify 1 into 1 6.290 * [taylor]: Taking taylor expansion of (exp x) in x 6.290 * [taylor]: Taking taylor expansion of x in x 6.290 * [backup-simplify]: Simplify 0 into 0 6.290 * [backup-simplify]: Simplify 1 into 1 6.290 * [backup-simplify]: Simplify (exp 0) into 1 6.292 * [backup-simplify]: Simplify (* 1 1) into 1 6.292 * [backup-simplify]: Simplify (+ 1 1) into 2 6.292 * [backup-simplify]: Simplify (- 1) into -1 6.293 * [backup-simplify]: Simplify (+ 2 -1) into 1 6.293 * [backup-simplify]: Simplify 1 into 1 6.294 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.295 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.295 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2 6.296 * [backup-simplify]: Simplify (+ 2 0) into 2 6.296 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.297 * [backup-simplify]: Simplify (- 1) into -1 6.297 * [backup-simplify]: Simplify (+ 2 -1) into 1 6.297 * [backup-simplify]: Simplify 1 into 1 6.298 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.299 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.299 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2 6.300 * [backup-simplify]: Simplify (+ 2 0) into 2 6.300 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.301 * [backup-simplify]: Simplify (- 1/2) into -1/2 6.301 * [backup-simplify]: Simplify (+ 2 -1/2) into 3/2 6.301 * [backup-simplify]: Simplify 3/2 into 3/2 6.301 * [backup-simplify]: Simplify (+ (* 3/2 (pow x 2)) (+ (* 1 x) 1)) into (+ x (+ (* 3/2 (pow x 2)) 1)) 6.301 * [backup-simplify]: Simplify (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x))) into (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x))) 6.301 * [approximate]: Taking taylor expansion of (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x))) in (x) around 0 6.301 * [taylor]: Taking taylor expansion of (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x))) in x 6.301 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) in x 6.302 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (exp (/ 1 x))) 1) 6.302 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ 1 x))) in x 6.302 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.302 * [taylor]: Taking taylor expansion of x in x 6.302 * [backup-simplify]: Simplify 0 into 0 6.302 * [backup-simplify]: Simplify 1 into 1 6.302 * [backup-simplify]: Simplify (/ 1 1) into 1 6.302 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.302 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.302 * [taylor]: Taking taylor expansion of x in x 6.302 * [backup-simplify]: Simplify 0 into 0 6.302 * [backup-simplify]: Simplify 1 into 1 6.302 * [backup-simplify]: Simplify (/ 1 1) into 1 6.302 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.302 * [taylor]: Taking taylor expansion of 1 in x 6.302 * [backup-simplify]: Simplify 1 into 1 6.302 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.302 * [taylor]: Taking taylor expansion of x in x 6.302 * [backup-simplify]: Simplify 0 into 0 6.302 * [backup-simplify]: Simplify 1 into 1 6.303 * [backup-simplify]: Simplify (/ 1 1) into 1 6.303 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.303 * [taylor]: Taking taylor expansion of (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x))) in x 6.303 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) in x 6.303 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (exp (/ 1 x))) 1) 6.303 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ 1 x))) in x 6.303 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.303 * [taylor]: Taking taylor expansion of x in x 6.303 * [backup-simplify]: Simplify 0 into 0 6.303 * [backup-simplify]: Simplify 1 into 1 6.303 * [backup-simplify]: Simplify (/ 1 1) into 1 6.303 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.303 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.303 * [taylor]: Taking taylor expansion of x in x 6.303 * [backup-simplify]: Simplify 0 into 0 6.303 * [backup-simplify]: Simplify 1 into 1 6.304 * [backup-simplify]: Simplify (/ 1 1) into 1 6.304 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.304 * [taylor]: Taking taylor expansion of 1 in x 6.304 * [backup-simplify]: Simplify 1 into 1 6.304 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.304 * [taylor]: Taking taylor expansion of x in x 6.304 * [backup-simplify]: Simplify 0 into 0 6.304 * [backup-simplify]: Simplify 1 into 1 6.304 * [backup-simplify]: Simplify (/ 1 1) into 1 6.304 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.304 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2) 6.304 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 2) 1) into (+ (pow (exp (/ 1 x)) 2) 1) 6.304 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 6.304 * [backup-simplify]: Simplify (+ (+ (pow (exp (/ 1 x)) 2) 1) (- (exp (/ 1 x)))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) 6.305 * [backup-simplify]: Simplify (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) 6.305 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0 6.305 * [backup-simplify]: Simplify (+ 0 0) into 0 6.305 * [backup-simplify]: Simplify (- 0) into 0 6.305 * [backup-simplify]: Simplify (+ 0 0) into 0 6.305 * [backup-simplify]: Simplify 0 into 0 6.306 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0 6.306 * [backup-simplify]: Simplify (+ 0 0) into 0 6.306 * [backup-simplify]: Simplify (- 0) into 0 6.306 * [backup-simplify]: Simplify (+ 0 0) into 0 6.306 * [backup-simplify]: Simplify 0 into 0 6.307 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0 6.307 * [backup-simplify]: Simplify (+ 0 0) into 0 6.308 * [backup-simplify]: Simplify (- 0) into 0 6.308 * [backup-simplify]: Simplify (+ 0 0) into 0 6.308 * [backup-simplify]: Simplify 0 into 0 6.309 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0 6.309 * [backup-simplify]: Simplify (+ 0 0) into 0 6.309 * [backup-simplify]: Simplify (- 0) into 0 6.309 * [backup-simplify]: Simplify (+ 0 0) into 0 6.309 * [backup-simplify]: Simplify 0 into 0 6.310 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0 6.311 * [backup-simplify]: Simplify (+ 0 0) into 0 6.311 * [backup-simplify]: Simplify (- 0) into 0 6.311 * [backup-simplify]: Simplify (+ 0 0) into 0 6.311 * [backup-simplify]: Simplify 0 into 0 6.312 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0 6.313 * [backup-simplify]: Simplify (+ 0 0) into 0 6.313 * [backup-simplify]: Simplify (- 0) into 0 6.313 * [backup-simplify]: Simplify (+ 0 0) into 0 6.313 * [backup-simplify]: Simplify 0 into 0 6.313 * [backup-simplify]: Simplify (- (+ (pow (exp (/ 1 (/ 1 x))) 2) 1) (exp (/ 1 (/ 1 x)))) into (- (+ (pow (exp x) 2) 1) (exp x)) 6.313 * [backup-simplify]: Simplify (- (fma (exp (/ 1 (- x))) (exp (/ 1 (- x))) 1) (exp (/ 1 (- x)))) into (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x))) 6.313 * [approximate]: Taking taylor expansion of (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x))) in (x) around 0 6.313 * [taylor]: Taking taylor expansion of (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x))) in x 6.313 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) in x 6.314 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (exp (/ -1 x))) 1) 6.314 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (exp (/ -1 x))) in x 6.314 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.314 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.314 * [taylor]: Taking taylor expansion of -1 in x 6.314 * [backup-simplify]: Simplify -1 into -1 6.314 * [taylor]: Taking taylor expansion of x in x 6.314 * [backup-simplify]: Simplify 0 into 0 6.314 * [backup-simplify]: Simplify 1 into 1 6.314 * [backup-simplify]: Simplify (/ -1 1) into -1 6.314 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.314 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.314 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.314 * [taylor]: Taking taylor expansion of -1 in x 6.314 * [backup-simplify]: Simplify -1 into -1 6.314 * [taylor]: Taking taylor expansion of x in x 6.314 * [backup-simplify]: Simplify 0 into 0 6.314 * [backup-simplify]: Simplify 1 into 1 6.314 * [backup-simplify]: Simplify (/ -1 1) into -1 6.314 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.314 * [taylor]: Taking taylor expansion of 1 in x 6.314 * [backup-simplify]: Simplify 1 into 1 6.315 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.315 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.315 * [taylor]: Taking taylor expansion of -1 in x 6.315 * [backup-simplify]: Simplify -1 into -1 6.315 * [taylor]: Taking taylor expansion of x in x 6.315 * [backup-simplify]: Simplify 0 into 0 6.315 * [backup-simplify]: Simplify 1 into 1 6.315 * [backup-simplify]: Simplify (/ -1 1) into -1 6.315 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.315 * [taylor]: Taking taylor expansion of (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x))) in x 6.315 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) in x 6.315 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (exp (/ -1 x))) 1) 6.315 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (exp (/ -1 x))) in x 6.315 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.315 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.315 * [taylor]: Taking taylor expansion of -1 in x 6.315 * [backup-simplify]: Simplify -1 into -1 6.315 * [taylor]: Taking taylor expansion of x in x 6.315 * [backup-simplify]: Simplify 0 into 0 6.315 * [backup-simplify]: Simplify 1 into 1 6.315 * [backup-simplify]: Simplify (/ -1 1) into -1 6.316 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.316 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.316 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.316 * [taylor]: Taking taylor expansion of -1 in x 6.316 * [backup-simplify]: Simplify -1 into -1 6.316 * [taylor]: Taking taylor expansion of x in x 6.316 * [backup-simplify]: Simplify 0 into 0 6.316 * [backup-simplify]: Simplify 1 into 1 6.316 * [backup-simplify]: Simplify (/ -1 1) into -1 6.316 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.316 * [taylor]: Taking taylor expansion of 1 in x 6.316 * [backup-simplify]: Simplify 1 into 1 6.316 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.316 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.316 * [taylor]: Taking taylor expansion of -1 in x 6.316 * [backup-simplify]: Simplify -1 into -1 6.316 * [taylor]: Taking taylor expansion of x in x 6.316 * [backup-simplify]: Simplify 0 into 0 6.316 * [backup-simplify]: Simplify 1 into 1 6.316 * [backup-simplify]: Simplify (/ -1 1) into -1 6.316 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.317 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2) 6.317 * [backup-simplify]: Simplify (+ (pow (exp (/ -1 x)) 2) 1) into (+ 1 (pow (exp (/ -1 x)) 2)) 6.317 * [backup-simplify]: Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x))) 6.317 * [backup-simplify]: Simplify (+ (+ 1 (pow (exp (/ -1 x)) 2)) (- (exp (/ -1 x)))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) 6.317 * [backup-simplify]: Simplify (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) 6.317 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0 6.317 * [backup-simplify]: Simplify (+ 0 0) into 0 6.318 * [backup-simplify]: Simplify (- 0) into 0 6.318 * [backup-simplify]: Simplify (+ 0 0) into 0 6.318 * [backup-simplify]: Simplify 0 into 0 6.318 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0 6.318 * [backup-simplify]: Simplify (+ 0 0) into 0 6.319 * [backup-simplify]: Simplify (- 0) into 0 6.319 * [backup-simplify]: Simplify (+ 0 0) into 0 6.319 * [backup-simplify]: Simplify 0 into 0 6.319 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0 6.320 * [backup-simplify]: Simplify (+ 0 0) into 0 6.320 * [backup-simplify]: Simplify (- 0) into 0 6.320 * [backup-simplify]: Simplify (+ 0 0) into 0 6.320 * [backup-simplify]: Simplify 0 into 0 6.321 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0 6.321 * [backup-simplify]: Simplify (+ 0 0) into 0 6.321 * [backup-simplify]: Simplify (- 0) into 0 6.322 * [backup-simplify]: Simplify (+ 0 0) into 0 6.322 * [backup-simplify]: Simplify 0 into 0 6.323 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0 6.323 * [backup-simplify]: Simplify (+ 0 0) into 0 6.323 * [backup-simplify]: Simplify (- 0) into 0 6.323 * [backup-simplify]: Simplify (+ 0 0) into 0 6.323 * [backup-simplify]: Simplify 0 into 0 6.325 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0 6.326 * [backup-simplify]: Simplify (+ 0 0) into 0 6.326 * [backup-simplify]: Simplify (- 0) into 0 6.326 * [backup-simplify]: Simplify (+ 0 0) into 0 6.326 * [backup-simplify]: Simplify 0 into 0 6.327 * [backup-simplify]: Simplify (- (+ 1 (pow (exp (/ -1 (/ 1 (- x)))) 2)) (exp (/ -1 (/ 1 (- x))))) into (- (+ (pow (exp x) 2) 1) (exp x)) 6.327 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 6.327 * [backup-simplify]: Simplify (+ (exp (* 3 x)) 1) into (+ (exp (* 3 x)) 1) 6.327 * [approximate]: Taking taylor expansion of (+ (exp (* 3 x)) 1) in (x) around 0 6.327 * [taylor]: Taking taylor expansion of (+ (exp (* 3 x)) 1) in x 6.327 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 6.327 * [taylor]: Taking taylor expansion of (* 3 x) in x 6.327 * [taylor]: Taking taylor expansion of 3 in x 6.327 * [backup-simplify]: Simplify 3 into 3 6.327 * [taylor]: Taking taylor expansion of x in x 6.327 * [backup-simplify]: Simplify 0 into 0 6.327 * [backup-simplify]: Simplify 1 into 1 6.328 * [backup-simplify]: Simplify (* 3 0) into 0 6.329 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 6.329 * [backup-simplify]: Simplify (exp 0) into 1 6.329 * [taylor]: Taking taylor expansion of 1 in x 6.329 * [backup-simplify]: Simplify 1 into 1 6.329 * [taylor]: Taking taylor expansion of (+ (exp (* 3 x)) 1) in x 6.329 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 6.329 * [taylor]: Taking taylor expansion of (* 3 x) in x 6.329 * [taylor]: Taking taylor expansion of 3 in x 6.329 * [backup-simplify]: Simplify 3 into 3 6.329 * [taylor]: Taking taylor expansion of x in x 6.329 * [backup-simplify]: Simplify 0 into 0 6.329 * [backup-simplify]: Simplify 1 into 1 6.329 * [backup-simplify]: Simplify (* 3 0) into 0 6.330 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 6.330 * [backup-simplify]: Simplify (exp 0) into 1 6.330 * [taylor]: Taking taylor expansion of 1 in x 6.330 * [backup-simplify]: Simplify 1 into 1 6.331 * [backup-simplify]: Simplify (+ 1 1) into 2 6.331 * [backup-simplify]: Simplify 2 into 2 6.332 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 1) 1)))) into 3 6.332 * [backup-simplify]: Simplify (+ 3 0) into 3 6.332 * [backup-simplify]: Simplify 3 into 3 6.333 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 6.335 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into 9/2 6.336 * [backup-simplify]: Simplify (+ 9/2 0) into 9/2 6.336 * [backup-simplify]: Simplify 9/2 into 9/2 6.336 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 2)) into (+ (* 3 x) (+ (* 9/2 (pow x 2)) 2)) 6.336 * [backup-simplify]: Simplify (+ (exp (* 3 (/ 1 x))) 1) into (+ (exp (/ 3 x)) 1) 6.336 * [approximate]: Taking taylor expansion of (+ (exp (/ 3 x)) 1) in (x) around 0 6.336 * [taylor]: Taking taylor expansion of (+ (exp (/ 3 x)) 1) in x 6.336 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 6.336 * [taylor]: Taking taylor expansion of (/ 3 x) in x 6.336 * [taylor]: Taking taylor expansion of 3 in x 6.336 * [backup-simplify]: Simplify 3 into 3 6.336 * [taylor]: Taking taylor expansion of x in x 6.337 * [backup-simplify]: Simplify 0 into 0 6.337 * [backup-simplify]: Simplify 1 into 1 6.337 * [backup-simplify]: Simplify (/ 3 1) into 3 6.337 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x)) 6.337 * [taylor]: Taking taylor expansion of 1 in x 6.337 * [backup-simplify]: Simplify 1 into 1 6.337 * [taylor]: Taking taylor expansion of (+ (exp (/ 3 x)) 1) in x 6.337 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 6.337 * [taylor]: Taking taylor expansion of (/ 3 x) in x 6.337 * [taylor]: Taking taylor expansion of 3 in x 6.337 * [backup-simplify]: Simplify 3 into 3 6.337 * [taylor]: Taking taylor expansion of x in x 6.337 * [backup-simplify]: Simplify 0 into 0 6.337 * [backup-simplify]: Simplify 1 into 1 6.338 * [backup-simplify]: Simplify (/ 3 1) into 3 6.338 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x)) 6.338 * [taylor]: Taking taylor expansion of 1 in x 6.338 * [backup-simplify]: Simplify 1 into 1 6.338 * [backup-simplify]: Simplify (+ (exp (/ 3 x)) 1) into (+ (exp (/ 3 x)) 1) 6.338 * [backup-simplify]: Simplify (+ (exp (/ 3 x)) 1) into (+ (exp (/ 3 x)) 1) 6.339 * [backup-simplify]: Simplify (+ 0 0) into 0 6.339 * [backup-simplify]: Simplify 0 into 0 6.339 * [backup-simplify]: Simplify (+ 0 0) into 0 6.339 * [backup-simplify]: Simplify 0 into 0 6.339 * [backup-simplify]: Simplify (+ 0 0) into 0 6.339 * [backup-simplify]: Simplify 0 into 0 6.340 * [backup-simplify]: Simplify (+ 0 0) into 0 6.340 * [backup-simplify]: Simplify 0 into 0 6.340 * [backup-simplify]: Simplify (+ 0 0) into 0 6.340 * [backup-simplify]: Simplify 0 into 0 6.341 * [backup-simplify]: Simplify (+ 0 0) into 0 6.341 * [backup-simplify]: Simplify 0 into 0 6.341 * [backup-simplify]: Simplify (+ (exp (/ 3 (/ 1 x))) 1) into (+ (exp (* 3 x)) 1) 6.341 * [backup-simplify]: Simplify (+ (exp (* 3 (/ 1 (- x)))) 1) into (+ (exp (/ -3 x)) 1) 6.341 * [approximate]: Taking taylor expansion of (+ (exp (/ -3 x)) 1) in (x) around 0 6.341 * [taylor]: Taking taylor expansion of (+ (exp (/ -3 x)) 1) in x 6.341 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 6.341 * [taylor]: Taking taylor expansion of (/ -3 x) in x 6.341 * [taylor]: Taking taylor expansion of -3 in x 6.341 * [backup-simplify]: Simplify -3 into -3 6.341 * [taylor]: Taking taylor expansion of x in x 6.341 * [backup-simplify]: Simplify 0 into 0 6.341 * [backup-simplify]: Simplify 1 into 1 6.342 * [backup-simplify]: Simplify (/ -3 1) into -3 6.342 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x)) 6.342 * [taylor]: Taking taylor expansion of 1 in x 6.342 * [backup-simplify]: Simplify 1 into 1 6.342 * [taylor]: Taking taylor expansion of (+ (exp (/ -3 x)) 1) in x 6.342 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 6.342 * [taylor]: Taking taylor expansion of (/ -3 x) in x 6.342 * [taylor]: Taking taylor expansion of -3 in x 6.342 * [backup-simplify]: Simplify -3 into -3 6.342 * [taylor]: Taking taylor expansion of x in x 6.342 * [backup-simplify]: Simplify 0 into 0 6.342 * [backup-simplify]: Simplify 1 into 1 6.343 * [backup-simplify]: Simplify (/ -3 1) into -3 6.343 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x)) 6.343 * [taylor]: Taking taylor expansion of 1 in x 6.343 * [backup-simplify]: Simplify 1 into 1 6.343 * [backup-simplify]: Simplify (+ (exp (/ -3 x)) 1) into (+ (exp (/ -3 x)) 1) 6.343 * [backup-simplify]: Simplify (+ (exp (/ -3 x)) 1) into (+ (exp (/ -3 x)) 1) 6.343 * [backup-simplify]: Simplify (+ 0 0) into 0 6.343 * [backup-simplify]: Simplify 0 into 0 6.344 * [backup-simplify]: Simplify (+ 0 0) into 0 6.344 * [backup-simplify]: Simplify 0 into 0 6.344 * [backup-simplify]: Simplify (+ 0 0) into 0 6.344 * [backup-simplify]: Simplify 0 into 0 6.345 * [backup-simplify]: Simplify (+ 0 0) into 0 6.345 * [backup-simplify]: Simplify 0 into 0 6.345 * [backup-simplify]: Simplify (+ 0 0) into 0 6.345 * [backup-simplify]: Simplify 0 into 0 6.346 * [backup-simplify]: Simplify (+ 0 0) into 0 6.346 * [backup-simplify]: Simplify 0 into 0 6.346 * [backup-simplify]: Simplify (+ (exp (/ -3 (/ 1 (- x)))) 1) into (+ (exp (* 3 x)) 1) 6.346 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 6.346 * [backup-simplify]: Simplify (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x))) into (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x))) 6.346 * [approximate]: Taking taylor expansion of (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x))) in (x) around 0 6.346 * [taylor]: Taking taylor expansion of (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x))) in x 6.346 * [taylor]: Taking taylor expansion of (+ (exp (* 3 x)) 1) in x 6.346 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 6.346 * [taylor]: Taking taylor expansion of (* 3 x) in x 6.346 * [taylor]: Taking taylor expansion of 3 in x 6.346 * [backup-simplify]: Simplify 3 into 3 6.346 * [taylor]: Taking taylor expansion of x in x 6.346 * [backup-simplify]: Simplify 0 into 0 6.346 * [backup-simplify]: Simplify 1 into 1 6.347 * [backup-simplify]: Simplify (* 3 0) into 0 6.348 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 6.348 * [backup-simplify]: Simplify (exp 0) into 1 6.348 * [taylor]: Taking taylor expansion of 1 in x 6.348 * [backup-simplify]: Simplify 1 into 1 6.348 * [taylor]: Taking taylor expansion of (- (fma (exp x) (exp x) 1) (exp x)) in x 6.348 * [taylor]: Taking taylor expansion of (fma (exp x) (exp x) 1) in x 6.348 * [taylor]: Rewrote expression to (+ (* (exp x) (exp x)) 1) 6.348 * [taylor]: Taking taylor expansion of (* (exp x) (exp x)) in x 6.348 * [taylor]: Taking taylor expansion of (exp x) in x 6.348 * [taylor]: Taking taylor expansion of x in x 6.348 * [backup-simplify]: Simplify 0 into 0 6.348 * [backup-simplify]: Simplify 1 into 1 6.348 * [backup-simplify]: Simplify (exp 0) into 1 6.348 * [taylor]: Taking taylor expansion of (exp x) in x 6.348 * [taylor]: Taking taylor expansion of x in x 6.348 * [backup-simplify]: Simplify 0 into 0 6.348 * [backup-simplify]: Simplify 1 into 1 6.348 * [backup-simplify]: Simplify (exp 0) into 1 6.348 * [taylor]: Taking taylor expansion of 1 in x 6.348 * [backup-simplify]: Simplify 1 into 1 6.348 * [taylor]: Taking taylor expansion of (exp x) in x 6.348 * [taylor]: Taking taylor expansion of x in x 6.348 * [backup-simplify]: Simplify 0 into 0 6.348 * [backup-simplify]: Simplify 1 into 1 6.348 * [backup-simplify]: Simplify (exp 0) into 1 6.349 * [backup-simplify]: Simplify (+ 1 1) into 2 6.349 * [backup-simplify]: Simplify (* 1 1) into 1 6.350 * [backup-simplify]: Simplify (+ 1 1) into 2 6.350 * [backup-simplify]: Simplify (- 1) into -1 6.350 * [backup-simplify]: Simplify (+ 2 -1) into 1 6.351 * [backup-simplify]: Simplify (/ 2 1) into 2 6.351 * [taylor]: Taking taylor expansion of (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x))) in x 6.351 * [taylor]: Taking taylor expansion of (+ (exp (* 3 x)) 1) in x 6.351 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 6.351 * [taylor]: Taking taylor expansion of (* 3 x) in x 6.351 * [taylor]: Taking taylor expansion of 3 in x 6.351 * [backup-simplify]: Simplify 3 into 3 6.351 * [taylor]: Taking taylor expansion of x in x 6.351 * [backup-simplify]: Simplify 0 into 0 6.351 * [backup-simplify]: Simplify 1 into 1 6.352 * [backup-simplify]: Simplify (* 3 0) into 0 6.352 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 6.352 * [backup-simplify]: Simplify (exp 0) into 1 6.352 * [taylor]: Taking taylor expansion of 1 in x 6.352 * [backup-simplify]: Simplify 1 into 1 6.352 * [taylor]: Taking taylor expansion of (- (fma (exp x) (exp x) 1) (exp x)) in x 6.352 * [taylor]: Taking taylor expansion of (fma (exp x) (exp x) 1) in x 6.352 * [taylor]: Rewrote expression to (+ (* (exp x) (exp x)) 1) 6.352 * [taylor]: Taking taylor expansion of (* (exp x) (exp x)) in x 6.352 * [taylor]: Taking taylor expansion of (exp x) in x 6.352 * [taylor]: Taking taylor expansion of x in x 6.352 * [backup-simplify]: Simplify 0 into 0 6.352 * [backup-simplify]: Simplify 1 into 1 6.352 * [backup-simplify]: Simplify (exp 0) into 1 6.352 * [taylor]: Taking taylor expansion of (exp x) in x 6.352 * [taylor]: Taking taylor expansion of x in x 6.352 * [backup-simplify]: Simplify 0 into 0 6.352 * [backup-simplify]: Simplify 1 into 1 6.352 * [backup-simplify]: Simplify (exp 0) into 1 6.352 * [taylor]: Taking taylor expansion of 1 in x 6.352 * [backup-simplify]: Simplify 1 into 1 6.353 * [taylor]: Taking taylor expansion of (exp x) in x 6.353 * [taylor]: Taking taylor expansion of x in x 6.353 * [backup-simplify]: Simplify 0 into 0 6.353 * [backup-simplify]: Simplify 1 into 1 6.353 * [backup-simplify]: Simplify (exp 0) into 1 6.353 * [backup-simplify]: Simplify (+ 1 1) into 2 6.353 * [backup-simplify]: Simplify (* 1 1) into 1 6.353 * [backup-simplify]: Simplify (+ 1 1) into 2 6.354 * [backup-simplify]: Simplify (- 1) into -1 6.354 * [backup-simplify]: Simplify (+ 2 -1) into 1 6.354 * [backup-simplify]: Simplify (/ 2 1) into 2 6.354 * [backup-simplify]: Simplify 2 into 2 6.355 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 1) 1)))) into 3 6.356 * [backup-simplify]: Simplify (+ 3 0) into 3 6.356 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.357 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.357 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2 6.358 * [backup-simplify]: Simplify (+ 2 0) into 2 6.358 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.359 * [backup-simplify]: Simplify (- 1) into -1 6.359 * [backup-simplify]: Simplify (+ 2 -1) into 1 6.359 * [backup-simplify]: Simplify (- (/ 3 1) (+ (* 2 (/ 1 1)))) into 1 6.360 * [backup-simplify]: Simplify 1 into 1 6.360 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 6.361 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into 9/2 6.362 * [backup-simplify]: Simplify (+ 9/2 0) into 9/2 6.362 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.363 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.364 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2 6.364 * [backup-simplify]: Simplify (+ 2 0) into 2 6.365 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.366 * [backup-simplify]: Simplify (- 1/2) into -1/2 6.366 * [backup-simplify]: Simplify (+ 2 -1/2) into 3/2 6.367 * [backup-simplify]: Simplify (- (/ 9/2 1) (+ (* 2 (/ 3/2 1)) (* 1 (/ 1 1)))) into 1/2 6.367 * [backup-simplify]: Simplify 1/2 into 1/2 6.367 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2)) 6.367 * [backup-simplify]: Simplify (/ (+ (exp (* 3 (/ 1 x))) 1) (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x)))) into (/ (+ (exp (/ 3 x)) 1) (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x)))) 6.367 * [approximate]: Taking taylor expansion of (/ (+ (exp (/ 3 x)) 1) (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x)))) in (x) around 0 6.367 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 3 x)) 1) (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x)))) in x 6.367 * [taylor]: Taking taylor expansion of (+ (exp (/ 3 x)) 1) in x 6.367 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 6.367 * [taylor]: Taking taylor expansion of (/ 3 x) in x 6.367 * [taylor]: Taking taylor expansion of 3 in x 6.367 * [backup-simplify]: Simplify 3 into 3 6.367 * [taylor]: Taking taylor expansion of x in x 6.367 * [backup-simplify]: Simplify 0 into 0 6.367 * [backup-simplify]: Simplify 1 into 1 6.368 * [backup-simplify]: Simplify (/ 3 1) into 3 6.368 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x)) 6.368 * [taylor]: Taking taylor expansion of 1 in x 6.368 * [backup-simplify]: Simplify 1 into 1 6.368 * [taylor]: Taking taylor expansion of (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x))) in x 6.368 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) in x 6.368 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (exp (/ 1 x))) 1) 6.368 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ 1 x))) in x 6.368 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.368 * [taylor]: Taking taylor expansion of x in x 6.368 * [backup-simplify]: Simplify 0 into 0 6.368 * [backup-simplify]: Simplify 1 into 1 6.368 * [backup-simplify]: Simplify (/ 1 1) into 1 6.368 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.368 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.368 * [taylor]: Taking taylor expansion of x in x 6.368 * [backup-simplify]: Simplify 0 into 0 6.368 * [backup-simplify]: Simplify 1 into 1 6.369 * [backup-simplify]: Simplify (/ 1 1) into 1 6.369 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.369 * [taylor]: Taking taylor expansion of 1 in x 6.369 * [backup-simplify]: Simplify 1 into 1 6.369 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.369 * [taylor]: Taking taylor expansion of x in x 6.369 * [backup-simplify]: Simplify 0 into 0 6.369 * [backup-simplify]: Simplify 1 into 1 6.369 * [backup-simplify]: Simplify (/ 1 1) into 1 6.369 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.369 * [backup-simplify]: Simplify (+ (exp (/ 3 x)) 1) into (+ (exp (/ 3 x)) 1) 6.369 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2) 6.370 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 2) 1) into (+ (pow (exp (/ 1 x)) 2) 1) 6.370 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 6.370 * [backup-simplify]: Simplify (+ (+ (pow (exp (/ 1 x)) 2) 1) (- (exp (/ 1 x)))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) 6.370 * [backup-simplify]: Simplify (/ (+ (exp (/ 3 x)) 1) (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) into (/ (+ (exp (/ 3 x)) 1) (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) 6.370 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 3 x)) 1) (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x)))) in x 6.370 * [taylor]: Taking taylor expansion of (+ (exp (/ 3 x)) 1) in x 6.370 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 6.370 * [taylor]: Taking taylor expansion of (/ 3 x) in x 6.370 * [taylor]: Taking taylor expansion of 3 in x 6.370 * [backup-simplify]: Simplify 3 into 3 6.370 * [taylor]: Taking taylor expansion of x in x 6.370 * [backup-simplify]: Simplify 0 into 0 6.370 * [backup-simplify]: Simplify 1 into 1 6.370 * [backup-simplify]: Simplify (/ 3 1) into 3 6.370 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x)) 6.371 * [taylor]: Taking taylor expansion of 1 in x 6.371 * [backup-simplify]: Simplify 1 into 1 6.371 * [taylor]: Taking taylor expansion of (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x))) in x 6.371 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) in x 6.371 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (exp (/ 1 x))) 1) 6.371 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ 1 x))) in x 6.371 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.371 * [taylor]: Taking taylor expansion of x in x 6.371 * [backup-simplify]: Simplify 0 into 0 6.371 * [backup-simplify]: Simplify 1 into 1 6.371 * [backup-simplify]: Simplify (/ 1 1) into 1 6.371 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.371 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.371 * [taylor]: Taking taylor expansion of x in x 6.371 * [backup-simplify]: Simplify 0 into 0 6.371 * [backup-simplify]: Simplify 1 into 1 6.371 * [backup-simplify]: Simplify (/ 1 1) into 1 6.371 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.372 * [taylor]: Taking taylor expansion of 1 in x 6.372 * [backup-simplify]: Simplify 1 into 1 6.372 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.372 * [taylor]: Taking taylor expansion of x in x 6.372 * [backup-simplify]: Simplify 0 into 0 6.372 * [backup-simplify]: Simplify 1 into 1 6.372 * [backup-simplify]: Simplify (/ 1 1) into 1 6.372 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.372 * [backup-simplify]: Simplify (+ (exp (/ 3 x)) 1) into (+ (exp (/ 3 x)) 1) 6.372 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2) 6.372 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 2) 1) into (+ (pow (exp (/ 1 x)) 2) 1) 6.372 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 6.372 * [backup-simplify]: Simplify (+ (+ (pow (exp (/ 1 x)) 2) 1) (- (exp (/ 1 x)))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) 6.373 * [backup-simplify]: Simplify (/ (+ (exp (/ 3 x)) 1) (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) into (/ (+ (exp (/ 3 x)) 1) (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) 6.373 * [backup-simplify]: Simplify (/ (+ (exp (/ 3 x)) 1) (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) into (/ (+ (exp (/ 3 x)) 1) (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) 6.373 * [backup-simplify]: Simplify (+ 0 0) into 0 6.373 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0 6.373 * [backup-simplify]: Simplify (+ 0 0) into 0 6.374 * [backup-simplify]: Simplify (- 0) into 0 6.374 * [backup-simplify]: Simplify (+ 0 0) into 0 6.375 * [backup-simplify]: Simplify (- (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) (+ (* (/ (+ (exp (/ 3 x)) 1) (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))))) into 0 6.375 * [backup-simplify]: Simplify 0 into 0 6.375 * [backup-simplify]: Simplify (+ 0 0) into 0 6.375 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0 6.375 * [backup-simplify]: Simplify (+ 0 0) into 0 6.376 * [backup-simplify]: Simplify (- 0) into 0 6.376 * [backup-simplify]: Simplify (+ 0 0) into 0 6.377 * [backup-simplify]: Simplify (- (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) (+ (* (/ (+ (exp (/ 3 x)) 1) (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))))) into 0 6.377 * [backup-simplify]: Simplify 0 into 0 6.377 * [backup-simplify]: Simplify (+ 0 0) into 0 6.377 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0 6.378 * [backup-simplify]: Simplify (+ 0 0) into 0 6.378 * [backup-simplify]: Simplify (- 0) into 0 6.378 * [backup-simplify]: Simplify (+ 0 0) into 0 6.379 * [backup-simplify]: Simplify (- (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) (+ (* (/ (+ (exp (/ 3 x)) 1) (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))))) into 0 6.379 * [backup-simplify]: Simplify 0 into 0 6.382 * [backup-simplify]: Simplify (+ 0 0) into 0 6.383 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0 6.384 * [backup-simplify]: Simplify (+ 0 0) into 0 6.384 * [backup-simplify]: Simplify (- 0) into 0 6.384 * [backup-simplify]: Simplify (+ 0 0) into 0 6.386 * [backup-simplify]: Simplify (- (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) (+ (* (/ (+ (exp (/ 3 x)) 1) (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))))) into 0 6.386 * [backup-simplify]: Simplify 0 into 0 6.386 * [backup-simplify]: Simplify (+ 0 0) into 0 6.387 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0 6.387 * [backup-simplify]: Simplify (+ 0 0) into 0 6.388 * [backup-simplify]: Simplify (- 0) into 0 6.388 * [backup-simplify]: Simplify (+ 0 0) into 0 6.389 * [backup-simplify]: Simplify (- (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) (+ (* (/ (+ (exp (/ 3 x)) 1) (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))))) into 0 6.389 * [backup-simplify]: Simplify 0 into 0 6.390 * [backup-simplify]: Simplify (+ 0 0) into 0 6.391 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0 6.392 * [backup-simplify]: Simplify (+ 0 0) into 0 6.393 * [backup-simplify]: Simplify (- 0) into 0 6.393 * [backup-simplify]: Simplify (+ 0 0) into 0 6.396 * [backup-simplify]: Simplify (- (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) (+ (* (/ (+ (exp (/ 3 x)) 1) (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))) (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))))))) into 0 6.396 * [backup-simplify]: Simplify 0 into 0 6.397 * [backup-simplify]: Simplify (/ (+ (exp (/ 3 (/ 1 x))) 1) (- (+ (pow (exp (/ 1 (/ 1 x))) 2) 1) (exp (/ 1 (/ 1 x))))) into (/ (+ (exp (* 3 x)) 1) (- (+ (pow (exp x) 2) 1) (exp x))) 6.397 * [backup-simplify]: Simplify (/ (+ (exp (* 3 (/ 1 (- x)))) 1) (- (fma (exp (/ 1 (- x))) (exp (/ 1 (- x))) 1) (exp (/ 1 (- x))))) into (/ (+ (exp (/ -3 x)) 1) (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x)))) 6.397 * [approximate]: Taking taylor expansion of (/ (+ (exp (/ -3 x)) 1) (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x)))) in (x) around 0 6.397 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ -3 x)) 1) (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x)))) in x 6.397 * [taylor]: Taking taylor expansion of (+ (exp (/ -3 x)) 1) in x 6.397 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 6.398 * [taylor]: Taking taylor expansion of (/ -3 x) in x 6.398 * [taylor]: Taking taylor expansion of -3 in x 6.398 * [backup-simplify]: Simplify -3 into -3 6.398 * [taylor]: Taking taylor expansion of x in x 6.398 * [backup-simplify]: Simplify 0 into 0 6.398 * [backup-simplify]: Simplify 1 into 1 6.398 * [backup-simplify]: Simplify (/ -3 1) into -3 6.399 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x)) 6.399 * [taylor]: Taking taylor expansion of 1 in x 6.399 * [backup-simplify]: Simplify 1 into 1 6.399 * [taylor]: Taking taylor expansion of (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x))) in x 6.399 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) in x 6.399 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (exp (/ -1 x))) 1) 6.399 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (exp (/ -1 x))) in x 6.399 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.399 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.399 * [taylor]: Taking taylor expansion of -1 in x 6.399 * [backup-simplify]: Simplify -1 into -1 6.399 * [taylor]: Taking taylor expansion of x in x 6.399 * [backup-simplify]: Simplify 0 into 0 6.399 * [backup-simplify]: Simplify 1 into 1 6.400 * [backup-simplify]: Simplify (/ -1 1) into -1 6.400 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.400 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.400 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.400 * [taylor]: Taking taylor expansion of -1 in x 6.400 * [backup-simplify]: Simplify -1 into -1 6.400 * [taylor]: Taking taylor expansion of x in x 6.400 * [backup-simplify]: Simplify 0 into 0 6.400 * [backup-simplify]: Simplify 1 into 1 6.401 * [backup-simplify]: Simplify (/ -1 1) into -1 6.401 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.401 * [taylor]: Taking taylor expansion of 1 in x 6.401 * [backup-simplify]: Simplify 1 into 1 6.401 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.401 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.401 * [taylor]: Taking taylor expansion of -1 in x 6.401 * [backup-simplify]: Simplify -1 into -1 6.401 * [taylor]: Taking taylor expansion of x in x 6.401 * [backup-simplify]: Simplify 0 into 0 6.401 * [backup-simplify]: Simplify 1 into 1 6.402 * [backup-simplify]: Simplify (/ -1 1) into -1 6.402 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.402 * [backup-simplify]: Simplify (+ (exp (/ -3 x)) 1) into (+ (exp (/ -3 x)) 1) 6.402 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2) 6.402 * [backup-simplify]: Simplify (+ (pow (exp (/ -1 x)) 2) 1) into (+ 1 (pow (exp (/ -1 x)) 2)) 6.402 * [backup-simplify]: Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x))) 6.403 * [backup-simplify]: Simplify (+ (+ 1 (pow (exp (/ -1 x)) 2)) (- (exp (/ -1 x)))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) 6.403 * [backup-simplify]: Simplify (/ (+ (exp (/ -3 x)) 1) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) into (/ (+ (exp (/ -3 x)) 1) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) 6.403 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ -3 x)) 1) (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x)))) in x 6.403 * [taylor]: Taking taylor expansion of (+ (exp (/ -3 x)) 1) in x 6.403 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 6.403 * [taylor]: Taking taylor expansion of (/ -3 x) in x 6.403 * [taylor]: Taking taylor expansion of -3 in x 6.403 * [backup-simplify]: Simplify -3 into -3 6.403 * [taylor]: Taking taylor expansion of x in x 6.403 * [backup-simplify]: Simplify 0 into 0 6.403 * [backup-simplify]: Simplify 1 into 1 6.404 * [backup-simplify]: Simplify (/ -3 1) into -3 6.404 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x)) 6.404 * [taylor]: Taking taylor expansion of 1 in x 6.404 * [backup-simplify]: Simplify 1 into 1 6.404 * [taylor]: Taking taylor expansion of (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x))) in x 6.404 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) in x 6.404 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (exp (/ -1 x))) 1) 6.404 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (exp (/ -1 x))) in x 6.404 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.404 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.404 * [taylor]: Taking taylor expansion of -1 in x 6.404 * [backup-simplify]: Simplify -1 into -1 6.404 * [taylor]: Taking taylor expansion of x in x 6.404 * [backup-simplify]: Simplify 0 into 0 6.404 * [backup-simplify]: Simplify 1 into 1 6.405 * [backup-simplify]: Simplify (/ -1 1) into -1 6.405 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.405 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.405 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.405 * [taylor]: Taking taylor expansion of -1 in x 6.405 * [backup-simplify]: Simplify -1 into -1 6.405 * [taylor]: Taking taylor expansion of x in x 6.405 * [backup-simplify]: Simplify 0 into 0 6.405 * [backup-simplify]: Simplify 1 into 1 6.406 * [backup-simplify]: Simplify (/ -1 1) into -1 6.406 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.406 * [taylor]: Taking taylor expansion of 1 in x 6.406 * [backup-simplify]: Simplify 1 into 1 6.406 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.406 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.406 * [taylor]: Taking taylor expansion of -1 in x 6.406 * [backup-simplify]: Simplify -1 into -1 6.406 * [taylor]: Taking taylor expansion of x in x 6.406 * [backup-simplify]: Simplify 0 into 0 6.406 * [backup-simplify]: Simplify 1 into 1 6.407 * [backup-simplify]: Simplify (/ -1 1) into -1 6.407 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.407 * [backup-simplify]: Simplify (+ (exp (/ -3 x)) 1) into (+ (exp (/ -3 x)) 1) 6.407 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2) 6.407 * [backup-simplify]: Simplify (+ (pow (exp (/ -1 x)) 2) 1) into (+ 1 (pow (exp (/ -1 x)) 2)) 6.407 * [backup-simplify]: Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x))) 6.408 * [backup-simplify]: Simplify (+ (+ 1 (pow (exp (/ -1 x)) 2)) (- (exp (/ -1 x)))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) 6.408 * [backup-simplify]: Simplify (/ (+ (exp (/ -3 x)) 1) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) into (/ (+ (exp (/ -3 x)) 1) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) 6.408 * [backup-simplify]: Simplify (/ (+ (exp (/ -3 x)) 1) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) into (/ (+ (exp (/ -3 x)) 1) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) 6.409 * [backup-simplify]: Simplify (+ 0 0) into 0 6.409 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0 6.409 * [backup-simplify]: Simplify (+ 0 0) into 0 6.410 * [backup-simplify]: Simplify (- 0) into 0 6.410 * [backup-simplify]: Simplify (+ 0 0) into 0 6.411 * [backup-simplify]: Simplify (- (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (+ (* (/ (+ (exp (/ -3 x)) 1) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))))) into 0 6.411 * [backup-simplify]: Simplify 0 into 0 6.412 * [backup-simplify]: Simplify (+ 0 0) into 0 6.412 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0 6.413 * [backup-simplify]: Simplify (+ 0 0) into 0 6.413 * [backup-simplify]: Simplify (- 0) into 0 6.413 * [backup-simplify]: Simplify (+ 0 0) into 0 6.415 * [backup-simplify]: Simplify (- (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (+ (* (/ (+ (exp (/ -3 x)) 1) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))))) into 0 6.415 * [backup-simplify]: Simplify 0 into 0 6.415 * [backup-simplify]: Simplify (+ 0 0) into 0 6.416 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0 6.417 * [backup-simplify]: Simplify (+ 0 0) into 0 6.417 * [backup-simplify]: Simplify (- 0) into 0 6.417 * [backup-simplify]: Simplify (+ 0 0) into 0 6.419 * [backup-simplify]: Simplify (- (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (+ (* (/ (+ (exp (/ -3 x)) 1) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))))) into 0 6.419 * [backup-simplify]: Simplify 0 into 0 6.419 * [backup-simplify]: Simplify (+ 0 0) into 0 6.421 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0 6.421 * [backup-simplify]: Simplify (+ 0 0) into 0 6.422 * [backup-simplify]: Simplify (- 0) into 0 6.422 * [backup-simplify]: Simplify (+ 0 0) into 0 6.424 * [backup-simplify]: Simplify (- (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (+ (* (/ (+ (exp (/ -3 x)) 1) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))))) into 0 6.424 * [backup-simplify]: Simplify 0 into 0 6.424 * [backup-simplify]: Simplify (+ 0 0) into 0 6.426 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0 6.426 * [backup-simplify]: Simplify (+ 0 0) into 0 6.427 * [backup-simplify]: Simplify (- 0) into 0 6.427 * [backup-simplify]: Simplify (+ 0 0) into 0 6.429 * [backup-simplify]: Simplify (- (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (+ (* (/ (+ (exp (/ -3 x)) 1) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))))) into 0 6.429 * [backup-simplify]: Simplify 0 into 0 6.430 * [backup-simplify]: Simplify (+ 0 0) into 0 6.432 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0 6.432 * [backup-simplify]: Simplify (+ 0 0) into 0 6.432 * [backup-simplify]: Simplify (- 0) into 0 6.433 * [backup-simplify]: Simplify (+ 0 0) into 0 6.435 * [backup-simplify]: Simplify (- (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (+ (* (/ (+ (exp (/ -3 x)) 1) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))))) into 0 6.435 * [backup-simplify]: Simplify 0 into 0 6.436 * [backup-simplify]: Simplify (/ (+ (exp (/ -3 (/ 1 (- x)))) 1) (- (+ 1 (pow (exp (/ -1 (/ 1 (- x)))) 2)) (exp (/ -1 (/ 1 (- x)))))) into (/ (+ (exp (* 3 x)) 1) (- (+ (pow (exp x) 2) 1) (exp x))) 6.436 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 6.436 * [backup-simplify]: Simplify (exp (* 3 x)) into (exp (* 3 x)) 6.436 * [approximate]: Taking taylor expansion of (exp (* 3 x)) in (x) around 0 6.436 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 6.436 * [taylor]: Taking taylor expansion of (* 3 x) in x 6.436 * [taylor]: Taking taylor expansion of 3 in x 6.436 * [backup-simplify]: Simplify 3 into 3 6.436 * [taylor]: Taking taylor expansion of x in x 6.436 * [backup-simplify]: Simplify 0 into 0 6.436 * [backup-simplify]: Simplify 1 into 1 6.437 * [backup-simplify]: Simplify (* 3 0) into 0 6.438 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 6.438 * [backup-simplify]: Simplify (exp 0) into 1 6.438 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 6.438 * [taylor]: Taking taylor expansion of (* 3 x) in x 6.438 * [taylor]: Taking taylor expansion of 3 in x 6.438 * [backup-simplify]: Simplify 3 into 3 6.438 * [taylor]: Taking taylor expansion of x in x 6.438 * [backup-simplify]: Simplify 0 into 0 6.438 * [backup-simplify]: Simplify 1 into 1 6.438 * [backup-simplify]: Simplify (* 3 0) into 0 6.439 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 6.439 * [backup-simplify]: Simplify (exp 0) into 1 6.439 * [backup-simplify]: Simplify 1 into 1 6.441 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 1) 1)))) into 3 6.441 * [backup-simplify]: Simplify 3 into 3 6.442 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 6.443 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into 9/2 6.444 * [backup-simplify]: Simplify 9/2 into 9/2 6.444 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) into (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1)) 6.444 * [backup-simplify]: Simplify (exp (* 3 (/ 1 x))) into (exp (/ 3 x)) 6.444 * [approximate]: Taking taylor expansion of (exp (/ 3 x)) in (x) around 0 6.444 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 6.444 * [taylor]: Taking taylor expansion of (/ 3 x) in x 6.444 * [taylor]: Taking taylor expansion of 3 in x 6.444 * [backup-simplify]: Simplify 3 into 3 6.444 * [taylor]: Taking taylor expansion of x in x 6.444 * [backup-simplify]: Simplify 0 into 0 6.444 * [backup-simplify]: Simplify 1 into 1 6.445 * [backup-simplify]: Simplify (/ 3 1) into 3 6.445 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x)) 6.445 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 6.445 * [taylor]: Taking taylor expansion of (/ 3 x) in x 6.445 * [taylor]: Taking taylor expansion of 3 in x 6.445 * [backup-simplify]: Simplify 3 into 3 6.445 * [taylor]: Taking taylor expansion of x in x 6.445 * [backup-simplify]: Simplify 0 into 0 6.445 * [backup-simplify]: Simplify 1 into 1 6.445 * [backup-simplify]: Simplify (/ 3 1) into 3 6.445 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x)) 6.446 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x)) 6.446 * [backup-simplify]: Simplify 0 into 0 6.446 * [backup-simplify]: Simplify 0 into 0 6.446 * [backup-simplify]: Simplify 0 into 0 6.446 * [backup-simplify]: Simplify 0 into 0 6.446 * [backup-simplify]: Simplify 0 into 0 6.446 * [backup-simplify]: Simplify 0 into 0 6.446 * [backup-simplify]: Simplify (exp (/ 3 (/ 1 x))) into (exp (* 3 x)) 6.446 * [backup-simplify]: Simplify (exp (* 3 (/ 1 (- x)))) into (exp (/ -3 x)) 6.446 * [approximate]: Taking taylor expansion of (exp (/ -3 x)) in (x) around 0 6.446 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 6.446 * [taylor]: Taking taylor expansion of (/ -3 x) in x 6.446 * [taylor]: Taking taylor expansion of -3 in x 6.446 * [backup-simplify]: Simplify -3 into -3 6.446 * [taylor]: Taking taylor expansion of x in x 6.446 * [backup-simplify]: Simplify 0 into 0 6.446 * [backup-simplify]: Simplify 1 into 1 6.447 * [backup-simplify]: Simplify (/ -3 1) into -3 6.447 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x)) 6.447 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 6.447 * [taylor]: Taking taylor expansion of (/ -3 x) in x 6.447 * [taylor]: Taking taylor expansion of -3 in x 6.447 * [backup-simplify]: Simplify -3 into -3 6.447 * [taylor]: Taking taylor expansion of x in x 6.447 * [backup-simplify]: Simplify 0 into 0 6.447 * [backup-simplify]: Simplify 1 into 1 6.447 * [backup-simplify]: Simplify (/ -3 1) into -3 6.447 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x)) 6.448 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x)) 6.448 * [backup-simplify]: Simplify 0 into 0 6.448 * [backup-simplify]: Simplify 0 into 0 6.448 * [backup-simplify]: Simplify 0 into 0 6.448 * [backup-simplify]: Simplify 0 into 0 6.448 * [backup-simplify]: Simplify 0 into 0 6.448 * [backup-simplify]: Simplify 0 into 0 6.448 * [backup-simplify]: Simplify (exp (/ -3 (/ 1 (- x)))) into (exp (* 3 x)) 6.448 * * * [progress]: simplifying candidates 6.448 * * * * [progress]: [ 1 / 121 ] simplifiying candidate # 6.448 * * * * [progress]: [ 2 / 121 ] simplifiying candidate # 6.448 * * * * [progress]: [ 3 / 121 ] simplifiying candidate # 6.448 * * * * [progress]: [ 4 / 121 ] simplifiying candidate # 6.448 * * * * [progress]: [ 5 / 121 ] simplifiying candidate # 6.449 * * * * [progress]: [ 6 / 121 ] simplifiying candidate # 6.449 * * * * [progress]: [ 7 / 121 ] simplifiying candidate # 6.449 * * * * [progress]: [ 8 / 121 ] simplifiying candidate # 6.449 * * * * [progress]: [ 9 / 121 ] simplifiying candidate # 6.449 * * * * [progress]: [ 10 / 121 ] simplifiying candidate # 6.449 * * * * [progress]: [ 11 / 121 ] simplifiying candidate # 6.449 * * * * [progress]: [ 12 / 121 ] simplifiying candidate # 6.449 * * * * [progress]: [ 13 / 121 ] simplifiying candidate # 6.449 * * * * [progress]: [ 14 / 121 ] simplifiying candidate # 6.449 * * * * [progress]: [ 15 / 121 ] simplifiying candidate # 6.449 * * * * [progress]: [ 16 / 121 ] simplifiying candidate # 6.449 * * * * [progress]: [ 17 / 121 ] simplifiying candidate # 6.449 * * * * [progress]: [ 18 / 121 ] simplifiying candidate # 6.449 * * * * [progress]: [ 19 / 121 ] simplifiying candidate # 6.450 * * * * [progress]: [ 20 / 121 ] simplifiying candidate # 6.450 * * * * [progress]: [ 21 / 121 ] simplifiying candidate # 6.450 * * * * [progress]: [ 22 / 121 ] simplifiying candidate # 6.450 * * * * [progress]: [ 23 / 121 ] simplifiying candidate # 6.450 * * * * [progress]: [ 24 / 121 ] simplifiying candidate # 6.450 * * * * [progress]: [ 25 / 121 ] simplifiying candidate # 6.450 * * * * [progress]: [ 26 / 121 ] simplifiying candidate # 6.450 * * * * [progress]: [ 27 / 121 ] simplifiying candidate # 6.450 * * * * [progress]: [ 28 / 121 ] simplifiying candidate # 6.450 * * * * [progress]: [ 29 / 121 ] simplifiying candidate # 6.450 * * * * [progress]: [ 30 / 121 ] simplifiying candidate #real (real->posit16 (- (fma (exp x) (exp x) 1) (exp x)))))))> 6.451 * * * * [progress]: [ 31 / 121 ] simplifiying candidate # 6.451 * * * * [progress]: [ 32 / 121 ] simplifiying candidate # 6.451 * * * * [progress]: [ 33 / 121 ] simplifiying candidate # 6.451 * * * * [progress]: [ 34 / 121 ] simplifiying candidate # 6.451 * * * * [progress]: [ 35 / 121 ] simplifiying candidate # 6.451 * * * * [progress]: [ 36 / 121 ] simplifiying candidate # 6.451 * * * * [progress]: [ 37 / 121 ] simplifiying candidate # 6.451 * * * * [progress]: [ 38 / 121 ] simplifiying candidate # 6.451 * * * * [progress]: [ 39 / 121 ] simplifiying candidate # 6.451 * * * * [progress]: [ 40 / 121 ] simplifiying candidate # 6.451 * * * * [progress]: [ 41 / 121 ] simplifiying candidate # 6.451 * * * * [progress]: [ 42 / 121 ] simplifiying candidate # 6.451 * * * * [progress]: [ 43 / 121 ] simplifiying candidate # 6.451 * * * * [progress]: [ 44 / 121 ] simplifiying candidate # 6.451 * * * * [progress]: [ 45 / 121 ] simplifiying candidate # 6.452 * * * * [progress]: [ 46 / 121 ] simplifiying candidate # 6.452 * * * * [progress]: [ 47 / 121 ] simplifiying candidate #real (real->posit16 (+ (exp (* 3 x)) 1))) (- (fma (exp x) (exp x) 1) (exp x)))))> 6.452 * * * * [progress]: [ 48 / 121 ] simplifiying candidate # 6.452 * * * * [progress]: [ 49 / 121 ] simplifiying candidate # 6.452 * * * * [progress]: [ 50 / 121 ] simplifiying candidate # 6.452 * * * * [progress]: [ 51 / 121 ] simplifiying candidate # 6.452 * * * * [progress]: [ 52 / 121 ] simplifiying candidate # 6.452 * * * * [progress]: [ 53 / 121 ] simplifiying candidate # 6.452 * * * * [progress]: [ 54 / 121 ] simplifiying candidate # 6.453 * * * * [progress]: [ 55 / 121 ] simplifiying candidate # 6.453 * * * * [progress]: [ 56 / 121 ] simplifiying candidate # 6.453 * * * * [progress]: [ 57 / 121 ] simplifiying candidate # 6.453 * * * * [progress]: [ 58 / 121 ] simplifiying candidate # 6.453 * * * * [progress]: [ 59 / 121 ] simplifiying candidate # 6.453 * * * * [progress]: [ 60 / 121 ] simplifiying candidate # 6.453 * * * * [progress]: [ 61 / 121 ] simplifiying candidate # 6.453 * * * * [progress]: [ 62 / 121 ] simplifiying candidate # 6.453 * * * * [progress]: [ 63 / 121 ] simplifiying candidate # 6.453 * * * * [progress]: [ 64 / 121 ] simplifiying candidate # 6.453 * * * * [progress]: [ 65 / 121 ] simplifiying candidate # 6.453 * * * * [progress]: [ 66 / 121 ] simplifiying candidate # 6.453 * * * * [progress]: [ 67 / 121 ] simplifiying candidate # 6.453 * * * * [progress]: [ 68 / 121 ] simplifiying candidate # 6.454 * * * * [progress]: [ 69 / 121 ] simplifiying candidate # 6.454 * * * * [progress]: [ 70 / 121 ] simplifiying candidate # 6.454 * * * * [progress]: [ 71 / 121 ] simplifiying candidate # 6.454 * * * * [progress]: [ 72 / 121 ] simplifiying candidate # 6.454 * * * * [progress]: [ 73 / 121 ] simplifiying candidate # 6.454 * * * * [progress]: [ 74 / 121 ] simplifiying candidate # 6.454 * * * * [progress]: [ 75 / 121 ] simplifiying candidate # 6.454 * * * * [progress]: [ 76 / 121 ] simplifiying candidate # 6.454 * * * * [progress]: [ 77 / 121 ] simplifiying candidate # 6.454 * * * * [progress]: [ 78 / 121 ] simplifiying candidate # 6.454 * * * * [progress]: [ 79 / 121 ] simplifiying candidate # 6.454 * * * * [progress]: [ 80 / 121 ] simplifiying candidate # 6.454 * * * * [progress]: [ 81 / 121 ] simplifiying candidate # 6.454 * * * * [progress]: [ 82 / 121 ] simplifiying candidate # 6.455 * * * * [progress]: [ 83 / 121 ] simplifiying candidate # 6.455 * * * * [progress]: [ 84 / 121 ] simplifiying candidate # 6.455 * * * * [progress]: [ 85 / 121 ] simplifiying candidate # 6.455 * * * * [progress]: [ 86 / 121 ] simplifiying candidate # 6.455 * * * * [progress]: [ 87 / 121 ] simplifiying candidate # 6.455 * * * * [progress]: [ 88 / 121 ] simplifiying candidate # 6.455 * * * * [progress]: [ 89 / 121 ] simplifiying candidate # 6.455 * * * * [progress]: [ 90 / 121 ] simplifiying candidate # 6.455 * * * * [progress]: [ 91 / 121 ] simplifiying candidate # 6.455 * * * * [progress]: [ 92 / 121 ] simplifiying candidate # 6.455 * * * * [progress]: [ 93 / 121 ] simplifiying candidate # 6.455 * * * * [progress]: [ 94 / 121 ] simplifiying candidate # 6.455 * * * * [progress]: [ 95 / 121 ] simplifiying candidate # 6.455 * * * * [progress]: [ 96 / 121 ] simplifiying candidate #real (real->posit16 (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))))))> 6.455 * * * * [progress]: [ 97 / 121 ] simplifiying candidate # 6.456 * * * * [progress]: [ 98 / 121 ] simplifiying candidate # 6.456 * * * * [progress]: [ 99 / 121 ] simplifiying candidate # 6.456 * * * * [progress]: [ 100 / 121 ] simplifiying candidate # 6.456 * * * * [progress]: [ 101 / 121 ] simplifiying candidate # 6.456 * * * * [progress]: [ 102 / 121 ] simplifiying candidate # 6.456 * * * * [progress]: [ 103 / 121 ] simplifiying candidate # 6.456 * * * * [progress]: [ 104 / 121 ] simplifiying candidate # 6.456 * * * * [progress]: [ 105 / 121 ] simplifiying candidate # 6.456 * * * * [progress]: [ 106 / 121 ] simplifiying candidate # 6.456 * * * * [progress]: [ 107 / 121 ] simplifiying candidate # 6.456 * * * * [progress]: [ 108 / 121 ] simplifiying candidate # 6.456 * * * * [progress]: [ 109 / 121 ] simplifiying candidate #real (real->posit16 (exp (* 3 x)))) 1) (- (fma (exp x) (exp x) 1) (exp x)))))> 6.456 * * * * [progress]: [ 110 / 121 ] simplifiying candidate # 6.456 * * * * [progress]: [ 111 / 121 ] simplifiying candidate # 6.456 * * * * [progress]: [ 112 / 121 ] simplifiying candidate # 6.456 * * * * [progress]: [ 113 / 121 ] simplifiying candidate # 6.457 * * * * [progress]: [ 114 / 121 ] simplifiying candidate # 6.457 * * * * [progress]: [ 115 / 121 ] simplifiying candidate # 6.457 * * * * [progress]: [ 116 / 121 ] simplifiying candidate # 6.457 * * * * [progress]: [ 117 / 121 ] simplifiying candidate # 6.457 * * * * [progress]: [ 118 / 121 ] simplifiying candidate # 6.457 * * * * [progress]: [ 119 / 121 ] simplifiying candidate # 6.457 * * * * [progress]: [ 120 / 121 ] simplifiying candidate # 6.457 * * * * [progress]: [ 121 / 121 ] simplifiying candidate # 6.459 * [simplify]: Simplifying: (fma (* (cbrt (fma (exp x) (exp x) 1)) (cbrt (fma (exp x) (exp x) 1))) (cbrt (fma (exp x) (exp x) 1)) (- (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))) (fma (- (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x))))) (fma (* (cbrt (fma (exp x) (exp x) 1)) (cbrt (fma (exp x) (exp x) 1))) (cbrt (fma (exp x) (exp x) 1)) (- (* (sqrt (exp x)) (sqrt (exp x))))) (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x)))) (fma (* (cbrt (fma (exp x) (exp x) 1)) (cbrt (fma (exp x) (exp x) 1))) (cbrt (fma (exp x) (exp x) 1)) (- (* (exp x) 1))) (fma (- (exp x)) 1 (* (exp x) 1)) (fma (sqrt (fma (exp x) (exp x) 1)) (sqrt (fma (exp x) (exp x) 1)) (- (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))) (fma (- (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x))))) (fma (sqrt (fma (exp x) (exp x) 1)) (sqrt (fma (exp x) (exp x) 1)) (- (* (sqrt (exp x)) (sqrt (exp x))))) (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x)))) (fma (sqrt (fma (exp x) (exp x) 1)) (sqrt (fma (exp x) (exp x) 1)) (- (* (exp x) 1))) (fma (- (exp x)) 1 (* (exp x) 1)) (fma 1 (fma (exp x) (exp x) 1) (- (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))) (fma (- (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x))))) (fma 1 (fma (exp x) (exp x) 1) (- (* (sqrt (exp x)) (sqrt (exp x))))) (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x)))) (fma 1 (fma (exp x) (exp x) 1) (- (* (exp x) 1))) (fma (- (exp x)) 1 (* (exp x) 1)) (expm1 (- (fma (exp x) (exp x) 1) (exp x))) (log1p (- (fma (exp x) (exp x) 1) (exp x))) (- (exp x)) (- (exp x)) (- (exp x)) (/ (exp (fma (exp x) (exp x) 1)) (exp (exp x))) (log (- (fma (exp x) (exp x) 1) (exp x))) (exp (- (fma (exp x) (exp x) 1) (exp x))) (* (cbrt (- (fma (exp x) (exp x) 1) (exp x))) (cbrt (- (fma (exp x) (exp x) 1) (exp x)))) (cbrt (- (fma (exp x) (exp x) 1) (exp x))) (* (* (- (fma (exp x) (exp x) 1) (exp x)) (- (fma (exp x) (exp x) 1) (exp x))) (- (fma (exp x) (exp x) 1) (exp x))) (sqrt (- (fma (exp x) (exp x) 1) (exp x))) (sqrt (- (fma (exp x) (exp x) 1) (exp x))) (- (pow (fma (exp x) (exp x) 1) 3) (pow (exp x) 3)) (+ (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)) (+ (* (exp x) (exp x)) (* (fma (exp x) (exp x) 1) (exp x)))) (- (exp x)) (- (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)) (* (exp x) (exp x))) (+ (fma (exp x) (exp x) 1) (exp x)) (+ (sqrt (fma (exp x) (exp x) 1)) (sqrt (exp x))) (- (sqrt (fma (exp x) (exp x) 1)) (sqrt (exp x))) (- (fma (exp x) (exp x) 1) (exp x)) (- 1 (exp x)) (- (exp x)) (real->posit16 (- (fma (exp x) (exp x) 1) (exp x))) (expm1 (+ (exp (* 3 x)) 1)) (log1p (+ (exp (* 3 x)) 1)) (* (exp (exp (* 3 x))) (exp 1)) (log (+ (exp (* 3 x)) 1)) (exp (+ (exp (* 3 x)) 1)) (* (cbrt (+ (exp (* 3 x)) 1)) (cbrt (+ (exp (* 3 x)) 1))) (cbrt (+ (exp (* 3 x)) 1)) (* (* (+ (exp (* 3 x)) 1) (+ (exp (* 3 x)) 1)) (+ (exp (* 3 x)) 1)) (sqrt (+ (exp (* 3 x)) 1)) (sqrt (+ (exp (* 3 x)) 1)) (+ (pow (exp (* 3 x)) 3) (pow 1 3)) (+ (* (exp (* 3 x)) (exp (* 3 x))) (- (* 1 1) (* (exp (* 3 x)) 1))) (- (* (exp (* 3 x)) (exp (* 3 x))) (* 1 1)) (- (exp (* 3 x)) 1) (+ (exp (* 3 x)) 1) (real->posit16 (+ (exp (* 3 x)) 1)) (expm1 (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))) (log1p (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))) (- (log (+ (exp (* 3 x)) 1)) (log (- (fma (exp x) (exp x) 1) (exp x)))) (log (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))) (exp (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))) (/ (* (* (+ (exp (* 3 x)) 1) (+ (exp (* 3 x)) 1)) (+ (exp (* 3 x)) 1)) (* (* (- (fma (exp x) (exp x) 1) (exp x)) (- (fma (exp x) (exp x) 1) (exp x))) (- (fma (exp x) (exp x) 1) (exp x)))) (* (cbrt (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))) (cbrt (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x))))) (cbrt (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))) (* (* (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x))) (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))) (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))) (sqrt (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))) (sqrt (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))) (- (+ (exp (* 3 x)) 1)) (- (- (fma (exp x) (exp x) 1) (exp x))) (/ (* (cbrt (+ (exp (* 3 x)) 1)) (cbrt (+ (exp (* 3 x)) 1))) (* (cbrt (- (fma (exp x) (exp x) 1) (exp x))) (cbrt (- (fma (exp x) (exp x) 1) (exp x))))) (/ (cbrt (+ (exp (* 3 x)) 1)) (cbrt (- (fma (exp x) (exp x) 1) (exp x)))) (/ (* (cbrt (+ (exp (* 3 x)) 1)) (cbrt (+ (exp (* 3 x)) 1))) (sqrt (- (fma (exp x) (exp x) 1) (exp x)))) (/ (cbrt (+ (exp (* 3 x)) 1)) (sqrt (- (fma (exp x) (exp x) 1) (exp x)))) (/ (* (cbrt (+ (exp (* 3 x)) 1)) (cbrt (+ (exp (* 3 x)) 1))) 1) (/ (cbrt (+ (exp (* 3 x)) 1)) (- (fma (exp x) (exp x) 1) (exp x))) (/ (* (cbrt (+ (exp (* 3 x)) 1)) (cbrt (+ (exp (* 3 x)) 1))) (+ (sqrt (fma (exp x) (exp x) 1)) (sqrt (exp x)))) (/ (cbrt (+ (exp (* 3 x)) 1)) (- (sqrt (fma (exp x) (exp x) 1)) (sqrt (exp x)))) (/ (* (cbrt (+ (exp (* 3 x)) 1)) (cbrt (+ (exp (* 3 x)) 1))) 1) (/ (cbrt (+ (exp (* 3 x)) 1)) (- (fma (exp x) (exp x) 1) (exp x))) (/ (sqrt (+ (exp (* 3 x)) 1)) (* (cbrt (- (fma (exp x) (exp x) 1) (exp x))) (cbrt (- (fma (exp x) (exp x) 1) (exp x))))) (/ (sqrt (+ (exp (* 3 x)) 1)) (cbrt (- (fma (exp x) (exp x) 1) (exp x)))) (/ (sqrt (+ (exp (* 3 x)) 1)) (sqrt (- (fma (exp x) (exp x) 1) (exp x)))) (/ (sqrt (+ (exp (* 3 x)) 1)) (sqrt (- (fma (exp x) (exp x) 1) (exp x)))) (/ (sqrt (+ (exp (* 3 x)) 1)) 1) (/ (sqrt (+ (exp (* 3 x)) 1)) (- (fma (exp x) (exp x) 1) (exp x))) (/ (sqrt (+ (exp (* 3 x)) 1)) (+ (sqrt (fma (exp x) (exp x) 1)) (sqrt (exp x)))) (/ (sqrt (+ (exp (* 3 x)) 1)) (- (sqrt (fma (exp x) (exp x) 1)) (sqrt (exp x)))) (/ (sqrt (+ (exp (* 3 x)) 1)) 1) (/ (sqrt (+ (exp (* 3 x)) 1)) (- (fma (exp x) (exp x) 1) (exp x))) (/ 1 (* (cbrt (- (fma (exp x) (exp x) 1) (exp x))) (cbrt (- (fma (exp x) (exp x) 1) (exp x))))) (/ (+ (exp (* 3 x)) 1) (cbrt (- (fma (exp x) (exp x) 1) (exp x)))) (/ 1 (sqrt (- (fma (exp x) (exp x) 1) (exp x)))) (/ (+ (exp (* 3 x)) 1) (sqrt (- (fma (exp x) (exp x) 1) (exp x)))) (/ 1 1) (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x))) (/ 1 (+ (sqrt (fma (exp x) (exp x) 1)) (sqrt (exp x)))) (/ (+ (exp (* 3 x)) 1) (- (sqrt (fma (exp x) (exp x) 1)) (sqrt (exp x)))) (/ 1 1) (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x))) (/ 1 (* (cbrt (- (fma (exp x) (exp x) 1) (exp x))) (cbrt (- (fma (exp x) (exp x) 1) (exp x))))) (/ (+ (exp (* 3 x)) 1) (cbrt (- (fma (exp x) (exp x) 1) (exp x)))) (/ 1 (sqrt (- (fma (exp x) (exp x) 1) (exp x)))) (/ (+ (exp (* 3 x)) 1) (sqrt (- (fma (exp x) (exp x) 1) (exp x)))) (/ 1 1) (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x))) (/ 1 (+ (sqrt (fma (exp x) (exp x) 1)) (sqrt (exp x)))) (/ (+ (exp (* 3 x)) 1) (- (sqrt (fma (exp x) (exp x) 1)) (sqrt (exp x)))) (/ 1 1) (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x))) (/ 1 (- (fma (exp x) (exp x) 1) (exp x))) (/ (- (fma (exp x) (exp x) 1) (exp x)) (+ (exp (* 3 x)) 1)) (/ (+ (exp (* 3 x)) 1) (* (cbrt (- (fma (exp x) (exp x) 1) (exp x))) (cbrt (- (fma (exp x) (exp x) 1) (exp x))))) (/ (+ (exp (* 3 x)) 1) (sqrt (- (fma (exp x) (exp x) 1) (exp x)))) (/ (+ (exp (* 3 x)) 1) 1) (/ (+ (exp (* 3 x)) 1) (+ (sqrt (fma (exp x) (exp x) 1)) (sqrt (exp x)))) (/ (+ (exp (* 3 x)) 1) 1) (/ (- (fma (exp x) (exp x) 1) (exp x)) (cbrt (+ (exp (* 3 x)) 1))) (/ (- (fma (exp x) (exp x) 1) (exp x)) (sqrt (+ (exp (* 3 x)) 1))) (/ (- (fma (exp x) (exp x) 1) (exp x)) (+ (exp (* 3 x)) 1)) (/ (- (fma (exp x) (exp x) 1) (exp x)) (+ (exp (* 3 x)) 1)) (/ (+ (exp (* 3 x)) 1) (- (pow (fma (exp x) (exp x) 1) 3) (pow (exp x) 3))) (/ (+ (exp (* 3 x)) 1) (- (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)) (* (exp x) (exp x)))) (* (- (fma (exp x) (exp x) 1) (exp x)) (+ (* (exp (* 3 x)) (exp (* 3 x))) (- (* 1 1) (* (exp (* 3 x)) 1)))) (* (- (fma (exp x) (exp x) 1) (exp x)) (- (exp (* 3 x)) 1)) (real->posit16 (/ (+ (exp (* 3 x)) 1) (- (fma (exp x) (exp x) 1) (exp x)))) (expm1 (exp (* 3 x))) (log1p (exp (* 3 x))) (exp 3) (log (exp (* 3 x))) (exp (exp (* 3 x))) (* (cbrt (exp (* 3 x))) (cbrt (exp (* 3 x)))) (cbrt (exp (* 3 x))) (* (* (exp (* 3 x)) (exp (* 3 x))) (exp (* 3 x))) (sqrt (exp (* 3 x))) (sqrt (exp (* 3 x))) (real->posit16 (exp (* 3 x))) (+ x (+ (* 3/2 (pow x 2)) 1)) (- (+ (pow (exp x) 2) 1) (exp x)) (- (+ (pow (exp x) 2) 1) (exp x)) (+ (* 3 x) (+ (* 9/2 (pow x 2)) 2)) (+ (exp (* 3 x)) 1) (+ (exp (* 3 x)) 1) (+ x (+ (* 1/2 (pow x 2)) 2)) (/ (+ (exp (* 3 x)) 1) (- (+ (pow (exp x) 2) 1) (exp x))) (/ (+ (exp (* 3 x)) 1) (- (+ (pow (exp x) 2) 1) (exp x))) (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1)) (exp (* 3 x)) (exp (* 3 x)) 6.463 * * [simplify]: iteration 0: 162 enodes 6.526 * * [simplify]: iteration 1: 367 enodes 6.725 * * [simplify]: iteration 2: 915 enodes 7.196 * * [simplify]: iteration 3: 2879 enodes 8.380 * * [simplify]: iteration complete: 5000 enodes 8.380 * * [simplify]: Extracting #0: cost 89 inf + 0 8.382 * * [simplify]: Extracting #1: cost 705 inf + 1 8.387 * * [simplify]: Extracting #2: cost 1102 inf + 1133 8.395 * * [simplify]: Extracting #3: cost 983 inf + 27672 8.435 * * [simplify]: Extracting #4: cost 489 inf + 180116 8.517 * * [simplify]: Extracting #5: cost 43 inf + 363370 8.607 * * [simplify]: Extracting #6: cost 0 inf + 383831 8.717 * [simplify]: Simplified to: (fma (exp x) (exp x) (- 1 (exp x))) (fma (exp x) -1 (exp x)) (fma (exp x) (exp x) (- 1 (exp x))) (fma (exp x) -1 (exp x)) (fma (exp x) (exp x) (- 1 (exp x))) (fma (exp x) -1 (exp x)) (fma (exp x) (exp x) (- 1 (exp x))) (fma (exp x) -1 (exp x)) (fma (exp x) (exp x) (- 1 (exp x))) (fma (exp x) -1 (exp x)) (fma (exp x) (exp x) (- 1 (exp x))) (fma (exp x) -1 (exp x)) (fma (exp x) (exp x) (- 1 (exp x))) (fma (exp x) -1 (exp x)) (fma (exp x) (exp x) (- 1 (exp x))) (fma (exp x) -1 (exp x)) (fma (exp x) (exp x) (- 1 (exp x))) (fma (exp x) -1 (exp x)) (expm1 (fma (exp x) (exp x) (- 1 (exp x)))) (log1p (fma (exp x) (exp x) (- 1 (exp x)))) (- (exp x)) (- (exp x)) (- (exp x)) (exp (fma (exp x) (exp x) (- 1 (exp x)))) (log (fma (exp x) (exp x) (- 1 (exp x)))) (exp (fma (exp x) (exp x) (- 1 (exp x)))) (* (cbrt (fma (exp x) (exp x) (- 1 (exp x)))) (cbrt (fma (exp x) (exp x) (- 1 (exp x))))) (cbrt (fma (exp x) (exp x) (- 1 (exp x)))) (* (fma (exp x) (exp x) (- 1 (exp x))) (* (fma (exp x) (exp x) (- 1 (exp x))) (fma (exp x) (exp x) (- 1 (exp x))))) (sqrt (fma (exp x) (exp x) (- 1 (exp x)))) (sqrt (fma (exp x) (exp x) (- 1 (exp x)))) (fma (* (- (exp x)) (exp x)) (exp x) (* (fma (exp x) (exp x) 1) (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)))) (fma (exp x) (exp x) (fma (exp x) (fma (exp x) (exp x) 1) (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)))) (- (exp x)) (fma (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1) (* (- (exp x)) (exp x))) (+ 1 (fma (exp x) (exp x) (exp x))) (+ (hypot (exp x) 1) (sqrt (exp x))) (- (hypot (exp x) 1) (sqrt (exp x))) (fma (exp x) (exp x) (- 1 (exp x))) (- 1 (exp x)) (- (exp x)) (real->posit16 (fma (exp x) (exp x) (- 1 (exp x)))) (expm1 (+ (exp (* x 3)) 1)) (log1p (+ (exp (* x 3)) 1)) (exp (+ (exp (* x 3)) 1)) (log1p (exp (* x 3))) (exp (+ (exp (* x 3)) 1)) (* (cbrt (+ (exp (* x 3)) 1)) (cbrt (+ (exp (* x 3)) 1))) (cbrt (+ (exp (* x 3)) 1)) (* (* (+ (exp (* x 3)) 1) (+ (exp (* x 3)) 1)) (+ (exp (* x 3)) 1)) (sqrt (+ (exp (* x 3)) 1)) (sqrt (+ (exp (* x 3)) 1)) (+ 1 (exp (fma 3 x (* x 6)))) (fma (exp (* x 3)) (exp (* x 3)) (- 1 (exp (* x 3)))) (expm1 (* x 6)) (expm1 (* x 3)) (+ (exp (* x 3)) 1) (real->posit16 (+ (exp (* x 3)) 1)) (expm1 (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x))))) (log1p (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x))))) (log (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x))))) (log (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x))))) (exp (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x))))) (* (* (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x)))) (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x))))) (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x))))) (* (cbrt (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x))))) (cbrt (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x)))))) (cbrt (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x))))) (* (* (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x)))) (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x))))) (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x))))) (sqrt (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x))))) (sqrt (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x))))) (fma -1 (exp (* x 3)) -1) (- (fma (exp x) (exp x) (- 1 (exp x)))) (* (/ (cbrt (+ (exp (* x 3)) 1)) (cbrt (fma (exp x) (exp x) (- 1 (exp x))))) (/ (cbrt (+ (exp (* x 3)) 1)) (cbrt (fma (exp x) (exp x) (- 1 (exp x)))))) (/ (cbrt (+ (exp (* x 3)) 1)) (cbrt (fma (exp x) (exp x) (- 1 (exp x))))) (/ (* (cbrt (+ (exp (* x 3)) 1)) (cbrt (+ (exp (* x 3)) 1))) (sqrt (fma (exp x) (exp x) (- 1 (exp x))))) (/ (cbrt (+ (exp (* x 3)) 1)) (sqrt (fma (exp x) (exp x) (- 1 (exp x))))) (* (cbrt (+ (exp (* x 3)) 1)) (cbrt (+ (exp (* x 3)) 1))) (/ (cbrt (+ (exp (* x 3)) 1)) (fma (exp x) (exp x) (- 1 (exp x)))) (/ (cbrt (+ (exp (* x 3)) 1)) (/ (+ (hypot (exp x) 1) (sqrt (exp x))) (cbrt (+ (exp (* x 3)) 1)))) (/ (cbrt (+ (exp (* x 3)) 1)) (- (hypot (exp x) 1) (sqrt (exp x)))) (* (cbrt (+ (exp (* x 3)) 1)) (cbrt (+ (exp (* x 3)) 1))) (/ (cbrt (+ (exp (* x 3)) 1)) (fma (exp x) (exp x) (- 1 (exp x)))) (/ (/ (sqrt (+ (exp (* x 3)) 1)) (cbrt (fma (exp x) (exp x) (- 1 (exp x))))) (cbrt (fma (exp x) (exp x) (- 1 (exp x))))) (/ (sqrt (+ (exp (* x 3)) 1)) (cbrt (fma (exp x) (exp x) (- 1 (exp x))))) (/ (sqrt (+ (exp (* x 3)) 1)) (sqrt (fma (exp x) (exp x) (- 1 (exp x))))) (/ (sqrt (+ (exp (* x 3)) 1)) (sqrt (fma (exp x) (exp x) (- 1 (exp x))))) (sqrt (+ (exp (* x 3)) 1)) (/ (sqrt (+ (exp (* x 3)) 1)) (fma (exp x) (exp x) (- 1 (exp x)))) (/ (sqrt (+ (exp (* x 3)) 1)) (+ (hypot (exp x) 1) (sqrt (exp x)))) (/ (sqrt (+ (exp (* x 3)) 1)) (- (hypot (exp x) 1) (sqrt (exp x)))) (sqrt (+ (exp (* x 3)) 1)) (/ (sqrt (+ (exp (* x 3)) 1)) (fma (exp x) (exp x) (- 1 (exp x)))) (* (/ 1 (cbrt (fma (exp x) (exp x) (- 1 (exp x))))) (/ 1 (cbrt (fma (exp x) (exp x) (- 1 (exp x)))))) (/ (+ (exp (* x 3)) 1) (cbrt (fma (exp x) (exp x) (- 1 (exp x))))) (/ 1 (sqrt (fma (exp x) (exp x) (- 1 (exp x))))) (/ (+ (exp (* x 3)) 1) (sqrt (fma (exp x) (exp x) (- 1 (exp x))))) 1 (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x)))) (/ 1 (+ (hypot (exp x) 1) (sqrt (exp x)))) (/ (+ (exp (* x 3)) 1) (- (hypot (exp x) 1) (sqrt (exp x)))) 1 (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x)))) (* (/ 1 (cbrt (fma (exp x) (exp x) (- 1 (exp x))))) (/ 1 (cbrt (fma (exp x) (exp x) (- 1 (exp x)))))) (/ (+ (exp (* x 3)) 1) (cbrt (fma (exp x) (exp x) (- 1 (exp x))))) (/ 1 (sqrt (fma (exp x) (exp x) (- 1 (exp x))))) (/ (+ (exp (* x 3)) 1) (sqrt (fma (exp x) (exp x) (- 1 (exp x))))) 1 (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x)))) (/ 1 (+ (hypot (exp x) 1) (sqrt (exp x)))) (/ (+ (exp (* x 3)) 1) (- (hypot (exp x) 1) (sqrt (exp x)))) 1 (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x)))) (/ 1 (fma (exp x) (exp x) (- 1 (exp x)))) (/ (fma (exp x) (exp x) (- 1 (exp x))) (+ (exp (* x 3)) 1)) (/ (+ (exp (* x 3)) 1) (* (cbrt (fma (exp x) (exp x) (- 1 (exp x)))) (cbrt (fma (exp x) (exp x) (- 1 (exp x)))))) (/ (+ (exp (* x 3)) 1) (sqrt (fma (exp x) (exp x) (- 1 (exp x))))) (+ (exp (* x 3)) 1) (/ (+ (exp (* x 3)) 1) (+ (hypot (exp x) 1) (sqrt (exp x)))) (+ (exp (* x 3)) 1) (/ (fma (exp x) (exp x) (- 1 (exp x))) (cbrt (+ (exp (* x 3)) 1))) (/ (fma (exp x) (exp x) (- 1 (exp x))) (sqrt (+ (exp (* x 3)) 1))) (/ (fma (exp x) (exp x) (- 1 (exp x))) (+ (exp (* x 3)) 1)) (/ (fma (exp x) (exp x) (- 1 (exp x))) (+ (exp (* x 3)) 1)) (/ (+ (exp (* x 3)) 1) (fma (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)) (fma (exp x) (exp x) 1) (- (exp (* x 3))))) (/ (+ (exp (* x 3)) 1) (fma (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1) (* (- (exp x)) (exp x)))) (* (fma (exp x) (exp x) (- 1 (exp x))) (fma (exp (* x 3)) (exp (* x 3)) (- 1 (exp (* x 3))))) (* (expm1 (* x 3)) (fma (exp x) (exp x) (- 1 (exp x)))) (real->posit16 (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x))))) (expm1 (exp (* x 3))) (log1p (exp (* x 3))) (exp 3) (* x 3) (exp (exp (* x 3))) (exp (+ x x)) (exp x) (exp (fma 3 x (* x 6))) (sqrt (exp (* x 3))) (sqrt (exp (* x 3))) (real->posit16 (exp (* x 3))) (fma (fma x 3/2 1) x 1) (fma (exp x) (exp x) (- 1 (exp x))) (fma (exp x) (exp x) (- 1 (exp x))) (fma (* 9/2 x) x (fma x 3 2)) (+ (exp (* x 3)) 1) (+ (exp (* x 3)) 1) (fma (fma 1/2 x 1) x 2) (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x)))) (/ (+ (exp (* x 3)) 1) (fma (exp x) (exp x) (- 1 (exp x)))) (fma x 3 (fma (* x x) 9/2 1)) (exp (* x 3)) (exp (* x 3)) 8.726 * * * [progress]: adding candidates to table 9.347 * * [progress]: iteration 3 / 4 9.347 * * * [progress]: picking best candidate 9.350 * * * * [pick]: Picked # 9.350 * * * [progress]: localizing error 9.398 * * * [progress]: generating rewritten candidates 9.398 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 9.399 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 9.404 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 9.404 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 9.414 * * * [progress]: generating series expansions 9.414 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 9.414 * [backup-simplify]: Simplify (expm1 (* x 6)) into (expm1 (* 6 x)) 9.414 * [approximate]: Taking taylor expansion of (expm1 (* 6 x)) in (x) around 0 9.414 * [taylor]: Taking taylor expansion of (expm1 (* 6 x)) in x 9.414 * [taylor]: Rewrote expression to (- (exp (* 6 x)) 1) 9.414 * [taylor]: Taking taylor expansion of (exp (* 6 x)) in x 9.414 * [taylor]: Taking taylor expansion of (* 6 x) in x 9.414 * [taylor]: Taking taylor expansion of 6 in x 9.414 * [backup-simplify]: Simplify 6 into 6 9.414 * [taylor]: Taking taylor expansion of x in x 9.414 * [backup-simplify]: Simplify 0 into 0 9.414 * [backup-simplify]: Simplify 1 into 1 9.415 * [backup-simplify]: Simplify (* 6 0) into 0 9.415 * [backup-simplify]: Simplify (+ (* 6 1) (* 0 0)) into 6 9.415 * [backup-simplify]: Simplify (exp 0) into 1 9.415 * [taylor]: Taking taylor expansion of 1 in x 9.415 * [backup-simplify]: Simplify 1 into 1 9.415 * [taylor]: Taking taylor expansion of (expm1 (* 6 x)) in x 9.415 * [taylor]: Rewrote expression to (- (exp (* 6 x)) 1) 9.415 * [taylor]: Taking taylor expansion of (exp (* 6 x)) in x 9.415 * [taylor]: Taking taylor expansion of (* 6 x) in x 9.416 * [taylor]: Taking taylor expansion of 6 in x 9.416 * [backup-simplify]: Simplify 6 into 6 9.416 * [taylor]: Taking taylor expansion of x in x 9.416 * [backup-simplify]: Simplify 0 into 0 9.416 * [backup-simplify]: Simplify 1 into 1 9.416 * [backup-simplify]: Simplify (* 6 0) into 0 9.417 * [backup-simplify]: Simplify (+ (* 6 1) (* 0 0)) into 6 9.417 * [backup-simplify]: Simplify (exp 0) into 1 9.417 * [taylor]: Taking taylor expansion of 1 in x 9.417 * [backup-simplify]: Simplify 1 into 1 9.417 * [backup-simplify]: Simplify (- 1) into -1 9.418 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.418 * [backup-simplify]: Simplify 0 into 0 9.419 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 6 1) 1)))) into 6 9.419 * [backup-simplify]: Simplify (- 0) into 0 9.420 * [backup-simplify]: Simplify (+ 6 0) into 6 9.420 * [backup-simplify]: Simplify 6 into 6 9.421 * [backup-simplify]: Simplify (+ (* 6 0) (+ (* 0 1) (* 0 0))) into 0 9.422 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 6 2) 2)) (* (/ (pow 0 1) 1)))) into 18 9.423 * [backup-simplify]: Simplify (- 0) into 0 9.430 * [backup-simplify]: Simplify (+ 18 0) into 18 9.430 * [backup-simplify]: Simplify 18 into 18 9.432 * [backup-simplify]: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 9.434 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 6 3) 6)) (* (/ (pow 6 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 36 9.434 * [backup-simplify]: Simplify (- 0) into 0 9.435 * [backup-simplify]: Simplify (+ 36 0) into 36 9.435 * [backup-simplify]: Simplify 36 into 36 9.436 * [backup-simplify]: Simplify (+ (* 36 (pow x 3)) (+ (* 18 (pow x 2)) (* 6 x))) into (+ (* 6 x) (+ (* 36 (pow x 3)) (* 18 (pow x 2)))) 9.436 * [backup-simplify]: Simplify (expm1 (* (/ 1 x) 6)) into (expm1 (/ 6 x)) 9.436 * [approximate]: Taking taylor expansion of (expm1 (/ 6 x)) in (x) around 0 9.436 * [taylor]: Taking taylor expansion of (expm1 (/ 6 x)) in x 9.436 * [taylor]: Rewrote expression to (- (exp (/ 6 x)) 1) 9.436 * [taylor]: Taking taylor expansion of (exp (/ 6 x)) in x 9.436 * [taylor]: Taking taylor expansion of (/ 6 x) in x 9.436 * [taylor]: Taking taylor expansion of 6 in x 9.436 * [backup-simplify]: Simplify 6 into 6 9.436 * [taylor]: Taking taylor expansion of x in x 9.436 * [backup-simplify]: Simplify 0 into 0 9.436 * [backup-simplify]: Simplify 1 into 1 9.436 * [backup-simplify]: Simplify (/ 6 1) into 6 9.436 * [backup-simplify]: Simplify (exp (/ 6 x)) into (exp (/ 6 x)) 9.436 * [taylor]: Taking taylor expansion of 1 in x 9.436 * [backup-simplify]: Simplify 1 into 1 9.436 * [taylor]: Taking taylor expansion of (expm1 (/ 6 x)) in x 9.436 * [taylor]: Rewrote expression to (- (exp (/ 6 x)) 1) 9.436 * [taylor]: Taking taylor expansion of (exp (/ 6 x)) in x 9.436 * [taylor]: Taking taylor expansion of (/ 6 x) in x 9.436 * [taylor]: Taking taylor expansion of 6 in x 9.436 * [backup-simplify]: Simplify 6 into 6 9.436 * [taylor]: Taking taylor expansion of x in x 9.436 * [backup-simplify]: Simplify 0 into 0 9.436 * [backup-simplify]: Simplify 1 into 1 9.437 * [backup-simplify]: Simplify (/ 6 1) into 6 9.437 * [backup-simplify]: Simplify (exp (/ 6 x)) into (exp (/ 6 x)) 9.437 * [taylor]: Taking taylor expansion of 1 in x 9.437 * [backup-simplify]: Simplify 1 into 1 9.437 * [backup-simplify]: Simplify (- 1) into -1 9.437 * [backup-simplify]: Simplify (+ (exp (/ 6 x)) -1) into (- (exp (/ 6 x)) 1) 9.437 * [backup-simplify]: Simplify (- (exp (/ 6 x)) 1) into (- (exp (/ 6 x)) 1) 9.437 * [backup-simplify]: Simplify (- 0) into 0 9.438 * [backup-simplify]: Simplify (+ 0 0) into 0 9.438 * [backup-simplify]: Simplify 0 into 0 9.438 * [backup-simplify]: Simplify (- 0) into 0 9.438 * [backup-simplify]: Simplify (+ 0 0) into 0 9.438 * [backup-simplify]: Simplify 0 into 0 9.438 * [backup-simplify]: Simplify (- 0) into 0 9.439 * [backup-simplify]: Simplify (+ 0 0) into 0 9.439 * [backup-simplify]: Simplify 0 into 0 9.439 * [backup-simplify]: Simplify (- 0) into 0 9.439 * [backup-simplify]: Simplify (+ 0 0) into 0 9.439 * [backup-simplify]: Simplify 0 into 0 9.440 * [backup-simplify]: Simplify (- 0) into 0 9.440 * [backup-simplify]: Simplify (+ 0 0) into 0 9.440 * [backup-simplify]: Simplify 0 into 0 9.440 * [backup-simplify]: Simplify (- 0) into 0 9.440 * [backup-simplify]: Simplify (+ 0 0) into 0 9.440 * [backup-simplify]: Simplify 0 into 0 9.440 * [backup-simplify]: Simplify (- (exp (/ 6 (/ 1 x))) 1) into (- (exp (* 6 x)) 1) 9.441 * [backup-simplify]: Simplify (expm1 (* (/ 1 (- x)) 6)) into (expm1 (/ -6 x)) 9.441 * [approximate]: Taking taylor expansion of (expm1 (/ -6 x)) in (x) around 0 9.441 * [taylor]: Taking taylor expansion of (expm1 (/ -6 x)) in x 9.441 * [taylor]: Rewrote expression to (- (exp (/ -6 x)) 1) 9.441 * [taylor]: Taking taylor expansion of (exp (/ -6 x)) in x 9.441 * [taylor]: Taking taylor expansion of (/ -6 x) in x 9.441 * [taylor]: Taking taylor expansion of -6 in x 9.441 * [backup-simplify]: Simplify -6 into -6 9.441 * [taylor]: Taking taylor expansion of x in x 9.441 * [backup-simplify]: Simplify 0 into 0 9.441 * [backup-simplify]: Simplify 1 into 1 9.441 * [backup-simplify]: Simplify (/ -6 1) into -6 9.441 * [backup-simplify]: Simplify (exp (/ -6 x)) into (exp (/ -6 x)) 9.441 * [taylor]: Taking taylor expansion of 1 in x 9.441 * [backup-simplify]: Simplify 1 into 1 9.441 * [taylor]: Taking taylor expansion of (expm1 (/ -6 x)) in x 9.441 * [taylor]: Rewrote expression to (- (exp (/ -6 x)) 1) 9.441 * [taylor]: Taking taylor expansion of (exp (/ -6 x)) in x 9.441 * [taylor]: Taking taylor expansion of (/ -6 x) in x 9.441 * [taylor]: Taking taylor expansion of -6 in x 9.441 * [backup-simplify]: Simplify -6 into -6 9.441 * [taylor]: Taking taylor expansion of x in x 9.441 * [backup-simplify]: Simplify 0 into 0 9.441 * [backup-simplify]: Simplify 1 into 1 9.442 * [backup-simplify]: Simplify (/ -6 1) into -6 9.442 * [backup-simplify]: Simplify (exp (/ -6 x)) into (exp (/ -6 x)) 9.442 * [taylor]: Taking taylor expansion of 1 in x 9.442 * [backup-simplify]: Simplify 1 into 1 9.442 * [backup-simplify]: Simplify (- 1) into -1 9.442 * [backup-simplify]: Simplify (+ (exp (/ -6 x)) -1) into (- (exp (/ -6 x)) 1) 9.442 * [backup-simplify]: Simplify (- (exp (/ -6 x)) 1) into (- (exp (/ -6 x)) 1) 9.442 * [backup-simplify]: Simplify (- 0) into 0 9.443 * [backup-simplify]: Simplify (+ 0 0) into 0 9.443 * [backup-simplify]: Simplify 0 into 0 9.443 * [backup-simplify]: Simplify (- 0) into 0 9.443 * [backup-simplify]: Simplify (+ 0 0) into 0 9.443 * [backup-simplify]: Simplify 0 into 0 9.443 * [backup-simplify]: Simplify (- 0) into 0 9.444 * [backup-simplify]: Simplify (+ 0 0) into 0 9.444 * [backup-simplify]: Simplify 0 into 0 9.444 * [backup-simplify]: Simplify (- 0) into 0 9.444 * [backup-simplify]: Simplify (+ 0 0) into 0 9.444 * [backup-simplify]: Simplify 0 into 0 9.444 * [backup-simplify]: Simplify (- 0) into 0 9.444 * [backup-simplify]: Simplify (+ 0 0) into 0 9.445 * [backup-simplify]: Simplify 0 into 0 9.445 * [backup-simplify]: Simplify (- 0) into 0 9.445 * [backup-simplify]: Simplify (+ 0 0) into 0 9.445 * [backup-simplify]: Simplify 0 into 0 9.445 * [backup-simplify]: Simplify (- (exp (/ -6 (/ 1 (- x)))) 1) into (- (exp (* 6 x)) 1) 9.445 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 9.445 * [backup-simplify]: Simplify (/ (expm1 (* x 6)) (expm1 (* x 3))) into (/ (expm1 (* 6 x)) (expm1 (* 3 x))) 9.445 * [approximate]: Taking taylor expansion of (/ (expm1 (* 6 x)) (expm1 (* 3 x))) in (x) around 0 9.445 * [taylor]: Taking taylor expansion of (/ (expm1 (* 6 x)) (expm1 (* 3 x))) in x 9.445 * [taylor]: Taking taylor expansion of (expm1 (* 6 x)) in x 9.445 * [taylor]: Rewrote expression to (- (exp (* 6 x)) 1) 9.445 * [taylor]: Taking taylor expansion of (exp (* 6 x)) in x 9.445 * [taylor]: Taking taylor expansion of (* 6 x) in x 9.445 * [taylor]: Taking taylor expansion of 6 in x 9.445 * [backup-simplify]: Simplify 6 into 6 9.445 * [taylor]: Taking taylor expansion of x in x 9.445 * [backup-simplify]: Simplify 0 into 0 9.446 * [backup-simplify]: Simplify 1 into 1 9.446 * [backup-simplify]: Simplify (* 6 0) into 0 9.446 * [backup-simplify]: Simplify (+ (* 6 1) (* 0 0)) into 6 9.446 * [backup-simplify]: Simplify (exp 0) into 1 9.446 * [taylor]: Taking taylor expansion of 1 in x 9.446 * [backup-simplify]: Simplify 1 into 1 9.446 * [taylor]: Taking taylor expansion of (expm1 (* 3 x)) in x 9.446 * [taylor]: Rewrote expression to (- (exp (* 3 x)) 1) 9.446 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 9.446 * [taylor]: Taking taylor expansion of (* 3 x) in x 9.446 * [taylor]: Taking taylor expansion of 3 in x 9.446 * [backup-simplify]: Simplify 3 into 3 9.446 * [taylor]: Taking taylor expansion of x in x 9.446 * [backup-simplify]: Simplify 0 into 0 9.446 * [backup-simplify]: Simplify 1 into 1 9.447 * [backup-simplify]: Simplify (* 3 0) into 0 9.447 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 9.447 * [backup-simplify]: Simplify (exp 0) into 1 9.447 * [taylor]: Taking taylor expansion of 1 in x 9.447 * [backup-simplify]: Simplify 1 into 1 9.447 * [backup-simplify]: Simplify (- 1) into -1 9.448 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.448 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 6 1) 1)))) into 6 9.449 * [backup-simplify]: Simplify (- 0) into 0 9.449 * [backup-simplify]: Simplify (+ 6 0) into 6 9.449 * [backup-simplify]: Simplify (- 1) into -1 9.449 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.450 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 1) 1)))) into 3 9.450 * [backup-simplify]: Simplify (- 0) into 0 9.450 * [backup-simplify]: Simplify (+ 3 0) into 3 9.451 * [backup-simplify]: Simplify (/ 6 3) into 2 9.451 * [taylor]: Taking taylor expansion of (/ (expm1 (* 6 x)) (expm1 (* 3 x))) in x 9.451 * [taylor]: Taking taylor expansion of (expm1 (* 6 x)) in x 9.451 * [taylor]: Rewrote expression to (- (exp (* 6 x)) 1) 9.451 * [taylor]: Taking taylor expansion of (exp (* 6 x)) in x 9.451 * [taylor]: Taking taylor expansion of (* 6 x) in x 9.451 * [taylor]: Taking taylor expansion of 6 in x 9.451 * [backup-simplify]: Simplify 6 into 6 9.451 * [taylor]: Taking taylor expansion of x in x 9.451 * [backup-simplify]: Simplify 0 into 0 9.451 * [backup-simplify]: Simplify 1 into 1 9.451 * [backup-simplify]: Simplify (* 6 0) into 0 9.452 * [backup-simplify]: Simplify (+ (* 6 1) (* 0 0)) into 6 9.452 * [backup-simplify]: Simplify (exp 0) into 1 9.452 * [taylor]: Taking taylor expansion of 1 in x 9.452 * [backup-simplify]: Simplify 1 into 1 9.452 * [taylor]: Taking taylor expansion of (expm1 (* 3 x)) in x 9.452 * [taylor]: Rewrote expression to (- (exp (* 3 x)) 1) 9.452 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 9.452 * [taylor]: Taking taylor expansion of (* 3 x) in x 9.452 * [taylor]: Taking taylor expansion of 3 in x 9.452 * [backup-simplify]: Simplify 3 into 3 9.452 * [taylor]: Taking taylor expansion of x in x 9.452 * [backup-simplify]: Simplify 0 into 0 9.452 * [backup-simplify]: Simplify 1 into 1 9.452 * [backup-simplify]: Simplify (* 3 0) into 0 9.453 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 9.453 * [backup-simplify]: Simplify (exp 0) into 1 9.453 * [taylor]: Taking taylor expansion of 1 in x 9.453 * [backup-simplify]: Simplify 1 into 1 9.453 * [backup-simplify]: Simplify (- 1) into -1 9.453 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.454 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 6 1) 1)))) into 6 9.454 * [backup-simplify]: Simplify (- 0) into 0 9.454 * [backup-simplify]: Simplify (+ 6 0) into 6 9.454 * [backup-simplify]: Simplify (- 1) into -1 9.455 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.455 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 1) 1)))) into 3 9.456 * [backup-simplify]: Simplify (- 0) into 0 9.456 * [backup-simplify]: Simplify (+ 3 0) into 3 9.456 * [backup-simplify]: Simplify (/ 6 3) into 2 9.456 * [backup-simplify]: Simplify 2 into 2 9.457 * [backup-simplify]: Simplify (+ (* 6 0) (+ (* 0 1) (* 0 0))) into 0 9.458 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 6 2) 2)) (* (/ (pow 0 1) 1)))) into 18 9.458 * [backup-simplify]: Simplify (- 0) into 0 9.458 * [backup-simplify]: Simplify (+ 18 0) into 18 9.459 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 9.460 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into 9/2 9.460 * [backup-simplify]: Simplify (- 0) into 0 9.460 * [backup-simplify]: Simplify (+ 9/2 0) into 9/2 9.461 * [backup-simplify]: Simplify (- (/ 18 3) (+ (* 2 (/ 9/2 3)))) into 3 9.461 * [backup-simplify]: Simplify 3 into 3 9.461 * [backup-simplify]: Simplify (+ (* 6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 9.463 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 6 3) 6)) (* (/ (pow 6 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 36 9.463 * [backup-simplify]: Simplify (- 0) into 0 9.463 * [backup-simplify]: Simplify (+ 36 0) into 36 9.464 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 9.465 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 3) 6)) (* (/ (pow 3 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 9/2 9.465 * [backup-simplify]: Simplify (- 0) into 0 9.466 * [backup-simplify]: Simplify (+ 9/2 0) into 9/2 9.466 * [backup-simplify]: Simplify (- (/ 36 3) (+ (* 2 (/ 9/2 3)) (* 3 (/ 9/2 3)))) into 9/2 9.466 * [backup-simplify]: Simplify 9/2 into 9/2 9.466 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 2)) into (+ (* 3 x) (+ (* 9/2 (pow x 2)) 2)) 9.467 * [backup-simplify]: Simplify (/ (expm1 (* (/ 1 x) 6)) (expm1 (* (/ 1 x) 3))) into (/ (expm1 (/ 6 x)) (expm1 (/ 3 x))) 9.467 * [approximate]: Taking taylor expansion of (/ (expm1 (/ 6 x)) (expm1 (/ 3 x))) in (x) around 0 9.467 * [taylor]: Taking taylor expansion of (/ (expm1 (/ 6 x)) (expm1 (/ 3 x))) in x 9.467 * [taylor]: Taking taylor expansion of (expm1 (/ 6 x)) in x 9.467 * [taylor]: Rewrote expression to (- (exp (/ 6 x)) 1) 9.467 * [taylor]: Taking taylor expansion of (exp (/ 6 x)) in x 9.467 * [taylor]: Taking taylor expansion of (/ 6 x) in x 9.467 * [taylor]: Taking taylor expansion of 6 in x 9.467 * [backup-simplify]: Simplify 6 into 6 9.467 * [taylor]: Taking taylor expansion of x in x 9.467 * [backup-simplify]: Simplify 0 into 0 9.467 * [backup-simplify]: Simplify 1 into 1 9.467 * [backup-simplify]: Simplify (/ 6 1) into 6 9.467 * [backup-simplify]: Simplify (exp (/ 6 x)) into (exp (/ 6 x)) 9.467 * [taylor]: Taking taylor expansion of 1 in x 9.467 * [backup-simplify]: Simplify 1 into 1 9.467 * [taylor]: Taking taylor expansion of (expm1 (/ 3 x)) in x 9.467 * [taylor]: Rewrote expression to (- (exp (/ 3 x)) 1) 9.467 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 9.467 * [taylor]: Taking taylor expansion of (/ 3 x) in x 9.467 * [taylor]: Taking taylor expansion of 3 in x 9.467 * [backup-simplify]: Simplify 3 into 3 9.467 * [taylor]: Taking taylor expansion of x in x 9.467 * [backup-simplify]: Simplify 0 into 0 9.467 * [backup-simplify]: Simplify 1 into 1 9.468 * [backup-simplify]: Simplify (/ 3 1) into 3 9.468 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x)) 9.468 * [taylor]: Taking taylor expansion of 1 in x 9.468 * [backup-simplify]: Simplify 1 into 1 9.468 * [backup-simplify]: Simplify (- 1) into -1 9.468 * [backup-simplify]: Simplify (+ (exp (/ 6 x)) -1) into (- (exp (/ 6 x)) 1) 9.469 * [backup-simplify]: Simplify (- 1) into -1 9.469 * [backup-simplify]: Simplify (+ (exp (/ 3 x)) -1) into (- (exp (/ 3 x)) 1) 9.469 * [backup-simplify]: Simplify (/ (- (exp (/ 6 x)) 1) (- (exp (/ 3 x)) 1)) into (/ (- (exp (/ 6 x)) 1) (- (exp (/ 3 x)) 1)) 9.469 * [taylor]: Taking taylor expansion of (/ (expm1 (/ 6 x)) (expm1 (/ 3 x))) in x 9.469 * [taylor]: Taking taylor expansion of (expm1 (/ 6 x)) in x 9.469 * [taylor]: Rewrote expression to (- (exp (/ 6 x)) 1) 9.470 * [taylor]: Taking taylor expansion of (exp (/ 6 x)) in x 9.470 * [taylor]: Taking taylor expansion of (/ 6 x) in x 9.470 * [taylor]: Taking taylor expansion of 6 in x 9.470 * [backup-simplify]: Simplify 6 into 6 9.470 * [taylor]: Taking taylor expansion of x in x 9.470 * [backup-simplify]: Simplify 0 into 0 9.470 * [backup-simplify]: Simplify 1 into 1 9.470 * [backup-simplify]: Simplify (/ 6 1) into 6 9.470 * [backup-simplify]: Simplify (exp (/ 6 x)) into (exp (/ 6 x)) 9.470 * [taylor]: Taking taylor expansion of 1 in x 9.470 * [backup-simplify]: Simplify 1 into 1 9.470 * [taylor]: Taking taylor expansion of (expm1 (/ 3 x)) in x 9.470 * [taylor]: Rewrote expression to (- (exp (/ 3 x)) 1) 9.470 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 9.470 * [taylor]: Taking taylor expansion of (/ 3 x) in x 9.471 * [taylor]: Taking taylor expansion of 3 in x 9.471 * [backup-simplify]: Simplify 3 into 3 9.471 * [taylor]: Taking taylor expansion of x in x 9.471 * [backup-simplify]: Simplify 0 into 0 9.471 * [backup-simplify]: Simplify 1 into 1 9.471 * [backup-simplify]: Simplify (/ 3 1) into 3 9.471 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x)) 9.471 * [taylor]: Taking taylor expansion of 1 in x 9.471 * [backup-simplify]: Simplify 1 into 1 9.472 * [backup-simplify]: Simplify (- 1) into -1 9.472 * [backup-simplify]: Simplify (+ (exp (/ 6 x)) -1) into (- (exp (/ 6 x)) 1) 9.472 * [backup-simplify]: Simplify (- 1) into -1 9.472 * [backup-simplify]: Simplify (+ (exp (/ 3 x)) -1) into (- (exp (/ 3 x)) 1) 9.472 * [backup-simplify]: Simplify (/ (- (exp (/ 6 x)) 1) (- (exp (/ 3 x)) 1)) into (/ (- (exp (/ 6 x)) 1) (- (exp (/ 3 x)) 1)) 9.472 * [backup-simplify]: Simplify (/ (- (exp (/ 6 x)) 1) (- (exp (/ 3 x)) 1)) into (/ (- (exp (/ 6 x)) 1) (- (exp (/ 3 x)) 1)) 9.473 * [backup-simplify]: Simplify (- 0) into 0 9.473 * [backup-simplify]: Simplify (+ 0 0) into 0 9.474 * [backup-simplify]: Simplify (- 0) into 0 9.474 * [backup-simplify]: Simplify (+ 0 0) into 0 9.474 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 3 x)) 1)) (+ (* (/ (- (exp (/ 6 x)) 1) (- (exp (/ 3 x)) 1)) (/ 0 (- (exp (/ 3 x)) 1))))) into 0 9.474 * [backup-simplify]: Simplify 0 into 0 9.475 * [backup-simplify]: Simplify (- 0) into 0 9.475 * [backup-simplify]: Simplify (+ 0 0) into 0 9.476 * [backup-simplify]: Simplify (- 0) into 0 9.476 * [backup-simplify]: Simplify (+ 0 0) into 0 9.476 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 3 x)) 1)) (+ (* (/ (- (exp (/ 6 x)) 1) (- (exp (/ 3 x)) 1)) (/ 0 (- (exp (/ 3 x)) 1))) (* 0 (/ 0 (- (exp (/ 3 x)) 1))))) into 0 9.476 * [backup-simplify]: Simplify 0 into 0 9.477 * [backup-simplify]: Simplify (- 0) into 0 9.477 * [backup-simplify]: Simplify (+ 0 0) into 0 9.477 * [backup-simplify]: Simplify (- 0) into 0 9.478 * [backup-simplify]: Simplify (+ 0 0) into 0 9.478 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 3 x)) 1)) (+ (* (/ (- (exp (/ 6 x)) 1) (- (exp (/ 3 x)) 1)) (/ 0 (- (exp (/ 3 x)) 1))) (* 0 (/ 0 (- (exp (/ 3 x)) 1))) (* 0 (/ 0 (- (exp (/ 3 x)) 1))))) into 0 9.478 * [backup-simplify]: Simplify 0 into 0 9.479 * [backup-simplify]: Simplify (- 0) into 0 9.479 * [backup-simplify]: Simplify (+ 0 0) into 0 9.480 * [backup-simplify]: Simplify (- 0) into 0 9.480 * [backup-simplify]: Simplify (+ 0 0) into 0 9.481 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 3 x)) 1)) (+ (* (/ (- (exp (/ 6 x)) 1) (- (exp (/ 3 x)) 1)) (/ 0 (- (exp (/ 3 x)) 1))) (* 0 (/ 0 (- (exp (/ 3 x)) 1))) (* 0 (/ 0 (- (exp (/ 3 x)) 1))) (* 0 (/ 0 (- (exp (/ 3 x)) 1))))) into 0 9.481 * [backup-simplify]: Simplify 0 into 0 9.481 * [backup-simplify]: Simplify (- 0) into 0 9.481 * [backup-simplify]: Simplify (+ 0 0) into 0 9.482 * [backup-simplify]: Simplify (- 0) into 0 9.482 * [backup-simplify]: Simplify (+ 0 0) into 0 9.483 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 3 x)) 1)) (+ (* (/ (- (exp (/ 6 x)) 1) (- (exp (/ 3 x)) 1)) (/ 0 (- (exp (/ 3 x)) 1))) (* 0 (/ 0 (- (exp (/ 3 x)) 1))) (* 0 (/ 0 (- (exp (/ 3 x)) 1))) (* 0 (/ 0 (- (exp (/ 3 x)) 1))) (* 0 (/ 0 (- (exp (/ 3 x)) 1))))) into 0 9.483 * [backup-simplify]: Simplify 0 into 0 9.483 * [backup-simplify]: Simplify (- 0) into 0 9.484 * [backup-simplify]: Simplify (+ 0 0) into 0 9.484 * [backup-simplify]: Simplify (- 0) into 0 9.485 * [backup-simplify]: Simplify (+ 0 0) into 0 9.485 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 3 x)) 1)) (+ (* (/ (- (exp (/ 6 x)) 1) (- (exp (/ 3 x)) 1)) (/ 0 (- (exp (/ 3 x)) 1))) (* 0 (/ 0 (- (exp (/ 3 x)) 1))) (* 0 (/ 0 (- (exp (/ 3 x)) 1))) (* 0 (/ 0 (- (exp (/ 3 x)) 1))) (* 0 (/ 0 (- (exp (/ 3 x)) 1))) (* 0 (/ 0 (- (exp (/ 3 x)) 1))))) into 0 9.485 * [backup-simplify]: Simplify 0 into 0 9.486 * [backup-simplify]: Simplify (/ (- (exp (/ 6 (/ 1 x))) 1) (- (exp (/ 3 (/ 1 x))) 1)) into (/ (- (exp (* 6 x)) 1) (- (exp (* 3 x)) 1)) 9.486 * [backup-simplify]: Simplify (/ (expm1 (* (/ 1 (- x)) 6)) (expm1 (* (/ 1 (- x)) 3))) into (/ (expm1 (/ -6 x)) (expm1 (/ -3 x))) 9.486 * [approximate]: Taking taylor expansion of (/ (expm1 (/ -6 x)) (expm1 (/ -3 x))) in (x) around 0 9.486 * [taylor]: Taking taylor expansion of (/ (expm1 (/ -6 x)) (expm1 (/ -3 x))) in x 9.486 * [taylor]: Taking taylor expansion of (expm1 (/ -6 x)) in x 9.486 * [taylor]: Rewrote expression to (- (exp (/ -6 x)) 1) 9.486 * [taylor]: Taking taylor expansion of (exp (/ -6 x)) in x 9.486 * [taylor]: Taking taylor expansion of (/ -6 x) in x 9.486 * [taylor]: Taking taylor expansion of -6 in x 9.486 * [backup-simplify]: Simplify -6 into -6 9.486 * [taylor]: Taking taylor expansion of x in x 9.486 * [backup-simplify]: Simplify 0 into 0 9.486 * [backup-simplify]: Simplify 1 into 1 9.487 * [backup-simplify]: Simplify (/ -6 1) into -6 9.487 * [backup-simplify]: Simplify (exp (/ -6 x)) into (exp (/ -6 x)) 9.487 * [taylor]: Taking taylor expansion of 1 in x 9.487 * [backup-simplify]: Simplify 1 into 1 9.487 * [taylor]: Taking taylor expansion of (expm1 (/ -3 x)) in x 9.487 * [taylor]: Rewrote expression to (- (exp (/ -3 x)) 1) 9.487 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 9.487 * [taylor]: Taking taylor expansion of (/ -3 x) in x 9.487 * [taylor]: Taking taylor expansion of -3 in x 9.487 * [backup-simplify]: Simplify -3 into -3 9.487 * [taylor]: Taking taylor expansion of x in x 9.487 * [backup-simplify]: Simplify 0 into 0 9.487 * [backup-simplify]: Simplify 1 into 1 9.488 * [backup-simplify]: Simplify (/ -3 1) into -3 9.488 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x)) 9.488 * [taylor]: Taking taylor expansion of 1 in x 9.488 * [backup-simplify]: Simplify 1 into 1 9.488 * [backup-simplify]: Simplify (- 1) into -1 9.488 * [backup-simplify]: Simplify (+ (exp (/ -6 x)) -1) into (- (exp (/ -6 x)) 1) 9.489 * [backup-simplify]: Simplify (- 1) into -1 9.489 * [backup-simplify]: Simplify (+ (exp (/ -3 x)) -1) into (- (exp (/ -3 x)) 1) 9.489 * [backup-simplify]: Simplify (/ (- (exp (/ -6 x)) 1) (- (exp (/ -3 x)) 1)) into (/ (- (exp (/ -6 x)) 1) (- (exp (/ -3 x)) 1)) 9.489 * [taylor]: Taking taylor expansion of (/ (expm1 (/ -6 x)) (expm1 (/ -3 x))) in x 9.489 * [taylor]: Taking taylor expansion of (expm1 (/ -6 x)) in x 9.489 * [taylor]: Rewrote expression to (- (exp (/ -6 x)) 1) 9.489 * [taylor]: Taking taylor expansion of (exp (/ -6 x)) in x 9.489 * [taylor]: Taking taylor expansion of (/ -6 x) in x 9.489 * [taylor]: Taking taylor expansion of -6 in x 9.489 * [backup-simplify]: Simplify -6 into -6 9.489 * [taylor]: Taking taylor expansion of x in x 9.490 * [backup-simplify]: Simplify 0 into 0 9.490 * [backup-simplify]: Simplify 1 into 1 9.490 * [backup-simplify]: Simplify (/ -6 1) into -6 9.490 * [backup-simplify]: Simplify (exp (/ -6 x)) into (exp (/ -6 x)) 9.490 * [taylor]: Taking taylor expansion of 1 in x 9.490 * [backup-simplify]: Simplify 1 into 1 9.490 * [taylor]: Taking taylor expansion of (expm1 (/ -3 x)) in x 9.490 * [taylor]: Rewrote expression to (- (exp (/ -3 x)) 1) 9.490 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 9.490 * [taylor]: Taking taylor expansion of (/ -3 x) in x 9.490 * [taylor]: Taking taylor expansion of -3 in x 9.490 * [backup-simplify]: Simplify -3 into -3 9.490 * [taylor]: Taking taylor expansion of x in x 9.490 * [backup-simplify]: Simplify 0 into 0 9.490 * [backup-simplify]: Simplify 1 into 1 9.491 * [backup-simplify]: Simplify (/ -3 1) into -3 9.491 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x)) 9.491 * [taylor]: Taking taylor expansion of 1 in x 9.491 * [backup-simplify]: Simplify 1 into 1 9.491 * [backup-simplify]: Simplify (- 1) into -1 9.492 * [backup-simplify]: Simplify (+ (exp (/ -6 x)) -1) into (- (exp (/ -6 x)) 1) 9.492 * [backup-simplify]: Simplify (- 1) into -1 9.492 * [backup-simplify]: Simplify (+ (exp (/ -3 x)) -1) into (- (exp (/ -3 x)) 1) 9.492 * [backup-simplify]: Simplify (/ (- (exp (/ -6 x)) 1) (- (exp (/ -3 x)) 1)) into (/ (- (exp (/ -6 x)) 1) (- (exp (/ -3 x)) 1)) 9.492 * [backup-simplify]: Simplify (/ (- (exp (/ -6 x)) 1) (- (exp (/ -3 x)) 1)) into (/ (- (exp (/ -6 x)) 1) (- (exp (/ -3 x)) 1)) 9.493 * [backup-simplify]: Simplify (- 0) into 0 9.493 * [backup-simplify]: Simplify (+ 0 0) into 0 9.494 * [backup-simplify]: Simplify (- 0) into 0 9.494 * [backup-simplify]: Simplify (+ 0 0) into 0 9.494 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -3 x)) 1)) (+ (* (/ (- (exp (/ -6 x)) 1) (- (exp (/ -3 x)) 1)) (/ 0 (- (exp (/ -3 x)) 1))))) into 0 9.494 * [backup-simplify]: Simplify 0 into 0 9.495 * [backup-simplify]: Simplify (- 0) into 0 9.495 * [backup-simplify]: Simplify (+ 0 0) into 0 9.496 * [backup-simplify]: Simplify (- 0) into 0 9.496 * [backup-simplify]: Simplify (+ 0 0) into 0 9.496 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -3 x)) 1)) (+ (* (/ (- (exp (/ -6 x)) 1) (- (exp (/ -3 x)) 1)) (/ 0 (- (exp (/ -3 x)) 1))) (* 0 (/ 0 (- (exp (/ -3 x)) 1))))) into 0 9.496 * [backup-simplify]: Simplify 0 into 0 9.497 * [backup-simplify]: Simplify (- 0) into 0 9.497 * [backup-simplify]: Simplify (+ 0 0) into 0 9.497 * [backup-simplify]: Simplify (- 0) into 0 9.498 * [backup-simplify]: Simplify (+ 0 0) into 0 9.499 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -3 x)) 1)) (+ (* (/ (- (exp (/ -6 x)) 1) (- (exp (/ -3 x)) 1)) (/ 0 (- (exp (/ -3 x)) 1))) (* 0 (/ 0 (- (exp (/ -3 x)) 1))) (* 0 (/ 0 (- (exp (/ -3 x)) 1))))) into 0 9.499 * [backup-simplify]: Simplify 0 into 0 9.499 * [backup-simplify]: Simplify (- 0) into 0 9.499 * [backup-simplify]: Simplify (+ 0 0) into 0 9.500 * [backup-simplify]: Simplify (- 0) into 0 9.500 * [backup-simplify]: Simplify (+ 0 0) into 0 9.501 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -3 x)) 1)) (+ (* (/ (- (exp (/ -6 x)) 1) (- (exp (/ -3 x)) 1)) (/ 0 (- (exp (/ -3 x)) 1))) (* 0 (/ 0 (- (exp (/ -3 x)) 1))) (* 0 (/ 0 (- (exp (/ -3 x)) 1))) (* 0 (/ 0 (- (exp (/ -3 x)) 1))))) into 0 9.501 * [backup-simplify]: Simplify 0 into 0 9.501 * [backup-simplify]: Simplify (- 0) into 0 9.502 * [backup-simplify]: Simplify (+ 0 0) into 0 9.502 * [backup-simplify]: Simplify (- 0) into 0 9.502 * [backup-simplify]: Simplify (+ 0 0) into 0 9.504 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -3 x)) 1)) (+ (* (/ (- (exp (/ -6 x)) 1) (- (exp (/ -3 x)) 1)) (/ 0 (- (exp (/ -3 x)) 1))) (* 0 (/ 0 (- (exp (/ -3 x)) 1))) (* 0 (/ 0 (- (exp (/ -3 x)) 1))) (* 0 (/ 0 (- (exp (/ -3 x)) 1))) (* 0 (/ 0 (- (exp (/ -3 x)) 1))))) into 0 9.504 * [backup-simplify]: Simplify 0 into 0 9.504 * [backup-simplify]: Simplify (- 0) into 0 9.505 * [backup-simplify]: Simplify (+ 0 0) into 0 9.505 * [backup-simplify]: Simplify (- 0) into 0 9.505 * [backup-simplify]: Simplify (+ 0 0) into 0 9.506 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -3 x)) 1)) (+ (* (/ (- (exp (/ -6 x)) 1) (- (exp (/ -3 x)) 1)) (/ 0 (- (exp (/ -3 x)) 1))) (* 0 (/ 0 (- (exp (/ -3 x)) 1))) (* 0 (/ 0 (- (exp (/ -3 x)) 1))) (* 0 (/ 0 (- (exp (/ -3 x)) 1))) (* 0 (/ 0 (- (exp (/ -3 x)) 1))) (* 0 (/ 0 (- (exp (/ -3 x)) 1))))) into 0 9.506 * [backup-simplify]: Simplify 0 into 0 9.506 * [backup-simplify]: Simplify (/ (- (exp (/ -6 (/ 1 (- x)))) 1) (- (exp (/ -3 (/ 1 (- x)))) 1)) into (/ (- (exp (* 6 x)) 1) (- (exp (* 3 x)) 1)) 9.506 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 9.507 * [backup-simplify]: Simplify (expm1 (* x 3)) into (expm1 (* 3 x)) 9.507 * [approximate]: Taking taylor expansion of (expm1 (* 3 x)) in (x) around 0 9.507 * [taylor]: Taking taylor expansion of (expm1 (* 3 x)) in x 9.507 * [taylor]: Rewrote expression to (- (exp (* 3 x)) 1) 9.507 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 9.507 * [taylor]: Taking taylor expansion of (* 3 x) in x 9.507 * [taylor]: Taking taylor expansion of 3 in x 9.507 * [backup-simplify]: Simplify 3 into 3 9.507 * [taylor]: Taking taylor expansion of x in x 9.507 * [backup-simplify]: Simplify 0 into 0 9.507 * [backup-simplify]: Simplify 1 into 1 9.508 * [backup-simplify]: Simplify (* 3 0) into 0 9.508 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 9.508 * [backup-simplify]: Simplify (exp 0) into 1 9.508 * [taylor]: Taking taylor expansion of 1 in x 9.508 * [backup-simplify]: Simplify 1 into 1 9.508 * [taylor]: Taking taylor expansion of (expm1 (* 3 x)) in x 9.509 * [taylor]: Rewrote expression to (- (exp (* 3 x)) 1) 9.509 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 9.509 * [taylor]: Taking taylor expansion of (* 3 x) in x 9.509 * [taylor]: Taking taylor expansion of 3 in x 9.509 * [backup-simplify]: Simplify 3 into 3 9.509 * [taylor]: Taking taylor expansion of x in x 9.509 * [backup-simplify]: Simplify 0 into 0 9.509 * [backup-simplify]: Simplify 1 into 1 9.509 * [backup-simplify]: Simplify (* 3 0) into 0 9.510 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 9.510 * [backup-simplify]: Simplify (exp 0) into 1 9.510 * [taylor]: Taking taylor expansion of 1 in x 9.510 * [backup-simplify]: Simplify 1 into 1 9.510 * [backup-simplify]: Simplify (- 1) into -1 9.511 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.511 * [backup-simplify]: Simplify 0 into 0 9.512 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 1) 1)))) into 3 9.513 * [backup-simplify]: Simplify (- 0) into 0 9.513 * [backup-simplify]: Simplify (+ 3 0) into 3 9.513 * [backup-simplify]: Simplify 3 into 3 9.514 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 9.516 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into 9/2 9.516 * [backup-simplify]: Simplify (- 0) into 0 9.517 * [backup-simplify]: Simplify (+ 9/2 0) into 9/2 9.517 * [backup-simplify]: Simplify 9/2 into 9/2 9.518 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 9.520 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 3) 6)) (* (/ (pow 3 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 9/2 9.521 * [backup-simplify]: Simplify (- 0) into 0 9.521 * [backup-simplify]: Simplify (+ 9/2 0) into 9/2 9.521 * [backup-simplify]: Simplify 9/2 into 9/2 9.521 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 3)) (+ (* 9/2 (pow x 2)) (* 3 x))) into (+ (* 3 x) (+ (* 9/2 (pow x 3)) (* 9/2 (pow x 2)))) 9.522 * [backup-simplify]: Simplify (expm1 (* (/ 1 x) 3)) into (expm1 (/ 3 x)) 9.522 * [approximate]: Taking taylor expansion of (expm1 (/ 3 x)) in (x) around 0 9.522 * [taylor]: Taking taylor expansion of (expm1 (/ 3 x)) in x 9.522 * [taylor]: Rewrote expression to (- (exp (/ 3 x)) 1) 9.522 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 9.522 * [taylor]: Taking taylor expansion of (/ 3 x) in x 9.522 * [taylor]: Taking taylor expansion of 3 in x 9.522 * [backup-simplify]: Simplify 3 into 3 9.522 * [taylor]: Taking taylor expansion of x in x 9.522 * [backup-simplify]: Simplify 0 into 0 9.522 * [backup-simplify]: Simplify 1 into 1 9.522 * [backup-simplify]: Simplify (/ 3 1) into 3 9.522 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x)) 9.522 * [taylor]: Taking taylor expansion of 1 in x 9.523 * [backup-simplify]: Simplify 1 into 1 9.523 * [taylor]: Taking taylor expansion of (expm1 (/ 3 x)) in x 9.523 * [taylor]: Rewrote expression to (- (exp (/ 3 x)) 1) 9.523 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 9.523 * [taylor]: Taking taylor expansion of (/ 3 x) in x 9.523 * [taylor]: Taking taylor expansion of 3 in x 9.523 * [backup-simplify]: Simplify 3 into 3 9.523 * [taylor]: Taking taylor expansion of x in x 9.523 * [backup-simplify]: Simplify 0 into 0 9.523 * [backup-simplify]: Simplify 1 into 1 9.523 * [backup-simplify]: Simplify (/ 3 1) into 3 9.523 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x)) 9.523 * [taylor]: Taking taylor expansion of 1 in x 9.523 * [backup-simplify]: Simplify 1 into 1 9.524 * [backup-simplify]: Simplify (- 1) into -1 9.524 * [backup-simplify]: Simplify (+ (exp (/ 3 x)) -1) into (- (exp (/ 3 x)) 1) 9.524 * [backup-simplify]: Simplify (- (exp (/ 3 x)) 1) into (- (exp (/ 3 x)) 1) 9.524 * [backup-simplify]: Simplify (- 0) into 0 9.525 * [backup-simplify]: Simplify (+ 0 0) into 0 9.525 * [backup-simplify]: Simplify 0 into 0 9.525 * [backup-simplify]: Simplify (- 0) into 0 9.525 * [backup-simplify]: Simplify (+ 0 0) into 0 9.526 * [backup-simplify]: Simplify 0 into 0 9.526 * [backup-simplify]: Simplify (- 0) into 0 9.526 * [backup-simplify]: Simplify (+ 0 0) into 0 9.526 * [backup-simplify]: Simplify 0 into 0 9.527 * [backup-simplify]: Simplify (- 0) into 0 9.527 * [backup-simplify]: Simplify (+ 0 0) into 0 9.527 * [backup-simplify]: Simplify 0 into 0 9.527 * [backup-simplify]: Simplify (- 0) into 0 9.528 * [backup-simplify]: Simplify (+ 0 0) into 0 9.528 * [backup-simplify]: Simplify 0 into 0 9.528 * [backup-simplify]: Simplify (- 0) into 0 9.528 * [backup-simplify]: Simplify (+ 0 0) into 0 9.528 * [backup-simplify]: Simplify 0 into 0 9.528 * [backup-simplify]: Simplify (- (exp (/ 3 (/ 1 x))) 1) into (- (exp (* 3 x)) 1) 9.528 * [backup-simplify]: Simplify (expm1 (* (/ 1 (- x)) 3)) into (expm1 (/ -3 x)) 9.528 * [approximate]: Taking taylor expansion of (expm1 (/ -3 x)) in (x) around 0 9.528 * [taylor]: Taking taylor expansion of (expm1 (/ -3 x)) in x 9.528 * [taylor]: Rewrote expression to (- (exp (/ -3 x)) 1) 9.528 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 9.528 * [taylor]: Taking taylor expansion of (/ -3 x) in x 9.528 * [taylor]: Taking taylor expansion of -3 in x 9.529 * [backup-simplify]: Simplify -3 into -3 9.529 * [taylor]: Taking taylor expansion of x in x 9.529 * [backup-simplify]: Simplify 0 into 0 9.529 * [backup-simplify]: Simplify 1 into 1 9.529 * [backup-simplify]: Simplify (/ -3 1) into -3 9.529 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x)) 9.529 * [taylor]: Taking taylor expansion of 1 in x 9.529 * [backup-simplify]: Simplify 1 into 1 9.529 * [taylor]: Taking taylor expansion of (expm1 (/ -3 x)) in x 9.529 * [taylor]: Rewrote expression to (- (exp (/ -3 x)) 1) 9.529 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 9.529 * [taylor]: Taking taylor expansion of (/ -3 x) in x 9.529 * [taylor]: Taking taylor expansion of -3 in x 9.529 * [backup-simplify]: Simplify -3 into -3 9.529 * [taylor]: Taking taylor expansion of x in x 9.529 * [backup-simplify]: Simplify 0 into 0 9.529 * [backup-simplify]: Simplify 1 into 1 9.529 * [backup-simplify]: Simplify (/ -3 1) into -3 9.529 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x)) 9.529 * [taylor]: Taking taylor expansion of 1 in x 9.529 * [backup-simplify]: Simplify 1 into 1 9.530 * [backup-simplify]: Simplify (- 1) into -1 9.530 * [backup-simplify]: Simplify (+ (exp (/ -3 x)) -1) into (- (exp (/ -3 x)) 1) 9.530 * [backup-simplify]: Simplify (- (exp (/ -3 x)) 1) into (- (exp (/ -3 x)) 1) 9.530 * [backup-simplify]: Simplify (- 0) into 0 9.530 * [backup-simplify]: Simplify (+ 0 0) into 0 9.530 * [backup-simplify]: Simplify 0 into 0 9.531 * [backup-simplify]: Simplify (- 0) into 0 9.531 * [backup-simplify]: Simplify (+ 0 0) into 0 9.531 * [backup-simplify]: Simplify 0 into 0 9.531 * [backup-simplify]: Simplify (- 0) into 0 9.531 * [backup-simplify]: Simplify (+ 0 0) into 0 9.531 * [backup-simplify]: Simplify 0 into 0 9.532 * [backup-simplify]: Simplify (- 0) into 0 9.532 * [backup-simplify]: Simplify (+ 0 0) into 0 9.532 * [backup-simplify]: Simplify 0 into 0 9.532 * [backup-simplify]: Simplify (- 0) into 0 9.532 * [backup-simplify]: Simplify (+ 0 0) into 0 9.532 * [backup-simplify]: Simplify 0 into 0 9.533 * [backup-simplify]: Simplify (- 0) into 0 9.533 * [backup-simplify]: Simplify (+ 0 0) into 0 9.533 * [backup-simplify]: Simplify 0 into 0 9.533 * [backup-simplify]: Simplify (- (exp (/ -3 (/ 1 (- x)))) 1) into (- (exp (* 3 x)) 1) 9.533 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 9.533 * [backup-simplify]: Simplify (- (fma (exp x) (exp x) 1) (exp x)) into (- (fma (exp x) (exp x) 1) (exp x)) 9.533 * [approximate]: Taking taylor expansion of (- (fma (exp x) (exp x) 1) (exp x)) in (x) around 0 9.533 * [taylor]: Taking taylor expansion of (- (fma (exp x) (exp x) 1) (exp x)) in x 9.533 * [taylor]: Taking taylor expansion of (fma (exp x) (exp x) 1) in x 9.533 * [taylor]: Rewrote expression to (+ (* (exp x) (exp x)) 1) 9.533 * [taylor]: Taking taylor expansion of (* (exp x) (exp x)) in x 9.533 * [taylor]: Taking taylor expansion of (exp x) in x 9.533 * [taylor]: Taking taylor expansion of x in x 9.533 * [backup-simplify]: Simplify 0 into 0 9.533 * [backup-simplify]: Simplify 1 into 1 9.533 * [backup-simplify]: Simplify (exp 0) into 1 9.533 * [taylor]: Taking taylor expansion of (exp x) in x 9.533 * [taylor]: Taking taylor expansion of x in x 9.533 * [backup-simplify]: Simplify 0 into 0 9.533 * [backup-simplify]: Simplify 1 into 1 9.533 * [backup-simplify]: Simplify (exp 0) into 1 9.533 * [taylor]: Taking taylor expansion of 1 in x 9.533 * [backup-simplify]: Simplify 1 into 1 9.533 * [taylor]: Taking taylor expansion of (exp x) in x 9.533 * [taylor]: Taking taylor expansion of x in x 9.533 * [backup-simplify]: Simplify 0 into 0 9.533 * [backup-simplify]: Simplify 1 into 1 9.533 * [backup-simplify]: Simplify (exp 0) into 1 9.533 * [taylor]: Taking taylor expansion of (- (fma (exp x) (exp x) 1) (exp x)) in x 9.533 * [taylor]: Taking taylor expansion of (fma (exp x) (exp x) 1) in x 9.534 * [taylor]: Rewrote expression to (+ (* (exp x) (exp x)) 1) 9.534 * [taylor]: Taking taylor expansion of (* (exp x) (exp x)) in x 9.534 * [taylor]: Taking taylor expansion of (exp x) in x 9.534 * [taylor]: Taking taylor expansion of x in x 9.534 * [backup-simplify]: Simplify 0 into 0 9.534 * [backup-simplify]: Simplify 1 into 1 9.534 * [backup-simplify]: Simplify (exp 0) into 1 9.534 * [taylor]: Taking taylor expansion of (exp x) in x 9.534 * [taylor]: Taking taylor expansion of x in x 9.534 * [backup-simplify]: Simplify 0 into 0 9.534 * [backup-simplify]: Simplify 1 into 1 9.534 * [backup-simplify]: Simplify (exp 0) into 1 9.534 * [taylor]: Taking taylor expansion of 1 in x 9.534 * [backup-simplify]: Simplify 1 into 1 9.534 * [taylor]: Taking taylor expansion of (exp x) in x 9.534 * [taylor]: Taking taylor expansion of x in x 9.534 * [backup-simplify]: Simplify 0 into 0 9.534 * [backup-simplify]: Simplify 1 into 1 9.534 * [backup-simplify]: Simplify (exp 0) into 1 9.534 * [backup-simplify]: Simplify (* 1 1) into 1 9.534 * [backup-simplify]: Simplify (+ 1 1) into 2 9.535 * [backup-simplify]: Simplify (- 1) into -1 9.535 * [backup-simplify]: Simplify (+ 2 -1) into 1 9.535 * [backup-simplify]: Simplify 1 into 1 9.535 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.536 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.536 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2 9.537 * [backup-simplify]: Simplify (+ 2 0) into 2 9.537 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.537 * [backup-simplify]: Simplify (- 1) into -1 9.538 * [backup-simplify]: Simplify (+ 2 -1) into 1 9.538 * [backup-simplify]: Simplify 1 into 1 9.538 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.540 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.540 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2 9.540 * [backup-simplify]: Simplify (+ 2 0) into 2 9.541 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.542 * [backup-simplify]: Simplify (- 1/2) into -1/2 9.542 * [backup-simplify]: Simplify (+ 2 -1/2) into 3/2 9.542 * [backup-simplify]: Simplify 3/2 into 3/2 9.542 * [backup-simplify]: Simplify (+ (* 3/2 (pow x 2)) (+ (* 1 x) 1)) into (+ x (+ (* 3/2 (pow x 2)) 1)) 9.542 * [backup-simplify]: Simplify (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x))) into (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x))) 9.542 * [approximate]: Taking taylor expansion of (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x))) in (x) around 0 9.542 * [taylor]: Taking taylor expansion of (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x))) in x 9.542 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) in x 9.542 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (exp (/ 1 x))) 1) 9.542 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ 1 x))) in x 9.542 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.542 * [taylor]: Taking taylor expansion of x in x 9.542 * [backup-simplify]: Simplify 0 into 0 9.542 * [backup-simplify]: Simplify 1 into 1 9.543 * [backup-simplify]: Simplify (/ 1 1) into 1 9.543 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 9.543 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.543 * [taylor]: Taking taylor expansion of x in x 9.543 * [backup-simplify]: Simplify 0 into 0 9.543 * [backup-simplify]: Simplify 1 into 1 9.543 * [backup-simplify]: Simplify (/ 1 1) into 1 9.543 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 9.543 * [taylor]: Taking taylor expansion of 1 in x 9.543 * [backup-simplify]: Simplify 1 into 1 9.543 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.543 * [taylor]: Taking taylor expansion of x in x 9.543 * [backup-simplify]: Simplify 0 into 0 9.543 * [backup-simplify]: Simplify 1 into 1 9.543 * [backup-simplify]: Simplify (/ 1 1) into 1 9.543 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 9.543 * [taylor]: Taking taylor expansion of (- (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) (exp (/ 1 x))) in x 9.543 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) 1) in x 9.544 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (exp (/ 1 x))) 1) 9.544 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ 1 x))) in x 9.544 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.544 * [taylor]: Taking taylor expansion of x in x 9.544 * [backup-simplify]: Simplify 0 into 0 9.544 * [backup-simplify]: Simplify 1 into 1 9.544 * [backup-simplify]: Simplify (/ 1 1) into 1 9.544 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 9.544 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.544 * [taylor]: Taking taylor expansion of x in x 9.544 * [backup-simplify]: Simplify 0 into 0 9.544 * [backup-simplify]: Simplify 1 into 1 9.544 * [backup-simplify]: Simplify (/ 1 1) into 1 9.544 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 9.544 * [taylor]: Taking taylor expansion of 1 in x 9.544 * [backup-simplify]: Simplify 1 into 1 9.544 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 9.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.544 * [taylor]: Taking taylor expansion of x in x 9.544 * [backup-simplify]: Simplify 0 into 0 9.544 * [backup-simplify]: Simplify 1 into 1 9.547 * [backup-simplify]: Simplify (/ 1 1) into 1 9.547 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 9.547 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2) 9.547 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 2) 1) into (+ (pow (exp (/ 1 x)) 2) 1) 9.547 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 9.547 * [backup-simplify]: Simplify (+ (+ (pow (exp (/ 1 x)) 2) 1) (- (exp (/ 1 x)))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) 9.547 * [backup-simplify]: Simplify (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) 9.547 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0 9.548 * [backup-simplify]: Simplify (+ 0 0) into 0 9.548 * [backup-simplify]: Simplify (- 0) into 0 9.548 * [backup-simplify]: Simplify (+ 0 0) into 0 9.548 * [backup-simplify]: Simplify 0 into 0 9.549 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0 9.549 * [backup-simplify]: Simplify (+ 0 0) into 0 9.549 * [backup-simplify]: Simplify (- 0) into 0 9.549 * [backup-simplify]: Simplify (+ 0 0) into 0 9.549 * [backup-simplify]: Simplify 0 into 0 9.550 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0 9.550 * [backup-simplify]: Simplify (+ 0 0) into 0 9.550 * [backup-simplify]: Simplify (- 0) into 0 9.551 * [backup-simplify]: Simplify (+ 0 0) into 0 9.551 * [backup-simplify]: Simplify 0 into 0 9.551 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0 9.552 * [backup-simplify]: Simplify (+ 0 0) into 0 9.552 * [backup-simplify]: Simplify (- 0) into 0 9.552 * [backup-simplify]: Simplify (+ 0 0) into 0 9.552 * [backup-simplify]: Simplify 0 into 0 9.553 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0 9.553 * [backup-simplify]: Simplify (+ 0 0) into 0 9.554 * [backup-simplify]: Simplify (- 0) into 0 9.554 * [backup-simplify]: Simplify (+ 0 0) into 0 9.554 * [backup-simplify]: Simplify 0 into 0 9.555 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0 9.555 * [backup-simplify]: Simplify (+ 0 0) into 0 9.556 * [backup-simplify]: Simplify (- 0) into 0 9.556 * [backup-simplify]: Simplify (+ 0 0) into 0 9.556 * [backup-simplify]: Simplify 0 into 0 9.556 * [backup-simplify]: Simplify (- (+ (pow (exp (/ 1 (/ 1 x))) 2) 1) (exp (/ 1 (/ 1 x)))) into (- (+ (pow (exp x) 2) 1) (exp x)) 9.557 * [backup-simplify]: Simplify (- (fma (exp (/ 1 (- x))) (exp (/ 1 (- x))) 1) (exp (/ 1 (- x)))) into (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x))) 9.557 * [approximate]: Taking taylor expansion of (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x))) in (x) around 0 9.557 * [taylor]: Taking taylor expansion of (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x))) in x 9.557 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) in x 9.557 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (exp (/ -1 x))) 1) 9.557 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (exp (/ -1 x))) in x 9.557 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.557 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.557 * [taylor]: Taking taylor expansion of -1 in x 9.557 * [backup-simplify]: Simplify -1 into -1 9.557 * [taylor]: Taking taylor expansion of x in x 9.557 * [backup-simplify]: Simplify 0 into 0 9.557 * [backup-simplify]: Simplify 1 into 1 9.558 * [backup-simplify]: Simplify (/ -1 1) into -1 9.558 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 9.558 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.558 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.558 * [taylor]: Taking taylor expansion of -1 in x 9.558 * [backup-simplify]: Simplify -1 into -1 9.558 * [taylor]: Taking taylor expansion of x in x 9.558 * [backup-simplify]: Simplify 0 into 0 9.558 * [backup-simplify]: Simplify 1 into 1 9.558 * [backup-simplify]: Simplify (/ -1 1) into -1 9.558 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 9.558 * [taylor]: Taking taylor expansion of 1 in x 9.558 * [backup-simplify]: Simplify 1 into 1 9.558 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.558 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.558 * [taylor]: Taking taylor expansion of -1 in x 9.558 * [backup-simplify]: Simplify -1 into -1 9.558 * [taylor]: Taking taylor expansion of x in x 9.559 * [backup-simplify]: Simplify 0 into 0 9.559 * [backup-simplify]: Simplify 1 into 1 9.559 * [backup-simplify]: Simplify (/ -1 1) into -1 9.559 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 9.559 * [taylor]: Taking taylor expansion of (- (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) (exp (/ -1 x))) in x 9.559 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) 1) in x 9.559 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (exp (/ -1 x))) 1) 9.559 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (exp (/ -1 x))) in x 9.559 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.559 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.559 * [taylor]: Taking taylor expansion of -1 in x 9.559 * [backup-simplify]: Simplify -1 into -1 9.559 * [taylor]: Taking taylor expansion of x in x 9.559 * [backup-simplify]: Simplify 0 into 0 9.560 * [backup-simplify]: Simplify 1 into 1 9.560 * [backup-simplify]: Simplify (/ -1 1) into -1 9.560 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 9.560 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.560 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.560 * [taylor]: Taking taylor expansion of -1 in x 9.560 * [backup-simplify]: Simplify -1 into -1 9.560 * [taylor]: Taking taylor expansion of x in x 9.560 * [backup-simplify]: Simplify 0 into 0 9.560 * [backup-simplify]: Simplify 1 into 1 9.561 * [backup-simplify]: Simplify (/ -1 1) into -1 9.561 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 9.561 * [taylor]: Taking taylor expansion of 1 in x 9.561 * [backup-simplify]: Simplify 1 into 1 9.561 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 9.561 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.561 * [taylor]: Taking taylor expansion of -1 in x 9.561 * [backup-simplify]: Simplify -1 into -1 9.561 * [taylor]: Taking taylor expansion of x in x 9.561 * [backup-simplify]: Simplify 0 into 0 9.561 * [backup-simplify]: Simplify 1 into 1 9.561 * [backup-simplify]: Simplify (/ -1 1) into -1 9.562 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 9.562 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2) 9.562 * [backup-simplify]: Simplify (+ (pow (exp (/ -1 x)) 2) 1) into (+ 1 (pow (exp (/ -1 x)) 2)) 9.562 * [backup-simplify]: Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x))) 9.562 * [backup-simplify]: Simplify (+ (+ 1 (pow (exp (/ -1 x)) 2)) (- (exp (/ -1 x)))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) 9.563 * [backup-simplify]: Simplify (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) 9.563 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0 9.563 * [backup-simplify]: Simplify (+ 0 0) into 0 9.563 * [backup-simplify]: Simplify (- 0) into 0 9.564 * [backup-simplify]: Simplify (+ 0 0) into 0 9.564 * [backup-simplify]: Simplify 0 into 0 9.564 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0 9.565 * [backup-simplify]: Simplify (+ 0 0) into 0 9.565 * [backup-simplify]: Simplify (- 0) into 0 9.565 * [backup-simplify]: Simplify (+ 0 0) into 0 9.565 * [backup-simplify]: Simplify 0 into 0 9.566 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0 9.567 * [backup-simplify]: Simplify (+ 0 0) into 0 9.567 * [backup-simplify]: Simplify (- 0) into 0 9.567 * [backup-simplify]: Simplify (+ 0 0) into 0 9.568 * [backup-simplify]: Simplify 0 into 0 9.569 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0 9.569 * [backup-simplify]: Simplify (+ 0 0) into 0 9.569 * [backup-simplify]: Simplify (- 0) into 0 9.570 * [backup-simplify]: Simplify (+ 0 0) into 0 9.570 * [backup-simplify]: Simplify 0 into 0 9.571 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0 9.572 * [backup-simplify]: Simplify (+ 0 0) into 0 9.572 * [backup-simplify]: Simplify (- 0) into 0 9.573 * [backup-simplify]: Simplify (+ 0 0) into 0 9.573 * [backup-simplify]: Simplify 0 into 0 9.574 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0 9.575 * [backup-simplify]: Simplify (+ 0 0) into 0 9.575 * [backup-simplify]: Simplify (- 0) into 0 9.576 * [backup-simplify]: Simplify (+ 0 0) into 0 9.576 * [backup-simplify]: Simplify 0 into 0 9.576 * [backup-simplify]: Simplify (- (+ 1 (pow (exp (/ -1 (/ 1 (- x)))) 2)) (exp (/ -1 (/ 1 (- x))))) into (- (+ (pow (exp x) 2) 1) (exp x)) 9.576 * * * [progress]: simplifying candidates 9.576 * * * * [progress]: [ 1 / 97 ] simplifiying candidate # 9.576 * * * * [progress]: [ 2 / 97 ] simplifiying candidate # 9.576 * * * * [progress]: [ 3 / 97 ] simplifiying candidate # 9.577 * * * * [progress]: [ 4 / 97 ] simplifiying candidate # 9.577 * * * * [progress]: [ 5 / 97 ] simplifiying candidate # 9.577 * * * * [progress]: [ 6 / 97 ] simplifiying candidate # 9.577 * * * * [progress]: [ 7 / 97 ] simplifiying candidate # 9.577 * * * * [progress]: [ 8 / 97 ] simplifiying candidate # 9.577 * * * * [progress]: [ 9 / 97 ] simplifiying candidate # 9.577 * * * * [progress]: [ 10 / 97 ] simplifiying candidate # 9.577 * * * * [progress]: [ 11 / 97 ] simplifiying candidate # 9.577 * * * * [progress]: [ 12 / 97 ] simplifiying candidate #real (real->posit16 (expm1 (* x 6)))) (expm1 (* x 3))) (- (fma (exp x) (exp x) 1) (exp x)))))> 9.577 * * * * [progress]: [ 13 / 97 ] simplifiying candidate # 9.577 * * * * [progress]: [ 14 / 97 ] simplifiying candidate # 9.577 * * * * [progress]: [ 15 / 97 ] simplifiying candidate # 9.577 * * * * [progress]: [ 16 / 97 ] simplifiying candidate # 9.577 * * * * [progress]: [ 17 / 97 ] simplifiying candidate # 9.578 * * * * [progress]: [ 18 / 97 ] simplifiying candidate # 9.578 * * * * [progress]: [ 19 / 97 ] simplifiying candidate # 9.578 * * * * [progress]: [ 20 / 97 ] simplifiying candidate # 9.578 * * * * [progress]: [ 21 / 97 ] simplifiying candidate # 9.578 * * * * [progress]: [ 22 / 97 ] simplifiying candidate # 9.578 * * * * [progress]: [ 23 / 97 ] simplifiying candidate # 9.578 * * * * [progress]: [ 24 / 97 ] simplifiying candidate # 9.578 * * * * [progress]: [ 25 / 97 ] simplifiying candidate # 9.578 * * * * [progress]: [ 26 / 97 ] simplifiying candidate # 9.578 * * * * [progress]: [ 27 / 97 ] simplifiying candidate # 9.578 * * * * [progress]: [ 28 / 97 ] simplifiying candidate # 9.578 * * * * [progress]: [ 29 / 97 ] simplifiying candidate # 9.578 * * * * [progress]: [ 30 / 97 ] simplifiying candidate # 9.579 * * * * [progress]: [ 31 / 97 ] simplifiying candidate # 9.579 * * * * [progress]: [ 32 / 97 ] simplifiying candidate # 9.579 * * * * [progress]: [ 33 / 97 ] simplifiying candidate # 9.579 * * * * [progress]: [ 34 / 97 ] simplifiying candidate # 9.579 * * * * [progress]: [ 35 / 97 ] simplifiying candidate # 9.579 * * * * [progress]: [ 36 / 97 ] simplifiying candidate # 9.579 * * * * [progress]: [ 37 / 97 ] simplifiying candidate # 9.579 * * * * [progress]: [ 38 / 97 ] simplifiying candidate # 9.579 * * * * [progress]: [ 39 / 97 ] simplifiying candidate # 9.579 * * * * [progress]: [ 40 / 97 ] simplifiying candidate # 9.579 * * * * [progress]: [ 41 / 97 ] simplifiying candidate # 9.579 * * * * [progress]: [ 42 / 97 ] simplifiying candidate # 9.579 * * * * [progress]: [ 43 / 97 ] simplifiying candidate #real (real->posit16 (/ (expm1 (* x 6)) (expm1 (* x 3))))) (- (fma (exp x) (exp x) 1) (exp x)))))> 9.579 * * * * [progress]: [ 44 / 97 ] simplifiying candidate # 9.579 * * * * [progress]: [ 45 / 97 ] simplifiying candidate # 9.580 * * * * [progress]: [ 46 / 97 ] simplifiying candidate # 9.580 * * * * [progress]: [ 47 / 97 ] simplifiying candidate # 9.580 * * * * [progress]: [ 48 / 97 ] simplifiying candidate # 9.580 * * * * [progress]: [ 49 / 97 ] simplifiying candidate # 9.580 * * * * [progress]: [ 50 / 97 ] simplifiying candidate # 9.580 * * * * [progress]: [ 51 / 97 ] simplifiying candidate # 9.580 * * * * [progress]: [ 52 / 97 ] simplifiying candidate # 9.580 * * * * [progress]: [ 53 / 97 ] simplifiying candidate # 9.580 * * * * [progress]: [ 54 / 97 ] simplifiying candidate # 9.580 * * * * [progress]: [ 55 / 97 ] simplifiying candidate #real (real->posit16 (expm1 (* x 3))))) (- (fma (exp x) (exp x) 1) (exp x)))))> 9.580 * * * * [progress]: [ 56 / 97 ] simplifiying candidate # 9.580 * * * * [progress]: [ 57 / 97 ] simplifiying candidate # 9.580 * * * * [progress]: [ 58 / 97 ] simplifiying candidate # 9.580 * * * * [progress]: [ 59 / 97 ] simplifiying candidate # 9.580 * * * * [progress]: [ 60 / 97 ] simplifiying candidate # 9.581 * * * * [progress]: [ 61 / 97 ] simplifiying candidate # 9.581 * * * * [progress]: [ 62 / 97 ] simplifiying candidate # 9.581 * * * * [progress]: [ 63 / 97 ] simplifiying candidate # 9.581 * * * * [progress]: [ 64 / 97 ] simplifiying candidate # 9.581 * * * * [progress]: [ 65 / 97 ] simplifiying candidate # 9.581 * * * * [progress]: [ 66 / 97 ] simplifiying candidate # 9.581 * * * * [progress]: [ 67 / 97 ] simplifiying candidate # 9.581 * * * * [progress]: [ 68 / 97 ] simplifiying candidate # 9.581 * * * * [progress]: [ 69 / 97 ] simplifiying candidate # 9.581 * * * * [progress]: [ 70 / 97 ] simplifiying candidate # 9.581 * * * * [progress]: [ 71 / 97 ] simplifiying candidate # 9.581 * * * * [progress]: [ 72 / 97 ] simplifiying candidate # 9.581 * * * * [progress]: [ 73 / 97 ] simplifiying candidate # 9.581 * * * * [progress]: [ 74 / 97 ] simplifiying candidate # 9.582 * * * * [progress]: [ 75 / 97 ] simplifiying candidate # 9.582 * * * * [progress]: [ 76 / 97 ] simplifiying candidate # 9.582 * * * * [progress]: [ 77 / 97 ] simplifiying candidate # 9.582 * * * * [progress]: [ 78 / 97 ] simplifiying candidate # 9.582 * * * * [progress]: [ 79 / 97 ] simplifiying candidate # 9.582 * * * * [progress]: [ 80 / 97 ] simplifiying candidate # 9.582 * * * * [progress]: [ 81 / 97 ] simplifiying candidate # 9.582 * * * * [progress]: [ 82 / 97 ] simplifiying candidate # 9.582 * * * * [progress]: [ 83 / 97 ] simplifiying candidate # 9.582 * * * * [progress]: [ 84 / 97 ] simplifiying candidate # 9.582 * * * * [progress]: [ 85 / 97 ] simplifiying candidate #real (real->posit16 (- (fma (exp x) (exp x) 1) (exp x)))))))> 9.582 * * * * [progress]: [ 86 / 97 ] simplifiying candidate # 9.582 * * * * [progress]: [ 87 / 97 ] simplifiying candidate # 9.582 * * * * [progress]: [ 88 / 97 ] simplifiying candidate # 9.582 * * * * [progress]: [ 89 / 97 ] simplifiying candidate # 9.582 * * * * [progress]: [ 90 / 97 ] simplifiying candidate # 9.582 * * * * [progress]: [ 91 / 97 ] simplifiying candidate # 9.583 * * * * [progress]: [ 92 / 97 ] simplifiying candidate # 9.583 * * * * [progress]: [ 93 / 97 ] simplifiying candidate # 9.583 * * * * [progress]: [ 94 / 97 ] simplifiying candidate # 9.583 * * * * [progress]: [ 95 / 97 ] simplifiying candidate # 9.583 * * * * [progress]: [ 96 / 97 ] simplifiying candidate # 9.583 * * * * [progress]: [ 97 / 97 ] simplifiying candidate # 9.584 * [simplify]: Simplifying: (exp (* x 6)) (expm1 (expm1 (* x 6))) (log1p (expm1 (* x 6))) (log (expm1 (* x 6))) (exp (expm1 (* x 6))) (* (cbrt (expm1 (* x 6))) (cbrt (expm1 (* x 6)))) (cbrt (expm1 (* x 6))) (* (* (expm1 (* x 6)) (expm1 (* x 6))) (expm1 (* x 6))) (sqrt (expm1 (* x 6))) (sqrt (expm1 (* x 6))) (real->posit16 (expm1 (* x 6))) (expm1 (/ (expm1 (* x 6)) (expm1 (* x 3)))) (log1p (/ (expm1 (* x 6)) (expm1 (* x 3)))) (- (log (expm1 (* x 6))) (log (expm1 (* x 3)))) (log (/ (expm1 (* x 6)) (expm1 (* x 3)))) (exp (/ (expm1 (* x 6)) (expm1 (* x 3)))) (/ (* (* (expm1 (* x 6)) (expm1 (* x 6))) (expm1 (* x 6))) (* (* (expm1 (* x 3)) (expm1 (* x 3))) (expm1 (* x 3)))) (* (cbrt (/ (expm1 (* x 6)) (expm1 (* x 3)))) (cbrt (/ (expm1 (* x 6)) (expm1 (* x 3))))) (cbrt (/ (expm1 (* x 6)) (expm1 (* x 3)))) (* (* (/ (expm1 (* x 6)) (expm1 (* x 3))) (/ (expm1 (* x 6)) (expm1 (* x 3)))) (/ (expm1 (* x 6)) (expm1 (* x 3)))) (sqrt (/ (expm1 (* x 6)) (expm1 (* x 3)))) (sqrt (/ (expm1 (* x 6)) (expm1 (* x 3)))) (- (expm1 (* x 6))) (- (expm1 (* x 3))) (/ (exp (* x 6)) (expm1 (* x 3))) (/ 1 (expm1 (* x 3))) (/ (* (cbrt (expm1 (* x 6))) (cbrt (expm1 (* x 6)))) (* (cbrt (expm1 (* x 3))) (cbrt (expm1 (* x 3))))) (/ (cbrt (expm1 (* x 6))) (cbrt (expm1 (* x 3)))) (/ (* (cbrt (expm1 (* x 6))) (cbrt (expm1 (* x 6)))) (sqrt (expm1 (* x 3)))) (/ (cbrt (expm1 (* x 6))) (sqrt (expm1 (* x 3)))) (/ (* (cbrt (expm1 (* x 6))) (cbrt (expm1 (* x 6)))) 1) (/ (cbrt (expm1 (* x 6))) (expm1 (* x 3))) (/ (sqrt (expm1 (* x 6))) (* (cbrt (expm1 (* x 3))) (cbrt (expm1 (* x 3))))) (/ (sqrt (expm1 (* x 6))) (cbrt (expm1 (* x 3)))) (/ (sqrt (expm1 (* x 6))) (sqrt (expm1 (* x 3)))) (/ (sqrt (expm1 (* x 6))) (sqrt (expm1 (* x 3)))) (/ (sqrt (expm1 (* x 6))) 1) (/ (sqrt (expm1 (* x 6))) (expm1 (* x 3))) (/ 1 (* (cbrt (expm1 (* x 3))) (cbrt (expm1 (* x 3))))) (/ (expm1 (* x 6)) (cbrt (expm1 (* x 3)))) (/ 1 (sqrt (expm1 (* x 3)))) (/ (expm1 (* x 6)) (sqrt (expm1 (* x 3)))) (/ 1 1) (/ (expm1 (* x 6)) (expm1 (* x 3))) (/ 1 (expm1 (* x 3))) (/ (expm1 (* x 3)) (expm1 (* x 6))) (/ (expm1 (* x 6)) (* (cbrt (expm1 (* x 3))) (cbrt (expm1 (* x 3))))) (/ (expm1 (* x 6)) (sqrt (expm1 (* x 3)))) (/ (expm1 (* x 6)) 1) (/ (expm1 (* x 3)) (cbrt (expm1 (* x 6)))) (/ (expm1 (* x 3)) (sqrt (expm1 (* x 6)))) (/ (expm1 (* x 3)) (expm1 (* x 6))) (real->posit16 (/ (expm1 (* x 6)) (expm1 (* x 3)))) (exp (* x 3)) (expm1 (expm1 (* x 3))) (log1p (expm1 (* x 3))) (log (expm1 (* x 3))) (exp (expm1 (* x 3))) (* (cbrt (expm1 (* x 3))) (cbrt (expm1 (* x 3)))) (cbrt (expm1 (* x 3))) (* (* (expm1 (* x 3)) (expm1 (* x 3))) (expm1 (* x 3))) (sqrt (expm1 (* x 3))) (sqrt (expm1 (* x 3))) (real->posit16 (expm1 (* x 3))) (fma (* (cbrt (fma (exp x) (exp x) 1)) (cbrt (fma (exp x) (exp x) 1))) (cbrt (fma (exp x) (exp x) 1)) (- (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))) (fma (- (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x))))) (fma (* (cbrt (fma (exp x) (exp x) 1)) (cbrt (fma (exp x) (exp x) 1))) (cbrt (fma (exp x) (exp x) 1)) (- (* (sqrt (exp x)) (sqrt (exp x))))) (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x)))) (fma (* (cbrt (fma (exp x) (exp x) 1)) (cbrt (fma (exp x) (exp x) 1))) (cbrt (fma (exp x) (exp x) 1)) (- (* (exp x) 1))) (fma (- (exp x)) 1 (* (exp x) 1)) (fma (sqrt (fma (exp x) (exp x) 1)) (sqrt (fma (exp x) (exp x) 1)) (- (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))) (fma (- (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x))))) (fma (sqrt (fma (exp x) (exp x) 1)) (sqrt (fma (exp x) (exp x) 1)) (- (* (sqrt (exp x)) (sqrt (exp x))))) (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x)))) (fma (sqrt (fma (exp x) (exp x) 1)) (sqrt (fma (exp x) (exp x) 1)) (- (* (exp x) 1))) (fma (- (exp x)) 1 (* (exp x) 1)) (fma 1 (fma (exp x) (exp x) 1) (- (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))) (fma (- (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x))))) (fma 1 (fma (exp x) (exp x) 1) (- (* (sqrt (exp x)) (sqrt (exp x))))) (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x)))) (fma 1 (fma (exp x) (exp x) 1) (- (* (exp x) 1))) (fma (- (exp x)) 1 (* (exp x) 1)) (expm1 (- (fma (exp x) (exp x) 1) (exp x))) (log1p (- (fma (exp x) (exp x) 1) (exp x))) (- (exp x)) (- (exp x)) (- (exp x)) (/ (exp (fma (exp x) (exp x) 1)) (exp (exp x))) (log (- (fma (exp x) (exp x) 1) (exp x))) (exp (- (fma (exp x) (exp x) 1) (exp x))) (* (cbrt (- (fma (exp x) (exp x) 1) (exp x))) (cbrt (- (fma (exp x) (exp x) 1) (exp x)))) (cbrt (- (fma (exp x) (exp x) 1) (exp x))) (* (* (- (fma (exp x) (exp x) 1) (exp x)) (- (fma (exp x) (exp x) 1) (exp x))) (- (fma (exp x) (exp x) 1) (exp x))) (sqrt (- (fma (exp x) (exp x) 1) (exp x))) (sqrt (- (fma (exp x) (exp x) 1) (exp x))) (- (pow (fma (exp x) (exp x) 1) 3) (pow (exp x) 3)) (+ (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)) (+ (* (exp x) (exp x)) (* (fma (exp x) (exp x) 1) (exp x)))) (- (exp x)) (- (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)) (* (exp x) (exp x))) (+ (fma (exp x) (exp x) 1) (exp x)) (+ (sqrt (fma (exp x) (exp x) 1)) (sqrt (exp x))) (- (sqrt (fma (exp x) (exp x) 1)) (sqrt (exp x))) (- (fma (exp x) (exp x) 1) (exp x)) (- 1 (exp x)) (- (exp x)) (real->posit16 (- (fma (exp x) (exp x) 1) (exp x))) (+ (* 6 x) (+ (* 36 (pow x 3)) (* 18 (pow x 2)))) (- (exp (* 6 x)) 1) (- (exp (* 6 x)) 1) (+ (* 3 x) (+ (* 9/2 (pow x 2)) 2)) (/ (- (exp (* 6 x)) 1) (- (exp (* 3 x)) 1)) (/ (- (exp (* 6 x)) 1) (- (exp (* 3 x)) 1)) (+ (* 3 x) (+ (* 9/2 (pow x 3)) (* 9/2 (pow x 2)))) (- (exp (* 3 x)) 1) (- (exp (* 3 x)) 1) (+ x (+ (* 3/2 (pow x 2)) 1)) (- (+ (pow (exp x) 2) 1) (exp x)) (- (+ (pow (exp x) 2) 1) (exp x)) 9.585 * * [simplify]: iteration 0: 154 enodes 9.617 * * [simplify]: iteration 1: 319 enodes 9.724 * * [simplify]: iteration 2: 793 enodes 10.121 * * [simplify]: iteration 3: 2275 enodes 11.994 * * [simplify]: iteration complete: 5003 enodes 11.995 * * [simplify]: Extracting #0: cost 77 inf + 0 11.998 * * [simplify]: Extracting #1: cost 549 inf + 2 12.008 * * [simplify]: Extracting #2: cost 981 inf + 9614 12.046 * * [simplify]: Extracting #3: cost 689 inf + 90073 12.117 * * [simplify]: Extracting #4: cost 205 inf + 270067 12.215 * * [simplify]: Extracting #5: cost 26 inf + 333018 12.291 * * [simplify]: Extracting #6: cost 3 inf + 338037 12.347 * * [simplify]: Extracting #7: cost 0 inf + 339174 12.425 * [simplify]: Simplified to: (exp (* x 6)) (expm1 (expm1 (* x 6))) (* x 6) (log (expm1 (* x 6))) (exp (expm1 (* x 6))) (* (cbrt (expm1 (* x 6))) (cbrt (expm1 (* x 6)))) (cbrt (expm1 (* x 6))) (* (* (expm1 (* x 6)) (expm1 (* x 6))) (expm1 (* x 6))) (sqrt (expm1 (* x 6))) (sqrt (expm1 (* x 6))) (real->posit16 (expm1 (* x 6))) (expm1 (/ (expm1 (* x 6)) (expm1 (* 3 x)))) (log1p (/ (expm1 (* x 6)) (expm1 (* 3 x)))) (log (/ (expm1 (* x 6)) (expm1 (* 3 x)))) (log (/ (expm1 (* x 6)) (expm1 (* 3 x)))) (exp (/ (expm1 (* x 6)) (expm1 (* 3 x)))) (* (* (/ (expm1 (* x 6)) (expm1 (* 3 x))) (/ (expm1 (* x 6)) (expm1 (* 3 x)))) (/ (expm1 (* x 6)) (expm1 (* 3 x)))) (* (cbrt (/ (expm1 (* x 6)) (expm1 (* 3 x)))) (cbrt (/ (expm1 (* x 6)) (expm1 (* 3 x))))) (cbrt (/ (expm1 (* x 6)) (expm1 (* 3 x)))) (* (* (/ (expm1 (* x 6)) (expm1 (* 3 x))) (/ (expm1 (* x 6)) (expm1 (* 3 x)))) (/ (expm1 (* x 6)) (expm1 (* 3 x)))) (sqrt (/ (expm1 (* x 6)) (expm1 (* 3 x)))) (sqrt (/ (expm1 (* x 6)) (expm1 (* 3 x)))) (- (expm1 (* x 6))) (- (expm1 (* 3 x))) (/ (exp (* x 6)) (expm1 (* 3 x))) (/ 1 (expm1 (* 3 x))) (* (/ (cbrt (expm1 (* x 6))) (cbrt (expm1 (* 3 x)))) (/ (cbrt (expm1 (* x 6))) (cbrt (expm1 (* 3 x))))) (/ (cbrt (expm1 (* x 6))) (cbrt (expm1 (* 3 x)))) (/ (* (cbrt (expm1 (* x 6))) (cbrt (expm1 (* x 6)))) (sqrt (expm1 (* 3 x)))) (/ (cbrt (expm1 (* x 6))) (sqrt (expm1 (* 3 x)))) (* (cbrt (expm1 (* x 6))) (cbrt (expm1 (* x 6)))) (/ (cbrt (expm1 (* x 6))) (expm1 (* 3 x))) (/ (/ (sqrt (expm1 (* x 6))) (cbrt (expm1 (* 3 x)))) (cbrt (expm1 (* 3 x)))) (/ (sqrt (expm1 (* x 6))) (cbrt (expm1 (* 3 x)))) (/ (sqrt (expm1 (* x 6))) (sqrt (expm1 (* 3 x)))) (/ (sqrt (expm1 (* x 6))) (sqrt (expm1 (* 3 x)))) (sqrt (expm1 (* x 6))) (/ (sqrt (expm1 (* x 6))) (expm1 (* 3 x))) (/ 1 (* (cbrt (expm1 (* 3 x))) (cbrt (expm1 (* 3 x))))) (/ (expm1 (* x 6)) (cbrt (expm1 (* 3 x)))) (/ 1 (sqrt (expm1 (* 3 x)))) (/ (expm1 (* x 6)) (sqrt (expm1 (* 3 x)))) 1 (/ (expm1 (* x 6)) (expm1 (* 3 x))) (/ 1 (expm1 (* 3 x))) (/ (expm1 (* 3 x)) (expm1 (* x 6))) (/ (/ (expm1 (* x 6)) (cbrt (expm1 (* 3 x)))) (cbrt (expm1 (* 3 x)))) (/ (expm1 (* x 6)) (sqrt (expm1 (* 3 x)))) (expm1 (* x 6)) (/ (expm1 (* 3 x)) (cbrt (expm1 (* x 6)))) (/ (expm1 (* 3 x)) (sqrt (expm1 (* x 6)))) (/ (expm1 (* 3 x)) (expm1 (* x 6))) (real->posit16 (/ (expm1 (* x 6)) (expm1 (* 3 x)))) (exp (* 3 x)) (expm1 (expm1 (* 3 x))) (* 3 x) (log (expm1 (* 3 x))) (exp (expm1 (* 3 x))) (* (cbrt (expm1 (* 3 x))) (cbrt (expm1 (* 3 x)))) (cbrt (expm1 (* 3 x))) (* (* (expm1 (* 3 x)) (expm1 (* 3 x))) (expm1 (* 3 x))) (sqrt (expm1 (* 3 x))) (sqrt (expm1 (* 3 x))) (real->posit16 (expm1 (* 3 x))) (fma (exp x) (exp x) (- 1 (exp x))) 0 (fma (exp x) (exp x) (- 1 (exp x))) 0 (fma (exp x) (exp x) (- 1 (exp x))) 0 (fma (exp x) (exp x) (- 1 (exp x))) 0 (fma (exp x) (exp x) (- 1 (exp x))) 0 (fma (exp x) (exp x) (- 1 (exp x))) 0 (fma (exp x) (exp x) (- 1 (exp x))) 0 (fma (exp x) (exp x) (- 1 (exp x))) 0 (fma (exp x) (exp x) (- 1 (exp x))) 0 (expm1 (fma (exp x) (exp x) (- 1 (exp x)))) (log1p (fma (exp x) (exp x) (- 1 (exp x)))) (- (exp x)) (- (exp x)) (- (exp x)) (exp (fma (exp x) (exp x) (- 1 (exp x)))) (log (fma (exp x) (exp x) (- 1 (exp x)))) (exp (fma (exp x) (exp x) (- 1 (exp x)))) (* (cbrt (fma (exp x) (exp x) (- 1 (exp x)))) (cbrt (fma (exp x) (exp x) (- 1 (exp x))))) (cbrt (fma (exp x) (exp x) (- 1 (exp x)))) (* (* (fma (exp x) (exp x) (- 1 (exp x))) (fma (exp x) (exp x) (- 1 (exp x)))) (fma (exp x) (exp x) (- 1 (exp x)))) (sqrt (fma (exp x) (exp x) (- 1 (exp x)))) (sqrt (fma (exp x) (exp x) (- 1 (exp x)))) (fma (- (exp x)) (* (exp x) (exp x)) (* (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)) (fma (exp x) (exp x) 1))) (fma (exp x) (exp x) (fma (fma (exp x) (exp x) 1) (exp x) (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)))) (- (exp x)) (- (* (fma (exp x) (exp x) 1) (fma (exp x) (exp x) 1)) (* (exp x) (exp x))) (+ 1 (fma (exp x) (exp x) (exp x))) (+ (hypot 1 (exp x)) (sqrt (exp x))) (- (hypot 1 (exp x)) (sqrt (exp x))) (fma (exp x) (exp x) (- 1 (exp x))) (- 1 (exp x)) (- (exp x)) (real->posit16 (fma (exp x) (exp x) (- 1 (exp x)))) (fma (* x x) (fma x 36 18) (* x 6)) (expm1 (* x 6)) (expm1 (* x 6)) (fma x 3 (fma (* x x) 9/2 2)) (/ (expm1 (* x 6)) (expm1 (* 3 x))) (/ (expm1 (* x 6)) (expm1 (* 3 x))) (fma (* x 9/2) (fma x x x) (* 3 x)) (expm1 (* 3 x)) (expm1 (* 3 x)) (fma (fma 3/2 x 1) x 1) (fma (exp x) (exp x) (- 1 (exp x))) (fma (exp x) (exp x) (- 1 (exp x))) 12.437 * * * [progress]: adding candidates to table 13.058 * [progress]: [Phase 3 of 3] Extracting. 13.059 * * [regime]: Finding splitpoints for: (# #) 13.060 * * * [regime-changes]: Trying 1 branch expressions: (x) 13.060 * * * * [regimes]: Trying to branch on x from (# #) 13.095 * * * [regime]: Found split indices: #