5.372 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.021 * [progress]: [Phase 2 of 3] Improving.
0.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (exp (- (- 1.0 (* x x))))
0.022 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.023 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
0.024 * * [simplify]: iteration  2 :  25  enodes  (cost  7 )
0.028 * * [simplify]: iteration  3 :  45  enodes  (cost  7 )
0.034 * * [simplify]: iteration  4 :  84  enodes  (cost  6 )
0.052 * * [simplify]: iteration  5 :  180  enodes  (cost  6 )
0.096 * * [simplify]: iteration  6 :  521  enodes  (cost  6 )
0.328 * * [simplify]: iteration  7 :  1731  enodes  (cost  6 )
3.519 * * [simplify]: iteration  done :  5001  enodes  (cost  6 )
3.519 * [simplify]: Simplified to:
   (exp (- (* x x) 1.0))
3.521 * * [progress]: iteration 1 / 4
3.521 * * * [progress]: picking best candidate
3.522 * * * * [pick]: Picked  #<alt (λ (x) (exp (- (* x x) 1.0)))>
3.523 * * * [progress]: localizing error
3.527 * * * [progress]: generating rewritten candidates
3.527 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.537 * * * [progress]: generating series expansions
3.537 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.537 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0
3.537 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
3.537 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
3.537 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.537 * [taylor]: Taking taylor expansion of x in x
3.537 * [taylor]: Taking taylor expansion of 1.0 in x
3.539 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
3.539 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
3.539 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.539 * [taylor]: Taking taylor expansion of x in x
3.539 * [taylor]: Taking taylor expansion of 1.0 in x
3.563 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
3.563 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
3.563 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
3.563 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.563 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.563 * [taylor]: Taking taylor expansion of x in x
3.564 * [taylor]: Taking taylor expansion of 1.0 in x
3.564 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
3.564 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
3.564 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.564 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.564 * [taylor]: Taking taylor expansion of x in x
3.565 * [taylor]: Taking taylor expansion of 1.0 in x
3.566 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
3.566 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
3.566 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
3.566 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.566 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.566 * [taylor]: Taking taylor expansion of x in x
3.566 * [taylor]: Taking taylor expansion of 1.0 in x
3.567 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
3.567 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
3.567 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.567 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.567 * [taylor]: Taking taylor expansion of x in x
3.567 * [taylor]: Taking taylor expansion of 1.0 in x
3.568 * * * [progress]: simplifying candidates
3.568 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (exp (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))))
  (exp (sqrt (- (* x x) 1.0)))
  (exp 1)
  (exp (+ x (sqrt 1.0)))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp 1.0)
  (log (exp (- (* x x) 1.0)))
  (exp (exp (- (* x x) 1.0)))
  (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0))))
  (cbrt (exp (- (* x x) 1.0)))
  (* (* (exp (- (* x x) 1.0)) (exp (- (* x x) 1.0))) (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0))))))
  (exp (- (pow x 2) 1.0))
  (exp (- (pow x 2) 1.0))
3.570 * * [simplify]: iteration  0 :  38  enodes  (cost  151 )
3.575 * * [simplify]: iteration  1 :  72  enodes  (cost  147 )
3.588 * * [simplify]: iteration  2 :  176  enodes  (cost  134 )
3.645 * * [simplify]: iteration  3 :  676  enodes  (cost  130 )
4.538 * * [simplify]: iteration  4 :  4565  enodes  (cost  130 )
7.695 * * [simplify]: iteration  done :  5000  enodes  (cost  130 )
7.695 * [simplify]: Simplified to:
   (exp (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))))
  (exp (sqrt (- (* x x) 1.0)))
  E
  (exp (+ x (sqrt 1.0)))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp 1.0)
  (- (pow x 2) 1.0)
  (exp (exp (- (* x x) 1.0)))
  (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0))))
  (cbrt (exp (- (* x x) 1.0)))
  (pow (exp (- (pow x 2) 1.0)) 3)
  (sqrt (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (* (exp (- 1.0)) (+ (+ (* x x) 1) (* (pow x 4) 1/2)))
  (exp (- (pow x 2) 1.0))
  (exp (- (pow x 2) 1.0))
7.695 * * * [progress]: adding candidates to table
7.732 * * [progress]: iteration 2 / 4
7.732 * * * [progress]: picking best candidate
7.735 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0)))))>
7.735 * * * [progress]: localizing error
7.743 * * * [progress]: generating rewritten candidates
7.743 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1)
7.752 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
7.762 * * * [progress]: generating series expansions
7.762 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1)
7.762 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0
7.762 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
7.762 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
7.762 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.762 * [taylor]: Taking taylor expansion of x in x
7.762 * [taylor]: Taking taylor expansion of 1.0 in x
7.766 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
7.766 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
7.766 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.766 * [taylor]: Taking taylor expansion of x in x
7.766 * [taylor]: Taking taylor expansion of 1.0 in x
7.783 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
7.783 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
7.783 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.783 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.783 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.783 * [taylor]: Taking taylor expansion of x in x
7.784 * [taylor]: Taking taylor expansion of 1.0 in x
7.784 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
7.784 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.784 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.784 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.784 * [taylor]: Taking taylor expansion of x in x
7.785 * [taylor]: Taking taylor expansion of 1.0 in x
7.786 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
7.786 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
7.786 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.786 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.786 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.786 * [taylor]: Taking taylor expansion of x in x
7.786 * [taylor]: Taking taylor expansion of 1.0 in x
7.787 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
7.787 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.787 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.787 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.787 * [taylor]: Taking taylor expansion of x in x
7.787 * [taylor]: Taking taylor expansion of 1.0 in x
7.788 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
7.788 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0
7.788 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
7.788 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
7.788 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.788 * [taylor]: Taking taylor expansion of x in x
7.788 * [taylor]: Taking taylor expansion of 1.0 in x
7.790 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
7.790 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
7.790 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.790 * [taylor]: Taking taylor expansion of x in x
7.790 * [taylor]: Taking taylor expansion of 1.0 in x
7.807 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
7.807 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
7.807 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.807 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.807 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.807 * [taylor]: Taking taylor expansion of x in x
7.807 * [taylor]: Taking taylor expansion of 1.0 in x
7.808 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
7.808 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.808 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.808 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.808 * [taylor]: Taking taylor expansion of x in x
7.809 * [taylor]: Taking taylor expansion of 1.0 in x
7.809 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
7.809 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
7.809 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.809 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.809 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.809 * [taylor]: Taking taylor expansion of x in x
7.810 * [taylor]: Taking taylor expansion of 1.0 in x
7.810 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
7.810 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
7.810 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.810 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.810 * [taylor]: Taking taylor expansion of x in x
7.811 * [taylor]: Taking taylor expansion of 1.0 in x
7.812 * * * [progress]: simplifying candidates
7.812 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (exp (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))))
  (exp (sqrt (- (* x x) 1.0)))
  (exp 1)
  (exp (+ x (sqrt 1.0)))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp 1.0)
  (log (exp (- (* x x) 1.0)))
  (exp (exp (- (* x x) 1.0)))
  (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0))))
  (cbrt (exp (- (* x x) 1.0)))
  (* (* (exp (- (* x x) 1.0)) (exp (- (* x x) 1.0))) (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (exp (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))))
  (exp (sqrt (- (* x x) 1.0)))
  (exp 1)
  (exp (+ x (sqrt 1.0)))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp 1.0)
  (log (exp (- (* x x) 1.0)))
  (exp (exp (- (* x x) 1.0)))
  (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0))))
  (cbrt (exp (- (* x x) 1.0)))
  (* (* (exp (- (* x x) 1.0)) (exp (- (* x x) 1.0))) (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0))))))
  (exp (- (pow x 2) 1.0))
  (exp (- (pow x 2) 1.0))
  (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0))))))
  (exp (- (pow x 2) 1.0))
  (exp (- (pow x 2) 1.0))
7.814 * * [simplify]: iteration  0 :  38  enodes  (cost  302 )
7.820 * * [simplify]: iteration  1 :  72  enodes  (cost  294 )
7.832 * * [simplify]: iteration  2 :  176  enodes  (cost  268 )
7.892 * * [simplify]: iteration  3 :  676  enodes  (cost  260 )
8.799 * * [simplify]: iteration  4 :  4565  enodes  (cost  260 )
11.735 * * [simplify]: iteration  done :  5000  enodes  (cost  260 )
11.735 * [simplify]: Simplified to:
   (exp (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))))
  (exp (sqrt (- (* x x) 1.0)))
  E
  (exp (+ x (sqrt 1.0)))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp 1.0)
  (- (pow x 2) 1.0)
  (exp (exp (- (* x x) 1.0)))
  (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0))))
  (cbrt (exp (- (* x x) 1.0)))
  (pow (exp (- (pow x 2) 1.0)) 3)
  (sqrt (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (exp (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0))))
  (exp (sqrt (- (* x x) 1.0)))
  E
  (exp (+ x (sqrt 1.0)))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp (- 1.0))
  (exp (* x x))
  (exp 1.0)
  (- (pow x 2) 1.0)
  (exp (exp (- (* x x) 1.0)))
  (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0))))
  (cbrt (exp (- (* x x) 1.0)))
  (pow (exp (- (pow x 2) 1.0)) 3)
  (sqrt (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (* (exp (- 1.0)) (+ (+ (* x x) 1) (* (pow x 4) 1/2)))
  (exp (- (pow x 2) 1.0))
  (exp (- (pow x 2) 1.0))
  (* (exp (- 1.0)) (+ (+ (* x x) 1) (* (pow x 4) 1/2)))
  (exp (- (pow x 2) 1.0))
  (exp (- (pow x 2) 1.0))
11.736 * * * [progress]: adding candidates to table
11.826 * * [progress]: iteration 3 / 4
11.826 * * * [progress]: picking best candidate
11.828 * * * * [pick]: Picked  #<alt (λ (x) (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0))))>
11.828 * * * [progress]: localizing error
11.834 * * * [progress]: generating rewritten candidates
11.834 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
11.850 * * * [progress]: generating series expansions
11.850 * * * * [progress]: [ 1 / 1 ] generating series at (2)
11.850 * [approximate]: Taking taylor expansion of (pow (exp (sqrt (- (pow x 2) 1.0))) (sqrt (- (pow x 2) 1.0))) in (x) around 0
11.851 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (pow x 2) 1.0))) (sqrt (- (pow x 2) 1.0))) in x
11.851 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (pow x 2) 1.0)) (log (exp (sqrt (- (pow x 2) 1.0)))))) in x
11.851 * [taylor]: Taking taylor expansion of (* (sqrt (- (pow x 2) 1.0)) (log (exp (sqrt (- (pow x 2) 1.0))))) in x
11.851 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
11.851 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
11.851 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.851 * [taylor]: Taking taylor expansion of x in x
11.851 * [taylor]: Taking taylor expansion of 1.0 in x
11.853 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (pow x 2) 1.0)))) in x
11.853 * [taylor]: Taking taylor expansion of (exp (sqrt (- (pow x 2) 1.0))) in x
11.853 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
11.853 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
11.853 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.853 * [taylor]: Taking taylor expansion of x in x
11.854 * [taylor]: Taking taylor expansion of 1.0 in x
11.861 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (pow x 2) 1.0))) (sqrt (- (pow x 2) 1.0))) in x
11.861 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (pow x 2) 1.0)) (log (exp (sqrt (- (pow x 2) 1.0)))))) in x
11.861 * [taylor]: Taking taylor expansion of (* (sqrt (- (pow x 2) 1.0)) (log (exp (sqrt (- (pow x 2) 1.0))))) in x
11.861 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
11.861 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
11.861 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.861 * [taylor]: Taking taylor expansion of x in x
11.861 * [taylor]: Taking taylor expansion of 1.0 in x
11.863 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (pow x 2) 1.0)))) in x
11.863 * [taylor]: Taking taylor expansion of (exp (sqrt (- (pow x 2) 1.0))) in x
11.864 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
11.864 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
11.864 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.864 * [taylor]: Taking taylor expansion of x in x
11.864 * [taylor]: Taking taylor expansion of 1.0 in x
12.033 * [approximate]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) (sqrt (- (/ 1 (pow x 2)) 1.0))) in (x) around 0
12.033 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
12.033 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))))) in x
12.033 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0))))) in x
12.033 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
12.033 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
12.033 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
12.033 * [taylor]: Taking taylor expansion of (pow x 2) in x
12.033 * [taylor]: Taking taylor expansion of x in x
12.033 * [taylor]: Taking taylor expansion of 1.0 in x
12.035 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))) in x
12.035 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
12.035 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
12.035 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
12.035 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
12.035 * [taylor]: Taking taylor expansion of (pow x 2) in x
12.035 * [taylor]: Taking taylor expansion of x in x
12.036 * [taylor]: Taking taylor expansion of 1.0 in x
12.039 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
12.039 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))))) in x
12.039 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0))))) in x
12.039 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
12.039 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
12.039 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
12.039 * [taylor]: Taking taylor expansion of (pow x 2) in x
12.039 * [taylor]: Taking taylor expansion of x in x
12.039 * [taylor]: Taking taylor expansion of 1.0 in x
12.041 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))) in x
12.041 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
12.041 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
12.041 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
12.041 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
12.041 * [taylor]: Taking taylor expansion of (pow x 2) in x
12.041 * [taylor]: Taking taylor expansion of x in x
12.042 * [taylor]: Taking taylor expansion of 1.0 in x
12.045 * [approximate]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) (sqrt (- (/ 1 (pow x 2)) 1.0))) in (x) around 0
12.045 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
12.045 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))))) in x
12.045 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0))))) in x
12.045 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
12.045 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
12.045 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
12.045 * [taylor]: Taking taylor expansion of (pow x 2) in x
12.045 * [taylor]: Taking taylor expansion of x in x
12.046 * [taylor]: Taking taylor expansion of 1.0 in x
12.048 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))) in x
12.048 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
12.048 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
12.048 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
12.048 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
12.048 * [taylor]: Taking taylor expansion of (pow x 2) in x
12.048 * [taylor]: Taking taylor expansion of x in x
12.048 * [taylor]: Taking taylor expansion of 1.0 in x
12.051 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
12.051 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))))) in x
12.051 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0))))) in x
12.051 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
12.051 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
12.051 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
12.052 * [taylor]: Taking taylor expansion of (pow x 2) in x
12.052 * [taylor]: Taking taylor expansion of x in x
12.052 * [taylor]: Taking taylor expansion of 1.0 in x
12.054 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))) in x
12.054 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
12.054 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
12.054 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
12.054 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
12.054 * [taylor]: Taking taylor expansion of (pow x 2) in x
12.054 * [taylor]: Taking taylor expansion of x in x
12.055 * [taylor]: Taking taylor expansion of 1.0 in x
12.057 * * * [progress]: simplifying candidates
12.058 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0)))
  (* (log (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))
  (* 1 (sqrt (- (* x x) 1.0)))
  (* (cbrt (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0)))
  (* (sqrt (cbrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0)))
  (* (sqrt (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0)))
  (* (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0)))
  (* (sqrt (- x (sqrt 1.0))) (sqrt (- (* x x) 1.0)))
  (* (sqrt (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0)))
  (* (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0)))
  (pow (exp (sqrt (- (* x x) 1.0))) (* (cbrt (sqrt (- (* x x) 1.0))) (cbrt (sqrt (- (* x x) 1.0)))))
  (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0)))))
  (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (sqrt (- (* x x) 1.0))))
  (pow (exp (sqrt (- (* x x) 1.0))) (sqrt 1))
  (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (+ x (sqrt 1.0))))
  (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (sqrt (- (* x x) 1.0))))
  (pow (exp (sqrt (- (* x x) 1.0))) 1)
  (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))
  (pow (sqrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))
  (pow (sqrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))
  (pow 1 (sqrt (- (* x x) 1.0)))
  (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0)))
  (log (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0))))
  (exp (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0))))
  (* (cbrt (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0)))) (cbrt (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0)))))
  (cbrt (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0))))
  (* (* (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0))) (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0)))) (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0))))
  (sqrt (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0))))
  (sqrt (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0))))
  (pow (exp (sqrt (- (* x x) 1.0))) (/ (sqrt (- (* x x) 1.0)) 2))
  (pow (exp (sqrt (- (* x x) 1.0))) (/ (sqrt (- (* x x) 1.0)) 2))
  (+ (exp (pow (sqrt (- 1.0)) 2)) (+ (* 1/2 (* (exp (pow (sqrt (- 1.0)) 2)) (pow x 4))) (* (exp (pow (sqrt (- 1.0)) 2)) (pow x 2))))
  (exp (- (pow x 2) 1.0))
  (exp (- (pow x 2) 1.0))
12.060 * * [simplify]: iteration  0 :  67  enodes  (cost  552 )
12.076 * * [simplify]: iteration  1 :  135  enodes  (cost  474 )
12.102 * * [simplify]: iteration  2 :  340  enodes  (cost  386 )
12.252 * * [simplify]: iteration  3 :  1387  enodes  (cost  382 )
13.172 * * [simplify]: iteration  done :  5000  enodes  (cost  382 )
13.172 * [simplify]: Simplified to:
   (- (pow x 2) 1.0)
  (- (pow x 2) 1.0)
  (sqrt (- (pow x 2) 1.0))
  (* (cbrt (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0)))
  (* (sqrt (cbrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0)))
  (* (sqrt (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0)))
  (- (pow x 2) 1.0)
  (* (sqrt (- x (sqrt 1.0))) (sqrt (- (* x x) 1.0)))
  (* (sqrt (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0)))
  (- (pow x 2) 1.0)
  (pow (exp (sqrt (- (* x x) 1.0))) (* (cbrt (sqrt (- (* x x) 1.0))) (cbrt (sqrt (- (* x x) 1.0)))))
  (pow (exp (sqrt (- (* x x) 1.0))) (fabs (cbrt (- (* x x) 1.0))))
  (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (sqrt (- (* x x) 1.0))))
  (exp (sqrt (- (* x x) 1.0)))
  (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (+ x (sqrt 1.0))))
  (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (sqrt (- (* x x) 1.0))))
  (exp (sqrt (- (* x x) 1.0)))
  (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))
  (pow (sqrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))
  (pow (sqrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))
  1
  (exp (- (pow x 2) 1.0))
  (- (pow x 2) 1.0)
  (exp (exp (- (pow x 2) 1.0)))
  (* (cbrt (exp (- (pow x 2) 1.0))) (cbrt (exp (- (pow x 2) 1.0))))
  (cbrt (exp (- (pow x 2) 1.0)))
  (pow (exp (- (pow x 2) 1.0)) 3)
  (sqrt (exp (- (pow x 2) 1.0)))
  (sqrt (exp (- (pow x 2) 1.0)))
  (pow (exp (sqrt (- (* x x) 1.0))) (/ (sqrt (- (* x x) 1.0)) 2))
  (pow (exp (sqrt (- (* x x) 1.0))) (/ (sqrt (- (* x x) 1.0)) 2))
  (+ (* (exp (- 1.0)) (+ (* 1/2 (pow x 4)) (pow x 2))) (exp (- 1.0)))
  (exp (- (pow x 2) 1.0))
  (exp (- (pow x 2) 1.0))
13.172 * * * [progress]: adding candidates to table
13.236 * * [progress]: iteration 4 / 4
13.237 * * * [progress]: picking best candidate
13.239 * * * * [pick]: Picked  #<alt (λ (x) (* (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0))) (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))))>
13.239 * * * [progress]: localizing error
13.250 * * * [progress]: generating rewritten candidates
13.250 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
13.260 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
13.269 * * * [progress]: generating series expansions
13.269 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
13.270 * [approximate]: Taking taylor expansion of (pow (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2) 1/3) (sqrt (- (pow x 2) 1.0))) in (x) around 0
13.270 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2) 1/3) (sqrt (- (pow x 2) 1.0))) in x
13.270 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (pow x 2) 1.0)) (log (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2) 1/3)))) in x
13.270 * [taylor]: Taking taylor expansion of (* (sqrt (- (pow x 2) 1.0)) (log (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2) 1/3))) in x
13.270 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
13.270 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
13.270 * [taylor]: Taking taylor expansion of (pow x 2) in x
13.270 * [taylor]: Taking taylor expansion of x in x
13.270 * [taylor]: Taking taylor expansion of 1.0 in x
13.272 * [taylor]: Taking taylor expansion of (log (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2) 1/3)) in x
13.272 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2) 1/3) in x
13.273 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (sqrt (- (pow x 2) 1.0))) 2)))) in x
13.273 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (sqrt (- (pow x 2) 1.0))) 2))) in x
13.273 * [taylor]: Taking taylor expansion of 1/3 in x
13.273 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (pow x 2) 1.0))) 2)) in x
13.273 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (pow x 2) 1.0))) 2) in x
13.273 * [taylor]: Taking taylor expansion of (exp (sqrt (- (pow x 2) 1.0))) in x
13.273 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
13.273 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
13.273 * [taylor]: Taking taylor expansion of (pow x 2) in x
13.273 * [taylor]: Taking taylor expansion of x in x
13.273 * [taylor]: Taking taylor expansion of 1.0 in x
13.299 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2) 1/3) (sqrt (- (pow x 2) 1.0))) in x
13.299 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (pow x 2) 1.0)) (log (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2) 1/3)))) in x
13.299 * [taylor]: Taking taylor expansion of (* (sqrt (- (pow x 2) 1.0)) (log (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2) 1/3))) in x
13.299 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
13.299 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
13.299 * [taylor]: Taking taylor expansion of (pow x 2) in x
13.299 * [taylor]: Taking taylor expansion of x in x
13.299 * [taylor]: Taking taylor expansion of 1.0 in x
13.302 * [taylor]: Taking taylor expansion of (log (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2) 1/3)) in x
13.302 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2) 1/3) in x
13.302 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (sqrt (- (pow x 2) 1.0))) 2)))) in x
13.302 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (sqrt (- (pow x 2) 1.0))) 2))) in x
13.302 * [taylor]: Taking taylor expansion of 1/3 in x
13.302 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (pow x 2) 1.0))) 2)) in x
13.302 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (pow x 2) 1.0))) 2) in x
13.302 * [taylor]: Taking taylor expansion of (exp (sqrt (- (pow x 2) 1.0))) in x
13.302 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
13.302 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
13.302 * [taylor]: Taking taylor expansion of (pow x 2) in x
13.302 * [taylor]: Taking taylor expansion of x in x
13.302 * [taylor]: Taking taylor expansion of 1.0 in x
13.837 * [approximate]: Taking taylor expansion of (pow (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3) (sqrt (- (/ 1 (pow x 2)) 1.0))) in (x) around 0
13.837 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3) (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
13.837 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3)))) in x
13.837 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3))) in x
13.837 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
13.837 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
13.837 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
13.837 * [taylor]: Taking taylor expansion of (pow x 2) in x
13.837 * [taylor]: Taking taylor expansion of x in x
13.837 * [taylor]: Taking taylor expansion of 1.0 in x
13.840 * [taylor]: Taking taylor expansion of (log (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3)) in x
13.840 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3) in x
13.840 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2)))) in x
13.840 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2))) in x
13.840 * [taylor]: Taking taylor expansion of 1/3 in x
13.840 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2)) in x
13.840 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) in x
13.840 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
13.840 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
13.840 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
13.840 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
13.840 * [taylor]: Taking taylor expansion of (pow x 2) in x
13.840 * [taylor]: Taking taylor expansion of x in x
13.840 * [taylor]: Taking taylor expansion of 1.0 in x
13.844 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3) (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
13.844 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3)))) in x
13.844 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3))) in x
13.844 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
13.844 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
13.844 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
13.844 * [taylor]: Taking taylor expansion of (pow x 2) in x
13.844 * [taylor]: Taking taylor expansion of x in x
13.844 * [taylor]: Taking taylor expansion of 1.0 in x
13.846 * [taylor]: Taking taylor expansion of (log (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3)) in x
13.846 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3) in x
13.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2)))) in x
13.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2))) in x
13.847 * [taylor]: Taking taylor expansion of 1/3 in x
13.847 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2)) in x
13.847 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) in x
13.847 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
13.847 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
13.847 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
13.847 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
13.847 * [taylor]: Taking taylor expansion of (pow x 2) in x
13.847 * [taylor]: Taking taylor expansion of x in x
13.847 * [taylor]: Taking taylor expansion of 1.0 in x
13.857 * [approximate]: Taking taylor expansion of (pow (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3) (sqrt (- (/ 1 (pow x 2)) 1.0))) in (x) around 0
13.857 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3) (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
13.857 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3)))) in x
13.857 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3))) in x
13.857 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
13.857 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
13.857 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
13.857 * [taylor]: Taking taylor expansion of (pow x 2) in x
13.857 * [taylor]: Taking taylor expansion of x in x
13.858 * [taylor]: Taking taylor expansion of 1.0 in x
13.860 * [taylor]: Taking taylor expansion of (log (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3)) in x
13.860 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3) in x
13.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2)))) in x
13.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2))) in x
13.860 * [taylor]: Taking taylor expansion of 1/3 in x
13.860 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2)) in x
13.860 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) in x
13.860 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
13.860 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
13.860 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
13.860 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
13.860 * [taylor]: Taking taylor expansion of (pow x 2) in x
13.860 * [taylor]: Taking taylor expansion of x in x
13.861 * [taylor]: Taking taylor expansion of 1.0 in x
13.864 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3) (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
13.864 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3)))) in x
13.864 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3))) in x
13.864 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
13.864 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
13.864 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
13.864 * [taylor]: Taking taylor expansion of (pow x 2) in x
13.864 * [taylor]: Taking taylor expansion of x in x
13.865 * [taylor]: Taking taylor expansion of 1.0 in x
13.867 * [taylor]: Taking taylor expansion of (log (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3)) in x
13.867 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3) in x
13.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2)))) in x
13.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2))) in x
13.867 * [taylor]: Taking taylor expansion of 1/3 in x
13.867 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2)) in x
13.867 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) in x
13.867 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
13.867 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
13.867 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
13.867 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
13.867 * [taylor]: Taking taylor expansion of (pow x 2) in x
13.867 * [taylor]: Taking taylor expansion of x in x
13.867 * [taylor]: Taking taylor expansion of 1.0 in x
13.871 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
13.872 * [approximate]: Taking taylor expansion of (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3) (sqrt (- (pow x 2) 1.0))) in (x) around 0
13.872 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3) (sqrt (- (pow x 2) 1.0))) in x
13.872 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (pow x 2) 1.0)) (log (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3)))) in x
13.872 * [taylor]: Taking taylor expansion of (* (sqrt (- (pow x 2) 1.0)) (log (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3))) in x
13.872 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
13.872 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
13.872 * [taylor]: Taking taylor expansion of (pow x 2) in x
13.872 * [taylor]: Taking taylor expansion of x in x
13.872 * [taylor]: Taking taylor expansion of 1.0 in x
13.874 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3)) in x
13.874 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3) in x
13.874 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (sqrt (- (pow x 2) 1.0)))))) in x
13.874 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (sqrt (- (pow x 2) 1.0))))) in x
13.874 * [taylor]: Taking taylor expansion of 1/3 in x
13.874 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (pow x 2) 1.0)))) in x
13.874 * [taylor]: Taking taylor expansion of (exp (sqrt (- (pow x 2) 1.0))) in x
13.874 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
13.874 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
13.874 * [taylor]: Taking taylor expansion of (pow x 2) in x
13.874 * [taylor]: Taking taylor expansion of x in x
13.874 * [taylor]: Taking taylor expansion of 1.0 in x
13.887 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3) (sqrt (- (pow x 2) 1.0))) in x
13.887 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (pow x 2) 1.0)) (log (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3)))) in x
13.887 * [taylor]: Taking taylor expansion of (* (sqrt (- (pow x 2) 1.0)) (log (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3))) in x
13.887 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
13.887 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
13.887 * [taylor]: Taking taylor expansion of (pow x 2) in x
13.887 * [taylor]: Taking taylor expansion of x in x
13.887 * [taylor]: Taking taylor expansion of 1.0 in x
13.890 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3)) in x
13.890 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3) in x
13.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (sqrt (- (pow x 2) 1.0)))))) in x
13.890 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (sqrt (- (pow x 2) 1.0))))) in x
13.890 * [taylor]: Taking taylor expansion of 1/3 in x
13.890 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (pow x 2) 1.0)))) in x
13.890 * [taylor]: Taking taylor expansion of (exp (sqrt (- (pow x 2) 1.0))) in x
13.890 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
13.890 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
13.890 * [taylor]: Taking taylor expansion of (pow x 2) in x
13.890 * [taylor]: Taking taylor expansion of x in x
13.890 * [taylor]: Taking taylor expansion of 1.0 in x
14.197 * [approximate]: Taking taylor expansion of (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3) (sqrt (- (/ 1 (pow x 2)) 1.0))) in (x) around 0
14.197 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3) (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
14.197 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3)))) in x
14.197 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3))) in x
14.197 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
14.197 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
14.197 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
14.197 * [taylor]: Taking taylor expansion of (pow x 2) in x
14.197 * [taylor]: Taking taylor expansion of x in x
14.197 * [taylor]: Taking taylor expansion of 1.0 in x
14.199 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3)) in x
14.199 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3) in x
14.199 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))))) in x
14.199 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0))))) in x
14.199 * [taylor]: Taking taylor expansion of 1/3 in x
14.199 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))) in x
14.200 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
14.200 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
14.200 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
14.200 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
14.200 * [taylor]: Taking taylor expansion of (pow x 2) in x
14.200 * [taylor]: Taking taylor expansion of x in x
14.200 * [taylor]: Taking taylor expansion of 1.0 in x
14.203 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3) (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
14.203 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3)))) in x
14.203 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3))) in x
14.203 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
14.203 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
14.203 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
14.203 * [taylor]: Taking taylor expansion of (pow x 2) in x
14.203 * [taylor]: Taking taylor expansion of x in x
14.204 * [taylor]: Taking taylor expansion of 1.0 in x
14.206 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3)) in x
14.206 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3) in x
14.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))))) in x
14.206 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0))))) in x
14.206 * [taylor]: Taking taylor expansion of 1/3 in x
14.206 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))) in x
14.206 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
14.206 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
14.206 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
14.206 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
14.206 * [taylor]: Taking taylor expansion of (pow x 2) in x
14.206 * [taylor]: Taking taylor expansion of x in x
14.206 * [taylor]: Taking taylor expansion of 1.0 in x
14.210 * [approximate]: Taking taylor expansion of (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3) (sqrt (- (/ 1 (pow x 2)) 1.0))) in (x) around 0
14.210 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3) (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
14.210 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3)))) in x
14.210 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3))) in x
14.210 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
14.210 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
14.210 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
14.210 * [taylor]: Taking taylor expansion of (pow x 2) in x
14.210 * [taylor]: Taking taylor expansion of x in x
14.211 * [taylor]: Taking taylor expansion of 1.0 in x
14.213 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3)) in x
14.213 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3) in x
14.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))))) in x
14.213 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0))))) in x
14.213 * [taylor]: Taking taylor expansion of 1/3 in x
14.213 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))) in x
14.213 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
14.213 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
14.213 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
14.213 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
14.213 * [taylor]: Taking taylor expansion of (pow x 2) in x
14.213 * [taylor]: Taking taylor expansion of x in x
14.213 * [taylor]: Taking taylor expansion of 1.0 in x
14.216 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3) (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
14.216 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3)))) in x
14.216 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3))) in x
14.216 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
14.216 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
14.216 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
14.216 * [taylor]: Taking taylor expansion of (pow x 2) in x
14.216 * [taylor]: Taking taylor expansion of x in x
14.217 * [taylor]: Taking taylor expansion of 1.0 in x
14.219 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3)) in x
14.219 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3) in x
14.219 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))))) in x
14.219 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0))))) in x
14.219 * [taylor]: Taking taylor expansion of 1/3 in x
14.219 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))) in x
14.219 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
14.219 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
14.219 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
14.219 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
14.219 * [taylor]: Taking taylor expansion of (pow x 2) in x
14.219 * [taylor]: Taking taylor expansion of x in x
14.219 * [taylor]: Taking taylor expansion of 1.0 in x
14.223 * * * [progress]: simplifying candidates
14.224 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (+ (log (cbrt (exp (sqrt (- (* x x) 1.0))))) (log (cbrt (exp (sqrt (- (* x x) 1.0)))))) (sqrt (- (* x x) 1.0)))
  (* (log (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0)))))) (sqrt (- (* x x) 1.0)))
  (* (log (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0)))))) (sqrt (- (* x x) 1.0)))
  (* (+ 1/3 1/3) (sqrt (- (* x x) 1.0)))
  (* (+ 1 1) (sqrt (- (* x x) 1.0)))
  (* 1/3 (sqrt (- (* x x) 1.0)))
  (* 1 (sqrt (- (* x x) 1.0)))
  (* 2 (sqrt (- (* x x) 1.0)))
  (* (+ 1 1) (sqrt (- (* x x) 1.0)))
  (* 1 (sqrt (- (* x x) 1.0)))
  (* (* 2 1/3) (sqrt (- (* x x) 1.0)))
  (* (* 2 1) (sqrt (- (* x x) 1.0)))
  (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (* (cbrt (sqrt (- (* x x) 1.0))) (cbrt (sqrt (- (* x x) 1.0)))))
  (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0)))))
  (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (sqrt (- (* x x) 1.0))))
  (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt 1))
  (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (+ x (sqrt 1.0))))
  (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (sqrt (- (* x x) 1.0))))
  (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) 1)
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))
  (log (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0))))
  (exp (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0))))
  (* (cbrt (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))) (cbrt (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))))
  (cbrt (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0))))
  (* (* (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0))) (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))) (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0))))
  (sqrt (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0))))
  (sqrt (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0))))
  (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (/ (sqrt (- (* x x) 1.0)) 2))
  (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (/ (sqrt (- (* x x) 1.0)) 2))
  (* (log (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))
  (* (log (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))
  (* 1/3 (sqrt (- (* x x) 1.0)))
  (* 1 (sqrt (- (* x x) 1.0)))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (* (cbrt (sqrt (- (* x x) 1.0))) (cbrt (sqrt (- (* x x) 1.0)))))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0)))))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (sqrt (- (* x x) 1.0))))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt 1))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (+ x (sqrt 1.0))))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (sqrt (- (* x x) 1.0))))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) 1)
  (pow (cbrt (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0)))))) (sqrt (- (* x x) 1.0)))
  (pow (cbrt (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))
  (pow (cbrt (sqrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))
  (pow (cbrt (sqrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))
  (pow (cbrt 1) (sqrt (- (* x x) 1.0)))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))
  (pow (* (cbrt (cbrt (exp (sqrt (- (* x x) 1.0))))) (cbrt (cbrt (exp (sqrt (- (* x x) 1.0)))))) (sqrt (- (* x x) 1.0)))
  (pow (cbrt (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))
  (pow (sqrt (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))
  (pow (sqrt (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))
  (pow 1 (sqrt (- (* x x) 1.0)))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))
  (log (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0))))
  (exp (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0))))
  (* (cbrt (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))) (cbrt (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))))
  (cbrt (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0))))
  (* (* (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0))) (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))) (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0))))
  (sqrt (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0))))
  (sqrt (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0))))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (/ (sqrt (- (* x x) 1.0)) 2))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (/ (sqrt (- (* x x) 1.0)) 2))
  (- (+ (exp (* (log (pow (pow (exp (sqrt (- 1.0))) 2) 1/3)) (sqrt (- 1.0)))) (+ (* 1/2 (/ (* (pow x 2) (* (exp (* (log (pow (pow (exp (sqrt (- 1.0))) 2) 1/3)) (sqrt (- 1.0)))) (log (pow (pow (exp (sqrt (- 1.0))) 2) 1/3)))) (sqrt (- 1.0)))) (+ (* 1/8 (/ (* (pow x 4) (* (exp (* (log (pow (pow (exp (sqrt (- 1.0))) 2) 1/3)) (sqrt (- 1.0)))) (pow (log (pow (pow (exp (sqrt (- 1.0))) 2) 1/3)) 2))) (pow (sqrt (- 1.0)) 2))) (+ (* 1/6 (/ (* (pow x 4) (* (exp (* (log (pow (pow (exp (sqrt (- 1.0))) 2) 1/3)) (sqrt (- 1.0)))) (log (pow (pow (exp (sqrt (- 1.0))) 2) 1/3)))) (sqrt (- 1.0)))) (+ (* 1/12 (/ (* (pow x 4) (exp (* (log (pow (pow (exp (sqrt (- 1.0))) 2) 1/3)) (sqrt (- 1.0))))) (pow (sqrt (- 1.0)) 2))) (+ (* 1/3 (* (pow x 2) (exp (* (log (pow (pow (exp (sqrt (- 1.0))) 2) 1/3)) (sqrt (- 1.0)))))) (* 1/18 (* (pow x 4) (exp (* (log (pow (pow (exp (sqrt (- 1.0))) 2) 1/3)) (sqrt (- 1.0)))))))))))) (* 1/8 (/ (* (pow x 4) (* (exp (* (log (pow (pow (exp (sqrt (- 1.0))) 2) 1/3)) (sqrt (- 1.0)))) (log (pow (pow (exp (sqrt (- 1.0))) 2) 1/3)))) (pow (sqrt (- 1.0)) 3))))
  (pow (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2) 1/3) (sqrt (- (pow x 2) 1.0)))
  (pow (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2) 1/3) (sqrt (- (pow x 2) 1.0)))
  (+ (exp (* 1/3 (pow (sqrt (- 1.0)) 2))) (+ (* 1/18 (* (pow x 4) (exp (* 1/3 (pow (sqrt (- 1.0)) 2))))) (* 1/3 (* (pow x 2) (exp (* 1/3 (pow (sqrt (- 1.0)) 2)))))))
  (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3) (sqrt (- (pow x 2) 1.0)))
  (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3) (sqrt (- (pow x 2) 1.0)))
14.229 * * [simplify]: iteration  0 :  145  enodes  (cost  1552 )
14.262 * * [simplify]: iteration  1 :  340  enodes  (cost  1399 )
14.343 * * [simplify]: iteration  2 :  1131  enodes  (cost  1185 )
14.677 * * [simplify]: iteration  done :  5001  enodes  (cost  1181 )
14.678 * [simplify]: Simplified to:
   (log (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (sqrt (- (pow x 2) 1.0))))
  (log (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (sqrt (- (pow x 2) 1.0))))
  (log (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (sqrt (- (pow x 2) 1.0))))
  (* 2/3 (sqrt (- (* x x) 1.0)))
  (* 2 (sqrt (- (* x x) 1.0)))
  (* 1/3 (sqrt (- (* x x) 1.0)))
  (sqrt (- (* x x) 1.0))
  (* 2 (sqrt (- (* x x) 1.0)))
  (* 2 (sqrt (- (* x x) 1.0)))
  (sqrt (- (* x x) 1.0))
  (* 2/3 (sqrt (- (* x x) 1.0)))
  (* 2 (sqrt (- (* x x) 1.0)))
  (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (* (cbrt (sqrt (- (* x x) 1.0))) (cbrt (sqrt (- (* x x) 1.0)))))
  (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (fabs (cbrt (- (* x x) 1.0))))
  (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (sqrt (sqrt (- (* x x) 1.0))))
  (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3)
  (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (sqrt (+ x (sqrt 1.0))))
  (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (sqrt (sqrt (- (* x x) 1.0))))
  (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3)
  (pow (cbrt (exp (sqrt (- (pow x 2) 1.0)))) (sqrt (- (* x x) 1.0)))
  (pow (cbrt (exp (sqrt (- (pow x 2) 1.0)))) (sqrt (- (* x x) 1.0)))
  (log (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (sqrt (- (pow x 2) 1.0))))
  (exp (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (sqrt (- (pow x 2) 1.0))))
  (* (cbrt (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (sqrt (- (pow x 2) 1.0)))) (cbrt (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (sqrt (- (pow x 2) 1.0)))))
  (cbrt (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (sqrt (- (pow x 2) 1.0))))
  (pow (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (sqrt (- (pow x 2) 1.0))) 3)
  (sqrt (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (sqrt (- (pow x 2) 1.0))))
  (sqrt (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (sqrt (- (pow x 2) 1.0))))
  (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (/ (sqrt (- (* x x) 1.0)) 2))
  (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3) (/ (sqrt (- (* x x) 1.0)) 2))
  (log (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0))))
  (log (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0))))
  (* 1/3 (sqrt (- (* x x) 1.0)))
  (sqrt (- (* x x) 1.0))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (* (cbrt (sqrt (- (* x x) 1.0))) (cbrt (sqrt (- (* x x) 1.0)))))
  (pow (cbrt (exp (sqrt (- (pow x 2) 1.0)))) (fabs (cbrt (- (* x x) 1.0))))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (sqrt (- (* x x) 1.0))))
  (cbrt (exp (sqrt (- (pow x 2) 1.0))))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (+ x (sqrt 1.0))))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (sqrt (- (* x x) 1.0))))
  (cbrt (exp (sqrt (- (pow x 2) 1.0))))
  (pow (cbrt (pow (exp (sqrt (- (pow x 2) 1.0))) 2/3)) (sqrt (- (pow x 2) 1.0)))
  (pow (cbrt (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))
  (pow (cbrt (sqrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))
  (pow (cbrt (sqrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))
  1
  (pow (cbrt (exp (sqrt (- (pow x 2) 1.0)))) (sqrt (- (* x x) 1.0)))
  (pow (* (cbrt (cbrt (exp (sqrt (- (* x x) 1.0))))) (cbrt (cbrt (exp (sqrt (- (* x x) 1.0)))))) (sqrt (- (* x x) 1.0)))
  (pow (cbrt (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))
  (pow (sqrt (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))
  (pow (sqrt (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0)))
  1
  (pow (cbrt (exp (sqrt (- (pow x 2) 1.0)))) (sqrt (- (* x x) 1.0)))
  (log (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0))))
  (exp (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0))))
  (* (cbrt (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))) (cbrt (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))))
  (cbrt (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0))))
  (pow (pow (cbrt (exp (sqrt (- (pow x 2) 1.0)))) (sqrt (- (* x x) 1.0))) 3)
  (sqrt (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0))))
  (sqrt (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0))))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (/ (sqrt (- (* x x) 1.0)) 2))
  (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (/ (sqrt (- (* x x) 1.0)) 2))
  (- (+ (+ (* (pow (cbrt (pow (exp (sqrt (- 1.0))) 2)) (sqrt (- 1.0))) (+ (* 1/18 (pow x 4)) (* 1/3 (* x x)))) (/ (* 1/12 (* (pow x 4) (pow (cbrt (pow (exp (sqrt (- 1.0))) 2)) (sqrt (- 1.0))))) (- 1.0))) (+ (* 1/8 (/ (pow (* 2/3 (log (exp (sqrt (- 1.0))))) 2) (/ (- 1.0) (* (pow x 4) (pow (cbrt (pow (exp (sqrt (- 1.0))) 2)) (sqrt (- 1.0))))))) (+ (/ (* 1/2 (* (pow (cbrt (pow (exp (sqrt (- 1.0))) 2)) (sqrt (- 1.0))) (* x x))) (/ (sqrt (- 1.0)) (* 2/3 (log (exp (sqrt (- 1.0))))))) (* 1/6 (* (/ (* (pow x 4) (pow (cbrt (pow (exp (sqrt (- 1.0))) 2)) (sqrt (- 1.0)))) (sqrt (- 1.0))) (* 2/3 (log (exp (sqrt (- 1.0)))))))))) (- (* (* 1/8 (/ (pow x 4) (pow (sqrt (- 1.0)) 3))) (* (pow (cbrt (pow (exp (sqrt (- 1.0))) 2)) (sqrt (- 1.0))) (* 2/3 (log (exp (sqrt (- 1.0))))))) (pow (cbrt (pow (exp (sqrt (- 1.0))) 2)) (sqrt (- 1.0)))))
  (pow (cbrt (pow (exp (sqrt (- (pow x 2) 1.0))) 2)) (sqrt (- (pow x 2) 1.0)))
  (pow (cbrt (pow (exp (sqrt (- (pow x 2) 1.0))) 2)) (sqrt (- (pow x 2) 1.0)))
  (+ (exp (* 1/3 (- 1.0))) (* (exp (* 1/3 (- 1.0))) (+ (* 1/18 (pow x 4)) (* 1/3 (* x x)))))
  (pow (cbrt (exp (sqrt (- (pow x 2) 1.0)))) (sqrt (- (* x x) 1.0)))
  (pow (cbrt (exp (sqrt (- (pow x 2) 1.0)))) (sqrt (- (* x x) 1.0)))
14.678 * * * [progress]: adding candidates to table
14.855 * [progress]: [Phase 3 of 3] Extracting.
14.855 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0))) (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))))> #<alt (λ (x) (* (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0)))))>)
14.856 * * * [regime-changes]: Trying 2 branch expressions: ((* x x) x)
14.856 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x) (* (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0))) (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))))> #<alt (λ (x) (* (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0)))))>)
14.866 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (pow (* (cbrt (exp (sqrt (- (* x x) 1.0)))) (cbrt (exp (sqrt (- (* x x) 1.0))))) (sqrt (- (* x x) 1.0))) (pow (cbrt (exp (sqrt (- (* x x) 1.0)))) (sqrt (- (* x x) 1.0)))))> #<alt (λ (x) (* (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0)))))>)
14.877 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
14.877 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0))))
14.878 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
14.878 * * [simplify]: iteration  done :  7  enodes  (cost  15 )
14.878 * [simplify]: Simplified to:
   (* (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0))))
15.531 * [regime-testing]: Baseline error score: 0.03303959676583358
15.532 * [regime-testing]: Oracle error score: 0.03042970176539783
15.533 * [regime-testing]: End program error score: 0.03303959676583358