14.036 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.025 * * * [progress]: [2/2] Setting up program.
0.030 * [progress]: [Phase 2 of 3] Improving.
0.030 * [simplify]: Simplifying:
  (* (* x 3.0) x)
0.030 * * [simplify]: Extracting # 0 : cost  0
0.030 * * [simplify]: Extracting # 1 : cost  0
0.030 * * [simplify]: Extracting # 2 : cost  0
0.030 * * [simplify]: Extracting # 3 : cost  0
0.030 * * [simplify]: Extracting # 4 : cost  0
0.030 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
0.032 * * [simplify]: Extracting # 0 : cost  0
0.032 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
0.034 * * [simplify]: Extracting # 0 : cost  0
0.034 * * [simplify]: Extracting # 1 : cost  0
0.034 * * [simplify]: Extracting # 2 : cost  0
0.034 * * [simplify]: iteration  2 :  10  enodes  (cost  5 )
0.037 * * [simplify]: Extracting # 0 : cost  0
0.037 * * [simplify]: iteration done:  10  enodes  (cost  5 )
0.037 * [simplify]: Simplified to:
  (* (* x 3.0) x)
0.038 * * [progress]: iteration 1 / 4
0.038 * * * [progress]: picking best candidate
0.048 * * * * [pick]: Picked  #<alt (λ (x) (* (* x 3.0) x))>
0.048 * * * [progress]: localizing error
0.058 * * * [progress]: generating rewritten candidates
0.058 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.097 * * * [progress]: generating series expansions
0.097 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.097 * [backup-simplify]: Simplify (* (* x 3.0) x) into (* 3.0 (pow x 2))
0.097 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
0.097 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
0.097 * [taylor]: Taking taylor expansion of 3.0 in x
0.097 * [backup-simplify]: Simplify 3.0 into 3.0
0.097 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.097 * [taylor]: Taking taylor expansion of x in x
0.097 * [backup-simplify]: Simplify 0 into 0
0.097 * [backup-simplify]: Simplify 1 into 1
0.097 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
0.097 * [taylor]: Taking taylor expansion of 3.0 in x
0.097 * [backup-simplify]: Simplify 3.0 into 3.0
0.097 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.097 * [taylor]: Taking taylor expansion of x in x
0.097 * [backup-simplify]: Simplify 0 into 0
0.097 * [backup-simplify]: Simplify 1 into 1
0.098 * [backup-simplify]: Simplify (* 1 1) into 1
0.099 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
0.099 * [backup-simplify]: Simplify 3.0 into 3.0
0.099 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.100 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
0.100 * [backup-simplify]: Simplify 0 into 0
0.101 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.102 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
0.102 * [backup-simplify]: Simplify 0 into 0
0.103 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.105 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.105 * [backup-simplify]: Simplify 0 into 0
0.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.107 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.107 * [backup-simplify]: Simplify 0 into 0
0.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.110 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.110 * [backup-simplify]: Simplify 0 into 0
0.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.113 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.114 * [backup-simplify]: Simplify 0 into 0
0.114 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
0.114 * [backup-simplify]: Simplify (* (* (/ 1 x) 3.0) (/ 1 x)) into (/ 3.0 (pow x 2))
0.114 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
0.114 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.114 * [taylor]: Taking taylor expansion of 3.0 in x
0.114 * [backup-simplify]: Simplify 3.0 into 3.0
0.114 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.114 * [taylor]: Taking taylor expansion of x in x
0.114 * [backup-simplify]: Simplify 0 into 0
0.114 * [backup-simplify]: Simplify 1 into 1
0.115 * [backup-simplify]: Simplify (* 1 1) into 1
0.115 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.115 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.115 * [taylor]: Taking taylor expansion of 3.0 in x
0.115 * [backup-simplify]: Simplify 3.0 into 3.0
0.115 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [backup-simplify]: Simplify 0 into 0
0.115 * [backup-simplify]: Simplify 1 into 1
0.116 * [backup-simplify]: Simplify (* 1 1) into 1
0.116 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.117 * [backup-simplify]: Simplify 3.0 into 3.0
0.117 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.118 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
0.118 * [backup-simplify]: Simplify 0 into 0
0.119 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.120 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.120 * [backup-simplify]: Simplify 0 into 0
0.122 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.123 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.123 * [backup-simplify]: Simplify 0 into 0
0.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.125 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.126 * [backup-simplify]: Simplify 0 into 0
0.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.128 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.128 * [backup-simplify]: Simplify 0 into 0
0.130 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.131 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.131 * [backup-simplify]: Simplify 0 into 0
0.131 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
0.132 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 3.0) (/ 1 (- x))) into (/ 3.0 (pow x 2))
0.132 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
0.132 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.132 * [taylor]: Taking taylor expansion of 3.0 in x
0.132 * [backup-simplify]: Simplify 3.0 into 3.0
0.132 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.132 * [taylor]: Taking taylor expansion of x in x
0.132 * [backup-simplify]: Simplify 0 into 0
0.132 * [backup-simplify]: Simplify 1 into 1
0.132 * [backup-simplify]: Simplify (* 1 1) into 1
0.133 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.133 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.133 * [taylor]: Taking taylor expansion of 3.0 in x
0.133 * [backup-simplify]: Simplify 3.0 into 3.0
0.133 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.133 * [taylor]: Taking taylor expansion of x in x
0.133 * [backup-simplify]: Simplify 0 into 0
0.133 * [backup-simplify]: Simplify 1 into 1
0.133 * [backup-simplify]: Simplify (* 1 1) into 1
0.134 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.134 * [backup-simplify]: Simplify 3.0 into 3.0
0.135 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.136 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
0.136 * [backup-simplify]: Simplify 0 into 0
0.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.138 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.138 * [backup-simplify]: Simplify 0 into 0
0.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.140 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.140 * [backup-simplify]: Simplify 0 into 0
0.142 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.143 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.143 * [backup-simplify]: Simplify 0 into 0
0.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.145 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.145 * [backup-simplify]: Simplify 0 into 0
0.147 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.148 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.148 * [backup-simplify]: Simplify 0 into 0
0.149 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
0.149 * * * [progress]: simplifying candidates
0.149 * [simplify]: Simplifying:
  (* (* x 3.0) x)
  (* (* x 3.0) x)
  (+ (+ (log x) (log 3.0)) (log x))
  (+ (log (* x 3.0)) (log x))
  (log (* (* x 3.0) x))
  (exp (* (* x 3.0) x))
  (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* x x) x))
  (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* x x) x))
  (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x)))
  (cbrt (* (* x 3.0) x))
  (* (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (* (* x 3.0) (* (cbrt x) (cbrt x)))
  (* (* x 3.0) (sqrt x))
  (* (* x 3.0) 1)
  (* 3.0 x)
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
0.150 * * [simplify]: Extracting # 0 : cost  0
0.150 * * [simplify]: Extracting # 1 : cost  0
0.150 * * [simplify]: Extracting # 2 : cost  0
0.150 * * [simplify]: Extracting # 3 : cost  0
0.150 * * [simplify]: Extracting # 4 : cost  0
0.151 * * [simplify]: Extracting # 5 : cost  0
0.151 * * [simplify]: iteration  0 :  37  enodes  (cost  157 )
0.168 * * [simplify]: Extracting # 0 : cost  0
0.168 * * [simplify]: Extracting # 1 : cost  0
0.169 * * [simplify]: Extracting # 2 : cost  0
0.169 * * [simplify]: iteration  1 :  98  enodes  (cost  152 )
0.309 * * [simplify]: Extracting # 0 : cost  0
0.311 * * [simplify]: Extracting # 1 : cost  0
0.313 * * [simplify]: Extracting # 2 : cost  0
0.314 * * [simplify]: Extracting # 3 : cost  0
0.316 * * [simplify]: Extracting # 4 : cost  0
0.323 * * [simplify]: iteration  2 :  712  enodes  (cost  128 )
1.025 * * [simplify]: Extracting # 0 : cost  0
1.052 * * [simplify]: Extracting # 1 : cost  0
1.067 * * [simplify]: Extracting # 2 : cost  0
1.080 * * [simplify]: Extracting # 3 : cost  0
1.092 * * [simplify]: Extracting # 4 : cost  0
1.105 * * [simplify]: iteration done:  5000  enodes  (cost  122 )
1.105 * [simplify]: Simplified to:
  (* (* x 3.0) x)
  (* (* x 3.0) x)
  (log (* (* x 3.0) x))
  (log (* (* x 3.0) x))
  (log (* (* x 3.0) x))
  (exp (* (* x 3.0) x))
  (pow (* (* x 3.0) x) 3)
  (pow (* (* x 3.0) x) 3)
  (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x)))
  (cbrt (* (* x 3.0) x))
  (pow (* (* x 3.0) x) 3)
  (sqrt (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (* (* x 3.0) (* (cbrt x) (cbrt x)))
  (* (* x 3.0) (sqrt x))
  (* x 3.0)
  (* x 3.0)
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
1.106 * * * [progress]: adding candidates to table
1.167 * * [progress]: iteration 2 / 4
1.167 * * * [progress]: picking best candidate
1.183 * * * * [pick]: Picked  #<alt (λ (x) (* 3.0 (pow x 2)))>
1.184 * * * [progress]: localizing error
1.194 * * * [progress]: generating rewritten candidates
1.194 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.217 * * * [progress]: generating series expansions
1.217 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.217 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
1.217 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
1.218 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
1.218 * [taylor]: Taking taylor expansion of 3.0 in x
1.218 * [backup-simplify]: Simplify 3.0 into 3.0
1.218 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.218 * [taylor]: Taking taylor expansion of x in x
1.218 * [backup-simplify]: Simplify 0 into 0
1.218 * [backup-simplify]: Simplify 1 into 1
1.218 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
1.218 * [taylor]: Taking taylor expansion of 3.0 in x
1.218 * [backup-simplify]: Simplify 3.0 into 3.0
1.218 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.218 * [taylor]: Taking taylor expansion of x in x
1.218 * [backup-simplify]: Simplify 0 into 0
1.218 * [backup-simplify]: Simplify 1 into 1
1.219 * [backup-simplify]: Simplify (* 1 1) into 1
1.219 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
1.219 * [backup-simplify]: Simplify 3.0 into 3.0
1.220 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.220 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
1.220 * [backup-simplify]: Simplify 0 into 0
1.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.222 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
1.222 * [backup-simplify]: Simplify 0 into 0
1.223 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.224 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.224 * [backup-simplify]: Simplify 0 into 0
1.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.227 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.227 * [backup-simplify]: Simplify 0 into 0
1.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.229 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.229 * [backup-simplify]: Simplify 0 into 0
1.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.232 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.232 * [backup-simplify]: Simplify 0 into 0
1.233 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
1.233 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 x) 2)) into (/ 3.0 (pow x 2))
1.233 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
1.233 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
1.233 * [taylor]: Taking taylor expansion of 3.0 in x
1.233 * [backup-simplify]: Simplify 3.0 into 3.0
1.233 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.233 * [taylor]: Taking taylor expansion of x in x
1.233 * [backup-simplify]: Simplify 0 into 0
1.233 * [backup-simplify]: Simplify 1 into 1
1.234 * [backup-simplify]: Simplify (* 1 1) into 1
1.234 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
1.234 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
1.234 * [taylor]: Taking taylor expansion of 3.0 in x
1.234 * [backup-simplify]: Simplify 3.0 into 3.0
1.234 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.234 * [taylor]: Taking taylor expansion of x in x
1.234 * [backup-simplify]: Simplify 0 into 0
1.234 * [backup-simplify]: Simplify 1 into 1
1.235 * [backup-simplify]: Simplify (* 1 1) into 1
1.235 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
1.235 * [backup-simplify]: Simplify 3.0 into 3.0
1.236 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.237 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
1.237 * [backup-simplify]: Simplify 0 into 0
1.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.239 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.239 * [backup-simplify]: Simplify 0 into 0
1.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.241 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.241 * [backup-simplify]: Simplify 0 into 0
1.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.243 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.243 * [backup-simplify]: Simplify 0 into 0
1.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.245 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.245 * [backup-simplify]: Simplify 0 into 0
1.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.247 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.247 * [backup-simplify]: Simplify 0 into 0
1.248 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
1.248 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (- x)) 2)) into (/ 3.0 (pow x 2))
1.248 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
1.248 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
1.248 * [taylor]: Taking taylor expansion of 3.0 in x
1.248 * [backup-simplify]: Simplify 3.0 into 3.0
1.248 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.248 * [taylor]: Taking taylor expansion of x in x
1.248 * [backup-simplify]: Simplify 0 into 0
1.248 * [backup-simplify]: Simplify 1 into 1
1.248 * [backup-simplify]: Simplify (* 1 1) into 1
1.249 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
1.249 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
1.249 * [taylor]: Taking taylor expansion of 3.0 in x
1.249 * [backup-simplify]: Simplify 3.0 into 3.0
1.249 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.249 * [taylor]: Taking taylor expansion of x in x
1.249 * [backup-simplify]: Simplify 0 into 0
1.249 * [backup-simplify]: Simplify 1 into 1
1.249 * [backup-simplify]: Simplify (* 1 1) into 1
1.250 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
1.250 * [backup-simplify]: Simplify 3.0 into 3.0
1.251 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.251 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
1.251 * [backup-simplify]: Simplify 0 into 0
1.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.253 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.253 * [backup-simplify]: Simplify 0 into 0
1.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.255 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.256 * [backup-simplify]: Simplify 0 into 0
1.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.258 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.258 * [backup-simplify]: Simplify 0 into 0
1.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.270 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.270 * [backup-simplify]: Simplify 0 into 0
1.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.274 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.274 * [backup-simplify]: Simplify 0 into 0
1.274 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
1.274 * * * [progress]: simplifying candidates
1.276 * [simplify]: Simplifying:
  (+ (log 3.0) (* (log x) 2))
  (+ (log 3.0) (* (log x) 2))
  (+ (log 3.0) (log (pow x 2)))
  (log (* 3.0 (pow x 2)))
  (exp (* 3.0 (pow x 2)))
  (* (* (* 3.0 3.0) 3.0) (* (* (pow x 2) (pow x 2)) (pow x 2)))
  (* (cbrt (* 3.0 (pow x 2))) (cbrt (* 3.0 (pow x 2))))
  (cbrt (* 3.0 (pow x 2)))
  (* (* (* 3.0 (pow x 2)) (* 3.0 (pow x 2))) (* 3.0 (pow x 2)))
  (sqrt (* 3.0 (pow x 2)))
  (sqrt (* 3.0 (pow x 2)))
  (* (sqrt 3.0) (pow (sqrt x) 2))
  (* (sqrt 3.0) (pow (sqrt x) 2))
  (* (sqrt 3.0) x)
  (* (sqrt 3.0) x)
  (* (sqrt 3.0) (sqrt (pow x 2)))
  (* (sqrt 3.0) (sqrt (pow x 2)))
  (* (sqrt 3.0) (pow x (/ 2 2)))
  (* (sqrt 3.0) (pow x (/ 2 2)))
  (* 3.0 (pow (* (cbrt x) (cbrt x)) 2))
  (* 3.0 (pow (sqrt x) 2))
  (* 3.0 (pow 1 2))
  (* 3.0 x)
  (* 3.0 (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (* 3.0 (sqrt (pow x 2)))
  (* 3.0 1)
  (* 3.0 (pow x (/ 2 2)))
  (* (cbrt 3.0) (pow x 2))
  (* (sqrt 3.0) (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
1.276 * * [simplify]: Extracting # 0 : cost  0
1.277 * * [simplify]: Extracting # 1 : cost  0
1.277 * * [simplify]: Extracting # 2 : cost  0
1.277 * * [simplify]: Extracting # 3 : cost  0
1.277 * * [simplify]: Extracting # 4 : cost  0
1.277 * * [simplify]: Extracting # 5 : cost  0
1.277 * * [simplify]: iteration  0 :  51  enodes  (cost  232 )
1.317 * * [simplify]: Extracting # 0 : cost  0
1.318 * * [simplify]: Extracting # 1 : cost  0
1.318 * * [simplify]: Extracting # 2 : cost  0
1.319 * * [simplify]: Extracting # 3 : cost  0
1.319 * * [simplify]: Extracting # 4 : cost  0
1.319 * * [simplify]: iteration  1 :  115  enodes  (cost  209 )
1.384 * * [simplify]: Extracting # 0 : cost  0
1.385 * * [simplify]: Extracting # 1 : cost  0
1.386 * * [simplify]: Extracting # 2 : cost  0
1.386 * * [simplify]: Extracting # 3 : cost  0
1.387 * * [simplify]: Extracting # 4 : cost  0
1.388 * * [simplify]: iteration  2 :  431  enodes  (cost  178 )
2.357 * * [simplify]: Extracting # 0 : cost  0
2.364 * * [simplify]: Extracting # 1 : cost  0
2.369 * * [simplify]: Extracting # 2 : cost  0
2.374 * * [simplify]: Extracting # 3 : cost  0
2.379 * * [simplify]: Extracting # 4 : cost  0
2.384 * * [simplify]: iteration  3 :  2950  enodes  (cost  176 )
5.143 * * [simplify]: Extracting # 0 : cost  0
5.161 * * [simplify]: Extracting # 1 : cost  0
5.173 * * [simplify]: Extracting # 2 : cost  0
5.184 * * [simplify]: Extracting # 3 : cost  0
5.196 * * [simplify]: iteration done:  5002  enodes  (cost  173 )
5.196 * [simplify]: Simplified to:
  (log (* 3.0 (pow x 2)))
  (log (* 3.0 (pow x 2)))
  (log (* 3.0 (pow x 2)))
  (log (* 3.0 (pow x 2)))
  (exp (* 3.0 (pow x 2)))
  (pow (* 3.0 (pow x 2)) 3)
  (* (cbrt (* 3.0 (pow x 2))) (cbrt (* 3.0 (pow x 2))))
  (cbrt (* 3.0 (pow x 2)))
  (pow (* 3.0 (pow x 2)) 3)
  (sqrt (* 3.0 (pow x 2)))
  (sqrt (* 3.0 (pow x 2)))
  (* (sqrt 3.0) x)
  (* (sqrt 3.0) x)
  (* (sqrt 3.0) x)
  (* (sqrt 3.0) x)
  (* (fabs x) (sqrt 3.0))
  (* (fabs x) (sqrt 3.0))
  (* (sqrt 3.0) x)
  (* (sqrt 3.0) x)
  (* (* 3.0 x) (cbrt x))
  (* x 3.0)
  3.0
  (* x 3.0)
  (* 3.0 (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (* 3.0 (fabs x))
  3.0
  (* x 3.0)
  (* (cbrt 3.0) (pow x 2))
  (* (sqrt 3.0) (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
5.196 * * * [progress]: adding candidates to table
5.314 * * [progress]: iteration 3 / 4
5.314 * * * [progress]: picking best candidate
5.335 * * * * [pick]: Picked  #<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow x 2))))>
5.335 * * * [progress]: localizing error
5.366 * * * [progress]: generating rewritten candidates
5.366 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
5.399 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.497 * * * [progress]: generating series expansions
5.497 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
5.498 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow x 2)) into (* (cbrt 3.0) (pow x 2))
5.498 * [approximate]: Taking taylor expansion of (* (cbrt 3.0) (pow x 2)) in (x) around 0
5.498 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow x 2)) in x
5.498 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.498 * [taylor]: Taking taylor expansion of 3.0 in x
5.498 * [backup-simplify]: Simplify 3.0 into 3.0
5.498 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.499 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.499 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.499 * [taylor]: Taking taylor expansion of x in x
5.499 * [backup-simplify]: Simplify 0 into 0
5.499 * [backup-simplify]: Simplify 1 into 1
5.499 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow x 2)) in x
5.499 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.499 * [taylor]: Taking taylor expansion of 3.0 in x
5.499 * [backup-simplify]: Simplify 3.0 into 3.0
5.500 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.501 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.501 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.501 * [taylor]: Taking taylor expansion of x in x
5.501 * [backup-simplify]: Simplify 0 into 0
5.501 * [backup-simplify]: Simplify 1 into 1
5.501 * [backup-simplify]: Simplify (* 1 1) into 1
5.502 * [backup-simplify]: Simplify (* (cbrt 3.0) 1) into (cbrt 3.0)
5.503 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.503 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.504 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 1)) into 0
5.504 * [backup-simplify]: Simplify 0 into 0
5.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.507 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.508 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 1))) into 0
5.508 * [backup-simplify]: Simplify 0 into 0
5.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.510 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.512 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.512 * [backup-simplify]: Simplify 0 into 0
5.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.515 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.517 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.517 * [backup-simplify]: Simplify 0 into 0
5.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.520 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.521 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.521 * [backup-simplify]: Simplify 0 into 0
5.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.525 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.527 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.527 * [backup-simplify]: Simplify 0 into 0
5.528 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow x 2)) into (* (cbrt 3.0) (pow x 2))
5.528 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (/ 1 x) 2)) into (/ (cbrt 3.0) (pow x 2))
5.528 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in (x) around 0
5.528 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in x
5.528 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.528 * [taylor]: Taking taylor expansion of 3.0 in x
5.528 * [backup-simplify]: Simplify 3.0 into 3.0
5.529 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.530 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.530 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.530 * [taylor]: Taking taylor expansion of x in x
5.530 * [backup-simplify]: Simplify 0 into 0
5.530 * [backup-simplify]: Simplify 1 into 1
5.530 * [backup-simplify]: Simplify (* 1 1) into 1
5.531 * [backup-simplify]: Simplify (/ (cbrt 3.0) 1) into (cbrt 3.0)
5.531 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in x
5.531 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.531 * [taylor]: Taking taylor expansion of 3.0 in x
5.531 * [backup-simplify]: Simplify 3.0 into 3.0
5.532 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.532 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.532 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.533 * [taylor]: Taking taylor expansion of x in x
5.533 * [backup-simplify]: Simplify 0 into 0
5.533 * [backup-simplify]: Simplify 1 into 1
5.533 * [backup-simplify]: Simplify (* 1 1) into 1
5.534 * [backup-simplify]: Simplify (/ (cbrt 3.0) 1) into (cbrt 3.0)
5.534 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.535 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)))) into 0
5.536 * [backup-simplify]: Simplify 0 into 0
5.538 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.540 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.540 * [backup-simplify]: Simplify 0 into 0
5.542 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.544 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.544 * [backup-simplify]: Simplify 0 into 0
5.546 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.549 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.549 * [backup-simplify]: Simplify 0 into 0
5.550 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.553 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.553 * [backup-simplify]: Simplify 0 into 0
5.555 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.558 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.558 * [backup-simplify]: Simplify 0 into 0
5.559 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (/ 1 (/ 1 x)) 2)) into (* (cbrt 3.0) (pow x 2))
5.559 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (/ 1 (- x)) 2)) into (/ (cbrt 3.0) (pow x 2))
5.559 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in (x) around 0
5.559 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in x
5.559 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.560 * [taylor]: Taking taylor expansion of 3.0 in x
5.560 * [backup-simplify]: Simplify 3.0 into 3.0
5.560 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.561 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.561 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.561 * [taylor]: Taking taylor expansion of x in x
5.561 * [backup-simplify]: Simplify 0 into 0
5.561 * [backup-simplify]: Simplify 1 into 1
5.561 * [backup-simplify]: Simplify (* 1 1) into 1
5.562 * [backup-simplify]: Simplify (/ (cbrt 3.0) 1) into (cbrt 3.0)
5.562 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in x
5.562 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.562 * [taylor]: Taking taylor expansion of 3.0 in x
5.562 * [backup-simplify]: Simplify 3.0 into 3.0
5.563 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.563 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.563 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.563 * [taylor]: Taking taylor expansion of x in x
5.564 * [backup-simplify]: Simplify 0 into 0
5.564 * [backup-simplify]: Simplify 1 into 1
5.564 * [backup-simplify]: Simplify (* 1 1) into 1
5.565 * [backup-simplify]: Simplify (/ (cbrt 3.0) 1) into (cbrt 3.0)
5.565 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.566 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.567 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)))) into 0
5.567 * [backup-simplify]: Simplify 0 into 0
5.569 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.571 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.571 * [backup-simplify]: Simplify 0 into 0
5.572 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.575 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.575 * [backup-simplify]: Simplify 0 into 0
5.577 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.579 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.579 * [backup-simplify]: Simplify 0 into 0
5.581 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.583 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.583 * [backup-simplify]: Simplify 0 into 0
5.585 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.588 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.588 * [backup-simplify]: Simplify 0 into 0
5.589 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (/ 1 (/ 1 (- x))) 2)) into (* (cbrt 3.0) (pow x 2))
5.589 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.591 * [backup-simplify]: Simplify (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow x 2))) into (* (pow (cbrt 3.0) 3) (pow x 2))
5.591 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (pow x 2)) in (x) around 0
5.591 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (pow x 2)) in x
5.591 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
5.591 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.591 * [taylor]: Taking taylor expansion of 3.0 in x
5.591 * [backup-simplify]: Simplify 3.0 into 3.0
5.592 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.592 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.593 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.593 * [taylor]: Taking taylor expansion of x in x
5.593 * [backup-simplify]: Simplify 0 into 0
5.593 * [backup-simplify]: Simplify 1 into 1
5.593 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (pow x 2)) in x
5.593 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
5.593 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.593 * [taylor]: Taking taylor expansion of 3.0 in x
5.593 * [backup-simplify]: Simplify 3.0 into 3.0
5.593 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.594 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.594 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.594 * [taylor]: Taking taylor expansion of x in x
5.594 * [backup-simplify]: Simplify 0 into 0
5.594 * [backup-simplify]: Simplify 1 into 1
5.595 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
5.597 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
5.598 * [backup-simplify]: Simplify (* 1 1) into 1
5.600 * [backup-simplify]: Simplify (* (pow (cbrt 3.0) 3) 1) into 3.0
5.600 * [backup-simplify]: Simplify 3.0 into 3.0
5.601 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.601 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
5.602 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0
5.604 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (* 0 1)) into 0
5.604 * [backup-simplify]: Simplify 0 into 0
5.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.606 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.608 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
5.609 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
5.611 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (+ (* 0 0) (* 0 1))) into 0
5.611 * [backup-simplify]: Simplify 0 into 0
5.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.614 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.615 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
5.617 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
5.619 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.619 * [backup-simplify]: Simplify 0 into 0
5.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.623 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.624 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
5.626 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
5.628 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.629 * [backup-simplify]: Simplify 0 into 0
5.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.632 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.634 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
5.636 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
5.638 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.638 * [backup-simplify]: Simplify 0 into 0
5.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.645 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.657 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
5.660 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))))) into 0
5.663 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.663 * [backup-simplify]: Simplify 0 into 0
5.663 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
5.666 * [backup-simplify]: Simplify (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow (/ 1 x) 2))) into (/ (pow (cbrt 3.0) 3) (pow x 2))
5.666 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in (x) around 0
5.666 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
5.666 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
5.666 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.666 * [taylor]: Taking taylor expansion of 3.0 in x
5.666 * [backup-simplify]: Simplify 3.0 into 3.0
5.667 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.668 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.668 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.668 * [taylor]: Taking taylor expansion of x in x
5.668 * [backup-simplify]: Simplify 0 into 0
5.668 * [backup-simplify]: Simplify 1 into 1
5.669 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
5.672 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
5.672 * [backup-simplify]: Simplify (* 1 1) into 1
5.674 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
5.674 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
5.674 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
5.674 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.674 * [taylor]: Taking taylor expansion of 3.0 in x
5.674 * [backup-simplify]: Simplify 3.0 into 3.0
5.675 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.676 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.676 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.676 * [taylor]: Taking taylor expansion of x in x
5.676 * [backup-simplify]: Simplify 0 into 0
5.676 * [backup-simplify]: Simplify 1 into 1
5.677 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
5.679 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
5.680 * [backup-simplify]: Simplify (* 1 1) into 1
5.682 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
5.682 * [backup-simplify]: Simplify 3.0 into 3.0
5.684 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
5.685 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0
5.686 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.687 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
5.687 * [backup-simplify]: Simplify 0 into 0
5.689 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.690 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
5.692 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
5.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.695 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.695 * [backup-simplify]: Simplify 0 into 0
5.696 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.698 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
5.699 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
5.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.702 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.702 * [backup-simplify]: Simplify 0 into 0
5.704 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.705 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
5.707 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
5.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.710 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.710 * [backup-simplify]: Simplify 0 into 0
5.711 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.713 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
5.715 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
5.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.718 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.718 * [backup-simplify]: Simplify 0 into 0
5.720 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.722 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
5.724 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))))) into 0
5.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.727 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.727 * [backup-simplify]: Simplify 0 into 0
5.727 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
5.729 * [backup-simplify]: Simplify (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow (/ 1 (- x)) 2))) into (/ (pow (cbrt 3.0) 3) (pow x 2))
5.729 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in (x) around 0
5.729 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
5.730 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
5.730 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.730 * [taylor]: Taking taylor expansion of 3.0 in x
5.730 * [backup-simplify]: Simplify 3.0 into 3.0
5.730 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.731 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.731 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.731 * [taylor]: Taking taylor expansion of x in x
5.731 * [backup-simplify]: Simplify 0 into 0
5.731 * [backup-simplify]: Simplify 1 into 1
5.732 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
5.734 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
5.735 * [backup-simplify]: Simplify (* 1 1) into 1
5.737 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
5.737 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
5.737 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
5.737 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.737 * [taylor]: Taking taylor expansion of 3.0 in x
5.737 * [backup-simplify]: Simplify 3.0 into 3.0
5.737 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.738 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.738 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.738 * [taylor]: Taking taylor expansion of x in x
5.738 * [backup-simplify]: Simplify 0 into 0
5.738 * [backup-simplify]: Simplify 1 into 1
5.740 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
5.742 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
5.742 * [backup-simplify]: Simplify (* 1 1) into 1
5.745 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
5.745 * [backup-simplify]: Simplify 3.0 into 3.0
5.746 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
5.747 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0
5.748 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.749 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
5.749 * [backup-simplify]: Simplify 0 into 0
5.751 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.752 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
5.753 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
5.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.756 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.756 * [backup-simplify]: Simplify 0 into 0
5.758 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.759 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
5.761 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
5.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.763 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.764 * [backup-simplify]: Simplify 0 into 0
5.766 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.768 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
5.771 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
5.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.775 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.775 * [backup-simplify]: Simplify 0 into 0
5.777 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.779 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
5.781 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
5.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.784 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.784 * [backup-simplify]: Simplify 0 into 0
5.786 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.788 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
5.791 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))))) into 0
5.793 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.794 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.794 * [backup-simplify]: Simplify 0 into 0
5.794 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
5.794 * * * [progress]: simplifying candidates
5.796 * [simplify]: Simplifying:
  (+ (log (cbrt 3.0)) (* (log x) 2))
  (+ (log (cbrt 3.0)) (* (log x) 2))
  (+ (log (cbrt 3.0)) (log (pow x 2)))
  (log (* (cbrt 3.0) (pow x 2)))
  (exp (* (cbrt 3.0) (pow x 2)))
  (* 3.0 (* (* (pow x 2) (pow x 2)) (pow x 2)))
  (* (cbrt (* (cbrt 3.0) (pow x 2))) (cbrt (* (cbrt 3.0) (pow x 2))))
  (cbrt (* (cbrt 3.0) (pow x 2)))
  (* (* (* (cbrt 3.0) (pow x 2)) (* (cbrt 3.0) (pow x 2))) (* (cbrt 3.0) (pow x 2)))
  (sqrt (* (cbrt 3.0) (pow x 2)))
  (sqrt (* (cbrt 3.0) (pow x 2)))
  (* (cbrt (sqrt 3.0)) (pow (sqrt x) 2))
  (* (cbrt (sqrt 3.0)) (pow (sqrt x) 2))
  (* (cbrt (sqrt 3.0)) x)
  (* (cbrt (sqrt 3.0)) x)
  (* (cbrt (sqrt 3.0)) (sqrt (pow x 2)))
  (* (cbrt (sqrt 3.0)) (sqrt (pow x 2)))
  (* (cbrt (sqrt 3.0)) (pow x (/ 2 2)))
  (* (cbrt (sqrt 3.0)) (pow x (/ 2 2)))
  (* (sqrt (cbrt 3.0)) (pow (sqrt x) 2))
  (* (sqrt (cbrt 3.0)) (pow (sqrt x) 2))
  (* (sqrt (cbrt 3.0)) x)
  (* (sqrt (cbrt 3.0)) x)
  (* (sqrt (cbrt 3.0)) (sqrt (pow x 2)))
  (* (sqrt (cbrt 3.0)) (sqrt (pow x 2)))
  (* (sqrt (cbrt 3.0)) (pow x (/ 2 2)))
  (* (sqrt (cbrt 3.0)) (pow x (/ 2 2)))
  (* (cbrt 3.0) (pow (* (cbrt x) (cbrt x)) 2))
  (* (cbrt 3.0) (pow (sqrt x) 2))
  (* (cbrt 3.0) (pow 1 2))
  (* (cbrt 3.0) x)
  (* (cbrt 3.0) (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (* (cbrt 3.0) (sqrt (pow x 2)))
  (* (cbrt 3.0) 1)
  (* (cbrt 3.0) (pow x (/ 2 2)))
  (* (cbrt (cbrt 3.0)) (pow x 2))
  (* (cbrt (sqrt 3.0)) (pow x 2))
  (* (cbrt 3.0) (pow x 2))
  (* (cbrt (cbrt 3.0)) (pow x 2))
  (* (sqrt (cbrt 3.0)) (pow x 2))
  (* (cbrt 3.0) (pow x 2))
  (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow x 2)))
  (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow x 2)))
  (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (cbrt 3.0)) (* (log x) 2)))
  (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (cbrt 3.0)) (* (log x) 2)))
  (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (cbrt 3.0)) (log (pow x 2))))
  (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (log (* (cbrt 3.0) (pow x 2))))
  (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (cbrt 3.0)) (* (log x) 2)))
  (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (cbrt 3.0)) (* (log x) 2)))
  (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (cbrt 3.0)) (log (pow x 2))))
  (+ (log (* (cbrt 3.0) (cbrt 3.0))) (log (* (cbrt 3.0) (pow x 2))))
  (log (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow x 2))))
  (exp (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow x 2))))
  (* (* 3.0 3.0) (* 3.0 (* (* (pow x 2) (pow x 2)) (pow x 2))))
  (* (* 3.0 3.0) (* (* (* (cbrt 3.0) (pow x 2)) (* (cbrt 3.0) (pow x 2))) (* (cbrt 3.0) (pow x 2))))
  (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* 3.0 (* (* (pow x 2) (pow x 2)) (pow x 2))))
  (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* (* (* (cbrt 3.0) (pow x 2)) (* (cbrt 3.0) (pow x 2))) (* (cbrt 3.0) (pow x 2))))
  (* (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow x 2)))) (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow x 2)))))
  (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow x 2))))
  (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow x 2))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow x 2)))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow x 2))))
  (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow x 2))))
  (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow x 2))))
  (* (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0))
  (* (cbrt 3.0) (* (cbrt 3.0) (pow x 2)))
  (* (cbrt 3.0) (pow x 2))
  (* (cbrt 3.0) (pow x 2))
  (* (cbrt 3.0) (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
5.798 * * [simplify]: Extracting # 0 : cost  0
5.799 * * [simplify]: Extracting # 1 : cost  0
5.799 * * [simplify]: Extracting # 2 : cost  0
5.799 * * [simplify]: Extracting # 3 : cost  0
5.799 * * [simplify]: Extracting # 4 : cost  0
5.800 * * [simplify]: Extracting # 5 : cost  0
5.800 * * [simplify]: Extracting # 6 : cost  0
5.800 * * [simplify]: iteration  0 :  84  enodes  (cost  761 )
5.850 * * [simplify]: Extracting # 0 : cost  0
5.850 * * [simplify]: Extracting # 1 : cost  0
5.851 * * [simplify]: Extracting # 2 : cost  0
5.851 * * [simplify]: Extracting # 3 : cost  0
5.852 * * [simplify]: Extracting # 4 : cost  0
5.852 * * [simplify]: iteration  1 :  225  enodes  (cost  696 )
6.170 * * [simplify]: Extracting # 0 : cost  0
6.174 * * [simplify]: Extracting # 1 : cost  0
6.176 * * [simplify]: Extracting # 2 : cost  0
6.179 * * [simplify]: Extracting # 3 : cost  0
6.181 * * [simplify]: Extracting # 4 : cost  0
6.184 * * [simplify]: Extracting # 5 : cost  0
6.186 * * [simplify]: iteration  2 :  1320  enodes  (cost  509 )
7.590 * * [simplify]: Extracting # 0 : cost  0
7.633 * * [simplify]: Extracting # 1 : cost  0
7.653 * * [simplify]: Extracting # 2 : cost  0
7.669 * * [simplify]: Extracting # 3 : cost  0
7.684 * * [simplify]: Extracting # 4 : cost  0
7.694 * * [simplify]: iteration done:  5001  enodes  (cost  431 )
7.695 * [simplify]: Simplified to:
  (log (* (cbrt 3.0) (pow x 2)))
  (log (* (cbrt 3.0) (pow x 2)))
  (log (* (cbrt 3.0) (pow x 2)))
  (log (* (cbrt 3.0) (pow x 2)))
  (exp (* (cbrt 3.0) (pow x 2)))
  (* (pow (pow x 2) 3) 3.0)
  (* (cbrt (* (cbrt 3.0) (pow x 2))) (cbrt (* (cbrt 3.0) (pow x 2))))
  (cbrt (* (cbrt 3.0) (pow x 2)))
  (* (pow (pow x 2) 3) 3.0)
  (sqrt (* (cbrt 3.0) (pow x 2)))
  (sqrt (* (cbrt 3.0) (pow x 2)))
  (* (cbrt (sqrt 3.0)) x)
  (* (cbrt (sqrt 3.0)) x)
  (* (cbrt (sqrt 3.0)) x)
  (* (cbrt (sqrt 3.0)) x)
  (* (fabs x) (cbrt (sqrt 3.0)))
  (* (fabs x) (cbrt (sqrt 3.0)))
  (* (cbrt (sqrt 3.0)) x)
  (* (cbrt (sqrt 3.0)) x)
  (* (sqrt (cbrt 3.0)) x)
  (* (sqrt (cbrt 3.0)) x)
  (* (sqrt (cbrt 3.0)) x)
  (* (sqrt (cbrt 3.0)) x)
  (* (sqrt (cbrt 3.0)) (fabs x))
  (* (sqrt (cbrt 3.0)) (fabs x))
  (* (sqrt (cbrt 3.0)) x)
  (* (sqrt (cbrt 3.0)) x)
  (* (pow (* (cbrt x) (cbrt x)) 2) (cbrt 3.0))
  (* x (cbrt 3.0))
  (cbrt 3.0)
  (* x (cbrt 3.0))
  (* (* (cbrt (pow x 2)) (cbrt (pow x 2))) (cbrt 3.0))
  (* (fabs x) (cbrt 3.0))
  (cbrt 3.0)
  (* x (cbrt 3.0))
  (* (cbrt (cbrt 3.0)) (pow x 2))
  (* (cbrt (sqrt 3.0)) (pow x 2))
  (* (pow x 2) (cbrt 3.0))
  (* (cbrt (cbrt 3.0)) (pow x 2))
  (* (sqrt (cbrt 3.0)) (pow x 2))
  (* (pow x 2) (cbrt 3.0))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (log (* 3.0 (pow x 2)))
  (log (* 3.0 (pow x 2)))
  (log (* 3.0 (pow x 2)))
  (log (* 3.0 (pow x 2)))
  (log (* 3.0 (pow x 2)))
  (log (* 3.0 (pow x 2)))
  (log (* 3.0 (pow x 2)))
  (log (* 3.0 (pow x 2)))
  (log (* 3.0 (pow x 2)))
  (pow (exp (pow x 2)) 3.0)
  (pow (* 3.0 (pow x 2)) 3)
  (pow (* 3.0 (pow x 2)) 3)
  (pow (* 3.0 (pow x 2)) 3)
  (pow (* 3.0 (pow x 2)) 3)
  (* (cbrt (* 3.0 (pow x 2))) (cbrt (* 3.0 (pow x 2))))
  (cbrt (* 3.0 (pow x 2)))
  (pow (* 3.0 (pow x 2)) 3)
  (sqrt (* 3.0 (pow x 2)))
  (sqrt (* 3.0 (pow x 2)))
  3.0
  (* (* (cbrt 3.0) (pow x 2)) (cbrt 3.0))
  (* (pow x 2) (cbrt 3.0))
  (* (pow x 2) (cbrt 3.0))
  (* (pow x 2) (cbrt 3.0))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
7.696 * * * [progress]: adding candidates to table
7.917 * * [progress]: iteration 4 / 4
7.917 * * * [progress]: picking best candidate
7.931 * * * * [pick]: Picked  #<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))))>
7.931 * * * [progress]: localizing error
7.959 * * * [progress]: generating rewritten candidates
7.959 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
7.999 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
8.185 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
8.255 * * * [progress]: generating series expansions
8.255 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
8.257 * [backup-simplify]: Simplify (* (sqrt (cbrt 3.0)) (pow x 2)) into (* (sqrt (cbrt 3.0)) (pow x 2))
8.257 * [approximate]: Taking taylor expansion of (* (sqrt (cbrt 3.0)) (pow x 2)) in (x) around 0
8.257 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt 3.0)) (pow x 2)) in x
8.257 * [taylor]: Taking taylor expansion of (sqrt (cbrt 3.0)) in x
8.257 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.257 * [taylor]: Taking taylor expansion of 3.0 in x
8.257 * [backup-simplify]: Simplify 3.0 into 3.0
8.257 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.258 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.259 * [backup-simplify]: Simplify (sqrt (cbrt 3.0)) into (sqrt (cbrt 3.0))
8.260 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (cbrt 3.0)))) into 0
8.260 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.260 * [taylor]: Taking taylor expansion of x in x
8.260 * [backup-simplify]: Simplify 0 into 0
8.260 * [backup-simplify]: Simplify 1 into 1
8.260 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt 3.0)) (pow x 2)) in x
8.260 * [taylor]: Taking taylor expansion of (sqrt (cbrt 3.0)) in x
8.260 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.260 * [taylor]: Taking taylor expansion of 3.0 in x
8.260 * [backup-simplify]: Simplify 3.0 into 3.0
8.260 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.261 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.262 * [backup-simplify]: Simplify (sqrt (cbrt 3.0)) into (sqrt (cbrt 3.0))
8.263 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (cbrt 3.0)))) into 0
8.263 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.263 * [taylor]: Taking taylor expansion of x in x
8.263 * [backup-simplify]: Simplify 0 into 0
8.263 * [backup-simplify]: Simplify 1 into 1
8.263 * [backup-simplify]: Simplify (* 1 1) into 1
8.265 * [backup-simplify]: Simplify (* (sqrt (cbrt 3.0)) 1) into (sqrt (cbrt 3.0))
8.265 * [backup-simplify]: Simplify (sqrt (cbrt 3.0)) into (sqrt (cbrt 3.0))
8.266 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.267 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (* 0 1)) into 0
8.267 * [backup-simplify]: Simplify 0 into 0
8.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.269 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.270 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (cbrt 3.0)))) into 0
8.272 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (+ (* 0 0) (* 0 1))) into 0
8.272 * [backup-simplify]: Simplify 0 into 0
8.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.274 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.275 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (cbrt 3.0)))) into 0
8.276 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.276 * [backup-simplify]: Simplify 0 into 0
8.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.279 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.281 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (cbrt 3.0)))) into 0
8.283 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.283 * [backup-simplify]: Simplify 0 into 0
8.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.285 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.287 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (cbrt 3.0)))) into 0
8.288 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.288 * [backup-simplify]: Simplify 0 into 0
8.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.291 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.293 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (cbrt 3.0)))) into 0
8.295 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.295 * [backup-simplify]: Simplify 0 into 0
8.296 * [backup-simplify]: Simplify (* (sqrt (cbrt 3.0)) (pow x 2)) into (* (sqrt (cbrt 3.0)) (pow x 2))
8.297 * [backup-simplify]: Simplify (* (sqrt (cbrt 3.0)) (pow (/ 1 x) 2)) into (* (sqrt (cbrt 3.0)) (/ 1 (pow x 2)))
8.297 * [approximate]: Taking taylor expansion of (* (sqrt (cbrt 3.0)) (/ 1 (pow x 2))) in (x) around 0
8.297 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt 3.0)) (/ 1 (pow x 2))) in x
8.297 * [taylor]: Taking taylor expansion of (sqrt (cbrt 3.0)) in x
8.297 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.297 * [taylor]: Taking taylor expansion of 3.0 in x
8.297 * [backup-simplify]: Simplify 3.0 into 3.0
8.298 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.298 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.299 * [backup-simplify]: Simplify (sqrt (cbrt 3.0)) into (sqrt (cbrt 3.0))
8.301 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (cbrt 3.0)))) into 0
8.301 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.301 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.301 * [taylor]: Taking taylor expansion of x in x
8.301 * [backup-simplify]: Simplify 0 into 0
8.301 * [backup-simplify]: Simplify 1 into 1
8.301 * [backup-simplify]: Simplify (* 1 1) into 1
8.302 * [backup-simplify]: Simplify (/ 1 1) into 1
8.302 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt 3.0)) (/ 1 (pow x 2))) in x
8.302 * [taylor]: Taking taylor expansion of (sqrt (cbrt 3.0)) in x
8.302 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.302 * [taylor]: Taking taylor expansion of 3.0 in x
8.302 * [backup-simplify]: Simplify 3.0 into 3.0
8.302 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.303 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.304 * [backup-simplify]: Simplify (sqrt (cbrt 3.0)) into (sqrt (cbrt 3.0))
8.305 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (cbrt 3.0)))) into 0
8.305 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.305 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.305 * [taylor]: Taking taylor expansion of x in x
8.305 * [backup-simplify]: Simplify 0 into 0
8.305 * [backup-simplify]: Simplify 1 into 1
8.305 * [backup-simplify]: Simplify (* 1 1) into 1
8.306 * [backup-simplify]: Simplify (/ 1 1) into 1
8.308 * [backup-simplify]: Simplify (* (sqrt (cbrt 3.0)) 1) into (sqrt (cbrt 3.0))
8.308 * [backup-simplify]: Simplify (sqrt (cbrt 3.0)) into (sqrt (cbrt 3.0))
8.309 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.311 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (* 0 1)) into 0
8.311 * [backup-simplify]: Simplify 0 into 0
8.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.312 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.314 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.315 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (cbrt 3.0)))) into 0
8.316 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (+ (* 0 0) (* 0 1))) into 0
8.316 * [backup-simplify]: Simplify 0 into 0
8.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.319 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.320 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (cbrt 3.0)))) into 0
8.322 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.322 * [backup-simplify]: Simplify 0 into 0
8.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.325 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.327 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (cbrt 3.0)))) into 0
8.328 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.329 * [backup-simplify]: Simplify 0 into 0
8.330 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.332 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.334 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (cbrt 3.0)))) into 0
8.335 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.336 * [backup-simplify]: Simplify 0 into 0
8.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.339 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.341 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (cbrt 3.0)))) into 0
8.343 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.343 * [backup-simplify]: Simplify 0 into 0
8.344 * [backup-simplify]: Simplify (* (sqrt (cbrt 3.0)) (pow (/ 1 (/ 1 x)) 2)) into (* (sqrt (cbrt 3.0)) (pow x 2))
8.345 * [backup-simplify]: Simplify (* (sqrt (cbrt 3.0)) (pow (/ 1 (- x)) 2)) into (* (sqrt (cbrt 3.0)) (/ 1 (pow x 2)))
8.345 * [approximate]: Taking taylor expansion of (* (sqrt (cbrt 3.0)) (/ 1 (pow x 2))) in (x) around 0
8.345 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt 3.0)) (/ 1 (pow x 2))) in x
8.345 * [taylor]: Taking taylor expansion of (sqrt (cbrt 3.0)) in x
8.345 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.345 * [taylor]: Taking taylor expansion of 3.0 in x
8.345 * [backup-simplify]: Simplify 3.0 into 3.0
8.345 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.346 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.347 * [backup-simplify]: Simplify (sqrt (cbrt 3.0)) into (sqrt (cbrt 3.0))
8.347 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (cbrt 3.0)))) into 0
8.347 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.348 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.348 * [taylor]: Taking taylor expansion of x in x
8.348 * [backup-simplify]: Simplify 0 into 0
8.348 * [backup-simplify]: Simplify 1 into 1
8.348 * [backup-simplify]: Simplify (* 1 1) into 1
8.348 * [backup-simplify]: Simplify (/ 1 1) into 1
8.348 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt 3.0)) (/ 1 (pow x 2))) in x
8.348 * [taylor]: Taking taylor expansion of (sqrt (cbrt 3.0)) in x
8.348 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.348 * [taylor]: Taking taylor expansion of 3.0 in x
8.348 * [backup-simplify]: Simplify 3.0 into 3.0
8.349 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.349 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.350 * [backup-simplify]: Simplify (sqrt (cbrt 3.0)) into (sqrt (cbrt 3.0))
8.351 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (cbrt 3.0)))) into 0
8.351 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.351 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.351 * [taylor]: Taking taylor expansion of x in x
8.351 * [backup-simplify]: Simplify 0 into 0
8.351 * [backup-simplify]: Simplify 1 into 1
8.351 * [backup-simplify]: Simplify (* 1 1) into 1
8.352 * [backup-simplify]: Simplify (/ 1 1) into 1
8.353 * [backup-simplify]: Simplify (* (sqrt (cbrt 3.0)) 1) into (sqrt (cbrt 3.0))
8.354 * [backup-simplify]: Simplify (sqrt (cbrt 3.0)) into (sqrt (cbrt 3.0))
8.354 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.362 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (* 0 1)) into 0
8.363 * [backup-simplify]: Simplify 0 into 0
8.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.366 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.367 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (cbrt 3.0)))) into 0
8.368 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (+ (* 0 0) (* 0 1))) into 0
8.368 * [backup-simplify]: Simplify 0 into 0
8.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.371 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.372 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (cbrt 3.0)))) into 0
8.374 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.374 * [backup-simplify]: Simplify 0 into 0
8.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.377 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.379 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (cbrt 3.0)))) into 0
8.380 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.380 * [backup-simplify]: Simplify 0 into 0
8.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.384 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.385 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (cbrt 3.0)))) into 0
8.387 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.387 * [backup-simplify]: Simplify 0 into 0
8.388 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.391 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.393 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (cbrt 3.0)))) into 0
8.394 * [backup-simplify]: Simplify (+ (* (sqrt (cbrt 3.0)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.394 * [backup-simplify]: Simplify 0 into 0
8.396 * [backup-simplify]: Simplify (* (sqrt (cbrt 3.0)) (pow (/ 1 (/ 1 (- x))) 2)) into (* (sqrt (cbrt 3.0)) (pow x 2))
8.396 * * * * [progress]: [ 2 / 3 ] generating series at (2)
8.398 * [backup-simplify]: Simplify (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))) into (* (pow (cbrt 3.0) 3) (pow x 2))
8.399 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (pow x 2)) in (x) around 0
8.399 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (pow x 2)) in x
8.399 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
8.399 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.399 * [taylor]: Taking taylor expansion of 3.0 in x
8.399 * [backup-simplify]: Simplify 3.0 into 3.0
8.399 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.400 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.400 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.400 * [taylor]: Taking taylor expansion of x in x
8.400 * [backup-simplify]: Simplify 0 into 0
8.400 * [backup-simplify]: Simplify 1 into 1
8.400 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (pow x 2)) in x
8.400 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
8.400 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.400 * [taylor]: Taking taylor expansion of 3.0 in x
8.400 * [backup-simplify]: Simplify 3.0 into 3.0
8.400 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.401 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.401 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.401 * [taylor]: Taking taylor expansion of x in x
8.401 * [backup-simplify]: Simplify 0 into 0
8.401 * [backup-simplify]: Simplify 1 into 1
8.402 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.404 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
8.405 * [backup-simplify]: Simplify (* 1 1) into 1
8.406 * [backup-simplify]: Simplify (* (pow (cbrt 3.0) 3) 1) into 3.0
8.406 * [backup-simplify]: Simplify 3.0 into 3.0
8.407 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.408 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
8.408 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0
8.409 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (* 0 1)) into 0
8.409 * [backup-simplify]: Simplify 0 into 0
8.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.411 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.412 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
8.414 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
8.415 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (+ (* 0 0) (* 0 1))) into 0
8.415 * [backup-simplify]: Simplify 0 into 0
8.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.417 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.418 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
8.419 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
8.421 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.421 * [backup-simplify]: Simplify 0 into 0
8.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.424 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.426 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
8.427 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
8.429 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.429 * [backup-simplify]: Simplify 0 into 0
8.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.432 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.433 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
8.435 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
8.437 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.437 * [backup-simplify]: Simplify 0 into 0
8.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.440 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.441 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
8.443 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))))) into 0
8.445 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3.0) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.445 * [backup-simplify]: Simplify 0 into 0
8.445 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
8.448 * [backup-simplify]: Simplify (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow (/ 1 x) 2)))) into (/ (pow (cbrt 3.0) 3) (pow x 2))
8.448 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in (x) around 0
8.448 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
8.448 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
8.448 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.448 * [taylor]: Taking taylor expansion of 3.0 in x
8.448 * [backup-simplify]: Simplify 3.0 into 3.0
8.449 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.449 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.449 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.449 * [taylor]: Taking taylor expansion of x in x
8.449 * [backup-simplify]: Simplify 0 into 0
8.449 * [backup-simplify]: Simplify 1 into 1
8.450 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.452 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
8.453 * [backup-simplify]: Simplify (* 1 1) into 1
8.454 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
8.454 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
8.454 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
8.454 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.454 * [taylor]: Taking taylor expansion of 3.0 in x
8.454 * [backup-simplify]: Simplify 3.0 into 3.0
8.455 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.455 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.455 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.455 * [taylor]: Taking taylor expansion of x in x
8.456 * [backup-simplify]: Simplify 0 into 0
8.456 * [backup-simplify]: Simplify 1 into 1
8.457 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.458 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
8.459 * [backup-simplify]: Simplify (* 1 1) into 1
8.460 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
8.460 * [backup-simplify]: Simplify 3.0 into 3.0
8.461 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
8.462 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0
8.462 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.463 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
8.463 * [backup-simplify]: Simplify 0 into 0
8.464 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.465 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
8.466 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
8.467 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.468 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.468 * [backup-simplify]: Simplify 0 into 0
8.469 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.470 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
8.472 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
8.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.473 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.473 * [backup-simplify]: Simplify 0 into 0
8.475 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.476 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
8.478 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
8.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.479 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.479 * [backup-simplify]: Simplify 0 into 0
8.481 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.482 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
8.483 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
8.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.485 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.485 * [backup-simplify]: Simplify 0 into 0
8.487 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.489 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
8.490 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))))) into 0
8.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.492 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.493 * [backup-simplify]: Simplify 0 into 0
8.493 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
8.503 * [backup-simplify]: Simplify (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow (/ 1 (- x)) 2)))) into (/ (pow (cbrt 3.0) 3) (pow x 2))
8.503 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in (x) around 0
8.503 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
8.503 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
8.503 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.503 * [taylor]: Taking taylor expansion of 3.0 in x
8.503 * [backup-simplify]: Simplify 3.0 into 3.0
8.504 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.504 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.504 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.504 * [taylor]: Taking taylor expansion of x in x
8.504 * [backup-simplify]: Simplify 0 into 0
8.504 * [backup-simplify]: Simplify 1 into 1
8.505 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.507 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
8.508 * [backup-simplify]: Simplify (* 1 1) into 1
8.509 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
8.509 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
8.509 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
8.510 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.510 * [taylor]: Taking taylor expansion of 3.0 in x
8.510 * [backup-simplify]: Simplify 3.0 into 3.0
8.510 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.511 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.511 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.511 * [taylor]: Taking taylor expansion of x in x
8.511 * [backup-simplify]: Simplify 0 into 0
8.511 * [backup-simplify]: Simplify 1 into 1
8.512 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.514 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
8.515 * [backup-simplify]: Simplify (* 1 1) into 1
8.517 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
8.517 * [backup-simplify]: Simplify 3.0 into 3.0
8.518 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
8.519 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0
8.519 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.520 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
8.520 * [backup-simplify]: Simplify 0 into 0
8.522 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.524 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
8.527 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
8.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.530 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.530 * [backup-simplify]: Simplify 0 into 0
8.531 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.533 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
8.535 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
8.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.537 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.537 * [backup-simplify]: Simplify 0 into 0
8.538 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.540 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
8.541 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
8.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.543 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.543 * [backup-simplify]: Simplify 0 into 0
8.545 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.546 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
8.548 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
8.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.551 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.551 * [backup-simplify]: Simplify 0 into 0
8.552 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.554 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
8.556 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))))) into 0
8.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.559 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.559 * [backup-simplify]: Simplify 0 into 0
8.559 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
8.560 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
8.561 * [backup-simplify]: Simplify (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))) into (* (cbrt 3.0) (pow x 2))
8.562 * [approximate]: Taking taylor expansion of (* (cbrt 3.0) (pow x 2)) in (x) around 0
8.562 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow x 2)) in x
8.562 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.562 * [taylor]: Taking taylor expansion of 3.0 in x
8.562 * [backup-simplify]: Simplify 3.0 into 3.0
8.562 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.563 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.563 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.563 * [taylor]: Taking taylor expansion of x in x
8.563 * [backup-simplify]: Simplify 0 into 0
8.563 * [backup-simplify]: Simplify 1 into 1
8.563 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow x 2)) in x
8.563 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.563 * [taylor]: Taking taylor expansion of 3.0 in x
8.563 * [backup-simplify]: Simplify 3.0 into 3.0
8.563 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.564 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.564 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.564 * [taylor]: Taking taylor expansion of x in x
8.564 * [backup-simplify]: Simplify 0 into 0
8.564 * [backup-simplify]: Simplify 1 into 1
8.565 * [backup-simplify]: Simplify (* 1 1) into 1
8.566 * [backup-simplify]: Simplify (* (cbrt 3.0) 1) into (cbrt 3.0)
8.566 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.567 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.568 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 1)) into 0
8.568 * [backup-simplify]: Simplify 0 into 0
8.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.570 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.571 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 1))) into 0
8.571 * [backup-simplify]: Simplify 0 into 0
8.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.573 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.575 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.575 * [backup-simplify]: Simplify 0 into 0
8.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.578 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.579 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.579 * [backup-simplify]: Simplify 0 into 0
8.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.582 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.583 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.583 * [backup-simplify]: Simplify 0 into 0
8.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.586 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.589 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.589 * [backup-simplify]: Simplify 0 into 0
8.589 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow x 2)) into (* (cbrt 3.0) (pow x 2))
8.591 * [backup-simplify]: Simplify (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow (/ 1 x) 2))) into (/ (cbrt 3.0) (pow x 2))
8.591 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in (x) around 0
8.591 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in x
8.591 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.591 * [taylor]: Taking taylor expansion of 3.0 in x
8.591 * [backup-simplify]: Simplify 3.0 into 3.0
8.592 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.593 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.593 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.593 * [taylor]: Taking taylor expansion of x in x
8.593 * [backup-simplify]: Simplify 0 into 0
8.593 * [backup-simplify]: Simplify 1 into 1
8.593 * [backup-simplify]: Simplify (* 1 1) into 1
8.594 * [backup-simplify]: Simplify (/ (cbrt 3.0) 1) into (cbrt 3.0)
8.594 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in x
8.594 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.594 * [taylor]: Taking taylor expansion of 3.0 in x
8.594 * [backup-simplify]: Simplify 3.0 into 3.0
8.595 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.595 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.595 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.595 * [taylor]: Taking taylor expansion of x in x
8.595 * [backup-simplify]: Simplify 0 into 0
8.595 * [backup-simplify]: Simplify 1 into 1
8.596 * [backup-simplify]: Simplify (* 1 1) into 1
8.597 * [backup-simplify]: Simplify (/ (cbrt 3.0) 1) into (cbrt 3.0)
8.598 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.598 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.599 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)))) into 0
8.600 * [backup-simplify]: Simplify 0 into 0
8.601 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.603 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.603 * [backup-simplify]: Simplify 0 into 0
8.605 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.607 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.607 * [backup-simplify]: Simplify 0 into 0
8.609 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.611 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.611 * [backup-simplify]: Simplify 0 into 0
8.612 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.615 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.615 * [backup-simplify]: Simplify 0 into 0
8.616 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.619 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.619 * [backup-simplify]: Simplify 0 into 0
8.620 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (/ 1 (/ 1 x)) 2)) into (* (cbrt 3.0) (pow x 2))
8.622 * [backup-simplify]: Simplify (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow (/ 1 (- x)) 2))) into (/ (cbrt 3.0) (pow x 2))
8.622 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in (x) around 0
8.622 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in x
8.622 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.622 * [taylor]: Taking taylor expansion of 3.0 in x
8.622 * [backup-simplify]: Simplify 3.0 into 3.0
8.622 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.623 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.623 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.623 * [taylor]: Taking taylor expansion of x in x
8.623 * [backup-simplify]: Simplify 0 into 0
8.623 * [backup-simplify]: Simplify 1 into 1
8.623 * [backup-simplify]: Simplify (* 1 1) into 1
8.624 * [backup-simplify]: Simplify (/ (cbrt 3.0) 1) into (cbrt 3.0)
8.624 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in x
8.624 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.624 * [taylor]: Taking taylor expansion of 3.0 in x
8.624 * [backup-simplify]: Simplify 3.0 into 3.0
8.625 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.625 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.625 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.625 * [taylor]: Taking taylor expansion of x in x
8.625 * [backup-simplify]: Simplify 0 into 0
8.625 * [backup-simplify]: Simplify 1 into 1
8.626 * [backup-simplify]: Simplify (* 1 1) into 1
8.627 * [backup-simplify]: Simplify (/ (cbrt 3.0) 1) into (cbrt 3.0)
8.627 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.628 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.629 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)))) into 0
8.629 * [backup-simplify]: Simplify 0 into 0
8.630 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.632 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.632 * [backup-simplify]: Simplify 0 into 0
8.634 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.636 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.636 * [backup-simplify]: Simplify 0 into 0
8.637 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.639 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.639 * [backup-simplify]: Simplify 0 into 0
8.641 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.643 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.643 * [backup-simplify]: Simplify 0 into 0
8.645 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.647 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.648 * [backup-simplify]: Simplify 0 into 0
8.648 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (/ 1 (/ 1 (- x))) 2)) into (* (cbrt 3.0) (pow x 2))
8.648 * * * [progress]: simplifying candidates
8.659 * [simplify]: Simplifying:
  (+ (log (sqrt (cbrt 3.0))) (* (log x) 2))
  (+ (log (sqrt (cbrt 3.0))) (* (log x) 2))
  (+ (log (sqrt (cbrt 3.0))) (log (pow x 2)))
  (log (* (sqrt (cbrt 3.0)) (pow x 2)))
  (exp (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (* (* (sqrt (cbrt 3.0)) (sqrt (cbrt 3.0))) (sqrt (cbrt 3.0))) (* (* (pow x 2) (pow x 2)) (pow x 2)))
  (* (cbrt (* (sqrt (cbrt 3.0)) (pow x 2))) (cbrt (* (sqrt (cbrt 3.0)) (pow x 2))))
  (cbrt (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (* (* (sqrt (cbrt 3.0)) (pow x 2)) (* (sqrt (cbrt 3.0)) (pow x 2))) (* (sqrt (cbrt 3.0)) (pow x 2)))
  (sqrt (* (sqrt (cbrt 3.0)) (pow x 2)))
  (sqrt (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (sqrt (cbrt (sqrt 3.0))) (pow (sqrt x) 2))
  (* (sqrt (cbrt (sqrt 3.0))) (pow (sqrt x) 2))
  (* (sqrt (cbrt (sqrt 3.0))) x)
  (* (sqrt (cbrt (sqrt 3.0))) x)
  (* (sqrt (cbrt (sqrt 3.0))) (sqrt (pow x 2)))
  (* (sqrt (cbrt (sqrt 3.0))) (sqrt (pow x 2)))
  (* (sqrt (cbrt (sqrt 3.0))) (pow x (/ 2 2)))
  (* (sqrt (cbrt (sqrt 3.0))) (pow x (/ 2 2)))
  (* (sqrt (sqrt (cbrt 3.0))) (pow (sqrt x) 2))
  (* (sqrt (sqrt (cbrt 3.0))) (pow (sqrt x) 2))
  (* (sqrt (sqrt (cbrt 3.0))) x)
  (* (sqrt (sqrt (cbrt 3.0))) x)
  (* (sqrt (sqrt (cbrt 3.0))) (sqrt (pow x 2)))
  (* (sqrt (sqrt (cbrt 3.0))) (sqrt (pow x 2)))
  (* (sqrt (sqrt (cbrt 3.0))) (pow x (/ 2 2)))
  (* (sqrt (sqrt (cbrt 3.0))) (pow x (/ 2 2)))
  (* (sqrt (sqrt (cbrt 3.0))) (pow (sqrt x) 2))
  (* (sqrt (sqrt (cbrt 3.0))) (pow (sqrt x) 2))
  (* (sqrt (sqrt (cbrt 3.0))) x)
  (* (sqrt (sqrt (cbrt 3.0))) x)
  (* (sqrt (sqrt (cbrt 3.0))) (sqrt (pow x 2)))
  (* (sqrt (sqrt (cbrt 3.0))) (sqrt (pow x 2)))
  (* (sqrt (sqrt (cbrt 3.0))) (pow x (/ 2 2)))
  (* (sqrt (sqrt (cbrt 3.0))) (pow x (/ 2 2)))
  (* (sqrt (cbrt 3.0)) (pow (* (cbrt x) (cbrt x)) 2))
  (* (sqrt (cbrt 3.0)) (pow (sqrt x) 2))
  (* (sqrt (cbrt 3.0)) (pow 1 2))
  (* (sqrt (cbrt 3.0)) x)
  (* (sqrt (cbrt 3.0)) (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (* (sqrt (cbrt 3.0)) (sqrt (pow x 2)))
  (* (sqrt (cbrt 3.0)) 1)
  (* (sqrt (cbrt 3.0)) (pow x (/ 2 2)))
  (* (cbrt (sqrt (cbrt 3.0))) (pow x 2))
  (* (sqrt (cbrt (cbrt 3.0))) (pow x 2))
  (* (sqrt (cbrt (sqrt 3.0))) (pow x 2))
  (* (sqrt (cbrt 3.0)) (pow x 2))
  (* (sqrt (cbrt (cbrt 3.0))) (pow x 2))
  (* (sqrt (sqrt (cbrt 3.0))) (pow x 2))
  (* (sqrt (cbrt 3.0)) (pow x 2))
  (* (sqrt (sqrt (cbrt 3.0))) (pow x 2))
  (* (sqrt (cbrt 3.0)) (pow x 2))
  (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))))
  (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))))
  (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))))
  (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))))
  (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (sqrt (cbrt 3.0))) (+ (log (sqrt (cbrt 3.0))) (* (log x) 2))))
  (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (sqrt (cbrt 3.0))) (+ (log (sqrt (cbrt 3.0))) (* (log x) 2))))
  (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (sqrt (cbrt 3.0))) (+ (log (sqrt (cbrt 3.0))) (log (pow x 2)))))
  (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (sqrt (cbrt 3.0))) (log (* (sqrt (cbrt 3.0)) (pow x 2)))))
  (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (log (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))))
  (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (sqrt (cbrt 3.0))) (+ (log (sqrt (cbrt 3.0))) (* (log x) 2))))
  (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (sqrt (cbrt 3.0))) (+ (log (sqrt (cbrt 3.0))) (* (log x) 2))))
  (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (sqrt (cbrt 3.0))) (+ (log (sqrt (cbrt 3.0))) (log (pow x 2)))))
  (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (sqrt (cbrt 3.0))) (log (* (sqrt (cbrt 3.0)) (pow x 2)))))
  (+ (log (* (cbrt 3.0) (cbrt 3.0))) (log (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))))
  (log (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))))
  (exp (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))))
  (* (* 3.0 3.0) (* (* (* (sqrt (cbrt 3.0)) (sqrt (cbrt 3.0))) (sqrt (cbrt 3.0))) (* (* (* (sqrt (cbrt 3.0)) (sqrt (cbrt 3.0))) (sqrt (cbrt 3.0))) (* (* (pow x 2) (pow x 2)) (pow x 2)))))
  (* (* 3.0 3.0) (* (* (* (sqrt (cbrt 3.0)) (sqrt (cbrt 3.0))) (sqrt (cbrt 3.0))) (* (* (* (sqrt (cbrt 3.0)) (pow x 2)) (* (sqrt (cbrt 3.0)) (pow x 2))) (* (sqrt (cbrt 3.0)) (pow x 2)))))
  (* (* 3.0 3.0) (* (* (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))))
  (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* (* (* (sqrt (cbrt 3.0)) (sqrt (cbrt 3.0))) (sqrt (cbrt 3.0))) (* (* (* (sqrt (cbrt 3.0)) (sqrt (cbrt 3.0))) (sqrt (cbrt 3.0))) (* (* (pow x 2) (pow x 2)) (pow x 2)))))
  (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* (* (* (sqrt (cbrt 3.0)) (sqrt (cbrt 3.0))) (sqrt (cbrt 3.0))) (* (* (* (sqrt (cbrt 3.0)) (pow x 2)) (* (sqrt (cbrt 3.0)) (pow x 2))) (* (sqrt (cbrt 3.0)) (pow x 2)))))
  (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* (* (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))))
  (* (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))))) (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))))))
  (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))))
  (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))))
  (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))))
  (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))))
  (* (* (cbrt 3.0) (cbrt 3.0)) (sqrt (cbrt 3.0)))
  (* (cbrt 3.0) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))))
  (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))
  (+ (log (sqrt (cbrt 3.0))) (+ (log (sqrt (cbrt 3.0))) (* (log x) 2)))
  (+ (log (sqrt (cbrt 3.0))) (+ (log (sqrt (cbrt 3.0))) (* (log x) 2)))
  (+ (log (sqrt (cbrt 3.0))) (+ (log (sqrt (cbrt 3.0))) (log (pow x 2))))
  (+ (log (sqrt (cbrt 3.0))) (log (* (sqrt (cbrt 3.0)) (pow x 2))))
  (log (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))))
  (exp (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))))
  (* (* (* (sqrt (cbrt 3.0)) (sqrt (cbrt 3.0))) (sqrt (cbrt 3.0))) (* (* (* (sqrt (cbrt 3.0)) (sqrt (cbrt 3.0))) (sqrt (cbrt 3.0))) (* (* (pow x 2) (pow x 2)) (pow x 2))))
  (* (* (* (sqrt (cbrt 3.0)) (sqrt (cbrt 3.0))) (sqrt (cbrt 3.0))) (* (* (* (sqrt (cbrt 3.0)) (pow x 2)) (* (sqrt (cbrt 3.0)) (pow x 2))) (* (sqrt (cbrt 3.0)) (pow x 2))))
  (* (cbrt (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))) (cbrt (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))))
  (cbrt (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))))
  (* (* (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))))
  (sqrt (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))))
  (sqrt (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2))))
  (* (sqrt (cbrt 3.0)) (sqrt (cbrt 3.0)))
  (* (cbrt (sqrt (cbrt 3.0))) (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (sqrt (cbrt (cbrt 3.0))) (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (sqrt (cbrt (sqrt 3.0))) (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (sqrt (cbrt (cbrt 3.0))) (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (sqrt (sqrt (cbrt 3.0))) (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (sqrt (sqrt (cbrt 3.0))) (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (sqrt (cbrt 3.0)) (pow x 2))
  (* (sqrt (cbrt 3.0)) (pow x 2))
  (* (sqrt (cbrt 3.0)) (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* (cbrt 3.0) (pow x 2))
  (* (cbrt 3.0) (pow x 2))
  (* (cbrt 3.0) (pow x 2))
8.664 * * [simplify]: Extracting # 0 : cost  0
8.664 * * [simplify]: Extracting # 1 : cost  0
8.664 * * [simplify]: Extracting # 2 : cost  0
8.665 * * [simplify]: Extracting # 3 : cost  0
8.665 * * [simplify]: Extracting # 4 : cost  0
8.665 * * [simplify]: Extracting # 5 : cost  0
8.665 * * [simplify]: Extracting # 6 : cost  0
8.666 * * [simplify]: Extracting # 7 : cost  0
8.666 * * [simplify]: iteration  0 :  114  enodes  (cost  1647 )
8.716 * * [simplify]: Extracting # 0 : cost  0
8.717 * * [simplify]: Extracting # 1 : cost  0
8.718 * * [simplify]: Extracting # 2 : cost  0
8.719 * * [simplify]: Extracting # 3 : cost  0
8.719 * * [simplify]: Extracting # 4 : cost  0
8.720 * * [simplify]: Extracting # 5 : cost  0
8.721 * * [simplify]: iteration  1 :  317  enodes  (cost  1485 )
9.113 * * [simplify]: Extracting # 0 : cost  0
9.118 * * [simplify]: Extracting # 1 : cost  0
9.123 * * [simplify]: Extracting # 2 : cost  0
9.128 * * [simplify]: Extracting # 3 : cost  0
9.137 * * [simplify]: Extracting # 4 : cost  0
9.142 * * [simplify]: Extracting # 5 : cost  0
9.147 * * [simplify]: iteration  2 :  2076  enodes  (cost  1053 )
12.101 * * [simplify]: Extracting # 0 : cost  0
12.154 * * [simplify]: Extracting # 1 : cost  0
12.177 * * [simplify]: Extracting # 2 : cost  0
12.187 * * [simplify]: Extracting # 3 : cost  0
12.197 * * [simplify]: iteration done:  5000  enodes  (cost  807 )
12.199 * [simplify]: Simplified to:
  (log (* (sqrt (cbrt 3.0)) (pow x 2)))
  (log (* (sqrt (cbrt 3.0)) (pow x 2)))
  (log (* (sqrt (cbrt 3.0)) (pow x 2)))
  (log (* (sqrt (cbrt 3.0)) (pow x 2)))
  (exp (* (sqrt (cbrt 3.0)) (pow x 2)))
  (pow (* (* x x) (sqrt (cbrt 3.0))) 3)
  (* (cbrt (* (sqrt (cbrt 3.0)) (pow x 2))) (cbrt (* (sqrt (cbrt 3.0)) (pow x 2))))
  (cbrt (* (sqrt (cbrt 3.0)) (pow x 2)))
  (pow (* (* x x) (sqrt (cbrt 3.0))) 3)
  (sqrt (* (sqrt (cbrt 3.0)) (pow x 2)))
  (sqrt (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* x (sqrt (cbrt (sqrt 3.0))))
  (* x (sqrt (cbrt (sqrt 3.0))))
  (* x (sqrt (cbrt (sqrt 3.0))))
  (* x (sqrt (cbrt (sqrt 3.0))))
  (* (sqrt (cbrt (sqrt 3.0))) (fabs x))
  (* (sqrt (cbrt (sqrt 3.0))) (fabs x))
  (* x (sqrt (cbrt (sqrt 3.0))))
  (* x (sqrt (cbrt (sqrt 3.0))))
  (* (sqrt (sqrt (cbrt 3.0))) x)
  (* (sqrt (sqrt (cbrt 3.0))) x)
  (* (sqrt (sqrt (cbrt 3.0))) x)
  (* (sqrt (sqrt (cbrt 3.0))) x)
  (* (fabs x) (sqrt (sqrt (cbrt 3.0))))
  (* (fabs x) (sqrt (sqrt (cbrt 3.0))))
  (* (sqrt (sqrt (cbrt 3.0))) x)
  (* (sqrt (sqrt (cbrt 3.0))) x)
  (* (sqrt (sqrt (cbrt 3.0))) x)
  (* (sqrt (sqrt (cbrt 3.0))) x)
  (* (sqrt (sqrt (cbrt 3.0))) x)
  (* (sqrt (sqrt (cbrt 3.0))) x)
  (* (fabs x) (sqrt (sqrt (cbrt 3.0))))
  (* (fabs x) (sqrt (sqrt (cbrt 3.0))))
  (* (sqrt (sqrt (cbrt 3.0))) x)
  (* (sqrt (sqrt (cbrt 3.0))) x)
  (* (pow (* (cbrt x) (cbrt x)) 2) (sqrt (cbrt 3.0)))
  (* (sqrt (cbrt 3.0)) x)
  (sqrt (cbrt 3.0))
  (* (sqrt (cbrt 3.0)) x)
  (* (* (cbrt (pow x 2)) (cbrt (pow x 2))) (sqrt (cbrt 3.0)))
  (* (fabs x) (sqrt (cbrt 3.0)))
  (sqrt (cbrt 3.0))
  (* (sqrt (cbrt 3.0)) x)
  (* (cbrt (sqrt (cbrt 3.0))) (pow x 2))
  (* (sqrt (cbrt (cbrt 3.0))) (pow x 2))
  (* (sqrt (cbrt (sqrt 3.0))) (pow x 2))
  (* (* x x) (sqrt (cbrt 3.0)))
  (* (sqrt (cbrt (cbrt 3.0))) (pow x 2))
  (* (sqrt (sqrt (cbrt 3.0))) (pow x 2))
  (* (* x x) (sqrt (cbrt 3.0)))
  (* (sqrt (sqrt (cbrt 3.0))) (pow x 2))
  (* (* x x) (sqrt (cbrt 3.0)))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (log (* x (* x 3.0)))
  (log (* x (* x 3.0)))
  (log (* x (* x 3.0)))
  (log (* x (* x 3.0)))
  (log (* x (* x 3.0)))
  (log (* x (* x 3.0)))
  (log (* x (* x 3.0)))
  (log (* x (* x 3.0)))
  (log (* x (* x 3.0)))
  (log (* x (* x 3.0)))
  (log (* x (* x 3.0)))
  (exp (* 3.0 (pow x 2)))
  (pow (* x (* x 3.0)) 3)
  (pow (* x (* x 3.0)) 3)
  (pow (* x (* x 3.0)) 3)
  (pow (* x (* x 3.0)) 3)
  (pow (* x (* x 3.0)) 3)
  (pow (* x (* x 3.0)) 3)
  (* (cbrt (* 3.0 (pow x 2))) (cbrt (* 3.0 (pow x 2))))
  (cbrt (* 3.0 (pow x 2)))
  (pow (* x (* x 3.0)) 3)
  (sqrt (* 3.0 (pow x 2)))
  (sqrt (* 3.0 (pow x 2)))
  (* (pow (sqrt (cbrt 3.0)) 3) (cbrt 3.0))
  (* (* (cbrt 3.0) (pow x 2)) (cbrt 3.0))
  (* (* (cbrt 3.0) x) x)
  (log (* (cbrt 3.0) (pow x 2)))
  (log (* (cbrt 3.0) (pow x 2)))
  (log (* (cbrt 3.0) (pow x 2)))
  (log (* (cbrt 3.0) (pow x 2)))
  (log (* (cbrt 3.0) (pow x 2)))
  (exp (* (cbrt 3.0) (pow x 2)))
  (* 3.0 (pow (* x x) 3))
  (* 3.0 (pow (* x x) 3))
  (* (cbrt (* (cbrt 3.0) (pow x 2))) (cbrt (* (cbrt 3.0) (pow x 2))))
  (cbrt (* (cbrt 3.0) (pow x 2)))
  (* 3.0 (pow (* x x) 3))
  (fabs (* (sqrt (cbrt 3.0)) x))
  (fabs (* (sqrt (cbrt 3.0)) x))
  (cbrt 3.0)
  (* (cbrt (sqrt (cbrt 3.0))) (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (sqrt (cbrt (cbrt 3.0))) (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (sqrt (cbrt (sqrt 3.0))) (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (* (cbrt 3.0) x) x)
  (* (sqrt (cbrt (cbrt 3.0))) (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (sqrt (sqrt (cbrt 3.0))) (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (* (cbrt 3.0) x) x)
  (* (sqrt (sqrt (cbrt 3.0))) (* (sqrt (cbrt 3.0)) (pow x 2)))
  (* (* (cbrt 3.0) x) x)
  (* (* x x) (sqrt (cbrt 3.0)))
  (* (* x x) (sqrt (cbrt 3.0)))
  (* (* x x) (sqrt (cbrt 3.0)))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* (* (cbrt 3.0) x) x)
  (* (* (cbrt 3.0) x) x)
  (* (* (cbrt 3.0) x) x)
12.200 * * * [progress]: adding candidates to table
12.684 * [progress]: [Phase 3 of 3] Extracting.
12.684 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (* x 3.0) x))> #<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))))> #<alt (λ (x) (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))))> #<alt (λ (x) (* 3.0 (pow x 2)))> #<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow x 2))))> #<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (* x (cbrt 3.0)) (pow x (/ 2 2)))))>)
12.685 * * * [regime-changes]: Trying 2 branch expressions: ((* (* x 3.0) x) x)
12.685 * * * * [regimes]: Trying to branch on (* (* x 3.0) x) from (#<alt (λ (x) (* (* x 3.0) x))> #<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))))> #<alt (λ (x) (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))))> #<alt (λ (x) (* 3.0 (pow x 2)))> #<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow x 2))))> #<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (* x (cbrt 3.0)) (pow x (/ 2 2)))))>)
12.760 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (* x 3.0) x))> #<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (pow x 2)))))> #<alt (λ (x) (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))))> #<alt (λ (x) (* 3.0 (pow x 2)))> #<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (pow x 2))))> #<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (* x (cbrt 3.0)) (pow x (/ 2 2)))))>)
12.836 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
12.836 * [simplify]: Simplifying:
  (* (* x 3.0) x)
12.836 * * [simplify]: Extracting # 0 : cost  0
12.836 * * [simplify]: Extracting # 1 : cost  0
12.836 * * [simplify]: Extracting # 2 : cost  0
12.836 * * [simplify]: Extracting # 3 : cost  0
12.836 * * [simplify]: Extracting # 4 : cost  0
12.836 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
12.837 * * [simplify]: Extracting # 0 : cost  0
12.837 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
12.837 * * [simplify]: Extracting # 0 : cost  0
12.837 * * [simplify]: iteration done:  6  enodes  (cost  5 )
12.838 * [simplify]: Simplified to:
  (* (* x 3.0) x)
14.419 * [regime-testing]: Baseline error score: 0.171021377672209
14.423 * [regime-testing]: Oracle error score: 0.012876609576197025
14.432 * [regime-testing]: End program error score: 0.171021377672209