16.534 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.033 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (exp (* a x)) 1.0)
0.034 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
0.035 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
0.036 * * [simplify]: iteration  2 :  18  enodes  (cost  6 )
0.038 * * [simplify]: iteration  3 :  27  enodes  (cost  6 )
0.041 * * [simplify]: iteration  4 :  51  enodes  (cost  6 )
0.049 * * [simplify]: iteration  5 :  109  enodes  (cost  6 )
0.084 * * [simplify]: iteration  6 :  256  enodes  (cost  6 )
0.212 * * [simplify]: iteration  7 :  719  enodes  (cost  6 )
0.945 * * [simplify]: iteration  8 :  2457  enodes  (cost  6 )
2.414 * * [simplify]: iteration  done :  5001  enodes  (cost  6 )
2.414 * [simplify]: Simplified to:
   (- (exp (* a x)) 1.0)
2.414 * * [progress]: iteration 1 / 4
2.414 * * * [progress]: picking best candidate
2.416 * * * * [pick]: Picked  #<alt (λ (a x) (- (exp (* a x)) 1.0))>
2.416 * * * [progress]: localizing error
2.421 * * * [progress]: generating rewritten candidates
2.421 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
2.426 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
2.428 * * * [progress]: generating series expansions
2.428 * * * * [progress]: [ 1 / 2 ] generating series at (2)
2.428 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0
2.428 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x
2.428 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
2.428 * [taylor]: Taking taylor expansion of (* a x) in x
2.428 * [taylor]: Taking taylor expansion of a in x
2.428 * [taylor]: Taking taylor expansion of x in x
2.429 * [taylor]: Taking taylor expansion of 1.0 in x
2.429 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a
2.429 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
2.429 * [taylor]: Taking taylor expansion of (* a x) in a
2.429 * [taylor]: Taking taylor expansion of a in a
2.429 * [taylor]: Taking taylor expansion of x in a
2.429 * [taylor]: Taking taylor expansion of 1.0 in a
2.429 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a
2.429 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
2.429 * [taylor]: Taking taylor expansion of (* a x) in a
2.429 * [taylor]: Taking taylor expansion of a in a
2.430 * [taylor]: Taking taylor expansion of x in a
2.430 * [taylor]: Taking taylor expansion of 1.0 in a
2.431 * [taylor]: Taking taylor expansion of 0 in x
2.431 * [taylor]: Taking taylor expansion of x in x
2.433 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
2.433 * [taylor]: Taking taylor expansion of 1/2 in x
2.433 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.433 * [taylor]: Taking taylor expansion of x in x
2.435 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
2.435 * [taylor]: Taking taylor expansion of 1/6 in x
2.435 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.435 * [taylor]: Taking taylor expansion of x in x
2.438 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
2.438 * [taylor]: Taking taylor expansion of 1/24 in x
2.438 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.438 * [taylor]: Taking taylor expansion of x in x
2.446 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
2.446 * [taylor]: Taking taylor expansion of 1/120 in x
2.446 * [taylor]: Taking taylor expansion of (pow x 5) in x
2.446 * [taylor]: Taking taylor expansion of x in x
2.453 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x
2.454 * [taylor]: Taking taylor expansion of 1/720 in x
2.454 * [taylor]: Taking taylor expansion of (pow x 6) in x
2.454 * [taylor]: Taking taylor expansion of x in x
2.455 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0
2.455 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
2.455 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.455 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.455 * [taylor]: Taking taylor expansion of (* a x) in x
2.455 * [taylor]: Taking taylor expansion of a in x
2.455 * [taylor]: Taking taylor expansion of x in x
2.455 * [taylor]: Taking taylor expansion of 1.0 in x
2.455 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
2.455 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.455 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.455 * [taylor]: Taking taylor expansion of (* a x) in a
2.455 * [taylor]: Taking taylor expansion of a in a
2.456 * [taylor]: Taking taylor expansion of x in a
2.456 * [taylor]: Taking taylor expansion of 1.0 in a
2.456 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
2.456 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.456 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.456 * [taylor]: Taking taylor expansion of (* a x) in a
2.456 * [taylor]: Taking taylor expansion of a in a
2.456 * [taylor]: Taking taylor expansion of x in a
2.456 * [taylor]: Taking taylor expansion of 1.0 in a
2.457 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
2.457 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.457 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.457 * [taylor]: Taking taylor expansion of (* a x) in x
2.457 * [taylor]: Taking taylor expansion of a in x
2.457 * [taylor]: Taking taylor expansion of x in x
2.457 * [taylor]: Taking taylor expansion of 1.0 in x
2.459 * [taylor]: Taking taylor expansion of 0 in x
2.459 * [taylor]: Taking taylor expansion of 0 in x
2.460 * [taylor]: Taking taylor expansion of 0 in x
2.461 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0
2.461 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
2.461 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.461 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.461 * [taylor]: Taking taylor expansion of (* a x) in x
2.461 * [taylor]: Taking taylor expansion of a in x
2.461 * [taylor]: Taking taylor expansion of x in x
2.461 * [taylor]: Taking taylor expansion of 1.0 in x
2.461 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
2.461 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.461 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.461 * [taylor]: Taking taylor expansion of (* a x) in a
2.461 * [taylor]: Taking taylor expansion of a in a
2.461 * [taylor]: Taking taylor expansion of x in a
2.462 * [taylor]: Taking taylor expansion of 1.0 in a
2.462 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
2.462 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.462 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.462 * [taylor]: Taking taylor expansion of (* a x) in a
2.462 * [taylor]: Taking taylor expansion of a in a
2.462 * [taylor]: Taking taylor expansion of x in a
2.462 * [taylor]: Taking taylor expansion of 1.0 in a
2.463 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
2.463 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.463 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.463 * [taylor]: Taking taylor expansion of (* a x) in x
2.463 * [taylor]: Taking taylor expansion of a in x
2.463 * [taylor]: Taking taylor expansion of x in x
2.463 * [taylor]: Taking taylor expansion of 1.0 in x
2.464 * [taylor]: Taking taylor expansion of 0 in x
2.465 * [taylor]: Taking taylor expansion of 0 in x
2.466 * [taylor]: Taking taylor expansion of 0 in x
2.466 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
2.466 * [approximate]: Taking taylor expansion of (exp (* a x)) in (a x) around 0
2.466 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
2.466 * [taylor]: Taking taylor expansion of (* a x) in x
2.466 * [taylor]: Taking taylor expansion of a in x
2.466 * [taylor]: Taking taylor expansion of x in x
2.467 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
2.467 * [taylor]: Taking taylor expansion of (* a x) in a
2.467 * [taylor]: Taking taylor expansion of a in a
2.467 * [taylor]: Taking taylor expansion of x in a
2.467 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
2.467 * [taylor]: Taking taylor expansion of (* a x) in a
2.467 * [taylor]: Taking taylor expansion of a in a
2.467 * [taylor]: Taking taylor expansion of x in a
2.467 * [taylor]: Taking taylor expansion of 1 in x
2.468 * [taylor]: Taking taylor expansion of x in x
2.469 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
2.469 * [taylor]: Taking taylor expansion of 1/2 in x
2.469 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.469 * [taylor]: Taking taylor expansion of x in x
2.470 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
2.471 * [taylor]: Taking taylor expansion of 1/6 in x
2.471 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.471 * [taylor]: Taking taylor expansion of x in x
2.473 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
2.473 * [taylor]: Taking taylor expansion of 1/24 in x
2.473 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.473 * [taylor]: Taking taylor expansion of x in x
2.474 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
2.474 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.474 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.474 * [taylor]: Taking taylor expansion of (* a x) in x
2.474 * [taylor]: Taking taylor expansion of a in x
2.474 * [taylor]: Taking taylor expansion of x in x
2.475 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.475 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.475 * [taylor]: Taking taylor expansion of (* a x) in a
2.475 * [taylor]: Taking taylor expansion of a in a
2.475 * [taylor]: Taking taylor expansion of x in a
2.475 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.475 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.475 * [taylor]: Taking taylor expansion of (* a x) in a
2.475 * [taylor]: Taking taylor expansion of a in a
2.475 * [taylor]: Taking taylor expansion of x in a
2.476 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.476 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.476 * [taylor]: Taking taylor expansion of (* a x) in x
2.476 * [taylor]: Taking taylor expansion of a in x
2.476 * [taylor]: Taking taylor expansion of x in x
2.476 * [taylor]: Taking taylor expansion of 0 in x
2.476 * [taylor]: Taking taylor expansion of 0 in x
2.476 * [taylor]: Taking taylor expansion of 0 in x
2.476 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
2.476 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.476 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.476 * [taylor]: Taking taylor expansion of (* a x) in x
2.476 * [taylor]: Taking taylor expansion of a in x
2.476 * [taylor]: Taking taylor expansion of x in x
2.477 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.477 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.477 * [taylor]: Taking taylor expansion of (* a x) in a
2.477 * [taylor]: Taking taylor expansion of a in a
2.477 * [taylor]: Taking taylor expansion of x in a
2.477 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.477 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.477 * [taylor]: Taking taylor expansion of (* a x) in a
2.477 * [taylor]: Taking taylor expansion of a in a
2.477 * [taylor]: Taking taylor expansion of x in a
2.478 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.478 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.478 * [taylor]: Taking taylor expansion of (* a x) in x
2.478 * [taylor]: Taking taylor expansion of a in x
2.478 * [taylor]: Taking taylor expansion of x in x
2.478 * [taylor]: Taking taylor expansion of 0 in x
2.478 * [taylor]: Taking taylor expansion of 0 in x
2.478 * [taylor]: Taking taylor expansion of 0 in x
2.478 * * * [progress]: simplifying candidates
2.479 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (* (cbrt (exp (* a x))) (cbrt (exp (* a x)))) (cbrt (exp (* a x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (* (cbrt (exp (* a x))) (cbrt (exp (* a x)))) (cbrt (exp (* a x))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (* (cbrt (exp (* a x))) (cbrt (exp (* a x)))) (cbrt (exp (* a x))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (sqrt (exp (* a x))) (sqrt (exp (* a x))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (exp (* a x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (exp (* a x)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (exp (* a x)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (expm1 (- (exp (* a x)) 1.0))
  (log1p (- (exp (* a x)) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (/ (exp (exp (* a x))) (exp 1.0))
  (log (- (exp (* a x)) 1.0))
  (exp (- (exp (* a x)) 1.0))
  (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0)))
  (cbrt (- (exp (* a x)) 1.0))
  (* (* (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0)) (- (exp (* a x)) 1.0))
  (sqrt (- (exp (* a x)) 1.0))
  (sqrt (- (exp (* a x)) 1.0))
  (- (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)
  (+ (sqrt (exp (* a x))) (sqrt 1.0))
  (- (sqrt (exp (* a x))) (sqrt 1.0))
  (- (exp (* a x)) 1.0)
  (- 1.0)
  (expm1 (exp (* a x)))
  (log1p (exp (* a x)))
  (exp a)
  (log (exp (* a x)))
  (exp (exp (* a x)))
  (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))
  (cbrt (exp (* a x)))
  (* (* (exp (* a x)) (exp (* a x))) (exp (* a x)))
  (sqrt (exp (* a x)))
  (sqrt (exp (* a 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))
2.481 * * [simplify]: iteration  0 :  79  enodes  (cost  557 )
2.494 * * [simplify]: iteration  1 :  171  enodes  (cost  457 )
2.532 * * [simplify]: iteration  2 :  431  enodes  (cost  386 )
2.705 * * [simplify]: iteration  3 :  1574  enodes  (cost  346 )
3.637 * * [simplify]: iteration  done :  5001  enodes  (cost  346 )
3.637 * [simplify]: Simplified to:
   (- (pow (cbrt (exp (* a x))) 3) 1.0)
  (- 1.0 1.0)
  (- (pow (cbrt (exp (* a x))) 3) 1.0)
  (- 1.0 1.0)
  (- (pow (cbrt (exp (* a x))) 3) 1.0)
  (- 1.0 1.0)
  (- (exp (* x a)) 1.0)
  (- 1.0 1.0)
  (- (exp (* x a)) 1.0)
  (- 1.0 1.0)
  (- (exp (* x a)) 1.0)
  (- 1.0 1.0)
  (- (exp (* x a)) 1.0)
  (- 1.0 1.0)
  (- (exp (* x a)) 1.0)
  (- 1.0 1.0)
  (- (exp (* x a)) 1.0)
  (- 1.0 1.0)
  (expm1 (- (exp (* a x)) 1.0))
  (log1p (- (exp (* a x)) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (exp (- (exp (* a x)) 1.0))
  (log (- (exp (* a x)) 1.0))
  (exp (- (exp (* a x)) 1.0))
  (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0)))
  (cbrt (- (exp (* a x)) 1.0))
  (pow (- (exp (* a x)) 1.0) 3)
  (sqrt (- (exp (* a x)) 1.0))
  (sqrt (- (exp (* a x)) 1.0))
  (- (pow (exp (* a x)) 3) (pow 1.0 3))
  (fma 1.0 (+ (exp (* a x)) 1.0) (exp (* 2 (* x a))))
  (- 1.0)
  (- (exp (* 2 (* x a))) (* 1.0 1.0))
  (+ (exp (* a x)) 1.0)
  (+ (sqrt (exp (* a x))) (sqrt 1.0))
  (- (sqrt (exp (* a x))) (sqrt 1.0))
  (- (exp (* x a)) 1.0)
  (- 1.0)
  (expm1 (exp (* a x)))
  (log1p (exp (* a x)))
  (exp a)
  (* x a)
  (exp (exp (* a x)))
  (* (cbrt (exp (* a x))) (cbrt (exp (* a x))))
  (cbrt (exp (* a x)))
  (pow (exp (* a x)) 3)
  (sqrt (exp (* a x)))
  (sqrt (exp (* a x)))
  (fma (pow a 3) (* 1/6 (pow x 3)) (* x (+ (* (* 1/2 (pow a 2)) x) a)))
  (- (exp (* x a)) 1.0)
  (- (exp (* x a)) 1.0)
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma a x 1))
  (exp (* x a))
  (exp (* x a))
3.638 * * * [progress]: adding candidates to table
3.727 * * [progress]: iteration 2 / 4
3.727 * * * [progress]: picking best candidate
3.738 * * * * [pick]: Picked  #<alt (λ (a x) (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))>
3.739 * * * [progress]: localizing error
3.752 * * * [progress]: generating rewritten candidates
3.752 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
3.758 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
3.775 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
3.777 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
3.786 * * * [progress]: generating series expansions
3.786 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
3.787 * [approximate]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1.0) in (x a) around 0
3.787 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1.0) in a
3.787 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in a
3.787 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
3.787 * [taylor]: Taking taylor expansion of 2 in a
3.787 * [taylor]: Taking taylor expansion of (* a x) in a
3.787 * [taylor]: Taking taylor expansion of a in a
3.787 * [taylor]: Taking taylor expansion of x in a
3.788 * [taylor]: Taking taylor expansion of 1.0 in a
3.788 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1.0) in x
3.788 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
3.788 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
3.788 * [taylor]: Taking taylor expansion of 2 in x
3.788 * [taylor]: Taking taylor expansion of (* a x) in x
3.788 * [taylor]: Taking taylor expansion of a in x
3.788 * [taylor]: Taking taylor expansion of x in x
3.789 * [taylor]: Taking taylor expansion of 1.0 in x
3.789 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1.0) in x
3.789 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
3.789 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
3.789 * [taylor]: Taking taylor expansion of 2 in x
3.789 * [taylor]: Taking taylor expansion of (* a x) in x
3.789 * [taylor]: Taking taylor expansion of a in x
3.789 * [taylor]: Taking taylor expansion of x in x
3.790 * [taylor]: Taking taylor expansion of 1.0 in x
3.790 * [taylor]: Taking taylor expansion of 0 in a
3.791 * [taylor]: Taking taylor expansion of (* 2 a) in a
3.791 * [taylor]: Taking taylor expansion of 2 in a
3.791 * [taylor]: Taking taylor expansion of a in a
3.793 * [taylor]: Taking taylor expansion of (* 2 (pow a 2)) in a
3.793 * [taylor]: Taking taylor expansion of 2 in a
3.793 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.793 * [taylor]: Taking taylor expansion of a in a
3.799 * [taylor]: Taking taylor expansion of (* 4/3 (pow a 3)) in a
3.799 * [taylor]: Taking taylor expansion of 4/3 in a
3.799 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.799 * [taylor]: Taking taylor expansion of a in a
3.804 * [taylor]: Taking taylor expansion of (* 2/3 (pow a 4)) in a
3.804 * [taylor]: Taking taylor expansion of 2/3 in a
3.804 * [taylor]: Taking taylor expansion of (pow a 4) in a
3.804 * [taylor]: Taking taylor expansion of a in a
3.810 * [taylor]: Taking taylor expansion of (* 4/15 (pow a 5)) in a
3.810 * [taylor]: Taking taylor expansion of 4/15 in a
3.810 * [taylor]: Taking taylor expansion of (pow a 5) in a
3.810 * [taylor]: Taking taylor expansion of a in a
3.818 * [taylor]: Taking taylor expansion of (* 4/45 (pow a 6)) in a
3.819 * [taylor]: Taking taylor expansion of 4/45 in a
3.819 * [taylor]: Taking taylor expansion of (pow a 6) in a
3.819 * [taylor]: Taking taylor expansion of a in a
3.820 * [approximate]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in (x a) around 0
3.820 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in a
3.820 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
3.820 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
3.820 * [taylor]: Taking taylor expansion of 2 in a
3.820 * [taylor]: Taking taylor expansion of (* a x) in a
3.820 * [taylor]: Taking taylor expansion of a in a
3.820 * [taylor]: Taking taylor expansion of x in a
3.821 * [taylor]: Taking taylor expansion of 1.0 in a
3.821 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in x
3.821 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
3.821 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
3.821 * [taylor]: Taking taylor expansion of 2 in x
3.821 * [taylor]: Taking taylor expansion of (* a x) in x
3.821 * [taylor]: Taking taylor expansion of a in x
3.821 * [taylor]: Taking taylor expansion of x in x
3.821 * [taylor]: Taking taylor expansion of 1.0 in x
3.821 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in x
3.821 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
3.821 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
3.821 * [taylor]: Taking taylor expansion of 2 in x
3.821 * [taylor]: Taking taylor expansion of (* a x) in x
3.821 * [taylor]: Taking taylor expansion of a in x
3.821 * [taylor]: Taking taylor expansion of x in x
3.822 * [taylor]: Taking taylor expansion of 1.0 in x
3.822 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in a
3.822 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
3.822 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
3.822 * [taylor]: Taking taylor expansion of 2 in a
3.822 * [taylor]: Taking taylor expansion of (* a x) in a
3.822 * [taylor]: Taking taylor expansion of a in a
3.822 * [taylor]: Taking taylor expansion of x in a
3.823 * [taylor]: Taking taylor expansion of 1.0 in a
3.824 * [taylor]: Taking taylor expansion of 0 in a
3.825 * [taylor]: Taking taylor expansion of 0 in a
3.826 * [taylor]: Taking taylor expansion of 0 in a
3.826 * [approximate]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in (x a) around 0
3.826 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in a
3.826 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
3.826 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
3.826 * [taylor]: Taking taylor expansion of 2 in a
3.826 * [taylor]: Taking taylor expansion of (* a x) in a
3.826 * [taylor]: Taking taylor expansion of a in a
3.826 * [taylor]: Taking taylor expansion of x in a
3.827 * [taylor]: Taking taylor expansion of 1.0 in a
3.827 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in x
3.827 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
3.827 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
3.827 * [taylor]: Taking taylor expansion of 2 in x
3.827 * [taylor]: Taking taylor expansion of (* a x) in x
3.827 * [taylor]: Taking taylor expansion of a in x
3.827 * [taylor]: Taking taylor expansion of x in x
3.827 * [taylor]: Taking taylor expansion of 1.0 in x
3.827 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in x
3.827 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
3.827 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
3.827 * [taylor]: Taking taylor expansion of 2 in x
3.827 * [taylor]: Taking taylor expansion of (* a x) in x
3.827 * [taylor]: Taking taylor expansion of a in x
3.827 * [taylor]: Taking taylor expansion of x in x
3.828 * [taylor]: Taking taylor expansion of 1.0 in x
3.828 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in a
3.828 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
3.828 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
3.828 * [taylor]: Taking taylor expansion of 2 in a
3.828 * [taylor]: Taking taylor expansion of (* a x) in a
3.828 * [taylor]: Taking taylor expansion of a in a
3.828 * [taylor]: Taking taylor expansion of x in a
3.829 * [taylor]: Taking taylor expansion of 1.0 in a
3.830 * [taylor]: Taking taylor expansion of 0 in a
3.831 * [taylor]: Taking taylor expansion of 0 in a
3.832 * [taylor]: Taking taylor expansion of 0 in a
3.832 * * * * [progress]: [ 2 / 4 ] generating series at (2)
3.833 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2 (* a x))) 1.0) (+ (exp (* a x)) 1.0)) in (x a) around 0
3.833 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (* a x))) 1.0) (+ (exp (* a x)) 1.0)) in a
3.833 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1.0) in a
3.833 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in a
3.833 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
3.833 * [taylor]: Taking taylor expansion of 2 in a
3.833 * [taylor]: Taking taylor expansion of (* a x) in a
3.833 * [taylor]: Taking taylor expansion of a in a
3.833 * [taylor]: Taking taylor expansion of x in a
3.834 * [taylor]: Taking taylor expansion of 1.0 in a
3.834 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1.0) in a
3.834 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
3.834 * [taylor]: Taking taylor expansion of (* a x) in a
3.834 * [taylor]: Taking taylor expansion of a in a
3.834 * [taylor]: Taking taylor expansion of x in a
3.834 * [taylor]: Taking taylor expansion of 1.0 in a
3.835 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (* a x))) 1.0) (+ (exp (* a x)) 1.0)) in x
3.835 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1.0) in x
3.836 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
3.836 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
3.836 * [taylor]: Taking taylor expansion of 2 in x
3.836 * [taylor]: Taking taylor expansion of (* a x) in x
3.836 * [taylor]: Taking taylor expansion of a in x
3.836 * [taylor]: Taking taylor expansion of x in x
3.836 * [taylor]: Taking taylor expansion of 1.0 in x
3.836 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1.0) in x
3.836 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
3.837 * [taylor]: Taking taylor expansion of (* a x) in x
3.837 * [taylor]: Taking taylor expansion of a in x
3.837 * [taylor]: Taking taylor expansion of x in x
3.837 * [taylor]: Taking taylor expansion of 1.0 in x
3.838 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (* a x))) 1.0) (+ (exp (* a x)) 1.0)) in x
3.838 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1.0) in x
3.838 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
3.838 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
3.838 * [taylor]: Taking taylor expansion of 2 in x
3.839 * [taylor]: Taking taylor expansion of (* a x) in x
3.839 * [taylor]: Taking taylor expansion of a in x
3.839 * [taylor]: Taking taylor expansion of x in x
3.839 * [taylor]: Taking taylor expansion of 1.0 in x
3.839 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1.0) in x
3.839 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
3.839 * [taylor]: Taking taylor expansion of (* a x) in x
3.839 * [taylor]: Taking taylor expansion of a in x
3.839 * [taylor]: Taking taylor expansion of x in x
3.840 * [taylor]: Taking taylor expansion of 1.0 in x
3.842 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
3.842 * [taylor]: Taking taylor expansion of 1.0 in a
3.842 * [taylor]: Taking taylor expansion of a in a
3.845 * [taylor]: Taking taylor expansion of (* 0.5 (pow a 2)) in a
3.845 * [taylor]: Taking taylor expansion of 0.5 in a
3.845 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.845 * [taylor]: Taking taylor expansion of a in a
3.850 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (pow a 3)) in a
3.850 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
3.850 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.850 * [taylor]: Taking taylor expansion of a in a
3.857 * [taylor]: Taking taylor expansion of (* 0.041666666666666685 (pow a 4)) in a
3.857 * [taylor]: Taking taylor expansion of 0.041666666666666685 in a
3.857 * [taylor]: Taking taylor expansion of (pow a 4) in a
3.857 * [taylor]: Taking taylor expansion of a in a
3.866 * [taylor]: Taking taylor expansion of (* 0.008333333333333331 (pow a 5)) in a
3.866 * [taylor]: Taking taylor expansion of 0.008333333333333331 in a
3.866 * [taylor]: Taking taylor expansion of (pow a 5) in a
3.866 * [taylor]: Taking taylor expansion of a in a
3.868 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in (x a) around 0
3.868 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in a
3.868 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in a
3.868 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
3.868 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
3.868 * [taylor]: Taking taylor expansion of 2 in a
3.868 * [taylor]: Taking taylor expansion of (* a x) in a
3.868 * [taylor]: Taking taylor expansion of a in a
3.868 * [taylor]: Taking taylor expansion of x in a
3.868 * [taylor]: Taking taylor expansion of 1.0 in a
3.868 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1.0) in a
3.868 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
3.868 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
3.868 * [taylor]: Taking taylor expansion of (* a x) in a
3.868 * [taylor]: Taking taylor expansion of a in a
3.868 * [taylor]: Taking taylor expansion of x in a
3.869 * [taylor]: Taking taylor expansion of 1.0 in a
3.870 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in x
3.870 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in x
3.870 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
3.870 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
3.870 * [taylor]: Taking taylor expansion of 2 in x
3.870 * [taylor]: Taking taylor expansion of (* a x) in x
3.870 * [taylor]: Taking taylor expansion of a in x
3.870 * [taylor]: Taking taylor expansion of x in x
3.870 * [taylor]: Taking taylor expansion of 1.0 in x
3.870 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1.0) in x
3.870 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
3.870 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
3.870 * [taylor]: Taking taylor expansion of (* a x) in x
3.870 * [taylor]: Taking taylor expansion of a in x
3.870 * [taylor]: Taking taylor expansion of x in x
3.871 * [taylor]: Taking taylor expansion of 1.0 in x
3.871 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in x
3.871 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in x
3.871 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
3.871 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
3.871 * [taylor]: Taking taylor expansion of 2 in x
3.871 * [taylor]: Taking taylor expansion of (* a x) in x
3.871 * [taylor]: Taking taylor expansion of a in x
3.871 * [taylor]: Taking taylor expansion of x in x
3.872 * [taylor]: Taking taylor expansion of 1.0 in x
3.872 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1.0) in x
3.872 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
3.872 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
3.872 * [taylor]: Taking taylor expansion of (* a x) in x
3.872 * [taylor]: Taking taylor expansion of a in x
3.872 * [taylor]: Taking taylor expansion of x in x
3.872 * [taylor]: Taking taylor expansion of 1.0 in x
3.873 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in a
3.873 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in a
3.873 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
3.873 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
3.873 * [taylor]: Taking taylor expansion of 2 in a
3.873 * [taylor]: Taking taylor expansion of (* a x) in a
3.873 * [taylor]: Taking taylor expansion of a in a
3.873 * [taylor]: Taking taylor expansion of x in a
3.874 * [taylor]: Taking taylor expansion of 1.0 in a
3.874 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1.0) in a
3.874 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
3.874 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
3.874 * [taylor]: Taking taylor expansion of (* a x) in a
3.874 * [taylor]: Taking taylor expansion of a in a
3.874 * [taylor]: Taking taylor expansion of x in a
3.874 * [taylor]: Taking taylor expansion of 1.0 in a
3.876 * [taylor]: Taking taylor expansion of 0 in a
3.878 * [taylor]: Taking taylor expansion of 0 in a
3.880 * [taylor]: Taking taylor expansion of 0 in a
3.881 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in (x a) around 0
3.881 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in a
3.881 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in a
3.881 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
3.881 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
3.881 * [taylor]: Taking taylor expansion of 2 in a
3.881 * [taylor]: Taking taylor expansion of (* a x) in a
3.881 * [taylor]: Taking taylor expansion of a in a
3.881 * [taylor]: Taking taylor expansion of x in a
3.882 * [taylor]: Taking taylor expansion of 1.0 in a
3.882 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1.0) in a
3.882 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
3.882 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
3.882 * [taylor]: Taking taylor expansion of (* a x) in a
3.882 * [taylor]: Taking taylor expansion of a in a
3.882 * [taylor]: Taking taylor expansion of x in a
3.882 * [taylor]: Taking taylor expansion of 1.0 in a
3.883 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in x
3.883 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in x
3.883 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
3.883 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
3.883 * [taylor]: Taking taylor expansion of 2 in x
3.883 * [taylor]: Taking taylor expansion of (* a x) in x
3.883 * [taylor]: Taking taylor expansion of a in x
3.883 * [taylor]: Taking taylor expansion of x in x
3.884 * [taylor]: Taking taylor expansion of 1.0 in x
3.884 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1.0) in x
3.884 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
3.884 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
3.884 * [taylor]: Taking taylor expansion of (* a x) in x
3.884 * [taylor]: Taking taylor expansion of a in x
3.884 * [taylor]: Taking taylor expansion of x in x
3.884 * [taylor]: Taking taylor expansion of 1.0 in x
3.885 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in x
3.885 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in x
3.885 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
3.885 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
3.885 * [taylor]: Taking taylor expansion of 2 in x
3.885 * [taylor]: Taking taylor expansion of (* a x) in x
3.885 * [taylor]: Taking taylor expansion of a in x
3.885 * [taylor]: Taking taylor expansion of x in x
3.885 * [taylor]: Taking taylor expansion of 1.0 in x
3.885 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1.0) in x
3.885 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
3.885 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
3.885 * [taylor]: Taking taylor expansion of (* a x) in x
3.885 * [taylor]: Taking taylor expansion of a in x
3.885 * [taylor]: Taking taylor expansion of x in x
3.886 * [taylor]: Taking taylor expansion of 1.0 in x
3.887 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in a
3.887 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in a
3.887 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
3.887 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
3.887 * [taylor]: Taking taylor expansion of 2 in a
3.887 * [taylor]: Taking taylor expansion of (* a x) in a
3.887 * [taylor]: Taking taylor expansion of a in a
3.887 * [taylor]: Taking taylor expansion of x in a
3.887 * [taylor]: Taking taylor expansion of 1.0 in a
3.887 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1.0) in a
3.887 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
3.887 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
3.887 * [taylor]: Taking taylor expansion of (* a x) in a
3.887 * [taylor]: Taking taylor expansion of a in a
3.887 * [taylor]: Taking taylor expansion of x in a
3.888 * [taylor]: Taking taylor expansion of 1.0 in a
3.893 * [taylor]: Taking taylor expansion of 0 in a
3.895 * [taylor]: Taking taylor expansion of 0 in a
3.898 * [taylor]: Taking taylor expansion of 0 in a
3.898 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
3.898 * [approximate]: Taking taylor expansion of (exp (* 2 (* a x))) in (x a) around 0
3.898 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in a
3.898 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
3.898 * [taylor]: Taking taylor expansion of 2 in a
3.898 * [taylor]: Taking taylor expansion of (* a x) in a
3.898 * [taylor]: Taking taylor expansion of a in a
3.898 * [taylor]: Taking taylor expansion of x in a
3.899 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
3.899 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
3.899 * [taylor]: Taking taylor expansion of 2 in x
3.899 * [taylor]: Taking taylor expansion of (* a x) in x
3.899 * [taylor]: Taking taylor expansion of a in x
3.899 * [taylor]: Taking taylor expansion of x in x
3.900 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
3.900 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
3.900 * [taylor]: Taking taylor expansion of 2 in x
3.900 * [taylor]: Taking taylor expansion of (* a x) in x
3.900 * [taylor]: Taking taylor expansion of a in x
3.900 * [taylor]: Taking taylor expansion of x in x
3.901 * [taylor]: Taking taylor expansion of 1 in a
3.901 * [taylor]: Taking taylor expansion of (* 2 a) in a
3.901 * [taylor]: Taking taylor expansion of 2 in a
3.901 * [taylor]: Taking taylor expansion of a in a
3.903 * [taylor]: Taking taylor expansion of (* 2 (pow a 2)) in a
3.903 * [taylor]: Taking taylor expansion of 2 in a
3.903 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.903 * [taylor]: Taking taylor expansion of a in a
3.906 * [taylor]: Taking taylor expansion of (* 4/3 (pow a 3)) in a
3.906 * [taylor]: Taking taylor expansion of 4/3 in a
3.906 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.906 * [taylor]: Taking taylor expansion of a in a
3.910 * [taylor]: Taking taylor expansion of (* 2/3 (pow a 4)) in a
3.910 * [taylor]: Taking taylor expansion of 2/3 in a
3.910 * [taylor]: Taking taylor expansion of (pow a 4) in a
3.910 * [taylor]: Taking taylor expansion of a in a
3.911 * [approximate]: Taking taylor expansion of (exp (/ 2 (* a x))) in (x a) around 0
3.911 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
3.911 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
3.911 * [taylor]: Taking taylor expansion of 2 in a
3.911 * [taylor]: Taking taylor expansion of (* a x) in a
3.911 * [taylor]: Taking taylor expansion of a in a
3.911 * [taylor]: Taking taylor expansion of x in a
3.911 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
3.911 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
3.911 * [taylor]: Taking taylor expansion of 2 in x
3.911 * [taylor]: Taking taylor expansion of (* a x) in x
3.911 * [taylor]: Taking taylor expansion of a in x
3.911 * [taylor]: Taking taylor expansion of x in x
3.912 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
3.912 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
3.912 * [taylor]: Taking taylor expansion of 2 in x
3.912 * [taylor]: Taking taylor expansion of (* a x) in x
3.912 * [taylor]: Taking taylor expansion of a in x
3.912 * [taylor]: Taking taylor expansion of x in x
3.912 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
3.912 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
3.912 * [taylor]: Taking taylor expansion of 2 in a
3.912 * [taylor]: Taking taylor expansion of (* a x) in a
3.912 * [taylor]: Taking taylor expansion of a in a
3.912 * [taylor]: Taking taylor expansion of x in a
3.913 * [taylor]: Taking taylor expansion of 0 in a
3.913 * [taylor]: Taking taylor expansion of 0 in a
3.913 * [taylor]: Taking taylor expansion of 0 in a
3.913 * [approximate]: Taking taylor expansion of (exp (/ 2 (* a x))) in (x a) around 0
3.913 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
3.913 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
3.913 * [taylor]: Taking taylor expansion of 2 in a
3.913 * [taylor]: Taking taylor expansion of (* a x) in a
3.913 * [taylor]: Taking taylor expansion of a in a
3.913 * [taylor]: Taking taylor expansion of x in a
3.914 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
3.914 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
3.914 * [taylor]: Taking taylor expansion of 2 in x
3.914 * [taylor]: Taking taylor expansion of (* a x) in x
3.914 * [taylor]: Taking taylor expansion of a in x
3.914 * [taylor]: Taking taylor expansion of x in x
3.914 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
3.914 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
3.914 * [taylor]: Taking taylor expansion of 2 in x
3.914 * [taylor]: Taking taylor expansion of (* a x) in x
3.914 * [taylor]: Taking taylor expansion of a in x
3.914 * [taylor]: Taking taylor expansion of x in x
3.915 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
3.915 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
3.915 * [taylor]: Taking taylor expansion of 2 in a
3.915 * [taylor]: Taking taylor expansion of (* a x) in a
3.915 * [taylor]: Taking taylor expansion of a in a
3.915 * [taylor]: Taking taylor expansion of x in a
3.915 * [taylor]: Taking taylor expansion of 0 in a
3.915 * [taylor]: Taking taylor expansion of 0 in a
3.915 * [taylor]: Taking taylor expansion of 0 in a
3.915 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
3.915 * [approximate]: Taking taylor expansion of (* 2 (* a x)) in (x a) around 0
3.915 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
3.915 * [taylor]: Taking taylor expansion of 2 in a
3.915 * [taylor]: Taking taylor expansion of (* a x) in a
3.915 * [taylor]: Taking taylor expansion of a in a
3.915 * [taylor]: Taking taylor expansion of x in a
3.915 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
3.915 * [taylor]: Taking taylor expansion of 2 in x
3.915 * [taylor]: Taking taylor expansion of (* a x) in x
3.916 * [taylor]: Taking taylor expansion of a in x
3.916 * [taylor]: Taking taylor expansion of x in x
3.916 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
3.916 * [taylor]: Taking taylor expansion of 2 in x
3.916 * [taylor]: Taking taylor expansion of (* a x) in x
3.916 * [taylor]: Taking taylor expansion of a in x
3.916 * [taylor]: Taking taylor expansion of x in x
3.916 * [taylor]: Taking taylor expansion of 0 in a
3.917 * [taylor]: Taking taylor expansion of (* 2 a) in a
3.917 * [taylor]: Taking taylor expansion of 2 in a
3.917 * [taylor]: Taking taylor expansion of a in a
3.918 * [taylor]: Taking taylor expansion of 0 in a
3.919 * [taylor]: Taking taylor expansion of 0 in a
3.922 * [taylor]: Taking taylor expansion of 0 in a
3.922 * [approximate]: Taking taylor expansion of (/ 2 (* a x)) in (x a) around 0
3.922 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
3.922 * [taylor]: Taking taylor expansion of 2 in a
3.922 * [taylor]: Taking taylor expansion of (* a x) in a
3.922 * [taylor]: Taking taylor expansion of a in a
3.922 * [taylor]: Taking taylor expansion of x in a
3.922 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
3.922 * [taylor]: Taking taylor expansion of 2 in x
3.922 * [taylor]: Taking taylor expansion of (* a x) in x
3.922 * [taylor]: Taking taylor expansion of a in x
3.922 * [taylor]: Taking taylor expansion of x in x
3.923 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
3.923 * [taylor]: Taking taylor expansion of 2 in x
3.923 * [taylor]: Taking taylor expansion of (* a x) in x
3.923 * [taylor]: Taking taylor expansion of a in x
3.923 * [taylor]: Taking taylor expansion of x in x
3.923 * [taylor]: Taking taylor expansion of (/ 2 a) in a
3.923 * [taylor]: Taking taylor expansion of 2 in a
3.923 * [taylor]: Taking taylor expansion of a in a
3.924 * [taylor]: Taking taylor expansion of 0 in a
3.925 * [taylor]: Taking taylor expansion of 0 in a
3.926 * [taylor]: Taking taylor expansion of 0 in a
3.927 * [approximate]: Taking taylor expansion of (/ 2 (* a x)) in (x a) around 0
3.927 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
3.927 * [taylor]: Taking taylor expansion of 2 in a
3.927 * [taylor]: Taking taylor expansion of (* a x) in a
3.927 * [taylor]: Taking taylor expansion of a in a
3.927 * [taylor]: Taking taylor expansion of x in a
3.927 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
3.927 * [taylor]: Taking taylor expansion of 2 in x
3.927 * [taylor]: Taking taylor expansion of (* a x) in x
3.927 * [taylor]: Taking taylor expansion of a in x
3.927 * [taylor]: Taking taylor expansion of x in x
3.928 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
3.928 * [taylor]: Taking taylor expansion of 2 in x
3.928 * [taylor]: Taking taylor expansion of (* a x) in x
3.928 * [taylor]: Taking taylor expansion of a in x
3.928 * [taylor]: Taking taylor expansion of x in x
3.928 * [taylor]: Taking taylor expansion of (/ 2 a) in a
3.928 * [taylor]: Taking taylor expansion of 2 in a
3.928 * [taylor]: Taking taylor expansion of a in a
3.929 * [taylor]: Taking taylor expansion of 0 in a
3.930 * [taylor]: Taking taylor expansion of 0 in a
3.931 * [taylor]: Taking taylor expansion of 0 in a
3.932 * * * [progress]: simplifying candidates
3.934 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (* (cbrt (exp (* 2 (* x a)))) (cbrt (exp (* 2 (* x a))))) (cbrt (exp (* 2 (* x a)))) (- (* 1.0 1.0)))
  (fma (- 1.0) 1.0 (* 1.0 1.0))
  (fma (sqrt (exp (* 2 (* x a)))) (sqrt (exp (* 2 (* x a)))) (- (* 1.0 1.0)))
  (fma (- 1.0) 1.0 (* 1.0 1.0))
  (fma 1 (exp (* 2 (* x a))) (- (* 1.0 1.0)))
  (fma (- 1.0) 1.0 (* 1.0 1.0))
  (expm1 (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (log1p (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (- (* 1.0 1.0))
  (- (* 1.0 1.0))
  (- (* 1.0 1.0))
  (/ (exp (exp (* 2 (* x a)))) (exp (* 1.0 1.0)))
  (log (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (exp (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (* (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))))
  (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (* (* (- (exp (* 2 (* x a))) (* 1.0 1.0)) (- (exp (* 2 (* x a))) (* 1.0 1.0))) (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (- (pow (exp (* 2 (* x a))) 3) (pow (* 1.0 1.0) 3))
  (+ (* (exp (* 2 (* x a))) (exp (* 2 (* x a)))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (exp (* 2 (* x a))) (* 1.0 1.0))))
  (- (* 1.0 1.0))
  (- (* (exp (* 2 (* x a))) (exp (* 2 (* x a)))) (* (* 1.0 1.0) (* 1.0 1.0)))
  (+ (exp (* 2 (* x a))) (* 1.0 1.0))
  (+ (sqrt (exp (* 2 (* x a)))) 1.0)
  (- (sqrt (exp (* 2 (* x a)))) 1.0)
  (- (* 1.0 1.0))
  (expm1 (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))
  (log1p (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))
  (- (log (- (exp (* 2 (* x a))) (* 1.0 1.0))) (log (+ (exp (* a x)) 1.0)))
  (log (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))
  (exp (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))
  (/ (* (* (- (exp (* 2 (* x a))) (* 1.0 1.0)) (- (exp (* 2 (* x a))) (* 1.0 1.0))) (- (exp (* 2 (* x a))) (* 1.0 1.0))) (* (* (+ (exp (* a x)) 1.0) (+ (exp (* a x)) 1.0)) (+ (exp (* a x)) 1.0)))
  (* (cbrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0))) (cbrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0))))
  (cbrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))
  (* (* (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)) (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0))) (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))
  (sqrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))
  (sqrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))
  (- (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (- (+ (exp (* a x)) 1.0))
  (/ (exp (* 2 (* x a))) (+ (exp (* a x)) 1.0))
  (/ (* 1.0 1.0) (+ (exp (* a x)) 1.0))
  (/ (* (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))) (* (cbrt (+ (exp (* a x)) 1.0)) (cbrt (+ (exp (* a x)) 1.0))))
  (/ (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (+ (exp (* a x)) 1.0)))
  (/ (* (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))) (sqrt (+ (exp (* a x)) 1.0)))
  (/ (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (sqrt (+ (exp (* a x)) 1.0)))
  (/ (* (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))) 1)
  (/ (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (+ (exp (* a x)) 1.0))
  (/ (* (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))) 1)
  (/ (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (+ (exp (* a x)) 1.0))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (* (cbrt (+ (exp (* a x)) 1.0)) (cbrt (+ (exp (* a x)) 1.0))))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (+ (exp (* a x)) 1.0)))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (sqrt (+ (exp (* a x)) 1.0)))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (sqrt (+ (exp (* a x)) 1.0)))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) 1)
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (+ (exp (* a x)) 1.0))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) 1)
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (+ (exp (* a x)) 1.0))
  (/ 1 (* (cbrt (+ (exp (* a x)) 1.0)) (cbrt (+ (exp (* a x)) 1.0))))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (cbrt (+ (exp (* a x)) 1.0)))
  (/ 1 (sqrt (+ (exp (* a x)) 1.0)))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (sqrt (+ (exp (* a x)) 1.0)))
  (/ 1 1)
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0))
  (/ 1 1)
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0))
  (/ (+ (sqrt (exp (* 2 (* x a)))) 1.0) (* (cbrt (+ (exp (* a x)) 1.0)) (cbrt (+ (exp (* a x)) 1.0))))
  (/ (- (sqrt (exp (* 2 (* x a)))) 1.0) (cbrt (+ (exp (* a x)) 1.0)))
  (/ (+ (sqrt (exp (* 2 (* x a)))) 1.0) (sqrt (+ (exp (* a x)) 1.0)))
  (/ (- (sqrt (exp (* 2 (* x a)))) 1.0) (sqrt (+ (exp (* a x)) 1.0)))
  (/ (+ (sqrt (exp (* 2 (* x a)))) 1.0) 1)
  (/ (- (sqrt (exp (* 2 (* x a)))) 1.0) (+ (exp (* a x)) 1.0))
  (/ (+ (sqrt (exp (* 2 (* x a)))) 1.0) 1)
  (/ (- (sqrt (exp (* 2 (* x a)))) 1.0) (+ (exp (* a x)) 1.0))
  (/ 1 (+ (exp (* a x)) 1.0))
  (/ (+ (exp (* a x)) 1.0) (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (* (cbrt (+ (exp (* a x)) 1.0)) (cbrt (+ (exp (* a x)) 1.0))))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (sqrt (+ (exp (* a x)) 1.0)))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) 1)
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) 1)
  (/ (+ (exp (* a x)) 1.0) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))))
  (/ (+ (exp (* a x)) 1.0) (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))))
  (/ (+ (exp (* a x)) 1.0) (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (/ (+ (exp (* a x)) 1.0) (- (sqrt (exp (* 2 (* x a)))) 1.0))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (pow (exp (* a x)) 3) (pow 1.0 3)))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0)))
  (* (+ (exp (* a x)) 1.0) (+ (* (exp (* 2 (* x a))) (exp (* 2 (* x a)))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (exp (* 2 (* x a))) (* 1.0 1.0)))))
  (* (+ (exp (* a x)) 1.0) (+ (exp (* 2 (* x a))) (* 1.0 1.0)))
  (expm1 (exp (* 2 (* x a))))
  (log1p (exp (* 2 (* x a))))
  (exp 2)
  (log (exp (* 2 (* x a))))
  (exp (exp (* 2 (* x a))))
  (* (cbrt (exp (* 2 (* x a)))) (cbrt (exp (* 2 (* x a)))))
  (cbrt (exp (* 2 (* x a))))
  (* (* (exp (* 2 (* x a))) (exp (* 2 (* x a)))) (exp (* 2 (* x a))))
  (sqrt (exp (* 2 (* x a))))
  (sqrt (exp (* 2 (* x a))))
  (expm1 (* 2 (* x a)))
  (log1p (* 2 (* x a)))
  (* 2 (* x a))
  (* 2 (* x a))
  (+ (log 2) (+ (log x) (log a)))
  (+ (log 2) (log (* x a)))
  (log (* 2 (* x a)))
  (exp (* 2 (* x a)))
  (* (* (* 2 2) 2) (* (* (* x x) x) (* (* a a) a)))
  (* (* (* 2 2) 2) (* (* (* x a) (* x a)) (* x a)))
  (* (cbrt (* 2 (* x a))) (cbrt (* 2 (* x a))))
  (cbrt (* 2 (* x a)))
  (* (* (* 2 (* x a)) (* 2 (* x a))) (* 2 (* x a)))
  (sqrt (* 2 (* x a)))
  (sqrt (* 2 (* x a)))
  (* 2 x)
  (* (cbrt 2) (* x a))
  (* (sqrt 2) (* x a))
  (* 2 (* x a))
  (+ (* 2 (* (pow a 2) (pow x 2))) (+ (* 4/3 (* (pow a 3) (pow x 3))) (* 2 (* a x))))
  (- (exp (* 2 (* a x))) 1.0)
  (- (exp (* 2 (* a x))) 1.0)
  (+ (* 0.5 (* (pow a 2) (pow x 2))) (+ (* 0.16666666666666663 (* (pow a 3) (pow x 3))) (* 1.0 (* a x))))
  (/ (- (exp (* 2 (* a x))) 1.0) (+ (exp (* a x)) 1.0))
  (/ (- (exp (* 2 (* a x))) 1.0) (+ (exp (* a x)) 1.0))
  (+ (* 2 (* (pow a 2) (pow x 2))) (+ (* 2 (* a x)) 1))
  (exp (* 2 (* a x)))
  (exp (* 2 (* a x)))
  (* 2 (* a x))
  (* 2 (* a x))
  (* 2 (* a x))
3.939 * * [simplify]: iteration  0 :  167  enodes  (cost  1879 )
3.971 * * [simplify]: iteration  1 :  420  enodes  (cost  1810 )
4.094 * * [simplify]: iteration  2 :  1273  enodes  (cost  1654 )
4.842 * * [simplify]: iteration  done :  5000  enodes  (cost  1628 )
4.843 * [simplify]: Simplified to:
   (fma (* (cbrt (exp (* 2 (* x a)))) (cbrt (exp (* 2 (* x a))))) (cbrt (exp (* 2 (* x a)))) (- (* 1.0 1.0)))
  (* 1.0 (+ (- 1.0) 1.0))
  (- (exp (* (* 2 x) a)) (* 1.0 1.0))
  (* 1.0 (+ (- 1.0) 1.0))
  (- (exp (* (* 2 x) a)) (* 1.0 1.0))
  (* 1.0 (+ (- 1.0) 1.0))
  (expm1 (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (log1p (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (- (* 1.0 1.0))
  (- (* 1.0 1.0))
  (- (* 1.0 1.0))
  (exp (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (log (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (exp (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (* (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))))
  (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (pow (- (exp (* 2 (* x a))) (* 1.0 1.0)) 3)
  (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (- (pow (exp (* 2 (* a x))) 3) (pow 1.0 6))
  (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* (* 2 x) a))) (exp (* (* a x) 4)))
  (- (* 1.0 1.0))
  (- (exp (* (* a x) 4)) (pow 1.0 4))
  (fma 1.0 1.0 (exp (* (* 2 x) a)))
  (+ 1.0 (sqrt (exp (* 2 (* x a)))))
  (- (sqrt (exp (* 2 (* x a)))) 1.0)
  (- (* 1.0 1.0))
  (expm1 (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))
  (log1p (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))
  (log (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))
  (log (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))
  (exp (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))
  (pow (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)) 3)
  (* (cbrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0))) (cbrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0))))
  (cbrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))
  (pow (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)) 3)
  (sqrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))
  (sqrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))
  (- (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (- (+ (exp (* a x)) 1.0))
  (/ (exp (* 2 (* x a))) (+ (exp (* a x)) 1.0))
  (/ (* 1.0 1.0) (+ (exp (* a x)) 1.0))
  (/ (* (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))) (* (cbrt (+ (exp (* a x)) 1.0)) (cbrt (+ (exp (* a x)) 1.0))))
  (/ (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (+ (exp (* a x)) 1.0)))
  (/ (* (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))) (sqrt (+ (exp (* a x)) 1.0)))
  (/ (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (sqrt (+ (exp (* a x)) 1.0)))
  (* (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))))
  (/ (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (+ (exp (* a x)) 1.0))
  (* (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))))
  (/ (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (+ (exp (* a x)) 1.0))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (* (cbrt (+ (exp (* a x)) 1.0)) (cbrt (+ (exp (* a x)) 1.0))))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (+ (exp (* a x)) 1.0)))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (sqrt (+ (exp (* a x)) 1.0)))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (sqrt (+ (exp (* a x)) 1.0)))
  (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (+ (exp (* a x)) 1.0))
  (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (+ (exp (* a x)) 1.0))
  (/ 1 (* (cbrt (+ (exp (* a x)) 1.0)) (cbrt (+ (exp (* a x)) 1.0))))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (cbrt (+ (exp (* a x)) 1.0)))
  (/ 1 (sqrt (+ (exp (* a x)) 1.0)))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (sqrt (+ (exp (* a x)) 1.0)))
  1
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0))
  1
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0))
  (/ (+ (sqrt (exp (* 2 (* x a)))) 1.0) (* (cbrt (+ (exp (* a x)) 1.0)) (cbrt (+ (exp (* a x)) 1.0))))
  (/ (- (sqrt (exp (* 2 (* x a)))) 1.0) (cbrt (+ (exp (* a x)) 1.0)))
  (/ (+ (sqrt (exp (* 2 (* x a)))) 1.0) (sqrt (+ (exp (* a x)) 1.0)))
  (/ (- (sqrt (exp (* 2 (* x a)))) 1.0) (sqrt (+ (exp (* a x)) 1.0)))
  (+ 1.0 (sqrt (exp (* 2 (* x a)))))
  (/ (- (sqrt (exp (* 2 (* x a)))) 1.0) (+ (exp (* a x)) 1.0))
  (+ 1.0 (sqrt (exp (* 2 (* x a)))))
  (/ (- (sqrt (exp (* 2 (* x a)))) 1.0) (+ (exp (* a x)) 1.0))
  (/ 1 (+ (exp (* a x)) 1.0))
  (/ (+ (exp (* a x)) 1.0) (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (* (cbrt (+ (exp (* a x)) 1.0)) (cbrt (+ (exp (* a x)) 1.0))))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (sqrt (+ (exp (* a x)) 1.0)))
  (- (exp (* (* 2 x) a)) (* 1.0 1.0))
  (- (exp (* (* 2 x) a)) (* 1.0 1.0))
  (/ (+ (exp (* a x)) 1.0) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))))
  (/ (+ (exp (* a x)) 1.0) (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))))
  (/ (+ (exp (* a x)) 1.0) (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (/ (+ (exp (* a x)) 1.0) (- (sqrt (exp (* 2 (* x a)))) 1.0))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (pow (exp (* a x)) 3) (pow 1.0 3)))
  1
  (* (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* (* 2 x) a))) (exp (* (* a x) 4))) (+ (exp (* a x)) 1.0))
  (* (+ (exp (* a x)) 1.0) (fma 1.0 1.0 (exp (* (* 2 x) a))))
  (expm1 (exp (* 2 (* x a))))
  (log1p (exp (* 2 (* x a))))
  (exp 2)
  (* (* 2 a) x)
  (exp (exp (* 2 (* x a))))
  (* (cbrt (exp (* 2 (* x a)))) (cbrt (exp (* 2 (* x a)))))
  (cbrt (exp (* 2 (* x a))))
  (pow (exp (* 2 (* a x))) 3)
  (sqrt (exp (* 2 (* x a))))
  (sqrt (exp (* 2 (* x a))))
  (expm1 (* 2 (* x a)))
  (log1p (* 2 (* x a)))
  (* (* 2 a) x)
  (* (* 2 a) x)
  (log (* 2 (* x a)))
  (log (* 2 (* x a)))
  (log (* 2 (* x a)))
  (exp (* (* 2 x) a))
  (* 8 (pow (* a x) 3))
  (* 8 (pow (* a x) 3))
  (* (cbrt (* 2 (* x a))) (cbrt (* 2 (* x a))))
  (cbrt (* 2 (* x a)))
  (* 8 (pow (* a x) 3))
  (sqrt (* 2 (* x a)))
  (sqrt (* 2 (* x a)))
  (+ x x)
  (* (cbrt 2) (* x a))
  (* (sqrt 2) (* x a))
  (* (* 2 a) x)
  (+ (* 4/3 (pow (* a x) 3)) (* (+ x x) (+ (* x (* a a)) a)))
  (- (exp (* 2 (* a x))) 1.0)
  (- (exp (* 2 (* a x))) 1.0)
  (+ (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (pow (* a x) 3) 0.16666666666666663))
  (/ (- (exp (* 2 (* a x))) 1.0) (+ (exp (* a x)) 1.0))
  (/ (- (exp (* 2 (* a x))) 1.0) (+ (exp (* a x)) 1.0))
  (+ 1 (* (+ x x) (+ (* x (* a a)) a)))
  (exp (* (* 2 x) a))
  (exp (* (* 2 x) a))
  (* (* 2 a) x)
  (* (* 2 a) x)
  (* (* 2 a) x)
4.844 * * * [progress]: adding candidates to table
5.135 * * [progress]: iteration 3 / 4
5.135 * * * [progress]: picking best candidate
5.145 * * * * [pick]: Picked  #<alt (λ (a x) (+ (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (pow (* a x) 3) 0.16666666666666663)))>
5.146 * * * [progress]: localizing error
5.157 * * * [progress]: generating rewritten candidates
5.157 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
5.171 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
5.174 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
5.179 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
5.203 * * * [progress]: generating series expansions
5.203 * * * * [progress]: [ 1 / 4 ] generating series at (2)
5.203 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (pow a 2) (pow x 2))) (+ (* 1.0 (* a x)) (* 0.16666666666666663 (* (pow a 3) (pow x 3))))) in (a x) around 0
5.203 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (pow a 2) (pow x 2))) (+ (* 1.0 (* a x)) (* 0.16666666666666663 (* (pow a 3) (pow x 3))))) in x
5.204 * [taylor]: Taking taylor expansion of (* 0.5 (* (pow a 2) (pow x 2))) in x
5.204 * [taylor]: Taking taylor expansion of 0.5 in x
5.204 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
5.204 * [taylor]: Taking taylor expansion of (pow a 2) in x
5.204 * [taylor]: Taking taylor expansion of a in x
5.204 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.204 * [taylor]: Taking taylor expansion of x in x
5.204 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* a x)) (* 0.16666666666666663 (* (pow a 3) (pow x 3)))) in x
5.204 * [taylor]: Taking taylor expansion of (* 1.0 (* a x)) in x
5.204 * [taylor]: Taking taylor expansion of 1.0 in x
5.204 * [taylor]: Taking taylor expansion of (* a x) in x
5.204 * [taylor]: Taking taylor expansion of a in x
5.204 * [taylor]: Taking taylor expansion of x in x
5.204 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (* (pow a 3) (pow x 3))) in x
5.204 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
5.204 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
5.204 * [taylor]: Taking taylor expansion of (pow a 3) in x
5.204 * [taylor]: Taking taylor expansion of a in x
5.204 * [taylor]: Taking taylor expansion of (pow x 3) in x
5.204 * [taylor]: Taking taylor expansion of x in x
5.204 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (pow a 2) (pow x 2))) (+ (* 1.0 (* a x)) (* 0.16666666666666663 (* (pow a 3) (pow x 3))))) in a
5.204 * [taylor]: Taking taylor expansion of (* 0.5 (* (pow a 2) (pow x 2))) in a
5.204 * [taylor]: Taking taylor expansion of 0.5 in a
5.204 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
5.204 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.204 * [taylor]: Taking taylor expansion of a in a
5.204 * [taylor]: Taking taylor expansion of (pow x 2) in a
5.204 * [taylor]: Taking taylor expansion of x in a
5.204 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* a x)) (* 0.16666666666666663 (* (pow a 3) (pow x 3)))) in a
5.204 * [taylor]: Taking taylor expansion of (* 1.0 (* a x)) in a
5.204 * [taylor]: Taking taylor expansion of 1.0 in a
5.204 * [taylor]: Taking taylor expansion of (* a x) in a
5.204 * [taylor]: Taking taylor expansion of a in a
5.204 * [taylor]: Taking taylor expansion of x in a
5.204 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (* (pow a 3) (pow x 3))) in a
5.204 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
5.204 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
5.204 * [taylor]: Taking taylor expansion of (pow a 3) in a
5.204 * [taylor]: Taking taylor expansion of a in a
5.204 * [taylor]: Taking taylor expansion of (pow x 3) in a
5.204 * [taylor]: Taking taylor expansion of x in a
5.204 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (pow a 2) (pow x 2))) (+ (* 1.0 (* a x)) (* 0.16666666666666663 (* (pow a 3) (pow x 3))))) in a
5.204 * [taylor]: Taking taylor expansion of (* 0.5 (* (pow a 2) (pow x 2))) in a
5.204 * [taylor]: Taking taylor expansion of 0.5 in a
5.204 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
5.204 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.204 * [taylor]: Taking taylor expansion of a in a
5.204 * [taylor]: Taking taylor expansion of (pow x 2) in a
5.204 * [taylor]: Taking taylor expansion of x in a
5.204 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* a x)) (* 0.16666666666666663 (* (pow a 3) (pow x 3)))) in a
5.204 * [taylor]: Taking taylor expansion of (* 1.0 (* a x)) in a
5.204 * [taylor]: Taking taylor expansion of 1.0 in a
5.205 * [taylor]: Taking taylor expansion of (* a x) in a
5.205 * [taylor]: Taking taylor expansion of a in a
5.205 * [taylor]: Taking taylor expansion of x in a
5.205 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (* (pow a 3) (pow x 3))) in a
5.205 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
5.205 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
5.205 * [taylor]: Taking taylor expansion of (pow a 3) in a
5.205 * [taylor]: Taking taylor expansion of a in a
5.205 * [taylor]: Taking taylor expansion of (pow x 3) in a
5.205 * [taylor]: Taking taylor expansion of x in a
5.206 * [taylor]: Taking taylor expansion of 0 in x
5.206 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
5.206 * [taylor]: Taking taylor expansion of 1.0 in x
5.206 * [taylor]: Taking taylor expansion of x in x
5.209 * [taylor]: Taking taylor expansion of (* 0.5 (pow x 2)) in x
5.209 * [taylor]: Taking taylor expansion of 0.5 in x
5.209 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.209 * [taylor]: Taking taylor expansion of x in x
5.213 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (pow x 3)) in x
5.213 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
5.213 * [taylor]: Taking taylor expansion of (pow x 3) in x
5.213 * [taylor]: Taking taylor expansion of x in x
5.220 * [taylor]: Taking taylor expansion of 0 in x
5.232 * [taylor]: Taking taylor expansion of 0 in x
5.234 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* a x))) (+ (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) (* 0.5 (/ 1 (* (pow a 2) (pow x 2)))))) in (a x) around 0
5.234 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* a x))) (+ (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) (* 0.5 (/ 1 (* (pow a 2) (pow x 2)))))) in x
5.234 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a x))) in x
5.234 * [taylor]: Taking taylor expansion of 1.0 in x
5.235 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
5.235 * [taylor]: Taking taylor expansion of (* a x) in x
5.235 * [taylor]: Taking taylor expansion of a in x
5.235 * [taylor]: Taking taylor expansion of x in x
5.235 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) (* 0.5 (/ 1 (* (pow a 2) (pow x 2))))) in x
5.235 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) in x
5.235 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
5.235 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in x
5.235 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
5.235 * [taylor]: Taking taylor expansion of (pow a 3) in x
5.235 * [taylor]: Taking taylor expansion of a in x
5.235 * [taylor]: Taking taylor expansion of (pow x 3) in x
5.235 * [taylor]: Taking taylor expansion of x in x
5.236 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* (pow a 2) (pow x 2)))) in x
5.236 * [taylor]: Taking taylor expansion of 0.5 in x
5.236 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
5.236 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
5.236 * [taylor]: Taking taylor expansion of (pow a 2) in x
5.236 * [taylor]: Taking taylor expansion of a in x
5.236 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.236 * [taylor]: Taking taylor expansion of x in x
5.236 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* a x))) (+ (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) (* 0.5 (/ 1 (* (pow a 2) (pow x 2)))))) in a
5.236 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a x))) in a
5.236 * [taylor]: Taking taylor expansion of 1.0 in a
5.236 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.236 * [taylor]: Taking taylor expansion of (* a x) in a
5.236 * [taylor]: Taking taylor expansion of a in a
5.236 * [taylor]: Taking taylor expansion of x in a
5.237 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) (* 0.5 (/ 1 (* (pow a 2) (pow x 2))))) in a
5.237 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) in a
5.237 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
5.237 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
5.237 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
5.237 * [taylor]: Taking taylor expansion of (pow a 3) in a
5.237 * [taylor]: Taking taylor expansion of a in a
5.237 * [taylor]: Taking taylor expansion of (pow x 3) in a
5.237 * [taylor]: Taking taylor expansion of x in a
5.238 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* (pow a 2) (pow x 2)))) in a
5.238 * [taylor]: Taking taylor expansion of 0.5 in a
5.238 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
5.238 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
5.238 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.238 * [taylor]: Taking taylor expansion of a in a
5.238 * [taylor]: Taking taylor expansion of (pow x 2) in a
5.238 * [taylor]: Taking taylor expansion of x in a
5.238 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* a x))) (+ (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) (* 0.5 (/ 1 (* (pow a 2) (pow x 2)))))) in a
5.238 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a x))) in a
5.238 * [taylor]: Taking taylor expansion of 1.0 in a
5.238 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.238 * [taylor]: Taking taylor expansion of (* a x) in a
5.238 * [taylor]: Taking taylor expansion of a in a
5.238 * [taylor]: Taking taylor expansion of x in a
5.239 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) (* 0.5 (/ 1 (* (pow a 2) (pow x 2))))) in a
5.239 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) in a
5.239 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
5.239 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
5.239 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
5.239 * [taylor]: Taking taylor expansion of (pow a 3) in a
5.239 * [taylor]: Taking taylor expansion of a in a
5.239 * [taylor]: Taking taylor expansion of (pow x 3) in a
5.239 * [taylor]: Taking taylor expansion of x in a
5.240 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* (pow a 2) (pow x 2)))) in a
5.240 * [taylor]: Taking taylor expansion of 0.5 in a
5.240 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
5.240 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
5.240 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.240 * [taylor]: Taking taylor expansion of a in a
5.240 * [taylor]: Taking taylor expansion of (pow x 2) in a
5.240 * [taylor]: Taking taylor expansion of x in a
5.240 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (/ 1 (pow x 3))) in x
5.240 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
5.240 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
5.240 * [taylor]: Taking taylor expansion of (pow x 3) in x
5.240 * [taylor]: Taking taylor expansion of x in x
5.243 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x
5.243 * [taylor]: Taking taylor expansion of 0.5 in x
5.243 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.243 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.243 * [taylor]: Taking taylor expansion of x in x
5.251 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
5.251 * [taylor]: Taking taylor expansion of 1.0 in x
5.251 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.251 * [taylor]: Taking taylor expansion of x in x
5.262 * [taylor]: Taking taylor expansion of 0 in x
5.276 * [taylor]: Taking taylor expansion of 0 in x
5.277 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* a x))) (+ (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) (* 0.5 (/ 1 (* (pow a 2) (pow x 2)))))) in (a x) around 0
5.277 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* a x))) (+ (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) (* 0.5 (/ 1 (* (pow a 2) (pow x 2)))))) in x
5.277 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a x))) in x
5.277 * [taylor]: Taking taylor expansion of 1.0 in x
5.277 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
5.277 * [taylor]: Taking taylor expansion of (* a x) in x
5.277 * [taylor]: Taking taylor expansion of a in x
5.277 * [taylor]: Taking taylor expansion of x in x
5.277 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) (* 0.5 (/ 1 (* (pow a 2) (pow x 2))))) in x
5.277 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) in x
5.278 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
5.278 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in x
5.278 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
5.278 * [taylor]: Taking taylor expansion of (pow a 3) in x
5.278 * [taylor]: Taking taylor expansion of a in x
5.278 * [taylor]: Taking taylor expansion of (pow x 3) in x
5.278 * [taylor]: Taking taylor expansion of x in x
5.278 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* (pow a 2) (pow x 2)))) in x
5.278 * [taylor]: Taking taylor expansion of 0.5 in x
5.278 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
5.278 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
5.278 * [taylor]: Taking taylor expansion of (pow a 2) in x
5.278 * [taylor]: Taking taylor expansion of a in x
5.278 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.278 * [taylor]: Taking taylor expansion of x in x
5.279 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* a x))) (+ (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) (* 0.5 (/ 1 (* (pow a 2) (pow x 2)))))) in a
5.279 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a x))) in a
5.279 * [taylor]: Taking taylor expansion of 1.0 in a
5.279 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.279 * [taylor]: Taking taylor expansion of (* a x) in a
5.279 * [taylor]: Taking taylor expansion of a in a
5.279 * [taylor]: Taking taylor expansion of x in a
5.279 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) (* 0.5 (/ 1 (* (pow a 2) (pow x 2))))) in a
5.279 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) in a
5.279 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
5.279 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
5.279 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
5.279 * [taylor]: Taking taylor expansion of (pow a 3) in a
5.280 * [taylor]: Taking taylor expansion of a in a
5.280 * [taylor]: Taking taylor expansion of (pow x 3) in a
5.280 * [taylor]: Taking taylor expansion of x in a
5.280 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* (pow a 2) (pow x 2)))) in a
5.280 * [taylor]: Taking taylor expansion of 0.5 in a
5.280 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
5.280 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
5.280 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.280 * [taylor]: Taking taylor expansion of a in a
5.280 * [taylor]: Taking taylor expansion of (pow x 2) in a
5.280 * [taylor]: Taking taylor expansion of x in a
5.281 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* a x))) (+ (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) (* 0.5 (/ 1 (* (pow a 2) (pow x 2)))))) in a
5.281 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* a x))) in a
5.281 * [taylor]: Taking taylor expansion of 1.0 in a
5.281 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.281 * [taylor]: Taking taylor expansion of (* a x) in a
5.281 * [taylor]: Taking taylor expansion of a in a
5.281 * [taylor]: Taking taylor expansion of x in a
5.281 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) (* 0.5 (/ 1 (* (pow a 2) (pow x 2))))) in a
5.281 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (/ 1 (* (pow a 3) (pow x 3)))) in a
5.281 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
5.281 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
5.281 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
5.281 * [taylor]: Taking taylor expansion of (pow a 3) in a
5.281 * [taylor]: Taking taylor expansion of a in a
5.281 * [taylor]: Taking taylor expansion of (pow x 3) in a
5.281 * [taylor]: Taking taylor expansion of x in a
5.282 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* (pow a 2) (pow x 2)))) in a
5.282 * [taylor]: Taking taylor expansion of 0.5 in a
5.282 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
5.282 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
5.282 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.282 * [taylor]: Taking taylor expansion of a in a
5.282 * [taylor]: Taking taylor expansion of (pow x 2) in a
5.282 * [taylor]: Taking taylor expansion of x in a
5.283 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (/ 1 (pow x 3))) in x
5.283 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
5.283 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
5.283 * [taylor]: Taking taylor expansion of (pow x 3) in x
5.283 * [taylor]: Taking taylor expansion of x in x
5.286 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x
5.286 * [taylor]: Taking taylor expansion of 0.5 in x
5.286 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.286 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.286 * [taylor]: Taking taylor expansion of x in x
5.293 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
5.293 * [taylor]: Taking taylor expansion of 1.0 in x
5.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.293 * [taylor]: Taking taylor expansion of x in x
5.304 * [taylor]: Taking taylor expansion of 0 in x
5.318 * [taylor]: Taking taylor expansion of 0 in x
5.322 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
5.322 * [approximate]: Taking taylor expansion of (pow (* a x) 3) in (a x) around 0
5.322 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
5.322 * [taylor]: Taking taylor expansion of (* a x) in x
5.322 * [taylor]: Taking taylor expansion of a in x
5.322 * [taylor]: Taking taylor expansion of x in x
5.322 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
5.323 * [taylor]: Taking taylor expansion of (* a x) in a
5.323 * [taylor]: Taking taylor expansion of a in a
5.323 * [taylor]: Taking taylor expansion of x in a
5.323 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
5.323 * [taylor]: Taking taylor expansion of (* a x) in a
5.323 * [taylor]: Taking taylor expansion of a in a
5.323 * [taylor]: Taking taylor expansion of x in a
5.323 * [taylor]: Taking taylor expansion of (pow x 3) in x
5.323 * [taylor]: Taking taylor expansion of x in x
5.325 * [taylor]: Taking taylor expansion of 0 in x
5.327 * [taylor]: Taking taylor expansion of 0 in x
5.330 * [taylor]: Taking taylor expansion of 0 in x
5.330 * [approximate]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in (a x) around 0
5.330 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
5.330 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
5.330 * [taylor]: Taking taylor expansion of (* a x) in x
5.330 * [taylor]: Taking taylor expansion of a in x
5.330 * [taylor]: Taking taylor expansion of x in x
5.331 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
5.331 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.331 * [taylor]: Taking taylor expansion of (* a x) in a
5.331 * [taylor]: Taking taylor expansion of a in a
5.331 * [taylor]: Taking taylor expansion of x in a
5.331 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
5.331 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.331 * [taylor]: Taking taylor expansion of (* a x) in a
5.331 * [taylor]: Taking taylor expansion of a in a
5.331 * [taylor]: Taking taylor expansion of x in a
5.332 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
5.332 * [taylor]: Taking taylor expansion of (pow x 3) in x
5.332 * [taylor]: Taking taylor expansion of x in x
5.333 * [taylor]: Taking taylor expansion of 0 in x
5.336 * [taylor]: Taking taylor expansion of 0 in x
5.340 * [taylor]: Taking taylor expansion of 0 in x
5.344 * [taylor]: Taking taylor expansion of 0 in x
5.350 * [taylor]: Taking taylor expansion of 0 in x
5.350 * [approximate]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in (a x) around 0
5.350 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
5.350 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
5.350 * [taylor]: Taking taylor expansion of (* a x) in x
5.350 * [taylor]: Taking taylor expansion of a in x
5.350 * [taylor]: Taking taylor expansion of x in x
5.351 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
5.351 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.351 * [taylor]: Taking taylor expansion of (* a x) in a
5.351 * [taylor]: Taking taylor expansion of a in a
5.351 * [taylor]: Taking taylor expansion of x in a
5.351 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
5.351 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.351 * [taylor]: Taking taylor expansion of (* a x) in a
5.351 * [taylor]: Taking taylor expansion of a in a
5.351 * [taylor]: Taking taylor expansion of x in a
5.352 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
5.352 * [taylor]: Taking taylor expansion of (pow x 3) in x
5.352 * [taylor]: Taking taylor expansion of x in x
5.354 * [taylor]: Taking taylor expansion of 0 in x
5.356 * [taylor]: Taking taylor expansion of 0 in x
5.360 * [taylor]: Taking taylor expansion of 0 in x
5.365 * [taylor]: Taking taylor expansion of 0 in x
5.371 * [taylor]: Taking taylor expansion of 0 in x
5.371 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
5.372 * [approximate]: Taking taylor expansion of (* 0.16666666666666663 (* (pow a 3) (pow x 3))) in (a x) around 0
5.372 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (* (pow a 3) (pow x 3))) in x
5.372 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
5.372 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
5.372 * [taylor]: Taking taylor expansion of (pow a 3) in x
5.372 * [taylor]: Taking taylor expansion of a in x
5.372 * [taylor]: Taking taylor expansion of (pow x 3) in x
5.372 * [taylor]: Taking taylor expansion of x in x
5.372 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (* (pow a 3) (pow x 3))) in a
5.372 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
5.372 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
5.372 * [taylor]: Taking taylor expansion of (pow a 3) in a
5.372 * [taylor]: Taking taylor expansion of a in a
5.372 * [taylor]: Taking taylor expansion of (pow x 3) in a
5.372 * [taylor]: Taking taylor expansion of x in a
5.372 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (* (pow a 3) (pow x 3))) in a
5.372 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
5.372 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
5.372 * [taylor]: Taking taylor expansion of (pow a 3) in a
5.372 * [taylor]: Taking taylor expansion of a in a
5.372 * [taylor]: Taking taylor expansion of (pow x 3) in a
5.372 * [taylor]: Taking taylor expansion of x in a
5.373 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (pow x 3)) in x
5.373 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
5.373 * [taylor]: Taking taylor expansion of (pow x 3) in x
5.373 * [taylor]: Taking taylor expansion of x in x
5.375 * [taylor]: Taking taylor expansion of 0 in x
5.380 * [taylor]: Taking taylor expansion of 0 in x
5.385 * [taylor]: Taking taylor expansion of 0 in x
5.386 * [approximate]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in (a x) around 0
5.386 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in x
5.386 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
5.386 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
5.386 * [taylor]: Taking taylor expansion of (pow a 3) in x
5.386 * [taylor]: Taking taylor expansion of a in x
5.386 * [taylor]: Taking taylor expansion of (pow x 3) in x
5.386 * [taylor]: Taking taylor expansion of x in x
5.387 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in a
5.387 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
5.387 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
5.387 * [taylor]: Taking taylor expansion of (pow a 3) in a
5.387 * [taylor]: Taking taylor expansion of a in a
5.387 * [taylor]: Taking taylor expansion of (pow x 3) in a
5.387 * [taylor]: Taking taylor expansion of x in a
5.387 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in a
5.388 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
5.388 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
5.388 * [taylor]: Taking taylor expansion of (pow a 3) in a
5.388 * [taylor]: Taking taylor expansion of a in a
5.388 * [taylor]: Taking taylor expansion of (pow x 3) in a
5.388 * [taylor]: Taking taylor expansion of x in a
5.388 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (pow x 3)) in x
5.388 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
5.388 * [taylor]: Taking taylor expansion of (pow x 3) in x
5.388 * [taylor]: Taking taylor expansion of x in x
5.391 * [taylor]: Taking taylor expansion of 0 in x
5.394 * [taylor]: Taking taylor expansion of 0 in x
5.399 * [taylor]: Taking taylor expansion of 0 in x
5.406 * [taylor]: Taking taylor expansion of 0 in x
5.416 * [taylor]: Taking taylor expansion of 0 in x
5.416 * [approximate]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in (a x) around 0
5.416 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in x
5.416 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
5.416 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
5.416 * [taylor]: Taking taylor expansion of (pow a 3) in x
5.416 * [taylor]: Taking taylor expansion of a in x
5.417 * [taylor]: Taking taylor expansion of (pow x 3) in x
5.417 * [taylor]: Taking taylor expansion of x in x
5.417 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in a
5.417 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
5.417 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
5.417 * [taylor]: Taking taylor expansion of (pow a 3) in a
5.417 * [taylor]: Taking taylor expansion of a in a
5.417 * [taylor]: Taking taylor expansion of (pow x 3) in a
5.417 * [taylor]: Taking taylor expansion of x in a
5.418 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in a
5.418 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
5.418 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
5.418 * [taylor]: Taking taylor expansion of (pow a 3) in a
5.418 * [taylor]: Taking taylor expansion of a in a
5.418 * [taylor]: Taking taylor expansion of (pow x 3) in a
5.418 * [taylor]: Taking taylor expansion of x in a
5.419 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (pow x 3)) in x
5.419 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
5.419 * [taylor]: Taking taylor expansion of (pow x 3) in x
5.419 * [taylor]: Taking taylor expansion of x in x
5.421 * [taylor]: Taking taylor expansion of 0 in x
5.425 * [taylor]: Taking taylor expansion of 0 in x
5.430 * [taylor]: Taking taylor expansion of 0 in x
5.437 * [taylor]: Taking taylor expansion of 0 in x
5.444 * [taylor]: Taking taylor expansion of 0 in x
5.444 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
5.444 * [approximate]: Taking taylor expansion of (* a (* x (+ (* 0.5 (* a x)) 1.0))) in (a x) around 0
5.444 * [taylor]: Taking taylor expansion of (* a (* x (+ (* 0.5 (* a x)) 1.0))) in x
5.444 * [taylor]: Taking taylor expansion of a in x
5.444 * [taylor]: Taking taylor expansion of (* x (+ (* 0.5 (* a x)) 1.0)) in x
5.444 * [taylor]: Taking taylor expansion of x in x
5.444 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* a x)) 1.0) in x
5.444 * [taylor]: Taking taylor expansion of (* 0.5 (* a x)) in x
5.444 * [taylor]: Taking taylor expansion of 0.5 in x
5.444 * [taylor]: Taking taylor expansion of (* a x) in x
5.444 * [taylor]: Taking taylor expansion of a in x
5.444 * [taylor]: Taking taylor expansion of x in x
5.444 * [taylor]: Taking taylor expansion of 1.0 in x
5.444 * [taylor]: Taking taylor expansion of (* a (* x (+ (* 0.5 (* a x)) 1.0))) in a
5.444 * [taylor]: Taking taylor expansion of a in a
5.445 * [taylor]: Taking taylor expansion of (* x (+ (* 0.5 (* a x)) 1.0)) in a
5.445 * [taylor]: Taking taylor expansion of x in a
5.445 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* a x)) 1.0) in a
5.445 * [taylor]: Taking taylor expansion of (* 0.5 (* a x)) in a
5.445 * [taylor]: Taking taylor expansion of 0.5 in a
5.445 * [taylor]: Taking taylor expansion of (* a x) in a
5.445 * [taylor]: Taking taylor expansion of a in a
5.445 * [taylor]: Taking taylor expansion of x in a
5.445 * [taylor]: Taking taylor expansion of 1.0 in a
5.445 * [taylor]: Taking taylor expansion of (* a (* x (+ (* 0.5 (* a x)) 1.0))) in a
5.445 * [taylor]: Taking taylor expansion of a in a
5.445 * [taylor]: Taking taylor expansion of (* x (+ (* 0.5 (* a x)) 1.0)) in a
5.445 * [taylor]: Taking taylor expansion of x in a
5.445 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* a x)) 1.0) in a
5.445 * [taylor]: Taking taylor expansion of (* 0.5 (* a x)) in a
5.445 * [taylor]: Taking taylor expansion of 0.5 in a
5.445 * [taylor]: Taking taylor expansion of (* a x) in a
5.445 * [taylor]: Taking taylor expansion of a in a
5.445 * [taylor]: Taking taylor expansion of x in a
5.445 * [taylor]: Taking taylor expansion of 1.0 in a
5.446 * [taylor]: Taking taylor expansion of 0 in x
5.447 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
5.447 * [taylor]: Taking taylor expansion of 1.0 in x
5.447 * [taylor]: Taking taylor expansion of x in x
5.449 * [taylor]: Taking taylor expansion of (* 0.5 (pow x 2)) in x
5.449 * [taylor]: Taking taylor expansion of 0.5 in x
5.449 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.449 * [taylor]: Taking taylor expansion of x in x
5.453 * [taylor]: Taking taylor expansion of 0 in x
5.458 * [taylor]: Taking taylor expansion of 0 in x
5.458 * [approximate]: Taking taylor expansion of (/ (+ (* 0.5 (/ 1 (* a x))) 1.0) (* a x)) in (a x) around 0
5.458 * [taylor]: Taking taylor expansion of (/ (+ (* 0.5 (/ 1 (* a x))) 1.0) (* a x)) in x
5.458 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* a x))) 1.0) in x
5.458 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in x
5.458 * [taylor]: Taking taylor expansion of 0.5 in x
5.458 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
5.458 * [taylor]: Taking taylor expansion of (* a x) in x
5.458 * [taylor]: Taking taylor expansion of a in x
5.458 * [taylor]: Taking taylor expansion of x in x
5.458 * [taylor]: Taking taylor expansion of 1.0 in x
5.459 * [taylor]: Taking taylor expansion of (* a x) in x
5.459 * [taylor]: Taking taylor expansion of a in x
5.459 * [taylor]: Taking taylor expansion of x in x
5.459 * [taylor]: Taking taylor expansion of (/ (+ (* 0.5 (/ 1 (* a x))) 1.0) (* a x)) in a
5.459 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* a x))) 1.0) in a
5.459 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in a
5.459 * [taylor]: Taking taylor expansion of 0.5 in a
5.459 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.459 * [taylor]: Taking taylor expansion of (* a x) in a
5.459 * [taylor]: Taking taylor expansion of a in a
5.459 * [taylor]: Taking taylor expansion of x in a
5.459 * [taylor]: Taking taylor expansion of 1.0 in a
5.459 * [taylor]: Taking taylor expansion of (* a x) in a
5.459 * [taylor]: Taking taylor expansion of a in a
5.460 * [taylor]: Taking taylor expansion of x in a
5.460 * [taylor]: Taking taylor expansion of (/ (+ (* 0.5 (/ 1 (* a x))) 1.0) (* a x)) in a
5.460 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* a x))) 1.0) in a
5.460 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in a
5.460 * [taylor]: Taking taylor expansion of 0.5 in a
5.460 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.460 * [taylor]: Taking taylor expansion of (* a x) in a
5.460 * [taylor]: Taking taylor expansion of a in a
5.460 * [taylor]: Taking taylor expansion of x in a
5.460 * [taylor]: Taking taylor expansion of 1.0 in a
5.460 * [taylor]: Taking taylor expansion of (* a x) in a
5.460 * [taylor]: Taking taylor expansion of a in a
5.460 * [taylor]: Taking taylor expansion of x in a
5.461 * [taylor]: Taking taylor expansion of (/ 0.5 (pow x 2)) in x
5.461 * [taylor]: Taking taylor expansion of 0.5 in x
5.461 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.461 * [taylor]: Taking taylor expansion of x in x
5.463 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
5.463 * [taylor]: Taking taylor expansion of 1.0 in x
5.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.463 * [taylor]: Taking taylor expansion of x in x
5.467 * [taylor]: Taking taylor expansion of 0 in x
5.472 * [taylor]: Taking taylor expansion of 0 in x
5.478 * [taylor]: Taking taylor expansion of 0 in x
5.481 * [approximate]: Taking taylor expansion of (/ (+ (* 0.5 (/ 1 (* a x))) 1.0) (* a x)) in (a x) around 0
5.481 * [taylor]: Taking taylor expansion of (/ (+ (* 0.5 (/ 1 (* a x))) 1.0) (* a x)) in x
5.481 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* a x))) 1.0) in x
5.481 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in x
5.481 * [taylor]: Taking taylor expansion of 0.5 in x
5.481 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
5.481 * [taylor]: Taking taylor expansion of (* a x) in x
5.481 * [taylor]: Taking taylor expansion of a in x
5.481 * [taylor]: Taking taylor expansion of x in x
5.482 * [taylor]: Taking taylor expansion of 1.0 in x
5.482 * [taylor]: Taking taylor expansion of (* a x) in x
5.482 * [taylor]: Taking taylor expansion of a in x
5.482 * [taylor]: Taking taylor expansion of x in x
5.482 * [taylor]: Taking taylor expansion of (/ (+ (* 0.5 (/ 1 (* a x))) 1.0) (* a x)) in a
5.482 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* a x))) 1.0) in a
5.482 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in a
5.482 * [taylor]: Taking taylor expansion of 0.5 in a
5.482 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.482 * [taylor]: Taking taylor expansion of (* a x) in a
5.482 * [taylor]: Taking taylor expansion of a in a
5.482 * [taylor]: Taking taylor expansion of x in a
5.482 * [taylor]: Taking taylor expansion of 1.0 in a
5.483 * [taylor]: Taking taylor expansion of (* a x) in a
5.483 * [taylor]: Taking taylor expansion of a in a
5.483 * [taylor]: Taking taylor expansion of x in a
5.483 * [taylor]: Taking taylor expansion of (/ (+ (* 0.5 (/ 1 (* a x))) 1.0) (* a x)) in a
5.483 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* a x))) 1.0) in a
5.483 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in a
5.483 * [taylor]: Taking taylor expansion of 0.5 in a
5.483 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.483 * [taylor]: Taking taylor expansion of (* a x) in a
5.483 * [taylor]: Taking taylor expansion of a in a
5.483 * [taylor]: Taking taylor expansion of x in a
5.483 * [taylor]: Taking taylor expansion of 1.0 in a
5.483 * [taylor]: Taking taylor expansion of (* a x) in a
5.483 * [taylor]: Taking taylor expansion of a in a
5.483 * [taylor]: Taking taylor expansion of x in a
5.484 * [taylor]: Taking taylor expansion of (/ 0.5 (pow x 2)) in x
5.484 * [taylor]: Taking taylor expansion of 0.5 in x
5.484 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.484 * [taylor]: Taking taylor expansion of x in x
5.486 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
5.486 * [taylor]: Taking taylor expansion of 1.0 in x
5.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.486 * [taylor]: Taking taylor expansion of x in x
5.490 * [taylor]: Taking taylor expansion of 0 in x
5.495 * [taylor]: Taking taylor expansion of 0 in x
5.505 * [taylor]: Taking taylor expansion of 0 in x
5.508 * * * [progress]: simplifying candidates
5.509 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (+ (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (pow (* a x) 3) 0.16666666666666663)))
  (log1p (+ (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (pow (* a x) 3) 0.16666666666666663)))
  (* (exp (* (* a x) (+ (* 0.5 (* a x)) 1.0))) (exp (* (pow (* a x) 3) 0.16666666666666663)))
  (log (+ (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (pow (* a x) 3) 0.16666666666666663)))
  (exp (+ (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (pow (* a x) 3) 0.16666666666666663)))
  (* (cbrt (+ (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (pow (* a x) 3) 0.16666666666666663))) (cbrt (+ (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (pow (* a x) 3) 0.16666666666666663))))
  (cbrt (+ (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (pow (* a x) 3) 0.16666666666666663)))
  (* (* (+ (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (pow (* a x) 3) 0.16666666666666663)) (+ (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (pow (* a x) 3) 0.16666666666666663))) (+ (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (pow (* a x) 3) 0.16666666666666663)))
  (sqrt (+ (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (pow (* a x) 3) 0.16666666666666663)))
  (sqrt (+ (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (pow (* a x) 3) 0.16666666666666663)))
  (+ (pow (* (* a x) (+ (* 0.5 (* a x)) 1.0)) 3) (pow (* (pow (* a x) 3) 0.16666666666666663) 3))
  (+ (* (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (* a x) (+ (* 0.5 (* a x)) 1.0))) (- (* (* (pow (* a x) 3) 0.16666666666666663) (* (pow (* a x) 3) 0.16666666666666663)) (* (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (pow (* a x) 3) 0.16666666666666663))))
  (- (* (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (* a x) (+ (* 0.5 (* a x)) 1.0))) (* (* (pow (* a x) 3) 0.16666666666666663) (* (pow (* a x) 3) 0.16666666666666663)))
  (- (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (pow (* a x) 3) 0.16666666666666663))
  (+ (* (* a x) 1.0) (* (pow (* a x) 3) 0.16666666666666663))
  (+ (* 1.0 (* a x)) (* (pow (* a x) 3) 0.16666666666666663))
  (expm1 (pow (* a x) 3))
  (log1p (pow (* a x) 3))
  (* (+ (log a) (log x)) 3)
  (* (log (* a x)) 3)
  (* (log (* a x)) 3)
  (* 1 3)
  (* 1 3)
  (pow (* a x) (* (cbrt 3) (cbrt 3)))
  (pow (* a x) (sqrt 3))
  (pow (* a x) 1)
  (pow a 3)
  (pow x 3)
  (* (* a x) (* a x))
  (log (pow (* a x) 3))
  (exp (pow (* a x) 3))
  (* (cbrt (pow (* a x) 3)) (cbrt (pow (* a x) 3)))
  (cbrt (pow (* a x) 3))
  (* (* (pow (* a x) 3) (pow (* a x) 3)) (pow (* a x) 3))
  (pow a 3)
  (pow x 3)
  (* (* a x) (* a x))
  (sqrt (pow (* a x) 3))
  (sqrt (pow (* a x) 3))
  (pow (* a x) (/ 3 2))
  (pow (* a x) (/ 3 2))
  (expm1 (* (pow (* a x) 3) 0.16666666666666663))
  (log1p (* (pow (* a x) 3) 0.16666666666666663))
  (+ (* (+ (log a) (log x)) 3) (log 0.16666666666666663))
  (+ (* (log (* a x)) 3) (log 0.16666666666666663))
  (+ (* (log (* a x)) 3) (log 0.16666666666666663))
  (+ (log (pow (* a x) 3)) (log 0.16666666666666663))
  (log (* (pow (* a x) 3) 0.16666666666666663))
  (exp (* (pow (* a x) 3) 0.16666666666666663))
  (* (* (* (pow (* a x) 3) (pow (* a x) 3)) (pow (* a x) 3)) (* (* 0.16666666666666663 0.16666666666666663) 0.16666666666666663))
  (* (cbrt (* (pow (* a x) 3) 0.16666666666666663)) (cbrt (* (pow (* a x) 3) 0.16666666666666663)))
  (cbrt (* (pow (* a x) 3) 0.16666666666666663))
  (* (* (* (pow (* a x) 3) 0.16666666666666663) (* (pow (* a x) 3) 0.16666666666666663)) (* (pow (* a x) 3) 0.16666666666666663))
  (sqrt (* (pow (* a x) 3) 0.16666666666666663))
  (sqrt (* (pow (* a x) 3) 0.16666666666666663))
  (* (sqrt (pow (* a x) 3)) (sqrt 0.16666666666666663))
  (* (sqrt (pow (* a x) 3)) (sqrt 0.16666666666666663))
  (* (pow (* a x) (/ 3 2)) (sqrt 0.16666666666666663))
  (* (pow (* a x) (/ 3 2)) (sqrt 0.16666666666666663))
  (* (pow (* a x) 3) (* (cbrt 0.16666666666666663) (cbrt 0.16666666666666663)))
  (* (pow (* a x) 3) (sqrt 0.16666666666666663))
  (* (pow (* a x) 3) 1)
  (* (pow x 3) 0.16666666666666663)
  (* (* a x) 0.16666666666666663)
  (* (cbrt (pow (* a x) 3)) 0.16666666666666663)
  (* (pow x 3) 0.16666666666666663)
  (* (* (* a x) (* a x)) 0.16666666666666663)
  (* (sqrt (pow (* a x) 3)) 0.16666666666666663)
  (* (pow (* a x) 3) 0.16666666666666663)
  (* (pow (* a x) (/ 3 2)) 0.16666666666666663)
  (expm1 (* (* a x) (+ (* 0.5 (* a x)) 1.0)))
  (log1p (* (* a x) (+ (* 0.5 (* a x)) 1.0)))
  (* (* a x) (+ (* 0.5 (* a x)) 1.0))
  (* (* a x) (+ (* 0.5 (* a x)) 1.0))
  (+ (+ (log a) (log x)) (log (+ (* 0.5 (* a x)) 1.0)))
  (+ (log (* a x)) (log (+ (* 0.5 (* a x)) 1.0)))
  (log (* (* a x) (+ (* 0.5 (* a x)) 1.0)))
  (exp (* (* a x) (+ (* 0.5 (* a x)) 1.0)))
  (* (* (* (* a a) a) (* (* x x) x)) (* (* (+ (* 0.5 (* a x)) 1.0) (+ (* 0.5 (* a x)) 1.0)) (+ (* 0.5 (* a x)) 1.0)))
  (* (* (* (* a x) (* a x)) (* a x)) (* (* (+ (* 0.5 (* a x)) 1.0) (+ (* 0.5 (* a x)) 1.0)) (+ (* 0.5 (* a x)) 1.0)))
  (* (cbrt (* (* a x) (+ (* 0.5 (* a x)) 1.0))) (cbrt (* (* a x) (+ (* 0.5 (* a x)) 1.0))))
  (cbrt (* (* a x) (+ (* 0.5 (* a x)) 1.0)))
  (* (* (* (* a x) (+ (* 0.5 (* a x)) 1.0)) (* (* a x) (+ (* 0.5 (* a x)) 1.0))) (* (* a x) (+ (* 0.5 (* a x)) 1.0)))
  (sqrt (* (* a x) (+ (* 0.5 (* a x)) 1.0)))
  (sqrt (* (* a x) (+ (* 0.5 (* a x)) 1.0)))
  (* (* a x) (* 0.5 (* a x)))
  (* (* a x) 1.0)
  (* (* 0.5 (* a x)) (* a x))
  (* 1.0 (* a x))
  (* (* a x) (* (cbrt (+ (* 0.5 (* a x)) 1.0)) (cbrt (+ (* 0.5 (* a x)) 1.0))))
  (* (* a x) (sqrt (+ (* 0.5 (* a x)) 1.0)))
  (* (* a x) 1)
  (* x (+ (* 0.5 (* a x)) 1.0))
  (* (* a x) (+ (pow (* 0.5 (* a x)) 3) (pow 1.0 3)))
  (* (* a x) (- (* (* 0.5 (* a x)) (* 0.5 (* a x))) (* 1.0 1.0)))
  (+ (* 0.5 (* (pow a 2) (pow x 2))) (* 1.0 (* a x)))
  (+ (* 0.5 (* (pow a 2) (pow x 2))) (+ (* 1.0 (* a x)) (* 0.16666666666666663 (* (pow a 3) (pow x 3)))))
  (+ (* 0.5 (* (pow a 2) (pow x 2))) (+ (* 1.0 (* a x)) (* 0.16666666666666663 (* (pow a 3) (pow x 3)))))
  (* (pow a 3) (pow x 3))
  (* (pow a 3) (pow x 3))
  (* (pow a 3) (pow x 3))
  (* 0.16666666666666663 (* (pow a 3) (pow x 3)))
  (* 0.16666666666666663 (* (pow a 3) (pow x 3)))
  (* 0.16666666666666663 (* (pow a 3) (pow x 3)))
  (* 1.0 (* a x))
  (+ (* 0.5 (* (pow a 2) (pow x 2))) (* 1.0 (* a x)))
  (+ (* 0.5 (* (pow a 2) (pow x 2))) (* 1.0 (* a x)))
5.513 * * [simplify]: iteration  0 :  142  enodes  (cost  1380 )
5.546 * * [simplify]: iteration  1 :  396  enodes  (cost  1160 )
5.759 * * [simplify]: iteration  2 :  2118  enodes  (cost  1069 )
6.504 * * [simplify]: iteration  done :  5000  enodes  (cost  1069 )
6.505 * [simplify]: Simplified to:
   (expm1 (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (log1p (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (exp (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (log (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (exp (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (* (cbrt (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663))) (cbrt (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663))))
  (cbrt (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (pow (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)) 3)
  (sqrt (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (sqrt (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (+ (pow (* (fma 0.5 (* x a) 1.0) (* x a)) 3) (pow (* (pow (* a x) 3) 0.16666666666666663) 3))
  (fma (* (fma 0.5 (* x a) 1.0) (pow (* x a) 2)) (fma 0.5 (* x a) 1.0) (* (* (pow (* a x) 3) 0.16666666666666663) (- (* (pow (* a x) 3) 0.16666666666666663) (* (fma 0.5 (* x a) 1.0) (* x a)))))
  (- (* (* (pow (* x a) 2) (fma 0.5 (* x a) 1.0)) (fma 0.5 (* x a) 1.0)) (* (pow (* x a) 6) (* 0.16666666666666663 0.16666666666666663)))
  (- (* (fma 0.5 (* x a) 1.0) (* x a)) (* (pow (* a x) 3) 0.16666666666666663))
  (fma 1.0 (* x a) (* (pow (* a x) 3) 0.16666666666666663))
  (fma 1.0 (* x a) (* (pow (* a x) 3) 0.16666666666666663))
  (expm1 (pow (* a x) 3))
  (log1p (pow (* a x) 3))
  (log (pow (* a x) 3))
  (log (pow (* a x) 3))
  (log (pow (* a x) 3))
  3
  3
  (pow (* a x) (* (cbrt 3) (cbrt 3)))
  (pow (* a x) (sqrt 3))
  (* x a)
  (pow a 3)
  (pow x 3)
  (pow (* x a) 2)
  (log (pow (* a x) 3))
  (exp (pow (* a x) 3))
  (pow (* x a) 2)
  (* x a)
  (pow (pow (* a x) 3) 3)
  (pow a 3)
  (pow x 3)
  (pow (* x a) 2)
  (sqrt (pow (* a x) 3))
  (sqrt (pow (* a x) 3))
  (pow (* x a) 3/2)
  (pow (* x a) 3/2)
  (expm1 (* (pow (* a x) 3) 0.16666666666666663))
  (log1p (* (pow (* a x) 3) 0.16666666666666663))
  (log (* (pow (* a x) 3) 0.16666666666666663))
  (log (* (pow (* a x) 3) 0.16666666666666663))
  (log (* (pow (* a x) 3) 0.16666666666666663))
  (log (* (pow (* a x) 3) 0.16666666666666663))
  (log (* (pow (* a x) 3) 0.16666666666666663))
  (exp (* (pow (* a x) 3) 0.16666666666666663))
  (pow (* (pow (* a x) 3) 0.16666666666666663) 3)
  (* (cbrt (* (pow (* a x) 3) 0.16666666666666663)) (cbrt (* (pow (* a x) 3) 0.16666666666666663)))
  (cbrt (* (pow (* a x) 3) 0.16666666666666663))
  (pow (* (pow (* a x) 3) 0.16666666666666663) 3)
  (sqrt (* (pow (* a x) 3) 0.16666666666666663))
  (sqrt (* (pow (* a x) 3) 0.16666666666666663))
  (* (sqrt (pow (* a x) 3)) (sqrt 0.16666666666666663))
  (* (sqrt (pow (* a x) 3)) (sqrt 0.16666666666666663))
  (* (pow (* x a) 3/2) (sqrt 0.16666666666666663))
  (* (pow (* x a) 3/2) (sqrt 0.16666666666666663))
  (* (pow (* a x) 3) (* (cbrt 0.16666666666666663) (cbrt 0.16666666666666663)))
  (* (pow (* a x) 3) (sqrt 0.16666666666666663))
  (pow (* a x) 3)
  (* (pow x 3) 0.16666666666666663)
  (* 0.16666666666666663 (* x a))
  (* 0.16666666666666663 (* x a))
  (* (pow x 3) 0.16666666666666663)
  (* 0.16666666666666663 (pow (* x a) 2))
  (* (sqrt (pow (* a x) 3)) 0.16666666666666663)
  (* (pow (* a x) 3) 0.16666666666666663)
  (* 0.16666666666666663 (pow (* x a) 3/2))
  (expm1 (* (fma 0.5 (* x a) 1.0) (* x a)))
  (log1p (* (fma 0.5 (* x a) 1.0) (* x a)))
  (* (fma 0.5 (* x a) 1.0) (* x a))
  (* (fma 0.5 (* x a) 1.0) (* x a))
  (log (* (fma 0.5 (* x a) 1.0) (* x a)))
  (log (* (fma 0.5 (* x a) 1.0) (* x a)))
  (log (* (fma 0.5 (* x a) 1.0) (* x a)))
  (pow (exp (* x a)) (fma 0.5 (* x a) 1.0))
  (pow (* (fma 0.5 (* x a) 1.0) (* x a)) 3)
  (pow (* (fma 0.5 (* x a) 1.0) (* x a)) 3)
  (* (cbrt (* (fma 0.5 (* x a) 1.0) (* x a))) (cbrt (* (fma 0.5 (* x a) 1.0) (* x a))))
  (cbrt (* (fma 0.5 (* x a) 1.0) (* x a)))
  (pow (* (fma 0.5 (* x a) 1.0) (* x a)) 3)
  (sqrt (* (fma 0.5 (* x a) 1.0) (* x a)))
  (sqrt (* (fma 0.5 (* x a) 1.0) (* x a)))
  (* 0.5 (pow (* x a) 2))
  (* (* a x) 1.0)
  (* 0.5 (pow (* x a) 2))
  (* (* a x) 1.0)
  (* (* x a) (* (cbrt (fma 0.5 (* x a) 1.0)) (cbrt (fma 0.5 (* x a) 1.0))))
  (* (* x a) (sqrt (fma 0.5 (* x a) 1.0)))
  (* x a)
  (* (fma 0.5 (* x a) 1.0) x)
  (* (* a x) (+ (pow (* 0.5 (* a x)) 3) (pow 1.0 3)))
  (* x (* a (fma 0.5 (* 0.5 (pow (* x a) 2)) (- (* 1.0 1.0)))))
  (* (fma 0.5 (* x a) 1.0) (* x a))
  (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663))
  (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663))
  (pow (* a x) 3)
  (pow (* a x) 3)
  (pow (* a x) 3)
  (* (pow (* a x) 3) 0.16666666666666663)
  (* (pow (* a x) 3) 0.16666666666666663)
  (* (pow (* a x) 3) 0.16666666666666663)
  (* (* a x) 1.0)
  (* (fma 0.5 (* x a) 1.0) (* x a))
  (* (fma 0.5 (* x a) 1.0) (* x a))
6.505 * * * [progress]: adding candidates to table
6.763 * * [progress]: iteration 4 / 4
6.764 * * * [progress]: picking best candidate
6.773 * * * * [pick]: Picked  #<alt (λ (a x) (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))>
6.773 * * * [progress]: localizing error
6.785 * * * [progress]: generating rewritten candidates
6.785 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
6.786 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1)
6.788 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3)
6.794 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
6.795 * * * [progress]: generating series expansions
6.795 * * * * [progress]: [ 1 / 4 ] generating series at (2)
6.796 * [approximate]: Taking taylor expansion of (fma (* a x) (fma 0.5 (* a x) 1.0) (* 0.16666666666666663 (* (pow a 3) (pow x 3)))) in (x a) around 0
6.796 * [taylor]: Taking taylor expansion of (fma (* a x) (fma 0.5 (* a x) 1.0) (* 0.16666666666666663 (* (pow a 3) (pow x 3)))) in a
6.796 * [taylor]: Rewrote expression to (+ (* (* a x) (fma 0.5 (* a x) 1.0)) (* 0.16666666666666663 (* (pow a 3) (pow x 3))))
6.796 * [taylor]: Taking taylor expansion of (* (* a x) (fma 0.5 (* a x) 1.0)) in a
6.796 * [taylor]: Taking taylor expansion of (* a x) in a
6.796 * [taylor]: Taking taylor expansion of a in a
6.796 * [taylor]: Taking taylor expansion of x in a
6.796 * [taylor]: Taking taylor expansion of (fma 0.5 (* a x) 1.0) in a
6.796 * [taylor]: Rewrote expression to (+ (* 0.5 (* a x)) 1.0)
6.796 * [taylor]: Taking taylor expansion of (* 0.5 (* a x)) in a
6.796 * [taylor]: Taking taylor expansion of 0.5 in a
6.796 * [taylor]: Taking taylor expansion of (* a x) in a
6.796 * [taylor]: Taking taylor expansion of a in a
6.796 * [taylor]: Taking taylor expansion of x in a
6.796 * [taylor]: Taking taylor expansion of 1.0 in a
6.796 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (* (pow a 3) (pow x 3))) in a
6.796 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
6.796 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.796 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.796 * [taylor]: Taking taylor expansion of a in a
6.796 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.796 * [taylor]: Taking taylor expansion of x in a
6.796 * [taylor]: Taking taylor expansion of (fma (* a x) (fma 0.5 (* a x) 1.0) (* 0.16666666666666663 (* (pow a 3) (pow x 3)))) in x
6.796 * [taylor]: Rewrote expression to (+ (* (* a x) (fma 0.5 (* a x) 1.0)) (* 0.16666666666666663 (* (pow a 3) (pow x 3))))
6.796 * [taylor]: Taking taylor expansion of (* (* a x) (fma 0.5 (* a x) 1.0)) in x
6.797 * [taylor]: Taking taylor expansion of (* a x) in x
6.797 * [taylor]: Taking taylor expansion of a in x
6.797 * [taylor]: Taking taylor expansion of x in x
6.797 * [taylor]: Taking taylor expansion of (fma 0.5 (* a x) 1.0) in x
6.797 * [taylor]: Rewrote expression to (+ (* 0.5 (* a x)) 1.0)
6.797 * [taylor]: Taking taylor expansion of (* 0.5 (* a x)) in x
6.797 * [taylor]: Taking taylor expansion of 0.5 in x
6.797 * [taylor]: Taking taylor expansion of (* a x) in x
6.797 * [taylor]: Taking taylor expansion of a in x
6.797 * [taylor]: Taking taylor expansion of x in x
6.797 * [taylor]: Taking taylor expansion of 1.0 in x
6.797 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (* (pow a 3) (pow x 3))) in x
6.797 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
6.797 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
6.797 * [taylor]: Taking taylor expansion of (pow a 3) in x
6.797 * [taylor]: Taking taylor expansion of a in x
6.797 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.797 * [taylor]: Taking taylor expansion of x in x
6.797 * [taylor]: Taking taylor expansion of (fma (* a x) (fma 0.5 (* a x) 1.0) (* 0.16666666666666663 (* (pow a 3) (pow x 3)))) in x
6.797 * [taylor]: Rewrote expression to (+ (* (* a x) (fma 0.5 (* a x) 1.0)) (* 0.16666666666666663 (* (pow a 3) (pow x 3))))
6.797 * [taylor]: Taking taylor expansion of (* (* a x) (fma 0.5 (* a x) 1.0)) in x
6.797 * [taylor]: Taking taylor expansion of (* a x) in x
6.797 * [taylor]: Taking taylor expansion of a in x
6.797 * [taylor]: Taking taylor expansion of x in x
6.797 * [taylor]: Taking taylor expansion of (fma 0.5 (* a x) 1.0) in x
6.797 * [taylor]: Rewrote expression to (+ (* 0.5 (* a x)) 1.0)
6.797 * [taylor]: Taking taylor expansion of (* 0.5 (* a x)) in x
6.797 * [taylor]: Taking taylor expansion of 0.5 in x
6.797 * [taylor]: Taking taylor expansion of (* a x) in x
6.797 * [taylor]: Taking taylor expansion of a in x
6.797 * [taylor]: Taking taylor expansion of x in x
6.797 * [taylor]: Taking taylor expansion of 1.0 in x
6.797 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (* (pow a 3) (pow x 3))) in x
6.797 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
6.797 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
6.797 * [taylor]: Taking taylor expansion of (pow a 3) in x
6.797 * [taylor]: Taking taylor expansion of a in x
6.797 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.797 * [taylor]: Taking taylor expansion of x in x
6.799 * [taylor]: Taking taylor expansion of 0 in a
6.800 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
6.800 * [taylor]: Taking taylor expansion of 1.0 in a
6.800 * [taylor]: Taking taylor expansion of a in a
6.803 * [taylor]: Taking taylor expansion of (* 0.5 (pow a 2)) in a
6.803 * [taylor]: Taking taylor expansion of 0.5 in a
6.803 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.803 * [taylor]: Taking taylor expansion of a in a
6.807 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (pow a 3)) in a
6.807 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
6.807 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.807 * [taylor]: Taking taylor expansion of a in a
6.815 * [taylor]: Taking taylor expansion of 0 in a
6.823 * [taylor]: Taking taylor expansion of 0 in a
6.825 * [approximate]: Taking taylor expansion of (fma (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0) (/ 0.16666666666666663 (* (pow a 3) (pow x 3)))) in (x a) around 0
6.825 * [taylor]: Taking taylor expansion of (fma (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0) (/ 0.16666666666666663 (* (pow a 3) (pow x 3)))) in a
6.825 * [taylor]: Rewrote expression to (+ (* (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0)) (/ 0.16666666666666663 (* (pow a 3) (pow x 3))))
6.825 * [taylor]: Taking taylor expansion of (* (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0)) in a
6.825 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.825 * [taylor]: Taking taylor expansion of (* a x) in a
6.825 * [taylor]: Taking taylor expansion of a in a
6.825 * [taylor]: Taking taylor expansion of x in a
6.826 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 (* a x)) 1.0) in a
6.826 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 (* a x))) 1.0)
6.826 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in a
6.826 * [taylor]: Taking taylor expansion of 0.5 in a
6.826 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.826 * [taylor]: Taking taylor expansion of (* a x) in a
6.826 * [taylor]: Taking taylor expansion of a in a
6.826 * [taylor]: Taking taylor expansion of x in a
6.826 * [taylor]: Taking taylor expansion of 1.0 in a
6.826 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in a
6.826 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
6.826 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.826 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.826 * [taylor]: Taking taylor expansion of a in a
6.826 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.826 * [taylor]: Taking taylor expansion of x in a
6.827 * [taylor]: Taking taylor expansion of (fma (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0) (/ 0.16666666666666663 (* (pow a 3) (pow x 3)))) in x
6.827 * [taylor]: Rewrote expression to (+ (* (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0)) (/ 0.16666666666666663 (* (pow a 3) (pow x 3))))
6.827 * [taylor]: Taking taylor expansion of (* (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0)) in x
6.827 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.827 * [taylor]: Taking taylor expansion of (* a x) in x
6.827 * [taylor]: Taking taylor expansion of a in x
6.827 * [taylor]: Taking taylor expansion of x in x
6.828 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 (* a x)) 1.0) in x
6.828 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 (* a x))) 1.0)
6.828 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in x
6.828 * [taylor]: Taking taylor expansion of 0.5 in x
6.828 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.828 * [taylor]: Taking taylor expansion of (* a x) in x
6.828 * [taylor]: Taking taylor expansion of a in x
6.828 * [taylor]: Taking taylor expansion of x in x
6.828 * [taylor]: Taking taylor expansion of 1.0 in x
6.828 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in x
6.828 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
6.828 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
6.828 * [taylor]: Taking taylor expansion of (pow a 3) in x
6.828 * [taylor]: Taking taylor expansion of a in x
6.828 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.828 * [taylor]: Taking taylor expansion of x in x
6.829 * [taylor]: Taking taylor expansion of (fma (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0) (/ 0.16666666666666663 (* (pow a 3) (pow x 3)))) in x
6.829 * [taylor]: Rewrote expression to (+ (* (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0)) (/ 0.16666666666666663 (* (pow a 3) (pow x 3))))
6.829 * [taylor]: Taking taylor expansion of (* (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0)) in x
6.829 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.829 * [taylor]: Taking taylor expansion of (* a x) in x
6.829 * [taylor]: Taking taylor expansion of a in x
6.829 * [taylor]: Taking taylor expansion of x in x
6.830 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 (* a x)) 1.0) in x
6.830 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 (* a x))) 1.0)
6.830 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in x
6.830 * [taylor]: Taking taylor expansion of 0.5 in x
6.830 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.830 * [taylor]: Taking taylor expansion of (* a x) in x
6.830 * [taylor]: Taking taylor expansion of a in x
6.830 * [taylor]: Taking taylor expansion of x in x
6.830 * [taylor]: Taking taylor expansion of 1.0 in x
6.830 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in x
6.830 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
6.830 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
6.830 * [taylor]: Taking taylor expansion of (pow a 3) in x
6.830 * [taylor]: Taking taylor expansion of a in x
6.830 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.830 * [taylor]: Taking taylor expansion of x in x
6.831 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (/ 1 (pow a 3))) in a
6.831 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
6.831 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a
6.831 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.831 * [taylor]: Taking taylor expansion of a in a
6.834 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow a 2))) in a
6.834 * [taylor]: Taking taylor expansion of 0.5 in a
6.834 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
6.834 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.834 * [taylor]: Taking taylor expansion of a in a
6.840 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
6.840 * [taylor]: Taking taylor expansion of 1.0 in a
6.840 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.840 * [taylor]: Taking taylor expansion of a in a
6.848 * [taylor]: Taking taylor expansion of 0 in a
6.858 * [taylor]: Taking taylor expansion of 0 in a
6.859 * [approximate]: Taking taylor expansion of (fma (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0) (/ 0.16666666666666663 (* (pow a 3) (pow x 3)))) in (x a) around 0
6.859 * [taylor]: Taking taylor expansion of (fma (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0) (/ 0.16666666666666663 (* (pow a 3) (pow x 3)))) in a
6.859 * [taylor]: Rewrote expression to (+ (* (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0)) (/ 0.16666666666666663 (* (pow a 3) (pow x 3))))
6.860 * [taylor]: Taking taylor expansion of (* (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0)) in a
6.860 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.860 * [taylor]: Taking taylor expansion of (* a x) in a
6.860 * [taylor]: Taking taylor expansion of a in a
6.860 * [taylor]: Taking taylor expansion of x in a
6.860 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 (* a x)) 1.0) in a
6.860 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 (* a x))) 1.0)
6.860 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in a
6.860 * [taylor]: Taking taylor expansion of 0.5 in a
6.860 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.860 * [taylor]: Taking taylor expansion of (* a x) in a
6.860 * [taylor]: Taking taylor expansion of a in a
6.860 * [taylor]: Taking taylor expansion of x in a
6.860 * [taylor]: Taking taylor expansion of 1.0 in a
6.860 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in a
6.861 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
6.861 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.861 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.861 * [taylor]: Taking taylor expansion of a in a
6.861 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.861 * [taylor]: Taking taylor expansion of x in a
6.861 * [taylor]: Taking taylor expansion of (fma (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0) (/ 0.16666666666666663 (* (pow a 3) (pow x 3)))) in x
6.861 * [taylor]: Rewrote expression to (+ (* (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0)) (/ 0.16666666666666663 (* (pow a 3) (pow x 3))))
6.861 * [taylor]: Taking taylor expansion of (* (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0)) in x
6.861 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.861 * [taylor]: Taking taylor expansion of (* a x) in x
6.862 * [taylor]: Taking taylor expansion of a in x
6.862 * [taylor]: Taking taylor expansion of x in x
6.862 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 (* a x)) 1.0) in x
6.862 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 (* a x))) 1.0)
6.862 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in x
6.862 * [taylor]: Taking taylor expansion of 0.5 in x
6.862 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.862 * [taylor]: Taking taylor expansion of (* a x) in x
6.862 * [taylor]: Taking taylor expansion of a in x
6.862 * [taylor]: Taking taylor expansion of x in x
6.862 * [taylor]: Taking taylor expansion of 1.0 in x
6.862 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in x
6.863 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
6.863 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
6.863 * [taylor]: Taking taylor expansion of (pow a 3) in x
6.863 * [taylor]: Taking taylor expansion of a in x
6.863 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.863 * [taylor]: Taking taylor expansion of x in x
6.863 * [taylor]: Taking taylor expansion of (fma (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0) (/ 0.16666666666666663 (* (pow a 3) (pow x 3)))) in x
6.864 * [taylor]: Rewrote expression to (+ (* (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0)) (/ 0.16666666666666663 (* (pow a 3) (pow x 3))))
6.864 * [taylor]: Taking taylor expansion of (* (/ 1 (* a x)) (fma 0.5 (/ 1 (* a x)) 1.0)) in x
6.864 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.864 * [taylor]: Taking taylor expansion of (* a x) in x
6.864 * [taylor]: Taking taylor expansion of a in x
6.864 * [taylor]: Taking taylor expansion of x in x
6.864 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 (* a x)) 1.0) in x
6.864 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 (* a x))) 1.0)
6.864 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in x
6.864 * [taylor]: Taking taylor expansion of 0.5 in x
6.864 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.864 * [taylor]: Taking taylor expansion of (* a x) in x
6.864 * [taylor]: Taking taylor expansion of a in x
6.864 * [taylor]: Taking taylor expansion of x in x
6.865 * [taylor]: Taking taylor expansion of 1.0 in x
6.865 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in x
6.865 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
6.865 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
6.865 * [taylor]: Taking taylor expansion of (pow a 3) in x
6.865 * [taylor]: Taking taylor expansion of a in x
6.865 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.865 * [taylor]: Taking taylor expansion of x in x
6.866 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (/ 1 (pow a 3))) in a
6.866 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
6.866 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a
6.866 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.866 * [taylor]: Taking taylor expansion of a in a
6.868 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow a 2))) in a
6.869 * [taylor]: Taking taylor expansion of 0.5 in a
6.869 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
6.869 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.869 * [taylor]: Taking taylor expansion of a in a
6.875 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
6.875 * [taylor]: Taking taylor expansion of 1.0 in a
6.875 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.875 * [taylor]: Taking taylor expansion of a in a
6.883 * [taylor]: Taking taylor expansion of 0 in a
6.893 * [taylor]: Taking taylor expansion of 0 in a
6.894 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1)
6.894 * [approximate]: Taking taylor expansion of (pow (* a x) 3) in (a x) around 0
6.894 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
6.894 * [taylor]: Taking taylor expansion of (* a x) in x
6.894 * [taylor]: Taking taylor expansion of a in x
6.894 * [taylor]: Taking taylor expansion of x in x
6.895 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
6.895 * [taylor]: Taking taylor expansion of (* a x) in a
6.895 * [taylor]: Taking taylor expansion of a in a
6.895 * [taylor]: Taking taylor expansion of x in a
6.895 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
6.895 * [taylor]: Taking taylor expansion of (* a x) in a
6.895 * [taylor]: Taking taylor expansion of a in a
6.895 * [taylor]: Taking taylor expansion of x in a
6.895 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.896 * [taylor]: Taking taylor expansion of x in x
6.897 * [taylor]: Taking taylor expansion of 0 in x
6.899 * [taylor]: Taking taylor expansion of 0 in x
6.904 * [taylor]: Taking taylor expansion of 0 in x
6.905 * [approximate]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in (a x) around 0
6.905 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
6.905 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.905 * [taylor]: Taking taylor expansion of (* a x) in x
6.905 * [taylor]: Taking taylor expansion of a in x
6.905 * [taylor]: Taking taylor expansion of x in x
6.905 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
6.905 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.905 * [taylor]: Taking taylor expansion of (* a x) in a
6.905 * [taylor]: Taking taylor expansion of a in a
6.905 * [taylor]: Taking taylor expansion of x in a
6.905 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
6.905 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.905 * [taylor]: Taking taylor expansion of (* a x) in a
6.905 * [taylor]: Taking taylor expansion of a in a
6.905 * [taylor]: Taking taylor expansion of x in a
6.906 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
6.906 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.906 * [taylor]: Taking taylor expansion of x in x
6.907 * [taylor]: Taking taylor expansion of 0 in x
6.910 * [taylor]: Taking taylor expansion of 0 in x
6.914 * [taylor]: Taking taylor expansion of 0 in x
6.918 * [taylor]: Taking taylor expansion of 0 in x
6.924 * [taylor]: Taking taylor expansion of 0 in x
6.924 * [approximate]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in (a x) around 0
6.924 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
6.924 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.924 * [taylor]: Taking taylor expansion of (* a x) in x
6.924 * [taylor]: Taking taylor expansion of a in x
6.924 * [taylor]: Taking taylor expansion of x in x
6.925 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
6.925 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.925 * [taylor]: Taking taylor expansion of (* a x) in a
6.925 * [taylor]: Taking taylor expansion of a in a
6.925 * [taylor]: Taking taylor expansion of x in a
6.925 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
6.925 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.925 * [taylor]: Taking taylor expansion of (* a x) in a
6.925 * [taylor]: Taking taylor expansion of a in a
6.925 * [taylor]: Taking taylor expansion of x in a
6.926 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
6.926 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.926 * [taylor]: Taking taylor expansion of x in x
6.927 * [taylor]: Taking taylor expansion of 0 in x
6.930 * [taylor]: Taking taylor expansion of 0 in x
6.933 * [taylor]: Taking taylor expansion of 0 in x
6.938 * [taylor]: Taking taylor expansion of 0 in x
6.943 * [taylor]: Taking taylor expansion of 0 in x
6.944 * * * * [progress]: [ 3 / 4 ] generating series at (2 3)
6.944 * [approximate]: Taking taylor expansion of (* 0.16666666666666663 (* (pow a 3) (pow x 3))) in (a x) around 0
6.944 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (* (pow a 3) (pow x 3))) in x
6.944 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
6.944 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
6.944 * [taylor]: Taking taylor expansion of (pow a 3) in x
6.944 * [taylor]: Taking taylor expansion of a in x
6.944 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.944 * [taylor]: Taking taylor expansion of x in x
6.944 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (* (pow a 3) (pow x 3))) in a
6.944 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
6.944 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.944 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.944 * [taylor]: Taking taylor expansion of a in a
6.944 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.944 * [taylor]: Taking taylor expansion of x in a
6.944 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (* (pow a 3) (pow x 3))) in a
6.944 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
6.944 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.944 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.944 * [taylor]: Taking taylor expansion of a in a
6.944 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.944 * [taylor]: Taking taylor expansion of x in a
6.945 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (pow x 3)) in x
6.945 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
6.945 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.945 * [taylor]: Taking taylor expansion of x in x
6.947 * [taylor]: Taking taylor expansion of 0 in x
6.951 * [taylor]: Taking taylor expansion of 0 in x
6.956 * [taylor]: Taking taylor expansion of 0 in x
6.957 * [approximate]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in (a x) around 0
6.957 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in x
6.957 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
6.957 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
6.957 * [taylor]: Taking taylor expansion of (pow a 3) in x
6.957 * [taylor]: Taking taylor expansion of a in x
6.957 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.957 * [taylor]: Taking taylor expansion of x in x
6.958 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in a
6.958 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
6.958 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.958 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.958 * [taylor]: Taking taylor expansion of a in a
6.958 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.958 * [taylor]: Taking taylor expansion of x in a
6.959 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in a
6.959 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
6.959 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.959 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.959 * [taylor]: Taking taylor expansion of a in a
6.959 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.959 * [taylor]: Taking taylor expansion of x in a
6.959 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (pow x 3)) in x
6.960 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
6.960 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.960 * [taylor]: Taking taylor expansion of x in x
6.962 * [taylor]: Taking taylor expansion of 0 in x
6.965 * [taylor]: Taking taylor expansion of 0 in x
6.970 * [taylor]: Taking taylor expansion of 0 in x
6.976 * [taylor]: Taking taylor expansion of 0 in x
6.983 * [taylor]: Taking taylor expansion of 0 in x
6.983 * [approximate]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in (a x) around 0
6.983 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in x
6.983 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
6.984 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
6.984 * [taylor]: Taking taylor expansion of (pow a 3) in x
6.984 * [taylor]: Taking taylor expansion of a in x
6.984 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.984 * [taylor]: Taking taylor expansion of x in x
6.984 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in a
6.984 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
6.984 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.984 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.984 * [taylor]: Taking taylor expansion of a in a
6.984 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.984 * [taylor]: Taking taylor expansion of x in a
6.985 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (* (pow a 3) (pow x 3))) in a
6.985 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
6.985 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
6.985 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.985 * [taylor]: Taking taylor expansion of a in a
6.985 * [taylor]: Taking taylor expansion of (pow x 3) in a
6.985 * [taylor]: Taking taylor expansion of x in a
6.988 * [taylor]: Taking taylor expansion of (/ 0.16666666666666663 (pow x 3)) in x
6.989 * [taylor]: Taking taylor expansion of 0.16666666666666663 in x
6.989 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.989 * [taylor]: Taking taylor expansion of x in x
6.991 * [taylor]: Taking taylor expansion of 0 in x
6.994 * [taylor]: Taking taylor expansion of 0 in x
6.999 * [taylor]: Taking taylor expansion of 0 in x
7.005 * [taylor]: Taking taylor expansion of 0 in x
7.012 * [taylor]: Taking taylor expansion of 0 in x
7.013 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
7.013 * [approximate]: Taking taylor expansion of (fma 0.5 (* a x) 1.0) in (x a) around 0
7.013 * [taylor]: Taking taylor expansion of (fma 0.5 (* a x) 1.0) in a
7.013 * [taylor]: Rewrote expression to (+ (* 0.5 (* a x)) 1.0)
7.013 * [taylor]: Taking taylor expansion of (* 0.5 (* a x)) in a
7.013 * [taylor]: Taking taylor expansion of 0.5 in a
7.013 * [taylor]: Taking taylor expansion of (* a x) in a
7.013 * [taylor]: Taking taylor expansion of a in a
7.013 * [taylor]: Taking taylor expansion of x in a
7.013 * [taylor]: Taking taylor expansion of 1.0 in a
7.013 * [taylor]: Taking taylor expansion of (fma 0.5 (* a x) 1.0) in x
7.013 * [taylor]: Rewrote expression to (+ (* 0.5 (* a x)) 1.0)
7.013 * [taylor]: Taking taylor expansion of (* 0.5 (* a x)) in x
7.013 * [taylor]: Taking taylor expansion of 0.5 in x
7.013 * [taylor]: Taking taylor expansion of (* a x) in x
7.013 * [taylor]: Taking taylor expansion of a in x
7.013 * [taylor]: Taking taylor expansion of x in x
7.013 * [taylor]: Taking taylor expansion of 1.0 in x
7.013 * [taylor]: Taking taylor expansion of (fma 0.5 (* a x) 1.0) in x
7.013 * [taylor]: Rewrote expression to (+ (* 0.5 (* a x)) 1.0)
7.013 * [taylor]: Taking taylor expansion of (* 0.5 (* a x)) in x
7.013 * [taylor]: Taking taylor expansion of 0.5 in x
7.013 * [taylor]: Taking taylor expansion of (* a x) in x
7.013 * [taylor]: Taking taylor expansion of a in x
7.013 * [taylor]: Taking taylor expansion of x in x
7.013 * [taylor]: Taking taylor expansion of 1.0 in x
7.014 * [taylor]: Taking taylor expansion of 1.0 in a
7.015 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
7.015 * [taylor]: Taking taylor expansion of 0.5 in a
7.015 * [taylor]: Taking taylor expansion of a in a
7.016 * [taylor]: Taking taylor expansion of 0 in a
7.018 * [taylor]: Taking taylor expansion of 0 in a
7.021 * [taylor]: Taking taylor expansion of 0 in a
7.021 * [approximate]: Taking taylor expansion of (fma 0.5 (/ 1 (* a x)) 1.0) in (x a) around 0
7.021 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 (* a x)) 1.0) in a
7.021 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 (* a x))) 1.0)
7.021 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in a
7.021 * [taylor]: Taking taylor expansion of 0.5 in a
7.021 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
7.021 * [taylor]: Taking taylor expansion of (* a x) in a
7.021 * [taylor]: Taking taylor expansion of a in a
7.021 * [taylor]: Taking taylor expansion of x in a
7.022 * [taylor]: Taking taylor expansion of 1.0 in a
7.022 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 (* a x)) 1.0) in x
7.022 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 (* a x))) 1.0)
7.022 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in x
7.022 * [taylor]: Taking taylor expansion of 0.5 in x
7.022 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
7.022 * [taylor]: Taking taylor expansion of (* a x) in x
7.022 * [taylor]: Taking taylor expansion of a in x
7.022 * [taylor]: Taking taylor expansion of x in x
7.023 * [taylor]: Taking taylor expansion of 1.0 in x
7.023 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 (* a x)) 1.0) in x
7.023 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 (* a x))) 1.0)
7.023 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in x
7.023 * [taylor]: Taking taylor expansion of 0.5 in x
7.023 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
7.023 * [taylor]: Taking taylor expansion of (* a x) in x
7.023 * [taylor]: Taking taylor expansion of a in x
7.023 * [taylor]: Taking taylor expansion of x in x
7.023 * [taylor]: Taking taylor expansion of 1.0 in x
7.023 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 a)) in a
7.023 * [taylor]: Taking taylor expansion of 0.5 in a
7.023 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.023 * [taylor]: Taking taylor expansion of a in a
7.025 * [taylor]: Taking taylor expansion of 1.0 in a
7.027 * [taylor]: Taking taylor expansion of 0 in a
7.030 * [taylor]: Taking taylor expansion of 0 in a
7.033 * [taylor]: Taking taylor expansion of 0 in a
7.033 * [approximate]: Taking taylor expansion of (fma 0.5 (/ 1 (* a x)) 1.0) in (x a) around 0
7.033 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 (* a x)) 1.0) in a
7.033 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 (* a x))) 1.0)
7.033 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in a
7.033 * [taylor]: Taking taylor expansion of 0.5 in a
7.033 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
7.033 * [taylor]: Taking taylor expansion of (* a x) in a
7.033 * [taylor]: Taking taylor expansion of a in a
7.033 * [taylor]: Taking taylor expansion of x in a
7.034 * [taylor]: Taking taylor expansion of 1.0 in a
7.034 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 (* a x)) 1.0) in x
7.034 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 (* a x))) 1.0)
7.034 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in x
7.034 * [taylor]: Taking taylor expansion of 0.5 in x
7.034 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
7.034 * [taylor]: Taking taylor expansion of (* a x) in x
7.034 * [taylor]: Taking taylor expansion of a in x
7.034 * [taylor]: Taking taylor expansion of x in x
7.034 * [taylor]: Taking taylor expansion of 1.0 in x
7.034 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 (* a x)) 1.0) in x
7.034 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 (* a x))) 1.0)
7.034 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* a x))) in x
7.034 * [taylor]: Taking taylor expansion of 0.5 in x
7.034 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
7.034 * [taylor]: Taking taylor expansion of (* a x) in x
7.034 * [taylor]: Taking taylor expansion of a in x
7.034 * [taylor]: Taking taylor expansion of x in x
7.035 * [taylor]: Taking taylor expansion of 1.0 in x
7.035 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 a)) in a
7.035 * [taylor]: Taking taylor expansion of 0.5 in a
7.035 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.035 * [taylor]: Taking taylor expansion of a in a
7.036 * [taylor]: Taking taylor expansion of 1.0 in a
7.039 * [taylor]: Taking taylor expansion of 0 in a
7.041 * [taylor]: Taking taylor expansion of 0 in a
7.044 * [taylor]: Taking taylor expansion of 0 in a
7.045 * * * [progress]: simplifying candidates
7.046 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (log1p (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (* (* x a) (fma 0.5 (* x a) 1.0))
  (log (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (exp (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (* (cbrt (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663))) (cbrt (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663))))
  (cbrt (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (* (* (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)) (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663))) (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (sqrt (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (sqrt (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (expm1 (pow (* a x) 3))
  (log1p (pow (* a x) 3))
  (* (+ (log a) (log x)) 3)
  (* (log (* a x)) 3)
  (* (log (* a x)) 3)
  (* 1 3)
  (* 1 3)
  (pow (* a x) (* (cbrt 3) (cbrt 3)))
  (pow (* a x) (sqrt 3))
  (pow (* a x) 1)
  (pow a 3)
  (pow x 3)
  (* (* a x) (* a x))
  (log (pow (* a x) 3))
  (exp (pow (* a x) 3))
  (* (cbrt (pow (* a x) 3)) (cbrt (pow (* a x) 3)))
  (cbrt (pow (* a x) 3))
  (* (* (pow (* a x) 3) (pow (* a x) 3)) (pow (* a x) 3))
  (pow a 3)
  (pow x 3)
  (* (* a x) (* a x))
  (sqrt (pow (* a x) 3))
  (sqrt (pow (* a x) 3))
  (pow (* a x) (/ 3 2))
  (pow (* a x) (/ 3 2))
  (expm1 (* (pow (* a x) 3) 0.16666666666666663))
  (log1p (* (pow (* a x) 3) 0.16666666666666663))
  (+ (* (+ (log a) (log x)) 3) (log 0.16666666666666663))
  (+ (* (log (* a x)) 3) (log 0.16666666666666663))
  (+ (* (log (* a x)) 3) (log 0.16666666666666663))
  (+ (log (pow (* a x) 3)) (log 0.16666666666666663))
  (log (* (pow (* a x) 3) 0.16666666666666663))
  (exp (* (pow (* a x) 3) 0.16666666666666663))
  (* (* (* (pow (* a x) 3) (pow (* a x) 3)) (pow (* a x) 3)) (* (* 0.16666666666666663 0.16666666666666663) 0.16666666666666663))
  (* (cbrt (* (pow (* a x) 3) 0.16666666666666663)) (cbrt (* (pow (* a x) 3) 0.16666666666666663)))
  (cbrt (* (pow (* a x) 3) 0.16666666666666663))
  (* (* (* (pow (* a x) 3) 0.16666666666666663) (* (pow (* a x) 3) 0.16666666666666663)) (* (pow (* a x) 3) 0.16666666666666663))
  (sqrt (* (pow (* a x) 3) 0.16666666666666663))
  (sqrt (* (pow (* a x) 3) 0.16666666666666663))
  (* (sqrt (pow (* a x) 3)) (sqrt 0.16666666666666663))
  (* (sqrt (pow (* a x) 3)) (sqrt 0.16666666666666663))
  (* (pow (* a x) (/ 3 2)) (sqrt 0.16666666666666663))
  (* (pow (* a x) (/ 3 2)) (sqrt 0.16666666666666663))
  (* (pow (* a x) 3) (* (cbrt 0.16666666666666663) (cbrt 0.16666666666666663)))
  (* (pow (* a x) 3) (sqrt 0.16666666666666663))
  (* (pow (* a x) 3) 1)
  (* (pow x 3) 0.16666666666666663)
  (* (* a x) 0.16666666666666663)
  (* (cbrt (pow (* a x) 3)) 0.16666666666666663)
  (* (pow x 3) 0.16666666666666663)
  (* (* (* a x) (* a x)) 0.16666666666666663)
  (* (sqrt (pow (* a x) 3)) 0.16666666666666663)
  (* (pow (* a x) 3) 0.16666666666666663)
  (* (pow (* a x) (/ 3 2)) 0.16666666666666663)
  (expm1 (fma 0.5 (* x a) 1.0))
  (log1p (fma 0.5 (* x a) 1.0))
  (* 0.5 (* x a))
  (log (fma 0.5 (* x a) 1.0))
  (exp (fma 0.5 (* x a) 1.0))
  (* (cbrt (fma 0.5 (* x a) 1.0)) (cbrt (fma 0.5 (* x a) 1.0)))
  (cbrt (fma 0.5 (* x a) 1.0))
  (* (* (fma 0.5 (* x a) 1.0) (fma 0.5 (* x a) 1.0)) (fma 0.5 (* x a) 1.0))
  (sqrt (fma 0.5 (* x a) 1.0))
  (sqrt (fma 0.5 (* x a) 1.0))
  (+ (* 0.5 (* (pow a 2) (pow x 2))) (* 1.0 (* a x)))
  (+ (* 0.5 (* (pow a 2) (pow x 2))) (+ (* 1.0 (* a x)) (* 0.16666666666666663 (* (pow a 3) (pow x 3)))))
  (+ (* 0.5 (* (pow a 2) (pow x 2))) (+ (* 1.0 (* a x)) (* 0.16666666666666663 (* (pow a 3) (pow x 3)))))
  (* (pow a 3) (pow x 3))
  (* (pow a 3) (pow x 3))
  (* (pow a 3) (pow x 3))
  (* 0.16666666666666663 (* (pow a 3) (pow x 3)))
  (* 0.16666666666666663 (* (pow a 3) (pow x 3)))
  (* 0.16666666666666663 (* (pow a 3) (pow x 3)))
  (+ (* 0.5 (* a x)) 1.0)
  (+ (* 0.5 (* a x)) 1.0)
  (+ (* 0.5 (* a x)) 1.0)
7.048 * * [simplify]: iteration  0 :  103  enodes  (cost  882 )
7.070 * * [simplify]: iteration  1 :  216  enodes  (cost  804 )
7.129 * * [simplify]: iteration  2 :  868  enodes  (cost  718 )
7.698 * * [simplify]: iteration  done :  5001  enodes  (cost  718 )
7.698 * [simplify]: Simplified to:
   (expm1 (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (log1p (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (* (* a (fma 0.5 (* x a) 1.0)) x)
  (log (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (exp (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (* (cbrt (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663))) (cbrt (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663))))
  (cbrt (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (pow (fma x (* a (fma 0.5 (* x a) 1.0)) (* 0.16666666666666663 (pow (* a x) 3))) 3)
  (sqrt (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (sqrt (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
  (expm1 (pow (* a x) 3))
  (log1p (pow (* a x) 3))
  (* (log (* a x)) 3)
  (* (log (* a x)) 3)
  (* (log (* a x)) 3)
  3
  3
  (pow (* a x) (* (cbrt 3) (cbrt 3)))
  (pow (* a x) (sqrt 3))
  (* a x)
  (pow a 3)
  (pow x 3)
  (pow (* a x) 2)
  (* (log (* a x)) 3)
  (exp (pow (* a x) 3))
  (pow (* a x) 2)
  (* a x)
  (pow (pow (* a x) 3) 3)
  (pow a 3)
  (pow x 3)
  (pow (* a x) 2)
  (sqrt (pow (* a x) 3))
  (sqrt (pow (* a x) 3))
  (pow (* a x) 3/2)
  (pow (* a x) 3/2)
  (expm1 (* (pow (* a x) 3) 0.16666666666666663))
  (log1p (* (pow (* a x) 3) 0.16666666666666663))
  (fma (log (* a x)) 3 (log 0.16666666666666663))
  (fma (log (* a x)) 3 (log 0.16666666666666663))
  (fma (log (* a x)) 3 (log 0.16666666666666663))
  (fma (log (* a x)) 3 (log 0.16666666666666663))
  (fma (log (* a x)) 3 (log 0.16666666666666663))
  (exp (* (pow (* a x) 3) 0.16666666666666663))
  (pow (* 0.16666666666666663 (pow (* a x) 3)) 3)
  (* (cbrt (* (pow (* a x) 3) 0.16666666666666663)) (cbrt (* (pow (* a x) 3) 0.16666666666666663)))
  (cbrt (* (pow (* a x) 3) 0.16666666666666663))
  (pow (* 0.16666666666666663 (pow (* a x) 3)) 3)
  (sqrt (* (pow (* a x) 3) 0.16666666666666663))
  (sqrt (* (pow (* a x) 3) 0.16666666666666663))
  (* (sqrt (pow (* a x) 3)) (sqrt 0.16666666666666663))
  (* (sqrt (pow (* a x) 3)) (sqrt 0.16666666666666663))
  (* (pow (* a x) 3/2) (sqrt 0.16666666666666663))
  (* (pow (* a x) 3/2) (sqrt 0.16666666666666663))
  (* (pow (* a x) 3) (* (cbrt 0.16666666666666663) (cbrt 0.16666666666666663)))
  (* (pow (* a x) 3) (sqrt 0.16666666666666663))
  (pow (* a x) 3)
  (* (pow x 3) 0.16666666666666663)
  (* 0.16666666666666663 (* a x))
  (* 0.16666666666666663 (* a x))
  (* (pow x 3) 0.16666666666666663)
  (* (pow (* a x) 2) 0.16666666666666663)
  (* (sqrt (pow (* a x) 3)) 0.16666666666666663)
  (* 0.16666666666666663 (pow (* a x) 3))
  (* 0.16666666666666663 (pow (* a x) 3/2))
  (expm1 (fma 0.5 (* x a) 1.0))
  (log1p (fma 0.5 (* x a) 1.0))
  (* 0.5 (* x a))
  (log (fma 0.5 (* x a) 1.0))
  (exp (fma 0.5 (* x a) 1.0))
  (* (cbrt (fma 0.5 (* x a) 1.0)) (cbrt (fma 0.5 (* x a) 1.0)))
  (cbrt (fma 0.5 (* x a) 1.0))
  (pow (fma 0.5 (* x a) 1.0) 3)
  (sqrt (fma 0.5 (* x a) 1.0))
  (sqrt (fma 0.5 (* x a) 1.0))
  (* (* a (fma 0.5 (* x a) 1.0)) x)
  (fma x (* a (fma 0.5 (* x a) 1.0)) (* 0.16666666666666663 (pow (* a x) 3)))
  (fma x (* a (fma 0.5 (* x a) 1.0)) (* 0.16666666666666663 (pow (* a x) 3)))
  (pow (* a x) 3)
  (pow (* a x) 3)
  (pow (* a x) 3)
  (* 0.16666666666666663 (pow (* a x) 3))
  (* 0.16666666666666663 (pow (* a x) 3))
  (* 0.16666666666666663 (pow (* a x) 3))
  (fma 0.5 (* x a) 1.0)
  (fma 0.5 (* x a) 1.0)
  (fma 0.5 (* x a) 1.0)
7.699 * * * [progress]: adding candidates to table
7.912 * [progress]: [Phase 3 of 3] Extracting.
7.912 * * [regime]: Finding splitpoints for: (#<alt (λ (a x) (/ (log (exp (- (exp (* 2 (* x a))) (* 1.0 1.0)))) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))> #<alt (λ (a x) (+ (/ (* (* a x) (+ (pow (* 0.5 (* a x)) 3) (pow 1.0 3))) (+ (* (* 0.5 (* a x)) (* 0.5 (* a x))) (- (* 1.0 1.0) (* (* 0.5 (* a x)) 1.0)))) (* (pow (* a x) 3) 0.16666666666666663)))>)
7.913 * * * [regime-changes]: Trying 3 branch expressions: ((* a x) x a)
7.913 * * * * [regimes]: Trying to branch on (* a x) from (#<alt (λ (a x) (/ (log (exp (- (exp (* 2 (* x a))) (* 1.0 1.0)))) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))> #<alt (λ (a x) (+ (/ (* (* a x) (+ (pow (* 0.5 (* a x)) 3) (pow 1.0 3))) (+ (* (* 0.5 (* a x)) (* 0.5 (* a x))) (- (* 1.0 1.0) (* (* 0.5 (* a x)) 1.0)))) (* (pow (* a x) 3) 0.16666666666666663)))>)
7.935 * * * * [regimes]: Trying to branch on x from (#<alt (λ (a x) (/ (log (exp (- (exp (* 2 (* x a))) (* 1.0 1.0)))) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))> #<alt (λ (a x) (+ (/ (* (* a x) (+ (pow (* 0.5 (* a x)) 3) (pow 1.0 3))) (+ (* (* 0.5 (* a x)) (* 0.5 (* a x))) (- (* 1.0 1.0) (* (* 0.5 (* a x)) 1.0)))) (* (pow (* a x) 3) 0.16666666666666663)))>)
7.976 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a x) (/ (log (exp (- (exp (* 2 (* x a))) (* 1.0 1.0)))) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))> #<alt (λ (a x) (+ (/ (* (* a x) (+ (pow (* 0.5 (* a x)) 3) (pow 1.0 3))) (+ (* (* 0.5 (* a x)) (* 0.5 (* a x))) (- (* 1.0 1.0) (* (* 0.5 (* a x)) 1.0)))) (* (pow (* a x) 3) 0.16666666666666663)))>)
8.009 * * * [regime]: Found split indices: #<option (#s(si 0 93) #s(si 1 255))>
8.009 * [binary-search]: Only using regimes for bounds on (* a x) and (#<alt (λ (a x) (/ (log (exp (- (exp (* 2 (* x a))) (* 1.0 1.0)))) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))> #<alt (λ (a x) (+ (/ (* (* a x) (+ (pow (* 0.5 (* a x)) 3) (pow 1.0 3))) (+ (* (* 0.5 (* a x)) (* 0.5 (* a x))) (- (* 1.0 1.0) (* (* 0.5 (* a x)) 1.0)))) (* (pow (* a x) 3) 0.16666666666666663)))>)
8.010 * [regimes]: Found splitpoints: (#s(sp 0 (* a x) -0.0056525961749273835) #s(sp 1 (* a x) +nan.0)) , with alts (#<alt (λ (a x) (/ (log (exp (- (exp (* 2 (* x a))) (* 1.0 1.0)))) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))> #<alt (λ (a x) (+ (/ (* (* a x) (+ (pow (* 0.5 (* a x)) 3) (pow 1.0 3))) (+ (* (* 0.5 (* a x)) (* 0.5 (* a x))) (- (* 1.0 1.0) (* (* 0.5 (* a x)) 1.0)))) (* (pow (* a x) 3) 0.16666666666666663)))>)
8.010 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (* a x) -0.0056525961749273835) (/ (log (exp (- (exp (* 2 (* x a))) (* 1.0 1.0)))) (+ (exp (* a x)) 1.0)) (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
8.010 * * [simplify]: iteration  0 :  25  enodes  (cost  42 )
8.011 * * [simplify]: iteration  1 :  28  enodes  (cost  42 )
8.012 * * [simplify]: iteration  done :  28  enodes  (cost  42 )
8.012 * [simplify]: Simplified to:
   (if (<= (* a x) -0.0056525961749273835) (/ (log (exp (- (exp (* 2 (* x a))) (* 1.0 1.0)))) (+ (exp (* a x)) 1.0)) (fma (* x a) (fma 0.5 (* x a) 1.0) (* (pow (* a x) 3) 0.16666666666666663)))
9.254 * [regime-testing]: Baseline error score: 21.240285560059124
9.255 * [regime-testing]: Oracle error score: 0.19230744638099845
9.257 * [regime-testing]: End program error score: 0.38289357980962135
9.303 * [regime-testing]: Target error score: 0.20025936222965288