6.389 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.033 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (exp (* a x)) 1.0)
0.034 * * [simplify]: iteration  0 :  6  enodes  (cost  6 )
0.035 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
0.036 * * [simplify]: iteration  2 :  18  enodes  (cost  6 )
0.038 * * [simplify]: iteration  3 :  26  enodes  (cost  6 )
0.041 * * [simplify]: iteration  4 :  49  enodes  (cost  6 )
0.049 * * [simplify]: iteration  5 :  107  enodes  (cost  6 )
0.076 * * [simplify]: iteration  6 :  247  enodes  (cost  6 )
0.173 * * [simplify]: iteration  7 :  872  enodes  (cost  6 )
0.948 * * [simplify]: iteration  8 :  3564  enodes  (cost  6 )
2.836 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
2.837 * [simplify]: Simplified to:
   (- (exp (* a x)) 1.0)
2.837 * * [progress]: iteration 1 / 4
2.837 * * * [progress]: picking best candidate
2.842 * * * * [pick]: Picked  #<alt (λ (a x) (- (exp (* a x)) 1.0))>
2.842 * * * [progress]: localizing error
2.847 * * * [progress]: generating rewritten candidates
2.847 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
2.851 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
2.852 * * * [progress]: generating series expansions
2.852 * * * * [progress]: [ 1 / 2 ] generating series at (2)
2.853 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0
2.853 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x
2.853 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
2.853 * [taylor]: Taking taylor expansion of (* a x) in x
2.853 * [taylor]: Taking taylor expansion of a in x
2.853 * [taylor]: Taking taylor expansion of x in x
2.853 * [taylor]: Taking taylor expansion of 1.0 in x
2.853 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a
2.853 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
2.853 * [taylor]: Taking taylor expansion of (* a x) in a
2.853 * [taylor]: Taking taylor expansion of a in a
2.853 * [taylor]: Taking taylor expansion of x in a
2.854 * [taylor]: Taking taylor expansion of 1.0 in a
2.854 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a
2.854 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
2.854 * [taylor]: Taking taylor expansion of (* a x) in a
2.854 * [taylor]: Taking taylor expansion of a in a
2.854 * [taylor]: Taking taylor expansion of x in a
2.854 * [taylor]: Taking taylor expansion of 1.0 in a
2.855 * [taylor]: Taking taylor expansion of 0 in x
2.855 * [taylor]: Taking taylor expansion of x in x
2.857 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
2.857 * [taylor]: Taking taylor expansion of 1/2 in x
2.857 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.857 * [taylor]: Taking taylor expansion of x in x
2.860 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
2.860 * [taylor]: Taking taylor expansion of 1/6 in x
2.860 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.860 * [taylor]: Taking taylor expansion of x in x
2.863 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
2.863 * [taylor]: Taking taylor expansion of 1/24 in x
2.863 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.863 * [taylor]: Taking taylor expansion of x in x
2.867 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
2.868 * [taylor]: Taking taylor expansion of 1/120 in x
2.868 * [taylor]: Taking taylor expansion of (pow x 5) in x
2.868 * [taylor]: Taking taylor expansion of x in x
2.874 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x
2.874 * [taylor]: Taking taylor expansion of 1/720 in x
2.874 * [taylor]: Taking taylor expansion of (pow x 6) in x
2.874 * [taylor]: Taking taylor expansion of x in x
2.876 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0
2.876 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
2.876 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.876 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.876 * [taylor]: Taking taylor expansion of (* a x) in x
2.876 * [taylor]: Taking taylor expansion of a in x
2.876 * [taylor]: Taking taylor expansion of x in x
2.876 * [taylor]: Taking taylor expansion of 1.0 in x
2.876 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
2.876 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.876 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.876 * [taylor]: Taking taylor expansion of (* a x) in a
2.876 * [taylor]: Taking taylor expansion of a in a
2.876 * [taylor]: Taking taylor expansion of x in a
2.877 * [taylor]: Taking taylor expansion of 1.0 in a
2.877 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
2.877 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.877 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.877 * [taylor]: Taking taylor expansion of (* a x) in a
2.877 * [taylor]: Taking taylor expansion of a in a
2.877 * [taylor]: Taking taylor expansion of x in a
2.877 * [taylor]: Taking taylor expansion of 1.0 in a
2.878 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
2.878 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.878 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.878 * [taylor]: Taking taylor expansion of (* a x) in x
2.878 * [taylor]: Taking taylor expansion of a in x
2.878 * [taylor]: Taking taylor expansion of x in x
2.878 * [taylor]: Taking taylor expansion of 1.0 in x
2.879 * [taylor]: Taking taylor expansion of 0 in x
2.880 * [taylor]: Taking taylor expansion of 0 in x
2.881 * [taylor]: Taking taylor expansion of 0 in x
2.881 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0
2.881 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
2.881 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.881 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.881 * [taylor]: Taking taylor expansion of (* a x) in x
2.881 * [taylor]: Taking taylor expansion of a in x
2.881 * [taylor]: Taking taylor expansion of x in x
2.882 * [taylor]: Taking taylor expansion of 1.0 in x
2.882 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
2.882 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.882 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.882 * [taylor]: Taking taylor expansion of (* a x) in a
2.882 * [taylor]: Taking taylor expansion of a in a
2.882 * [taylor]: Taking taylor expansion of x in a
2.882 * [taylor]: Taking taylor expansion of 1.0 in a
2.882 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
2.882 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.882 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.882 * [taylor]: Taking taylor expansion of (* a x) in a
2.882 * [taylor]: Taking taylor expansion of a in a
2.882 * [taylor]: Taking taylor expansion of x in a
2.882 * [taylor]: Taking taylor expansion of 1.0 in a
2.883 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
2.883 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.883 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.883 * [taylor]: Taking taylor expansion of (* a x) in x
2.883 * [taylor]: Taking taylor expansion of a in x
2.883 * [taylor]: Taking taylor expansion of x in x
2.883 * [taylor]: Taking taylor expansion of 1.0 in x
2.885 * [taylor]: Taking taylor expansion of 0 in x
2.885 * [taylor]: Taking taylor expansion of 0 in x
2.886 * [taylor]: Taking taylor expansion of 0 in x
2.887 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
2.887 * [approximate]: Taking taylor expansion of (exp (* a x)) in (a x) around 0
2.887 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
2.887 * [taylor]: Taking taylor expansion of (* a x) in x
2.887 * [taylor]: Taking taylor expansion of a in x
2.887 * [taylor]: Taking taylor expansion of x in x
2.887 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
2.887 * [taylor]: Taking taylor expansion of (* a x) in a
2.887 * [taylor]: Taking taylor expansion of a in a
2.887 * [taylor]: Taking taylor expansion of x in a
2.887 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
2.887 * [taylor]: Taking taylor expansion of (* a x) in a
2.887 * [taylor]: Taking taylor expansion of a in a
2.887 * [taylor]: Taking taylor expansion of x in a
2.888 * [taylor]: Taking taylor expansion of 1 in x
2.888 * [taylor]: Taking taylor expansion of x in x
2.889 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
2.889 * [taylor]: Taking taylor expansion of 1/2 in x
2.889 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.889 * [taylor]: Taking taylor expansion of x in x
2.891 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
2.891 * [taylor]: Taking taylor expansion of 1/6 in x
2.891 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.891 * [taylor]: Taking taylor expansion of x in x
2.893 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
2.893 * [taylor]: Taking taylor expansion of 1/24 in x
2.893 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.893 * [taylor]: Taking taylor expansion of x in x
2.894 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
2.894 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.894 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.894 * [taylor]: Taking taylor expansion of (* a x) in x
2.894 * [taylor]: Taking taylor expansion of a in x
2.894 * [taylor]: Taking taylor expansion of x in x
2.895 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.895 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.895 * [taylor]: Taking taylor expansion of (* a x) in a
2.895 * [taylor]: Taking taylor expansion of a in a
2.895 * [taylor]: Taking taylor expansion of x in a
2.895 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.895 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.895 * [taylor]: Taking taylor expansion of (* a x) in a
2.895 * [taylor]: Taking taylor expansion of a in a
2.895 * [taylor]: Taking taylor expansion of x in a
2.895 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.895 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.895 * [taylor]: Taking taylor expansion of (* a x) in x
2.895 * [taylor]: Taking taylor expansion of a in x
2.896 * [taylor]: Taking taylor expansion of x in x
2.896 * [taylor]: Taking taylor expansion of 0 in x
2.896 * [taylor]: Taking taylor expansion of 0 in x
2.896 * [taylor]: Taking taylor expansion of 0 in x
2.896 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
2.896 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.896 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.896 * [taylor]: Taking taylor expansion of (* a x) in x
2.896 * [taylor]: Taking taylor expansion of a in x
2.896 * [taylor]: Taking taylor expansion of x in x
2.897 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.897 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.897 * [taylor]: Taking taylor expansion of (* a x) in a
2.897 * [taylor]: Taking taylor expansion of a in a
2.897 * [taylor]: Taking taylor expansion of x in a
2.897 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.897 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.897 * [taylor]: Taking taylor expansion of (* a x) in a
2.897 * [taylor]: Taking taylor expansion of a in a
2.897 * [taylor]: Taking taylor expansion of x in a
2.897 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.897 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.898 * [taylor]: Taking taylor expansion of (* a x) in x
2.898 * [taylor]: Taking taylor expansion of a in x
2.898 * [taylor]: Taking taylor expansion of x in x
2.898 * [taylor]: Taking taylor expansion of 0 in x
2.898 * [taylor]: Taking taylor expansion of 0 in x
2.898 * [taylor]: Taking taylor expansion of 0 in x
2.898 * * * [progress]: simplifying candidates
2.899 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (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)
  (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.900 * * [simplify]: iteration  0 :  53  enodes  (cost  263 )
2.908 * * [simplify]: iteration  1 :  116  enodes  (cost  248 )
2.930 * * [simplify]: iteration  2 :  312  enodes  (cost  232 )
3.018 * * [simplify]: iteration  3 :  1052  enodes  (cost  228 )
3.508 * * [simplify]: iteration  done :  5000  enodes  (cost  226 )
3.508 * [simplify]: Simplified to:
   (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))
  (+ (exp (* 2 (* x a))) (* 1.0 (+ (exp (* a x)) 1.0)))
  (- 1.0)
  (- (exp (* 2 (* x a))) (* 1.0 1.0))
  (+ (exp (* a x)) 1.0)
  (+ (sqrt (exp (* a x))) (sqrt 1.0))
  (- (sqrt (exp (* a x))) (sqrt 1.0))
  (- (exp (* a x)) 1.0)
  (- 1.0)
  (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)))
  (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))
  (- (exp (* a x)) 1.0)
  (- (exp (* a x)) 1.0)
  (+ (* x (+ a (* (* 1/2 (pow a 2)) x))) 1)
  (pow (exp a) x)
  (pow (exp a) x)
3.508 * * * [progress]: adding candidates to table
3.566 * * [progress]: iteration 2 / 4
3.566 * * * [progress]: picking best candidate
3.576 * * * * [pick]: Picked  #<alt (λ (a x) (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))>
3.576 * * * [progress]: localizing error
3.593 * * * [progress]: generating rewritten candidates
3.593 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
3.602 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
3.634 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1)
3.643 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.652 * * * [progress]: generating series expansions
3.652 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
3.652 * [approximate]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in (a x) around 0
3.652 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in x
3.652 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x
3.652 * [taylor]: Taking taylor expansion of 1/2 in x
3.652 * [taylor]: Taking taylor expansion of (pow a 2) in x
3.652 * [taylor]: Taking taylor expansion of a in x
3.652 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x
3.652 * [taylor]: Taking taylor expansion of 1/6 in x
3.652 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
3.652 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.652 * [taylor]: Taking taylor expansion of a in x
3.652 * [taylor]: Taking taylor expansion of x in x
3.652 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a
3.652 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
3.652 * [taylor]: Taking taylor expansion of 1/2 in a
3.652 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.653 * [taylor]: Taking taylor expansion of a in a
3.653 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a
3.653 * [taylor]: Taking taylor expansion of 1/6 in a
3.653 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
3.653 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.653 * [taylor]: Taking taylor expansion of a in a
3.653 * [taylor]: Taking taylor expansion of x in a
3.653 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a
3.653 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
3.653 * [taylor]: Taking taylor expansion of 1/2 in a
3.653 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.653 * [taylor]: Taking taylor expansion of a in a
3.653 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a
3.653 * [taylor]: Taking taylor expansion of 1/6 in a
3.653 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
3.653 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.653 * [taylor]: Taking taylor expansion of a in a
3.653 * [taylor]: Taking taylor expansion of x in a
3.654 * [taylor]: Taking taylor expansion of 1/2 in x
3.655 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
3.655 * [taylor]: Taking taylor expansion of 1/6 in x
3.655 * [taylor]: Taking taylor expansion of x in x
3.658 * [taylor]: Taking taylor expansion of 0 in x
3.661 * [taylor]: Taking taylor expansion of 0 in x
3.666 * [taylor]: Taking taylor expansion of 0 in x
3.669 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in (a x) around 0
3.669 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x
3.669 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x
3.669 * [taylor]: Taking taylor expansion of 1/2 in x
3.669 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x
3.669 * [taylor]: Taking taylor expansion of (pow a 2) in x
3.669 * [taylor]: Taking taylor expansion of a in x
3.669 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x
3.669 * [taylor]: Taking taylor expansion of 1/6 in x
3.670 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x
3.670 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
3.670 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.670 * [taylor]: Taking taylor expansion of a in x
3.670 * [taylor]: Taking taylor expansion of x in x
3.670 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
3.670 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
3.670 * [taylor]: Taking taylor expansion of 1/2 in a
3.670 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.670 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.670 * [taylor]: Taking taylor expansion of a in a
3.671 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
3.671 * [taylor]: Taking taylor expansion of 1/6 in a
3.671 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
3.671 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
3.671 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.671 * [taylor]: Taking taylor expansion of a in a
3.671 * [taylor]: Taking taylor expansion of x in a
3.672 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
3.672 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
3.672 * [taylor]: Taking taylor expansion of 1/2 in a
3.672 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.672 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.672 * [taylor]: Taking taylor expansion of a in a
3.672 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
3.672 * [taylor]: Taking taylor expansion of 1/6 in a
3.672 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
3.672 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
3.672 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.672 * [taylor]: Taking taylor expansion of a in a
3.672 * [taylor]: Taking taylor expansion of x in a
3.673 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
3.673 * [taylor]: Taking taylor expansion of 1/6 in x
3.673 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.673 * [taylor]: Taking taylor expansion of x in x
3.675 * [taylor]: Taking taylor expansion of 1/2 in x
3.679 * [taylor]: Taking taylor expansion of 0 in x
3.685 * [taylor]: Taking taylor expansion of 0 in x
3.691 * [taylor]: Taking taylor expansion of 0 in x
3.691 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in (a x) around 0
3.691 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x
3.691 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x
3.691 * [taylor]: Taking taylor expansion of 1/2 in x
3.691 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x
3.691 * [taylor]: Taking taylor expansion of (pow a 2) in x
3.691 * [taylor]: Taking taylor expansion of a in x
3.691 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x
3.691 * [taylor]: Taking taylor expansion of 1/6 in x
3.692 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x
3.692 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
3.692 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.692 * [taylor]: Taking taylor expansion of a in x
3.692 * [taylor]: Taking taylor expansion of x in x
3.692 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
3.692 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
3.692 * [taylor]: Taking taylor expansion of 1/2 in a
3.692 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.692 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.692 * [taylor]: Taking taylor expansion of a in a
3.693 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
3.693 * [taylor]: Taking taylor expansion of 1/6 in a
3.693 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
3.693 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
3.693 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.693 * [taylor]: Taking taylor expansion of a in a
3.693 * [taylor]: Taking taylor expansion of x in a
3.693 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
3.693 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
3.693 * [taylor]: Taking taylor expansion of 1/2 in a
3.693 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.693 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.693 * [taylor]: Taking taylor expansion of a in a
3.694 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
3.694 * [taylor]: Taking taylor expansion of 1/6 in a
3.694 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
3.694 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
3.694 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.694 * [taylor]: Taking taylor expansion of a in a
3.694 * [taylor]: Taking taylor expansion of x in a
3.695 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
3.695 * [taylor]: Taking taylor expansion of 1/6 in x
3.695 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.695 * [taylor]: Taking taylor expansion of x in x
3.697 * [taylor]: Taking taylor expansion of 1/2 in x
3.701 * [taylor]: Taking taylor expansion of 0 in x
3.706 * [taylor]: Taking taylor expansion of 0 in x
3.712 * [taylor]: Taking taylor expansion of 0 in x
3.713 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
3.713 * [approximate]: Taking taylor expansion of (* x (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))) in (x a) around 0
3.713 * [taylor]: Taking taylor expansion of (* x (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))) in a
3.713 * [taylor]: Taking taylor expansion of x in a
3.713 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a
3.713 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
3.713 * [taylor]: Taking taylor expansion of 1/2 in a
3.713 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.713 * [taylor]: Taking taylor expansion of a in a
3.713 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a
3.713 * [taylor]: Taking taylor expansion of 1/6 in a
3.713 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
3.713 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.713 * [taylor]: Taking taylor expansion of a in a
3.713 * [taylor]: Taking taylor expansion of x in a
3.713 * [taylor]: Taking taylor expansion of (* x (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))) in x
3.713 * [taylor]: Taking taylor expansion of x in x
3.713 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in x
3.713 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x
3.713 * [taylor]: Taking taylor expansion of 1/2 in x
3.713 * [taylor]: Taking taylor expansion of (pow a 2) in x
3.713 * [taylor]: Taking taylor expansion of a in x
3.714 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x
3.714 * [taylor]: Taking taylor expansion of 1/6 in x
3.714 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
3.714 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.714 * [taylor]: Taking taylor expansion of a in x
3.714 * [taylor]: Taking taylor expansion of x in x
3.714 * [taylor]: Taking taylor expansion of (* x (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))) in x
3.714 * [taylor]: Taking taylor expansion of x in x
3.714 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in x
3.714 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x
3.714 * [taylor]: Taking taylor expansion of 1/2 in x
3.714 * [taylor]: Taking taylor expansion of (pow a 2) in x
3.714 * [taylor]: Taking taylor expansion of a in x
3.714 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x
3.714 * [taylor]: Taking taylor expansion of 1/6 in x
3.714 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
3.714 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.714 * [taylor]: Taking taylor expansion of a in x
3.714 * [taylor]: Taking taylor expansion of x in x
3.714 * [taylor]: Taking taylor expansion of 0 in a
3.716 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
3.716 * [taylor]: Taking taylor expansion of 1/2 in a
3.716 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.716 * [taylor]: Taking taylor expansion of a in a
3.719 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a
3.719 * [taylor]: Taking taylor expansion of 1/6 in a
3.719 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.719 * [taylor]: Taking taylor expansion of a in a
3.725 * [taylor]: Taking taylor expansion of 0 in a
3.732 * [taylor]: Taking taylor expansion of 0 in a
3.735 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in (x a) around 0
3.735 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in a
3.735 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
3.735 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
3.735 * [taylor]: Taking taylor expansion of 1/2 in a
3.735 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.735 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.735 * [taylor]: Taking taylor expansion of a in a
3.735 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
3.735 * [taylor]: Taking taylor expansion of 1/6 in a
3.735 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
3.735 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
3.736 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.736 * [taylor]: Taking taylor expansion of a in a
3.736 * [taylor]: Taking taylor expansion of x in a
3.736 * [taylor]: Taking taylor expansion of x in a
3.736 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in x
3.736 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x
3.736 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x
3.736 * [taylor]: Taking taylor expansion of 1/2 in x
3.736 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x
3.736 * [taylor]: Taking taylor expansion of (pow a 2) in x
3.736 * [taylor]: Taking taylor expansion of a in x
3.736 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x
3.736 * [taylor]: Taking taylor expansion of 1/6 in x
3.736 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x
3.736 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
3.736 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.736 * [taylor]: Taking taylor expansion of a in x
3.737 * [taylor]: Taking taylor expansion of x in x
3.737 * [taylor]: Taking taylor expansion of x in x
3.737 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in x
3.737 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x
3.737 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x
3.737 * [taylor]: Taking taylor expansion of 1/2 in x
3.737 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x
3.737 * [taylor]: Taking taylor expansion of (pow a 2) in x
3.737 * [taylor]: Taking taylor expansion of a in x
3.738 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x
3.738 * [taylor]: Taking taylor expansion of 1/6 in x
3.738 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x
3.738 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
3.738 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.738 * [taylor]: Taking taylor expansion of a in x
3.738 * [taylor]: Taking taylor expansion of x in x
3.738 * [taylor]: Taking taylor expansion of x in x
3.739 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a
3.739 * [taylor]: Taking taylor expansion of 1/6 in a
3.739 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.739 * [taylor]: Taking taylor expansion of a in a
3.741 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
3.742 * [taylor]: Taking taylor expansion of 1/2 in a
3.742 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.742 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.742 * [taylor]: Taking taylor expansion of a in a
3.747 * [taylor]: Taking taylor expansion of 0 in a
3.757 * [taylor]: Taking taylor expansion of 0 in a
3.767 * [taylor]: Taking taylor expansion of 0 in a
3.779 * [taylor]: Taking taylor expansion of 0 in a
3.779 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x)) in (x a) around 0
3.779 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x)) in a
3.779 * [taylor]: Taking taylor expansion of -1 in a
3.779 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in a
3.779 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
3.780 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
3.780 * [taylor]: Taking taylor expansion of 1/2 in a
3.780 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.780 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.780 * [taylor]: Taking taylor expansion of a in a
3.780 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
3.780 * [taylor]: Taking taylor expansion of 1/6 in a
3.780 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
3.780 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
3.780 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.780 * [taylor]: Taking taylor expansion of a in a
3.780 * [taylor]: Taking taylor expansion of x in a
3.781 * [taylor]: Taking taylor expansion of x in a
3.781 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x)) in x
3.781 * [taylor]: Taking taylor expansion of -1 in x
3.781 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in x
3.781 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x
3.781 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x
3.781 * [taylor]: Taking taylor expansion of 1/2 in x
3.781 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x
3.781 * [taylor]: Taking taylor expansion of (pow a 2) in x
3.781 * [taylor]: Taking taylor expansion of a in x
3.781 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x
3.781 * [taylor]: Taking taylor expansion of 1/6 in x
3.781 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x
3.781 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
3.781 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.781 * [taylor]: Taking taylor expansion of a in x
3.781 * [taylor]: Taking taylor expansion of x in x
3.782 * [taylor]: Taking taylor expansion of x in x
3.782 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x)) in x
3.782 * [taylor]: Taking taylor expansion of -1 in x
3.782 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in x
3.782 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x
3.782 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x
3.782 * [taylor]: Taking taylor expansion of 1/2 in x
3.782 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x
3.782 * [taylor]: Taking taylor expansion of (pow a 2) in x
3.782 * [taylor]: Taking taylor expansion of a in x
3.782 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x
3.782 * [taylor]: Taking taylor expansion of 1/6 in x
3.782 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x
3.782 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
3.782 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.782 * [taylor]: Taking taylor expansion of a in x
3.782 * [taylor]: Taking taylor expansion of x in x
3.783 * [taylor]: Taking taylor expansion of x in x
3.783 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in a
3.783 * [taylor]: Taking taylor expansion of -1/6 in a
3.783 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.783 * [taylor]: Taking taylor expansion of a in a
3.786 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow a 2)))) in a
3.786 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
3.786 * [taylor]: Taking taylor expansion of 1/2 in a
3.786 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.786 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.786 * [taylor]: Taking taylor expansion of a in a
3.793 * [taylor]: Taking taylor expansion of 0 in a
3.801 * [taylor]: Taking taylor expansion of 0 in a
3.812 * [taylor]: Taking taylor expansion of 0 in a
3.825 * [taylor]: Taking taylor expansion of 0 in a
3.826 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1)
3.826 * [approximate]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in (a x) around 0
3.826 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x
3.826 * [taylor]: Taking taylor expansion of 1/6 in x
3.826 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
3.826 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.826 * [taylor]: Taking taylor expansion of a in x
3.826 * [taylor]: Taking taylor expansion of x in x
3.826 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a
3.826 * [taylor]: Taking taylor expansion of 1/6 in a
3.826 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
3.826 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.826 * [taylor]: Taking taylor expansion of a in a
3.826 * [taylor]: Taking taylor expansion of x in a
3.826 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a
3.826 * [taylor]: Taking taylor expansion of 1/6 in a
3.826 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
3.826 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.826 * [taylor]: Taking taylor expansion of a in a
3.826 * [taylor]: Taking taylor expansion of x in a
3.827 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
3.827 * [taylor]: Taking taylor expansion of 1/6 in x
3.827 * [taylor]: Taking taylor expansion of x in x
3.829 * [taylor]: Taking taylor expansion of 0 in x
3.831 * [taylor]: Taking taylor expansion of 0 in x
3.836 * [taylor]: Taking taylor expansion of 0 in x
3.837 * [approximate]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in (a x) around 0
3.837 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in x
3.837 * [taylor]: Taking taylor expansion of 1/6 in x
3.837 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
3.837 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.837 * [taylor]: Taking taylor expansion of a in x
3.837 * [taylor]: Taking taylor expansion of x in x
3.838 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in a
3.838 * [taylor]: Taking taylor expansion of 1/6 in a
3.838 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
3.838 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.838 * [taylor]: Taking taylor expansion of a in a
3.838 * [taylor]: Taking taylor expansion of x in a
3.838 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in a
3.838 * [taylor]: Taking taylor expansion of 1/6 in a
3.838 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
3.838 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.838 * [taylor]: Taking taylor expansion of a in a
3.838 * [taylor]: Taking taylor expansion of x in a
3.839 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x
3.839 * [taylor]: Taking taylor expansion of 1/6 in x
3.839 * [taylor]: Taking taylor expansion of x in x
3.840 * [taylor]: Taking taylor expansion of 0 in x
3.842 * [taylor]: Taking taylor expansion of 0 in x
3.845 * [taylor]: Taking taylor expansion of 0 in x
3.846 * [approximate]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in (a x) around 0
3.846 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in x
3.846 * [taylor]: Taking taylor expansion of 1/6 in x
3.846 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
3.846 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.846 * [taylor]: Taking taylor expansion of a in x
3.846 * [taylor]: Taking taylor expansion of x in x
3.846 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in a
3.846 * [taylor]: Taking taylor expansion of 1/6 in a
3.846 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
3.846 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.846 * [taylor]: Taking taylor expansion of a in a
3.846 * [taylor]: Taking taylor expansion of x in a
3.847 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in a
3.847 * [taylor]: Taking taylor expansion of 1/6 in a
3.847 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
3.847 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.847 * [taylor]: Taking taylor expansion of a in a
3.847 * [taylor]: Taking taylor expansion of x in a
3.848 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x
3.848 * [taylor]: Taking taylor expansion of 1/6 in x
3.848 * [taylor]: Taking taylor expansion of x in x
3.849 * [taylor]: Taking taylor expansion of 0 in x
3.851 * [taylor]: Taking taylor expansion of 0 in x
3.854 * [taylor]: Taking taylor expansion of 0 in x
3.854 * * * * [progress]: [ 4 / 4 ] generating series at (2)
3.855 * [approximate]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in (x a) around 0
3.855 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in a
3.855 * [taylor]: Taking taylor expansion of x in a
3.855 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in a
3.855 * [taylor]: Taking taylor expansion of a in a
3.855 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in a
3.855 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in a
3.855 * [taylor]: Taking taylor expansion of 1/6 in a
3.855 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a
3.855 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.855 * [taylor]: Taking taylor expansion of a in a
3.855 * [taylor]: Taking taylor expansion of (pow x 2) in a
3.855 * [taylor]: Taking taylor expansion of x in a
3.855 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in a
3.855 * [taylor]: Taking taylor expansion of 1/2 in a
3.855 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a
3.855 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.855 * [taylor]: Taking taylor expansion of a in a
3.855 * [taylor]: Taking taylor expansion of x in a
3.855 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in x
3.855 * [taylor]: Taking taylor expansion of x in x
3.855 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in x
3.855 * [taylor]: Taking taylor expansion of a in x
3.855 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in x
3.855 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x
3.855 * [taylor]: Taking taylor expansion of 1/6 in x
3.855 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
3.855 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.855 * [taylor]: Taking taylor expansion of a in x
3.855 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.855 * [taylor]: Taking taylor expansion of x in x
3.855 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x
3.855 * [taylor]: Taking taylor expansion of 1/2 in x
3.855 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
3.855 * [taylor]: Taking taylor expansion of (pow a 2) in x
3.855 * [taylor]: Taking taylor expansion of a in x
3.855 * [taylor]: Taking taylor expansion of x in x
3.855 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in x
3.855 * [taylor]: Taking taylor expansion of x in x
3.855 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in x
3.855 * [taylor]: Taking taylor expansion of a in x
3.855 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in x
3.855 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x
3.855 * [taylor]: Taking taylor expansion of 1/6 in x
3.856 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
3.856 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.856 * [taylor]: Taking taylor expansion of a in x
3.856 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.856 * [taylor]: Taking taylor expansion of x in x
3.856 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x
3.856 * [taylor]: Taking taylor expansion of 1/2 in x
3.856 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
3.856 * [taylor]: Taking taylor expansion of (pow a 2) in x
3.856 * [taylor]: Taking taylor expansion of a in x
3.856 * [taylor]: Taking taylor expansion of x in x
3.856 * [taylor]: Taking taylor expansion of 0 in a
3.857 * [taylor]: Taking taylor expansion of a in a
3.859 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
3.859 * [taylor]: Taking taylor expansion of 1/2 in a
3.859 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.859 * [taylor]: Taking taylor expansion of a in a
3.863 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a
3.863 * [taylor]: Taking taylor expansion of 1/6 in a
3.863 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.863 * [taylor]: Taking taylor expansion of a in a
3.869 * [taylor]: Taking taylor expansion of 0 in a
3.876 * [taylor]: Taking taylor expansion of 0 in a
3.877 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in (x a) around 0
3.877 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in a
3.877 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in a
3.878 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a
3.878 * [taylor]: Taking taylor expansion of 1/2 in a
3.878 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a
3.878 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a
3.878 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.878 * [taylor]: Taking taylor expansion of a in a
3.878 * [taylor]: Taking taylor expansion of x in a
3.878 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a
3.878 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.878 * [taylor]: Taking taylor expansion of a in a
3.878 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a
3.878 * [taylor]: Taking taylor expansion of 1/6 in a
3.878 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a
3.879 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a
3.879 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.879 * [taylor]: Taking taylor expansion of a in a
3.879 * [taylor]: Taking taylor expansion of (pow x 2) in a
3.879 * [taylor]: Taking taylor expansion of x in a
3.879 * [taylor]: Taking taylor expansion of x in a
3.880 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in x
3.880 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x
3.880 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x
3.880 * [taylor]: Taking taylor expansion of 1/2 in x
3.880 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x
3.880 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
3.880 * [taylor]: Taking taylor expansion of (pow a 2) in x
3.880 * [taylor]: Taking taylor expansion of a in x
3.880 * [taylor]: Taking taylor expansion of x in x
3.880 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x
3.880 * [taylor]: Taking taylor expansion of (/ 1 a) in x
3.880 * [taylor]: Taking taylor expansion of a in x
3.880 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x
3.880 * [taylor]: Taking taylor expansion of 1/6 in x
3.880 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x
3.880 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
3.880 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.880 * [taylor]: Taking taylor expansion of a in x
3.880 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.880 * [taylor]: Taking taylor expansion of x in x
3.881 * [taylor]: Taking taylor expansion of x in x
3.881 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in x
3.881 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x
3.881 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x
3.881 * [taylor]: Taking taylor expansion of 1/2 in x
3.881 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x
3.881 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
3.881 * [taylor]: Taking taylor expansion of (pow a 2) in x
3.881 * [taylor]: Taking taylor expansion of a in x
3.881 * [taylor]: Taking taylor expansion of x in x
3.882 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x
3.882 * [taylor]: Taking taylor expansion of (/ 1 a) in x
3.882 * [taylor]: Taking taylor expansion of a in x
3.882 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x
3.882 * [taylor]: Taking taylor expansion of 1/6 in x
3.882 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x
3.882 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
3.882 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.882 * [taylor]: Taking taylor expansion of a in x
3.882 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.882 * [taylor]: Taking taylor expansion of x in x
3.882 * [taylor]: Taking taylor expansion of x in x
3.883 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a
3.883 * [taylor]: Taking taylor expansion of 1/6 in a
3.883 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.883 * [taylor]: Taking taylor expansion of a in a
3.886 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
3.886 * [taylor]: Taking taylor expansion of 1/2 in a
3.886 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.886 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.886 * [taylor]: Taking taylor expansion of a in a
3.892 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.892 * [taylor]: Taking taylor expansion of a in a
3.900 * [taylor]: Taking taylor expansion of 0 in a
3.912 * [taylor]: Taking taylor expansion of 0 in a
3.913 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in (x a) around 0
3.913 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in a
3.913 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in a
3.913 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a
3.913 * [taylor]: Taking taylor expansion of 1/2 in a
3.913 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a
3.913 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a
3.913 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.913 * [taylor]: Taking taylor expansion of a in a
3.913 * [taylor]: Taking taylor expansion of x in a
3.913 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a
3.913 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.913 * [taylor]: Taking taylor expansion of a in a
3.914 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a
3.914 * [taylor]: Taking taylor expansion of 1/6 in a
3.914 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a
3.914 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a
3.914 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.914 * [taylor]: Taking taylor expansion of a in a
3.914 * [taylor]: Taking taylor expansion of (pow x 2) in a
3.914 * [taylor]: Taking taylor expansion of x in a
3.914 * [taylor]: Taking taylor expansion of x in a
3.915 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in x
3.915 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x
3.915 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x
3.915 * [taylor]: Taking taylor expansion of 1/2 in x
3.915 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x
3.915 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
3.915 * [taylor]: Taking taylor expansion of (pow a 2) in x
3.915 * [taylor]: Taking taylor expansion of a in x
3.915 * [taylor]: Taking taylor expansion of x in x
3.916 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x
3.916 * [taylor]: Taking taylor expansion of (/ 1 a) in x
3.916 * [taylor]: Taking taylor expansion of a in x
3.916 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x
3.916 * [taylor]: Taking taylor expansion of 1/6 in x
3.916 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x
3.916 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
3.916 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.916 * [taylor]: Taking taylor expansion of a in x
3.916 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.916 * [taylor]: Taking taylor expansion of x in x
3.916 * [taylor]: Taking taylor expansion of x in x
3.917 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in x
3.917 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x
3.917 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x
3.917 * [taylor]: Taking taylor expansion of 1/2 in x
3.917 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x
3.917 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
3.917 * [taylor]: Taking taylor expansion of (pow a 2) in x
3.917 * [taylor]: Taking taylor expansion of a in x
3.917 * [taylor]: Taking taylor expansion of x in x
3.918 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x
3.918 * [taylor]: Taking taylor expansion of (/ 1 a) in x
3.918 * [taylor]: Taking taylor expansion of a in x
3.918 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x
3.918 * [taylor]: Taking taylor expansion of 1/6 in x
3.918 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x
3.918 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
3.918 * [taylor]: Taking taylor expansion of (pow a 3) in x
3.918 * [taylor]: Taking taylor expansion of a in x
3.918 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.918 * [taylor]: Taking taylor expansion of x in x
3.918 * [taylor]: Taking taylor expansion of x in x
3.919 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a
3.919 * [taylor]: Taking taylor expansion of 1/6 in a
3.919 * [taylor]: Taking taylor expansion of (pow a 3) in a
3.919 * [taylor]: Taking taylor expansion of a in a
3.924 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
3.924 * [taylor]: Taking taylor expansion of 1/2 in a
3.924 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.924 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.924 * [taylor]: Taking taylor expansion of a in a
3.930 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.930 * [taylor]: Taking taylor expansion of a in a
3.939 * [taylor]: Taking taylor expansion of 0 in a
3.950 * [taylor]: Taking taylor expansion of 0 in a
3.951 * * * [progress]: simplifying candidates
3.952 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (exp (* (* 1/6 (pow a 3)) x)) (exp (* 1/2 (pow a 2))))
  (log (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (exp (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (* (cbrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (cbrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (cbrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (* (* (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (+ (pow (* (* 1/6 (pow a 3)) x) 3) (pow (* 1/2 (pow a 2)) 3))
  (+ (* (* (* 1/6 (pow a 3)) x) (* (* 1/6 (pow a 3)) x)) (- (* (* 1/2 (pow a 2)) (* 1/2 (pow a 2))) (* (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (- (* (* (* 1/6 (pow a 3)) x) (* (* 1/6 (pow a 3)) x)) (* (* 1/2 (pow a 2)) (* 1/2 (pow a 2))))
  (- (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))
  (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (+ (log x) (log (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (log (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (exp (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (* (* (* x x) x) (* (* (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (* (cbrt (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (cbrt (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))
  (cbrt (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (* (* (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (sqrt (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (sqrt (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (* (sqrt x) (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (* (sqrt x) (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (* x (* (* 1/6 (pow a 3)) x))
  (* x (* 1/2 (pow a 2)))
  (* (* (* 1/6 (pow a 3)) x) x)
  (* (* 1/2 (pow a 2)) x)
  (* x (* (cbrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (cbrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))
  (* x (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (* x 1)
  (* (cbrt x) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (* (sqrt x) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (* x (+ (pow (* (* 1/6 (pow a 3)) x) 3) (pow (* 1/2 (pow a 2)) 3)))
  (* x (- (* (* (* 1/6 (pow a 3)) x) (* (* 1/6 (pow a 3)) x)) (* (* 1/2 (pow a 2)) (* 1/2 (pow a 2)))))
  (* (* 1/6 (pow a 3)) x)
  (+ (+ (log 1/6) (* (log a) 3)) (log x))
  (+ (+ (log 1/6) (* (log a) 3)) (log x))
  (+ (+ (log 1/6) (log (pow a 3))) (log x))
  (+ (log (* 1/6 (pow a 3))) (log x))
  (log (* (* 1/6 (pow a 3)) x))
  (exp (* (* 1/6 (pow a 3)) x))
  (* (* (* (* 1/6 1/6) 1/6) (* (* (pow a 3) (pow a 3)) (pow a 3))) (* (* x x) x))
  (* (* (* (* 1/6 (pow a 3)) (* 1/6 (pow a 3))) (* 1/6 (pow a 3))) (* (* x x) x))
  (* (cbrt (* (* 1/6 (pow a 3)) x)) (cbrt (* (* 1/6 (pow a 3)) x)))
  (cbrt (* (* 1/6 (pow a 3)) x))
  (* (* (* (* 1/6 (pow a 3)) x) (* (* 1/6 (pow a 3)) x)) (* (* 1/6 (pow a 3)) x))
  (sqrt (* (* 1/6 (pow a 3)) x))
  (sqrt (* (* 1/6 (pow a 3)) x))
  (* (* 1/6 (pow a 3)) (* (cbrt x) (cbrt x)))
  (* (* 1/6 (pow a 3)) (sqrt x))
  (* (* 1/6 (pow a 3)) 1)
  (* (pow a 3) x)
  (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))
  (+ (log x) (log (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (log (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (exp (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (* (* (* x x) x) (* (* (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))) (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (* (cbrt (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))) (cbrt (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))))
  (cbrt (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (* (* (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))) (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))) (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (sqrt (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (sqrt (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (* (sqrt x) (sqrt (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (* (sqrt x) (sqrt (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (* x a)
  (* x (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (* a x)
  (* (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) x)
  (* x (* (cbrt (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))) (cbrt (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))))
  (* x (sqrt (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (* x 1)
  (* (cbrt x) (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))
  (* (sqrt x) (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))
  (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))
  (* x (+ (pow a 3) (pow (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) 3)))
  (* x (- (* a a) (* (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))
  (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))
  (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))
  (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))
  (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))
  (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))
  (* 1/6 (* (pow a 3) x))
  (* 1/6 (* (pow a 3) x))
  (* 1/6 (* (pow a 3) x))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
3.956 * * [simplify]: iteration  0 :  137  enodes  (cost  1638 )
3.990 * * [simplify]: iteration  1 :  403  enodes  (cost  1522 )
4.141 * * [simplify]: iteration  2 :  1847  enodes  (cost  1362 )
4.705 * * [simplify]: iteration  done :  5001  enodes  (cost  1362 )
4.706 * [simplify]: Simplified to:
   (exp (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (log (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (exp (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (* (cbrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (cbrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (cbrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (pow (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) 3)
  (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (+ (pow (* 1/6 (* (pow a 3) x)) 3) (* 1/8 (pow a 6)))
  (- (* 1/4 (pow a 4)) (- (* (* a a) (* (* (pow a 3) x) 1/12)) (* (* 1/36 (pow a 6)) (* x x))))
  (+ (* (* 1/36 (pow a 6)) (* x x)) (* -1/4 (pow a 4)))
  (- (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))
  (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (log (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (log (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (exp (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (pow (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) 3)
  (* (cbrt (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))) (cbrt (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))
  (cbrt (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (pow (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) 3)
  (sqrt (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (sqrt (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (* (sqrt x) (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (* (sqrt x) (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  (* (* (* 1/6 (pow a 3)) x) x)
  (* 1/2 (* (pow a 2) x))
  (* (* (* 1/6 (pow a 3)) x) x)
  (* 1/2 (* (pow a 2) x))
  (* x (* (cbrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (cbrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))
  (* x (sqrt (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))
  x
  (* (cbrt x) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (* (sqrt x) (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (* x (+ (pow (* 1/6 (* (pow a 3) x)) 3) (* 1/8 (pow a 6))))
  (* (+ (* (* 1/36 (pow a 6)) (* x x)) (* -1/4 (pow a 4))) x)
  (* 1/6 (* (pow a 3) x))
  (log (* 1/6 (* (pow a 3) x)))
  (log (* 1/6 (* (pow a 3) x)))
  (log (* 1/6 (* (pow a 3) x)))
  (log (* 1/6 (* (pow a 3) x)))
  (log (* 1/6 (* (pow a 3) x)))
  (exp (* (* 1/6 (pow a 3)) x))
  (pow (* 1/6 (* (pow a 3) x)) 3)
  (pow (* 1/6 (* (pow a 3) x)) 3)
  (* (cbrt (* (* 1/6 (pow a 3)) x)) (cbrt (* (* 1/6 (pow a 3)) x)))
  (cbrt (* (* 1/6 (pow a 3)) x))
  (pow (* 1/6 (* (pow a 3) x)) 3)
  (sqrt (* (* 1/6 (pow a 3)) x))
  (sqrt (* (* 1/6 (pow a 3)) x))
  (* (* 1/6 (pow a 3)) (* (cbrt x) (cbrt x)))
  (* (* 1/6 (pow a 3)) (sqrt x))
  (* 1/6 (pow a 3))
  (* (pow a 3) x)
  (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))
  (log (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (log (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (exp (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (pow (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))) 3)
  (* (cbrt (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))) (cbrt (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))))
  (cbrt (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (pow (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))) 3)
  (sqrt (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (sqrt (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (* (sqrt x) (sqrt (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (* (sqrt x) (sqrt (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (* a x)
  (* (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) x)
  (* a x)
  (* (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) x)
  (* x (* (cbrt (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))) (cbrt (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))))
  (* x (sqrt (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  x
  (* (cbrt x) (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))
  (* (sqrt x) (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))
  (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))
  (* x (+ (pow a 3) (pow (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) 3)))
  (* x (- (* a a) (* (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))) (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))
  (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))
  (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))
  (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))
  (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))
  (* 1/6 (* (pow a 3) x))
  (* 1/6 (* (pow a 3) x))
  (* 1/6 (* (pow a 3) x))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x))
  (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))
  (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2))))))
4.707 * * * [progress]: adding candidates to table
4.908 * * [progress]: iteration 3 / 4
4.908 * * * [progress]: picking best candidate
4.919 * * * * [pick]: Picked  #<alt (λ (a x) (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)))>
4.920 * * * [progress]: localizing error
4.929 * * * [progress]: generating rewritten candidates
4.929 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2)
4.937 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
4.948 * * * [progress]: generating series expansions
4.948 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2)
4.948 * [approximate]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in (a x) around 0
4.948 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
4.948 * [taylor]: Taking taylor expansion of (pow a 2) in x
4.948 * [taylor]: Taking taylor expansion of a in x
4.948 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.948 * [taylor]: Taking taylor expansion of x in x
4.948 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
4.948 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.948 * [taylor]: Taking taylor expansion of a in a
4.948 * [taylor]: Taking taylor expansion of (pow x 2) in a
4.948 * [taylor]: Taking taylor expansion of x in a
4.948 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
4.948 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.948 * [taylor]: Taking taylor expansion of a in a
4.948 * [taylor]: Taking taylor expansion of (pow x 2) in a
4.948 * [taylor]: Taking taylor expansion of x in a
4.949 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.949 * [taylor]: Taking taylor expansion of x in x
4.950 * [taylor]: Taking taylor expansion of 0 in x
4.952 * [taylor]: Taking taylor expansion of 0 in x
4.954 * [taylor]: Taking taylor expansion of 0 in x
4.954 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in (a x) around 0
4.954 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
4.954 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
4.954 * [taylor]: Taking taylor expansion of (pow a 2) in x
4.954 * [taylor]: Taking taylor expansion of a in x
4.955 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.955 * [taylor]: Taking taylor expansion of x in x
4.955 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
4.955 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
4.955 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.955 * [taylor]: Taking taylor expansion of a in a
4.955 * [taylor]: Taking taylor expansion of (pow x 2) in a
4.955 * [taylor]: Taking taylor expansion of x in a
4.955 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
4.955 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
4.955 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.955 * [taylor]: Taking taylor expansion of a in a
4.956 * [taylor]: Taking taylor expansion of (pow x 2) in a
4.956 * [taylor]: Taking taylor expansion of x in a
4.956 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.956 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.956 * [taylor]: Taking taylor expansion of x in x
4.957 * [taylor]: Taking taylor expansion of 0 in x
4.960 * [taylor]: Taking taylor expansion of 0 in x
4.963 * [taylor]: Taking taylor expansion of 0 in x
4.966 * [taylor]: Taking taylor expansion of 0 in x
4.967 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in (a x) around 0
4.967 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
4.967 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
4.967 * [taylor]: Taking taylor expansion of (pow a 2) in x
4.967 * [taylor]: Taking taylor expansion of a in x
4.967 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.967 * [taylor]: Taking taylor expansion of x in x
4.967 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
4.967 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
4.967 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.967 * [taylor]: Taking taylor expansion of a in a
4.967 * [taylor]: Taking taylor expansion of (pow x 2) in a
4.967 * [taylor]: Taking taylor expansion of x in a
4.968 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
4.968 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
4.968 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.968 * [taylor]: Taking taylor expansion of a in a
4.968 * [taylor]: Taking taylor expansion of (pow x 2) in a
4.968 * [taylor]: Taking taylor expansion of x in a
4.972 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.972 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.972 * [taylor]: Taking taylor expansion of x in x
4.974 * [taylor]: Taking taylor expansion of 0 in x
4.976 * [taylor]: Taking taylor expansion of 0 in x
4.979 * [taylor]: Taking taylor expansion of 0 in x
4.983 * [taylor]: Taking taylor expansion of 0 in x
4.983 * * * * [progress]: [ 2 / 2 ] generating series at (2)
4.983 * [approximate]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)) in (a x) around 0
4.984 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)) in x
4.984 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in x
4.984 * [taylor]: Taking taylor expansion of 1/2 in x
4.984 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
4.984 * [taylor]: Taking taylor expansion of (pow a 2) in x
4.984 * [taylor]: Taking taylor expansion of a in x
4.984 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.984 * [taylor]: Taking taylor expansion of x in x
4.984 * [taylor]: Taking taylor expansion of (* a x) in x
4.984 * [taylor]: Taking taylor expansion of a in x
4.984 * [taylor]: Taking taylor expansion of x in x
4.984 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)) in a
4.984 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in a
4.984 * [taylor]: Taking taylor expansion of 1/2 in a
4.984 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
4.984 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.984 * [taylor]: Taking taylor expansion of a in a
4.984 * [taylor]: Taking taylor expansion of (pow x 2) in a
4.984 * [taylor]: Taking taylor expansion of x in a
4.984 * [taylor]: Taking taylor expansion of (* a x) in a
4.984 * [taylor]: Taking taylor expansion of a in a
4.984 * [taylor]: Taking taylor expansion of x in a
4.984 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)) in a
4.984 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in a
4.984 * [taylor]: Taking taylor expansion of 1/2 in a
4.984 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
4.984 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.984 * [taylor]: Taking taylor expansion of a in a
4.984 * [taylor]: Taking taylor expansion of (pow x 2) in a
4.984 * [taylor]: Taking taylor expansion of x in a
4.984 * [taylor]: Taking taylor expansion of (* a x) in a
4.984 * [taylor]: Taking taylor expansion of a in a
4.984 * [taylor]: Taking taylor expansion of x in a
4.984 * [taylor]: Taking taylor expansion of 0 in x
4.985 * [taylor]: Taking taylor expansion of x in x
4.986 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
4.986 * [taylor]: Taking taylor expansion of 1/2 in x
4.986 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.986 * [taylor]: Taking taylor expansion of x in x
4.988 * [taylor]: Taking taylor expansion of 0 in x
4.991 * [taylor]: Taking taylor expansion of 0 in x
4.991 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in (a x) around 0
4.991 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in x
4.991 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
4.991 * [taylor]: Taking taylor expansion of (* a x) in x
4.992 * [taylor]: Taking taylor expansion of a in x
4.992 * [taylor]: Taking taylor expansion of x in x
4.992 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in x
4.992 * [taylor]: Taking taylor expansion of 1/2 in x
4.992 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
4.992 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
4.992 * [taylor]: Taking taylor expansion of (pow a 2) in x
4.992 * [taylor]: Taking taylor expansion of a in x
4.992 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.992 * [taylor]: Taking taylor expansion of x in x
4.992 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in a
4.992 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
4.992 * [taylor]: Taking taylor expansion of (* a x) in a
4.992 * [taylor]: Taking taylor expansion of a in a
4.992 * [taylor]: Taking taylor expansion of x in a
4.993 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
4.993 * [taylor]: Taking taylor expansion of 1/2 in a
4.993 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
4.993 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
4.993 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.993 * [taylor]: Taking taylor expansion of a in a
4.993 * [taylor]: Taking taylor expansion of (pow x 2) in a
4.993 * [taylor]: Taking taylor expansion of x in a
4.993 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in a
4.993 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
4.993 * [taylor]: Taking taylor expansion of (* a x) in a
4.993 * [taylor]: Taking taylor expansion of a in a
4.993 * [taylor]: Taking taylor expansion of x in a
4.994 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
4.994 * [taylor]: Taking taylor expansion of 1/2 in a
4.994 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
4.994 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
4.994 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.994 * [taylor]: Taking taylor expansion of a in a
4.994 * [taylor]: Taking taylor expansion of (pow x 2) in a
4.994 * [taylor]: Taking taylor expansion of x in a
4.994 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
4.994 * [taylor]: Taking taylor expansion of 1/2 in x
4.994 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.994 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.994 * [taylor]: Taking taylor expansion of x in x
4.996 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.996 * [taylor]: Taking taylor expansion of x in x
5.001 * [taylor]: Taking taylor expansion of 0 in x
5.006 * [taylor]: Taking taylor expansion of 0 in x
5.013 * [taylor]: Taking taylor expansion of 0 in x
5.016 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in (a x) around 0
5.016 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in x
5.016 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
5.016 * [taylor]: Taking taylor expansion of (* a x) in x
5.016 * [taylor]: Taking taylor expansion of a in x
5.016 * [taylor]: Taking taylor expansion of x in x
5.016 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in x
5.016 * [taylor]: Taking taylor expansion of 1/2 in x
5.016 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
5.016 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
5.016 * [taylor]: Taking taylor expansion of (pow a 2) in x
5.016 * [taylor]: Taking taylor expansion of a in x
5.017 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.017 * [taylor]: Taking taylor expansion of x in x
5.017 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in a
5.017 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.017 * [taylor]: Taking taylor expansion of (* a x) in a
5.017 * [taylor]: Taking taylor expansion of a in a
5.017 * [taylor]: Taking taylor expansion of x in a
5.017 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
5.017 * [taylor]: Taking taylor expansion of 1/2 in a
5.017 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
5.017 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
5.017 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.017 * [taylor]: Taking taylor expansion of a in a
5.017 * [taylor]: Taking taylor expansion of (pow x 2) in a
5.017 * [taylor]: Taking taylor expansion of x in a
5.018 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in a
5.018 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
5.018 * [taylor]: Taking taylor expansion of (* a x) in a
5.018 * [taylor]: Taking taylor expansion of a in a
5.018 * [taylor]: Taking taylor expansion of x in a
5.018 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
5.018 * [taylor]: Taking taylor expansion of 1/2 in a
5.018 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
5.018 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
5.018 * [taylor]: Taking taylor expansion of (pow a 2) in a
5.018 * [taylor]: Taking taylor expansion of a in a
5.018 * [taylor]: Taking taylor expansion of (pow x 2) in a
5.018 * [taylor]: Taking taylor expansion of x in a
5.019 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
5.019 * [taylor]: Taking taylor expansion of 1/2 in x
5.019 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.019 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.019 * [taylor]: Taking taylor expansion of x in x
5.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.021 * [taylor]: Taking taylor expansion of x in x
5.025 * [taylor]: Taking taylor expansion of 0 in x
5.031 * [taylor]: Taking taylor expansion of 0 in x
5.038 * [taylor]: Taking taylor expansion of 0 in x
5.041 * * * [progress]: simplifying candidates
5.042 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* a x)
  (+ (* (log a) 2) (* (log x) 2))
  (+ (* (log a) 2) (* (log x) 2))
  (+ (* (log a) 2) (log (pow x 2)))
  (+ (* (log a) 2) (* (log x) 2))
  (+ (* (log a) 2) (* (log x) 2))
  (+ (* (log a) 2) (log (pow x 2)))
  (+ (log (pow a 2)) (* (log x) 2))
  (+ (log (pow a 2)) (* (log x) 2))
  (+ (log (pow a 2)) (log (pow x 2)))
  (log (* (pow a 2) (pow x 2)))
  (exp (* (pow a 2) (pow x 2)))
  (* (* (* (pow a 2) (pow a 2)) (pow a 2)) (* (* (pow x 2) (pow x 2)) (pow x 2)))
  (* (cbrt (* (pow a 2) (pow x 2))) (cbrt (* (pow a 2) (pow x 2))))
  (cbrt (* (pow a 2) (pow x 2)))
  (* (* (* (pow a 2) (pow x 2)) (* (pow a 2) (pow x 2))) (* (pow a 2) (pow x 2)))
  (sqrt (* (pow a 2) (pow x 2)))
  (sqrt (* (pow a 2) (pow x 2)))
  (* (pow (sqrt a) 2) (pow (sqrt x) 2))
  (* (pow (sqrt a) 2) (pow (sqrt x) 2))
  (* (pow (sqrt a) 2) x)
  (* (pow (sqrt a) 2) x)
  (* (pow (sqrt a) 2) (sqrt (pow x 2)))
  (* (pow (sqrt a) 2) (sqrt (pow x 2)))
  (* (pow (sqrt a) 2) (pow x (/ 2 2)))
  (* (pow (sqrt a) 2) (pow x (/ 2 2)))
  (* a (pow (sqrt x) 2))
  (* a (pow (sqrt x) 2))
  (* a x)
  (* a x)
  (* a (sqrt (pow x 2)))
  (* a (sqrt (pow x 2)))
  (* a (pow x (/ 2 2)))
  (* a (pow x (/ 2 2)))
  (* (sqrt (pow a 2)) (pow (sqrt x) 2))
  (* (sqrt (pow a 2)) (pow (sqrt x) 2))
  (* (sqrt (pow a 2)) x)
  (* (sqrt (pow a 2)) x)
  (* (sqrt (pow a 2)) (sqrt (pow x 2)))
  (* (sqrt (pow a 2)) (sqrt (pow x 2)))
  (* (sqrt (pow a 2)) (pow x (/ 2 2)))
  (* (sqrt (pow a 2)) (pow x (/ 2 2)))
  (* (pow a (/ 2 2)) (pow (sqrt x) 2))
  (* (pow a (/ 2 2)) (pow (sqrt x) 2))
  (* (pow a (/ 2 2)) x)
  (* (pow a (/ 2 2)) x)
  (* (pow a (/ 2 2)) (sqrt (pow x 2)))
  (* (pow a (/ 2 2)) (sqrt (pow x 2)))
  (* (pow a (/ 2 2)) (pow x (/ 2 2)))
  (* (pow a (/ 2 2)) (pow x (/ 2 2)))
  (* (pow a 2) (pow (* (cbrt x) (cbrt x)) 2))
  (* (pow a 2) (pow (sqrt x) 2))
  (* (pow a 2) (pow 1 2))
  (* (pow a 2) x)
  (* (pow a 2) (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (* (pow a 2) (sqrt (pow x 2)))
  (* (pow a 2) 1)
  (* (pow a 2) (pow x (/ 2 2)))
  (* (pow (cbrt a) 2) (pow x 2))
  (* (pow (sqrt a) 2) (pow x 2))
  (* (pow a 2) (pow x 2))
  (* a (pow x 2))
  (* (cbrt (pow a 2)) (pow x 2))
  (* (sqrt (pow a 2)) (pow x 2))
  (* (pow a 2) (pow x 2))
  (* (pow a (/ 2 2)) (pow x 2))
  (* (exp (* 1/2 (* (pow a 2) (pow x 2)))) (exp (* a x)))
  (log (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)))
  (exp (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)))
  (* (cbrt (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x))) (cbrt (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x))))
  (cbrt (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)))
  (* (* (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)) (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x))) (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)))
  (sqrt (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)))
  (sqrt (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)))
  (+ (pow (* 1/2 (* (pow a 2) (pow x 2))) 3) (pow (* a x) 3))
  (+ (* (* 1/2 (* (pow a 2) (pow x 2))) (* 1/2 (* (pow a 2) (pow x 2)))) (- (* (* a x) (* a x)) (* (* 1/2 (* (pow a 2) (pow x 2))) (* a x))))
  (- (* (* 1/2 (* (pow a 2) (pow x 2))) (* 1/2 (* (pow a 2) (pow x 2)))) (* (* a x) (* a x)))
  (- (* 1/2 (* (pow a 2) (pow x 2))) (* a x))
  (* (pow a 2) (pow x 2))
  (* (pow a 2) (pow x 2))
  (* (pow a 2) (pow x 2))
  (* a x)
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x))
5.045 * * [simplify]: iteration  0 :  101  enodes  (cost  872 )
5.069 * * [simplify]: iteration  1 :  258  enodes  (cost  768 )
5.232 * * [simplify]: iteration  2 :  1195  enodes  (cost  596 )
5.989 * * [simplify]: iteration  done :  5000  enodes  (cost  596 )
5.989 * [simplify]: Simplified to:
   (* x a)
  (* 2 (+ (log a) (log x)))
  (* 2 (+ (log a) (log x)))
  (* 2 (+ (log a) (log x)))
  (* 2 (+ (log a) (log x)))
  (* 2 (+ (log a) (log x)))
  (* 2 (+ (log a) (log x)))
  (* 2 (+ (log a) (log x)))
  (* 2 (+ (log a) (log x)))
  (* 2 (+ (log a) (log x)))
  (* 2 (+ (log a) (log x)))
  (exp (* (pow a 2) (pow x 2)))
  (pow (* (* a x) (* a x)) 3)
  (* (cbrt (* (pow a 2) (pow x 2))) (cbrt (* (pow a 2) (pow x 2))))
  (cbrt (* (pow a 2) (pow x 2)))
  (pow (* (* a x) (* a x)) 3)
  (fabs (* x a))
  (fabs (* x a))
  (* x a)
  (* x a)
  (* x a)
  (* x a)
  (* a (fabs x))
  (* a (fabs x))
  (* x a)
  (* x a)
  (* x a)
  (* x a)
  (* x a)
  (* x a)
  (* a (fabs x))
  (* a (fabs x))
  (* x a)
  (* x a)
  (* (fabs a) x)
  (* (fabs a) x)
  (* (fabs a) x)
  (* (fabs a) x)
  (* (fabs a) (fabs x))
  (* (fabs a) (fabs x))
  (* (fabs a) x)
  (* (fabs a) x)
  (* x a)
  (* x a)
  (* x a)
  (* x a)
  (* a (fabs x))
  (* a (fabs x))
  (* x a)
  (* x a)
  (* (pow a 2) (pow (* (cbrt x) (cbrt x)) 2))
  (* x (* a a))
  (* a a)
  (* x (* a a))
  (* (pow a 2) (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (* (* a a) (fabs x))
  (* a a)
  (* x (* a a))
  (* (pow (cbrt a) 2) (pow x 2))
  (* x (* a x))
  (* (* a x) (* a x))
  (* x (* a x))
  (* (cbrt (pow a 2)) (pow x 2))
  (* (pow x 2) (fabs a))
  (* (* a x) (* a x))
  (* x (* a x))
  (exp (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)))
  (log (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)))
  (exp (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)))
  (* (cbrt (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x))) (cbrt (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x))))
  (cbrt (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)))
  (pow (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)) 3)
  (sqrt (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)))
  (sqrt (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)))
  (+ (pow (* 1/2 (* (pow a 2) (pow x 2))) 3) (pow (* a x) 3))
  (- (+ (* 1/4 (* (pow a 4) (pow x 4))) (* (* a x) (* a x))) (* 1/2 (pow (* a x) 3)))
  (- (* 1/4 (* (pow a 4) (pow x 4))) (* (* a x) (* a x)))
  (- (* 1/2 (* (pow a 2) (pow x 2))) (* a x))
  (* (* a x) (* a x))
  (* (* a x) (* a x))
  (* (* a x) (* a x))
  (* x a)
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x))
5.990 * * * [progress]: adding candidates to table
6.100 * * [progress]: iteration 4 / 4
6.100 * * * [progress]: picking best candidate
6.105 * * * * [pick]: Picked  #<alt (λ (a x) (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)))>
6.105 * * * [progress]: localizing error
6.113 * * * [progress]: generating rewritten candidates
6.113 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
6.138 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2)
6.149 * * * [progress]: generating series expansions
6.149 * * * * [progress]: [ 1 / 2 ] generating series at (2)
6.150 * [approximate]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) (pow (fabs x) 2))) (* a x)) in (a x) around 0
6.150 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) (pow (fabs x) 2))) (* a x)) in x
6.150 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow (fabs x) 2))) in x
6.150 * [taylor]: Taking taylor expansion of 1/2 in x
6.150 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow (fabs x) 2)) in x
6.150 * [taylor]: Taking taylor expansion of (pow a 2) in x
6.150 * [taylor]: Taking taylor expansion of a in x
6.150 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x
6.150 * [taylor]: Taking taylor expansion of (fabs x) in x
6.150 * [taylor]: Taking taylor expansion of (* a x) in x
6.150 * [taylor]: Taking taylor expansion of a in x
6.150 * [taylor]: Taking taylor expansion of x in x
6.150 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) (pow (fabs x) 2))) (* a x)) in a
6.150 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow (fabs x) 2))) in a
6.150 * [taylor]: Taking taylor expansion of 1/2 in a
6.150 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow (fabs x) 2)) in a
6.150 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.150 * [taylor]: Taking taylor expansion of a in a
6.150 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in a
6.150 * [taylor]: Taking taylor expansion of (fabs x) in a
6.150 * [taylor]: Taking taylor expansion of (* a x) in a
6.150 * [taylor]: Taking taylor expansion of a in a
6.150 * [taylor]: Taking taylor expansion of x in a
6.150 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) (pow (fabs x) 2))) (* a x)) in a
6.150 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow (fabs x) 2))) in a
6.150 * [taylor]: Taking taylor expansion of 1/2 in a
6.150 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow (fabs x) 2)) in a
6.150 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.150 * [taylor]: Taking taylor expansion of a in a
6.150 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in a
6.150 * [taylor]: Taking taylor expansion of (fabs x) in a
6.150 * [taylor]: Taking taylor expansion of (* a x) in a
6.150 * [taylor]: Taking taylor expansion of a in a
6.150 * [taylor]: Taking taylor expansion of x in a
6.151 * [taylor]: Taking taylor expansion of 0 in x
6.151 * [taylor]: Taking taylor expansion of x in x
6.152 * [taylor]: Taking taylor expansion of (* 1/2 (pow (fabs x) 2)) in x
6.152 * [taylor]: Taking taylor expansion of 1/2 in x
6.152 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x
6.152 * [taylor]: Taking taylor expansion of (fabs x) in x
6.155 * [taylor]: Taking taylor expansion of 0 in x
6.162 * [taylor]: Taking taylor expansion of 0 in x
6.163 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ (pow (fabs (/ 1 x)) 2) (pow a 2)))) in (a x) around 0
6.163 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ (pow (fabs (/ 1 x)) 2) (pow a 2)))) in x
6.163 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.163 * [taylor]: Taking taylor expansion of (* a x) in x
6.163 * [taylor]: Taking taylor expansion of a in x
6.163 * [taylor]: Taking taylor expansion of x in x
6.163 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow (fabs (/ 1 x)) 2) (pow a 2))) in x
6.163 * [taylor]: Taking taylor expansion of 1/2 in x
6.163 * [taylor]: Taking taylor expansion of (/ (pow (fabs (/ 1 x)) 2) (pow a 2)) in x
6.163 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x
6.163 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
6.163 * [taylor]: Taking taylor expansion of (pow a 2) in x
6.163 * [taylor]: Taking taylor expansion of a in x
6.163 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ (pow (fabs (/ 1 x)) 2) (pow a 2)))) in a
6.163 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.163 * [taylor]: Taking taylor expansion of (* a x) in a
6.163 * [taylor]: Taking taylor expansion of a in a
6.163 * [taylor]: Taking taylor expansion of x in a
6.164 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow (fabs (/ 1 x)) 2) (pow a 2))) in a
6.164 * [taylor]: Taking taylor expansion of 1/2 in a
6.164 * [taylor]: Taking taylor expansion of (/ (pow (fabs (/ 1 x)) 2) (pow a 2)) in a
6.164 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in a
6.164 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in a
6.164 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.164 * [taylor]: Taking taylor expansion of a in a
6.164 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ (pow (fabs (/ 1 x)) 2) (pow a 2)))) in a
6.164 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.164 * [taylor]: Taking taylor expansion of (* a x) in a
6.164 * [taylor]: Taking taylor expansion of a in a
6.164 * [taylor]: Taking taylor expansion of x in a
6.165 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow (fabs (/ 1 x)) 2) (pow a 2))) in a
6.165 * [taylor]: Taking taylor expansion of 1/2 in a
6.165 * [taylor]: Taking taylor expansion of (/ (pow (fabs (/ 1 x)) 2) (pow a 2)) in a
6.165 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in a
6.165 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in a
6.165 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.165 * [taylor]: Taking taylor expansion of a in a
6.166 * [taylor]: Taking taylor expansion of (* 1/2 (pow (fabs (/ 1 x)) 2)) in x
6.166 * [taylor]: Taking taylor expansion of 1/2 in x
6.166 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x
6.166 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
6.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.167 * [taylor]: Taking taylor expansion of x in x
6.171 * [taylor]: Taking taylor expansion of 0 in x
6.176 * [taylor]: Taking taylor expansion of 0 in x
6.183 * [taylor]: Taking taylor expansion of 0 in x
6.184 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ (pow (fabs (/ -1 x)) 2) (pow a 2)))) in (a x) around 0
6.184 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ (pow (fabs (/ -1 x)) 2) (pow a 2)))) in x
6.184 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.184 * [taylor]: Taking taylor expansion of (* a x) in x
6.184 * [taylor]: Taking taylor expansion of a in x
6.184 * [taylor]: Taking taylor expansion of x in x
6.184 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow (fabs (/ -1 x)) 2) (pow a 2))) in x
6.184 * [taylor]: Taking taylor expansion of 1/2 in x
6.184 * [taylor]: Taking taylor expansion of (/ (pow (fabs (/ -1 x)) 2) (pow a 2)) in x
6.185 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x
6.185 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
6.185 * [taylor]: Taking taylor expansion of (pow a 2) in x
6.185 * [taylor]: Taking taylor expansion of a in x
6.185 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ (pow (fabs (/ -1 x)) 2) (pow a 2)))) in a
6.185 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.185 * [taylor]: Taking taylor expansion of (* a x) in a
6.185 * [taylor]: Taking taylor expansion of a in a
6.185 * [taylor]: Taking taylor expansion of x in a
6.185 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow (fabs (/ -1 x)) 2) (pow a 2))) in a
6.185 * [taylor]: Taking taylor expansion of 1/2 in a
6.185 * [taylor]: Taking taylor expansion of (/ (pow (fabs (/ -1 x)) 2) (pow a 2)) in a
6.185 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in a
6.185 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in a
6.185 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.185 * [taylor]: Taking taylor expansion of a in a
6.186 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ (pow (fabs (/ -1 x)) 2) (pow a 2)))) in a
6.186 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.186 * [taylor]: Taking taylor expansion of (* a x) in a
6.186 * [taylor]: Taking taylor expansion of a in a
6.186 * [taylor]: Taking taylor expansion of x in a
6.186 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow (fabs (/ -1 x)) 2) (pow a 2))) in a
6.186 * [taylor]: Taking taylor expansion of 1/2 in a
6.186 * [taylor]: Taking taylor expansion of (/ (pow (fabs (/ -1 x)) 2) (pow a 2)) in a
6.186 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in a
6.186 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in a
6.186 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.186 * [taylor]: Taking taylor expansion of a in a
6.187 * [taylor]: Taking taylor expansion of (* 1/2 (pow (fabs (/ -1 x)) 2)) in x
6.187 * [taylor]: Taking taylor expansion of 1/2 in x
6.187 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x
6.187 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
6.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.189 * [taylor]: Taking taylor expansion of x in x
6.193 * [taylor]: Taking taylor expansion of 0 in x
6.198 * [taylor]: Taking taylor expansion of 0 in x
6.204 * [taylor]: Taking taylor expansion of 0 in x
6.205 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2)
6.205 * [approximate]: Taking taylor expansion of (* (pow a 2) (pow (fabs x) 2)) in (a x) around 0
6.205 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow (fabs x) 2)) in x
6.205 * [taylor]: Taking taylor expansion of (pow a 2) in x
6.205 * [taylor]: Taking taylor expansion of a in x
6.205 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x
6.205 * [taylor]: Taking taylor expansion of (fabs x) in x
6.205 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow (fabs x) 2)) in a
6.205 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.205 * [taylor]: Taking taylor expansion of a in a
6.205 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in a
6.205 * [taylor]: Taking taylor expansion of (fabs x) in a
6.205 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow (fabs x) 2)) in a
6.205 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.205 * [taylor]: Taking taylor expansion of a in a
6.205 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in a
6.205 * [taylor]: Taking taylor expansion of (fabs x) in a
6.206 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x
6.206 * [taylor]: Taking taylor expansion of (fabs x) in x
6.207 * [taylor]: Taking taylor expansion of 0 in x
6.208 * [taylor]: Taking taylor expansion of 0 in x
6.210 * [taylor]: Taking taylor expansion of 0 in x
6.211 * [approximate]: Taking taylor expansion of (/ (pow (fabs (/ 1 x)) 2) (pow a 2)) in (a x) around 0
6.211 * [taylor]: Taking taylor expansion of (/ (pow (fabs (/ 1 x)) 2) (pow a 2)) in x
6.211 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x
6.211 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
6.211 * [taylor]: Taking taylor expansion of (pow a 2) in x
6.211 * [taylor]: Taking taylor expansion of a in x
6.211 * [taylor]: Taking taylor expansion of (/ (pow (fabs (/ 1 x)) 2) (pow a 2)) in a
6.211 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in a
6.211 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in a
6.211 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.211 * [taylor]: Taking taylor expansion of a in a
6.212 * [taylor]: Taking taylor expansion of (/ (pow (fabs (/ 1 x)) 2) (pow a 2)) in a
6.212 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in a
6.212 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in a
6.212 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.212 * [taylor]: Taking taylor expansion of a in a
6.212 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x
6.212 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
6.213 * [taylor]: Taking taylor expansion of 0 in x
6.215 * [taylor]: Taking taylor expansion of 0 in x
6.218 * [taylor]: Taking taylor expansion of 0 in x
6.219 * [approximate]: Taking taylor expansion of (/ (pow (fabs (/ -1 x)) 2) (pow a 2)) in (a x) around 0
6.219 * [taylor]: Taking taylor expansion of (/ (pow (fabs (/ -1 x)) 2) (pow a 2)) in x
6.219 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x
6.219 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
6.219 * [taylor]: Taking taylor expansion of (pow a 2) in x
6.219 * [taylor]: Taking taylor expansion of a in x
6.219 * [taylor]: Taking taylor expansion of (/ (pow (fabs (/ -1 x)) 2) (pow a 2)) in a
6.219 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in a
6.219 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in a
6.219 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.219 * [taylor]: Taking taylor expansion of a in a
6.220 * [taylor]: Taking taylor expansion of (/ (pow (fabs (/ -1 x)) 2) (pow a 2)) in a
6.220 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in a
6.220 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in a
6.220 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.220 * [taylor]: Taking taylor expansion of a in a
6.220 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x
6.220 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
6.222 * [taylor]: Taking taylor expansion of 0 in x
6.223 * [taylor]: Taking taylor expansion of 0 in x
6.226 * [taylor]: Taking taylor expansion of 0 in x
6.226 * * * [progress]: simplifying candidates
6.227 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (exp (* 1/2 (* (* a (fabs x)) (* a (fabs x))))) (exp (* a x)))
  (log (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)))
  (exp (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)))
  (* (cbrt (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x))) (cbrt (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x))))
  (cbrt (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)))
  (* (* (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)) (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x))) (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)))
  (sqrt (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)))
  (sqrt (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)))
  (+ (pow (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) 3) (pow (* a x) 3))
  (+ (* (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* 1/2 (* (* a (fabs x)) (* a (fabs x))))) (- (* (* a x) (* a x)) (* (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x))))
  (- (* (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* 1/2 (* (* a (fabs x)) (* a (fabs x))))) (* (* a x) (* a x)))
  (- (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x))
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (* (* a (fabs x)) (* a (fabs x)))
  (* (* a (fabs x)) (* a (fabs x)))
  (* (* a (fabs x)) (* a (fabs x)))
  (* (* a (fabs x)) (* a (fabs x)))
  (+ 1 1)
  (+ 1 1)
  (+ (+ (log a) (log (fabs x))) (+ (log a) (log (fabs x))))
  (+ (+ (log a) (log (fabs x))) (log (* a (fabs x))))
  (+ (log (* a (fabs x))) (+ (log a) (log (fabs x))))
  (+ (log (* a (fabs x))) (log (* a (fabs x))))
  (log (* (* a (fabs x)) (* a (fabs x))))
  (exp (* (* a (fabs x)) (* a (fabs x))))
  (* (* (* (* a a) a) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* a a) a) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (* a a) a) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* a (fabs x)) (* a (fabs x))) (* a (fabs x))))
  (* (* (* (* a (fabs x)) (* a (fabs x))) (* a (fabs x))) (* (* (* a a) a) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (* a (fabs x)) (* a (fabs x))) (* a (fabs x))) (* (* (* a (fabs x)) (* a (fabs x))) (* a (fabs x))))
  (* (cbrt (* (* a (fabs x)) (* a (fabs x)))) (cbrt (* (* a (fabs x)) (* a (fabs x)))))
  (cbrt (* (* a (fabs x)) (* a (fabs x))))
  (* (* (* (* a (fabs x)) (* a (fabs x))) (* (* a (fabs x)) (* a (fabs x)))) (* (* a (fabs x)) (* a (fabs x))))
  (sqrt (* (* a (fabs x)) (* a (fabs x))))
  (sqrt (* (* a (fabs x)) (* a (fabs x))))
  (* a a)
  (* (fabs x) (fabs x))
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* (* a (fabs x)) a)
  (* (fabs x) (* a (fabs x)))
  (+ (* 1/2 (* (pow a 2) (pow (fabs x) 2))) (* a x))
  (+ (* 1/2 (* (pow a 2) (pow (fabs x) 2))) (* a x))
  (+ (* 1/2 (* (pow a 2) (pow (fabs x) 2))) (* a x))
  (* (pow a 2) (pow (fabs x) 2))
  (* (pow a 2) (pow (fabs x) 2))
  (* (pow a 2) (pow (fabs x) 2))
6.230 * * [simplify]: iteration  0 :  66  enodes  (cost  706 )
6.251 * * [simplify]: iteration  1 :  203  enodes  (cost  605 )
6.313 * * [simplify]: iteration  2 :  841  enodes  (cost  481 )
6.712 * * [simplify]: iteration  done :  5000  enodes  (cost  481 )
6.712 * [simplify]: Simplified to:
   (exp (+ (* a x) (* 1/2 (* (pow a 2) (pow (fabs x) 2)))))
  (log (+ (* a x) (* 1/2 (* (pow a 2) (pow (fabs x) 2)))))
  (exp (+ (* a x) (* 1/2 (* (pow a 2) (pow (fabs x) 2)))))
  (* (cbrt (+ (* a x) (* 1/2 (* (pow a 2) (pow (fabs x) 2))))) (cbrt (+ (* a x) (* 1/2 (* (pow a 2) (pow (fabs x) 2))))))
  (cbrt (+ (* a x) (* 1/2 (* (pow a 2) (pow (fabs x) 2)))))
  (pow (+ (* a x) (* 1/2 (* (pow a 2) (pow (fabs x) 2)))) 3)
  (sqrt (+ (* 1/2 (* (pow a 2) (pow (fabs x) 2))) (* a x)))
  (sqrt (+ (* 1/2 (* (pow a 2) (pow (fabs x) 2))) (* a x)))
  (+ (pow (* a x) 3) (pow (* 1/2 (* (pow a 2) (pow (fabs x) 2))) 3))
  (+ (* (* (pow (* a (fabs x)) 3) (* a (fabs x))) 1/4) (* (* a x) (- (* a x) (* 1/2 (* (pow a 2) (pow (fabs x) 2))))))
  (- (* (* (pow (* a (fabs x)) 3) (* a (fabs x))) 1/4) (* (* a x) (* a x)))
  (- (* 1/2 (* (pow a 2) (pow (fabs x) 2))) (* a x))
  2
  2
  2
  2
  (* (pow a 2) (pow (fabs x) 2))
  (* (pow a 2) (pow (fabs x) 2))
  (* (pow a 2) (pow (fabs x) 2))
  (* (pow a 2) (pow (fabs x) 2))
  2
  2
  (* 2 (log (* a (fabs x))))
  (* 2 (log (* a (fabs x))))
  (* 2 (log (* a (fabs x))))
  (* 2 (log (* a (fabs x))))
  (* 2 (log (* a (fabs x))))
  (exp (* (pow a 2) (pow (fabs x) 2)))
  (pow (* (pow a 2) (pow (fabs x) 2)) 3)
  (pow (* (pow a 2) (pow (fabs x) 2)) 3)
  (pow (* (pow a 2) (pow (fabs x) 2)) 3)
  (pow (* (pow a 2) (pow (fabs x) 2)) 3)
  (* (cbrt (* (pow a 2) (pow (fabs x) 2))) (cbrt (* (pow a 2) (pow (fabs x) 2))))
  (cbrt (* (pow a 2) (pow (fabs x) 2)))
  (pow (* (pow a 2) (pow (fabs x) 2)) 3)
  (fabs (* a (fabs x)))
  (fabs (* a (fabs x)))
  (* a a)
  (pow (fabs x) 2)
  2
  2
  2
  2
  (* (* a (fabs x)) a)
  (* (pow (fabs x) 2) a)
  (+ (* a x) (* 1/2 (* (pow a 2) (pow (fabs x) 2))))
  (+ (* a x) (* 1/2 (* (pow a 2) (pow (fabs x) 2))))
  (+ (* a x) (* 1/2 (* (pow a 2) (pow (fabs x) 2))))
  (* (pow a 2) (pow (fabs x) 2))
  (* (pow a 2) (pow (fabs x) 2))
  (* (pow a 2) (pow (fabs x) 2))
6.712 * * * [progress]: adding candidates to table
6.787 * [progress]: [Phase 3 of 3] Extracting.
6.787 * * [regime]: Finding splitpoints for: (#<alt (λ (a x) (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (* (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))> #<alt (λ (a x) (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)))>)
6.788 * * * [regime-changes]: Trying 5 branch expressions: ((* a x) (exp (* a x)) (- (exp (* a x)) 1.0) x a)
6.788 * * * * [regimes]: Trying to branch on (* a x) from (#<alt (λ (a x) (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (* (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))> #<alt (λ (a x) (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)))>)
6.812 * * * * [regimes]: Trying to branch on (exp (* a x)) from (#<alt (λ (a x) (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (* (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))> #<alt (λ (a x) (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)))>)
6.832 * * * * [regimes]: Trying to branch on (- (exp (* a x)) 1.0) from (#<alt (λ (a x) (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (* (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))> #<alt (λ (a x) (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)))>)
6.854 * * * * [regimes]: Trying to branch on x from (#<alt (λ (a x) (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (* (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))> #<alt (λ (a x) (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)))>)
6.882 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a x) (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (* (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))> #<alt (λ (a x) (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)))>)
6.911 * * * [regime]: Found split indices: #<option (#s(si 0 81) #s(si 3 255))>
6.911 * [binary-search]: Only using regimes for bounds on (* a x) and (#<alt (λ (a x) (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (* (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))> #<alt (λ (a x) (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)))>)
6.912 * [regimes]: Found splitpoints: (#s(sp 0 (* a x) -0.03615962512417382) #s(sp 3 (* a x) +nan.0)) , with alts (#<alt (λ (a x) (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)))> #<alt (λ (a x) (* (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0))))> #<alt (λ (a x) (* x (+ a (* x (+ (* (* 1/6 (pow a 3)) x) (* 1/2 (pow a 2)))))))> #<alt (λ (a x) (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)))>)
6.912 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (* a x) -0.03615962512417382) (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)) (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)))
6.912 * * [simplify]: iteration  0 :  22  enodes  (cost  38 )
6.913 * * [simplify]: iteration  1 :  27  enodes  (cost  38 )
6.914 * * [simplify]: iteration  done :  27  enodes  (cost  38 )
6.914 * [simplify]: Simplified to:
   (if (<= (* a x) -0.03615962512417382) (/ (- (exp (* 2 (* x a))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0)) (+ (* 1/2 (* (* a (fabs x)) (* a (fabs x)))) (* a x)))
8.004 * [regime-testing]: Baseline error score: 21.91888344123141
8.005 * [regime-testing]: Oracle error score: 0.08674856889745962
8.006 * [regime-testing]: End program error score: 0.4861055059162758
8.047 * [regime-testing]: Target error score: 0.18295044237921324