36.347 * [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> :
   (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))
0.022 * * [simplify]: iteration  0 :  7  enodes  (cost  15 )
0.023 * * [simplify]: iteration  1 :  14  enodes  (cost  14 )
0.025 * * [simplify]: iteration  2 :  29  enodes  (cost  11 )
0.032 * * [simplify]: iteration  3 :  50  enodes  (cost  8 )
0.039 * * [simplify]: iteration  4 :  68  enodes  (cost  8 )
0.048 * * [simplify]: iteration  5 :  78  enodes  (cost  8 )
0.058 * * [simplify]: iteration  6 :  124  enodes  (cost  8 )
0.088 * * [simplify]: iteration  7 :  199  enodes  (cost  8 )
0.166 * * [simplify]: iteration  8 :  239  enodes  (cost  8 )
0.261 * * [simplify]: iteration  9 :  253  enodes  (cost  8 )
0.374 * * [simplify]: iteration  10 :  413  enodes  (cost  8 )
0.717 * * [simplify]: iteration  11 :  942  enodes  (cost  8 )
5.510 * * [simplify]: iteration  12 :  3580  enodes  (cost  8 )
34.251 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
34.251 * [simplify]: Simplified to:
   (fma x x (* 3 (* y y)))
34.254 * * [progress]: iteration 1 / 4
34.254 * * * [progress]: picking best candidate
34.256 * * * * [pick]: Picked  #<alt (λ (x y) (fma x x (* 3 (* y y))))>
34.256 * * * [progress]: localizing error
34.261 * * * [progress]: generating rewritten candidates
34.261 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
34.268 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
34.269 * * * [progress]: generating series expansions
34.269 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
34.269 * [approximate]: Taking taylor expansion of (* 3 (pow y 2)) in (y) around 0
34.269 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
34.269 * [taylor]: Taking taylor expansion of 3 in y
34.269 * [taylor]: Taking taylor expansion of (pow y 2) in y
34.269 * [taylor]: Taking taylor expansion of y in y
34.269 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
34.269 * [taylor]: Taking taylor expansion of 3 in y
34.269 * [taylor]: Taking taylor expansion of (pow y 2) in y
34.269 * [taylor]: Taking taylor expansion of y in y
34.277 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
34.278 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
34.278 * [taylor]: Taking taylor expansion of 3 in y
34.278 * [taylor]: Taking taylor expansion of (pow y 2) in y
34.278 * [taylor]: Taking taylor expansion of y in y
34.278 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
34.278 * [taylor]: Taking taylor expansion of 3 in y
34.278 * [taylor]: Taking taylor expansion of (pow y 2) in y
34.278 * [taylor]: Taking taylor expansion of y in y
34.286 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
34.286 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
34.286 * [taylor]: Taking taylor expansion of 3 in y
34.286 * [taylor]: Taking taylor expansion of (pow y 2) in y
34.286 * [taylor]: Taking taylor expansion of y in y
34.286 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
34.286 * [taylor]: Taking taylor expansion of 3 in y
34.286 * [taylor]: Taking taylor expansion of (pow y 2) in y
34.286 * [taylor]: Taking taylor expansion of y in y
34.293 * * * * [progress]: [ 2 / 2 ] generating series at (2)
34.294 * [approximate]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in (x y) around 0
34.294 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in y
34.294 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2)))
34.294 * [taylor]: Taking taylor expansion of (* x x) in y
34.294 * [taylor]: Taking taylor expansion of x in y
34.294 * [taylor]: Taking taylor expansion of x in y
34.294 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
34.294 * [taylor]: Taking taylor expansion of 3 in y
34.294 * [taylor]: Taking taylor expansion of (pow y 2) in y
34.294 * [taylor]: Taking taylor expansion of y in y
34.294 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in x
34.294 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2)))
34.294 * [taylor]: Taking taylor expansion of (* x x) in x
34.294 * [taylor]: Taking taylor expansion of x in x
34.294 * [taylor]: Taking taylor expansion of x in x
34.294 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x
34.294 * [taylor]: Taking taylor expansion of 3 in x
34.294 * [taylor]: Taking taylor expansion of (pow y 2) in x
34.294 * [taylor]: Taking taylor expansion of y in x
34.294 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in x
34.294 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2)))
34.294 * [taylor]: Taking taylor expansion of (* x x) in x
34.294 * [taylor]: Taking taylor expansion of x in x
34.294 * [taylor]: Taking taylor expansion of x in x
34.294 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x
34.294 * [taylor]: Taking taylor expansion of 3 in x
34.294 * [taylor]: Taking taylor expansion of (pow y 2) in x
34.294 * [taylor]: Taking taylor expansion of y in x
34.295 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
34.295 * [taylor]: Taking taylor expansion of 3 in y
34.295 * [taylor]: Taking taylor expansion of (pow y 2) in y
34.295 * [taylor]: Taking taylor expansion of y in y
34.296 * [taylor]: Taking taylor expansion of 0 in y
34.297 * [taylor]: Taking taylor expansion of 1 in y
34.300 * [taylor]: Taking taylor expansion of 0 in y
34.303 * [taylor]: Taking taylor expansion of 0 in y
34.304 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in (x y) around 0
34.304 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in y
34.304 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2)))
34.304 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y
34.304 * [taylor]: Taking taylor expansion of (/ 1 x) in y
34.304 * [taylor]: Taking taylor expansion of x in y
34.304 * [taylor]: Taking taylor expansion of (/ 1 x) in y
34.304 * [taylor]: Taking taylor expansion of x in y
34.304 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
34.304 * [taylor]: Taking taylor expansion of 3 in y
34.304 * [taylor]: Taking taylor expansion of (pow y 2) in y
34.304 * [taylor]: Taking taylor expansion of y in y
34.305 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in x
34.305 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2)))
34.305 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
34.305 * [taylor]: Taking taylor expansion of (/ 1 x) in x
34.305 * [taylor]: Taking taylor expansion of x in x
34.305 * [taylor]: Taking taylor expansion of (/ 1 x) in x
34.305 * [taylor]: Taking taylor expansion of x in x
34.305 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
34.305 * [taylor]: Taking taylor expansion of 3 in x
34.305 * [taylor]: Taking taylor expansion of (pow y 2) in x
34.305 * [taylor]: Taking taylor expansion of y in x
34.305 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in x
34.306 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2)))
34.306 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
34.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x
34.306 * [taylor]: Taking taylor expansion of x in x
34.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x
34.306 * [taylor]: Taking taylor expansion of x in x
34.306 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
34.306 * [taylor]: Taking taylor expansion of 3 in x
34.306 * [taylor]: Taking taylor expansion of (pow y 2) in x
34.306 * [taylor]: Taking taylor expansion of y in x
34.307 * [taylor]: Taking taylor expansion of 1 in y
34.308 * [taylor]: Taking taylor expansion of 0 in y
34.310 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y
34.310 * [taylor]: Taking taylor expansion of 3 in y
34.310 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
34.310 * [taylor]: Taking taylor expansion of (pow y 2) in y
34.310 * [taylor]: Taking taylor expansion of y in y
34.313 * [taylor]: Taking taylor expansion of 0 in y
34.316 * [taylor]: Taking taylor expansion of 0 in y
34.318 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in (x y) around 0
34.318 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in y
34.318 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2)))
34.318 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y
34.318 * [taylor]: Taking taylor expansion of (/ -1 x) in y
34.318 * [taylor]: Taking taylor expansion of -1 in y
34.318 * [taylor]: Taking taylor expansion of x in y
34.318 * [taylor]: Taking taylor expansion of (/ -1 x) in y
34.318 * [taylor]: Taking taylor expansion of -1 in y
34.318 * [taylor]: Taking taylor expansion of x in y
34.319 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
34.319 * [taylor]: Taking taylor expansion of 3 in y
34.319 * [taylor]: Taking taylor expansion of (pow y 2) in y
34.319 * [taylor]: Taking taylor expansion of y in y
34.319 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in x
34.319 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2)))
34.319 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
34.319 * [taylor]: Taking taylor expansion of (/ -1 x) in x
34.319 * [taylor]: Taking taylor expansion of -1 in x
34.319 * [taylor]: Taking taylor expansion of x in x
34.320 * [taylor]: Taking taylor expansion of (/ -1 x) in x
34.320 * [taylor]: Taking taylor expansion of -1 in x
34.320 * [taylor]: Taking taylor expansion of x in x
34.320 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
34.320 * [taylor]: Taking taylor expansion of 3 in x
34.320 * [taylor]: Taking taylor expansion of (pow y 2) in x
34.320 * [taylor]: Taking taylor expansion of y in x
34.320 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in x
34.320 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2)))
34.320 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
34.320 * [taylor]: Taking taylor expansion of (/ -1 x) in x
34.320 * [taylor]: Taking taylor expansion of -1 in x
34.320 * [taylor]: Taking taylor expansion of x in x
34.321 * [taylor]: Taking taylor expansion of (/ -1 x) in x
34.321 * [taylor]: Taking taylor expansion of -1 in x
34.321 * [taylor]: Taking taylor expansion of x in x
34.321 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
34.321 * [taylor]: Taking taylor expansion of 3 in x
34.321 * [taylor]: Taking taylor expansion of (pow y 2) in x
34.321 * [taylor]: Taking taylor expansion of y in x
34.322 * [taylor]: Taking taylor expansion of 1 in y
34.327 * [taylor]: Taking taylor expansion of 0 in y
34.329 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y
34.329 * [taylor]: Taking taylor expansion of 3 in y
34.329 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
34.329 * [taylor]: Taking taylor expansion of (pow y 2) in y
34.329 * [taylor]: Taking taylor expansion of y in y
34.332 * [taylor]: Taking taylor expansion of 0 in y
34.335 * [taylor]: Taking taylor expansion of 0 in y
34.337 * * * [progress]: simplifying candidates
34.338 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* 3 (* y y)))
  (log1p (* 3 (* y y)))
  (* 3 (* y y))
  (* 3 (* y y))
  (+ (log 3) (+ (log y) (log y)))
  (+ (log 3) (log (* y y)))
  (log (* 3 (* y y)))
  (exp (* 3 (* y y)))
  (* (* (* 3 3) 3) (* (* (* y y) y) (* (* y y) y)))
  (* (* (* 3 3) 3) (* (* (* y y) (* y y)) (* y y)))
  (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))))
  (cbrt (* 3 (* y y)))
  (* (* (* 3 (* y y)) (* 3 (* y y))) (* 3 (* y y)))
  (sqrt (* 3 (* y y)))
  (sqrt (* 3 (* y y)))
  (* (sqrt 3) y)
  (* (sqrt 3) y)
  (* 3 y)
  (* (cbrt 3) (* y y))
  (* (sqrt 3) (* y y))
  (* 3 (* y y))
  (expm1 (fma x x (* 3 (* y y))))
  (log1p (fma x x (* 3 (* y y))))
  (* x x)
  (log (fma x x (* 3 (* y y))))
  (exp (fma x x (* 3 (* y y))))
  (* (cbrt (fma x x (* 3 (* y y)))) (cbrt (fma x x (* 3 (* y y)))))
  (cbrt (fma x x (* 3 (* y y))))
  (* (* (fma x x (* 3 (* y y))) (fma x x (* 3 (* y y)))) (fma x x (* 3 (* y y))))
  (sqrt (fma x x (* 3 (* y y))))
  (sqrt (fma x x (* 3 (* y y))))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (+ (pow x 2) (* 3 (pow y 2)))
  (+ (pow x 2) (* 3 (pow y 2)))
  (+ (pow x 2) (* 3 (pow y 2)))
34.339 * * [simplify]: iteration  0 :  50  enodes  (cost  312 )
34.349 * * [simplify]: iteration  1 :  108  enodes  (cost  296 )
34.372 * * [simplify]: iteration  2 :  321  enodes  (cost  260 )
34.478 * * [simplify]: iteration  3 :  1005  enodes  (cost  254 )
35.052 * * [simplify]: iteration  4 :  4097  enodes  (cost  254 )
38.362 * * [simplify]: iteration  done :  5000  enodes  (cost  254 )
38.362 * [simplify]: Simplified to:
   (expm1 (* 3 (* y y)))
  (log1p (* 3 (* y y)))
  (* (* 3 y) y)
  (* (* 3 y) y)
  (log (* 3 (* y y)))
  (log (* 3 (* y y)))
  (log (* 3 (* y y)))
  (exp (* 3 (* y y)))
  (* (pow y 6) 27)
  (* (pow y 6) 27)
  (* (cbrt (* 3 (* y y))) (cbrt (* 3 (* y y))))
  (cbrt (* 3 (* y y)))
  (* (pow y 6) 27)
  (sqrt (* 3 (* y y)))
  (sqrt (* 3 (* y y)))
  (* (sqrt 3) y)
  (* (sqrt 3) y)
  (* 3 y)
  (* (cbrt 3) (* y y))
  (* (sqrt 3) (* y y))
  (* (* 3 y) y)
  (expm1 (fma x x (* 3 (* y y))))
  (log1p (fma x x (* 3 (* y y))))
  (* x x)
  (log (fma x x (* 3 (* y y))))
  (exp (fma x x (* 3 (* y y))))
  (* (cbrt (fma x x (* 3 (* y y)))) (cbrt (fma x x (* 3 (* y y)))))
  (cbrt (fma x x (* 3 (* y y))))
  (pow (fma x x (* 3 (* y y))) 3)
  (sqrt (fma x x (* 3 (* y y))))
  (sqrt (fma x x (* 3 (* y y))))
  (* (* 3 y) y)
  (* (* 3 y) y)
  (* (* 3 y) y)
  (fma x x (* 3 (* y y)))
  (fma x x (* 3 (* y y)))
  (fma x x (* 3 (* y y)))
38.363 * * * [progress]: adding candidates to table
38.431 * * [progress]: iteration 2 / 4
38.431 * * * [progress]: picking best candidate
38.438 * * * * [pick]: Picked  #<alt (λ (x y) (fma x x (pow (* (* 3 y) y) 1)))>
38.439 * * * [progress]: localizing error
38.446 * * * [progress]: generating rewritten candidates
38.446 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3 1)
38.453 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
38.454 * * * [progress]: generating series expansions
38.454 * * * * [progress]: [ 1 / 2 ] generating series at (2 3 1)
38.454 * [approximate]: Taking taylor expansion of (* 3 (pow y 2)) in (y) around 0
38.454 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
38.454 * [taylor]: Taking taylor expansion of 3 in y
38.454 * [taylor]: Taking taylor expansion of (pow y 2) in y
38.454 * [taylor]: Taking taylor expansion of y in y
38.454 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
38.454 * [taylor]: Taking taylor expansion of 3 in y
38.454 * [taylor]: Taking taylor expansion of (pow y 2) in y
38.454 * [taylor]: Taking taylor expansion of y in y
38.463 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
38.463 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
38.463 * [taylor]: Taking taylor expansion of 3 in y
38.463 * [taylor]: Taking taylor expansion of (pow y 2) in y
38.463 * [taylor]: Taking taylor expansion of y in y
38.463 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
38.463 * [taylor]: Taking taylor expansion of 3 in y
38.463 * [taylor]: Taking taylor expansion of (pow y 2) in y
38.464 * [taylor]: Taking taylor expansion of y in y
38.472 * [approximate]: Taking taylor expansion of (/ 3 (pow y 2)) in (y) around 0
38.472 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
38.472 * [taylor]: Taking taylor expansion of 3 in y
38.472 * [taylor]: Taking taylor expansion of (pow y 2) in y
38.472 * [taylor]: Taking taylor expansion of y in y
38.472 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
38.472 * [taylor]: Taking taylor expansion of 3 in y
38.472 * [taylor]: Taking taylor expansion of (pow y 2) in y
38.472 * [taylor]: Taking taylor expansion of y in y
38.480 * * * * [progress]: [ 2 / 2 ] generating series at (2)
38.480 * [approximate]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in (x y) around 0
38.480 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in y
38.480 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2)))
38.480 * [taylor]: Taking taylor expansion of (* x x) in y
38.480 * [taylor]: Taking taylor expansion of x in y
38.480 * [taylor]: Taking taylor expansion of x in y
38.480 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
38.480 * [taylor]: Taking taylor expansion of 3 in y
38.480 * [taylor]: Taking taylor expansion of (pow y 2) in y
38.480 * [taylor]: Taking taylor expansion of y in y
38.480 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in x
38.480 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2)))
38.480 * [taylor]: Taking taylor expansion of (* x x) in x
38.481 * [taylor]: Taking taylor expansion of x in x
38.481 * [taylor]: Taking taylor expansion of x in x
38.481 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x
38.481 * [taylor]: Taking taylor expansion of 3 in x
38.481 * [taylor]: Taking taylor expansion of (pow y 2) in x
38.481 * [taylor]: Taking taylor expansion of y in x
38.481 * [taylor]: Taking taylor expansion of (fma x x (* 3 (pow y 2))) in x
38.481 * [taylor]: Rewrote expression to (+ (* x x) (* 3 (pow y 2)))
38.481 * [taylor]: Taking taylor expansion of (* x x) in x
38.481 * [taylor]: Taking taylor expansion of x in x
38.481 * [taylor]: Taking taylor expansion of x in x
38.481 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in x
38.481 * [taylor]: Taking taylor expansion of 3 in x
38.481 * [taylor]: Taking taylor expansion of (pow y 2) in x
38.481 * [taylor]: Taking taylor expansion of y in x
38.481 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
38.481 * [taylor]: Taking taylor expansion of 3 in y
38.481 * [taylor]: Taking taylor expansion of (pow y 2) in y
38.481 * [taylor]: Taking taylor expansion of y in y
38.482 * [taylor]: Taking taylor expansion of 0 in y
38.484 * [taylor]: Taking taylor expansion of 1 in y
38.490 * [taylor]: Taking taylor expansion of 0 in y
38.493 * [taylor]: Taking taylor expansion of 0 in y
38.494 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in (x y) around 0
38.494 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in y
38.494 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2)))
38.494 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y
38.494 * [taylor]: Taking taylor expansion of (/ 1 x) in y
38.494 * [taylor]: Taking taylor expansion of x in y
38.494 * [taylor]: Taking taylor expansion of (/ 1 x) in y
38.494 * [taylor]: Taking taylor expansion of x in y
38.494 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
38.494 * [taylor]: Taking taylor expansion of 3 in y
38.494 * [taylor]: Taking taylor expansion of (pow y 2) in y
38.494 * [taylor]: Taking taylor expansion of y in y
38.495 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in x
38.495 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2)))
38.495 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
38.495 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.495 * [taylor]: Taking taylor expansion of x in x
38.495 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.495 * [taylor]: Taking taylor expansion of x in x
38.496 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
38.496 * [taylor]: Taking taylor expansion of 3 in x
38.496 * [taylor]: Taking taylor expansion of (pow y 2) in x
38.496 * [taylor]: Taking taylor expansion of y in x
38.496 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 3 (pow y 2))) in x
38.496 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 3 (pow y 2)))
38.496 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
38.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.496 * [taylor]: Taking taylor expansion of x in x
38.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x
38.496 * [taylor]: Taking taylor expansion of x in x
38.496 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
38.496 * [taylor]: Taking taylor expansion of 3 in x
38.497 * [taylor]: Taking taylor expansion of (pow y 2) in x
38.497 * [taylor]: Taking taylor expansion of y in x
38.497 * [taylor]: Taking taylor expansion of 1 in y
38.499 * [taylor]: Taking taylor expansion of 0 in y
38.500 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y
38.500 * [taylor]: Taking taylor expansion of 3 in y
38.500 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
38.501 * [taylor]: Taking taylor expansion of (pow y 2) in y
38.501 * [taylor]: Taking taylor expansion of y in y
38.503 * [taylor]: Taking taylor expansion of 0 in y
38.507 * [taylor]: Taking taylor expansion of 0 in y
38.509 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in (x y) around 0
38.509 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in y
38.510 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2)))
38.510 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y
38.510 * [taylor]: Taking taylor expansion of (/ -1 x) in y
38.510 * [taylor]: Taking taylor expansion of -1 in y
38.510 * [taylor]: Taking taylor expansion of x in y
38.510 * [taylor]: Taking taylor expansion of (/ -1 x) in y
38.510 * [taylor]: Taking taylor expansion of -1 in y
38.510 * [taylor]: Taking taylor expansion of x in y
38.510 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in y
38.510 * [taylor]: Taking taylor expansion of 3 in y
38.510 * [taylor]: Taking taylor expansion of (pow y 2) in y
38.510 * [taylor]: Taking taylor expansion of y in y
38.510 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in x
38.511 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2)))
38.511 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
38.511 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.511 * [taylor]: Taking taylor expansion of -1 in x
38.511 * [taylor]: Taking taylor expansion of x in x
38.511 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.511 * [taylor]: Taking taylor expansion of -1 in x
38.511 * [taylor]: Taking taylor expansion of x in x
38.511 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
38.511 * [taylor]: Taking taylor expansion of 3 in x
38.511 * [taylor]: Taking taylor expansion of (pow y 2) in x
38.511 * [taylor]: Taking taylor expansion of y in x
38.511 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 3 (pow y 2))) in x
38.512 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 3 (pow y 2)))
38.512 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
38.512 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.512 * [taylor]: Taking taylor expansion of -1 in x
38.512 * [taylor]: Taking taylor expansion of x in x
38.512 * [taylor]: Taking taylor expansion of (/ -1 x) in x
38.512 * [taylor]: Taking taylor expansion of -1 in x
38.512 * [taylor]: Taking taylor expansion of x in x
38.512 * [taylor]: Taking taylor expansion of (/ 3 (pow y 2)) in x
38.512 * [taylor]: Taking taylor expansion of 3 in x
38.512 * [taylor]: Taking taylor expansion of (pow y 2) in x
38.512 * [taylor]: Taking taylor expansion of y in x
38.513 * [taylor]: Taking taylor expansion of 1 in y
38.515 * [taylor]: Taking taylor expansion of 0 in y
38.517 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y
38.517 * [taylor]: Taking taylor expansion of 3 in y
38.517 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
38.517 * [taylor]: Taking taylor expansion of (pow y 2) in y
38.517 * [taylor]: Taking taylor expansion of y in y
38.520 * [taylor]: Taking taylor expansion of 0 in y
38.524 * [taylor]: Taking taylor expansion of 0 in y
38.525 * * * [progress]: simplifying candidates
38.526 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* 3 y) y))
  (log1p (* (* 3 y) y))
  (* (* 3 y) y)
  (* (* 3 y) y)
  (+ (+ (log 3) (log y)) (log y))
  (+ (log (* 3 y)) (log y))
  (log (* (* 3 y) y))
  (exp (* (* 3 y) y))
  (* (* (* (* 3 3) 3) (* (* y y) y)) (* (* y y) y))
  (* (* (* (* 3 y) (* 3 y)) (* 3 y)) (* (* y y) y))
  (* (cbrt (* (* 3 y) y)) (cbrt (* (* 3 y) y)))
  (cbrt (* (* 3 y) y))
  (* (* (* (* 3 y) y) (* (* 3 y) y)) (* (* 3 y) y))
  (sqrt (* (* 3 y) y))
  (sqrt (* (* 3 y) y))
  (* (* 3 y) (* (cbrt y) (cbrt y)))
  (* (* 3 y) (sqrt y))
  (* (* 3 y) 1)
  (* y y)
  (expm1 (fma x x (pow (* (* 3 y) y) 1)))
  (log1p (fma x x (pow (* (* 3 y) y) 1)))
  (* x x)
  (log (fma x x (pow (* (* 3 y) y) 1)))
  (exp (fma x x (pow (* (* 3 y) y) 1)))
  (* (cbrt (fma x x (pow (* (* 3 y) y) 1))) (cbrt (fma x x (pow (* (* 3 y) y) 1))))
  (cbrt (fma x x (pow (* (* 3 y) y) 1)))
  (* (* (fma x x (pow (* (* 3 y) y) 1)) (fma x x (pow (* (* 3 y) y) 1))) (fma x x (pow (* (* 3 y) y) 1)))
  (sqrt (fma x x (pow (* (* 3 y) y) 1)))
  (sqrt (fma x x (pow (* (* 3 y) y) 1)))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (+ (pow x 2) (* 3 (pow y 2)))
  (+ (pow x 2) (* 3 (pow y 2)))
  (+ (pow x 2) (* 3 (pow y 2)))
38.528 * * [simplify]: iteration  0 :  53  enodes  (cost  331 )
38.538 * * [simplify]: iteration  1 :  125  enodes  (cost  291 )
38.573 * * [simplify]: iteration  2 :  554  enodes  (cost  251 )
38.839 * * [simplify]: iteration  3 :  2580  enodes  (cost  245 )
41.172 * * [simplify]: iteration  done :  5001  enodes  (cost  245 )
41.173 * [simplify]: Simplified to:
   (expm1 (* (* 3 y) y))
  (log1p (* (* 3 y) y))
  (* (* y 3) y)
  (* (* y 3) y)
  (log (* 3 (pow y 2)))
  (log (* 3 (pow y 2)))
  (log (* 3 (pow y 2)))
  (exp (* (* 3 y) y))
  (* (pow y 6) 27)
  (* (pow y 6) 27)
  (* (cbrt (* (* 3 y) y)) (cbrt (* (* 3 y) y)))
  (cbrt (* (* 3 y) y))
  (* (pow y 6) 27)
  (sqrt (* 3 (pow y 2)))
  (sqrt (* 3 (pow y 2)))
  (* (* 3 y) (* (cbrt y) (cbrt y)))
  (* (* 3 y) (sqrt y))
  (* y 3)
  (* y y)
  (expm1 (fma x x (* (* 3 y) y)))
  (log1p (fma x x (* (* 3 y) y)))
  (* x x)
  (log (fma x x (* (* 3 y) y)))
  (exp (fma x x (* (* 3 y) y)))
  (* (cbrt (fma x x (* (* 3 y) y))) (cbrt (fma x x (* (* 3 y) y))))
  (cbrt (fma x x (* (* 3 y) y)))
  (pow (fma x x (* (* 3 y) y)) 3)
  (hypot x (sqrt (* (* 3 y) y)))
  (hypot x (sqrt (* (* 3 y) y)))
  (* (* y 3) y)
  (* (* y 3) y)
  (* (* y 3) y)
  (fma x x (* (* 3 y) y))
  (fma x x (* (* 3 y) y))
  (fma x x (* (* 3 y) y))
41.173 * * * [progress]: adding candidates to table
41.242 * * [progress]: iteration 3 / 4
41.243 * * * [progress]: picking best candidate
41.248 * * * * [pick]: Picked  #<alt (λ (x y) (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))))>
41.248 * * * [progress]: localizing error
41.258 * * * [progress]: generating rewritten candidates
41.258 * * * * [progress]: [ 1 / 3 ] rewriting at (2 3 2)
41.267 * * * * [progress]: [ 2 / 3 ] rewriting at (2 3)
41.297 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
41.299 * * * [progress]: generating series expansions
41.299 * * * * [progress]: [ 1 / 3 ] generating series at (2 3 2)
41.300 * [approximate]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in (y) around 0
41.300 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in y
41.300 * [taylor]: Taking taylor expansion of (cbrt 3) in y
41.300 * [taylor]: Taking taylor expansion of 3 in y
41.301 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.301 * [taylor]: Taking taylor expansion of y in y
41.301 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in y
41.301 * [taylor]: Taking taylor expansion of (cbrt 3) in y
41.301 * [taylor]: Taking taylor expansion of 3 in y
41.301 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.301 * [taylor]: Taking taylor expansion of y in y
41.314 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in (y) around 0
41.314 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
41.314 * [taylor]: Taking taylor expansion of (cbrt 3) in y
41.314 * [taylor]: Taking taylor expansion of 3 in y
41.315 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.315 * [taylor]: Taking taylor expansion of y in y
41.316 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
41.316 * [taylor]: Taking taylor expansion of (cbrt 3) in y
41.316 * [taylor]: Taking taylor expansion of 3 in y
41.317 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.317 * [taylor]: Taking taylor expansion of y in y
41.330 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in (y) around 0
41.330 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
41.330 * [taylor]: Taking taylor expansion of (cbrt 3) in y
41.330 * [taylor]: Taking taylor expansion of 3 in y
41.331 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.331 * [taylor]: Taking taylor expansion of y in y
41.332 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
41.332 * [taylor]: Taking taylor expansion of (cbrt 3) in y
41.332 * [taylor]: Taking taylor expansion of 3 in y
41.332 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.332 * [taylor]: Taking taylor expansion of y in y
41.350 * * * * [progress]: [ 2 / 3 ] generating series at (2 3)
41.351 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
41.351 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in y
41.351 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
41.351 * [taylor]: Taking taylor expansion of (cbrt 3) in y
41.351 * [taylor]: Taking taylor expansion of 3 in y
41.352 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.352 * [taylor]: Taking taylor expansion of y in y
41.352 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in y
41.352 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
41.352 * [taylor]: Taking taylor expansion of (cbrt 3) in y
41.352 * [taylor]: Taking taylor expansion of 3 in y
41.353 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.353 * [taylor]: Taking taylor expansion of y in y
41.378 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
41.378 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
41.378 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
41.378 * [taylor]: Taking taylor expansion of (cbrt 3) in y
41.378 * [taylor]: Taking taylor expansion of 3 in y
41.379 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.379 * [taylor]: Taking taylor expansion of y in y
41.382 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
41.382 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
41.382 * [taylor]: Taking taylor expansion of (cbrt 3) in y
41.382 * [taylor]: Taking taylor expansion of 3 in y
41.383 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.383 * [taylor]: Taking taylor expansion of y in y
41.406 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
41.406 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
41.406 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
41.406 * [taylor]: Taking taylor expansion of (cbrt 3) in y
41.406 * [taylor]: Taking taylor expansion of 3 in y
41.407 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.407 * [taylor]: Taking taylor expansion of y in y
41.410 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
41.410 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
41.410 * [taylor]: Taking taylor expansion of (cbrt 3) in y
41.410 * [taylor]: Taking taylor expansion of 3 in y
41.411 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.411 * [taylor]: Taking taylor expansion of y in y
41.440 * * * * [progress]: [ 3 / 3 ] generating series at (2)
41.441 * [approximate]: Taking taylor expansion of (fma x x (* (pow (cbrt 3) 3) (pow y 2))) in (x y) around 0
41.441 * [taylor]: Taking taylor expansion of (fma x x (* (pow (cbrt 3) 3) (pow y 2))) in y
41.441 * [taylor]: Rewrote expression to (+ (* x x) (* (pow (cbrt 3) 3) (pow y 2)))
41.441 * [taylor]: Taking taylor expansion of (* x x) in y
41.441 * [taylor]: Taking taylor expansion of x in y
41.441 * [taylor]: Taking taylor expansion of x in y
41.441 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in y
41.441 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
41.441 * [taylor]: Taking taylor expansion of (cbrt 3) in y
41.442 * [taylor]: Taking taylor expansion of 3 in y
41.442 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.442 * [taylor]: Taking taylor expansion of y in y
41.442 * [taylor]: Taking taylor expansion of (fma x x (* (pow (cbrt 3) 3) (pow y 2))) in x
41.442 * [taylor]: Rewrote expression to (+ (* x x) (* (pow (cbrt 3) 3) (pow y 2)))
41.442 * [taylor]: Taking taylor expansion of (* x x) in x
41.442 * [taylor]: Taking taylor expansion of x in x
41.442 * [taylor]: Taking taylor expansion of x in x
41.442 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in x
41.442 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
41.442 * [taylor]: Taking taylor expansion of (cbrt 3) in x
41.442 * [taylor]: Taking taylor expansion of 3 in x
41.443 * [taylor]: Taking taylor expansion of (pow y 2) in x
41.443 * [taylor]: Taking taylor expansion of y in x
41.443 * [taylor]: Taking taylor expansion of (fma x x (* (pow (cbrt 3) 3) (pow y 2))) in x
41.443 * [taylor]: Rewrote expression to (+ (* x x) (* (pow (cbrt 3) 3) (pow y 2)))
41.443 * [taylor]: Taking taylor expansion of (* x x) in x
41.443 * [taylor]: Taking taylor expansion of x in x
41.443 * [taylor]: Taking taylor expansion of x in x
41.443 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in x
41.443 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
41.443 * [taylor]: Taking taylor expansion of (cbrt 3) in x
41.443 * [taylor]: Taking taylor expansion of 3 in x
41.444 * [taylor]: Taking taylor expansion of (pow y 2) in x
41.444 * [taylor]: Taking taylor expansion of y in x
41.447 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
41.447 * [taylor]: Taking taylor expansion of 3 in y
41.447 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.447 * [taylor]: Taking taylor expansion of y in y
41.449 * [taylor]: Taking taylor expansion of 0 in y
41.453 * [taylor]: Taking taylor expansion of 1 in y
41.457 * [taylor]: Taking taylor expansion of 0 in y
41.464 * [taylor]: Taking taylor expansion of 0 in y
41.465 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in (x y) around 0
41.465 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in y
41.465 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
41.465 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y
41.465 * [taylor]: Taking taylor expansion of (/ 1 x) in y
41.465 * [taylor]: Taking taylor expansion of x in y
41.465 * [taylor]: Taking taylor expansion of (/ 1 x) in y
41.465 * [taylor]: Taking taylor expansion of x in y
41.465 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
41.465 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
41.465 * [taylor]: Taking taylor expansion of (cbrt 3) in y
41.465 * [taylor]: Taking taylor expansion of 3 in y
41.466 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.466 * [taylor]: Taking taylor expansion of y in y
41.469 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in x
41.469 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
41.470 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
41.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x
41.470 * [taylor]: Taking taylor expansion of x in x
41.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x
41.470 * [taylor]: Taking taylor expansion of x in x
41.470 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in x
41.470 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
41.470 * [taylor]: Taking taylor expansion of (cbrt 3) in x
41.470 * [taylor]: Taking taylor expansion of 3 in x
41.471 * [taylor]: Taking taylor expansion of (pow y 2) in x
41.471 * [taylor]: Taking taylor expansion of y in x
41.474 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in x
41.474 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
41.474 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
41.474 * [taylor]: Taking taylor expansion of (/ 1 x) in x
41.474 * [taylor]: Taking taylor expansion of x in x
41.474 * [taylor]: Taking taylor expansion of (/ 1 x) in x
41.474 * [taylor]: Taking taylor expansion of x in x
41.474 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in x
41.474 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
41.474 * [taylor]: Taking taylor expansion of (cbrt 3) in x
41.474 * [taylor]: Taking taylor expansion of 3 in x
41.475 * [taylor]: Taking taylor expansion of (pow y 2) in x
41.475 * [taylor]: Taking taylor expansion of y in x
41.478 * [taylor]: Taking taylor expansion of 1 in y
41.480 * [taylor]: Taking taylor expansion of 0 in y
41.481 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y
41.481 * [taylor]: Taking taylor expansion of 3 in y
41.481 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
41.481 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.481 * [taylor]: Taking taylor expansion of y in y
41.485 * [taylor]: Taking taylor expansion of 0 in y
41.490 * [taylor]: Taking taylor expansion of 0 in y
41.501 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in (x y) around 0
41.501 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in y
41.501 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
41.501 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y
41.501 * [taylor]: Taking taylor expansion of (/ -1 x) in y
41.501 * [taylor]: Taking taylor expansion of -1 in y
41.501 * [taylor]: Taking taylor expansion of x in y
41.501 * [taylor]: Taking taylor expansion of (/ -1 x) in y
41.501 * [taylor]: Taking taylor expansion of -1 in y
41.501 * [taylor]: Taking taylor expansion of x in y
41.501 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
41.501 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
41.501 * [taylor]: Taking taylor expansion of (cbrt 3) in y
41.501 * [taylor]: Taking taylor expansion of 3 in y
41.502 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.502 * [taylor]: Taking taylor expansion of y in y
41.505 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in x
41.505 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
41.506 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
41.506 * [taylor]: Taking taylor expansion of (/ -1 x) in x
41.506 * [taylor]: Taking taylor expansion of -1 in x
41.506 * [taylor]: Taking taylor expansion of x in x
41.506 * [taylor]: Taking taylor expansion of (/ -1 x) in x
41.506 * [taylor]: Taking taylor expansion of -1 in x
41.506 * [taylor]: Taking taylor expansion of x in x
41.506 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in x
41.506 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
41.506 * [taylor]: Taking taylor expansion of (cbrt 3) in x
41.506 * [taylor]: Taking taylor expansion of 3 in x
41.507 * [taylor]: Taking taylor expansion of (pow y 2) in x
41.507 * [taylor]: Taking taylor expansion of y in x
41.510 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in x
41.510 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
41.510 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
41.510 * [taylor]: Taking taylor expansion of (/ -1 x) in x
41.510 * [taylor]: Taking taylor expansion of -1 in x
41.510 * [taylor]: Taking taylor expansion of x in x
41.511 * [taylor]: Taking taylor expansion of (/ -1 x) in x
41.511 * [taylor]: Taking taylor expansion of -1 in x
41.511 * [taylor]: Taking taylor expansion of x in x
41.511 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in x
41.511 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
41.511 * [taylor]: Taking taylor expansion of (cbrt 3) in x
41.511 * [taylor]: Taking taylor expansion of 3 in x
41.512 * [taylor]: Taking taylor expansion of (pow y 2) in x
41.512 * [taylor]: Taking taylor expansion of y in x
41.515 * [taylor]: Taking taylor expansion of 1 in y
41.517 * [taylor]: Taking taylor expansion of 0 in y
41.518 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y
41.519 * [taylor]: Taking taylor expansion of 3 in y
41.519 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
41.519 * [taylor]: Taking taylor expansion of (pow y 2) in y
41.519 * [taylor]: Taking taylor expansion of y in y
41.522 * [taylor]: Taking taylor expansion of 0 in y
41.528 * [taylor]: Taking taylor expansion of 0 in y
41.530 * * * [progress]: simplifying candidates
41.531 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (cbrt 3) (* y y)))
  (log1p (* (cbrt 3) (* y y)))
  (* (cbrt 3) (* y y))
  (* (cbrt 3) (* y y))
  (+ (log (cbrt 3)) (+ (log y) (log y)))
  (+ (log (cbrt 3)) (log (* y y)))
  (log (* (cbrt 3) (* y y)))
  (exp (* (cbrt 3) (* y y)))
  (* 3 (* (* (* y y) y) (* (* y y) y)))
  (* 3 (* (* (* y y) (* y y)) (* y y)))
  (* (cbrt (* (cbrt 3) (* y y))) (cbrt (* (cbrt 3) (* y y))))
  (cbrt (* (cbrt 3) (* y y)))
  (* (* (* (cbrt 3) (* y y)) (* (cbrt 3) (* y y))) (* (cbrt 3) (* y y)))
  (sqrt (* (cbrt 3) (* y y)))
  (sqrt (* (cbrt 3) (* y y)))
  (* (cbrt (sqrt 3)) y)
  (* (cbrt (sqrt 3)) y)
  (* (sqrt (cbrt 3)) y)
  (* (sqrt (cbrt 3)) y)
  (* (cbrt 3) y)
  (* (cbrt (cbrt 3)) (* y y))
  (* (cbrt (sqrt 3)) (* y y))
  (* (cbrt 3) (* y y))
  (* (cbrt (cbrt 3)) (* y y))
  (* (sqrt (cbrt 3)) (* y y))
  (* (cbrt 3) (* y y))
  (expm1 (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))))
  (log1p (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt 3)) (+ (log y) (log y))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt 3)) (log (* y y))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (log (* (cbrt 3) (* y y))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt 3)) (+ (log y) (log y))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt 3)) (log (* y y))))
  (+ (log (* (cbrt 3) (cbrt 3))) (log (* (cbrt 3) (* y y))))
  (log (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))))
  (exp (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))))
  (* (* 3 3) (* 3 (* (* (* y y) y) (* (* y y) y))))
  (* (* 3 3) (* 3 (* (* (* y y) (* y y)) (* y y))))
  (* (* 3 3) (* (* (* (cbrt 3) (* y y)) (* (cbrt 3) (* y y))) (* (cbrt 3) (* y y))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* 3 (* (* (* y y) y) (* (* y y) y))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* 3 (* (* (* y y) (* y y)) (* y y))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (* (cbrt 3) (* y y)) (* (cbrt 3) (* y y))) (* (cbrt 3) (* y y))))
  (* (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))) (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))))
  (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))))
  (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))))
  (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (cbrt 3))
  (* (cbrt 3) (* (cbrt 3) (* y y)))
  (expm1 (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))))
  (log1p (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))))
  (* x x)
  (log (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))))
  (exp (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))))
  (* (cbrt (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))))) (cbrt (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))))))
  (cbrt (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))))
  (* (* (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))) (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y))))) (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))))
  (sqrt (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))))
  (sqrt (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))))
  (* (cbrt 3) (pow y 2))
  (* (cbrt 3) (pow y 2))
  (* (cbrt 3) (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (+ (pow x 2) (* 3 (pow y 2)))
  (+ (pow x 2) (* 3 (pow y 2)))
  (+ (pow x 2) (* 3 (pow y 2)))
41.534 * * [simplify]: iteration  0 :  84  enodes  (cost  954 )
41.548 * * [simplify]: iteration  1 :  208  enodes  (cost  930 )
41.596 * * [simplify]: iteration  2 :  709  enodes  (cost  629 )
41.867 * * [simplify]: iteration  3 :  3031  enodes  (cost  487 )
43.896 * * [simplify]: iteration  done :  5000  enodes  (cost  487 )
43.897 * [simplify]: Simplified to:
   (expm1 (* (cbrt 3) (* y y)))
  (log1p (* (cbrt 3) (* y y)))
  (* (cbrt 3) (pow y 2))
  (* (cbrt 3) (pow y 2))
  (log (* (cbrt 3) (* y y)))
  (log (* (cbrt 3) (* y y)))
  (log (* (cbrt 3) (* y y)))
  (exp (* (cbrt 3) (* y y)))
  (* 3 (pow y 6))
  (* 3 (pow y 6))
  (* (cbrt (* (cbrt 3) (* y y))) (cbrt (* (cbrt 3) (* y y))))
  (cbrt (* (cbrt 3) (* y y)))
  (* 3 (pow y 6))
  (sqrt (* (cbrt 3) (* y y)))
  (sqrt (* (cbrt 3) (* y y)))
  (* (cbrt (sqrt 3)) y)
  (* (cbrt (sqrt 3)) y)
  (* (sqrt (cbrt 3)) y)
  (* (sqrt (cbrt 3)) y)
  (* (cbrt 3) y)
  (* (cbrt (cbrt 3)) (* y y))
  (* (cbrt (sqrt 3)) (* y y))
  (* (cbrt 3) (pow y 2))
  (* (cbrt (cbrt 3)) (* y y))
  (* (sqrt (cbrt 3)) (* y y))
  (* (cbrt 3) (pow y 2))
  (expm1 (* 3 (pow y 2)))
  (log1p (* 3 (pow y 2)))
  (* 3 (* y y))
  (* 3 (* y y))
  (* 3 (* y y))
  (* 3 (* y y))
  (* 3 (* y y))
  (* 3 (* y y))
  (log (* 3 (* y y)))
  (log (* 3 (* y y)))
  (log (* 3 (* y y)))
  (log (* 3 (* y y)))
  (log (* 3 (* y y)))
  (log (* 3 (* y y)))
  (log (* 3 (* y y)))
  (exp (* 3 (* y y)))
  (* 27 (pow y 6))
  (* 27 (pow y 6))
  (* 27 (pow y 6))
  (* 27 (pow y 6))
  (* 27 (pow y 6))
  (* 27 (pow y 6))
  (* (cbrt (* 3 (pow y 2))) (cbrt (* 3 (pow y 2))))
  (cbrt (* 3 (pow y 2)))
  (* 27 (pow y 6))
  (sqrt (* 3 (pow y 2)))
  (sqrt (* 3 (pow y 2)))
  3
  (* (cbrt 3) (* (cbrt 3) (* y y)))
  (expm1 (fma x x (* 3 (pow y 2))))
  (log1p (fma x x (* 3 (pow y 2))))
  (* x x)
  (log (fma x x (* 3 (pow y 2))))
  (exp (fma x x (* 3 (pow y 2))))
  (* (cbrt (fma x x (* 3 (pow y 2)))) (cbrt (fma x x (* 3 (pow y 2)))))
  (cbrt (fma x x (* 3 (pow y 2))))
  (pow (fma x x (* 3 (pow y 2))) 3)
  (sqrt (fma x x (* 3 (pow y 2))))
  (sqrt (fma x x (* 3 (pow y 2))))
  (* (cbrt 3) (pow y 2))
  (* (cbrt 3) (pow y 2))
  (* (cbrt 3) (pow y 2))
  (* 3 (* y y))
  (* 3 (* y y))
  (* 3 (* y y))
  (fma x x (* 3 (pow y 2)))
  (fma x x (* 3 (pow y 2)))
  (fma x x (* 3 (pow y 2)))
43.897 * * * [progress]: adding candidates to table
44.028 * * [progress]: iteration 4 / 4
44.028 * * * [progress]: picking best candidate
44.030 * * * * [pick]: Picked  #<alt (λ (x y) (fma x x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))))>
44.030 * * * [progress]: localizing error
44.041 * * * [progress]: generating rewritten candidates
44.041 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3)
44.127 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 2 2)
44.140 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 2)
44.168 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
44.172 * * * [progress]: generating series expansions
44.172 * * * * [progress]: [ 1 / 4 ] generating series at (2 3)
44.175 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
44.175 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in y
44.175 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
44.175 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.175 * [taylor]: Taking taylor expansion of 3 in y
44.176 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.176 * [taylor]: Taking taylor expansion of y in y
44.176 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in y
44.176 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
44.176 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.176 * [taylor]: Taking taylor expansion of 3 in y
44.176 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.177 * [taylor]: Taking taylor expansion of y in y
44.203 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
44.203 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
44.203 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
44.203 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.203 * [taylor]: Taking taylor expansion of 3 in y
44.203 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.204 * [taylor]: Taking taylor expansion of y in y
44.207 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
44.207 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
44.207 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.207 * [taylor]: Taking taylor expansion of 3 in y
44.208 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.208 * [taylor]: Taking taylor expansion of y in y
44.237 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in (y) around 0
44.238 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
44.238 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
44.238 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.238 * [taylor]: Taking taylor expansion of 3 in y
44.238 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.238 * [taylor]: Taking taylor expansion of y in y
44.242 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
44.242 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
44.242 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.242 * [taylor]: Taking taylor expansion of 3 in y
44.243 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.243 * [taylor]: Taking taylor expansion of y in y
44.265 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 2 2)
44.266 * [approximate]: Taking taylor expansion of (* (sqrt (cbrt 3)) (pow y 2)) in (y) around 0
44.266 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt 3)) (pow y 2)) in y
44.266 * [taylor]: Taking taylor expansion of (sqrt (cbrt 3)) in y
44.266 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.266 * [taylor]: Taking taylor expansion of 3 in y
44.267 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.267 * [taylor]: Taking taylor expansion of y in y
44.267 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt 3)) (pow y 2)) in y
44.267 * [taylor]: Taking taylor expansion of (sqrt (cbrt 3)) in y
44.267 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.267 * [taylor]: Taking taylor expansion of 3 in y
44.269 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.269 * [taylor]: Taking taylor expansion of y in y
44.288 * [approximate]: Taking taylor expansion of (* (sqrt (cbrt 3)) (/ 1 (pow y 2))) in (y) around 0
44.288 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt 3)) (/ 1 (pow y 2))) in y
44.288 * [taylor]: Taking taylor expansion of (sqrt (cbrt 3)) in y
44.288 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.288 * [taylor]: Taking taylor expansion of 3 in y
44.290 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
44.290 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.290 * [taylor]: Taking taylor expansion of y in y
44.290 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt 3)) (/ 1 (pow y 2))) in y
44.290 * [taylor]: Taking taylor expansion of (sqrt (cbrt 3)) in y
44.290 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.290 * [taylor]: Taking taylor expansion of 3 in y
44.297 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
44.298 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.298 * [taylor]: Taking taylor expansion of y in y
44.319 * [approximate]: Taking taylor expansion of (* (sqrt (cbrt 3)) (/ 1 (pow y 2))) in (y) around 0
44.319 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt 3)) (/ 1 (pow y 2))) in y
44.319 * [taylor]: Taking taylor expansion of (sqrt (cbrt 3)) in y
44.319 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.319 * [taylor]: Taking taylor expansion of 3 in y
44.321 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
44.321 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.321 * [taylor]: Taking taylor expansion of y in y
44.321 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt 3)) (/ 1 (pow y 2))) in y
44.321 * [taylor]: Taking taylor expansion of (sqrt (cbrt 3)) in y
44.321 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.321 * [taylor]: Taking taylor expansion of 3 in y
44.323 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
44.323 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.323 * [taylor]: Taking taylor expansion of y in y
44.344 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 2)
44.345 * [approximate]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in (y) around 0
44.345 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in y
44.345 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.345 * [taylor]: Taking taylor expansion of 3 in y
44.346 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.346 * [taylor]: Taking taylor expansion of y in y
44.346 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow y 2)) in y
44.346 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.346 * [taylor]: Taking taylor expansion of 3 in y
44.347 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.347 * [taylor]: Taking taylor expansion of y in y
44.361 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in (y) around 0
44.361 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
44.361 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.361 * [taylor]: Taking taylor expansion of 3 in y
44.361 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.361 * [taylor]: Taking taylor expansion of y in y
44.362 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
44.362 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.362 * [taylor]: Taking taylor expansion of 3 in y
44.363 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.363 * [taylor]: Taking taylor expansion of y in y
44.383 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in (y) around 0
44.383 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
44.383 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.383 * [taylor]: Taking taylor expansion of 3 in y
44.384 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.384 * [taylor]: Taking taylor expansion of y in y
44.385 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow y 2)) in y
44.385 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.385 * [taylor]: Taking taylor expansion of 3 in y
44.385 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.385 * [taylor]: Taking taylor expansion of y in y
44.398 * * * * [progress]: [ 4 / 4 ] generating series at (2)
44.400 * [approximate]: Taking taylor expansion of (fma x x (* (pow (cbrt 3) 3) (pow y 2))) in (x y) around 0
44.400 * [taylor]: Taking taylor expansion of (fma x x (* (pow (cbrt 3) 3) (pow y 2))) in y
44.400 * [taylor]: Rewrote expression to (+ (* x x) (* (pow (cbrt 3) 3) (pow y 2)))
44.400 * [taylor]: Taking taylor expansion of (* x x) in y
44.400 * [taylor]: Taking taylor expansion of x in y
44.400 * [taylor]: Taking taylor expansion of x in y
44.400 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in y
44.400 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
44.400 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.400 * [taylor]: Taking taylor expansion of 3 in y
44.401 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.401 * [taylor]: Taking taylor expansion of y in y
44.401 * [taylor]: Taking taylor expansion of (fma x x (* (pow (cbrt 3) 3) (pow y 2))) in x
44.401 * [taylor]: Rewrote expression to (+ (* x x) (* (pow (cbrt 3) 3) (pow y 2)))
44.401 * [taylor]: Taking taylor expansion of (* x x) in x
44.401 * [taylor]: Taking taylor expansion of x in x
44.401 * [taylor]: Taking taylor expansion of x in x
44.401 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in x
44.401 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
44.401 * [taylor]: Taking taylor expansion of (cbrt 3) in x
44.401 * [taylor]: Taking taylor expansion of 3 in x
44.402 * [taylor]: Taking taylor expansion of (pow y 2) in x
44.402 * [taylor]: Taking taylor expansion of y in x
44.402 * [taylor]: Taking taylor expansion of (fma x x (* (pow (cbrt 3) 3) (pow y 2))) in x
44.402 * [taylor]: Rewrote expression to (+ (* x x) (* (pow (cbrt 3) 3) (pow y 2)))
44.402 * [taylor]: Taking taylor expansion of (* x x) in x
44.402 * [taylor]: Taking taylor expansion of x in x
44.402 * [taylor]: Taking taylor expansion of x in x
44.402 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (pow y 2)) in x
44.402 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
44.402 * [taylor]: Taking taylor expansion of (cbrt 3) in x
44.402 * [taylor]: Taking taylor expansion of 3 in x
44.403 * [taylor]: Taking taylor expansion of (pow y 2) in x
44.403 * [taylor]: Taking taylor expansion of y in x
44.406 * [taylor]: Taking taylor expansion of (* 3 (pow y 2)) in y
44.406 * [taylor]: Taking taylor expansion of 3 in y
44.406 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.406 * [taylor]: Taking taylor expansion of y in y
44.408 * [taylor]: Taking taylor expansion of 0 in y
44.412 * [taylor]: Taking taylor expansion of 1 in y
44.416 * [taylor]: Taking taylor expansion of 0 in y
44.423 * [taylor]: Taking taylor expansion of 0 in y
44.425 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in (x y) around 0
44.425 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in y
44.425 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
44.425 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y
44.425 * [taylor]: Taking taylor expansion of (/ 1 x) in y
44.425 * [taylor]: Taking taylor expansion of x in y
44.425 * [taylor]: Taking taylor expansion of (/ 1 x) in y
44.425 * [taylor]: Taking taylor expansion of x in y
44.425 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
44.425 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
44.425 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.425 * [taylor]: Taking taylor expansion of 3 in y
44.426 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.426 * [taylor]: Taking taylor expansion of y in y
44.430 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in x
44.430 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
44.430 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
44.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x
44.430 * [taylor]: Taking taylor expansion of x in x
44.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x
44.430 * [taylor]: Taking taylor expansion of x in x
44.430 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in x
44.430 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
44.430 * [taylor]: Taking taylor expansion of (cbrt 3) in x
44.430 * [taylor]: Taking taylor expansion of 3 in x
44.431 * [taylor]: Taking taylor expansion of (pow y 2) in x
44.431 * [taylor]: Taking taylor expansion of y in x
44.434 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in x
44.434 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
44.434 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
44.434 * [taylor]: Taking taylor expansion of (/ 1 x) in x
44.434 * [taylor]: Taking taylor expansion of x in x
44.434 * [taylor]: Taking taylor expansion of (/ 1 x) in x
44.434 * [taylor]: Taking taylor expansion of x in x
44.435 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in x
44.435 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
44.435 * [taylor]: Taking taylor expansion of (cbrt 3) in x
44.435 * [taylor]: Taking taylor expansion of 3 in x
44.435 * [taylor]: Taking taylor expansion of (pow y 2) in x
44.435 * [taylor]: Taking taylor expansion of y in x
44.439 * [taylor]: Taking taylor expansion of 1 in y
44.440 * [taylor]: Taking taylor expansion of 0 in y
44.442 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y
44.442 * [taylor]: Taking taylor expansion of 3 in y
44.442 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
44.442 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.442 * [taylor]: Taking taylor expansion of y in y
44.446 * [taylor]: Taking taylor expansion of 0 in y
44.458 * [taylor]: Taking taylor expansion of 0 in y
44.462 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in (x y) around 0
44.462 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in y
44.462 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
44.462 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y
44.462 * [taylor]: Taking taylor expansion of (/ -1 x) in y
44.462 * [taylor]: Taking taylor expansion of -1 in y
44.462 * [taylor]: Taking taylor expansion of x in y
44.462 * [taylor]: Taking taylor expansion of (/ -1 x) in y
44.462 * [taylor]: Taking taylor expansion of -1 in y
44.462 * [taylor]: Taking taylor expansion of x in y
44.462 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in y
44.462 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in y
44.462 * [taylor]: Taking taylor expansion of (cbrt 3) in y
44.462 * [taylor]: Taking taylor expansion of 3 in y
44.463 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.463 * [taylor]: Taking taylor expansion of y in y
44.466 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in x
44.466 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
44.466 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
44.466 * [taylor]: Taking taylor expansion of (/ -1 x) in x
44.466 * [taylor]: Taking taylor expansion of -1 in x
44.466 * [taylor]: Taking taylor expansion of x in x
44.466 * [taylor]: Taking taylor expansion of (/ -1 x) in x
44.467 * [taylor]: Taking taylor expansion of -1 in x
44.467 * [taylor]: Taking taylor expansion of x in x
44.467 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in x
44.467 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
44.467 * [taylor]: Taking taylor expansion of (cbrt 3) in x
44.467 * [taylor]: Taking taylor expansion of 3 in x
44.467 * [taylor]: Taking taylor expansion of (pow y 2) in x
44.468 * [taylor]: Taking taylor expansion of y in x
44.470 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ (pow (cbrt 3) 3) (pow y 2))) in x
44.470 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ (pow (cbrt 3) 3) (pow y 2)))
44.470 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
44.470 * [taylor]: Taking taylor expansion of (/ -1 x) in x
44.470 * [taylor]: Taking taylor expansion of -1 in x
44.470 * [taylor]: Taking taylor expansion of x in x
44.471 * [taylor]: Taking taylor expansion of (/ -1 x) in x
44.471 * [taylor]: Taking taylor expansion of -1 in x
44.471 * [taylor]: Taking taylor expansion of x in x
44.471 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (pow y 2)) in x
44.471 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x
44.471 * [taylor]: Taking taylor expansion of (cbrt 3) in x
44.471 * [taylor]: Taking taylor expansion of 3 in x
44.472 * [taylor]: Taking taylor expansion of (pow y 2) in x
44.472 * [taylor]: Taking taylor expansion of y in x
44.475 * [taylor]: Taking taylor expansion of 1 in y
44.476 * [taylor]: Taking taylor expansion of 0 in y
44.478 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y
44.478 * [taylor]: Taking taylor expansion of 3 in y
44.478 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
44.478 * [taylor]: Taking taylor expansion of (pow y 2) in y
44.478 * [taylor]: Taking taylor expansion of y in y
44.483 * [taylor]: Taking taylor expansion of 0 in y
44.489 * [taylor]: Taking taylor expansion of 0 in y
44.491 * * * [progress]: simplifying candidates
44.492 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))))
  (log1p (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))))
  (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))
  (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (sqrt (cbrt 3))) (+ (log (sqrt (cbrt 3))) (+ (log y) (log y)))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (sqrt (cbrt 3))) (+ (log (sqrt (cbrt 3))) (log (* y y)))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (sqrt (cbrt 3))) (log (* (sqrt (cbrt 3)) (* y y)))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (log (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (sqrt (cbrt 3))) (+ (log (sqrt (cbrt 3))) (+ (log y) (log y)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (sqrt (cbrt 3))) (+ (log (sqrt (cbrt 3))) (log (* y y)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (sqrt (cbrt 3))) (log (* (sqrt (cbrt 3)) (* y y)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (log (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))))
  (log (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))))
  (exp (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))))
  (* (* 3 3) (* (* (* (sqrt (cbrt 3)) (sqrt (cbrt 3))) (sqrt (cbrt 3))) (* (* (* (sqrt (cbrt 3)) (sqrt (cbrt 3))) (sqrt (cbrt 3))) (* (* (* y y) y) (* (* y y) y)))))
  (* (* 3 3) (* (* (* (sqrt (cbrt 3)) (sqrt (cbrt 3))) (sqrt (cbrt 3))) (* (* (* (sqrt (cbrt 3)) (sqrt (cbrt 3))) (sqrt (cbrt 3))) (* (* (* y y) (* y y)) (* y y)))))
  (* (* 3 3) (* (* (* (sqrt (cbrt 3)) (sqrt (cbrt 3))) (sqrt (cbrt 3))) (* (* (* (sqrt (cbrt 3)) (* y y)) (* (sqrt (cbrt 3)) (* y y))) (* (sqrt (cbrt 3)) (* y y)))))
  (* (* 3 3) (* (* (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (* (sqrt (cbrt 3)) (sqrt (cbrt 3))) (sqrt (cbrt 3))) (* (* (* (sqrt (cbrt 3)) (sqrt (cbrt 3))) (sqrt (cbrt 3))) (* (* (* y y) y) (* (* y y) y)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (* (sqrt (cbrt 3)) (sqrt (cbrt 3))) (sqrt (cbrt 3))) (* (* (* (sqrt (cbrt 3)) (sqrt (cbrt 3))) (sqrt (cbrt 3))) (* (* (* y y) (* y y)) (* y y)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (* (sqrt (cbrt 3)) (sqrt (cbrt 3))) (sqrt (cbrt 3))) (* (* (* (sqrt (cbrt 3)) (* y y)) (* (sqrt (cbrt 3)) (* y y))) (* (sqrt (cbrt 3)) (* y y)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))))
  (* (cbrt (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))) (cbrt (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))))
  (cbrt (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))) (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))) (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))))
  (sqrt (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))))
  (sqrt (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))))
  (* (* (cbrt 3) (cbrt 3)) (sqrt (cbrt 3)))
  (* (cbrt 3) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))
  (expm1 (* (sqrt (cbrt 3)) (* y y)))
  (log1p (* (sqrt (cbrt 3)) (* y y)))
  (* (sqrt (cbrt 3)) (* y y))
  (* (sqrt (cbrt 3)) (* y y))
  (+ (log (sqrt (cbrt 3))) (+ (log y) (log y)))
  (+ (log (sqrt (cbrt 3))) (log (* y y)))
  (log (* (sqrt (cbrt 3)) (* y y)))
  (exp (* (sqrt (cbrt 3)) (* y y)))
  (* (* (* (sqrt (cbrt 3)) (sqrt (cbrt 3))) (sqrt (cbrt 3))) (* (* (* y y) y) (* (* y y) y)))
  (* (* (* (sqrt (cbrt 3)) (sqrt (cbrt 3))) (sqrt (cbrt 3))) (* (* (* y y) (* y y)) (* y y)))
  (* (cbrt (* (sqrt (cbrt 3)) (* y y))) (cbrt (* (sqrt (cbrt 3)) (* y y))))
  (cbrt (* (sqrt (cbrt 3)) (* y y)))
  (* (* (* (sqrt (cbrt 3)) (* y y)) (* (sqrt (cbrt 3)) (* y y))) (* (sqrt (cbrt 3)) (* y y)))
  (sqrt (* (sqrt (cbrt 3)) (* y y)))
  (sqrt (* (sqrt (cbrt 3)) (* y y)))
  (* (sqrt (cbrt (sqrt 3))) y)
  (* (sqrt (cbrt (sqrt 3))) y)
  (* (sqrt (sqrt (cbrt 3))) y)
  (* (sqrt (sqrt (cbrt 3))) y)
  (* (sqrt (sqrt (cbrt 3))) y)
  (* (sqrt (sqrt (cbrt 3))) y)
  (* (sqrt (cbrt 3)) y)
  (* (cbrt (sqrt (cbrt 3))) (* y y))
  (* (sqrt (cbrt (cbrt 3))) (* y y))
  (* (sqrt (cbrt (sqrt 3))) (* y y))
  (* (sqrt (cbrt 3)) (* y y))
  (* (sqrt (cbrt (cbrt 3))) (* y y))
  (* (sqrt (sqrt (cbrt 3))) (* y y))
  (* (sqrt (cbrt 3)) (* y y))
  (* (sqrt (sqrt (cbrt 3))) (* y y))
  (* (sqrt (cbrt 3)) (* y y))
  (expm1 (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))
  (log1p (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))
  (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))
  (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))
  (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))
  (+ (log (sqrt (cbrt 3))) (+ (log (sqrt (cbrt 3))) (+ (log y) (log y))))
  (+ (log (sqrt (cbrt 3))) (+ (log (sqrt (cbrt 3))) (log (* y y))))
  (+ (log (sqrt (cbrt 3))) (log (* (sqrt (cbrt 3)) (* y y))))
  (log (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))
  (exp (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))
  (* (* (* (sqrt (cbrt 3)) (sqrt (cbrt 3))) (sqrt (cbrt 3))) (* (* (* (sqrt (cbrt 3)) (sqrt (cbrt 3))) (sqrt (cbrt 3))) (* (* (* y y) y) (* (* y y) y))))
  (* (* (* (sqrt (cbrt 3)) (sqrt (cbrt 3))) (sqrt (cbrt 3))) (* (* (* (sqrt (cbrt 3)) (sqrt (cbrt 3))) (sqrt (cbrt 3))) (* (* (* y y) (* y y)) (* y y))))
  (* (* (* (sqrt (cbrt 3)) (sqrt (cbrt 3))) (sqrt (cbrt 3))) (* (* (* (sqrt (cbrt 3)) (* y y)) (* (sqrt (cbrt 3)) (* y y))) (* (sqrt (cbrt 3)) (* y y))))
  (* (cbrt (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))) (cbrt (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))))
  (cbrt (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))
  (* (* (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))
  (sqrt (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))
  (sqrt (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))
  (* (sqrt (cbrt 3)) (sqrt (cbrt 3)))
  (* (cbrt (sqrt (cbrt 3))) (* (sqrt (cbrt 3)) (* y y)))
  (* (sqrt (cbrt (cbrt 3))) (* (sqrt (cbrt 3)) (* y y)))
  (* (sqrt (cbrt (sqrt 3))) (* (sqrt (cbrt 3)) (* y y)))
  (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))
  (* (sqrt (cbrt (cbrt 3))) (* (sqrt (cbrt 3)) (* y y)))
  (* (sqrt (sqrt (cbrt 3))) (* (sqrt (cbrt 3)) (* y y)))
  (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))
  (* (sqrt (sqrt (cbrt 3))) (* (sqrt (cbrt 3)) (* y y)))
  (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))
  (expm1 (fma x x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))))
  (log1p (fma x x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))))
  (* x x)
  (log (fma x x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))))
  (exp (fma x x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))))
  (* (cbrt (fma x x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))))) (cbrt (fma x x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))))))
  (cbrt (fma x x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))))
  (* (* (fma x x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))) (fma x x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y)))))) (fma x x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))))
  (sqrt (fma x x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))))
  (sqrt (fma x x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (sqrt (cbrt 3)) (* y y))))))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* (sqrt (cbrt 3)) (pow y 2))
  (* (sqrt (cbrt 3)) (pow y 2))
  (* (sqrt (cbrt 3)) (pow y 2))
  (* (cbrt 3) (pow y 2))
  (* (cbrt 3) (pow y 2))
  (* (cbrt 3) (pow y 2))
  (+ (pow x 2) (* 3 (pow y 2)))
  (+ (pow x 2) (* 3 (pow y 2)))
  (+ (pow x 2) (* 3 (pow y 2)))
44.497 * * [simplify]: iteration  0 :  117  enodes  (cost  1968 )
44.518 * * [simplify]: iteration  1 :  307  enodes  (cost  1477 )
44.595 * * [simplify]: iteration  2 :  1128  enodes  (cost  995 )
45.088 * * [simplify]: iteration  done :  5000  enodes  (cost  995 )
45.089 * [simplify]: Simplified to:
   (expm1 (* (pow (cbrt 3) 3) (* y y)))
  (log1p (* (pow (cbrt 3) 3) (* y y)))
  (* (pow (cbrt 3) 3) (* y y))
  (* (pow (cbrt 3) 3) (* y y))
  (* (pow (cbrt 3) 3) (* y y))
  (* (pow (cbrt 3) 3) (* y y))
  (* (pow (cbrt 3) 3) (* y y))
  (* (pow (cbrt 3) 3) (* y y))
  (* (pow (cbrt 3) 3) (* y y))
  (* (pow (cbrt 3) 3) (* y y))
  (log (* (pow (cbrt 3) 3) (* y y)))
  (log (* (pow (cbrt 3) 3) (* y y)))
  (log (* (pow (cbrt 3) 3) (* y y)))
  (log (* (pow (cbrt 3) 3) (* y y)))
  (log (* (pow (cbrt 3) 3) (* y y)))
  (log (* (pow (cbrt 3) 3) (* y y)))
  (log (* (pow (cbrt 3) 3) (* y y)))
  (log (* (pow (cbrt 3) 3) (* y y)))
  (log (* (pow (cbrt 3) 3) (* y y)))
  (exp (* (pow (cbrt 3) 3) (* y y)))
  (* 9 (pow (* (cbrt 3) (pow y 2)) 3))
  (* 9 (pow (* (cbrt 3) (pow y 2)) 3))
  (* 9 (pow (* (cbrt 3) (pow y 2)) 3))
  (* 9 (pow (* (cbrt 3) (pow y 2)) 3))
  (pow (* (pow (cbrt 3) 3) (* y y)) 3)
  (pow (* (pow (cbrt 3) 3) (* y y)) 3)
  (pow (* (pow (cbrt 3) 3) (* y y)) 3)
  (pow (* (pow (cbrt 3) 3) (* y y)) 3)
  (* (cbrt (* (pow (cbrt 3) 3) (* y y))) (cbrt (* (pow (cbrt 3) 3) (* y y))))
  (cbrt (* (pow (cbrt 3) 3) (* y y)))
  (pow (* (pow (cbrt 3) 3) (* y y)) 3)
  (sqrt (* (pow (cbrt 3) 3) (* y y)))
  (sqrt (* (pow (cbrt 3) 3) (* y y)))
  (* (cbrt 3) (pow (sqrt (cbrt 3)) 3))
  (* (* (cbrt 3) (pow y 2)) (cbrt 3))
  (expm1 (* (sqrt (cbrt 3)) (* y y)))
  (log1p (* (sqrt (cbrt 3)) (* y y)))
  (* (sqrt (cbrt 3)) (pow y 2))
  (* (sqrt (cbrt 3)) (pow y 2))
  (log (* (sqrt (cbrt 3)) (* y y)))
  (log (* (sqrt (cbrt 3)) (* y y)))
  (log (* (sqrt (cbrt 3)) (* y y)))
  (exp (* (sqrt (cbrt 3)) (* y y)))
  (pow (* (sqrt (cbrt 3)) (pow y 2)) 3)
  (pow (* (sqrt (cbrt 3)) (pow y 2)) 3)
  (* (cbrt (* (sqrt (cbrt 3)) (* y y))) (cbrt (* (sqrt (cbrt 3)) (* y y))))
  (cbrt (* (sqrt (cbrt 3)) (* y y)))
  (pow (* (sqrt (cbrt 3)) (pow y 2)) 3)
  (sqrt (* (sqrt (cbrt 3)) (* y y)))
  (sqrt (* (sqrt (cbrt 3)) (* y y)))
  (* (sqrt (cbrt (sqrt 3))) y)
  (* (sqrt (cbrt (sqrt 3))) y)
  (* (sqrt (sqrt (cbrt 3))) y)
  (* (sqrt (sqrt (cbrt 3))) y)
  (* (sqrt (sqrt (cbrt 3))) y)
  (* (sqrt (sqrt (cbrt 3))) y)
  (* (sqrt (cbrt 3)) y)
  (* (cbrt (sqrt (cbrt 3))) (* y y))
  (* (sqrt (cbrt (cbrt 3))) (* y y))
  (* (sqrt (cbrt (sqrt 3))) (* y y))
  (* (sqrt (cbrt 3)) (pow y 2))
  (* (sqrt (cbrt (cbrt 3))) (* y y))
  (* (sqrt (sqrt (cbrt 3))) (* y y))
  (* (sqrt (cbrt 3)) (pow y 2))
  (* (sqrt (sqrt (cbrt 3))) (* y y))
  (* (sqrt (cbrt 3)) (pow y 2))
  (expm1 (* (cbrt 3) (pow y 2)))
  (log1p (* (cbrt 3) (pow y 2)))
  (* (cbrt 3) (pow y 2))
  (* (cbrt 3) (pow y 2))
  (* (cbrt 3) (pow y 2))
  (log (* (cbrt 3) (pow y 2)))
  (log (* (cbrt 3) (pow y 2)))
  (log (* (cbrt 3) (pow y 2)))
  (log (* (cbrt 3) (pow y 2)))
  (exp (* (cbrt 3) (pow y 2)))
  (pow (* (cbrt 3) (pow y 2)) 3)
  (pow (* (cbrt 3) (pow y 2)) 3)
  (pow (* (cbrt 3) (pow y 2)) 3)
  (* (cbrt (* (cbrt 3) (pow y 2))) (cbrt (* (cbrt 3) (pow y 2))))
  (cbrt (* (cbrt 3) (pow y 2)))
  (pow (* (cbrt 3) (pow y 2)) 3)
  (sqrt (* (cbrt 3) (pow y 2)))
  (sqrt (* (cbrt 3) (pow y 2)))
  (cbrt 3)
  (* (cbrt (sqrt (cbrt 3))) (* (sqrt (cbrt 3)) (* y y)))
  (* (sqrt (cbrt (cbrt 3))) (* (sqrt (cbrt 3)) (* y y)))
  (* (sqrt (cbrt (sqrt 3))) (* (sqrt (cbrt 3)) (* y y)))
  (* (cbrt 3) (pow y 2))
  (* (sqrt (cbrt (cbrt 3))) (* (sqrt (cbrt 3)) (* y y)))
  (* (sqrt (sqrt (cbrt 3))) (* (sqrt (cbrt 3)) (* y y)))
  (* (cbrt 3) (pow y 2))
  (* (sqrt (sqrt (cbrt 3))) (* (sqrt (cbrt 3)) (* y y)))
  (* (cbrt 3) (pow y 2))
  (expm1 (fma x x (* (pow (cbrt 3) 3) (* y y))))
  (log1p (fma x x (* (pow (cbrt 3) 3) (* y y))))
  (* x x)
  (log (fma x x (* (pow (cbrt 3) 3) (* y y))))
  (exp (fma x x (* (pow (cbrt 3) 3) (* y y))))
  (* (cbrt (fma x x (* (pow (cbrt 3) 3) (* y y)))) (cbrt (fma x x (* (pow (cbrt 3) 3) (* y y)))))
  (cbrt (fma x x (* (pow (cbrt 3) 3) (* y y))))
  (pow (fma x x (* (pow (cbrt 3) 3) (* y y))) 3)
  (sqrt (fma x x (* (pow (cbrt 3) 3) (* y y))))
  (sqrt (fma x x (* (pow (cbrt 3) 3) (* y y))))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* 3 (pow y 2))
  (* (sqrt (cbrt 3)) (pow y 2))
  (* (sqrt (cbrt 3)) (pow y 2))
  (* (sqrt (cbrt 3)) (pow y 2))
  (* (cbrt 3) (pow y 2))
  (* (cbrt 3) (pow y 2))
  (* (cbrt 3) (pow y 2))
  (fma (* y y) 3 (* x x))
  (fma (* y y) 3 (* x x))
  (fma (* y y) 3 (* x x))
45.090 * * * [progress]: adding candidates to table
45.323 * [progress]: [Phase 3 of 3] Extracting.
45.323 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))))> #<alt (λ (x y) (fma x x (pow (* (* 3 y) y) 1)))> #<alt (λ (x y) (fma x x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (* (sqrt (cbrt 3)) y) y)))))> #<alt (λ (x y) (fma x x (* 3 (* y y))))>)
45.324 * * * [regime-changes]: Trying 3 branch expressions: ((* y y) y x)
45.324 * * * * [regimes]: Trying to branch on (* y y) from (#<alt (λ (x y) (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))))> #<alt (λ (x y) (fma x x (pow (* (* 3 y) y) 1)))> #<alt (λ (x y) (fma x x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (* (sqrt (cbrt 3)) y) y)))))> #<alt (λ (x y) (fma x x (* 3 (* y y))))>)
45.342 * * * * [regimes]: Trying to branch on (* y y) from (#<alt (λ (x y) (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))))> #<alt (λ (x y) (fma x x (* 3 (* y y))))>)
45.353 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))))> #<alt (λ (x y) (fma x x (pow (* (* 3 y) y) 1)))> #<alt (λ (x y) (fma x x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (* (sqrt (cbrt 3)) y) y)))))> #<alt (λ (x y) (fma x x (* 3 (* y y))))>)
45.369 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (fma x x (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* y y)))))> #<alt (λ (x y) (fma x x (pow (* (* 3 y) y) 1)))> #<alt (λ (x y) (fma x x (* (* (cbrt 3) (cbrt 3)) (* (sqrt (cbrt 3)) (* (* (sqrt (cbrt 3)) y) y)))))> #<alt (λ (x y) (fma x x (* 3 (* y y))))>)
45.388 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
45.388 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma x x (pow (* (* 3 y) y) 1))
45.388 * * [simplify]: iteration  0 :  8  enodes  (cost  10 )
45.389 * * [simplify]: iteration  1 :  12  enodes  (cost  8 )
45.389 * * [simplify]: iteration  done :  12  enodes  (cost  8 )
45.389 * [simplify]: Simplified to:
   (fma x x (* y (* 3 y)))
46.118 * [regime-testing]: Baseline error score: 0.11326415801975247
46.119 * [regime-testing]: Oracle error score: 0.010876359544943117
46.120 * [regime-testing]: End program error score: 0.11326415801975247
46.139 * [regime-testing]: Target error score: 0.11688961120140018