22.391 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.059 * * * [progress]: [2/2] Setting up program.
0.061 * [progress]: [Phase 2 of 3] Improving.
0.062 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (exp (- (+ x (* y (log y))) z))
0.063 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.064 * * [simplify]: iteration  1 :  17  enodes  (cost  9 )
0.066 * * [simplify]: iteration  2 :  36  enodes  (cost  8 )
0.070 * * [simplify]: iteration  3 :  64  enodes  (cost  8 )
0.079 * * [simplify]: iteration  4 :  100  enodes  (cost  8 )
0.097 * * [simplify]: iteration  5 :  187  enodes  (cost  8 )
0.141 * * [simplify]: iteration  6 :  516  enodes  (cost  8 )
0.337 * * [simplify]: iteration  7 :  1467  enodes  (cost  8 )
1.617 * * [simplify]: iteration  8 :  4968  enodes  (cost  8 )
3.328 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
3.328 * [simplify]: Simplified to:
   (exp (- (fma y (log y) x) z))
3.338 * * [progress]: iteration 1 / 4
3.338 * * * [progress]: picking best candidate
3.340 * * * * [pick]: Picked  #<alt (λ (x y z) (exp (- (fma y (log y) x) z)))>
3.341 * * * [progress]: localizing error
3.348 * * * [progress]: generating rewritten candidates
3.348 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
3.349 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
3.359 * * * [progress]: generating series expansions
3.359 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
3.359 * [approximate]: Taking taylor expansion of (fma y (log y) x) in (y x) around 0
3.359 * [taylor]: Taking taylor expansion of (fma y (log y) x) in x
3.359 * [taylor]: Rewrote expression to (+ (* y (log y)) x)
3.359 * [taylor]: Taking taylor expansion of (* y (log y)) in x
3.359 * [taylor]: Taking taylor expansion of y in x
3.359 * [taylor]: Taking taylor expansion of (log y) in x
3.359 * [taylor]: Taking taylor expansion of y in x
3.359 * [taylor]: Taking taylor expansion of x in x
3.359 * [taylor]: Taking taylor expansion of (fma y (log y) x) in y
3.359 * [taylor]: Rewrote expression to (+ (* y (log y)) x)
3.359 * [taylor]: Taking taylor expansion of (* y (log y)) in y
3.359 * [taylor]: Taking taylor expansion of y in y
3.359 * [taylor]: Taking taylor expansion of (log y) in y
3.359 * [taylor]: Taking taylor expansion of y in y
3.360 * [taylor]: Taking taylor expansion of x in y
3.360 * [taylor]: Taking taylor expansion of (fma y (log y) x) in y
3.360 * [taylor]: Rewrote expression to (+ (* y (log y)) x)
3.360 * [taylor]: Taking taylor expansion of (* y (log y)) in y
3.360 * [taylor]: Taking taylor expansion of y in y
3.360 * [taylor]: Taking taylor expansion of (log y) in y
3.360 * [taylor]: Taking taylor expansion of y in y
3.360 * [taylor]: Taking taylor expansion of x in y
3.361 * [taylor]: Taking taylor expansion of x in x
3.362 * [taylor]: Taking taylor expansion of (log y) in x
3.362 * [taylor]: Taking taylor expansion of y in x
3.365 * [taylor]: Taking taylor expansion of 0 in x
3.369 * [taylor]: Taking taylor expansion of 0 in x
3.370 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in (y x) around 0
3.370 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in x
3.370 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x))
3.370 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in x
3.371 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.371 * [taylor]: Taking taylor expansion of y in x
3.371 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
3.371 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.371 * [taylor]: Taking taylor expansion of y in x
3.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.371 * [taylor]: Taking taylor expansion of x in x
3.371 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in y
3.371 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x))
3.371 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y
3.371 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.371 * [taylor]: Taking taylor expansion of y in y
3.371 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.371 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.371 * [taylor]: Taking taylor expansion of y in y
3.372 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.372 * [taylor]: Taking taylor expansion of x in y
3.372 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in y
3.372 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x))
3.372 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y
3.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.372 * [taylor]: Taking taylor expansion of y in y
3.372 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.372 * [taylor]: Taking taylor expansion of y in y
3.373 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.373 * [taylor]: Taking taylor expansion of x in y
3.373 * [taylor]: Taking taylor expansion of (- (log y)) in x
3.373 * [taylor]: Taking taylor expansion of (log y) in x
3.373 * [taylor]: Taking taylor expansion of y in x
3.376 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.376 * [taylor]: Taking taylor expansion of x in x
3.379 * [taylor]: Taking taylor expansion of 0 in x
3.385 * [taylor]: Taking taylor expansion of 0 in x
3.395 * [taylor]: Taking taylor expansion of 0 in x
3.395 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in (y x) around 0
3.395 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in x
3.395 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x))
3.395 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in x
3.395 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.395 * [taylor]: Taking taylor expansion of -1 in x
3.395 * [taylor]: Taking taylor expansion of y in x
3.395 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
3.395 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.395 * [taylor]: Taking taylor expansion of -1 in x
3.395 * [taylor]: Taking taylor expansion of y in x
3.395 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.395 * [taylor]: Taking taylor expansion of -1 in x
3.395 * [taylor]: Taking taylor expansion of x in x
3.396 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in y
3.396 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x))
3.396 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y
3.396 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.396 * [taylor]: Taking taylor expansion of -1 in y
3.396 * [taylor]: Taking taylor expansion of y in y
3.396 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
3.396 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.396 * [taylor]: Taking taylor expansion of -1 in y
3.396 * [taylor]: Taking taylor expansion of y in y
3.397 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.397 * [taylor]: Taking taylor expansion of -1 in y
3.397 * [taylor]: Taking taylor expansion of x in y
3.397 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in y
3.397 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x))
3.397 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y
3.397 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.397 * [taylor]: Taking taylor expansion of -1 in y
3.397 * [taylor]: Taking taylor expansion of y in y
3.397 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
3.397 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.397 * [taylor]: Taking taylor expansion of -1 in y
3.397 * [taylor]: Taking taylor expansion of y in y
3.398 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.398 * [taylor]: Taking taylor expansion of -1 in y
3.398 * [taylor]: Taking taylor expansion of x in y
3.399 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in x
3.399 * [taylor]: Taking taylor expansion of (log y) in x
3.399 * [taylor]: Taking taylor expansion of y in x
3.399 * [taylor]: Taking taylor expansion of (log -1) in x
3.400 * [taylor]: Taking taylor expansion of -1 in x
3.403 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.403 * [taylor]: Taking taylor expansion of x in x
3.409 * [taylor]: Taking taylor expansion of 0 in x
3.420 * [taylor]: Taking taylor expansion of 0 in x
3.432 * [taylor]: Taking taylor expansion of 0 in x
3.432 * * * * [progress]: [ 2 / 2 ] generating series at (2)
3.432 * [approximate]: Taking taylor expansion of (exp (- (fma y (log y) x) z)) in (y x z) around 0
3.432 * [taylor]: Taking taylor expansion of (exp (- (fma y (log y) x) z)) in z
3.432 * [taylor]: Taking taylor expansion of (- (fma y (log y) x) z) in z
3.432 * [taylor]: Taking taylor expansion of (fma y (log y) x) in z
3.433 * [taylor]: Rewrote expression to (+ (* y (log y)) x)
3.433 * [taylor]: Taking taylor expansion of (* y (log y)) in z
3.433 * [taylor]: Taking taylor expansion of y in z
3.433 * [taylor]: Taking taylor expansion of (log y) in z
3.433 * [taylor]: Taking taylor expansion of y in z
3.433 * [taylor]: Taking taylor expansion of x in z
3.433 * [taylor]: Taking taylor expansion of z in z
3.433 * [taylor]: Taking taylor expansion of (exp (- (fma y (log y) x) z)) in x
3.433 * [taylor]: Taking taylor expansion of (- (fma y (log y) x) z) in x
3.433 * [taylor]: Taking taylor expansion of (fma y (log y) x) in x
3.433 * [taylor]: Rewrote expression to (+ (* y (log y)) x)
3.433 * [taylor]: Taking taylor expansion of (* y (log y)) in x
3.433 * [taylor]: Taking taylor expansion of y in x
3.433 * [taylor]: Taking taylor expansion of (log y) in x
3.433 * [taylor]: Taking taylor expansion of y in x
3.433 * [taylor]: Taking taylor expansion of x in x
3.433 * [taylor]: Taking taylor expansion of z in x
3.434 * [taylor]: Taking taylor expansion of (exp (- (fma y (log y) x) z)) in y
3.434 * [taylor]: Taking taylor expansion of (- (fma y (log y) x) z) in y
3.434 * [taylor]: Taking taylor expansion of (fma y (log y) x) in y
3.434 * [taylor]: Rewrote expression to (+ (* y (log y)) x)
3.434 * [taylor]: Taking taylor expansion of (* y (log y)) in y
3.434 * [taylor]: Taking taylor expansion of y in y
3.434 * [taylor]: Taking taylor expansion of (log y) in y
3.434 * [taylor]: Taking taylor expansion of y in y
3.434 * [taylor]: Taking taylor expansion of x in y
3.434 * [taylor]: Taking taylor expansion of z in y
3.435 * [taylor]: Taking taylor expansion of (exp (- (fma y (log y) x) z)) in y
3.435 * [taylor]: Taking taylor expansion of (- (fma y (log y) x) z) in y
3.435 * [taylor]: Taking taylor expansion of (fma y (log y) x) in y
3.435 * [taylor]: Rewrote expression to (+ (* y (log y)) x)
3.435 * [taylor]: Taking taylor expansion of (* y (log y)) in y
3.435 * [taylor]: Taking taylor expansion of y in y
3.435 * [taylor]: Taking taylor expansion of (log y) in y
3.435 * [taylor]: Taking taylor expansion of y in y
3.435 * [taylor]: Taking taylor expansion of x in y
3.435 * [taylor]: Taking taylor expansion of z in y
3.435 * [taylor]: Taking taylor expansion of (exp (- x z)) in x
3.435 * [taylor]: Taking taylor expansion of (- x z) in x
3.436 * [taylor]: Taking taylor expansion of x in x
3.436 * [taylor]: Taking taylor expansion of z in x
3.436 * [taylor]: Taking taylor expansion of (exp (- z)) in z
3.436 * [taylor]: Taking taylor expansion of (- z) in z
3.436 * [taylor]: Taking taylor expansion of z in z
3.438 * [taylor]: Taking taylor expansion of (* (log y) (exp (- x z))) in x
3.438 * [taylor]: Taking taylor expansion of (log y) in x
3.438 * [taylor]: Taking taylor expansion of y in x
3.438 * [taylor]: Taking taylor expansion of (exp (- x z)) in x
3.438 * [taylor]: Taking taylor expansion of (- x z) in x
3.438 * [taylor]: Taking taylor expansion of x in x
3.438 * [taylor]: Taking taylor expansion of z in x
3.438 * [taylor]: Taking taylor expansion of (* (exp (- z)) (log y)) in z
3.438 * [taylor]: Taking taylor expansion of (exp (- z)) in z
3.438 * [taylor]: Taking taylor expansion of (- z) in z
3.438 * [taylor]: Taking taylor expansion of z in z
3.439 * [taylor]: Taking taylor expansion of (log y) in z
3.439 * [taylor]: Taking taylor expansion of y in z
3.440 * [taylor]: Taking taylor expansion of (exp (- z)) in z
3.440 * [taylor]: Taking taylor expansion of (- z) in z
3.440 * [taylor]: Taking taylor expansion of z in z
3.440 * [approximate]: Taking taylor expansion of (exp (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z))) in (y x z) around 0
3.441 * [taylor]: Taking taylor expansion of (exp (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z))) in z
3.441 * [taylor]: Taking taylor expansion of (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z)) in z
3.441 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in z
3.441 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x))
3.441 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in z
3.441 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.441 * [taylor]: Taking taylor expansion of y in z
3.441 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
3.441 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.441 * [taylor]: Taking taylor expansion of y in z
3.441 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.441 * [taylor]: Taking taylor expansion of x in z
3.441 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.441 * [taylor]: Taking taylor expansion of z in z
3.442 * [taylor]: Taking taylor expansion of (exp (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z))) in x
3.442 * [taylor]: Taking taylor expansion of (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z)) in x
3.442 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in x
3.442 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x))
3.442 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in x
3.442 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.442 * [taylor]: Taking taylor expansion of y in x
3.442 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
3.442 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.442 * [taylor]: Taking taylor expansion of y in x
3.442 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.442 * [taylor]: Taking taylor expansion of x in x
3.442 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.442 * [taylor]: Taking taylor expansion of z in x
3.443 * [taylor]: Taking taylor expansion of (exp (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z))) in y
3.443 * [taylor]: Taking taylor expansion of (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z)) in y
3.443 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in y
3.443 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x))
3.443 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y
3.443 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.443 * [taylor]: Taking taylor expansion of y in y
3.444 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.444 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.444 * [taylor]: Taking taylor expansion of y in y
3.444 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.444 * [taylor]: Taking taylor expansion of x in y
3.444 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.444 * [taylor]: Taking taylor expansion of z in y
3.445 * [taylor]: Taking taylor expansion of (exp (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z))) in y
3.445 * [taylor]: Taking taylor expansion of (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z)) in y
3.445 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in y
3.445 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x))
3.445 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y
3.445 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.445 * [taylor]: Taking taylor expansion of y in y
3.445 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.445 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.445 * [taylor]: Taking taylor expansion of y in y
3.446 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.446 * [taylor]: Taking taylor expansion of x in y
3.446 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.446 * [taylor]: Taking taylor expansion of z in y
3.447 * [taylor]: Taking taylor expansion of (exp (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z))) in x
3.447 * [taylor]: Taking taylor expansion of (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z)) in x
3.447 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in x
3.447 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x))
3.447 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in x
3.447 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.447 * [taylor]: Taking taylor expansion of y in x
3.447 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
3.447 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.447 * [taylor]: Taking taylor expansion of y in x
3.447 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.447 * [taylor]: Taking taylor expansion of x in x
3.448 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.448 * [taylor]: Taking taylor expansion of z in x
3.448 * [taylor]: Taking taylor expansion of (exp (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z))) in z
3.448 * [taylor]: Taking taylor expansion of (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z)) in z
3.448 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in z
3.449 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x))
3.449 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in z
3.449 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.449 * [taylor]: Taking taylor expansion of y in z
3.449 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
3.449 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.449 * [taylor]: Taking taylor expansion of y in z
3.449 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.449 * [taylor]: Taking taylor expansion of x in z
3.449 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.449 * [taylor]: Taking taylor expansion of z in z
3.450 * [taylor]: Taking taylor expansion of 0 in x
3.450 * [taylor]: Taking taylor expansion of 0 in z
3.450 * [taylor]: Taking taylor expansion of 0 in z
3.450 * [taylor]: Taking taylor expansion of 0 in x
3.450 * [taylor]: Taking taylor expansion of 0 in z
3.450 * [taylor]: Taking taylor expansion of 0 in z
3.450 * [taylor]: Taking taylor expansion of 0 in z
3.451 * [approximate]: Taking taylor expansion of (exp (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z))) in (y x z) around 0
3.451 * [taylor]: Taking taylor expansion of (exp (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z))) in z
3.451 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z)) in z
3.451 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in z
3.451 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x))
3.451 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in z
3.451 * [taylor]: Taking taylor expansion of (/ -1 y) in z
3.451 * [taylor]: Taking taylor expansion of -1 in z
3.451 * [taylor]: Taking taylor expansion of y in z
3.451 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
3.451 * [taylor]: Taking taylor expansion of (/ -1 y) in z
3.451 * [taylor]: Taking taylor expansion of -1 in z
3.451 * [taylor]: Taking taylor expansion of y in z
3.451 * [taylor]: Taking taylor expansion of (/ -1 x) in z
3.451 * [taylor]: Taking taylor expansion of -1 in z
3.451 * [taylor]: Taking taylor expansion of x in z
3.451 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.451 * [taylor]: Taking taylor expansion of z in z
3.452 * [taylor]: Taking taylor expansion of (exp (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z))) in x
3.452 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z)) in x
3.452 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in x
3.452 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x))
3.452 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in x
3.452 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.452 * [taylor]: Taking taylor expansion of -1 in x
3.452 * [taylor]: Taking taylor expansion of y in x
3.452 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
3.452 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.452 * [taylor]: Taking taylor expansion of -1 in x
3.452 * [taylor]: Taking taylor expansion of y in x
3.452 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.452 * [taylor]: Taking taylor expansion of -1 in x
3.452 * [taylor]: Taking taylor expansion of x in x
3.452 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.452 * [taylor]: Taking taylor expansion of z in x
3.453 * [taylor]: Taking taylor expansion of (exp (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z))) in y
3.453 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z)) in y
3.453 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in y
3.453 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x))
3.453 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y
3.453 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.453 * [taylor]: Taking taylor expansion of -1 in y
3.453 * [taylor]: Taking taylor expansion of y in y
3.454 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
3.454 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.454 * [taylor]: Taking taylor expansion of -1 in y
3.454 * [taylor]: Taking taylor expansion of y in y
3.454 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.454 * [taylor]: Taking taylor expansion of -1 in y
3.454 * [taylor]: Taking taylor expansion of x in y
3.454 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.454 * [taylor]: Taking taylor expansion of z in y
3.456 * [taylor]: Taking taylor expansion of (exp (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z))) in y
3.456 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z)) in y
3.456 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in y
3.456 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x))
3.456 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y
3.456 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.456 * [taylor]: Taking taylor expansion of -1 in y
3.456 * [taylor]: Taking taylor expansion of y in y
3.457 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
3.457 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.457 * [taylor]: Taking taylor expansion of -1 in y
3.457 * [taylor]: Taking taylor expansion of y in y
3.457 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.457 * [taylor]: Taking taylor expansion of -1 in y
3.457 * [taylor]: Taking taylor expansion of x in y
3.457 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.457 * [taylor]: Taking taylor expansion of z in y
3.459 * [taylor]: Taking taylor expansion of (exp (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z))) in x
3.459 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z)) in x
3.459 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in x
3.459 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x))
3.459 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in x
3.459 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.459 * [taylor]: Taking taylor expansion of -1 in x
3.459 * [taylor]: Taking taylor expansion of y in x
3.459 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
3.459 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.459 * [taylor]: Taking taylor expansion of -1 in x
3.459 * [taylor]: Taking taylor expansion of y in x
3.459 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.459 * [taylor]: Taking taylor expansion of -1 in x
3.459 * [taylor]: Taking taylor expansion of x in x
3.460 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.460 * [taylor]: Taking taylor expansion of z in x
3.460 * [taylor]: Taking taylor expansion of (exp (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z))) in z
3.460 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z)) in z
3.460 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in z
3.460 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x))
3.460 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in z
3.460 * [taylor]: Taking taylor expansion of (/ -1 y) in z
3.460 * [taylor]: Taking taylor expansion of -1 in z
3.460 * [taylor]: Taking taylor expansion of y in z
3.461 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
3.461 * [taylor]: Taking taylor expansion of (/ -1 y) in z
3.461 * [taylor]: Taking taylor expansion of -1 in z
3.461 * [taylor]: Taking taylor expansion of y in z
3.461 * [taylor]: Taking taylor expansion of (/ -1 x) in z
3.461 * [taylor]: Taking taylor expansion of -1 in z
3.461 * [taylor]: Taking taylor expansion of x in z
3.461 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.461 * [taylor]: Taking taylor expansion of z in z
3.462 * [taylor]: Taking taylor expansion of 0 in x
3.462 * [taylor]: Taking taylor expansion of 0 in z
3.462 * [taylor]: Taking taylor expansion of 0 in z
3.462 * [taylor]: Taking taylor expansion of 0 in x
3.462 * [taylor]: Taking taylor expansion of 0 in z
3.462 * [taylor]: Taking taylor expansion of 0 in z
3.462 * [taylor]: Taking taylor expansion of 0 in z
3.462 * * * [progress]: simplifying candidates
3.463 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma y (log y) x))
  (log1p (fma y (log y) x))
  (* y (log y))
  (log (fma y (log y) x))
  (exp (fma y (log y) x))
  (* (cbrt (fma y (log y) x)) (cbrt (fma y (log y) x)))
  (cbrt (fma y (log y) x))
  (* (* (fma y (log y) x) (fma y (log y) x)) (fma y (log y) x))
  (sqrt (fma y (log y) x))
  (sqrt (fma y (log y) x))
  (expm1 (exp (- (fma y (log y) x) z)))
  (log1p (exp (- (fma y (log y) x) z)))
  (exp (* (cbrt (- (fma y (log y) x) z)) (cbrt (- (fma y (log y) x) z))))
  (exp (sqrt (- (fma y (log y) x) z)))
  (exp 1)
  (exp (+ (sqrt (fma y (log y) x)) (sqrt z)))
  (exp 1)
  (exp (fma (* (cbrt (fma y (log y) x)) (cbrt (fma y (log y) x))) (cbrt (fma y (log y) x)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (exp (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (exp (fma (* (cbrt (fma y (log y) x)) (cbrt (fma y (log y) x))) (cbrt (fma y (log y) x)) (- (* (sqrt z) (sqrt z)))))
  (exp (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (exp (fma (* (cbrt (fma y (log y) x)) (cbrt (fma y (log y) x))) (cbrt (fma y (log y) x)) (- (* z 1))))
  (exp (fma (- z) 1 (* z 1)))
  (exp (fma (sqrt (fma y (log y) x)) (sqrt (fma y (log y) x)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (exp (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (exp (fma (sqrt (fma y (log y) x)) (sqrt (fma y (log y) x)) (- (* (sqrt z) (sqrt z)))))
  (exp (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (exp (fma (sqrt (fma y (log y) x)) (sqrt (fma y (log y) x)) (- (* z 1))))
  (exp (fma (- z) 1 (* z 1)))
  (exp (fma 1 (fma y (log y) x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (exp (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (exp (fma 1 (fma y (log y) x) (- (* (sqrt z) (sqrt z)))))
  (exp (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (exp (fma 1 (fma y (log y) x) (- (* z 1))))
  (exp (fma (- z) 1 (* z 1)))
  (exp (fma y (log y) x))
  (exp (- z))
  (exp (* y (log y)))
  (exp (- x z))
  (exp (fma y (log y) x))
  (exp (- z))
  (exp (fma y (log y) x))
  (exp z)
  (log (exp (- (fma y (log y) x) z)))
  (exp (exp (- (fma y (log y) x) z)))
  (* (cbrt (exp (- (fma y (log y) x) z))) (cbrt (exp (- (fma y (log y) x) z))))
  (cbrt (exp (- (fma y (log y) x) z)))
  (* (* (exp (- (fma y (log y) x) z)) (exp (- (fma y (log y) x) z))) (exp (- (fma y (log y) x) z)))
  (sqrt (exp (- (fma y (log y) x) z)))
  (sqrt (exp (- (fma y (log y) x) z)))
  (+ x (* y (log y)))
  (- x (* y (log (/ 1 y))))
  (- (+ (* (log -1) y) x) (* y (log (/ -1 y))))
  (+ x (+ (* y (log y)) 1))
  (exp (- (fma y (log y) x) z))
  (exp (- (fma y (log y) x) z))
3.466 * * [simplify]: iteration  0 :  91  enodes  (cost  611 )
3.478 * * [simplify]: iteration  1 :  156  enodes  (cost  521 )
3.510 * * [simplify]: iteration  2 :  331  enodes  (cost  428 )
3.615 * * [simplify]: iteration  3 :  1062  enodes  (cost  362 )
4.071 * * [simplify]: iteration  done :  5001  enodes  (cost  362 )
4.071 * [simplify]: Simplified to:
   (expm1 (fma y (log y) x))
  (log1p (fma y (log y) x))
  (* y (log y))
  (log (fma y (log y) x))
  (exp (fma y (log y) x))
  (* (cbrt (fma y (log y) x)) (cbrt (fma y (log y) x)))
  (cbrt (fma y (log y) x))
  (pow (fma y (log y) x) 3)
  (sqrt (fma y (log y) x))
  (sqrt (fma y (log y) x))
  (expm1 (exp (- (fma y (log y) x) z)))
  (log1p (exp (- (fma y (log y) x) z)))
  (exp (* (cbrt (- (fma y (log y) x) z)) (cbrt (- (fma y (log y) x) z))))
  (exp (sqrt (- (fma y (log y) x) z)))
  E
  (exp (+ (sqrt (fma y (log y) x)) (sqrt z)))
  E
  (exp (- (pow (cbrt (fma y (log y) x)) 3) z))
  1
  (exp (- (pow (cbrt (fma y (log y) x)) 3) z))
  1
  (exp (- (pow (cbrt (fma y (log y) x)) 3) z))
  1
  (exp (- (fma y (log y) x) z))
  1
  (exp (- (fma y (log y) x) z))
  1
  (exp (- (fma y (log y) x) z))
  1
  (exp (- (fma y (log y) x) z))
  1
  (exp (- (fma y (log y) x) z))
  1
  (exp (- (fma y (log y) x) z))
  1
  (exp (fma y (log y) x))
  (exp (- z))
  (pow y y)
  (exp (- x z))
  (exp (fma y (log y) x))
  (exp (- z))
  (exp (fma y (log y) x))
  (exp z)
  (- (fma y (log y) x) z)
  (exp (exp (- (fma y (log y) x) z)))
  (* (cbrt (exp (- (fma y (log y) x) z))) (cbrt (exp (- (fma y (log y) x) z))))
  (cbrt (exp (- (fma y (log y) x) z)))
  (pow (exp (- (fma y (log y) x) z)) 3)
  (sqrt (exp (- (fma y (log y) x) z)))
  (sqrt (exp (- (fma y (log y) x) z)))
  (fma (log y) y x)
  (fma (log y) y x)
  (+ x (* y (- (log -1) (log (/ -1 y)))))
  (+ (fma y (log y) 1) x)
  (exp (- (fma y (log y) x) z))
  (exp (- (fma y (log y) x) z))
4.072 * * * [progress]: adding candidates to table
4.171 * * [progress]: iteration 2 / 4
4.171 * * * [progress]: picking best candidate
4.173 * * * * [pick]: Picked  #<alt (λ (x y z) (* (pow y y) (exp (- x z))))>
4.173 * * * [progress]: localizing error
4.180 * * * [progress]: generating rewritten candidates
4.180 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
4.215 * * * [progress]: generating series expansions
4.215 * * * * [progress]: [ 1 / 1 ] generating series at (2)
4.216 * [approximate]: Taking taylor expansion of (* (pow y y) (exp (- x z))) in (y x z) around 0
4.216 * [taylor]: Taking taylor expansion of (* (pow y y) (exp (- x z))) in z
4.216 * [taylor]: Taking taylor expansion of (pow y y) in z
4.216 * [taylor]: Taking taylor expansion of (exp (* y (log y))) in z
4.216 * [taylor]: Taking taylor expansion of (* y (log y)) in z
4.216 * [taylor]: Taking taylor expansion of y in z
4.216 * [taylor]: Taking taylor expansion of (log y) in z
4.216 * [taylor]: Taking taylor expansion of y in z
4.216 * [taylor]: Taking taylor expansion of (exp (- x z)) in z
4.216 * [taylor]: Taking taylor expansion of (- x z) in z
4.216 * [taylor]: Taking taylor expansion of x in z
4.216 * [taylor]: Taking taylor expansion of z in z
4.216 * [taylor]: Taking taylor expansion of (* (pow y y) (exp (- x z))) in x
4.216 * [taylor]: Taking taylor expansion of (pow y y) in x
4.217 * [taylor]: Taking taylor expansion of (exp (* y (log y))) in x
4.217 * [taylor]: Taking taylor expansion of (* y (log y)) in x
4.217 * [taylor]: Taking taylor expansion of y in x
4.217 * [taylor]: Taking taylor expansion of (log y) in x
4.217 * [taylor]: Taking taylor expansion of y in x
4.217 * [taylor]: Taking taylor expansion of (exp (- x z)) in x
4.217 * [taylor]: Taking taylor expansion of (- x z) in x
4.217 * [taylor]: Taking taylor expansion of x in x
4.217 * [taylor]: Taking taylor expansion of z in x
4.217 * [taylor]: Taking taylor expansion of (* (pow y y) (exp (- x z))) in y
4.217 * [taylor]: Taking taylor expansion of (pow y y) in y
4.217 * [taylor]: Taking taylor expansion of (exp (* y (log y))) in y
4.217 * [taylor]: Taking taylor expansion of (* y (log y)) in y
4.217 * [taylor]: Taking taylor expansion of y in y
4.217 * [taylor]: Taking taylor expansion of (log y) in y
4.217 * [taylor]: Taking taylor expansion of y in y
4.219 * [taylor]: Taking taylor expansion of (exp (- x z)) in y
4.219 * [taylor]: Taking taylor expansion of (- x z) in y
4.219 * [taylor]: Taking taylor expansion of x in y
4.219 * [taylor]: Taking taylor expansion of z in y
4.219 * [taylor]: Taking taylor expansion of (* (pow y y) (exp (- x z))) in y
4.219 * [taylor]: Taking taylor expansion of (pow y y) in y
4.219 * [taylor]: Taking taylor expansion of (exp (* y (log y))) in y
4.219 * [taylor]: Taking taylor expansion of (* y (log y)) in y
4.219 * [taylor]: Taking taylor expansion of y in y
4.219 * [taylor]: Taking taylor expansion of (log y) in y
4.219 * [taylor]: Taking taylor expansion of y in y
4.221 * [taylor]: Taking taylor expansion of (exp (- x z)) in y
4.221 * [taylor]: Taking taylor expansion of (- x z) in y
4.221 * [taylor]: Taking taylor expansion of x in y
4.221 * [taylor]: Taking taylor expansion of z in y
4.221 * [taylor]: Taking taylor expansion of (exp (- x z)) in x
4.221 * [taylor]: Taking taylor expansion of (- x z) in x
4.221 * [taylor]: Taking taylor expansion of x in x
4.221 * [taylor]: Taking taylor expansion of z in x
4.221 * [taylor]: Taking taylor expansion of (exp (- z)) in z
4.221 * [taylor]: Taking taylor expansion of (- z) in z
4.221 * [taylor]: Taking taylor expansion of z in z
4.223 * [taylor]: Taking taylor expansion of (* (log y) (exp (- x z))) in x
4.223 * [taylor]: Taking taylor expansion of (log y) in x
4.223 * [taylor]: Taking taylor expansion of y in x
4.223 * [taylor]: Taking taylor expansion of (exp (- x z)) in x
4.223 * [taylor]: Taking taylor expansion of (- x z) in x
4.223 * [taylor]: Taking taylor expansion of x in x
4.223 * [taylor]: Taking taylor expansion of z in x
4.223 * [taylor]: Taking taylor expansion of (* (exp (- z)) (log y)) in z
4.223 * [taylor]: Taking taylor expansion of (exp (- z)) in z
4.223 * [taylor]: Taking taylor expansion of (- z) in z
4.223 * [taylor]: Taking taylor expansion of z in z
4.224 * [taylor]: Taking taylor expansion of (log y) in z
4.224 * [taylor]: Taking taylor expansion of y in z
4.225 * [taylor]: Taking taylor expansion of (exp (- z)) in z
4.225 * [taylor]: Taking taylor expansion of (- z) in z
4.225 * [taylor]: Taking taylor expansion of z in z
4.226 * [approximate]: Taking taylor expansion of (* (exp (- (/ 1 x) (/ 1 z))) (pow (/ 1 y) (/ 1 y))) in (y x z) around 0
4.226 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 x) (/ 1 z))) (pow (/ 1 y) (/ 1 y))) in z
4.226 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x) (/ 1 z))) in z
4.226 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
4.226 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.226 * [taylor]: Taking taylor expansion of x in z
4.226 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.226 * [taylor]: Taking taylor expansion of z in z
4.227 * [taylor]: Taking taylor expansion of (pow (/ 1 y) (/ 1 y)) in z
4.227 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (/ 1 y)))) in z
4.227 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in z
4.227 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.227 * [taylor]: Taking taylor expansion of y in z
4.227 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
4.227 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.227 * [taylor]: Taking taylor expansion of y in z
4.227 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 x) (/ 1 z))) (pow (/ 1 y) (/ 1 y))) in x
4.227 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x) (/ 1 z))) in x
4.227 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
4.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.227 * [taylor]: Taking taylor expansion of x in x
4.227 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.227 * [taylor]: Taking taylor expansion of z in x
4.228 * [taylor]: Taking taylor expansion of (pow (/ 1 y) (/ 1 y)) in x
4.228 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (/ 1 y)))) in x
4.228 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in x
4.228 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.228 * [taylor]: Taking taylor expansion of y in x
4.228 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
4.228 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.228 * [taylor]: Taking taylor expansion of y in x
4.228 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 x) (/ 1 z))) (pow (/ 1 y) (/ 1 y))) in y
4.228 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x) (/ 1 z))) in y
4.228 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
4.228 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.228 * [taylor]: Taking taylor expansion of x in y
4.228 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.228 * [taylor]: Taking taylor expansion of z in y
4.228 * [taylor]: Taking taylor expansion of (pow (/ 1 y) (/ 1 y)) in y
4.228 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (/ 1 y)))) in y
4.228 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y
4.228 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.228 * [taylor]: Taking taylor expansion of y in y
4.229 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
4.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.229 * [taylor]: Taking taylor expansion of y in y
4.230 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 x) (/ 1 z))) (pow (/ 1 y) (/ 1 y))) in y
4.230 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x) (/ 1 z))) in y
4.230 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
4.230 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.230 * [taylor]: Taking taylor expansion of x in y
4.230 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.230 * [taylor]: Taking taylor expansion of z in y
4.230 * [taylor]: Taking taylor expansion of (pow (/ 1 y) (/ 1 y)) in y
4.230 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (/ 1 y)))) in y
4.230 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y
4.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.230 * [taylor]: Taking taylor expansion of y in y
4.230 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
4.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.230 * [taylor]: Taking taylor expansion of y in y
4.231 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 x) (/ 1 z))) (exp (/ (log (/ 1 y)) y))) in x
4.231 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x) (/ 1 z))) in x
4.231 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
4.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.231 * [taylor]: Taking taylor expansion of x in x
4.234 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.234 * [taylor]: Taking taylor expansion of z in x
4.235 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 y)) y)) in x
4.235 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x
4.235 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
4.235 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.235 * [taylor]: Taking taylor expansion of y in x
4.235 * [taylor]: Taking taylor expansion of y in x
4.235 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 x) (/ 1 z))) (exp (/ (log (/ 1 y)) y))) in z
4.235 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x) (/ 1 z))) in z
4.235 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
4.235 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.235 * [taylor]: Taking taylor expansion of x in z
4.235 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.235 * [taylor]: Taking taylor expansion of z in z
4.236 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 y)) y)) in z
4.236 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in z
4.236 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
4.236 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.236 * [taylor]: Taking taylor expansion of y in z
4.236 * [taylor]: Taking taylor expansion of y in z
4.238 * [taylor]: Taking taylor expansion of 0 in x
4.238 * [taylor]: Taking taylor expansion of 0 in z
4.239 * [taylor]: Taking taylor expansion of 0 in z
4.242 * [taylor]: Taking taylor expansion of 0 in x
4.242 * [taylor]: Taking taylor expansion of 0 in z
4.243 * [taylor]: Taking taylor expansion of 0 in z
4.245 * [taylor]: Taking taylor expansion of 0 in z
4.245 * [approximate]: Taking taylor expansion of (* (pow (/ -1 y) (/ -1 y)) (exp (- (/ 1 z) (/ 1 x)))) in (y x z) around 0
4.245 * [taylor]: Taking taylor expansion of (* (pow (/ -1 y) (/ -1 y)) (exp (- (/ 1 z) (/ 1 x)))) in z
4.245 * [taylor]: Taking taylor expansion of (pow (/ -1 y) (/ -1 y)) in z
4.245 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (/ -1 y)))) in z
4.246 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in z
4.246 * [taylor]: Taking taylor expansion of (/ -1 y) in z
4.246 * [taylor]: Taking taylor expansion of -1 in z
4.246 * [taylor]: Taking taylor expansion of y in z
4.246 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
4.246 * [taylor]: Taking taylor expansion of (/ -1 y) in z
4.246 * [taylor]: Taking taylor expansion of -1 in z
4.246 * [taylor]: Taking taylor expansion of y in z
4.246 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z) (/ 1 x))) in z
4.246 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
4.246 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.246 * [taylor]: Taking taylor expansion of z in z
4.246 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.246 * [taylor]: Taking taylor expansion of x in z
4.247 * [taylor]: Taking taylor expansion of (* (pow (/ -1 y) (/ -1 y)) (exp (- (/ 1 z) (/ 1 x)))) in x
4.247 * [taylor]: Taking taylor expansion of (pow (/ -1 y) (/ -1 y)) in x
4.247 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (/ -1 y)))) in x
4.247 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in x
4.247 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.247 * [taylor]: Taking taylor expansion of -1 in x
4.247 * [taylor]: Taking taylor expansion of y in x
4.247 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
4.247 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.247 * [taylor]: Taking taylor expansion of -1 in x
4.247 * [taylor]: Taking taylor expansion of y in x
4.247 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z) (/ 1 x))) in x
4.247 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
4.247 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.247 * [taylor]: Taking taylor expansion of z in x
4.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.247 * [taylor]: Taking taylor expansion of x in x
4.248 * [taylor]: Taking taylor expansion of (* (pow (/ -1 y) (/ -1 y)) (exp (- (/ 1 z) (/ 1 x)))) in y
4.248 * [taylor]: Taking taylor expansion of (pow (/ -1 y) (/ -1 y)) in y
4.248 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (/ -1 y)))) in y
4.248 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y
4.248 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.248 * [taylor]: Taking taylor expansion of -1 in y
4.248 * [taylor]: Taking taylor expansion of y in y
4.248 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
4.249 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.249 * [taylor]: Taking taylor expansion of -1 in y
4.249 * [taylor]: Taking taylor expansion of y in y
4.250 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z) (/ 1 x))) in y
4.250 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
4.250 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.250 * [taylor]: Taking taylor expansion of z in y
4.250 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.250 * [taylor]: Taking taylor expansion of x in y
4.250 * [taylor]: Taking taylor expansion of (* (pow (/ -1 y) (/ -1 y)) (exp (- (/ 1 z) (/ 1 x)))) in y
4.250 * [taylor]: Taking taylor expansion of (pow (/ -1 y) (/ -1 y)) in y
4.250 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (/ -1 y)))) in y
4.250 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y
4.250 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.250 * [taylor]: Taking taylor expansion of -1 in y
4.251 * [taylor]: Taking taylor expansion of y in y
4.251 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
4.251 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.251 * [taylor]: Taking taylor expansion of -1 in y
4.251 * [taylor]: Taking taylor expansion of y in y
4.252 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z) (/ 1 x))) in y
4.252 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
4.252 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.252 * [taylor]: Taking taylor expansion of z in y
4.252 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.252 * [taylor]: Taking taylor expansion of x in y
4.253 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 z) (/ 1 x))) (exp (* -1 (/ (log (/ -1 y)) y)))) in x
4.253 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z) (/ 1 x))) in x
4.253 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
4.253 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.253 * [taylor]: Taking taylor expansion of z in x
4.253 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.253 * [taylor]: Taking taylor expansion of x in x
4.254 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ -1 y)) y))) in x
4.254 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) y)) in x
4.254 * [taylor]: Taking taylor expansion of -1 in x
4.254 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x
4.254 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
4.254 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.254 * [taylor]: Taking taylor expansion of -1 in x
4.254 * [taylor]: Taking taylor expansion of y in x
4.254 * [taylor]: Taking taylor expansion of y in x
4.254 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 z) (/ 1 x))) (exp (* -1 (/ (log (/ -1 y)) y)))) in z
4.254 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z) (/ 1 x))) in z
4.254 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
4.254 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.254 * [taylor]: Taking taylor expansion of z in z
4.255 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.255 * [taylor]: Taking taylor expansion of x in z
4.255 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ -1 y)) y))) in z
4.255 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) y)) in z
4.255 * [taylor]: Taking taylor expansion of -1 in z
4.255 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in z
4.255 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
4.255 * [taylor]: Taking taylor expansion of (/ -1 y) in z
4.255 * [taylor]: Taking taylor expansion of -1 in z
4.255 * [taylor]: Taking taylor expansion of y in z
4.255 * [taylor]: Taking taylor expansion of y in z
4.257 * [taylor]: Taking taylor expansion of 0 in x
4.257 * [taylor]: Taking taylor expansion of 0 in z
4.259 * [taylor]: Taking taylor expansion of 0 in z
4.262 * [taylor]: Taking taylor expansion of 0 in x
4.262 * [taylor]: Taking taylor expansion of 0 in z
4.262 * [taylor]: Taking taylor expansion of 0 in z
4.265 * [taylor]: Taking taylor expansion of 0 in z
4.266 * * * [progress]: simplifying candidates
4.267 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (pow y y) (exp (- x z))))
  (log1p (* (pow y y) (exp (- x z))))
  (+ (* (log y) y) (- x z))
  (+ (* (log y) y) (- x z))
  (+ (log (pow y y)) (- x z))
  (log (* (pow y y) (exp (- x z))))
  (exp (* (pow y y) (exp (- x z))))
  (* (* (* (pow y y) (pow y y)) (pow y y)) (* (* (exp (- x z)) (exp (- x z))) (exp (- x z))))
  (* (cbrt (* (pow y y) (exp (- x z)))) (cbrt (* (pow y y) (exp (- x z)))))
  (cbrt (* (pow y y) (exp (- x z))))
  (* (* (* (pow y y) (exp (- x z))) (* (pow y y) (exp (- x z)))) (* (pow y y) (exp (- x z))))
  (sqrt (* (pow y y) (exp (- x z))))
  (sqrt (* (pow y y) (exp (- x z))))
  (* (pow (sqrt y) y) (sqrt (exp (- x z))))
  (* (pow (sqrt y) y) (sqrt (exp (- x z))))
  (* (sqrt (pow y y)) (sqrt (exp (- x z))))
  (* (sqrt (pow y y)) (sqrt (exp (- x z))))
  (* (pow y (/ y 2)) (sqrt (exp (- x z))))
  (* (pow y (/ y 2)) (sqrt (exp (- x z))))
  (* (pow y y) (exp (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))))
  (* (pow y y) (exp (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt z) (sqrt z))))))
  (* (pow y y) (exp (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z 1)))))
  (* (pow y y) (exp (fma (sqrt x) (sqrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))))
  (* (pow y y) (exp (fma (sqrt x) (sqrt x) (- (* (sqrt z) (sqrt z))))))
  (* (pow y y) (exp (fma (sqrt x) (sqrt x) (- (* z 1)))))
  (* (pow y y) (exp (fma 1 x (- (* (cbrt z) (* (cbrt z) (cbrt z)))))))
  (* (pow y y) (exp (fma 1 x (- (* (sqrt z) (sqrt z))))))
  (* (pow y y) (exp (fma 1 x (- (* z 1)))))
  (* (pow y y) (exp x))
  (* (pow y y) (exp x))
  (* (pow y y) (* (cbrt (exp (- x z))) (cbrt (exp (- x z)))))
  (* (pow y y) (sqrt (exp (- x z))))
  (* (pow y y) 1)
  (* (pow (cbrt y) y) (exp (- x z)))
  (* (pow (sqrt y) y) (exp (- x z)))
  (* (pow y y) (exp (- x z)))
  (* (cbrt (pow y y)) (exp (- x z)))
  (* (sqrt (pow y y)) (exp (- x z)))
  (* (pow y y) (exp (- x z)))
  (* (pow y (/ y 2)) (exp (- x z)))
  (* (pow y y) (exp x))
  (+ x (+ (* y (log y)) 1))
  (* (exp (- x z)) (pow y y))
  (* (exp (- x z)) (pow y y))
4.269 * * [simplify]: iteration  0 :  95  enodes  (cost  503 )
4.284 * * [simplify]: iteration  1 :  191  enodes  (cost  461 )
4.330 * * [simplify]: iteration  2 :  564  enodes  (cost  406 )
4.576 * * [simplify]: iteration  3 :  2139  enodes  (cost  394 )
5.673 * * [simplify]: iteration  done :  5001  enodes  (cost  394 )
5.674 * [simplify]: Simplified to:
   (expm1 (* (pow y y) (exp (- x z))))
  (log1p (* (pow y y) (exp (- x z))))
  (fma y (log y) (- x z))
  (fma y (log y) (- x z))
  (fma y (log y) (- x z))
  (fma y (log y) (- x z))
  (exp (* (pow y y) (exp (- x z))))
  (pow (* (exp (- x z)) (pow y y)) 3)
  (* (cbrt (* (pow y y) (exp (- x z)))) (cbrt (* (pow y y) (exp (- x z)))))
  (cbrt (* (pow y y) (exp (- x z))))
  (pow (* (exp (- x z)) (pow y y)) 3)
  (sqrt (* (pow y y) (exp (- x z))))
  (sqrt (* (pow y y) (exp (- x z))))
  (* (pow (sqrt y) y) (sqrt (exp (- x z))))
  (* (pow (sqrt y) y) (sqrt (exp (- x z))))
  (* (sqrt (pow y y)) (sqrt (exp (- x z))))
  (* (sqrt (pow y y)) (sqrt (exp (- x z))))
  (* (pow y (/ y 2)) (sqrt (exp (- x z))))
  (* (pow y (/ y 2)) (sqrt (exp (- x z))))
  (* (exp (- (pow (cbrt x) 3) z)) (pow y y))
  (* (exp (- (pow (cbrt x) 3) z)) (pow y y))
  (* (exp (- (pow (cbrt x) 3) z)) (pow y y))
  (* (exp (- x z)) (pow y y))
  (* (exp (- x z)) (pow y y))
  (* (exp (- x z)) (pow y y))
  (* (exp (- x z)) (pow y y))
  (* (exp (- x z)) (pow y y))
  (* (exp (- x z)) (pow y y))
  (* (pow y y) (exp x))
  (* (pow y y) (exp x))
  (* (pow y y) (* (cbrt (exp (- x z))) (cbrt (exp (- x z)))))
  (* (pow y y) (sqrt (exp (- x z))))
  (pow y y)
  (* (pow (cbrt y) y) (exp (- x z)))
  (* (pow (sqrt y) y) (exp (- x z)))
  (* (exp (- x z)) (pow y y))
  (* (cbrt (pow y y)) (exp (- x z)))
  (* (sqrt (pow y y)) (exp (- x z)))
  (* (exp (- x z)) (pow y y))
  (* (exp (- x z)) (pow y (/ y 2)))
  (* (pow y y) (exp x))
  (+ x (fma y (log y) 1))
  (* (exp (- x z)) (pow y y))
  (* (exp (- x z)) (pow y y))
5.674 * * * [progress]: adding candidates to table
5.777 * [progress]: [Phase 3 of 3] Extracting.
5.777 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* (pow y y) (exp (- x z))))> #<alt (λ (x y z) (exp (- (fma y (log y) x) z)))>)
5.777 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
5.777 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* (pow y y) (exp (- x z))))> #<alt (λ (x y z) (exp (- (fma y (log y) x) z)))>)
5.790 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* (pow y y) (exp (- x z))))> #<alt (λ (x y z) (exp (- (fma y (log y) x) z)))>)
5.804 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* (pow y y) (exp (- x z))))> #<alt (λ (x y z) (exp (- (fma y (log y) x) z)))>)
5.820 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
5.820 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (exp (- (fma y (log y) x) z))
5.820 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
5.821 * * [simplify]: iteration  done :  7  enodes  (cost  8 )
5.821 * [simplify]: Simplified to:
   (exp (- (fma y (log y) x) z))
7.954 * [regime-testing]: Baseline error score: 0.009055606703166868
7.954 * [regime-testing]: Oracle error score: 0.000540308550429724
7.956 * [regime-testing]: End program error score: 0.009055606703166868
7.991 * [regime-testing]: Target error score: 0.009055606703166868