7.466 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.030 * * * [progress]: [2/2] Setting up program.
0.032 * [progress]: [Phase 2 of 3] Improving.
0.032 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (exp (* a x)) 1.0)
0.034 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.035 * * [simplify]: iteration  1 :  18  enodes  (cost  3 )
0.037 * * [simplify]: iteration  2 :  27  enodes  (cost  3 )
0.038 * * [simplify]: iteration  3 :  50  enodes  (cost  3 )
0.040 * * [simplify]: iteration  4 :  115  enodes  (cost  3 )
0.042 * * [simplify]: iteration  5 :  329  enodes  (cost  3 )
0.050 * * [simplify]: iteration  6 :  1633  enodes  (cost  3 )
0.091 * * [simplify]: iteration  7 :  5002  enodes  (cost  3 )
0.091 * [simplify]: Simplified to:
   (- (exp (* a x)) 1.0)
0.092 * * [progress]: iteration 1 / 4
0.092 * * * [progress]: picking best candidate
0.093 * * * * [pick]: Picked  #<alt (λ (a x) (- (exp (* a x)) 1.0))>
0.093 * * * [progress]: localizing error
0.098 * * * [progress]: generating rewritten candidates
0.098 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.101 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.104 * * * [progress]: generating series expansions
0.104 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.104 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0
0.104 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x
0.104 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.104 * [taylor]: Taking taylor expansion of (* a x) in x
0.104 * [taylor]: Taking taylor expansion of a in x
0.104 * [taylor]: Taking taylor expansion of x in x
0.105 * [taylor]: Taking taylor expansion of 1.0 in x
0.105 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a
0.105 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.105 * [taylor]: Taking taylor expansion of (* a x) in a
0.105 * [taylor]: Taking taylor expansion of a in a
0.105 * [taylor]: Taking taylor expansion of x in a
0.105 * [taylor]: Taking taylor expansion of 1.0 in a
0.105 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a
0.105 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.105 * [taylor]: Taking taylor expansion of (* a x) in a
0.105 * [taylor]: Taking taylor expansion of a in a
0.105 * [taylor]: Taking taylor expansion of x in a
0.105 * [taylor]: Taking taylor expansion of 1.0 in a
0.106 * [taylor]: Taking taylor expansion of 0 in x
0.107 * [taylor]: Taking taylor expansion of x in x
0.108 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.108 * [taylor]: Taking taylor expansion of 1/2 in x
0.108 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.108 * [taylor]: Taking taylor expansion of x in x
0.110 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.110 * [taylor]: Taking taylor expansion of 1/6 in x
0.110 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.110 * [taylor]: Taking taylor expansion of x in x
0.114 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.114 * [taylor]: Taking taylor expansion of 1/24 in x
0.114 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.114 * [taylor]: Taking taylor expansion of x in x
0.118 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
0.118 * [taylor]: Taking taylor expansion of 1/120 in x
0.118 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.118 * [taylor]: Taking taylor expansion of x in x
0.126 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x
0.126 * [taylor]: Taking taylor expansion of 1/720 in x
0.126 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.126 * [taylor]: Taking taylor expansion of x in x
0.127 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0
0.127 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
0.127 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.127 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.127 * [taylor]: Taking taylor expansion of (* a x) in x
0.127 * [taylor]: Taking taylor expansion of a in x
0.127 * [taylor]: Taking taylor expansion of x in x
0.128 * [taylor]: Taking taylor expansion of 1.0 in x
0.128 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
0.128 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.128 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.128 * [taylor]: Taking taylor expansion of (* a x) in a
0.128 * [taylor]: Taking taylor expansion of a in a
0.128 * [taylor]: Taking taylor expansion of x in a
0.128 * [taylor]: Taking taylor expansion of 1.0 in a
0.128 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
0.128 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.128 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.128 * [taylor]: Taking taylor expansion of (* a x) in a
0.128 * [taylor]: Taking taylor expansion of a in a
0.128 * [taylor]: Taking taylor expansion of x in a
0.128 * [taylor]: Taking taylor expansion of 1.0 in a
0.129 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
0.129 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.129 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.129 * [taylor]: Taking taylor expansion of (* a x) in x
0.129 * [taylor]: Taking taylor expansion of a in x
0.129 * [taylor]: Taking taylor expansion of x in x
0.130 * [taylor]: Taking taylor expansion of 1.0 in x
0.131 * [taylor]: Taking taylor expansion of 0 in x
0.132 * [taylor]: Taking taylor expansion of 0 in x
0.133 * [taylor]: Taking taylor expansion of 0 in x
0.133 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0
0.133 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
0.133 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.133 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.133 * [taylor]: Taking taylor expansion of (* a x) in x
0.133 * [taylor]: Taking taylor expansion of a in x
0.133 * [taylor]: Taking taylor expansion of x in x
0.133 * [taylor]: Taking taylor expansion of 1.0 in x
0.133 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
0.133 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.133 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.133 * [taylor]: Taking taylor expansion of (* a x) in a
0.133 * [taylor]: Taking taylor expansion of a in a
0.133 * [taylor]: Taking taylor expansion of x in a
0.134 * [taylor]: Taking taylor expansion of 1.0 in a
0.134 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
0.134 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.134 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.134 * [taylor]: Taking taylor expansion of (* a x) in a
0.134 * [taylor]: Taking taylor expansion of a in a
0.134 * [taylor]: Taking taylor expansion of x in a
0.134 * [taylor]: Taking taylor expansion of 1.0 in a
0.135 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
0.135 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.135 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.135 * [taylor]: Taking taylor expansion of (* a x) in x
0.135 * [taylor]: Taking taylor expansion of a in x
0.135 * [taylor]: Taking taylor expansion of x in x
0.135 * [taylor]: Taking taylor expansion of 1.0 in x
0.136 * [taylor]: Taking taylor expansion of 0 in x
0.137 * [taylor]: Taking taylor expansion of 0 in x
0.138 * [taylor]: Taking taylor expansion of 0 in x
0.139 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.139 * [approximate]: Taking taylor expansion of (exp (* a x)) in (a x) around 0
0.139 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.139 * [taylor]: Taking taylor expansion of (* a x) in x
0.139 * [taylor]: Taking taylor expansion of a in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.139 * [taylor]: Taking taylor expansion of (* a x) in a
0.139 * [taylor]: Taking taylor expansion of a in a
0.139 * [taylor]: Taking taylor expansion of x in a
0.139 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.139 * [taylor]: Taking taylor expansion of (* a x) in a
0.139 * [taylor]: Taking taylor expansion of a in a
0.139 * [taylor]: Taking taylor expansion of x in a
0.140 * [taylor]: Taking taylor expansion of 1 in x
0.140 * [taylor]: Taking taylor expansion of x in x
0.141 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.141 * [taylor]: Taking taylor expansion of 1/2 in x
0.141 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.141 * [taylor]: Taking taylor expansion of x in x
0.147 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.147 * [taylor]: Taking taylor expansion of 1/6 in x
0.147 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.147 * [taylor]: Taking taylor expansion of x in x
0.150 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.150 * [taylor]: Taking taylor expansion of 1/24 in x
0.150 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.150 * [taylor]: Taking taylor expansion of x in x
0.151 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
0.151 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.151 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.151 * [taylor]: Taking taylor expansion of (* a x) in x
0.151 * [taylor]: Taking taylor expansion of a in x
0.151 * [taylor]: Taking taylor expansion of x in x
0.151 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.151 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.151 * [taylor]: Taking taylor expansion of (* a x) in a
0.151 * [taylor]: Taking taylor expansion of a in a
0.151 * [taylor]: Taking taylor expansion of x in a
0.152 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.152 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.152 * [taylor]: Taking taylor expansion of (* a x) in a
0.152 * [taylor]: Taking taylor expansion of a in a
0.152 * [taylor]: Taking taylor expansion of x in a
0.152 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.152 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.152 * [taylor]: Taking taylor expansion of (* a x) in x
0.152 * [taylor]: Taking taylor expansion of a in x
0.152 * [taylor]: Taking taylor expansion of x in x
0.153 * [taylor]: Taking taylor expansion of 0 in x
0.153 * [taylor]: Taking taylor expansion of 0 in x
0.153 * [taylor]: Taking taylor expansion of 0 in x
0.153 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
0.153 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.153 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.153 * [taylor]: Taking taylor expansion of (* a x) in x
0.153 * [taylor]: Taking taylor expansion of a in x
0.153 * [taylor]: Taking taylor expansion of x in x
0.154 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.154 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.154 * [taylor]: Taking taylor expansion of (* a x) in a
0.154 * [taylor]: Taking taylor expansion of a in a
0.154 * [taylor]: Taking taylor expansion of x in a
0.154 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.154 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.154 * [taylor]: Taking taylor expansion of (* a x) in a
0.154 * [taylor]: Taking taylor expansion of a in a
0.154 * [taylor]: Taking taylor expansion of x in a
0.154 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.155 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.155 * [taylor]: Taking taylor expansion of (* a x) in x
0.155 * [taylor]: Taking taylor expansion of a in x
0.155 * [taylor]: Taking taylor expansion of x in x
0.155 * [taylor]: Taking taylor expansion of 0 in x
0.155 * [taylor]: Taking taylor expansion of 0 in x
0.155 * [taylor]: Taking taylor expansion of 0 in x
0.155 * * * [progress]: simplifying candidates
0.156 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (pow (exp (* a x)) 3) (pow 1.0 3))
  (+ (* (exp (* a x)) (exp (* a x))) (+ (* 1.0 1.0) (* (exp (* a x)) 1.0)))
  (- 1.0)
  (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0))
  (+ (exp (* a x)) 1.0)
  (- 1.0)
  (exp a)
  (exp x)
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x)))
  (- (exp (* a x)) 1.0)
  (- (exp (* a x)) 1.0)
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) 1))
  (exp (* a x))
  (exp (* a x))
0.158 * * [simplify]: iteration  0 :  98  enodes  (cost  52 )
0.161 * * [simplify]: iteration  1 :  291  enodes  (cost  50 )
0.166 * * [simplify]: iteration  2 :  999  enodes  (cost  48 )
0.190 * * [simplify]: iteration  3 :  4870  enodes  (cost  48 )
0.338 * * [simplify]: iteration  4 :  5001  enodes  (cost  48 )
0.339 * [simplify]: Simplified to:
   (- (pow (exp (* a x)) 3) (pow 1.0 3))
  (fma (+ (exp (* a x)) 1.0) 1.0 (pow (exp a) (* 2 x)))
  (- 1.0)
  (fma (- 1.0) 1.0 (pow (exp a) (* 2 x)))
  (+ (exp (* a x)) 1.0)
  (- 1.0)
  (exp a)
  (exp x)
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)))
  (- (exp (* a x)) 1.0)
  (- (exp (* a x)) 1.0)
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma a x 1))
  (exp (* a x))
  (exp (* a x))
0.339 * * * [progress]: adding candidates to table
0.362 * * [progress]: iteration 2 / 4
0.362 * * * [progress]: picking best candidate
0.369 * * * * [pick]: Picked  #<alt (λ (a x) (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))))>
0.369 * * * [progress]: localizing error
0.384 * * * [progress]: generating rewritten candidates
0.384 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2)
0.389 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.393 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.394 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3)
0.395 * * * [progress]: generating series expansions
0.395 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2)
0.395 * [approximate]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in (a x) around 0
0.396 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
0.396 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.396 * [taylor]: Taking taylor expansion of a in x
0.396 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.396 * [taylor]: Taking taylor expansion of x in x
0.396 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.396 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.396 * [taylor]: Taking taylor expansion of a in a
0.396 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.396 * [taylor]: Taking taylor expansion of x in a
0.396 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.396 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.396 * [taylor]: Taking taylor expansion of a in a
0.396 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.396 * [taylor]: Taking taylor expansion of x in a
0.397 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.397 * [taylor]: Taking taylor expansion of x in x
0.398 * [taylor]: Taking taylor expansion of 0 in x
0.405 * [taylor]: Taking taylor expansion of 0 in x
0.409 * [taylor]: Taking taylor expansion of 0 in x
0.409 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in (a x) around 0
0.409 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in x
0.409 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
0.409 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.409 * [taylor]: Taking taylor expansion of a in x
0.409 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.409 * [taylor]: Taking taylor expansion of x in x
0.410 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
0.410 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.410 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.410 * [taylor]: Taking taylor expansion of a in a
0.410 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.410 * [taylor]: Taking taylor expansion of x in a
0.411 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
0.411 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.411 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.411 * [taylor]: Taking taylor expansion of a in a
0.411 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.411 * [taylor]: Taking taylor expansion of x in a
0.412 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.412 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.412 * [taylor]: Taking taylor expansion of x in x
0.414 * [taylor]: Taking taylor expansion of 0 in x
0.417 * [taylor]: Taking taylor expansion of 0 in x
0.422 * [taylor]: Taking taylor expansion of 0 in x
0.428 * [taylor]: Taking taylor expansion of 0 in x
0.435 * [taylor]: Taking taylor expansion of 0 in x
0.435 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in (a x) around 0
0.435 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in x
0.435 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
0.435 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.435 * [taylor]: Taking taylor expansion of a in x
0.435 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.435 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
0.436 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.436 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.436 * [taylor]: Taking taylor expansion of a in a
0.436 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.436 * [taylor]: Taking taylor expansion of x in a
0.437 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
0.437 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.437 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.437 * [taylor]: Taking taylor expansion of a in a
0.437 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.437 * [taylor]: Taking taylor expansion of x in a
0.438 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.438 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.438 * [taylor]: Taking taylor expansion of x in x
0.440 * [taylor]: Taking taylor expansion of 0 in x
0.444 * [taylor]: Taking taylor expansion of 0 in x
0.448 * [taylor]: Taking taylor expansion of 0 in x
0.454 * [taylor]: Taking taylor expansion of 0 in x
0.461 * [taylor]: Taking taylor expansion of 0 in x
0.461 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.461 * [approximate]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in (a x) around 0
0.461 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.461 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.461 * [taylor]: Taking taylor expansion of a in x
0.461 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.461 * [taylor]: Taking taylor expansion of x in x
0.461 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.462 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.462 * [taylor]: Taking taylor expansion of a in a
0.462 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.462 * [taylor]: Taking taylor expansion of x in a
0.462 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.462 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.462 * [taylor]: Taking taylor expansion of a in a
0.462 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.462 * [taylor]: Taking taylor expansion of x in a
0.462 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.462 * [taylor]: Taking taylor expansion of x in x
0.463 * [taylor]: Taking taylor expansion of 0 in x
0.465 * [taylor]: Taking taylor expansion of 0 in x
0.467 * [taylor]: Taking taylor expansion of 0 in x
0.468 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in (a x) around 0
0.468 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
0.468 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.468 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.468 * [taylor]: Taking taylor expansion of a in x
0.468 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.468 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.468 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.468 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.468 * [taylor]: Taking taylor expansion of a in a
0.468 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.468 * [taylor]: Taking taylor expansion of x in a
0.469 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.469 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.469 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.469 * [taylor]: Taking taylor expansion of a in a
0.469 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.469 * [taylor]: Taking taylor expansion of x in a
0.469 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.469 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.469 * [taylor]: Taking taylor expansion of x in x
0.471 * [taylor]: Taking taylor expansion of 0 in x
0.473 * [taylor]: Taking taylor expansion of 0 in x
0.476 * [taylor]: Taking taylor expansion of 0 in x
0.480 * [taylor]: Taking taylor expansion of 0 in x
0.480 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in (a x) around 0
0.480 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
0.480 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.481 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.481 * [taylor]: Taking taylor expansion of a in x
0.481 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.481 * [taylor]: Taking taylor expansion of x in x
0.481 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.481 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.481 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.481 * [taylor]: Taking taylor expansion of a in a
0.481 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.481 * [taylor]: Taking taylor expansion of x in a
0.481 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.482 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.482 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.482 * [taylor]: Taking taylor expansion of a in a
0.482 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.482 * [taylor]: Taking taylor expansion of x in a
0.482 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.482 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.482 * [taylor]: Taking taylor expansion of x in x
0.483 * [taylor]: Taking taylor expansion of 0 in x
0.486 * [taylor]: Taking taylor expansion of 0 in x
0.494 * [taylor]: Taking taylor expansion of 0 in x
0.498 * [taylor]: Taking taylor expansion of 0 in x
0.498 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.498 * [approximate]: Taking taylor expansion of (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))) in (a x) around 0
0.498 * [taylor]: Taking taylor expansion of (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))) in x
0.498 * [taylor]: Rewrote expression to (+ (* 1/2 (* (pow a 2) (pow x 2))) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)))
0.498 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in x
0.498 * [taylor]: Taking taylor expansion of 1/2 in x
0.498 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.499 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.499 * [taylor]: Taking taylor expansion of a in x
0.499 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.499 * [taylor]: Taking taylor expansion of x in x
0.499 * [taylor]: Taking taylor expansion of (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)) in x
0.499 * [taylor]: Rewrote expression to (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))
0.499 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 3))) in x
0.499 * [taylor]: Taking taylor expansion of 1/6 in x
0.499 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
0.499 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.499 * [taylor]: Taking taylor expansion of a in x
0.499 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.499 * [taylor]: Taking taylor expansion of x in x
0.499 * [taylor]: Taking taylor expansion of (* a x) in x
0.499 * [taylor]: Taking taylor expansion of a in x
0.499 * [taylor]: Taking taylor expansion of x in x
0.499 * [taylor]: Taking taylor expansion of (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))) in a
0.499 * [taylor]: Rewrote expression to (+ (* 1/2 (* (pow a 2) (pow x 2))) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)))
0.499 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in a
0.499 * [taylor]: Taking taylor expansion of 1/2 in a
0.499 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.499 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.499 * [taylor]: Taking taylor expansion of a in a
0.499 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.499 * [taylor]: Taking taylor expansion of x in a
0.499 * [taylor]: Taking taylor expansion of (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)) in a
0.499 * [taylor]: Rewrote expression to (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))
0.499 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 3))) in a
0.499 * [taylor]: Taking taylor expansion of 1/6 in a
0.499 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.499 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.499 * [taylor]: Taking taylor expansion of a in a
0.499 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.499 * [taylor]: Taking taylor expansion of x in a
0.499 * [taylor]: Taking taylor expansion of (* a x) in a
0.499 * [taylor]: Taking taylor expansion of a in a
0.499 * [taylor]: Taking taylor expansion of x in a
0.499 * [taylor]: Taking taylor expansion of (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x))) in a
0.500 * [taylor]: Rewrote expression to (+ (* 1/2 (* (pow a 2) (pow x 2))) (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)))
0.500 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in a
0.500 * [taylor]: Taking taylor expansion of 1/2 in a
0.500 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.500 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.500 * [taylor]: Taking taylor expansion of a in a
0.500 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.500 * [taylor]: Taking taylor expansion of x in a
0.500 * [taylor]: Taking taylor expansion of (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)) in a
0.500 * [taylor]: Rewrote expression to (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))
0.500 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 3))) in a
0.500 * [taylor]: Taking taylor expansion of 1/6 in a
0.500 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.500 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.500 * [taylor]: Taking taylor expansion of a in a
0.500 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.500 * [taylor]: Taking taylor expansion of x in a
0.500 * [taylor]: Taking taylor expansion of (* a x) in a
0.500 * [taylor]: Taking taylor expansion of a in a
0.500 * [taylor]: Taking taylor expansion of x in a
0.501 * [taylor]: Taking taylor expansion of 0 in x
0.501 * [taylor]: Taking taylor expansion of x in x
0.502 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.502 * [taylor]: Taking taylor expansion of 1/2 in x
0.502 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.505 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.505 * [taylor]: Taking taylor expansion of 1/6 in x
0.505 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.505 * [taylor]: Taking taylor expansion of x in x
0.510 * [taylor]: Taking taylor expansion of 0 in x
0.518 * [taylor]: Taking taylor expansion of 0 in x
0.519 * [approximate]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x)))) in (a x) around 0
0.519 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x)))) in x
0.519 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))))
0.519 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in x
0.519 * [taylor]: Taking taylor expansion of 1/2 in x
0.519 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
0.519 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.519 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.519 * [taylor]: Taking taylor expansion of a in x
0.519 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.519 * [taylor]: Taking taylor expansion of x in x
0.520 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in x
0.520 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
0.520 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in x
0.520 * [taylor]: Taking taylor expansion of 1/6 in x
0.520 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in x
0.520 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
0.520 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.520 * [taylor]: Taking taylor expansion of a in x
0.520 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.520 * [taylor]: Taking taylor expansion of x in x
0.521 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.521 * [taylor]: Taking taylor expansion of (* a x) in x
0.521 * [taylor]: Taking taylor expansion of a in x
0.521 * [taylor]: Taking taylor expansion of x in x
0.521 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x)))) in a
0.521 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))))
0.521 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
0.521 * [taylor]: Taking taylor expansion of 1/2 in a
0.521 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.521 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.521 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.521 * [taylor]: Taking taylor expansion of a in a
0.522 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.522 * [taylor]: Taking taylor expansion of x in a
0.522 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in a
0.522 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
0.522 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in a
0.522 * [taylor]: Taking taylor expansion of 1/6 in a
0.522 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
0.522 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.522 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.522 * [taylor]: Taking taylor expansion of a in a
0.522 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.522 * [taylor]: Taking taylor expansion of x in a
0.523 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.523 * [taylor]: Taking taylor expansion of (* a x) in a
0.523 * [taylor]: Taking taylor expansion of a in a
0.523 * [taylor]: Taking taylor expansion of x in a
0.523 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x)))) in a
0.523 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))))
0.523 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
0.523 * [taylor]: Taking taylor expansion of 1/2 in a
0.523 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.523 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.524 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.524 * [taylor]: Taking taylor expansion of a in a
0.524 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.524 * [taylor]: Taking taylor expansion of x in a
0.524 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in a
0.524 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
0.524 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in a
0.524 * [taylor]: Taking taylor expansion of 1/6 in a
0.524 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
0.524 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.524 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.524 * [taylor]: Taking taylor expansion of a in a
0.524 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.524 * [taylor]: Taking taylor expansion of x in a
0.525 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.525 * [taylor]: Taking taylor expansion of (* a x) in a
0.525 * [taylor]: Taking taylor expansion of a in a
0.525 * [taylor]: Taking taylor expansion of x in a
0.526 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
0.526 * [taylor]: Taking taylor expansion of 1/6 in x
0.526 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.526 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.526 * [taylor]: Taking taylor expansion of x in x
0.529 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.529 * [taylor]: Taking taylor expansion of 1/2 in x
0.529 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.529 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.529 * [taylor]: Taking taylor expansion of x in x
0.535 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.535 * [taylor]: Taking taylor expansion of x in x
0.545 * [taylor]: Taking taylor expansion of 0 in x
0.558 * [taylor]: Taking taylor expansion of 0 in x
0.559 * [approximate]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x)))) in (a x) around 0
0.559 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x)))) in x
0.560 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))))
0.560 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in x
0.560 * [taylor]: Taking taylor expansion of 1/2 in x
0.560 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
0.560 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.560 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.560 * [taylor]: Taking taylor expansion of a in x
0.560 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.560 * [taylor]: Taking taylor expansion of x in x
0.560 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in x
0.560 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
0.560 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in x
0.560 * [taylor]: Taking taylor expansion of 1/6 in x
0.560 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in x
0.560 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
0.560 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.560 * [taylor]: Taking taylor expansion of a in x
0.560 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.560 * [taylor]: Taking taylor expansion of x in x
0.561 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.561 * [taylor]: Taking taylor expansion of (* a x) in x
0.561 * [taylor]: Taking taylor expansion of a in x
0.561 * [taylor]: Taking taylor expansion of x in x
0.562 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x)))) in a
0.562 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))))
0.562 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
0.562 * [taylor]: Taking taylor expansion of 1/2 in a
0.562 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.562 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.562 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.562 * [taylor]: Taking taylor expansion of a in a
0.562 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.562 * [taylor]: Taking taylor expansion of x in a
0.562 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in a
0.562 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
0.562 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in a
0.562 * [taylor]: Taking taylor expansion of 1/6 in a
0.562 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
0.562 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.562 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.562 * [taylor]: Taking taylor expansion of a in a
0.562 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.562 * [taylor]: Taking taylor expansion of x in a
0.563 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.563 * [taylor]: Taking taylor expansion of (* a x) in a
0.563 * [taylor]: Taking taylor expansion of a in a
0.563 * [taylor]: Taking taylor expansion of x in a
0.564 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x)))) in a
0.564 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))))
0.564 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
0.564 * [taylor]: Taking taylor expansion of 1/2 in a
0.564 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.564 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.564 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.564 * [taylor]: Taking taylor expansion of a in a
0.564 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.564 * [taylor]: Taking taylor expansion of x in a
0.564 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in a
0.564 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
0.564 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in a
0.564 * [taylor]: Taking taylor expansion of 1/6 in a
0.564 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
0.565 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.565 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.565 * [taylor]: Taking taylor expansion of a in a
0.565 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.565 * [taylor]: Taking taylor expansion of x in a
0.565 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.565 * [taylor]: Taking taylor expansion of (* a x) in a
0.565 * [taylor]: Taking taylor expansion of a in a
0.565 * [taylor]: Taking taylor expansion of x in a
0.566 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
0.566 * [taylor]: Taking taylor expansion of 1/6 in x
0.566 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.566 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.566 * [taylor]: Taking taylor expansion of x in x
0.569 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.569 * [taylor]: Taking taylor expansion of 1/2 in x
0.569 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.569 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.569 * [taylor]: Taking taylor expansion of x in x
0.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.576 * [taylor]: Taking taylor expansion of x in x
0.590 * [taylor]: Taking taylor expansion of 0 in x
0.604 * [taylor]: Taking taylor expansion of 0 in x
0.604 * * * * [progress]: [ 4 / 4 ] generating series at (2 3)
0.604 * [approximate]: Taking taylor expansion of (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)) in (a x) around 0
0.605 * [taylor]: Taking taylor expansion of (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)) in x
0.605 * [taylor]: Rewrote expression to (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))
0.605 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 3))) in x
0.605 * [taylor]: Taking taylor expansion of 1/6 in x
0.605 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
0.605 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.605 * [taylor]: Taking taylor expansion of a in x
0.605 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.605 * [taylor]: Taking taylor expansion of x in x
0.605 * [taylor]: Taking taylor expansion of (* a x) in x
0.605 * [taylor]: Taking taylor expansion of a in x
0.605 * [taylor]: Taking taylor expansion of x in x
0.605 * [taylor]: Taking taylor expansion of (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)) in a
0.605 * [taylor]: Rewrote expression to (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))
0.605 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 3))) in a
0.605 * [taylor]: Taking taylor expansion of 1/6 in a
0.605 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.605 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.605 * [taylor]: Taking taylor expansion of a in a
0.605 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.605 * [taylor]: Taking taylor expansion of x in a
0.605 * [taylor]: Taking taylor expansion of (* a x) in a
0.605 * [taylor]: Taking taylor expansion of a in a
0.605 * [taylor]: Taking taylor expansion of x in a
0.605 * [taylor]: Taking taylor expansion of (fma 1/6 (* (pow a 3) (pow x 3)) (* a x)) in a
0.605 * [taylor]: Rewrote expression to (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))
0.605 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 3))) in a
0.605 * [taylor]: Taking taylor expansion of 1/6 in a
0.605 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.605 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.605 * [taylor]: Taking taylor expansion of a in a
0.605 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.605 * [taylor]: Taking taylor expansion of x in a
0.605 * [taylor]: Taking taylor expansion of (* a x) in a
0.605 * [taylor]: Taking taylor expansion of a in a
0.605 * [taylor]: Taking taylor expansion of x in a
0.606 * [taylor]: Taking taylor expansion of 0 in x
0.606 * [taylor]: Taking taylor expansion of x in x
0.607 * [taylor]: Taking taylor expansion of 0 in x
0.609 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.609 * [taylor]: Taking taylor expansion of 1/6 in x
0.609 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.609 * [taylor]: Taking taylor expansion of x in x
0.612 * [taylor]: Taking taylor expansion of 0 in x
0.612 * [approximate]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in (a x) around 0
0.612 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in x
0.612 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
0.612 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in x
0.612 * [taylor]: Taking taylor expansion of 1/6 in x
0.612 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in x
0.612 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
0.612 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.612 * [taylor]: Taking taylor expansion of a in x
0.612 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.612 * [taylor]: Taking taylor expansion of x in x
0.613 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.613 * [taylor]: Taking taylor expansion of (* a x) in x
0.613 * [taylor]: Taking taylor expansion of a in x
0.613 * [taylor]: Taking taylor expansion of x in x
0.613 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in a
0.614 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
0.614 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in a
0.614 * [taylor]: Taking taylor expansion of 1/6 in a
0.614 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
0.614 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.614 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.614 * [taylor]: Taking taylor expansion of a in a
0.614 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.614 * [taylor]: Taking taylor expansion of x in a
0.614 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.614 * [taylor]: Taking taylor expansion of (* a x) in a
0.614 * [taylor]: Taking taylor expansion of a in a
0.615 * [taylor]: Taking taylor expansion of x in a
0.615 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in a
0.615 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
0.615 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in a
0.615 * [taylor]: Taking taylor expansion of 1/6 in a
0.615 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
0.615 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.615 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.615 * [taylor]: Taking taylor expansion of a in a
0.615 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.615 * [taylor]: Taking taylor expansion of x in a
0.616 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.616 * [taylor]: Taking taylor expansion of (* a x) in a
0.616 * [taylor]: Taking taylor expansion of a in a
0.616 * [taylor]: Taking taylor expansion of x in a
0.616 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
0.616 * [taylor]: Taking taylor expansion of 1/6 in x
0.616 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.616 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.616 * [taylor]: Taking taylor expansion of x in x
0.619 * [taylor]: Taking taylor expansion of 0 in x
0.624 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.624 * [taylor]: Taking taylor expansion of x in x
0.632 * [taylor]: Taking taylor expansion of 0 in x
0.640 * [taylor]: Taking taylor expansion of 0 in x
0.652 * [taylor]: Taking taylor expansion of 0 in x
0.665 * [taylor]: Taking taylor expansion of 0 in x
0.666 * [approximate]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in (a x) around 0
0.666 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in x
0.666 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
0.666 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in x
0.666 * [taylor]: Taking taylor expansion of 1/6 in x
0.666 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in x
0.666 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
0.666 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.666 * [taylor]: Taking taylor expansion of a in x
0.666 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.666 * [taylor]: Taking taylor expansion of x in x
0.667 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.667 * [taylor]: Taking taylor expansion of (* a x) in x
0.667 * [taylor]: Taking taylor expansion of a in x
0.667 * [taylor]: Taking taylor expansion of x in x
0.667 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in a
0.667 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
0.667 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in a
0.667 * [taylor]: Taking taylor expansion of 1/6 in a
0.667 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
0.667 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.667 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.667 * [taylor]: Taking taylor expansion of a in a
0.667 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.667 * [taylor]: Taking taylor expansion of x in a
0.668 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.668 * [taylor]: Taking taylor expansion of (* a x) in a
0.668 * [taylor]: Taking taylor expansion of a in a
0.668 * [taylor]: Taking taylor expansion of x in a
0.669 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 (* (pow a 3) (pow x 3))) (/ 1 (* a x))) in a
0.669 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) (/ 1 (* a x)))
0.669 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 3)))) in a
0.669 * [taylor]: Taking taylor expansion of 1/6 in a
0.669 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
0.669 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.669 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.669 * [taylor]: Taking taylor expansion of a in a
0.669 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.669 * [taylor]: Taking taylor expansion of x in a
0.670 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.670 * [taylor]: Taking taylor expansion of (* a x) in a
0.670 * [taylor]: Taking taylor expansion of a in a
0.670 * [taylor]: Taking taylor expansion of x in a
0.670 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
0.670 * [taylor]: Taking taylor expansion of 1/6 in x
0.670 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.670 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.670 * [taylor]: Taking taylor expansion of x in x
0.673 * [taylor]: Taking taylor expansion of 0 in x
0.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.683 * [taylor]: Taking taylor expansion of x in x
0.691 * [taylor]: Taking taylor expansion of 0 in x
0.699 * [taylor]: Taking taylor expansion of 0 in x
0.710 * [taylor]: Taking taylor expansion of 0 in x
0.722 * [taylor]: Taking taylor expansion of 0 in x
0.723 * * * [progress]: simplifying candidates
0.724 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* a x)
  (+ (* (log a) 3) (* (log x) 3))
  (* (pow a (/ 3 2)) (pow x (/ 3 2)))
  (* (pow a (/ 3 2)) (pow x (/ 3 2)))
  (* (pow a 3) (* x x))
  (* (pow a 3) (pow x (/ 3 2)))
  (* a (pow x 3))
  (* (pow a (/ 3 2)) (pow x 3))
  (* a x)
  (+ (* (log a) 2) (* (log x) 2))
  (* a x)
  (* a x)
  (* a (pow x (/ 2 2)))
  (* a (pow x (/ 2 2)))
  (* (pow a (/ 2 2)) x)
  (* (pow a (/ 2 2)) x)
  (* (pow a (/ 2 2)) (pow x (/ 2 2)))
  (* (pow a (/ 2 2)) (pow x (/ 2 2)))
  (* (pow a 2) x)
  (* (pow a 2) (pow x (/ 2 2)))
  (* a (pow x 2))
  (* (pow a (/ 2 2)) (pow x 2))
  (* 1/2 (* (pow a 2) (pow x 2)))
  (* 1/6 (* (pow a 3) (pow x 3)))
  (* (pow a 3) (pow x 3))
  (* (pow a 3) (pow x 3))
  (* (pow a 3) (pow x 3))
  (* (pow a 2) (pow x 2))
  (* (pow a 2) (pow x 2))
  (* (pow a 2) (pow x 2))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
  (* a x)
  (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))
  (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))
0.727 * * [simplify]: iteration  0 :  106  enodes  (cost  103 )
0.730 * * [simplify]: iteration  1 :  380  enodes  (cost  103 )
0.739 * * [simplify]: iteration  2 :  2014  enodes  (cost  103 )
0.795 * * [simplify]: iteration  3 :  5002  enodes  (cost  103 )
0.796 * [simplify]: Simplified to:
   (* x a)
  (fma (log a) 3 (* (log x) 3))
  (* (pow a 3/2) (pow x 3/2))
  (* (pow a 3/2) (pow x 3/2))
  (* (pow a 3) (* x x))
  (* (pow a 3) (pow x 3/2))
  (* a (pow x 3))
  (* (pow a 3/2) (pow x 3))
  (* x a)
  (fma (log a) 2 (* (log x) 2))
  (* x a)
  (* x a)
  (* x a)
  (* x a)
  (* x a)
  (* x a)
  (* x a)
  (* x a)
  (* x (pow a 2))
  (* x (pow a 2))
  (* (pow x 2) a)
  (* (pow x 2) a)
  (* 1/2 (* (pow a 2) (pow x 2)))
  (* 1/6 (* (pow a 3) (pow x 3)))
  (* (pow a 3) (pow x 3))
  (* (pow a 3) (pow x 3))
  (* (pow a 3) (pow x 3))
  (* (pow a 2) (pow x 2))
  (* (pow a 2) (pow x 2))
  (* (pow a 2) (pow x 2))
  (fma 1/2 (* (pow a 2) (pow x 2)) (* a x))
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma a x (* 1/6 (* (pow a 3) (pow x 3)))))
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma a x (* 1/6 (* (pow a 3) (pow x 3)))))
  (* x a)
  (fma a x (* 1/6 (* (pow a 3) (pow x 3))))
  (fma a x (* 1/6 (* (pow a 3) (pow x 3))))
0.796 * * * [progress]: adding candidates to table
0.884 * * [progress]: iteration 3 / 4
0.884 * * * [progress]: picking best candidate
0.895 * * * * [pick]: Picked  #<alt (λ (a x) (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (pow (* x a) 3) (* a x))))>
0.895 * * * [progress]: localizing error
0.908 * * * [progress]: generating rewritten candidates
0.908 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.913 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.913 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 2)
0.915 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3)
0.917 * * * [progress]: generating series expansions
0.917 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.917 * [approximate]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in (a x) around 0
0.917 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.917 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.917 * [taylor]: Taking taylor expansion of a in x
0.917 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.917 * [taylor]: Taking taylor expansion of x in x
0.917 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.917 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.917 * [taylor]: Taking taylor expansion of a in a
0.917 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.917 * [taylor]: Taking taylor expansion of x in a
0.917 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.917 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.917 * [taylor]: Taking taylor expansion of a in a
0.917 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.917 * [taylor]: Taking taylor expansion of x in a
0.918 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.918 * [taylor]: Taking taylor expansion of x in x
0.919 * [taylor]: Taking taylor expansion of 0 in x
0.921 * [taylor]: Taking taylor expansion of 0 in x
0.923 * [taylor]: Taking taylor expansion of 0 in x
0.923 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in (a x) around 0
0.923 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
0.923 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.923 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.923 * [taylor]: Taking taylor expansion of a in x
0.923 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.923 * [taylor]: Taking taylor expansion of x in x
0.924 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.924 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.924 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.924 * [taylor]: Taking taylor expansion of a in a
0.924 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.924 * [taylor]: Taking taylor expansion of x in a
0.924 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.924 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.924 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.924 * [taylor]: Taking taylor expansion of a in a
0.924 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.924 * [taylor]: Taking taylor expansion of x in a
0.925 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.925 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.925 * [taylor]: Taking taylor expansion of x in x
0.926 * [taylor]: Taking taylor expansion of 0 in x
0.929 * [taylor]: Taking taylor expansion of 0 in x
0.932 * [taylor]: Taking taylor expansion of 0 in x
0.936 * [taylor]: Taking taylor expansion of 0 in x
0.936 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in (a x) around 0
0.936 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
0.936 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.936 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.936 * [taylor]: Taking taylor expansion of a in x
0.936 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.936 * [taylor]: Taking taylor expansion of x in x
0.937 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.937 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.937 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.937 * [taylor]: Taking taylor expansion of a in a
0.937 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.937 * [taylor]: Taking taylor expansion of x in a
0.937 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.937 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.937 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.937 * [taylor]: Taking taylor expansion of a in a
0.937 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.937 * [taylor]: Taking taylor expansion of x in a
0.938 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.938 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.938 * [taylor]: Taking taylor expansion of x in x
0.939 * [taylor]: Taking taylor expansion of 0 in x
0.942 * [taylor]: Taking taylor expansion of 0 in x
0.945 * [taylor]: Taking taylor expansion of 0 in x
0.949 * [taylor]: Taking taylor expansion of 0 in x
0.949 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.950 * [approximate]: Taking taylor expansion of (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (pow (* a x) 3) (* a x))) in (a x) around 0
0.950 * [taylor]: Taking taylor expansion of (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (pow (* a x) 3) (* a x))) in x
0.950 * [taylor]: Rewrote expression to (+ (* 1/2 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (* a x) 3) (* a x)))
0.950 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in x
0.950 * [taylor]: Taking taylor expansion of 1/2 in x
0.950 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.950 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.950 * [taylor]: Taking taylor expansion of a in x
0.950 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.950 * [taylor]: Taking taylor expansion of x in x
0.950 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (* a x) 3) (* a x)) in x
0.950 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (* a x) 3)) (* a x))
0.950 * [taylor]: Taking taylor expansion of (* 1/6 (pow (* a x) 3)) in x
0.950 * [taylor]: Taking taylor expansion of 1/6 in x
0.950 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
0.950 * [taylor]: Taking taylor expansion of (* a x) in x
0.950 * [taylor]: Taking taylor expansion of a in x
0.950 * [taylor]: Taking taylor expansion of x in x
0.950 * [taylor]: Taking taylor expansion of (* a x) in x
0.950 * [taylor]: Taking taylor expansion of a in x
0.950 * [taylor]: Taking taylor expansion of x in x
0.951 * [taylor]: Taking taylor expansion of (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (pow (* a x) 3) (* a x))) in a
0.951 * [taylor]: Rewrote expression to (+ (* 1/2 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (* a x) 3) (* a x)))
0.951 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in a
0.951 * [taylor]: Taking taylor expansion of 1/2 in a
0.951 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.951 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.951 * [taylor]: Taking taylor expansion of a in a
0.951 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.951 * [taylor]: Taking taylor expansion of x in a
0.951 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (* a x) 3) (* a x)) in a
0.951 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (* a x) 3)) (* a x))
0.951 * [taylor]: Taking taylor expansion of (* 1/6 (pow (* a x) 3)) in a
0.951 * [taylor]: Taking taylor expansion of 1/6 in a
0.951 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
0.951 * [taylor]: Taking taylor expansion of (* a x) in a
0.951 * [taylor]: Taking taylor expansion of a in a
0.951 * [taylor]: Taking taylor expansion of x in a
0.951 * [taylor]: Taking taylor expansion of (* a x) in a
0.951 * [taylor]: Taking taylor expansion of a in a
0.951 * [taylor]: Taking taylor expansion of x in a
0.951 * [taylor]: Taking taylor expansion of (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (pow (* a x) 3) (* a x))) in a
0.951 * [taylor]: Rewrote expression to (+ (* 1/2 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (* a x) 3) (* a x)))
0.952 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in a
0.952 * [taylor]: Taking taylor expansion of 1/2 in a
0.952 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.952 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.952 * [taylor]: Taking taylor expansion of a in a
0.952 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.952 * [taylor]: Taking taylor expansion of x in a
0.952 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (* a x) 3) (* a x)) in a
0.952 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (* a x) 3)) (* a x))
0.952 * [taylor]: Taking taylor expansion of (* 1/6 (pow (* a x) 3)) in a
0.952 * [taylor]: Taking taylor expansion of 1/6 in a
0.952 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
0.952 * [taylor]: Taking taylor expansion of (* a x) in a
0.952 * [taylor]: Taking taylor expansion of a in a
0.952 * [taylor]: Taking taylor expansion of x in a
0.952 * [taylor]: Taking taylor expansion of (* a x) in a
0.952 * [taylor]: Taking taylor expansion of a in a
0.952 * [taylor]: Taking taylor expansion of x in a
0.953 * [taylor]: Taking taylor expansion of 0 in x
0.953 * [taylor]: Taking taylor expansion of x in x
0.954 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.954 * [taylor]: Taking taylor expansion of 1/2 in x
0.954 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.954 * [taylor]: Taking taylor expansion of x in x
0.957 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.957 * [taylor]: Taking taylor expansion of 1/6 in x
0.957 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.957 * [taylor]: Taking taylor expansion of x in x
0.961 * [taylor]: Taking taylor expansion of 0 in x
0.968 * [taylor]: Taking taylor expansion of 0 in x
0.973 * [approximate]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x)))) in (a x) around 0
0.973 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x)))) in x
0.973 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))))
0.973 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in x
0.973 * [taylor]: Taking taylor expansion of 1/2 in x
0.973 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
0.973 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.973 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.973 * [taylor]: Taking taylor expansion of a in x
0.974 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.974 * [taylor]: Taking taylor expansion of x in x
0.974 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in x
0.974 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
0.974 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in x
0.974 * [taylor]: Taking taylor expansion of 1/6 in x
0.974 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
0.974 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.974 * [taylor]: Taking taylor expansion of (* a x) in x
0.974 * [taylor]: Taking taylor expansion of a in x
0.974 * [taylor]: Taking taylor expansion of x in x
0.975 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.975 * [taylor]: Taking taylor expansion of (* a x) in x
0.975 * [taylor]: Taking taylor expansion of a in x
0.975 * [taylor]: Taking taylor expansion of x in x
0.975 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x)))) in a
0.975 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))))
0.975 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
0.975 * [taylor]: Taking taylor expansion of 1/2 in a
0.975 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.975 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.975 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.975 * [taylor]: Taking taylor expansion of a in a
0.975 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.975 * [taylor]: Taking taylor expansion of x in a
0.976 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in a
0.976 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
0.976 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in a
0.976 * [taylor]: Taking taylor expansion of 1/6 in a
0.976 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
0.976 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.976 * [taylor]: Taking taylor expansion of (* a x) in a
0.976 * [taylor]: Taking taylor expansion of a in a
0.976 * [taylor]: Taking taylor expansion of x in a
0.976 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.976 * [taylor]: Taking taylor expansion of (* a x) in a
0.976 * [taylor]: Taking taylor expansion of a in a
0.976 * [taylor]: Taking taylor expansion of x in a
0.977 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x)))) in a
0.977 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))))
0.977 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
0.977 * [taylor]: Taking taylor expansion of 1/2 in a
0.977 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.977 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.977 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.977 * [taylor]: Taking taylor expansion of a in a
0.977 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.977 * [taylor]: Taking taylor expansion of x in a
0.978 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in a
0.978 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
0.978 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in a
0.978 * [taylor]: Taking taylor expansion of 1/6 in a
0.978 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
0.978 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.978 * [taylor]: Taking taylor expansion of (* a x) in a
0.978 * [taylor]: Taking taylor expansion of a in a
0.978 * [taylor]: Taking taylor expansion of x in a
0.978 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.978 * [taylor]: Taking taylor expansion of (* a x) in a
0.978 * [taylor]: Taking taylor expansion of a in a
0.978 * [taylor]: Taking taylor expansion of x in a
0.979 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
0.979 * [taylor]: Taking taylor expansion of 1/6 in x
0.979 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.979 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.979 * [taylor]: Taking taylor expansion of x in x
0.981 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.981 * [taylor]: Taking taylor expansion of 1/2 in x
0.981 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.982 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.982 * [taylor]: Taking taylor expansion of x in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.987 * [taylor]: Taking taylor expansion of x in x
0.996 * [taylor]: Taking taylor expansion of 0 in x
1.008 * [taylor]: Taking taylor expansion of 0 in x
1.009 * [approximate]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x)))) in (a x) around 0
1.009 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x)))) in x
1.009 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))))
1.009 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in x
1.009 * [taylor]: Taking taylor expansion of 1/2 in x
1.009 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
1.009 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
1.009 * [taylor]: Taking taylor expansion of (pow a 2) in x
1.009 * [taylor]: Taking taylor expansion of a in x
1.009 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.009 * [taylor]: Taking taylor expansion of x in x
1.009 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in x
1.009 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.009 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in x
1.009 * [taylor]: Taking taylor expansion of 1/6 in x
1.009 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.009 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.009 * [taylor]: Taking taylor expansion of (* a x) in x
1.009 * [taylor]: Taking taylor expansion of a in x
1.009 * [taylor]: Taking taylor expansion of x in x
1.010 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.010 * [taylor]: Taking taylor expansion of (* a x) in x
1.010 * [taylor]: Taking taylor expansion of a in x
1.010 * [taylor]: Taking taylor expansion of x in x
1.010 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x)))) in a
1.010 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))))
1.010 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
1.010 * [taylor]: Taking taylor expansion of 1/2 in a
1.010 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
1.010 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
1.010 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.010 * [taylor]: Taking taylor expansion of a in a
1.010 * [taylor]: Taking taylor expansion of (pow x 2) in a
1.010 * [taylor]: Taking taylor expansion of x in a
1.011 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in a
1.011 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.011 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in a
1.011 * [taylor]: Taking taylor expansion of 1/6 in a
1.011 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
1.011 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.011 * [taylor]: Taking taylor expansion of (* a x) in a
1.011 * [taylor]: Taking taylor expansion of a in a
1.011 * [taylor]: Taking taylor expansion of x in a
1.011 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.011 * [taylor]: Taking taylor expansion of (* a x) in a
1.011 * [taylor]: Taking taylor expansion of a in a
1.012 * [taylor]: Taking taylor expansion of x in a
1.012 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x)))) in a
1.012 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))))
1.012 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
1.012 * [taylor]: Taking taylor expansion of 1/2 in a
1.012 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
1.012 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
1.012 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.012 * [taylor]: Taking taylor expansion of a in a
1.012 * [taylor]: Taking taylor expansion of (pow x 2) in a
1.012 * [taylor]: Taking taylor expansion of x in a
1.013 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in a
1.013 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.013 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in a
1.013 * [taylor]: Taking taylor expansion of 1/6 in a
1.013 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
1.013 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.013 * [taylor]: Taking taylor expansion of (* a x) in a
1.013 * [taylor]: Taking taylor expansion of a in a
1.013 * [taylor]: Taking taylor expansion of x in a
1.013 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.013 * [taylor]: Taking taylor expansion of (* a x) in a
1.013 * [taylor]: Taking taylor expansion of a in a
1.013 * [taylor]: Taking taylor expansion of x in a
1.014 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x
1.014 * [taylor]: Taking taylor expansion of 1/6 in x
1.014 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.014 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.014 * [taylor]: Taking taylor expansion of x in x
1.016 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
1.017 * [taylor]: Taking taylor expansion of 1/2 in x
1.017 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.017 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.022 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.022 * [taylor]: Taking taylor expansion of x in x
1.031 * [taylor]: Taking taylor expansion of 0 in x
1.043 * [taylor]: Taking taylor expansion of 0 in x
1.043 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 2)
1.044 * [approximate]: Taking taylor expansion of (pow (* a x) 3) in (x a) around 0
1.044 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
1.044 * [taylor]: Taking taylor expansion of (* a x) in a
1.044 * [taylor]: Taking taylor expansion of a in a
1.044 * [taylor]: Taking taylor expansion of x in a
1.044 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
1.044 * [taylor]: Taking taylor expansion of (* a x) in x
1.044 * [taylor]: Taking taylor expansion of a in x
1.044 * [taylor]: Taking taylor expansion of x in x
1.044 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
1.044 * [taylor]: Taking taylor expansion of (* a x) in x
1.044 * [taylor]: Taking taylor expansion of a in x
1.044 * [taylor]: Taking taylor expansion of x in x
1.045 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.045 * [taylor]: Taking taylor expansion of a in a
1.046 * [taylor]: Taking taylor expansion of 0 in a
1.048 * [taylor]: Taking taylor expansion of 0 in a
1.051 * [taylor]: Taking taylor expansion of 0 in a
1.051 * [approximate]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in (x a) around 0
1.051 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
1.051 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.051 * [taylor]: Taking taylor expansion of (* a x) in a
1.051 * [taylor]: Taking taylor expansion of a in a
1.051 * [taylor]: Taking taylor expansion of x in a
1.051 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.051 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.051 * [taylor]: Taking taylor expansion of (* a x) in x
1.051 * [taylor]: Taking taylor expansion of a in x
1.051 * [taylor]: Taking taylor expansion of x in x
1.052 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.052 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.052 * [taylor]: Taking taylor expansion of (* a x) in x
1.052 * [taylor]: Taking taylor expansion of a in x
1.052 * [taylor]: Taking taylor expansion of x in x
1.052 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a
1.052 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.052 * [taylor]: Taking taylor expansion of a in a
1.054 * [taylor]: Taking taylor expansion of 0 in a
1.056 * [taylor]: Taking taylor expansion of 0 in a
1.064 * [taylor]: Taking taylor expansion of 0 in a
1.068 * [taylor]: Taking taylor expansion of 0 in a
1.073 * [taylor]: Taking taylor expansion of 0 in a
1.073 * [approximate]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in (x a) around 0
1.073 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
1.073 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.074 * [taylor]: Taking taylor expansion of (* a x) in a
1.074 * [taylor]: Taking taylor expansion of a in a
1.074 * [taylor]: Taking taylor expansion of x in a
1.074 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.074 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.074 * [taylor]: Taking taylor expansion of (* a x) in x
1.074 * [taylor]: Taking taylor expansion of a in x
1.074 * [taylor]: Taking taylor expansion of x in x
1.074 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.074 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.074 * [taylor]: Taking taylor expansion of (* a x) in x
1.074 * [taylor]: Taking taylor expansion of a in x
1.074 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a
1.075 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.075 * [taylor]: Taking taylor expansion of a in a
1.076 * [taylor]: Taking taylor expansion of 0 in a
1.079 * [taylor]: Taking taylor expansion of 0 in a
1.082 * [taylor]: Taking taylor expansion of 0 in a
1.086 * [taylor]: Taking taylor expansion of 0 in a
1.091 * [taylor]: Taking taylor expansion of 0 in a
1.091 * * * * [progress]: [ 4 / 4 ] generating series at (2 3)
1.091 * [approximate]: Taking taylor expansion of (fma 1/6 (pow (* a x) 3) (* a x)) in (x a) around 0
1.091 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (* a x) 3) (* a x)) in a
1.091 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (* a x) 3)) (* a x))
1.091 * [taylor]: Taking taylor expansion of (* 1/6 (pow (* a x) 3)) in a
1.091 * [taylor]: Taking taylor expansion of 1/6 in a
1.091 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
1.091 * [taylor]: Taking taylor expansion of (* a x) in a
1.091 * [taylor]: Taking taylor expansion of a in a
1.091 * [taylor]: Taking taylor expansion of x in a
1.092 * [taylor]: Taking taylor expansion of (* a x) in a
1.092 * [taylor]: Taking taylor expansion of a in a
1.092 * [taylor]: Taking taylor expansion of x in a
1.092 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (* a x) 3) (* a x)) in x
1.092 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (* a x) 3)) (* a x))
1.092 * [taylor]: Taking taylor expansion of (* 1/6 (pow (* a x) 3)) in x
1.092 * [taylor]: Taking taylor expansion of 1/6 in x
1.092 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
1.092 * [taylor]: Taking taylor expansion of (* a x) in x
1.092 * [taylor]: Taking taylor expansion of a in x
1.092 * [taylor]: Taking taylor expansion of x in x
1.092 * [taylor]: Taking taylor expansion of (* a x) in x
1.092 * [taylor]: Taking taylor expansion of a in x
1.092 * [taylor]: Taking taylor expansion of x in x
1.092 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (* a x) 3) (* a x)) in x
1.092 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (* a x) 3)) (* a x))
1.092 * [taylor]: Taking taylor expansion of (* 1/6 (pow (* a x) 3)) in x
1.092 * [taylor]: Taking taylor expansion of 1/6 in x
1.093 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
1.093 * [taylor]: Taking taylor expansion of (* a x) in x
1.093 * [taylor]: Taking taylor expansion of a in x
1.093 * [taylor]: Taking taylor expansion of x in x
1.093 * [taylor]: Taking taylor expansion of (* a x) in x
1.093 * [taylor]: Taking taylor expansion of a in x
1.093 * [taylor]: Taking taylor expansion of x in x
1.093 * [taylor]: Taking taylor expansion of 0 in a
1.094 * [taylor]: Taking taylor expansion of a in a
1.094 * [taylor]: Taking taylor expansion of 0 in a
1.095 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a
1.095 * [taylor]: Taking taylor expansion of 1/6 in a
1.095 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.095 * [taylor]: Taking taylor expansion of a in a
1.097 * [taylor]: Taking taylor expansion of 0 in a
1.097 * [approximate]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in (x a) around 0
1.097 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in a
1.097 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.097 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in a
1.097 * [taylor]: Taking taylor expansion of 1/6 in a
1.097 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
1.097 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.097 * [taylor]: Taking taylor expansion of (* a x) in a
1.097 * [taylor]: Taking taylor expansion of a in a
1.097 * [taylor]: Taking taylor expansion of x in a
1.098 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.098 * [taylor]: Taking taylor expansion of (* a x) in a
1.098 * [taylor]: Taking taylor expansion of a in a
1.098 * [taylor]: Taking taylor expansion of x in a
1.098 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in x
1.098 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.098 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in x
1.098 * [taylor]: Taking taylor expansion of 1/6 in x
1.098 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.098 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.098 * [taylor]: Taking taylor expansion of (* a x) in x
1.098 * [taylor]: Taking taylor expansion of a in x
1.098 * [taylor]: Taking taylor expansion of x in x
1.099 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.099 * [taylor]: Taking taylor expansion of (* a x) in x
1.099 * [taylor]: Taking taylor expansion of a in x
1.099 * [taylor]: Taking taylor expansion of x in x
1.099 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in x
1.099 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.099 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in x
1.099 * [taylor]: Taking taylor expansion of 1/6 in x
1.099 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.099 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.099 * [taylor]: Taking taylor expansion of (* a x) in x
1.099 * [taylor]: Taking taylor expansion of a in x
1.099 * [taylor]: Taking taylor expansion of x in x
1.100 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.100 * [taylor]: Taking taylor expansion of (* a x) in x
1.100 * [taylor]: Taking taylor expansion of a in x
1.100 * [taylor]: Taking taylor expansion of x in x
1.100 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow a 3))) in a
1.100 * [taylor]: Taking taylor expansion of 1/6 in a
1.100 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a
1.101 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.101 * [taylor]: Taking taylor expansion of a in a
1.103 * [taylor]: Taking taylor expansion of 0 in a
1.106 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.106 * [taylor]: Taking taylor expansion of a in a
1.112 * [taylor]: Taking taylor expansion of 0 in a
1.118 * [taylor]: Taking taylor expansion of 0 in a
1.126 * [taylor]: Taking taylor expansion of 0 in a
1.135 * [taylor]: Taking taylor expansion of 0 in a
1.135 * [approximate]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in (x a) around 0
1.135 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in a
1.135 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.135 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in a
1.135 * [taylor]: Taking taylor expansion of 1/6 in a
1.135 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
1.135 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.135 * [taylor]: Taking taylor expansion of (* a x) in a
1.135 * [taylor]: Taking taylor expansion of a in a
1.135 * [taylor]: Taking taylor expansion of x in a
1.136 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.136 * [taylor]: Taking taylor expansion of (* a x) in a
1.136 * [taylor]: Taking taylor expansion of a in a
1.136 * [taylor]: Taking taylor expansion of x in a
1.136 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in x
1.136 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.136 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in x
1.136 * [taylor]: Taking taylor expansion of 1/6 in x
1.136 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.136 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.136 * [taylor]: Taking taylor expansion of (* a x) in x
1.136 * [taylor]: Taking taylor expansion of a in x
1.136 * [taylor]: Taking taylor expansion of x in x
1.137 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.137 * [taylor]: Taking taylor expansion of (* a x) in x
1.137 * [taylor]: Taking taylor expansion of a in x
1.137 * [taylor]: Taking taylor expansion of x in x
1.137 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in x
1.137 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.137 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in x
1.137 * [taylor]: Taking taylor expansion of 1/6 in x
1.137 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.137 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.137 * [taylor]: Taking taylor expansion of (* a x) in x
1.137 * [taylor]: Taking taylor expansion of a in x
1.137 * [taylor]: Taking taylor expansion of x in x
1.138 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.138 * [taylor]: Taking taylor expansion of (* a x) in x
1.138 * [taylor]: Taking taylor expansion of a in x
1.138 * [taylor]: Taking taylor expansion of x in x
1.138 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow a 3))) in a
1.138 * [taylor]: Taking taylor expansion of 1/6 in a
1.138 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a
1.138 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.138 * [taylor]: Taking taylor expansion of a in a
1.141 * [taylor]: Taking taylor expansion of 0 in a
1.144 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.144 * [taylor]: Taking taylor expansion of a in a
1.332 * [taylor]: Taking taylor expansion of 0 in a
1.338 * [taylor]: Taking taylor expansion of 0 in a
1.346 * [taylor]: Taking taylor expansion of 0 in a
1.355 * [taylor]: Taking taylor expansion of 0 in a
1.355 * * * [progress]: simplifying candidates
1.356 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* a x)
  (+ (* (log a) 2) (* (log x) 2))
  (* a x)
  (* a x)
  (* a (pow x (/ 2 2)))
  (* a (pow x (/ 2 2)))
  (* (pow a (/ 2 2)) x)
  (* (pow a (/ 2 2)) x)
  (* (pow a (/ 2 2)) (pow x (/ 2 2)))
  (* (pow a (/ 2 2)) (pow x (/ 2 2)))
  (* (pow a 2) x)
  (* (pow a 2) (pow x (/ 2 2)))
  (* a (pow x 2))
  (* (pow a (/ 2 2)) (pow x 2))
  (* 1/2 (* (pow a 2) (pow x 2)))
  (* (log (* x a)) 3)
  (pow x 3)
  (pow a 3)
  (pow a 3)
  (pow x 3)
  (* (* x a) (* x a))
  (pow (* x a) (/ 3 2))
  (pow (* x a) (/ 3 2))
  (* 1/6 (pow (* x a) 3))
  (* (pow a 2) (pow x 2))
  (* (pow a 2) (pow x 2))
  (* (pow a 2) (pow x 2))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
  (* (pow a 3) (pow x 3))
  (* (pow a 3) (pow x 3))
  (* (pow a 3) (pow x 3))
  (* a x)
  (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))
  (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))
1.359 * * [simplify]: iteration  0 :  99  enodes  (cost  94 )
1.362 * * [simplify]: iteration  1 :  352  enodes  (cost  93 )
1.371 * * [simplify]: iteration  2 :  1997  enodes  (cost  90 )
1.431 * * [simplify]: iteration  3 :  5001  enodes  (cost  86 )
1.432 * [simplify]: Simplified to:
   (* x a)
  (* 2 (log (* x a)))
  (* x a)
  (* x a)
  (* x a)
  (* x a)
  (* x a)
  (* x a)
  (* x a)
  (* x a)
  (* x (pow a 2))
  (* x (pow a 2))
  (* (pow x 2) a)
  (* (pow x 2) a)
  (* 1/2 (* (pow a 2) (pow x 2)))
  (* (log (* x a)) 3)
  (pow x 3)
  (pow a 3)
  (pow a 3)
  (pow x 3)
  (* (* x a) (* x a))
  (pow (* x a) 3/2)
  (pow (* x a) 3/2)
  (* 1/6 (pow (* x a) 3))
  (* (* x a) (* x a))
  (* (* x a) (* x a))
  (* (* x a) (* x a))
  (fma 1/2 (* (pow a 2) (pow x 2)) (* a x))
  (fma (* (* x (pow a 2)) 1/2) x (fma x a (* 1/6 (pow (* x a) 3))))
  (fma (* (* x (pow a 2)) 1/2) x (fma x a (* 1/6 (pow (* x a) 3))))
  (pow (* x a) 3)
  (pow (* x a) 3)
  (pow (* x a) 3)
  (* x a)
  (fma x a (* 1/6 (pow (* x a) 3)))
  (fma x a (* 1/6 (pow (* x a) 3)))
1.432 * * * [progress]: adding candidates to table
1.502 * * [progress]: iteration 4 / 4
1.502 * * * [progress]: picking best candidate
1.507 * * * * [pick]: Picked  #<alt (λ (a x) (fma 1/2 (* (* x a) (* x a)) (fma 1/6 (pow (* x a) 3) (* a x))))>
1.507 * * * [progress]: localizing error
1.517 * * * [progress]: generating rewritten candidates
1.517 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.518 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 2)
1.520 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1.524 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3)
1.525 * * * [progress]: generating series expansions
1.525 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.526 * [approximate]: Taking taylor expansion of (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (pow (* a x) 3) (* a x))) in (x a) around 0
1.526 * [taylor]: Taking taylor expansion of (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (pow (* a x) 3) (* a x))) in a
1.526 * [taylor]: Rewrote expression to (+ (* 1/2 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (* a x) 3) (* a x)))
1.526 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in a
1.526 * [taylor]: Taking taylor expansion of 1/2 in a
1.526 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
1.526 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.526 * [taylor]: Taking taylor expansion of a in a
1.526 * [taylor]: Taking taylor expansion of (pow x 2) in a
1.526 * [taylor]: Taking taylor expansion of x in a
1.526 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (* a x) 3) (* a x)) in a
1.526 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (* a x) 3)) (* a x))
1.526 * [taylor]: Taking taylor expansion of (* 1/6 (pow (* a x) 3)) in a
1.526 * [taylor]: Taking taylor expansion of 1/6 in a
1.526 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
1.526 * [taylor]: Taking taylor expansion of (* a x) in a
1.526 * [taylor]: Taking taylor expansion of a in a
1.526 * [taylor]: Taking taylor expansion of x in a
1.526 * [taylor]: Taking taylor expansion of (* a x) in a
1.527 * [taylor]: Taking taylor expansion of a in a
1.527 * [taylor]: Taking taylor expansion of x in a
1.527 * [taylor]: Taking taylor expansion of (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (pow (* a x) 3) (* a x))) in x
1.527 * [taylor]: Rewrote expression to (+ (* 1/2 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (* a x) 3) (* a x)))
1.527 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in x
1.527 * [taylor]: Taking taylor expansion of 1/2 in x
1.527 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
1.527 * [taylor]: Taking taylor expansion of (pow a 2) in x
1.527 * [taylor]: Taking taylor expansion of a in x
1.527 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.527 * [taylor]: Taking taylor expansion of x in x
1.527 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (* a x) 3) (* a x)) in x
1.527 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (* a x) 3)) (* a x))
1.527 * [taylor]: Taking taylor expansion of (* 1/6 (pow (* a x) 3)) in x
1.527 * [taylor]: Taking taylor expansion of 1/6 in x
1.527 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
1.527 * [taylor]: Taking taylor expansion of (* a x) in x
1.527 * [taylor]: Taking taylor expansion of a in x
1.527 * [taylor]: Taking taylor expansion of x in x
1.527 * [taylor]: Taking taylor expansion of (* a x) in x
1.527 * [taylor]: Taking taylor expansion of a in x
1.527 * [taylor]: Taking taylor expansion of x in x
1.527 * [taylor]: Taking taylor expansion of (fma 1/2 (* (pow a 2) (pow x 2)) (fma 1/6 (pow (* a x) 3) (* a x))) in x
1.528 * [taylor]: Rewrote expression to (+ (* 1/2 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (* a x) 3) (* a x)))
1.528 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in x
1.528 * [taylor]: Taking taylor expansion of 1/2 in x
1.528 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
1.528 * [taylor]: Taking taylor expansion of (pow a 2) in x
1.528 * [taylor]: Taking taylor expansion of a in x
1.528 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.528 * [taylor]: Taking taylor expansion of x in x
1.528 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (* a x) 3) (* a x)) in x
1.528 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (* a x) 3)) (* a x))
1.528 * [taylor]: Taking taylor expansion of (* 1/6 (pow (* a x) 3)) in x
1.528 * [taylor]: Taking taylor expansion of 1/6 in x
1.528 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
1.528 * [taylor]: Taking taylor expansion of (* a x) in x
1.528 * [taylor]: Taking taylor expansion of a in x
1.528 * [taylor]: Taking taylor expansion of x in x
1.528 * [taylor]: Taking taylor expansion of (* a x) in x
1.528 * [taylor]: Taking taylor expansion of a in x
1.528 * [taylor]: Taking taylor expansion of x in x
1.529 * [taylor]: Taking taylor expansion of 0 in a
1.529 * [taylor]: Taking taylor expansion of a in a
1.530 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
1.530 * [taylor]: Taking taylor expansion of 1/2 in a
1.530 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.530 * [taylor]: Taking taylor expansion of a in a
1.533 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a
1.533 * [taylor]: Taking taylor expansion of 1/6 in a
1.533 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.533 * [taylor]: Taking taylor expansion of a in a
1.539 * [taylor]: Taking taylor expansion of 0 in a
1.545 * [taylor]: Taking taylor expansion of 0 in a
1.546 * [approximate]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x)))) in (x a) around 0
1.546 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x)))) in a
1.546 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))))
1.547 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
1.547 * [taylor]: Taking taylor expansion of 1/2 in a
1.547 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
1.547 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
1.547 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.547 * [taylor]: Taking taylor expansion of a in a
1.547 * [taylor]: Taking taylor expansion of (pow x 2) in a
1.547 * [taylor]: Taking taylor expansion of x in a
1.547 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in a
1.547 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.547 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in a
1.547 * [taylor]: Taking taylor expansion of 1/6 in a
1.547 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
1.547 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.547 * [taylor]: Taking taylor expansion of (* a x) in a
1.547 * [taylor]: Taking taylor expansion of a in a
1.547 * [taylor]: Taking taylor expansion of x in a
1.548 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.548 * [taylor]: Taking taylor expansion of (* a x) in a
1.548 * [taylor]: Taking taylor expansion of a in a
1.548 * [taylor]: Taking taylor expansion of x in a
1.548 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x)))) in x
1.548 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))))
1.548 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in x
1.548 * [taylor]: Taking taylor expansion of 1/2 in x
1.548 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
1.548 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
1.548 * [taylor]: Taking taylor expansion of (pow a 2) in x
1.548 * [taylor]: Taking taylor expansion of a in x
1.548 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.548 * [taylor]: Taking taylor expansion of x in x
1.549 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in x
1.549 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.549 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in x
1.549 * [taylor]: Taking taylor expansion of 1/6 in x
1.549 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.549 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.549 * [taylor]: Taking taylor expansion of (* a x) in x
1.549 * [taylor]: Taking taylor expansion of a in x
1.549 * [taylor]: Taking taylor expansion of x in x
1.549 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.549 * [taylor]: Taking taylor expansion of (* a x) in x
1.549 * [taylor]: Taking taylor expansion of a in x
1.549 * [taylor]: Taking taylor expansion of x in x
1.550 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x)))) in x
1.550 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))))
1.550 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in x
1.550 * [taylor]: Taking taylor expansion of 1/2 in x
1.550 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
1.550 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
1.550 * [taylor]: Taking taylor expansion of (pow a 2) in x
1.550 * [taylor]: Taking taylor expansion of a in x
1.550 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.550 * [taylor]: Taking taylor expansion of x in x
1.550 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in x
1.550 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.550 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in x
1.550 * [taylor]: Taking taylor expansion of 1/6 in x
1.551 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.551 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.551 * [taylor]: Taking taylor expansion of (* a x) in x
1.551 * [taylor]: Taking taylor expansion of a in x
1.551 * [taylor]: Taking taylor expansion of x in x
1.551 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.551 * [taylor]: Taking taylor expansion of (* a x) in x
1.551 * [taylor]: Taking taylor expansion of a in x
1.551 * [taylor]: Taking taylor expansion of x in x
1.552 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow a 3))) in a
1.552 * [taylor]: Taking taylor expansion of 1/6 in a
1.552 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a
1.552 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.552 * [taylor]: Taking taylor expansion of a in a
1.554 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
1.554 * [taylor]: Taking taylor expansion of 1/2 in a
1.554 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.554 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.554 * [taylor]: Taking taylor expansion of a in a
1.559 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.560 * [taylor]: Taking taylor expansion of a in a
1.568 * [taylor]: Taking taylor expansion of 0 in a
1.578 * [taylor]: Taking taylor expansion of 0 in a
1.579 * [approximate]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x)))) in (x a) around 0
1.579 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x)))) in a
1.579 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))))
1.579 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
1.579 * [taylor]: Taking taylor expansion of 1/2 in a
1.579 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
1.579 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
1.579 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.579 * [taylor]: Taking taylor expansion of a in a
1.579 * [taylor]: Taking taylor expansion of (pow x 2) in a
1.580 * [taylor]: Taking taylor expansion of x in a
1.580 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in a
1.580 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.580 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in a
1.580 * [taylor]: Taking taylor expansion of 1/6 in a
1.580 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
1.580 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.580 * [taylor]: Taking taylor expansion of (* a x) in a
1.580 * [taylor]: Taking taylor expansion of a in a
1.580 * [taylor]: Taking taylor expansion of x in a
1.581 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.581 * [taylor]: Taking taylor expansion of (* a x) in a
1.581 * [taylor]: Taking taylor expansion of a in a
1.581 * [taylor]: Taking taylor expansion of x in a
1.581 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x)))) in x
1.581 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))))
1.581 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in x
1.581 * [taylor]: Taking taylor expansion of 1/2 in x
1.581 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
1.581 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
1.581 * [taylor]: Taking taylor expansion of (pow a 2) in x
1.581 * [taylor]: Taking taylor expansion of a in x
1.581 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.581 * [taylor]: Taking taylor expansion of x in x
1.582 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in x
1.582 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.582 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in x
1.582 * [taylor]: Taking taylor expansion of 1/6 in x
1.582 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.582 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.582 * [taylor]: Taking taylor expansion of (* a x) in x
1.582 * [taylor]: Taking taylor expansion of a in x
1.582 * [taylor]: Taking taylor expansion of x in x
1.582 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.582 * [taylor]: Taking taylor expansion of (* a x) in x
1.582 * [taylor]: Taking taylor expansion of a in x
1.582 * [taylor]: Taking taylor expansion of x in x
1.583 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (* (pow a 2) (pow x 2))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x)))) in x
1.583 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))))
1.583 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in x
1.583 * [taylor]: Taking taylor expansion of 1/2 in x
1.583 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
1.583 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
1.583 * [taylor]: Taking taylor expansion of (pow a 2) in x
1.583 * [taylor]: Taking taylor expansion of a in x
1.583 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.583 * [taylor]: Taking taylor expansion of x in x
1.583 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in x
1.584 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.584 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in x
1.584 * [taylor]: Taking taylor expansion of 1/6 in x
1.584 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.584 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.584 * [taylor]: Taking taylor expansion of (* a x) in x
1.584 * [taylor]: Taking taylor expansion of a in x
1.584 * [taylor]: Taking taylor expansion of x in x
1.584 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.584 * [taylor]: Taking taylor expansion of (* a x) in x
1.584 * [taylor]: Taking taylor expansion of a in x
1.584 * [taylor]: Taking taylor expansion of x in x
1.585 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow a 3))) in a
1.585 * [taylor]: Taking taylor expansion of 1/6 in a
1.585 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a
1.585 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.585 * [taylor]: Taking taylor expansion of a in a
1.587 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
1.587 * [taylor]: Taking taylor expansion of 1/2 in a
1.587 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.587 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.587 * [taylor]: Taking taylor expansion of a in a
1.593 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.593 * [taylor]: Taking taylor expansion of a in a
1.601 * [taylor]: Taking taylor expansion of 0 in a
1.612 * [taylor]: Taking taylor expansion of 0 in a
1.612 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 2)
1.613 * [approximate]: Taking taylor expansion of (pow (* a x) 3) in (x a) around 0
1.613 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
1.613 * [taylor]: Taking taylor expansion of (* a x) in a
1.613 * [taylor]: Taking taylor expansion of a in a
1.613 * [taylor]: Taking taylor expansion of x in a
1.613 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
1.613 * [taylor]: Taking taylor expansion of (* a x) in x
1.613 * [taylor]: Taking taylor expansion of a in x
1.613 * [taylor]: Taking taylor expansion of x in x
1.613 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
1.613 * [taylor]: Taking taylor expansion of (* a x) in x
1.613 * [taylor]: Taking taylor expansion of a in x
1.613 * [taylor]: Taking taylor expansion of x in x
1.614 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.614 * [taylor]: Taking taylor expansion of a in a
1.615 * [taylor]: Taking taylor expansion of 0 in a
1.617 * [taylor]: Taking taylor expansion of 0 in a
1.620 * [taylor]: Taking taylor expansion of 0 in a
1.620 * [approximate]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in (x a) around 0
1.620 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
1.620 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.620 * [taylor]: Taking taylor expansion of (* a x) in a
1.620 * [taylor]: Taking taylor expansion of a in a
1.620 * [taylor]: Taking taylor expansion of x in a
1.621 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.621 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.621 * [taylor]: Taking taylor expansion of (* a x) in x
1.621 * [taylor]: Taking taylor expansion of a in x
1.621 * [taylor]: Taking taylor expansion of x in x
1.621 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.621 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.621 * [taylor]: Taking taylor expansion of (* a x) in x
1.621 * [taylor]: Taking taylor expansion of a in x
1.621 * [taylor]: Taking taylor expansion of x in x
1.622 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a
1.622 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.622 * [taylor]: Taking taylor expansion of a in a
1.623 * [taylor]: Taking taylor expansion of 0 in a
1.626 * [taylor]: Taking taylor expansion of 0 in a
1.632 * [taylor]: Taking taylor expansion of 0 in a
1.636 * [taylor]: Taking taylor expansion of 0 in a
1.641 * [taylor]: Taking taylor expansion of 0 in a
1.641 * [approximate]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in (x a) around 0
1.641 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
1.641 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.641 * [taylor]: Taking taylor expansion of (* a x) in a
1.641 * [taylor]: Taking taylor expansion of a in a
1.641 * [taylor]: Taking taylor expansion of x in a
1.642 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.642 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.642 * [taylor]: Taking taylor expansion of (* a x) in x
1.642 * [taylor]: Taking taylor expansion of a in x
1.642 * [taylor]: Taking taylor expansion of x in x
1.642 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.642 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.642 * [taylor]: Taking taylor expansion of (* a x) in x
1.642 * [taylor]: Taking taylor expansion of a in x
1.642 * [taylor]: Taking taylor expansion of x in x
1.643 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a
1.643 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.643 * [taylor]: Taking taylor expansion of a in a
1.644 * [taylor]: Taking taylor expansion of 0 in a
1.647 * [taylor]: Taking taylor expansion of 0 in a
1.650 * [taylor]: Taking taylor expansion of 0 in a
1.654 * [taylor]: Taking taylor expansion of 0 in a
1.659 * [taylor]: Taking taylor expansion of 0 in a
1.659 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1.659 * [approximate]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in (x a) around 0
1.659 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
1.659 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.659 * [taylor]: Taking taylor expansion of a in a
1.659 * [taylor]: Taking taylor expansion of (pow x 2) in a
1.659 * [taylor]: Taking taylor expansion of x in a
1.659 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
1.659 * [taylor]: Taking taylor expansion of (pow a 2) in x
1.659 * [taylor]: Taking taylor expansion of a in x
1.659 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.659 * [taylor]: Taking taylor expansion of x in x
1.659 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
1.659 * [taylor]: Taking taylor expansion of (pow a 2) in x
1.659 * [taylor]: Taking taylor expansion of a in x
1.659 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.659 * [taylor]: Taking taylor expansion of x in x
1.660 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.660 * [taylor]: Taking taylor expansion of a in a
1.661 * [taylor]: Taking taylor expansion of 0 in a
1.662 * [taylor]: Taking taylor expansion of 0 in a
1.664 * [taylor]: Taking taylor expansion of 0 in a
1.665 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in (x a) around 0
1.665 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
1.665 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
1.665 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.665 * [taylor]: Taking taylor expansion of a in a
1.665 * [taylor]: Taking taylor expansion of (pow x 2) in a
1.665 * [taylor]: Taking taylor expansion of x in a
1.665 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
1.665 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
1.665 * [taylor]: Taking taylor expansion of (pow a 2) in x
1.665 * [taylor]: Taking taylor expansion of a in x
1.665 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.665 * [taylor]: Taking taylor expansion of x in x
1.666 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
1.666 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
1.666 * [taylor]: Taking taylor expansion of (pow a 2) in x
1.666 * [taylor]: Taking taylor expansion of a in x
1.666 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.666 * [taylor]: Taking taylor expansion of x in x
1.666 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.666 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.666 * [taylor]: Taking taylor expansion of a in a
1.668 * [taylor]: Taking taylor expansion of 0 in a
1.670 * [taylor]: Taking taylor expansion of 0 in a
1.673 * [taylor]: Taking taylor expansion of 0 in a
1.676 * [taylor]: Taking taylor expansion of 0 in a
1.677 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in (x a) around 0
1.677 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
1.677 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
1.677 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.677 * [taylor]: Taking taylor expansion of a in a
1.677 * [taylor]: Taking taylor expansion of (pow x 2) in a
1.677 * [taylor]: Taking taylor expansion of x in a
1.677 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
1.677 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
1.677 * [taylor]: Taking taylor expansion of (pow a 2) in x
1.677 * [taylor]: Taking taylor expansion of a in x
1.677 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.677 * [taylor]: Taking taylor expansion of x in x
1.678 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
1.678 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
1.678 * [taylor]: Taking taylor expansion of (pow a 2) in x
1.678 * [taylor]: Taking taylor expansion of a in x
1.678 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.678 * [taylor]: Taking taylor expansion of x in x
1.678 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.678 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.678 * [taylor]: Taking taylor expansion of a in a
1.680 * [taylor]: Taking taylor expansion of 0 in a
1.682 * [taylor]: Taking taylor expansion of 0 in a
1.685 * [taylor]: Taking taylor expansion of 0 in a
1.689 * [taylor]: Taking taylor expansion of 0 in a
1.689 * * * * [progress]: [ 4 / 4 ] generating series at (2 3)
1.689 * [approximate]: Taking taylor expansion of (fma 1/6 (pow (* a x) 3) (* a x)) in (x a) around 0
1.689 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (* a x) 3) (* a x)) in a
1.689 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (* a x) 3)) (* a x))
1.689 * [taylor]: Taking taylor expansion of (* 1/6 (pow (* a x) 3)) in a
1.689 * [taylor]: Taking taylor expansion of 1/6 in a
1.689 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
1.689 * [taylor]: Taking taylor expansion of (* a x) in a
1.689 * [taylor]: Taking taylor expansion of a in a
1.689 * [taylor]: Taking taylor expansion of x in a
1.690 * [taylor]: Taking taylor expansion of (* a x) in a
1.690 * [taylor]: Taking taylor expansion of a in a
1.690 * [taylor]: Taking taylor expansion of x in a
1.690 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (* a x) 3) (* a x)) in x
1.690 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (* a x) 3)) (* a x))
1.690 * [taylor]: Taking taylor expansion of (* 1/6 (pow (* a x) 3)) in x
1.690 * [taylor]: Taking taylor expansion of 1/6 in x
1.690 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
1.690 * [taylor]: Taking taylor expansion of (* a x) in x
1.690 * [taylor]: Taking taylor expansion of a in x
1.690 * [taylor]: Taking taylor expansion of x in x
1.690 * [taylor]: Taking taylor expansion of (* a x) in x
1.690 * [taylor]: Taking taylor expansion of a in x
1.690 * [taylor]: Taking taylor expansion of x in x
1.690 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (* a x) 3) (* a x)) in x
1.690 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (* a x) 3)) (* a x))
1.690 * [taylor]: Taking taylor expansion of (* 1/6 (pow (* a x) 3)) in x
1.690 * [taylor]: Taking taylor expansion of 1/6 in x
1.690 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
1.691 * [taylor]: Taking taylor expansion of (* a x) in x
1.691 * [taylor]: Taking taylor expansion of a in x
1.691 * [taylor]: Taking taylor expansion of x in x
1.691 * [taylor]: Taking taylor expansion of (* a x) in x
1.691 * [taylor]: Taking taylor expansion of a in x
1.691 * [taylor]: Taking taylor expansion of x in x
1.691 * [taylor]: Taking taylor expansion of 0 in a
1.692 * [taylor]: Taking taylor expansion of a in a
1.692 * [taylor]: Taking taylor expansion of 0 in a
1.693 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a
1.693 * [taylor]: Taking taylor expansion of 1/6 in a
1.693 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.693 * [taylor]: Taking taylor expansion of a in a
1.695 * [taylor]: Taking taylor expansion of 0 in a
1.695 * [approximate]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in (x a) around 0
1.695 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in a
1.695 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.695 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in a
1.695 * [taylor]: Taking taylor expansion of 1/6 in a
1.695 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
1.695 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.695 * [taylor]: Taking taylor expansion of (* a x) in a
1.695 * [taylor]: Taking taylor expansion of a in a
1.695 * [taylor]: Taking taylor expansion of x in a
1.696 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.696 * [taylor]: Taking taylor expansion of (* a x) in a
1.696 * [taylor]: Taking taylor expansion of a in a
1.696 * [taylor]: Taking taylor expansion of x in a
1.696 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in x
1.696 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.696 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in x
1.696 * [taylor]: Taking taylor expansion of 1/6 in x
1.696 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.696 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.696 * [taylor]: Taking taylor expansion of (* a x) in x
1.696 * [taylor]: Taking taylor expansion of a in x
1.696 * [taylor]: Taking taylor expansion of x in x
1.697 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.697 * [taylor]: Taking taylor expansion of (* a x) in x
1.697 * [taylor]: Taking taylor expansion of a in x
1.697 * [taylor]: Taking taylor expansion of x in x
1.697 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in x
1.697 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.697 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in x
1.697 * [taylor]: Taking taylor expansion of 1/6 in x
1.697 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.697 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.697 * [taylor]: Taking taylor expansion of (* a x) in x
1.697 * [taylor]: Taking taylor expansion of a in x
1.697 * [taylor]: Taking taylor expansion of x in x
1.698 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.698 * [taylor]: Taking taylor expansion of (* a x) in x
1.698 * [taylor]: Taking taylor expansion of a in x
1.698 * [taylor]: Taking taylor expansion of x in x
1.698 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow a 3))) in a
1.698 * [taylor]: Taking taylor expansion of 1/6 in a
1.698 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a
1.698 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.698 * [taylor]: Taking taylor expansion of a in a
1.701 * [taylor]: Taking taylor expansion of 0 in a
1.705 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.705 * [taylor]: Taking taylor expansion of a in a
1.710 * [taylor]: Taking taylor expansion of 0 in a
1.719 * [taylor]: Taking taylor expansion of 0 in a
1.727 * [taylor]: Taking taylor expansion of 0 in a
1.736 * [taylor]: Taking taylor expansion of 0 in a
1.737 * [approximate]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in (x a) around 0
1.737 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in a
1.737 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.737 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in a
1.737 * [taylor]: Taking taylor expansion of 1/6 in a
1.737 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
1.737 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.737 * [taylor]: Taking taylor expansion of (* a x) in a
1.737 * [taylor]: Taking taylor expansion of a in a
1.737 * [taylor]: Taking taylor expansion of x in a
1.738 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.738 * [taylor]: Taking taylor expansion of (* a x) in a
1.738 * [taylor]: Taking taylor expansion of a in a
1.738 * [taylor]: Taking taylor expansion of x in a
1.738 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in x
1.738 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.738 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in x
1.738 * [taylor]: Taking taylor expansion of 1/6 in x
1.738 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.738 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.738 * [taylor]: Taking taylor expansion of (* a x) in x
1.738 * [taylor]: Taking taylor expansion of a in x
1.738 * [taylor]: Taking taylor expansion of x in x
1.739 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.739 * [taylor]: Taking taylor expansion of (* a x) in x
1.739 * [taylor]: Taking taylor expansion of a in x
1.739 * [taylor]: Taking taylor expansion of x in x
1.739 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 (* a x)) 3) (/ 1 (* a x))) in x
1.739 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 (* a x)) 3)) (/ 1 (* a x)))
1.739 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (* a x)) 3)) in x
1.739 * [taylor]: Taking taylor expansion of 1/6 in x
1.739 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.739 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.739 * [taylor]: Taking taylor expansion of (* a x) in x
1.739 * [taylor]: Taking taylor expansion of a in x
1.739 * [taylor]: Taking taylor expansion of x in x
1.740 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.740 * [taylor]: Taking taylor expansion of (* a x) in x
1.740 * [taylor]: Taking taylor expansion of a in x
1.740 * [taylor]: Taking taylor expansion of x in x
1.740 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow a 3))) in a
1.740 * [taylor]: Taking taylor expansion of 1/6 in a
1.740 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a
1.740 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.740 * [taylor]: Taking taylor expansion of a in a
1.743 * [taylor]: Taking taylor expansion of 0 in a
1.746 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.746 * [taylor]: Taking taylor expansion of a in a
1.752 * [taylor]: Taking taylor expansion of 0 in a
1.758 * [taylor]: Taking taylor expansion of 0 in a
1.766 * [taylor]: Taking taylor expansion of 0 in a
1.775 * [taylor]: Taking taylor expansion of 0 in a
1.775 * * * [progress]: simplifying candidates
1.776 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 1/2 (* (* x a) (* x a)))
  (* (log (* x a)) 3)
  (pow x 3)
  (pow a 3)
  (pow a 3)
  (pow x 3)
  (* (* x a) (* x a))
  (pow (* x a) (/ 3 2))
  (pow (* x a) (/ 3 2))
  (* x x)
  (* a a)
  (* a a)
  (* x x)
  (* (* x a) x)
  (* (* x a) a)
  (* a (* x a))
  (* x (* x a))
  (* 1/6 (pow (* x a) 3))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
  (* (pow a 3) (pow x 3))
  (* (pow a 3) (pow x 3))
  (* (pow a 3) (pow x 3))
  (* (pow a 2) (pow x 2))
  (* (pow a 2) (pow x 2))
  (* (pow a 2) (pow x 2))
  (* a x)
  (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))
  (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))
1.779 * * [simplify]: iteration  0 :  78  enodes  (cost  85 )
1.781 * * [simplify]: iteration  1 :  267  enodes  (cost  85 )
1.787 * * [simplify]: iteration  2 :  1149  enodes  (cost  81 )
1.816 * * [simplify]: iteration  3 :  5002  enodes  (cost  75 )
1.817 * [simplify]: Simplified to:
   (* 1/2 (* (pow a 2) (pow x 2)))
  (* (log (* x a)) 3)
  (pow x 3)
  (pow a 3)
  (pow a 3)
  (pow x 3)
  (* (* x a) (* x a))
  (pow (* x a) 3/2)
  (pow (* x a) 3/2)
  (pow x 2)
  (pow a 2)
  (pow a 2)
  (pow x 2)
  (* (* x a) x)
  (* (* x a) a)
  (* (* x a) a)
  (* (* x a) x)
  (* 1/6 (pow (* x a) 3))
  (* (* (fma (* 1/2 a) x 1) a) x)
  (fma (* (fma (* 1/2 a) x 1) a) x (* 1/6 (pow (* x a) 3)))
  (fma (* (fma (* 1/2 a) x 1) a) x (* 1/6 (pow (* x a) 3)))
  (pow (* x a) 3)
  (pow (* x a) 3)
  (pow (* x a) 3)
  (* (* x a) (* x a))
  (* (* x a) (* x a))
  (* (* x a) (* x a))
  (* x a)
  (fma 1/6 (pow (* x a) 3) (* x a))
  (fma 1/6 (pow (* x a) 3) (* x a))
1.817 * * * [progress]: adding candidates to table
1.876 * [progress]: [Phase 3 of 3] Extracting.
1.876 * * [regime]: Finding splitpoints for: (#<alt (λ (a x) (- (exp (* a x)) 1.0))> #<alt (λ (a x) (fma (* (fma (* 1/2 a) x 1) a) x (* 1/6 (pow (* x a) 3))))> #<alt (λ (a x) (fma 1/2 (* (* x a) (* x a)) (fma 1/6 (pow (* x a) 3) (* a x))))>)
1.876 * * * [regime-changes]: Trying 5 branch expressions: ((* a x) (exp (* a x)) (- (exp (* a x)) 1.0) x a)
1.876 * * * * [regimes]: Trying to branch on (* a x) from (#<alt (λ (a x) (- (exp (* a x)) 1.0))> #<alt (λ (a x) (fma (* (fma (* 1/2 a) x 1) a) x (* 1/6 (pow (* x a) 3))))> #<alt (λ (a x) (fma 1/2 (* (* x a) (* x a)) (fma 1/6 (pow (* x a) 3) (* a x))))>)
1.897 * * * * [regimes]: Trying to branch on (exp (* a x)) from (#<alt (λ (a x) (- (exp (* a x)) 1.0))> #<alt (λ (a x) (fma (* (fma (* 1/2 a) x 1) a) x (* 1/6 (pow (* x a) 3))))> #<alt (λ (a x) (fma 1/2 (* (* x a) (* x a)) (fma 1/6 (pow (* x a) 3) (* a x))))>)
1.916 * * * * [regimes]: Trying to branch on (- (exp (* a x)) 1.0) from (#<alt (λ (a x) (- (exp (* a x)) 1.0))> #<alt (λ (a x) (fma (* (fma (* 1/2 a) x 1) a) x (* 1/6 (pow (* x a) 3))))> #<alt (λ (a x) (fma 1/2 (* (* x a) (* x a)) (fma 1/6 (pow (* x a) 3) (* a x))))>)
1.936 * * * * [regimes]: Trying to branch on x from (#<alt (λ (a x) (- (exp (* a x)) 1.0))> #<alt (λ (a x) (fma (* (fma (* 1/2 a) x 1) a) x (* 1/6 (pow (* x a) 3))))> #<alt (λ (a x) (fma 1/2 (* (* x a) (* x a)) (fma 1/6 (pow (* x a) 3) (* a x))))>)
1.970 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a x) (- (exp (* a x)) 1.0))> #<alt (λ (a x) (fma (* (fma (* 1/2 a) x 1) a) x (* 1/6 (pow (* x a) 3))))> #<alt (λ (a x) (fma 1/2 (* (* x a) (* x a)) (fma 1/6 (pow (* x a) 3) (* a x))))>)
1.994 * * * [regime]: Found split indices: #<option (#s(si 0 90) #s(si 2 255))>
1.995 * [binary-search]: Only using regimes for bounds on (* a x) and (#<alt (λ (a x) (- (exp (* a x)) 1.0))> #<alt (λ (a x) (fma (* (fma (* 1/2 a) x 1) a) x (* 1/6 (pow (* x a) 3))))> #<alt (λ (a x) (fma 1/2 (* (* x a) (* x a)) (fma 1/6 (pow (* x a) 3) (* a x))))>)
1.995 * [regimes]: Found splitpoints: (#s(sp 0 (* a x) -0.36932867907543104) #s(sp 2 (* a x) +nan.0)) , with alts (#<alt (λ (a x) (- (exp (* a x)) 1.0))> #<alt (λ (a x) (fma (* (fma (* 1/2 a) x 1) a) x (* 1/6 (pow (* x a) 3))))> #<alt (λ (a x) (fma 1/2 (* (* x a) (* x a)) (fma 1/6 (pow (* x a) 3) (* a x))))>)
1.995 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (* a x) -0.36932867907543104) (- (exp (* a x)) 1.0) (fma 1/2 (* (* x a) (* x a)) (fma 1/6 (pow (* x a) 3) (* a x))))
1.996 * * [simplify]: iteration  0 :  17  enodes  (cost  12 )
1.996 * [simplify]: Simplified to:
   (if (<= (* a x) -0.36932867907543104) (- (exp (* a x)) 1.0) (fma 1/2 (* (* x a) (* x a)) (fma 1/6 (pow (* x a) 3) (* a x))))
3.118 * [regime-testing]: Baseline error score: 21.85342252537926
3.118 * [regime-testing]: Oracle error score: 0.06523806706185717
3.119 * [regime-testing]: End program error score: 0.4353556179659998
3.165 * [regime-testing]: Target error score: 0.18233705944432546