600.011 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.015 * * * [progress]: [2/2] Setting up program.
0.019 * [progress]: [Phase 2 of 3] Improving.
0.019 * [simplify]: Simplifying:
  (+ x (/ 1.0 3.0))
0.019 * * [simplify]: iteration 0: 5 enodes
0.021 * * [simplify]: iteration 1: 6 enodes
0.022 * * [simplify]: iteration complete: 6 enodes
0.022 * * [simplify]: Extracting #0: cost 1 inf + 0
0.022 * * [simplify]: Extracting #1: cost 3 inf + 0
0.022 * * [simplify]: Extracting #2: cost 4 inf + 1
0.022 * * [simplify]: Extracting #3: cost 2 inf + 3
0.022 * * [simplify]: Extracting #4: cost 0 inf + 128
0.022 * [simplify]: Simplified to:
  (+ (/ 1.0 3.0) x)
0.024 * * [progress]: iteration 1 / 4
0.024 * * * [progress]: picking best candidate
0.029 * * * * [pick]: Picked  #<alt (λ (x) (+ x (/ 1.0 3.0)))>
0.029 * * * [progress]: localizing error
0.040 * * * [progress]: generating rewritten candidates
0.040 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.063 * * * [progress]: generating series expansions
0.063 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.064 * [backup-simplify]: Simplify (+ x (/ 1.0 3.0)) into (+ x 0.3333333333333333)
0.064 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
0.064 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.064 * [taylor]: Taking taylor expansion of x in x
0.064 * [backup-simplify]: Simplify 0 into 0
0.064 * [backup-simplify]: Simplify 1 into 1
0.064 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.065 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.065 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.065 * [backup-simplify]: Simplify 0 into 0
0.065 * [backup-simplify]: Simplify 1 into 1
0.065 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.065 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.066 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
0.066 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.066 * [backup-simplify]: Simplify (+ 1 0) into 1
0.066 * [backup-simplify]: Simplify 1 into 1
0.067 * [backup-simplify]: Simplify (+ 0 0) into 0
0.067 * [backup-simplify]: Simplify 0 into 0
0.067 * [backup-simplify]: Simplify (+ 0 0) into 0
0.067 * [backup-simplify]: Simplify 0 into 0
0.068 * [backup-simplify]: Simplify (+ 0 0) into 0
0.068 * [backup-simplify]: Simplify 0 into 0
0.068 * [backup-simplify]: Simplify (+ 0 0) into 0
0.068 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify (+ 0 0) into 0
0.069 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify (+ 0 0) into 0
0.069 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify (+ (* 1 x) 0.3333333333333333) into (+ x 0.3333333333333333)
0.070 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1.0 3.0)) into (+ 0.3333333333333333 (/ 1 x))
0.070 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
0.070 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.070 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.070 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.070 * [taylor]: Taking taylor expansion of x in x
0.070 * [backup-simplify]: Simplify 0 into 0
0.070 * [backup-simplify]: Simplify 1 into 1
0.071 * [backup-simplify]: Simplify (/ 1 1) into 1
0.071 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
0.071 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.071 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.071 * [taylor]: Taking taylor expansion of x in x
0.071 * [backup-simplify]: Simplify 0 into 0
0.071 * [backup-simplify]: Simplify 1 into 1
0.071 * [backup-simplify]: Simplify (/ 1 1) into 1
0.072 * [backup-simplify]: Simplify (+ 0 1) into 1
0.072 * [backup-simplify]: Simplify 1 into 1
0.072 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.073 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
0.073 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.074 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.074 * [backup-simplify]: Simplify (+ 0 0) into 0
0.074 * [backup-simplify]: Simplify 0 into 0
0.075 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.076 * [backup-simplify]: Simplify (+ 0 0) into 0
0.076 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.077 * [backup-simplify]: Simplify (+ 0 0) into 0
0.077 * [backup-simplify]: Simplify 0 into 0
0.078 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.078 * [backup-simplify]: Simplify (+ 0 0) into 0
0.078 * [backup-simplify]: Simplify 0 into 0
0.079 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.080 * [backup-simplify]: Simplify (+ 0 0) into 0
0.080 * [backup-simplify]: Simplify 0 into 0
0.081 * [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
0.081 * [backup-simplify]: Simplify (+ 0 0) into 0
0.081 * [backup-simplify]: Simplify 0 into 0
0.081 * [backup-simplify]: Simplify (+ 0.3333333333333333 (* 1 (/ 1 (/ 1 x)))) into (+ x 0.3333333333333333)
0.082 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ 1.0 3.0)) into (- 0.3333333333333333 (/ 1 x))
0.082 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
0.082 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.082 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.082 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.082 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify 1 into 1
0.082 * [backup-simplify]: Simplify (/ 1 1) into 1
0.082 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
0.082 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.083 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 1 into 1
0.083 * [backup-simplify]: Simplify (/ 1 1) into 1
0.084 * [backup-simplify]: Simplify (- 1) into -1
0.084 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.084 * [backup-simplify]: Simplify -1 into -1
0.085 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.085 * [backup-simplify]: Simplify (- 0) into 0
0.086 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
0.086 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.087 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.087 * [backup-simplify]: Simplify (- 0) into 0
0.087 * [backup-simplify]: Simplify (+ 0 0) into 0
0.087 * [backup-simplify]: Simplify 0 into 0
0.088 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.089 * [backup-simplify]: Simplify (- 0) into 0
0.089 * [backup-simplify]: Simplify (+ 0 0) into 0
0.089 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.090 * [backup-simplify]: Simplify (- 0) into 0
0.091 * [backup-simplify]: Simplify (+ 0 0) into 0
0.091 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.092 * [backup-simplify]: Simplify (- 0) into 0
0.092 * [backup-simplify]: Simplify (+ 0 0) into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.094 * [backup-simplify]: Simplify (- 0) into 0
0.094 * [backup-simplify]: Simplify (+ 0 0) into 0
0.094 * [backup-simplify]: Simplify 0 into 0
0.095 * [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
0.095 * [backup-simplify]: Simplify (- 0) into 0
0.096 * [backup-simplify]: Simplify (+ 0 0) into 0
0.096 * [backup-simplify]: Simplify 0 into 0
0.096 * [backup-simplify]: Simplify (+ 0.3333333333333333 (* -1 (/ 1 (/ 1 (- x))))) into (+ x 0.3333333333333333)
0.096 * * * [progress]: simplifying candidates
0.097 * [simplify]: Simplifying:
  (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (* (exp x) (exp (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (* (* (+ x (/ 1.0 3.0)) (+ x (/ 1.0 3.0))) (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
0.097 * * [simplify]: iteration 0: 30 enodes
0.113 * * [simplify]: iteration 1: 83 enodes
0.356 * * [simplify]: iteration 2: 226 enodes
0.490 * * [simplify]: iteration 3: 558 enodes
1.632 * * [simplify]: iteration 4: 1465 enodes
7.747 * * [simplify]: iteration 5: 4305 enodes
13.920 * * [simplify]: iteration complete: 5000 enodes
13.920 * * [simplify]: Extracting #0: cost 14 inf + 0
13.921 * * [simplify]: Extracting #1: cost 135 inf + 0
16.488 * * [simplify]: Extracting #2: cost 598 inf + 369
16.522 * * [simplify]: Extracting #3: cost 495 inf + 36856
16.620 * * [simplify]: Extracting #4: cost 169 inf + 111788
16.767 * * [simplify]: Extracting #5: cost 38 inf + 169004
17.056 * * [simplify]: Extracting #6: cost 0 inf + 189591
17.284 * [simplify]: Simplified to:
  (expm1 (+ (/ 1.0 3.0) x))
  (log1p (+ (/ 1.0 3.0) x))
  (exp (+ (/ 1.0 3.0) x))
  (log (+ (/ 1.0 3.0) x))
  (exp (+ (/ 1.0 3.0) x))
  (* (cbrt (+ (/ 1.0 3.0) x)) (cbrt (+ (/ 1.0 3.0) x)))
  (cbrt (+ (/ 1.0 3.0) x))
  (* (+ (/ 1.0 3.0) x) (* (+ (/ 1.0 3.0) x) (+ (/ 1.0 3.0) x)))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (fma (* (/ 1.0 3.0) (/ 1.0 3.0)) (/ 1.0 3.0) (* (* x x) x))
  (fma (- x (/ 1.0 3.0)) x (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (* (+ (/ 1.0 3.0) x) (- x (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ (/ 1.0 3.0) x)
  (+ 0.3333333333333333 x)
  (+ 0.3333333333333333 x)
  (+ 0.3333333333333333 x)
17.319 * * * [progress]: adding candidates to table
17.724 * * [progress]: iteration 2 / 4
17.727 * * * [progress]: picking best candidate
17.738 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))>
17.739 * * * [progress]: localizing error
17.774 * * * [progress]: generating rewritten candidates
17.774 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
18.033 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
18.056 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
18.079 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
18.142 * * * [progress]: generating series expansions
18.142 * * * * [progress]: [ 1 / 4 ] generating series at (2)
18.143 * [backup-simplify]: Simplify (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))) into (+ x 0.3333333333333333)
18.143 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
18.143 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
18.143 * [taylor]: Taking taylor expansion of x in x
18.143 * [backup-simplify]: Simplify 0 into 0
18.143 * [backup-simplify]: Simplify 1 into 1
18.143 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.143 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.143 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
18.144 * [taylor]: Taking taylor expansion of x in x
18.144 * [backup-simplify]: Simplify 0 into 0
18.144 * [backup-simplify]: Simplify 1 into 1
18.144 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.144 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.144 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
18.144 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.145 * [backup-simplify]: Simplify (+ 1 0) into 1
18.145 * [backup-simplify]: Simplify 1 into 1
18.145 * [backup-simplify]: Simplify (+ 0 0) into 0
18.145 * [backup-simplify]: Simplify 0 into 0
18.145 * [backup-simplify]: Simplify (+ 0 0) into 0
18.145 * [backup-simplify]: Simplify 0 into 0
18.146 * [backup-simplify]: Simplify (+ 0 0) into 0
18.146 * [backup-simplify]: Simplify 0 into 0
18.146 * [backup-simplify]: Simplify (+ 0 0) into 0
18.146 * [backup-simplify]: Simplify 0 into 0
18.146 * [backup-simplify]: Simplify (+ 0 0) into 0
18.147 * [backup-simplify]: Simplify 0 into 0
18.147 * [backup-simplify]: Simplify (+ 0 0) into 0
18.147 * [backup-simplify]: Simplify 0 into 0
18.147 * [backup-simplify]: Simplify (+ (* 1 x) 0.3333333333333333) into (+ x 0.3333333333333333)
18.148 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 x) (/ 1.0 3.0))) (sqrt (+ (/ 1 x) (/ 1.0 3.0)))) into (+ 0.3333333333333333 (/ 1 x))
18.148 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
18.148 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
18.148 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.148 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.148 * [taylor]: Taking taylor expansion of x in x
18.148 * [backup-simplify]: Simplify 0 into 0
18.148 * [backup-simplify]: Simplify 1 into 1
18.149 * [backup-simplify]: Simplify (/ 1 1) into 1
18.149 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
18.149 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.149 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.149 * [taylor]: Taking taylor expansion of x in x
18.149 * [backup-simplify]: Simplify 0 into 0
18.149 * [backup-simplify]: Simplify 1 into 1
18.149 * [backup-simplify]: Simplify (/ 1 1) into 1
18.150 * [backup-simplify]: Simplify (+ 0 1) into 1
18.150 * [backup-simplify]: Simplify 1 into 1
18.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.151 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
18.151 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.151 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.152 * [backup-simplify]: Simplify (+ 0 0) into 0
18.152 * [backup-simplify]: Simplify 0 into 0
18.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.153 * [backup-simplify]: Simplify (+ 0 0) into 0
18.153 * [backup-simplify]: Simplify 0 into 0
18.154 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.154 * [backup-simplify]: Simplify (+ 0 0) into 0
18.154 * [backup-simplify]: Simplify 0 into 0
18.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.156 * [backup-simplify]: Simplify (+ 0 0) into 0
18.156 * [backup-simplify]: Simplify 0 into 0
18.157 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.157 * [backup-simplify]: Simplify (+ 0 0) into 0
18.157 * [backup-simplify]: Simplify 0 into 0
18.158 * [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
18.158 * [backup-simplify]: Simplify (+ 0 0) into 0
18.158 * [backup-simplify]: Simplify 0 into 0
18.158 * [backup-simplify]: Simplify (+ 0.3333333333333333 (* 1 (/ 1 (/ 1 x)))) into (+ x 0.3333333333333333)
18.159 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 (- x)) (/ 1.0 3.0))) (sqrt (+ (/ 1 (- x)) (/ 1.0 3.0)))) into (- 0.3333333333333333 (/ 1 x))
18.159 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
18.159 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
18.159 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.160 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.160 * [taylor]: Taking taylor expansion of x in x
18.160 * [backup-simplify]: Simplify 0 into 0
18.160 * [backup-simplify]: Simplify 1 into 1
18.160 * [backup-simplify]: Simplify (/ 1 1) into 1
18.160 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
18.160 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.160 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.160 * [taylor]: Taking taylor expansion of x in x
18.160 * [backup-simplify]: Simplify 0 into 0
18.160 * [backup-simplify]: Simplify 1 into 1
18.161 * [backup-simplify]: Simplify (/ 1 1) into 1
18.161 * [backup-simplify]: Simplify (- 1) into -1
18.161 * [backup-simplify]: Simplify (+ 0 -1) into -1
18.161 * [backup-simplify]: Simplify -1 into -1
18.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.162 * [backup-simplify]: Simplify (- 0) into 0
18.163 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
18.163 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.164 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.164 * [backup-simplify]: Simplify (- 0) into 0
18.164 * [backup-simplify]: Simplify (+ 0 0) into 0
18.164 * [backup-simplify]: Simplify 0 into 0
18.165 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.166 * [backup-simplify]: Simplify (- 0) into 0
18.166 * [backup-simplify]: Simplify (+ 0 0) into 0
18.166 * [backup-simplify]: Simplify 0 into 0
18.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.167 * [backup-simplify]: Simplify (- 0) into 0
18.168 * [backup-simplify]: Simplify (+ 0 0) into 0
18.168 * [backup-simplify]: Simplify 0 into 0
18.169 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.169 * [backup-simplify]: Simplify (- 0) into 0
18.169 * [backup-simplify]: Simplify (+ 0 0) into 0
18.169 * [backup-simplify]: Simplify 0 into 0
18.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.171 * [backup-simplify]: Simplify (- 0) into 0
18.171 * [backup-simplify]: Simplify (+ 0 0) into 0
18.171 * [backup-simplify]: Simplify 0 into 0
18.173 * [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
18.173 * [backup-simplify]: Simplify (- 0) into 0
18.173 * [backup-simplify]: Simplify (+ 0 0) into 0
18.173 * [backup-simplify]: Simplify 0 into 0
18.173 * [backup-simplify]: Simplify (+ 0.3333333333333333 (* -1 (/ 1 (/ 1 (- x))))) into (+ x 0.3333333333333333)
18.173 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
18.174 * [backup-simplify]: Simplify (+ x (/ 1.0 3.0)) into (+ x 0.3333333333333333)
18.174 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
18.174 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
18.174 * [taylor]: Taking taylor expansion of x in x
18.174 * [backup-simplify]: Simplify 0 into 0
18.174 * [backup-simplify]: Simplify 1 into 1
18.174 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.174 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.174 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
18.174 * [taylor]: Taking taylor expansion of x in x
18.174 * [backup-simplify]: Simplify 0 into 0
18.174 * [backup-simplify]: Simplify 1 into 1
18.174 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.174 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.175 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
18.175 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.175 * [backup-simplify]: Simplify (+ 1 0) into 1
18.175 * [backup-simplify]: Simplify 1 into 1
18.176 * [backup-simplify]: Simplify (+ 0 0) into 0
18.176 * [backup-simplify]: Simplify 0 into 0
18.176 * [backup-simplify]: Simplify (+ 0 0) into 0
18.176 * [backup-simplify]: Simplify 0 into 0
18.176 * [backup-simplify]: Simplify (+ 0 0) into 0
18.176 * [backup-simplify]: Simplify 0 into 0
18.177 * [backup-simplify]: Simplify (+ 0 0) into 0
18.177 * [backup-simplify]: Simplify 0 into 0
18.177 * [backup-simplify]: Simplify (+ 0 0) into 0
18.177 * [backup-simplify]: Simplify 0 into 0
18.178 * [backup-simplify]: Simplify (+ 0 0) into 0
18.178 * [backup-simplify]: Simplify 0 into 0
18.178 * [backup-simplify]: Simplify (+ (* 1 x) 0.3333333333333333) into (+ x 0.3333333333333333)
18.178 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1.0 3.0)) into (+ 0.3333333333333333 (/ 1 x))
18.178 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
18.178 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
18.178 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.178 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.178 * [taylor]: Taking taylor expansion of x in x
18.178 * [backup-simplify]: Simplify 0 into 0
18.178 * [backup-simplify]: Simplify 1 into 1
18.179 * [backup-simplify]: Simplify (/ 1 1) into 1
18.179 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
18.179 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.179 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.179 * [taylor]: Taking taylor expansion of x in x
18.179 * [backup-simplify]: Simplify 0 into 0
18.179 * [backup-simplify]: Simplify 1 into 1
18.179 * [backup-simplify]: Simplify (/ 1 1) into 1
18.180 * [backup-simplify]: Simplify (+ 0 1) into 1
18.180 * [backup-simplify]: Simplify 1 into 1
18.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.181 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
18.181 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.182 * [backup-simplify]: Simplify (+ 0 0) into 0
18.182 * [backup-simplify]: Simplify 0 into 0
18.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.183 * [backup-simplify]: Simplify (+ 0 0) into 0
18.183 * [backup-simplify]: Simplify 0 into 0
18.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.184 * [backup-simplify]: Simplify (+ 0 0) into 0
18.184 * [backup-simplify]: Simplify 0 into 0
18.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.186 * [backup-simplify]: Simplify (+ 0 0) into 0
18.186 * [backup-simplify]: Simplify 0 into 0
18.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.187 * [backup-simplify]: Simplify (+ 0 0) into 0
18.187 * [backup-simplify]: Simplify 0 into 0
18.188 * [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
18.188 * [backup-simplify]: Simplify (+ 0 0) into 0
18.188 * [backup-simplify]: Simplify 0 into 0
18.188 * [backup-simplify]: Simplify (+ 0.3333333333333333 (* 1 (/ 1 (/ 1 x)))) into (+ x 0.3333333333333333)
18.189 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ 1.0 3.0)) into (- 0.3333333333333333 (/ 1 x))
18.189 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
18.189 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
18.189 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.189 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.189 * [taylor]: Taking taylor expansion of x in x
18.189 * [backup-simplify]: Simplify 0 into 0
18.189 * [backup-simplify]: Simplify 1 into 1
18.190 * [backup-simplify]: Simplify (/ 1 1) into 1
18.190 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
18.190 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.190 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.190 * [taylor]: Taking taylor expansion of x in x
18.190 * [backup-simplify]: Simplify 0 into 0
18.190 * [backup-simplify]: Simplify 1 into 1
18.190 * [backup-simplify]: Simplify (/ 1 1) into 1
18.191 * [backup-simplify]: Simplify (- 1) into -1
18.191 * [backup-simplify]: Simplify (+ 0 -1) into -1
18.191 * [backup-simplify]: Simplify -1 into -1
18.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.192 * [backup-simplify]: Simplify (- 0) into 0
18.193 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
18.193 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.193 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.194 * [backup-simplify]: Simplify (- 0) into 0
18.194 * [backup-simplify]: Simplify (+ 0 0) into 0
18.194 * [backup-simplify]: Simplify 0 into 0
18.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.195 * [backup-simplify]: Simplify (- 0) into 0
18.196 * [backup-simplify]: Simplify (+ 0 0) into 0
18.196 * [backup-simplify]: Simplify 0 into 0
18.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.197 * [backup-simplify]: Simplify (- 0) into 0
18.197 * [backup-simplify]: Simplify (+ 0 0) into 0
18.197 * [backup-simplify]: Simplify 0 into 0
18.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.198 * [backup-simplify]: Simplify (- 0) into 0
18.199 * [backup-simplify]: Simplify (+ 0 0) into 0
18.199 * [backup-simplify]: Simplify 0 into 0
18.199 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.200 * [backup-simplify]: Simplify (- 0) into 0
18.200 * [backup-simplify]: Simplify (+ 0 0) into 0
18.200 * [backup-simplify]: Simplify 0 into 0
18.201 * [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
18.201 * [backup-simplify]: Simplify (- 0) into 0
18.202 * [backup-simplify]: Simplify (+ 0 0) into 0
18.202 * [backup-simplify]: Simplify 0 into 0
18.202 * [backup-simplify]: Simplify (+ 0.3333333333333333 (* -1 (/ 1 (/ 1 (- x))))) into (+ x 0.3333333333333333)
18.202 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
18.202 * [backup-simplify]: Simplify (+ x (/ 1.0 3.0)) into (+ x 0.3333333333333333)
18.202 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
18.202 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
18.202 * [taylor]: Taking taylor expansion of x in x
18.202 * [backup-simplify]: Simplify 0 into 0
18.202 * [backup-simplify]: Simplify 1 into 1
18.202 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.203 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.203 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
18.203 * [taylor]: Taking taylor expansion of x in x
18.203 * [backup-simplify]: Simplify 0 into 0
18.203 * [backup-simplify]: Simplify 1 into 1
18.203 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.203 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.203 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
18.203 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.204 * [backup-simplify]: Simplify (+ 1 0) into 1
18.204 * [backup-simplify]: Simplify 1 into 1
18.204 * [backup-simplify]: Simplify (+ 0 0) into 0
18.204 * [backup-simplify]: Simplify 0 into 0
18.204 * [backup-simplify]: Simplify (+ 0 0) into 0
18.204 * [backup-simplify]: Simplify 0 into 0
18.205 * [backup-simplify]: Simplify (+ 0 0) into 0
18.205 * [backup-simplify]: Simplify 0 into 0
18.205 * [backup-simplify]: Simplify (+ 0 0) into 0
18.205 * [backup-simplify]: Simplify 0 into 0
18.205 * [backup-simplify]: Simplify (+ 0 0) into 0
18.205 * [backup-simplify]: Simplify 0 into 0
18.206 * [backup-simplify]: Simplify (+ 0 0) into 0
18.206 * [backup-simplify]: Simplify 0 into 0
18.206 * [backup-simplify]: Simplify (+ (* 1 x) 0.3333333333333333) into (+ x 0.3333333333333333)
18.206 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1.0 3.0)) into (+ 0.3333333333333333 (/ 1 x))
18.206 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
18.206 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
18.206 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.206 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.206 * [taylor]: Taking taylor expansion of x in x
18.207 * [backup-simplify]: Simplify 0 into 0
18.207 * [backup-simplify]: Simplify 1 into 1
18.207 * [backup-simplify]: Simplify (/ 1 1) into 1
18.207 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
18.207 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.207 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.207 * [taylor]: Taking taylor expansion of x in x
18.207 * [backup-simplify]: Simplify 0 into 0
18.207 * [backup-simplify]: Simplify 1 into 1
18.207 * [backup-simplify]: Simplify (/ 1 1) into 1
18.208 * [backup-simplify]: Simplify (+ 0 1) into 1
18.208 * [backup-simplify]: Simplify 1 into 1
18.209 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.209 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
18.209 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.210 * [backup-simplify]: Simplify (+ 0 0) into 0
18.210 * [backup-simplify]: Simplify 0 into 0
18.211 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.211 * [backup-simplify]: Simplify (+ 0 0) into 0
18.211 * [backup-simplify]: Simplify 0 into 0
18.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.212 * [backup-simplify]: Simplify (+ 0 0) into 0
18.212 * [backup-simplify]: Simplify 0 into 0
18.213 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.214 * [backup-simplify]: Simplify (+ 0 0) into 0
18.214 * [backup-simplify]: Simplify 0 into 0
18.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.215 * [backup-simplify]: Simplify (+ 0 0) into 0
18.215 * [backup-simplify]: Simplify 0 into 0
18.216 * [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
18.216 * [backup-simplify]: Simplify (+ 0 0) into 0
18.216 * [backup-simplify]: Simplify 0 into 0
18.216 * [backup-simplify]: Simplify (+ 0.3333333333333333 (* 1 (/ 1 (/ 1 x)))) into (+ x 0.3333333333333333)
18.217 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ 1.0 3.0)) into (- 0.3333333333333333 (/ 1 x))
18.217 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
18.217 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
18.217 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.217 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.217 * [taylor]: Taking taylor expansion of x in x
18.217 * [backup-simplify]: Simplify 0 into 0
18.217 * [backup-simplify]: Simplify 1 into 1
18.217 * [backup-simplify]: Simplify (/ 1 1) into 1
18.217 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
18.217 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.217 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.217 * [taylor]: Taking taylor expansion of x in x
18.217 * [backup-simplify]: Simplify 0 into 0
18.217 * [backup-simplify]: Simplify 1 into 1
18.218 * [backup-simplify]: Simplify (/ 1 1) into 1
18.218 * [backup-simplify]: Simplify (- 1) into -1
18.218 * [backup-simplify]: Simplify (+ 0 -1) into -1
18.218 * [backup-simplify]: Simplify -1 into -1
18.219 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.219 * [backup-simplify]: Simplify (- 0) into 0
18.220 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
18.220 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.221 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.221 * [backup-simplify]: Simplify (- 0) into 0
18.221 * [backup-simplify]: Simplify (+ 0 0) into 0
18.221 * [backup-simplify]: Simplify 0 into 0
18.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.223 * [backup-simplify]: Simplify (- 0) into 0
18.223 * [backup-simplify]: Simplify (+ 0 0) into 0
18.223 * [backup-simplify]: Simplify 0 into 0
18.224 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.224 * [backup-simplify]: Simplify (- 0) into 0
18.225 * [backup-simplify]: Simplify (+ 0 0) into 0
18.225 * [backup-simplify]: Simplify 0 into 0
18.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.226 * [backup-simplify]: Simplify (- 0) into 0
18.226 * [backup-simplify]: Simplify (+ 0 0) into 0
18.226 * [backup-simplify]: Simplify 0 into 0
18.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.228 * [backup-simplify]: Simplify (- 0) into 0
18.228 * [backup-simplify]: Simplify (+ 0 0) into 0
18.228 * [backup-simplify]: Simplify 0 into 0
18.230 * [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
18.230 * [backup-simplify]: Simplify (- 0) into 0
18.230 * [backup-simplify]: Simplify (+ 0 0) into 0
18.230 * [backup-simplify]: Simplify 0 into 0
18.230 * [backup-simplify]: Simplify (+ 0.3333333333333333 (* -1 (/ 1 (/ 1 (- x))))) into (+ x 0.3333333333333333)
18.231 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
18.231 * [backup-simplify]: Simplify (sqrt (+ x (/ 1.0 3.0))) into (sqrt (+ x 0.3333333333333333))
18.231 * [approximate]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in (x) around 0
18.231 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
18.231 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
18.231 * [taylor]: Taking taylor expansion of x in x
18.231 * [backup-simplify]: Simplify 0 into 0
18.231 * [backup-simplify]: Simplify 1 into 1
18.231 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.231 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.232 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
18.232 * [backup-simplify]: Simplify (sqrt 0.3333333333333333) into (sqrt 0.3333333333333333)
18.233 * [backup-simplify]: Simplify (+ 1 0) into 1
18.234 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0.3333333333333333))) into (/ 1/2 (sqrt 0.3333333333333333))
18.234 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
18.234 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
18.234 * [taylor]: Taking taylor expansion of x in x
18.234 * [backup-simplify]: Simplify 0 into 0
18.234 * [backup-simplify]: Simplify 1 into 1
18.234 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.234 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.235 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
18.235 * [backup-simplify]: Simplify (sqrt 0.3333333333333333) into (sqrt 0.3333333333333333)
18.235 * [backup-simplify]: Simplify (+ 1 0) into 1
18.237 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0.3333333333333333))) into (/ 1/2 (sqrt 0.3333333333333333))
18.237 * [backup-simplify]: Simplify (sqrt 0.3333333333333333) into (sqrt 0.3333333333333333)
18.246 * [backup-simplify]: Simplify (/ 1/2 (sqrt 0.3333333333333333)) into (/ 1/2 (sqrt 0.3333333333333333))
18.246 * [backup-simplify]: Simplify (+ 0 0) into 0
18.259 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 0.3333333333333333)) 2) (+)) (* 2 (sqrt 0.3333333333333333))) into (/ -1/8 (pow (sqrt 0.3333333333333333) 3))
18.261 * [backup-simplify]: Simplify (/ -1/8 (pow (sqrt 0.3333333333333333) 3)) into (/ -1/8 (pow (sqrt 0.3333333333333333) 3))
18.266 * [backup-simplify]: Simplify (+ (* (/ -1/8 (pow (sqrt 0.3333333333333333) 3)) (pow x 2)) (+ (* (/ 1/2 (sqrt 0.3333333333333333)) x) (sqrt 0.3333333333333333))) into (- (+ (* 1/2 (/ x (sqrt 0.3333333333333333))) (sqrt 0.3333333333333333)) (* 1/8 (/ (pow x 2) (pow (sqrt 0.3333333333333333) 3))))
18.273 * [backup-simplify]: Simplify (sqrt (+ (/ 1 x) (/ 1.0 3.0))) into (sqrt (+ 0.3333333333333333 (/ 1 x)))
18.273 * [approximate]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in (x) around 0
18.273 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in x
18.273 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
18.273 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.273 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.273 * [taylor]: Taking taylor expansion of x in x
18.273 * [backup-simplify]: Simplify 0 into 0
18.273 * [backup-simplify]: Simplify 1 into 1
18.274 * [backup-simplify]: Simplify (/ 1 1) into 1
18.274 * [backup-simplify]: Simplify (+ 0 1) into 1
18.274 * [backup-simplify]: Simplify (sqrt 0) into 0
18.286 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
18.286 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in x
18.286 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
18.286 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.286 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.286 * [taylor]: Taking taylor expansion of x in x
18.286 * [backup-simplify]: Simplify 0 into 0
18.286 * [backup-simplify]: Simplify 1 into 1
18.286 * [backup-simplify]: Simplify (/ 1 1) into 1
18.287 * [backup-simplify]: Simplify (+ 0 1) into 1
18.287 * [backup-simplify]: Simplify (sqrt 0) into 0
18.289 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
18.290 * [backup-simplify]: Simplify 0 into 0
18.290 * [backup-simplify]: Simplify +nan.0 into +nan.0
18.290 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.291 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
18.297 * [backup-simplify]: Simplify (/ (- 0.3333333333333333 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
18.297 * [backup-simplify]: Simplify +nan.0 into +nan.0
18.298 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.299 * [backup-simplify]: Simplify (+ 0 0) into 0
18.304 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
18.304 * [backup-simplify]: Simplify +nan.0 into +nan.0
18.305 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
18.305 * [backup-simplify]: Simplify (sqrt (+ (/ 1 (- x)) (/ 1.0 3.0))) into (sqrt (- 0.3333333333333333 (/ 1 x)))
18.306 * [approximate]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in (x) around 0
18.306 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
18.306 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
18.306 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.306 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.306 * [taylor]: Taking taylor expansion of x in x
18.306 * [backup-simplify]: Simplify 0 into 0
18.306 * [backup-simplify]: Simplify 1 into 1
18.306 * [backup-simplify]: Simplify (/ 1 1) into 1
18.307 * [backup-simplify]: Simplify (- 1) into -1
18.307 * [backup-simplify]: Simplify (+ 0 -1) into -1
18.307 * [backup-simplify]: Simplify (sqrt 0) into 0
18.309 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
18.309 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
18.309 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
18.309 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
18.309 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
18.309 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.309 * [taylor]: Taking taylor expansion of x in x
18.309 * [backup-simplify]: Simplify 0 into 0
18.309 * [backup-simplify]: Simplify 1 into 1
18.309 * [backup-simplify]: Simplify (/ 1 1) into 1
18.310 * [backup-simplify]: Simplify (- 1) into -1
18.310 * [backup-simplify]: Simplify (+ 0 -1) into -1
18.310 * [backup-simplify]: Simplify (sqrt 0) into 0
18.312 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
18.312 * [backup-simplify]: Simplify 0 into 0
18.312 * [backup-simplify]: Simplify +nan.0 into +nan.0
18.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.313 * [backup-simplify]: Simplify (- 0) into 0
18.313 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
18.317 * [backup-simplify]: Simplify (/ (- 0.3333333333333333 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
18.317 * [backup-simplify]: Simplify +nan.0 into +nan.0
18.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.318 * [backup-simplify]: Simplify (- 0) into 0
18.319 * [backup-simplify]: Simplify (+ 0 0) into 0
18.323 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
18.323 * [backup-simplify]: Simplify +nan.0 into +nan.0
18.323 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
18.336 * * * [progress]: simplifying candidates
18.366 * [simplify]: Simplifying:
  (expm1 (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))
  (log1p (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (+ x (/ 1.0 3.0)) (+ x (/ 1.0 3.0)))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (+ x (/ 1.0 3.0)) (+ x (/ 1.0 3.0)))
  (+ 1 1)
  (+ (log (sqrt (+ x (/ 1.0 3.0)))) (log (sqrt (+ x (/ 1.0 3.0)))))
  (log (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))
  (exp (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))
  (* (* (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0)))) (* (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0)))))
  (* (cbrt (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))) (cbrt (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))))
  (cbrt (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))
  (* (* (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))) (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))) (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))
  (* (+ x (/ 1.0 3.0)) (+ x (/ 1.0 3.0)))
  (sqrt (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))) (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))))
  (* (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))) (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))
  (* (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))) (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (* (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))) (sqrt (- x (/ 1.0 3.0))))
  (* (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))))
  (* (sqrt (- x (/ 1.0 3.0))) (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))))
  (* (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (* (sqrt (- x (/ 1.0 3.0))) (sqrt (- x (/ 1.0 3.0))))
  (* (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0))))) (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0))))))
  (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))) (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))))
  (* (sqrt (cbrt (+ x (/ 1.0 3.0)))) (sqrt (cbrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* 1 1)
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (+ x (/ 1.0 3.0))) (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0))))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt 1))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt 1))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (sqrt (+ x (/ 1.0 3.0)))))
  (* (sqrt (+ x (/ 1.0 3.0))) 1)
  (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (cbrt (+ x (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
  (* (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))) (sqrt (+ x (/ 1.0 3.0))))
  (* (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0))))
  (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (* (exp x) (exp (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (* (* (+ x (/ 1.0 3.0)) (+ x (/ 1.0 3.0))) (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (* (exp x) (exp (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (* (* (+ x (/ 1.0 3.0)) (+ x (/ 1.0 3.0))) (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (expm1 (sqrt (+ x (/ 1.0 3.0))))
  (log1p (sqrt (+ x (/ 1.0 3.0))))
  (log (sqrt (+ x (/ 1.0 3.0))))
  (exp (sqrt (+ x (/ 1.0 3.0))))
  (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (cbrt (sqrt (+ x (/ 1.0 3.0)))))
  (cbrt (sqrt (+ x (/ 1.0 3.0))))
  (* (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0)))))
  (sqrt (cbrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt 1)
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt 1)
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3)))
  (sqrt (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0)))))
  (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))
  (sqrt (- x (/ 1.0 3.0)))
  (/ 1 2)
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (sqrt (sqrt (+ x (/ 1.0 3.0))))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (- (+ (* 1/2 (/ x (sqrt 0.3333333333333333))) (sqrt 0.3333333333333333)) (* 1/8 (/ (pow x 2) (pow (sqrt 0.3333333333333333) 3))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
18.371 * * [simplify]: iteration 0: 115 enodes
18.467 * * [simplify]: iteration 1: 260 enodes
18.666 * * [simplify]: iteration 2: 634 enodes
20.832 * * [simplify]: iteration 3: 1922 enodes
23.302 * * [simplify]: iteration complete: 5003 enodes
23.302 * * [simplify]: Extracting #0: cost 43 inf + 0
23.305 * * [simplify]: Extracting #1: cost 484 inf + 3
23.313 * * [simplify]: Extracting #2: cost 1364 inf + 1420
23.343 * * [simplify]: Extracting #3: cost 1565 inf + 12136
23.376 * * [simplify]: Extracting #4: cost 1277 inf + 60256
23.433 * * [simplify]: Extracting #5: cost 940 inf + 137049
23.647 * * [simplify]: Extracting #6: cost 209 inf + 336417
23.812 * * [simplify]: Extracting #7: cost 2 inf + 399030
23.962 * * [simplify]: Extracting #8: cost 0 inf + 399760
24.119 * [simplify]: Simplified to:
  (expm1 (+ (/ 1.0 3.0) x))
  (log1p (+ (/ 1.0 3.0) x))
  1
  1
  2
  1
  1
  (* (+ (/ 1.0 3.0) x) (+ (/ 1.0 3.0) x))
  (+ (/ 1.0 3.0) x)
  (* (+ (/ 1.0 3.0) x) (+ (/ 1.0 3.0) x))
  2
  (log (+ (/ 1.0 3.0) x))
  (log (+ (/ 1.0 3.0) x))
  (exp (+ x (/ 1.0 3.0)))
  (* (* (+ (/ 1.0 3.0) x) (+ (/ 1.0 3.0) x)) (+ (/ 1.0 3.0) x))
  (* (cbrt (+ (/ 1.0 3.0) x)) (cbrt (+ (/ 1.0 3.0) x)))
  (cbrt (+ (/ 1.0 3.0) x))
  (* (* (+ (/ 1.0 3.0) x) (+ (/ 1.0 3.0) x)) (+ (/ 1.0 3.0) x))
  (* (+ (/ 1.0 3.0) x) (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (fma (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)) (* (* x x) x))
  (fma (/ 1.0 3.0) (- (/ 1.0 3.0) x) (* x x))
  (* (sqrt (* (+ (/ 1.0 3.0) x) (- x (/ 1.0 3.0)))) (sqrt (fma (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)) (* (* x x) x))))
  (* (sqrt (- x (/ 1.0 3.0))) (sqrt (fma (/ 1.0 3.0) (- (/ 1.0 3.0) x) (* x x))))
  (* (sqrt (* (+ (/ 1.0 3.0) x) (- x (/ 1.0 3.0)))) (sqrt (fma (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)) (* (* x x) x))))
  (* (sqrt (- x (/ 1.0 3.0))) (sqrt (fma (/ 1.0 3.0) (- (/ 1.0 3.0) x) (* x x))))
  (* (+ (/ 1.0 3.0) x) (- x (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (* (sqrt (+ (/ 1.0 3.0) x)) (cbrt (sqrt (+ (/ 1.0 3.0) x))))
  (* (cbrt (sqrt (+ (/ 1.0 3.0) x))) (cbrt (sqrt (+ (/ 1.0 3.0) x))))
  (* (cbrt (+ (/ 1.0 3.0) x)) (cbrt (+ (/ 1.0 3.0) x)))
  (cbrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  1
  (+ (/ 1.0 3.0) x)
  1
  (+ (/ 1.0 3.0) x)
  1
  (+ (/ 1.0 3.0) x)
  1
  (+ (/ 1.0 3.0) x)
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  1
  (+ (/ 1.0 3.0) x)
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  1
  2
  1
  (* (* (cbrt (sqrt (+ (/ 1.0 3.0) x))) (cbrt (sqrt (+ (/ 1.0 3.0) x)))) (sqrt (+ (/ 1.0 3.0) x)))
  (* (fabs (cbrt (+ (/ 1.0 3.0) x))) (sqrt (+ (/ 1.0 3.0) x)))
  (* (sqrt (sqrt (+ (/ 1.0 3.0) x))) (sqrt (+ (/ 1.0 3.0) x)))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (* (sqrt (sqrt (+ (/ 1.0 3.0) x))) (sqrt (+ (/ 1.0 3.0) x)))
  (sqrt (+ (/ 1.0 3.0) x))
  (* (sqrt (+ (/ 1.0 3.0) x)) (cbrt (sqrt (+ (/ 1.0 3.0) x))))
  (* (sqrt (cbrt (+ (/ 1.0 3.0) x))) (sqrt (+ (/ 1.0 3.0) x)))
  (* (sqrt (sqrt (+ (/ 1.0 3.0) x))) (sqrt (+ (/ 1.0 3.0) x)))
  (+ (/ 1.0 3.0) x)
  (+ (/ 1.0 3.0) x)
  (* (sqrt (sqrt (+ (/ 1.0 3.0) x))) (sqrt (+ (/ 1.0 3.0) x)))
  (+ (/ 1.0 3.0) x)
  (* (sqrt (fma (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)) (* (* x x) x))) (sqrt (+ (/ 1.0 3.0) x)))
  (* (sqrt (+ (/ 1.0 3.0) x)) (sqrt (* (+ (/ 1.0 3.0) x) (- x (/ 1.0 3.0)))))
  (* (sqrt (fma (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)) (* (* x x) x))) (sqrt (+ (/ 1.0 3.0) x)))
  (* (sqrt (+ (/ 1.0 3.0) x)) (sqrt (* (+ (/ 1.0 3.0) x) (- x (/ 1.0 3.0)))))
  (expm1 (+ (/ 1.0 3.0) x))
  (log1p (+ (/ 1.0 3.0) x))
  (exp (+ x (/ 1.0 3.0)))
  (log (+ (/ 1.0 3.0) x))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ (/ 1.0 3.0) x)) (cbrt (+ (/ 1.0 3.0) x)))
  (cbrt (+ (/ 1.0 3.0) x))
  (* (* (+ (/ 1.0 3.0) x) (+ (/ 1.0 3.0) x)) (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (fma (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)) (* (* x x) x))
  (fma (/ 1.0 3.0) (- (/ 1.0 3.0) x) (* x x))
  (* (+ (/ 1.0 3.0) x) (- x (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ (/ 1.0 3.0) x)
  (expm1 (+ (/ 1.0 3.0) x))
  (log1p (+ (/ 1.0 3.0) x))
  (exp (+ x (/ 1.0 3.0)))
  (log (+ (/ 1.0 3.0) x))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ (/ 1.0 3.0) x)) (cbrt (+ (/ 1.0 3.0) x)))
  (cbrt (+ (/ 1.0 3.0) x))
  (* (* (+ (/ 1.0 3.0) x) (+ (/ 1.0 3.0) x)) (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (fma (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)) (* (* x x) x))
  (fma (/ 1.0 3.0) (- (/ 1.0 3.0) x) (* x x))
  (* (+ (/ 1.0 3.0) x) (- x (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ (/ 1.0 3.0) x)
  (expm1 (sqrt (+ (/ 1.0 3.0) x)))
  (log1p (sqrt (+ (/ 1.0 3.0) x)))
  (log (sqrt (+ (/ 1.0 3.0) x)))
  (exp (sqrt (+ (/ 1.0 3.0) x)))
  (* (cbrt (sqrt (+ (/ 1.0 3.0) x))) (cbrt (sqrt (+ (/ 1.0 3.0) x))))
  (cbrt (sqrt (+ (/ 1.0 3.0) x)))
  (* (+ (/ 1.0 3.0) x) (sqrt (+ (/ 1.0 3.0) x)))
  (fabs (cbrt (+ (/ 1.0 3.0) x)))
  (sqrt (cbrt (+ (/ 1.0 3.0) x)))
  (sqrt (sqrt (+ (/ 1.0 3.0) x)))
  (sqrt (sqrt (+ (/ 1.0 3.0) x)))
  1
  (sqrt (+ (/ 1.0 3.0) x))
  1
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (fma (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)) (* (* x x) x)))
  (sqrt (fma (/ 1.0 3.0) (- (/ 1.0 3.0) x) (* x x)))
  (sqrt (* (+ (/ 1.0 3.0) x) (- x (/ 1.0 3.0))))
  (sqrt (- x (/ 1.0 3.0)))
  1/2
  (sqrt (sqrt (+ (/ 1.0 3.0) x)))
  (sqrt (sqrt (+ (/ 1.0 3.0) x)))
  (+ 0.3333333333333333 x)
  (+ 0.3333333333333333 x)
  (+ 0.3333333333333333 x)
  (+ 0.3333333333333333 x)
  (+ 0.3333333333333333 x)
  (+ 0.3333333333333333 x)
  (+ 0.3333333333333333 x)
  (+ 0.3333333333333333 x)
  (+ 0.3333333333333333 x)
  (+ (sqrt 0.3333333333333333) (fma (/ -1/8 0.3333333333333333) (/ x (/ (sqrt 0.3333333333333333) x)) (/ 1/2 (/ (sqrt 0.3333333333333333) x))))
  (- (- (fma (/ 1 x) (/ +nan.0 x) +nan.0) (/ +nan.0 x)))
  (- (- (fma (/ 1 x) (/ +nan.0 x) +nan.0) (/ +nan.0 x)))
24.129 * * * [progress]: adding candidates to table
25.072 * * [progress]: iteration 3 / 4
25.072 * * * [progress]: picking best candidate
25.079 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))>
25.079 * * * [progress]: localizing error
25.123 * * * [progress]: generating rewritten candidates
25.123 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
25.247 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
25.413 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
25.414 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
25.442 * * * [progress]: generating series expansions
25.445 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
25.458 * [backup-simplify]: Simplify (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))) into (expm1 (log1p (sqrt (+ x 0.3333333333333333))))
25.458 * [approximate]: Taking taylor expansion of (expm1 (log1p (sqrt (+ x 0.3333333333333333)))) in (x) around 0
25.458 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (+ x 0.3333333333333333)))) in x
25.460 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (+ x 0.3333333333333333)))) 1)
25.460 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (+ x 0.3333333333333333)))) in x
25.460 * [taylor]: Taking taylor expansion of (log1p (sqrt (+ x 0.3333333333333333))) in x
25.460 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (+ x 0.3333333333333333))))
25.460 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (+ x 0.3333333333333333))) in x
25.460 * [taylor]: Taking taylor expansion of 1 in x
25.460 * [backup-simplify]: Simplify 1 into 1
25.460 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
25.460 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
25.461 * [taylor]: Taking taylor expansion of x in x
25.461 * [backup-simplify]: Simplify 0 into 0
25.461 * [backup-simplify]: Simplify 1 into 1
25.461 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
25.461 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
25.461 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
25.462 * [backup-simplify]: Simplify (sqrt 0.3333333333333333) into (sqrt 0.3333333333333333)
25.462 * [backup-simplify]: Simplify (+ 1 0) into 1
25.464 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0.3333333333333333))) into (/ 1/2 (sqrt 0.3333333333333333))
25.465 * [backup-simplify]: Simplify (+ 1 (sqrt 0.3333333333333333)) into (+ (sqrt 0.3333333333333333) 1)
25.467 * [backup-simplify]: Simplify (log (+ (sqrt 0.3333333333333333) 1)) into (log (+ 1 (sqrt 0.3333333333333333)))
25.469 * [backup-simplify]: Simplify (exp (log (+ 1 (sqrt 0.3333333333333333)))) into (+ (sqrt 0.3333333333333333) 1)
25.469 * [taylor]: Taking taylor expansion of 1 in x
25.469 * [backup-simplify]: Simplify 1 into 1
25.469 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (+ x 0.3333333333333333)))) in x
25.469 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (+ x 0.3333333333333333)))) 1)
25.470 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (+ x 0.3333333333333333)))) in x
25.470 * [taylor]: Taking taylor expansion of (log1p (sqrt (+ x 0.3333333333333333))) in x
25.470 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (+ x 0.3333333333333333))))
25.470 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (+ x 0.3333333333333333))) in x
25.470 * [taylor]: Taking taylor expansion of 1 in x
25.470 * [backup-simplify]: Simplify 1 into 1
25.470 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
25.470 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
25.470 * [taylor]: Taking taylor expansion of x in x
25.470 * [backup-simplify]: Simplify 0 into 0
25.470 * [backup-simplify]: Simplify 1 into 1
25.470 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
25.470 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
25.470 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
25.471 * [backup-simplify]: Simplify (sqrt 0.3333333333333333) into (sqrt 0.3333333333333333)
25.471 * [backup-simplify]: Simplify (+ 1 0) into 1
25.473 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0.3333333333333333))) into (/ 1/2 (sqrt 0.3333333333333333))
25.474 * [backup-simplify]: Simplify (+ 1 (sqrt 0.3333333333333333)) into (+ (sqrt 0.3333333333333333) 1)
25.533 * [backup-simplify]: Simplify (log (+ (sqrt 0.3333333333333333) 1)) into (log (+ 1 (sqrt 0.3333333333333333)))
25.536 * [backup-simplify]: Simplify (exp (log (+ 1 (sqrt 0.3333333333333333)))) into (+ (sqrt 0.3333333333333333) 1)
25.536 * [taylor]: Taking taylor expansion of 1 in x
25.536 * [backup-simplify]: Simplify 1 into 1
25.537 * [backup-simplify]: Simplify (- 1) into -1
25.538 * [backup-simplify]: Simplify (+ (+ (sqrt 0.3333333333333333) 1) -1) into (sqrt 0.3333333333333333)
25.539 * [backup-simplify]: Simplify (sqrt 0.3333333333333333) into (sqrt 0.3333333333333333)
25.541 * [backup-simplify]: Simplify (+ 0 (/ 1/2 (sqrt 0.3333333333333333))) into (* 1/2 (/ 1 (sqrt 0.3333333333333333)))
25.557 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 1)))) 1) into (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333)))
25.569 * [backup-simplify]: Simplify (* (exp (log (+ 1 (sqrt 0.3333333333333333)))) (+ (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 1) 1)))) into (/ 1/2 (sqrt 0.3333333333333333))
25.569 * [backup-simplify]: Simplify (- 0) into 0
25.571 * [backup-simplify]: Simplify (+ (/ 1/2 (sqrt 0.3333333333333333)) 0) into (* 1/2 (/ 1 (sqrt 0.3333333333333333)))
25.573 * [backup-simplify]: Simplify (* 1/2 (/ 1 (sqrt 0.3333333333333333))) into (/ 1/2 (sqrt 0.3333333333333333))
25.573 * [backup-simplify]: Simplify (+ 0 0) into 0
25.578 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 0.3333333333333333)) 2) (+)) (* 2 (sqrt 0.3333333333333333))) into (/ -1/8 (pow (sqrt 0.3333333333333333) 3))
25.581 * [backup-simplify]: Simplify (+ 0 (/ -1/8 (pow (sqrt 0.3333333333333333) 3))) into (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))
25.619 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 2)) (pow (+ (sqrt 0.3333333333333333) 1) 2))) (* 1 (/ (* 1 (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 1)))) 2) into (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2))))))
25.672 * [backup-simplify]: Simplify (* (exp (log (+ 1 (sqrt 0.3333333333333333)))) (+ (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 2) 2)) (* (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 1) 1)))) into (/ -1/8 (pow (sqrt 0.3333333333333333) 3))
25.672 * [backup-simplify]: Simplify (- 0) into 0
25.675 * [backup-simplify]: Simplify (+ (/ -1/8 (pow (sqrt 0.3333333333333333) 3)) 0) into (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))
25.693 * [backup-simplify]: Simplify (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3)))) into (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))
25.702 * [backup-simplify]: Simplify (+ (* (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3)))) (pow x 2)) (+ (* (/ 1/2 (sqrt 0.3333333333333333)) x) (sqrt 0.3333333333333333))) into (- (+ (* 1/2 (/ x (sqrt 0.3333333333333333))) (sqrt 0.3333333333333333)) (* 1/8 (/ (pow x 2) (pow (sqrt 0.3333333333333333) 3))))
25.703 * [backup-simplify]: Simplify (expm1 (log1p (sqrt (+ (/ 1 x) (/ 1.0 3.0))))) into (expm1 (log1p (sqrt (+ 0.3333333333333333 (/ 1 x)))))
25.703 * [approximate]: Taking taylor expansion of (expm1 (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))) in (x) around 0
25.703 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))) in x
25.703 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))) 1)
25.704 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))) in x
25.704 * [taylor]: Taking taylor expansion of (log1p (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
25.704 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (+ 0.3333333333333333 (/ 1 x)))))
25.704 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
25.704 * [taylor]: Taking taylor expansion of 1 in x
25.704 * [backup-simplify]: Simplify 1 into 1
25.704 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in x
25.704 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
25.704 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
25.704 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
25.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x
25.704 * [taylor]: Taking taylor expansion of x in x
25.704 * [backup-simplify]: Simplify 0 into 0
25.704 * [backup-simplify]: Simplify 1 into 1
25.705 * [backup-simplify]: Simplify (/ 1 1) into 1
25.705 * [backup-simplify]: Simplify (+ 0 1) into 1
25.705 * [backup-simplify]: Simplify (sqrt 0) into 0
25.707 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
25.707 * [backup-simplify]: Simplify (+ 0 0) into 0
25.708 * [backup-simplify]: Simplify (+ 1 +nan.0) into (- +nan.0)
25.709 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
25.711 * [backup-simplify]: Simplify (exp (log (- +nan.0))) into (- +nan.0)
25.711 * [taylor]: Taking taylor expansion of 1 in x
25.711 * [backup-simplify]: Simplify 1 into 1
25.711 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))) in x
25.711 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))) 1)
25.711 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))) in x
25.711 * [taylor]: Taking taylor expansion of (log1p (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
25.711 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (+ 0.3333333333333333 (/ 1 x)))))
25.711 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
25.711 * [taylor]: Taking taylor expansion of 1 in x
25.711 * [backup-simplify]: Simplify 1 into 1
25.711 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in x
25.711 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
25.711 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
25.711 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
25.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x
25.711 * [taylor]: Taking taylor expansion of x in x
25.711 * [backup-simplify]: Simplify 0 into 0
25.711 * [backup-simplify]: Simplify 1 into 1
25.712 * [backup-simplify]: Simplify (/ 1 1) into 1
25.712 * [backup-simplify]: Simplify (+ 0 1) into 1
25.713 * [backup-simplify]: Simplify (sqrt 0) into 0
25.714 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
25.715 * [backup-simplify]: Simplify (+ 0 0) into 0
25.715 * [backup-simplify]: Simplify (+ 1 +nan.0) into (- +nan.0)
25.716 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
25.718 * [backup-simplify]: Simplify (exp (log (- +nan.0))) into (- +nan.0)
25.718 * [taylor]: Taking taylor expansion of 1 in x
25.718 * [backup-simplify]: Simplify 1 into 1
25.718 * [backup-simplify]: Simplify (- 1) into -1
25.719 * [backup-simplify]: Simplify (+ (- +nan.0) -1) into (- +nan.0)
25.719 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
25.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
25.721 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
25.724 * [backup-simplify]: Simplify (/ (- 0.3333333333333333 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
25.725 * [backup-simplify]: Simplify (+ 0 +nan.0) into (- +nan.0)
25.734 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 1) into +nan.0
25.739 * [backup-simplify]: Simplify (* (exp (log (- +nan.0))) (+ (* (/ (pow +nan.0 1) 1)))) into +nan.0
25.740 * [backup-simplify]: Simplify (- 0) into 0
25.740 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
25.741 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
25.742 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
25.742 * [backup-simplify]: Simplify (+ 0 0) into 0
25.746 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
25.747 * [backup-simplify]: Simplify (+ 0 +nan.0) into (- +nan.0)
25.765 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- +nan.0)) 2)) (pow (- +nan.0) 2))) (* 1 (/ (* 1 (pow (* 2 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 2) into +nan.0
25.773 * [backup-simplify]: Simplify (* (exp (log (- +nan.0))) (+ (* (/ (pow +nan.0 2) 2)) (* (/ (pow +nan.0 1) 1)))) into +nan.0
25.773 * [backup-simplify]: Simplify (- 0) into 0
25.774 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
25.774 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
25.776 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 x) 2)) (+ (* (- +nan.0) (/ 1 x)) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
25.776 * [backup-simplify]: Simplify (expm1 (log1p (sqrt (+ (/ 1 (- x)) (/ 1.0 3.0))))) into (expm1 (log1p (sqrt (- 0.3333333333333333 (/ 1 x)))))
25.776 * [approximate]: Taking taylor expansion of (expm1 (log1p (sqrt (- 0.3333333333333333 (/ 1 x))))) in (x) around 0
25.777 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (- 0.3333333333333333 (/ 1 x))))) in x
25.777 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (- 0.3333333333333333 (/ 1 x))))) 1)
25.777 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (- 0.3333333333333333 (/ 1 x))))) in x
25.777 * [taylor]: Taking taylor expansion of (log1p (sqrt (- 0.3333333333333333 (/ 1 x)))) in x
25.777 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (- 0.3333333333333333 (/ 1 x)))))
25.777 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (- 0.3333333333333333 (/ 1 x)))) in x
25.777 * [taylor]: Taking taylor expansion of 1 in x
25.777 * [backup-simplify]: Simplify 1 into 1
25.777 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
25.777 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
25.777 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
25.777 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
25.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x
25.777 * [taylor]: Taking taylor expansion of x in x
25.777 * [backup-simplify]: Simplify 0 into 0
25.777 * [backup-simplify]: Simplify 1 into 1
25.778 * [backup-simplify]: Simplify (/ 1 1) into 1
25.778 * [backup-simplify]: Simplify (- 1) into -1
25.778 * [backup-simplify]: Simplify (+ 0 -1) into -1
25.779 * [backup-simplify]: Simplify (sqrt 0) into 0
25.780 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
25.781 * [backup-simplify]: Simplify (+ 0 0) into 0
25.781 * [backup-simplify]: Simplify (+ 1 +nan.0) into (- +nan.0)
25.782 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
25.783 * [backup-simplify]: Simplify (exp (log (- +nan.0))) into (- +nan.0)
25.783 * [taylor]: Taking taylor expansion of 1 in x
25.783 * [backup-simplify]: Simplify 1 into 1
25.783 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (- 0.3333333333333333 (/ 1 x))))) in x
25.783 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (- 0.3333333333333333 (/ 1 x))))) 1)
25.784 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (- 0.3333333333333333 (/ 1 x))))) in x
25.784 * [taylor]: Taking taylor expansion of (log1p (sqrt (- 0.3333333333333333 (/ 1 x)))) in x
25.784 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (- 0.3333333333333333 (/ 1 x)))))
25.784 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (- 0.3333333333333333 (/ 1 x)))) in x
25.784 * [taylor]: Taking taylor expansion of 1 in x
25.784 * [backup-simplify]: Simplify 1 into 1
25.784 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
25.784 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
25.784 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
25.784 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
25.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x
25.784 * [taylor]: Taking taylor expansion of x in x
25.784 * [backup-simplify]: Simplify 0 into 0
25.784 * [backup-simplify]: Simplify 1 into 1
25.785 * [backup-simplify]: Simplify (/ 1 1) into 1
25.785 * [backup-simplify]: Simplify (- 1) into -1
25.785 * [backup-simplify]: Simplify (+ 0 -1) into -1
25.786 * [backup-simplify]: Simplify (sqrt 0) into 0
25.787 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
25.787 * [backup-simplify]: Simplify (+ 0 0) into 0
25.788 * [backup-simplify]: Simplify (+ 1 +nan.0) into (- +nan.0)
25.789 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
25.790 * [backup-simplify]: Simplify (exp (log (- +nan.0))) into (- +nan.0)
25.790 * [taylor]: Taking taylor expansion of 1 in x
25.790 * [backup-simplify]: Simplify 1 into 1
25.791 * [backup-simplify]: Simplify (- 1) into -1
25.791 * [backup-simplify]: Simplify (+ (- +nan.0) -1) into (- +nan.0)
25.792 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
25.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
25.793 * [backup-simplify]: Simplify (- 0) into 0
25.794 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
25.797 * [backup-simplify]: Simplify (/ (- 0.3333333333333333 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
25.797 * [backup-simplify]: Simplify (+ 0 +nan.0) into (- +nan.0)
25.805 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 1) into +nan.0
25.810 * [backup-simplify]: Simplify (* (exp (log (- +nan.0))) (+ (* (/ (pow +nan.0 1) 1)))) into +nan.0
25.811 * [backup-simplify]: Simplify (- 0) into 0
25.811 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
25.812 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
25.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
25.813 * [backup-simplify]: Simplify (- 0) into 0
25.813 * [backup-simplify]: Simplify (+ 0 0) into 0
25.818 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
25.818 * [backup-simplify]: Simplify (+ 0 +nan.0) into (- +nan.0)
25.837 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- +nan.0)) 2)) (pow (- +nan.0) 2))) (* 1 (/ (* 1 (pow (* 2 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 2) into +nan.0
25.845 * [backup-simplify]: Simplify (* (exp (log (- +nan.0))) (+ (* (/ (pow +nan.0 2) 2)) (* (/ (pow +nan.0 1) 1)))) into +nan.0
25.845 * [backup-simplify]: Simplify (- 0) into 0
25.846 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
25.846 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
25.848 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
25.848 * * * * [progress]: [ 2 / 4 ] generating series at (2)
25.849 * [backup-simplify]: Simplify (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))) into (* (expm1 (log1p (sqrt (+ x 0.3333333333333333)))) (sqrt (+ x 0.3333333333333333)))
25.849 * [approximate]: Taking taylor expansion of (* (expm1 (log1p (sqrt (+ x 0.3333333333333333)))) (sqrt (+ x 0.3333333333333333))) in (x) around 0
25.849 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (sqrt (+ x 0.3333333333333333)))) (sqrt (+ x 0.3333333333333333))) in x
25.849 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (+ x 0.3333333333333333)))) in x
25.849 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (+ x 0.3333333333333333)))) 1)
25.849 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (+ x 0.3333333333333333)))) in x
25.849 * [taylor]: Taking taylor expansion of (log1p (sqrt (+ x 0.3333333333333333))) in x
25.849 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (+ x 0.3333333333333333))))
25.850 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (+ x 0.3333333333333333))) in x
25.850 * [taylor]: Taking taylor expansion of 1 in x
25.850 * [backup-simplify]: Simplify 1 into 1
25.850 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
25.850 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
25.850 * [taylor]: Taking taylor expansion of x in x
25.850 * [backup-simplify]: Simplify 0 into 0
25.850 * [backup-simplify]: Simplify 1 into 1
25.850 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
25.850 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
25.850 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
25.851 * [backup-simplify]: Simplify (sqrt 0.3333333333333333) into (sqrt 0.3333333333333333)
25.855 * [backup-simplify]: Simplify (+ 1 0) into 1
25.857 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0.3333333333333333))) into (/ 1/2 (sqrt 0.3333333333333333))
25.858 * [backup-simplify]: Simplify (+ 1 (sqrt 0.3333333333333333)) into (+ (sqrt 0.3333333333333333) 1)
25.859 * [backup-simplify]: Simplify (log (+ (sqrt 0.3333333333333333) 1)) into (log (+ 1 (sqrt 0.3333333333333333)))
25.862 * [backup-simplify]: Simplify (exp (log (+ 1 (sqrt 0.3333333333333333)))) into (+ (sqrt 0.3333333333333333) 1)
25.862 * [taylor]: Taking taylor expansion of 1 in x
25.862 * [backup-simplify]: Simplify 1 into 1
25.862 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
25.862 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
25.862 * [taylor]: Taking taylor expansion of x in x
25.862 * [backup-simplify]: Simplify 0 into 0
25.862 * [backup-simplify]: Simplify 1 into 1
25.862 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
25.862 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
25.863 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
25.863 * [backup-simplify]: Simplify (sqrt 0.3333333333333333) into (sqrt 0.3333333333333333)
25.863 * [backup-simplify]: Simplify (+ 1 0) into 1
25.865 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0.3333333333333333))) into (/ 1/2 (sqrt 0.3333333333333333))
25.865 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (sqrt (+ x 0.3333333333333333)))) (sqrt (+ x 0.3333333333333333))) in x
25.865 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (+ x 0.3333333333333333)))) in x
25.865 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (+ x 0.3333333333333333)))) 1)
25.865 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (+ x 0.3333333333333333)))) in x
25.865 * [taylor]: Taking taylor expansion of (log1p (sqrt (+ x 0.3333333333333333))) in x
25.866 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (+ x 0.3333333333333333))))
25.866 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (+ x 0.3333333333333333))) in x
25.866 * [taylor]: Taking taylor expansion of 1 in x
25.866 * [backup-simplify]: Simplify 1 into 1
25.866 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
25.866 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
25.866 * [taylor]: Taking taylor expansion of x in x
25.866 * [backup-simplify]: Simplify 0 into 0
25.866 * [backup-simplify]: Simplify 1 into 1
25.866 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
25.866 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
25.866 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
25.867 * [backup-simplify]: Simplify (sqrt 0.3333333333333333) into (sqrt 0.3333333333333333)
25.867 * [backup-simplify]: Simplify (+ 1 0) into 1
25.869 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0.3333333333333333))) into (/ 1/2 (sqrt 0.3333333333333333))
25.870 * [backup-simplify]: Simplify (+ 1 (sqrt 0.3333333333333333)) into (+ (sqrt 0.3333333333333333) 1)
25.871 * [backup-simplify]: Simplify (log (+ (sqrt 0.3333333333333333) 1)) into (log (+ 1 (sqrt 0.3333333333333333)))
25.874 * [backup-simplify]: Simplify (exp (log (+ 1 (sqrt 0.3333333333333333)))) into (+ (sqrt 0.3333333333333333) 1)
25.874 * [taylor]: Taking taylor expansion of 1 in x
25.874 * [backup-simplify]: Simplify 1 into 1
25.874 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
25.874 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
25.874 * [taylor]: Taking taylor expansion of x in x
25.874 * [backup-simplify]: Simplify 0 into 0
25.874 * [backup-simplify]: Simplify 1 into 1
25.874 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
25.874 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
25.875 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
25.875 * [backup-simplify]: Simplify (sqrt 0.3333333333333333) into (sqrt 0.3333333333333333)
25.876 * [backup-simplify]: Simplify (+ 1 0) into 1
25.877 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0.3333333333333333))) into (/ 1/2 (sqrt 0.3333333333333333))
25.878 * [backup-simplify]: Simplify (- 1) into -1
25.879 * [backup-simplify]: Simplify (+ (+ (sqrt 0.3333333333333333) 1) -1) into (sqrt 0.3333333333333333)
25.881 * [backup-simplify]: Simplify (* (sqrt 0.3333333333333333) (sqrt 0.3333333333333333)) into (pow (sqrt 0.3333333333333333) 2)
25.882 * [backup-simplify]: Simplify (pow (sqrt 0.3333333333333333) 2) into (pow (sqrt 0.3333333333333333) 2)
25.883 * [backup-simplify]: Simplify (+ 0 (/ 1/2 (sqrt 0.3333333333333333))) into (* 1/2 (/ 1 (sqrt 0.3333333333333333)))
25.933 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 1)))) 1) into (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333)))
25.946 * [backup-simplify]: Simplify (* (exp (log (+ 1 (sqrt 0.3333333333333333)))) (+ (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 1) 1)))) into (/ 1/2 (sqrt 0.3333333333333333))
25.946 * [backup-simplify]: Simplify (- 0) into 0
25.948 * [backup-simplify]: Simplify (+ (/ 1/2 (sqrt 0.3333333333333333)) 0) into (* 1/2 (/ 1 (sqrt 0.3333333333333333)))
25.954 * [backup-simplify]: Simplify (+ (* (sqrt 0.3333333333333333) (/ 1/2 (sqrt 0.3333333333333333))) (* (* 1/2 (/ 1 (sqrt 0.3333333333333333))) (sqrt 0.3333333333333333))) into 1
25.954 * [backup-simplify]: Simplify 1 into 1
25.956 * [backup-simplify]: Simplify (+ 0 0) into 0
25.963 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 0.3333333333333333)) 2) (+)) (* 2 (sqrt 0.3333333333333333))) into (/ -1/8 (pow (sqrt 0.3333333333333333) 3))
25.963 * [backup-simplify]: Simplify (+ 0 0) into 0
25.970 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 0.3333333333333333)) 2) (+)) (* 2 (sqrt 0.3333333333333333))) into (/ -1/8 (pow (sqrt 0.3333333333333333) 3))
25.973 * [backup-simplify]: Simplify (+ 0 (/ -1/8 (pow (sqrt 0.3333333333333333) 3))) into (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))
26.010 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 2)) (pow (+ (sqrt 0.3333333333333333) 1) 2))) (* 1 (/ (* 1 (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 1)))) 2) into (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2))))))
26.068 * [backup-simplify]: Simplify (* (exp (log (+ 1 (sqrt 0.3333333333333333)))) (+ (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 2) 2)) (* (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 1) 1)))) into (/ -1/8 (pow (sqrt 0.3333333333333333) 3))
26.069 * [backup-simplify]: Simplify (- 0) into 0
26.072 * [backup-simplify]: Simplify (+ (/ -1/8 (pow (sqrt 0.3333333333333333) 3)) 0) into (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))
26.087 * [backup-simplify]: Simplify (+ (* (sqrt 0.3333333333333333) (/ -1/8 (pow (sqrt 0.3333333333333333) 3))) (+ (* (* 1/2 (/ 1 (sqrt 0.3333333333333333))) (/ 1/2 (sqrt 0.3333333333333333))) (* (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3)))) (sqrt 0.3333333333333333)))) into 0
26.087 * [backup-simplify]: Simplify 0 into 0
26.088 * [backup-simplify]: Simplify (+ 0 0) into 0
26.100 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ 1/2 (sqrt 0.3333333333333333)) (/ -1/8 (pow (sqrt 0.3333333333333333) 3)))))) (* 2 (sqrt 0.3333333333333333))) into (/ 1/16 (pow (sqrt 0.3333333333333333) 5))
26.100 * [backup-simplify]: Simplify (+ 0 0) into 0
26.112 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ 1/2 (sqrt 0.3333333333333333)) (/ -1/8 (pow (sqrt 0.3333333333333333) 3)))))) (* 2 (sqrt 0.3333333333333333))) into (/ 1/16 (pow (sqrt 0.3333333333333333) 5))
26.115 * [backup-simplify]: Simplify (+ 0 (/ 1/16 (pow (sqrt 0.3333333333333333) 5))) into (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5)))
26.183 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 3)) (pow (+ (sqrt 0.3333333333333333) 1) 3))) (* -3 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 1) (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5)))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 1)))) 6) into (* 1/6 (+ (* 3/8 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 3)))) (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 4)))))))
26.303 * [backup-simplify]: Simplify (* (exp (log (+ 1 (sqrt 0.3333333333333333)))) (+ (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 3) 6)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 1) 1) (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 1) 1)) (* (/ (pow (* 1/6 (+ (* 3/8 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 3)))) (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 4))))))) 1) 1)))) into (/ 1/16 (pow (sqrt 0.3333333333333333) 5))
26.303 * [backup-simplify]: Simplify (- 0) into 0
26.306 * [backup-simplify]: Simplify (+ (/ 1/16 (pow (sqrt 0.3333333333333333) 5)) 0) into (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5)))
26.332 * [backup-simplify]: Simplify (+ (* (sqrt 0.3333333333333333) (/ 1/16 (pow (sqrt 0.3333333333333333) 5))) (+ (* (* 1/2 (/ 1 (sqrt 0.3333333333333333))) (/ -1/8 (pow (sqrt 0.3333333333333333) 3))) (+ (* (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3)))) (/ 1/2 (sqrt 0.3333333333333333))) (* (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5))) (sqrt 0.3333333333333333))))) into 0
26.332 * [backup-simplify]: Simplify 0 into 0
26.333 * [backup-simplify]: Simplify (+ 0 0) into 0
26.350 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/8 (pow (sqrt 0.3333333333333333) 3)) 2) (+ (* 2 (* (/ 1/2 (sqrt 0.3333333333333333)) (/ 1/16 (pow (sqrt 0.3333333333333333) 5)))))) (* 2 (sqrt 0.3333333333333333))) into (/ -5/128 (pow (sqrt 0.3333333333333333) 7))
26.351 * [backup-simplify]: Simplify (+ 0 0) into 0
26.365 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/8 (pow (sqrt 0.3333333333333333) 3)) 2) (+ (* 2 (* (/ 1/2 (sqrt 0.3333333333333333)) (/ 1/16 (pow (sqrt 0.3333333333333333) 5)))))) (* 2 (sqrt 0.3333333333333333))) into (/ -5/128 (pow (sqrt 0.3333333333333333) 7))
26.368 * [backup-simplify]: Simplify (+ 0 (/ -5/128 (pow (sqrt 0.3333333333333333) 7))) into (- (* 5/128 (/ 1 (pow (sqrt 0.3333333333333333) 7))))
26.485 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 4)) (pow (+ (sqrt 0.3333333333333333) 1) 4))) (* 12 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 2) (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 3))) (* -3 (/ (* 1 (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 2)) (pow (+ (sqrt 0.3333333333333333) 1) 2))) (* -4 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 1) 1 (pow (* 6 (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5)))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (- (* 5/128 (/ 1 (pow (sqrt 0.3333333333333333) 7))))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 1)))) 24) into (* -1/24 (+ (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 4)))) (+ (* 3/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 15/16 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 7)))) (* 15/16 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 6))))))))
26.824 * [backup-simplify]: Simplify (* (exp (log (+ 1 (sqrt 0.3333333333333333)))) (+ (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 4) 24)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 2) 2) (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 1) 1)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 1) 1) (/ (pow (* 1/6 (+ (* 3/8 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 3)))) (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 4))))))) 1) 1)) (* (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 2) 2)) (* (/ (pow (* -1/24 (+ (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 4)))) (+ (* 3/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 15/16 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 7)))) (* 15/16 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 6)))))))) 1) 1)))) into (/ -5/128 (pow (sqrt 0.3333333333333333) 7))
26.827 * [backup-simplify]: Simplify (- 0) into 0
26.830 * [backup-simplify]: Simplify (+ (/ -5/128 (pow (sqrt 0.3333333333333333) 7)) 0) into (- (* 5/128 (/ 1 (pow (sqrt 0.3333333333333333) 7))))
26.881 * [backup-simplify]: Simplify (+ (* (sqrt 0.3333333333333333) (/ -5/128 (pow (sqrt 0.3333333333333333) 7))) (+ (* (* 1/2 (/ 1 (sqrt 0.3333333333333333))) (/ 1/16 (pow (sqrt 0.3333333333333333) 5))) (+ (* (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3)))) (/ -1/8 (pow (sqrt 0.3333333333333333) 3))) (+ (* (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5))) (/ 1/2 (sqrt 0.3333333333333333))) (* (- (* 5/128 (/ 1 (pow (sqrt 0.3333333333333333) 7)))) (sqrt 0.3333333333333333)))))) into 0
26.882 * [backup-simplify]: Simplify 0 into 0
26.882 * [backup-simplify]: Simplify (+ 0 0) into 0
26.907 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ 1/2 (sqrt 0.3333333333333333)) (/ -5/128 (pow (sqrt 0.3333333333333333) 7)))) (* 2 (* (/ -1/8 (pow (sqrt 0.3333333333333333) 3)) (/ 1/16 (pow (sqrt 0.3333333333333333) 5)))))) (* 2 (sqrt 0.3333333333333333))) into (/ 7/256 (pow (sqrt 0.3333333333333333) 9))
26.908 * [backup-simplify]: Simplify (+ 0 0) into 0
26.933 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ 1/2 (sqrt 0.3333333333333333)) (/ -5/128 (pow (sqrt 0.3333333333333333) 7)))) (* 2 (* (/ -1/8 (pow (sqrt 0.3333333333333333) 3)) (/ 1/16 (pow (sqrt 0.3333333333333333) 5)))))) (* 2 (sqrt 0.3333333333333333))) into (/ 7/256 (pow (sqrt 0.3333333333333333) 9))
26.936 * [backup-simplify]: Simplify (+ 0 (/ 7/256 (pow (sqrt 0.3333333333333333) 9))) into (* 7/256 (/ 1 (pow (sqrt 0.3333333333333333) 9)))
27.152 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 5)) (pow (+ (sqrt 0.3333333333333333) 1) 5))) (* -60 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 3) (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 4))) (* 30 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 1) (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 2)) (pow (+ (sqrt 0.3333333333333333) 1) 3))) (* 20 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 2) 1 (pow (* 6 (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5)))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 3))) (* -10 (/ (* 1 (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 1) (pow (* 6 (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5)))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 2))) (* -5 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 1) 1 1 (pow (* 24 (- (* 5/128 (/ 1 (pow (sqrt 0.3333333333333333) 7))))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 (* 7/256 (/ 1 (pow (sqrt 0.3333333333333333) 9)))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 1)))) 120) into (* 1/120 (+ (* 105/32 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 8)))) (+ (* 105/32 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 9)))) (+ (* 15/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 6)))) (+ (* 3/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 5) (pow (sqrt 0.3333333333333333) 5)))) (* 45/16 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 7)))))))))
27.762 * [backup-simplify]: Simplify (* (exp (log (+ 1 (sqrt 0.3333333333333333)))) (+ (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 5) 120)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 3) 6) (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 1) 1)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 2) 2) (/ (pow (* 1/6 (+ (* 3/8 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 3)))) (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 4))))))) 1) 1)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 1) 1) (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 2) 2)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 1) 1) (/ (pow (* -1/24 (+ (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 4)))) (+ (* 3/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 15/16 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 7)))) (* 15/16 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 6)))))))) 1) 1)) (* (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 1) 1) (/ (pow (* 1/6 (+ (* 3/8 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 3)))) (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 4))))))) 1) 1)) (* (/ (pow (* 1/120 (+ (* 105/32 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 8)))) (+ (* 105/32 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 9)))) (+ (* 15/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 6)))) (+ (* 3/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 5) (pow (sqrt 0.3333333333333333) 5)))) (* 45/16 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 7))))))))) 1) 1)))) into (/ 7/256 (pow (sqrt 0.3333333333333333) 9))
27.763 * [backup-simplify]: Simplify (- 0) into 0
27.765 * [backup-simplify]: Simplify (+ (/ 7/256 (pow (sqrt 0.3333333333333333) 9)) 0) into (* 7/256 (/ 1 (pow (sqrt 0.3333333333333333) 9)))
27.847 * [backup-simplify]: Simplify (+ (* (sqrt 0.3333333333333333) (/ 7/256 (pow (sqrt 0.3333333333333333) 9))) (+ (* (* 1/2 (/ 1 (sqrt 0.3333333333333333))) (/ -5/128 (pow (sqrt 0.3333333333333333) 7))) (+ (* (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3)))) (/ 1/16 (pow (sqrt 0.3333333333333333) 5))) (+ (* (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5))) (/ -1/8 (pow (sqrt 0.3333333333333333) 3))) (+ (* (- (* 5/128 (/ 1 (pow (sqrt 0.3333333333333333) 7)))) (/ 1/2 (sqrt 0.3333333333333333))) (* (* 7/256 (/ 1 (pow (sqrt 0.3333333333333333) 9))) (sqrt 0.3333333333333333))))))) into 0
27.847 * [backup-simplify]: Simplify 0 into 0
27.847 * [backup-simplify]: Simplify (+ 0 0) into 0
27.878 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/16 (pow (sqrt 0.3333333333333333) 5)) 2) (+ (* 2 (* (/ 1/2 (sqrt 0.3333333333333333)) (/ 7/256 (pow (sqrt 0.3333333333333333) 9)))) (* 2 (* (/ -1/8 (pow (sqrt 0.3333333333333333) 3)) (/ -5/128 (pow (sqrt 0.3333333333333333) 7)))))) (* 2 (sqrt 0.3333333333333333))) into (/ -21/1024 (pow (sqrt 0.3333333333333333) 11))
27.879 * [backup-simplify]: Simplify (+ 0 0) into 0
27.909 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/16 (pow (sqrt 0.3333333333333333) 5)) 2) (+ (* 2 (* (/ 1/2 (sqrt 0.3333333333333333)) (/ 7/256 (pow (sqrt 0.3333333333333333) 9)))) (* 2 (* (/ -1/8 (pow (sqrt 0.3333333333333333) 3)) (/ -5/128 (pow (sqrt 0.3333333333333333) 7)))))) (* 2 (sqrt 0.3333333333333333))) into (/ -21/1024 (pow (sqrt 0.3333333333333333) 11))
27.912 * [backup-simplify]: Simplify (+ 0 (/ -21/1024 (pow (sqrt 0.3333333333333333) 11))) into (- (* 21/1024 (/ 1 (pow (sqrt 0.3333333333333333) 11))))
28.303 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 6)) (pow (+ (sqrt 0.3333333333333333) 1) 6))) (* 360 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 4) (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 5))) (* -270 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 2) (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 2)) (pow (+ (sqrt 0.3333333333333333) 1) 4))) (* -120 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 3) 1 (pow (* 6 (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5)))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 4))) (* 30 (/ (* 1 (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 3)) (pow (+ (sqrt 0.3333333333333333) 1) 3))) (* 120 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 1) (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 1) (pow (* 6 (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5)))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 3))) (* 30 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 2) 1 1 (pow (* 24 (- (* 5/128 (/ 1 (pow (sqrt 0.3333333333333333) 7))))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5)))) 2)) (pow (+ (sqrt 0.3333333333333333) 1) 2))) (* -15 (/ (* 1 (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 1) 1 (pow (* 24 (- (* 5/128 (/ 1 (pow (sqrt 0.3333333333333333) 7))))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 2))) (* -6 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 1) 1 1 1 (pow (* 120 (* 7/256 (/ 1 (pow (sqrt 0.3333333333333333) 9)))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 (- (* 21/1024 (/ 1 (pow (sqrt 0.3333333333333333) 11))))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 1)))) 720) into (* -1/720 (+ (* 105/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 9)))) (+ (* 15/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 6) (pow (sqrt 0.3333333333333333) 6)))) (+ (* 45/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 5) (pow (sqrt 0.3333333333333333) 7)))) (+ (* 945/64 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 11)))) (+ (* 315/32 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 8)))) (* 945/64 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 10))))))))))
29.812 * [backup-simplify]: Simplify (* (exp (log (+ 1 (sqrt 0.3333333333333333)))) (+ (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 6) 720)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 4) 24) (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 1) 1)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 3) 6) (/ (pow (* 1/6 (+ (* 3/8 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 3)))) (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 4))))))) 1) 1)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 2) 2) (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 2) 2)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 2) 2) (/ (pow (* -1/24 (+ (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 4)))) (+ (* 3/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 15/16 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 7)))) (* 15/16 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 6)))))))) 1) 1)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 1) 1) (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 1) 1) (/ (pow (* 1/6 (+ (* 3/8 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 3)))) (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 4))))))) 1) 1)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 1) 1) (/ (pow (* 1/120 (+ (* 105/32 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 8)))) (+ (* 105/32 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 9)))) (+ (* 15/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 6)))) (+ (* 3/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 5) (pow (sqrt 0.3333333333333333) 5)))) (* 45/16 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 7))))))))) 1) 1)) (* (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 3) 6)) (* (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 1) 1) (/ (pow (* -1/24 (+ (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 4)))) (+ (* 3/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 15/16 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 7)))) (* 15/16 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 6)))))))) 1) 1)) (* (/ (pow (* 1/6 (+ (* 3/8 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 3)))) (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 4))))))) 2) 2)) (* (/ (pow (* -1/720 (+ (* 105/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 9)))) (+ (* 15/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 6) (pow (sqrt 0.3333333333333333) 6)))) (+ (* 45/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 5) (pow (sqrt 0.3333333333333333) 7)))) (+ (* 945/64 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 11)))) (+ (* 315/32 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 8)))) (* 945/64 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 10)))))))))) 1) 1)))) into (/ -21/1024 (pow (sqrt 0.3333333333333333) 11))
29.813 * [backup-simplify]: Simplify (- 0) into 0
29.815 * [backup-simplify]: Simplify (+ (/ -21/1024 (pow (sqrt 0.3333333333333333) 11)) 0) into (- (* 21/1024 (/ 1 (pow (sqrt 0.3333333333333333) 11))))
29.924 * [backup-simplify]: Simplify (+ (* (sqrt 0.3333333333333333) (/ -21/1024 (pow (sqrt 0.3333333333333333) 11))) (+ (* (* 1/2 (/ 1 (sqrt 0.3333333333333333))) (/ 7/256 (pow (sqrt 0.3333333333333333) 9))) (+ (* (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3)))) (/ -5/128 (pow (sqrt 0.3333333333333333) 7))) (+ (* (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5))) (/ 1/16 (pow (sqrt 0.3333333333333333) 5))) (+ (* (- (* 5/128 (/ 1 (pow (sqrt 0.3333333333333333) 7)))) (/ -1/8 (pow (sqrt 0.3333333333333333) 3))) (+ (* (* 7/256 (/ 1 (pow (sqrt 0.3333333333333333) 9))) (/ 1/2 (sqrt 0.3333333333333333))) (* (- (* 21/1024 (/ 1 (pow (sqrt 0.3333333333333333) 11)))) (sqrt 0.3333333333333333)))))))) into 0
29.924 * [backup-simplify]: Simplify 0 into 0
29.925 * [backup-simplify]: Simplify (+ 0 0) into 0
29.965 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ 1/2 (sqrt 0.3333333333333333)) (/ -21/1024 (pow (sqrt 0.3333333333333333) 11)))) (* 2 (* (/ -1/8 (pow (sqrt 0.3333333333333333) 3)) (/ 7/256 (pow (sqrt 0.3333333333333333) 9)))) (* 2 (* (/ 1/16 (pow (sqrt 0.3333333333333333) 5)) (/ -5/128 (pow (sqrt 0.3333333333333333) 7)))))) (* 2 (sqrt 0.3333333333333333))) into (/ 33/2048 (pow (sqrt 0.3333333333333333) 13))
29.965 * [backup-simplify]: Simplify (+ 0 0) into 0
30.009 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ 1/2 (sqrt 0.3333333333333333)) (/ -21/1024 (pow (sqrt 0.3333333333333333) 11)))) (* 2 (* (/ -1/8 (pow (sqrt 0.3333333333333333) 3)) (/ 7/256 (pow (sqrt 0.3333333333333333) 9)))) (* 2 (* (/ 1/16 (pow (sqrt 0.3333333333333333) 5)) (/ -5/128 (pow (sqrt 0.3333333333333333) 7)))))) (* 2 (sqrt 0.3333333333333333))) into (/ 33/2048 (pow (sqrt 0.3333333333333333) 13))
30.012 * [backup-simplify]: Simplify (+ 0 (/ 33/2048 (pow (sqrt 0.3333333333333333) 13))) into (* 33/2048 (/ 1 (pow (sqrt 0.3333333333333333) 13)))
30.704 * [backup-simplify]: Simplify (/ (+ (* 720 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 7)) (pow (+ (sqrt 0.3333333333333333) 1) 7))) (* -2520 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 5) (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 6))) (* 2520 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 3) (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 2)) (pow (+ (sqrt 0.3333333333333333) 1) 5))) (* 840 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 4) 1 (pow (* 6 (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5)))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 5))) (* -630 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 1) (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 3)) (pow (+ (sqrt 0.3333333333333333) 1) 4))) (* -1260 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 2) (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 1) (pow (* 6 (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5)))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 4))) (* -210 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 3) 1 1 (pow (* 24 (- (* 5/128 (/ 1 (pow (sqrt 0.3333333333333333) 7))))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 4))) (* 210 (/ (* 1 (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 2) (pow (* 6 (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5)))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 3))) (* 140 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 1) 1 (pow (* 6 (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5)))) 2)) (pow (+ (sqrt 0.3333333333333333) 1) 3))) (* 210 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 1) (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 1) 1 (pow (* 24 (- (* 5/128 (/ 1 (pow (sqrt 0.3333333333333333) 7))))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 3))) (* 42 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 2) 1 1 1 (pow (* 120 (* 7/256 (/ 1 (pow (sqrt 0.3333333333333333) 9)))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 3))) (* -35 (/ (* 1 1 (pow (* 6 (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5)))) 1) (pow (* 24 (- (* 5/128 (/ 1 (pow (sqrt 0.3333333333333333) 7))))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 2))) (* -21 (/ (* 1 (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 1) 1 1 (pow (* 120 (* 7/256 (/ 1 (pow (sqrt 0.3333333333333333) 9)))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 2))) (* -7 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 1) 1 1 1 1 (pow (* 720 (- (* 21/1024 (/ 1 (pow (sqrt 0.3333333333333333) 11))))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 2))) (* 1 (/ (* 1 1 1 1 1 1 (pow (* 5040 (* 33/2048 (/ 1 (pow (sqrt 0.3333333333333333) 13)))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 1)))) 5040) into (* 1/5040 (+ (* 10395/128 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 12)))) (+ (* 315/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 5) (pow (sqrt 0.3333333333333333) 9)))) (+ (* 10395/128 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 13)))) (+ (* 315/16 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 6) (pow (sqrt 0.3333333333333333) 8)))) (+ (* 4725/64 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 11)))) (+ (* 945/16 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 10)))) (* 45/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 7) (pow (sqrt 0.3333333333333333) 7)))))))))))
32.940 * [backup-simplify]: Simplify (* (exp (log (+ 1 (sqrt 0.3333333333333333)))) (+ (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 7) 5040)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 5) 120) (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 1) 1)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 4) 24) (/ (pow (* 1/6 (+ (* 3/8 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 3)))) (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 4))))))) 1) 1)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 3) 6) (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 2) 2)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 3) 6) (/ (pow (* -1/24 (+ (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 4)))) (+ (* 3/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 15/16 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 7)))) (* 15/16 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 6)))))))) 1) 1)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 2) 2) (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 1) 1) (/ (pow (* 1/6 (+ (* 3/8 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 3)))) (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 4))))))) 1) 1)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 2) 2) (/ (pow (* 1/120 (+ (* 105/32 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 8)))) (+ (* 105/32 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 9)))) (+ (* 15/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 6)))) (+ (* 3/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 5) (pow (sqrt 0.3333333333333333) 5)))) (* 45/16 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 7))))))))) 1) 1)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 1) 1) (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 3) 6)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 1) 1) (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 1) 1) (/ (pow (* -1/24 (+ (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 4)))) (+ (* 3/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 15/16 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 7)))) (* 15/16 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 6)))))))) 1) 1)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 1) 1) (/ (pow (* 1/6 (+ (* 3/8 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 3)))) (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 4))))))) 2) 2)) (* (/ (pow (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) 1) 1) (/ (pow (* -1/720 (+ (* 105/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 9)))) (+ (* 15/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 6) (pow (sqrt 0.3333333333333333) 6)))) (+ (* 45/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 5) (pow (sqrt 0.3333333333333333) 7)))) (+ (* 945/64 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 11)))) (+ (* 315/32 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 8)))) (* 945/64 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 10)))))))))) 1) 1)) (* (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 2) 2) (/ (pow (* 1/6 (+ (* 3/8 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 3)))) (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 4))))))) 1) 1)) (* (/ (pow (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) 1) 1) (/ (pow (* 1/120 (+ (* 105/32 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 8)))) (+ (* 105/32 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 9)))) (+ (* 15/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 6)))) (+ (* 3/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 5) (pow (sqrt 0.3333333333333333) 5)))) (* 45/16 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 7))))))))) 1) 1)) (* (/ (pow (* 1/6 (+ (* 3/8 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 3)))) (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 4))))))) 1) 1) (/ (pow (* -1/24 (+ (* 3/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 4)))) (+ (* 3/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 5)))) (+ (* 15/16 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 7)))) (* 15/16 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 6)))))))) 1) 1)) (* (/ (pow (* 1/5040 (+ (* 10395/128 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 12)))) (+ (* 315/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 5) (pow (sqrt 0.3333333333333333) 9)))) (+ (* 10395/128 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 13)))) (+ (* 315/16 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 6) (pow (sqrt 0.3333333333333333) 8)))) (+ (* 4725/64 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 3) (pow (sqrt 0.3333333333333333) 11)))) (+ (* 945/16 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 4) (pow (sqrt 0.3333333333333333) 10)))) (* 45/8 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 7) (pow (sqrt 0.3333333333333333) 7))))))))))) 1) 1)))) into (/ 33/2048 (pow (sqrt 0.3333333333333333) 13))
32.943 * [backup-simplify]: Simplify (- 0) into 0
32.946 * [backup-simplify]: Simplify (+ (/ 33/2048 (pow (sqrt 0.3333333333333333) 13)) 0) into (* 33/2048 (/ 1 (pow (sqrt 0.3333333333333333) 13)))
33.195 * [backup-simplify]: Simplify (+ (* (sqrt 0.3333333333333333) (/ 33/2048 (pow (sqrt 0.3333333333333333) 13))) (+ (* (* 1/2 (/ 1 (sqrt 0.3333333333333333))) (/ -21/1024 (pow (sqrt 0.3333333333333333) 11))) (+ (* (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3)))) (/ 7/256 (pow (sqrt 0.3333333333333333) 9))) (+ (* (* 1/16 (/ 1 (pow (sqrt 0.3333333333333333) 5))) (/ -5/128 (pow (sqrt 0.3333333333333333) 7))) (+ (* (- (* 5/128 (/ 1 (pow (sqrt 0.3333333333333333) 7)))) (/ 1/16 (pow (sqrt 0.3333333333333333) 5))) (+ (* (* 7/256 (/ 1 (pow (sqrt 0.3333333333333333) 9))) (/ -1/8 (pow (sqrt 0.3333333333333333) 3))) (+ (* (- (* 21/1024 (/ 1 (pow (sqrt 0.3333333333333333) 11)))) (/ 1/2 (sqrt 0.3333333333333333))) (* (* 33/2048 (/ 1 (pow (sqrt 0.3333333333333333) 13))) (sqrt 0.3333333333333333))))))))) into 0
33.196 * [backup-simplify]: Simplify 0 into 0
33.198 * [backup-simplify]: Simplify (+ (* 1 x) (pow (sqrt 0.3333333333333333) 2)) into (+ x (pow (sqrt 0.3333333333333333) 2))
33.199 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 x) (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ (/ 1 x) (/ 1.0 3.0)))))) into (* (expm1 (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))) (sqrt (+ 0.3333333333333333 (/ 1 x))))
33.199 * [approximate]: Taking taylor expansion of (* (expm1 (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))) (sqrt (+ 0.3333333333333333 (/ 1 x)))) in (x) around 0
33.199 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))) (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
33.199 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))) in x
33.200 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))) 1)
33.200 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))) in x
33.200 * [taylor]: Taking taylor expansion of (log1p (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
33.200 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (+ 0.3333333333333333 (/ 1 x)))))
33.200 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
33.200 * [taylor]: Taking taylor expansion of 1 in x
33.200 * [backup-simplify]: Simplify 1 into 1
33.200 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in x
33.200 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
33.200 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.200 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x
33.200 * [taylor]: Taking taylor expansion of x in x
33.200 * [backup-simplify]: Simplify 0 into 0
33.200 * [backup-simplify]: Simplify 1 into 1
33.201 * [backup-simplify]: Simplify (/ 1 1) into 1
33.201 * [backup-simplify]: Simplify (+ 0 1) into 1
33.202 * [backup-simplify]: Simplify (sqrt 0) into 0
33.203 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
33.204 * [backup-simplify]: Simplify (+ 0 0) into 0
33.204 * [backup-simplify]: Simplify (+ 1 +nan.0) into (- +nan.0)
33.205 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
33.206 * [backup-simplify]: Simplify (exp (log (- +nan.0))) into (- +nan.0)
33.206 * [taylor]: Taking taylor expansion of 1 in x
33.206 * [backup-simplify]: Simplify 1 into 1
33.206 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in x
33.207 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
33.207 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.207 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x
33.207 * [taylor]: Taking taylor expansion of x in x
33.207 * [backup-simplify]: Simplify 0 into 0
33.207 * [backup-simplify]: Simplify 1 into 1
33.207 * [backup-simplify]: Simplify (/ 1 1) into 1
33.208 * [backup-simplify]: Simplify (+ 0 1) into 1
33.208 * [backup-simplify]: Simplify (sqrt 0) into 0
33.210 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
33.210 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))) (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
33.210 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))) in x
33.210 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))) 1)
33.210 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))) in x
33.210 * [taylor]: Taking taylor expansion of (log1p (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
33.210 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (+ 0.3333333333333333 (/ 1 x)))))
33.210 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
33.210 * [taylor]: Taking taylor expansion of 1 in x
33.210 * [backup-simplify]: Simplify 1 into 1
33.210 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in x
33.211 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
33.211 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.211 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x
33.211 * [taylor]: Taking taylor expansion of x in x
33.211 * [backup-simplify]: Simplify 0 into 0
33.211 * [backup-simplify]: Simplify 1 into 1
33.211 * [backup-simplify]: Simplify (/ 1 1) into 1
33.212 * [backup-simplify]: Simplify (+ 0 1) into 1
33.212 * [backup-simplify]: Simplify (sqrt 0) into 0
33.224 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
33.225 * [backup-simplify]: Simplify (+ 0 0) into 0
33.225 * [backup-simplify]: Simplify (+ 1 +nan.0) into (- +nan.0)
33.226 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
33.227 * [backup-simplify]: Simplify (exp (log (- +nan.0))) into (- +nan.0)
33.227 * [taylor]: Taking taylor expansion of 1 in x
33.227 * [backup-simplify]: Simplify 1 into 1
33.227 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in x
33.227 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
33.228 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.228 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
33.228 * [taylor]: Taking taylor expansion of x in x
33.228 * [backup-simplify]: Simplify 0 into 0
33.228 * [backup-simplify]: Simplify 1 into 1
33.228 * [backup-simplify]: Simplify (/ 1 1) into 1
33.228 * [backup-simplify]: Simplify (+ 0 1) into 1
33.229 * [backup-simplify]: Simplify (sqrt 0) into 0
33.230 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
33.231 * [backup-simplify]: Simplify (- 1) into -1
33.232 * [backup-simplify]: Simplify (+ (- +nan.0) -1) into (- +nan.0)
33.232 * [backup-simplify]: Simplify (* (- +nan.0) 0) into 0
33.232 * [backup-simplify]: Simplify 0 into 0
33.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
33.233 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
33.237 * [backup-simplify]: Simplify (/ (- 0.3333333333333333 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
33.237 * [backup-simplify]: Simplify (+ 0 +nan.0) into (- +nan.0)
33.245 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 1) into +nan.0
33.251 * [backup-simplify]: Simplify (* (exp (log (- +nan.0))) (+ (* (/ (pow +nan.0 1) 1)))) into +nan.0
33.260 * [backup-simplify]: Simplify (- 0) into 0
33.261 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
33.263 * [backup-simplify]: Simplify (+ (* (- +nan.0) +nan.0) (* (- +nan.0) 0)) into (- +nan.0)
33.263 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
33.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
33.265 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
33.268 * [backup-simplify]: Simplify (/ (- 0.3333333333333333 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
33.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.269 * [backup-simplify]: Simplify (+ 0 0) into 0
33.274 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
33.274 * [backup-simplify]: Simplify (+ 0 +nan.0) into (- +nan.0)
33.292 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- +nan.0)) 2)) (pow (- +nan.0) 2))) (* 1 (/ (* 1 (pow (* 2 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 2) into +nan.0
33.301 * [backup-simplify]: Simplify (* (exp (log (- +nan.0))) (+ (* (/ (pow +nan.0 2) 2)) (* (/ (pow +nan.0 1) 1)))) into +nan.0
33.301 * [backup-simplify]: Simplify (- 0) into 0
33.302 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
33.305 * [backup-simplify]: Simplify (+ (* (- +nan.0) +nan.0) (+ (* (- +nan.0) +nan.0) (* (- +nan.0) 0))) into (- +nan.0)
33.306 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
33.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.307 * [backup-simplify]: Simplify (+ 0 0) into 0
33.311 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
33.312 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.313 * [backup-simplify]: Simplify (+ 0 0) into 0
33.318 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
33.319 * [backup-simplify]: Simplify (+ 0 +nan.0) into (- +nan.0)
33.354 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 (- +nan.0)) 3)) (pow (- +nan.0) 3))) (* -3 (/ (* (pow (* 1 (- +nan.0)) 1) (pow (* 2 (- +nan.0)) 1)) (pow (- +nan.0) 2))) (* 1 (/ (* 1 1 (pow (* 6 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 6) into (* -1/6 (+ (* +nan.0 (/ 1 (pow +nan.0 2))) (- +nan.0)))
33.380 * [backup-simplify]: Simplify (* (exp (log (- +nan.0))) (+ (* (/ (pow +nan.0 3) 6)) (* (/ (pow +nan.0 1) 1) (/ (pow +nan.0 1) 1)) (* (/ (pow (* -1/6 (+ (* +nan.0 (/ 1 (pow +nan.0 2))) (- +nan.0))) 1) 1)))) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow +nan.0 2))) (- +nan.0)))
33.380 * [backup-simplify]: Simplify (- 0) into 0
33.386 * [backup-simplify]: Simplify (+ (* +nan.0 (+ (* +nan.0 (/ 1 (pow +nan.0 2))) (- +nan.0))) 0) into (- (+ (* +nan.0 (/ 1 (pow +nan.0 2))) (- +nan.0)))
33.395 * [backup-simplify]: Simplify (+ (* (- +nan.0) +nan.0) (+ (* (- +nan.0) +nan.0) (+ (* (- +nan.0) +nan.0) (* (- (+ (* +nan.0 (/ 1 (pow +nan.0 2))) (- +nan.0))) 0)))) into (- +nan.0)
33.396 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
33.398 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 x) 2)) (+ (* (- +nan.0) (/ 1 x)) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
33.399 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 (- x)) (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ (/ 1 (- x)) (/ 1.0 3.0)))))) into (* (sqrt (- 0.3333333333333333 (/ 1 x))) (expm1 (log1p (sqrt (- 0.3333333333333333 (/ 1 x))))))
33.399 * [approximate]: Taking taylor expansion of (* (sqrt (- 0.3333333333333333 (/ 1 x))) (expm1 (log1p (sqrt (- 0.3333333333333333 (/ 1 x)))))) in (x) around 0
33.399 * [taylor]: Taking taylor expansion of (* (sqrt (- 0.3333333333333333 (/ 1 x))) (expm1 (log1p (sqrt (- 0.3333333333333333 (/ 1 x)))))) in x
33.400 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
33.400 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
33.400 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.400 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x
33.400 * [taylor]: Taking taylor expansion of x in x
33.400 * [backup-simplify]: Simplify 0 into 0
33.400 * [backup-simplify]: Simplify 1 into 1
33.400 * [backup-simplify]: Simplify (/ 1 1) into 1
33.401 * [backup-simplify]: Simplify (- 1) into -1
33.401 * [backup-simplify]: Simplify (+ 0 -1) into -1
33.402 * [backup-simplify]: Simplify (sqrt 0) into 0
33.403 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
33.403 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (- 0.3333333333333333 (/ 1 x))))) in x
33.403 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (- 0.3333333333333333 (/ 1 x))))) 1)
33.403 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (- 0.3333333333333333 (/ 1 x))))) in x
33.403 * [taylor]: Taking taylor expansion of (log1p (sqrt (- 0.3333333333333333 (/ 1 x)))) in x
33.403 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (- 0.3333333333333333 (/ 1 x)))))
33.404 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (- 0.3333333333333333 (/ 1 x)))) in x
33.404 * [taylor]: Taking taylor expansion of 1 in x
33.404 * [backup-simplify]: Simplify 1 into 1
33.404 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
33.404 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
33.411 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.411 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.411 * [taylor]: Taking taylor expansion of (/ 1 x) in x
33.411 * [taylor]: Taking taylor expansion of x in x
33.411 * [backup-simplify]: Simplify 0 into 0
33.411 * [backup-simplify]: Simplify 1 into 1
33.412 * [backup-simplify]: Simplify (/ 1 1) into 1
33.412 * [backup-simplify]: Simplify (- 1) into -1
33.412 * [backup-simplify]: Simplify (+ 0 -1) into -1
33.413 * [backup-simplify]: Simplify (sqrt 0) into 0
33.414 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
33.414 * [backup-simplify]: Simplify (+ 0 0) into 0
33.415 * [backup-simplify]: Simplify (+ 1 +nan.0) into (- +nan.0)
33.423 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
33.426 * [backup-simplify]: Simplify (exp (log (- +nan.0))) into (- +nan.0)
33.426 * [taylor]: Taking taylor expansion of 1 in x
33.426 * [backup-simplify]: Simplify 1 into 1
33.426 * [taylor]: Taking taylor expansion of (* (sqrt (- 0.3333333333333333 (/ 1 x))) (expm1 (log1p (sqrt (- 0.3333333333333333 (/ 1 x)))))) in x
33.426 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
33.426 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
33.426 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.426 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x
33.426 * [taylor]: Taking taylor expansion of x in x
33.426 * [backup-simplify]: Simplify 0 into 0
33.426 * [backup-simplify]: Simplify 1 into 1
33.440 * [backup-simplify]: Simplify (/ 1 1) into 1
33.441 * [backup-simplify]: Simplify (- 1) into -1
33.441 * [backup-simplify]: Simplify (+ 0 -1) into -1
33.442 * [backup-simplify]: Simplify (sqrt 0) into 0
33.443 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
33.443 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt (- 0.3333333333333333 (/ 1 x))))) in x
33.444 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt (- 0.3333333333333333 (/ 1 x))))) 1)
33.444 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt (- 0.3333333333333333 (/ 1 x))))) in x
33.444 * [taylor]: Taking taylor expansion of (log1p (sqrt (- 0.3333333333333333 (/ 1 x)))) in x
33.444 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (- 0.3333333333333333 (/ 1 x)))))
33.444 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (- 0.3333333333333333 (/ 1 x)))) in x
33.444 * [taylor]: Taking taylor expansion of 1 in x
33.444 * [backup-simplify]: Simplify 1 into 1
33.444 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
33.444 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
33.444 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.444 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.444 * [taylor]: Taking taylor expansion of (/ 1 x) in x
33.444 * [taylor]: Taking taylor expansion of x in x
33.444 * [backup-simplify]: Simplify 0 into 0
33.444 * [backup-simplify]: Simplify 1 into 1
33.445 * [backup-simplify]: Simplify (/ 1 1) into 1
33.445 * [backup-simplify]: Simplify (- 1) into -1
33.445 * [backup-simplify]: Simplify (+ 0 -1) into -1
33.446 * [backup-simplify]: Simplify (sqrt 0) into 0
33.447 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
33.447 * [backup-simplify]: Simplify (+ 0 0) into 0
33.448 * [backup-simplify]: Simplify (+ 1 +nan.0) into (- +nan.0)
33.449 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
33.450 * [backup-simplify]: Simplify (exp (log (- +nan.0))) into (- +nan.0)
33.450 * [taylor]: Taking taylor expansion of 1 in x
33.450 * [backup-simplify]: Simplify 1 into 1
33.451 * [backup-simplify]: Simplify (- 1) into -1
33.452 * [backup-simplify]: Simplify (+ (- +nan.0) -1) into (- +nan.0)
33.452 * [backup-simplify]: Simplify (* 0 (- +nan.0)) into 0
33.452 * [backup-simplify]: Simplify 0 into 0
33.453 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
33.453 * [backup-simplify]: Simplify (- 0) into 0
33.454 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
33.457 * [backup-simplify]: Simplify (/ (- 0.3333333333333333 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
33.457 * [backup-simplify]: Simplify (+ 0 +nan.0) into (- +nan.0)
33.471 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 1) into +nan.0
33.476 * [backup-simplify]: Simplify (* (exp (log (- +nan.0))) (+ (* (/ (pow +nan.0 1) 1)))) into +nan.0
33.477 * [backup-simplify]: Simplify (- 0) into 0
33.477 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
33.479 * [backup-simplify]: Simplify (+ (* 0 (- +nan.0)) (* +nan.0 (- +nan.0))) into (- +nan.0)
33.479 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
33.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.481 * [backup-simplify]: Simplify (- 0) into 0
33.481 * [backup-simplify]: Simplify (+ 0 0) into 0
33.485 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
33.486 * [backup-simplify]: Simplify (+ 0 +nan.0) into (- +nan.0)
33.503 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- +nan.0)) 2)) (pow (- +nan.0) 2))) (* 1 (/ (* 1 (pow (* 2 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 2) into +nan.0
33.511 * [backup-simplify]: Simplify (* (exp (log (- +nan.0))) (+ (* (/ (pow +nan.0 2) 2)) (* (/ (pow +nan.0 1) 1)))) into +nan.0
33.511 * [backup-simplify]: Simplify (- 0) into 0
33.512 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
33.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
33.513 * [backup-simplify]: Simplify (- 0) into 0
33.513 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
33.516 * [backup-simplify]: Simplify (/ (- 0.3333333333333333 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
33.520 * [backup-simplify]: Simplify (+ (* 0 (- +nan.0)) (+ (* +nan.0 (- +nan.0)) (* +nan.0 (- +nan.0)))) into (- +nan.0)
33.520 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
33.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.522 * [backup-simplify]: Simplify (- 0) into 0
33.522 * [backup-simplify]: Simplify (+ 0 0) into 0
33.527 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
33.527 * [backup-simplify]: Simplify (+ 0 +nan.0) into (- +nan.0)
33.582 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 (- +nan.0)) 3)) (pow (- +nan.0) 3))) (* -3 (/ (* (pow (* 1 (- +nan.0)) 1) (pow (* 2 (- +nan.0)) 1)) (pow (- +nan.0) 2))) (* 1 (/ (* 1 1 (pow (* 6 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 6) into (* -1/6 (+ (* +nan.0 (/ 1 (pow +nan.0 2))) (- +nan.0)))
33.608 * [backup-simplify]: Simplify (* (exp (log (- +nan.0))) (+ (* (/ (pow +nan.0 3) 6)) (* (/ (pow +nan.0 1) 1) (/ (pow +nan.0 1) 1)) (* (/ (pow (* -1/6 (+ (* +nan.0 (/ 1 (pow +nan.0 2))) (- +nan.0))) 1) 1)))) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow +nan.0 2))) (- +nan.0)))
33.609 * [backup-simplify]: Simplify (- 0) into 0
33.614 * [backup-simplify]: Simplify (+ (* +nan.0 (+ (* +nan.0 (/ 1 (pow +nan.0 2))) (- +nan.0))) 0) into (- (+ (* +nan.0 (/ 1 (pow +nan.0 2))) (- +nan.0)))
33.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.616 * [backup-simplify]: Simplify (- 0) into 0
33.636 * [backup-simplify]: Simplify (+ 0 0) into 0
33.640 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
33.647 * [backup-simplify]: Simplify (+ (* 0 (- (+ (* +nan.0 (/ 1 (pow +nan.0 2))) (- +nan.0)))) (+ (* +nan.0 (- +nan.0)) (+ (* +nan.0 (- +nan.0)) (* +nan.0 (- +nan.0))))) into (- +nan.0)
33.647 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
33.649 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
33.649 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
33.650 * [backup-simplify]: Simplify (log1p (sqrt (+ x (/ 1.0 3.0)))) into (log1p (sqrt (+ x 0.3333333333333333)))
33.650 * [approximate]: Taking taylor expansion of (log1p (sqrt (+ x 0.3333333333333333))) in (x) around 0
33.650 * [taylor]: Taking taylor expansion of (log1p (sqrt (+ x 0.3333333333333333))) in x
33.650 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (+ x 0.3333333333333333))))
33.650 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (+ x 0.3333333333333333))) in x
33.650 * [taylor]: Taking taylor expansion of 1 in x
33.650 * [backup-simplify]: Simplify 1 into 1
33.650 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
33.650 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
33.650 * [taylor]: Taking taylor expansion of x in x
33.650 * [backup-simplify]: Simplify 0 into 0
33.650 * [backup-simplify]: Simplify 1 into 1
33.650 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.650 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.651 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
33.651 * [backup-simplify]: Simplify (sqrt 0.3333333333333333) into (sqrt 0.3333333333333333)
33.651 * [backup-simplify]: Simplify (+ 1 0) into 1
33.653 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0.3333333333333333))) into (/ 1/2 (sqrt 0.3333333333333333))
33.654 * [backup-simplify]: Simplify (+ 1 (sqrt 0.3333333333333333)) into (+ (sqrt 0.3333333333333333) 1)
33.655 * [backup-simplify]: Simplify (log (+ (sqrt 0.3333333333333333) 1)) into (log (+ 1 (sqrt 0.3333333333333333)))
33.655 * [taylor]: Taking taylor expansion of (log1p (sqrt (+ x 0.3333333333333333))) in x
33.656 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (+ x 0.3333333333333333))))
33.656 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (+ x 0.3333333333333333))) in x
33.656 * [taylor]: Taking taylor expansion of 1 in x
33.656 * [backup-simplify]: Simplify 1 into 1
33.656 * [taylor]: Taking taylor expansion of (sqrt (+ x 0.3333333333333333)) in x
33.656 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
33.656 * [taylor]: Taking taylor expansion of x in x
33.656 * [backup-simplify]: Simplify 0 into 0
33.656 * [backup-simplify]: Simplify 1 into 1
33.656 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.656 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.656 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
33.657 * [backup-simplify]: Simplify (sqrt 0.3333333333333333) into (sqrt 0.3333333333333333)
33.657 * [backup-simplify]: Simplify (+ 1 0) into 1
33.659 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0.3333333333333333))) into (/ 1/2 (sqrt 0.3333333333333333))
33.659 * [backup-simplify]: Simplify (+ 1 (sqrt 0.3333333333333333)) into (+ (sqrt 0.3333333333333333) 1)
33.661 * [backup-simplify]: Simplify (log (+ (sqrt 0.3333333333333333) 1)) into (log (+ 1 (sqrt 0.3333333333333333)))
33.663 * [backup-simplify]: Simplify (log (+ 1 (sqrt 0.3333333333333333))) into (log (+ (sqrt 0.3333333333333333) 1))
33.665 * [backup-simplify]: Simplify (+ 0 (/ 1/2 (sqrt 0.3333333333333333))) into (* 1/2 (/ 1 (sqrt 0.3333333333333333)))
33.678 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 1)))) 1) into (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333)))
33.681 * [backup-simplify]: Simplify (/ 1/2 (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333))) into (/ 1/2 (* (+ (sqrt 0.3333333333333333) 1) (sqrt 0.3333333333333333)))
33.681 * [backup-simplify]: Simplify (+ 0 0) into 0
33.686 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 0.3333333333333333)) 2) (+)) (* 2 (sqrt 0.3333333333333333))) into (/ -1/8 (pow (sqrt 0.3333333333333333) 3))
33.689 * [backup-simplify]: Simplify (+ 0 (/ -1/8 (pow (sqrt 0.3333333333333333) 3))) into (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))
33.725 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* 1/2 (/ 1 (sqrt 0.3333333333333333)))) 2)) (pow (+ (sqrt 0.3333333333333333) 1) 2))) (* 1 (/ (* 1 (pow (* 2 (- (* 1/8 (/ 1 (pow (sqrt 0.3333333333333333) 3))))) 1)) (pow (+ (sqrt 0.3333333333333333) 1) 1)))) 2) into (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2))))))
33.741 * [backup-simplify]: Simplify (* -1/2 (+ (* 1/4 (/ 1 (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))))) into (* -1/2 (+ (* 1/4 (/ 1 (* (+ (sqrt 0.3333333333333333) 1) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ (sqrt 0.3333333333333333) 1) 2) (pow (sqrt 0.3333333333333333) 2))))))
33.761 * [backup-simplify]: Simplify (+ (* (* -1/2 (+ (* 1/4 (/ 1 (* (+ (sqrt 0.3333333333333333) 1) (pow (sqrt 0.3333333333333333) 3)))) (* 1/4 (/ 1 (* (pow (+ (sqrt 0.3333333333333333) 1) 2) (pow (sqrt 0.3333333333333333) 2)))))) (pow x 2)) (+ (* (/ 1/2 (* (+ (sqrt 0.3333333333333333) 1) (sqrt 0.3333333333333333))) x) (log (+ (sqrt 0.3333333333333333) 1)))) into (- (+ (* 1/2 (/ x (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333)))) (log (+ 1 (sqrt 0.3333333333333333)))) (+ (* 1/8 (/ (pow x 2) (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))) (* 1/8 (/ (pow x 2) (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3))))))
33.762 * [backup-simplify]: Simplify (log1p (sqrt (+ (/ 1 x) (/ 1.0 3.0)))) into (log1p (sqrt (+ 0.3333333333333333 (/ 1 x))))
33.762 * [approximate]: Taking taylor expansion of (log1p (sqrt (+ 0.3333333333333333 (/ 1 x)))) in (x) around 0
33.762 * [taylor]: Taking taylor expansion of (log1p (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
33.762 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (+ 0.3333333333333333 (/ 1 x)))))
33.762 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
33.762 * [taylor]: Taking taylor expansion of 1 in x
33.762 * [backup-simplify]: Simplify 1 into 1
33.762 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in x
33.762 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
33.762 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.762 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x
33.762 * [taylor]: Taking taylor expansion of x in x
33.762 * [backup-simplify]: Simplify 0 into 0
33.762 * [backup-simplify]: Simplify 1 into 1
33.763 * [backup-simplify]: Simplify (/ 1 1) into 1
33.763 * [backup-simplify]: Simplify (+ 0 1) into 1
33.763 * [backup-simplify]: Simplify (sqrt 0) into 0
33.765 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
33.766 * [backup-simplify]: Simplify (+ 0 0) into 0
33.766 * [backup-simplify]: Simplify (+ 1 +nan.0) into (- +nan.0)
33.767 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
33.767 * [taylor]: Taking taylor expansion of (log1p (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
33.767 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (+ 0.3333333333333333 (/ 1 x)))))
33.767 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (+ 0.3333333333333333 (/ 1 x)))) in x
33.767 * [taylor]: Taking taylor expansion of 1 in x
33.767 * [backup-simplify]: Simplify 1 into 1
33.767 * [taylor]: Taking taylor expansion of (sqrt (+ 0.3333333333333333 (/ 1 x))) in x
33.767 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
33.767 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.767 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x
33.767 * [taylor]: Taking taylor expansion of x in x
33.767 * [backup-simplify]: Simplify 0 into 0
33.767 * [backup-simplify]: Simplify 1 into 1
33.768 * [backup-simplify]: Simplify (/ 1 1) into 1
33.768 * [backup-simplify]: Simplify (+ 0 1) into 1
33.769 * [backup-simplify]: Simplify (sqrt 0) into 0
33.770 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
33.770 * [backup-simplify]: Simplify (+ 0 0) into 0
33.771 * [backup-simplify]: Simplify (+ 1 +nan.0) into (- +nan.0)
33.772 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
33.772 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
33.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
33.774 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
33.777 * [backup-simplify]: Simplify (/ (- 0.3333333333333333 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
33.790 * [backup-simplify]: Simplify (+ 0 +nan.0) into (- +nan.0)
33.799 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 1) into +nan.0
33.799 * [backup-simplify]: Simplify +nan.0 into +nan.0
33.800 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.801 * [backup-simplify]: Simplify (+ 0 0) into 0
33.804 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
33.805 * [backup-simplify]: Simplify (+ 0 +nan.0) into (- +nan.0)
33.823 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- +nan.0)) 2)) (pow (- +nan.0) 2))) (* 1 (/ (* 1 (pow (* 2 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 2) into +nan.0
33.823 * [backup-simplify]: Simplify +nan.0 into +nan.0
33.825 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) (log (- +nan.0)))) into (- (log (- +nan.0)) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
33.826 * [backup-simplify]: Simplify (log1p (sqrt (+ (/ 1 (- x)) (/ 1.0 3.0)))) into (log1p (sqrt (- 0.3333333333333333 (/ 1 x))))
33.826 * [approximate]: Taking taylor expansion of (log1p (sqrt (- 0.3333333333333333 (/ 1 x)))) in (x) around 0
33.826 * [taylor]: Taking taylor expansion of (log1p (sqrt (- 0.3333333333333333 (/ 1 x)))) in x
33.826 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (- 0.3333333333333333 (/ 1 x)))))
33.826 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (- 0.3333333333333333 (/ 1 x)))) in x
33.826 * [taylor]: Taking taylor expansion of 1 in x
33.826 * [backup-simplify]: Simplify 1 into 1
33.826 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
33.826 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
33.826 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.826 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x
33.826 * [taylor]: Taking taylor expansion of x in x
33.826 * [backup-simplify]: Simplify 0 into 0
33.826 * [backup-simplify]: Simplify 1 into 1
33.827 * [backup-simplify]: Simplify (/ 1 1) into 1
33.827 * [backup-simplify]: Simplify (- 1) into -1
33.827 * [backup-simplify]: Simplify (+ 0 -1) into -1
33.828 * [backup-simplify]: Simplify (sqrt 0) into 0
33.829 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
33.830 * [backup-simplify]: Simplify (+ 0 0) into 0
33.830 * [backup-simplify]: Simplify (+ 1 +nan.0) into (- +nan.0)
33.831 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
33.831 * [taylor]: Taking taylor expansion of (log1p (sqrt (- 0.3333333333333333 (/ 1 x)))) in x
33.831 * [taylor]: Rewrote expression to (log (+ 1 (sqrt (- 0.3333333333333333 (/ 1 x)))))
33.832 * [taylor]: Taking taylor expansion of (+ 1 (sqrt (- 0.3333333333333333 (/ 1 x)))) in x
33.832 * [taylor]: Taking taylor expansion of 1 in x
33.832 * [backup-simplify]: Simplify 1 into 1
33.832 * [taylor]: Taking taylor expansion of (sqrt (- 0.3333333333333333 (/ 1 x))) in x
33.832 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
33.832 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.832 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.832 * [taylor]: Taking taylor expansion of (/ 1 x) in x
33.832 * [taylor]: Taking taylor expansion of x in x
33.832 * [backup-simplify]: Simplify 0 into 0
33.832 * [backup-simplify]: Simplify 1 into 1
33.832 * [backup-simplify]: Simplify (/ 1 1) into 1
33.833 * [backup-simplify]: Simplify (- 1) into -1
33.833 * [backup-simplify]: Simplify (+ 0 -1) into -1
33.833 * [backup-simplify]: Simplify (sqrt 0) into 0
33.835 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
33.835 * [backup-simplify]: Simplify (+ 0 0) into 0
33.835 * [backup-simplify]: Simplify (+ 1 +nan.0) into (- +nan.0)
33.836 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
33.837 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
33.838 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
33.838 * [backup-simplify]: Simplify (- 0) into 0
33.839 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
33.842 * [backup-simplify]: Simplify (/ (- 0.3333333333333333 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
33.842 * [backup-simplify]: Simplify (+ 0 +nan.0) into (- +nan.0)
33.850 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 1) into +nan.0
33.850 * [backup-simplify]: Simplify +nan.0 into +nan.0
33.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.851 * [backup-simplify]: Simplify (- 0) into 0
33.852 * [backup-simplify]: Simplify (+ 0 0) into 0
33.855 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
33.856 * [backup-simplify]: Simplify (+ 0 +nan.0) into (- +nan.0)
33.878 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- +nan.0)) 2)) (pow (- +nan.0) 2))) (* 1 (/ (* 1 (pow (* 2 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 2) into +nan.0
33.878 * [backup-simplify]: Simplify +nan.0 into +nan.0
33.879 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) (log (- +nan.0)))) into (- (log (- +nan.0)) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
33.880 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
33.880 * [backup-simplify]: Simplify (+ x (/ 1.0 3.0)) into (+ x 0.3333333333333333)
33.880 * [approximate]: Taking taylor expansion of (+ x 0.3333333333333333) in (x) around 0
33.880 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
33.880 * [taylor]: Taking taylor expansion of x in x
33.880 * [backup-simplify]: Simplify 0 into 0
33.880 * [backup-simplify]: Simplify 1 into 1
33.880 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.880 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.880 * [taylor]: Taking taylor expansion of (+ x 0.3333333333333333) in x
33.880 * [taylor]: Taking taylor expansion of x in x
33.880 * [backup-simplify]: Simplify 0 into 0
33.880 * [backup-simplify]: Simplify 1 into 1
33.880 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.880 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.881 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
33.881 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.882 * [backup-simplify]: Simplify (+ 1 0) into 1
33.882 * [backup-simplify]: Simplify 1 into 1
33.882 * [backup-simplify]: Simplify (+ 0 0) into 0
33.882 * [backup-simplify]: Simplify 0 into 0
33.882 * [backup-simplify]: Simplify (+ 0 0) into 0
33.882 * [backup-simplify]: Simplify 0 into 0
33.883 * [backup-simplify]: Simplify (+ 0 0) into 0
33.883 * [backup-simplify]: Simplify 0 into 0
33.883 * [backup-simplify]: Simplify (+ 0 0) into 0
33.883 * [backup-simplify]: Simplify 0 into 0
33.884 * [backup-simplify]: Simplify (+ 0 0) into 0
33.884 * [backup-simplify]: Simplify 0 into 0
33.888 * [backup-simplify]: Simplify (+ 0 0) into 0
33.888 * [backup-simplify]: Simplify 0 into 0
33.888 * [backup-simplify]: Simplify (+ (* 1 x) 0.3333333333333333) into (+ x 0.3333333333333333)
33.889 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1.0 3.0)) into (+ 0.3333333333333333 (/ 1 x))
33.889 * [approximate]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in (x) around 0
33.889 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
33.889 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.889 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x
33.889 * [taylor]: Taking taylor expansion of x in x
33.889 * [backup-simplify]: Simplify 0 into 0
33.889 * [backup-simplify]: Simplify 1 into 1
33.893 * [backup-simplify]: Simplify (/ 1 1) into 1
33.893 * [taylor]: Taking taylor expansion of (+ 0.3333333333333333 (/ 1 x)) in x
33.893 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.893 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.893 * [taylor]: Taking taylor expansion of (/ 1 x) in x
33.893 * [taylor]: Taking taylor expansion of x in x
33.893 * [backup-simplify]: Simplify 0 into 0
33.893 * [backup-simplify]: Simplify 1 into 1
33.895 * [backup-simplify]: Simplify (/ 1 1) into 1
33.896 * [backup-simplify]: Simplify (+ 0 1) into 1
33.896 * [backup-simplify]: Simplify 1 into 1
33.897 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
33.897 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
33.897 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.899 * [backup-simplify]: Simplify (+ 0 0) into 0
33.899 * [backup-simplify]: Simplify 0 into 0
33.900 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.901 * [backup-simplify]: Simplify (+ 0 0) into 0
33.901 * [backup-simplify]: Simplify 0 into 0
33.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.903 * [backup-simplify]: Simplify (+ 0 0) into 0
33.904 * [backup-simplify]: Simplify 0 into 0
33.905 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.905 * [backup-simplify]: Simplify (+ 0 0) into 0
33.905 * [backup-simplify]: Simplify 0 into 0
33.906 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.907 * [backup-simplify]: Simplify (+ 0 0) into 0
33.907 * [backup-simplify]: Simplify 0 into 0
33.912 * [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
33.913 * [backup-simplify]: Simplify (+ 0 0) into 0
33.913 * [backup-simplify]: Simplify 0 into 0
33.913 * [backup-simplify]: Simplify (+ 0.3333333333333333 (* 1 (/ 1 (/ 1 x)))) into (+ x 0.3333333333333333)
33.913 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ 1.0 3.0)) into (- 0.3333333333333333 (/ 1 x))
33.913 * [approximate]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in (x) around 0
33.913 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
33.913 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.914 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.914 * [taylor]: Taking taylor expansion of (/ 1 x) in x
33.914 * [taylor]: Taking taylor expansion of x in x
33.914 * [backup-simplify]: Simplify 0 into 0
33.914 * [backup-simplify]: Simplify 1 into 1
33.914 * [backup-simplify]: Simplify (/ 1 1) into 1
33.914 * [taylor]: Taking taylor expansion of (- 0.3333333333333333 (/ 1 x)) in x
33.914 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
33.914 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.914 * [taylor]: Taking taylor expansion of (/ 1 x) in x
33.914 * [taylor]: Taking taylor expansion of x in x
33.914 * [backup-simplify]: Simplify 0 into 0
33.914 * [backup-simplify]: Simplify 1 into 1
33.915 * [backup-simplify]: Simplify (/ 1 1) into 1
33.915 * [backup-simplify]: Simplify (- 1) into -1
33.915 * [backup-simplify]: Simplify (+ 0 -1) into -1
33.915 * [backup-simplify]: Simplify -1 into -1
33.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
33.920 * [backup-simplify]: Simplify (- 0) into 0
33.920 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
33.920 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.921 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.928 * [backup-simplify]: Simplify (- 0) into 0
33.929 * [backup-simplify]: Simplify (+ 0 0) into 0
33.929 * [backup-simplify]: Simplify 0 into 0
33.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.930 * [backup-simplify]: Simplify (- 0) into 0
33.930 * [backup-simplify]: Simplify (+ 0 0) into 0
33.930 * [backup-simplify]: Simplify 0 into 0
33.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.932 * [backup-simplify]: Simplify (- 0) into 0
33.932 * [backup-simplify]: Simplify (+ 0 0) into 0
33.932 * [backup-simplify]: Simplify 0 into 0
33.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.934 * [backup-simplify]: Simplify (- 0) into 0
33.934 * [backup-simplify]: Simplify (+ 0 0) into 0
33.934 * [backup-simplify]: Simplify 0 into 0
33.935 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.935 * [backup-simplify]: Simplify (- 0) into 0
33.936 * [backup-simplify]: Simplify (+ 0 0) into 0
33.936 * [backup-simplify]: Simplify 0 into 0
33.946 * [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
33.946 * [backup-simplify]: Simplify (- 0) into 0
33.947 * [backup-simplify]: Simplify (+ 0 0) into 0
33.947 * [backup-simplify]: Simplify 0 into 0
33.947 * [backup-simplify]: Simplify (+ 0.3333333333333333 (* -1 (/ 1 (/ 1 (- x))))) into (+ x 0.3333333333333333)
33.947 * * * [progress]: simplifying candidates
33.949 * [simplify]: Simplifying:
  (exp (log1p (sqrt (+ x (/ 1.0 3.0)))))
  (expm1 (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (log1p (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (log (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (exp (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (* (cbrt (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))) (cbrt (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))
  (cbrt (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (* (* (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (sqrt (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (sqrt (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (expm1 (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))
  (log1p (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))
  (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (+ (log (sqrt (+ x (/ 1.0 3.0)))) (log (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))
  (log (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))
  (exp (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))
  (* (* (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0)))) (sqrt (+ x (/ 1.0 3.0)))) (* (* (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))
  (* (cbrt (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))) (cbrt (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))))
  (cbrt (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))
  (* (* (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))) (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))) (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))
  (sqrt (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))
  (sqrt (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (sqrt (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))
  (* (sqrt (+ x (/ 1.0 3.0))) (* (cbrt (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))) (cbrt (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))))
  (* (sqrt (+ x (/ 1.0 3.0))) (sqrt (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))
  (* (sqrt (+ x (/ 1.0 3.0))) 1)
  (* (cbrt (sqrt (+ x (/ 1.0 3.0)))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (* (sqrt (cbrt (+ x (/ 1.0 3.0)))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (* (sqrt (sqrt (+ x (/ 1.0 3.0)))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (* (sqrt (+ (pow x 3) (pow (/ 1.0 3.0) 3))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (* (sqrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (+ 1 (sqrt (+ x (/ 1.0 3.0))))
  (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))
  (log1p (log1p (sqrt (+ x (/ 1.0 3.0)))))
  (log (log1p (sqrt (+ x (/ 1.0 3.0)))))
  (exp (log1p (sqrt (+ x (/ 1.0 3.0)))))
  (* (cbrt (log1p (sqrt (+ x (/ 1.0 3.0))))) (cbrt (log1p (sqrt (+ x (/ 1.0 3.0))))))
  (cbrt (log1p (sqrt (+ x (/ 1.0 3.0)))))
  (* (* (log1p (sqrt (+ x (/ 1.0 3.0)))) (log1p (sqrt (+ x (/ 1.0 3.0))))) (log1p (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (log1p (sqrt (+ x (/ 1.0 3.0)))))
  (sqrt (log1p (sqrt (+ x (/ 1.0 3.0)))))
  (expm1 (+ x (/ 1.0 3.0)))
  (log1p (+ x (/ 1.0 3.0)))
  (* (exp x) (exp (/ 1.0 3.0)))
  (log (+ x (/ 1.0 3.0)))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))
  (cbrt (+ x (/ 1.0 3.0)))
  (* (* (+ x (/ 1.0 3.0)) (+ x (/ 1.0 3.0))) (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (sqrt (+ x (/ 1.0 3.0)))
  (+ (pow x 3) (pow (/ 1.0 3.0) 3))
  (+ (* x x) (- (* (/ 1.0 3.0) (/ 1.0 3.0)) (* x (/ 1.0 3.0))))
  (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ x (/ 1.0 3.0))
  (- (+ (* 1/2 (/ x (sqrt 0.3333333333333333))) (sqrt 0.3333333333333333)) (* 1/8 (/ (pow x 2) (pow (sqrt 0.3333333333333333) 3))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (+ x (pow (sqrt 0.3333333333333333) 2))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* 1/2 (/ x (* (+ 1 (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333)))) (log (+ 1 (sqrt 0.3333333333333333)))) (+ (* 1/8 (/ (pow x 2) (* (pow (+ 1 (sqrt 0.3333333333333333)) 2) (pow (sqrt 0.3333333333333333) 2)))) (* 1/8 (/ (pow x 2) (* (+ 1 (sqrt 0.3333333333333333)) (pow (sqrt 0.3333333333333333) 3))))))
  (- (log (- +nan.0)) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
  (- (log (- +nan.0)) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
33.959 * * [simplify]: iteration 0: 123 enodes
34.040 * * [simplify]: iteration 1: 303 enodes
34.431 * * [simplify]: iteration 2: 1102 enodes
36.052 * * [simplify]: iteration 3: 3526 enodes
39.325 * * [simplify]: iteration complete: 5004 enodes
39.326 * * [simplify]: Extracting #0: cost 40 inf + 0
39.327 * * [simplify]: Extracting #1: cost 311 inf + 0
39.342 * * [simplify]: Extracting #2: cost 805 inf + 2114
39.370 * * [simplify]: Extracting #3: cost 784 inf + 35745
39.439 * * [simplify]: Extracting #4: cost 228 inf + 140706
39.563 * * [simplify]: Extracting #5: cost 25 inf + 188772
39.664 * * [simplify]: Extracting #6: cost 2 inf + 194921
39.767 * * [simplify]: Extracting #7: cost 0 inf + 195507
39.872 * [simplify]: Simplified to:
  (exp (log1p (sqrt (+ (/ 1.0 3.0) x))))
  (expm1 (sqrt (+ (/ 1.0 3.0) x)))
  (log1p (sqrt (+ (/ 1.0 3.0) x)))
  (log (sqrt (+ (/ 1.0 3.0) x)))
  (exp (sqrt (+ (/ 1.0 3.0) x)))
  (* (cbrt (sqrt (+ (/ 1.0 3.0) x))) (cbrt (sqrt (+ (/ 1.0 3.0) x))))
  (cbrt (sqrt (+ (/ 1.0 3.0) x)))
  (* (+ (/ 1.0 3.0) x) (sqrt (+ (/ 1.0 3.0) x)))
  (sqrt (sqrt (+ (/ 1.0 3.0) x)))
  (sqrt (sqrt (+ (/ 1.0 3.0) x)))
  (expm1 (+ (/ 1.0 3.0) x))
  (log1p (+ (/ 1.0 3.0) x))
  (+ (/ 1.0 3.0) x)
  (log (+ (/ 1.0 3.0) x))
  (log (+ (/ 1.0 3.0) x))
  (exp (+ x (/ 1.0 3.0)))
  (* (+ (/ 1.0 3.0) x) (* (+ (/ 1.0 3.0) x) (+ (/ 1.0 3.0) x)))
  (* (cbrt (+ (/ 1.0 3.0) x)) (cbrt (+ (/ 1.0 3.0) x)))
  (cbrt (+ (/ 1.0 3.0) x))
  (* (+ (/ 1.0 3.0) x) (* (+ (/ 1.0 3.0) x) (+ (/ 1.0 3.0) x)))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (* (sqrt (+ (/ 1.0 3.0) x)) (* (cbrt (sqrt (+ (/ 1.0 3.0) x))) (cbrt (sqrt (+ (/ 1.0 3.0) x)))))
  (* (sqrt (+ (/ 1.0 3.0) x)) (sqrt (sqrt (+ (/ 1.0 3.0) x))))
  (sqrt (+ (/ 1.0 3.0) x))
  (* (sqrt (+ (/ 1.0 3.0) x)) (cbrt (sqrt (+ (/ 1.0 3.0) x))))
  (* (sqrt (+ (/ 1.0 3.0) x)) (sqrt (cbrt (+ (/ 1.0 3.0) x))))
  (* (sqrt (+ (/ 1.0 3.0) x)) (sqrt (sqrt (+ (/ 1.0 3.0) x))))
  (+ (/ 1.0 3.0) x)
  (+ (/ 1.0 3.0) x)
  (* (sqrt (+ (/ 1.0 3.0) x)) (sqrt (sqrt (+ (/ 1.0 3.0) x))))
  (+ (/ 1.0 3.0) x)
  (* (sqrt (fma (* (/ 1.0 3.0) (/ 1.0 3.0)) (/ 1.0 3.0) (* x (* x x)))) (sqrt (+ (/ 1.0 3.0) x)))
  (* (sqrt (+ (/ 1.0 3.0) x)) (sqrt (* (+ (/ 1.0 3.0) x) (- x (/ 1.0 3.0)))))
  (+ 1 (sqrt (+ (/ 1.0 3.0) x)))
  (sqrt (+ (/ 1.0 3.0) x))
  (log1p (log1p (sqrt (+ (/ 1.0 3.0) x))))
  (log (log1p (sqrt (+ (/ 1.0 3.0) x))))
  (exp (log1p (sqrt (+ (/ 1.0 3.0) x))))
  (* (cbrt (log1p (sqrt (+ (/ 1.0 3.0) x)))) (cbrt (log1p (sqrt (+ (/ 1.0 3.0) x)))))
  (cbrt (log1p (sqrt (+ (/ 1.0 3.0) x))))
  (* (* (log1p (sqrt (+ (/ 1.0 3.0) x))) (log1p (sqrt (+ (/ 1.0 3.0) x)))) (log1p (sqrt (+ (/ 1.0 3.0) x))))
  (sqrt (log1p (sqrt (+ (/ 1.0 3.0) x))))
  (sqrt (log1p (sqrt (+ (/ 1.0 3.0) x))))
  (expm1 (+ (/ 1.0 3.0) x))
  (log1p (+ (/ 1.0 3.0) x))
  (exp (+ x (/ 1.0 3.0)))
  (log (+ (/ 1.0 3.0) x))
  (exp (+ x (/ 1.0 3.0)))
  (* (cbrt (+ (/ 1.0 3.0) x)) (cbrt (+ (/ 1.0 3.0) x)))
  (cbrt (+ (/ 1.0 3.0) x))
  (* (+ (/ 1.0 3.0) x) (* (+ (/ 1.0 3.0) x) (+ (/ 1.0 3.0) x)))
  (sqrt (+ (/ 1.0 3.0) x))
  (sqrt (+ (/ 1.0 3.0) x))
  (fma (* (/ 1.0 3.0) (/ 1.0 3.0)) (/ 1.0 3.0) (* x (* x x)))
  (fma x x (* (/ 1.0 3.0) (- (/ 1.0 3.0) x)))
  (* (+ (/ 1.0 3.0) x) (- x (/ 1.0 3.0)))
  (- x (/ 1.0 3.0))
  (+ (/ 1.0 3.0) x)
  (fma -1/8 (* (/ x (sqrt 0.3333333333333333)) (/ x 0.3333333333333333)) (fma 1/2 (/ x (sqrt 0.3333333333333333)) (sqrt 0.3333333333333333)))
  (- (- (fma (/ +nan.0 x) (/ 1 x) +nan.0) (/ +nan.0 x)))
  (- (- (fma (/ +nan.0 x) (/ 1 x) +nan.0) (/ +nan.0 x)))
  (+ x 0.3333333333333333)
  (- (- (fma (/ +nan.0 x) (/ 1 x) +nan.0) (/ +nan.0 x)))
  (- (- (fma (/ +nan.0 x) (/ 1 x) +nan.0) (/ +nan.0 x)))
  (fma (/ x (+ 0.3333333333333333 (sqrt 0.3333333333333333))) 1/2 (fma -1/8 (+ (* (/ x (+ 0.3333333333333333 (sqrt 0.3333333333333333))) (/ x (+ 0.3333333333333333 (sqrt 0.3333333333333333)))) (* (/ x (+ 0.3333333333333333 (sqrt 0.3333333333333333))) (/ x 0.3333333333333333))) (log1p (sqrt 0.3333333333333333))))
  (+ (/ +nan.0 x) (- (log (- +nan.0)) (/ +nan.0 (* x x))))
  (+ (/ +nan.0 x) (- (log (- +nan.0)) (/ +nan.0 (* x x))))
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
  (+ x 0.3333333333333333)
39.880 * * * [progress]: adding candidates to table
41.093 * [progress]: [Phase 3 of 3] Extracting.
41.094 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ x (/ 1.0 3.0)))> #<alt (λ (x) (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))>)
41.094 * * * [regime-changes]: Trying 2 branch expressions: ((+ x (/ 1.0 3.0)) x)
41.094 * * * * [regimes]: Trying to branch on (+ x (/ 1.0 3.0)) from (#<alt (λ (x) (+ x (/ 1.0 3.0)))> #<alt (λ (x) (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))>)
41.302 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ x (/ 1.0 3.0)))> #<alt (λ (x) (* (sqrt (+ x (/ 1.0 3.0))) (expm1 (log1p (sqrt (+ x (/ 1.0 3.0)))))))>)
41.413 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
41.413 * [simplify]: Simplifying:
  (+ x (/ 1.0 3.0))
41.414 * * [simplify]: iteration 0: 5 enodes
41.415 * * [simplify]: iteration 1: 6 enodes
41.415 * * [simplify]: iteration complete: 6 enodes
41.415 * * [simplify]: Extracting #0: cost 1 inf + 0
41.416 * * [simplify]: Extracting #1: cost 3 inf + 0
41.416 * * [simplify]: Extracting #2: cost 4 inf + 1
41.416 * * [simplify]: Extracting #3: cost 2 inf + 3
41.416 * * [simplify]: Extracting #4: cost 0 inf + 128
41.424 * [simplify]: Simplified to:
  (+ (/ 1.0 3.0) x)
44.710 * [regime-testing]: Baseline error score: 0.011251406425803226
44.788 * [regime-testing]: Oracle error score: 0.008001000125015627
44.853 * [regime-testing]: End program error score: 0.011251406425803226