0.903 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.326 * * * [progress]: [2/2] Setting up program. 0.330 * [progress]: [Phase 2 of 3] Improving. 0.332 * [simplify]: Simplifying using # : (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 0.335 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 0.339 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 0.341 * * [simplify]: iteration 2 : 28 enodes (cost 12 ) 0.344 * * [simplify]: iteration 3 : 41 enodes (cost 12 ) 0.350 * * [simplify]: iteration 4 : 76 enodes (cost 12 ) 0.371 * * [simplify]: iteration 5 : 175 enodes (cost 12 ) 0.411 * * [simplify]: iteration 6 : 477 enodes (cost 12 ) 0.579 * * [simplify]: iteration 7 : 1684 enodes (cost 12 ) 1.403 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 1.404 * [simplify]: Simplified to: (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 1.405 * * [progress]: iteration 1 / 4 1.405 * * * [progress]: picking best candidate 1.408 * * * * [pick]: Picked # 1.408 * * * [progress]: localizing error 1.425 * * * [progress]: generating rewritten candidates 1.425 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.433 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.437 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.454 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.475 * * * [progress]: generating series expansions 1.476 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.479 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 1.480 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.480 * [taylor]: Taking taylor expansion of (exp x) in x 1.480 * [taylor]: Taking taylor expansion of x in x 1.480 * [taylor]: Taking taylor expansion of 1.0 in x 1.480 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.480 * [taylor]: Taking taylor expansion of (exp x) in x 1.480 * [taylor]: Taking taylor expansion of x in x 1.480 * [taylor]: Taking taylor expansion of 1.0 in x 1.489 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 1.490 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.490 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.490 * [taylor]: Taking taylor expansion of x in x 1.490 * [taylor]: Taking taylor expansion of 1.0 in x 1.490 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.490 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.490 * [taylor]: Taking taylor expansion of x in x 1.491 * [taylor]: Taking taylor expansion of 1.0 in x 1.494 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 1.494 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.494 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.494 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.494 * [taylor]: Taking taylor expansion of -1 in x 1.494 * [taylor]: Taking taylor expansion of x in x 1.495 * [taylor]: Taking taylor expansion of 1.0 in x 1.495 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.495 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.495 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.495 * [taylor]: Taking taylor expansion of -1 in x 1.495 * [taylor]: Taking taylor expansion of x in x 1.495 * [taylor]: Taking taylor expansion of 1.0 in x 1.498 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.499 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 1.499 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.499 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.499 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.499 * [taylor]: Taking taylor expansion of 2.0 in x 1.499 * [taylor]: Taking taylor expansion of x in x 1.500 * [taylor]: Taking taylor expansion of 1.0 in x 1.500 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.500 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.500 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.500 * [taylor]: Taking taylor expansion of 2.0 in x 1.500 * [taylor]: Taking taylor expansion of x in x 1.501 * [taylor]: Taking taylor expansion of 1.0 in x 1.520 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 1.520 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.520 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.520 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.520 * [taylor]: Taking taylor expansion of 2.0 in x 1.520 * [taylor]: Taking taylor expansion of x in x 1.520 * [taylor]: Taking taylor expansion of 1.0 in x 1.520 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.520 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.520 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.520 * [taylor]: Taking taylor expansion of 2.0 in x 1.521 * [taylor]: Taking taylor expansion of x in x 1.521 * [taylor]: Taking taylor expansion of 1.0 in x 1.524 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 1.524 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.524 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.524 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.524 * [taylor]: Taking taylor expansion of -2.0 in x 1.524 * [taylor]: Taking taylor expansion of x in x 1.525 * [taylor]: Taking taylor expansion of 1.0 in x 1.525 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.525 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.525 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.525 * [taylor]: Taking taylor expansion of -2.0 in x 1.525 * [taylor]: Taking taylor expansion of x in x 1.525 * [taylor]: Taking taylor expansion of 1.0 in x 1.529 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.529 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in (x) around 0 1.529 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.529 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.529 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.529 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.529 * [taylor]: Taking taylor expansion of 2.0 in x 1.529 * [taylor]: Taking taylor expansion of x in x 1.530 * [taylor]: Taking taylor expansion of 1.0 in x 1.531 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.531 * [taylor]: Taking taylor expansion of (exp x) in x 1.531 * [taylor]: Taking taylor expansion of x in x 1.531 * [taylor]: Taking taylor expansion of 1.0 in x 1.536 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.536 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.536 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.536 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.536 * [taylor]: Taking taylor expansion of 2.0 in x 1.536 * [taylor]: Taking taylor expansion of x in x 1.537 * [taylor]: Taking taylor expansion of 1.0 in x 1.537 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.537 * [taylor]: Taking taylor expansion of (exp x) in x 1.537 * [taylor]: Taking taylor expansion of x in x 1.537 * [taylor]: Taking taylor expansion of 1.0 in x 1.560 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in (x) around 0 1.560 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.560 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.560 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.560 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.560 * [taylor]: Taking taylor expansion of 2.0 in x 1.560 * [taylor]: Taking taylor expansion of x in x 1.560 * [taylor]: Taking taylor expansion of 1.0 in x 1.560 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.560 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.560 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.560 * [taylor]: Taking taylor expansion of x in x 1.561 * [taylor]: Taking taylor expansion of 1.0 in x 1.562 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.562 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.562 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.562 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.562 * [taylor]: Taking taylor expansion of 2.0 in x 1.562 * [taylor]: Taking taylor expansion of x in x 1.562 * [taylor]: Taking taylor expansion of 1.0 in x 1.562 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.562 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.562 * [taylor]: Taking taylor expansion of x in x 1.562 * [taylor]: Taking taylor expansion of 1.0 in x 1.572 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in (x) around 0 1.572 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.572 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.572 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.572 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.572 * [taylor]: Taking taylor expansion of -2.0 in x 1.572 * [taylor]: Taking taylor expansion of x in x 1.572 * [taylor]: Taking taylor expansion of 1.0 in x 1.572 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.572 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.572 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.572 * [taylor]: Taking taylor expansion of -1 in x 1.572 * [taylor]: Taking taylor expansion of x in x 1.573 * [taylor]: Taking taylor expansion of 1.0 in x 1.574 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.574 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.574 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.574 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.574 * [taylor]: Taking taylor expansion of -2.0 in x 1.574 * [taylor]: Taking taylor expansion of x in x 1.574 * [taylor]: Taking taylor expansion of 1.0 in x 1.574 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.574 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.574 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.574 * [taylor]: Taking taylor expansion of -1 in x 1.574 * [taylor]: Taking taylor expansion of x in x 1.575 * [taylor]: Taking taylor expansion of 1.0 in x 1.584 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.584 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in (x) around 0 1.584 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in x 1.584 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.584 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.584 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.584 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.584 * [taylor]: Taking taylor expansion of 2.0 in x 1.584 * [taylor]: Taking taylor expansion of x in x 1.585 * [taylor]: Taking taylor expansion of 1.0 in x 1.585 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.585 * [taylor]: Taking taylor expansion of (exp x) in x 1.585 * [taylor]: Taking taylor expansion of x in x 1.585 * [taylor]: Taking taylor expansion of 1.0 in x 1.605 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) in x 1.605 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) in x 1.605 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 1.605 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 1.605 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.605 * [taylor]: Taking taylor expansion of 2.0 in x 1.605 * [taylor]: Taking taylor expansion of x in x 1.606 * [taylor]: Taking taylor expansion of 1.0 in x 1.606 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 1.606 * [taylor]: Taking taylor expansion of (exp x) in x 1.606 * [taylor]: Taking taylor expansion of x in x 1.606 * [taylor]: Taking taylor expansion of 1.0 in x 1.643 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0))) in (x) around 0 1.643 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0))) in x 1.643 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.643 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.643 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.643 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.643 * [taylor]: Taking taylor expansion of 2.0 in x 1.643 * [taylor]: Taking taylor expansion of x in x 1.643 * [taylor]: Taking taylor expansion of 1.0 in x 1.643 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.643 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.643 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.643 * [taylor]: Taking taylor expansion of x in x 1.644 * [taylor]: Taking taylor expansion of 1.0 in x 1.646 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0))) in x 1.646 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2.0 x)) 1.0) (- (exp (/ 1 x)) 1.0)) in x 1.646 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 1.646 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 1.646 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 1.646 * [taylor]: Taking taylor expansion of 2.0 in x 1.646 * [taylor]: Taking taylor expansion of x in x 1.646 * [taylor]: Taking taylor expansion of 1.0 in x 1.646 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 1.646 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.646 * [taylor]: Taking taylor expansion of x in x 1.647 * [taylor]: Taking taylor expansion of 1.0 in x 1.659 * [approximate]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in (x) around 0 1.659 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in x 1.659 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.659 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.659 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.659 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.659 * [taylor]: Taking taylor expansion of -2.0 in x 1.659 * [taylor]: Taking taylor expansion of x in x 1.659 * [taylor]: Taking taylor expansion of 1.0 in x 1.659 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.659 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.659 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.659 * [taylor]: Taking taylor expansion of -1 in x 1.659 * [taylor]: Taking taylor expansion of x in x 1.660 * [taylor]: Taking taylor expansion of 1.0 in x 1.662 * [taylor]: Taking taylor expansion of (sqrt (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0))) in x 1.662 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -2.0 x)) 1.0) (- (exp (/ -1 x)) 1.0)) in x 1.662 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 1.662 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 1.662 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 1.662 * [taylor]: Taking taylor expansion of -2.0 in x 1.662 * [taylor]: Taking taylor expansion of x in x 1.663 * [taylor]: Taking taylor expansion of 1.0 in x 1.663 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 1.663 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.663 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.663 * [taylor]: Taking taylor expansion of -1 in x 1.663 * [taylor]: Taking taylor expansion of x in x 1.663 * [taylor]: Taking taylor expansion of 1.0 in x 1.675 * * * [progress]: simplifying candidates 1.678 * [simplify]: Simplifying using # : (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma 1 (exp x) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma 1 (exp x) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma 1 (exp x) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (exp x) 1.0)) (log1p (- (exp x) 1.0)) (- 1.0) (- 1.0) (- 1.0) (/ (exp (exp x)) (exp 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3)) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))) (- 1.0) (- (* (exp x) (exp x)) (* 1.0 1.0)) (+ (exp x) 1.0) (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (- 1.0) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma 1 (exp (* 2.0 x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma 1 (exp (* 2.0 x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma 1 (exp (* 2.0 x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (/ (exp (exp (* 2.0 x))) (exp 1.0)) (log (- (exp (* 2.0 x)) 1.0)) (exp (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (* 2.0 x)) 1.0)) (* (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) (+ (* (exp (* 2.0 x)) (exp (* 2.0 x))) (+ (* 1.0 1.0) (* (exp (* 2.0 x)) 1.0))) (- 1.0) (- (* (exp (* 2.0 x)) (exp (* 2.0 x))) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (* 2.0 x)) 1.0) (- 1.0) (expm1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (log1p (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (- (log (- (exp (* 2.0 x)) 1.0)) (log (- (exp x) 1.0))) (log (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (exp (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (/ (* (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2.0 x)) 1.0)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0))) (* (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (* (* (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (- (- (exp (* 2.0 x)) 1.0)) (- (- (exp x) 1.0)) (/ (exp (* 2.0 x)) (- (exp x) 1.0)) (/ 1.0 (- (exp x) 1.0)) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0))) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (- (exp x) 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0))) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 1) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 1) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) 1) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) 1) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0))) (/ 1 (sqrt (- (exp x) 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0))) (/ 1 1) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0))) (/ 1 1) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (cbrt (- (exp x) 1.0))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 1) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 1) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0)) (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0))) (/ 1 (sqrt (- (exp x) 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0))) (/ 1 1) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0))) (/ 1 1) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (- (exp x) 1.0)) (/ (- (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0))) (/ (- (exp (* 2.0 x)) 1.0) 1) (/ (- (exp (* 2.0 x)) 1.0) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (exp (* 2.0 x)) 1.0) 1) (/ (- (exp x) 1.0) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp x) 1.0) (sqrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp x) 1.0) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (/ (- (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (pow (exp x) 3) (pow 1.0 3))) (/ (- (exp (* 2.0 x)) 1.0) (- (* (exp x) (exp x)) (* 1.0 1.0))) (* (- (exp x) 1.0) (+ (* (exp (* 2.0 x)) (exp (* 2.0 x))) (+ (* 1.0 1.0) (* (exp (* 2.0 x)) 1.0)))) (* (- (exp x) 1.0) (+ (exp (* 2.0 x)) 1.0)) (expm1 (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (log1p (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (log (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (exp (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (* (cbrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (cbrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))))) (cbrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (* (* (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (* (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))))) (sqrt (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0)))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (- (exp x) 1.0)))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 1)) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) 1)) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) 1)) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) 1)) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0)))) (sqrt (/ 1 (sqrt (- (exp x) 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0)))) (sqrt (/ 1 1)) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ 1 1)) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (cbrt (- (exp x) 1.0)))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 1)) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) 1)) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))) (sqrt (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0)))) (sqrt (/ 1 (sqrt (- (exp x) 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0)))) (sqrt (/ 1 1)) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ 1 1)) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt 1) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (/ 1 (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (pow (exp x) 3) (pow 1.0 3)))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (* (exp x) (exp x)) (* 1.0 1.0)))) (sqrt (+ (exp x) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)) (/ 1 2) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) (- (exp x) 1.0) (- (exp x) 1.0) (+ (* 2.0 (pow x 2)) (+ (* 1.3333333333333333 (pow x 3)) (* 2.0 x))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (+ (* 0.5 (pow x 2)) (+ (* 1.0 x) 2.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (- (+ (* 0.25 (/ (pow x 2) (sqrt 2.0))) (+ (sqrt 2.0) (* 0.5 (/ x (sqrt 2.0))))) (* 0.125 (/ (pow x 2) (pow (sqrt 2.0) 3)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 1.690 * * [simplify]: iteration 0 : 232 enodes (cost 2954 ) 1.726 * * [simplify]: iteration 1 : 475 enodes (cost 2688 ) 1.843 * * [simplify]: iteration 2 : 1321 enodes (cost 2453 ) 2.197 * * [simplify]: iteration done : 5000 enodes (cost 2453 ) 2.198 * [simplify]: Simplified to: (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 1.0) (* 1.0 0) (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 1.0) (* 1.0 0) (- (* (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x))) 1.0) (* 1.0 0) (- (exp x) 1.0) (* 1.0 0) (- (exp x) 1.0) (* 1.0 0) (- (exp x) 1.0) (* 1.0 0) (- (exp x) 1.0) (* 1.0 0) (- (exp x) 1.0) (* 1.0 0) (- (exp x) 1.0) (* 1.0 0) (expm1 (- (exp x) 1.0)) (log1p (- (exp x) 1.0)) (- 1.0) (- 1.0) (- 1.0) (exp (- (exp x) 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (pow (- (exp x) 1.0) 3) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3)) (fma 1.0 (+ (exp x) 1.0) (exp (+ x x))) (- 1.0) (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0) (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (- 1.0) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- 1.0)) (* 1.0 0) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- 1.0)) (* 1.0 0) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- 1.0)) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 0) (- (exp (* 2.0 x)) 1.0) (* 1.0 0) (expm1 (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (exp (- (exp (* 2.0 x)) 1.0)) (log (- (exp (* 2.0 x)) 1.0)) (exp (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (* 2.0 x)) 1.0)) (pow (- (exp (* 2.0 x)) 1.0) 3) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) (fma 1.0 (+ (exp (* 2.0 x)) 1.0) (pow (exp 2.0) (+ x x))) (- 1.0) (- (pow (exp 2.0) (+ x x)) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (* 2.0 x)) 1.0) (- 1.0) (expm1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (log1p (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (log (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (log (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (exp (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (pow (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) 3) (* (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (pow (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) 3) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (- (- (exp (* 2.0 x)) 1.0)) (- (- (exp x) 1.0)) (/ (exp (* 2.0 x)) (- (exp x) 1.0)) (/ 1.0 (- (exp x) 1.0)) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0))) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (- (exp x) 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0))) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0))) (sqrt (- (exp (* 2.0 x)) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (sqrt (- (exp (* 2.0 x)) 1.0)) (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0)) (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0))) (/ 1 (sqrt (- (exp x) 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (cbrt (- (exp x) 1.0))) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0))) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0)) (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0)) (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0))) (/ 1 (sqrt (- (exp x) 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0))) 1 (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ 1 (- (exp x) 1.0)) (/ (- (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0))) (- (exp (* 2.0 x)) 1.0) (/ (- (exp (* 2.0 x)) 1.0) (+ (sqrt (exp x)) (sqrt 1.0))) (- (exp (* 2.0 x)) 1.0) (/ (- (exp x) 1.0) (cbrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp x) 1.0) (sqrt (- (exp (* 2.0 x)) 1.0))) (/ (- (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp x) 1.0) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (/ (- (exp x) 1.0) (- (exp (* 2.0 x)) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (pow (exp x) 3) (pow 1.0 3))) (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0))) (* (fma 1.0 (+ (exp (* 2.0 x)) 1.0) (pow (exp 2.0) (+ x x))) (- (exp x) 1.0)) (* (- (exp x) 1.0) (+ (exp (* 2.0 x)) 1.0)) (expm1 (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (log1p (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (log (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (exp (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (* (cbrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (cbrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))))) (cbrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (pow (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 3) (fabs (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (cbrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (fabs (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0)))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0)))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (- (exp x) 1.0)))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)))) (fabs (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (fabs (cbrt (- (exp (* 2.0 x)) 1.0))) (sqrt (/ (cbrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp x) 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (sqrt (- (exp (* 2.0 x)) 1.0))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (sqrt (- (exp (* 2.0 x)) 1.0))) (sqrt (/ (sqrt (- (exp (* 2.0 x)) 1.0)) (- (exp x) 1.0))) (sqrt (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0)))) (sqrt (/ 1 (sqrt (- (exp x) 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0)))) 1 (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0)))) 1 (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (cbrt (- (exp x) 1.0)))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (sqrt (- (exp x) 1.0)))) (sqrt (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))) (sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)))) (sqrt (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (sqrt (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp x) 1.0))) (sqrt (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (cbrt (- (exp x) 1.0)))) (sqrt (/ 1 (sqrt (- (exp x) 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (sqrt (- (exp x) 1.0)))) 1 (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (sqrt (exp x)) (sqrt 1.0)))) 1 (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 1 (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (/ 1 (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (pow (exp x) 3) (pow 1.0 3)))) (sqrt (fma 1.0 (+ (exp x) 1.0) (exp (+ x x)))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (+ (exp x) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp x) 1.0)) 1/2 (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (sqrt (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))) (fma 1/2 (pow x 2) (fma 1/6 (pow x 3) x)) (- (exp x) 1.0) (- (exp x) 1.0) (fma 2.0 (pow x 2) (fma 1.3333333333333333 (pow x 3) (* 2.0 x))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (fma 0.5 (pow x 2) (fma 1.0 x 2.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)) (fma (/ (pow x 2) (sqrt 2.0)) 0.25 (- (fma (/ x (sqrt 2.0)) 0.5 (sqrt 2.0)) (* 0.125 (/ (pow x 2) (pow (sqrt 2.0) 3))))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) (sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))) 2.199 * * * [progress]: adding candidates to table 2.578 * * [progress]: iteration 2 / 4 2.578 * * * [progress]: picking best candidate 2.589 * * * * [pick]: Picked # 2.590 * * * [progress]: localizing error 2.605 * * * [progress]: generating rewritten candidates 2.605 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 2.640 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 2.645 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 2.649 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 2.657 * * * [progress]: generating series expansions 2.657 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 2.658 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 2.658 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 2.658 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 2.658 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.658 * [taylor]: Taking taylor expansion of 2 in x 2.658 * [taylor]: Taking taylor expansion of x in x 2.659 * [taylor]: Taking taylor expansion of 1.0 in x 2.659 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 2.659 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 2.659 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.659 * [taylor]: Taking taylor expansion of 2 in x 2.659 * [taylor]: Taking taylor expansion of x in x 2.660 * [taylor]: Taking taylor expansion of 1.0 in x 2.667 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 2.667 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 2.667 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 2.667 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.667 * [taylor]: Taking taylor expansion of 2 in x 2.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.667 * [taylor]: Taking taylor expansion of x in x 2.668 * [taylor]: Taking taylor expansion of 1.0 in x 2.668 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 2.668 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 2.668 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.668 * [taylor]: Taking taylor expansion of 2 in x 2.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.668 * [taylor]: Taking taylor expansion of x in x 2.668 * [taylor]: Taking taylor expansion of 1.0 in x 2.672 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 2.672 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 2.672 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 2.672 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 2.672 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.672 * [taylor]: Taking taylor expansion of 2 in x 2.672 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.672 * [taylor]: Taking taylor expansion of x in x 2.673 * [taylor]: Taking taylor expansion of 1.0 in x 2.673 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 2.673 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 2.673 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 2.673 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.673 * [taylor]: Taking taylor expansion of 2 in x 2.673 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.673 * [taylor]: Taking taylor expansion of x in x 2.674 * [taylor]: Taking taylor expansion of 1.0 in x 2.678 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 2.678 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 2.678 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 2.678 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 2.678 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 2.678 * [taylor]: Taking taylor expansion of 2.0 in x 2.678 * [taylor]: Taking taylor expansion of x in x 2.679 * [taylor]: Taking taylor expansion of 1.0 in x 2.679 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 2.679 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 2.679 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 2.679 * [taylor]: Taking taylor expansion of 2.0 in x 2.679 * [taylor]: Taking taylor expansion of x in x 2.680 * [taylor]: Taking taylor expansion of 1.0 in x 2.694 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 2.694 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 2.694 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 2.694 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 2.694 * [taylor]: Taking taylor expansion of 2.0 in x 2.694 * [taylor]: Taking taylor expansion of x in x 2.694 * [taylor]: Taking taylor expansion of 1.0 in x 2.694 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 2.694 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 2.694 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 2.694 * [taylor]: Taking taylor expansion of 2.0 in x 2.694 * [taylor]: Taking taylor expansion of x in x 2.695 * [taylor]: Taking taylor expansion of 1.0 in x 2.698 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 2.698 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 2.698 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 2.698 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 2.698 * [taylor]: Taking taylor expansion of -2.0 in x 2.698 * [taylor]: Taking taylor expansion of x in x 2.699 * [taylor]: Taking taylor expansion of 1.0 in x 2.699 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 2.699 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 2.699 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 2.699 * [taylor]: Taking taylor expansion of -2.0 in x 2.699 * [taylor]: Taking taylor expansion of x in x 2.699 * [taylor]: Taking taylor expansion of 1.0 in x 2.702 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 2.702 * [approximate]: Taking taylor expansion of (+ (exp x) 1.0) in (x) around 0 2.702 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 2.702 * [taylor]: Taking taylor expansion of (exp x) in x 2.703 * [taylor]: Taking taylor expansion of x in x 2.703 * [taylor]: Taking taylor expansion of 1.0 in x 2.703 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 2.703 * [taylor]: Taking taylor expansion of (exp x) in x 2.703 * [taylor]: Taking taylor expansion of x in x 2.703 * [taylor]: Taking taylor expansion of 1.0 in x 2.705 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in (x) around 0 2.705 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 2.705 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.705 * [taylor]: Taking taylor expansion of x in x 2.710 * [taylor]: Taking taylor expansion of 1.0 in x 2.710 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 2.710 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.710 * [taylor]: Taking taylor expansion of x in x 2.710 * [taylor]: Taking taylor expansion of 1.0 in x 2.712 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in (x) around 0 2.712 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 2.712 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.712 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.712 * [taylor]: Taking taylor expansion of -1 in x 2.712 * [taylor]: Taking taylor expansion of x in x 2.713 * [taylor]: Taking taylor expansion of 1.0 in x 2.713 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 2.713 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.713 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.713 * [taylor]: Taking taylor expansion of -1 in x 2.713 * [taylor]: Taking taylor expansion of x in x 2.713 * [taylor]: Taking taylor expansion of 1.0 in x 2.715 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 2.715 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1.0)) in (x) around 0 2.715 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1.0)) in x 2.715 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 2.715 * [taylor]: Taking taylor expansion of (exp x) in x 2.715 * [taylor]: Taking taylor expansion of x in x 2.715 * [taylor]: Taking taylor expansion of 1.0 in x 2.717 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1.0)) in x 2.717 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 2.718 * [taylor]: Taking taylor expansion of (exp x) in x 2.718 * [taylor]: Taking taylor expansion of x in x 2.718 * [taylor]: Taking taylor expansion of 1.0 in x 2.734 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1.0)) in (x) around 0 2.734 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1.0)) in x 2.734 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 2.734 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.734 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.734 * [taylor]: Taking taylor expansion of x in x 2.734 * [taylor]: Taking taylor expansion of 1.0 in x 2.735 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1.0)) in x 2.735 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 2.735 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.735 * [taylor]: Taking taylor expansion of x in x 2.735 * [taylor]: Taking taylor expansion of 1.0 in x 2.739 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1.0)) in (x) around 0 2.739 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1.0)) in x 2.739 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 2.739 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.740 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.740 * [taylor]: Taking taylor expansion of -1 in x 2.740 * [taylor]: Taking taylor expansion of x in x 2.740 * [taylor]: Taking taylor expansion of 1.0 in x 2.740 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1.0)) in x 2.740 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 2.740 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.740 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.740 * [taylor]: Taking taylor expansion of -1 in x 2.740 * [taylor]: Taking taylor expansion of x in x 2.741 * [taylor]: Taking taylor expansion of 1.0 in x 2.745 * * * [progress]: simplifying candidates 2.747 * [simplify]: Simplifying using # : (fma (exp x) (exp x) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma (* (cbrt (exp (+ x x))) (cbrt (exp (+ x x)))) (cbrt (exp (+ x x))) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma (sqrt (exp (+ x x))) (sqrt (exp (+ x x))) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma 1 (exp (+ x x)) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (expm1 (- (exp (+ x x)) (* 1.0 1.0))) (log1p (- (exp (+ x x)) (* 1.0 1.0))) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (/ (exp (exp (+ x x))) (exp (* 1.0 1.0))) (log (- (exp (+ x x)) (* 1.0 1.0))) (exp (- (exp (+ x x)) (* 1.0 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (* (* (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (- (pow (exp (+ x x)) 3) (pow (* 1.0 1.0) 3)) (+ (* (exp (+ x x)) (exp (+ x x))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (exp (+ x x)) (* 1.0 1.0)))) (- (* 1.0 1.0)) (- (* (exp (+ x x)) (exp (+ x x))) (* (* 1.0 1.0) (* 1.0 1.0))) (+ (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0) (- (exp x) 1.0) (+ (sqrt (exp (+ x x))) 1.0) (- (sqrt (exp (+ x x))) 1.0) (- (* 1.0 1.0)) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma 1 (exp (* 2.0 x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma 1 (exp (* 2.0 x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma 1 (exp (* 2.0 x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (/ (exp (exp (* 2.0 x))) (exp 1.0)) (log (- (exp (* 2.0 x)) 1.0)) (exp (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (* 2.0 x)) 1.0)) (* (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) (+ (* (exp (* 2.0 x)) (exp (* 2.0 x))) (+ (* 1.0 1.0) (* (exp (* 2.0 x)) 1.0))) (- 1.0) (- (* (exp (* 2.0 x)) (exp (* 2.0 x))) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (* 2.0 x)) 1.0) (- 1.0) (expm1 (+ (exp x) 1.0)) (log1p (+ (exp x) 1.0)) (* (exp (exp x)) (exp 1.0)) (log (+ (exp x) 1.0)) (exp (+ (exp x) 1.0)) (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0))) (cbrt (+ (exp x) 1.0)) (* (* (+ (exp x) 1.0) (+ (exp x) 1.0)) (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) (+ (pow (exp x) 3) (pow 1.0 3)) (+ (* (exp x) (exp x)) (- (* 1.0 1.0) (* (exp x) 1.0))) (- (* (exp x) (exp x)) (* 1.0 1.0)) (- (exp x) 1.0) (+ (exp x) 1.0) (expm1 (sqrt (+ (exp x) 1.0))) (log1p (sqrt (+ (exp x) 1.0))) (log (sqrt (+ (exp x) 1.0))) (exp (sqrt (+ (exp x) 1.0))) (* (cbrt (sqrt (+ (exp x) 1.0))) (cbrt (sqrt (+ (exp x) 1.0)))) (cbrt (sqrt (+ (exp x) 1.0))) (* (* (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0))) (sqrt (+ (exp x) 1.0))) (sqrt (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0)))) (sqrt (cbrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (sqrt 1) (sqrt (+ (exp x) 1.0)) (sqrt 1) (sqrt (+ (exp x) 1.0)) (sqrt (+ (pow (exp x) 3) (pow 1.0 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1.0 1.0) (* (exp x) 1.0)))) (sqrt (- (* (exp x) (exp x)) (* 1.0 1.0))) (sqrt (- (exp x) 1.0)) (/ 1 2) (sqrt (sqrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (+ (* 2.0 (pow x 2)) (+ (* 1.3333333333333333 (pow x 3)) (* 2.0 x))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (+ (* 1/2 (pow x 2)) (+ x 2.0)) (+ (exp x) 1.0) (+ (exp x) 1.0) (- (+ (* 1/4 (/ (pow x 2) (sqrt 2.0))) (+ (sqrt 2.0) (* 1/2 (/ x (sqrt 2.0))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2.0) 3)))) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) 2.751 * * [simplify]: iteration 0 : 166 enodes (cost 1120 ) 2.782 * * [simplify]: iteration 1 : 360 enodes (cost 992 ) 2.883 * * [simplify]: iteration 2 : 1086 enodes (cost 845 ) 3.534 * * [simplify]: iteration done : 5000 enodes (cost 763 ) 3.535 * [simplify]: Simplified to: (- (exp (+ x x)) (* 1.0 1.0)) 0 (- (pow (cbrt (exp (+ x x))) 3) (* 1.0 1.0)) 0 (- (exp (+ x x)) (* 1.0 1.0)) 0 (- (exp (+ x x)) (* 1.0 1.0)) 0 (expm1 (- (exp (+ x x)) (* 1.0 1.0))) (log1p (- (exp (+ x x)) (* 1.0 1.0))) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (exp (- (exp (* 2 x)) (* 1.0 1.0))) (log (- (exp (+ x x)) (* 1.0 1.0))) (exp (- (exp (* 2 x)) (* 1.0 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (pow (- (exp (+ x x)) (* 1.0 1.0)) 3) (sqrt (- (exp (* 2 x)) (* 1.0 1.0))) (sqrt (- (exp (* 2 x)) (* 1.0 1.0))) (- (pow (exp x) 6) (pow 1.0 6)) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (+ x x))) (exp (* x 4))) (- (* 1.0 1.0)) (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (exp (+ x x))) (+ 1.0 (exp x)) (- (exp x) 1.0) (+ 1.0 (fabs (exp x))) (- (fabs (exp x)) 1.0) (- (* 1.0 1.0)) (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) 0 (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) 0 (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (expm1 (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (exp (- (exp (* 2.0 x)) 1.0)) (log (- (exp (* 2.0 x)) 1.0)) (exp (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (* 2.0 x)) 1.0)) (pow (- (exp (* 2.0 x)) 1.0) 3) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) (fma 1.0 (+ (exp (* 2.0 x)) 1.0) (pow (exp 2.0) (+ x x))) (- 1.0) (- (pow (exp 2.0) (+ x x)) (* 1.0 1.0)) (+ (pow (exp x) 2.0) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (* 2.0 x)) 1.0) (- 1.0) (expm1 (+ (exp x) 1.0)) (log1p (+ (exp x) 1.0)) (exp (+ (exp x) 1.0)) (log (+ (exp x) 1.0)) (exp (+ (exp x) 1.0)) (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0))) (cbrt (+ (exp x) 1.0)) (pow (+ 1.0 (exp x)) 3) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) (+ (pow (exp x) 3) (pow 1.0 3)) (fma 1.0 (- 1.0 (exp x)) (pow (exp 2) x)) (- (exp (+ x x)) (* 1.0 1.0)) (- (exp x) 1.0) (+ 1.0 (exp x)) (expm1 (sqrt (+ (exp x) 1.0))) (log1p (sqrt (+ (exp x) 1.0))) (log (sqrt (+ (exp x) 1.0))) (exp (sqrt (+ (exp x) 1.0))) (* (cbrt (sqrt (+ (exp x) 1.0))) (cbrt (sqrt (+ (exp x) 1.0)))) (cbrt (sqrt (+ (exp x) 1.0))) (pow (sqrt (+ (exp x) 1.0)) 3) (fabs (cbrt (+ (exp x) 1.0))) (sqrt (cbrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) 1 (sqrt (+ (exp x) 1.0)) 1 (sqrt (+ (exp x) 1.0)) (hypot (pow (exp x) 3/2) (pow 1.0 3/2)) (sqrt (fma 1.0 (- 1.0 (exp x)) (pow (exp 2) x))) (sqrt (- (exp (* 2 x)) (* 1.0 1.0))) (sqrt (- (exp x) 1.0)) 1/2 (sqrt (sqrt (+ (exp x) 1.0))) (sqrt (sqrt (+ (exp x) 1.0))) (fma 2 (pow x 2) (fma 4/3 (pow x 3) (* 2 x))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (fma 2.0 (pow x 2) (fma 1.3333333333333333 (pow x 3) (* 2.0 x))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (fma 1/2 (pow x 2) (+ x 2.0)) (+ 1.0 (exp x)) (+ 1.0 (exp x)) (+ (fma 1/2 (/ x (sqrt 2.0)) (sqrt 2.0)) (* (/ (pow x 2) (sqrt 2.0)) (- 1/4 (/ 1/8 2.0)))) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) 3.535 * * * [progress]: adding candidates to table 3.849 * * [progress]: iteration 3 / 4 3.849 * * * [progress]: picking best candidate 3.859 * * * * [pick]: Picked # 3.859 * * * [progress]: localizing error 3.876 * * * [progress]: generating rewritten candidates 3.876 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 3.910 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1) 3.915 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 3.915 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 3.921 * * * [progress]: generating series expansions 3.921 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 3.922 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 3.922 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 3.922 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 3.922 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.922 * [taylor]: Taking taylor expansion of 2 in x 3.922 * [taylor]: Taking taylor expansion of x in x 3.922 * [taylor]: Taking taylor expansion of 1.0 in x 3.923 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 3.923 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 3.923 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.923 * [taylor]: Taking taylor expansion of 2 in x 3.923 * [taylor]: Taking taylor expansion of x in x 3.923 * [taylor]: Taking taylor expansion of 1.0 in x 3.930 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 3.930 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 3.930 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.930 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.930 * [taylor]: Taking taylor expansion of 2 in x 3.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.930 * [taylor]: Taking taylor expansion of x in x 3.931 * [taylor]: Taking taylor expansion of 1.0 in x 3.931 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 3.931 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.931 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.931 * [taylor]: Taking taylor expansion of 2 in x 3.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.931 * [taylor]: Taking taylor expansion of x in x 3.932 * [taylor]: Taking taylor expansion of 1.0 in x 3.935 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 3.935 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 3.935 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 3.936 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 3.936 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.936 * [taylor]: Taking taylor expansion of 2 in x 3.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.936 * [taylor]: Taking taylor expansion of x in x 3.936 * [taylor]: Taking taylor expansion of 1.0 in x 3.936 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 3.936 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 3.936 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 3.936 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.936 * [taylor]: Taking taylor expansion of 2 in x 3.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.937 * [taylor]: Taking taylor expansion of x in x 3.937 * [taylor]: Taking taylor expansion of 1.0 in x 3.941 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1) 3.941 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 3.941 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 3.941 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 3.941 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 3.941 * [taylor]: Taking taylor expansion of 2.0 in x 3.941 * [taylor]: Taking taylor expansion of x in x 3.942 * [taylor]: Taking taylor expansion of 1.0 in x 3.942 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 3.942 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 3.942 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 3.942 * [taylor]: Taking taylor expansion of 2.0 in x 3.942 * [taylor]: Taking taylor expansion of x in x 3.943 * [taylor]: Taking taylor expansion of 1.0 in x 3.956 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 3.957 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 3.957 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 3.957 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 3.957 * [taylor]: Taking taylor expansion of 2.0 in x 3.957 * [taylor]: Taking taylor expansion of x in x 3.957 * [taylor]: Taking taylor expansion of 1.0 in x 3.957 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 3.957 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 3.957 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 3.957 * [taylor]: Taking taylor expansion of 2.0 in x 3.957 * [taylor]: Taking taylor expansion of x in x 3.957 * [taylor]: Taking taylor expansion of 1.0 in x 3.961 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 3.961 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 3.961 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 3.961 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 3.961 * [taylor]: Taking taylor expansion of -2.0 in x 3.961 * [taylor]: Taking taylor expansion of x in x 3.961 * [taylor]: Taking taylor expansion of 1.0 in x 3.961 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 3.961 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 3.961 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 3.961 * [taylor]: Taking taylor expansion of -2.0 in x 3.961 * [taylor]: Taking taylor expansion of x in x 3.962 * [taylor]: Taking taylor expansion of 1.0 in x 3.965 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1) 3.965 * [approximate]: Taking taylor expansion of (log1p (- (exp (* 2.0 x)) 1.0)) in (x) around 0 3.965 * [taylor]: Taking taylor expansion of (log1p (- (exp (* 2.0 x)) 1.0)) in x 3.967 * [taylor]: Rewrote expression to (log (+ 1 (- (exp (* 2.0 x)) 1.0))) 3.967 * [taylor]: Taking taylor expansion of (+ 1 (- (exp (* 2.0 x)) 1.0)) in x 3.967 * [taylor]: Taking taylor expansion of 1 in x 3.967 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 3.967 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 3.967 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 3.967 * [taylor]: Taking taylor expansion of 2.0 in x 3.967 * [taylor]: Taking taylor expansion of x in x 3.968 * [taylor]: Taking taylor expansion of 1.0 in x 3.969 * [taylor]: Taking taylor expansion of (log1p (- (exp (* 2.0 x)) 1.0)) in x 3.969 * [taylor]: Rewrote expression to (log (+ 1 (- (exp (* 2.0 x)) 1.0))) 3.969 * [taylor]: Taking taylor expansion of (+ 1 (- (exp (* 2.0 x)) 1.0)) in x 3.969 * [taylor]: Taking taylor expansion of 1 in x 3.969 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 3.969 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 3.969 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 3.969 * [taylor]: Taking taylor expansion of 2.0 in x 3.969 * [taylor]: Taking taylor expansion of x in x 3.971 * [taylor]: Taking taylor expansion of 1.0 in x 4.331 * [approximate]: Taking taylor expansion of (log1p (- (exp (/ 2.0 x)) 1.0)) in (x) around 0 4.331 * [taylor]: Taking taylor expansion of (log1p (- (exp (/ 2.0 x)) 1.0)) in x 4.331 * [taylor]: Rewrote expression to (log (+ 1 (- (exp (/ 2.0 x)) 1.0))) 4.331 * [taylor]: Taking taylor expansion of (+ 1 (- (exp (/ 2.0 x)) 1.0)) in x 4.331 * [taylor]: Taking taylor expansion of 1 in x 4.331 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 4.331 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 4.331 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 4.331 * [taylor]: Taking taylor expansion of 2.0 in x 4.331 * [taylor]: Taking taylor expansion of x in x 4.332 * [taylor]: Taking taylor expansion of 1.0 in x 4.332 * [taylor]: Taking taylor expansion of (log1p (- (exp (/ 2.0 x)) 1.0)) in x 4.333 * [taylor]: Rewrote expression to (log (+ 1 (- (exp (/ 2.0 x)) 1.0))) 4.333 * [taylor]: Taking taylor expansion of (+ 1 (- (exp (/ 2.0 x)) 1.0)) in x 4.333 * [taylor]: Taking taylor expansion of 1 in x 4.333 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 4.333 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 4.333 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 4.333 * [taylor]: Taking taylor expansion of 2.0 in x 4.333 * [taylor]: Taking taylor expansion of x in x 4.333 * [taylor]: Taking taylor expansion of 1.0 in x 4.361 * [approximate]: Taking taylor expansion of (log1p (- (exp (/ -2.0 x)) 1.0)) in (x) around 0 4.361 * [taylor]: Taking taylor expansion of (log1p (- (exp (/ -2.0 x)) 1.0)) in x 4.361 * [taylor]: Rewrote expression to (log (+ 1 (- (exp (/ -2.0 x)) 1.0))) 4.361 * [taylor]: Taking taylor expansion of (+ 1 (- (exp (/ -2.0 x)) 1.0)) in x 4.361 * [taylor]: Taking taylor expansion of 1 in x 4.361 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 4.361 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 4.361 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 4.361 * [taylor]: Taking taylor expansion of -2.0 in x 4.361 * [taylor]: Taking taylor expansion of x in x 4.362 * [taylor]: Taking taylor expansion of 1.0 in x 4.362 * [taylor]: Taking taylor expansion of (log1p (- (exp (/ -2.0 x)) 1.0)) in x 4.362 * [taylor]: Rewrote expression to (log (+ 1 (- (exp (/ -2.0 x)) 1.0))) 4.362 * [taylor]: Taking taylor expansion of (+ 1 (- (exp (/ -2.0 x)) 1.0)) in x 4.362 * [taylor]: Taking taylor expansion of 1 in x 4.362 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 4.362 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 4.362 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 4.362 * [taylor]: Taking taylor expansion of -2.0 in x 4.362 * [taylor]: Taking taylor expansion of x in x 4.363 * [taylor]: Taking taylor expansion of 1.0 in x 4.385 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 4.385 * [approximate]: Taking taylor expansion of (+ (exp x) 1.0) in (x) around 0 4.385 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.385 * [taylor]: Taking taylor expansion of (exp x) in x 4.385 * [taylor]: Taking taylor expansion of x in x 4.385 * [taylor]: Taking taylor expansion of 1.0 in x 4.385 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.385 * [taylor]: Taking taylor expansion of (exp x) in x 4.385 * [taylor]: Taking taylor expansion of x in x 4.385 * [taylor]: Taking taylor expansion of 1.0 in x 4.388 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in (x) around 0 4.388 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.388 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.388 * [taylor]: Taking taylor expansion of x in x 4.388 * [taylor]: Taking taylor expansion of 1.0 in x 4.388 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.388 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.388 * [taylor]: Taking taylor expansion of x in x 4.389 * [taylor]: Taking taylor expansion of 1.0 in x 4.390 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in (x) around 0 4.390 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.390 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.390 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.390 * [taylor]: Taking taylor expansion of -1 in x 4.390 * [taylor]: Taking taylor expansion of x in x 4.391 * [taylor]: Taking taylor expansion of 1.0 in x 4.391 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.391 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.391 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.391 * [taylor]: Taking taylor expansion of -1 in x 4.391 * [taylor]: Taking taylor expansion of x in x 4.391 * [taylor]: Taking taylor expansion of 1.0 in x 4.393 * * * [progress]: simplifying candidates 4.394 * [simplify]: Simplifying using # : (fma (exp x) (exp x) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma (* (cbrt (exp (+ x x))) (cbrt (exp (+ x x)))) (cbrt (exp (+ x x))) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma (sqrt (exp (+ x x))) (sqrt (exp (+ x x))) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma 1 (exp (+ x x)) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (expm1 (- (exp (+ x x)) (* 1.0 1.0))) (log1p (- (exp (+ x x)) (* 1.0 1.0))) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (/ (exp (exp (+ x x))) (exp (* 1.0 1.0))) (log (- (exp (+ x x)) (* 1.0 1.0))) (exp (- (exp (+ x x)) (* 1.0 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (* (* (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (- (pow (exp (+ x x)) 3) (pow (* 1.0 1.0) 3)) (+ (* (exp (+ x x)) (exp (+ x x))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (exp (+ x x)) (* 1.0 1.0)))) (- (* 1.0 1.0)) (- (* (exp (+ x x)) (exp (+ x x))) (* (* 1.0 1.0) (* 1.0 1.0))) (+ (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0) (- (exp x) 1.0) (+ (sqrt (exp (+ x x))) 1.0) (- (sqrt (exp (+ x x))) 1.0) (- (* 1.0 1.0)) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma 1 (exp (* 2.0 x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma 1 (exp (* 2.0 x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma 1 (exp (* 2.0 x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (/ (exp (exp (* 2.0 x))) (exp 1.0)) (log (- (exp (* 2.0 x)) 1.0)) (exp (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (* 2.0 x)) 1.0)) (* (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) (+ (* (exp (* 2.0 x)) (exp (* 2.0 x))) (+ (* 1.0 1.0) (* (exp (* 2.0 x)) 1.0))) (- 1.0) (- (* (exp (* 2.0 x)) (exp (* 2.0 x))) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (* 2.0 x)) 1.0) (- 1.0) (+ 1 (- (exp (* 2.0 x)) 1.0)) (expm1 (log1p (- (exp (* 2.0 x)) 1.0))) (log1p (log1p (- (exp (* 2.0 x)) 1.0))) (log (log1p (- (exp (* 2.0 x)) 1.0))) (exp (log1p (- (exp (* 2.0 x)) 1.0))) (* (cbrt (log1p (- (exp (* 2.0 x)) 1.0))) (cbrt (log1p (- (exp (* 2.0 x)) 1.0)))) (cbrt (log1p (- (exp (* 2.0 x)) 1.0))) (* (* (log1p (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0))) (log1p (- (exp (* 2.0 x)) 1.0))) (sqrt (log1p (- (exp (* 2.0 x)) 1.0))) (sqrt (log1p (- (exp (* 2.0 x)) 1.0))) (expm1 (+ (exp x) 1.0)) (log1p (+ (exp x) 1.0)) (* (exp (exp x)) (exp 1.0)) (log (+ (exp x) 1.0)) (exp (+ (exp x) 1.0)) (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0))) (cbrt (+ (exp x) 1.0)) (* (* (+ (exp x) 1.0) (+ (exp x) 1.0)) (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) (+ (pow (exp x) 3) (pow 1.0 3)) (+ (* (exp x) (exp x)) (- (* 1.0 1.0) (* (exp x) 1.0))) (- (* (exp x) (exp x)) (* 1.0 1.0)) (- (exp x) 1.0) (+ (exp x) 1.0) (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (+ (* 2.0 (pow x 2)) (+ (* 1.3333333333333333 (pow x 3)) (* 2.0 x))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (* 2.0 x) (* 2.0 x) (* 2.0 x) (+ (* 1/2 (pow x 2)) (+ x 2.0)) (+ (exp x) 1.0) (+ (exp x) 1.0) 4.397 * * [simplify]: iteration 0 : 146 enodes (cost 1036 ) 4.425 * * [simplify]: iteration 1 : 319 enodes (cost 928 ) 4.511 * * [simplify]: iteration 2 : 921 enodes (cost 773 ) 5.131 * * [simplify]: iteration 3 : 4697 enodes (cost 695 ) 6.865 * * [simplify]: iteration done : 5000 enodes (cost 695 ) 6.866 * [simplify]: Simplified to: (- (exp (+ x x)) (* 1.0 1.0)) 0 (- (pow (cbrt (exp (+ x x))) 3) (* 1.0 1.0)) 0 (- (exp (+ x x)) (* 1.0 1.0)) 0 (- (exp (+ x x)) (* 1.0 1.0)) 0 (expm1 (- (exp (+ x x)) (* 1.0 1.0))) (log1p (- (exp (+ x x)) (* 1.0 1.0))) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (exp (- (exp (* 2 x)) (* 1.0 1.0))) (log (- (exp (+ x x)) (* 1.0 1.0))) (exp (- (exp (* 2 x)) (* 1.0 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (pow (- (exp (+ x x)) (* 1.0 1.0)) 3) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (- (exp (* x 6)) (pow 1.0 6)) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (+ x x))) (exp (* x 4))) (- (* 1.0 1.0)) (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (exp (+ x x))) (+ (exp x) 1.0) (- (exp x) 1.0) (+ 1.0 (fabs (exp x))) (- (fabs (exp x)) 1.0) (- (* 1.0 1.0)) (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) 0 (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) 0 (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (expm1 (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (exp (- (exp (* 2.0 x)) 1.0)) (log (- (exp (* 2.0 x)) 1.0)) (exp (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (* 2.0 x)) 1.0)) (pow (- (exp (* 2.0 x)) 1.0) 3) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) (fma 1.0 (+ (exp (* 2.0 x)) 1.0) (pow (exp 2.0) (+ x x))) (- 1.0) (- (pow (exp 2.0) (+ x x)) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (* 2.0 x)) 1.0) (- 1.0) (+ 1 (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2.0 x)) 1.0) (log1p (log1p (- (exp (* 2.0 x)) 1.0))) (log (log1p (- (exp (* 2.0 x)) 1.0))) (exp (log1p (- (exp (* 2.0 x)) 1.0))) (* (cbrt (log1p (- (exp (* 2.0 x)) 1.0))) (cbrt (log1p (- (exp (* 2.0 x)) 1.0)))) (cbrt (log1p (- (exp (* 2.0 x)) 1.0))) (pow (log1p (- (exp (* 2.0 x)) 1.0)) 3) (sqrt (log1p (- (exp (* 2.0 x)) 1.0))) (sqrt (log1p (- (exp (* 2.0 x)) 1.0))) (expm1 (+ (exp x) 1.0)) (log1p (+ (exp x) 1.0)) (exp (+ (exp x) 1.0)) (log (+ (exp x) 1.0)) (exp (+ (exp x) 1.0)) (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0))) (cbrt (+ (exp x) 1.0)) (pow (+ (exp x) 1.0) 3) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) (+ (pow (exp x) 3) (pow 1.0 3)) (fma 1.0 (- 1.0 (exp x)) (exp (+ x x))) (- (exp (+ x x)) (* 1.0 1.0)) (- (exp x) 1.0) (+ (exp x) 1.0) (fma x 2 (* (pow x 2) (+ 2 (* x 4/3)))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (fma 2.0 x (* (pow x 2) (+ 2.0 (* x 1.3333333333333333)))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (* 2.0 x) (* 2.0 x) (* 2.0 x) (fma 1/2 (pow x 2) (+ x 2.0)) (+ (exp x) 1.0) (+ (exp x) 1.0) 6.866 * * * [progress]: adding candidates to table 7.187 * * [progress]: iteration 4 / 4 7.187 * * * [progress]: picking best candidate 7.194 * * * * [pick]: Picked # 7.194 * * * [progress]: localizing error 7.214 * * * [progress]: generating rewritten candidates 7.214 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 7.246 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1) 7.250 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 7.251 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 7.253 * * * [progress]: generating series expansions 7.253 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 7.254 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 7.254 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 7.254 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.254 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.254 * [taylor]: Taking taylor expansion of 2 in x 7.254 * [taylor]: Taking taylor expansion of x in x 7.254 * [taylor]: Taking taylor expansion of 1.0 in x 7.254 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 7.254 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.255 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.255 * [taylor]: Taking taylor expansion of 2 in x 7.255 * [taylor]: Taking taylor expansion of x in x 7.255 * [taylor]: Taking taylor expansion of 1.0 in x 7.265 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 7.265 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 7.265 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.265 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.265 * [taylor]: Taking taylor expansion of 2 in x 7.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.265 * [taylor]: Taking taylor expansion of x in x 7.266 * [taylor]: Taking taylor expansion of 1.0 in x 7.266 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 7.266 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.266 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.266 * [taylor]: Taking taylor expansion of 2 in x 7.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.266 * [taylor]: Taking taylor expansion of x in x 7.267 * [taylor]: Taking taylor expansion of 1.0 in x 7.270 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 7.270 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 7.270 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.270 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.270 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.270 * [taylor]: Taking taylor expansion of 2 in x 7.270 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.270 * [taylor]: Taking taylor expansion of x in x 7.271 * [taylor]: Taking taylor expansion of 1.0 in x 7.271 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 7.271 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.271 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.271 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.271 * [taylor]: Taking taylor expansion of 2 in x 7.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.271 * [taylor]: Taking taylor expansion of x in x 7.272 * [taylor]: Taking taylor expansion of 1.0 in x 7.276 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1) 7.276 * [approximate]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in (x) around 0 7.276 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 7.276 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 7.276 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 7.276 * [taylor]: Taking taylor expansion of 2.0 in x 7.276 * [taylor]: Taking taylor expansion of x in x 7.277 * [taylor]: Taking taylor expansion of 1.0 in x 7.277 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 7.277 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 7.277 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 7.277 * [taylor]: Taking taylor expansion of 2.0 in x 7.277 * [taylor]: Taking taylor expansion of x in x 7.278 * [taylor]: Taking taylor expansion of 1.0 in x 7.291 * [approximate]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in (x) around 0 7.291 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 7.291 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 7.291 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 7.291 * [taylor]: Taking taylor expansion of 2.0 in x 7.291 * [taylor]: Taking taylor expansion of x in x 7.292 * [taylor]: Taking taylor expansion of 1.0 in x 7.292 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 7.292 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 7.292 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 7.292 * [taylor]: Taking taylor expansion of 2.0 in x 7.292 * [taylor]: Taking taylor expansion of x in x 7.292 * [taylor]: Taking taylor expansion of 1.0 in x 7.296 * [approximate]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in (x) around 0 7.296 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 7.296 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 7.296 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 7.296 * [taylor]: Taking taylor expansion of -2.0 in x 7.296 * [taylor]: Taking taylor expansion of x in x 7.296 * [taylor]: Taking taylor expansion of 1.0 in x 7.296 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 7.296 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 7.296 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 7.296 * [taylor]: Taking taylor expansion of -2.0 in x 7.296 * [taylor]: Taking taylor expansion of x in x 7.297 * [taylor]: Taking taylor expansion of 1.0 in x 7.300 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1) 7.300 * [approximate]: Taking taylor expansion of (log1p (- (exp (* 2.0 x)) 1.0)) in (x) around 0 7.300 * [taylor]: Taking taylor expansion of (log1p (- (exp (* 2.0 x)) 1.0)) in x 7.300 * [taylor]: Rewrote expression to (log (+ 1 (- (exp (* 2.0 x)) 1.0))) 7.300 * [taylor]: Taking taylor expansion of (+ 1 (- (exp (* 2.0 x)) 1.0)) in x 7.300 * [taylor]: Taking taylor expansion of 1 in x 7.300 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 7.300 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 7.300 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 7.300 * [taylor]: Taking taylor expansion of 2.0 in x 7.300 * [taylor]: Taking taylor expansion of x in x 7.301 * [taylor]: Taking taylor expansion of 1.0 in x 7.303 * [taylor]: Taking taylor expansion of (log1p (- (exp (* 2.0 x)) 1.0)) in x 7.303 * [taylor]: Rewrote expression to (log (+ 1 (- (exp (* 2.0 x)) 1.0))) 7.303 * [taylor]: Taking taylor expansion of (+ 1 (- (exp (* 2.0 x)) 1.0)) in x 7.303 * [taylor]: Taking taylor expansion of 1 in x 7.303 * [taylor]: Taking taylor expansion of (- (exp (* 2.0 x)) 1.0) in x 7.303 * [taylor]: Taking taylor expansion of (exp (* 2.0 x)) in x 7.303 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 7.303 * [taylor]: Taking taylor expansion of 2.0 in x 7.303 * [taylor]: Taking taylor expansion of x in x 7.304 * [taylor]: Taking taylor expansion of 1.0 in x 7.667 * [approximate]: Taking taylor expansion of (log1p (- (exp (/ 2.0 x)) 1.0)) in (x) around 0 7.667 * [taylor]: Taking taylor expansion of (log1p (- (exp (/ 2.0 x)) 1.0)) in x 7.667 * [taylor]: Rewrote expression to (log (+ 1 (- (exp (/ 2.0 x)) 1.0))) 7.667 * [taylor]: Taking taylor expansion of (+ 1 (- (exp (/ 2.0 x)) 1.0)) in x 7.667 * [taylor]: Taking taylor expansion of 1 in x 7.667 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 7.667 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 7.667 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 7.667 * [taylor]: Taking taylor expansion of 2.0 in x 7.667 * [taylor]: Taking taylor expansion of x in x 7.667 * [taylor]: Taking taylor expansion of 1.0 in x 7.668 * [taylor]: Taking taylor expansion of (log1p (- (exp (/ 2.0 x)) 1.0)) in x 7.668 * [taylor]: Rewrote expression to (log (+ 1 (- (exp (/ 2.0 x)) 1.0))) 7.668 * [taylor]: Taking taylor expansion of (+ 1 (- (exp (/ 2.0 x)) 1.0)) in x 7.668 * [taylor]: Taking taylor expansion of 1 in x 7.668 * [taylor]: Taking taylor expansion of (- (exp (/ 2.0 x)) 1.0) in x 7.668 * [taylor]: Taking taylor expansion of (exp (/ 2.0 x)) in x 7.668 * [taylor]: Taking taylor expansion of (/ 2.0 x) in x 7.668 * [taylor]: Taking taylor expansion of 2.0 in x 7.668 * [taylor]: Taking taylor expansion of x in x 7.669 * [taylor]: Taking taylor expansion of 1.0 in x 7.691 * [approximate]: Taking taylor expansion of (log1p (- (exp (/ -2.0 x)) 1.0)) in (x) around 0 7.691 * [taylor]: Taking taylor expansion of (log1p (- (exp (/ -2.0 x)) 1.0)) in x 7.691 * [taylor]: Rewrote expression to (log (+ 1 (- (exp (/ -2.0 x)) 1.0))) 7.691 * [taylor]: Taking taylor expansion of (+ 1 (- (exp (/ -2.0 x)) 1.0)) in x 7.691 * [taylor]: Taking taylor expansion of 1 in x 7.691 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 7.691 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 7.691 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 7.691 * [taylor]: Taking taylor expansion of -2.0 in x 7.691 * [taylor]: Taking taylor expansion of x in x 7.691 * [taylor]: Taking taylor expansion of 1.0 in x 7.692 * [taylor]: Taking taylor expansion of (log1p (- (exp (/ -2.0 x)) 1.0)) in x 7.692 * [taylor]: Rewrote expression to (log (+ 1 (- (exp (/ -2.0 x)) 1.0))) 7.692 * [taylor]: Taking taylor expansion of (+ 1 (- (exp (/ -2.0 x)) 1.0)) in x 7.692 * [taylor]: Taking taylor expansion of 1 in x 7.692 * [taylor]: Taking taylor expansion of (- (exp (/ -2.0 x)) 1.0) in x 7.692 * [taylor]: Taking taylor expansion of (exp (/ -2.0 x)) in x 7.692 * [taylor]: Taking taylor expansion of (/ -2.0 x) in x 7.692 * [taylor]: Taking taylor expansion of -2.0 in x 7.692 * [taylor]: Taking taylor expansion of x in x 7.693 * [taylor]: Taking taylor expansion of 1.0 in x 7.715 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 7.715 * [approximate]: Taking taylor expansion of (log1p (+ (exp x) 1.0)) in (x) around 0 7.715 * [taylor]: Taking taylor expansion of (log1p (+ (exp x) 1.0)) in x 7.715 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp x) 1.0))) 7.715 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp x) 1.0)) in x 7.715 * [taylor]: Taking taylor expansion of 1 in x 7.715 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 7.715 * [taylor]: Taking taylor expansion of (exp x) in x 7.715 * [taylor]: Taking taylor expansion of x in x 7.715 * [taylor]: Taking taylor expansion of 1.0 in x 7.716 * [taylor]: Taking taylor expansion of (log1p (+ (exp x) 1.0)) in x 7.716 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp x) 1.0))) 7.716 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp x) 1.0)) in x 7.716 * [taylor]: Taking taylor expansion of 1 in x 7.716 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 7.716 * [taylor]: Taking taylor expansion of (exp x) in x 7.716 * [taylor]: Taking taylor expansion of x in x 7.716 * [taylor]: Taking taylor expansion of 1.0 in x 7.738 * [approximate]: Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1.0)) in (x) around 0 7.738 * [taylor]: Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1.0)) in x 7.738 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp (/ 1 x)) 1.0))) 7.738 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp (/ 1 x)) 1.0)) in x 7.738 * [taylor]: Taking taylor expansion of 1 in x 7.738 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 7.738 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.738 * [taylor]: Taking taylor expansion of x in x 7.739 * [taylor]: Taking taylor expansion of 1.0 in x 7.739 * [taylor]: Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1.0)) in x 7.739 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp (/ 1 x)) 1.0))) 7.739 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp (/ 1 x)) 1.0)) in x 7.739 * [taylor]: Taking taylor expansion of 1 in x 7.739 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 7.739 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.739 * [taylor]: Taking taylor expansion of x in x 7.739 * [taylor]: Taking taylor expansion of 1.0 in x 7.760 * [approximate]: Taking taylor expansion of (log1p (+ (exp (/ -1 x)) 1.0)) in (x) around 0 7.760 * [taylor]: Taking taylor expansion of (log1p (+ (exp (/ -1 x)) 1.0)) in x 7.760 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp (/ -1 x)) 1.0))) 7.760 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp (/ -1 x)) 1.0)) in x 7.760 * [taylor]: Taking taylor expansion of 1 in x 7.760 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 7.760 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.760 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.760 * [taylor]: Taking taylor expansion of -1 in x 7.760 * [taylor]: Taking taylor expansion of x in x 7.761 * [taylor]: Taking taylor expansion of 1.0 in x 7.761 * [taylor]: Taking taylor expansion of (log1p (+ (exp (/ -1 x)) 1.0)) in x 7.761 * [taylor]: Rewrote expression to (log (+ 1 (+ (exp (/ -1 x)) 1.0))) 7.761 * [taylor]: Taking taylor expansion of (+ 1 (+ (exp (/ -1 x)) 1.0)) in x 7.761 * [taylor]: Taking taylor expansion of 1 in x 7.761 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 7.761 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.761 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.761 * [taylor]: Taking taylor expansion of -1 in x 7.761 * [taylor]: Taking taylor expansion of x in x 7.762 * [taylor]: Taking taylor expansion of 1.0 in x 7.782 * * * [progress]: simplifying candidates 7.783 * [simplify]: Simplifying using # : (fma (exp x) (exp x) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma (* (cbrt (exp (+ x x))) (cbrt (exp (+ x x)))) (cbrt (exp (+ x x))) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma (sqrt (exp (+ x x))) (sqrt (exp (+ x x))) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma 1 (exp (+ x x)) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (expm1 (- (exp (+ x x)) (* 1.0 1.0))) (log1p (- (exp (+ x x)) (* 1.0 1.0))) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (/ (exp (exp (+ x x))) (exp (* 1.0 1.0))) (log (- (exp (+ x x)) (* 1.0 1.0))) (exp (- (exp (+ x x)) (* 1.0 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (* (* (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (- (pow (exp (+ x x)) 3) (pow (* 1.0 1.0) 3)) (+ (* (exp (+ x x)) (exp (+ x x))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (exp (+ x x)) (* 1.0 1.0)))) (- (* 1.0 1.0)) (- (* (exp (+ x x)) (exp (+ x x))) (* (* 1.0 1.0) (* 1.0 1.0))) (+ (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0) (- (exp x) 1.0) (+ (sqrt (exp (+ x x))) 1.0) (- (sqrt (exp (+ x x))) 1.0) (- (* 1.0 1.0)) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (* (cbrt (exp (* 2.0 x))) (cbrt (exp (* 2.0 x)))) (cbrt (exp (* 2.0 x))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (sqrt (exp (* 2.0 x))) (sqrt (exp (* 2.0 x))) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma 1 (exp (* 2.0 x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma 1 (exp (* 2.0 x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma 1 (exp (* 2.0 x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (/ (exp (exp (* 2.0 x))) (exp 1.0)) (log (- (exp (* 2.0 x)) 1.0)) (exp (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (* 2.0 x)) 1.0)) (* (* (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) (+ (* (exp (* 2.0 x)) (exp (* 2.0 x))) (+ (* 1.0 1.0) (* (exp (* 2.0 x)) 1.0))) (- 1.0) (- (* (exp (* 2.0 x)) (exp (* 2.0 x))) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (* 2.0 x)) 1.0) (- 1.0) (+ 1 (- (exp (* 2.0 x)) 1.0)) (expm1 (log1p (- (exp (* 2.0 x)) 1.0))) (log1p (log1p (- (exp (* 2.0 x)) 1.0))) (log (log1p (- (exp (* 2.0 x)) 1.0))) (exp (log1p (- (exp (* 2.0 x)) 1.0))) (* (cbrt (log1p (- (exp (* 2.0 x)) 1.0))) (cbrt (log1p (- (exp (* 2.0 x)) 1.0)))) (cbrt (log1p (- (exp (* 2.0 x)) 1.0))) (* (* (log1p (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0))) (log1p (- (exp (* 2.0 x)) 1.0))) (sqrt (log1p (- (exp (* 2.0 x)) 1.0))) (sqrt (log1p (- (exp (* 2.0 x)) 1.0))) (+ 1 (+ (exp x) 1.0)) (expm1 (log1p (+ (exp x) 1.0))) (log1p (log1p (+ (exp x) 1.0))) (log (log1p (+ (exp x) 1.0))) (exp (log1p (+ (exp x) 1.0))) (* (cbrt (log1p (+ (exp x) 1.0))) (cbrt (log1p (+ (exp x) 1.0)))) (cbrt (log1p (+ (exp x) 1.0))) (* (* (log1p (+ (exp x) 1.0)) (log1p (+ (exp x) 1.0))) (log1p (+ (exp x) 1.0))) (sqrt (log1p (+ (exp x) 1.0))) (sqrt (log1p (+ (exp x) 1.0))) (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (+ (* 2.0 (pow x 2)) (+ (* 1.3333333333333333 (pow x 3)) (* 2.0 x))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (* 2.0 x) (* 2.0 x) (* 2.0 x) (- (+ (* 0.16666666666666666 (pow x 2)) (+ (* 0.3333333333333333 x) (log 3.0))) (* 1/2 (/ (pow x 2) (pow 3.0 2)))) (log (+ (exp x) 2.0)) (log (+ (exp x) 2.0)) 7.787 * * [simplify]: iteration 0 : 150 enodes (cost 1024 ) 7.815 * * [simplify]: iteration 1 : 310 enodes (cost 918 ) 7.891 * * [simplify]: iteration 2 : 878 enodes (cost 762 ) 8.354 * * [simplify]: iteration 3 : 4220 enodes (cost 683 ) 9.784 * * [simplify]: iteration done : 5001 enodes (cost 683 ) 9.785 * [simplify]: Simplified to: (fma (- 1.0) 1.0 (exp (+ x x))) 0 (fma (- 1.0) 1.0 (pow (cbrt (exp (+ x x))) 3)) 0 (fma (- 1.0) 1.0 (exp (+ x x))) 0 (fma (- 1.0) 1.0 (exp (+ x x))) 0 (expm1 (- (exp (+ x x)) (* 1.0 1.0))) (log1p (- (exp (+ x x)) (* 1.0 1.0))) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (exp (- (exp (* 2 x)) (* 1.0 1.0))) (log (- (exp (+ x x)) (* 1.0 1.0))) (exp (- (exp (* 2 x)) (* 1.0 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (pow (- (exp (* 2 x)) (* 1.0 1.0)) 3) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (- (exp (* x 6)) (pow 1.0 6)) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (+ x x))) (exp (* x 4))) (- (* 1.0 1.0)) (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (exp (+ x x))) (+ 1.0 (exp x)) (- (exp x) 1.0) (+ 1.0 (fabs (exp x))) (- (fabs (exp x)) 1.0) (- (* 1.0 1.0)) (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) 0 (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) 0 (- (pow (cbrt (exp (* 2.0 x))) 3) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (- (exp (* 2.0 x)) 1.0) 0 (expm1 (- (exp (* 2.0 x)) 1.0)) (log1p (- (exp (* 2.0 x)) 1.0)) (- 1.0) (- 1.0) (- 1.0) (exp (- (exp (* 2.0 x)) 1.0)) (log (- (exp (* 2.0 x)) 1.0)) (exp (- (exp (* 2.0 x)) 1.0)) (* (cbrt (- (exp (* 2.0 x)) 1.0)) (cbrt (- (exp (* 2.0 x)) 1.0))) (cbrt (- (exp (* 2.0 x)) 1.0)) (pow (- (exp (* 2.0 x)) 1.0) 3) (sqrt (- (exp (* 2.0 x)) 1.0)) (sqrt (- (exp (* 2.0 x)) 1.0)) (- (pow (exp (* 2.0 x)) 3) (pow 1.0 3)) (fma 1.0 (+ (exp (* 2.0 x)) 1.0) (pow (exp 2.0) (+ x x))) (- 1.0) (- (pow (exp 2.0) (+ x x)) (* 1.0 1.0)) (+ (exp (* 2.0 x)) 1.0) (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (exp (* 2.0 x)) 1.0) (- 1.0) (+ 1 (- (exp (* 2.0 x)) 1.0)) (- (exp (* 2.0 x)) 1.0) (log1p (log1p (- (exp (* 2.0 x)) 1.0))) (log (log1p (- (exp (* 2.0 x)) 1.0))) (exp (log1p (- (exp (* 2.0 x)) 1.0))) (* (cbrt (log1p (- (exp (* 2.0 x)) 1.0))) (cbrt (log1p (- (exp (* 2.0 x)) 1.0)))) (cbrt (log1p (- (exp (* 2.0 x)) 1.0))) (pow (log1p (- (exp (* 2.0 x)) 1.0)) 3) (sqrt (log1p (- (exp (* 2.0 x)) 1.0))) (sqrt (log1p (- (exp (* 2.0 x)) 1.0))) (+ 1 (+ (exp x) 1.0)) (+ 1.0 (exp x)) (log1p (log1p (+ (exp x) 1.0))) (log (log1p (+ (exp x) 1.0))) (exp (log1p (+ (exp x) 1.0))) (* (cbrt (log1p (+ (exp x) 1.0))) (cbrt (log1p (+ (exp x) 1.0)))) (cbrt (log1p (+ (exp x) 1.0))) (pow (log1p (+ (exp x) 1.0)) 3) (sqrt (log1p (+ (exp x) 1.0))) (sqrt (log1p (+ (exp x) 1.0))) (fma 4/3 (pow x 3) (* x (+ (+ x x) 2))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (fma 2.0 x (* (* x x) (+ 2.0 (* 1.3333333333333333 x)))) (- (exp (* 2.0 x)) 1.0) (- (exp (* 2.0 x)) 1.0) (* 2.0 x) (* 2.0 x) (* 2.0 x) (fma (/ (pow x 2) (pow 3.0 2)) -1/2 (fma 0.16666666666666666 (pow x 2) (fma 0.3333333333333333 x (log 3.0)))) (log (+ (exp x) 2.0)) (log (+ (exp x) 2.0)) 9.786 * * * [progress]: adding candidates to table 10.129 * [progress]: [Phase 3 of 3] Extracting. 10.129 * * [regime]: Finding splitpoints for: (# #) 10.131 * * * [regime-changes]: Trying 1 branch expressions: (x) 10.131 * * * * [regimes]: Trying to branch on x from (# #) 10.154 * * * [regime]: Found split indices: #