14.705 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.015 * * * [progress]: [2/2] Setting up program.
0.017 * [progress]: [Phase 2 of 3] Improving.
0.017 * [simplify]: Simplifying:
  (* (* x 3.0) x)
0.018 * * [simplify]: Extracting # 0 : cost  0
0.018 * * [simplify]: Extracting # 1 : cost  0
0.018 * * [simplify]: Extracting # 2 : cost  0
0.018 * * [simplify]: Extracting # 3 : cost  0
0.018 * * [simplify]: Extracting # 4 : cost  0
0.018 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
0.019 * * [simplify]: Extracting # 0 : cost  0
0.019 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
0.022 * * [simplify]: Extracting # 0 : cost  0
0.022 * * [simplify]: Extracting # 1 : cost  0
0.022 * * [simplify]: Extracting # 2 : cost  0
0.022 * * [simplify]: iteration  2 :  10  enodes  (cost  5 )
0.025 * * [simplify]: Extracting # 0 : cost  0
0.025 * * [simplify]: iteration done:  10  enodes  (cost  5 )
0.025 * [simplify]: Simplified to:
  (* (* x 3.0) x)
0.026 * * [progress]: iteration 1 / 4
0.026 * * * [progress]: picking best candidate
0.027 * * * * [pick]: Picked  #<alt (λ (x) (* (* x 3.0) x))>
0.028 * * * [progress]: localizing error
0.034 * * * [progress]: generating rewritten candidates
0.034 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.079 * * * [progress]: generating series expansions
0.079 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.079 * [backup-simplify]: Simplify (* (* x 3.0) x) into (* 3.0 (pow x 2))
0.079 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
0.079 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
0.079 * [taylor]: Taking taylor expansion of 3.0 in x
0.079 * [backup-simplify]: Simplify 3.0 into 3.0
0.079 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.079 * [backup-simplify]: Simplify 0 into 0
0.079 * [backup-simplify]: Simplify 1 into 1
0.079 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
0.079 * [taylor]: Taking taylor expansion of 3.0 in x
0.079 * [backup-simplify]: Simplify 3.0 into 3.0
0.079 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.079 * [backup-simplify]: Simplify 0 into 0
0.079 * [backup-simplify]: Simplify 1 into 1
0.080 * [backup-simplify]: Simplify (* 1 1) into 1
0.080 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
0.081 * [backup-simplify]: Simplify 3.0 into 3.0
0.081 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.082 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
0.082 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.084 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
0.084 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.086 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.086 * [backup-simplify]: Simplify 0 into 0
0.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.089 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.089 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.092 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.095 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.095 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
0.095 * [backup-simplify]: Simplify (* (* (/ 1 x) 3.0) (/ 1 x)) into (/ 3.0 (pow x 2))
0.095 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
0.095 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.095 * [taylor]: Taking taylor expansion of 3.0 in x
0.095 * [backup-simplify]: Simplify 3.0 into 3.0
0.095 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.095 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify 1 into 1
0.096 * [backup-simplify]: Simplify (* 1 1) into 1
0.096 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.096 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.096 * [taylor]: Taking taylor expansion of 3.0 in x
0.096 * [backup-simplify]: Simplify 3.0 into 3.0
0.096 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.096 * [taylor]: Taking taylor expansion of x in x
0.096 * [backup-simplify]: Simplify 0 into 0
0.096 * [backup-simplify]: Simplify 1 into 1
0.097 * [backup-simplify]: Simplify (* 1 1) into 1
0.097 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.097 * [backup-simplify]: Simplify 3.0 into 3.0
0.098 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.099 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
0.099 * [backup-simplify]: Simplify 0 into 0
0.100 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.101 * [backup-simplify]: Simplify 0 into 0
0.102 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.103 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.103 * [backup-simplify]: Simplify 0 into 0
0.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.105 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.105 * [backup-simplify]: Simplify 0 into 0
0.107 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.108 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.108 * [backup-simplify]: Simplify 0 into 0
0.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.110 * [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.111 * [backup-simplify]: Simplify 0 into 0
0.111 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
0.111 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 3.0) (/ 1 (- x))) into (/ 3.0 (pow x 2))
0.111 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
0.111 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.111 * [taylor]: Taking taylor expansion of 3.0 in x
0.111 * [backup-simplify]: Simplify 3.0 into 3.0
0.111 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.111 * [taylor]: Taking taylor expansion of x in x
0.111 * [backup-simplify]: Simplify 0 into 0
0.111 * [backup-simplify]: Simplify 1 into 1
0.112 * [backup-simplify]: Simplify (* 1 1) into 1
0.112 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.112 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.112 * [taylor]: Taking taylor expansion of 3.0 in x
0.112 * [backup-simplify]: Simplify 3.0 into 3.0
0.112 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.112 * [taylor]: Taking taylor expansion of x in x
0.112 * [backup-simplify]: Simplify 0 into 0
0.112 * [backup-simplify]: Simplify 1 into 1
0.113 * [backup-simplify]: Simplify (* 1 1) into 1
0.113 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.113 * [backup-simplify]: Simplify 3.0 into 3.0
0.114 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.115 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
0.115 * [backup-simplify]: Simplify 0 into 0
0.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.117 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.117 * [backup-simplify]: Simplify 0 into 0
0.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.119 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.119 * [backup-simplify]: Simplify 0 into 0
0.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.121 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.121 * [backup-simplify]: Simplify 0 into 0
0.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.124 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.124 * [backup-simplify]: Simplify 0 into 0
0.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.127 * [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.127 * [backup-simplify]: Simplify 0 into 0
0.127 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
0.127 * * * [progress]: simplifying candidates
0.128 * [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.129 * * [simplify]: Extracting # 0 : cost  0
0.129 * * [simplify]: Extracting # 1 : cost  0
0.129 * * [simplify]: Extracting # 2 : cost  0
0.129 * * [simplify]: Extracting # 3 : cost  0
0.129 * * [simplify]: Extracting # 4 : cost  0
0.129 * * [simplify]: Extracting # 5 : cost  0
0.130 * * [simplify]: iteration  0 :  37  enodes  (cost  157 )
0.147 * * [simplify]: Extracting # 0 : cost  0
0.148 * * [simplify]: Extracting # 1 : cost  0
0.148 * * [simplify]: Extracting # 2 : cost  0
0.148 * * [simplify]: iteration  1 :  90  enodes  (cost  152 )
0.219 * * [simplify]: Extracting # 0 : cost  0
0.220 * * [simplify]: Extracting # 1 : cost  0
0.220 * * [simplify]: Extracting # 2 : cost  0
0.221 * * [simplify]: Extracting # 3 : cost  0
0.221 * * [simplify]: Extracting # 4 : cost  0
0.221 * * [simplify]: iteration  2 :  314  enodes  (cost  122 )
0.599 * * [simplify]: Extracting # 0 : cost  0
0.600 * * [simplify]: Extracting # 1 : cost  0
0.601 * * [simplify]: Extracting # 2 : cost  0
0.601 * * [simplify]: Extracting # 3 : cost  0
0.602 * * [simplify]: Extracting # 4 : cost  0
0.602 * * [simplify]: iteration  3 :  664  enodes  (cost  122 )
1.322 * * [simplify]: Extracting # 0 : cost  0
1.325 * * [simplify]: Extracting # 1 : cost  0
1.326 * * [simplify]: Extracting # 2 : cost  0
1.327 * * [simplify]: Extracting # 3 : cost  0
1.329 * * [simplify]: Extracting # 4 : cost  0
1.330 * * [simplify]: iteration  4 :  975  enodes  (cost  121 )
3.012 * * [simplify]: Extracting # 0 : cost  0
3.017 * * [simplify]: Extracting # 1 : cost  0
3.022 * * [simplify]: Extracting # 2 : cost  0
3.027 * * [simplify]: Extracting # 3 : cost  0
3.031 * * [simplify]: Extracting # 4 : cost  0
3.440 * * [simplify]: Extracting # 5 : cost  0
3.442 * * [simplify]: iteration  5 :  2720  enodes  (cost  121 )
5.201 * * [simplify]: Extracting # 0 : cost  0
5.210 * * [simplify]: Extracting # 1 : cost  0
5.220 * * [simplify]: Extracting # 2 : cost  0
5.231 * * [simplify]: Extracting # 3 : cost  0
5.241 * * [simplify]: Extracting # 4 : cost  0
5.251 * * [simplify]: iteration done:  5000  enodes  (cost  121 )
5.251 * [simplify]: Simplified to:
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (log (* (* x 3.0) x))
  (log (* (* x 3.0) x))
  (log (* (* x 3.0) x))
  (exp (* (* x 3.0) x))
  (pow (* 3.0 (pow x 2)) 3)
  (pow (* 3.0 (pow x 2)) 3)
  (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x)))
  (cbrt (* (* x 3.0) x))
  (pow (* 3.0 (pow x 2)) 3)
  (sqrt (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (* (* x 3.0) (* (cbrt x) (cbrt x)))
  (* 3.0 (pow x 3/2))
  (* x 3.0)
  (* x 3.0)
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
5.251 * * * [progress]: adding candidates to table
5.302 * * [progress]: iteration 2 / 4
5.302 * * * [progress]: picking best candidate
5.310 * * * * [pick]: Picked  #<alt (λ (x) (pow (* 3.0 (* x x)) 1))>
5.310 * * * [progress]: localizing error
5.316 * * * [progress]: generating rewritten candidates
5.316 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
5.335 * * * [progress]: generating series expansions
5.335 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
5.335 * [backup-simplify]: Simplify (* 3.0 (* x x)) into (* 3.0 (pow x 2))
5.335 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
5.335 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
5.335 * [taylor]: Taking taylor expansion of 3.0 in x
5.335 * [backup-simplify]: Simplify 3.0 into 3.0
5.335 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.335 * [taylor]: Taking taylor expansion of x in x
5.335 * [backup-simplify]: Simplify 0 into 0
5.335 * [backup-simplify]: Simplify 1 into 1
5.335 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
5.335 * [taylor]: Taking taylor expansion of 3.0 in x
5.335 * [backup-simplify]: Simplify 3.0 into 3.0
5.336 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.336 * [taylor]: Taking taylor expansion of x in x
5.336 * [backup-simplify]: Simplify 0 into 0
5.336 * [backup-simplify]: Simplify 1 into 1
5.336 * [backup-simplify]: Simplify (* 1 1) into 1
5.336 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
5.336 * [backup-simplify]: Simplify 3.0 into 3.0
5.337 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.337 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
5.337 * [backup-simplify]: Simplify 0 into 0
5.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.338 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
5.338 * [backup-simplify]: Simplify 0 into 0
5.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.339 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.339 * [backup-simplify]: Simplify 0 into 0
5.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.341 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.341 * [backup-simplify]: Simplify 0 into 0
5.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.342 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.342 * [backup-simplify]: Simplify 0 into 0
5.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.348 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.348 * [backup-simplify]: Simplify 0 into 0
5.348 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
5.348 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 x) (/ 1 x))) into (/ 3.0 (pow x 2))
5.348 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
5.348 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
5.348 * [taylor]: Taking taylor expansion of 3.0 in x
5.348 * [backup-simplify]: Simplify 3.0 into 3.0
5.349 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.349 * [taylor]: Taking taylor expansion of x in x
5.349 * [backup-simplify]: Simplify 0 into 0
5.349 * [backup-simplify]: Simplify 1 into 1
5.349 * [backup-simplify]: Simplify (* 1 1) into 1
5.349 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
5.349 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
5.349 * [taylor]: Taking taylor expansion of 3.0 in x
5.349 * [backup-simplify]: Simplify 3.0 into 3.0
5.349 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.349 * [taylor]: Taking taylor expansion of x in x
5.349 * [backup-simplify]: Simplify 0 into 0
5.349 * [backup-simplify]: Simplify 1 into 1
5.349 * [backup-simplify]: Simplify (* 1 1) into 1
5.350 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
5.350 * [backup-simplify]: Simplify 3.0 into 3.0
5.350 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.351 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
5.351 * [backup-simplify]: Simplify 0 into 0
5.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.352 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.352 * [backup-simplify]: Simplify 0 into 0
5.352 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.353 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.353 * [backup-simplify]: Simplify 0 into 0
5.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.354 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.354 * [backup-simplify]: Simplify 0 into 0
5.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.356 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.356 * [backup-simplify]: Simplify 0 into 0
5.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.357 * [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.357 * [backup-simplify]: Simplify 0 into 0
5.357 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
5.357 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (- x)) (/ 1 (- x)))) into (/ 3.0 (pow x 2))
5.357 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
5.357 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
5.357 * [taylor]: Taking taylor expansion of 3.0 in x
5.357 * [backup-simplify]: Simplify 3.0 into 3.0
5.357 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.357 * [taylor]: Taking taylor expansion of x in x
5.358 * [backup-simplify]: Simplify 0 into 0
5.358 * [backup-simplify]: Simplify 1 into 1
5.358 * [backup-simplify]: Simplify (* 1 1) into 1
5.358 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
5.358 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
5.358 * [taylor]: Taking taylor expansion of 3.0 in x
5.358 * [backup-simplify]: Simplify 3.0 into 3.0
5.358 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.358 * [taylor]: Taking taylor expansion of x in x
5.358 * [backup-simplify]: Simplify 0 into 0
5.358 * [backup-simplify]: Simplify 1 into 1
5.358 * [backup-simplify]: Simplify (* 1 1) into 1
5.359 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
5.359 * [backup-simplify]: Simplify 3.0 into 3.0
5.359 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.360 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
5.360 * [backup-simplify]: Simplify 0 into 0
5.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.361 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.361 * [backup-simplify]: Simplify 0 into 0
5.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.362 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.362 * [backup-simplify]: Simplify 0 into 0
5.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.363 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.363 * [backup-simplify]: Simplify 0 into 0
5.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.364 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.364 * [backup-simplify]: Simplify 0 into 0
5.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.366 * [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.366 * [backup-simplify]: Simplify 0 into 0
5.366 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
5.366 * * * [progress]: simplifying candidates
5.367 * [simplify]: Simplifying:
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (+ (log 3.0) (+ (log x) (log x)))
  (+ (log 3.0) (log (* x x)))
  (log (* 3.0 (* x x)))
  (exp (* 3.0 (* x x)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* x x) x) (* (* x x) x)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* x x) (* x x)) (* x x)))
  (* (cbrt (* 3.0 (* x x))) (cbrt (* 3.0 (* x x))))
  (cbrt (* 3.0 (* x x)))
  (* (* (* 3.0 (* x x)) (* 3.0 (* x x))) (* 3.0 (* x x)))
  (sqrt (* 3.0 (* x x)))
  (sqrt (* 3.0 (* x x)))
  (* (sqrt 3.0) x)
  (* (sqrt 3.0) x)
  (* 3.0 x)
  (* (cbrt 3.0) (* x x))
  (* (sqrt 3.0) (* x x))
  (* 3.0 (* x x))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
5.367 * * [simplify]: Extracting # 0 : cost  0
5.367 * * [simplify]: Extracting # 1 : cost  0
5.367 * * [simplify]: Extracting # 2 : cost  0
5.367 * * [simplify]: Extracting # 3 : cost  0
5.367 * * [simplify]: Extracting # 4 : cost  0
5.367 * * [simplify]: Extracting # 5 : cost  0
5.367 * * [simplify]: iteration  0 :  34  enodes  (cost  162 )
5.376 * * [simplify]: Extracting # 0 : cost  0
5.376 * * [simplify]: Extracting # 1 : cost  0
5.376 * * [simplify]: Extracting # 2 : cost  0
5.376 * * [simplify]: Extracting # 3 : cost  0
5.377 * * [simplify]: iteration  1 :  78  enodes  (cost  159 )
5.415 * * [simplify]: Extracting # 0 : cost  0
5.415 * * [simplify]: Extracting # 1 : cost  0
5.415 * * [simplify]: Extracting # 2 : cost  0
5.415 * * [simplify]: Extracting # 3 : cost  0
5.416 * * [simplify]: Extracting # 4 : cost  0
5.416 * * [simplify]: iteration  2 :  209  enodes  (cost  129 )
5.576 * * [simplify]: Extracting # 0 : cost  0
5.577 * * [simplify]: Extracting # 1 : cost  0
5.577 * * [simplify]: Extracting # 2 : cost  0
5.577 * * [simplify]: Extracting # 3 : cost  0
5.578 * * [simplify]: Extracting # 4 : cost  0
5.578 * * [simplify]: iteration  3 :  468  enodes  (cost  129 )
5.940 * * [simplify]: Extracting # 0 : cost  0
5.941 * * [simplify]: Extracting # 1 : cost  0
5.942 * * [simplify]: Extracting # 2 : cost  0
5.942 * * [simplify]: Extracting # 3 : cost  0
5.943 * * [simplify]: Extracting # 4 : cost  0
5.943 * * [simplify]: iteration  4 :  677  enodes  (cost  129 )
6.960 * * [simplify]: Extracting # 0 : cost  0
6.965 * * [simplify]: Extracting # 1 : cost  0
6.967 * * [simplify]: Extracting # 2 : cost  0
6.968 * * [simplify]: Extracting # 3 : cost  0
6.969 * * [simplify]: Extracting # 4 : cost  0
6.971 * * [simplify]: iteration  5 :  1860  enodes  (cost  129 )
9.114 * * [simplify]: Extracting # 0 : cost  0
9.119 * * [simplify]: Extracting # 1 : cost  0
9.124 * * [simplify]: Extracting # 2 : cost  0
9.131 * * [simplify]: Extracting # 3 : cost  0
9.141 * * [simplify]: Extracting # 4 : cost  0
9.151 * * [simplify]: iteration done:  5001  enodes  (cost  129 )
9.151 * [simplify]: Simplified to:
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (log (* 3.0 (* x x)))
  (log (* 3.0 (* x x)))
  (log (* 3.0 (* x x)))
  (exp (* 3.0 (* x x)))
  (pow (* 3.0 (* x x)) 3)
  (pow (* 3.0 (* x x)) 3)
  (* (cbrt (* 3.0 (* x x))) (cbrt (* 3.0 (* x x))))
  (cbrt (* 3.0 (* x x)))
  (pow (* 3.0 (* x x)) 3)
  (sqrt (* 3.0 (* x x)))
  (sqrt (* 3.0 (* x x)))
  (* (sqrt 3.0) x)
  (* (sqrt 3.0) x)
  (* 3.0 x)
  (* (cbrt 3.0) (* x x))
  (* (sqrt 3.0) (* x x))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
9.152 * * * [progress]: adding candidates to table
9.215 * * [progress]: iteration 3 / 4
9.215 * * * [progress]: picking best candidate
9.230 * * * * [pick]: Picked  #<alt (λ (x) (pow (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x)))) 1))>
9.230 * * * [progress]: localizing error
9.251 * * * [progress]: generating rewritten candidates
9.251 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
9.274 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
9.301 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
9.401 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
9.426 * * * [progress]: generating series expansions
9.426 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
9.426 * [backup-simplify]: Simplify (sqrt (* 3.0 (* x x))) into (* x (sqrt 3.0))
9.426 * [approximate]: Taking taylor expansion of (* x (sqrt 3.0)) in (x) around 0
9.426 * [taylor]: Taking taylor expansion of (* x (sqrt 3.0)) in x
9.426 * [taylor]: Taking taylor expansion of x in x
9.426 * [backup-simplify]: Simplify 0 into 0
9.426 * [backup-simplify]: Simplify 1 into 1
9.426 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.426 * [taylor]: Taking taylor expansion of 3.0 in x
9.426 * [backup-simplify]: Simplify 3.0 into 3.0
9.427 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.427 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.427 * [taylor]: Taking taylor expansion of (* x (sqrt 3.0)) in x
9.427 * [taylor]: Taking taylor expansion of x in x
9.427 * [backup-simplify]: Simplify 0 into 0
9.427 * [backup-simplify]: Simplify 1 into 1
9.427 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.427 * [taylor]: Taking taylor expansion of 3.0 in x
9.428 * [backup-simplify]: Simplify 3.0 into 3.0
9.428 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.428 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.429 * [backup-simplify]: Simplify (* 0 (sqrt 3.0)) into 0
9.429 * [backup-simplify]: Simplify 0 into 0
9.430 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 3.0))) into (sqrt 3.0)
9.430 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.431 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
9.432 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 3.0)))) into 0
9.432 * [backup-simplify]: Simplify 0 into 0
9.434 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.435 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
9.435 * [backup-simplify]: Simplify 0 into 0
9.437 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.438 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))) into 0
9.438 * [backup-simplify]: Simplify 0 into 0
9.439 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.441 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))) into 0
9.441 * [backup-simplify]: Simplify 0 into 0
9.443 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.444 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))))) into 0
9.445 * [backup-simplify]: Simplify 0 into 0
9.446 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.448 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))))) into 0
9.448 * [backup-simplify]: Simplify 0 into 0
9.448 * [backup-simplify]: Simplify (* (sqrt 3.0) x) into (* x (sqrt 3.0))
9.449 * [backup-simplify]: Simplify (sqrt (* 3.0 (* (/ 1 x) (/ 1 x)))) into (/ (sqrt 3.0) x)
9.449 * [approximate]: Taking taylor expansion of (/ (sqrt 3.0) x) in (x) around 0
9.449 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
9.449 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.449 * [taylor]: Taking taylor expansion of 3.0 in x
9.449 * [backup-simplify]: Simplify 3.0 into 3.0
9.449 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.450 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.450 * [taylor]: Taking taylor expansion of x in x
9.450 * [backup-simplify]: Simplify 0 into 0
9.450 * [backup-simplify]: Simplify 1 into 1
9.451 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
9.451 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
9.451 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.451 * [taylor]: Taking taylor expansion of 3.0 in x
9.451 * [backup-simplify]: Simplify 3.0 into 3.0
9.451 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.452 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.452 * [taylor]: Taking taylor expansion of x in x
9.452 * [backup-simplify]: Simplify 0 into 0
9.452 * [backup-simplify]: Simplify 1 into 1
9.453 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
9.454 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.455 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)))) into 0
9.455 * [backup-simplify]: Simplify 0 into 0
9.456 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
9.458 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.458 * [backup-simplify]: Simplify 0 into 0
9.459 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.460 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.460 * [backup-simplify]: Simplify 0 into 0
9.462 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.468 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.468 * [backup-simplify]: Simplify 0 into 0
9.469 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.471 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.471 * [backup-simplify]: Simplify 0 into 0
9.472 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.473 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.473 * [backup-simplify]: Simplify 0 into 0
9.474 * [backup-simplify]: Simplify (* (sqrt 3.0) (/ 1 (/ 1 x))) into (* x (sqrt 3.0))
9.474 * [backup-simplify]: Simplify (sqrt (* 3.0 (* (/ 1 (- x)) (/ 1 (- x))))) into (/ (sqrt 3.0) x)
9.474 * [approximate]: Taking taylor expansion of (/ (sqrt 3.0) x) in (x) around 0
9.474 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
9.474 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.474 * [taylor]: Taking taylor expansion of 3.0 in x
9.475 * [backup-simplify]: Simplify 3.0 into 3.0
9.475 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.476 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.476 * [taylor]: Taking taylor expansion of x in x
9.476 * [backup-simplify]: Simplify 0 into 0
9.476 * [backup-simplify]: Simplify 1 into 1
9.477 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
9.477 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
9.477 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.477 * [taylor]: Taking taylor expansion of 3.0 in x
9.477 * [backup-simplify]: Simplify 3.0 into 3.0
9.477 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.478 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.478 * [taylor]: Taking taylor expansion of x in x
9.479 * [backup-simplify]: Simplify 0 into 0
9.479 * [backup-simplify]: Simplify 1 into 1
9.479 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
9.480 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.481 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)))) into 0
9.481 * [backup-simplify]: Simplify 0 into 0
9.482 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
9.483 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.483 * [backup-simplify]: Simplify 0 into 0
9.485 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.486 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.486 * [backup-simplify]: Simplify 0 into 0
9.487 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.489 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.489 * [backup-simplify]: Simplify 0 into 0
9.490 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.491 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.491 * [backup-simplify]: Simplify 0 into 0
9.492 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.493 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.493 * [backup-simplify]: Simplify 0 into 0
9.493 * [backup-simplify]: Simplify (* (sqrt 3.0) (/ 1 (/ 1 (- x)))) into (* -1 (* x (sqrt 3.0)))
9.493 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
9.493 * [backup-simplify]: Simplify (sqrt (* 3.0 (* x x))) into (* x (sqrt 3.0))
9.493 * [approximate]: Taking taylor expansion of (* x (sqrt 3.0)) in (x) around 0
9.493 * [taylor]: Taking taylor expansion of (* x (sqrt 3.0)) in x
9.494 * [taylor]: Taking taylor expansion of x in x
9.494 * [backup-simplify]: Simplify 0 into 0
9.494 * [backup-simplify]: Simplify 1 into 1
9.494 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.494 * [taylor]: Taking taylor expansion of 3.0 in x
9.494 * [backup-simplify]: Simplify 3.0 into 3.0
9.494 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.494 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.494 * [taylor]: Taking taylor expansion of (* x (sqrt 3.0)) in x
9.494 * [taylor]: Taking taylor expansion of x in x
9.494 * [backup-simplify]: Simplify 0 into 0
9.494 * [backup-simplify]: Simplify 1 into 1
9.494 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.494 * [taylor]: Taking taylor expansion of 3.0 in x
9.494 * [backup-simplify]: Simplify 3.0 into 3.0
9.495 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.495 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.495 * [backup-simplify]: Simplify (* 0 (sqrt 3.0)) into 0
9.496 * [backup-simplify]: Simplify 0 into 0
9.497 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 3.0))) into (sqrt 3.0)
9.497 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.498 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
9.498 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 3.0)))) into 0
9.498 * [backup-simplify]: Simplify 0 into 0
9.499 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.500 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
9.500 * [backup-simplify]: Simplify 0 into 0
9.501 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.501 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))) into 0
9.501 * [backup-simplify]: Simplify 0 into 0
9.502 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.503 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))) into 0
9.503 * [backup-simplify]: Simplify 0 into 0
9.504 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.505 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))))) into 0
9.505 * [backup-simplify]: Simplify 0 into 0
9.506 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.507 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))))) into 0
9.507 * [backup-simplify]: Simplify 0 into 0
9.508 * [backup-simplify]: Simplify (* (sqrt 3.0) x) into (* x (sqrt 3.0))
9.508 * [backup-simplify]: Simplify (sqrt (* 3.0 (* (/ 1 x) (/ 1 x)))) into (/ (sqrt 3.0) x)
9.508 * [approximate]: Taking taylor expansion of (/ (sqrt 3.0) x) in (x) around 0
9.508 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
9.508 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.508 * [taylor]: Taking taylor expansion of 3.0 in x
9.508 * [backup-simplify]: Simplify 3.0 into 3.0
9.508 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.509 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.509 * [taylor]: Taking taylor expansion of x in x
9.509 * [backup-simplify]: Simplify 0 into 0
9.509 * [backup-simplify]: Simplify 1 into 1
9.509 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
9.509 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
9.509 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.509 * [taylor]: Taking taylor expansion of 3.0 in x
9.509 * [backup-simplify]: Simplify 3.0 into 3.0
9.510 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.510 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.510 * [taylor]: Taking taylor expansion of x in x
9.510 * [backup-simplify]: Simplify 0 into 0
9.510 * [backup-simplify]: Simplify 1 into 1
9.511 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
9.511 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.512 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)))) into 0
9.512 * [backup-simplify]: Simplify 0 into 0
9.512 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
9.513 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.513 * [backup-simplify]: Simplify 0 into 0
9.514 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.514 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.514 * [backup-simplify]: Simplify 0 into 0
9.515 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.516 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.516 * [backup-simplify]: Simplify 0 into 0
9.517 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.517 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.517 * [backup-simplify]: Simplify 0 into 0
9.518 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.519 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.519 * [backup-simplify]: Simplify 0 into 0
9.519 * [backup-simplify]: Simplify (* (sqrt 3.0) (/ 1 (/ 1 x))) into (* x (sqrt 3.0))
9.519 * [backup-simplify]: Simplify (sqrt (* 3.0 (* (/ 1 (- x)) (/ 1 (- x))))) into (/ (sqrt 3.0) x)
9.519 * [approximate]: Taking taylor expansion of (/ (sqrt 3.0) x) in (x) around 0
9.520 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
9.520 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.520 * [taylor]: Taking taylor expansion of 3.0 in x
9.520 * [backup-simplify]: Simplify 3.0 into 3.0
9.520 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.521 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.521 * [taylor]: Taking taylor expansion of x in x
9.521 * [backup-simplify]: Simplify 0 into 0
9.521 * [backup-simplify]: Simplify 1 into 1
9.522 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
9.522 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
9.522 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.522 * [taylor]: Taking taylor expansion of 3.0 in x
9.522 * [backup-simplify]: Simplify 3.0 into 3.0
9.522 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.523 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.523 * [taylor]: Taking taylor expansion of x in x
9.523 * [backup-simplify]: Simplify 0 into 0
9.523 * [backup-simplify]: Simplify 1 into 1
9.524 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
9.525 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)))) into 0
9.526 * [backup-simplify]: Simplify 0 into 0
9.527 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
9.528 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.528 * [backup-simplify]: Simplify 0 into 0
9.530 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.531 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.531 * [backup-simplify]: Simplify 0 into 0
9.532 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.533 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.533 * [backup-simplify]: Simplify 0 into 0
9.535 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.536 * [backup-simplify]: Simplify 0 into 0
9.538 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.539 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.539 * [backup-simplify]: Simplify 0 into 0
9.539 * [backup-simplify]: Simplify (* (sqrt 3.0) (/ 1 (/ 1 (- x)))) into (* -1 (* x (sqrt 3.0)))
9.539 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
9.540 * [backup-simplify]: Simplify (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x)))) into (* (pow x 2) (pow (sqrt 3.0) 2))
9.540 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 3.0) 2)) in (x) around 0
9.540 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 3.0) 2)) in x
9.540 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.540 * [taylor]: Taking taylor expansion of x in x
9.540 * [backup-simplify]: Simplify 0 into 0
9.540 * [backup-simplify]: Simplify 1 into 1
9.540 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
9.540 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.540 * [taylor]: Taking taylor expansion of 3.0 in x
9.540 * [backup-simplify]: Simplify 3.0 into 3.0
9.540 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.541 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.541 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 3.0) 2)) in x
9.541 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.541 * [taylor]: Taking taylor expansion of x in x
9.541 * [backup-simplify]: Simplify 0 into 0
9.541 * [backup-simplify]: Simplify 1 into 1
9.541 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
9.541 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.541 * [taylor]: Taking taylor expansion of 3.0 in x
9.542 * [backup-simplify]: Simplify 3.0 into 3.0
9.542 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.543 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.544 * [backup-simplify]: Simplify (* 1 1) into 1
9.545 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
9.547 * [backup-simplify]: Simplify (* 1 (pow (sqrt 3.0) 2)) into (pow (sqrt 3.0) 2)
9.548 * [backup-simplify]: Simplify (pow (sqrt 3.0) 2) into (pow (sqrt 3.0) 2)
9.549 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
9.550 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.551 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 3.0) 2))) into 0
9.551 * [backup-simplify]: Simplify 0 into 0
9.552 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
9.553 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
9.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2)))) into 0
9.554 * [backup-simplify]: Simplify 0 into 0
9.555 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.556 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
9.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2))))) into 0
9.557 * [backup-simplify]: Simplify 0 into 0
9.558 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.559 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))) into 0
9.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2)))))) into 0
9.560 * [backup-simplify]: Simplify 0 into 0
9.561 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.562 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))) into 0
9.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2))))))) into 0
9.564 * [backup-simplify]: Simplify 0 into 0
9.565 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.566 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))))) into 0
9.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2)))))))) into 0
9.568 * [backup-simplify]: Simplify 0 into 0
9.569 * [backup-simplify]: Simplify (* (pow (sqrt 3.0) 2) (pow x 2)) into (* (pow x 2) (pow (sqrt 3.0) 2))
9.569 * [backup-simplify]: Simplify (* (sqrt (* 3.0 (* (/ 1 x) (/ 1 x)))) (sqrt (* 3.0 (* (/ 1 x) (/ 1 x))))) into (/ (pow (sqrt 3.0) 2) (pow x 2))
9.569 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in (x) around 0
9.569 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in x
9.569 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
9.569 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.569 * [taylor]: Taking taylor expansion of 3.0 in x
9.569 * [backup-simplify]: Simplify 3.0 into 3.0
9.570 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.570 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.570 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.570 * [taylor]: Taking taylor expansion of x in x
9.570 * [backup-simplify]: Simplify 0 into 0
9.570 * [backup-simplify]: Simplify 1 into 1
9.571 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
9.571 * [backup-simplify]: Simplify (* 1 1) into 1
9.572 * [backup-simplify]: Simplify (/ (pow (sqrt 3.0) 2) 1) into (pow (sqrt 3.0) 2)
9.572 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in x
9.572 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
9.572 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.572 * [taylor]: Taking taylor expansion of 3.0 in x
9.572 * [backup-simplify]: Simplify 3.0 into 3.0
9.573 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.573 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.573 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.573 * [taylor]: Taking taylor expansion of x in x
9.573 * [backup-simplify]: Simplify 0 into 0
9.573 * [backup-simplify]: Simplify 1 into 1
9.574 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
9.574 * [backup-simplify]: Simplify (* 1 1) into 1
9.575 * [backup-simplify]: Simplify (/ (pow (sqrt 3.0) 2) 1) into (pow (sqrt 3.0) 2)
9.576 * [backup-simplify]: Simplify (pow (sqrt 3.0) 2) into (pow (sqrt 3.0) 2)
9.576 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
9.577 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.577 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)))) into 0
9.577 * [backup-simplify]: Simplify 0 into 0
9.578 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
9.579 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
9.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.583 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.583 * [backup-simplify]: Simplify 0 into 0
9.584 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.585 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
9.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.588 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.588 * [backup-simplify]: Simplify 0 into 0
9.590 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.591 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))) into 0
9.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.594 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.594 * [backup-simplify]: Simplify 0 into 0
9.595 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.597 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))) into 0
9.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.599 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.599 * [backup-simplify]: Simplify 0 into 0
9.600 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.601 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))))) into 0
9.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.602 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.602 * [backup-simplify]: Simplify 0 into 0
9.603 * [backup-simplify]: Simplify (* (pow (sqrt 3.0) 2) (pow (/ 1 (/ 1 x)) 2)) into (* (pow x 2) (pow (sqrt 3.0) 2))
9.604 * [backup-simplify]: Simplify (* (sqrt (* 3.0 (* (/ 1 (- x)) (/ 1 (- x))))) (sqrt (* 3.0 (* (/ 1 (- x)) (/ 1 (- x)))))) into (/ (pow (sqrt 3.0) 2) (pow x 2))
9.604 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in (x) around 0
9.604 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in x
9.604 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
9.604 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.604 * [taylor]: Taking taylor expansion of 3.0 in x
9.604 * [backup-simplify]: Simplify 3.0 into 3.0
9.604 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.605 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.605 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.605 * [taylor]: Taking taylor expansion of x in x
9.605 * [backup-simplify]: Simplify 0 into 0
9.605 * [backup-simplify]: Simplify 1 into 1
9.606 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
9.606 * [backup-simplify]: Simplify (* 1 1) into 1
9.607 * [backup-simplify]: Simplify (/ (pow (sqrt 3.0) 2) 1) into (pow (sqrt 3.0) 2)
9.607 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in x
9.607 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
9.607 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
9.607 * [taylor]: Taking taylor expansion of 3.0 in x
9.608 * [backup-simplify]: Simplify 3.0 into 3.0
9.608 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
9.608 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
9.608 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.608 * [taylor]: Taking taylor expansion of x in x
9.608 * [backup-simplify]: Simplify 0 into 0
9.608 * [backup-simplify]: Simplify 1 into 1
9.609 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
9.609 * [backup-simplify]: Simplify (* 1 1) into 1
9.610 * [backup-simplify]: Simplify (/ (pow (sqrt 3.0) 2) 1) into (pow (sqrt 3.0) 2)
9.611 * [backup-simplify]: Simplify (pow (sqrt 3.0) 2) into (pow (sqrt 3.0) 2)
9.611 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
9.612 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.613 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)))) into 0
9.613 * [backup-simplify]: Simplify 0 into 0
9.613 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
9.614 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
9.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.615 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.615 * [backup-simplify]: Simplify 0 into 0
9.616 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.617 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
9.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.618 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.618 * [backup-simplify]: Simplify 0 into 0
9.619 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.620 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))) into 0
9.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.621 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.621 * [backup-simplify]: Simplify 0 into 0
9.622 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.623 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))) into 0
9.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.625 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.625 * [backup-simplify]: Simplify 0 into 0
9.627 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
9.628 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))))) into 0
9.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.632 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.632 * [backup-simplify]: Simplify 0 into 0
9.633 * [backup-simplify]: Simplify (* (pow (sqrt 3.0) 2) (pow (/ 1 (/ 1 (- x))) 2)) into (* (pow x 2) (pow (sqrt 3.0) 2))
9.633 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
9.633 * [backup-simplify]: Simplify (* 3.0 (* x x)) into (* 3.0 (pow x 2))
9.633 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
9.634 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
9.634 * [taylor]: Taking taylor expansion of 3.0 in x
9.634 * [backup-simplify]: Simplify 3.0 into 3.0
9.634 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.634 * [taylor]: Taking taylor expansion of x in x
9.634 * [backup-simplify]: Simplify 0 into 0
9.634 * [backup-simplify]: Simplify 1 into 1
9.634 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
9.634 * [taylor]: Taking taylor expansion of 3.0 in x
9.634 * [backup-simplify]: Simplify 3.0 into 3.0
9.634 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.634 * [taylor]: Taking taylor expansion of x in x
9.634 * [backup-simplify]: Simplify 0 into 0
9.634 * [backup-simplify]: Simplify 1 into 1
9.634 * [backup-simplify]: Simplify (* 1 1) into 1
9.635 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
9.635 * [backup-simplify]: Simplify 3.0 into 3.0
9.636 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.636 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
9.636 * [backup-simplify]: Simplify 0 into 0
9.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.638 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
9.638 * [backup-simplify]: Simplify 0 into 0
9.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.640 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.640 * [backup-simplify]: Simplify 0 into 0
9.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.643 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.643 * [backup-simplify]: Simplify 0 into 0
9.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.646 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.646 * [backup-simplify]: Simplify 0 into 0
9.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.649 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.649 * [backup-simplify]: Simplify 0 into 0
9.649 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
9.649 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 x) (/ 1 x))) into (/ 3.0 (pow x 2))
9.649 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
9.649 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
9.649 * [taylor]: Taking taylor expansion of 3.0 in x
9.649 * [backup-simplify]: Simplify 3.0 into 3.0
9.649 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.650 * [taylor]: Taking taylor expansion of x in x
9.650 * [backup-simplify]: Simplify 0 into 0
9.650 * [backup-simplify]: Simplify 1 into 1
9.650 * [backup-simplify]: Simplify (* 1 1) into 1
9.650 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
9.650 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
9.651 * [taylor]: Taking taylor expansion of 3.0 in x
9.651 * [backup-simplify]: Simplify 3.0 into 3.0
9.651 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.651 * [taylor]: Taking taylor expansion of x in x
9.651 * [backup-simplify]: Simplify 0 into 0
9.651 * [backup-simplify]: Simplify 1 into 1
9.651 * [backup-simplify]: Simplify (* 1 1) into 1
9.652 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
9.652 * [backup-simplify]: Simplify 3.0 into 3.0
9.652 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.653 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
9.653 * [backup-simplify]: Simplify 0 into 0
9.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.655 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.655 * [backup-simplify]: Simplify 0 into 0
9.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.657 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.657 * [backup-simplify]: Simplify 0 into 0
9.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.659 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.659 * [backup-simplify]: Simplify 0 into 0
9.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.662 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.662 * [backup-simplify]: Simplify 0 into 0
9.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.664 * [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
9.664 * [backup-simplify]: Simplify 0 into 0
9.665 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
9.665 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (- x)) (/ 1 (- x)))) into (/ 3.0 (pow x 2))
9.665 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
9.665 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
9.665 * [taylor]: Taking taylor expansion of 3.0 in x
9.665 * [backup-simplify]: Simplify 3.0 into 3.0
9.665 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.665 * [taylor]: Taking taylor expansion of x in x
9.665 * [backup-simplify]: Simplify 0 into 0
9.665 * [backup-simplify]: Simplify 1 into 1
9.666 * [backup-simplify]: Simplify (* 1 1) into 1
9.666 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
9.666 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
9.666 * [taylor]: Taking taylor expansion of 3.0 in x
9.666 * [backup-simplify]: Simplify 3.0 into 3.0
9.666 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.666 * [taylor]: Taking taylor expansion of x in x
9.666 * [backup-simplify]: Simplify 0 into 0
9.666 * [backup-simplify]: Simplify 1 into 1
9.667 * [backup-simplify]: Simplify (* 1 1) into 1
9.667 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
9.667 * [backup-simplify]: Simplify 3.0 into 3.0
9.668 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.669 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
9.669 * [backup-simplify]: Simplify 0 into 0
9.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.671 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.671 * [backup-simplify]: Simplify 0 into 0
9.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.673 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.673 * [backup-simplify]: Simplify 0 into 0
9.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.675 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.675 * [backup-simplify]: Simplify 0 into 0
9.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.676 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.676 * [backup-simplify]: Simplify 0 into 0
9.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.678 * [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
9.678 * [backup-simplify]: Simplify 0 into 0
9.678 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
9.678 * * * [progress]: simplifying candidates
9.680 * [simplify]: Simplifying:
  (log (sqrt (* 3.0 (* x x))))
  (exp (sqrt (* 3.0 (* x x))))
  (* (cbrt (sqrt (* 3.0 (* x x)))) (cbrt (sqrt (* 3.0 (* x x)))))
  (cbrt (sqrt (* 3.0 (* x x))))
  (* (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x)))) (sqrt (* 3.0 (* x x))))
  (sqrt 3.0)
  (sqrt (* x x))
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* 3.0 (* x x))))
  (sqrt (sqrt (* 3.0 (* x x))))
  (log (sqrt (* 3.0 (* x x))))
  (exp (sqrt (* 3.0 (* x x))))
  (* (cbrt (sqrt (* 3.0 (* x x)))) (cbrt (sqrt (* 3.0 (* x x)))))
  (cbrt (sqrt (* 3.0 (* x x))))
  (* (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x)))) (sqrt (* 3.0 (* x x))))
  (sqrt 3.0)
  (sqrt (* x x))
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* 3.0 (* x x))))
  (sqrt (sqrt (* 3.0 (* x x))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1/2 (/ 1 2))
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (* (* 3.0 (* x x)) (* 3.0 (* x x)))
  (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x))))
  (* (* 3.0 (* x x)) (* 3.0 (* x x)))
  (* (* 3.0 (* x x)) (* 3.0 (* x x)))
  (* (* 3.0 (* x x)) (* 3.0 (* x x)))
  (* (* 3.0 (* x x)) (* 3.0 (* x x)))
  (* (* 3.0 (* x x)) (* 3.0 (* x x)))
  (* (* 3.0 (* x x)) (* 3.0 (* x x)))
  (* (* 3.0 (* x x)) (* 3.0 (* x x)))
  (* (* 3.0 (* x x)) (* 3.0 (* x x)))
  (* (* 3.0 (* x x)) (* 3.0 (* x x)))
  (+ 1 1)
  (+ (log (sqrt (* 3.0 (* x x)))) (log (sqrt (* 3.0 (* x x)))))
  (log (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x)))))
  (exp (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x)))))
  (* (* (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x)))) (sqrt (* 3.0 (* x x)))) (* (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x)))) (sqrt (* 3.0 (* x x)))))
  (* (cbrt (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x))))) (cbrt (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x))))))
  (cbrt (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x)))))
  (* (* (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x)))) (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x))))) (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x)))))
  (* (* 3.0 (* x x)) (* 3.0 (* x x)))
  (sqrt (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x)))))
  (sqrt (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x)))))
  (* (* (cbrt (sqrt (* 3.0 (* x x)))) (cbrt (sqrt (* 3.0 (* x x))))) (* (cbrt (sqrt (* 3.0 (* x x)))) (cbrt (sqrt (* 3.0 (* x x))))))
  (* (cbrt (sqrt (* 3.0 (* x x)))) (cbrt (sqrt (* 3.0 (* x x)))))
  (* (sqrt 3.0) (sqrt 3.0))
  (* (sqrt (* x x)) (sqrt (* x x)))
  (* (sqrt (sqrt (* 3.0 (* x x)))) (sqrt (sqrt (* 3.0 (* x x)))))
  (* (sqrt (sqrt (* 3.0 (* x x)))) (sqrt (sqrt (* 3.0 (* x x)))))
  (* 1 1)
  (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x))))
  (* (sqrt (sqrt (* 3.0 (* x x)))) (sqrt (sqrt (* 3.0 (* x x)))))
  (* (sqrt (sqrt (* 3.0 (* x x)))) (sqrt (sqrt (* 3.0 (* x x)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* (sqrt (* 3.0 (* x x))) (* (cbrt (sqrt (* 3.0 (* x x)))) (cbrt (sqrt (* 3.0 (* x x))))))
  (* (sqrt (* 3.0 (* x x))) (sqrt 3.0))
  (* (sqrt (* 3.0 (* x x))) (sqrt (sqrt (* 3.0 (* x x)))))
  (* (sqrt (* 3.0 (* x x))) 1)
  (* (cbrt (sqrt (* 3.0 (* x x)))) (sqrt (* 3.0 (* x x))))
  (* (sqrt (* x x)) (sqrt (* 3.0 (* x x))))
  (* (sqrt (sqrt (* 3.0 (* x x)))) (sqrt (* 3.0 (* x x))))
  (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x))))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (+ (log 3.0) (+ (log x) (log x)))
  (+ (log 3.0) (log (* x x)))
  (log (* 3.0 (* x x)))
  (exp (* 3.0 (* x x)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* x x) x) (* (* x x) x)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* x x) (* x x)) (* x x)))
  (* (cbrt (* 3.0 (* x x))) (cbrt (* 3.0 (* x x))))
  (cbrt (* 3.0 (* x x)))
  (* (* (* 3.0 (* x x)) (* 3.0 (* x x))) (* 3.0 (* x x)))
  (sqrt (* 3.0 (* x x)))
  (sqrt (* 3.0 (* x x)))
  (* (sqrt 3.0) x)
  (* (sqrt 3.0) x)
  (* 3.0 x)
  (* (cbrt 3.0) (* x x))
  (* (sqrt 3.0) (* x x))
  (* 3.0 (* x x))
  (* x (sqrt 3.0))
  (* x (sqrt 3.0))
  (* -1 (* x (sqrt 3.0)))
  (* x (sqrt 3.0))
  (* x (sqrt 3.0))
  (* -1 (* x (sqrt 3.0)))
  (* (pow x 2) (pow (sqrt 3.0) 2))
  (* (pow x 2) (pow (sqrt 3.0) 2))
  (* (pow x 2) (pow (sqrt 3.0) 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
9.681 * * [simplify]: Extracting # 0 : cost  0
9.681 * * [simplify]: Extracting # 1 : cost  0
9.681 * * [simplify]: Extracting # 2 : cost  0
9.682 * * [simplify]: Extracting # 3 : cost  0
9.682 * * [simplify]: Extracting # 4 : cost  0
9.682 * * [simplify]: Extracting # 5 : cost  0
9.682 * * [simplify]: iteration  0 :  79  enodes  (cost  1108 )
9.709 * * [simplify]: Extracting # 0 : cost  0
9.709 * * [simplify]: Extracting # 1 : cost  0
9.709 * * [simplify]: Extracting # 2 : cost  0
9.709 * * [simplify]: iteration  1 :  154  enodes  (cost  749 )
9.792 * * [simplify]: Extracting # 0 : cost  0
9.793 * * [simplify]: Extracting # 1 : cost  0
9.794 * * [simplify]: Extracting # 2 : cost  0
9.795 * * [simplify]: Extracting # 3 : cost  0
9.796 * * [simplify]: Extracting # 4 : cost  0
9.797 * * [simplify]: Extracting # 5 : cost  0
9.797 * * [simplify]: iteration  2 :  460  enodes  (cost  623 )
10.472 * * [simplify]: Extracting # 0 : cost  0
10.475 * * [simplify]: Extracting # 1 : cost  0
10.477 * * [simplify]: Extracting # 2 : cost  0
10.478 * * [simplify]: Extracting # 3 : cost  0
10.480 * * [simplify]: Extracting # 4 : cost  0
10.482 * * [simplify]: iteration  3 :  1793  enodes  (cost  605 )
13.619 * * [simplify]: Extracting # 0 : cost  0
13.627 * * [simplify]: Extracting # 1 : cost  0
13.637 * * [simplify]: Extracting # 2 : cost  0
13.646 * * [simplify]: Extracting # 3 : cost  0
13.653 * * [simplify]: Extracting # 4 : cost  0
13.658 * * [simplify]: iteration done:  5000  enodes  (cost  597 )
13.659 * [simplify]: Simplified to:
  (log (sqrt (* 3.0 (* x x))))
  (exp (sqrt (* 3.0 (* x x))))
  (* (cbrt (sqrt (* 3.0 (* x x)))) (cbrt (sqrt (* 3.0 (* x x)))))
  (cbrt (sqrt (* 3.0 (* x x))))
  (pow (sqrt (* 3.0 (pow x 2))) 3)
  (sqrt 3.0)
  (fabs x)
  1/2
  1/2
  1/2
  (sqrt (sqrt (* 3.0 (pow x 2))))
  (sqrt (sqrt (* 3.0 (pow x 2))))
  (log (sqrt (* 3.0 (* x x))))
  (exp (sqrt (* 3.0 (* x x))))
  (* (cbrt (sqrt (* 3.0 (* x x)))) (cbrt (sqrt (* 3.0 (* x x)))))
  (cbrt (sqrt (* 3.0 (* x x))))
  (pow (sqrt (* 3.0 (pow x 2))) 3)
  (sqrt 3.0)
  (fabs x)
  1/2
  1/2
  1/2
  (sqrt (sqrt (* 3.0 (pow x 2))))
  (sqrt (sqrt (* 3.0 (pow x 2))))
  1
  1
  1
  1
  2
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  (* (* (pow x 4) 3.0) 3.0)
  (* 3.0 (pow x 2))
  (* (* (pow x 4) 3.0) 3.0)
  (* (* (pow x 4) 3.0) 3.0)
  (* (* (pow x 4) 3.0) 3.0)
  (* (* (pow x 4) 3.0) 3.0)
  (* (* (pow x 4) 3.0) 3.0)
  (* (* (pow x 4) 3.0) 3.0)
  (* (* (pow x 4) 3.0) 3.0)
  (* (* (pow x 4) 3.0) 3.0)
  (* (* (pow x 4) 3.0) 3.0)
  2
  (log (* 3.0 (* x x)))
  (log (* 3.0 (* x x)))
  (exp (* 3.0 (* x x)))
  (pow (* 3.0 (pow x 2)) 3)
  (* (cbrt (* 3.0 (* x x))) (cbrt (* 3.0 (* x x))))
  (cbrt (* 3.0 (* x x)))
  (pow (* 3.0 (pow x 2)) 3)
  (* (* (pow x 4) 3.0) 3.0)
  (sqrt (* 3.0 (pow x 2)))
  (sqrt (* 3.0 (pow x 2)))
  (pow (cbrt (sqrt (* 3.0 (* x x)))) 4)
  (* (cbrt (sqrt (* 3.0 (* x x)))) (cbrt (sqrt (* 3.0 (* x x)))))
  3.0
  (pow x 2)
  (sqrt (* 3.0 (pow x 2)))
  (sqrt (* 3.0 (pow x 2)))
  1
  (* 3.0 (pow x 2))
  (sqrt (* 3.0 (pow x 2)))
  (sqrt (* 3.0 (pow x 2)))
  1
  2
  1
  1
  1
  1
  1
  1
  1
  1
  1
  (pow (cbrt (sqrt (* 3.0 (* x x)))) 5)
  (* (sqrt (* 3.0 (* x x))) (sqrt 3.0))
  (pow (sqrt (sqrt (* 3.0 (* x x)))) 3)
  (sqrt (* 3.0 (pow x 2)))
  (pow (cbrt (sqrt (* 3.0 (* x x)))) 4)
  (* (sqrt (* 3.0 (* x x))) (fabs x))
  (pow (sqrt (sqrt (* 3.0 (* x x)))) 3)
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (log (* 3.0 (* x x)))
  (log (* 3.0 (* x x)))
  (log (* 3.0 (* x x)))
  (exp (* 3.0 (* x x)))
  (pow (* 3.0 (pow x 2)) 3)
  (pow (* 3.0 (pow x 2)) 3)
  (* (cbrt (* 3.0 (* x x))) (cbrt (* 3.0 (* x x))))
  (cbrt (* 3.0 (* x x)))
  (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)
  (* 3.0 x)
  (* (cbrt 3.0) (* x x))
  (* (sqrt 3.0) (* x x))
  (* 3.0 (pow x 2))
  (* (sqrt 3.0) x)
  (* (sqrt 3.0) x)
  (- (* x (sqrt 3.0)))
  (* (sqrt 3.0) x)
  (* (sqrt 3.0) x)
  (- (* x (sqrt 3.0)))
  (* 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))
  (* 3.0 (pow x 2))
13.660 * * * [progress]: adding candidates to table
13.887 * * [progress]: iteration 4 / 4
13.887 * * * [progress]: picking best candidate
13.912 * * * * [pick]: Picked  #<alt (λ (x) (pow (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))) 1))>
13.913 * * * [progress]: localizing error
13.931 * * * [progress]: generating rewritten candidates
13.931 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
13.950 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
14.154 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1)
14.188 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
14.266 * * * [progress]: generating series expansions
14.266 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
14.266 * [backup-simplify]: Simplify (sqrt (* 3.0 (* x x))) into (* x (sqrt 3.0))
14.266 * [approximate]: Taking taylor expansion of (* x (sqrt 3.0)) in (x) around 0
14.266 * [taylor]: Taking taylor expansion of (* x (sqrt 3.0)) in x
14.266 * [taylor]: Taking taylor expansion of x in x
14.266 * [backup-simplify]: Simplify 0 into 0
14.266 * [backup-simplify]: Simplify 1 into 1
14.266 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.266 * [taylor]: Taking taylor expansion of 3.0 in x
14.266 * [backup-simplify]: Simplify 3.0 into 3.0
14.267 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.267 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.267 * [taylor]: Taking taylor expansion of (* x (sqrt 3.0)) in x
14.267 * [taylor]: Taking taylor expansion of x in x
14.267 * [backup-simplify]: Simplify 0 into 0
14.267 * [backup-simplify]: Simplify 1 into 1
14.267 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.267 * [taylor]: Taking taylor expansion of 3.0 in x
14.267 * [backup-simplify]: Simplify 3.0 into 3.0
14.268 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.268 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.268 * [backup-simplify]: Simplify (* 0 (sqrt 3.0)) into 0
14.268 * [backup-simplify]: Simplify 0 into 0
14.270 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 3.0))) into (sqrt 3.0)
14.270 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.271 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
14.271 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 3.0)))) into 0
14.271 * [backup-simplify]: Simplify 0 into 0
14.272 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.273 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
14.273 * [backup-simplify]: Simplify 0 into 0
14.274 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.275 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))) into 0
14.275 * [backup-simplify]: Simplify 0 into 0
14.275 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.276 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))) into 0
14.276 * [backup-simplify]: Simplify 0 into 0
14.277 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.278 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))))) into 0
14.278 * [backup-simplify]: Simplify 0 into 0
14.279 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.280 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))))) into 0
14.280 * [backup-simplify]: Simplify 0 into 0
14.280 * [backup-simplify]: Simplify (* (sqrt 3.0) x) into (* x (sqrt 3.0))
14.281 * [backup-simplify]: Simplify (sqrt (* 3.0 (* (/ 1 x) (/ 1 x)))) into (/ (sqrt 3.0) x)
14.281 * [approximate]: Taking taylor expansion of (/ (sqrt 3.0) x) in (x) around 0
14.281 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
14.281 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.281 * [taylor]: Taking taylor expansion of 3.0 in x
14.281 * [backup-simplify]: Simplify 3.0 into 3.0
14.281 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.281 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.281 * [taylor]: Taking taylor expansion of x in x
14.281 * [backup-simplify]: Simplify 0 into 0
14.281 * [backup-simplify]: Simplify 1 into 1
14.282 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
14.282 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
14.282 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.282 * [taylor]: Taking taylor expansion of 3.0 in x
14.282 * [backup-simplify]: Simplify 3.0 into 3.0
14.282 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.283 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.283 * [taylor]: Taking taylor expansion of x in x
14.283 * [backup-simplify]: Simplify 0 into 0
14.283 * [backup-simplify]: Simplify 1 into 1
14.283 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
14.284 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.285 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)))) into 0
14.285 * [backup-simplify]: Simplify 0 into 0
14.286 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
14.287 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.287 * [backup-simplify]: Simplify 0 into 0
14.289 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.290 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.290 * [backup-simplify]: Simplify 0 into 0
14.291 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.292 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.292 * [backup-simplify]: Simplify 0 into 0
14.294 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.295 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.295 * [backup-simplify]: Simplify 0 into 0
14.297 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.298 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.298 * [backup-simplify]: Simplify 0 into 0
14.298 * [backup-simplify]: Simplify (* (sqrt 3.0) (/ 1 (/ 1 x))) into (* x (sqrt 3.0))
14.299 * [backup-simplify]: Simplify (sqrt (* 3.0 (* (/ 1 (- x)) (/ 1 (- x))))) into (/ (sqrt 3.0) x)
14.299 * [approximate]: Taking taylor expansion of (/ (sqrt 3.0) x) in (x) around 0
14.299 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
14.299 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.299 * [taylor]: Taking taylor expansion of 3.0 in x
14.299 * [backup-simplify]: Simplify 3.0 into 3.0
14.299 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.300 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.300 * [taylor]: Taking taylor expansion of x in x
14.300 * [backup-simplify]: Simplify 0 into 0
14.300 * [backup-simplify]: Simplify 1 into 1
14.301 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
14.301 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
14.301 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.301 * [taylor]: Taking taylor expansion of 3.0 in x
14.301 * [backup-simplify]: Simplify 3.0 into 3.0
14.302 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.302 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.302 * [taylor]: Taking taylor expansion of x in x
14.302 * [backup-simplify]: Simplify 0 into 0
14.302 * [backup-simplify]: Simplify 1 into 1
14.303 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
14.304 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.305 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)))) into 0
14.305 * [backup-simplify]: Simplify 0 into 0
14.306 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
14.307 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.307 * [backup-simplify]: Simplify 0 into 0
14.308 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.310 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.310 * [backup-simplify]: Simplify 0 into 0
14.311 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.312 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.312 * [backup-simplify]: Simplify 0 into 0
14.313 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.313 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.313 * [backup-simplify]: Simplify 0 into 0
14.314 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.315 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.315 * [backup-simplify]: Simplify 0 into 0
14.315 * [backup-simplify]: Simplify (* (sqrt 3.0) (/ 1 (/ 1 (- x)))) into (* -1 (* x (sqrt 3.0)))
14.315 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
14.316 * [backup-simplify]: Simplify (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))) into (* x (* (fabs x) (pow (sqrt 3.0) 2)))
14.316 * [approximate]: Taking taylor expansion of (* x (* (fabs x) (pow (sqrt 3.0) 2))) in (x) around 0
14.316 * [taylor]: Taking taylor expansion of (* x (* (fabs x) (pow (sqrt 3.0) 2))) in x
14.316 * [taylor]: Taking taylor expansion of x in x
14.316 * [backup-simplify]: Simplify 0 into 0
14.316 * [backup-simplify]: Simplify 1 into 1
14.316 * [taylor]: Taking taylor expansion of (* (fabs x) (pow (sqrt 3.0) 2)) in x
14.316 * [taylor]: Taking taylor expansion of (fabs x) in x
14.316 * [backup-simplify]: Simplify (fabs x) into (fabs x)
14.316 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
14.316 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.316 * [taylor]: Taking taylor expansion of 3.0 in x
14.316 * [backup-simplify]: Simplify 3.0 into 3.0
14.316 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.317 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.317 * [taylor]: Taking taylor expansion of (* x (* (fabs x) (pow (sqrt 3.0) 2))) in x
14.317 * [taylor]: Taking taylor expansion of x in x
14.317 * [backup-simplify]: Simplify 0 into 0
14.317 * [backup-simplify]: Simplify 1 into 1
14.317 * [taylor]: Taking taylor expansion of (* (fabs x) (pow (sqrt 3.0) 2)) in x
14.317 * [taylor]: Taking taylor expansion of (fabs x) in x
14.317 * [backup-simplify]: Simplify (fabs x) into (fabs x)
14.317 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
14.317 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.317 * [taylor]: Taking taylor expansion of 3.0 in x
14.317 * [backup-simplify]: Simplify 3.0 into 3.0
14.317 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.318 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.318 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
14.319 * [backup-simplify]: Simplify (* (fabs x) (pow (sqrt 3.0) 2)) into (* (fabs x) (pow (sqrt 3.0) 2))
14.320 * [backup-simplify]: Simplify (* 0 (* (fabs x) (pow (sqrt 3.0) 2))) into 0
14.320 * [backup-simplify]: Simplify 0 into 0
14.320 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
14.323 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (pow (sqrt 3.0) 2))) into 0
14.325 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* (fabs x) (pow (sqrt 3.0) 2)))) into (* (fabs x) (pow (sqrt 3.0) 2))
14.325 * [backup-simplify]: Simplify (* (fabs x) (pow (sqrt 3.0) 2)) into (* (fabs x) (pow (sqrt 3.0) 2))
14.326 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
14.326 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
14.327 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2)))) into 0
14.328 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* (fabs x) (pow (sqrt 3.0) 2))))) into 0
14.328 * [backup-simplify]: Simplify 0 into 0
14.329 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.330 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
14.330 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2))))) into 0
14.332 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* (fabs x) (pow (sqrt 3.0) 2)))))) into 0
14.332 * [backup-simplify]: Simplify 0 into 0
14.332 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.333 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))) into 0
14.334 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2)))))) into 0
14.335 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (fabs x) (pow (sqrt 3.0) 2))))))) into 0
14.335 * [backup-simplify]: Simplify 0 into 0
14.336 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.337 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))) into 0
14.338 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2))))))) into 0
14.339 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (fabs x) (pow (sqrt 3.0) 2)))))))) into 0
14.340 * [backup-simplify]: Simplify 0 into 0
14.340 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.341 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))))) into 0
14.342 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2)))))))) into 0
14.345 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (fabs x) (pow (sqrt 3.0) 2))))))))) into 0
14.345 * [backup-simplify]: Simplify 0 into 0
14.346 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.348 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))))) into 0
14.349 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2))))))))) into 0
14.351 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (fabs x) (pow (sqrt 3.0) 2)))))))))) into 0
14.351 * [backup-simplify]: Simplify 0 into 0
14.352 * [backup-simplify]: Simplify (* (* (fabs x) (pow (sqrt 3.0) 2)) x) into (* x (* (fabs x) (pow (sqrt 3.0) 2)))
14.352 * [backup-simplify]: Simplify (* (sqrt 3.0) (* (sqrt (* 3.0 (* (/ 1 x) (/ 1 x)))) (fabs (/ 1 x)))) into (/ (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2)) x)
14.352 * [approximate]: Taking taylor expansion of (/ (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2)) x) in (x) around 0
14.352 * [taylor]: Taking taylor expansion of (/ (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2)) x) in x
14.352 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2)) in x
14.352 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
14.352 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
14.352 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
14.352 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.352 * [taylor]: Taking taylor expansion of 3.0 in x
14.353 * [backup-simplify]: Simplify 3.0 into 3.0
14.353 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.353 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.353 * [taylor]: Taking taylor expansion of x in x
14.353 * [backup-simplify]: Simplify 0 into 0
14.353 * [backup-simplify]: Simplify 1 into 1
14.354 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
14.355 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2)) into (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2))
14.355 * [backup-simplify]: Simplify (/ (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2)) 1) into (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2))
14.355 * [taylor]: Taking taylor expansion of (/ (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2)) x) in x
14.355 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2)) in x
14.355 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
14.356 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
14.356 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
14.356 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.356 * [taylor]: Taking taylor expansion of 3.0 in x
14.356 * [backup-simplify]: Simplify 3.0 into 3.0
14.356 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.356 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.356 * [taylor]: Taking taylor expansion of x in x
14.356 * [backup-simplify]: Simplify 0 into 0
14.356 * [backup-simplify]: Simplify 1 into 1
14.357 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
14.358 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2)) into (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2))
14.358 * [backup-simplify]: Simplify (/ (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2)) 1) into (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2))
14.359 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2)) into (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2))
14.360 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
14.360 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (sqrt 3.0) 2))) into 0
14.361 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2)) (/ 0 1)))) into 0
14.361 * [backup-simplify]: Simplify 0 into 0
14.362 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
14.363 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
14.364 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2)))) into 0
14.367 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.367 * [backup-simplify]: Simplify 0 into 0
14.368 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.370 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
14.371 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2))))) into 0
14.374 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.374 * [backup-simplify]: Simplify 0 into 0
14.376 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.377 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))) into 0
14.379 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2)))))) into 0
14.382 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.382 * [backup-simplify]: Simplify 0 into 0
14.384 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.385 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))) into 0
14.387 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2))))))) into 0
14.391 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.391 * [backup-simplify]: Simplify 0 into 0
14.392 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.394 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))))) into 0
14.396 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2)))))))) into 0
14.403 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ 1 x)) (pow (sqrt 3.0) 2)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.403 * [backup-simplify]: Simplify 0 into 0
14.404 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (/ 1 x))) (pow (sqrt 3.0) 2)) (/ 1 (/ 1 x))) into (* x (* (fabs x) (pow (sqrt 3.0) 2)))
14.405 * [backup-simplify]: Simplify (* (sqrt 3.0) (* (sqrt (* 3.0 (* (/ 1 (- x)) (/ 1 (- x))))) (fabs (/ 1 (- x))))) into (/ (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2)) x)
14.405 * [approximate]: Taking taylor expansion of (/ (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2)) x) in (x) around 0
14.405 * [taylor]: Taking taylor expansion of (/ (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2)) x) in x
14.405 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2)) in x
14.406 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
14.406 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
14.406 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
14.406 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.406 * [taylor]: Taking taylor expansion of 3.0 in x
14.406 * [backup-simplify]: Simplify 3.0 into 3.0
14.406 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.407 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.408 * [taylor]: Taking taylor expansion of x in x
14.408 * [backup-simplify]: Simplify 0 into 0
14.408 * [backup-simplify]: Simplify 1 into 1
14.409 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
14.410 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2)) into (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2))
14.411 * [backup-simplify]: Simplify (/ (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2)) 1) into (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2))
14.411 * [taylor]: Taking taylor expansion of (/ (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2)) x) in x
14.412 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2)) in x
14.412 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
14.412 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
14.412 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
14.412 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.412 * [taylor]: Taking taylor expansion of 3.0 in x
14.412 * [backup-simplify]: Simplify 3.0 into 3.0
14.412 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.413 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.413 * [taylor]: Taking taylor expansion of x in x
14.413 * [backup-simplify]: Simplify 0 into 0
14.413 * [backup-simplify]: Simplify 1 into 1
14.414 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
14.414 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2)) into (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2))
14.415 * [backup-simplify]: Simplify (/ (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2)) 1) into (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2))
14.416 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2)) into (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2))
14.416 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
14.417 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (sqrt 3.0) 2))) into 0
14.418 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2)) (/ 0 1)))) into 0
14.418 * [backup-simplify]: Simplify 0 into 0
14.418 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
14.419 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
14.420 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2)))) into 0
14.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.421 * [backup-simplify]: Simplify 0 into 0
14.422 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.422 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
14.423 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2))))) into 0
14.425 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.425 * [backup-simplify]: Simplify 0 into 0
14.426 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.426 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))) into 0
14.427 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2)))))) into 0
14.429 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.429 * [backup-simplify]: Simplify 0 into 0
14.430 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.431 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))) into 0
14.432 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2))))))) into 0
14.439 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.439 * [backup-simplify]: Simplify 0 into 0
14.439 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.440 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))))) into 0
14.441 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2)))))))) into 0
14.444 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ -1 x)) (pow (sqrt 3.0) 2)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.444 * [backup-simplify]: Simplify 0 into 0
14.445 * [backup-simplify]: Simplify (* (* (fabs (/ -1 (/ 1 (- x)))) (pow (sqrt 3.0) 2)) (/ 1 (/ 1 (- x)))) into (* -1 (* x (* (fabs x) (pow (sqrt 3.0) 2))))
14.445 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1)
14.445 * [backup-simplify]: Simplify (* 3.0 (* x x)) into (* 3.0 (pow x 2))
14.445 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
14.445 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
14.445 * [taylor]: Taking taylor expansion of 3.0 in x
14.445 * [backup-simplify]: Simplify 3.0 into 3.0
14.445 * [taylor]: Taking taylor expansion of (pow x 2) in x
14.445 * [taylor]: Taking taylor expansion of x in x
14.445 * [backup-simplify]: Simplify 0 into 0
14.445 * [backup-simplify]: Simplify 1 into 1
14.445 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
14.445 * [taylor]: Taking taylor expansion of 3.0 in x
14.445 * [backup-simplify]: Simplify 3.0 into 3.0
14.445 * [taylor]: Taking taylor expansion of (pow x 2) in x
14.445 * [taylor]: Taking taylor expansion of x in x
14.445 * [backup-simplify]: Simplify 0 into 0
14.445 * [backup-simplify]: Simplify 1 into 1
14.445 * [backup-simplify]: Simplify (* 1 1) into 1
14.446 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
14.446 * [backup-simplify]: Simplify 3.0 into 3.0
14.446 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.446 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
14.446 * [backup-simplify]: Simplify 0 into 0
14.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.447 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
14.448 * [backup-simplify]: Simplify 0 into 0
14.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.449 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.449 * [backup-simplify]: Simplify 0 into 0
14.449 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.450 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.450 * [backup-simplify]: Simplify 0 into 0
14.451 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.452 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.452 * [backup-simplify]: Simplify 0 into 0
14.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.453 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.453 * [backup-simplify]: Simplify 0 into 0
14.453 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
14.453 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 x) (/ 1 x))) into (/ 3.0 (pow x 2))
14.453 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
14.454 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
14.454 * [taylor]: Taking taylor expansion of 3.0 in x
14.454 * [backup-simplify]: Simplify 3.0 into 3.0
14.454 * [taylor]: Taking taylor expansion of (pow x 2) in x
14.454 * [taylor]: Taking taylor expansion of x in x
14.454 * [backup-simplify]: Simplify 0 into 0
14.454 * [backup-simplify]: Simplify 1 into 1
14.454 * [backup-simplify]: Simplify (* 1 1) into 1
14.454 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
14.454 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
14.454 * [taylor]: Taking taylor expansion of 3.0 in x
14.454 * [backup-simplify]: Simplify 3.0 into 3.0
14.454 * [taylor]: Taking taylor expansion of (pow x 2) in x
14.454 * [taylor]: Taking taylor expansion of x in x
14.454 * [backup-simplify]: Simplify 0 into 0
14.454 * [backup-simplify]: Simplify 1 into 1
14.454 * [backup-simplify]: Simplify (* 1 1) into 1
14.455 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
14.455 * [backup-simplify]: Simplify 3.0 into 3.0
14.455 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.456 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
14.456 * [backup-simplify]: Simplify 0 into 0
14.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.457 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.457 * [backup-simplify]: Simplify 0 into 0
14.458 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.458 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.458 * [backup-simplify]: Simplify 0 into 0
14.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.459 * [backup-simplify]: Simplify 0 into 0
14.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.461 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.461 * [backup-simplify]: Simplify 0 into 0
14.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.462 * [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
14.462 * [backup-simplify]: Simplify 0 into 0
14.462 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
14.462 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (- x)) (/ 1 (- x)))) into (/ 3.0 (pow x 2))
14.462 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
14.462 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
14.462 * [taylor]: Taking taylor expansion of 3.0 in x
14.462 * [backup-simplify]: Simplify 3.0 into 3.0
14.462 * [taylor]: Taking taylor expansion of (pow x 2) in x
14.463 * [taylor]: Taking taylor expansion of x in x
14.463 * [backup-simplify]: Simplify 0 into 0
14.463 * [backup-simplify]: Simplify 1 into 1
14.463 * [backup-simplify]: Simplify (* 1 1) into 1
14.463 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
14.463 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
14.463 * [taylor]: Taking taylor expansion of 3.0 in x
14.463 * [backup-simplify]: Simplify 3.0 into 3.0
14.463 * [taylor]: Taking taylor expansion of (pow x 2) in x
14.463 * [taylor]: Taking taylor expansion of x in x
14.463 * [backup-simplify]: Simplify 0 into 0
14.463 * [backup-simplify]: Simplify 1 into 1
14.464 * [backup-simplify]: Simplify (* 1 1) into 1
14.464 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
14.464 * [backup-simplify]: Simplify 3.0 into 3.0
14.465 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.466 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
14.466 * [backup-simplify]: Simplify 0 into 0
14.467 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.468 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.468 * [backup-simplify]: Simplify 0 into 0
14.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.470 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.470 * [backup-simplify]: Simplify 0 into 0
14.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.471 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.472 * [backup-simplify]: Simplify 0 into 0
14.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.473 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.473 * [backup-simplify]: Simplify 0 into 0
14.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.474 * [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
14.474 * [backup-simplify]: Simplify 0 into 0
14.474 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
14.474 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
14.475 * [backup-simplify]: Simplify (* (sqrt (* 3.0 (* x x))) (fabs x)) into (* x (* (fabs x) (sqrt 3.0)))
14.475 * [approximate]: Taking taylor expansion of (* x (* (fabs x) (sqrt 3.0))) in (x) around 0
14.475 * [taylor]: Taking taylor expansion of (* x (* (fabs x) (sqrt 3.0))) in x
14.475 * [taylor]: Taking taylor expansion of x in x
14.475 * [backup-simplify]: Simplify 0 into 0
14.475 * [backup-simplify]: Simplify 1 into 1
14.475 * [taylor]: Taking taylor expansion of (* (fabs x) (sqrt 3.0)) in x
14.475 * [taylor]: Taking taylor expansion of (fabs x) in x
14.475 * [backup-simplify]: Simplify (fabs x) into (fabs x)
14.475 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.475 * [taylor]: Taking taylor expansion of 3.0 in x
14.475 * [backup-simplify]: Simplify 3.0 into 3.0
14.475 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.476 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.476 * [taylor]: Taking taylor expansion of (* x (* (fabs x) (sqrt 3.0))) in x
14.476 * [taylor]: Taking taylor expansion of x in x
14.476 * [backup-simplify]: Simplify 0 into 0
14.476 * [backup-simplify]: Simplify 1 into 1
14.476 * [taylor]: Taking taylor expansion of (* (fabs x) (sqrt 3.0)) in x
14.476 * [taylor]: Taking taylor expansion of (fabs x) in x
14.476 * [backup-simplify]: Simplify (fabs x) into (fabs x)
14.476 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.476 * [taylor]: Taking taylor expansion of 3.0 in x
14.476 * [backup-simplify]: Simplify 3.0 into 3.0
14.477 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.477 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.478 * [backup-simplify]: Simplify (* (fabs x) (sqrt 3.0)) into (* (fabs x) (sqrt 3.0))
14.478 * [backup-simplify]: Simplify (* 0 (* (fabs x) (sqrt 3.0))) into 0
14.478 * [backup-simplify]: Simplify 0 into 0
14.479 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (* 0 (sqrt 3.0))) into 0
14.480 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* (fabs x) (sqrt 3.0)))) into (* (fabs x) (sqrt 3.0))
14.480 * [backup-simplify]: Simplify (* (fabs x) (sqrt 3.0)) into (* (fabs x) (sqrt 3.0))
14.481 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
14.482 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
14.483 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* (fabs x) (sqrt 3.0))))) into 0
14.483 * [backup-simplify]: Simplify 0 into 0
14.484 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.484 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
14.485 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (* (fabs x) (sqrt 3.0)))))) into 0
14.485 * [backup-simplify]: Simplify 0 into 0
14.486 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.487 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))) into 0
14.488 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (fabs x) (sqrt 3.0))))))) into 0
14.488 * [backup-simplify]: Simplify 0 into 0
14.489 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.489 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))) into 0
14.491 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (fabs x) (sqrt 3.0)))))))) into 0
14.491 * [backup-simplify]: Simplify 0 into 0
14.491 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.492 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))))) into 0
14.494 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (fabs x) (sqrt 3.0))))))))) into 0
14.494 * [backup-simplify]: Simplify 0 into 0
14.494 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.495 * [backup-simplify]: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))))) into 0
14.497 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (fabs x) (sqrt 3.0)))))))))) into 0
14.497 * [backup-simplify]: Simplify 0 into 0
14.497 * [backup-simplify]: Simplify (* (* (fabs x) (sqrt 3.0)) x) into (* x (* (fabs x) (sqrt 3.0)))
14.498 * [backup-simplify]: Simplify (* (sqrt (* 3.0 (* (/ 1 x) (/ 1 x)))) (fabs (/ 1 x))) into (/ (* (fabs (/ 1 x)) (sqrt 3.0)) x)
14.498 * [approximate]: Taking taylor expansion of (/ (* (fabs (/ 1 x)) (sqrt 3.0)) x) in (x) around 0
14.498 * [taylor]: Taking taylor expansion of (/ (* (fabs (/ 1 x)) (sqrt 3.0)) x) in x
14.498 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt 3.0)) in x
14.498 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
14.498 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
14.498 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.498 * [taylor]: Taking taylor expansion of 3.0 in x
14.498 * [backup-simplify]: Simplify 3.0 into 3.0
14.498 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.498 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.499 * [taylor]: Taking taylor expansion of x in x
14.499 * [backup-simplify]: Simplify 0 into 0
14.499 * [backup-simplify]: Simplify 1 into 1
14.499 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (sqrt 3.0)) into (* (fabs (/ 1 x)) (sqrt 3.0))
14.499 * [backup-simplify]: Simplify (/ (* (fabs (/ 1 x)) (sqrt 3.0)) 1) into (* (fabs (/ 1 x)) (sqrt 3.0))
14.499 * [taylor]: Taking taylor expansion of (/ (* (fabs (/ 1 x)) (sqrt 3.0)) x) in x
14.499 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt 3.0)) in x
14.499 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
14.499 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x))
14.499 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.499 * [taylor]: Taking taylor expansion of 3.0 in x
14.499 * [backup-simplify]: Simplify 3.0 into 3.0
14.500 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.500 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.500 * [taylor]: Taking taylor expansion of x in x
14.500 * [backup-simplify]: Simplify 0 into 0
14.500 * [backup-simplify]: Simplify 1 into 1
14.500 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (sqrt 3.0)) into (* (fabs (/ 1 x)) (sqrt 3.0))
14.501 * [backup-simplify]: Simplify (/ (* (fabs (/ 1 x)) (sqrt 3.0)) 1) into (* (fabs (/ 1 x)) (sqrt 3.0))
14.501 * [backup-simplify]: Simplify (* (fabs (/ 1 x)) (sqrt 3.0)) into (* (fabs (/ 1 x)) (sqrt 3.0))
14.501 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (sqrt 3.0))) into 0
14.502 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ 1 x)) (sqrt 3.0)) (/ 0 1)))) into 0
14.502 * [backup-simplify]: Simplify 0 into 0
14.503 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
14.503 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
14.505 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ 1 x)) (sqrt 3.0)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.505 * [backup-simplify]: Simplify 0 into 0
14.505 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.506 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
14.508 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ 1 x)) (sqrt 3.0)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.508 * [backup-simplify]: Simplify 0 into 0
14.508 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.509 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))) into 0
14.511 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ 1 x)) (sqrt 3.0)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.511 * [backup-simplify]: Simplify 0 into 0
14.512 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.513 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))) into 0
14.514 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ 1 x)) (sqrt 3.0)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.514 * [backup-simplify]: Simplify 0 into 0
14.515 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.517 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))))) into 0
14.520 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ 1 x)) (sqrt 3.0)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.520 * [backup-simplify]: Simplify 0 into 0
14.521 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (/ 1 x))) (sqrt 3.0)) (/ 1 (/ 1 x))) into (* x (* (fabs x) (sqrt 3.0)))
14.521 * [backup-simplify]: Simplify (* (sqrt (* 3.0 (* (/ 1 (- x)) (/ 1 (- x))))) (fabs (/ 1 (- x)))) into (/ (* (fabs (/ -1 x)) (sqrt 3.0)) x)
14.521 * [approximate]: Taking taylor expansion of (/ (* (fabs (/ -1 x)) (sqrt 3.0)) x) in (x) around 0
14.521 * [taylor]: Taking taylor expansion of (/ (* (fabs (/ -1 x)) (sqrt 3.0)) x) in x
14.521 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (sqrt 3.0)) in x
14.521 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
14.522 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
14.522 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.522 * [taylor]: Taking taylor expansion of 3.0 in x
14.522 * [backup-simplify]: Simplify 3.0 into 3.0
14.522 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.523 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.523 * [taylor]: Taking taylor expansion of x in x
14.523 * [backup-simplify]: Simplify 0 into 0
14.523 * [backup-simplify]: Simplify 1 into 1
14.523 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (sqrt 3.0)) into (* (fabs (/ -1 x)) (sqrt 3.0))
14.524 * [backup-simplify]: Simplify (/ (* (fabs (/ -1 x)) (sqrt 3.0)) 1) into (* (fabs (/ -1 x)) (sqrt 3.0))
14.524 * [taylor]: Taking taylor expansion of (/ (* (fabs (/ -1 x)) (sqrt 3.0)) x) in x
14.524 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (sqrt 3.0)) in x
14.524 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
14.524 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x))
14.524 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
14.524 * [taylor]: Taking taylor expansion of 3.0 in x
14.524 * [backup-simplify]: Simplify 3.0 into 3.0
14.524 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
14.525 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
14.525 * [taylor]: Taking taylor expansion of x in x
14.525 * [backup-simplify]: Simplify 0 into 0
14.525 * [backup-simplify]: Simplify 1 into 1
14.526 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (sqrt 3.0)) into (* (fabs (/ -1 x)) (sqrt 3.0))
14.526 * [backup-simplify]: Simplify (/ (* (fabs (/ -1 x)) (sqrt 3.0)) 1) into (* (fabs (/ -1 x)) (sqrt 3.0))
14.527 * [backup-simplify]: Simplify (* (fabs (/ -1 x)) (sqrt 3.0)) into (* (fabs (/ -1 x)) (sqrt 3.0))
14.527 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (sqrt 3.0))) into 0
14.529 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ -1 x)) (sqrt 3.0)) (/ 0 1)))) into 0
14.529 * [backup-simplify]: Simplify 0 into 0
14.530 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
14.531 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
14.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ -1 x)) (sqrt 3.0)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.536 * [backup-simplify]: Simplify 0 into 0
14.537 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.538 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
14.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ -1 x)) (sqrt 3.0)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.541 * [backup-simplify]: Simplify 0 into 0
14.542 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.543 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))) into 0
14.546 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ -1 x)) (sqrt 3.0)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.546 * [backup-simplify]: Simplify 0 into 0
14.547 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.548 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))) into 0
14.550 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ -1 x)) (sqrt 3.0)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.550 * [backup-simplify]: Simplify 0 into 0
14.551 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
14.552 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))))) into 0
14.554 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (fabs (/ -1 x)) (sqrt 3.0)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.554 * [backup-simplify]: Simplify 0 into 0
14.554 * [backup-simplify]: Simplify (* (* (fabs (/ -1 (/ 1 (- x)))) (sqrt 3.0)) (/ 1 (/ 1 (- x)))) into (* -1 (* x (* (fabs x) (sqrt 3.0))))
14.554 * * * [progress]: simplifying candidates
14.555 * [simplify]: Simplifying:
  (log (sqrt (* 3.0 (* x x))))
  (exp (sqrt (* 3.0 (* x x))))
  (* (cbrt (sqrt (* 3.0 (* x x)))) (cbrt (sqrt (* 3.0 (* x x)))))
  (cbrt (sqrt (* 3.0 (* x x))))
  (* (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x)))) (sqrt (* 3.0 (* x x))))
  (sqrt 3.0)
  (sqrt (* x x))
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* 3.0 (* x x))))
  (sqrt (sqrt (* 3.0 (* x x))))
  (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (+ (log (sqrt 3.0)) (+ (log (sqrt (* 3.0 (* x x)))) (log (fabs x))))
  (+ (log (sqrt 3.0)) (log (* (sqrt (* 3.0 (* x x))) (fabs x))))
  (log (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))))
  (exp (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))))
  (* (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x)))) (sqrt (* 3.0 (* x x)))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* (* (sqrt (* 3.0 (* x x))) (fabs x)) (* (sqrt (* 3.0 (* x x))) (fabs x))) (* (sqrt (* 3.0 (* x x))) (fabs x))))
  (* (cbrt (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x)))) (cbrt (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x)))))
  (cbrt (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))))
  (* (* (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))) (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x)))) (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))))
  (sqrt (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))))
  (sqrt (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))))
  (* (sqrt 3.0) (sqrt (* 3.0 (* x x))))
  (* (cbrt (sqrt 3.0)) (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* (sqrt (cbrt 3.0)) (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* (sqrt (sqrt 3.0)) (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* (sqrt (sqrt 3.0)) (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (+ (log 3.0) (+ (log x) (log x)))
  (+ (log 3.0) (log (* x x)))
  (log (* 3.0 (* x x)))
  (exp (* 3.0 (* x x)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* x x) x) (* (* x x) x)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* x x) (* x x)) (* x x)))
  (* (cbrt (* 3.0 (* x x))) (cbrt (* 3.0 (* x x))))
  (cbrt (* 3.0 (* x x)))
  (* (* (* 3.0 (* x x)) (* 3.0 (* x x))) (* 3.0 (* x x)))
  (sqrt (* 3.0 (* x x)))
  (sqrt (* 3.0 (* x x)))
  (* (sqrt 3.0) x)
  (* (sqrt 3.0) x)
  (* 3.0 x)
  (* (cbrt 3.0) (* x x))
  (* (sqrt 3.0) (* x x))
  (* 3.0 (* x x))
  (* (sqrt (* 3.0 (* x x))) (fabs x))
  (+ (log (sqrt (* 3.0 (* x x)))) (log (fabs x)))
  (log (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (exp (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* (* (* (sqrt (* 3.0 (* x x))) (sqrt (* 3.0 (* x x)))) (sqrt (* 3.0 (* x x)))) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (cbrt (* (sqrt (* 3.0 (* x x))) (fabs x))) (cbrt (* (sqrt (* 3.0 (* x x))) (fabs x))))
  (cbrt (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* (* (* (sqrt (* 3.0 (* x x))) (fabs x)) (* (sqrt (* 3.0 (* x x))) (fabs x))) (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (sqrt (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (sqrt (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* (sqrt (sqrt (* 3.0 (* x x)))) (sqrt (fabs x)))
  (* (sqrt (sqrt (* 3.0 (* x x)))) (sqrt (fabs x)))
  (* (sqrt (* 3.0 (* x x))) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (* (sqrt (* 3.0 (* x x))) (sqrt (fabs x)))
  (* (sqrt (* 3.0 (* x x))) 1)
  (* (cbrt (sqrt (* 3.0 (* x x)))) (fabs x))
  (* (sqrt (* x x)) (fabs x))
  (* (sqrt (sqrt (* 3.0 (* x x)))) (fabs x))
  (* (sqrt (* 3.0 (* x x))) (fabs x))
  (* x (sqrt 3.0))
  (* x (sqrt 3.0))
  (* -1 (* x (sqrt 3.0)))
  (* x (* (fabs x) (pow (sqrt 3.0) 2)))
  (* x (* (fabs x) (pow (sqrt 3.0) 2)))
  (* -1 (* x (* (fabs x) (pow (sqrt 3.0) 2))))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* x (* (fabs x) (sqrt 3.0)))
  (* x (* (fabs x) (sqrt 3.0)))
  (* -1 (* x (* (fabs x) (sqrt 3.0))))
14.557 * * [simplify]: Extracting # 0 : cost  0
14.557 * * [simplify]: Extracting # 1 : cost  0
14.557 * * [simplify]: Extracting # 2 : cost  0
14.557 * * [simplify]: Extracting # 3 : cost  0
14.557 * * [simplify]: Extracting # 4 : cost  0
14.557 * * [simplify]: Extracting # 5 : cost  0
14.558 * * [simplify]: Extracting # 6 : cost  0
14.558 * * [simplify]: iteration  0 :  100  enodes  (cost  896 )
14.582 * * [simplify]: Extracting # 0 : cost  0
14.583 * * [simplify]: Extracting # 1 : cost  0
14.583 * * [simplify]: Extracting # 2 : cost  0
14.583 * * [simplify]: Extracting # 3 : cost  0
14.584 * * [simplify]: iteration  1 :  227  enodes  (cost  805 )
14.690 * * [simplify]: Extracting # 0 : cost  0
14.691 * * [simplify]: Extracting # 1 : cost  0
14.691 * * [simplify]: Extracting # 2 : cost  0
14.692 * * [simplify]: Extracting # 3 : cost  0
14.693 * * [simplify]: Extracting # 4 : cost  0
14.694 * * [simplify]: iteration  2 :  722  enodes  (cost  713 )
15.826 * * [simplify]: Extracting # 0 : cost  0
15.838 * * [simplify]: Extracting # 1 : cost  0
15.840 * * [simplify]: Extracting # 2 : cost  0
15.843 * * [simplify]: Extracting # 3 : cost  0
15.846 * * [simplify]: Extracting # 4 : cost  0
15.848 * * [simplify]: iteration  3 :  2839  enodes  (cost  713 )
18.268 * * [simplify]: Extracting # 0 : cost  0
18.275 * * [simplify]: Extracting # 1 : cost  0
18.280 * * [simplify]: Extracting # 2 : cost  0
18.285 * * [simplify]: Extracting # 3 : cost  0
18.290 * * [simplify]: Extracting # 4 : cost  0
18.296 * * [simplify]: iteration done:  5000  enodes  (cost  713 )
18.296 * [simplify]: Simplified to:
  (log (sqrt (* 3.0 (* x x))))
  (exp (sqrt (* 3.0 (* x x))))
  (* (cbrt (sqrt (* 3.0 (* x x)))) (cbrt (sqrt (* 3.0 (* x x)))))
  (cbrt (sqrt (* 3.0 (* x x))))
  (pow (sqrt (* 3.0 (* x x))) 3)
  (sqrt 3.0)
  (fabs x)
  1/2
  1/2
  1/2
  (sqrt (sqrt (* 3.0 (* x x))))
  (sqrt (sqrt (* 3.0 (* x x))))
  (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (log (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))))
  (log (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))))
  (log (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))))
  (exp (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))))
  (pow (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))) 3)
  (pow (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))) 3)
  (* (cbrt (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x)))) (cbrt (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x)))))
  (cbrt (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))))
  (pow (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))) 3)
  (sqrt (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))))
  (sqrt (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x))))
  (* (sqrt 3.0) (sqrt (* 3.0 (* x x))))
  (* (cbrt (sqrt 3.0)) (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* (sqrt (cbrt 3.0)) (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* (sqrt (sqrt 3.0)) (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* (sqrt (sqrt 3.0)) (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* (sqrt 3.0) (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* (* x x) 3.0)
  (* (* x x) 3.0)
  (log (* 3.0 (* x x)))
  (log (* 3.0 (* x x)))
  (log (* 3.0 (* x x)))
  (exp (* 3.0 (* x x)))
  (pow (* (* 3.0 x) x) 3)
  (pow (* (* 3.0 x) x) 3)
  (* (cbrt (* 3.0 (* x x))) (cbrt (* 3.0 (* x x))))
  (cbrt (* 3.0 (* x x)))
  (pow (* (* 3.0 x) x) 3)
  (sqrt (* 3.0 (* x x)))
  (sqrt (* 3.0 (* x x)))
  (* (sqrt 3.0) x)
  (* (sqrt 3.0) x)
  (* x 3.0)
  (* (cbrt 3.0) (* x x))
  (* (sqrt 3.0) (* x x))
  (* (* x x) 3.0)
  (* (sqrt (* 3.0 (* x x))) (fabs x))
  (log (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (log (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (exp (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (pow (* (sqrt (* 3.0 (* x x))) (fabs x)) 3)
  (* (cbrt (* (sqrt (* 3.0 (* x x))) (fabs x))) (cbrt (* (sqrt (* 3.0 (* x x))) (fabs x))))
  (cbrt (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (pow (* (sqrt (* 3.0 (* x x))) (fabs x)) 3)
  (sqrt (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (sqrt (* (sqrt (* 3.0 (* x x))) (fabs x)))
  (* (sqrt (sqrt (* 3.0 (* x x)))) (sqrt (fabs x)))
  (* (sqrt (sqrt (* 3.0 (* x x)))) (sqrt (fabs x)))
  (* (sqrt (* 3.0 (* x x))) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (* (sqrt (* 3.0 (* x x))) (sqrt (fabs x)))
  (sqrt (* 3.0 (* x x)))
  (* (cbrt (sqrt (* 3.0 (* x x)))) (fabs x))
  (* x x)
  (* (sqrt (sqrt (* 3.0 (* x x)))) (fabs x))
  (* (sqrt (* 3.0 (* x x))) (fabs x))
  (* (sqrt 3.0) x)
  (* (sqrt 3.0) x)
  (- (* x (sqrt 3.0)))
  (* (* (fabs x) 3.0) x)
  (* (* (fabs x) 3.0) x)
  (- (* (* (fabs x) 3.0) x))
  (* (* x x) 3.0)
  (* (* x x) 3.0)
  (* (* x x) 3.0)
  (* x (* (fabs x) (sqrt 3.0)))
  (* x (* (fabs x) (sqrt 3.0)))
  (- (* x (* (fabs x) (sqrt 3.0))))
18.297 * * * [progress]: adding candidates to table
18.528 * [progress]: [Phase 3 of 3] Extracting.
18.528 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (pow (* (sqrt 3.0) (* (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x)))) (fabs x))) 1))> #<alt (λ (x) (pow (* (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (* (sqrt (* 3.0 (* x x))) (fabs x)))) 1))> #<alt (λ (x) (pow (* 3.0 (* x x)) 1))> #<alt (λ (x) (* (* x 3.0) x))> #<alt (λ (x) (pow (* (sqrt (* (cbrt 3.0) (cbrt 3.0))) (* (sqrt (cbrt 3.0)) (* (sqrt (* 3.0 (* x x))) (fabs x)))) 1))> #<alt (λ (x) (pow (pow (* (* (pow x 4) 3.0) 3.0) 1/2) 1))>)
18.531 * * * [regime-changes]: Trying 2 branch expressions: ((* (* x 3.0) x) x)
18.532 * * * * [regimes]: Trying to branch on (* (* x 3.0) x) from (#<alt (λ (x) (pow (* (sqrt 3.0) (* (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x)))) (fabs x))) 1))> #<alt (λ (x) (pow (* (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (* (sqrt (* 3.0 (* x x))) (fabs x)))) 1))> #<alt (λ (x) (pow (* 3.0 (* x x)) 1))> #<alt (λ (x) (* (* x 3.0) x))> #<alt (λ (x) (pow (* (sqrt (* (cbrt 3.0) (cbrt 3.0))) (* (sqrt (cbrt 3.0)) (* (sqrt (* 3.0 (* x x))) (fabs x)))) 1))> #<alt (λ (x) (pow (pow (* (* (pow x 4) 3.0) 3.0) 1/2) 1))>)
18.555 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (pow (* (sqrt 3.0) (* (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x)))) (fabs x))) 1))> #<alt (λ (x) (pow (* (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (* (sqrt (* 3.0 (* x x))) (fabs x)))) 1))> #<alt (λ (x) (pow (* 3.0 (* x x)) 1))> #<alt (λ (x) (* (* x 3.0) x))> #<alt (λ (x) (pow (* (sqrt (* (cbrt 3.0) (cbrt 3.0))) (* (sqrt (cbrt 3.0)) (* (sqrt (* 3.0 (* x x))) (fabs x)))) 1))> #<alt (λ (x) (pow (pow (* (* (pow x 4) 3.0) 3.0) 1/2) 1))>)
18.597 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
18.597 * [simplify]: Simplifying:
  (* (* x 3.0) x)
18.598 * * [simplify]: Extracting # 0 : cost  0
18.598 * * [simplify]: Extracting # 1 : cost  0
18.598 * * [simplify]: Extracting # 2 : cost  0
18.598 * * [simplify]: Extracting # 3 : cost  0
18.598 * * [simplify]: Extracting # 4 : cost  0
18.598 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
18.598 * * [simplify]: Extracting # 0 : cost  0
18.598 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
18.599 * * [simplify]: Extracting # 0 : cost  0
18.599 * * [simplify]: iteration done:  6  enodes  (cost  5 )
18.599 * [simplify]: Simplified to:
  (* (* x 3.0) x)
19.549 * [regime-testing]: Baseline error score: 0.1760220027503438
19.552 * [regime-testing]: Oracle error score: 0.007875984498062257
19.559 * [regime-testing]: End program error score: 0.1760220027503438