18.838 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (exp (- (- 1.0 (* x x))))
0.023 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.023 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
0.025 * * [simplify]: iteration  2 :  25  enodes  (cost  7 )
0.028 * * [simplify]: iteration  3 :  43  enodes  (cost  7 )
0.034 * * [simplify]: iteration  4 :  73  enodes  (cost  6 )
0.048 * * [simplify]: iteration  5 :  144  enodes  (cost  6 )
0.089 * * [simplify]: iteration  6 :  418  enodes  (cost  6 )
0.450 * * [simplify]: iteration  7 :  1415  enodes  (cost  6 )
3.335 * * [simplify]: iteration  8 :  4663  enodes  (cost  6 )
4.369 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
4.369 * [simplify]: Simplified to:
   (exp (- (* x x) 1.0))
4.372 * * [progress]: iteration 1 / 4
4.372 * * * [progress]: picking best candidate
4.373 * * * * [pick]: Picked  #<alt (λ (x) (exp (- (* x x) 1.0)))>
4.373 * * * [progress]: localizing error
4.378 * * * [progress]: generating rewritten candidates
4.378 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
4.388 * * * [progress]: generating series expansions
4.388 * * * * [progress]: [ 1 / 1 ] generating series at (2)
4.388 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0
4.388 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
4.388 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
4.388 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.388 * [taylor]: Taking taylor expansion of x in x
4.388 * [taylor]: Taking taylor expansion of 1.0 in x
4.389 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
4.390 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
4.390 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.390 * [taylor]: Taking taylor expansion of x in x
4.390 * [taylor]: Taking taylor expansion of 1.0 in x
4.414 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
4.414 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
4.414 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
4.414 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.414 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.414 * [taylor]: Taking taylor expansion of x in x
4.415 * [taylor]: Taking taylor expansion of 1.0 in x
4.416 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
4.416 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
4.416 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.416 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.416 * [taylor]: Taking taylor expansion of x in x
4.416 * [taylor]: Taking taylor expansion of 1.0 in x
4.417 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
4.417 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
4.417 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
4.417 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.417 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.417 * [taylor]: Taking taylor expansion of x in x
4.418 * [taylor]: Taking taylor expansion of 1.0 in x
4.418 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
4.418 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
4.418 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.418 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.418 * [taylor]: Taking taylor expansion of x in x
4.419 * [taylor]: Taking taylor expansion of 1.0 in x
4.419 * * * [progress]: simplifying candidates
4.420 * [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))
4.421 * * [simplify]: iteration  0 :  38  enodes  (cost  151 )
4.427 * * [simplify]: iteration  1 :  72  enodes  (cost  147 )
4.437 * * [simplify]: iteration  2 :  165  enodes  (cost  134 )
4.491 * * [simplify]: iteration  3 :  529  enodes  (cost  130 )
5.178 * * [simplify]: iteration  4 :  2485  enodes  (cost  130 )
6.375 * * [simplify]: iteration  done :  5001  enodes  (cost  130 )
6.375 * [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)
  (- (* 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)))
  (pow (exp (- (pow x 2) 1.0)) 3)
  (sqrt (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (* (exp (- 1.0)) (+ (pow x 2) (+ (* 1/2 (pow x 4)) 1)))
  (exp (- (* x x) 1.0))
  (exp (- (* x x) 1.0))
6.375 * * * [progress]: adding candidates to table
6.408 * * [progress]: iteration 2 / 4
6.408 * * * [progress]: picking best candidate
6.412 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0)))))>
6.412 * * * [progress]: localizing error
6.419 * * * [progress]: generating rewritten candidates
6.419 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1)
6.428 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
6.438 * * * [progress]: generating series expansions
6.438 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1)
6.438 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0
6.438 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
6.438 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
6.438 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.438 * [taylor]: Taking taylor expansion of x in x
6.438 * [taylor]: Taking taylor expansion of 1.0 in x
6.440 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
6.440 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
6.440 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.440 * [taylor]: Taking taylor expansion of x in x
6.440 * [taylor]: Taking taylor expansion of 1.0 in x
6.457 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
6.457 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
6.457 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
6.457 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.457 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.457 * [taylor]: Taking taylor expansion of x in x
6.458 * [taylor]: Taking taylor expansion of 1.0 in x
6.458 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
6.458 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
6.458 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.458 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.458 * [taylor]: Taking taylor expansion of x in x
6.459 * [taylor]: Taking taylor expansion of 1.0 in x
6.460 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
6.460 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
6.460 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
6.460 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.460 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.460 * [taylor]: Taking taylor expansion of x in x
6.460 * [taylor]: Taking taylor expansion of 1.0 in x
6.461 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
6.461 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
6.461 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.461 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.461 * [taylor]: Taking taylor expansion of x in x
6.461 * [taylor]: Taking taylor expansion of 1.0 in x
6.462 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
6.462 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0
6.462 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
6.462 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
6.462 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.462 * [taylor]: Taking taylor expansion of x in x
6.462 * [taylor]: Taking taylor expansion of 1.0 in x
6.463 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x
6.463 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
6.463 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.463 * [taylor]: Taking taylor expansion of x in x
6.463 * [taylor]: Taking taylor expansion of 1.0 in x
6.483 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
6.483 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
6.483 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
6.483 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.483 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.483 * [taylor]: Taking taylor expansion of x in x
6.483 * [taylor]: Taking taylor expansion of 1.0 in x
6.484 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
6.484 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
6.484 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.484 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.484 * [taylor]: Taking taylor expansion of x in x
6.484 * [taylor]: Taking taylor expansion of 1.0 in x
6.485 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
6.485 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
6.485 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
6.485 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.485 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.485 * [taylor]: Taking taylor expansion of x in x
6.486 * [taylor]: Taking taylor expansion of 1.0 in x
6.486 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x
6.486 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
6.486 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.486 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.486 * [taylor]: Taking taylor expansion of x in x
6.487 * [taylor]: Taking taylor expansion of 1.0 in x
6.487 * * * [progress]: simplifying candidates
6.488 * [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))
6.490 * * [simplify]: iteration  0 :  38  enodes  (cost  302 )
6.495 * * [simplify]: iteration  1 :  72  enodes  (cost  294 )
6.506 * * [simplify]: iteration  2 :  165  enodes  (cost  268 )
6.559 * * [simplify]: iteration  3 :  529  enodes  (cost  260 )
7.256 * * [simplify]: iteration  4 :  2485  enodes  (cost  260 )
8.276 * * [simplify]: iteration  done :  5001  enodes  (cost  260 )
8.277 * [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)
  (- (* 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)))
  (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)
  (- (* 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)))
  (pow (exp (- (pow x 2) 1.0)) 3)
  (sqrt (exp (- (* x x) 1.0)))
  (sqrt (exp (- (* x x) 1.0)))
  (* (exp (- 1.0)) (+ (pow x 2) (+ (* 1/2 (pow x 4)) 1)))
  (exp (- (* x x) 1.0))
  (exp (- (* x x) 1.0))
  (* (exp (- 1.0)) (+ (pow x 2) (+ (* 1/2 (pow x 4)) 1)))
  (exp (- (* x x) 1.0))
  (exp (- (* x x) 1.0))
8.277 * * * [progress]: adding candidates to table
8.361 * * [progress]: iteration 3 / 4
8.361 * * * [progress]: picking best candidate
8.363 * * * * [pick]: Picked  #<alt (λ (x) (pow (exp (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0))))>
8.363 * * * [progress]: localizing error
8.369 * * * [progress]: generating rewritten candidates
8.369 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
8.385 * * * [progress]: generating series expansions
8.385 * * * * [progress]: [ 1 / 1 ] generating series at (2)
8.385 * [approximate]: Taking taylor expansion of (pow (exp (sqrt (- (pow x 2) 1.0))) (sqrt (- (pow x 2) 1.0))) in (x) around 0
8.385 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (pow x 2) 1.0))) (sqrt (- (pow x 2) 1.0))) in x
8.385 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (pow x 2) 1.0)) (log (exp (sqrt (- (pow x 2) 1.0)))))) in x
8.385 * [taylor]: Taking taylor expansion of (* (sqrt (- (pow x 2) 1.0)) (log (exp (sqrt (- (pow x 2) 1.0))))) in x
8.385 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
8.385 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
8.385 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.385 * [taylor]: Taking taylor expansion of x in x
8.385 * [taylor]: Taking taylor expansion of 1.0 in x
8.388 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (pow x 2) 1.0)))) in x
8.388 * [taylor]: Taking taylor expansion of (exp (sqrt (- (pow x 2) 1.0))) in x
8.388 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
8.388 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
8.388 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.388 * [taylor]: Taking taylor expansion of x in x
8.388 * [taylor]: Taking taylor expansion of 1.0 in x
8.395 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (pow x 2) 1.0))) (sqrt (- (pow x 2) 1.0))) in x
8.395 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (pow x 2) 1.0)) (log (exp (sqrt (- (pow x 2) 1.0)))))) in x
8.395 * [taylor]: Taking taylor expansion of (* (sqrt (- (pow x 2) 1.0)) (log (exp (sqrt (- (pow x 2) 1.0))))) in x
8.395 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
8.395 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
8.395 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.395 * [taylor]: Taking taylor expansion of x in x
8.395 * [taylor]: Taking taylor expansion of 1.0 in x
8.397 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (pow x 2) 1.0)))) in x
8.397 * [taylor]: Taking taylor expansion of (exp (sqrt (- (pow x 2) 1.0))) in x
8.397 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
8.397 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
8.397 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.397 * [taylor]: Taking taylor expansion of x in x
8.397 * [taylor]: Taking taylor expansion of 1.0 in x
8.553 * [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
8.553 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
8.553 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))))) in x
8.553 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0))))) in x
8.553 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
8.553 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
8.553 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.553 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.553 * [taylor]: Taking taylor expansion of x in x
8.554 * [taylor]: Taking taylor expansion of 1.0 in x
8.556 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))) in x
8.556 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
8.556 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
8.556 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
8.556 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.556 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.556 * [taylor]: Taking taylor expansion of x in x
8.556 * [taylor]: Taking taylor expansion of 1.0 in x
8.559 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
8.559 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))))) in x
8.559 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0))))) in x
8.559 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
8.559 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
8.559 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.559 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.559 * [taylor]: Taking taylor expansion of x in x
8.560 * [taylor]: Taking taylor expansion of 1.0 in x
8.561 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))) in x
8.561 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
8.562 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
8.562 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
8.562 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.562 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.562 * [taylor]: Taking taylor expansion of x in x
8.562 * [taylor]: Taking taylor expansion of 1.0 in x
8.565 * [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
8.565 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
8.565 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))))) in x
8.565 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0))))) in x
8.565 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
8.565 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
8.565 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.565 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.565 * [taylor]: Taking taylor expansion of x in x
8.566 * [taylor]: Taking taylor expansion of 1.0 in x
8.568 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))) in x
8.568 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
8.568 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
8.568 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
8.568 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.568 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.568 * [taylor]: Taking taylor expansion of x in x
8.568 * [taylor]: Taking taylor expansion of 1.0 in x
8.571 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
8.571 * [taylor]: Taking taylor expansion of (exp (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))))) in x
8.571 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (pow x 2)) 1.0)) (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0))))) in x
8.571 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
8.571 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
8.571 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.571 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.571 * [taylor]: Taking taylor expansion of x in x
8.572 * [taylor]: Taking taylor expansion of 1.0 in x
8.574 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))) in x
8.574 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
8.574 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
8.574 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
8.574 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.574 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.574 * [taylor]: Taking taylor expansion of x in x
8.574 * [taylor]: Taking taylor expansion of 1.0 in x
8.577 * * * [progress]: simplifying candidates
8.578 * [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))
8.580 * * [simplify]: iteration  0 :  67  enodes  (cost  552 )
8.594 * * [simplify]: iteration  1 :  135  enodes  (cost  474 )
8.619 * * [simplify]: iteration  2 :  306  enodes  (cost  386 )
8.714 * * [simplify]: iteration  3 :  837  enodes  (cost  382 )
9.286 * * [simplify]: iteration  4 :  3243  enodes  (cost  350 )
10.113 * * [simplify]: iteration  done :  5000  enodes  (cost  350 )
10.114 * [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)))
  (exp (/ (- (pow x 2) 1.0) 2))
  (exp (/ (- (pow x 2) 1.0) 2))
  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)))
  (exp (/ (- (pow x 2) 1.0) 2))
  (exp (/ (- (pow x 2) 1.0) 2))
  (* (exp (- 1.0)) (+ (* 1/2 (pow x 4)) (+ (* x x) 1)))
  (exp (- (pow x 2) 1.0))
  (exp (- (pow x 2) 1.0))
10.114 * * * [progress]: adding candidates to table
10.175 * * [progress]: iteration 4 / 4
10.176 * * * [progress]: picking best candidate
10.178 * * * * [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)))))>
10.178 * * * [progress]: localizing error
10.189 * * * [progress]: generating rewritten candidates
10.189 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
10.199 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
10.209 * * * [progress]: generating series expansions
10.209 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
10.209 * [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
10.209 * [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
10.209 * [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
10.209 * [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
10.209 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
10.209 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
10.209 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.209 * [taylor]: Taking taylor expansion of x in x
10.209 * [taylor]: Taking taylor expansion of 1.0 in x
10.212 * [taylor]: Taking taylor expansion of (log (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2) 1/3)) in x
10.212 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2) 1/3) in x
10.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (sqrt (- (pow x 2) 1.0))) 2)))) in x
10.212 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (sqrt (- (pow x 2) 1.0))) 2))) in x
10.212 * [taylor]: Taking taylor expansion of 1/3 in x
10.212 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (pow x 2) 1.0))) 2)) in x
10.212 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (pow x 2) 1.0))) 2) in x
10.212 * [taylor]: Taking taylor expansion of (exp (sqrt (- (pow x 2) 1.0))) in x
10.212 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
10.212 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
10.212 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.212 * [taylor]: Taking taylor expansion of x in x
10.212 * [taylor]: Taking taylor expansion of 1.0 in x
10.236 * [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
10.236 * [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
10.236 * [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
10.236 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
10.236 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
10.236 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.236 * [taylor]: Taking taylor expansion of x in x
10.236 * [taylor]: Taking taylor expansion of 1.0 in x
10.238 * [taylor]: Taking taylor expansion of (log (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2) 1/3)) in x
10.239 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 2) 1/3) in x
10.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (sqrt (- (pow x 2) 1.0))) 2)))) in x
10.239 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (sqrt (- (pow x 2) 1.0))) 2))) in x
10.239 * [taylor]: Taking taylor expansion of 1/3 in x
10.239 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (pow x 2) 1.0))) 2)) in x
10.239 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (pow x 2) 1.0))) 2) in x
10.239 * [taylor]: Taking taylor expansion of (exp (sqrt (- (pow x 2) 1.0))) in x
10.239 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
10.239 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
10.239 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.239 * [taylor]: Taking taylor expansion of x in x
10.239 * [taylor]: Taking taylor expansion of 1.0 in x
10.751 * [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
10.751 * [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
10.751 * [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
10.751 * [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
10.751 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
10.751 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
10.751 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.751 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.751 * [taylor]: Taking taylor expansion of x in x
10.752 * [taylor]: Taking taylor expansion of 1.0 in x
10.753 * [taylor]: Taking taylor expansion of (log (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3)) in x
10.753 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3) in x
10.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2)))) in x
10.753 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2))) in x
10.753 * [taylor]: Taking taylor expansion of 1/3 in x
10.753 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2)) in x
10.754 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) in x
10.754 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
10.754 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
10.754 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
10.754 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.754 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.754 * [taylor]: Taking taylor expansion of x in x
10.754 * [taylor]: Taking taylor expansion of 1.0 in x
10.757 * [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
10.758 * [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
10.758 * [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
10.758 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
10.758 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
10.758 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.758 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.758 * [taylor]: Taking taylor expansion of x in x
10.758 * [taylor]: Taking taylor expansion of 1.0 in x
10.760 * [taylor]: Taking taylor expansion of (log (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3)) in x
10.760 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3) in x
10.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2)))) in x
10.760 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2))) in x
10.760 * [taylor]: Taking taylor expansion of 1/3 in x
10.760 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2)) in x
10.760 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) in x
10.760 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
10.760 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
10.760 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
10.760 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.760 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.760 * [taylor]: Taking taylor expansion of x in x
10.761 * [taylor]: Taking taylor expansion of 1.0 in x
10.765 * [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
10.765 * [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
10.765 * [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
10.765 * [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
10.765 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
10.765 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
10.765 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.765 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.766 * [taylor]: Taking taylor expansion of x in x
10.766 * [taylor]: Taking taylor expansion of 1.0 in x
10.768 * [taylor]: Taking taylor expansion of (log (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3)) in x
10.768 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3) in x
10.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2)))) in x
10.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2))) in x
10.769 * [taylor]: Taking taylor expansion of 1/3 in x
10.769 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2)) in x
10.769 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) in x
10.769 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
10.769 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
10.769 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
10.769 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.769 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.769 * [taylor]: Taking taylor expansion of x in x
10.769 * [taylor]: Taking taylor expansion of 1.0 in x
10.773 * [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
10.773 * [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
10.773 * [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
10.773 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
10.773 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
10.773 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.773 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.773 * [taylor]: Taking taylor expansion of x in x
10.773 * [taylor]: Taking taylor expansion of 1.0 in x
10.775 * [taylor]: Taking taylor expansion of (log (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3)) in x
10.775 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) 1/3) in x
10.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2)))) in x
10.775 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2))) in x
10.775 * [taylor]: Taking taylor expansion of 1/3 in x
10.775 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2)) in x
10.775 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 2) in x
10.775 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
10.775 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
10.775 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
10.775 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.775 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.776 * [taylor]: Taking taylor expansion of x in x
10.776 * [taylor]: Taking taylor expansion of 1.0 in x
10.780 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
10.780 * [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
10.780 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3) (sqrt (- (pow x 2) 1.0))) in x
10.780 * [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
10.780 * [taylor]: Taking taylor expansion of (* (sqrt (- (pow x 2) 1.0)) (log (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3))) in x
10.781 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
10.781 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
10.781 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.781 * [taylor]: Taking taylor expansion of x in x
10.781 * [taylor]: Taking taylor expansion of 1.0 in x
10.783 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3)) in x
10.783 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3) in x
10.783 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (sqrt (- (pow x 2) 1.0)))))) in x
10.783 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (sqrt (- (pow x 2) 1.0))))) in x
10.783 * [taylor]: Taking taylor expansion of 1/3 in x
10.783 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (pow x 2) 1.0)))) in x
10.783 * [taylor]: Taking taylor expansion of (exp (sqrt (- (pow x 2) 1.0))) in x
10.783 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
10.783 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
10.783 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.783 * [taylor]: Taking taylor expansion of x in x
10.783 * [taylor]: Taking taylor expansion of 1.0 in x
10.798 * [taylor]: Taking taylor expansion of (pow (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3) (sqrt (- (pow x 2) 1.0))) in x
10.798 * [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
10.798 * [taylor]: Taking taylor expansion of (* (sqrt (- (pow x 2) 1.0)) (log (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3))) in x
10.798 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
10.798 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
10.798 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.798 * [taylor]: Taking taylor expansion of x in x
10.798 * [taylor]: Taking taylor expansion of 1.0 in x
10.800 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3)) in x
10.800 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (pow x 2) 1.0))) 1/3) in x
10.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (sqrt (- (pow x 2) 1.0)))))) in x
10.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (sqrt (- (pow x 2) 1.0))))) in x
10.800 * [taylor]: Taking taylor expansion of 1/3 in x
10.800 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (pow x 2) 1.0)))) in x
10.800 * [taylor]: Taking taylor expansion of (exp (sqrt (- (pow x 2) 1.0))) in x
10.800 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x
10.800 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
10.800 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.800 * [taylor]: Taking taylor expansion of x in x
10.800 * [taylor]: Taking taylor expansion of 1.0 in x
11.088 * [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
11.088 * [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
11.088 * [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
11.088 * [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
11.089 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
11.089 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
11.089 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.089 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.089 * [taylor]: Taking taylor expansion of x in x
11.089 * [taylor]: Taking taylor expansion of 1.0 in x
11.097 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3)) in x
11.097 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3) in x
11.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))))) in x
11.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0))))) in x
11.097 * [taylor]: Taking taylor expansion of 1/3 in x
11.097 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))) in x
11.097 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
11.097 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
11.097 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
11.097 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.097 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.097 * [taylor]: Taking taylor expansion of x in x
11.097 * [taylor]: Taking taylor expansion of 1.0 in x
11.100 * [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
11.100 * [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
11.100 * [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
11.100 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
11.100 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
11.100 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.101 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.101 * [taylor]: Taking taylor expansion of x in x
11.101 * [taylor]: Taking taylor expansion of 1.0 in x
11.103 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3)) in x
11.103 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3) in x
11.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))))) in x
11.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0))))) in x
11.103 * [taylor]: Taking taylor expansion of 1/3 in x
11.103 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))) in x
11.103 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
11.103 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
11.103 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
11.103 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.103 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.103 * [taylor]: Taking taylor expansion of x in x
11.104 * [taylor]: Taking taylor expansion of 1.0 in x
11.107 * [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
11.107 * [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
11.107 * [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
11.107 * [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
11.107 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
11.108 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
11.108 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.108 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.108 * [taylor]: Taking taylor expansion of x in x
11.108 * [taylor]: Taking taylor expansion of 1.0 in x
11.110 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3)) in x
11.110 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3) in x
11.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))))) in x
11.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0))))) in x
11.110 * [taylor]: Taking taylor expansion of 1/3 in x
11.110 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))) in x
11.110 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
11.110 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
11.110 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
11.110 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.110 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.110 * [taylor]: Taking taylor expansion of x in x
11.111 * [taylor]: Taking taylor expansion of 1.0 in x
11.113 * [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
11.114 * [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
11.114 * [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
11.114 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
11.114 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
11.114 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.114 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.114 * [taylor]: Taking taylor expansion of x in x
11.114 * [taylor]: Taking taylor expansion of 1.0 in x
11.116 * [taylor]: Taking taylor expansion of (log (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3)) in x
11.116 * [taylor]: Taking taylor expansion of (pow (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) 1/3) in x
11.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))))) in x
11.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0))))) in x
11.116 * [taylor]: Taking taylor expansion of 1/3 in x
11.116 * [taylor]: Taking taylor expansion of (log (exp (sqrt (- (/ 1 (pow x 2)) 1.0)))) in x
11.116 * [taylor]: Taking taylor expansion of (exp (sqrt (- (/ 1 (pow x 2)) 1.0))) in x
11.116 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x
11.116 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
11.116 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.116 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.116 * [taylor]: Taking taylor expansion of x in x
11.117 * [taylor]: Taking taylor expansion of 1.0 in x
11.120 * * * [progress]: simplifying candidates
11.121 * [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)))
11.127 * * [simplify]: iteration  0 :  145  enodes  (cost  1552 )
11.161 * * [simplify]: iteration  1 :  340  enodes  (cost  1399 )
11.240 * * [simplify]: iteration  2 :  1016  enodes  (cost  1185 )
11.547 * * [simplify]: iteration  done :  5000  enodes  (cost  1177 )
11.547 * [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)))
  (* (sqrt (- (pow x 2) 1.0)) 2)
  (* 1/3 (sqrt (- (* x x) 1.0)))
  (sqrt (- (pow x 2) 1.0))
  (* (sqrt (- (pow x 2) 1.0)) 2)
  (* (sqrt (- (pow x 2) 1.0)) 2)
  (sqrt (- (pow x 2) 1.0))
  (* 2/3 (sqrt (- (* x x) 1.0)))
  (* (sqrt (- (pow x 2) 1.0)) 2)
  (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 (- (pow x 2) 1.0)))
  (pow (cbrt (exp (sqrt (- (pow x 2) 1.0)))) (sqrt (- (pow x 2) 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 (- (pow x 2) 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 (- (pow x 2) 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 (- (pow x 2) 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))
  (+ (+ (/ -1/8 (/ (/ (pow (sqrt (- 1.0)) 3) (* 2/3 (log (exp (sqrt (- 1.0)))))) (* (pow x 4) (pow (cbrt (pow (exp (sqrt (- 1.0))) 2)) (sqrt (- 1.0)))))) (+ (+ (pow (cbrt (pow (exp (sqrt (- 1.0))) 2)) (sqrt (- 1.0))) (+ (/ (* 1/12 (* (pow x 4) (pow (cbrt (pow (exp (sqrt (- 1.0))) 2)) (sqrt (- 1.0))))) (- 1.0)) (* 1/6 (* (/ (pow x 4) (sqrt (- 1.0))) (* (pow (cbrt (pow (exp (sqrt (- 1.0))) 2)) (sqrt (- 1.0))) (* 2/3 (log (exp (sqrt (- 1.0)))))))))) (+ (* 1/8 (* (* (pow (cbrt (pow (exp (sqrt (- 1.0))) 2)) (sqrt (- 1.0))) (pow (* 2/3 (log (exp (sqrt (- 1.0))))) 2)) (/ (pow x 4) (- 1.0)))) (* (pow (cbrt (pow (exp (sqrt (- 1.0))) 2)) (sqrt (- 1.0))) (+ (* 1/18 (pow x 4)) (* 1/3 (* x x))))))) (* (* 1/2 (/ (* x x) (sqrt (- 1.0)))) (* (pow (cbrt (pow (exp (sqrt (- 1.0))) 2)) (sqrt (- 1.0))) (* 2/3 (log (exp (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))) (+ (* 1/3 (* x x)) (+ (* 1/18 (pow x 4)) 1)))
  (pow (cbrt (exp (sqrt (- (pow x 2) 1.0)))) (sqrt (- (pow x 2) 1.0)))
  (pow (cbrt (exp (sqrt (- (pow x 2) 1.0)))) (sqrt (- (pow x 2) 1.0)))
11.551 * * * [progress]: adding candidates to table
11.739 * [progress]: [Phase 3 of 3] Extracting.
11.739 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0)))))> #<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)))))>)
11.740 * * * [regime-changes]: Trying 2 branch expressions: ((* x x) x)
11.740 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x) (* (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0)))))> #<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)))))>)
11.750 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0)))))> #<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)))))>)
11.764 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
11.764 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0))))
11.764 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
11.765 * * [simplify]: iteration  done :  7  enodes  (cost  15 )
11.765 * [simplify]: Simplified to:
   (* (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0))))
12.451 * [regime-testing]: Baseline error score: 0.03303959676583358
12.452 * [regime-testing]: Oracle error score: 0.03042970176539783
12.453 * [regime-testing]: End program error score: 0.03303959676583358