19.797 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.026 * * * [progress]: [2/2] Setting up program.
0.032 * [progress]: [Phase 2 of 3] Improving.
0.032 * [simplify]: Simplifying:
  (exp (- (- 1.0 (* x x))))
0.032 * * [simplify]: iteration 0: 6 enodes
0.034 * * [simplify]: iteration 1: 11 enodes
0.038 * * [simplify]: iteration 2: 25 enodes
0.045 * * [simplify]: iteration 3: 49 enodes
0.057 * * [simplify]: iteration 4: 140 enodes
0.078 * * [simplify]: iteration 5: 517 enodes
0.914 * * [simplify]: iteration 6: 2602 enodes
2.655 * * [simplify]: iteration complete: 5001 enodes
2.656 * * [simplify]: Extracting #0: cost 1 inf + 0
2.656 * * [simplify]: Extracting #1: cost 376 inf + 0
2.659 * * [simplify]: Extracting #2: cost 1294 inf + 1
2.665 * * [simplify]: Extracting #3: cost 1426 inf + 7852
2.676 * * [simplify]: Extracting #4: cost 940 inf + 48000
2.702 * * [simplify]: Extracting #5: cost 518 inf + 175060
2.751 * * [simplify]: Extracting #6: cost 116 inf + 366904
2.812 * * [simplify]: Extracting #7: cost 5 inf + 428008
2.903 * * [simplify]: Extracting #8: cost 0 inf + 430516
2.971 * [simplify]: Simplified to:
  (exp (- (* x x) 1.0))
2.975 * * [progress]: iteration 1 / 4
2.975 * * * [progress]: picking best candidate
2.978 * * * * [pick]: Picked  #<alt (λ (x) (exp (- (* x x) 1.0)))>
2.978 * * * [progress]: localizing error
2.984 * * * [progress]: generating rewritten candidates
2.985 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.004 * * * [progress]: generating series expansions
3.004 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.005 * [backup-simplify]: Simplify (exp (- (* x x) 1.0)) into (exp (- (pow x 2) 1.0))
3.005 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0
3.005 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
3.005 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
3.005 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.005 * [taylor]: Taking taylor expansion of x in x
3.005 * [backup-simplify]: Simplify 0 into 0
3.005 * [backup-simplify]: Simplify 1 into 1
3.005 * [taylor]: Taking taylor expansion of 1.0 in x
3.005 * [backup-simplify]: Simplify 1.0 into 1.0
3.005 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.006 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.006 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
3.006 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
3.006 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
3.006 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.006 * [taylor]: Taking taylor expansion of x in x
3.006 * [backup-simplify]: Simplify 0 into 0
3.006 * [backup-simplify]: Simplify 1 into 1
3.006 * [taylor]: Taking taylor expansion of 1.0 in x
3.006 * [backup-simplify]: Simplify 1.0 into 1.0
3.007 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.007 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.008 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
3.008 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
3.009 * [backup-simplify]: Simplify (- 0) into 0
3.009 * [backup-simplify]: Simplify (+ 0 0) into 0
3.010 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
3.010 * [backup-simplify]: Simplify 0 into 0
3.010 * [backup-simplify]: Simplify (* 1 1) into 1
3.011 * [backup-simplify]: Simplify (- 0) into 0
3.011 * [backup-simplify]: Simplify (+ 1 0) into 1
3.013 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0))
3.014 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
3.014 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.014 * [backup-simplify]: Simplify (- 0) into 0
3.015 * [backup-simplify]: Simplify (+ 0 0) into 0
3.016 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.016 * [backup-simplify]: Simplify 0 into 0
3.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.017 * [backup-simplify]: Simplify (- 0) into 0
3.017 * [backup-simplify]: Simplify (+ 0 0) into 0
3.022 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp (- 1.0)))
3.023 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0)))
3.025 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp (- 1.0))) (pow x 4)) (+ (* (exp (- 1.0)) (pow x 2)) (exp (- 1.0)))) into (+ (exp (- 1.0)) (+ (* (pow x 2) (exp (- 1.0))) (* 1/2 (* (pow x 4) (exp (- 1.0))))))
3.026 * [backup-simplify]: Simplify (exp (- (* (/ 1 x) (/ 1 x)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
3.026 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
3.026 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
3.026 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
3.026 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.026 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.026 * [taylor]: Taking taylor expansion of x in x
3.026 * [backup-simplify]: Simplify 0 into 0
3.026 * [backup-simplify]: Simplify 1 into 1
3.026 * [backup-simplify]: Simplify (* 1 1) into 1
3.026 * [backup-simplify]: Simplify (/ 1 1) into 1
3.026 * [taylor]: Taking taylor expansion of 1.0 in x
3.026 * [backup-simplify]: Simplify 1.0 into 1.0
3.026 * [backup-simplify]: Simplify (+ 1 0) into 1
3.027 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
3.027 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
3.027 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
3.027 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.027 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.027 * [taylor]: Taking taylor expansion of x in x
3.027 * [backup-simplify]: Simplify 0 into 0
3.027 * [backup-simplify]: Simplify 1 into 1
3.027 * [backup-simplify]: Simplify (* 1 1) into 1
3.027 * [backup-simplify]: Simplify (/ 1 1) into 1
3.027 * [taylor]: Taking taylor expansion of 1.0 in x
3.027 * [backup-simplify]: Simplify 1.0 into 1.0
3.027 * [backup-simplify]: Simplify (+ 1 0) into 1
3.028 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
3.028 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
3.028 * [backup-simplify]: Simplify 0 into 0
3.028 * [backup-simplify]: Simplify 0 into 0
3.028 * [backup-simplify]: Simplify 0 into 0
3.028 * [backup-simplify]: Simplify 0 into 0
3.028 * [backup-simplify]: Simplify 0 into 0
3.028 * [backup-simplify]: Simplify 0 into 0
3.028 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1.0)) into (exp (- (pow x 2) 1.0))
3.028 * [backup-simplify]: Simplify (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
3.028 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
3.028 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
3.028 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
3.028 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.028 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.028 * [taylor]: Taking taylor expansion of x in x
3.028 * [backup-simplify]: Simplify 0 into 0
3.028 * [backup-simplify]: Simplify 1 into 1
3.029 * [backup-simplify]: Simplify (* 1 1) into 1
3.029 * [backup-simplify]: Simplify (/ 1 1) into 1
3.029 * [taylor]: Taking taylor expansion of 1.0 in x
3.029 * [backup-simplify]: Simplify 1.0 into 1.0
3.029 * [backup-simplify]: Simplify (+ 1 0) into 1
3.029 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
3.029 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
3.029 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
3.029 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.029 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.029 * [taylor]: Taking taylor expansion of x in x
3.029 * [backup-simplify]: Simplify 0 into 0
3.029 * [backup-simplify]: Simplify 1 into 1
3.030 * [backup-simplify]: Simplify (* 1 1) into 1
3.030 * [backup-simplify]: Simplify (/ 1 1) into 1
3.030 * [taylor]: Taking taylor expansion of 1.0 in x
3.030 * [backup-simplify]: Simplify 1.0 into 1.0
3.030 * [backup-simplify]: Simplify (+ 1 0) into 1
3.030 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
3.030 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
3.030 * [backup-simplify]: Simplify 0 into 0
3.031 * [backup-simplify]: Simplify 0 into 0
3.031 * [backup-simplify]: Simplify 0 into 0
3.031 * [backup-simplify]: Simplify 0 into 0
3.031 * [backup-simplify]: Simplify 0 into 0
3.031 * [backup-simplify]: Simplify 0 into 0
3.031 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1.0)) into (exp (- (pow x 2) 1.0))
3.031 * * * [progress]: simplifying candidates
3.031 * [simplify]: Simplifying:
  (expm1 (exp (- (* x x) 1.0)))
  (log1p (exp (- (* x x) 1.0)))
  (exp (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))))
  (exp (sqrt (- (* x x) 1.0)))
  (exp 1)
  (exp (+ x (sqrt 1.0)))
  (exp (fma x x (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))))
  (exp (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (exp (fma x x (- (* (sqrt 1.0) (sqrt 1.0)))))
  (exp (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))))
  (exp (fma x x (- (* 1.0 1))))
  (exp (fma (- 1.0) 1 (* 1.0 1)))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp 1.0)
  (log (exp (- (* x x) 1.0)))
  (exp (exp (- (* x x) 1.0)))
  (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0))))
  (cbrt (exp (- (* x x) 1.0)))
  (* (* (exp (- (* x x) 1.0)) (exp (- (* x x) 1.0))) (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (+ (exp (- 1.0)) (+ (* (pow x 2) (exp (- 1.0))) (* 1/2 (* (pow x 4) (exp (- 1.0))))))
  (exp (- (pow x 2) 1.0))
  (exp (- (pow x 2) 1.0))
3.032 * * [simplify]: iteration 0: 62 enodes
3.044 * * [simplify]: iteration 1: 120 enodes
3.078 * * [simplify]: iteration 2: 390 enodes
3.450 * * [simplify]: iteration 3: 2000 enodes
6.607 * * [simplify]: iteration complete: 5000 enodes
6.607 * * [simplify]: Extracting #0: cost 18 inf + 0
6.609 * * [simplify]: Extracting #1: cost 491 inf + 2
6.616 * * [simplify]: Extracting #2: cost 915 inf + 10126
6.637 * * [simplify]: Extracting #3: cost 519 inf + 67483
6.676 * * [simplify]: Extracting #4: cost 77 inf + 142281
6.714 * * [simplify]: Extracting #5: cost 0 inf + 155620
6.747 * * [simplify]: Extracting #6: cost 0 inf + 155210
6.780 * [simplify]: Simplified to:
  (expm1 (exp (- (* x x) 1.0)))
  (log1p (exp (- (* x x) 1.0)))
  (exp (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))))
  (exp (sqrt (- (* x x) 1.0)))
  E
  (exp (+ x (sqrt 1.0)))
  (exp (- (* x x) 1.0))
  1
  (exp (- (* x x) 1.0))
  1
  (exp (- (* x x) 1.0))
  1
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp 1.0)
  (- (* x x) 1.0)
  (exp (exp (- (* x x) 1.0)))
  (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0))))
  (cbrt (exp (- (* x x) 1.0)))
  (exp (* 3 (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (fma (exp (- 1.0)) (fma (* x x) (* (* x x) 1/2) (* x x)) (exp (- 1.0)))
  (exp (- (* x x) 1.0))
  (exp (- (* x x) 1.0))
6.781 * * * [progress]: adding candidates to table
6.895 * * [progress]: iteration 2 / 4
6.895 * * * [progress]: picking best candidate
6.899 * * * * [pick]: Picked  #<alt (λ (x) (cbrt (exp (* 3 (- (* x x) 1.0)))))>
6.899 * * * [progress]: localizing error
6.926 * * * [progress]: generating rewritten candidates
6.927 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
6.935 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
6.954 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
6.983 * * * [progress]: generating series expansions
6.983 * * * * [progress]: [ 1 / 3 ] generating series at (2)
6.984 * [backup-simplify]: Simplify (cbrt (exp (* 3 (- (* x x) 1.0)))) into (pow (exp (* 3 (- (pow x 2) 1.0))) 1/3)
6.984 * [approximate]: Taking taylor expansion of (pow (exp (* 3 (- (pow x 2) 1.0))) 1/3) in (x) around 0
6.984 * [taylor]: Taking taylor expansion of (pow (exp (* 3 (- (pow x 2) 1.0))) 1/3) in x
6.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* 3 (- (pow x 2) 1.0)))))) in x
6.984 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* 3 (- (pow x 2) 1.0))))) in x
6.984 * [taylor]: Taking taylor expansion of 1/3 in x
6.984 * [backup-simplify]: Simplify 1/3 into 1/3
6.984 * [taylor]: Taking taylor expansion of (log (exp (* 3 (- (pow x 2) 1.0)))) in x
6.984 * [taylor]: Taking taylor expansion of (exp (* 3 (- (pow x 2) 1.0))) in x
6.984 * [taylor]: Taking taylor expansion of (* 3 (- (pow x 2) 1.0)) in x
6.984 * [taylor]: Taking taylor expansion of 3 in x
6.984 * [backup-simplify]: Simplify 3 into 3
6.984 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
6.984 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.984 * [taylor]: Taking taylor expansion of x in x
6.984 * [backup-simplify]: Simplify 0 into 0
6.984 * [backup-simplify]: Simplify 1 into 1
6.984 * [taylor]: Taking taylor expansion of 1.0 in x
6.984 * [backup-simplify]: Simplify 1.0 into 1.0
6.985 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.986 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.987 * [backup-simplify]: Simplify (* 3 (- 1.0)) into -3.0
6.987 * [backup-simplify]: Simplify (exp -3.0) into (exp -3.0)
6.988 * [backup-simplify]: Simplify (log (exp -3.0)) into -3.0
6.989 * [backup-simplify]: Simplify (* 1/3 -3.0) into -1.0
6.989 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0)
6.989 * [taylor]: Taking taylor expansion of (pow (exp (* 3 (- (pow x 2) 1.0))) 1/3) in x
6.989 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* 3 (- (pow x 2) 1.0)))))) in x
6.989 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* 3 (- (pow x 2) 1.0))))) in x
6.989 * [taylor]: Taking taylor expansion of 1/3 in x
6.989 * [backup-simplify]: Simplify 1/3 into 1/3
6.989 * [taylor]: Taking taylor expansion of (log (exp (* 3 (- (pow x 2) 1.0)))) in x
6.989 * [taylor]: Taking taylor expansion of (exp (* 3 (- (pow x 2) 1.0))) in x
6.989 * [taylor]: Taking taylor expansion of (* 3 (- (pow x 2) 1.0)) in x
6.989 * [taylor]: Taking taylor expansion of 3 in x
6.989 * [backup-simplify]: Simplify 3 into 3
6.989 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
6.989 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.989 * [taylor]: Taking taylor expansion of x in x
6.989 * [backup-simplify]: Simplify 0 into 0
6.989 * [backup-simplify]: Simplify 1 into 1
6.989 * [taylor]: Taking taylor expansion of 1.0 in x
6.990 * [backup-simplify]: Simplify 1.0 into 1.0
6.990 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.991 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.992 * [backup-simplify]: Simplify (* 3 (- 1.0)) into -3.0
6.992 * [backup-simplify]: Simplify (exp -3.0) into (exp -3.0)
6.993 * [backup-simplify]: Simplify (log (exp -3.0)) into -3.0
6.993 * [backup-simplify]: Simplify (* 1/3 -3.0) into -1.0
6.994 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0)
6.994 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0)
6.995 * [backup-simplify]: Simplify (- 0) into 0
6.995 * [backup-simplify]: Simplify (+ 0 0) into 0
6.996 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (- 1.0))) into 0
6.997 * [backup-simplify]: Simplify (* (exp -3.0) (+ (* (/ (pow 0 1) 1)))) into 0
6.999 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp -3.0) 1)))) 1) into 0
7.000 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 -3.0)) into 0
7.001 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (pow 0 1) 1)))) into 0
7.001 * [backup-simplify]: Simplify 0 into 0
7.002 * [backup-simplify]: Simplify (* 1 1) into 1
7.003 * [backup-simplify]: Simplify (- 0) into 0
7.003 * [backup-simplify]: Simplify (+ 1 0) into 1
7.004 * [backup-simplify]: Simplify (+ (* 3 1) (+ (* 0 0) (* 0 (- 1.0)))) into 3
7.006 * [backup-simplify]: Simplify (* (exp -3.0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 3 1) 1)))) into (* 3 (exp -3.0))
7.018 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp -3.0) 2))) (* 1 (/ (* 1 (pow (* 2 (* 3 (exp -3.0))) 1)) (pow (exp -3.0) 1)))) 2) into 3
7.018 * [backup-simplify]: Simplify (+ (* 1/3 3) (+ (* 0 0) (* 0 -3.0))) into 1
7.020 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1.0)
7.021 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0)
7.021 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.021 * [backup-simplify]: Simplify (- 0) into 0
7.022 * [backup-simplify]: Simplify (+ 0 0) into 0
7.022 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (+ (* 0 0) (* 0 (- 1.0))))) into 0
7.024 * [backup-simplify]: Simplify (* (exp -3.0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 3 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.027 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp -3.0) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (* 3 (exp -3.0))) 1)) (pow (exp -3.0) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp -3.0) 1)))) 6) into 0
7.028 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 3) (+ (* 0 0) (* 0 -3.0)))) into 0
7.030 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.030 * [backup-simplify]: Simplify 0 into 0
7.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.030 * [backup-simplify]: Simplify (- 0) into 0
7.031 * [backup-simplify]: Simplify (+ 0 0) into 0
7.032 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 (- 1.0)))))) into 0
7.040 * [backup-simplify]: Simplify (* (exp -3.0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 3 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into (* 9/2 (exp -3.0))
7.070 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp -3.0) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (* 3 (exp -3.0))) 1)) (pow (exp -3.0) 3))) (* -3 (/ (* 1 (pow (* 2 (* 3 (exp -3.0))) 2)) (pow (exp -3.0) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp -3.0) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 9/2 (exp -3.0))) 1)) (pow (exp -3.0) 1)))) 24) into 0
7.071 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 3) (+ (* 0 0) (* 0 -3.0))))) into 0
7.075 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1.0))
7.076 * [backup-simplify]: Simplify (* 1/2 (exp -1.0)) into (* 1/2 (exp -1.0))
7.077 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp -1.0)) (pow x 4)) (+ (* (exp -1.0) (pow x 2)) (exp -1.0))) into (+ (exp -1.0) (+ (* 1/2 (* (exp -1.0) (pow x 4))) (* (exp -1.0) (pow x 2))))
7.078 * [backup-simplify]: Simplify (cbrt (exp (* 3 (- (* (/ 1 x) (/ 1 x)) 1.0)))) into (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1/3)
7.078 * [approximate]: Taking taylor expansion of (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1/3) in (x) around 0
7.078 * [taylor]: Taking taylor expansion of (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1/3) in x
7.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))))) in x
7.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* 3 (- (/ 1 (pow x 2)) 1.0))))) in x
7.078 * [taylor]: Taking taylor expansion of 1/3 in x
7.078 * [backup-simplify]: Simplify 1/3 into 1/3
7.078 * [taylor]: Taking taylor expansion of (log (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))) in x
7.078 * [taylor]: Taking taylor expansion of (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) in x
7.078 * [taylor]: Taking taylor expansion of (* 3 (- (/ 1 (pow x 2)) 1.0)) in x
7.078 * [taylor]: Taking taylor expansion of 3 in x
7.078 * [backup-simplify]: Simplify 3 into 3
7.078 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.078 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.078 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.078 * [taylor]: Taking taylor expansion of x in x
7.078 * [backup-simplify]: Simplify 0 into 0
7.078 * [backup-simplify]: Simplify 1 into 1
7.078 * [backup-simplify]: Simplify (* 1 1) into 1
7.079 * [backup-simplify]: Simplify (/ 1 1) into 1
7.079 * [taylor]: Taking taylor expansion of 1.0 in x
7.079 * [backup-simplify]: Simplify 1.0 into 1.0
7.079 * [backup-simplify]: Simplify (+ 1 0) into 1
7.080 * [backup-simplify]: Simplify (* 3 1) into 3
7.080 * [backup-simplify]: Simplify (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) into (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))
7.080 * [backup-simplify]: Simplify (log (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))) into (* 3 (- (/ 1 (pow x 2)) 1.0))
7.080 * [backup-simplify]: Simplify (* 1/3 (* 3 (- (/ 1 (pow x 2)) 1.0))) into (- (/ 1 (pow x 2)) 1.0)
7.081 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
7.081 * [taylor]: Taking taylor expansion of (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1/3) in x
7.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))))) in x
7.081 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* 3 (- (/ 1 (pow x 2)) 1.0))))) in x
7.081 * [taylor]: Taking taylor expansion of 1/3 in x
7.081 * [backup-simplify]: Simplify 1/3 into 1/3
7.081 * [taylor]: Taking taylor expansion of (log (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))) in x
7.081 * [taylor]: Taking taylor expansion of (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) in x
7.081 * [taylor]: Taking taylor expansion of (* 3 (- (/ 1 (pow x 2)) 1.0)) in x
7.081 * [taylor]: Taking taylor expansion of 3 in x
7.081 * [backup-simplify]: Simplify 3 into 3
7.081 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.081 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.081 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.081 * [taylor]: Taking taylor expansion of x in x
7.081 * [backup-simplify]: Simplify 0 into 0
7.081 * [backup-simplify]: Simplify 1 into 1
7.082 * [backup-simplify]: Simplify (* 1 1) into 1
7.082 * [backup-simplify]: Simplify (/ 1 1) into 1
7.082 * [taylor]: Taking taylor expansion of 1.0 in x
7.082 * [backup-simplify]: Simplify 1.0 into 1.0
7.082 * [backup-simplify]: Simplify (+ 1 0) into 1
7.083 * [backup-simplify]: Simplify (* 3 1) into 3
7.083 * [backup-simplify]: Simplify (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) into (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))
7.083 * [backup-simplify]: Simplify (log (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))) into (* 3 (- (/ 1 (pow x 2)) 1.0))
7.083 * [backup-simplify]: Simplify (* 1/3 (* 3 (- (/ 1 (pow x 2)) 1.0))) into (- (/ 1 (pow x 2)) 1.0)
7.084 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
7.084 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
7.085 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1)))) 1) into 0
7.085 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (* 3 (- (/ 1 (pow x 2)) 1.0)))) into 0
7.086 * [backup-simplify]: Simplify (* (exp (- (/ 1 (pow x 2)) 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
7.086 * [backup-simplify]: Simplify 0 into 0
7.088 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1)))) 2) into 0
7.089 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (* 3 (- (/ 1 (pow x 2)) 1.0))))) into 0
7.091 * [backup-simplify]: Simplify (* (exp (- (/ 1 (pow x 2)) 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.091 * [backup-simplify]: Simplify 0 into 0
7.094 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1)))) 6) into 0
7.095 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 3 (- (/ 1 (pow x 2)) 1.0)))))) into 0
7.097 * [backup-simplify]: Simplify (* (exp (- (/ 1 (pow x 2)) 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.097 * [backup-simplify]: Simplify 0 into 0
7.102 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1)))) 24) into 0
7.104 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 3 (- (/ 1 (pow x 2)) 1.0))))))) into 0
7.106 * [backup-simplify]: Simplify (* (exp (- (/ 1 (pow x 2)) 1.0)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.106 * [backup-simplify]: Simplify 0 into 0
7.115 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1)))) 120) into 0
7.117 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 3 (- (/ 1 (pow x 2)) 1.0)))))))) into 0
7.121 * [backup-simplify]: Simplify (* (exp (- (/ 1 (pow x 2)) 1.0)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.121 * [backup-simplify]: Simplify 0 into 0
7.136 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1)))) 720) into 0
7.138 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 3 (- (/ 1 (pow x 2)) 1.0))))))))) into 0
7.144 * [backup-simplify]: Simplify (* (exp (- (/ 1 (pow x 2)) 1.0)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.144 * [backup-simplify]: Simplify 0 into 0
7.144 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1.0)) into (exp (- (pow x 2) 1.0))
7.144 * [backup-simplify]: Simplify (cbrt (exp (* 3 (- (* (/ 1 (- x)) (/ 1 (- x))) 1.0)))) into (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1/3)
7.144 * [approximate]: Taking taylor expansion of (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1/3) in (x) around 0
7.144 * [taylor]: Taking taylor expansion of (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1/3) in x
7.144 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))))) in x
7.144 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* 3 (- (/ 1 (pow x 2)) 1.0))))) in x
7.144 * [taylor]: Taking taylor expansion of 1/3 in x
7.144 * [backup-simplify]: Simplify 1/3 into 1/3
7.144 * [taylor]: Taking taylor expansion of (log (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))) in x
7.144 * [taylor]: Taking taylor expansion of (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) in x
7.144 * [taylor]: Taking taylor expansion of (* 3 (- (/ 1 (pow x 2)) 1.0)) in x
7.144 * [taylor]: Taking taylor expansion of 3 in x
7.145 * [backup-simplify]: Simplify 3 into 3
7.145 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.145 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.145 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.145 * [taylor]: Taking taylor expansion of x in x
7.145 * [backup-simplify]: Simplify 0 into 0
7.145 * [backup-simplify]: Simplify 1 into 1
7.145 * [backup-simplify]: Simplify (* 1 1) into 1
7.145 * [backup-simplify]: Simplify (/ 1 1) into 1
7.145 * [taylor]: Taking taylor expansion of 1.0 in x
7.145 * [backup-simplify]: Simplify 1.0 into 1.0
7.146 * [backup-simplify]: Simplify (+ 1 0) into 1
7.146 * [backup-simplify]: Simplify (* 3 1) into 3
7.147 * [backup-simplify]: Simplify (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) into (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))
7.147 * [backup-simplify]: Simplify (log (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))) into (* 3 (- (/ 1 (pow x 2)) 1.0))
7.147 * [backup-simplify]: Simplify (* 1/3 (* 3 (- (/ 1 (pow x 2)) 1.0))) into (- (/ 1 (pow x 2)) 1.0)
7.147 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
7.147 * [taylor]: Taking taylor expansion of (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1/3) in x
7.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))))) in x
7.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* 3 (- (/ 1 (pow x 2)) 1.0))))) in x
7.147 * [taylor]: Taking taylor expansion of 1/3 in x
7.147 * [backup-simplify]: Simplify 1/3 into 1/3
7.147 * [taylor]: Taking taylor expansion of (log (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))) in x
7.147 * [taylor]: Taking taylor expansion of (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) in x
7.147 * [taylor]: Taking taylor expansion of (* 3 (- (/ 1 (pow x 2)) 1.0)) in x
7.147 * [taylor]: Taking taylor expansion of 3 in x
7.147 * [backup-simplify]: Simplify 3 into 3
7.148 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.148 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.148 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.148 * [taylor]: Taking taylor expansion of x in x
7.148 * [backup-simplify]: Simplify 0 into 0
7.148 * [backup-simplify]: Simplify 1 into 1
7.148 * [backup-simplify]: Simplify (* 1 1) into 1
7.148 * [backup-simplify]: Simplify (/ 1 1) into 1
7.148 * [taylor]: Taking taylor expansion of 1.0 in x
7.148 * [backup-simplify]: Simplify 1.0 into 1.0
7.149 * [backup-simplify]: Simplify (+ 1 0) into 1
7.149 * [backup-simplify]: Simplify (* 3 1) into 3
7.149 * [backup-simplify]: Simplify (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) into (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))
7.150 * [backup-simplify]: Simplify (log (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))) into (* 3 (- (/ 1 (pow x 2)) 1.0))
7.150 * [backup-simplify]: Simplify (* 1/3 (* 3 (- (/ 1 (pow x 2)) 1.0))) into (- (/ 1 (pow x 2)) 1.0)
7.150 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
7.150 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0))
7.151 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1)))) 1) into 0
7.152 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (* 3 (- (/ 1 (pow x 2)) 1.0)))) into 0
7.153 * [backup-simplify]: Simplify (* (exp (- (/ 1 (pow x 2)) 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
7.153 * [backup-simplify]: Simplify 0 into 0
7.155 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1)))) 2) into 0
7.156 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (* 3 (- (/ 1 (pow x 2)) 1.0))))) into 0
7.157 * [backup-simplify]: Simplify (* (exp (- (/ 1 (pow x 2)) 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.157 * [backup-simplify]: Simplify 0 into 0
7.160 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1)))) 6) into 0
7.162 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 3 (- (/ 1 (pow x 2)) 1.0)))))) into 0
7.163 * [backup-simplify]: Simplify (* (exp (- (/ 1 (pow x 2)) 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.163 * [backup-simplify]: Simplify 0 into 0
7.169 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1)))) 24) into 0
7.170 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 3 (- (/ 1 (pow x 2)) 1.0))))))) into 0
7.173 * [backup-simplify]: Simplify (* (exp (- (/ 1 (pow x 2)) 1.0)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.173 * [backup-simplify]: Simplify 0 into 0
7.181 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1)))) 120) into 0
7.183 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 3 (- (/ 1 (pow x 2)) 1.0)))))))) into 0
7.187 * [backup-simplify]: Simplify (* (exp (- (/ 1 (pow x 2)) 1.0)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.187 * [backup-simplify]: Simplify 0 into 0
7.200 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) 1)))) 720) into 0
7.202 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 3 (- (/ 1 (pow x 2)) 1.0))))))))) into 0
7.208 * [backup-simplify]: Simplify (* (exp (- (/ 1 (pow x 2)) 1.0)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.208 * [backup-simplify]: Simplify 0 into 0
7.208 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1.0)) into (exp (- (pow x 2) 1.0))
7.208 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
7.208 * [backup-simplify]: Simplify (exp (* 3 (- (* x x) 1.0))) into (exp (* 3 (- (pow x 2) 1.0)))
7.209 * [approximate]: Taking taylor expansion of (exp (* 3 (- (pow x 2) 1.0))) in (x) around 0
7.209 * [taylor]: Taking taylor expansion of (exp (* 3 (- (pow x 2) 1.0))) in x
7.209 * [taylor]: Taking taylor expansion of (* 3 (- (pow x 2) 1.0)) in x
7.209 * [taylor]: Taking taylor expansion of 3 in x
7.209 * [backup-simplify]: Simplify 3 into 3
7.209 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
7.209 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.209 * [taylor]: Taking taylor expansion of x in x
7.209 * [backup-simplify]: Simplify 0 into 0
7.209 * [backup-simplify]: Simplify 1 into 1
7.209 * [taylor]: Taking taylor expansion of 1.0 in x
7.209 * [backup-simplify]: Simplify 1.0 into 1.0
7.209 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.210 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
7.211 * [backup-simplify]: Simplify (* 3 (- 1.0)) into -3.0
7.211 * [backup-simplify]: Simplify (exp -3.0) into (exp -3.0)
7.211 * [taylor]: Taking taylor expansion of (exp (* 3 (- (pow x 2) 1.0))) in x
7.212 * [taylor]: Taking taylor expansion of (* 3 (- (pow x 2) 1.0)) in x
7.212 * [taylor]: Taking taylor expansion of 3 in x
7.212 * [backup-simplify]: Simplify 3 into 3
7.212 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
7.212 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.212 * [taylor]: Taking taylor expansion of x in x
7.212 * [backup-simplify]: Simplify 0 into 0
7.212 * [backup-simplify]: Simplify 1 into 1
7.212 * [taylor]: Taking taylor expansion of 1.0 in x
7.212 * [backup-simplify]: Simplify 1.0 into 1.0
7.212 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.213 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
7.214 * [backup-simplify]: Simplify (* 3 (- 1.0)) into -3.0
7.214 * [backup-simplify]: Simplify (exp -3.0) into (exp -3.0)
7.215 * [backup-simplify]: Simplify (exp -3.0) into (exp -3.0)
7.215 * [backup-simplify]: Simplify (- 0) into 0
7.215 * [backup-simplify]: Simplify (+ 0 0) into 0
7.216 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (- 1.0))) into 0
7.217 * [backup-simplify]: Simplify (* (exp -3.0) (+ (* (/ (pow 0 1) 1)))) into 0
7.217 * [backup-simplify]: Simplify 0 into 0
7.218 * [backup-simplify]: Simplify (* 1 1) into 1
7.218 * [backup-simplify]: Simplify (- 0) into 0
7.218 * [backup-simplify]: Simplify (+ 1 0) into 1
7.220 * [backup-simplify]: Simplify (+ (* 3 1) (+ (* 0 0) (* 0 (- 1.0)))) into 3
7.223 * [backup-simplify]: Simplify (* (exp -3.0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 3 1) 1)))) into (* 3 (exp -3.0))
7.224 * [backup-simplify]: Simplify (* 3 (exp -3.0)) into (* 3 (exp -3.0))
7.225 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.225 * [backup-simplify]: Simplify (- 0) into 0
7.225 * [backup-simplify]: Simplify (+ 0 0) into 0
7.227 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (+ (* 0 0) (* 0 (- 1.0))))) into 0
7.229 * [backup-simplify]: Simplify (* (exp -3.0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 3 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.229 * [backup-simplify]: Simplify 0 into 0
7.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.230 * [backup-simplify]: Simplify (- 0) into 0
7.231 * [backup-simplify]: Simplify (+ 0 0) into 0
7.232 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 (- 1.0)))))) into 0
7.240 * [backup-simplify]: Simplify (* (exp -3.0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 3 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into (* 9/2 (exp -3.0))
7.241 * [backup-simplify]: Simplify (* 9/2 (exp -3.0)) into (* 9/2 (exp -3.0))
7.243 * [backup-simplify]: Simplify (+ (* (* 9/2 (exp -3.0)) (pow x 4)) (+ (* (* 3 (exp -3.0)) (pow x 2)) (exp -3.0))) into (+ (* 3 (* (pow x 2) (exp -3.0))) (+ (exp -3.0) (* 9/2 (* (pow x 4) (exp -3.0)))))
7.243 * [backup-simplify]: Simplify (exp (* 3 (- (* (/ 1 x) (/ 1 x)) 1.0))) into (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))
7.243 * [approximate]: Taking taylor expansion of (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) in (x) around 0
7.243 * [taylor]: Taking taylor expansion of (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) in x
7.244 * [taylor]: Taking taylor expansion of (* 3 (- (/ 1 (pow x 2)) 1.0)) in x
7.244 * [taylor]: Taking taylor expansion of 3 in x
7.244 * [backup-simplify]: Simplify 3 into 3
7.244 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.244 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.244 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.244 * [taylor]: Taking taylor expansion of x in x
7.244 * [backup-simplify]: Simplify 0 into 0
7.244 * [backup-simplify]: Simplify 1 into 1
7.244 * [backup-simplify]: Simplify (* 1 1) into 1
7.245 * [backup-simplify]: Simplify (/ 1 1) into 1
7.245 * [taylor]: Taking taylor expansion of 1.0 in x
7.245 * [backup-simplify]: Simplify 1.0 into 1.0
7.245 * [backup-simplify]: Simplify (+ 1 0) into 1
7.245 * [backup-simplify]: Simplify (* 3 1) into 3
7.246 * [backup-simplify]: Simplify (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) into (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))
7.246 * [taylor]: Taking taylor expansion of (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) in x
7.246 * [taylor]: Taking taylor expansion of (* 3 (- (/ 1 (pow x 2)) 1.0)) in x
7.246 * [taylor]: Taking taylor expansion of 3 in x
7.246 * [backup-simplify]: Simplify 3 into 3
7.246 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.246 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.246 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.246 * [taylor]: Taking taylor expansion of x in x
7.246 * [backup-simplify]: Simplify 0 into 0
7.246 * [backup-simplify]: Simplify 1 into 1
7.246 * [backup-simplify]: Simplify (* 1 1) into 1
7.247 * [backup-simplify]: Simplify (/ 1 1) into 1
7.247 * [taylor]: Taking taylor expansion of 1.0 in x
7.247 * [backup-simplify]: Simplify 1.0 into 1.0
7.247 * [backup-simplify]: Simplify (+ 1 0) into 1
7.247 * [backup-simplify]: Simplify (* 3 1) into 3
7.248 * [backup-simplify]: Simplify (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) into (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))
7.248 * [backup-simplify]: Simplify (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) into (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))
7.248 * [backup-simplify]: Simplify 0 into 0
7.248 * [backup-simplify]: Simplify 0 into 0
7.248 * [backup-simplify]: Simplify 0 into 0
7.248 * [backup-simplify]: Simplify 0 into 0
7.248 * [backup-simplify]: Simplify 0 into 0
7.248 * [backup-simplify]: Simplify 0 into 0
7.248 * [backup-simplify]: Simplify (exp (* 3 (- (/ 1 (pow (/ 1 x) 2)) 1.0))) into (exp (* 3 (- (pow x 2) 1.0)))
7.249 * [backup-simplify]: Simplify (exp (* 3 (- (* (/ 1 (- x)) (/ 1 (- x))) 1.0))) into (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))
7.249 * [approximate]: Taking taylor expansion of (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) in (x) around 0
7.249 * [taylor]: Taking taylor expansion of (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) in x
7.249 * [taylor]: Taking taylor expansion of (* 3 (- (/ 1 (pow x 2)) 1.0)) in x
7.249 * [taylor]: Taking taylor expansion of 3 in x
7.249 * [backup-simplify]: Simplify 3 into 3
7.249 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.249 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.249 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.249 * [taylor]: Taking taylor expansion of x in x
7.249 * [backup-simplify]: Simplify 0 into 0
7.249 * [backup-simplify]: Simplify 1 into 1
7.249 * [backup-simplify]: Simplify (* 1 1) into 1
7.250 * [backup-simplify]: Simplify (/ 1 1) into 1
7.250 * [taylor]: Taking taylor expansion of 1.0 in x
7.250 * [backup-simplify]: Simplify 1.0 into 1.0
7.250 * [backup-simplify]: Simplify (+ 1 0) into 1
7.251 * [backup-simplify]: Simplify (* 3 1) into 3
7.251 * [backup-simplify]: Simplify (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) into (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))
7.251 * [taylor]: Taking taylor expansion of (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) in x
7.251 * [taylor]: Taking taylor expansion of (* 3 (- (/ 1 (pow x 2)) 1.0)) in x
7.251 * [taylor]: Taking taylor expansion of 3 in x
7.251 * [backup-simplify]: Simplify 3 into 3
7.251 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.251 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.251 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.251 * [taylor]: Taking taylor expansion of x in x
7.251 * [backup-simplify]: Simplify 0 into 0
7.251 * [backup-simplify]: Simplify 1 into 1
7.251 * [backup-simplify]: Simplify (* 1 1) into 1
7.252 * [backup-simplify]: Simplify (/ 1 1) into 1
7.252 * [taylor]: Taking taylor expansion of 1.0 in x
7.252 * [backup-simplify]: Simplify 1.0 into 1.0
7.252 * [backup-simplify]: Simplify (+ 1 0) into 1
7.253 * [backup-simplify]: Simplify (* 3 1) into 3
7.253 * [backup-simplify]: Simplify (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) into (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))
7.253 * [backup-simplify]: Simplify (exp (* 3 (- (/ 1 (pow x 2)) 1.0))) into (exp (* 3 (- (/ 1 (pow x 2)) 1.0)))
7.253 * [backup-simplify]: Simplify 0 into 0
7.253 * [backup-simplify]: Simplify 0 into 0
7.253 * [backup-simplify]: Simplify 0 into 0
7.253 * [backup-simplify]: Simplify 0 into 0
7.253 * [backup-simplify]: Simplify 0 into 0
7.253 * [backup-simplify]: Simplify 0 into 0
7.254 * [backup-simplify]: Simplify (exp (* 3 (- (/ 1 (pow (/ 1 (- x)) 2)) 1.0))) into (exp (* 3 (- (pow x 2) 1.0)))
7.254 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
7.254 * [backup-simplify]: Simplify (* 3 (- (* x x) 1.0)) into (* 3 (- (pow x 2) 1.0))
7.254 * [approximate]: Taking taylor expansion of (* 3 (- (pow x 2) 1.0)) in (x) around 0
7.254 * [taylor]: Taking taylor expansion of (* 3 (- (pow x 2) 1.0)) in x
7.254 * [taylor]: Taking taylor expansion of 3 in x
7.254 * [backup-simplify]: Simplify 3 into 3
7.254 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
7.254 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.254 * [taylor]: Taking taylor expansion of x in x
7.254 * [backup-simplify]: Simplify 0 into 0
7.254 * [backup-simplify]: Simplify 1 into 1
7.254 * [taylor]: Taking taylor expansion of 1.0 in x
7.254 * [backup-simplify]: Simplify 1.0 into 1.0
7.254 * [taylor]: Taking taylor expansion of (* 3 (- (pow x 2) 1.0)) in x
7.254 * [taylor]: Taking taylor expansion of 3 in x
7.254 * [backup-simplify]: Simplify 3 into 3
7.254 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
7.254 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.254 * [taylor]: Taking taylor expansion of x in x
7.254 * [backup-simplify]: Simplify 0 into 0
7.254 * [backup-simplify]: Simplify 1 into 1
7.254 * [taylor]: Taking taylor expansion of 1.0 in x
7.254 * [backup-simplify]: Simplify 1.0 into 1.0
7.255 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.256 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
7.256 * [backup-simplify]: Simplify (* 3 (- 1.0)) into -3.0
7.256 * [backup-simplify]: Simplify -3.0 into -3.0
7.257 * [backup-simplify]: Simplify (- 0) into 0
7.257 * [backup-simplify]: Simplify (+ 0 0) into 0
7.258 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (- 1.0))) into 0
7.258 * [backup-simplify]: Simplify 0 into 0
7.258 * [backup-simplify]: Simplify (* 1 1) into 1
7.259 * [backup-simplify]: Simplify (- 0) into 0
7.259 * [backup-simplify]: Simplify (+ 1 0) into 1
7.260 * [backup-simplify]: Simplify (+ (* 3 1) (+ (* 0 0) (* 0 (- 1.0)))) into 3
7.260 * [backup-simplify]: Simplify 3 into 3
7.261 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.261 * [backup-simplify]: Simplify (- 0) into 0
7.263 * [backup-simplify]: Simplify (+ 0 0) into 0
7.265 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (+ (* 0 0) (* 0 (- 1.0))))) into 0
7.265 * [backup-simplify]: Simplify 0 into 0
7.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.266 * [backup-simplify]: Simplify (- 0) into 0
7.266 * [backup-simplify]: Simplify (+ 0 0) into 0
7.268 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 (- 1.0)))))) into 0
7.268 * [backup-simplify]: Simplify 0 into 0
7.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.269 * [backup-simplify]: Simplify (- 0) into 0
7.269 * [backup-simplify]: Simplify (+ 0 0) into 0
7.271 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 (- 1.0))))))) into 0
7.271 * [backup-simplify]: Simplify 0 into 0
7.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.272 * [backup-simplify]: Simplify (- 0) into 0
7.273 * [backup-simplify]: Simplify (+ 0 0) into 0
7.275 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 (- 1.0)))))))) into 0
7.275 * [backup-simplify]: Simplify 0 into 0
7.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.277 * [backup-simplify]: Simplify (- 0) into 0
7.277 * [backup-simplify]: Simplify (+ 0 0) into 0
7.279 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 (- 1.0))))))))) into 0
7.279 * [backup-simplify]: Simplify 0 into 0
7.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.281 * [backup-simplify]: Simplify (- 0) into 0
7.281 * [backup-simplify]: Simplify (+ 0 0) into 0
7.284 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 (- 1.0)))))))))) into 0
7.284 * [backup-simplify]: Simplify 0 into 0
7.284 * [backup-simplify]: Simplify (+ (* 3 (pow x 2)) -3.0) into (- (* 3 (pow x 2)) 3.0)
7.284 * [backup-simplify]: Simplify (* 3 (- (* (/ 1 x) (/ 1 x)) 1.0)) into (* 3 (- (/ 1 (pow x 2)) 1.0))
7.284 * [approximate]: Taking taylor expansion of (* 3 (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
7.284 * [taylor]: Taking taylor expansion of (* 3 (- (/ 1 (pow x 2)) 1.0)) in x
7.284 * [taylor]: Taking taylor expansion of 3 in x
7.284 * [backup-simplify]: Simplify 3 into 3
7.284 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.284 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.284 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.284 * [taylor]: Taking taylor expansion of x in x
7.284 * [backup-simplify]: Simplify 0 into 0
7.285 * [backup-simplify]: Simplify 1 into 1
7.285 * [backup-simplify]: Simplify (* 1 1) into 1
7.285 * [backup-simplify]: Simplify (/ 1 1) into 1
7.285 * [taylor]: Taking taylor expansion of 1.0 in x
7.285 * [backup-simplify]: Simplify 1.0 into 1.0
7.285 * [taylor]: Taking taylor expansion of (* 3 (- (/ 1 (pow x 2)) 1.0)) in x
7.285 * [taylor]: Taking taylor expansion of 3 in x
7.285 * [backup-simplify]: Simplify 3 into 3
7.285 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.285 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.285 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.285 * [taylor]: Taking taylor expansion of x in x
7.285 * [backup-simplify]: Simplify 0 into 0
7.286 * [backup-simplify]: Simplify 1 into 1
7.286 * [backup-simplify]: Simplify (* 1 1) into 1
7.286 * [backup-simplify]: Simplify (/ 1 1) into 1
7.286 * [taylor]: Taking taylor expansion of 1.0 in x
7.286 * [backup-simplify]: Simplify 1.0 into 1.0
7.287 * [backup-simplify]: Simplify (+ 1 0) into 1
7.287 * [backup-simplify]: Simplify (* 3 1) into 3
7.287 * [backup-simplify]: Simplify 3 into 3
7.288 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.289 * [backup-simplify]: Simplify (+ 0 0) into 0
7.289 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
7.289 * [backup-simplify]: Simplify 0 into 0
7.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.291 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.291 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.292 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
7.295 * [backup-simplify]: Simplify (+ (* 3 (- 1.0)) (+ (* 0 0) (* 0 1))) into (- 3.0)
7.295 * [backup-simplify]: Simplify (- 3.0) into (- 3.0)
7.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.297 * [backup-simplify]: Simplify (- 0) into 0
7.297 * [backup-simplify]: Simplify (+ 0 0) into 0
7.299 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 1)))) into 0
7.299 * [backup-simplify]: Simplify 0 into 0
7.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.301 * [backup-simplify]: Simplify (- 0) into 0
7.301 * [backup-simplify]: Simplify (+ 0 0) into 0
7.303 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 1))))) into 0
7.303 * [backup-simplify]: Simplify 0 into 0
7.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.305 * [backup-simplify]: Simplify (- 0) into 0
7.306 * [backup-simplify]: Simplify (+ 0 0) into 0
7.307 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 1)))))) into 0
7.307 * [backup-simplify]: Simplify 0 into 0
7.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.310 * [backup-simplify]: Simplify (- 0) into 0
7.310 * [backup-simplify]: Simplify (+ 0 0) into 0
7.312 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 1))))))) into 0
7.312 * [backup-simplify]: Simplify 0 into 0
7.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.315 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.315 * [backup-simplify]: Simplify (- 0) into 0
7.316 * [backup-simplify]: Simplify (+ 0 0) into 0
7.317 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 1)))))))) into 0
7.317 * [backup-simplify]: Simplify 0 into 0
7.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
7.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.320 * [backup-simplify]: Simplify (- 0) into 0
7.321 * [backup-simplify]: Simplify (+ 0 0) into 0
7.323 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 1))))))))) into 0
7.323 * [backup-simplify]: Simplify 0 into 0
7.323 * [backup-simplify]: Simplify (+ (- 3.0) (* 3 (pow (/ 1 (/ 1 x)) 2))) into (- (* 3 (pow x 2)) 3.0)
7.324 * [backup-simplify]: Simplify (* 3 (- (* (/ 1 (- x)) (/ 1 (- x))) 1.0)) into (* 3 (- (/ 1 (pow x 2)) 1.0))
7.324 * [approximate]: Taking taylor expansion of (* 3 (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
7.324 * [taylor]: Taking taylor expansion of (* 3 (- (/ 1 (pow x 2)) 1.0)) in x
7.324 * [taylor]: Taking taylor expansion of 3 in x
7.324 * [backup-simplify]: Simplify 3 into 3
7.324 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.324 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.324 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.324 * [taylor]: Taking taylor expansion of x in x
7.324 * [backup-simplify]: Simplify 0 into 0
7.324 * [backup-simplify]: Simplify 1 into 1
7.324 * [backup-simplify]: Simplify (* 1 1) into 1
7.324 * [backup-simplify]: Simplify (/ 1 1) into 1
7.324 * [taylor]: Taking taylor expansion of 1.0 in x
7.324 * [backup-simplify]: Simplify 1.0 into 1.0
7.325 * [taylor]: Taking taylor expansion of (* 3 (- (/ 1 (pow x 2)) 1.0)) in x
7.325 * [taylor]: Taking taylor expansion of 3 in x
7.325 * [backup-simplify]: Simplify 3 into 3
7.325 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.325 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.325 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.325 * [taylor]: Taking taylor expansion of x in x
7.325 * [backup-simplify]: Simplify 0 into 0
7.325 * [backup-simplify]: Simplify 1 into 1
7.325 * [backup-simplify]: Simplify (* 1 1) into 1
7.325 * [backup-simplify]: Simplify (/ 1 1) into 1
7.325 * [taylor]: Taking taylor expansion of 1.0 in x
7.325 * [backup-simplify]: Simplify 1.0 into 1.0
7.326 * [backup-simplify]: Simplify (+ 1 0) into 1
7.326 * [backup-simplify]: Simplify (* 3 1) into 3
7.326 * [backup-simplify]: Simplify 3 into 3
7.327 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.328 * [backup-simplify]: Simplify (+ 0 0) into 0
7.328 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
7.328 * [backup-simplify]: Simplify 0 into 0
7.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.330 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
7.331 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
7.333 * [backup-simplify]: Simplify (+ (* 3 (- 1.0)) (+ (* 0 0) (* 0 1))) into (- 3.0)
7.334 * [backup-simplify]: Simplify (- 3.0) into (- 3.0)
7.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.336 * [backup-simplify]: Simplify (- 0) into 0
7.336 * [backup-simplify]: Simplify (+ 0 0) into 0
7.338 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 1)))) into 0
7.338 * [backup-simplify]: Simplify 0 into 0
7.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.340 * [backup-simplify]: Simplify (- 0) into 0
7.340 * [backup-simplify]: Simplify (+ 0 0) into 0
7.342 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 1))))) into 0
7.342 * [backup-simplify]: Simplify 0 into 0
7.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.344 * [backup-simplify]: Simplify (- 0) into 0
7.344 * [backup-simplify]: Simplify (+ 0 0) into 0
7.346 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 1)))))) into 0
7.346 * [backup-simplify]: Simplify 0 into 0
7.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.348 * [backup-simplify]: Simplify (- 0) into 0
7.349 * [backup-simplify]: Simplify (+ 0 0) into 0
7.351 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 1))))))) into 0
7.351 * [backup-simplify]: Simplify 0 into 0
7.352 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.353 * [backup-simplify]: Simplify (- 0) into 0
7.353 * [backup-simplify]: Simplify (+ 0 0) into 0
7.355 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 1)))))))) into 0
7.355 * [backup-simplify]: Simplify 0 into 0
7.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
7.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.358 * [backup-simplify]: Simplify (- 0) into 0
7.359 * [backup-simplify]: Simplify (+ 0 0) into 0
7.361 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 1))))))))) into 0
7.361 * [backup-simplify]: Simplify 0 into 0
7.361 * [backup-simplify]: Simplify (+ (- 3.0) (* 3 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 3 (pow x 2)) 3.0)
7.362 * * * [progress]: simplifying candidates
7.364 * [simplify]: Simplifying:
  (expm1 (cbrt (exp (* 3 (- (* x x) 1.0)))))
  (log1p (cbrt (exp (* 3 (- (* x x) 1.0)))))
  (log (cbrt (exp (* 3 (- (* x x) 1.0)))))
  (exp (cbrt (exp (* 3 (- (* x x) 1.0)))))
  (cbrt (exp (* 3 (fma x x (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))))))
  (cbrt (exp (* 3 (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))))
  (cbrt (exp (* 3 (fma x x (- (* (sqrt 1.0) (sqrt 1.0)))))))
  (cbrt (exp (* 3 (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))))))
  (cbrt (exp (* 3 (fma x x (- (* 1.0 1))))))
  (cbrt (exp (* 3 (fma (- 1.0) 1 (* 1.0 1)))))
  (cbrt (exp (* 3 (* x x))))
  (cbrt (exp (* 3 (- 1.0))))
  (cbrt (exp (* 3 (* x x))))
  (cbrt (exp (* 3 (- 1.0))))
  (cbrt (exp (* (fma x x (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) 3)))
  (cbrt (exp (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) 3)))
  (cbrt (exp (* (fma x x (- (* (sqrt 1.0) (sqrt 1.0)))) 3)))
  (cbrt (exp (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) 3)))
  (cbrt (exp (* (fma x x (- (* 1.0 1))) 3)))
  (cbrt (exp (* (fma (- 1.0) 1 (* 1.0 1)) 3)))
  (cbrt (exp (* (* x x) 3)))
  (cbrt (exp (* (- 1.0) 3)))
  (cbrt (exp (* (* x x) 3)))
  (cbrt (exp (* (- 1.0) 3)))
  (cbrt (* (cbrt (exp (* 3 (- (* x x) 1.0)))) (cbrt (exp (* 3 (- (* x x) 1.0))))))
  (cbrt (cbrt (exp (* 3 (- (* x x) 1.0)))))
  (cbrt (sqrt (exp (* 3 (- (* x x) 1.0)))))
  (cbrt (sqrt (exp (* 3 (- (* x x) 1.0)))))
  (cbrt 1)
  (cbrt (exp (* 3 (- (* x x) 1.0))))
  (* (cbrt (cbrt (exp (* 3 (- (* x x) 1.0))))) (cbrt (cbrt (exp (* 3 (- (* x x) 1.0))))))
  (cbrt (cbrt (exp (* 3 (- (* x x) 1.0)))))
  (* (* (cbrt (exp (* 3 (- (* x x) 1.0)))) (cbrt (exp (* 3 (- (* x x) 1.0))))) (cbrt (exp (* 3 (- (* x x) 1.0)))))
  (sqrt (cbrt (exp (* 3 (- (* x x) 1.0)))))
  (sqrt (cbrt (exp (* 3 (- (* x x) 1.0)))))
  (expm1 (exp (* 3 (- (* x x) 1.0))))
  (log1p (exp (* 3 (- (* x x) 1.0))))
  (exp 3)
  (exp (* 3 (fma x x (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))))
  (exp (* 3 (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))))
  (exp (* 3 (fma x x (- (* (sqrt 1.0) (sqrt 1.0))))))
  (exp (* 3 (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))))
  (exp (* 3 (fma x x (- (* 1.0 1)))))
  (exp (* 3 (fma (- 1.0) 1 (* 1.0 1))))
  (exp (* 3 (* x x)))
  (exp (* 3 (- 1.0)))
  (exp (* 3 (* x x)))
  (exp (* 3 (- 1.0)))
  (exp (* (fma x x (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) 3))
  (exp (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) 3))
  (exp (* (fma x x (- (* (sqrt 1.0) (sqrt 1.0)))) 3))
  (exp (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) 3))
  (exp (* (fma x x (- (* 1.0 1))) 3))
  (exp (* (fma (- 1.0) 1 (* 1.0 1)) 3))
  (exp (* (* x x) 3))
  (exp (* (- 1.0) 3))
  (exp (* (* x x) 3))
  (exp (* (- 1.0) 3))
  (log (exp (* 3 (- (* x x) 1.0))))
  (exp (exp (* 3 (- (* x x) 1.0))))
  (* (cbrt (exp (* 3 (- (* x x) 1.0)))) (cbrt (exp (* 3 (- (* x x) 1.0)))))
  (cbrt (exp (* 3 (- (* x x) 1.0))))
  (* (* (exp (* 3 (- (* x x) 1.0))) (exp (* 3 (- (* x x) 1.0)))) (exp (* 3 (- (* x x) 1.0))))
  (sqrt (exp (* 3 (- (* x x) 1.0))))
  (sqrt (exp (* 3 (- (* x x) 1.0))))
  (expm1 (* 3 (- (* x x) 1.0)))
  (log1p (* 3 (- (* x x) 1.0)))
  (* 3 (- (* x x) 1.0))
  (+ (log 3) (log (- (* x x) 1.0)))
  (log (* 3 (- (* x x) 1.0)))
  (exp (* 3 (- (* x x) 1.0)))
  (* (* (* 3 3) 3) (* (* (- (* x x) 1.0) (- (* x x) 1.0)) (- (* x x) 1.0)))
  (* (cbrt (* 3 (- (* x x) 1.0))) (cbrt (* 3 (- (* x x) 1.0))))
  (cbrt (* 3 (- (* x x) 1.0)))
  (* (* (* 3 (- (* x x) 1.0)) (* 3 (- (* x x) 1.0))) (* 3 (- (* x x) 1.0)))
  (sqrt (* 3 (- (* x x) 1.0)))
  (sqrt (* 3 (- (* x x) 1.0)))
  (* (sqrt 3) (sqrt (- (* x x) 1.0)))
  (* (sqrt 3) (sqrt (- (* x x) 1.0)))
  (* 3 (fma x x (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))))
  (* 3 (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (* 3 (fma x x (- (* (sqrt 1.0) (sqrt 1.0)))))
  (* 3 (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))))
  (* 3 (fma x x (- (* 1.0 1))))
  (* 3 (fma (- 1.0) 1 (* 1.0 1)))
  (* 3 (* x x))
  (* 3 (- 1.0))
  (* 3 (* x x))
  (* 3 (- 1.0))
  (* (fma x x (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) 3)
  (* (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) 3)
  (* (fma x x (- (* (sqrt 1.0) (sqrt 1.0)))) 3)
  (* (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) 3)
  (* (fma x x (- (* 1.0 1))) 3)
  (* (fma (- 1.0) 1 (* 1.0 1)) 3)
  (* (* x x) 3)
  (* (- 1.0) 3)
  (* (* x x) 3)
  (* (- 1.0) 3)
  (* 3 (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))))
  (* 3 (sqrt (- (* x x) 1.0)))
  (* 3 1)
  (* 3 (+ x (sqrt 1.0)))
  (* (cbrt 3) (- (* x x) 1.0))
  (* (sqrt 3) (- (* x x) 1.0))
  (* 3 (- (* x x) 1.0))
  (* 3 (- (pow (* x x) 3) (pow 1.0 3)))
  (* 3 (- (* (* x x) (* x x)) (* 1.0 1.0)))
  (+ (exp -1.0) (+ (* 1/2 (* (exp -1.0) (pow x 4))) (* (exp -1.0) (pow x 2))))
  (exp (- (pow x 2) 1.0))
  (exp (- (pow x 2) 1.0))
  (+ (* 3 (* (pow x 2) (exp -3.0))) (+ (exp -3.0) (* 9/2 (* (pow x 4) (exp -3.0)))))
  (exp (* 3 (- (pow x 2) 1.0)))
  (exp (* 3 (- (pow x 2) 1.0)))
  (- (* 3 (pow x 2)) 3.0)
  (- (* 3 (pow x 2)) 3.0)
  (- (* 3 (pow x 2)) 3.0)
7.366 * * [simplify]: iteration 0: 160 enodes
7.432 * * [simplify]: iteration 1: 355 enodes
7.636 * * [simplify]: iteration 2: 1637 enodes
8.094 * * [simplify]: iteration complete: 5000 enodes
8.094 * * [simplify]: Extracting #0: cost 50 inf + 0
8.095 * * [simplify]: Extracting #1: cost 747 inf + 73
8.100 * * [simplify]: Extracting #2: cost 1599 inf + 8921
8.115 * * [simplify]: Extracting #3: cost 1087 inf + 99396
8.154 * * [simplify]: Extracting #4: cost 146 inf + 247197
8.200 * * [simplify]: Extracting #5: cost 54 inf + 273788
8.261 * * [simplify]: Extracting #6: cost 11 inf + 278891
8.333 * * [simplify]: Extracting #7: cost 0 inf + 281713
8.401 * [simplify]: Simplified to:
  (expm1 (exp (- (* x x) 1.0)))
  (log1p (exp (- (* x x) 1.0)))
  (- (* x x) 1.0)
  (exp (exp (- (* x x) 1.0)))
  (exp (- (* x x) 1.0))
  (exp (fma -1 1.0 1.0))
  (exp (- (* x x) 1.0))
  (exp (fma -1 1.0 1.0))
  (exp (- (* x x) 1.0))
  (exp (fma -1 1.0 1.0))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp (- 1.0))
  (exp (- (* x x) 1.0))
  (exp (fma -1 1.0 1.0))
  (exp (- (* x x) 1.0))
  (exp (fma -1 1.0 1.0))
  (exp (- (* x x) 1.0))
  (exp (fma -1 1.0 1.0))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp (- 1.0))
  (cbrt (exp (+ (- (* x x) 1.0) (- (* x x) 1.0))))
  (cbrt (exp (- (* x x) 1.0)))
  (cbrt (sqrt (exp (* (- (* x x) 1.0) 3))))
  (cbrt (sqrt (exp (* (- (* x x) 1.0) 3))))
  1
  (exp (- (* x x) 1.0))
  (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0))))
  (cbrt (exp (- (* x x) 1.0)))
  (exp (* (- (* x x) 1.0) 3))
  (sqrt (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (expm1 (exp (* (- (* x x) 1.0) 3)))
  (log1p (exp (* (- (* x x) 1.0) 3)))
  (exp 3)
  (exp (* (- (* x x) 1.0) 3))
  (exp (* 3 (fma -1 1.0 1.0)))
  (exp (* (- (* x x) 1.0) 3))
  (exp (* 3 (fma -1 1.0 1.0)))
  (exp (* (- (* x x) 1.0) 3))
  (exp (* 3 (fma -1 1.0 1.0)))
  (exp (* x (* x 3)))
  (exp (* -3 1.0))
  (exp (* x (* x 3)))
  (exp (* -3 1.0))
  (exp (* (- (* x x) 1.0) 3))
  (exp (* 3 (fma -1 1.0 1.0)))
  (exp (* (- (* x x) 1.0) 3))
  (exp (* 3 (fma -1 1.0 1.0)))
  (exp (* (- (* x x) 1.0) 3))
  (exp (* 3 (fma -1 1.0 1.0)))
  (exp (* x (* x 3)))
  (exp (* -3 1.0))
  (exp (* x (* x 3)))
  (exp (* -3 1.0))
  (* (- (* x x) 1.0) 3)
  (exp (exp (* (- (* x x) 1.0) 3)))
  (exp (+ (- (* x x) 1.0) (- (* x x) 1.0)))
  (exp (- (* x x) 1.0))
  (exp (fma (- (* x x) 1.0) 3 (* (- (* x x) 1.0) 6)))
  (sqrt (exp (* (- (* x x) 1.0) 3)))
  (sqrt (exp (* (- (* x x) 1.0) 3)))
  (expm1 (* (- (* x x) 1.0) 3))
  (log1p (* (- (* x x) 1.0) 3))
  (* (- (* x x) 1.0) 3)
  (log (* (- (* x x) 1.0) 3))
  (log (* (- (* x x) 1.0) 3))
  (exp (* (- (* x x) 1.0) 3))
  (* (* 27 (* (- (* x x) 1.0) (- (* x x) 1.0))) (- (* x x) 1.0))
  (* (cbrt (* (- (* x x) 1.0) 3)) (cbrt (* (- (* x x) 1.0) 3)))
  (cbrt (* (- (* x x) 1.0) 3))
  (* (* (- (* x x) 1.0) 3) (* (* (- (* x x) 1.0) 3) (* (- (* x x) 1.0) 3)))
  (sqrt (* (- (* x x) 1.0) 3))
  (sqrt (* (- (* x x) 1.0) 3))
  (* (sqrt 3) (sqrt (- (* x x) 1.0)))
  (* (sqrt 3) (sqrt (- (* x x) 1.0)))
  (* (- (* x x) 1.0) 3)
  (* 3 (fma -1 1.0 1.0))
  (* (- (* x x) 1.0) 3)
  (* 3 (fma -1 1.0 1.0))
  (* (- (* x x) 1.0) 3)
  (* 3 (fma -1 1.0 1.0))
  (* x (* x 3))
  (* -3 1.0)
  (* x (* x 3))
  (* -3 1.0)
  (* (- (* x x) 1.0) 3)
  (* 3 (fma -1 1.0 1.0))
  (* (- (* x x) 1.0) 3)
  (* 3 (fma -1 1.0 1.0))
  (* (- (* x x) 1.0) 3)
  (* 3 (fma -1 1.0 1.0))
  (* x (* x 3))
  (* -3 1.0)
  (* x (* x 3))
  (* -3 1.0)
  (* (* 3 (cbrt (- (* x x) 1.0))) (cbrt (- (* x x) 1.0)))
  (* 3 (sqrt (- (* x x) 1.0)))
  3
  (* 3 (+ x (sqrt 1.0)))
  (* (- (* x x) 1.0) (cbrt 3))
  (* (sqrt 3) (- (* x x) 1.0))
  (* (- (* x x) 1.0) 3)
  (* 3 (- (* (* (* x x) x) (* (* x x) x)) (* 1.0 (* 1.0 1.0))))
  (* (* (+ (* x x) 1.0) (- (* x x) 1.0)) 3)
  (fma (exp -1.0) (* (* (* x x) (* x x)) 1/2) (fma (* x x) (exp -1.0) (exp -1.0)))
  (exp (- (* x x) 1.0))
  (exp (- (* x x) 1.0))
  (fma 9/2 (* (* (exp -3.0) (* x x)) (* x x)) (fma 3 (* (exp -3.0) (* x x)) (exp -3.0)))
  (exp (* (- (* x x) 1.0) 3))
  (exp (* (- (* x x) 1.0) 3))
  (- (* x (* x 3)) 3.0)
  (- (* x (* x 3)) 3.0)
  (- (* x (* x 3)) 3.0)
8.409 * * * [progress]: adding candidates to table
8.674 * [progress]: [Phase 3 of 3] Extracting.
8.674 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (exp (- (* x x) 1.0)))> #<alt (λ (x) (cbrt (exp (* 3 (- (* x x) 1.0)))))>)
8.674 * * * [regime-changes]: Trying 2 branch expressions: ((* x x) x)
8.674 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x) (exp (- (* x x) 1.0)))> #<alt (λ (x) (cbrt (exp (* 3 (- (* x x) 1.0)))))>)
8.714 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (exp (- (* x x) 1.0)))> #<alt (λ (x) (cbrt (exp (* 3 (- (* x x) 1.0)))))>)
8.743 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
8.744 * [simplify]: Simplifying:
  (exp (- (* x x) 1.0))
8.744 * * [simplify]: iteration 0: 5 enodes
8.744 * * [simplify]: iteration complete: 5 enodes
8.744 * * [simplify]: Extracting #0: cost 1 inf + 0
8.744 * * [simplify]: Extracting #1: cost 2 inf + 0
8.744 * * [simplify]: Extracting #2: cost 4 inf + 0
8.744 * * [simplify]: Extracting #3: cost 4 inf + 1
8.744 * * [simplify]: Extracting #4: cost 3 inf + 2
8.745 * * [simplify]: Extracting #5: cost 0 inf + 277
8.745 * [simplify]: Simplified to:
  (exp (- (* x x) 1.0))
10.223 * [regime-testing]: Baseline error score: 0.016491328313847836
10.231 * [regime-testing]: Oracle error score: 0.013792870694055215
10.249 * [regime-testing]: End program error score: 0.016491328313847836