5.654 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.032 * * * [progress]: [2/2] Setting up program.
0.034 * [progress]: [Phase 2 of 3] Improving.
0.034 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (exp (* a x)) 1.0)
0.035 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
0.036 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
0.037 * * [simplify]: iteration  2 :  18  enodes  (cost  6 )
0.039 * * [simplify]: iteration  3 :  27  enodes  (cost  6 )
0.042 * * [simplify]: iteration  4 :  51  enodes  (cost  6 )
0.049 * * [simplify]: iteration  5 :  109  enodes  (cost  6 )
0.078 * * [simplify]: iteration  6 :  257  enodes  (cost  6 )
0.174 * * [simplify]: iteration  7 :  892  enodes  (cost  6 )
0.943 * * [simplify]: iteration  8 :  3602  enodes  (cost  6 )
2.751 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
2.751 * [simplify]: Simplified to:
   (- (exp (* a x)) 1.0)
2.752 * * [progress]: iteration 1 / 4
2.752 * * * [progress]: picking best candidate
2.754 * * * * [pick]: Picked  #<alt (λ (a x) (- (exp (* a x)) 1.0))>
2.754 * * * [progress]: localizing error
2.758 * * * [progress]: generating rewritten candidates
2.758 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
2.763 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
2.765 * * * [progress]: generating series expansions
2.765 * * * * [progress]: [ 1 / 2 ] generating series at (2)
2.766 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0
2.766 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x
2.766 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
2.766 * [taylor]: Taking taylor expansion of (* a x) in x
2.766 * [taylor]: Taking taylor expansion of a in x
2.766 * [taylor]: Taking taylor expansion of x in x
2.766 * [taylor]: Taking taylor expansion of 1.0 in x
2.766 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a
2.766 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
2.766 * [taylor]: Taking taylor expansion of (* a x) in a
2.766 * [taylor]: Taking taylor expansion of a in a
2.766 * [taylor]: Taking taylor expansion of x in a
2.767 * [taylor]: Taking taylor expansion of 1.0 in a
2.767 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a
2.767 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
2.767 * [taylor]: Taking taylor expansion of (* a x) in a
2.767 * [taylor]: Taking taylor expansion of a in a
2.767 * [taylor]: Taking taylor expansion of x in a
2.767 * [taylor]: Taking taylor expansion of 1.0 in a
2.768 * [taylor]: Taking taylor expansion of 0 in x
2.769 * [taylor]: Taking taylor expansion of x in x
2.770 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
2.770 * [taylor]: Taking taylor expansion of 1/2 in x
2.770 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.770 * [taylor]: Taking taylor expansion of x in x
2.772 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
2.772 * [taylor]: Taking taylor expansion of 1/6 in x
2.772 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.772 * [taylor]: Taking taylor expansion of x in x
2.775 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
2.775 * [taylor]: Taking taylor expansion of 1/24 in x
2.775 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.775 * [taylor]: Taking taylor expansion of x in x
2.780 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
2.780 * [taylor]: Taking taylor expansion of 1/120 in x
2.780 * [taylor]: Taking taylor expansion of (pow x 5) in x
2.780 * [taylor]: Taking taylor expansion of x in x
2.787 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x
2.787 * [taylor]: Taking taylor expansion of 1/720 in x
2.787 * [taylor]: Taking taylor expansion of (pow x 6) in x
2.787 * [taylor]: Taking taylor expansion of x in x
2.788 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0
2.788 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
2.788 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.788 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.788 * [taylor]: Taking taylor expansion of (* a x) in x
2.788 * [taylor]: Taking taylor expansion of a in x
2.788 * [taylor]: Taking taylor expansion of x in x
2.788 * [taylor]: Taking taylor expansion of 1.0 in x
2.789 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
2.789 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.789 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.789 * [taylor]: Taking taylor expansion of (* a x) in a
2.789 * [taylor]: Taking taylor expansion of a in a
2.789 * [taylor]: Taking taylor expansion of x in a
2.789 * [taylor]: Taking taylor expansion of 1.0 in a
2.789 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
2.789 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.789 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.789 * [taylor]: Taking taylor expansion of (* a x) in a
2.789 * [taylor]: Taking taylor expansion of a in a
2.789 * [taylor]: Taking taylor expansion of x in a
2.789 * [taylor]: Taking taylor expansion of 1.0 in a
2.790 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
2.790 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.790 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.790 * [taylor]: Taking taylor expansion of (* a x) in x
2.790 * [taylor]: Taking taylor expansion of a in x
2.790 * [taylor]: Taking taylor expansion of x in x
2.790 * [taylor]: Taking taylor expansion of 1.0 in x
2.791 * [taylor]: Taking taylor expansion of 0 in x
2.792 * [taylor]: Taking taylor expansion of 0 in x
2.793 * [taylor]: Taking taylor expansion of 0 in x
2.794 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0
2.794 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
2.794 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.794 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.794 * [taylor]: Taking taylor expansion of (* a x) in x
2.794 * [taylor]: Taking taylor expansion of a in x
2.794 * [taylor]: Taking taylor expansion of x in x
2.794 * [taylor]: Taking taylor expansion of 1.0 in x
2.794 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
2.794 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.794 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.794 * [taylor]: Taking taylor expansion of (* a x) in a
2.794 * [taylor]: Taking taylor expansion of a in a
2.794 * [taylor]: Taking taylor expansion of x in a
2.794 * [taylor]: Taking taylor expansion of 1.0 in a
2.794 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
2.794 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.794 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.794 * [taylor]: Taking taylor expansion of (* a x) in a
2.795 * [taylor]: Taking taylor expansion of a in a
2.795 * [taylor]: Taking taylor expansion of x in a
2.795 * [taylor]: Taking taylor expansion of 1.0 in a
2.795 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
2.795 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.795 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.796 * [taylor]: Taking taylor expansion of (* a x) in x
2.796 * [taylor]: Taking taylor expansion of a in x
2.796 * [taylor]: Taking taylor expansion of x in x
2.796 * [taylor]: Taking taylor expansion of 1.0 in x
2.797 * [taylor]: Taking taylor expansion of 0 in x
2.798 * [taylor]: Taking taylor expansion of 0 in x
2.799 * [taylor]: Taking taylor expansion of 0 in x
2.799 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
2.799 * [approximate]: Taking taylor expansion of (exp (* a x)) in (a x) around 0
2.799 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
2.799 * [taylor]: Taking taylor expansion of (* a x) in x
2.799 * [taylor]: Taking taylor expansion of a in x
2.799 * [taylor]: Taking taylor expansion of x in x
2.799 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
2.799 * [taylor]: Taking taylor expansion of (* a x) in a
2.799 * [taylor]: Taking taylor expansion of a in a
2.799 * [taylor]: Taking taylor expansion of x in a
2.800 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
2.800 * [taylor]: Taking taylor expansion of (* a x) in a
2.800 * [taylor]: Taking taylor expansion of a in a
2.800 * [taylor]: Taking taylor expansion of x in a
2.800 * [taylor]: Taking taylor expansion of 1 in x
2.800 * [taylor]: Taking taylor expansion of x in x
2.801 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
2.801 * [taylor]: Taking taylor expansion of 1/2 in x
2.801 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.801 * [taylor]: Taking taylor expansion of x in x
2.803 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
2.803 * [taylor]: Taking taylor expansion of 1/6 in x
2.803 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.803 * [taylor]: Taking taylor expansion of x in x
2.806 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
2.806 * [taylor]: Taking taylor expansion of 1/24 in x
2.806 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.806 * [taylor]: Taking taylor expansion of x in x
2.807 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
2.807 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.807 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.807 * [taylor]: Taking taylor expansion of (* a x) in x
2.807 * [taylor]: Taking taylor expansion of a in x
2.807 * [taylor]: Taking taylor expansion of x in x
2.807 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.807 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.807 * [taylor]: Taking taylor expansion of (* a x) in a
2.807 * [taylor]: Taking taylor expansion of a in a
2.807 * [taylor]: Taking taylor expansion of x in a
2.808 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.808 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.808 * [taylor]: Taking taylor expansion of (* a x) in a
2.808 * [taylor]: Taking taylor expansion of a in a
2.808 * [taylor]: Taking taylor expansion of x in a
2.808 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.808 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.808 * [taylor]: Taking taylor expansion of (* a x) in x
2.808 * [taylor]: Taking taylor expansion of a in x
2.808 * [taylor]: Taking taylor expansion of x in x
2.809 * [taylor]: Taking taylor expansion of 0 in x
2.809 * [taylor]: Taking taylor expansion of 0 in x
2.809 * [taylor]: Taking taylor expansion of 0 in x
2.809 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
2.809 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.809 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.809 * [taylor]: Taking taylor expansion of (* a x) in x
2.809 * [taylor]: Taking taylor expansion of a in x
2.809 * [taylor]: Taking taylor expansion of x in x
2.809 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.809 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.809 * [taylor]: Taking taylor expansion of (* a x) in a
2.809 * [taylor]: Taking taylor expansion of a in a
2.809 * [taylor]: Taking taylor expansion of x in a
2.810 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.810 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.810 * [taylor]: Taking taylor expansion of (* a x) in a
2.810 * [taylor]: Taking taylor expansion of a in a
2.810 * [taylor]: Taking taylor expansion of x in a
2.810 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.810 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.810 * [taylor]: Taking taylor expansion of (* a x) in x
2.810 * [taylor]: Taking taylor expansion of a in x
2.810 * [taylor]: Taking taylor expansion of x in x
2.811 * [taylor]: Taking taylor expansion of 0 in x
2.811 * [taylor]: Taking taylor expansion of 0 in x
2.811 * [taylor]: Taking taylor expansion of 0 in x
2.811 * * * [progress]: simplifying candidates
2.812 * [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.814 * * [simplify]: iteration  0 :  79  enodes  (cost  557 )
2.829 * * [simplify]: iteration  1 :  171  enodes  (cost  457 )
2.871 * * [simplify]: iteration  2 :  503  enodes  (cost  377 )
3.081 * * [simplify]: iteration  3 :  2268  enodes  (cost  328 )
3.846 * * [simplify]: iteration  done :  5001  enodes  (cost  328 )
3.847 * [simplify]: Simplified to:
   (- (pow (cbrt (exp (* a x))) 3) 1.0)
  0
  (- (pow (cbrt (exp (* a x))) 3) 1.0)
  0
  (- (pow (cbrt (exp (* a x))) 3) 1.0)
  0
  (- (exp (* x a)) 1.0)
  0
  (- (exp (* x a)) 1.0)
  0
  (- (exp (* x a)) 1.0)
  0
  (- (exp (* x a)) 1.0)
  0
  (- (exp (* x a)) 1.0)
  0
  (- (exp (* x a)) 1.0)
  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))
  (+ 1.0 (exp (* x a)))
  (+ (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 1/6 (* (pow a 3) (pow x 3)) (* x (+ a (* (* 1/2 (pow a 2)) x))))
  (- (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.847 * * * [progress]: adding candidates to table
3.937 * * [progress]: iteration 2 / 4
3.937 * * * [progress]: picking best candidate
3.950 * * * * [pick]: Picked  #<alt (λ (a x) (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))))>
3.950 * * * [progress]: localizing error
3.961 * * * [progress]: generating rewritten candidates
3.961 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
3.970 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
3.972 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
3.973 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.991 * * * [progress]: generating series expansions
3.991 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
3.992 * [approximate]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1.0) in (x a) around 0
3.992 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1.0) in a
3.992 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in a
3.992 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
3.992 * [taylor]: Taking taylor expansion of 2 in a
3.992 * [taylor]: Taking taylor expansion of (* a x) in a
3.992 * [taylor]: Taking taylor expansion of a in a
3.992 * [taylor]: Taking taylor expansion of x in a
3.993 * [taylor]: Taking taylor expansion of 1.0 in a
3.993 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1.0) in x
3.993 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
3.993 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
3.993 * [taylor]: Taking taylor expansion of 2 in x
3.993 * [taylor]: Taking taylor expansion of (* a x) in x
3.993 * [taylor]: Taking taylor expansion of a in x
3.993 * [taylor]: Taking taylor expansion of x in x
3.994 * [taylor]: Taking taylor expansion of 1.0 in x
3.994 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1.0) in x
3.994 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
3.994 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
3.994 * [taylor]: Taking taylor expansion of 2 in x
3.994 * [taylor]: Taking taylor expansion of (* a x) in x
3.994 * [taylor]: Taking taylor expansion of a in x
3.994 * [taylor]: Taking taylor expansion of x in x
3.995 * [taylor]: Taking taylor expansion of 1.0 in x
3.995 * [taylor]: Taking taylor expansion of 0 in a
3.996 * [taylor]: Taking taylor expansion of (* 2 a) in a
3.996 * [taylor]: Taking taylor expansion of 2 in a
3.996 * [taylor]: Taking taylor expansion of a in a
3.998 * [taylor]: Taking taylor expansion of (* 2 (pow a 2)) in a
3.998 * [taylor]: Taking taylor expansion of 2 in a
3.998 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.998 * [taylor]: Taking taylor expansion of a in a
4.001 * [taylor]: Taking taylor expansion of (* 4/3 (pow a 3)) in a
4.001 * [taylor]: Taking taylor expansion of 4/3 in a
4.001 * [taylor]: Taking taylor expansion of (pow a 3) in a
4.001 * [taylor]: Taking taylor expansion of a in a
4.006 * [taylor]: Taking taylor expansion of (* 2/3 (pow a 4)) in a
4.006 * [taylor]: Taking taylor expansion of 2/3 in a
4.006 * [taylor]: Taking taylor expansion of (pow a 4) in a
4.006 * [taylor]: Taking taylor expansion of a in a
4.012 * [taylor]: Taking taylor expansion of (* 4/15 (pow a 5)) in a
4.012 * [taylor]: Taking taylor expansion of 4/15 in a
4.012 * [taylor]: Taking taylor expansion of (pow a 5) in a
4.012 * [taylor]: Taking taylor expansion of a in a
4.021 * [taylor]: Taking taylor expansion of (* 4/45 (pow a 6)) in a
4.021 * [taylor]: Taking taylor expansion of 4/45 in a
4.021 * [taylor]: Taking taylor expansion of (pow a 6) in a
4.021 * [taylor]: Taking taylor expansion of a in a
4.022 * [approximate]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in (x a) around 0
4.022 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in a
4.022 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
4.022 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
4.022 * [taylor]: Taking taylor expansion of 2 in a
4.022 * [taylor]: Taking taylor expansion of (* a x) in a
4.022 * [taylor]: Taking taylor expansion of a in a
4.022 * [taylor]: Taking taylor expansion of x in a
4.023 * [taylor]: Taking taylor expansion of 1.0 in a
4.023 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in x
4.023 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
4.023 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
4.023 * [taylor]: Taking taylor expansion of 2 in x
4.023 * [taylor]: Taking taylor expansion of (* a x) in x
4.023 * [taylor]: Taking taylor expansion of a in x
4.023 * [taylor]: Taking taylor expansion of x in x
4.023 * [taylor]: Taking taylor expansion of 1.0 in x
4.023 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in x
4.023 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
4.023 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
4.023 * [taylor]: Taking taylor expansion of 2 in x
4.023 * [taylor]: Taking taylor expansion of (* a x) in x
4.023 * [taylor]: Taking taylor expansion of a in x
4.023 * [taylor]: Taking taylor expansion of x in x
4.024 * [taylor]: Taking taylor expansion of 1.0 in x
4.024 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in a
4.024 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
4.024 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
4.024 * [taylor]: Taking taylor expansion of 2 in a
4.024 * [taylor]: Taking taylor expansion of (* a x) in a
4.024 * [taylor]: Taking taylor expansion of a in a
4.024 * [taylor]: Taking taylor expansion of x in a
4.025 * [taylor]: Taking taylor expansion of 1.0 in a
4.026 * [taylor]: Taking taylor expansion of 0 in a
4.027 * [taylor]: Taking taylor expansion of 0 in a
4.028 * [taylor]: Taking taylor expansion of 0 in a
4.028 * [approximate]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in (x a) around 0
4.028 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in a
4.028 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
4.028 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
4.028 * [taylor]: Taking taylor expansion of 2 in a
4.028 * [taylor]: Taking taylor expansion of (* a x) in a
4.028 * [taylor]: Taking taylor expansion of a in a
4.028 * [taylor]: Taking taylor expansion of x in a
4.029 * [taylor]: Taking taylor expansion of 1.0 in a
4.029 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in x
4.029 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
4.029 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
4.029 * [taylor]: Taking taylor expansion of 2 in x
4.029 * [taylor]: Taking taylor expansion of (* a x) in x
4.029 * [taylor]: Taking taylor expansion of a in x
4.029 * [taylor]: Taking taylor expansion of x in x
4.029 * [taylor]: Taking taylor expansion of 1.0 in x
4.029 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in x
4.029 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
4.029 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
4.029 * [taylor]: Taking taylor expansion of 2 in x
4.029 * [taylor]: Taking taylor expansion of (* a x) in x
4.029 * [taylor]: Taking taylor expansion of a in x
4.029 * [taylor]: Taking taylor expansion of x in x
4.030 * [taylor]: Taking taylor expansion of 1.0 in x
4.030 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in a
4.030 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
4.030 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
4.030 * [taylor]: Taking taylor expansion of 2 in a
4.030 * [taylor]: Taking taylor expansion of (* a x) in a
4.030 * [taylor]: Taking taylor expansion of a in a
4.030 * [taylor]: Taking taylor expansion of x in a
4.031 * [taylor]: Taking taylor expansion of 1.0 in a
4.032 * [taylor]: Taking taylor expansion of 0 in a
4.033 * [taylor]: Taking taylor expansion of 0 in a
4.034 * [taylor]: Taking taylor expansion of 0 in a
4.034 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
4.034 * [approximate]: Taking taylor expansion of (exp (* 2 (* a x))) in (x a) around 0
4.034 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in a
4.034 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
4.034 * [taylor]: Taking taylor expansion of 2 in a
4.034 * [taylor]: Taking taylor expansion of (* a x) in a
4.034 * [taylor]: Taking taylor expansion of a in a
4.034 * [taylor]: Taking taylor expansion of x in a
4.035 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
4.035 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
4.035 * [taylor]: Taking taylor expansion of 2 in x
4.035 * [taylor]: Taking taylor expansion of (* a x) in x
4.035 * [taylor]: Taking taylor expansion of a in x
4.035 * [taylor]: Taking taylor expansion of x in x
4.036 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
4.036 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
4.036 * [taylor]: Taking taylor expansion of 2 in x
4.036 * [taylor]: Taking taylor expansion of (* a x) in x
4.036 * [taylor]: Taking taylor expansion of a in x
4.036 * [taylor]: Taking taylor expansion of x in x
4.037 * [taylor]: Taking taylor expansion of 1 in a
4.037 * [taylor]: Taking taylor expansion of (* 2 a) in a
4.037 * [taylor]: Taking taylor expansion of 2 in a
4.037 * [taylor]: Taking taylor expansion of a in a
4.039 * [taylor]: Taking taylor expansion of (* 2 (pow a 2)) in a
4.039 * [taylor]: Taking taylor expansion of 2 in a
4.039 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.039 * [taylor]: Taking taylor expansion of a in a
4.041 * [taylor]: Taking taylor expansion of (* 4/3 (pow a 3)) in a
4.041 * [taylor]: Taking taylor expansion of 4/3 in a
4.041 * [taylor]: Taking taylor expansion of (pow a 3) in a
4.041 * [taylor]: Taking taylor expansion of a in a
4.045 * [taylor]: Taking taylor expansion of (* 2/3 (pow a 4)) in a
4.045 * [taylor]: Taking taylor expansion of 2/3 in a
4.045 * [taylor]: Taking taylor expansion of (pow a 4) in a
4.045 * [taylor]: Taking taylor expansion of a in a
4.046 * [approximate]: Taking taylor expansion of (exp (/ 2 (* a x))) in (x a) around 0
4.046 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
4.046 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
4.046 * [taylor]: Taking taylor expansion of 2 in a
4.046 * [taylor]: Taking taylor expansion of (* a x) in a
4.046 * [taylor]: Taking taylor expansion of a in a
4.046 * [taylor]: Taking taylor expansion of x in a
4.047 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
4.047 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
4.047 * [taylor]: Taking taylor expansion of 2 in x
4.047 * [taylor]: Taking taylor expansion of (* a x) in x
4.047 * [taylor]: Taking taylor expansion of a in x
4.047 * [taylor]: Taking taylor expansion of x in x
4.047 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
4.047 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
4.047 * [taylor]: Taking taylor expansion of 2 in x
4.047 * [taylor]: Taking taylor expansion of (* a x) in x
4.047 * [taylor]: Taking taylor expansion of a in x
4.047 * [taylor]: Taking taylor expansion of x in x
4.048 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
4.048 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
4.048 * [taylor]: Taking taylor expansion of 2 in a
4.048 * [taylor]: Taking taylor expansion of (* a x) in a
4.048 * [taylor]: Taking taylor expansion of a in a
4.048 * [taylor]: Taking taylor expansion of x in a
4.048 * [taylor]: Taking taylor expansion of 0 in a
4.048 * [taylor]: Taking taylor expansion of 0 in a
4.048 * [taylor]: Taking taylor expansion of 0 in a
4.048 * [approximate]: Taking taylor expansion of (exp (/ 2 (* a x))) in (x a) around 0
4.048 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
4.048 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
4.048 * [taylor]: Taking taylor expansion of 2 in a
4.048 * [taylor]: Taking taylor expansion of (* a x) in a
4.048 * [taylor]: Taking taylor expansion of a in a
4.048 * [taylor]: Taking taylor expansion of x in a
4.049 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
4.049 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
4.049 * [taylor]: Taking taylor expansion of 2 in x
4.049 * [taylor]: Taking taylor expansion of (* a x) in x
4.049 * [taylor]: Taking taylor expansion of a in x
4.049 * [taylor]: Taking taylor expansion of x in x
4.049 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
4.049 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
4.049 * [taylor]: Taking taylor expansion of 2 in x
4.049 * [taylor]: Taking taylor expansion of (* a x) in x
4.049 * [taylor]: Taking taylor expansion of a in x
4.049 * [taylor]: Taking taylor expansion of x in x
4.050 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
4.050 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
4.050 * [taylor]: Taking taylor expansion of 2 in a
4.050 * [taylor]: Taking taylor expansion of (* a x) in a
4.050 * [taylor]: Taking taylor expansion of a in a
4.050 * [taylor]: Taking taylor expansion of x in a
4.050 * [taylor]: Taking taylor expansion of 0 in a
4.050 * [taylor]: Taking taylor expansion of 0 in a
4.050 * [taylor]: Taking taylor expansion of 0 in a
4.050 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
4.051 * [approximate]: Taking taylor expansion of (exp (* a x)) in (x a) around 0
4.051 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
4.051 * [taylor]: Taking taylor expansion of (* a x) in a
4.051 * [taylor]: Taking taylor expansion of a in a
4.051 * [taylor]: Taking taylor expansion of x in a
4.051 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
4.051 * [taylor]: Taking taylor expansion of (* a x) in x
4.051 * [taylor]: Taking taylor expansion of a in x
4.051 * [taylor]: Taking taylor expansion of x in x
4.051 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
4.051 * [taylor]: Taking taylor expansion of (* a x) in x
4.051 * [taylor]: Taking taylor expansion of a in x
4.051 * [taylor]: Taking taylor expansion of x in x
4.052 * [taylor]: Taking taylor expansion of 1 in a
4.052 * [taylor]: Taking taylor expansion of a in a
4.053 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
4.053 * [taylor]: Taking taylor expansion of 1/2 in a
4.053 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.053 * [taylor]: Taking taylor expansion of a in a
4.054 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a
4.054 * [taylor]: Taking taylor expansion of 1/6 in a
4.054 * [taylor]: Taking taylor expansion of (pow a 3) in a
4.054 * [taylor]: Taking taylor expansion of a in a
4.056 * [taylor]: Taking taylor expansion of (* 1/24 (pow a 4)) in a
4.057 * [taylor]: Taking taylor expansion of 1/24 in a
4.057 * [taylor]: Taking taylor expansion of (pow a 4) in a
4.057 * [taylor]: Taking taylor expansion of a in a
4.058 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (x a) around 0
4.058 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
4.058 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
4.058 * [taylor]: Taking taylor expansion of (* a x) in a
4.058 * [taylor]: Taking taylor expansion of a in a
4.058 * [taylor]: Taking taylor expansion of x in a
4.058 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
4.058 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
4.058 * [taylor]: Taking taylor expansion of (* a x) in x
4.058 * [taylor]: Taking taylor expansion of a in x
4.058 * [taylor]: Taking taylor expansion of x in x
4.058 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
4.058 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
4.059 * [taylor]: Taking taylor expansion of (* a x) in x
4.059 * [taylor]: Taking taylor expansion of a in x
4.059 * [taylor]: Taking taylor expansion of x in x
4.059 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
4.059 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
4.059 * [taylor]: Taking taylor expansion of (* a x) in a
4.059 * [taylor]: Taking taylor expansion of a in a
4.059 * [taylor]: Taking taylor expansion of x in a
4.063 * [taylor]: Taking taylor expansion of 0 in a
4.063 * [taylor]: Taking taylor expansion of 0 in a
4.063 * [taylor]: Taking taylor expansion of 0 in a
4.063 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (x a) around 0
4.063 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
4.063 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
4.063 * [taylor]: Taking taylor expansion of (* a x) in a
4.063 * [taylor]: Taking taylor expansion of a in a
4.063 * [taylor]: Taking taylor expansion of x in a
4.063 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
4.063 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
4.063 * [taylor]: Taking taylor expansion of (* a x) in x
4.063 * [taylor]: Taking taylor expansion of a in x
4.063 * [taylor]: Taking taylor expansion of x in x
4.064 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
4.064 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
4.064 * [taylor]: Taking taylor expansion of (* a x) in x
4.064 * [taylor]: Taking taylor expansion of a in x
4.064 * [taylor]: Taking taylor expansion of x in x
4.064 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
4.064 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
4.064 * [taylor]: Taking taylor expansion of (* a x) in a
4.064 * [taylor]: Taking taylor expansion of a in a
4.064 * [taylor]: Taking taylor expansion of x in a
4.065 * [taylor]: Taking taylor expansion of 0 in a
4.065 * [taylor]: Taking taylor expansion of 0 in a
4.065 * [taylor]: Taking taylor expansion of 0 in a
4.065 * * * * [progress]: [ 4 / 4 ] generating series at (2)
4.065 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2 (* a x))) 1.0) (+ (exp (* a x)) 1.0)) in (x a) around 0
4.065 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (* a x))) 1.0) (+ (exp (* a x)) 1.0)) in a
4.065 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1.0) in a
4.065 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in a
4.065 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
4.065 * [taylor]: Taking taylor expansion of 2 in a
4.066 * [taylor]: Taking taylor expansion of (* a x) in a
4.066 * [taylor]: Taking taylor expansion of a in a
4.066 * [taylor]: Taking taylor expansion of x in a
4.066 * [taylor]: Taking taylor expansion of 1.0 in a
4.066 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1.0) in a
4.066 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
4.066 * [taylor]: Taking taylor expansion of (* a x) in a
4.066 * [taylor]: Taking taylor expansion of a in a
4.066 * [taylor]: Taking taylor expansion of x in a
4.067 * [taylor]: Taking taylor expansion of 1.0 in a
4.068 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (* a x))) 1.0) (+ (exp (* a x)) 1.0)) in x
4.068 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1.0) in x
4.068 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
4.068 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
4.068 * [taylor]: Taking taylor expansion of 2 in x
4.068 * [taylor]: Taking taylor expansion of (* a x) in x
4.068 * [taylor]: Taking taylor expansion of a in x
4.068 * [taylor]: Taking taylor expansion of x in x
4.069 * [taylor]: Taking taylor expansion of 1.0 in x
4.069 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1.0) in x
4.069 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
4.069 * [taylor]: Taking taylor expansion of (* a x) in x
4.069 * [taylor]: Taking taylor expansion of a in x
4.069 * [taylor]: Taking taylor expansion of x in x
4.070 * [taylor]: Taking taylor expansion of 1.0 in x
4.071 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (* a x))) 1.0) (+ (exp (* a x)) 1.0)) in x
4.071 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1.0) in x
4.071 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
4.071 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
4.071 * [taylor]: Taking taylor expansion of 2 in x
4.071 * [taylor]: Taking taylor expansion of (* a x) in x
4.071 * [taylor]: Taking taylor expansion of a in x
4.071 * [taylor]: Taking taylor expansion of x in x
4.072 * [taylor]: Taking taylor expansion of 1.0 in x
4.072 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1.0) in x
4.072 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
4.072 * [taylor]: Taking taylor expansion of (* a x) in x
4.072 * [taylor]: Taking taylor expansion of a in x
4.072 * [taylor]: Taking taylor expansion of x in x
4.073 * [taylor]: Taking taylor expansion of 1.0 in x
4.074 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
4.074 * [taylor]: Taking taylor expansion of 1.0 in a
4.074 * [taylor]: Taking taylor expansion of a in a
4.077 * [taylor]: Taking taylor expansion of (* 0.5 (pow a 2)) in a
4.077 * [taylor]: Taking taylor expansion of 0.5 in a
4.077 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.077 * [taylor]: Taking taylor expansion of a in a
4.081 * [taylor]: Taking taylor expansion of (* 0.16666666666666663 (pow a 3)) in a
4.081 * [taylor]: Taking taylor expansion of 0.16666666666666663 in a
4.081 * [taylor]: Taking taylor expansion of (pow a 3) in a
4.081 * [taylor]: Taking taylor expansion of a in a
4.088 * [taylor]: Taking taylor expansion of (* 0.041666666666666685 (pow a 4)) in a
4.088 * [taylor]: Taking taylor expansion of 0.041666666666666685 in a
4.088 * [taylor]: Taking taylor expansion of (pow a 4) in a
4.088 * [taylor]: Taking taylor expansion of a in a
4.097 * [taylor]: Taking taylor expansion of (* 0.008333333333333331 (pow a 5)) in a
4.097 * [taylor]: Taking taylor expansion of 0.008333333333333331 in a
4.097 * [taylor]: Taking taylor expansion of (pow a 5) in a
4.097 * [taylor]: Taking taylor expansion of a in a
4.099 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in (x a) around 0
4.099 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in a
4.099 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in a
4.099 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
4.099 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
4.099 * [taylor]: Taking taylor expansion of 2 in a
4.099 * [taylor]: Taking taylor expansion of (* a x) in a
4.099 * [taylor]: Taking taylor expansion of a in a
4.099 * [taylor]: Taking taylor expansion of x in a
4.099 * [taylor]: Taking taylor expansion of 1.0 in a
4.099 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1.0) in a
4.099 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
4.099 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
4.099 * [taylor]: Taking taylor expansion of (* a x) in a
4.099 * [taylor]: Taking taylor expansion of a in a
4.099 * [taylor]: Taking taylor expansion of x in a
4.100 * [taylor]: Taking taylor expansion of 1.0 in a
4.100 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in x
4.100 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in x
4.101 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
4.101 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
4.101 * [taylor]: Taking taylor expansion of 2 in x
4.101 * [taylor]: Taking taylor expansion of (* a x) in x
4.101 * [taylor]: Taking taylor expansion of a in x
4.101 * [taylor]: Taking taylor expansion of x in x
4.101 * [taylor]: Taking taylor expansion of 1.0 in x
4.101 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1.0) in x
4.101 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
4.101 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
4.101 * [taylor]: Taking taylor expansion of (* a x) in x
4.101 * [taylor]: Taking taylor expansion of a in x
4.101 * [taylor]: Taking taylor expansion of x in x
4.101 * [taylor]: Taking taylor expansion of 1.0 in x
4.102 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in x
4.102 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in x
4.102 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
4.102 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
4.102 * [taylor]: Taking taylor expansion of 2 in x
4.102 * [taylor]: Taking taylor expansion of (* a x) in x
4.102 * [taylor]: Taking taylor expansion of a in x
4.102 * [taylor]: Taking taylor expansion of x in x
4.103 * [taylor]: Taking taylor expansion of 1.0 in x
4.103 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1.0) in x
4.103 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
4.103 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
4.103 * [taylor]: Taking taylor expansion of (* a x) in x
4.103 * [taylor]: Taking taylor expansion of a in x
4.103 * [taylor]: Taking taylor expansion of x in x
4.103 * [taylor]: Taking taylor expansion of 1.0 in x
4.104 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in a
4.104 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in a
4.104 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
4.104 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
4.104 * [taylor]: Taking taylor expansion of 2 in a
4.104 * [taylor]: Taking taylor expansion of (* a x) in a
4.104 * [taylor]: Taking taylor expansion of a in a
4.104 * [taylor]: Taking taylor expansion of x in a
4.104 * [taylor]: Taking taylor expansion of 1.0 in a
4.105 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1.0) in a
4.105 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
4.105 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
4.105 * [taylor]: Taking taylor expansion of (* a x) in a
4.105 * [taylor]: Taking taylor expansion of a in a
4.105 * [taylor]: Taking taylor expansion of x in a
4.105 * [taylor]: Taking taylor expansion of 1.0 in a
4.107 * [taylor]: Taking taylor expansion of 0 in a
4.109 * [taylor]: Taking taylor expansion of 0 in a
4.111 * [taylor]: Taking taylor expansion of 0 in a
4.112 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in (x a) around 0
4.112 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in a
4.112 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in a
4.112 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
4.112 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
4.112 * [taylor]: Taking taylor expansion of 2 in a
4.112 * [taylor]: Taking taylor expansion of (* a x) in a
4.112 * [taylor]: Taking taylor expansion of a in a
4.112 * [taylor]: Taking taylor expansion of x in a
4.112 * [taylor]: Taking taylor expansion of 1.0 in a
4.112 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1.0) in a
4.112 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
4.112 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
4.112 * [taylor]: Taking taylor expansion of (* a x) in a
4.112 * [taylor]: Taking taylor expansion of a in a
4.112 * [taylor]: Taking taylor expansion of x in a
4.113 * [taylor]: Taking taylor expansion of 1.0 in a
4.113 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in x
4.113 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in x
4.113 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
4.113 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
4.113 * [taylor]: Taking taylor expansion of 2 in x
4.113 * [taylor]: Taking taylor expansion of (* a x) in x
4.113 * [taylor]: Taking taylor expansion of a in x
4.113 * [taylor]: Taking taylor expansion of x in x
4.114 * [taylor]: Taking taylor expansion of 1.0 in x
4.114 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1.0) in x
4.114 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
4.114 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
4.114 * [taylor]: Taking taylor expansion of (* a x) in x
4.114 * [taylor]: Taking taylor expansion of a in x
4.114 * [taylor]: Taking taylor expansion of x in x
4.114 * [taylor]: Taking taylor expansion of 1.0 in x
4.115 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in x
4.115 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in x
4.115 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
4.115 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
4.115 * [taylor]: Taking taylor expansion of 2 in x
4.115 * [taylor]: Taking taylor expansion of (* a x) in x
4.115 * [taylor]: Taking taylor expansion of a in x
4.115 * [taylor]: Taking taylor expansion of x in x
4.115 * [taylor]: Taking taylor expansion of 1.0 in x
4.115 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1.0) in x
4.115 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
4.115 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
4.116 * [taylor]: Taking taylor expansion of (* a x) in x
4.116 * [taylor]: Taking taylor expansion of a in x
4.116 * [taylor]: Taking taylor expansion of x in x
4.116 * [taylor]: Taking taylor expansion of 1.0 in x
4.117 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1.0) (+ (exp (/ 1 (* a x))) 1.0)) in a
4.117 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1.0) in a
4.117 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
4.117 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
4.117 * [taylor]: Taking taylor expansion of 2 in a
4.117 * [taylor]: Taking taylor expansion of (* a x) in a
4.117 * [taylor]: Taking taylor expansion of a in a
4.117 * [taylor]: Taking taylor expansion of x in a
4.117 * [taylor]: Taking taylor expansion of 1.0 in a
4.117 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1.0) in a
4.117 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
4.117 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
4.117 * [taylor]: Taking taylor expansion of (* a x) in a
4.117 * [taylor]: Taking taylor expansion of a in a
4.117 * [taylor]: Taking taylor expansion of x in a
4.118 * [taylor]: Taking taylor expansion of 1.0 in a
4.119 * [taylor]: Taking taylor expansion of 0 in a
4.122 * [taylor]: Taking taylor expansion of 0 in a
4.124 * [taylor]: Taking taylor expansion of 0 in a
4.124 * * * [progress]: simplifying candidates
4.125 * [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))))
  (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 (exp (* x a)))
  (log1p (exp (* x a)))
  (exp x)
  (log (exp (* x a)))
  (exp (exp (* x a)))
  (* (cbrt (exp (* x a))) (cbrt (exp (* x a))))
  (cbrt (exp (* x a)))
  (* (* (exp (* x a)) (exp (* x a))) (exp (* x a)))
  (sqrt (exp (* x a)))
  (sqrt (exp (* x a)))
  (expm1 (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))))
  (log1p (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))))
  (- (log (- (exp (* 2 (* x a))) (* 1.0 1.0))) (log (+ 1.0 (exp (* x a)))))
  (log (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))))
  (exp (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))))
  (/ (* (* (- (exp (* 2 (* x a))) (* 1.0 1.0)) (- (exp (* 2 (* x a))) (* 1.0 1.0))) (- (exp (* 2 (* x a))) (* 1.0 1.0))) (* (* (+ 1.0 (exp (* x a))) (+ 1.0 (exp (* x a)))) (+ 1.0 (exp (* x a)))))
  (* (cbrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a))))) (cbrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a))))))
  (cbrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))))
  (* (* (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))) (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a))))) (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))))
  (sqrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))))
  (sqrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))))
  (- (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (- (+ 1.0 (exp (* x a))))
  (/ (exp (* 2 (* x a))) (+ 1.0 (exp (* x a))))
  (/ (* 1.0 1.0) (+ 1.0 (exp (* x a))))
  (/ (* (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))) (* (cbrt (+ 1.0 (exp (* x a)))) (cbrt (+ 1.0 (exp (* x a))))))
  (/ (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (+ 1.0 (exp (* x a)))))
  (/ (* (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))) (sqrt (+ 1.0 (exp (* x a)))))
  (/ (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (sqrt (+ 1.0 (exp (* x a)))))
  (/ (* (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))) (+ 1.0 (exp (* x a))))
  (/ (* (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))) (+ 1.0 (exp (* x a))))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (* (cbrt (+ 1.0 (exp (* x a)))) (cbrt (+ 1.0 (exp (* x a))))))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (+ 1.0 (exp (* x a)))))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (sqrt (+ 1.0 (exp (* x a)))))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (sqrt (+ 1.0 (exp (* x a)))))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) 1)
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (+ 1.0 (exp (* x a))))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) 1)
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (+ 1.0 (exp (* x a))))
  (/ 1 (* (cbrt (+ 1.0 (exp (* x a)))) (cbrt (+ 1.0 (exp (* x a))))))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (cbrt (+ 1.0 (exp (* x a)))))
  (/ 1 (sqrt (+ 1.0 (exp (* x a)))))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (sqrt (+ 1.0 (exp (* x a)))))
  (/ 1 1)
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a))))
  (/ 1 1)
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a))))
  (/ (+ (sqrt (exp (* 2 (* x a)))) 1.0) (* (cbrt (+ 1.0 (exp (* x a)))) (cbrt (+ 1.0 (exp (* x a))))))
  (/ (- (sqrt (exp (* 2 (* x a)))) 1.0) (cbrt (+ 1.0 (exp (* x a)))))
  (/ (+ (sqrt (exp (* 2 (* x a)))) 1.0) (sqrt (+ 1.0 (exp (* x a)))))
  (/ (- (sqrt (exp (* 2 (* x a)))) 1.0) (sqrt (+ 1.0 (exp (* x a)))))
  (/ (+ (sqrt (exp (* 2 (* x a)))) 1.0) 1)
  (/ (- (sqrt (exp (* 2 (* x a)))) 1.0) (+ 1.0 (exp (* x a))))
  (/ (+ (sqrt (exp (* 2 (* x a)))) 1.0) 1)
  (/ (- (sqrt (exp (* 2 (* x a)))) 1.0) (+ 1.0 (exp (* x a))))
  (/ 1 (+ 1.0 (exp (* x a))))
  (/ (+ 1.0 (exp (* x a))) (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (* (cbrt (+ 1.0 (exp (* x a)))) (cbrt (+ 1.0 (exp (* x a))))))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (sqrt (+ 1.0 (exp (* x a)))))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) 1)
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) 1)
  (/ (+ 1.0 (exp (* x a))) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))))
  (/ (+ 1.0 (exp (* x a))) (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))))
  (/ (+ 1.0 (exp (* x a))) (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (/ (+ 1.0 (exp (* x a))) (- (sqrt (exp (* 2 (* x a)))) 1.0))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (pow 1.0 3) (pow (exp (* x a)) 3)))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (- (* 1.0 1.0) (* (exp (* x a)) (exp (* x a)))))
  (* (+ 1.0 (exp (* x a))) (+ (* (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 (exp (* x a))) (+ (exp (* 2 (* x a))) (* 1.0 1.0)))
  (+ (* 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)
  (+ (* 2 (* (pow a 2) (pow x 2))) (+ (* 2 (* a x)) 1))
  (exp (* 2 (* a x)))
  (exp (* 2 (* a x)))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) 1))
  (exp (* a x))
  (exp (* a x))
  (+ (* 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))
4.130 * * [simplify]: iteration  0 :  151  enodes  (cost  1798 )
4.157 * * [simplify]: iteration  1 :  373  enodes  (cost  1730 )
4.243 * * [simplify]: iteration  2 :  1090  enodes  (cost  1598 )
4.782 * * [simplify]: iteration  3 :  4982  enodes  (cost  1544 )
6.100 * * [simplify]: iteration  done :  5000  enodes  (cost  1544 )
6.100 * [simplify]: Simplified to:
   (fma (- 1.0) 1.0 (pow (cbrt (exp (* 2 (* x a)))) 3))
  (* 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 (* a x))) (* 1.0 1.0)))
  (log (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (exp (- (exp (* 2 (* a x))) (* 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)))
  (- (exp (* (* a x) 6)) (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 (fabs (exp (* x a))))
  (- (fabs (exp (* x a))) 1.0)
  (- (* 1.0 1.0))
  (expm1 (exp (* 2 (* x a))))
  (log1p (exp (* 2 (* x a))))
  (exp 2)
  (* a (+ x x))
  (exp (exp (* 2 (* x a))))
  (* (cbrt (exp (* 2 (* x a)))) (cbrt (exp (* 2 (* x a)))))
  (cbrt (exp (* 2 (* x a))))
  (exp (* (* a x) 6))
  (fabs (exp (* x a)))
  (fabs (exp (* x a)))
  (expm1 (exp (* x a)))
  (log1p (exp (* x a)))
  (exp x)
  (* a x)
  (exp (exp (* x a)))
  (* (cbrt (exp (* x a))) (cbrt (exp (* x a))))
  (cbrt (exp (* x a)))
  (pow (exp (* x a)) 3)
  (sqrt (exp (* x a)))
  (sqrt (exp (* x a)))
  (expm1 (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))))
  (log1p (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))))
  (log (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))))
  (log (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))))
  (exp (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))))
  (pow (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))) 3)
  (* (cbrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a))))) (cbrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a))))))
  (cbrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))))
  (pow (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))) 3)
  (sqrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))))
  (sqrt (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a)))))
  (fma 1.0 1.0 (- (exp (* 2 (* x a)))))
  (- (+ 1.0 (exp (* x a))))
  (/ (exp (* 2 (* x a))) (+ 1.0 (exp (* x a))))
  (/ (* 1.0 1.0) (+ 1.0 (exp (* x a))))
  (/ (* (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))) (* (cbrt (+ 1.0 (exp (* x a)))) (cbrt (+ 1.0 (exp (* x a))))))
  (/ (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (+ 1.0 (exp (* x a)))))
  (/ (* (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))) (sqrt (+ 1.0 (exp (* x a)))))
  (/ (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (sqrt (+ 1.0 (exp (* x a)))))
  (* (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))) (+ 1.0 (exp (* x a))))
  (* (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))) (+ 1.0 (exp (* x a))))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (* (cbrt (+ 1.0 (exp (* x a)))) (cbrt (+ 1.0 (exp (* x a))))))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (cbrt (+ 1.0 (exp (* x a)))))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (sqrt (+ 1.0 (exp (* x a)))))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (sqrt (+ 1.0 (exp (* x a)))))
  (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (+ 1.0 (exp (* x a))))
  (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (/ (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))) (+ 1.0 (exp (* x a))))
  (/ 1 (* (cbrt (+ 1.0 (exp (* x a)))) (cbrt (+ 1.0 (exp (* x a))))))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (cbrt (+ 1.0 (exp (* x a)))))
  (/ 1 (sqrt (+ 1.0 (exp (* x a)))))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (sqrt (+ 1.0 (exp (* x a)))))
  1
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a))))
  1
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ 1.0 (exp (* x a))))
  (/ (+ 1.0 (fabs (exp (* x a)))) (* (cbrt (+ 1.0 (exp (* x a)))) (cbrt (+ 1.0 (exp (* x a))))))
  (/ (- (fabs (exp (* x a))) 1.0) (cbrt (+ 1.0 (exp (* x a)))))
  (/ (+ 1.0 (fabs (exp (* x a)))) (sqrt (+ 1.0 (exp (* x a)))))
  (/ (- (fabs (exp (* x a))) 1.0) (sqrt (+ 1.0 (exp (* x a)))))
  (+ 1.0 (fabs (exp (* x a))))
  (/ (- (fabs (exp (* x a))) 1.0) (+ (exp (* a x)) 1.0))
  (+ 1.0 (fabs (exp (* x a))))
  (/ (- (fabs (exp (* x a))) 1.0) (+ (exp (* a x)) 1.0))
  (/ 1 (+ 1.0 (exp (* x a))))
  (/ (+ 1.0 (exp (* x a))) (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (* (cbrt (+ 1.0 (exp (* x a)))) (cbrt (+ 1.0 (exp (* x a))))))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (sqrt (+ 1.0 (exp (* x a)))))
  (- (exp (* 2 (* x a))) (* 1.0 1.0))
  (- (exp (* 2 (* x a))) (* 1.0 1.0))
  (/ (+ 1.0 (exp (* x a))) (cbrt (- (exp (* 2 (* x a))) (* 1.0 1.0))))
  (/ (+ 1.0 (exp (* x a))) (sqrt (- (exp (* 2 (* x a))) (* 1.0 1.0))))
  (/ (+ 1.0 (exp (* x a))) (- (exp (* 2 (* x a))) (* 1.0 1.0)))
  (/ (+ (exp (* a x)) 1.0) (- (fabs (exp (* x a))) 1.0))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (pow 1.0 3) (pow (exp (* x a)) 3)))
  (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (- (* 1.0 1.0) (exp (* 2 (* x a)))))
  (* (+ (exp (* a x)) 1.0) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4))))
  (* (fma 1.0 1.0 (exp (* 2 (* x a)))) (+ (exp (* a x)) 1.0))
  (fma 2 (* (fma a x 1) (* a x)) (* 4/3 (* (pow a 3) (pow x 3))))
  (- (exp (* 2 (* a x))) 1.0)
  (- (exp (* 2 (* a x))) 1.0)
  (fma 2 (* (fma a x 1) (* a x)) 1)
  (exp (* a (* 2 x)))
  (exp (* a (* 2 x)))
  (fma 1/2 (* (pow a 2) (pow x 2)) (fma a x 1))
  (exp (* x a))
  (exp (* x a))
  (fma 0.16666666666666663 (* (pow a 3) (pow x 3)) (* x (+ (* (* 0.5 (pow a 2)) x) (* 1.0 a))))
  (/ (- (exp (* 2 (* a x))) 1.0) (+ (exp (* a x)) 1.0))
  (/ (- (exp (* 2 (* a x))) 1.0) (+ (exp (* a x)) 1.0))
6.101 * * * [progress]: adding candidates to table
6.358 * * [progress]: iteration 3 / 4
6.358 * * * [progress]: picking best candidate
6.370 * * * * [pick]: Picked  #<alt (λ (a x) (/ (/ (- (exp (* (* a x) 6)) (pow 1.0 6)) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))>
6.370 * * * [progress]: localizing error
6.392 * * * [progress]: generating rewritten candidates
6.393 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
6.400 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
6.407 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 3)
6.409 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
6.412 * * * [progress]: generating series expansions
6.412 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
6.413 * [approximate]: Taking taylor expansion of (- (exp (* 6 (* a x))) 1.0) in (a x) around 0
6.413 * [taylor]: Taking taylor expansion of (- (exp (* 6 (* a x))) 1.0) in x
6.413 * [taylor]: Taking taylor expansion of (exp (* 6 (* a x))) in x
6.413 * [taylor]: Taking taylor expansion of (* 6 (* a x)) in x
6.413 * [taylor]: Taking taylor expansion of 6 in x
6.413 * [taylor]: Taking taylor expansion of (* a x) in x
6.413 * [taylor]: Taking taylor expansion of a in x
6.413 * [taylor]: Taking taylor expansion of x in x
6.414 * [taylor]: Taking taylor expansion of 1.0 in x
6.414 * [taylor]: Taking taylor expansion of (- (exp (* 6 (* a x))) 1.0) in a
6.414 * [taylor]: Taking taylor expansion of (exp (* 6 (* a x))) in a
6.414 * [taylor]: Taking taylor expansion of (* 6 (* a x)) in a
6.414 * [taylor]: Taking taylor expansion of 6 in a
6.414 * [taylor]: Taking taylor expansion of (* a x) in a
6.414 * [taylor]: Taking taylor expansion of a in a
6.414 * [taylor]: Taking taylor expansion of x in a
6.415 * [taylor]: Taking taylor expansion of 1.0 in a
6.415 * [taylor]: Taking taylor expansion of (- (exp (* 6 (* a x))) 1.0) in a
6.415 * [taylor]: Taking taylor expansion of (exp (* 6 (* a x))) in a
6.415 * [taylor]: Taking taylor expansion of (* 6 (* a x)) in a
6.415 * [taylor]: Taking taylor expansion of 6 in a
6.415 * [taylor]: Taking taylor expansion of (* a x) in a
6.415 * [taylor]: Taking taylor expansion of a in a
6.415 * [taylor]: Taking taylor expansion of x in a
6.416 * [taylor]: Taking taylor expansion of 1.0 in a
6.417 * [taylor]: Taking taylor expansion of 0 in x
6.417 * [taylor]: Taking taylor expansion of (* 6 x) in x
6.417 * [taylor]: Taking taylor expansion of 6 in x
6.417 * [taylor]: Taking taylor expansion of x in x
6.420 * [taylor]: Taking taylor expansion of (* 18 (pow x 2)) in x
6.420 * [taylor]: Taking taylor expansion of 18 in x
6.420 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.420 * [taylor]: Taking taylor expansion of x in x
6.423 * [taylor]: Taking taylor expansion of (* 36 (pow x 3)) in x
6.423 * [taylor]: Taking taylor expansion of 36 in x
6.423 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.423 * [taylor]: Taking taylor expansion of x in x
6.428 * [taylor]: Taking taylor expansion of (* 54 (pow x 4)) in x
6.428 * [taylor]: Taking taylor expansion of 54 in x
6.428 * [taylor]: Taking taylor expansion of (pow x 4) in x
6.428 * [taylor]: Taking taylor expansion of x in x
6.437 * [taylor]: Taking taylor expansion of (* 324/5 (pow x 5)) in x
6.437 * [taylor]: Taking taylor expansion of 324/5 in x
6.437 * [taylor]: Taking taylor expansion of (pow x 5) in x
6.437 * [taylor]: Taking taylor expansion of x in x
6.446 * [taylor]: Taking taylor expansion of (* 324/5 (pow x 6)) in x
6.447 * [taylor]: Taking taylor expansion of 324/5 in x
6.447 * [taylor]: Taking taylor expansion of (pow x 6) in x
6.447 * [taylor]: Taking taylor expansion of x in x
6.448 * [approximate]: Taking taylor expansion of (- (exp (/ 6 (* a x))) 1.0) in (a x) around 0
6.448 * [taylor]: Taking taylor expansion of (- (exp (/ 6 (* a x))) 1.0) in x
6.448 * [taylor]: Taking taylor expansion of (exp (/ 6 (* a x))) in x
6.448 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in x
6.448 * [taylor]: Taking taylor expansion of 6 in x
6.448 * [taylor]: Taking taylor expansion of (* a x) in x
6.448 * [taylor]: Taking taylor expansion of a in x
6.448 * [taylor]: Taking taylor expansion of x in x
6.449 * [taylor]: Taking taylor expansion of 1.0 in x
6.449 * [taylor]: Taking taylor expansion of (- (exp (/ 6 (* a x))) 1.0) in a
6.449 * [taylor]: Taking taylor expansion of (exp (/ 6 (* a x))) in a
6.449 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in a
6.449 * [taylor]: Taking taylor expansion of 6 in a
6.449 * [taylor]: Taking taylor expansion of (* a x) in a
6.449 * [taylor]: Taking taylor expansion of a in a
6.449 * [taylor]: Taking taylor expansion of x in a
6.449 * [taylor]: Taking taylor expansion of 1.0 in a
6.449 * [taylor]: Taking taylor expansion of (- (exp (/ 6 (* a x))) 1.0) in a
6.449 * [taylor]: Taking taylor expansion of (exp (/ 6 (* a x))) in a
6.449 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in a
6.449 * [taylor]: Taking taylor expansion of 6 in a
6.449 * [taylor]: Taking taylor expansion of (* a x) in a
6.449 * [taylor]: Taking taylor expansion of a in a
6.449 * [taylor]: Taking taylor expansion of x in a
6.450 * [taylor]: Taking taylor expansion of 1.0 in a
6.450 * [taylor]: Taking taylor expansion of (- (exp (/ 6 (* a x))) 1.0) in x
6.450 * [taylor]: Taking taylor expansion of (exp (/ 6 (* a x))) in x
6.450 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in x
6.450 * [taylor]: Taking taylor expansion of 6 in x
6.450 * [taylor]: Taking taylor expansion of (* a x) in x
6.450 * [taylor]: Taking taylor expansion of a in x
6.450 * [taylor]: Taking taylor expansion of x in x
6.451 * [taylor]: Taking taylor expansion of 1.0 in x
6.452 * [taylor]: Taking taylor expansion of 0 in x
6.453 * [taylor]: Taking taylor expansion of 0 in x
6.454 * [taylor]: Taking taylor expansion of 0 in x
6.454 * [approximate]: Taking taylor expansion of (- (exp (/ 6 (* a x))) 1.0) in (a x) around 0
6.454 * [taylor]: Taking taylor expansion of (- (exp (/ 6 (* a x))) 1.0) in x
6.454 * [taylor]: Taking taylor expansion of (exp (/ 6 (* a x))) in x
6.454 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in x
6.454 * [taylor]: Taking taylor expansion of 6 in x
6.454 * [taylor]: Taking taylor expansion of (* a x) in x
6.454 * [taylor]: Taking taylor expansion of a in x
6.454 * [taylor]: Taking taylor expansion of x in x
6.455 * [taylor]: Taking taylor expansion of 1.0 in x
6.455 * [taylor]: Taking taylor expansion of (- (exp (/ 6 (* a x))) 1.0) in a
6.455 * [taylor]: Taking taylor expansion of (exp (/ 6 (* a x))) in a
6.455 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in a
6.455 * [taylor]: Taking taylor expansion of 6 in a
6.455 * [taylor]: Taking taylor expansion of (* a x) in a
6.455 * [taylor]: Taking taylor expansion of a in a
6.455 * [taylor]: Taking taylor expansion of x in a
6.455 * [taylor]: Taking taylor expansion of 1.0 in a
6.455 * [taylor]: Taking taylor expansion of (- (exp (/ 6 (* a x))) 1.0) in a
6.455 * [taylor]: Taking taylor expansion of (exp (/ 6 (* a x))) in a
6.455 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in a
6.455 * [taylor]: Taking taylor expansion of 6 in a
6.455 * [taylor]: Taking taylor expansion of (* a x) in a
6.455 * [taylor]: Taking taylor expansion of a in a
6.455 * [taylor]: Taking taylor expansion of x in a
6.456 * [taylor]: Taking taylor expansion of 1.0 in a
6.456 * [taylor]: Taking taylor expansion of (- (exp (/ 6 (* a x))) 1.0) in x
6.456 * [taylor]: Taking taylor expansion of (exp (/ 6 (* a x))) in x
6.456 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in x
6.456 * [taylor]: Taking taylor expansion of 6 in x
6.456 * [taylor]: Taking taylor expansion of (* a x) in x
6.457 * [taylor]: Taking taylor expansion of a in x
6.457 * [taylor]: Taking taylor expansion of x in x
6.457 * [taylor]: Taking taylor expansion of 1.0 in x
6.458 * [taylor]: Taking taylor expansion of 0 in x
6.459 * [taylor]: Taking taylor expansion of 0 in x
6.460 * [taylor]: Taking taylor expansion of 0 in x
6.460 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
6.460 * [approximate]: Taking taylor expansion of (* 6 (* a x)) in (a x) around 0
6.460 * [taylor]: Taking taylor expansion of (* 6 (* a x)) in x
6.460 * [taylor]: Taking taylor expansion of 6 in x
6.460 * [taylor]: Taking taylor expansion of (* a x) in x
6.460 * [taylor]: Taking taylor expansion of a in x
6.460 * [taylor]: Taking taylor expansion of x in x
6.460 * [taylor]: Taking taylor expansion of (* 6 (* a x)) in a
6.460 * [taylor]: Taking taylor expansion of 6 in a
6.460 * [taylor]: Taking taylor expansion of (* a x) in a
6.460 * [taylor]: Taking taylor expansion of a in a
6.460 * [taylor]: Taking taylor expansion of x in a
6.460 * [taylor]: Taking taylor expansion of (* 6 (* a x)) in a
6.460 * [taylor]: Taking taylor expansion of 6 in a
6.460 * [taylor]: Taking taylor expansion of (* a x) in a
6.460 * [taylor]: Taking taylor expansion of a in a
6.460 * [taylor]: Taking taylor expansion of x in a
6.461 * [taylor]: Taking taylor expansion of 0 in x
6.461 * [taylor]: Taking taylor expansion of (* 6 x) in x
6.461 * [taylor]: Taking taylor expansion of 6 in x
6.461 * [taylor]: Taking taylor expansion of x in x
6.462 * [taylor]: Taking taylor expansion of 0 in x
6.464 * [taylor]: Taking taylor expansion of 0 in x
6.467 * [taylor]: Taking taylor expansion of 0 in x
6.467 * [approximate]: Taking taylor expansion of (/ 6 (* a x)) in (a x) around 0
6.467 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in x
6.467 * [taylor]: Taking taylor expansion of 6 in x
6.467 * [taylor]: Taking taylor expansion of (* a x) in x
6.467 * [taylor]: Taking taylor expansion of a in x
6.467 * [taylor]: Taking taylor expansion of x in x
6.467 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in a
6.467 * [taylor]: Taking taylor expansion of 6 in a
6.467 * [taylor]: Taking taylor expansion of (* a x) in a
6.468 * [taylor]: Taking taylor expansion of a in a
6.468 * [taylor]: Taking taylor expansion of x in a
6.468 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in a
6.468 * [taylor]: Taking taylor expansion of 6 in a
6.468 * [taylor]: Taking taylor expansion of (* a x) in a
6.468 * [taylor]: Taking taylor expansion of a in a
6.468 * [taylor]: Taking taylor expansion of x in a
6.468 * [taylor]: Taking taylor expansion of (/ 6 x) in x
6.468 * [taylor]: Taking taylor expansion of 6 in x
6.468 * [taylor]: Taking taylor expansion of x in x
6.469 * [taylor]: Taking taylor expansion of 0 in x
6.470 * [taylor]: Taking taylor expansion of 0 in x
6.472 * [taylor]: Taking taylor expansion of 0 in x
6.473 * [approximate]: Taking taylor expansion of (/ 6 (* a x)) in (a x) around 0
6.473 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in x
6.473 * [taylor]: Taking taylor expansion of 6 in x
6.473 * [taylor]: Taking taylor expansion of (* a x) in x
6.473 * [taylor]: Taking taylor expansion of a in x
6.473 * [taylor]: Taking taylor expansion of x in x
6.473 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in a
6.473 * [taylor]: Taking taylor expansion of 6 in a
6.473 * [taylor]: Taking taylor expansion of (* a x) in a
6.473 * [taylor]: Taking taylor expansion of a in a
6.473 * [taylor]: Taking taylor expansion of x in a
6.474 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in a
6.474 * [taylor]: Taking taylor expansion of 6 in a
6.474 * [taylor]: Taking taylor expansion of (* a x) in a
6.474 * [taylor]: Taking taylor expansion of a in a
6.474 * [taylor]: Taking taylor expansion of x in a
6.474 * [taylor]: Taking taylor expansion of (/ 6 x) in x
6.474 * [taylor]: Taking taylor expansion of 6 in x
6.474 * [taylor]: Taking taylor expansion of x in x
6.475 * [taylor]: Taking taylor expansion of 0 in x
6.476 * [taylor]: Taking taylor expansion of 0 in x
6.478 * [taylor]: Taking taylor expansion of 0 in x
6.479 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 3)
6.479 * [approximate]: Taking taylor expansion of (exp (* 2 (* a x))) in (x a) around 0
6.479 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in a
6.479 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
6.479 * [taylor]: Taking taylor expansion of 2 in a
6.479 * [taylor]: Taking taylor expansion of (* a x) in a
6.479 * [taylor]: Taking taylor expansion of a in a
6.479 * [taylor]: Taking taylor expansion of x in a
6.480 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
6.480 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
6.480 * [taylor]: Taking taylor expansion of 2 in x
6.480 * [taylor]: Taking taylor expansion of (* a x) in x
6.480 * [taylor]: Taking taylor expansion of a in x
6.480 * [taylor]: Taking taylor expansion of x in x
6.481 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
6.481 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
6.481 * [taylor]: Taking taylor expansion of 2 in x
6.481 * [taylor]: Taking taylor expansion of (* a x) in x
6.481 * [taylor]: Taking taylor expansion of a in x
6.481 * [taylor]: Taking taylor expansion of x in x
6.482 * [taylor]: Taking taylor expansion of 1 in a
6.482 * [taylor]: Taking taylor expansion of (* 2 a) in a
6.482 * [taylor]: Taking taylor expansion of 2 in a
6.482 * [taylor]: Taking taylor expansion of a in a
6.483 * [taylor]: Taking taylor expansion of (* 2 (pow a 2)) in a
6.483 * [taylor]: Taking taylor expansion of 2 in a
6.483 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.484 * [taylor]: Taking taylor expansion of a in a
6.486 * [taylor]: Taking taylor expansion of (* 4/3 (pow a 3)) in a
6.486 * [taylor]: Taking taylor expansion of 4/3 in a
6.486 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.486 * [taylor]: Taking taylor expansion of a in a
6.490 * [taylor]: Taking taylor expansion of (* 2/3 (pow a 4)) in a
6.490 * [taylor]: Taking taylor expansion of 2/3 in a
6.490 * [taylor]: Taking taylor expansion of (pow a 4) in a
6.490 * [taylor]: Taking taylor expansion of a in a
6.491 * [approximate]: Taking taylor expansion of (exp (/ 2 (* a x))) in (x a) around 0
6.491 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
6.491 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
6.491 * [taylor]: Taking taylor expansion of 2 in a
6.491 * [taylor]: Taking taylor expansion of (* a x) in a
6.491 * [taylor]: Taking taylor expansion of a in a
6.491 * [taylor]: Taking taylor expansion of x in a
6.491 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
6.491 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
6.491 * [taylor]: Taking taylor expansion of 2 in x
6.491 * [taylor]: Taking taylor expansion of (* a x) in x
6.491 * [taylor]: Taking taylor expansion of a in x
6.491 * [taylor]: Taking taylor expansion of x in x
6.492 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
6.492 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
6.492 * [taylor]: Taking taylor expansion of 2 in x
6.492 * [taylor]: Taking taylor expansion of (* a x) in x
6.492 * [taylor]: Taking taylor expansion of a in x
6.492 * [taylor]: Taking taylor expansion of x in x
6.492 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
6.492 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
6.492 * [taylor]: Taking taylor expansion of 2 in a
6.492 * [taylor]: Taking taylor expansion of (* a x) in a
6.492 * [taylor]: Taking taylor expansion of a in a
6.492 * [taylor]: Taking taylor expansion of x in a
6.493 * [taylor]: Taking taylor expansion of 0 in a
6.493 * [taylor]: Taking taylor expansion of 0 in a
6.493 * [taylor]: Taking taylor expansion of 0 in a
6.493 * [approximate]: Taking taylor expansion of (exp (/ 2 (* a x))) in (x a) around 0
6.493 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
6.493 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
6.493 * [taylor]: Taking taylor expansion of 2 in a
6.493 * [taylor]: Taking taylor expansion of (* a x) in a
6.493 * [taylor]: Taking taylor expansion of a in a
6.493 * [taylor]: Taking taylor expansion of x in a
6.494 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
6.494 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
6.494 * [taylor]: Taking taylor expansion of 2 in x
6.494 * [taylor]: Taking taylor expansion of (* a x) in x
6.494 * [taylor]: Taking taylor expansion of a in x
6.494 * [taylor]: Taking taylor expansion of x in x
6.494 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
6.494 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
6.494 * [taylor]: Taking taylor expansion of 2 in x
6.494 * [taylor]: Taking taylor expansion of (* a x) in x
6.494 * [taylor]: Taking taylor expansion of a in x
6.494 * [taylor]: Taking taylor expansion of x in x
6.495 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
6.495 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
6.495 * [taylor]: Taking taylor expansion of 2 in a
6.495 * [taylor]: Taking taylor expansion of (* a x) in a
6.495 * [taylor]: Taking taylor expansion of a in a
6.495 * [taylor]: Taking taylor expansion of x in a
6.495 * [taylor]: Taking taylor expansion of 0 in a
6.495 * [taylor]: Taking taylor expansion of 0 in a
6.495 * [taylor]: Taking taylor expansion of 0 in a
6.495 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
6.495 * [approximate]: Taking taylor expansion of (exp (* a x)) in (x a) around 0
6.495 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
6.495 * [taylor]: Taking taylor expansion of (* a x) in a
6.495 * [taylor]: Taking taylor expansion of a in a
6.495 * [taylor]: Taking taylor expansion of x in a
6.496 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
6.496 * [taylor]: Taking taylor expansion of (* a x) in x
6.496 * [taylor]: Taking taylor expansion of a in x
6.496 * [taylor]: Taking taylor expansion of x in x
6.496 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
6.496 * [taylor]: Taking taylor expansion of (* a x) in x
6.496 * [taylor]: Taking taylor expansion of a in x
6.496 * [taylor]: Taking taylor expansion of x in x
6.496 * [taylor]: Taking taylor expansion of 1 in a
6.497 * [taylor]: Taking taylor expansion of a in a
6.498 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
6.498 * [taylor]: Taking taylor expansion of 1/2 in a
6.498 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.498 * [taylor]: Taking taylor expansion of a in a
6.499 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a
6.499 * [taylor]: Taking taylor expansion of 1/6 in a
6.499 * [taylor]: Taking taylor expansion of (pow a 3) in a
6.499 * [taylor]: Taking taylor expansion of a in a
6.501 * [taylor]: Taking taylor expansion of (* 1/24 (pow a 4)) in a
6.501 * [taylor]: Taking taylor expansion of 1/24 in a
6.501 * [taylor]: Taking taylor expansion of (pow a 4) in a
6.501 * [taylor]: Taking taylor expansion of a in a
6.502 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (x a) around 0
6.502 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.502 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.502 * [taylor]: Taking taylor expansion of (* a x) in a
6.502 * [taylor]: Taking taylor expansion of a in a
6.502 * [taylor]: Taking taylor expansion of x in a
6.503 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.503 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.503 * [taylor]: Taking taylor expansion of (* a x) in x
6.503 * [taylor]: Taking taylor expansion of a in x
6.503 * [taylor]: Taking taylor expansion of x in x
6.503 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.503 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.503 * [taylor]: Taking taylor expansion of (* a x) in x
6.503 * [taylor]: Taking taylor expansion of a in x
6.503 * [taylor]: Taking taylor expansion of x in x
6.504 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.504 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.504 * [taylor]: Taking taylor expansion of (* a x) in a
6.504 * [taylor]: Taking taylor expansion of a in a
6.504 * [taylor]: Taking taylor expansion of x in a
6.504 * [taylor]: Taking taylor expansion of 0 in a
6.504 * [taylor]: Taking taylor expansion of 0 in a
6.504 * [taylor]: Taking taylor expansion of 0 in a
6.504 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (x a) around 0
6.504 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.504 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.504 * [taylor]: Taking taylor expansion of (* a x) in a
6.504 * [taylor]: Taking taylor expansion of a in a
6.504 * [taylor]: Taking taylor expansion of x in a
6.505 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.505 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.505 * [taylor]: Taking taylor expansion of (* a x) in x
6.505 * [taylor]: Taking taylor expansion of a in x
6.505 * [taylor]: Taking taylor expansion of x in x
6.505 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.505 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.505 * [taylor]: Taking taylor expansion of (* a x) in x
6.505 * [taylor]: Taking taylor expansion of a in x
6.505 * [taylor]: Taking taylor expansion of x in x
6.506 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.506 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.506 * [taylor]: Taking taylor expansion of (* a x) in a
6.506 * [taylor]: Taking taylor expansion of a in a
6.506 * [taylor]: Taking taylor expansion of x in a
6.506 * [taylor]: Taking taylor expansion of 0 in a
6.506 * [taylor]: Taking taylor expansion of 0 in a
6.506 * [taylor]: Taking taylor expansion of 0 in a
6.507 * * * [progress]: simplifying candidates
6.508 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (* (cbrt (exp (* (* a x) 6))) (cbrt (exp (* (* a x) 6)))) (cbrt (exp (* (* a x) 6))) (- (* (pow (cbrt 1.0) 6) (pow (* (cbrt 1.0) (cbrt 1.0)) 6))))
  (fma (- (pow (cbrt 1.0) 6)) (pow (* (cbrt 1.0) (cbrt 1.0)) 6) (* (pow (cbrt 1.0) 6) (pow (* (cbrt 1.0) (cbrt 1.0)) 6)))
  (fma (* (cbrt (exp (* (* a x) 6))) (cbrt (exp (* (* a x) 6)))) (cbrt (exp (* (* a x) 6))) (- (* (pow (sqrt 1.0) 6) (pow (sqrt 1.0) 6))))
  (fma (- (pow (sqrt 1.0) 6)) (pow (sqrt 1.0) 6) (* (pow (sqrt 1.0) 6) (pow (sqrt 1.0) 6)))
  (fma (* (cbrt (exp (* (* a x) 6))) (cbrt (exp (* (* a x) 6)))) (cbrt (exp (* (* a x) 6))) (- (* (pow 1.0 6) (pow 1 6))))
  (fma (- (pow 1.0 6)) (pow 1 6) (* (pow 1.0 6) (pow 1 6)))
  (fma (* (cbrt (exp (* (* a x) 6))) (cbrt (exp (* (* a x) 6)))) (cbrt (exp (* (* a x) 6))) (- (* (cbrt (pow 1.0 6)) (* (cbrt (pow 1.0 6)) (cbrt (pow 1.0 6))))))
  (fma (- (cbrt (pow 1.0 6))) (* (cbrt (pow 1.0 6)) (cbrt (pow 1.0 6))) (* (cbrt (pow 1.0 6)) (* (cbrt (pow 1.0 6)) (cbrt (pow 1.0 6)))))
  (fma (* (cbrt (exp (* (* a x) 6))) (cbrt (exp (* (* a x) 6)))) (cbrt (exp (* (* a x) 6))) (- (* (sqrt (pow 1.0 6)) (sqrt (pow 1.0 6)))))
  (fma (- (sqrt (pow 1.0 6))) (sqrt (pow 1.0 6)) (* (sqrt (pow 1.0 6)) (sqrt (pow 1.0 6))))
  (fma (* (cbrt (exp (* (* a x) 6))) (cbrt (exp (* (* a x) 6)))) (cbrt (exp (* (* a x) 6))) (- (* (pow 1.0 6) 1)))
  (fma (- (pow 1.0 6)) 1 (* (pow 1.0 6) 1))
  (fma (* (cbrt (exp (* (* a x) 6))) (cbrt (exp (* (* a x) 6)))) (cbrt (exp (* (* a x) 6))) (- (* (pow 1.0 (/ 6 2)) (pow 1.0 (/ 6 2)))))
  (fma (- (pow 1.0 (/ 6 2))) (pow 1.0 (/ 6 2)) (* (pow 1.0 (/ 6 2)) (pow 1.0 (/ 6 2))))
  (fma (sqrt (exp (* (* a x) 6))) (sqrt (exp (* (* a x) 6))) (- (* (pow (cbrt 1.0) 6) (pow (* (cbrt 1.0) (cbrt 1.0)) 6))))
  (fma (- (pow (cbrt 1.0) 6)) (pow (* (cbrt 1.0) (cbrt 1.0)) 6) (* (pow (cbrt 1.0) 6) (pow (* (cbrt 1.0) (cbrt 1.0)) 6)))
  (fma (sqrt (exp (* (* a x) 6))) (sqrt (exp (* (* a x) 6))) (- (* (pow (sqrt 1.0) 6) (pow (sqrt 1.0) 6))))
  (fma (- (pow (sqrt 1.0) 6)) (pow (sqrt 1.0) 6) (* (pow (sqrt 1.0) 6) (pow (sqrt 1.0) 6)))
  (fma (sqrt (exp (* (* a x) 6))) (sqrt (exp (* (* a x) 6))) (- (* (pow 1.0 6) (pow 1 6))))
  (fma (- (pow 1.0 6)) (pow 1 6) (* (pow 1.0 6) (pow 1 6)))
  (fma (sqrt (exp (* (* a x) 6))) (sqrt (exp (* (* a x) 6))) (- (* (cbrt (pow 1.0 6)) (* (cbrt (pow 1.0 6)) (cbrt (pow 1.0 6))))))
  (fma (- (cbrt (pow 1.0 6))) (* (cbrt (pow 1.0 6)) (cbrt (pow 1.0 6))) (* (cbrt (pow 1.0 6)) (* (cbrt (pow 1.0 6)) (cbrt (pow 1.0 6)))))
  (fma (sqrt (exp (* (* a x) 6))) (sqrt (exp (* (* a x) 6))) (- (* (sqrt (pow 1.0 6)) (sqrt (pow 1.0 6)))))
  (fma (- (sqrt (pow 1.0 6))) (sqrt (pow 1.0 6)) (* (sqrt (pow 1.0 6)) (sqrt (pow 1.0 6))))
  (fma (sqrt (exp (* (* a x) 6))) (sqrt (exp (* (* a x) 6))) (- (* (pow 1.0 6) 1)))
  (fma (- (pow 1.0 6)) 1 (* (pow 1.0 6) 1))
  (fma (sqrt (exp (* (* a x) 6))) (sqrt (exp (* (* a x) 6))) (- (* (pow 1.0 (/ 6 2)) (pow 1.0 (/ 6 2)))))
  (fma (- (pow 1.0 (/ 6 2))) (pow 1.0 (/ 6 2)) (* (pow 1.0 (/ 6 2)) (pow 1.0 (/ 6 2))))
  (fma 1 (exp (* (* a x) 6)) (- (* (pow (cbrt 1.0) 6) (pow (* (cbrt 1.0) (cbrt 1.0)) 6))))
  (fma (- (pow (cbrt 1.0) 6)) (pow (* (cbrt 1.0) (cbrt 1.0)) 6) (* (pow (cbrt 1.0) 6) (pow (* (cbrt 1.0) (cbrt 1.0)) 6)))
  (fma 1 (exp (* (* a x) 6)) (- (* (pow (sqrt 1.0) 6) (pow (sqrt 1.0) 6))))
  (fma (- (pow (sqrt 1.0) 6)) (pow (sqrt 1.0) 6) (* (pow (sqrt 1.0) 6) (pow (sqrt 1.0) 6)))
  (fma 1 (exp (* (* a x) 6)) (- (* (pow 1.0 6) (pow 1 6))))
  (fma (- (pow 1.0 6)) (pow 1 6) (* (pow 1.0 6) (pow 1 6)))
  (fma 1 (exp (* (* a x) 6)) (- (* (cbrt (pow 1.0 6)) (* (cbrt (pow 1.0 6)) (cbrt (pow 1.0 6))))))
  (fma (- (cbrt (pow 1.0 6))) (* (cbrt (pow 1.0 6)) (cbrt (pow 1.0 6))) (* (cbrt (pow 1.0 6)) (* (cbrt (pow 1.0 6)) (cbrt (pow 1.0 6)))))
  (fma 1 (exp (* (* a x) 6)) (- (* (sqrt (pow 1.0 6)) (sqrt (pow 1.0 6)))))
  (fma (- (sqrt (pow 1.0 6))) (sqrt (pow 1.0 6)) (* (sqrt (pow 1.0 6)) (sqrt (pow 1.0 6))))
  (fma 1 (exp (* (* a x) 6)) (- (* (pow 1.0 6) 1)))
  (fma (- (pow 1.0 6)) 1 (* (pow 1.0 6) 1))
  (fma 1 (exp (* (* a x) 6)) (- (* (pow 1.0 (/ 6 2)) (pow 1.0 (/ 6 2)))))
  (fma (- (pow 1.0 (/ 6 2))) (pow 1.0 (/ 6 2)) (* (pow 1.0 (/ 6 2)) (pow 1.0 (/ 6 2))))
  (expm1 (- (exp (* (* a x) 6)) (pow 1.0 6)))
  (log1p (- (exp (* (* a x) 6)) (pow 1.0 6)))
  (- (pow 1.0 6))
  (- (pow 1.0 6))
  (- (pow 1.0 6))
  (/ (exp (exp (* (* a x) 6))) (exp (pow 1.0 6)))
  (log (- (exp (* (* a x) 6)) (pow 1.0 6)))
  (exp (- (exp (* (* a x) 6)) (pow 1.0 6)))
  (* (cbrt (- (exp (* (* a x) 6)) (pow 1.0 6))) (cbrt (- (exp (* (* a x) 6)) (pow 1.0 6))))
  (cbrt (- (exp (* (* a x) 6)) (pow 1.0 6)))
  (* (* (- (exp (* (* a x) 6)) (pow 1.0 6)) (- (exp (* (* a x) 6)) (pow 1.0 6))) (- (exp (* (* a x) 6)) (pow 1.0 6)))
  (sqrt (- (exp (* (* a x) 6)) (pow 1.0 6)))
  (sqrt (- (exp (* (* a x) 6)) (pow 1.0 6)))
  (- (pow (exp (* (* a x) 6)) 3) (pow (pow 1.0 6) 3))
  (+ (* (exp (* (* a x) 6)) (exp (* (* a x) 6))) (+ (* (pow 1.0 6) (pow 1.0 6)) (* (exp (* (* a x) 6)) (pow 1.0 6))))
  (- (pow 1.0 6))
  (- (* (exp (* (* a x) 6)) (exp (* (* a x) 6))) (* (pow 1.0 6) (pow 1.0 6)))
  (+ (exp (* (* a x) 6)) (pow 1.0 6))
  (+ (sqrt (exp (* (* a x) 6))) (pow (sqrt 1.0) 6))
  (- (sqrt (exp (* (* a x) 6))) (pow (sqrt 1.0) 6))
  (+ (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6)))
  (- (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6)))
  (+ (sqrt (exp (* (* a x) 6))) (pow 1.0 (/ 6 2)))
  (- (sqrt (exp (* (* a x) 6))) (pow 1.0 (/ 6 2)))
  (- (exp (* (* a x) 6)) (pow 1.0 6))
  (- (pow 1.0 6))
  (expm1 (* (* a x) 6))
  (log1p (* (* a x) 6))
  (* (* a x) 6)
  (* (* a x) 6)
  (+ (+ (log a) (log x)) (log 6))
  (+ (log (* a x)) (log 6))
  (log (* (* a x) 6))
  (exp (* (* a x) 6))
  (* (* (* (* a a) a) (* (* x x) x)) (* (* 6 6) 6))
  (* (* (* (* a x) (* a x)) (* a x)) (* (* 6 6) 6))
  (* (cbrt (* (* a x) 6)) (cbrt (* (* a x) 6)))
  (cbrt (* (* a x) 6))
  (* (* (* (* a x) 6) (* (* a x) 6)) (* (* a x) 6))
  (sqrt (* (* a x) 6))
  (sqrt (* (* a x) 6))
  (* (* a x) (* (cbrt 6) (cbrt 6)))
  (* (* a x) (sqrt 6))
  (* (* a x) 1)
  (* x 6)
  (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 (exp (* x a)))
  (log1p (exp (* x a)))
  (exp x)
  (log (exp (* x a)))
  (exp (exp (* x a)))
  (* (cbrt (exp (* x a))) (cbrt (exp (* x a))))
  (cbrt (exp (* x a)))
  (* (* (exp (* x a)) (exp (* x a))) (exp (* x a)))
  (sqrt (exp (* x a)))
  (sqrt (exp (* x a)))
  (+ (* 18 (* (pow a 2) (pow x 2))) (+ (* 36 (* (pow a 3) (pow x 3))) (* 6 (* a x))))
  (- (exp (* 6 (* a x))) 1.0)
  (- (exp (* 6 (* a x))) 1.0)
  (* 6 (* a x))
  (* 6 (* a x))
  (* 6 (* a x))
  (+ (* 2 (* (pow a 2) (pow x 2))) (+ (* 2 (* a x)) 1))
  (exp (* 2 (* a x)))
  (exp (* 2 (* a x)))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) 1))
  (exp (* a x))
  (exp (* a x))
6.513 * * [simplify]: iteration  0 :  185  enodes  (cost  1702 )
6.548 * * [simplify]: iteration  1 :  397  enodes  (cost  1381 )
6.686 * * [simplify]: iteration  2 :  1330  enodes  (cost  1126 )
7.108 * * [simplify]: iteration  done :  5000  enodes  (cost  1103 )
7.109 * [simplify]: Simplified to:
   (- (* (* (cbrt (exp (* (* a x) 6))) (cbrt (exp (* (* a x) 6)))) (cbrt (exp (* (* a x) 6)))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (fma (* (cbrt (exp (* (* a x) 6))) (cbrt (exp (* (* a x) 6)))) (cbrt (exp (* (* a x) 6))) (- (pow (sqrt 1.0) 12)))
  (- (pow (sqrt 1.0) 12) (pow (sqrt 1.0) 12))
  (- (* (* (cbrt (exp (* (* a x) 6))) (cbrt (exp (* (* a x) 6)))) (cbrt (exp (* (* a x) 6)))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (- (* (* (cbrt (exp (* (* a x) 6))) (cbrt (exp (* (* a x) 6)))) (cbrt (exp (* (* a x) 6)))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (- (* (* (cbrt (exp (* (* a x) 6))) (cbrt (exp (* (* a x) 6)))) (cbrt (exp (* (* a x) 6)))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (- (* (* (cbrt (exp (* (* a x) 6))) (cbrt (exp (* (* a x) 6)))) (cbrt (exp (* (* a x) 6)))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (- (* (* (cbrt (exp (* (* a x) 6))) (cbrt (exp (* (* a x) 6)))) (cbrt (exp (* (* a x) 6)))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (- (exp (* 6 (* a x))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (- (exp (* 6 (* a x))) (pow (sqrt 1.0) 12))
  (- (pow (sqrt 1.0) 12) (pow (sqrt 1.0) 12))
  (- (exp (* 6 (* a x))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (- (exp (* 6 (* a x))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (- (exp (* 6 (* a x))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (- (exp (* 6 (* a x))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (- (exp (* 6 (* a x))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (- (exp (* 6 (* a x))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (- (exp (* 6 (* a x))) (pow (sqrt 1.0) 12))
  (- (pow (sqrt 1.0) 12) (pow (sqrt 1.0) 12))
  (- (exp (* 6 (* a x))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (- (exp (* 6 (* a x))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (- (exp (* 6 (* a x))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (- (exp (* 6 (* a x))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (- (exp (* 6 (* a x))) (pow 1.0 6))
  (- (pow 1.0 6) (pow 1.0 6))
  (expm1 (- (exp (* (* a x) 6)) (pow 1.0 6)))
  (log1p (- (exp (* (* a x) 6)) (pow 1.0 6)))
  (- (pow 1.0 6))
  (- (pow 1.0 6))
  (- (pow 1.0 6))
  (exp (- (exp (* (* a x) 6)) (pow 1.0 6)))
  (log (- (exp (* (* a x) 6)) (pow 1.0 6)))
  (exp (- (exp (* (* a x) 6)) (pow 1.0 6)))
  (* (cbrt (- (exp (* (* a x) 6)) (pow 1.0 6))) (cbrt (- (exp (* (* a x) 6)) (pow 1.0 6))))
  (cbrt (- (exp (* (* a x) 6)) (pow 1.0 6)))
  (pow (- (exp (* (* a x) 6)) (pow 1.0 6)) 3)
  (sqrt (- (exp (* (* a x) 6)) (pow 1.0 6)))
  (sqrt (- (exp (* (* a x) 6)) (pow 1.0 6)))
  (- (pow (exp (* (* a x) 6)) 3) (pow (pow 1.0 6) 3))
  (+ (pow (exp (* x a)) 12) (fma (exp (* 6 (* a x))) (pow 1.0 6) (pow 1.0 12)))
  (- (pow 1.0 6))
  (- (pow (exp (* x a)) 12) (pow 1.0 12))
  (+ (exp (* (* a x) 6)) (pow 1.0 6))
  (+ (sqrt (exp (* (* a x) 6))) (pow (sqrt 1.0) 6))
  (- (sqrt (exp (* (* a x) 6))) (pow (sqrt 1.0) 6))
  (+ (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6)))
  (- (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6)))
  (+ (sqrt (exp (* (* a x) 6))) (pow 1.0 3))
  (- (sqrt (exp (* (* a x) 6))) (pow 1.0 3))
  (- (exp (* 6 (* a x))) (pow 1.0 6))
  (- (pow 1.0 6))
  (expm1 (* (* a x) 6))
  (log1p (* (* a x) 6))
  (* 6 (* a x))
  (* 6 (* a x))
  (log (* (* a x) 6))
  (log (* (* a x) 6))
  (log (* (* a x) 6))
  (pow (exp (* 6 a)) x)
  (pow (* 6 (* a x)) 3)
  (pow (* 6 (* a x)) 3)
  (* (cbrt (* (* a x) 6)) (cbrt (* (* a x) 6)))
  (cbrt (* (* a x) 6))
  (pow (* 6 (* a x)) 3)
  (sqrt (* (* a x) 6))
  (sqrt (* (* a x) 6))
  (* (* a x) (* (cbrt 6) (cbrt 6)))
  (* (* a x) (sqrt 6))
  (* x a)
  (* x 6)
  (expm1 (exp (* 2 (* x a))))
  (log1p (exp (* 2 (* x a))))
  (exp 2)
  (* (* 2 x) a)
  (exp (exp (* 2 (* x a))))
  (* (cbrt (exp (* 2 (* x a)))) (cbrt (exp (* 2 (* x a)))))
  (cbrt (exp (* 2 (* x a))))
  (pow (exp (* 6 a)) x)
  (sqrt (exp (* 2 (* x a))))
  (sqrt (exp (* 2 (* x a))))
  (expm1 (exp (* x a)))
  (log1p (exp (* x a)))
  (exp x)
  (* x a)
  (exp (exp (* x a)))
  (* (cbrt (exp (* x a))) (cbrt (exp (* x a))))
  (cbrt (exp (* x a)))
  (pow (exp (* x a)) 3)
  (sqrt (exp (* x a)))
  (sqrt (exp (* x a)))
  (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (* 6 (* a x))))
  (- (exp (* 6 (* a x))) 1.0)
  (- (exp (* 6 (* a x))) 1.0)
  (* 6 (* a x))
  (* 6 (* a x))
  (* 6 (* a x))
  (fma 2 (* (* a x) (* a x)) (fma 2 (* x a) 1))
  (pow (exp (* x a)) 2)
  (pow (exp (* x a)) 2)
  (fma 1/2 (* (* a x) (* a x)) (fma a x 1))
  (exp (* x a))
  (exp (* x a))
7.109 * * * [progress]: adding candidates to table
7.451 * * [progress]: iteration 4 / 4
7.452 * * * [progress]: picking best candidate
7.484 * * * * [pick]: Picked  #<alt (λ (a x) (/ (/ (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (* 6 (* a x)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))>
7.485 * * * [progress]: localizing error
7.518 * * * [progress]: generating rewritten candidates
7.518 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
7.519 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 3 3)
7.525 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 3 2)
7.527 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
7.535 * * * [progress]: generating series expansions
7.535 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
7.536 * [approximate]: Taking taylor expansion of (fma (* 18 (pow a 2)) (pow x 2) (fma 36 (pow (* a x) 3) (* 6 (* a x)))) in (a x) around 0
7.536 * [taylor]: Taking taylor expansion of (fma (* 18 (pow a 2)) (pow x 2) (fma 36 (pow (* a x) 3) (* 6 (* a x)))) in x
7.536 * [taylor]: Rewrote expression to (+ (* (* 18 (pow a 2)) (pow x 2)) (fma 36 (pow (* a x) 3) (* 6 (* a x))))
7.536 * [taylor]: Taking taylor expansion of (* (* 18 (pow a 2)) (pow x 2)) in x
7.536 * [taylor]: Taking taylor expansion of (* 18 (pow a 2)) in x
7.536 * [taylor]: Taking taylor expansion of 18 in x
7.536 * [taylor]: Taking taylor expansion of (pow a 2) in x
7.536 * [taylor]: Taking taylor expansion of a in x
7.536 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.536 * [taylor]: Taking taylor expansion of x in x
7.536 * [taylor]: Taking taylor expansion of (fma 36 (pow (* a x) 3) (* 6 (* a x))) in x
7.536 * [taylor]: Rewrote expression to (+ (* 36 (pow (* a x) 3)) (* 6 (* a x)))
7.536 * [taylor]: Taking taylor expansion of (* 36 (pow (* a x) 3)) in x
7.536 * [taylor]: Taking taylor expansion of 36 in x
7.536 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
7.536 * [taylor]: Taking taylor expansion of (* a x) in x
7.536 * [taylor]: Taking taylor expansion of a in x
7.536 * [taylor]: Taking taylor expansion of x in x
7.537 * [taylor]: Taking taylor expansion of (* 6 (* a x)) in x
7.537 * [taylor]: Taking taylor expansion of 6 in x
7.537 * [taylor]: Taking taylor expansion of (* a x) in x
7.537 * [taylor]: Taking taylor expansion of a in x
7.537 * [taylor]: Taking taylor expansion of x in x
7.537 * [taylor]: Taking taylor expansion of (fma (* 18 (pow a 2)) (pow x 2) (fma 36 (pow (* a x) 3) (* 6 (* a x)))) in a
7.537 * [taylor]: Rewrote expression to (+ (* (* 18 (pow a 2)) (pow x 2)) (fma 36 (pow (* a x) 3) (* 6 (* a x))))
7.537 * [taylor]: Taking taylor expansion of (* (* 18 (pow a 2)) (pow x 2)) in a
7.537 * [taylor]: Taking taylor expansion of (* 18 (pow a 2)) in a
7.537 * [taylor]: Taking taylor expansion of 18 in a
7.537 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.537 * [taylor]: Taking taylor expansion of a in a
7.537 * [taylor]: Taking taylor expansion of (pow x 2) in a
7.537 * [taylor]: Taking taylor expansion of x in a
7.537 * [taylor]: Taking taylor expansion of (fma 36 (pow (* a x) 3) (* 6 (* a x))) in a
7.537 * [taylor]: Rewrote expression to (+ (* 36 (pow (* a x) 3)) (* 6 (* a x)))
7.537 * [taylor]: Taking taylor expansion of (* 36 (pow (* a x) 3)) in a
7.537 * [taylor]: Taking taylor expansion of 36 in a
7.537 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
7.537 * [taylor]: Taking taylor expansion of (* a x) in a
7.537 * [taylor]: Taking taylor expansion of a in a
7.537 * [taylor]: Taking taylor expansion of x in a
7.538 * [taylor]: Taking taylor expansion of (* 6 (* a x)) in a
7.538 * [taylor]: Taking taylor expansion of 6 in a
7.538 * [taylor]: Taking taylor expansion of (* a x) in a
7.538 * [taylor]: Taking taylor expansion of a in a
7.538 * [taylor]: Taking taylor expansion of x in a
7.538 * [taylor]: Taking taylor expansion of (fma (* 18 (pow a 2)) (pow x 2) (fma 36 (pow (* a x) 3) (* 6 (* a x)))) in a
7.538 * [taylor]: Rewrote expression to (+ (* (* 18 (pow a 2)) (pow x 2)) (fma 36 (pow (* a x) 3) (* 6 (* a x))))
7.538 * [taylor]: Taking taylor expansion of (* (* 18 (pow a 2)) (pow x 2)) in a
7.538 * [taylor]: Taking taylor expansion of (* 18 (pow a 2)) in a
7.538 * [taylor]: Taking taylor expansion of 18 in a
7.538 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.538 * [taylor]: Taking taylor expansion of a in a
7.538 * [taylor]: Taking taylor expansion of (pow x 2) in a
7.538 * [taylor]: Taking taylor expansion of x in a
7.538 * [taylor]: Taking taylor expansion of (fma 36 (pow (* a x) 3) (* 6 (* a x))) in a
7.538 * [taylor]: Rewrote expression to (+ (* 36 (pow (* a x) 3)) (* 6 (* a x)))
7.538 * [taylor]: Taking taylor expansion of (* 36 (pow (* a x) 3)) in a
7.538 * [taylor]: Taking taylor expansion of 36 in a
7.538 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
7.538 * [taylor]: Taking taylor expansion of (* a x) in a
7.538 * [taylor]: Taking taylor expansion of a in a
7.538 * [taylor]: Taking taylor expansion of x in a
7.538 * [taylor]: Taking taylor expansion of (* 6 (* a x)) in a
7.538 * [taylor]: Taking taylor expansion of 6 in a
7.538 * [taylor]: Taking taylor expansion of (* a x) in a
7.538 * [taylor]: Taking taylor expansion of a in a
7.538 * [taylor]: Taking taylor expansion of x in a
7.539 * [taylor]: Taking taylor expansion of 0 in x
7.540 * [taylor]: Taking taylor expansion of (* 6 x) in x
7.540 * [taylor]: Taking taylor expansion of 6 in x
7.540 * [taylor]: Taking taylor expansion of x in x
7.542 * [taylor]: Taking taylor expansion of (* 18 (pow x 2)) in x
7.542 * [taylor]: Taking taylor expansion of 18 in x
7.542 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.542 * [taylor]: Taking taylor expansion of x in x
7.545 * [taylor]: Taking taylor expansion of (* 36 (pow x 3)) in x
7.546 * [taylor]: Taking taylor expansion of 36 in x
7.546 * [taylor]: Taking taylor expansion of (pow x 3) in x
7.546 * [taylor]: Taking taylor expansion of x in x
7.552 * [taylor]: Taking taylor expansion of 0 in x
7.560 * [taylor]: Taking taylor expansion of 0 in x
7.562 * [approximate]: Taking taylor expansion of (fma (/ 18 (pow a 2)) (/ 1 (pow x 2)) (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x)))) in (a x) around 0
7.562 * [taylor]: Taking taylor expansion of (fma (/ 18 (pow a 2)) (/ 1 (pow x 2)) (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x)))) in x
7.562 * [taylor]: Rewrote expression to (+ (* (/ 18 (pow a 2)) (/ 1 (pow x 2))) (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x))))
7.562 * [taylor]: Taking taylor expansion of (* (/ 18 (pow a 2)) (/ 1 (pow x 2))) in x
7.563 * [taylor]: Taking taylor expansion of (/ 18 (pow a 2)) in x
7.563 * [taylor]: Taking taylor expansion of 18 in x
7.563 * [taylor]: Taking taylor expansion of (pow a 2) in x
7.563 * [taylor]: Taking taylor expansion of a in x
7.563 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.563 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.563 * [taylor]: Taking taylor expansion of x in x
7.563 * [taylor]: Taking taylor expansion of (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x))) in x
7.564 * [taylor]: Rewrote expression to (+ (* 36 (pow (/ 1 (* a x)) 3)) (/ 6 (* a x)))
7.564 * [taylor]: Taking taylor expansion of (* 36 (pow (/ 1 (* a x)) 3)) in x
7.564 * [taylor]: Taking taylor expansion of 36 in x
7.564 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
7.564 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
7.564 * [taylor]: Taking taylor expansion of (* a x) in x
7.564 * [taylor]: Taking taylor expansion of a in x
7.564 * [taylor]: Taking taylor expansion of x in x
7.564 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in x
7.564 * [taylor]: Taking taylor expansion of 6 in x
7.564 * [taylor]: Taking taylor expansion of (* a x) in x
7.564 * [taylor]: Taking taylor expansion of a in x
7.564 * [taylor]: Taking taylor expansion of x in x
7.564 * [taylor]: Taking taylor expansion of (fma (/ 18 (pow a 2)) (/ 1 (pow x 2)) (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x)))) in a
7.564 * [taylor]: Rewrote expression to (+ (* (/ 18 (pow a 2)) (/ 1 (pow x 2))) (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x))))
7.565 * [taylor]: Taking taylor expansion of (* (/ 18 (pow a 2)) (/ 1 (pow x 2))) in a
7.565 * [taylor]: Taking taylor expansion of (/ 18 (pow a 2)) in a
7.565 * [taylor]: Taking taylor expansion of 18 in a
7.565 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.565 * [taylor]: Taking taylor expansion of a in a
7.565 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in a
7.565 * [taylor]: Taking taylor expansion of (pow x 2) in a
7.565 * [taylor]: Taking taylor expansion of x in a
7.565 * [taylor]: Taking taylor expansion of (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x))) in a
7.565 * [taylor]: Rewrote expression to (+ (* 36 (pow (/ 1 (* a x)) 3)) (/ 6 (* a x)))
7.565 * [taylor]: Taking taylor expansion of (* 36 (pow (/ 1 (* a x)) 3)) in a
7.565 * [taylor]: Taking taylor expansion of 36 in a
7.565 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
7.565 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
7.565 * [taylor]: Taking taylor expansion of (* a x) in a
7.565 * [taylor]: Taking taylor expansion of a in a
7.565 * [taylor]: Taking taylor expansion of x in a
7.566 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in a
7.566 * [taylor]: Taking taylor expansion of 6 in a
7.566 * [taylor]: Taking taylor expansion of (* a x) in a
7.566 * [taylor]: Taking taylor expansion of a in a
7.566 * [taylor]: Taking taylor expansion of x in a
7.566 * [taylor]: Taking taylor expansion of (fma (/ 18 (pow a 2)) (/ 1 (pow x 2)) (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x)))) in a
7.566 * [taylor]: Rewrote expression to (+ (* (/ 18 (pow a 2)) (/ 1 (pow x 2))) (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x))))
7.566 * [taylor]: Taking taylor expansion of (* (/ 18 (pow a 2)) (/ 1 (pow x 2))) in a
7.566 * [taylor]: Taking taylor expansion of (/ 18 (pow a 2)) in a
7.566 * [taylor]: Taking taylor expansion of 18 in a
7.566 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.566 * [taylor]: Taking taylor expansion of a in a
7.567 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in a
7.567 * [taylor]: Taking taylor expansion of (pow x 2) in a
7.567 * [taylor]: Taking taylor expansion of x in a
7.567 * [taylor]: Taking taylor expansion of (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x))) in a
7.567 * [taylor]: Rewrote expression to (+ (* 36 (pow (/ 1 (* a x)) 3)) (/ 6 (* a x)))
7.567 * [taylor]: Taking taylor expansion of (* 36 (pow (/ 1 (* a x)) 3)) in a
7.567 * [taylor]: Taking taylor expansion of 36 in a
7.567 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
7.567 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
7.567 * [taylor]: Taking taylor expansion of (* a x) in a
7.567 * [taylor]: Taking taylor expansion of a in a
7.567 * [taylor]: Taking taylor expansion of x in a
7.568 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in a
7.568 * [taylor]: Taking taylor expansion of 6 in a
7.568 * [taylor]: Taking taylor expansion of (* a x) in a
7.568 * [taylor]: Taking taylor expansion of a in a
7.568 * [taylor]: Taking taylor expansion of x in a
7.568 * [taylor]: Taking taylor expansion of (* 36 (/ 1 (pow x 3))) in x
7.568 * [taylor]: Taking taylor expansion of 36 in x
7.568 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
7.568 * [taylor]: Taking taylor expansion of (pow x 3) in x
7.568 * [taylor]: Taking taylor expansion of x in x
7.571 * [taylor]: Taking taylor expansion of (* 18 (/ 1 (pow x 2))) in x
7.571 * [taylor]: Taking taylor expansion of 18 in x
7.571 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.571 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.571 * [taylor]: Taking taylor expansion of x in x
7.576 * [taylor]: Taking taylor expansion of (* 6 (/ 1 x)) in x
7.576 * [taylor]: Taking taylor expansion of 6 in x
7.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.577 * [taylor]: Taking taylor expansion of x in x
7.585 * [taylor]: Taking taylor expansion of 0 in x
7.596 * [taylor]: Taking taylor expansion of 0 in x
7.598 * [approximate]: Taking taylor expansion of (fma (/ 18 (pow a 2)) (/ 1 (pow x 2)) (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x)))) in (a x) around 0
7.598 * [taylor]: Taking taylor expansion of (fma (/ 18 (pow a 2)) (/ 1 (pow x 2)) (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x)))) in x
7.598 * [taylor]: Rewrote expression to (+ (* (/ 18 (pow a 2)) (/ 1 (pow x 2))) (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x))))
7.598 * [taylor]: Taking taylor expansion of (* (/ 18 (pow a 2)) (/ 1 (pow x 2))) in x
7.598 * [taylor]: Taking taylor expansion of (/ 18 (pow a 2)) in x
7.598 * [taylor]: Taking taylor expansion of 18 in x
7.598 * [taylor]: Taking taylor expansion of (pow a 2) in x
7.598 * [taylor]: Taking taylor expansion of a in x
7.598 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.598 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.598 * [taylor]: Taking taylor expansion of x in x
7.599 * [taylor]: Taking taylor expansion of (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x))) in x
7.599 * [taylor]: Rewrote expression to (+ (* 36 (pow (/ 1 (* a x)) 3)) (/ 6 (* a x)))
7.599 * [taylor]: Taking taylor expansion of (* 36 (pow (/ 1 (* a x)) 3)) in x
7.599 * [taylor]: Taking taylor expansion of 36 in x
7.599 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
7.599 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
7.599 * [taylor]: Taking taylor expansion of (* a x) in x
7.599 * [taylor]: Taking taylor expansion of a in x
7.599 * [taylor]: Taking taylor expansion of x in x
7.599 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in x
7.599 * [taylor]: Taking taylor expansion of 6 in x
7.599 * [taylor]: Taking taylor expansion of (* a x) in x
7.599 * [taylor]: Taking taylor expansion of a in x
7.599 * [taylor]: Taking taylor expansion of x in x
7.600 * [taylor]: Taking taylor expansion of (fma (/ 18 (pow a 2)) (/ 1 (pow x 2)) (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x)))) in a
7.600 * [taylor]: Rewrote expression to (+ (* (/ 18 (pow a 2)) (/ 1 (pow x 2))) (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x))))
7.600 * [taylor]: Taking taylor expansion of (* (/ 18 (pow a 2)) (/ 1 (pow x 2))) in a
7.600 * [taylor]: Taking taylor expansion of (/ 18 (pow a 2)) in a
7.600 * [taylor]: Taking taylor expansion of 18 in a
7.600 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.600 * [taylor]: Taking taylor expansion of a in a
7.600 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in a
7.600 * [taylor]: Taking taylor expansion of (pow x 2) in a
7.600 * [taylor]: Taking taylor expansion of x in a
7.600 * [taylor]: Taking taylor expansion of (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x))) in a
7.601 * [taylor]: Rewrote expression to (+ (* 36 (pow (/ 1 (* a x)) 3)) (/ 6 (* a x)))
7.601 * [taylor]: Taking taylor expansion of (* 36 (pow (/ 1 (* a x)) 3)) in a
7.601 * [taylor]: Taking taylor expansion of 36 in a
7.601 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
7.601 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
7.601 * [taylor]: Taking taylor expansion of (* a x) in a
7.601 * [taylor]: Taking taylor expansion of a in a
7.601 * [taylor]: Taking taylor expansion of x in a
7.601 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in a
7.601 * [taylor]: Taking taylor expansion of 6 in a
7.601 * [taylor]: Taking taylor expansion of (* a x) in a
7.601 * [taylor]: Taking taylor expansion of a in a
7.601 * [taylor]: Taking taylor expansion of x in a
7.601 * [taylor]: Taking taylor expansion of (fma (/ 18 (pow a 2)) (/ 1 (pow x 2)) (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x)))) in a
7.601 * [taylor]: Rewrote expression to (+ (* (/ 18 (pow a 2)) (/ 1 (pow x 2))) (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x))))
7.601 * [taylor]: Taking taylor expansion of (* (/ 18 (pow a 2)) (/ 1 (pow x 2))) in a
7.601 * [taylor]: Taking taylor expansion of (/ 18 (pow a 2)) in a
7.602 * [taylor]: Taking taylor expansion of 18 in a
7.602 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.602 * [taylor]: Taking taylor expansion of a in a
7.602 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in a
7.602 * [taylor]: Taking taylor expansion of (pow x 2) in a
7.602 * [taylor]: Taking taylor expansion of x in a
7.602 * [taylor]: Taking taylor expansion of (fma 36 (pow (/ 1 (* a x)) 3) (/ 6 (* a x))) in a
7.602 * [taylor]: Rewrote expression to (+ (* 36 (pow (/ 1 (* a x)) 3)) (/ 6 (* a x)))
7.602 * [taylor]: Taking taylor expansion of (* 36 (pow (/ 1 (* a x)) 3)) in a
7.602 * [taylor]: Taking taylor expansion of 36 in a
7.602 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
7.602 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
7.602 * [taylor]: Taking taylor expansion of (* a x) in a
7.602 * [taylor]: Taking taylor expansion of a in a
7.602 * [taylor]: Taking taylor expansion of x in a
7.606 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in a
7.606 * [taylor]: Taking taylor expansion of 6 in a
7.606 * [taylor]: Taking taylor expansion of (* a x) in a
7.606 * [taylor]: Taking taylor expansion of a in a
7.606 * [taylor]: Taking taylor expansion of x in a
7.607 * [taylor]: Taking taylor expansion of (* 36 (/ 1 (pow x 3))) in x
7.607 * [taylor]: Taking taylor expansion of 36 in x
7.607 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
7.607 * [taylor]: Taking taylor expansion of (pow x 3) in x
7.607 * [taylor]: Taking taylor expansion of x in x
7.609 * [taylor]: Taking taylor expansion of (* 18 (/ 1 (pow x 2))) in x
7.609 * [taylor]: Taking taylor expansion of 18 in x
7.609 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.609 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.609 * [taylor]: Taking taylor expansion of x in x
7.615 * [taylor]: Taking taylor expansion of (* 6 (/ 1 x)) in x
7.615 * [taylor]: Taking taylor expansion of 6 in x
7.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.615 * [taylor]: Taking taylor expansion of x in x
7.624 * [taylor]: Taking taylor expansion of 0 in x
7.635 * [taylor]: Taking taylor expansion of 0 in x
7.636 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 3 3)
7.636 * [approximate]: Taking taylor expansion of (* 6 (* a x)) in (a x) around 0
7.636 * [taylor]: Taking taylor expansion of (* 6 (* a x)) in x
7.636 * [taylor]: Taking taylor expansion of 6 in x
7.636 * [taylor]: Taking taylor expansion of (* a x) in x
7.636 * [taylor]: Taking taylor expansion of a in x
7.636 * [taylor]: Taking taylor expansion of x in x
7.636 * [taylor]: Taking taylor expansion of (* 6 (* a x)) in a
7.636 * [taylor]: Taking taylor expansion of 6 in a
7.636 * [taylor]: Taking taylor expansion of (* a x) in a
7.636 * [taylor]: Taking taylor expansion of a in a
7.636 * [taylor]: Taking taylor expansion of x in a
7.636 * [taylor]: Taking taylor expansion of (* 6 (* a x)) in a
7.636 * [taylor]: Taking taylor expansion of 6 in a
7.636 * [taylor]: Taking taylor expansion of (* a x) in a
7.636 * [taylor]: Taking taylor expansion of a in a
7.636 * [taylor]: Taking taylor expansion of x in a
7.637 * [taylor]: Taking taylor expansion of 0 in x
7.637 * [taylor]: Taking taylor expansion of (* 6 x) in x
7.637 * [taylor]: Taking taylor expansion of 6 in x
7.637 * [taylor]: Taking taylor expansion of x in x
7.639 * [taylor]: Taking taylor expansion of 0 in x
7.640 * [taylor]: Taking taylor expansion of 0 in x
7.643 * [taylor]: Taking taylor expansion of 0 in x
7.643 * [approximate]: Taking taylor expansion of (/ 6 (* a x)) in (a x) around 0
7.643 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in x
7.643 * [taylor]: Taking taylor expansion of 6 in x
7.643 * [taylor]: Taking taylor expansion of (* a x) in x
7.643 * [taylor]: Taking taylor expansion of a in x
7.643 * [taylor]: Taking taylor expansion of x in x
7.644 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in a
7.644 * [taylor]: Taking taylor expansion of 6 in a
7.644 * [taylor]: Taking taylor expansion of (* a x) in a
7.644 * [taylor]: Taking taylor expansion of a in a
7.644 * [taylor]: Taking taylor expansion of x in a
7.644 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in a
7.644 * [taylor]: Taking taylor expansion of 6 in a
7.644 * [taylor]: Taking taylor expansion of (* a x) in a
7.644 * [taylor]: Taking taylor expansion of a in a
7.644 * [taylor]: Taking taylor expansion of x in a
7.644 * [taylor]: Taking taylor expansion of (/ 6 x) in x
7.644 * [taylor]: Taking taylor expansion of 6 in x
7.644 * [taylor]: Taking taylor expansion of x in x
7.645 * [taylor]: Taking taylor expansion of 0 in x
7.647 * [taylor]: Taking taylor expansion of 0 in x
7.648 * [taylor]: Taking taylor expansion of 0 in x
7.649 * [approximate]: Taking taylor expansion of (/ 6 (* a x)) in (a x) around 0
7.649 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in x
7.649 * [taylor]: Taking taylor expansion of 6 in x
7.649 * [taylor]: Taking taylor expansion of (* a x) in x
7.649 * [taylor]: Taking taylor expansion of a in x
7.649 * [taylor]: Taking taylor expansion of x in x
7.650 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in a
7.650 * [taylor]: Taking taylor expansion of 6 in a
7.650 * [taylor]: Taking taylor expansion of (* a x) in a
7.650 * [taylor]: Taking taylor expansion of a in a
7.650 * [taylor]: Taking taylor expansion of x in a
7.650 * [taylor]: Taking taylor expansion of (/ 6 (* a x)) in a
7.650 * [taylor]: Taking taylor expansion of 6 in a
7.650 * [taylor]: Taking taylor expansion of (* a x) in a
7.650 * [taylor]: Taking taylor expansion of a in a
7.650 * [taylor]: Taking taylor expansion of x in a
7.650 * [taylor]: Taking taylor expansion of (/ 6 x) in x
7.650 * [taylor]: Taking taylor expansion of 6 in x
7.650 * [taylor]: Taking taylor expansion of x in x
7.651 * [taylor]: Taking taylor expansion of 0 in x
7.653 * [taylor]: Taking taylor expansion of 0 in x
7.654 * [taylor]: Taking taylor expansion of 0 in x
7.655 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 3 2)
7.655 * [approximate]: Taking taylor expansion of (pow (* a x) 3) in (x a) around 0
7.655 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
7.655 * [taylor]: Taking taylor expansion of (* a x) in a
7.655 * [taylor]: Taking taylor expansion of a in a
7.655 * [taylor]: Taking taylor expansion of x in a
7.656 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
7.656 * [taylor]: Taking taylor expansion of (* a x) in x
7.656 * [taylor]: Taking taylor expansion of a in x
7.656 * [taylor]: Taking taylor expansion of x in x
7.656 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
7.656 * [taylor]: Taking taylor expansion of (* a x) in x
7.656 * [taylor]: Taking taylor expansion of a in x
7.656 * [taylor]: Taking taylor expansion of x in x
7.657 * [taylor]: Taking taylor expansion of (pow a 3) in a
7.657 * [taylor]: Taking taylor expansion of a in a
7.658 * [taylor]: Taking taylor expansion of 0 in a
7.659 * [taylor]: Taking taylor expansion of 0 in a
7.662 * [taylor]: Taking taylor expansion of 0 in a
7.662 * [approximate]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in (x a) around 0
7.662 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
7.662 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
7.662 * [taylor]: Taking taylor expansion of (* a x) in a
7.662 * [taylor]: Taking taylor expansion of a in a
7.662 * [taylor]: Taking taylor expansion of x in a
7.663 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
7.663 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
7.663 * [taylor]: Taking taylor expansion of (* a x) in x
7.663 * [taylor]: Taking taylor expansion of a in x
7.663 * [taylor]: Taking taylor expansion of x in x
7.663 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
7.663 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
7.663 * [taylor]: Taking taylor expansion of (* a x) in x
7.663 * [taylor]: Taking taylor expansion of a in x
7.663 * [taylor]: Taking taylor expansion of x in x
7.664 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a
7.664 * [taylor]: Taking taylor expansion of (pow a 3) in a
7.664 * [taylor]: Taking taylor expansion of a in a
7.665 * [taylor]: Taking taylor expansion of 0 in a
7.668 * [taylor]: Taking taylor expansion of 0 in a
7.671 * [taylor]: Taking taylor expansion of 0 in a
7.675 * [taylor]: Taking taylor expansion of 0 in a
7.679 * [taylor]: Taking taylor expansion of 0 in a
7.680 * [approximate]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in (x a) around 0
7.680 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
7.680 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
7.680 * [taylor]: Taking taylor expansion of (* a x) in a
7.680 * [taylor]: Taking taylor expansion of a in a
7.680 * [taylor]: Taking taylor expansion of x in a
7.680 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
7.680 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
7.680 * [taylor]: Taking taylor expansion of (* a x) in x
7.680 * [taylor]: Taking taylor expansion of a in x
7.680 * [taylor]: Taking taylor expansion of x in x
7.680 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
7.681 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
7.681 * [taylor]: Taking taylor expansion of (* a x) in x
7.681 * [taylor]: Taking taylor expansion of a in x
7.681 * [taylor]: Taking taylor expansion of x in x
7.681 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a
7.681 * [taylor]: Taking taylor expansion of (pow a 3) in a
7.681 * [taylor]: Taking taylor expansion of a in a
7.682 * [taylor]: Taking taylor expansion of 0 in a
7.685 * [taylor]: Taking taylor expansion of 0 in a
7.688 * [taylor]: Taking taylor expansion of 0 in a
7.695 * [taylor]: Taking taylor expansion of 0 in a
7.700 * [taylor]: Taking taylor expansion of 0 in a
7.700 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
7.700 * [approximate]: Taking taylor expansion of (* 18 (pow a 2)) in (a) around 0
7.700 * [taylor]: Taking taylor expansion of (* 18 (pow a 2)) in a
7.700 * [taylor]: Taking taylor expansion of 18 in a
7.700 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.700 * [taylor]: Taking taylor expansion of a in a
7.700 * [taylor]: Taking taylor expansion of (* 18 (pow a 2)) in a
7.700 * [taylor]: Taking taylor expansion of 18 in a
7.700 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.700 * [taylor]: Taking taylor expansion of a in a
7.708 * [approximate]: Taking taylor expansion of (/ 18 (pow a 2)) in (a) around 0
7.708 * [taylor]: Taking taylor expansion of (/ 18 (pow a 2)) in a
7.708 * [taylor]: Taking taylor expansion of 18 in a
7.708 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.708 * [taylor]: Taking taylor expansion of a in a
7.709 * [taylor]: Taking taylor expansion of (/ 18 (pow a 2)) in a
7.709 * [taylor]: Taking taylor expansion of 18 in a
7.709 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.709 * [taylor]: Taking taylor expansion of a in a
7.716 * [approximate]: Taking taylor expansion of (/ 18 (pow a 2)) in (a) around 0
7.716 * [taylor]: Taking taylor expansion of (/ 18 (pow a 2)) in a
7.716 * [taylor]: Taking taylor expansion of 18 in a
7.716 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.716 * [taylor]: Taking taylor expansion of a in a
7.717 * [taylor]: Taking taylor expansion of (/ 18 (pow a 2)) in a
7.717 * [taylor]: Taking taylor expansion of 18 in a
7.717 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.717 * [taylor]: Taking taylor expansion of a in a
7.724 * * * [progress]: simplifying candidates
7.725 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (* 6 (* a x)))))
  (log1p (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (* 6 (* a x)))))
  (* (* 18 (* a a)) (* x x))
  (log (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (* 6 (* a x)))))
  (exp (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (* 6 (* a x)))))
  (* (cbrt (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (* 6 (* a x))))) (cbrt (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (* 6 (* a x))))))
  (cbrt (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (* 6 (* a x)))))
  (* (* (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (* 6 (* a x)))) (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (* 6 (* a x))))) (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (* 6 (* a x)))))
  (sqrt (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (* 6 (* a x)))))
  (sqrt (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (* 6 (* a x)))))
  (expm1 (* 6 (* a x)))
  (log1p (* 6 (* a x)))
  (* 6 (* a x))
  (* 6 (* a x))
  (+ (log 6) (+ (log a) (log x)))
  (+ (log 6) (log (* a x)))
  (log (* 6 (* a x)))
  (exp (* 6 (* a x)))
  (* (* (* 6 6) 6) (* (* (* a a) a) (* (* x x) x)))
  (* (* (* 6 6) 6) (* (* (* a x) (* a x)) (* a x)))
  (* (cbrt (* 6 (* a x))) (cbrt (* 6 (* a x))))
  (cbrt (* 6 (* a x)))
  (* (* (* 6 (* a x)) (* 6 (* a x))) (* 6 (* a x)))
  (sqrt (* 6 (* a x)))
  (sqrt (* 6 (* a x)))
  (* 6 a)
  (* (cbrt 6) (* a x))
  (* (sqrt 6) (* a x))
  (* 6 (* a x))
  (expm1 (pow (* x a) 3))
  (log1p (pow (* x a) 3))
  (* (+ (log x) (log a)) 3)
  (* (log (* x a)) 3)
  (* (log (* x a)) 3)
  (* 1 3)
  (* 1 3)
  (pow (* x a) (* (cbrt 3) (cbrt 3)))
  (pow (* x a) (sqrt 3))
  (pow (* x a) 1)
  (pow x 3)
  (pow a 3)
  (* (* x a) (* x a))
  (log (pow (* x a) 3))
  (exp (pow (* x a) 3))
  (* (cbrt (pow (* x a) 3)) (cbrt (pow (* x a) 3)))
  (cbrt (pow (* x a) 3))
  (* (* (pow (* x a) 3) (pow (* x a) 3)) (pow (* x a) 3))
  (pow x 3)
  (pow a 3)
  (* (* x a) (* x a))
  (sqrt (pow (* x a) 3))
  (sqrt (pow (* x a) 3))
  (pow (* x a) (/ 3 2))
  (pow (* x a) (/ 3 2))
  (expm1 (* 18 (* a a)))
  (log1p (* 18 (* a a)))
  (* 18 (* a a))
  (* 18 (* a a))
  (+ (log 18) (+ (log a) (log a)))
  (+ (log 18) (log (* a a)))
  (log (* 18 (* a a)))
  (exp (* 18 (* a a)))
  (* (* (* 18 18) 18) (* (* (* a a) a) (* (* a a) a)))
  (* (* (* 18 18) 18) (* (* (* a a) (* a a)) (* a a)))
  (* (cbrt (* 18 (* a a))) (cbrt (* 18 (* a a))))
  (cbrt (* 18 (* a a)))
  (* (* (* 18 (* a a)) (* 18 (* a a))) (* 18 (* a a)))
  (sqrt (* 18 (* a a)))
  (sqrt (* 18 (* a a)))
  (* (sqrt 18) a)
  (* (sqrt 18) a)
  (* 18 a)
  (* (cbrt 18) (* a a))
  (* (sqrt 18) (* a a))
  (* 18 (* a a))
  (+ (* 18 (* (pow a 2) (pow x 2))) (* 6 (* a x)))
  (+ (* 18 (* (pow a 2) (pow x 2))) (+ (* 6 (* a x)) (* 36 (* (pow a 3) (pow x 3)))))
  (+ (* 18 (* (pow a 2) (pow x 2))) (+ (* 6 (* a x)) (* 36 (* (pow a 3) (pow x 3)))))
  (* 6 (* a x))
  (* 6 (* a x))
  (* 6 (* a x))
  (* (pow a 3) (pow x 3))
  (* (pow a 3) (pow x 3))
  (* (pow a 3) (pow x 3))
  (* 18 (pow a 2))
  (* 18 (pow a 2))
  (* 18 (pow a 2))
7.728 * * [simplify]: iteration  0 :  119  enodes  (cost  856 )
7.758 * * [simplify]: iteration  1 :  272  enodes  (cost  767 )
7.831 * * [simplify]: iteration  2 :  1077  enodes  (cost  663 )
8.196 * * [simplify]: iteration  done :  5001  enodes  (cost  663 )
8.196 * [simplify]: Simplified to:
   (expm1 (fma 18 (pow (* x a) 2) (fma 36 (pow (* x a) 3) (* 6 (* a x)))))
  (log1p (fma 18 (pow (* x a) 2) (fma 36 (pow (* x a) 3) (* 6 (* a x)))))
  (* 18 (pow (* x a) 2))
  (log (fma 18 (pow (* x a) 2) (fma 36 (pow (* x a) 3) (* 6 (* a x)))))
  (exp (fma 18 (pow (* x a) 2) (fma 36 (pow (* x a) 3) (* 6 (* a x)))))
  (* (cbrt (fma 18 (pow (* x a) 2) (fma 36 (pow (* x a) 3) (* 6 (* a x))))) (cbrt (fma 18 (pow (* x a) 2) (fma 36 (pow (* x a) 3) (* 6 (* a x))))))
  (cbrt (fma 18 (pow (* x a) 2) (fma 36 (pow (* x a) 3) (* 6 (* a x)))))
  (pow (fma 18 (pow (* x a) 2) (fma 36 (pow (* x a) 3) (* 6 (* a x)))) 3)
  (sqrt (fma 18 (pow (* x a) 2) (fma 36 (pow (* x a) 3) (* 6 (* a x)))))
  (sqrt (fma 18 (pow (* x a) 2) (fma 36 (pow (* x a) 3) (* 6 (* a x)))))
  (expm1 (* 6 (* a x)))
  (log1p (* 6 (* a x)))
  (* 6 (* a x))
  (* 6 (* a x))
  (log (* 6 (* a x)))
  (log (* 6 (* a x)))
  (log (* 6 (* a x)))
  (exp (* 6 (* a x)))
  (* (pow (* x a) 3) 216)
  (* (pow (* x a) 3) 216)
  (* (cbrt (* 6 (* a x))) (cbrt (* 6 (* a x))))
  (cbrt (* 6 (* a x)))
  (* (pow (* x a) 3) 216)
  (sqrt (* 6 (* a x)))
  (sqrt (* 6 (* a x)))
  (* 6 a)
  (* (cbrt 6) (* a x))
  (* (sqrt 6) (* a x))
  (* 6 (* a x))
  (expm1 (pow (* x a) 3))
  (log1p (pow (* x a) 3))
  (* (log (* a x)) 3)
  (* (log (* a x)) 3)
  (* (log (* a x)) 3)
  3
  3
  (pow (* x a) (* (cbrt 3) (cbrt 3)))
  (pow (* x a) (sqrt 3))
  (* x a)
  (pow x 3)
  (pow a 3)
  (pow (* x a) 2)
  (* (log (* a x)) 3)
  (exp (pow (* x a) 3))
  (pow (* x a) 2)
  (* x a)
  (pow (pow (* x a) 3) 3)
  (pow x 3)
  (pow a 3)
  (pow (* x a) 2)
  (sqrt (pow (* x a) 3))
  (sqrt (pow (* x a) 3))
  (pow (* x a) 3/2)
  (pow (* x a) 3/2)
  (expm1 (* 18 (* a a)))
  (log1p (* 18 (* a a)))
  (* 18 (* a a))
  (* 18 (* a a))
  (log (* 18 (pow a 2)))
  (log (* 18 (pow a 2)))
  (log (* 18 (pow a 2)))
  (exp (* 18 (* a a)))
  (* 5832 (pow a 6))
  (* 5832 (pow a 6))
  (* (cbrt (* 18 (* a a))) (cbrt (* 18 (* a a))))
  (cbrt (* 18 (* a a)))
  (* 5832 (pow a 6))
  (sqrt (* 18 (* a a)))
  (sqrt (* 18 (* a a)))
  (* (sqrt 18) a)
  (* (sqrt 18) a)
  (* 18 a)
  (* (cbrt 18) (* a a))
  (* (sqrt 18) (* a a))
  (* 18 (* a a))
  (fma 6 (* x a) (* 18 (pow (* x a) 2)))
  (fma 18 (pow (* x a) 2) (fma 36 (pow (* x a) 3) (* 6 (* a x))))
  (fma 18 (pow (* x a) 2) (fma 36 (pow (* x a) 3) (* 6 (* a x))))
  (* 6 (* a x))
  (* 6 (* a x))
  (* 6 (* a x))
  (pow (* x a) 3)
  (pow (* x a) 3)
  (pow (* x a) 3)
  (* 18 (* a a))
  (* 18 (* a a))
  (* 18 (* a a))
8.197 * * * [progress]: adding candidates to table
8.554 * [progress]: [Phase 3 of 3] Extracting.
8.554 * * [regime]: Finding splitpoints for: (#<alt (λ (a x) (/ (/ (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (cbrt (* (pow (* x a) 3) 216)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))> #<alt (λ (a x) (/ (/ (+ (* 18 (pow (* x a) 2)) (fma 36 (pow (* x a) 3) (* 6 (* a x)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))> #<alt (λ (a x) (fma 0.16666666666666663 (* (pow a 3) (pow x 3)) (* x (+ (* (* 0.5 (pow a 2)) x) (* 1.0 a)))))> #<alt (λ (a x) (/ (/ (* (+ (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6))) (- (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))> #<alt (λ (a x) (/ (/ (cbrt (pow (fma 18 (pow (* x a) 2) (fma 36 (pow (* x a) 3) (* 6 (* a x)))) 3)) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))>)
8.558 * * * [regime-changes]: Trying 2 branch expressions: (x a)
8.558 * * * * [regimes]: Trying to branch on x from (#<alt (λ (a x) (/ (/ (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (cbrt (* (pow (* x a) 3) 216)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))> #<alt (λ (a x) (/ (/ (+ (* 18 (pow (* x a) 2)) (fma 36 (pow (* x a) 3) (* 6 (* a x)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))> #<alt (λ (a x) (fma 0.16666666666666663 (* (pow a 3) (pow x 3)) (* x (+ (* (* 0.5 (pow a 2)) x) (* 1.0 a)))))> #<alt (λ (a x) (/ (/ (* (+ (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6))) (- (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))> #<alt (λ (a x) (/ (/ (cbrt (pow (fma 18 (pow (* x a) 2) (fma 36 (pow (* x a) 3) (* 6 (* a x)))) 3)) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))>)
8.600 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a x) (/ (/ (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (cbrt (* (pow (* x a) 3) 216)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))> #<alt (λ (a x) (/ (/ (+ (* 18 (pow (* x a) 2)) (fma 36 (pow (* x a) 3) (* 6 (* a x)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))> #<alt (λ (a x) (fma 0.16666666666666663 (* (pow a 3) (pow x 3)) (* x (+ (* (* 0.5 (pow a 2)) x) (* 1.0 a)))))> #<alt (λ (a x) (/ (/ (* (+ (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6))) (- (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))> #<alt (λ (a x) (/ (/ (cbrt (pow (fma 18 (pow (* x a) 2) (fma 36 (pow (* x a) 3) (* 6 (* a x)))) 3)) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))>)
8.651 * * * [regime]: Found split indices: #<option (#s(si 3 29) #s(si 1 205) #s(si 3 255))>
8.652 * [binary-search]: Improving bounds with binary search for a and (#<alt (λ (a x) (/ (/ (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (cbrt (* (pow (* x a) 3) 216)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))> #<alt (λ (a x) (/ (/ (+ (* 18 (pow (* x a) 2)) (fma 36 (pow (* x a) 3) (* 6 (* a x)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))> #<alt (λ (a x) (fma 0.16666666666666663 (* (pow a 3) (pow x 3)) (* x (+ (* (* 0.5 (pow a 2)) x) (* 1.0 a)))))> #<alt (λ (a x) (/ (/ (* (+ (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6))) (- (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))> #<alt (λ (a x) (/ (/ (cbrt (pow (fma 18 (pow (* x a) 2) (fma 36 (pow (* x a) 3) (* 6 (* a x)))) 3)) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))>)
9.001 * [regimes]: Found splitpoints: (#s(sp 3 a -1.8775905144238698e+82) #s(sp 1 a 6913276300.677357) #s(sp 3 a +nan.0)) , with alts (#<alt (λ (a x) (/ (/ (fma (* 18 (* a a)) (* x x) (fma 36 (pow (* x a) 3) (cbrt (* (pow (* x a) 3) 216)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))> #<alt (λ (a x) (/ (/ (+ (* 18 (pow (* x a) 2)) (fma 36 (pow (* x a) 3) (* 6 (* a x)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))> #<alt (λ (a x) (fma 0.16666666666666663 (* (pow a 3) (pow x 3)) (* x (+ (* (* 0.5 (pow a 2)) x) (* 1.0 a)))))> #<alt (λ (a x) (/ (/ (* (+ (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6))) (- (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))> #<alt (λ (a x) (/ (/ (cbrt (pow (fma 18 (pow (* x a) 2) (fma 36 (pow (* x a) 3) (* 6 (* a x)))) 3)) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))>)
9.001 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= a -1.8775905144238698e+82) (/ (/ (* (+ (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6))) (- (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))) (if (<= a 6913276300.677357) (/ (/ (+ (* 18 (pow (* x a) 2)) (fma 36 (pow (* x a) 3) (* 6 (* a x)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))) (/ (/ (* (+ (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6))) (- (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a))))))
9.002 * * [simplify]: iteration  0 :  44  enodes  (cost  159 )
9.004 * * [simplify]: iteration  1 :  54  enodes  (cost  108 )
9.005 * * [simplify]: iteration  done :  54  enodes  (cost  108 )
9.005 * [simplify]: Simplified to:
   (if (or (<= a -1.8775905144238698e+82) (not (<= a 6913276300.677357))) (/ (/ (* (+ (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6))) (- (sqrt (exp (* (* a x) 6))) (sqrt (pow 1.0 6)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))) (/ (/ (+ (* 18 (pow (* x a) 2)) (fma 36 (pow (* x a) 3) (* 6 (* a x)))) (fma (* 1.0 1.0) (fma 1.0 1.0 (exp (* 2 (* x a)))) (exp (* (* a x) 4)))) (+ 1.0 (exp (* x a)))))
10.487 * [regime-testing]: Baseline error score: 21.588263382731135
10.488 * [regime-testing]: Oracle error score: 0.12105060541389276
10.489 * [regime-testing]: End program error score: 14.359422669103
10.532 * [regime-testing]: Target error score: 0.20449960102245443