12.177 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying:
  (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
0.022 * * [simplify]: iteration 0: 9 enodes
0.024 * * [simplify]: iteration 1: 13 enodes
0.027 * * [simplify]: iteration 2: 17 enodes
0.030 * * [simplify]: iteration complete: 17 enodes
0.030 * * [simplify]: Extracting #0: cost 1 inf + 0
0.030 * * [simplify]: Extracting #1: cost 3 inf + 0
0.030 * * [simplify]: Extracting #2: cost 11 inf + 0
0.030 * * [simplify]: Extracting #3: cost 4 inf + 89
0.030 * * [simplify]: Extracting #4: cost 0 inf + 421
0.030 * [simplify]: Simplified to:
  (+ (/ 4.0 29.0) (* (/ 841.0 108.0) x))
0.031 * * [progress]: iteration 1 / 4
0.031 * * * [progress]: picking best candidate
0.034 * * * * [pick]: Picked  #<alt (λ (x) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))>
0.034 * * * [progress]: localizing error
0.043 * * * [progress]: generating rewritten candidates
0.043 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.061 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.075 * * * [progress]: generating series expansions
0.075 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.075 * [backup-simplify]: Simplify (* (/ 841.0 108.0) x) into (* 7.787037037037037 x)
0.075 * [approximate]: Taking taylor expansion of (* 7.787037037037037 x) in (x) around 0
0.075 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x
0.075 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.076 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
0.076 * [taylor]: Taking taylor expansion of x in x
0.076 * [backup-simplify]: Simplify 0 into 0
0.076 * [backup-simplify]: Simplify 1 into 1
0.076 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x
0.076 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.076 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
0.076 * [taylor]: Taking taylor expansion of x in x
0.076 * [backup-simplify]: Simplify 0 into 0
0.076 * [backup-simplify]: Simplify 1 into 1
0.076 * [backup-simplify]: Simplify (* 7.787037037037037 0) into 0
0.076 * [backup-simplify]: Simplify 0 into 0
0.078 * [backup-simplify]: Simplify (+ (* 7.787037037037037 1) (* 0 0)) into 7.787037037037037
0.078 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
0.079 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 1) (* 0 0))) into 0
0.079 * [backup-simplify]: Simplify 0 into 0
0.080 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.080 * [backup-simplify]: Simplify 0 into 0
0.081 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.081 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
0.082 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.084 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
0.084 * [backup-simplify]: Simplify 0 into 0
0.084 * [backup-simplify]: Simplify (* 7.787037037037037 x) into (* 7.787037037037037 x)
0.085 * [backup-simplify]: Simplify (* (/ 841.0 108.0) (/ 1 x)) into (/ 7.787037037037037 x)
0.085 * [approximate]: Taking taylor expansion of (/ 7.787037037037037 x) in (x) around 0
0.085 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x
0.085 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.085 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
0.085 * [taylor]: Taking taylor expansion of x in x
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify 1 into 1
0.085 * [backup-simplify]: Simplify (/ 7.787037037037037 1) into 7.787037037037037
0.085 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x
0.085 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.085 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
0.085 * [taylor]: Taking taylor expansion of x in x
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify 1 into 1
0.086 * [backup-simplify]: Simplify (/ 7.787037037037037 1) into 7.787037037037037
0.086 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
0.086 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)))) into 0
0.086 * [backup-simplify]: Simplify 0 into 0
0.087 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.087 * [backup-simplify]: Simplify 0 into 0
0.088 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.088 * [backup-simplify]: Simplify 0 into 0
0.088 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.088 * [backup-simplify]: Simplify 0 into 0
0.089 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.089 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify (* 7.787037037037037 (/ 1 (/ 1 x))) into (* 7.787037037037037 x)
0.090 * [backup-simplify]: Simplify (* (/ 841.0 108.0) (/ 1 (- x))) into (/ -7.787037037037037 x)
0.090 * [approximate]: Taking taylor expansion of (/ -7.787037037037037 x) in (x) around 0
0.090 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x
0.090 * [taylor]: Taking taylor expansion of -7.787037037037037 in x
0.090 * [backup-simplify]: Simplify -7.787037037037037 into -7.787037037037037
0.090 * [taylor]: Taking taylor expansion of x in x
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 1 into 1
0.091 * [backup-simplify]: Simplify (/ -7.787037037037037 1) into -7.787037037037037
0.091 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x
0.091 * [taylor]: Taking taylor expansion of -7.787037037037037 in x
0.091 * [backup-simplify]: Simplify -7.787037037037037 into -7.787037037037037
0.091 * [taylor]: Taking taylor expansion of x in x
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 1 into 1
0.091 * [backup-simplify]: Simplify (/ -7.787037037037037 1) into -7.787037037037037
0.091 * [backup-simplify]: Simplify -7.787037037037037 into -7.787037037037037
0.092 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -7.787037037037037 (/ 0 1)))) into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.093 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -7.787037037037037 (/ 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 1) (+ (* -7.787037037037037 (/ 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.095 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -7.787037037037037 (/ 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.095 * [backup-simplify]: Simplify (* -7.787037037037037 (/ 1 (/ 1 (- x)))) into (* 7.787037037037037 x)
0.095 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.096 * [backup-simplify]: Simplify (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) into (+ (* 7.787037037037037 x) 0.13793103448275862)
0.096 * [approximate]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in (x) around 0
0.096 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x
0.096 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x
0.096 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.096 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
0.096 * [taylor]: Taking taylor expansion of x in x
0.096 * [backup-simplify]: Simplify 0 into 0
0.096 * [backup-simplify]: Simplify 1 into 1
0.096 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.096 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.096 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x
0.096 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x
0.096 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.096 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
0.096 * [taylor]: Taking taylor expansion of x in x
0.096 * [backup-simplify]: Simplify 0 into 0
0.096 * [backup-simplify]: Simplify 1 into 1
0.096 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.096 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.097 * [backup-simplify]: Simplify (* 7.787037037037037 0) into 0
0.097 * [backup-simplify]: Simplify (+ 0 0.13793103448275862) into 0.13793103448275862
0.097 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.098 * [backup-simplify]: Simplify (+ (* 7.787037037037037 1) (* 0 0)) into 7.787037037037037
0.098 * [backup-simplify]: Simplify (+ 7.787037037037037 0) into 7.787037037037037
0.098 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
0.099 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 1) (* 0 0))) into 0
0.099 * [backup-simplify]: Simplify (+ 0 0) into 0
0.099 * [backup-simplify]: Simplify 0 into 0
0.100 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.100 * [backup-simplify]: Simplify (+ 0 0) into 0
0.100 * [backup-simplify]: Simplify 0 into 0
0.101 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.101 * [backup-simplify]: Simplify (+ 0 0) into 0
0.101 * [backup-simplify]: Simplify 0 into 0
0.102 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
0.102 * [backup-simplify]: Simplify (+ 0 0) into 0
0.102 * [backup-simplify]: Simplify 0 into 0
0.103 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
0.104 * [backup-simplify]: Simplify (+ 0 0) into 0
0.104 * [backup-simplify]: Simplify 0 into 0
0.105 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
0.105 * [backup-simplify]: Simplify (+ 0 0) into 0
0.105 * [backup-simplify]: Simplify 0 into 0
0.105 * [backup-simplify]: Simplify (+ (* 7.787037037037037 x) 0.13793103448275862) into (+ (* 7.787037037037037 x) 0.13793103448275862)
0.106 * [backup-simplify]: Simplify (+ (* (/ 841.0 108.0) (/ 1 x)) (/ 4.0 29.0)) into (+ (* 7.787037037037037 (/ 1 x)) 0.13793103448275862)
0.106 * [approximate]: Taking taylor expansion of (+ (* 7.787037037037037 (/ 1 x)) 0.13793103448275862) in (x) around 0
0.106 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 (/ 1 x)) 0.13793103448275862) in x
0.106 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x
0.106 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.106 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.106 * [taylor]: Taking taylor expansion of x in x
0.106 * [backup-simplify]: Simplify 0 into 0
0.106 * [backup-simplify]: Simplify 1 into 1
0.106 * [backup-simplify]: Simplify (/ 1 1) into 1
0.106 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.106 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.106 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 (/ 1 x)) 0.13793103448275862) in x
0.106 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x
0.106 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.107 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
0.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.107 * [taylor]: Taking taylor expansion of x in x
0.107 * [backup-simplify]: Simplify 0 into 0
0.107 * [backup-simplify]: Simplify 1 into 1
0.107 * [backup-simplify]: Simplify (/ 1 1) into 1
0.107 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.107 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.107 * [backup-simplify]: Simplify (* 7.787037037037037 1) into 7.787037037037037
0.107 * [backup-simplify]: Simplify (+ 7.787037037037037 0) into 7.787037037037037
0.108 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
0.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.108 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (* 0 1)) into 0
0.109 * [backup-simplify]: Simplify (+ 0 0.13793103448275862) into 0.13793103448275862
0.109 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.109 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.110 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (* 0 1))) into 0
0.110 * [backup-simplify]: Simplify (+ 0 0) into 0
0.110 * [backup-simplify]: Simplify 0 into 0
0.111 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.111 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.112 * [backup-simplify]: Simplify (+ 0 0) into 0
0.112 * [backup-simplify]: Simplify 0 into 0
0.112 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.113 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.113 * [backup-simplify]: Simplify (+ 0 0) into 0
0.113 * [backup-simplify]: Simplify 0 into 0
0.114 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.115 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.115 * [backup-simplify]: Simplify (+ 0 0) into 0
0.115 * [backup-simplify]: Simplify 0 into 0
0.116 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.117 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.117 * [backup-simplify]: Simplify (+ 0 0) into 0
0.117 * [backup-simplify]: Simplify 0 into 0
0.118 * [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.119 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.119 * [backup-simplify]: Simplify (+ 0 0) into 0
0.119 * [backup-simplify]: Simplify 0 into 0
0.119 * [backup-simplify]: Simplify (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 (/ 1 x)))) into (+ (* 7.787037037037037 x) 0.13793103448275862)
0.120 * [backup-simplify]: Simplify (+ (* (/ 841.0 108.0) (/ 1 (- x))) (/ 4.0 29.0)) into (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x)))
0.120 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in (x) around 0
0.120 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x
0.120 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.120 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.120 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x
0.120 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.120 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
0.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.120 * [backup-simplify]: Simplify 0 into 0
0.120 * [backup-simplify]: Simplify 1 into 1
0.121 * [backup-simplify]: Simplify (/ 1 1) into 1
0.121 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x
0.121 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.121 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.121 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x
0.121 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
0.121 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
0.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.121 * [backup-simplify]: Simplify 0 into 0
0.121 * [backup-simplify]: Simplify 1 into 1
0.121 * [backup-simplify]: Simplify (/ 1 1) into 1
0.121 * [backup-simplify]: Simplify (* 7.787037037037037 1) into 7.787037037037037
0.122 * [backup-simplify]: Simplify (- 7.787037037037037) into (- 7.787037037037037)
0.122 * [backup-simplify]: Simplify (+ 0 (- 7.787037037037037)) into (- 7.787037037037037)
0.122 * [backup-simplify]: Simplify (- 7.787037037037037) into (- 7.787037037037037)
0.123 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.123 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (* 0 1)) into 0
0.124 * [backup-simplify]: Simplify (- 0) into 0
0.124 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
0.124 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
0.124 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.125 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (* 0 1))) into 0
0.125 * [backup-simplify]: Simplify (- 0) into 0
0.126 * [backup-simplify]: Simplify (+ 0 0) into 0
0.126 * [backup-simplify]: Simplify 0 into 0
0.126 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.127 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.127 * [backup-simplify]: Simplify (- 0) into 0
0.127 * [backup-simplify]: Simplify (+ 0 0) into 0
0.127 * [backup-simplify]: Simplify 0 into 0
0.128 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.129 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.129 * [backup-simplify]: Simplify (- 0) into 0
0.129 * [backup-simplify]: Simplify (+ 0 0) into 0
0.129 * [backup-simplify]: Simplify 0 into 0
0.130 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.131 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.131 * [backup-simplify]: Simplify (- 0) into 0
0.131 * [backup-simplify]: Simplify (+ 0 0) into 0
0.131 * [backup-simplify]: Simplify 0 into 0
0.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.133 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.133 * [backup-simplify]: Simplify (- 0) into 0
0.134 * [backup-simplify]: Simplify (+ 0 0) into 0
0.134 * [backup-simplify]: Simplify 0 into 0
0.134 * [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.135 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.136 * [backup-simplify]: Simplify (- 0) into 0
0.136 * [backup-simplify]: Simplify (+ 0 0) into 0
0.136 * [backup-simplify]: Simplify 0 into 0
0.136 * [backup-simplify]: Simplify (+ 0.13793103448275862 (* (- 7.787037037037037) (/ 1 (/ 1 (- x))))) into (+ (* 7.787037037037037 x) 0.13793103448275862)
0.136 * * * [progress]: simplifying candidates
0.137 * [simplify]: Simplifying:
  (* (/ 841.0 108.0) x)
  (+ (- (log 841.0) (log 108.0)) (log x))
  (+ (log (/ 841.0 108.0)) (log x))
  (log (* (/ 841.0 108.0) x))
  (exp (* (/ 841.0 108.0) x))
  (* (/ (* (* 841.0 841.0) 841.0) (* (* 108.0 108.0) 108.0)) (* (* x x) x))
  (* (* (* (/ 841.0 108.0) (/ 841.0 108.0)) (/ 841.0 108.0)) (* (* x x) x))
  (* (cbrt (* (/ 841.0 108.0) x)) (cbrt (* (/ 841.0 108.0) x)))
  (cbrt (* (/ 841.0 108.0) x))
  (* (* (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x)) (* (/ 841.0 108.0) x))
  (sqrt (* (/ 841.0 108.0) x))
  (sqrt (* (/ 841.0 108.0) x))
  (* (sqrt (/ 841.0 108.0)) (sqrt x))
  (* (sqrt (/ 841.0 108.0)) (sqrt x))
  (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x))
  (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x))
  (* (/ 841.0 108.0) (* (cbrt x) (cbrt x)))
  (* (/ 841.0 108.0) (sqrt x))
  (* (/ 841.0 108.0) 1)
  (* (cbrt (/ 841.0 108.0)) x)
  (* (sqrt (/ 841.0 108.0)) x)
  (* (/ (cbrt 841.0) (cbrt 108.0)) x)
  (* (/ (cbrt 841.0) (sqrt 108.0)) x)
  (* (/ (cbrt 841.0) 108.0) x)
  (* (/ (sqrt 841.0) (cbrt 108.0)) x)
  (* (/ (sqrt 841.0) (sqrt 108.0)) x)
  (* (/ (sqrt 841.0) 108.0) x)
  (* (/ 841.0 (cbrt 108.0)) x)
  (* (/ 841.0 (sqrt 108.0)) x)
  (* (/ 841.0 108.0) x)
  (* (/ 841.0 108.0) x)
  (* (/ 1 108.0) x)
  (* 841.0 x)
  (* (exp (* (/ 841.0 108.0) x)) (exp (/ 4.0 29.0)))
  (log (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (exp (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (* (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))))
  (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (* (* (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (sqrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (sqrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (+ (* (* 841.0 x) 29.0) (* 108.0 4.0))
  (* 108.0 29.0)
  (+ (pow (* (/ 841.0 108.0) x) 3) (pow (/ 4.0 29.0) 3))
  (+ (* (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x)) (- (* (/ 4.0 29.0) (/ 4.0 29.0)) (* (* (/ 841.0 108.0) x) (/ 4.0 29.0))))
  (- (* (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x)) (* (/ 4.0 29.0) (/ 4.0 29.0)))
  (- (* (/ 841.0 108.0) x) (/ 4.0 29.0))
  (* 7.787037037037037 x)
  (* 7.787037037037037 x)
  (* 7.787037037037037 x)
  (+ (* 7.787037037037037 x) 0.13793103448275862)
  (+ (* 7.787037037037037 x) 0.13793103448275862)
  (+ (* 7.787037037037037 x) 0.13793103448275862)
0.138 * * [simplify]: iteration 0: 97 enodes
0.164 * * [simplify]: iteration 1: 246 enodes
0.280 * * [simplify]: iteration 2: 783 enodes
0.929 * * [simplify]: iteration 3: 3042 enodes
2.231 * * [simplify]: iteration complete: 5004 enodes
2.231 * * [simplify]: Extracting #0: cost 38 inf + 0
2.232 * * [simplify]: Extracting #1: cost 408 inf + 0
2.235 * * [simplify]: Extracting #2: cost 1287 inf + 2881
2.249 * * [simplify]: Extracting #3: cost 1238 inf + 63012
2.298 * * [simplify]: Extracting #4: cost 470 inf + 195014
2.369 * * [simplify]: Extracting #5: cost 46 inf + 295305
2.476 * * [simplify]: Extracting #6: cost 7 inf + 306243
2.593 * * [simplify]: Extracting #7: cost 4 inf + 306129
2.688 * * [simplify]: Extracting #8: cost 0 inf + 307305
2.796 * [simplify]: Simplified to:
  (* (/ 841.0 108.0) x)
  (log (* (/ 841.0 108.0) x))
  (log (* (/ 841.0 108.0) x))
  (log (* (/ 841.0 108.0) x))
  (exp (* (/ 841.0 108.0) x))
  (* (* (/ 841.0 108.0) x) (* (* x (/ 841.0 108.0)) (* x (/ 841.0 108.0))))
  (* (* (/ 841.0 108.0) x) (* (* x (/ 841.0 108.0)) (* x (/ 841.0 108.0))))
  (* (cbrt (* (/ 841.0 108.0) x)) (cbrt (* (/ 841.0 108.0) x)))
  (cbrt (* (/ 841.0 108.0) x))
  (* (* (/ 841.0 108.0) x) (* (* x (/ 841.0 108.0)) (* x (/ 841.0 108.0))))
  (sqrt (* (/ 841.0 108.0) x))
  (sqrt (* (/ 841.0 108.0) x))
  (* (sqrt (/ 841.0 108.0)) (sqrt x))
  (* (sqrt (/ 841.0 108.0)) (sqrt x))
  (* (sqrt x) (/ (sqrt 841.0) (sqrt 108.0)))
  (* (sqrt x) (/ (sqrt 841.0) (sqrt 108.0)))
  (* (cbrt x) (* (/ 841.0 108.0) (cbrt x)))
  (/ (* (sqrt x) 841.0) 108.0)
  (/ 841.0 108.0)
  (* (cbrt (/ 841.0 108.0)) x)
  (* (sqrt (/ 841.0 108.0)) x)
  (* x (/ (cbrt 841.0) (cbrt 108.0)))
  (/ (* (cbrt 841.0) x) (sqrt 108.0))
  (/ (* x (cbrt 841.0)) 108.0)
  (* (/ (sqrt 841.0) (cbrt 108.0)) x)
  (/ (* x (sqrt 841.0)) (sqrt 108.0))
  (* x (/ (sqrt 841.0) 108.0))
  (/ (* x 841.0) (cbrt 108.0))
  (/ x (/ (sqrt 108.0) 841.0))
  (* (/ 841.0 108.0) x)
  (* (/ 841.0 108.0) x)
  (/ x 108.0)
  (* x 841.0)
  (exp (+ (/ 4.0 29.0) (* (/ 841.0 108.0) x)))
  (log (+ (/ 4.0 29.0) (* (/ 841.0 108.0) x)))
  (exp (+ (/ 4.0 29.0) (* (/ 841.0 108.0) x)))
  (* (cbrt (+ (/ 4.0 29.0) (* (/ 841.0 108.0) x))) (cbrt (+ (/ 4.0 29.0) (* (/ 841.0 108.0) x))))
  (cbrt (+ (/ 4.0 29.0) (* (/ 841.0 108.0) x)))
  (* (+ (/ 4.0 29.0) (* (/ 841.0 108.0) x)) (* (+ (/ 4.0 29.0) (* (/ 841.0 108.0) x)) (+ (/ 4.0 29.0) (* (/ 841.0 108.0) x))))
  (sqrt (+ (/ 4.0 29.0) (* (/ 841.0 108.0) x)))
  (sqrt (+ (/ 4.0 29.0) (* (/ 841.0 108.0) x)))
  (+ (* 4.0 108.0) (* (* x 841.0) 29.0))
  (* 29.0 108.0)
  (+ (* (* (/ 841.0 108.0) x) (* (* x (/ 841.0 108.0)) (* x (/ 841.0 108.0)))) (* (/ 4.0 29.0) (* (/ 4.0 29.0) (/ 4.0 29.0))))
  (+ (* (* (/ 841.0 108.0) x) (- (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (* (/ 4.0 29.0) (/ 4.0 29.0)))
  (* (+ (/ 4.0 29.0) (* (/ 841.0 108.0) x)) (- (* (/ 841.0 108.0) x) (/ 4.0 29.0)))
  (- (* (/ 841.0 108.0) x) (/ 4.0 29.0))
  (* 7.787037037037037 x)
  (* 7.787037037037037 x)
  (* 7.787037037037037 x)
  (+ (* 7.787037037037037 x) 0.13793103448275862)
  (+ (* 7.787037037037037 x) 0.13793103448275862)
  (+ (* 7.787037037037037 x) 0.13793103448275862)
2.799 * * * [progress]: adding candidates to table
3.054 * * [progress]: iteration 2 / 4
3.054 * * * [progress]: picking best candidate
3.058 * * * * [pick]: Picked  #<alt (λ (x) (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0)))>
3.058 * * * [progress]: localizing error
3.081 * * * [progress]: generating rewritten candidates
3.081 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
3.114 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.187 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
3.213 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.301 * * * [progress]: generating series expansions
3.301 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
3.301 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.306 * [backup-simplify]: Simplify (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) into (* x (pow (cbrt 7.787037037037037) 3))
3.306 * [approximate]: Taking taylor expansion of (* x (pow (cbrt 7.787037037037037) 3)) in (x) around 0
3.306 * [taylor]: Taking taylor expansion of (* x (pow (cbrt 7.787037037037037) 3)) in x
3.306 * [taylor]: Taking taylor expansion of x in x
3.306 * [backup-simplify]: Simplify 0 into 0
3.306 * [backup-simplify]: Simplify 1 into 1
3.306 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x
3.306 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.306 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.306 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.307 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.308 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.308 * [taylor]: Taking taylor expansion of (* x (pow (cbrt 7.787037037037037) 3)) in x
3.308 * [taylor]: Taking taylor expansion of x in x
3.308 * [backup-simplify]: Simplify 0 into 0
3.308 * [backup-simplify]: Simplify 1 into 1
3.308 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x
3.308 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.308 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.308 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.309 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.310 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.311 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (cbrt 7.787037037037037)) into (pow (cbrt 7.787037037037037) 2)
3.314 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (pow (cbrt 7.787037037037037) 2)) into (pow (cbrt 7.787037037037037) 3)
3.315 * [backup-simplify]: Simplify (* 0 (pow (cbrt 7.787037037037037) 3)) into 0
3.315 * [backup-simplify]: Simplify 0 into 0
3.316 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (* 0 (cbrt 7.787037037037037))) into 0
3.317 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (* 0 (pow (cbrt 7.787037037037037) 2))) into 0
3.321 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow (cbrt 7.787037037037037) 3))) into 7.787037037037037
3.321 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.323 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.324 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))) into 0
3.326 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))) into 0
3.327 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow (cbrt 7.787037037037037) 3)))) into 0
3.328 * [backup-simplify]: Simplify 0 into 0
3.329 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.331 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))) into 0
3.332 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2))))) into 0
3.334 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 3))))) into 0
3.334 * [backup-simplify]: Simplify 0 into 0
3.336 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.338 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))))) into 0
3.340 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))))) into 0
3.342 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 3)))))) into 0
3.342 * [backup-simplify]: Simplify 0 into 0
3.343 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.345 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))))) into 0
3.347 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2))))))) into 0
3.349 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 3))))))) into 0
3.349 * [backup-simplify]: Simplify 0 into 0
3.351 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.353 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))))))) into 0
3.356 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))))))) into 0
3.358 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 3)))))))) into 0
3.358 * [backup-simplify]: Simplify 0 into 0
3.360 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.362 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))))))) into 0
3.364 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2))))))))) into 0
3.366 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 3))))))))) into 0
3.366 * [backup-simplify]: Simplify 0 into 0
3.366 * [backup-simplify]: Simplify (* 7.787037037037037 x) into (* 7.787037037037037 x)
3.370 * [backup-simplify]: Simplify (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (/ 1 x))) into (/ (pow (cbrt 7.787037037037037) 3) x)
3.370 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in (x) around 0
3.370 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in x
3.370 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x
3.370 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.370 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.370 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.371 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.372 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.372 * [taylor]: Taking taylor expansion of x in x
3.372 * [backup-simplify]: Simplify 0 into 0
3.372 * [backup-simplify]: Simplify 1 into 1
3.373 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (cbrt 7.787037037037037)) into (pow (cbrt 7.787037037037037) 2)
3.375 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (pow (cbrt 7.787037037037037) 2)) into (pow (cbrt 7.787037037037037) 3)
3.377 * [backup-simplify]: Simplify (/ (pow (cbrt 7.787037037037037) 3) 1) into 7.787037037037037
3.377 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in x
3.377 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x
3.377 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.377 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.377 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.378 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.379 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.379 * [taylor]: Taking taylor expansion of x in x
3.379 * [backup-simplify]: Simplify 0 into 0
3.379 * [backup-simplify]: Simplify 1 into 1
3.380 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (cbrt 7.787037037037037)) into (pow (cbrt 7.787037037037037) 2)
3.382 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (pow (cbrt 7.787037037037037) 2)) into (pow (cbrt 7.787037037037037) 3)
3.384 * [backup-simplify]: Simplify (/ (pow (cbrt 7.787037037037037) 3) 1) into 7.787037037037037
3.384 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.385 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (* 0 (cbrt 7.787037037037037))) into 0
3.386 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (* 0 (pow (cbrt 7.787037037037037) 2))) into 0
3.387 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)))) into 0
3.387 * [backup-simplify]: Simplify 0 into 0
3.389 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.390 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))) into 0
3.392 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))) into 0
3.393 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.393 * [backup-simplify]: Simplify 0 into 0
3.394 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.396 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))) into 0
3.397 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2))))) into 0
3.398 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.398 * [backup-simplify]: Simplify 0 into 0
3.400 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.401 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))))) into 0
3.402 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))))) into 0
3.403 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.403 * [backup-simplify]: Simplify 0 into 0
3.404 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.405 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))))) into 0
3.407 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2))))))) into 0
3.407 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.407 * [backup-simplify]: Simplify 0 into 0
3.409 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.410 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))))))) into 0
3.411 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))))))) into 0
3.412 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.412 * [backup-simplify]: Simplify 0 into 0
3.413 * [backup-simplify]: Simplify (* 7.787037037037037 (/ 1 (/ 1 x))) into (* 7.787037037037037 x)
3.415 * [backup-simplify]: Simplify (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (/ 1 (- x)))) into (* -1 (/ (pow (cbrt 7.787037037037037) 3) x))
3.415 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (cbrt 7.787037037037037) 3) x)) in (x) around 0
3.415 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 7.787037037037037) 3) x)) in x
3.416 * [taylor]: Taking taylor expansion of -1 in x
3.416 * [backup-simplify]: Simplify -1 into -1
3.416 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in x
3.416 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x
3.416 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.416 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.416 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.416 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.417 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.417 * [taylor]: Taking taylor expansion of x in x
3.417 * [backup-simplify]: Simplify 0 into 0
3.417 * [backup-simplify]: Simplify 1 into 1
3.418 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (cbrt 7.787037037037037)) into (pow (cbrt 7.787037037037037) 2)
3.419 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (pow (cbrt 7.787037037037037) 2)) into (pow (cbrt 7.787037037037037) 3)
3.420 * [backup-simplify]: Simplify (/ (pow (cbrt 7.787037037037037) 3) 1) into 7.787037037037037
3.421 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 7.787037037037037) 3) x)) in x
3.421 * [taylor]: Taking taylor expansion of -1 in x
3.421 * [backup-simplify]: Simplify -1 into -1
3.421 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in x
3.421 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x
3.421 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.421 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.421 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.421 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.425 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.425 * [taylor]: Taking taylor expansion of x in x
3.425 * [backup-simplify]: Simplify 0 into 0
3.425 * [backup-simplify]: Simplify 1 into 1
3.427 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (cbrt 7.787037037037037)) into (pow (cbrt 7.787037037037037) 2)
3.428 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (pow (cbrt 7.787037037037037) 2)) into (pow (cbrt 7.787037037037037) 3)
3.430 * [backup-simplify]: Simplify (/ (pow (cbrt 7.787037037037037) 3) 1) into 7.787037037037037
3.430 * [backup-simplify]: Simplify (* -1 7.787037037037037) into -7.787037037037037
3.430 * [backup-simplify]: Simplify -7.787037037037037 into -7.787037037037037
3.431 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (* 0 (cbrt 7.787037037037037))) into 0
3.432 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (* 0 (pow (cbrt 7.787037037037037) 2))) into 0
3.432 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)))) into 0
3.433 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 7.787037037037037)) into 0
3.433 * [backup-simplify]: Simplify 0 into 0
3.434 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.435 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))) into 0
3.435 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))) into 0
3.436 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.437 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 7.787037037037037))) into 0
3.437 * [backup-simplify]: Simplify 0 into 0
3.438 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.439 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))) into 0
3.440 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2))))) into 0
3.441 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.442 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 7.787037037037037)))) into 0
3.442 * [backup-simplify]: Simplify 0 into 0
3.443 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.444 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))))) into 0
3.445 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))))) into 0
3.446 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.447 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 7.787037037037037))))) into 0
3.447 * [backup-simplify]: Simplify 0 into 0
3.448 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.449 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))))) into 0
3.450 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2))))))) into 0
3.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.452 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 7.787037037037037)))))) into 0
3.452 * [backup-simplify]: Simplify 0 into 0
3.454 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.455 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))))))) into 0
3.456 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))))))) into 0
3.457 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.458 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 7.787037037037037))))))) into 0
3.458 * [backup-simplify]: Simplify 0 into 0
3.459 * [backup-simplify]: Simplify (* -7.787037037037037 (/ 1 (/ 1 (- x)))) into (* 7.787037037037037 x)
3.459 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
3.460 * [backup-simplify]: Simplify (* (cbrt (/ 841.0 108.0)) x) into (* x (cbrt 7.787037037037037))
3.460 * [approximate]: Taking taylor expansion of (* x (cbrt 7.787037037037037)) in (x) around 0
3.460 * [taylor]: Taking taylor expansion of (* x (cbrt 7.787037037037037)) in x
3.460 * [taylor]: Taking taylor expansion of x in x
3.460 * [backup-simplify]: Simplify 0 into 0
3.460 * [backup-simplify]: Simplify 1 into 1
3.460 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.460 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.460 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.460 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.461 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.461 * [taylor]: Taking taylor expansion of (* x (cbrt 7.787037037037037)) in x
3.461 * [taylor]: Taking taylor expansion of x in x
3.461 * [backup-simplify]: Simplify 0 into 0
3.461 * [backup-simplify]: Simplify 1 into 1
3.461 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.461 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.461 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.462 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.462 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.463 * [backup-simplify]: Simplify (* 0 (cbrt 7.787037037037037)) into 0
3.463 * [backup-simplify]: Simplify 0 into 0
3.464 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (cbrt 7.787037037037037))) into (cbrt 7.787037037037037)
3.465 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.466 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.466 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (cbrt 7.787037037037037)))) into 0
3.466 * [backup-simplify]: Simplify 0 into 0
3.467 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.468 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))) into 0
3.468 * [backup-simplify]: Simplify 0 into 0
3.470 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.471 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))))) into 0
3.471 * [backup-simplify]: Simplify 0 into 0
3.472 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.473 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))))) into 0
3.473 * [backup-simplify]: Simplify 0 into 0
3.474 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.476 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))))))) into 0
3.476 * [backup-simplify]: Simplify 0 into 0
3.477 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.478 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))))))) into 0
3.478 * [backup-simplify]: Simplify 0 into 0
3.479 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) x) into (* x (cbrt 7.787037037037037))
3.480 * [backup-simplify]: Simplify (* (cbrt (/ 841.0 108.0)) (/ 1 x)) into (/ (cbrt 7.787037037037037) x)
3.480 * [approximate]: Taking taylor expansion of (/ (cbrt 7.787037037037037) x) in (x) around 0
3.480 * [taylor]: Taking taylor expansion of (/ (cbrt 7.787037037037037) x) in x
3.480 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.480 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.480 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.480 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.481 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.481 * [taylor]: Taking taylor expansion of x in x
3.481 * [backup-simplify]: Simplify 0 into 0
3.481 * [backup-simplify]: Simplify 1 into 1
3.482 * [backup-simplify]: Simplify (/ (cbrt 7.787037037037037) 1) into (cbrt 7.787037037037037)
3.482 * [taylor]: Taking taylor expansion of (/ (cbrt 7.787037037037037) x) in x
3.482 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.482 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.482 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.482 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.482 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.483 * [taylor]: Taking taylor expansion of x in x
3.483 * [backup-simplify]: Simplify 0 into 0
3.483 * [backup-simplify]: Simplify 1 into 1
3.483 * [backup-simplify]: Simplify (/ (cbrt 7.787037037037037) 1) into (cbrt 7.787037037037037)
3.484 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.484 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 7.787037037037037) (/ 0 1)))) into 0
3.484 * [backup-simplify]: Simplify 0 into 0
3.485 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.486 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 7.787037037037037) (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.486 * [backup-simplify]: Simplify 0 into 0
3.487 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.488 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 7.787037037037037) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.488 * [backup-simplify]: Simplify 0 into 0
3.490 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.491 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 7.787037037037037) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.491 * [backup-simplify]: Simplify 0 into 0
3.492 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.492 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 7.787037037037037) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.493 * [backup-simplify]: Simplify 0 into 0
3.494 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.495 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 7.787037037037037) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.495 * [backup-simplify]: Simplify 0 into 0
3.495 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (/ 1 (/ 1 x))) into (* x (cbrt 7.787037037037037))
3.496 * [backup-simplify]: Simplify (* (cbrt (/ 841.0 108.0)) (/ 1 (- x))) into (* -1 (/ (cbrt 7.787037037037037) x))
3.496 * [approximate]: Taking taylor expansion of (* -1 (/ (cbrt 7.787037037037037) x)) in (x) around 0
3.496 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 7.787037037037037) x)) in x
3.496 * [taylor]: Taking taylor expansion of -1 in x
3.496 * [backup-simplify]: Simplify -1 into -1
3.497 * [taylor]: Taking taylor expansion of (/ (cbrt 7.787037037037037) x) in x
3.497 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.497 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.497 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.497 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.498 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.498 * [taylor]: Taking taylor expansion of x in x
3.498 * [backup-simplify]: Simplify 0 into 0
3.498 * [backup-simplify]: Simplify 1 into 1
3.499 * [backup-simplify]: Simplify (/ (cbrt 7.787037037037037) 1) into (cbrt 7.787037037037037)
3.499 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 7.787037037037037) x)) in x
3.499 * [taylor]: Taking taylor expansion of -1 in x
3.499 * [backup-simplify]: Simplify -1 into -1
3.499 * [taylor]: Taking taylor expansion of (/ (cbrt 7.787037037037037) x) in x
3.499 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.499 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.499 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.500 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.501 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.501 * [taylor]: Taking taylor expansion of x in x
3.501 * [backup-simplify]: Simplify 0 into 0
3.501 * [backup-simplify]: Simplify 1 into 1
3.502 * [backup-simplify]: Simplify (/ (cbrt 7.787037037037037) 1) into (cbrt 7.787037037037037)
3.504 * [backup-simplify]: Simplify (* -1 (cbrt 7.787037037037037)) into (* -1 (cbrt 7.787037037037037))
3.505 * [backup-simplify]: Simplify (* -1 (cbrt 7.787037037037037)) into (* -1 (cbrt 7.787037037037037))
3.506 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 7.787037037037037) (/ 0 1)))) into 0
3.507 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (cbrt 7.787037037037037))) into 0
3.507 * [backup-simplify]: Simplify 0 into 0
3.509 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.510 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 7.787037037037037) (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.512 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))) into 0
3.512 * [backup-simplify]: Simplify 0 into 0
3.513 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 7.787037037037037) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.516 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))) into 0
3.516 * [backup-simplify]: Simplify 0 into 0
3.518 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.520 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 7.787037037037037) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.521 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))))) into 0
3.522 * [backup-simplify]: Simplify 0 into 0
3.523 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.525 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 7.787037037037037) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.526 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))))) into 0
3.526 * [backup-simplify]: Simplify 0 into 0
3.528 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.530 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 7.787037037037037) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.532 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))))))) into 0
3.532 * [backup-simplify]: Simplify 0 into 0
3.533 * [backup-simplify]: Simplify (* (* -1 (cbrt 7.787037037037037)) (/ 1 (/ 1 (- x)))) into (* x (cbrt 7.787037037037037))
3.533 * * * * [progress]: [ 4 / 4 ] generating series at (2)
3.538 * [backup-simplify]: Simplify (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0)) into (+ (* x (pow (cbrt 7.787037037037037) 3)) 0.13793103448275862)
3.538 * [approximate]: Taking taylor expansion of (+ (* x (pow (cbrt 7.787037037037037) 3)) 0.13793103448275862) in (x) around 0
3.538 * [taylor]: Taking taylor expansion of (+ (* x (pow (cbrt 7.787037037037037) 3)) 0.13793103448275862) in x
3.538 * [taylor]: Taking taylor expansion of (* x (pow (cbrt 7.787037037037037) 3)) in x
3.538 * [taylor]: Taking taylor expansion of x in x
3.538 * [backup-simplify]: Simplify 0 into 0
3.538 * [backup-simplify]: Simplify 1 into 1
3.538 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x
3.538 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.538 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.538 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.539 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.539 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.539 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.539 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.539 * [taylor]: Taking taylor expansion of (+ (* x (pow (cbrt 7.787037037037037) 3)) 0.13793103448275862) in x
3.540 * [taylor]: Taking taylor expansion of (* x (pow (cbrt 7.787037037037037) 3)) in x
3.540 * [taylor]: Taking taylor expansion of x in x
3.540 * [backup-simplify]: Simplify 0 into 0
3.540 * [backup-simplify]: Simplify 1 into 1
3.540 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x
3.540 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.540 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.540 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.540 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.541 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.541 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.541 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.543 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (cbrt 7.787037037037037)) into (pow (cbrt 7.787037037037037) 2)
3.545 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (pow (cbrt 7.787037037037037) 2)) into (pow (cbrt 7.787037037037037) 3)
3.546 * [backup-simplify]: Simplify (* 0 (pow (cbrt 7.787037037037037) 3)) into 0
3.546 * [backup-simplify]: Simplify (+ 0 0.13793103448275862) into 0.13793103448275862
3.546 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.547 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (* 0 (cbrt 7.787037037037037))) into 0
3.548 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (* 0 (pow (cbrt 7.787037037037037) 2))) into 0
3.552 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow (cbrt 7.787037037037037) 3))) into 7.787037037037037
3.553 * [backup-simplify]: Simplify (+ 7.787037037037037 0) into 7.787037037037037
3.553 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.558 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.559 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))) into 0
3.560 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))) into 0
3.561 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow (cbrt 7.787037037037037) 3)))) into 0
3.562 * [backup-simplify]: Simplify (+ 0 0) into 0
3.562 * [backup-simplify]: Simplify 0 into 0
3.563 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.564 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))) into 0
3.565 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2))))) into 0
3.566 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 3))))) into 0
3.566 * [backup-simplify]: Simplify (+ 0 0) into 0
3.566 * [backup-simplify]: Simplify 0 into 0
3.568 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.569 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))))) into 0
3.570 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))))) into 0
3.571 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 3)))))) into 0
3.572 * [backup-simplify]: Simplify (+ 0 0) into 0
3.572 * [backup-simplify]: Simplify 0 into 0
3.573 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.574 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))))) into 0
3.575 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2))))))) into 0
3.576 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 3))))))) into 0
3.577 * [backup-simplify]: Simplify (+ 0 0) into 0
3.577 * [backup-simplify]: Simplify 0 into 0
3.578 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.579 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))))))) into 0
3.581 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))))))) into 0
3.582 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 3)))))))) into 0
3.583 * [backup-simplify]: Simplify (+ 0 0) into 0
3.583 * [backup-simplify]: Simplify 0 into 0
3.584 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.585 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))))))) into 0
3.587 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2))))))))) into 0
3.589 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 3))))))))) into 0
3.589 * [backup-simplify]: Simplify (+ 0 0) into 0
3.589 * [backup-simplify]: Simplify 0 into 0
3.589 * [backup-simplify]: Simplify (+ (* 7.787037037037037 x) 0.13793103448275862) into (+ (* 7.787037037037037 x) 0.13793103448275862)
3.592 * [backup-simplify]: Simplify (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (/ 1 x))) (/ 4.0 29.0)) into (+ (/ (pow (cbrt 7.787037037037037) 3) x) 0.13793103448275862)
3.592 * [approximate]: Taking taylor expansion of (+ (/ (pow (cbrt 7.787037037037037) 3) x) 0.13793103448275862) in (x) around 0
3.593 * [taylor]: Taking taylor expansion of (+ (/ (pow (cbrt 7.787037037037037) 3) x) 0.13793103448275862) in x
3.593 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in x
3.593 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x
3.593 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.593 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.593 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.593 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.593 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.594 * [taylor]: Taking taylor expansion of x in x
3.594 * [backup-simplify]: Simplify 0 into 0
3.594 * [backup-simplify]: Simplify 1 into 1
3.595 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (cbrt 7.787037037037037)) into (pow (cbrt 7.787037037037037) 2)
3.596 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (pow (cbrt 7.787037037037037) 2)) into (pow (cbrt 7.787037037037037) 3)
3.597 * [backup-simplify]: Simplify (/ (pow (cbrt 7.787037037037037) 3) 1) into 7.787037037037037
3.598 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.598 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.598 * [taylor]: Taking taylor expansion of (+ (/ (pow (cbrt 7.787037037037037) 3) x) 0.13793103448275862) in x
3.598 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in x
3.598 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x
3.598 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.598 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.598 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.598 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.599 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.599 * [taylor]: Taking taylor expansion of x in x
3.599 * [backup-simplify]: Simplify 0 into 0
3.599 * [backup-simplify]: Simplify 1 into 1
3.601 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (cbrt 7.787037037037037)) into (pow (cbrt 7.787037037037037) 2)
3.603 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (pow (cbrt 7.787037037037037) 2)) into (pow (cbrt 7.787037037037037) 3)
3.605 * [backup-simplify]: Simplify (/ (pow (cbrt 7.787037037037037) 3) 1) into 7.787037037037037
3.605 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.605 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.606 * [backup-simplify]: Simplify (+ 7.787037037037037 0) into 7.787037037037037
3.606 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.606 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (* 0 (cbrt 7.787037037037037))) into 0
3.608 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (* 0 (pow (cbrt 7.787037037037037) 2))) into 0
3.608 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)))) into 0
3.609 * [backup-simplify]: Simplify (+ 0 0.13793103448275862) into 0.13793103448275862
3.609 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.611 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.612 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))) into 0
3.613 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))) into 0
3.614 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.615 * [backup-simplify]: Simplify (+ 0 0) into 0
3.615 * [backup-simplify]: Simplify 0 into 0
3.617 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.618 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))) into 0
3.619 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2))))) into 0
3.621 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.622 * [backup-simplify]: Simplify (+ 0 0) into 0
3.622 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.625 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))))) into 0
3.627 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))))) into 0
3.628 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.629 * [backup-simplify]: Simplify (+ 0 0) into 0
3.629 * [backup-simplify]: Simplify 0 into 0
3.630 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.632 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))))) into 0
3.634 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2))))))) into 0
3.635 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.635 * [backup-simplify]: Simplify (+ 0 0) into 0
3.635 * [backup-simplify]: Simplify 0 into 0
3.637 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.639 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))))))) into 0
3.640 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))))))) into 0
3.641 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.642 * [backup-simplify]: Simplify (+ 0 0) into 0
3.642 * [backup-simplify]: Simplify 0 into 0
3.643 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.644 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))))))) into 0
3.646 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2))))))))) into 0
3.646 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.647 * [backup-simplify]: Simplify (+ 0 0) into 0
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 (/ 1 x)))) into (+ (* 7.787037037037037 x) 0.13793103448275862)
3.650 * [backup-simplify]: Simplify (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (/ 1 (- x)))) (/ 4.0 29.0)) into (- 0.13793103448275862 (/ (pow (cbrt 7.787037037037037) 3) x))
3.650 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (/ (pow (cbrt 7.787037037037037) 3) x)) in (x) around 0
3.650 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (/ (pow (cbrt 7.787037037037037) 3) x)) in x
3.650 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.650 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.650 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in x
3.650 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x
3.650 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.650 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.650 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.651 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.651 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.651 * [taylor]: Taking taylor expansion of x in x
3.651 * [backup-simplify]: Simplify 0 into 0
3.651 * [backup-simplify]: Simplify 1 into 1
3.652 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (cbrt 7.787037037037037)) into (pow (cbrt 7.787037037037037) 2)
3.654 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (pow (cbrt 7.787037037037037) 2)) into (pow (cbrt 7.787037037037037) 3)
3.655 * [backup-simplify]: Simplify (/ (pow (cbrt 7.787037037037037) 3) 1) into 7.787037037037037
3.655 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (/ (pow (cbrt 7.787037037037037) 3) x)) in x
3.655 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.655 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.655 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 7.787037037037037) 3) x) in x
3.655 * [taylor]: Taking taylor expansion of (pow (cbrt 7.787037037037037) 3) in x
3.655 * [taylor]: Taking taylor expansion of (cbrt 7.787037037037037) in x
3.655 * [taylor]: Taking taylor expansion of 7.787037037037037 in x
3.655 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037
3.656 * [backup-simplify]: Simplify (cbrt 7.787037037037037) into (cbrt 7.787037037037037)
3.656 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 7.787037037037037))) into 0
3.656 * [taylor]: Taking taylor expansion of x in x
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify 1 into 1
3.657 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (cbrt 7.787037037037037)) into (pow (cbrt 7.787037037037037) 2)
3.659 * [backup-simplify]: Simplify (* (cbrt 7.787037037037037) (pow (cbrt 7.787037037037037) 2)) into (pow (cbrt 7.787037037037037) 3)
3.660 * [backup-simplify]: Simplify (/ (pow (cbrt 7.787037037037037) 3) 1) into 7.787037037037037
3.661 * [backup-simplify]: Simplify (- 7.787037037037037) into (- 7.787037037037037)
3.661 * [backup-simplify]: Simplify (+ 0 (- 7.787037037037037)) into (- 7.787037037037037)
3.662 * [backup-simplify]: Simplify (- 7.787037037037037) into (- 7.787037037037037)
3.662 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (* 0 (cbrt 7.787037037037037))) into 0
3.663 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (* 0 (pow (cbrt 7.787037037037037) 2))) into 0
3.663 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)))) into 0
3.664 * [backup-simplify]: Simplify (- 0) into 0
3.664 * [backup-simplify]: Simplify (+ 0.13793103448275862 0) into 0.13793103448275862
3.664 * [backup-simplify]: Simplify 0.13793103448275862 into 0.13793103448275862
3.665 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.666 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))) into 0
3.667 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))) into 0
3.668 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.668 * [backup-simplify]: Simplify (- 0) into 0
3.669 * [backup-simplify]: Simplify (+ 0 0) into 0
3.669 * [backup-simplify]: Simplify 0 into 0
3.670 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.671 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))) into 0
3.672 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2))))) into 0
3.673 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.673 * [backup-simplify]: Simplify (- 0) into 0
3.674 * [backup-simplify]: Simplify (+ 0 0) into 0
3.674 * [backup-simplify]: Simplify 0 into 0
3.675 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.676 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))))) into 0
3.677 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))))) into 0
3.678 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.678 * [backup-simplify]: Simplify (- 0) into 0
3.679 * [backup-simplify]: Simplify (+ 0 0) into 0
3.679 * [backup-simplify]: Simplify 0 into 0
3.682 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.684 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))))) into 0
3.685 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2))))))) into 0
3.686 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.686 * [backup-simplify]: Simplify (- 0) into 0
3.687 * [backup-simplify]: Simplify (+ 0 0) into 0
3.687 * [backup-simplify]: Simplify 0 into 0
3.688 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 7.787037037037037))))) (* 3 (cbrt 7.787037037037037))) into 0
3.689 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037)))))))) into 0
3.691 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2)))))))) into 0
3.691 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.692 * [backup-simplify]: Simplify (- 0) into 0
3.692 * [backup-simplify]: Simplify (+ 0 0) into 0
3.692 * [backup-simplify]: Simplify 0 into 0
3.693 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 7.787037037037037))) into 0
3.695 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 7.787037037037037))))))))) into 0
3.696 * [backup-simplify]: Simplify (+ (* (cbrt 7.787037037037037) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 7.787037037037037) 2))))))))) into 0
3.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.697 * [backup-simplify]: Simplify (- 0) into 0
3.698 * [backup-simplify]: Simplify (+ 0 0) into 0
3.698 * [backup-simplify]: Simplify 0 into 0
3.698 * [backup-simplify]: Simplify (+ 0.13793103448275862 (* (- 7.787037037037037) (/ 1 (/ 1 (- x))))) into (+ (* 7.787037037037037 x) 0.13793103448275862)
3.698 * * * [progress]: simplifying candidates
3.701 * [simplify]: Simplifying:
  (+ 1/3 1/3)
  (+ 1 1)
  (* (/ 841.0 108.0) (/ 841.0 108.0))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
  (+ 1 1)
  (+ (log (cbrt (/ 841.0 108.0))) (log (cbrt (/ 841.0 108.0))))
  (log (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))))
  (exp (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))))
  (* (/ 841.0 108.0) (/ 841.0 108.0))
  (* (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))))
  (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))))
  (* (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))))
  (sqrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))))
  (sqrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))))
  (* (cbrt 841.0) (cbrt 841.0))
  (* (cbrt 108.0) (cbrt 108.0))
  (* (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))))
  (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (cbrt (/ 841.0 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0))))
  (* (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt 108.0) (cbrt 108.0)))) (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt 108.0) (cbrt 108.0)))))
  (* (cbrt (/ (cbrt 841.0) (cbrt 108.0))) (cbrt (/ (cbrt 841.0) (cbrt 108.0))))
  (* (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (sqrt 108.0))) (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (sqrt 108.0))))
  (* (cbrt (/ (cbrt 841.0) (sqrt 108.0))) (cbrt (/ (cbrt 841.0) (sqrt 108.0))))
  (* (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) 1)) (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) 1)))
  (* (cbrt (/ (cbrt 841.0) 108.0)) (cbrt (/ (cbrt 841.0) 108.0)))
  (* (cbrt (/ (sqrt 841.0) (* (cbrt 108.0) (cbrt 108.0)))) (cbrt (/ (sqrt 841.0) (* (cbrt 108.0) (cbrt 108.0)))))
  (* (cbrt (/ (sqrt 841.0) (cbrt 108.0))) (cbrt (/ (sqrt 841.0) (cbrt 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (cbrt (/ (sqrt 841.0) 1)) (cbrt (/ (sqrt 841.0) 1)))
  (* (cbrt (/ (sqrt 841.0) 108.0)) (cbrt (/ (sqrt 841.0) 108.0)))
  (* (cbrt (/ 1 (* (cbrt 108.0) (cbrt 108.0)))) (cbrt (/ 1 (* (cbrt 108.0) (cbrt 108.0)))))
  (* (cbrt (/ 841.0 (cbrt 108.0))) (cbrt (/ 841.0 (cbrt 108.0))))
  (* (cbrt (/ 1 (sqrt 108.0))) (cbrt (/ 1 (sqrt 108.0))))
  (* (cbrt (/ 841.0 (sqrt 108.0))) (cbrt (/ 841.0 (sqrt 108.0))))
  (* (cbrt (/ 1 1)) (cbrt (/ 1 1)))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
  (* (cbrt 841.0) (cbrt 841.0))
  (* (cbrt (/ 1 108.0)) (cbrt (/ 1 108.0)))
  (* (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (cbrt (/ 841.0 108.0)))) (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (cbrt (/ 841.0 108.0)))))
  (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (cbrt (/ 841.0 108.0))))
  (* (sqrt (cbrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0))))
  (* (sqrt (cbrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0))))
  (* 1 1)
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
  (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (sqrt (/ 841.0 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (sqrt (/ 841.0 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt (cbrt (/ 841.0 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt (cbrt (/ 841.0 108.0))))
  (* (sqrt (cbrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0))))
  (* (sqrt (cbrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0))))
  (* (sqrt (cbrt (/ 841.0 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (sqrt (cbrt (/ 841.0 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (sqrt (cbrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0))))
  (* (sqrt (cbrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (/ 841.0 108.0)) (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))))
  (* (cbrt (/ 841.0 108.0)) (cbrt (sqrt (/ 841.0 108.0))))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt 108.0) (cbrt 108.0)))))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (sqrt 108.0))))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) 1)))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ (sqrt 841.0) (* (cbrt 108.0) (cbrt 108.0)))))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ (sqrt 841.0) 1)))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 1 (* (cbrt 108.0) (cbrt 108.0)))))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 1 (sqrt 108.0))))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 1 1)))
  (* (cbrt (/ 841.0 108.0)) (cbrt 1))
  (* (cbrt (/ 841.0 108.0)) (cbrt 841.0))
  (* (cbrt (/ 841.0 108.0)) (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (cbrt (/ 841.0 108.0)))))
  (* (cbrt (/ 841.0 108.0)) (sqrt (cbrt (/ 841.0 108.0))))
  (* (cbrt (/ 841.0 108.0)) 1)
  (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ (cbrt 841.0) (cbrt 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ (cbrt 841.0) (sqrt 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ (cbrt 841.0) 108.0)) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ (sqrt 841.0) (cbrt 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ (sqrt 841.0) 108.0)) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 841.0 (cbrt 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 841.0 (sqrt 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 1 108.0)) (cbrt (/ 841.0 108.0)))
  (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0)))
  (* (sqrt (cbrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 841.0 108.0)) (cbrt 841.0))
  (* (cbrt 841.0) (cbrt (/ 841.0 108.0)))
  (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))
  (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))
  (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))
  (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))
  (+ (+ (log (cbrt (/ 841.0 108.0))) (log (cbrt (/ 841.0 108.0)))) (+ (log (cbrt (/ 841.0 108.0))) (log x)))
  (+ (+ (log (cbrt (/ 841.0 108.0))) (log (cbrt (/ 841.0 108.0)))) (log (* (cbrt (/ 841.0 108.0)) x)))
  (+ (log (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (+ (log (cbrt (/ 841.0 108.0))) (log x)))
  (+ (log (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (log (* (cbrt (/ 841.0 108.0)) x)))
  (log (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)))
  (exp (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)))
  (* (* (/ 841.0 108.0) (/ 841.0 108.0)) (* (/ 841.0 108.0) (* (* x x) x)))
  (* (* (/ 841.0 108.0) (/ 841.0 108.0)) (* (* (* (cbrt (/ 841.0 108.0)) x) (* (cbrt (/ 841.0 108.0)) x)) (* (cbrt (/ 841.0 108.0)) x)))
  (* (* (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (* (/ 841.0 108.0) (* (* x x) x)))
  (* (* (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (* (* (* (cbrt (/ 841.0 108.0)) x) (* (cbrt (/ 841.0 108.0)) x)) (* (cbrt (/ 841.0 108.0)) x)))
  (* (cbrt (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))) (cbrt (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))))
  (cbrt (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)))
  (* (* (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))) (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)))
  (sqrt (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)))
  (sqrt (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)))
  (* (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt 841.0) x))
  (* (* (cbrt 108.0) (cbrt 108.0)) (cbrt 108.0))
  (* (* (cbrt (/ 841.0 108.0)) (cbrt 841.0)) (* (cbrt 841.0) x))
  (* (cbrt 108.0) (cbrt 108.0))
  (* (* (cbrt 841.0) (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) x))
  (* (cbrt 108.0) (cbrt 108.0))
  (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 841.0 108.0)) (* (cbrt (/ 841.0 108.0)) x))
  (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) x))
  (* (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt (/ 841.0 108.0)) x))
  (* (* (cbrt (/ 841.0 108.0)) (cbrt 841.0)) (* (cbrt (/ 841.0 108.0)) x))
  (* (* (cbrt 841.0) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))
  (* (cbrt (/ 841.0 108.0)) x)
  (+ (log (cbrt (/ 841.0 108.0))) (log x))
  (log (* (cbrt (/ 841.0 108.0)) x))
  (exp (* (cbrt (/ 841.0 108.0)) x))
  (* (/ 841.0 108.0) (* (* x x) x))
  (* (cbrt (* (cbrt (/ 841.0 108.0)) x)) (cbrt (* (cbrt (/ 841.0 108.0)) x)))
  (cbrt (* (cbrt (/ 841.0 108.0)) x))
  (* (* (* (cbrt (/ 841.0 108.0)) x) (* (cbrt (/ 841.0 108.0)) x)) (* (cbrt (/ 841.0 108.0)) x))
  (sqrt (* (cbrt (/ 841.0 108.0)) x))
  (sqrt (* (cbrt (/ 841.0 108.0)) x))
  (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt x))
  (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt x))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt x))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt x))
  (* (sqrt (cbrt (/ 841.0 108.0))) (sqrt x))
  (* (sqrt (cbrt (/ 841.0 108.0))) (sqrt x))
  (* (cbrt (/ 841.0 108.0)) (* (cbrt x) (cbrt x)))
  (* (cbrt (/ 841.0 108.0)) (sqrt x))
  (* (cbrt (/ 841.0 108.0)) 1)
  (* (cbrt (cbrt (/ 841.0 108.0))) x)
  (* (cbrt (sqrt (/ 841.0 108.0))) x)
  (* (cbrt (/ (cbrt 841.0) (cbrt 108.0))) x)
  (* (cbrt (/ (cbrt 841.0) (sqrt 108.0))) x)
  (* (cbrt (/ (cbrt 841.0) 108.0)) x)
  (* (cbrt (/ (sqrt 841.0) (cbrt 108.0))) x)
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) x)
  (* (cbrt (/ (sqrt 841.0) 108.0)) x)
  (* (cbrt (/ 841.0 (cbrt 108.0))) x)
  (* (cbrt (/ 841.0 (sqrt 108.0))) x)
  (* (cbrt (/ 841.0 108.0)) x)
  (* (cbrt (/ 841.0 108.0)) x)
  (* (cbrt (/ 1 108.0)) x)
  (* (cbrt (cbrt (/ 841.0 108.0))) x)
  (* (sqrt (cbrt (/ 841.0 108.0))) x)
  (* (cbrt (/ 841.0 108.0)) x)
  (* (cbrt 841.0) x)
  (* (exp (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))) (exp (/ 4.0 29.0)))
  (log (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0)))
  (exp (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0)))
  (* (cbrt (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))) (cbrt (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))))
  (cbrt (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0)))
  (* (* (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0)) (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))) (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0)))
  (sqrt (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0)))
  (sqrt (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0)))
  (+ (* (* (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt 841.0) x)) 29.0) (* (* (* (cbrt 108.0) (cbrt 108.0)) (cbrt 108.0)) 4.0))
  (* (* (* (cbrt 108.0) (cbrt 108.0)) (cbrt 108.0)) 29.0)
  (+ (* (* (* (cbrt (/ 841.0 108.0)) (cbrt 841.0)) (* (cbrt 841.0) x)) 29.0) (* (* (cbrt 108.0) (cbrt 108.0)) 4.0))
  (* (* (cbrt 108.0) (cbrt 108.0)) 29.0)
  (+ (* (* (* (cbrt 841.0) (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) x)) 29.0) (* (* (cbrt 108.0) (cbrt 108.0)) 4.0))
  (* (* (cbrt 108.0) (cbrt 108.0)) 29.0)
  (+ (* (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) x)) 29.0) (* (cbrt 108.0) 4.0))
  (* (cbrt 108.0) 29.0)
  (+ (* (* (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt (/ 841.0 108.0)) x)) 29.0) (* (* (cbrt 108.0) (cbrt 108.0)) 4.0))
  (* (* (cbrt 108.0) (cbrt 108.0)) 29.0)
  (+ (* (* (* (cbrt (/ 841.0 108.0)) (cbrt 841.0)) (* (cbrt (/ 841.0 108.0)) x)) 29.0) (* (cbrt 108.0) 4.0))
  (* (cbrt 108.0) 29.0)
  (+ (* (* (* (cbrt 841.0) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) 29.0) (* (cbrt 108.0) 4.0))
  (* (cbrt 108.0) 29.0)
  (+ (pow (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) 3) (pow (/ 4.0 29.0) 3))
  (+ (* (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))) (- (* (/ 4.0 29.0) (/ 4.0 29.0)) (* (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))))
  (- (* (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))) (* (/ 4.0 29.0) (/ 4.0 29.0)))
  (- (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))
  (* (cbrt (/ 841.0 108.0)) x)
  (* 7.787037037037037 x)
  (* 7.787037037037037 x)
  (* 7.787037037037037 x)
  (* x (cbrt 7.787037037037037))
  (* x (cbrt 7.787037037037037))
  (* x (cbrt 7.787037037037037))
  (+ (* 7.787037037037037 x) 0.13793103448275862)
  (+ (* 7.787037037037037 x) 0.13793103448275862)
  (+ (* 7.787037037037037 x) 0.13793103448275862)
3.704 * * [simplify]: iteration 0: 235 enodes
3.774 * * [simplify]: iteration 1: 516 enodes
3.942 * * [simplify]: iteration 2: 1562 enodes
5.035 * * [simplify]: iteration complete: 5000 enodes
5.035 * * [simplify]: Extracting #0: cost 114 inf + 0
5.038 * * [simplify]: Extracting #1: cost 589 inf + 4
5.048 * * [simplify]: Extracting #2: cost 1381 inf + 4027
5.082 * * [simplify]: Extracting #3: cost 1173 inf + 105030
5.163 * * [simplify]: Extracting #4: cost 274 inf + 354829
5.258 * * [simplify]: Extracting #5: cost 36 inf + 432467
5.351 * * [simplify]: Extracting #6: cost 3 inf + 442888
5.450 * * [simplify]: Extracting #7: cost 0 inf + 443737
5.547 * [simplify]: Simplified to:
  2/3
  2
  (* (/ 841.0 108.0) (/ 841.0 108.0))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
  2
  (log (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))))
  (log (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))))
  (exp (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))))
  (* (/ 841.0 108.0) (/ 841.0 108.0))
  (* (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))))
  (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))))
  (* (/ 841.0 108.0) (/ 841.0 108.0))
  (fabs (cbrt (/ 841.0 108.0)))
  (fabs (cbrt (/ 841.0 108.0)))
  (* (cbrt 841.0) (cbrt 841.0))
  (* (cbrt 108.0) (cbrt 108.0))
  (* (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))))
  (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (cbrt (/ 841.0 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0))))
  (* (cbrt (* (/ (cbrt 841.0) (cbrt 108.0)) (/ (cbrt 841.0) (cbrt 108.0)))) (cbrt (* (/ (cbrt 841.0) (cbrt 108.0)) (/ (cbrt 841.0) (cbrt 108.0)))))
  (* (cbrt (/ (cbrt 841.0) (cbrt 108.0))) (cbrt (/ (cbrt 841.0) (cbrt 108.0))))
  (* (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (sqrt 108.0))) (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (sqrt 108.0))))
  (* (cbrt (/ (cbrt 841.0) (sqrt 108.0))) (cbrt (/ (cbrt 841.0) (sqrt 108.0))))
  (* (cbrt (* (cbrt 841.0) (cbrt 841.0))) (cbrt (* (cbrt 841.0) (cbrt 841.0))))
  (* (cbrt (/ (cbrt 841.0) 108.0)) (cbrt (/ (cbrt 841.0) 108.0)))
  (* (cbrt (/ (/ (sqrt 841.0) (cbrt 108.0)) (cbrt 108.0))) (cbrt (/ (/ (sqrt 841.0) (cbrt 108.0)) (cbrt 108.0))))
  (* (cbrt (/ (sqrt 841.0) (cbrt 108.0))) (cbrt (/ (sqrt 841.0) (cbrt 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (cbrt (sqrt 841.0)) (cbrt (sqrt 841.0)))
  (* (cbrt (/ (sqrt 841.0) 108.0)) (cbrt (/ (sqrt 841.0) 108.0)))
  (* (cbrt (/ 1 (* (cbrt 108.0) (cbrt 108.0)))) (cbrt (/ 1 (* (cbrt 108.0) (cbrt 108.0)))))
  (* (cbrt (/ 841.0 (cbrt 108.0))) (cbrt (/ 841.0 (cbrt 108.0))))
  (* (cbrt (/ 1 (sqrt 108.0))) (cbrt (/ 1 (sqrt 108.0))))
  (* (cbrt (/ 841.0 (sqrt 108.0))) (cbrt (/ 841.0 (sqrt 108.0))))
  1
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
  1
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
  (* (cbrt 841.0) (cbrt 841.0))
  (* (cbrt (/ 1 108.0)) (cbrt (/ 1 108.0)))
  (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (cbrt (/ 841.0 108.0))))
  (cbrt (/ 841.0 108.0))
  (cbrt (/ 841.0 108.0))
  1
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
  (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (sqrt (/ 841.0 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt (cbrt (/ 841.0 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt (cbrt (/ 841.0 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt (cbrt (/ 841.0 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt (cbrt (/ 841.0 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt (cbrt (/ 841.0 108.0))))
  (cbrt (/ 841.0 108.0))
  (cbrt (/ 841.0 108.0))
  2/3
  2
  (* (cbrt (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (* (/ (cbrt 841.0) (cbrt 108.0)) (/ (cbrt 841.0) (cbrt 108.0)))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ (* (cbrt 841.0) (cbrt 841.0)) (sqrt 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (* (cbrt 841.0) (cbrt 841.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ (/ (sqrt 841.0) (cbrt 108.0)) (cbrt 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (sqrt 841.0)) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 1 (* (cbrt 108.0) (cbrt 108.0)))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 1 (sqrt 108.0))))
  (cbrt (/ 841.0 108.0))
  (cbrt (/ 841.0 108.0))
  (* (cbrt (/ 841.0 108.0)) (cbrt 841.0))
  (* (cbrt (cbrt (/ 841.0 108.0))) (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0))))
  (* (sqrt (cbrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0)))
  (cbrt (/ 841.0 108.0))
  (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (sqrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ (cbrt 841.0) (cbrt 108.0))))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ (cbrt 841.0) (sqrt 108.0))))
  (* (cbrt (/ (cbrt 841.0) 108.0)) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ (sqrt 841.0) (cbrt 108.0))))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ (sqrt 841.0) 108.0)) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 841.0 (cbrt 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 (sqrt 108.0))))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 1 108.0)))
  (* (cbrt (cbrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0)))
  (* (sqrt (cbrt (/ 841.0 108.0))) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 841.0 108.0)) (cbrt 841.0))
  (* (cbrt (/ 841.0 108.0)) (cbrt 841.0))
  (* x (/ 841.0 108.0))
  (* x (/ 841.0 108.0))
  (* x (/ 841.0 108.0))
  (* x (/ 841.0 108.0))
  (log (* x (/ 841.0 108.0)))
  (log (* x (/ 841.0 108.0)))
  (log (* x (/ 841.0 108.0)))
  (log (* x (/ 841.0 108.0)))
  (log (* x (/ 841.0 108.0)))
  (exp (* x (/ 841.0 108.0)))
  (* (* (* x (/ 841.0 108.0)) (* x (/ 841.0 108.0))) (* x (/ 841.0 108.0)))
  (* (* (* x (/ 841.0 108.0)) (* x (/ 841.0 108.0))) (* x (/ 841.0 108.0)))
  (* (* (* x (/ 841.0 108.0)) (* x (/ 841.0 108.0))) (* x (/ 841.0 108.0)))
  (* (* (* x (/ 841.0 108.0)) (* x (/ 841.0 108.0))) (* x (/ 841.0 108.0)))
  (* (cbrt (* x (/ 841.0 108.0))) (cbrt (* x (/ 841.0 108.0))))
  (cbrt (* x (/ 841.0 108.0)))
  (* (* (* x (/ 841.0 108.0)) (* x (/ 841.0 108.0))) (* x (/ 841.0 108.0)))
  (sqrt (* x (/ 841.0 108.0)))
  (sqrt (* x (/ 841.0 108.0)))
  (* (* (cbrt 841.0) (cbrt 841.0)) (* (cbrt 841.0) x))
  108.0
  (* (cbrt 841.0) (* (* x (cbrt (/ 841.0 108.0))) (cbrt 841.0)))
  (* (cbrt 108.0) (cbrt 108.0))
  (* (cbrt 841.0) (* (* x (cbrt (/ 841.0 108.0))) (cbrt 841.0)))
  (* (cbrt 108.0) (cbrt 108.0))
  (/ 841.0 108.0)
  (* (* (cbrt (/ 841.0 108.0)) x) (cbrt (/ 841.0 108.0)))
  (* (cbrt 841.0) (* (* (cbrt (/ 841.0 108.0)) x) (cbrt (/ 841.0 108.0))))
  (* (cbrt 841.0) (* (* x (cbrt (/ 841.0 108.0))) (cbrt 841.0)))
  (* (cbrt 841.0) (* (* (cbrt (/ 841.0 108.0)) x) (cbrt (/ 841.0 108.0))))
  (* (cbrt 841.0) (* (* (cbrt (/ 841.0 108.0)) x) (cbrt (/ 841.0 108.0))))
  (* x (cbrt (/ 841.0 108.0)))
  (log (* x (cbrt (/ 841.0 108.0))))
  (log (* x (cbrt (/ 841.0 108.0))))
  (exp (* x (cbrt (/ 841.0 108.0))))
  (/ (* 841.0 (* (* x x) x)) 108.0)
  (* (cbrt (* x (cbrt (/ 841.0 108.0)))) (cbrt (* x (cbrt (/ 841.0 108.0)))))
  (cbrt (* x (cbrt (/ 841.0 108.0))))
  (/ (* 841.0 (* (* x x) x)) 108.0)
  (sqrt (* x (cbrt (/ 841.0 108.0))))
  (sqrt (* x (cbrt (/ 841.0 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt x))
  (* (cbrt (sqrt (/ 841.0 108.0))) (sqrt x))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt x))
  (* (cbrt (/ (sqrt 841.0) (sqrt 108.0))) (sqrt x))
  (* (sqrt (cbrt (/ 841.0 108.0))) (sqrt x))
  (* (sqrt (cbrt (/ 841.0 108.0))) (sqrt x))
  (* (* (cbrt (/ 841.0 108.0)) (cbrt x)) (cbrt x))
  (* (sqrt x) (cbrt (/ 841.0 108.0)))
  (cbrt (/ 841.0 108.0))
  (* x (cbrt (cbrt (/ 841.0 108.0))))
  (* (cbrt (sqrt (/ 841.0 108.0))) x)
  (* x (cbrt (/ (cbrt 841.0) (cbrt 108.0))))
  (* (cbrt (/ (cbrt 841.0) (sqrt 108.0))) x)
  (* (cbrt (/ (cbrt 841.0) 108.0)) x)
  (* (cbrt (/ (sqrt 841.0) (cbrt 108.0))) x)
  (* x (cbrt (/ (sqrt 841.0) (sqrt 108.0))))
  (* (cbrt (/ (sqrt 841.0) 108.0)) x)
  (* x (cbrt (/ 841.0 (cbrt 108.0))))
  (* x (cbrt (/ 841.0 (sqrt 108.0))))
  (* x (cbrt (/ 841.0 108.0)))
  (* x (cbrt (/ 841.0 108.0)))
  (* (cbrt (/ 1 108.0)) x)
  (* x (cbrt (cbrt (/ 841.0 108.0))))
  (* x (sqrt (cbrt (/ 841.0 108.0))))
  (* x (cbrt (/ 841.0 108.0)))
  (* (cbrt 841.0) x)
  (exp (+ (/ 4.0 29.0) (* x (/ 841.0 108.0))))
  (log (+ (/ 4.0 29.0) (* x (/ 841.0 108.0))))
  (exp (+ (/ 4.0 29.0) (* x (/ 841.0 108.0))))
  (* (cbrt (+ (/ 4.0 29.0) (* x (/ 841.0 108.0)))) (cbrt (+ (/ 4.0 29.0) (* x (/ 841.0 108.0)))))
  (cbrt (+ (/ 4.0 29.0) (* x (/ 841.0 108.0))))
  (* (* (+ (/ 4.0 29.0) (* x (/ 841.0 108.0))) (+ (/ 4.0 29.0) (* x (/ 841.0 108.0)))) (+ (/ 4.0 29.0) (* x (/ 841.0 108.0))))
  (sqrt (+ (/ 4.0 29.0) (* x (/ 841.0 108.0))))
  (sqrt (+ (/ 4.0 29.0) (* x (/ 841.0 108.0))))
  (+ (* 108.0 4.0) (* (* (* (cbrt 841.0) (cbrt 841.0)) (cbrt 841.0)) (* x 29.0)))
  (* 108.0 29.0)
  (+ (* (cbrt 108.0) (* 4.0 (cbrt 108.0))) (* (cbrt 841.0) (* (* x (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) 29.0))))
  (* (cbrt 108.0) (* (cbrt 108.0) 29.0))
  (+ (* (cbrt 108.0) (* 4.0 (cbrt 108.0))) (* (cbrt 841.0) (* (* x (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) 29.0))))
  (* (cbrt 108.0) (* (cbrt 108.0) 29.0))
  (+ (* 4.0 (cbrt 108.0)) (* (* (* (cbrt (/ 841.0 108.0)) x) (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) 29.0)))
  (* (cbrt 108.0) 29.0)
  (+ (* (cbrt 108.0) (* 4.0 (cbrt 108.0))) (* (cbrt 841.0) (* (* x (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) 29.0))))
  (* (cbrt 108.0) (* (cbrt 108.0) 29.0))
  (+ (* 4.0 (cbrt 108.0)) (* (* (* (cbrt (/ 841.0 108.0)) x) (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) 29.0)))
  (* (cbrt 108.0) 29.0)
  (+ (* 4.0 (cbrt 108.0)) (* (* (* (cbrt (/ 841.0 108.0)) x) (cbrt (/ 841.0 108.0))) (* (cbrt 841.0) 29.0)))
  (* (cbrt 108.0) 29.0)
  (+ (* (* (* x (/ 841.0 108.0)) (* x (/ 841.0 108.0))) (* x (/ 841.0 108.0))) (* (/ 4.0 29.0) (* (/ 4.0 29.0) (/ 4.0 29.0))))
  (+ (* (* x (/ 841.0 108.0)) (* x (/ 841.0 108.0))) (* (/ 4.0 29.0) (- (/ 4.0 29.0) (* x (/ 841.0 108.0)))))
  (* (+ (/ 4.0 29.0) (* x (/ 841.0 108.0))) (- (* x (/ 841.0 108.0)) (/ 4.0 29.0)))
  (- (* x (/ 841.0 108.0)) (/ 4.0 29.0))
  (* x (cbrt (/ 841.0 108.0)))
  (* 7.787037037037037 x)
  (* 7.787037037037037 x)
  (* 7.787037037037037 x)
  (* (cbrt 7.787037037037037) x)
  (* (cbrt 7.787037037037037) x)
  (* (cbrt 7.787037037037037) x)
  (+ (* 7.787037037037037 x) 0.13793103448275862)
  (+ (* 7.787037037037037 x) 0.13793103448275862)
  (+ (* 7.787037037037037 x) 0.13793103448275862)
5.568 * * * [progress]: adding candidates to table
6.476 * [progress]: [Phase 3 of 3] Extracting.
6.476 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0)))> #<alt (λ (x) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))>)
6.476 * * * [regime-changes]: Trying 3 branch expressions: ((* (/ 841.0 108.0) x) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) x)
6.476 * * * * [regimes]: Trying to branch on (* (/ 841.0 108.0) x) from (#<alt (λ (x) (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0)))> #<alt (λ (x) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))>)
6.514 * * * * [regimes]: Trying to branch on (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) from (#<alt (λ (x) (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0)))> #<alt (λ (x) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))>)
6.537 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0)))> #<alt (λ (x) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))>)
6.567 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
6.567 * [simplify]: Simplifying:
  (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
6.567 * * [simplify]: iteration 0: 9 enodes
6.568 * * [simplify]: iteration 1: 11 enodes
6.569 * * [simplify]: iteration complete: 11 enodes
6.569 * * [simplify]: Extracting #0: cost 1 inf + 0
6.569 * * [simplify]: Extracting #1: cost 3 inf + 0
6.569 * * [simplify]: Extracting #2: cost 7 inf + 0
6.569 * * [simplify]: Extracting #3: cost 5 inf + 45
6.569 * * [simplify]: Extracting #4: cost 3 inf + 47
6.570 * * [simplify]: Extracting #5: cost 0 inf + 337
6.570 * [simplify]: Simplified to:
  (+ (/ 4.0 29.0) (* (/ 841.0 108.0) x))
7.786 * [regime-testing]: Baseline error score: 0.07315538504831133
7.797 * [regime-testing]: Oracle error score: 0.012022743468113804
7.833 * [regime-testing]: End program error score: 0.07315538504831133