21.776 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.032 * * * [progress]: [2/2] Setting up program.
0.037 * [progress]: [Phase 2 of 3] Improving.
0.037 * [simplify]: Simplifying:
  (* x (exp (* y y)))
0.038 * * [simplify]: Extracting # 0 : cost  0
0.038 * * [simplify]: Extracting # 1 : cost  0
0.038 * * [simplify]: Extracting # 2 : cost  0
0.038 * * [simplify]: Extracting # 3 : cost  0
0.038 * * [simplify]: Extracting # 4 : cost  0
0.038 * * [simplify]: Extracting # 5 : cost  0
0.038 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
0.039 * * [simplify]: Extracting # 0 : cost  0
0.039 * * [simplify]: Extracting # 1 : cost  0
0.039 * * [simplify]: Extracting # 2 : cost  0
0.039 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
0.042 * * [simplify]: Extracting # 0 : cost  0
0.042 * * [simplify]: Extracting # 1 : cost  0
0.042 * * [simplify]: Extracting # 2 : cost  0
0.042 * * [simplify]: Extracting # 3 : cost  0
0.042 * * [simplify]: Extracting # 4 : cost  0
0.042 * * [simplify]: iteration  2 :  12  enodes  (cost  6 )
0.045 * * [simplify]: Extracting # 0 : cost  0
0.045 * * [simplify]: Extracting # 1 : cost  0
0.045 * * [simplify]: Extracting # 2 : cost  0
0.045 * * [simplify]: Extracting # 3 : cost  0
0.045 * * [simplify]: iteration  3 :  21  enodes  (cost  6 )
0.053 * * [simplify]: Extracting # 0 : cost  0
0.053 * * [simplify]: Extracting # 1 : cost  0
0.053 * * [simplify]: Extracting # 2 : cost  0
0.053 * * [simplify]: Extracting # 3 : cost  0
0.053 * * [simplify]: Extracting # 4 : cost  0
0.053 * * [simplify]: iteration  4 :  48  enodes  (cost  6 )
0.072 * * [simplify]: Extracting # 0 : cost  0
0.073 * * [simplify]: Extracting # 1 : cost  0
0.073 * * [simplify]: Extracting # 2 : cost  0
0.073 * * [simplify]: Extracting # 3 : cost  0
0.073 * * [simplify]: Extracting # 4 : cost  0
0.073 * * [simplify]: iteration  5 :  134  enodes  (cost  6 )
0.169 * * [simplify]: Extracting # 0 : cost  0
0.170 * * [simplify]: Extracting # 1 : cost  0
0.171 * * [simplify]: Extracting # 2 : cost  0
0.172 * * [simplify]: Extracting # 3 : cost  0
0.173 * * [simplify]: Extracting # 4 : cost  0
0.175 * * [simplify]: iteration  6 :  677  enodes  (cost  6 )
1.359 * * [simplify]: Extracting # 0 : cost  0
1.375 * * [simplify]: Extracting # 1 : cost  0
1.388 * * [simplify]: Extracting # 2 : cost  0
1.396 * * [simplify]: Extracting # 3 : cost  0
1.405 * * [simplify]: Extracting # 4 : cost  0
1.413 * * [simplify]: Extracting # 5 : cost  0
1.422 * * [simplify]: iteration done:  5000  enodes  (cost  6 )
1.422 * [simplify]: Simplified to:
  (* x (exp (* y y)))
1.423 * * [progress]: iteration 1 / 4
1.423 * * * [progress]: picking best candidate
1.427 * * * * [pick]: Picked  #<alt (λ (x y) (* x (exp (* y y))))>
1.427 * * * [progress]: localizing error
1.441 * * * [progress]: generating rewritten candidates
1.441 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.449 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.474 * * * [progress]: generating series expansions
1.474 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.475 * [backup-simplify]: Simplify (exp (* y y)) into (exp (pow y 2))
1.475 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0
1.475 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.475 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.475 * [taylor]: Taking taylor expansion of y in y
1.475 * [backup-simplify]: Simplify 0 into 0
1.475 * [backup-simplify]: Simplify 1 into 1
1.476 * [backup-simplify]: Simplify (* 1 1) into 1
1.476 * [backup-simplify]: Simplify (exp 0) into 1
1.476 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.476 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.476 * [taylor]: Taking taylor expansion of y in y
1.476 * [backup-simplify]: Simplify 0 into 0
1.476 * [backup-simplify]: Simplify 1 into 1
1.476 * [backup-simplify]: Simplify (* 1 1) into 1
1.476 * [backup-simplify]: Simplify (exp 0) into 1
1.477 * [backup-simplify]: Simplify 1 into 1
1.478 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
1.478 * [backup-simplify]: Simplify 0 into 0
1.486 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
1.486 * [backup-simplify]: Simplify 1 into 1
1.487 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.490 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.490 * [backup-simplify]: Simplify 0 into 0
1.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.495 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.495 * [backup-simplify]: Simplify 1/2 into 1/2
1.496 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
1.496 * [backup-simplify]: Simplify (exp (* (/ 1 y) (/ 1 y))) into (exp (/ 1 (pow y 2)))
1.496 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
1.496 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.496 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.496 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.496 * [taylor]: Taking taylor expansion of y in y
1.496 * [backup-simplify]: Simplify 0 into 0
1.496 * [backup-simplify]: Simplify 1 into 1
1.497 * [backup-simplify]: Simplify (* 1 1) into 1
1.497 * [backup-simplify]: Simplify (/ 1 1) into 1
1.498 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.498 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.498 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.498 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.498 * [taylor]: Taking taylor expansion of y in y
1.498 * [backup-simplify]: Simplify 0 into 0
1.498 * [backup-simplify]: Simplify 1 into 1
1.498 * [backup-simplify]: Simplify (* 1 1) into 1
1.499 * [backup-simplify]: Simplify (/ 1 1) into 1
1.499 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.499 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.500 * [backup-simplify]: Simplify 0 into 0
1.500 * [backup-simplify]: Simplify 0 into 0
1.500 * [backup-simplify]: Simplify 0 into 0
1.500 * [backup-simplify]: Simplify 0 into 0
1.500 * [backup-simplify]: Simplify 0 into 0
1.500 * [backup-simplify]: Simplify 0 into 0
1.500 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2))
1.500 * [backup-simplify]: Simplify (exp (* (/ 1 (- y)) (/ 1 (- y)))) into (exp (/ 1 (pow y 2)))
1.500 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
1.500 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.500 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.500 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.501 * [taylor]: Taking taylor expansion of y in y
1.501 * [backup-simplify]: Simplify 0 into 0
1.501 * [backup-simplify]: Simplify 1 into 1
1.501 * [backup-simplify]: Simplify (* 1 1) into 1
1.502 * [backup-simplify]: Simplify (/ 1 1) into 1
1.502 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.502 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.502 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.502 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.502 * [taylor]: Taking taylor expansion of y in y
1.502 * [backup-simplify]: Simplify 0 into 0
1.502 * [backup-simplify]: Simplify 1 into 1
1.503 * [backup-simplify]: Simplify (* 1 1) into 1
1.503 * [backup-simplify]: Simplify (/ 1 1) into 1
1.504 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.504 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.504 * [backup-simplify]: Simplify 0 into 0
1.504 * [backup-simplify]: Simplify 0 into 0
1.504 * [backup-simplify]: Simplify 0 into 0
1.504 * [backup-simplify]: Simplify 0 into 0
1.504 * [backup-simplify]: Simplify 0 into 0
1.504 * [backup-simplify]: Simplify 0 into 0
1.505 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2))
1.505 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.505 * [backup-simplify]: Simplify (* x (exp (* y y))) into (* x (exp (pow y 2)))
1.505 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0
1.505 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y
1.505 * [taylor]: Taking taylor expansion of x in y
1.505 * [backup-simplify]: Simplify x into x
1.505 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.505 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.505 * [taylor]: Taking taylor expansion of y in y
1.505 * [backup-simplify]: Simplify 0 into 0
1.505 * [backup-simplify]: Simplify 1 into 1
1.506 * [backup-simplify]: Simplify (* 1 1) into 1
1.506 * [backup-simplify]: Simplify (exp 0) into 1
1.506 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x
1.506 * [taylor]: Taking taylor expansion of x in x
1.506 * [backup-simplify]: Simplify 0 into 0
1.506 * [backup-simplify]: Simplify 1 into 1
1.506 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x
1.506 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.506 * [taylor]: Taking taylor expansion of y in x
1.506 * [backup-simplify]: Simplify y into y
1.506 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.506 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
1.506 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x
1.506 * [taylor]: Taking taylor expansion of x in x
1.506 * [backup-simplify]: Simplify 0 into 0
1.506 * [backup-simplify]: Simplify 1 into 1
1.506 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x
1.506 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.507 * [taylor]: Taking taylor expansion of y in x
1.507 * [backup-simplify]: Simplify y into y
1.507 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.507 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
1.507 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0
1.507 * [taylor]: Taking taylor expansion of 0 in y
1.507 * [backup-simplify]: Simplify 0 into 0
1.507 * [backup-simplify]: Simplify 0 into 0
1.507 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.509 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0
1.509 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2))
1.509 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.509 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.510 * [taylor]: Taking taylor expansion of y in y
1.510 * [backup-simplify]: Simplify 0 into 0
1.510 * [backup-simplify]: Simplify 1 into 1
1.510 * [backup-simplify]: Simplify (* 1 1) into 1
1.510 * [backup-simplify]: Simplify (exp 0) into 1
1.510 * [backup-simplify]: Simplify 1 into 1
1.510 * [backup-simplify]: Simplify 0 into 0
1.511 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.512 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.514 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0
1.514 * [taylor]: Taking taylor expansion of 0 in y
1.514 * [backup-simplify]: Simplify 0 into 0
1.514 * [backup-simplify]: Simplify 0 into 0
1.515 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
1.515 * [backup-simplify]: Simplify 0 into 0
1.515 * [backup-simplify]: Simplify 0 into 0
1.517 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.519 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.520 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0
1.520 * [taylor]: Taking taylor expansion of 0 in y
1.520 * [backup-simplify]: Simplify 0 into 0
1.520 * [backup-simplify]: Simplify 0 into 0
1.520 * [backup-simplify]: Simplify 0 into 0
1.521 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x
1.521 * [backup-simplify]: Simplify (* (/ 1 x) (exp (* (/ 1 y) (/ 1 y)))) into (/ (exp (/ 1 (pow y 2))) x)
1.521 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0
1.521 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y
1.521 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.521 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.521 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.521 * [taylor]: Taking taylor expansion of y in y
1.521 * [backup-simplify]: Simplify 0 into 0
1.521 * [backup-simplify]: Simplify 1 into 1
1.522 * [backup-simplify]: Simplify (* 1 1) into 1
1.522 * [backup-simplify]: Simplify (/ 1 1) into 1
1.523 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.523 * [taylor]: Taking taylor expansion of x in y
1.523 * [backup-simplify]: Simplify x into x
1.523 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
1.523 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.523 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.523 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.523 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.523 * [taylor]: Taking taylor expansion of y in x
1.523 * [backup-simplify]: Simplify y into y
1.523 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.523 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.523 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.523 * [taylor]: Taking taylor expansion of x in x
1.524 * [backup-simplify]: Simplify 0 into 0
1.524 * [backup-simplify]: Simplify 1 into 1
1.524 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.524 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.524 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.524 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.524 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.524 * [taylor]: Taking taylor expansion of y in x
1.524 * [backup-simplify]: Simplify y into y
1.524 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.524 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.524 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.524 * [taylor]: Taking taylor expansion of x in x
1.524 * [backup-simplify]: Simplify 0 into 0
1.524 * [backup-simplify]: Simplify 1 into 1
1.525 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.525 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.525 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.525 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.525 * [taylor]: Taking taylor expansion of y in y
1.525 * [backup-simplify]: Simplify 0 into 0
1.525 * [backup-simplify]: Simplify 1 into 1
1.525 * [backup-simplify]: Simplify (* 1 1) into 1
1.526 * [backup-simplify]: Simplify (/ 1 1) into 1
1.526 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.526 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.527 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.527 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
1.528 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
1.530 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
1.530 * [taylor]: Taking taylor expansion of 0 in y
1.530 * [backup-simplify]: Simplify 0 into 0
1.530 * [backup-simplify]: Simplify 0 into 0
1.530 * [backup-simplify]: Simplify 0 into 0
1.531 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.531 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.533 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.535 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.535 * [taylor]: Taking taylor expansion of 0 in y
1.535 * [backup-simplify]: Simplify 0 into 0
1.535 * [backup-simplify]: Simplify 0 into 0
1.535 * [backup-simplify]: Simplify 0 into 0
1.535 * [backup-simplify]: Simplify 0 into 0
1.536 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.537 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.539 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.542 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.542 * [taylor]: Taking taylor expansion of 0 in y
1.542 * [backup-simplify]: Simplify 0 into 0
1.542 * [backup-simplify]: Simplify 0 into 0
1.543 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2)))
1.543 * [backup-simplify]: Simplify (* (/ 1 (- x)) (exp (* (/ 1 (- y)) (/ 1 (- y))))) into (* -1 (/ (exp (/ 1 (pow y 2))) x))
1.543 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0
1.543 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y
1.543 * [taylor]: Taking taylor expansion of -1 in y
1.543 * [backup-simplify]: Simplify -1 into -1
1.543 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y
1.543 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.543 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.543 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.543 * [taylor]: Taking taylor expansion of y in y
1.543 * [backup-simplify]: Simplify 0 into 0
1.543 * [backup-simplify]: Simplify 1 into 1
1.544 * [backup-simplify]: Simplify (* 1 1) into 1
1.544 * [backup-simplify]: Simplify (/ 1 1) into 1
1.545 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.545 * [taylor]: Taking taylor expansion of x in y
1.545 * [backup-simplify]: Simplify x into x
1.545 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
1.545 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x
1.545 * [taylor]: Taking taylor expansion of -1 in x
1.545 * [backup-simplify]: Simplify -1 into -1
1.545 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.545 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.545 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.545 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.545 * [taylor]: Taking taylor expansion of y in x
1.545 * [backup-simplify]: Simplify y into y
1.545 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.545 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.546 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.546 * [taylor]: Taking taylor expansion of x in x
1.546 * [backup-simplify]: Simplify 0 into 0
1.546 * [backup-simplify]: Simplify 1 into 1
1.546 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.546 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x
1.546 * [taylor]: Taking taylor expansion of -1 in x
1.546 * [backup-simplify]: Simplify -1 into -1
1.546 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.546 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.546 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.546 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.546 * [taylor]: Taking taylor expansion of y in x
1.546 * [backup-simplify]: Simplify y into y
1.546 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.546 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.547 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.547 * [taylor]: Taking taylor expansion of x in x
1.547 * [backup-simplify]: Simplify 0 into 0
1.547 * [backup-simplify]: Simplify 1 into 1
1.547 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.547 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
1.547 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y
1.547 * [taylor]: Taking taylor expansion of -1 in y
1.547 * [backup-simplify]: Simplify -1 into -1
1.547 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.547 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.547 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.547 * [taylor]: Taking taylor expansion of y in y
1.547 * [backup-simplify]: Simplify 0 into 0
1.547 * [backup-simplify]: Simplify 1 into 1
1.548 * [backup-simplify]: Simplify (* 1 1) into 1
1.548 * [backup-simplify]: Simplify (/ 1 1) into 1
1.549 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.549 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
1.549 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
1.549 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.550 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
1.551 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
1.552 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
1.553 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
1.553 * [taylor]: Taking taylor expansion of 0 in y
1.553 * [backup-simplify]: Simplify 0 into 0
1.553 * [backup-simplify]: Simplify 0 into 0
1.554 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
1.554 * [backup-simplify]: Simplify 0 into 0
1.554 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.555 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.557 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.558 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.560 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
1.560 * [taylor]: Taking taylor expansion of 0 in y
1.560 * [backup-simplify]: Simplify 0 into 0
1.560 * [backup-simplify]: Simplify 0 into 0
1.560 * [backup-simplify]: Simplify 0 into 0
1.561 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
1.561 * [backup-simplify]: Simplify 0 into 0
1.562 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.563 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.565 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.567 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.569 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0
1.569 * [taylor]: Taking taylor expansion of 0 in y
1.569 * [backup-simplify]: Simplify 0 into 0
1.569 * [backup-simplify]: Simplify 0 into 0
1.569 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2)))
1.569 * * * [progress]: simplifying candidates
1.570 * [simplify]: Simplifying:
  (expm1 (exp (* y y)))
  (log1p (exp (* y y)))
  (exp y)
  (log (exp (* y y)))
  (exp (exp (* y y)))
  (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))
  (cbrt (exp (* y y)))
  (* (* (exp (* y y)) (exp (* y y))) (exp (* y y)))
  (sqrt (exp (* y y)))
  (sqrt (exp (* y y)))
  (expm1 (* x (exp (* y y))))
  (log1p (* x (exp (* y y))))
  (* x (exp (* y y)))
  (+ (log x) (* y y))
  (log (* x (exp (* y y))))
  (exp (* x (exp (* y y))))
  (* (* (* x x) x) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y))))
  (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y)))))
  (cbrt (* x (exp (* y y))))
  (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y))))
  (sqrt (* x (exp (* y y))))
  (sqrt (* x (exp (* y y))))
  (* (sqrt x) (sqrt (exp (* y y))))
  (* (sqrt x) (sqrt (exp (* y y))))
  (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))))
  (* x (sqrt (exp (* y y))))
  (* x 1)
  (* (cbrt x) (exp (* y y)))
  (* (sqrt x) (exp (* y y)))
  (* x (exp (* y y)))
  (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
  (exp (pow y 2))
  (exp (pow y 2))
  x
  (* x (exp (pow y 2)))
  (* x (exp (pow y 2)))
1.571 * * [simplify]: Extracting # 0 : cost  0
1.571 * * [simplify]: Extracting # 1 : cost  0
1.572 * * [simplify]: Extracting # 2 : cost  0
1.572 * * [simplify]: Extracting # 3 : cost  0
1.572 * * [simplify]: Extracting # 4 : cost  0
1.572 * * [simplify]: Extracting # 5 : cost  0
1.572 * * [simplify]: Extracting # 6 : cost  0
1.572 * * [simplify]: iteration  0 :  48  enodes  (cost  269 )
1.590 * * [simplify]: Extracting # 0 : cost  0
1.590 * * [simplify]: Extracting # 1 : cost  0
1.590 * * [simplify]: Extracting # 2 : cost  0
1.590 * * [simplify]: Extracting # 3 : cost  0
1.591 * * [simplify]: iteration  1 :  105  enodes  (cost  261 )
1.646 * * [simplify]: Extracting # 0 : cost  0
1.647 * * [simplify]: Extracting # 1 : cost  0
1.648 * * [simplify]: Extracting # 2 : cost  0
1.649 * * [simplify]: Extracting # 3 : cost  0
1.654 * * [simplify]: Extracting # 4 : cost  0
1.655 * * [simplify]: iteration  2 :  426  enodes  (cost  228 )
2.248 * * [simplify]: Extracting # 0 : cost  0
2.258 * * [simplify]: Extracting # 1 : cost  0
2.264 * * [simplify]: Extracting # 2 : cost  0
2.267 * * [simplify]: Extracting # 3 : cost  0
2.269 * * [simplify]: Extracting # 4 : cost  0
2.271 * * [simplify]: iteration  3 :  2338  enodes  (cost  228 )
3.722 * * [simplify]: Extracting # 0 : cost  0
3.729 * * [simplify]: Extracting # 1 : cost  0
3.736 * * [simplify]: Extracting # 2 : cost  0
3.743 * * [simplify]: Extracting # 3 : cost  0
3.750 * * [simplify]: Extracting # 4 : cost  0
3.762 * * [simplify]: iteration done:  5000  enodes  (cost  228 )
3.763 * [simplify]: Simplified to:
  (expm1 (exp (* y y)))
  (log1p (exp (* y y)))
  (exp y)
  (pow y 2)
  (exp (exp (* y y)))
  (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))
  (cbrt (exp (* y y)))
  (exp (* 3 (pow y 2)))
  (sqrt (exp (* y y)))
  (sqrt (exp (* y y)))
  (expm1 (* x (exp (* y y))))
  (log1p (* x (exp (* y y))))
  (* (exp (* y y)) x)
  (fma y y (log x))
  (fma y y (log x))
  (exp (* x (exp (* y y))))
  (pow (* x (exp (* y y))) 3)
  (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y)))))
  (cbrt (* x (exp (* y y))))
  (pow (* x (exp (* y y))) 3)
  (sqrt (* x (exp (* y y))))
  (sqrt (* x (exp (* y y))))
  (* (sqrt x) (sqrt (exp (* y y))))
  (* (sqrt x) (sqrt (exp (* y y))))
  (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))))
  (* x (sqrt (exp (* y y))))
  x
  (* (cbrt x) (exp (* y y)))
  (* (sqrt x) (exp (* y y)))
  (* (exp (* y y)) x)
  (fma y y (fma 1/2 (pow y 4) 1))
  (exp (* y y))
  (exp (* y y))
  x
  (* (exp (* y y)) x)
  (* (exp (* y y)) x)
3.763 * * * [progress]: adding candidates to table
3.900 * * [progress]: iteration 2 / 4
3.900 * * * [progress]: picking best candidate
3.920 * * * * [pick]: Picked  #<alt (λ (x y) (* x (pow (exp y) y)))>
3.920 * * * [progress]: localizing error
3.933 * * * [progress]: generating rewritten candidates
3.933 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
3.941 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
3.967 * * * [progress]: generating series expansions
3.967 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
3.967 * [backup-simplify]: Simplify (pow (exp y) y) into (pow (exp y) y)
3.968 * [approximate]: Taking taylor expansion of (pow (exp y) y) in (y) around 0
3.968 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
3.968 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
3.968 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
3.968 * [taylor]: Taking taylor expansion of y in y
3.968 * [backup-simplify]: Simplify 0 into 0
3.968 * [backup-simplify]: Simplify 1 into 1
3.968 * [taylor]: Taking taylor expansion of (log (exp y)) in y
3.968 * [taylor]: Taking taylor expansion of (exp y) in y
3.968 * [taylor]: Taking taylor expansion of y in y
3.968 * [backup-simplify]: Simplify 0 into 0
3.968 * [backup-simplify]: Simplify 1 into 1
3.968 * [backup-simplify]: Simplify (exp 0) into 1
3.968 * [backup-simplify]: Simplify (log 1) into 0
3.969 * [backup-simplify]: Simplify (* 0 0) into 0
3.970 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.971 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
3.971 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
3.973 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.975 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
3.976 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
3.976 * [backup-simplify]: Simplify (exp 0) into 1
3.976 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
3.976 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
3.976 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
3.976 * [taylor]: Taking taylor expansion of y in y
3.976 * [backup-simplify]: Simplify 0 into 0
3.976 * [backup-simplify]: Simplify 1 into 1
3.976 * [taylor]: Taking taylor expansion of (log (exp y)) in y
3.976 * [taylor]: Taking taylor expansion of (exp y) in y
3.976 * [taylor]: Taking taylor expansion of y in y
3.976 * [backup-simplify]: Simplify 0 into 0
3.976 * [backup-simplify]: Simplify 1 into 1
3.976 * [backup-simplify]: Simplify (exp 0) into 1
3.977 * [backup-simplify]: Simplify (log 1) into 0
3.977 * [backup-simplify]: Simplify (* 0 0) into 0
3.978 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.979 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
3.980 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
3.981 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.983 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
3.984 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
3.984 * [backup-simplify]: Simplify (exp 0) into 1
3.984 * [backup-simplify]: Simplify 1 into 1
3.985 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
3.985 * [backup-simplify]: Simplify 0 into 0
3.987 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
3.987 * [backup-simplify]: Simplify 1 into 1
3.989 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
3.993 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/6) 1)) (pow 1 1)))) 6) into 0
3.994 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
3.996 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.996 * [backup-simplify]: Simplify 0 into 0
4.000 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
4.009 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 1/2) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/2) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 1/6) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/24) 1)) (pow 1 1)))) 24) into 0
4.011 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.014 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.014 * [backup-simplify]: Simplify 1/2 into 1/2
4.014 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
4.015 * [backup-simplify]: Simplify (pow (exp (/ 1 y)) (/ 1 y)) into (pow (exp (/ 1 y)) (/ 1 y))
4.015 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in (y) around 0
4.015 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
4.015 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
4.015 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
4.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.015 * [taylor]: Taking taylor expansion of y in y
4.015 * [backup-simplify]: Simplify 0 into 0
4.015 * [backup-simplify]: Simplify 1 into 1
4.015 * [backup-simplify]: Simplify (/ 1 1) into 1
4.015 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
4.015 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
4.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.015 * [taylor]: Taking taylor expansion of y in y
4.015 * [backup-simplify]: Simplify 0 into 0
4.016 * [backup-simplify]: Simplify 1 into 1
4.016 * [backup-simplify]: Simplify (/ 1 1) into 1
4.016 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
4.016 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
4.016 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
4.016 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2)))
4.016 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
4.016 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
4.017 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
4.017 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.017 * [taylor]: Taking taylor expansion of y in y
4.017 * [backup-simplify]: Simplify 0 into 0
4.017 * [backup-simplify]: Simplify 1 into 1
4.017 * [backup-simplify]: Simplify (/ 1 1) into 1
4.017 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
4.017 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
4.017 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.017 * [taylor]: Taking taylor expansion of y in y
4.017 * [backup-simplify]: Simplify 0 into 0
4.017 * [backup-simplify]: Simplify 1 into 1
4.018 * [backup-simplify]: Simplify (/ 1 1) into 1
4.018 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
4.018 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
4.018 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
4.018 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2)))
4.018 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
4.018 * [backup-simplify]: Simplify 0 into 0
4.018 * [backup-simplify]: Simplify 0 into 0
4.018 * [backup-simplify]: Simplify 0 into 0
4.019 * [backup-simplify]: Simplify 0 into 0
4.019 * [backup-simplify]: Simplify 0 into 0
4.019 * [backup-simplify]: Simplify 0 into 0
4.019 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2))
4.019 * [backup-simplify]: Simplify (pow (exp (/ 1 (- y))) (/ 1 (- y))) into (pow (exp (/ -1 y)) (/ -1 y))
4.019 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in (y) around 0
4.019 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
4.019 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
4.019 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
4.019 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.019 * [taylor]: Taking taylor expansion of -1 in y
4.019 * [backup-simplify]: Simplify -1 into -1
4.019 * [taylor]: Taking taylor expansion of y in y
4.019 * [backup-simplify]: Simplify 0 into 0
4.019 * [backup-simplify]: Simplify 1 into 1
4.020 * [backup-simplify]: Simplify (/ -1 1) into -1
4.020 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
4.020 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
4.020 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.020 * [taylor]: Taking taylor expansion of -1 in y
4.020 * [backup-simplify]: Simplify -1 into -1
4.020 * [taylor]: Taking taylor expansion of y in y
4.020 * [backup-simplify]: Simplify 0 into 0
4.020 * [backup-simplify]: Simplify 1 into 1
4.020 * [backup-simplify]: Simplify (/ -1 1) into -1
4.020 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
4.021 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
4.021 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
4.021 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2)))
4.021 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
4.021 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
4.021 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
4.021 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.021 * [taylor]: Taking taylor expansion of -1 in y
4.021 * [backup-simplify]: Simplify -1 into -1
4.021 * [taylor]: Taking taylor expansion of y in y
4.021 * [backup-simplify]: Simplify 0 into 0
4.021 * [backup-simplify]: Simplify 1 into 1
4.022 * [backup-simplify]: Simplify (/ -1 1) into -1
4.022 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
4.022 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
4.022 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.022 * [taylor]: Taking taylor expansion of -1 in y
4.022 * [backup-simplify]: Simplify -1 into -1
4.022 * [taylor]: Taking taylor expansion of y in y
4.022 * [backup-simplify]: Simplify 0 into 0
4.022 * [backup-simplify]: Simplify 1 into 1
4.022 * [backup-simplify]: Simplify (/ -1 1) into -1
4.022 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
4.023 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
4.023 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
4.023 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2)))
4.023 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
4.023 * [backup-simplify]: Simplify 0 into 0
4.023 * [backup-simplify]: Simplify 0 into 0
4.023 * [backup-simplify]: Simplify 0 into 0
4.023 * [backup-simplify]: Simplify 0 into 0
4.023 * [backup-simplify]: Simplify 0 into 0
4.023 * [backup-simplify]: Simplify 0 into 0
4.024 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2))
4.024 * * * * [progress]: [ 2 / 2 ] generating series at (2)
4.024 * [backup-simplify]: Simplify (* x (pow (exp y) y)) into (* x (pow (exp y) y))
4.024 * [approximate]: Taking taylor expansion of (* x (pow (exp y) y)) in (x y) around 0
4.024 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in y
4.024 * [taylor]: Taking taylor expansion of x in y
4.024 * [backup-simplify]: Simplify x into x
4.024 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
4.024 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
4.024 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
4.024 * [taylor]: Taking taylor expansion of y in y
4.024 * [backup-simplify]: Simplify 0 into 0
4.024 * [backup-simplify]: Simplify 1 into 1
4.024 * [taylor]: Taking taylor expansion of (log (exp y)) in y
4.024 * [taylor]: Taking taylor expansion of (exp y) in y
4.024 * [taylor]: Taking taylor expansion of y in y
4.024 * [backup-simplify]: Simplify 0 into 0
4.024 * [backup-simplify]: Simplify 1 into 1
4.024 * [backup-simplify]: Simplify (exp 0) into 1
4.025 * [backup-simplify]: Simplify (log 1) into 0
4.025 * [backup-simplify]: Simplify (* 0 0) into 0
4.026 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.027 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.028 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
4.029 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.031 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
4.032 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
4.032 * [backup-simplify]: Simplify (exp 0) into 1
4.032 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x
4.032 * [taylor]: Taking taylor expansion of x in x
4.032 * [backup-simplify]: Simplify 0 into 0
4.032 * [backup-simplify]: Simplify 1 into 1
4.032 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x
4.032 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x
4.032 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x
4.032 * [taylor]: Taking taylor expansion of y in x
4.032 * [backup-simplify]: Simplify y into y
4.032 * [taylor]: Taking taylor expansion of (log (exp y)) in x
4.032 * [taylor]: Taking taylor expansion of (exp y) in x
4.032 * [taylor]: Taking taylor expansion of y in x
4.033 * [backup-simplify]: Simplify y into y
4.033 * [backup-simplify]: Simplify (exp y) into (exp y)
4.033 * [backup-simplify]: Simplify (log (exp y)) into y
4.033 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.033 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
4.033 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x
4.033 * [taylor]: Taking taylor expansion of x in x
4.033 * [backup-simplify]: Simplify 0 into 0
4.033 * [backup-simplify]: Simplify 1 into 1
4.033 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x
4.033 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x
4.033 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x
4.033 * [taylor]: Taking taylor expansion of y in x
4.033 * [backup-simplify]: Simplify y into y
4.033 * [taylor]: Taking taylor expansion of (log (exp y)) in x
4.033 * [taylor]: Taking taylor expansion of (exp y) in x
4.033 * [taylor]: Taking taylor expansion of y in x
4.033 * [backup-simplify]: Simplify y into y
4.033 * [backup-simplify]: Simplify (exp y) into (exp y)
4.033 * [backup-simplify]: Simplify (log (exp y)) into y
4.033 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.034 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
4.034 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0
4.034 * [taylor]: Taking taylor expansion of 0 in y
4.034 * [backup-simplify]: Simplify 0 into 0
4.034 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0
4.036 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp y) 1)))) 1) into 0
4.036 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.037 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0
4.037 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2))
4.037 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
4.037 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.037 * [taylor]: Taking taylor expansion of y in y
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify 1 into 1
4.038 * [backup-simplify]: Simplify (* 1 1) into 1
4.038 * [backup-simplify]: Simplify (exp 0) into 1
4.038 * [backup-simplify]: Simplify 1 into 1
4.038 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.046 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp y) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp y) 1)))) 2) into 0
4.047 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.048 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.049 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0
4.049 * [taylor]: Taking taylor expansion of 0 in y
4.049 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify 0 into 0
4.050 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
4.050 * [backup-simplify]: Simplify 0 into 0
4.050 * [backup-simplify]: Simplify 0 into 0
4.052 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.055 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp y) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp y) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp y) 1)))) 6) into 0
4.055 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.057 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.058 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0
4.058 * [taylor]: Taking taylor expansion of 0 in y
4.058 * [backup-simplify]: Simplify 0 into 0
4.058 * [backup-simplify]: Simplify 0 into 0
4.058 * [backup-simplify]: Simplify 0 into 0
4.059 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x
4.059 * [backup-simplify]: Simplify (* (/ 1 x) (pow (exp (/ 1 y)) (/ 1 y))) into (/ (pow (exp (/ 1 y)) (/ 1 y)) x)
4.059 * [approximate]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in (x y) around 0
4.059 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in y
4.059 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
4.059 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
4.059 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
4.059 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.059 * [taylor]: Taking taylor expansion of y in y
4.059 * [backup-simplify]: Simplify 0 into 0
4.059 * [backup-simplify]: Simplify 1 into 1
4.060 * [backup-simplify]: Simplify (/ 1 1) into 1
4.060 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
4.060 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
4.060 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.060 * [taylor]: Taking taylor expansion of y in y
4.060 * [backup-simplify]: Simplify 0 into 0
4.060 * [backup-simplify]: Simplify 1 into 1
4.060 * [backup-simplify]: Simplify (/ 1 1) into 1
4.060 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
4.061 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
4.061 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
4.061 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2)))
4.061 * [taylor]: Taking taylor expansion of x in y
4.061 * [backup-simplify]: Simplify x into x
4.061 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
4.061 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x
4.061 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x
4.061 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x
4.061 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x
4.061 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.061 * [taylor]: Taking taylor expansion of y in x
4.061 * [backup-simplify]: Simplify y into y
4.061 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.061 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x
4.061 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
4.061 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.062 * [taylor]: Taking taylor expansion of y in x
4.062 * [backup-simplify]: Simplify y into y
4.062 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.062 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
4.062 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
4.062 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2))
4.062 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
4.062 * [taylor]: Taking taylor expansion of x in x
4.062 * [backup-simplify]: Simplify 0 into 0
4.062 * [backup-simplify]: Simplify 1 into 1
4.062 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
4.062 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x
4.062 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x
4.062 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x
4.062 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x
4.062 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.062 * [taylor]: Taking taylor expansion of y in x
4.062 * [backup-simplify]: Simplify y into y
4.063 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.063 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x
4.063 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
4.063 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.063 * [taylor]: Taking taylor expansion of y in x
4.063 * [backup-simplify]: Simplify y into y
4.063 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.063 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
4.063 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
4.063 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2))
4.063 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
4.063 * [taylor]: Taking taylor expansion of x in x
4.063 * [backup-simplify]: Simplify 0 into 0
4.063 * [backup-simplify]: Simplify 1 into 1
4.063 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
4.063 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
4.063 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.064 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.064 * [taylor]: Taking taylor expansion of y in y
4.064 * [backup-simplify]: Simplify 0 into 0
4.064 * [backup-simplify]: Simplify 1 into 1
4.064 * [backup-simplify]: Simplify (* 1 1) into 1
4.064 * [backup-simplify]: Simplify (/ 1 1) into 1
4.065 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
4.065 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
4.065 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.066 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0
4.067 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0
4.067 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.067 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0
4.068 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
4.069 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
4.069 * [taylor]: Taking taylor expansion of 0 in y
4.069 * [backup-simplify]: Simplify 0 into 0
4.069 * [backup-simplify]: Simplify 0 into 0
4.069 * [backup-simplify]: Simplify 0 into 0
4.069 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.070 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.072 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 1)))) 2) into 0
4.073 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.073 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
4.074 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.076 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.076 * [taylor]: Taking taylor expansion of 0 in y
4.076 * [backup-simplify]: Simplify 0 into 0
4.076 * [backup-simplify]: Simplify 0 into 0
4.076 * [backup-simplify]: Simplify 0 into 0
4.076 * [backup-simplify]: Simplify 0 into 0
4.076 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.078 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.081 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 1)))) 6) into 0
4.081 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.082 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
4.084 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.086 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.086 * [taylor]: Taking taylor expansion of 0 in y
4.086 * [backup-simplify]: Simplify 0 into 0
4.086 * [backup-simplify]: Simplify 0 into 0
4.086 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2)))
4.086 * [backup-simplify]: Simplify (* (/ 1 (- x)) (pow (exp (/ 1 (- y))) (/ 1 (- y)))) into (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x))
4.087 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in (x y) around 0
4.087 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in y
4.087 * [taylor]: Taking taylor expansion of -1 in y
4.087 * [backup-simplify]: Simplify -1 into -1
4.087 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in y
4.087 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
4.087 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
4.087 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
4.087 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.087 * [taylor]: Taking taylor expansion of -1 in y
4.087 * [backup-simplify]: Simplify -1 into -1
4.087 * [taylor]: Taking taylor expansion of y in y
4.087 * [backup-simplify]: Simplify 0 into 0
4.087 * [backup-simplify]: Simplify 1 into 1
4.087 * [backup-simplify]: Simplify (/ -1 1) into -1
4.087 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
4.087 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
4.087 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.088 * [taylor]: Taking taylor expansion of -1 in y
4.088 * [backup-simplify]: Simplify -1 into -1
4.088 * [taylor]: Taking taylor expansion of y in y
4.088 * [backup-simplify]: Simplify 0 into 0
4.088 * [backup-simplify]: Simplify 1 into 1
4.088 * [backup-simplify]: Simplify (/ -1 1) into -1
4.088 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
4.088 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
4.088 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
4.089 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2)))
4.089 * [taylor]: Taking taylor expansion of x in y
4.089 * [backup-simplify]: Simplify x into x
4.089 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
4.089 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x
4.089 * [taylor]: Taking taylor expansion of -1 in x
4.089 * [backup-simplify]: Simplify -1 into -1
4.089 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x
4.089 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x
4.089 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x
4.089 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x
4.089 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.089 * [taylor]: Taking taylor expansion of -1 in x
4.089 * [backup-simplify]: Simplify -1 into -1
4.089 * [taylor]: Taking taylor expansion of y in x
4.089 * [backup-simplify]: Simplify y into y
4.089 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.089 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x
4.089 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
4.089 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.089 * [taylor]: Taking taylor expansion of -1 in x
4.089 * [backup-simplify]: Simplify -1 into -1
4.089 * [taylor]: Taking taylor expansion of y in x
4.089 * [backup-simplify]: Simplify y into y
4.089 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.089 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
4.090 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
4.090 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2))
4.090 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
4.090 * [taylor]: Taking taylor expansion of x in x
4.090 * [backup-simplify]: Simplify 0 into 0
4.090 * [backup-simplify]: Simplify 1 into 1
4.090 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
4.090 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x
4.090 * [taylor]: Taking taylor expansion of -1 in x
4.090 * [backup-simplify]: Simplify -1 into -1
4.090 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x
4.090 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x
4.090 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x
4.090 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x
4.090 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.090 * [taylor]: Taking taylor expansion of -1 in x
4.090 * [backup-simplify]: Simplify -1 into -1
4.090 * [taylor]: Taking taylor expansion of y in x
4.090 * [backup-simplify]: Simplify y into y
4.091 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.091 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x
4.091 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
4.091 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.091 * [taylor]: Taking taylor expansion of -1 in x
4.091 * [backup-simplify]: Simplify -1 into -1
4.091 * [taylor]: Taking taylor expansion of y in x
4.091 * [backup-simplify]: Simplify y into y
4.091 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.091 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
4.091 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
4.091 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2))
4.091 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
4.091 * [taylor]: Taking taylor expansion of x in x
4.091 * [backup-simplify]: Simplify 0 into 0
4.091 * [backup-simplify]: Simplify 1 into 1
4.091 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
4.092 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
4.092 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y
4.092 * [taylor]: Taking taylor expansion of -1 in y
4.092 * [backup-simplify]: Simplify -1 into -1
4.092 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
4.092 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.092 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.092 * [taylor]: Taking taylor expansion of y in y
4.092 * [backup-simplify]: Simplify 0 into 0
4.092 * [backup-simplify]: Simplify 1 into 1
4.092 * [backup-simplify]: Simplify (* 1 1) into 1
4.093 * [backup-simplify]: Simplify (/ 1 1) into 1
4.093 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
4.093 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
4.093 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
4.093 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
4.094 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0
4.095 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0
4.095 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
4.095 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0
4.096 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
4.097 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
4.098 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
4.098 * [taylor]: Taking taylor expansion of 0 in y
4.098 * [backup-simplify]: Simplify 0 into 0
4.098 * [backup-simplify]: Simplify 0 into 0
4.099 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
4.099 * [backup-simplify]: Simplify 0 into 0
4.099 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.100 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.102 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 1)))) 2) into 0
4.102 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.103 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0
4.104 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.107 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
4.107 * [taylor]: Taking taylor expansion of 0 in y
4.107 * [backup-simplify]: Simplify 0 into 0
4.107 * [backup-simplify]: Simplify 0 into 0
4.107 * [backup-simplify]: Simplify 0 into 0
4.108 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
4.108 * [backup-simplify]: Simplify 0 into 0
4.108 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.110 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.113 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 1)))) 6) into 0
4.113 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.114 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0
4.116 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.118 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.119 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0
4.119 * [taylor]: Taking taylor expansion of 0 in y
4.119 * [backup-simplify]: Simplify 0 into 0
4.119 * [backup-simplify]: Simplify 0 into 0
4.120 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2)))
4.120 * * * [progress]: simplifying candidates
4.121 * [simplify]: Simplifying:
  (expm1 (pow (exp y) y))
  (log1p (pow (exp y) y))
  (* y y)
  (* (log (exp y)) y)
  (* 1 y)
  (* (cbrt y) y)
  (* (sqrt y) y)
  (* y y)
  (pow (exp y) (* (cbrt y) (cbrt y)))
  (pow (exp y) (sqrt y))
  (pow (exp y) 1)
  (pow (* (cbrt (exp y)) (cbrt (exp y))) y)
  (pow (cbrt (exp y)) y)
  (pow (sqrt (exp y)) y)
  (pow (sqrt (exp y)) y)
  (pow 1 y)
  (pow (exp y) y)
  (log (pow (exp y) y))
  (exp (pow (exp y) y))
  (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))
  (cbrt (pow (exp y) y))
  (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y))
  (sqrt (pow (exp y) y))
  (sqrt (pow (exp y) y))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (expm1 (* x (pow (exp y) y)))
  (log1p (* x (pow (exp y) y)))
  (+ (log x) (* y y))
  (+ (log x) (* (log (exp y)) y))
  (+ (log x) (log (pow (exp y) y)))
  (log (* x (pow (exp y) y)))
  (exp (* x (pow (exp y) y)))
  (* (* (* x x) x) (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y)))
  (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y))))
  (cbrt (* x (pow (exp y) y)))
  (* (* (* x (pow (exp y) y)) (* x (pow (exp y) y))) (* x (pow (exp y) y)))
  (sqrt (* x (pow (exp y) y)))
  (sqrt (* x (pow (exp y) y)))
  (* (sqrt x) (pow (sqrt (exp y)) y))
  (* (sqrt x) (pow (sqrt (exp y)) y))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y))
  (* x (pow (sqrt (exp y)) y))
  (* x (pow 1 y))
  (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))))
  (* x (sqrt (pow (exp y) y)))
  (* x 1)
  (* x (pow (exp y) (/ y 2)))
  (* (cbrt x) (pow (exp y) y))
  (* (sqrt x) (pow (exp y) y))
  (* x (pow (exp y) y))
  (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
  (exp (pow y 2))
  (exp (pow y 2))
  x
  (* x (exp (pow y 2)))
  (* x (exp (pow y 2)))
4.122 * * [simplify]: Extracting # 0 : cost  0
4.122 * * [simplify]: Extracting # 1 : cost  0
4.122 * * [simplify]: Extracting # 2 : cost  0
4.122 * * [simplify]: Extracting # 3 : cost  0
4.123 * * [simplify]: Extracting # 4 : cost  0
4.123 * * [simplify]: Extracting # 5 : cost  0
4.123 * * [simplify]: Extracting # 6 : cost  0
4.123 * * [simplify]: iteration  0 :  76  enodes  (cost  424 )
4.152 * * [simplify]: Extracting # 0 : cost  0
4.152 * * [simplify]: Extracting # 1 : cost  0
4.152 * * [simplify]: Extracting # 2 : cost  0
4.152 * * [simplify]: Extracting # 3 : cost  0
4.152 * * [simplify]: Extracting # 4 : cost  0
4.152 * * [simplify]: iteration  1 :  182  enodes  (cost  393 )
4.223 * * [simplify]: Extracting # 0 : cost  0
4.223 * * [simplify]: Extracting # 1 : cost  0
4.224 * * [simplify]: Extracting # 2 : cost  0
4.224 * * [simplify]: Extracting # 3 : cost  0
4.225 * * [simplify]: Extracting # 4 : cost  0
4.225 * * [simplify]: iteration  2 :  566  enodes  (cost  367 )
4.638 * * [simplify]: Extracting # 0 : cost  0
4.642 * * [simplify]: Extracting # 1 : cost  0
4.645 * * [simplify]: Extracting # 2 : cost  0
4.648 * * [simplify]: Extracting # 3 : cost  0
4.652 * * [simplify]: Extracting # 4 : cost  0
4.655 * * [simplify]: Extracting # 5 : cost  0
4.658 * * [simplify]: iteration  3 :  2864  enodes  (cost  365 )
6.568 * * [simplify]: Extracting # 0 : cost  0
6.585 * * [simplify]: Extracting # 1 : cost  0
6.596 * * [simplify]: Extracting # 2 : cost  0
6.602 * * [simplify]: Extracting # 3 : cost  0
6.608 * * [simplify]: Extracting # 4 : cost  0
6.614 * * [simplify]: iteration done:  5003  enodes  (cost  365 )
6.614 * [simplify]: Simplified to:
  (expm1 (pow (exp y) y))
  (log1p (pow (exp y) y))
  (pow y 2)
  (* y y)
  y
  (* (cbrt y) y)
  (* (sqrt y) y)
  (pow y 2)
  (pow (exp y) (* (cbrt y) (cbrt y)))
  (pow (exp y) (sqrt y))
  (exp y)
  (pow (* (cbrt (exp y)) (cbrt (exp y))) y)
  (pow (cbrt (exp y)) y)
  (pow (sqrt (exp y)) y)
  (pow (sqrt (exp y)) y)
  1
  (pow (exp y) y)
  (pow y 2)
  (exp (pow (exp y) y))
  (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))
  (cbrt (pow (exp y) y))
  (pow (pow (exp y) y) 3)
  (sqrt (pow (exp y) y))
  (sqrt (pow (exp y) y))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (expm1 (* x (pow (exp y) y)))
  (log1p (* x (pow (exp y) y)))
  (fma y y (log x))
  (fma y y (log x))
  (fma y y (log x))
  (fma y y (log x))
  (exp (* x (pow (exp y) y)))
  (pow (* x (pow (exp y) y)) 3)
  (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y))))
  (cbrt (* x (pow (exp y) y)))
  (pow (* x (pow (exp y) y)) 3)
  (sqrt (* x (pow (exp y) y)))
  (sqrt (* x (pow (exp y) y)))
  (* (sqrt x) (pow (sqrt (exp y)) y))
  (* (sqrt x) (pow (sqrt (exp y)) y))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y))
  (* x (pow (sqrt (exp y)) y))
  x
  (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))))
  (* x (sqrt (pow (exp y) y)))
  x
  (* x (pow (exp y) (/ y 2)))
  (* (cbrt x) (pow (exp y) y))
  (* (sqrt x) (pow (exp y) y))
  (* x (pow (exp y) y))
  (fma y y (fma 1/2 (pow y 4) 1))
  (pow (exp y) y)
  (pow (exp y) y)
  x
  (* x (pow (exp y) y))
  (* x (pow (exp y) y))
6.614 * * * [progress]: adding candidates to table
6.842 * * [progress]: iteration 3 / 4
6.842 * * * [progress]: picking best candidate
6.855 * * * * [pick]: Picked  #<alt (λ (x y) (* x (pow (exp 1) (pow y 2))))>
6.855 * * * [progress]: localizing error
6.870 * * * [progress]: generating rewritten candidates
6.870 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
6.876 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
6.894 * * * [progress]: generating series expansions
6.894 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
6.895 * [backup-simplify]: Simplify (pow (exp 1) (pow y 2)) into (pow E (pow y 2))
6.895 * [approximate]: Taking taylor expansion of (pow E (pow y 2)) in (y) around 0
6.895 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in y
6.895 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in y
6.895 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in y
6.895 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.895 * [taylor]: Taking taylor expansion of y in y
6.895 * [backup-simplify]: Simplify 0 into 0
6.895 * [backup-simplify]: Simplify 1 into 1
6.895 * [taylor]: Taking taylor expansion of (log E) in y
6.895 * [taylor]: Taking taylor expansion of E in y
6.895 * [backup-simplify]: Simplify E into E
6.895 * [backup-simplify]: Simplify (log E) into 1
6.896 * [backup-simplify]: Simplify (* 1 1) into 1
6.896 * [backup-simplify]: Simplify (* 1 1) into 1
6.896 * [backup-simplify]: Simplify (exp 0) into 1
6.896 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in y
6.896 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in y
6.896 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in y
6.896 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.896 * [taylor]: Taking taylor expansion of y in y
6.896 * [backup-simplify]: Simplify 0 into 0
6.896 * [backup-simplify]: Simplify 1 into 1
6.896 * [taylor]: Taking taylor expansion of (log E) in y
6.896 * [taylor]: Taking taylor expansion of E in y
6.896 * [backup-simplify]: Simplify E into E
6.896 * [backup-simplify]: Simplify (log E) into 1
6.896 * [backup-simplify]: Simplify (* 1 1) into 1
6.897 * [backup-simplify]: Simplify (* 1 1) into 1
6.897 * [backup-simplify]: Simplify (exp 0) into 1
6.897 * [backup-simplify]: Simplify 1 into 1
6.897 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
6.897 * [backup-simplify]: Simplify 0 into 0
6.898 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
6.898 * [backup-simplify]: Simplify 1 into 1
6.900 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
6.900 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.901 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.903 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.903 * [backup-simplify]: Simplify 0 into 0
6.906 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
6.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.912 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.912 * [backup-simplify]: Simplify 1/2 into 1/2
6.912 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
6.913 * [backup-simplify]: Simplify (pow (exp 1) (pow (/ 1 y) 2)) into (pow E (pow (/ 1 y) 2))
6.913 * [approximate]: Taking taylor expansion of (pow E (pow (/ 1 y) 2)) in (y) around 0
6.913 * [taylor]: Taking taylor expansion of (pow E (pow (/ 1 y) 2)) in y
6.913 * [taylor]: Taking taylor expansion of (exp (* (pow (/ 1 y) 2) (log E))) in y
6.913 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 2) (log E)) in y
6.913 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in y
6.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.913 * [taylor]: Taking taylor expansion of y in y
6.913 * [backup-simplify]: Simplify 0 into 0
6.913 * [backup-simplify]: Simplify 1 into 1
6.913 * [backup-simplify]: Simplify (/ 1 1) into 1
6.913 * [taylor]: Taking taylor expansion of (log E) in y
6.913 * [taylor]: Taking taylor expansion of E in y
6.914 * [backup-simplify]: Simplify E into E
6.914 * [backup-simplify]: Simplify (log E) into 1
6.914 * [backup-simplify]: Simplify (* 1 1) into 1
6.914 * [backup-simplify]: Simplify (* 1 1) into 1
6.915 * [backup-simplify]: Simplify (exp (* (pow (/ 1 y) 2) (log E))) into (exp (/ 1 (pow y 2)))
6.915 * [taylor]: Taking taylor expansion of (pow E (pow (/ 1 y) 2)) in y
6.915 * [taylor]: Taking taylor expansion of (exp (* (pow (/ 1 y) 2) (log E))) in y
6.915 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 2) (log E)) in y
6.915 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in y
6.915 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.915 * [taylor]: Taking taylor expansion of y in y
6.915 * [backup-simplify]: Simplify 0 into 0
6.915 * [backup-simplify]: Simplify 1 into 1
6.915 * [backup-simplify]: Simplify (/ 1 1) into 1
6.915 * [taylor]: Taking taylor expansion of (log E) in y
6.915 * [taylor]: Taking taylor expansion of E in y
6.915 * [backup-simplify]: Simplify E into E
6.915 * [backup-simplify]: Simplify (log E) into 1
6.916 * [backup-simplify]: Simplify (* 1 1) into 1
6.916 * [backup-simplify]: Simplify (* 1 1) into 1
6.916 * [backup-simplify]: Simplify (exp (* (pow (/ 1 y) 2) (log E))) into (exp (/ 1 (pow y 2)))
6.917 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
6.917 * [backup-simplify]: Simplify 0 into 0
6.917 * [backup-simplify]: Simplify 0 into 0
6.917 * [backup-simplify]: Simplify 0 into 0
6.917 * [backup-simplify]: Simplify 0 into 0
6.917 * [backup-simplify]: Simplify 0 into 0
6.917 * [backup-simplify]: Simplify 0 into 0
6.917 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2))
6.917 * [backup-simplify]: Simplify (pow (exp 1) (pow (/ 1 (- y)) 2)) into (pow E (pow (/ -1 y) 2))
6.917 * [approximate]: Taking taylor expansion of (pow E (pow (/ -1 y) 2)) in (y) around 0
6.917 * [taylor]: Taking taylor expansion of (pow E (pow (/ -1 y) 2)) in y
6.917 * [taylor]: Taking taylor expansion of (exp (* (pow (/ -1 y) 2) (log E))) in y
6.917 * [taylor]: Taking taylor expansion of (* (pow (/ -1 y) 2) (log E)) in y
6.917 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in y
6.918 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.918 * [taylor]: Taking taylor expansion of -1 in y
6.918 * [backup-simplify]: Simplify -1 into -1
6.918 * [taylor]: Taking taylor expansion of y in y
6.918 * [backup-simplify]: Simplify 0 into 0
6.918 * [backup-simplify]: Simplify 1 into 1
6.918 * [backup-simplify]: Simplify (/ -1 1) into -1
6.918 * [taylor]: Taking taylor expansion of (log E) in y
6.918 * [taylor]: Taking taylor expansion of E in y
6.918 * [backup-simplify]: Simplify E into E
6.918 * [backup-simplify]: Simplify (log E) into 1
6.919 * [backup-simplify]: Simplify (* -1 -1) into 1
6.919 * [backup-simplify]: Simplify (* 1 1) into 1
6.920 * [backup-simplify]: Simplify (exp (* (pow (/ -1 y) 2) (log E))) into (exp (/ 1 (pow y 2)))
6.920 * [taylor]: Taking taylor expansion of (pow E (pow (/ -1 y) 2)) in y
6.920 * [taylor]: Taking taylor expansion of (exp (* (pow (/ -1 y) 2) (log E))) in y
6.920 * [taylor]: Taking taylor expansion of (* (pow (/ -1 y) 2) (log E)) in y
6.920 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in y
6.920 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.920 * [taylor]: Taking taylor expansion of -1 in y
6.920 * [backup-simplify]: Simplify -1 into -1
6.920 * [taylor]: Taking taylor expansion of y in y
6.920 * [backup-simplify]: Simplify 0 into 0
6.920 * [backup-simplify]: Simplify 1 into 1
6.920 * [backup-simplify]: Simplify (/ -1 1) into -1
6.920 * [taylor]: Taking taylor expansion of (log E) in y
6.920 * [taylor]: Taking taylor expansion of E in y
6.920 * [backup-simplify]: Simplify E into E
6.921 * [backup-simplify]: Simplify (log E) into 1
6.921 * [backup-simplify]: Simplify (* -1 -1) into 1
6.921 * [backup-simplify]: Simplify (* 1 1) into 1
6.922 * [backup-simplify]: Simplify (exp (* (pow (/ -1 y) 2) (log E))) into (exp (/ 1 (pow y 2)))
6.922 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
6.922 * [backup-simplify]: Simplify 0 into 0
6.922 * [backup-simplify]: Simplify 0 into 0
6.922 * [backup-simplify]: Simplify 0 into 0
6.922 * [backup-simplify]: Simplify 0 into 0
6.922 * [backup-simplify]: Simplify 0 into 0
6.922 * [backup-simplify]: Simplify 0 into 0
6.922 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2))
6.922 * * * * [progress]: [ 2 / 2 ] generating series at (2)
6.923 * [backup-simplify]: Simplify (* x (pow (exp 1) (pow y 2))) into (* x (pow E (pow y 2)))
6.923 * [approximate]: Taking taylor expansion of (* x (pow E (pow y 2))) in (x y) around 0
6.923 * [taylor]: Taking taylor expansion of (* x (pow E (pow y 2))) in y
6.923 * [taylor]: Taking taylor expansion of x in y
6.923 * [backup-simplify]: Simplify x into x
6.923 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in y
6.923 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in y
6.923 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in y
6.923 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.923 * [taylor]: Taking taylor expansion of y in y
6.923 * [backup-simplify]: Simplify 0 into 0
6.923 * [backup-simplify]: Simplify 1 into 1
6.923 * [taylor]: Taking taylor expansion of (log E) in y
6.923 * [taylor]: Taking taylor expansion of E in y
6.923 * [backup-simplify]: Simplify E into E
6.923 * [backup-simplify]: Simplify (log E) into 1
6.923 * [backup-simplify]: Simplify (* 1 1) into 1
6.924 * [backup-simplify]: Simplify (* 1 1) into 1
6.924 * [backup-simplify]: Simplify (exp 0) into 1
6.924 * [taylor]: Taking taylor expansion of (* x (pow E (pow y 2))) in x
6.924 * [taylor]: Taking taylor expansion of x in x
6.924 * [backup-simplify]: Simplify 0 into 0
6.924 * [backup-simplify]: Simplify 1 into 1
6.924 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in x
6.924 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in x
6.924 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in x
6.924 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.924 * [taylor]: Taking taylor expansion of y in x
6.924 * [backup-simplify]: Simplify y into y
6.924 * [taylor]: Taking taylor expansion of (log E) in x
6.924 * [taylor]: Taking taylor expansion of E in x
6.924 * [backup-simplify]: Simplify E into E
6.924 * [backup-simplify]: Simplify (log E) into 1
6.924 * [backup-simplify]: Simplify (* y y) into (pow y 2)
6.924 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2)
6.924 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
6.924 * [taylor]: Taking taylor expansion of (* x (pow E (pow y 2))) in x
6.924 * [taylor]: Taking taylor expansion of x in x
6.924 * [backup-simplify]: Simplify 0 into 0
6.924 * [backup-simplify]: Simplify 1 into 1
6.924 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in x
6.924 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in x
6.924 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in x
6.924 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.924 * [taylor]: Taking taylor expansion of y in x
6.924 * [backup-simplify]: Simplify y into y
6.924 * [taylor]: Taking taylor expansion of (log E) in x
6.924 * [taylor]: Taking taylor expansion of E in x
6.924 * [backup-simplify]: Simplify E into E
6.924 * [backup-simplify]: Simplify (log E) into 1
6.925 * [backup-simplify]: Simplify (* y y) into (pow y 2)
6.925 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2)
6.925 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
6.925 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0
6.925 * [taylor]: Taking taylor expansion of 0 in y
6.925 * [backup-simplify]: Simplify 0 into 0
6.925 * [backup-simplify]: Simplify 0 into 0
6.926 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
6.926 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
6.927 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 1)) into 0
6.927 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0
6.927 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2))
6.928 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
6.928 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.928 * [taylor]: Taking taylor expansion of y in y
6.928 * [backup-simplify]: Simplify 0 into 0
6.928 * [backup-simplify]: Simplify 1 into 1
6.928 * [backup-simplify]: Simplify (* 1 1) into 1
6.928 * [backup-simplify]: Simplify (exp 0) into 1
6.928 * [backup-simplify]: Simplify 1 into 1
6.928 * [backup-simplify]: Simplify 0 into 0
6.930 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
6.936 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
6.936 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 1))) into 0
6.937 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.938 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0
6.938 * [taylor]: Taking taylor expansion of 0 in y
6.938 * [backup-simplify]: Simplify 0 into 0
6.938 * [backup-simplify]: Simplify 0 into 0
6.939 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
6.940 * [backup-simplify]: Simplify 0 into 0
6.940 * [backup-simplify]: Simplify 0 into 0
6.945 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
6.946 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
6.947 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.949 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.950 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0
6.950 * [taylor]: Taking taylor expansion of 0 in y
6.950 * [backup-simplify]: Simplify 0 into 0
6.950 * [backup-simplify]: Simplify 0 into 0
6.950 * [backup-simplify]: Simplify 0 into 0
6.950 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x
6.951 * [backup-simplify]: Simplify (* (/ 1 x) (pow (exp 1) (pow (/ 1 y) 2))) into (/ (pow E (pow (/ 1 y) 2)) x)
6.951 * [approximate]: Taking taylor expansion of (/ (pow E (pow (/ 1 y) 2)) x) in (x y) around 0
6.951 * [taylor]: Taking taylor expansion of (/ (pow E (pow (/ 1 y) 2)) x) in y
6.951 * [taylor]: Taking taylor expansion of (pow E (pow (/ 1 y) 2)) in y
6.951 * [taylor]: Taking taylor expansion of (exp (* (pow (/ 1 y) 2) (log E))) in y
6.951 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 2) (log E)) in y
6.951 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in y
6.951 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.951 * [taylor]: Taking taylor expansion of y in y
6.951 * [backup-simplify]: Simplify 0 into 0
6.951 * [backup-simplify]: Simplify 1 into 1
6.952 * [backup-simplify]: Simplify (/ 1 1) into 1
6.952 * [taylor]: Taking taylor expansion of (log E) in y
6.952 * [taylor]: Taking taylor expansion of E in y
6.952 * [backup-simplify]: Simplify E into E
6.952 * [backup-simplify]: Simplify (log E) into 1
6.952 * [backup-simplify]: Simplify (* 1 1) into 1
6.952 * [backup-simplify]: Simplify (* 1 1) into 1
6.953 * [backup-simplify]: Simplify (exp (* (pow (/ 1 y) 2) (log E))) into (exp (/ 1 (pow y 2)))
6.953 * [taylor]: Taking taylor expansion of x in y
6.953 * [backup-simplify]: Simplify x into x
6.953 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
6.953 * [taylor]: Taking taylor expansion of (/ (pow E (pow (/ 1 y) 2)) x) in x
6.953 * [taylor]: Taking taylor expansion of (pow E (pow (/ 1 y) 2)) in x
6.953 * [taylor]: Taking taylor expansion of (exp (* (pow (/ 1 y) 2) (log E))) in x
6.953 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 2) (log E)) in x
6.953 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in x
6.953 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.953 * [taylor]: Taking taylor expansion of y in x
6.953 * [backup-simplify]: Simplify y into y
6.953 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.953 * [taylor]: Taking taylor expansion of (log E) in x
6.953 * [taylor]: Taking taylor expansion of E in x
6.953 * [backup-simplify]: Simplify E into E
6.953 * [backup-simplify]: Simplify (log E) into 1
6.954 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2))
6.954 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2))
6.954 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
6.954 * [taylor]: Taking taylor expansion of x in x
6.954 * [backup-simplify]: Simplify 0 into 0
6.954 * [backup-simplify]: Simplify 1 into 1
6.954 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
6.954 * [taylor]: Taking taylor expansion of (/ (pow E (pow (/ 1 y) 2)) x) in x
6.954 * [taylor]: Taking taylor expansion of (pow E (pow (/ 1 y) 2)) in x
6.954 * [taylor]: Taking taylor expansion of (exp (* (pow (/ 1 y) 2) (log E))) in x
6.954 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 2) (log E)) in x
6.954 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in x
6.954 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.954 * [taylor]: Taking taylor expansion of y in x
6.954 * [backup-simplify]: Simplify y into y
6.954 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.954 * [taylor]: Taking taylor expansion of (log E) in x
6.954 * [taylor]: Taking taylor expansion of E in x
6.954 * [backup-simplify]: Simplify E into E
6.955 * [backup-simplify]: Simplify (log E) into 1
6.955 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2))
6.955 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2))
6.955 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
6.955 * [taylor]: Taking taylor expansion of x in x
6.955 * [backup-simplify]: Simplify 0 into 0
6.955 * [backup-simplify]: Simplify 1 into 1
6.955 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
6.955 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
6.955 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.955 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.955 * [taylor]: Taking taylor expansion of y in y
6.955 * [backup-simplify]: Simplify 0 into 0
6.955 * [backup-simplify]: Simplify 1 into 1
6.956 * [backup-simplify]: Simplify (* 1 1) into 1
6.956 * [backup-simplify]: Simplify (/ 1 1) into 1
6.957 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
6.957 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
6.958 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
6.959 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.959 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0
6.959 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (* 0 1)) into 0
6.960 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
6.962 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
6.962 * [taylor]: Taking taylor expansion of 0 in y
6.962 * [backup-simplify]: Simplify 0 into 0
6.962 * [backup-simplify]: Simplify 0 into 0
6.962 * [backup-simplify]: Simplify 0 into 0
6.965 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
6.965 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.966 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
6.966 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (* 0 1))) into 0
6.968 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.969 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.970 * [taylor]: Taking taylor expansion of 0 in y
6.970 * [backup-simplify]: Simplify 0 into 0
6.970 * [backup-simplify]: Simplify 0 into 0
6.970 * [backup-simplify]: Simplify 0 into 0
6.970 * [backup-simplify]: Simplify 0 into 0
6.975 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
6.975 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.976 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
6.977 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.979 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.981 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.981 * [taylor]: Taking taylor expansion of 0 in y
6.981 * [backup-simplify]: Simplify 0 into 0
6.981 * [backup-simplify]: Simplify 0 into 0
6.982 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2)))
6.982 * [backup-simplify]: Simplify (* (/ 1 (- x)) (pow (exp 1) (pow (/ 1 (- y)) 2))) into (* -1 (/ (pow E (pow (/ -1 y) 2)) x))
6.982 * [approximate]: Taking taylor expansion of (* -1 (/ (pow E (pow (/ -1 y) 2)) x)) in (x y) around 0
6.982 * [taylor]: Taking taylor expansion of (* -1 (/ (pow E (pow (/ -1 y) 2)) x)) in y
6.982 * [taylor]: Taking taylor expansion of -1 in y
6.982 * [backup-simplify]: Simplify -1 into -1
6.982 * [taylor]: Taking taylor expansion of (/ (pow E (pow (/ -1 y) 2)) x) in y
6.982 * [taylor]: Taking taylor expansion of (pow E (pow (/ -1 y) 2)) in y
6.982 * [taylor]: Taking taylor expansion of (exp (* (pow (/ -1 y) 2) (log E))) in y
6.982 * [taylor]: Taking taylor expansion of (* (pow (/ -1 y) 2) (log E)) in y
6.982 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in y
6.982 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.982 * [taylor]: Taking taylor expansion of -1 in y
6.982 * [backup-simplify]: Simplify -1 into -1
6.982 * [taylor]: Taking taylor expansion of y in y
6.982 * [backup-simplify]: Simplify 0 into 0
6.982 * [backup-simplify]: Simplify 1 into 1
6.983 * [backup-simplify]: Simplify (/ -1 1) into -1
6.983 * [taylor]: Taking taylor expansion of (log E) in y
6.983 * [taylor]: Taking taylor expansion of E in y
6.983 * [backup-simplify]: Simplify E into E
6.983 * [backup-simplify]: Simplify (log E) into 1
6.984 * [backup-simplify]: Simplify (* -1 -1) into 1
6.984 * [backup-simplify]: Simplify (* 1 1) into 1
6.984 * [backup-simplify]: Simplify (exp (* (pow (/ -1 y) 2) (log E))) into (exp (/ 1 (pow y 2)))
6.984 * [taylor]: Taking taylor expansion of x in y
6.984 * [backup-simplify]: Simplify x into x
6.984 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
6.984 * [taylor]: Taking taylor expansion of (* -1 (/ (pow E (pow (/ -1 y) 2)) x)) in x
6.985 * [taylor]: Taking taylor expansion of -1 in x
6.985 * [backup-simplify]: Simplify -1 into -1
6.985 * [taylor]: Taking taylor expansion of (/ (pow E (pow (/ -1 y) 2)) x) in x
6.985 * [taylor]: Taking taylor expansion of (pow E (pow (/ -1 y) 2)) in x
6.985 * [taylor]: Taking taylor expansion of (exp (* (pow (/ -1 y) 2) (log E))) in x
6.985 * [taylor]: Taking taylor expansion of (* (pow (/ -1 y) 2) (log E)) in x
6.985 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in x
6.985 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.985 * [taylor]: Taking taylor expansion of -1 in x
6.985 * [backup-simplify]: Simplify -1 into -1
6.985 * [taylor]: Taking taylor expansion of y in x
6.985 * [backup-simplify]: Simplify y into y
6.985 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.985 * [taylor]: Taking taylor expansion of (log E) in x
6.985 * [taylor]: Taking taylor expansion of E in x
6.985 * [backup-simplify]: Simplify E into E
6.985 * [backup-simplify]: Simplify (log E) into 1
6.985 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2))
6.985 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2))
6.985 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
6.985 * [taylor]: Taking taylor expansion of x in x
6.985 * [backup-simplify]: Simplify 0 into 0
6.985 * [backup-simplify]: Simplify 1 into 1
6.986 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
6.986 * [taylor]: Taking taylor expansion of (* -1 (/ (pow E (pow (/ -1 y) 2)) x)) in x
6.986 * [taylor]: Taking taylor expansion of -1 in x
6.986 * [backup-simplify]: Simplify -1 into -1
6.986 * [taylor]: Taking taylor expansion of (/ (pow E (pow (/ -1 y) 2)) x) in x
6.986 * [taylor]: Taking taylor expansion of (pow E (pow (/ -1 y) 2)) in x
6.986 * [taylor]: Taking taylor expansion of (exp (* (pow (/ -1 y) 2) (log E))) in x
6.986 * [taylor]: Taking taylor expansion of (* (pow (/ -1 y) 2) (log E)) in x
6.986 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in x
6.986 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.986 * [taylor]: Taking taylor expansion of -1 in x
6.986 * [backup-simplify]: Simplify -1 into -1
6.986 * [taylor]: Taking taylor expansion of y in x
6.986 * [backup-simplify]: Simplify y into y
6.986 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.986 * [taylor]: Taking taylor expansion of (log E) in x
6.986 * [taylor]: Taking taylor expansion of E in x
6.986 * [backup-simplify]: Simplify E into E
6.986 * [backup-simplify]: Simplify (log E) into 1
6.986 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2))
6.986 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2))
6.987 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
6.987 * [taylor]: Taking taylor expansion of x in x
6.987 * [backup-simplify]: Simplify 0 into 0
6.987 * [backup-simplify]: Simplify 1 into 1
6.987 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
6.987 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
6.987 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y
6.987 * [taylor]: Taking taylor expansion of -1 in y
6.987 * [backup-simplify]: Simplify -1 into -1
6.987 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
6.987 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.987 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.987 * [taylor]: Taking taylor expansion of y in y
6.987 * [backup-simplify]: Simplify 0 into 0
6.987 * [backup-simplify]: Simplify 1 into 1
6.988 * [backup-simplify]: Simplify (* 1 1) into 1
6.988 * [backup-simplify]: Simplify (/ 1 1) into 1
6.988 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
6.989 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
6.989 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
6.990 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
6.991 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
6.991 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0
6.992 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (* 0 1)) into 0
6.992 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
6.994 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
6.994 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
6.994 * [taylor]: Taking taylor expansion of 0 in y
6.994 * [backup-simplify]: Simplify 0 into 0
6.994 * [backup-simplify]: Simplify 0 into 0
6.995 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
6.995 * [backup-simplify]: Simplify 0 into 0
6.998 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
6.998 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.999 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0
7.000 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (* 0 1))) into 0
7.001 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.004 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
7.004 * [taylor]: Taking taylor expansion of 0 in y
7.004 * [backup-simplify]: Simplify 0 into 0
7.004 * [backup-simplify]: Simplify 0 into 0
7.004 * [backup-simplify]: Simplify 0 into 0
7.005 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
7.005 * [backup-simplify]: Simplify 0 into 0
7.010 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
7.011 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.012 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0
7.013 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.014 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.016 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.018 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0
7.018 * [taylor]: Taking taylor expansion of 0 in y
7.018 * [backup-simplify]: Simplify 0 into 0
7.018 * [backup-simplify]: Simplify 0 into 0
7.018 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2)))
7.018 * * * [progress]: simplifying candidates
7.020 * [simplify]: Simplifying:
  (expm1 (pow (exp 1) (pow y 2)))
  (log1p (pow (exp 1) (pow y 2)))
  (* 1 (pow y 2))
  (* (log (exp 1)) (pow y 2))
  (* 1 (pow y 2))
  (* (cbrt 1) (pow y 2))
  (* (sqrt 1) (pow y 2))
  (* 1 (pow y 2))
  (pow (exp 1) (pow (* (cbrt y) (cbrt y)) 2))
  (pow (exp 1) (pow (sqrt y) 2))
  (pow (exp 1) (pow 1 2))
  (pow (exp 1) y)
  (pow (exp 1) (* (cbrt (pow y 2)) (cbrt (pow y 2))))
  (pow (exp 1) (sqrt (pow y 2)))
  (pow (exp 1) 1)
  (pow (exp 1) (pow y (/ 2 2)))
  (pow (* (cbrt (exp 1)) (cbrt (exp 1))) (pow y 2))
  (pow (cbrt (exp 1)) (pow y 2))
  (pow (sqrt (exp 1)) (pow y 2))
  (pow (sqrt (exp 1)) (pow y 2))
  (pow 1 (pow y 2))
  (pow (exp 1) (pow y 2))
  (log (pow (exp 1) (pow y 2)))
  (exp (pow (exp 1) (pow y 2)))
  (* (cbrt (pow (exp 1) (pow y 2))) (cbrt (pow (exp 1) (pow y 2))))
  (cbrt (pow (exp 1) (pow y 2)))
  (* (* (pow (exp 1) (pow y 2)) (pow (exp 1) (pow y 2))) (pow (exp 1) (pow y 2)))
  (sqrt (pow (exp 1) (pow y 2)))
  (sqrt (pow (exp 1) (pow y 2)))
  (pow (exp 1) (/ (pow y 2) 2))
  (pow (exp 1) (/ (pow y 2) 2))
  (expm1 (* x (pow (exp 1) (pow y 2))))
  (log1p (* x (pow (exp 1) (pow y 2))))
  (+ (log x) (* 1 (pow y 2)))
  (+ (log x) (* (log (exp 1)) (pow y 2)))
  (+ (log x) (log (pow (exp 1) (pow y 2))))
  (log (* x (pow (exp 1) (pow y 2))))
  (exp (* x (pow (exp 1) (pow y 2))))
  (* (* (* x x) x) (* (* (pow (exp 1) (pow y 2)) (pow (exp 1) (pow y 2))) (pow (exp 1) (pow y 2))))
  (* (cbrt (* x (pow (exp 1) (pow y 2)))) (cbrt (* x (pow (exp 1) (pow y 2)))))
  (cbrt (* x (pow (exp 1) (pow y 2))))
  (* (* (* x (pow (exp 1) (pow y 2))) (* x (pow (exp 1) (pow y 2)))) (* x (pow (exp 1) (pow y 2))))
  (sqrt (* x (pow (exp 1) (pow y 2))))
  (sqrt (* x (pow (exp 1) (pow y 2))))
  (* (sqrt x) (pow (sqrt (exp 1)) (pow y 2)))
  (* (sqrt x) (pow (sqrt (exp 1)) (pow y 2)))
  (* (sqrt x) (sqrt (pow (exp 1) (pow y 2))))
  (* (sqrt x) (sqrt (pow (exp 1) (pow y 2))))
  (* (sqrt x) (pow (exp 1) (/ (pow y 2) 2)))
  (* (sqrt x) (pow (exp 1) (/ (pow y 2) 2)))
  (* x (pow (* (cbrt (exp 1)) (cbrt (exp 1))) (pow y 2)))
  (* x (pow (sqrt (exp 1)) (pow y 2)))
  (* x (pow 1 (pow y 2)))
  (* x (* (cbrt (pow (exp 1) (pow y 2))) (cbrt (pow (exp 1) (pow y 2)))))
  (* x (sqrt (pow (exp 1) (pow y 2))))
  (* x 1)
  (* x (pow (exp 1) (/ (pow y 2) 2)))
  (* (cbrt x) (pow (exp 1) (pow y 2)))
  (* (sqrt x) (pow (exp 1) (pow y 2)))
  (* x (pow (exp 1) (pow y 2)))
  (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
  (exp (pow y 2))
  (exp (pow y 2))
  x
  (* x (exp (pow y 2)))
  (* x (exp (pow y 2)))
7.021 * * [simplify]: Extracting # 0 : cost  0
7.022 * * [simplify]: Extracting # 1 : cost  0
7.022 * * [simplify]: Extracting # 2 : cost  0
7.022 * * [simplify]: Extracting # 3 : cost  0
7.022 * * [simplify]: Extracting # 4 : cost  0
7.022 * * [simplify]: Extracting # 5 : cost  0
7.023 * * [simplify]: Extracting # 6 : cost  0
7.023 * * [simplify]: Extracting # 7 : cost  0
7.023 * * [simplify]: Extracting # 8 : cost  0
7.023 * * [simplify]: iteration  0 :  90  enodes  (cost  585 )
7.069 * * [simplify]: Extracting # 0 : cost  0
7.070 * * [simplify]: Extracting # 1 : cost  0
7.070 * * [simplify]: Extracting # 2 : cost  0
7.071 * * [simplify]: Extracting # 3 : cost  0
7.071 * * [simplify]: Extracting # 4 : cost  0
7.071 * * [simplify]: iteration  1 :  227  enodes  (cost  468 )
7.202 * * [simplify]: Extracting # 0 : cost  0
7.203 * * [simplify]: Extracting # 1 : cost  0
7.204 * * [simplify]: Extracting # 2 : cost  0
7.205 * * [simplify]: Extracting # 3 : cost  0
7.206 * * [simplify]: Extracting # 4 : cost  0
7.207 * * [simplify]: Extracting # 5 : cost  0
7.207 * * [simplify]: iteration  2 :  850  enodes  (cost  398 )
7.625 * * [simplify]: Extracting # 0 : cost  0
7.638 * * [simplify]: Extracting # 1 : cost  0
7.649 * * [simplify]: Extracting # 2 : cost  0
7.660 * * [simplify]: Extracting # 3 : cost  0
7.672 * * [simplify]: Extracting # 4 : cost  0
7.683 * * [simplify]: iteration done:  5000  enodes  (cost  396 )
7.684 * [simplify]: Simplified to:
  (expm1 (exp (pow y 2)))
  (log1p (exp (pow y 2)))
  (pow y 2)
  (pow y 2)
  (pow y 2)
  (pow y 2)
  (pow y 2)
  (pow y 2)
  (pow E (pow (* (cbrt y) (cbrt y)) 2))
  (pow E y)
  E
  (pow E y)
  (pow E (* (cbrt (pow y 2)) (cbrt (pow y 2))))
  (pow E (fabs y))
  E
  (pow E y)
  (pow (* (cbrt E) (cbrt E)) (pow y 2))
  (pow (cbrt E) (pow y 2))
  (pow (sqrt E) (pow y 2))
  (pow (sqrt E) (pow y 2))
  1
  (exp (pow y 2))
  (pow y 2)
  (exp (exp (pow y 2)))
  (* (cbrt (exp (pow y 2))) (cbrt (exp (pow y 2))))
  (cbrt (exp (pow y 2)))
  (pow (exp (pow y 2)) 3)
  (sqrt (exp (pow y 2)))
  (sqrt (exp (pow y 2)))
  (pow E (/ (pow y 2) 2))
  (pow E (/ (pow y 2) 2))
  (expm1 (* x (exp (pow y 2))))
  (log1p (* x (exp (pow y 2))))
  (fma y y (log x))
  (fma y y (log x))
  (fma y y (log x))
  (fma y y (log x))
  (pow (exp x) (exp (pow y 2)))
  (pow (* x (exp (pow y 2))) 3)
  (* (cbrt (* x (exp (pow y 2)))) (cbrt (* x (exp (pow y 2)))))
  (cbrt (* x (exp (pow y 2))))
  (pow (* x (exp (pow y 2))) 3)
  (sqrt (* x (exp (pow y 2))))
  (sqrt (* x (exp (pow y 2))))
  (* (pow (sqrt E) (pow y 2)) (sqrt x))
  (* (pow (sqrt E) (pow y 2)) (sqrt x))
  (* (sqrt x) (sqrt (exp (pow y 2))))
  (* (sqrt x) (sqrt (exp (pow y 2))))
  (* (sqrt x) (pow E (/ (pow y 2) 2)))
  (* (sqrt x) (pow E (/ (pow y 2) 2)))
  (* (pow (* (cbrt E) (cbrt E)) (pow y 2)) x)
  (* (pow (sqrt E) (pow y 2)) x)
  x
  (* (* (cbrt (exp (pow y 2))) (cbrt (exp (pow y 2)))) x)
  (* (sqrt (exp (pow y 2))) x)
  x
  (* (pow E (/ (pow y 2) 2)) x)
  (* (exp (pow y 2)) (cbrt x))
  (* (exp (pow y 2)) (sqrt x))
  (* x (exp (pow y 2)))
  (fma y y (fma 1/2 (pow y 4) 1))
  (exp (pow y 2))
  (exp (pow y 2))
  x
  (* x (exp (pow y 2)))
  (* x (exp (pow y 2)))
7.684 * * * [progress]: adding candidates to table
8.010 * * [progress]: iteration 4 / 4
8.010 * * * [progress]: picking best candidate
8.030 * * * * [pick]: Picked  #<alt (λ (x y) (* (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (pow (cbrt (exp y)) y)))>
8.030 * * * [progress]: localizing error
8.065 * * * [progress]: generating rewritten candidates
8.065 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
8.068 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2)
8.070 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1)
8.072 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
8.091 * * * [progress]: generating series expansions
8.092 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
8.092 * [backup-simplify]: Simplify (cbrt (exp y)) into (pow (exp y) 1/3)
8.092 * [approximate]: Taking taylor expansion of (pow (exp y) 1/3) in (y) around 0
8.092 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
8.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
8.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
8.092 * [taylor]: Taking taylor expansion of 1/3 in y
8.092 * [backup-simplify]: Simplify 1/3 into 1/3
8.092 * [taylor]: Taking taylor expansion of (log (exp y)) in y
8.092 * [taylor]: Taking taylor expansion of (exp y) in y
8.092 * [taylor]: Taking taylor expansion of y in y
8.092 * [backup-simplify]: Simplify 0 into 0
8.092 * [backup-simplify]: Simplify 1 into 1
8.092 * [backup-simplify]: Simplify (exp 0) into 1
8.092 * [backup-simplify]: Simplify (log 1) into 0
8.093 * [backup-simplify]: Simplify (* 1/3 0) into 0
8.093 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.094 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
8.095 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
8.095 * [backup-simplify]: Simplify (exp 0) into 1
8.095 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
8.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
8.095 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
8.095 * [taylor]: Taking taylor expansion of 1/3 in y
8.095 * [backup-simplify]: Simplify 1/3 into 1/3
8.095 * [taylor]: Taking taylor expansion of (log (exp y)) in y
8.095 * [taylor]: Taking taylor expansion of (exp y) in y
8.095 * [taylor]: Taking taylor expansion of y in y
8.095 * [backup-simplify]: Simplify 0 into 0
8.095 * [backup-simplify]: Simplify 1 into 1
8.095 * [backup-simplify]: Simplify (exp 0) into 1
8.095 * [backup-simplify]: Simplify (log 1) into 0
8.095 * [backup-simplify]: Simplify (* 1/3 0) into 0
8.096 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.097 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
8.097 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
8.097 * [backup-simplify]: Simplify (exp 0) into 1
8.097 * [backup-simplify]: Simplify 1 into 1
8.098 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 1) 1)))) into 1/3
8.098 * [backup-simplify]: Simplify 1/3 into 1/3
8.099 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
8.102 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
8.103 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
8.105 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow 0 1) 1)))) into 1/18
8.105 * [backup-simplify]: Simplify 1/18 into 1/18
8.106 * [backup-simplify]: Simplify (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1)) into (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1))
8.106 * [backup-simplify]: Simplify (cbrt (exp (/ 1 y))) into (pow (exp (/ 1 y)) 1/3)
8.106 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in (y) around 0
8.106 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
8.106 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
8.106 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
8.106 * [taylor]: Taking taylor expansion of 1/3 in y
8.106 * [backup-simplify]: Simplify 1/3 into 1/3
8.106 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
8.106 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
8.106 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.106 * [taylor]: Taking taylor expansion of y in y
8.106 * [backup-simplify]: Simplify 0 into 0
8.106 * [backup-simplify]: Simplify 1 into 1
8.107 * [backup-simplify]: Simplify (/ 1 1) into 1
8.107 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
8.107 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
8.107 * [backup-simplify]: Simplify (* 1/3 (/ 1 y)) into (/ 1/3 y)
8.107 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y))
8.107 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
8.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
8.107 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
8.107 * [taylor]: Taking taylor expansion of 1/3 in y
8.107 * [backup-simplify]: Simplify 1/3 into 1/3
8.107 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
8.107 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
8.107 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.107 * [taylor]: Taking taylor expansion of y in y
8.107 * [backup-simplify]: Simplify 0 into 0
8.107 * [backup-simplify]: Simplify 1 into 1
8.108 * [backup-simplify]: Simplify (/ 1 1) into 1
8.108 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
8.108 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
8.108 * [backup-simplify]: Simplify (* 1/3 (/ 1 y)) into (/ 1/3 y)
8.108 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y))
8.108 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y))
8.109 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0
8.109 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (/ 1 y))) into 0
8.110 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 1) 1)))) into 0
8.110 * [backup-simplify]: Simplify 0 into 0
8.118 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 1)))) 2) into 0
8.118 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
8.119 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.119 * [backup-simplify]: Simplify 0 into 0
8.121 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 1)))) 6) into 0
8.122 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
8.123 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.123 * [backup-simplify]: Simplify 0 into 0
8.127 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (/ 1 y)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 1)))) 24) into 0
8.128 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))) into 0
8.129 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.129 * [backup-simplify]: Simplify 0 into 0
8.135 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (/ 1 y)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ 1 y)) 1)))) 120) into 0
8.137 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))))) into 0
8.139 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.139 * [backup-simplify]: Simplify 0 into 0
8.153 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (/ 1 y)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (/ 1 y)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (/ 1 y)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (/ 1 y)) 1)))) 720) into 0
8.156 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))))) into 0
8.162 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.162 * [backup-simplify]: Simplify 0 into 0
8.162 * [backup-simplify]: Simplify (exp (/ 1/3 (/ 1 y))) into (exp (* 1/3 y))
8.162 * [backup-simplify]: Simplify (cbrt (exp (/ 1 (- y)))) into (pow (exp (/ -1 y)) 1/3)
8.162 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in (y) around 0
8.162 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
8.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
8.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
8.162 * [taylor]: Taking taylor expansion of 1/3 in y
8.162 * [backup-simplify]: Simplify 1/3 into 1/3
8.162 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
8.162 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
8.162 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.162 * [taylor]: Taking taylor expansion of -1 in y
8.162 * [backup-simplify]: Simplify -1 into -1
8.162 * [taylor]: Taking taylor expansion of y in y
8.162 * [backup-simplify]: Simplify 0 into 0
8.162 * [backup-simplify]: Simplify 1 into 1
8.163 * [backup-simplify]: Simplify (/ -1 1) into -1
8.163 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
8.163 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
8.163 * [backup-simplify]: Simplify (* 1/3 (/ -1 y)) into (/ -1/3 y)
8.164 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y))
8.164 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
8.164 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
8.164 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
8.164 * [taylor]: Taking taylor expansion of 1/3 in y
8.164 * [backup-simplify]: Simplify 1/3 into 1/3
8.164 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
8.164 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
8.164 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.164 * [taylor]: Taking taylor expansion of -1 in y
8.164 * [backup-simplify]: Simplify -1 into -1
8.164 * [taylor]: Taking taylor expansion of y in y
8.164 * [backup-simplify]: Simplify 0 into 0
8.164 * [backup-simplify]: Simplify 1 into 1
8.164 * [backup-simplify]: Simplify (/ -1 1) into -1
8.165 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
8.165 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
8.165 * [backup-simplify]: Simplify (* 1/3 (/ -1 y)) into (/ -1/3 y)
8.165 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y))
8.165 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y))
8.166 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0
8.167 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (/ -1 y))) into 0
8.168 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 1) 1)))) into 0
8.168 * [backup-simplify]: Simplify 0 into 0
8.170 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 1)))) 2) into 0
8.171 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0
8.172 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.173 * [backup-simplify]: Simplify 0 into 0
8.176 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 1)))) 6) into 0
8.178 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0
8.180 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.181 * [backup-simplify]: Simplify 0 into 0
8.189 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (/ -1 y)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 1)))) 24) into 0
8.191 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))) into 0
8.194 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.194 * [backup-simplify]: Simplify 0 into 0
8.205 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (/ -1 y)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ -1 y)) 1)))) 120) into 0
8.208 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))))) into 0
8.212 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.212 * [backup-simplify]: Simplify 0 into 0
8.229 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (/ -1 y)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (/ -1 y)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (/ -1 y)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (/ -1 y)) 1)))) 720) into 0
8.232 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))))) into 0
8.235 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.235 * [backup-simplify]: Simplify 0 into 0
8.236 * [backup-simplify]: Simplify (exp (/ -1/3 (/ 1 (- y)))) into (exp (* 1/3 y))
8.236 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2)
8.236 * [backup-simplify]: Simplify (cbrt (exp y)) into (pow (exp y) 1/3)
8.236 * [approximate]: Taking taylor expansion of (pow (exp y) 1/3) in (y) around 0
8.236 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
8.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
8.236 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
8.236 * [taylor]: Taking taylor expansion of 1/3 in y
8.236 * [backup-simplify]: Simplify 1/3 into 1/3
8.236 * [taylor]: Taking taylor expansion of (log (exp y)) in y
8.236 * [taylor]: Taking taylor expansion of (exp y) in y
8.236 * [taylor]: Taking taylor expansion of y in y
8.236 * [backup-simplify]: Simplify 0 into 0
8.236 * [backup-simplify]: Simplify 1 into 1
8.236 * [backup-simplify]: Simplify (exp 0) into 1
8.236 * [backup-simplify]: Simplify (log 1) into 0
8.237 * [backup-simplify]: Simplify (* 1/3 0) into 0
8.238 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.239 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
8.239 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
8.239 * [backup-simplify]: Simplify (exp 0) into 1
8.239 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
8.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
8.239 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
8.239 * [taylor]: Taking taylor expansion of 1/3 in y
8.239 * [backup-simplify]: Simplify 1/3 into 1/3
8.239 * [taylor]: Taking taylor expansion of (log (exp y)) in y
8.239 * [taylor]: Taking taylor expansion of (exp y) in y
8.239 * [taylor]: Taking taylor expansion of y in y
8.239 * [backup-simplify]: Simplify 0 into 0
8.239 * [backup-simplify]: Simplify 1 into 1
8.239 * [backup-simplify]: Simplify (exp 0) into 1
8.240 * [backup-simplify]: Simplify (log 1) into 0
8.240 * [backup-simplify]: Simplify (* 1/3 0) into 0
8.241 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.242 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
8.242 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
8.242 * [backup-simplify]: Simplify (exp 0) into 1
8.242 * [backup-simplify]: Simplify 1 into 1
8.243 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 1) 1)))) into 1/3
8.243 * [backup-simplify]: Simplify 1/3 into 1/3
8.244 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
8.246 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
8.247 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
8.248 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow 0 1) 1)))) into 1/18
8.248 * [backup-simplify]: Simplify 1/18 into 1/18
8.249 * [backup-simplify]: Simplify (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1)) into (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1))
8.249 * [backup-simplify]: Simplify (cbrt (exp (/ 1 y))) into (pow (exp (/ 1 y)) 1/3)
8.249 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in (y) around 0
8.249 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
8.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
8.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
8.249 * [taylor]: Taking taylor expansion of 1/3 in y
8.249 * [backup-simplify]: Simplify 1/3 into 1/3
8.249 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
8.249 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
8.249 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.249 * [taylor]: Taking taylor expansion of y in y
8.249 * [backup-simplify]: Simplify 0 into 0
8.249 * [backup-simplify]: Simplify 1 into 1
8.250 * [backup-simplify]: Simplify (/ 1 1) into 1
8.250 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
8.250 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
8.250 * [backup-simplify]: Simplify (* 1/3 (/ 1 y)) into (/ 1/3 y)
8.250 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y))
8.250 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
8.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
8.250 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
8.250 * [taylor]: Taking taylor expansion of 1/3 in y
8.250 * [backup-simplify]: Simplify 1/3 into 1/3
8.250 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
8.250 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
8.250 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.250 * [taylor]: Taking taylor expansion of y in y
8.250 * [backup-simplify]: Simplify 0 into 0
8.250 * [backup-simplify]: Simplify 1 into 1
8.251 * [backup-simplify]: Simplify (/ 1 1) into 1
8.251 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
8.251 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
8.251 * [backup-simplify]: Simplify (* 1/3 (/ 1 y)) into (/ 1/3 y)
8.251 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y))
8.251 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y))
8.252 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0
8.253 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (/ 1 y))) into 0
8.253 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 1) 1)))) into 0
8.253 * [backup-simplify]: Simplify 0 into 0
8.255 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 1)))) 2) into 0
8.255 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
8.256 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.256 * [backup-simplify]: Simplify 0 into 0
8.259 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 1)))) 6) into 0
8.260 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
8.268 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.268 * [backup-simplify]: Simplify 0 into 0
8.273 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (/ 1 y)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 1)))) 24) into 0
8.274 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))) into 0
8.276 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.276 * [backup-simplify]: Simplify 0 into 0
8.283 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (/ 1 y)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ 1 y)) 1)))) 120) into 0
8.284 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))))) into 0
8.287 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.287 * [backup-simplify]: Simplify 0 into 0
8.304 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (/ 1 y)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (/ 1 y)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (/ 1 y)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (/ 1 y)) 1)))) 720) into 0
8.306 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))))) into 0
8.312 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.312 * [backup-simplify]: Simplify 0 into 0
8.312 * [backup-simplify]: Simplify (exp (/ 1/3 (/ 1 y))) into (exp (* 1/3 y))
8.313 * [backup-simplify]: Simplify (cbrt (exp (/ 1 (- y)))) into (pow (exp (/ -1 y)) 1/3)
8.313 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in (y) around 0
8.313 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
8.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
8.313 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
8.313 * [taylor]: Taking taylor expansion of 1/3 in y
8.313 * [backup-simplify]: Simplify 1/3 into 1/3
8.313 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
8.313 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
8.313 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.313 * [taylor]: Taking taylor expansion of -1 in y
8.313 * [backup-simplify]: Simplify -1 into -1
8.313 * [taylor]: Taking taylor expansion of y in y
8.313 * [backup-simplify]: Simplify 0 into 0
8.313 * [backup-simplify]: Simplify 1 into 1
8.314 * [backup-simplify]: Simplify (/ -1 1) into -1
8.314 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
8.314 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
8.314 * [backup-simplify]: Simplify (* 1/3 (/ -1 y)) into (/ -1/3 y)
8.314 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y))
8.314 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
8.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
8.314 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
8.314 * [taylor]: Taking taylor expansion of 1/3 in y
8.314 * [backup-simplify]: Simplify 1/3 into 1/3
8.314 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
8.314 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
8.315 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.315 * [taylor]: Taking taylor expansion of -1 in y
8.315 * [backup-simplify]: Simplify -1 into -1
8.315 * [taylor]: Taking taylor expansion of y in y
8.315 * [backup-simplify]: Simplify 0 into 0
8.315 * [backup-simplify]: Simplify 1 into 1
8.315 * [backup-simplify]: Simplify (/ -1 1) into -1
8.315 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
8.316 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
8.316 * [backup-simplify]: Simplify (* 1/3 (/ -1 y)) into (/ -1/3 y)
8.316 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y))
8.316 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y))
8.317 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0
8.318 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (/ -1 y))) into 0
8.319 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 1) 1)))) into 0
8.319 * [backup-simplify]: Simplify 0 into 0
8.321 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 1)))) 2) into 0
8.322 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0
8.323 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.323 * [backup-simplify]: Simplify 0 into 0
8.327 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 1)))) 6) into 0
8.328 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0
8.330 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.330 * [backup-simplify]: Simplify 0 into 0
8.335 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (/ -1 y)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 1)))) 24) into 0
8.337 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))) into 0
8.340 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.340 * [backup-simplify]: Simplify 0 into 0
8.349 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (/ -1 y)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ -1 y)) 1)))) 120) into 0
8.351 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))))) into 0
8.355 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.355 * [backup-simplify]: Simplify 0 into 0
8.370 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (/ -1 y)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (/ -1 y)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (/ -1 y)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (/ -1 y)) 1)))) 720) into 0
8.372 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))))) into 0
8.378 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.378 * [backup-simplify]: Simplify 0 into 0
8.378 * [backup-simplify]: Simplify (exp (/ -1/3 (/ 1 (- y)))) into (exp (* 1/3 y))
8.378 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1)
8.378 * [backup-simplify]: Simplify (cbrt (exp y)) into (pow (exp y) 1/3)
8.378 * [approximate]: Taking taylor expansion of (pow (exp y) 1/3) in (y) around 0
8.378 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
8.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
8.378 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
8.378 * [taylor]: Taking taylor expansion of 1/3 in y
8.378 * [backup-simplify]: Simplify 1/3 into 1/3
8.378 * [taylor]: Taking taylor expansion of (log (exp y)) in y
8.378 * [taylor]: Taking taylor expansion of (exp y) in y
8.379 * [taylor]: Taking taylor expansion of y in y
8.379 * [backup-simplify]: Simplify 0 into 0
8.379 * [backup-simplify]: Simplify 1 into 1
8.379 * [backup-simplify]: Simplify (exp 0) into 1
8.379 * [backup-simplify]: Simplify (log 1) into 0
8.380 * [backup-simplify]: Simplify (* 1/3 0) into 0
8.381 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.382 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
8.382 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
8.383 * [backup-simplify]: Simplify (exp 0) into 1
8.383 * [taylor]: Taking taylor expansion of (pow (exp y) 1/3) in y
8.383 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp y)))) in y
8.383 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp y))) in y
8.383 * [taylor]: Taking taylor expansion of 1/3 in y
8.383 * [backup-simplify]: Simplify 1/3 into 1/3
8.383 * [taylor]: Taking taylor expansion of (log (exp y)) in y
8.383 * [taylor]: Taking taylor expansion of (exp y) in y
8.383 * [taylor]: Taking taylor expansion of y in y
8.383 * [backup-simplify]: Simplify 0 into 0
8.383 * [backup-simplify]: Simplify 1 into 1
8.383 * [backup-simplify]: Simplify (exp 0) into 1
8.383 * [backup-simplify]: Simplify (log 1) into 0
8.384 * [backup-simplify]: Simplify (* 1/3 0) into 0
8.385 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.386 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
8.386 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
8.387 * [backup-simplify]: Simplify (exp 0) into 1
8.387 * [backup-simplify]: Simplify 1 into 1
8.388 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 1) 1)))) into 1/3
8.388 * [backup-simplify]: Simplify 1/3 into 1/3
8.389 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
8.392 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
8.393 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
8.395 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow 0 1) 1)))) into 1/18
8.395 * [backup-simplify]: Simplify 1/18 into 1/18
8.395 * [backup-simplify]: Simplify (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1)) into (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1))
8.395 * [backup-simplify]: Simplify (cbrt (exp (/ 1 y))) into (pow (exp (/ 1 y)) 1/3)
8.395 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in (y) around 0
8.395 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
8.395 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
8.395 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
8.395 * [taylor]: Taking taylor expansion of 1/3 in y
8.395 * [backup-simplify]: Simplify 1/3 into 1/3
8.395 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
8.395 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
8.396 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.396 * [taylor]: Taking taylor expansion of y in y
8.396 * [backup-simplify]: Simplify 0 into 0
8.396 * [backup-simplify]: Simplify 1 into 1
8.396 * [backup-simplify]: Simplify (/ 1 1) into 1
8.396 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
8.396 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
8.396 * [backup-simplify]: Simplify (* 1/3 (/ 1 y)) into (/ 1/3 y)
8.397 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y))
8.397 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/3) in y
8.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 y))))) in y
8.397 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 y)))) in y
8.397 * [taylor]: Taking taylor expansion of 1/3 in y
8.397 * [backup-simplify]: Simplify 1/3 into 1/3
8.397 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
8.397 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
8.397 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.397 * [taylor]: Taking taylor expansion of y in y
8.397 * [backup-simplify]: Simplify 0 into 0
8.397 * [backup-simplify]: Simplify 1 into 1
8.397 * [backup-simplify]: Simplify (/ 1 1) into 1
8.397 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
8.398 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
8.398 * [backup-simplify]: Simplify (* 1/3 (/ 1 y)) into (/ 1/3 y)
8.398 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y))
8.398 * [backup-simplify]: Simplify (exp (/ 1/3 y)) into (exp (/ 1/3 y))
8.399 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0
8.399 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (/ 1 y))) into 0
8.400 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 1) 1)))) into 0
8.400 * [backup-simplify]: Simplify 0 into 0
8.402 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 1)))) 2) into 0
8.403 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
8.404 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.404 * [backup-simplify]: Simplify 0 into 0
8.407 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 1)))) 6) into 0
8.409 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
8.410 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.410 * [backup-simplify]: Simplify 0 into 0
8.415 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (/ 1 y)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 1)))) 24) into 0
8.417 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))) into 0
8.426 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.426 * [backup-simplify]: Simplify 0 into 0
8.434 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (/ 1 y)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ 1 y)) 1)))) 120) into 0
8.436 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))))) into 0
8.438 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.438 * [backup-simplify]: Simplify 0 into 0
8.448 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (/ 1 y)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (/ 1 y)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (/ 1 y)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (/ 1 y)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (/ 1 y)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (/ 1 y)) 1)))) 720) into 0
8.450 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))))) into 0
8.456 * [backup-simplify]: Simplify (* (exp (/ 1/3 y)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.456 * [backup-simplify]: Simplify 0 into 0
8.456 * [backup-simplify]: Simplify (exp (/ 1/3 (/ 1 y))) into (exp (* 1/3 y))
8.456 * [backup-simplify]: Simplify (cbrt (exp (/ 1 (- y)))) into (pow (exp (/ -1 y)) 1/3)
8.456 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in (y) around 0
8.456 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
8.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
8.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
8.457 * [taylor]: Taking taylor expansion of 1/3 in y
8.457 * [backup-simplify]: Simplify 1/3 into 1/3
8.457 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
8.457 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
8.457 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.457 * [taylor]: Taking taylor expansion of -1 in y
8.457 * [backup-simplify]: Simplify -1 into -1
8.457 * [taylor]: Taking taylor expansion of y in y
8.457 * [backup-simplify]: Simplify 0 into 0
8.457 * [backup-simplify]: Simplify 1 into 1
8.457 * [backup-simplify]: Simplify (/ -1 1) into -1
8.457 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
8.458 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
8.458 * [backup-simplify]: Simplify (* 1/3 (/ -1 y)) into (/ -1/3 y)
8.458 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y))
8.458 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/3) in y
8.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 y))))) in y
8.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 y)))) in y
8.458 * [taylor]: Taking taylor expansion of 1/3 in y
8.458 * [backup-simplify]: Simplify 1/3 into 1/3
8.458 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
8.458 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
8.458 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.458 * [taylor]: Taking taylor expansion of -1 in y
8.458 * [backup-simplify]: Simplify -1 into -1
8.458 * [taylor]: Taking taylor expansion of y in y
8.458 * [backup-simplify]: Simplify 0 into 0
8.458 * [backup-simplify]: Simplify 1 into 1
8.459 * [backup-simplify]: Simplify (/ -1 1) into -1
8.459 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
8.459 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
8.459 * [backup-simplify]: Simplify (* 1/3 (/ -1 y)) into (/ -1/3 y)
8.459 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y))
8.459 * [backup-simplify]: Simplify (exp (/ -1/3 y)) into (exp (/ -1/3 y))
8.460 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0
8.461 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (/ -1 y))) into 0
8.462 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 1) 1)))) into 0
8.462 * [backup-simplify]: Simplify 0 into 0
8.464 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 1)))) 2) into 0
8.464 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0
8.466 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.466 * [backup-simplify]: Simplify 0 into 0
8.469 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 1)))) 6) into 0
8.471 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0
8.472 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.472 * [backup-simplify]: Simplify 0 into 0
8.478 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (/ -1 y)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 1)))) 24) into 0
8.479 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))) into 0
8.482 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.482 * [backup-simplify]: Simplify 0 into 0
8.490 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (/ -1 y)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ -1 y)) 1)))) 120) into 0
8.492 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))))) into 0
8.496 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.496 * [backup-simplify]: Simplify 0 into 0
8.510 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (/ -1 y)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (/ -1 y)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (/ -1 y)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (/ -1 y)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (/ -1 y)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (/ -1 y)) 1)))) 720) into 0
8.512 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))))) into 0
8.515 * [backup-simplify]: Simplify (* (exp (/ -1/3 y)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.515 * [backup-simplify]: Simplify 0 into 0
8.515 * [backup-simplify]: Simplify (exp (/ -1/3 (/ 1 (- y)))) into (exp (* 1/3 y))
8.516 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
8.516 * [backup-simplify]: Simplify (* (cbrt (exp y)) (cbrt (exp y))) into (pow (pow (exp y) 2) 1/3)
8.516 * [approximate]: Taking taylor expansion of (pow (pow (exp y) 2) 1/3) in (y) around 0
8.516 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 2) 1/3) in y
8.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp y) 2)))) in y
8.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp y) 2))) in y
8.516 * [taylor]: Taking taylor expansion of 1/3 in y
8.516 * [backup-simplify]: Simplify 1/3 into 1/3
8.516 * [taylor]: Taking taylor expansion of (log (pow (exp y) 2)) in y
8.516 * [taylor]: Taking taylor expansion of (pow (exp y) 2) in y
8.516 * [taylor]: Taking taylor expansion of (exp y) in y
8.516 * [taylor]: Taking taylor expansion of y in y
8.516 * [backup-simplify]: Simplify 0 into 0
8.516 * [backup-simplify]: Simplify 1 into 1
8.516 * [backup-simplify]: Simplify (exp 0) into 1
8.516 * [backup-simplify]: Simplify (* 1 1) into 1
8.516 * [backup-simplify]: Simplify (log 1) into 0
8.517 * [backup-simplify]: Simplify (* 1/3 0) into 0
8.517 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.518 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
8.518 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2) 1)) (pow 1 1)))) 1) into 2
8.519 * [backup-simplify]: Simplify (+ (* 1/3 2) (* 0 0)) into 2/3
8.519 * [backup-simplify]: Simplify (exp 0) into 1
8.519 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 2) 1/3) in y
8.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp y) 2)))) in y
8.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp y) 2))) in y
8.519 * [taylor]: Taking taylor expansion of 1/3 in y
8.519 * [backup-simplify]: Simplify 1/3 into 1/3
8.519 * [taylor]: Taking taylor expansion of (log (pow (exp y) 2)) in y
8.519 * [taylor]: Taking taylor expansion of (pow (exp y) 2) in y
8.519 * [taylor]: Taking taylor expansion of (exp y) in y
8.519 * [taylor]: Taking taylor expansion of y in y
8.519 * [backup-simplify]: Simplify 0 into 0
8.519 * [backup-simplify]: Simplify 1 into 1
8.519 * [backup-simplify]: Simplify (exp 0) into 1
8.519 * [backup-simplify]: Simplify (* 1 1) into 1
8.520 * [backup-simplify]: Simplify (log 1) into 0
8.520 * [backup-simplify]: Simplify (* 1/3 0) into 0
8.520 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.521 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
8.521 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2) 1)) (pow 1 1)))) 1) into 2
8.522 * [backup-simplify]: Simplify (+ (* 1/3 2) (* 0 0)) into 2/3
8.522 * [backup-simplify]: Simplify (exp 0) into 1
8.522 * [backup-simplify]: Simplify 1 into 1
8.523 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2/3 1) 1)))) into 2/3
8.523 * [backup-simplify]: Simplify 2/3 into 2/3
8.524 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
8.524 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
8.525 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 2) 1)) (pow 1 1)))) 2) into 0
8.526 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 2) (* 0 0))) into 0
8.527 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2/3 2) 2)) (* (/ (pow 0 1) 1)))) into 2/9
8.527 * [backup-simplify]: Simplify 2/9 into 2/9
8.527 * [backup-simplify]: Simplify (+ (* 2/9 (pow y 2)) (+ (* 2/3 y) 1)) into (+ (* 2/9 (pow y 2)) (+ (* 2/3 y) 1))
8.528 * [backup-simplify]: Simplify (* (cbrt (exp (/ 1 y))) (cbrt (exp (/ 1 y)))) into (pow (pow (exp (/ 1 y)) 2) 1/3)
8.528 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 2) 1/3) in (y) around 0
8.528 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 2) 1/3) in y
8.528 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) in y
8.528 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ 1 y)) 2))) in y
8.528 * [taylor]: Taking taylor expansion of 1/3 in y
8.528 * [backup-simplify]: Simplify 1/3 into 1/3
8.528 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 y)) 2)) in y
8.528 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 2) in y
8.528 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
8.528 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.528 * [taylor]: Taking taylor expansion of y in y
8.528 * [backup-simplify]: Simplify 0 into 0
8.528 * [backup-simplify]: Simplify 1 into 1
8.528 * [backup-simplify]: Simplify (/ 1 1) into 1
8.528 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
8.529 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (exp (/ 1 y))) into (pow (exp (/ 1 y)) 2)
8.529 * [backup-simplify]: Simplify (log (pow (exp (/ 1 y)) 2)) into (log (pow (exp (/ 1 y)) 2))
8.529 * [backup-simplify]: Simplify (* 1/3 (log (pow (exp (/ 1 y)) 2))) into (* 1/3 (log (pow (exp (/ 1 y)) 2)))
8.529 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) into (pow (pow (exp (/ 1 y)) 2) 1/3)
8.529 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 2) 1/3) in y
8.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) in y
8.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ 1 y)) 2))) in y
8.529 * [taylor]: Taking taylor expansion of 1/3 in y
8.529 * [backup-simplify]: Simplify 1/3 into 1/3
8.529 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 y)) 2)) in y
8.529 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 2) in y
8.529 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
8.529 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.529 * [taylor]: Taking taylor expansion of y in y
8.529 * [backup-simplify]: Simplify 0 into 0
8.529 * [backup-simplify]: Simplify 1 into 1
8.529 * [backup-simplify]: Simplify (/ 1 1) into 1
8.529 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
8.530 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (exp (/ 1 y))) into (pow (exp (/ 1 y)) 2)
8.530 * [backup-simplify]: Simplify (log (pow (exp (/ 1 y)) 2)) into (log (pow (exp (/ 1 y)) 2))
8.530 * [backup-simplify]: Simplify (* 1/3 (log (pow (exp (/ 1 y)) 2))) into (* 1/3 (log (pow (exp (/ 1 y)) 2)))
8.530 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) into (pow (pow (exp (/ 1 y)) 2) 1/3)
8.530 * [backup-simplify]: Simplify (pow (pow (exp (/ 1 y)) 2) 1/3) into (pow (pow (exp (/ 1 y)) 2) 1/3)
8.530 * [backup-simplify]: Simplify (+ (* (exp (/ 1 y)) 0) (* 0 (exp (/ 1 y)))) into 0
8.531 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (exp (/ 1 y)) 2) 1)))) 1) into 0
8.531 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (exp (/ 1 y)) 2)))) into 0
8.532 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
8.532 * [backup-simplify]: Simplify 0 into 0
8.532 * [backup-simplify]: Simplify (+ (* (exp (/ 1 y)) 0) (+ (* 0 0) (* 0 (exp (/ 1 y))))) into 0
8.534 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (exp (/ 1 y)) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (exp (/ 1 y)) 2) 1)))) 2) into 0
8.534 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (exp (/ 1 y)) 2))))) into 0
8.535 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.535 * [backup-simplify]: Simplify 0 into 0
8.536 * [backup-simplify]: Simplify (+ (* (exp (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 y)))))) into 0
8.540 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (exp (/ 1 y)) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (exp (/ 1 y)) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (exp (/ 1 y)) 2) 1)))) 6) into 0
8.541 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (exp (/ 1 y)) 2)))))) into 0
8.543 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.544 * [backup-simplify]: Simplify 0 into 0
8.545 * [backup-simplify]: Simplify (+ (* (exp (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 y))))))) into 0
8.551 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (exp (/ 1 y)) 2) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (exp (/ 1 y)) 2) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (exp (/ 1 y)) 2) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (exp (/ 1 y)) 2) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (exp (/ 1 y)) 2) 1)))) 24) into 0
8.552 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (exp (/ 1 y)) 2))))))) into 0
8.554 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.554 * [backup-simplify]: Simplify 0 into 0
8.561 * [backup-simplify]: Simplify (+ (* (exp (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 y)))))))) into 0
8.566 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (exp (/ 1 y)) 2) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (exp (/ 1 y)) 2) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (exp (/ 1 y)) 2) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (exp (/ 1 y)) 2) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (exp (/ 1 y)) 2) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (exp (/ 1 y)) 2) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (exp (/ 1 y)) 2) 1)))) 120) into 0
8.567 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (exp (/ 1 y)) 2)))))))) into 0
8.570 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.570 * [backup-simplify]: Simplify 0 into 0
8.571 * [backup-simplify]: Simplify (+ (* (exp (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 y))))))))) into 0
8.580 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (exp (/ 1 y)) 2) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (exp (/ 1 y)) 2) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (exp (/ 1 y)) 2) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (exp (/ 1 y)) 2) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (exp (/ 1 y)) 2) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (exp (/ 1 y)) 2) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (exp (/ 1 y)) 2) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (exp (/ 1 y)) 2) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (exp (/ 1 y)) 2) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (exp (/ 1 y)) 2) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (exp (/ 1 y)) 2) 1)))) 720) into 0
8.582 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (exp (/ 1 y)) 2))))))))) into 0
8.588 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ 1 y)) 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.588 * [backup-simplify]: Simplify 0 into 0
8.588 * [backup-simplify]: Simplify (pow (pow (exp (/ 1 (/ 1 y))) 2) 1/3) into (pow (pow (exp y) 2) 1/3)
8.589 * [backup-simplify]: Simplify (* (cbrt (exp (/ 1 (- y)))) (cbrt (exp (/ 1 (- y))))) into (pow (pow (exp (/ -1 y)) 2) 1/3)
8.589 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 2) 1/3) in (y) around 0
8.589 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 2) 1/3) in y
8.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) in y
8.589 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ -1 y)) 2))) in y
8.589 * [taylor]: Taking taylor expansion of 1/3 in y
8.589 * [backup-simplify]: Simplify 1/3 into 1/3
8.589 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 y)) 2)) in y
8.589 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 2) in y
8.589 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
8.589 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.589 * [taylor]: Taking taylor expansion of -1 in y
8.589 * [backup-simplify]: Simplify -1 into -1
8.589 * [taylor]: Taking taylor expansion of y in y
8.589 * [backup-simplify]: Simplify 0 into 0
8.589 * [backup-simplify]: Simplify 1 into 1
8.589 * [backup-simplify]: Simplify (/ -1 1) into -1
8.590 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
8.590 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (exp (/ -1 y))) into (pow (exp (/ -1 y)) 2)
8.590 * [backup-simplify]: Simplify (log (pow (exp (/ -1 y)) 2)) into (log (pow (exp (/ -1 y)) 2))
8.590 * [backup-simplify]: Simplify (* 1/3 (log (pow (exp (/ -1 y)) 2))) into (* 1/3 (log (pow (exp (/ -1 y)) 2)))
8.590 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) into (pow (pow (exp (/ -1 y)) 2) 1/3)
8.590 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 2) 1/3) in y
8.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) in y
8.590 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ -1 y)) 2))) in y
8.590 * [taylor]: Taking taylor expansion of 1/3 in y
8.590 * [backup-simplify]: Simplify 1/3 into 1/3
8.591 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 y)) 2)) in y
8.591 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 2) in y
8.591 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
8.591 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.591 * [taylor]: Taking taylor expansion of -1 in y
8.591 * [backup-simplify]: Simplify -1 into -1
8.591 * [taylor]: Taking taylor expansion of y in y
8.591 * [backup-simplify]: Simplify 0 into 0
8.591 * [backup-simplify]: Simplify 1 into 1
8.591 * [backup-simplify]: Simplify (/ -1 1) into -1
8.591 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
8.592 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (exp (/ -1 y))) into (pow (exp (/ -1 y)) 2)
8.592 * [backup-simplify]: Simplify (log (pow (exp (/ -1 y)) 2)) into (log (pow (exp (/ -1 y)) 2))
8.592 * [backup-simplify]: Simplify (* 1/3 (log (pow (exp (/ -1 y)) 2))) into (* 1/3 (log (pow (exp (/ -1 y)) 2)))
8.592 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) into (pow (pow (exp (/ -1 y)) 2) 1/3)
8.592 * [backup-simplify]: Simplify (pow (pow (exp (/ -1 y)) 2) 1/3) into (pow (pow (exp (/ -1 y)) 2) 1/3)
8.593 * [backup-simplify]: Simplify (+ (* (exp (/ -1 y)) 0) (* 0 (exp (/ -1 y)))) into 0
8.594 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (exp (/ -1 y)) 2) 1)))) 1) into 0
8.594 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (exp (/ -1 y)) 2)))) into 0
8.595 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
8.595 * [backup-simplify]: Simplify 0 into 0
8.596 * [backup-simplify]: Simplify (+ (* (exp (/ -1 y)) 0) (+ (* 0 0) (* 0 (exp (/ -1 y))))) into 0
8.598 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (exp (/ -1 y)) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (exp (/ -1 y)) 2) 1)))) 2) into 0
8.599 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (exp (/ -1 y)) 2))))) into 0
8.600 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.600 * [backup-simplify]: Simplify 0 into 0
8.601 * [backup-simplify]: Simplify (+ (* (exp (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 y)))))) into 0
8.604 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (exp (/ -1 y)) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (exp (/ -1 y)) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (exp (/ -1 y)) 2) 1)))) 6) into 0
8.605 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (exp (/ -1 y)) 2)))))) into 0
8.607 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.607 * [backup-simplify]: Simplify 0 into 0
8.608 * [backup-simplify]: Simplify (+ (* (exp (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 y))))))) into 0
8.613 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (pow (exp (/ -1 y)) 2) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (pow (exp (/ -1 y)) 2) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (pow (exp (/ -1 y)) 2) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (pow (exp (/ -1 y)) 2) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (pow (exp (/ -1 y)) 2) 1)))) 24) into 0
8.615 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (exp (/ -1 y)) 2))))))) into 0
8.617 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.617 * [backup-simplify]: Simplify 0 into 0
8.619 * [backup-simplify]: Simplify (+ (* (exp (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 y)))))))) into 0
8.627 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (pow (exp (/ -1 y)) 2) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (pow (exp (/ -1 y)) 2) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (pow (exp (/ -1 y)) 2) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (pow (exp (/ -1 y)) 2) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (exp (/ -1 y)) 2) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (pow (exp (/ -1 y)) 2) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (pow (exp (/ -1 y)) 2) 1)))) 120) into 0
8.629 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (exp (/ -1 y)) 2)))))))) into 0
8.633 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.633 * [backup-simplify]: Simplify 0 into 0
8.635 * [backup-simplify]: Simplify (+ (* (exp (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 y))))))))) into 0
8.648 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (pow (exp (/ -1 y)) 2) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (pow (exp (/ -1 y)) 2) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (pow (exp (/ -1 y)) 2) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (pow (exp (/ -1 y)) 2) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (pow (exp (/ -1 y)) 2) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (pow (exp (/ -1 y)) 2) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (pow (exp (/ -1 y)) 2) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (pow (exp (/ -1 y)) 2) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (pow (exp (/ -1 y)) 2) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (pow (exp (/ -1 y)) 2) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (pow (exp (/ -1 y)) 2) 1)))) 720) into 0
8.651 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (exp (/ -1 y)) 2))))))))) into 0
8.656 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (exp (/ -1 y)) 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.656 * [backup-simplify]: Simplify 0 into 0
8.656 * [backup-simplify]: Simplify (pow (pow (exp (/ -1 (/ 1 (- y)))) 2) 1/3) into (pow (pow (exp y) 2) 1/3)
8.656 * * * [progress]: simplifying candidates
8.658 * [simplify]: Simplifying:
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (log (cbrt (exp y)))
  (exp (cbrt (exp y)))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt 1)
  (cbrt (exp y))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (* (* (cbrt (exp y)) (cbrt (exp y))) (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (log (cbrt (exp y)))
  (exp (cbrt (exp y)))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt 1)
  (cbrt (exp y))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (* (* (cbrt (exp y)) (cbrt (exp y))) (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (log (cbrt (exp y)))
  (exp (cbrt (exp y)))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt 1)
  (cbrt (exp y))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (* (* (cbrt (exp y)) (cbrt (exp y))) (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (expm1 (* (cbrt (exp y)) (cbrt (exp y))))
  (log1p (* (cbrt (exp y)) (cbrt (exp y))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (exp y) (exp y))
  (* (cbrt (exp y)) (cbrt (exp y)))
  (+ 1 1)
  (+ (log (cbrt (exp y))) (log (cbrt (exp y))))
  (log (* (cbrt (exp y)) (cbrt (exp y))))
  (exp (* (cbrt (exp y)) (cbrt (exp y))))
  (* (exp y) (exp y))
  (* (cbrt (* (cbrt (exp y)) (cbrt (exp y)))) (cbrt (* (cbrt (exp y)) (cbrt (exp y)))))
  (cbrt (* (cbrt (exp y)) (cbrt (exp y))))
  (* (* (* (cbrt (exp y)) (cbrt (exp y))) (* (cbrt (exp y)) (cbrt (exp y)))) (* (cbrt (exp y)) (cbrt (exp y))))
  (sqrt (* (cbrt (exp y)) (cbrt (exp y))))
  (sqrt (* (cbrt (exp y)) (cbrt (exp y))))
  (* (cbrt (* (cbrt (exp y)) (cbrt (exp y)))) (cbrt (* (cbrt (exp y)) (cbrt (exp y)))))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))
  (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (exp y)) (cbrt (exp y)))
  (* (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y)))) (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y)))))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (* (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y))))
  (* (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y))))
  (* 1 1)
  (* (cbrt (exp y)) (cbrt (exp y)))
  (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))
  (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))
  (* (cbrt (sqrt (exp y))) (sqrt (cbrt (exp y))))
  (* (cbrt (sqrt (exp y))) (sqrt (cbrt (exp y))))
  (* (sqrt (cbrt (exp y))) (cbrt (sqrt (exp y))))
  (* (sqrt (cbrt (exp y))) (cbrt (sqrt (exp y))))
  (* (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y))))
  (* (sqrt (cbrt (exp y))) (sqrt (cbrt (exp y))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (exp y)) (cbrt (* (cbrt (exp y)) (cbrt (exp y)))))
  (* (cbrt (exp y)) (cbrt (sqrt (exp y))))
  (* (cbrt (exp y)) (cbrt 1))
  (* (cbrt (exp y)) (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y)))))
  (* (cbrt (exp y)) (sqrt (cbrt (exp y))))
  (* (cbrt (exp y)) 1)
  (* (cbrt (cbrt (exp y))) (cbrt (exp y)))
  (* (cbrt (sqrt (exp y))) (cbrt (exp y)))
  (* (cbrt (exp y)) (cbrt (exp y)))
  (* (cbrt (cbrt (exp y))) (cbrt (exp y)))
  (* (sqrt (cbrt (exp y))) (cbrt (exp y)))
  (* (cbrt (exp y)) (cbrt (exp y)))
  (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1))
  (exp (* 1/3 y))
  (exp (* 1/3 y))
  (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1))
  (exp (* 1/3 y))
  (exp (* 1/3 y))
  (+ (* 1/18 (pow y 2)) (+ (* 1/3 y) 1))
  (exp (* 1/3 y))
  (exp (* 1/3 y))
  (+ (* 2/9 (pow y 2)) (+ (* 2/3 y) 1))
  (pow (pow (exp y) 2) 1/3)
  (pow (pow (exp y) 2) 1/3)
8.660 * * [simplify]: Extracting # 0 : cost  0
8.660 * * [simplify]: Extracting # 1 : cost  0
8.660 * * [simplify]: Extracting # 2 : cost  0
8.660 * * [simplify]: Extracting # 3 : cost  0
8.660 * * [simplify]: Extracting # 4 : cost  0
8.661 * * [simplify]: Extracting # 5 : cost  0
8.661 * * [simplify]: Extracting # 6 : cost  0
8.661 * * [simplify]: Extracting # 7 : cost  0
8.661 * * [simplify]: iteration  0 :  64  enodes  (cost  718 )
8.695 * * [simplify]: Extracting # 0 : cost  0
8.695 * * [simplify]: Extracting # 1 : cost  0
8.695 * * [simplify]: Extracting # 2 : cost  0
8.696 * * [simplify]: Extracting # 3 : cost  0
8.696 * * [simplify]: Extracting # 4 : cost  0
8.696 * * [simplify]: iteration  1 :  142  enodes  (cost  645 )
8.768 * * [simplify]: Extracting # 0 : cost  0
8.768 * * [simplify]: Extracting # 1 : cost  0
8.769 * * [simplify]: Extracting # 2 : cost  0
8.770 * * [simplify]: Extracting # 3 : cost  0
8.770 * * [simplify]: Extracting # 4 : cost  0
8.771 * * [simplify]: iteration  2 :  493  enodes  (cost  601 )
9.276 * * [simplify]: Extracting # 0 : cost  0
9.284 * * [simplify]: Extracting # 1 : cost  0
9.288 * * [simplify]: Extracting # 2 : cost  0
9.292 * * [simplify]: Extracting # 3 : cost  0
9.296 * * [simplify]: Extracting # 4 : cost  0
9.299 * * [simplify]: Extracting # 5 : cost  0
9.303 * * [simplify]: iteration  3 :  2637  enodes  (cost  553 )
11.521 * * [simplify]: Extracting # 0 : cost  0
11.550 * * [simplify]: Extracting # 1 : cost  0
11.559 * * [simplify]: Extracting # 2 : cost  0
11.567 * * [simplify]: Extracting # 3 : cost  0
11.576 * * [simplify]: Extracting # 4 : cost  0
11.581 * * [simplify]: iteration done:  5001  enodes  (cost  525 )
11.581 * [simplify]: Simplified to:
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (log (cbrt (exp y)))
  (exp (cbrt (exp y)))
  (cbrt (cbrt (pow (exp y) 2)))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  1
  (cbrt (exp y))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (exp y)
  (sqrt (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (log (cbrt (exp y)))
  (exp (cbrt (exp y)))
  (cbrt (cbrt (pow (exp y) 2)))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  1
  (cbrt (exp y))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (exp y)
  (sqrt (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (expm1 (cbrt (exp y)))
  (log1p (cbrt (exp y)))
  (log (cbrt (exp y)))
  (exp (cbrt (exp y)))
  (cbrt (cbrt (pow (exp y) 2)))
  (cbrt (cbrt (exp y)))
  (cbrt (sqrt (exp y)))
  (cbrt (sqrt (exp y)))
  1
  (cbrt (exp y))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (cbrt (cbrt (exp y)))
  (exp y)
  (sqrt (cbrt (exp y)))
  (sqrt (cbrt (exp y)))
  (expm1 (cbrt (pow (exp y) 2)))
  (log1p (cbrt (pow (exp y) 2)))
  2/3
  2
  (pow (exp y) 2)
  (cbrt (pow (exp y) 2))
  2
  (* 2 (log (cbrt (exp y))))
  (* 2 (log (cbrt (exp y))))
  (exp (cbrt (pow (exp y) 2)))
  (pow (exp y) 2)
  (* (cbrt (cbrt (pow (exp y) 2))) (cbrt (cbrt (pow (exp y) 2))))
  (cbrt (cbrt (pow (exp y) 2)))
  (pow (exp y) 2)
  (fabs (cbrt (exp y)))
  (fabs (cbrt (exp y)))
  (* (cbrt (cbrt (pow (exp y) 2))) (cbrt (cbrt (pow (exp y) 2))))
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))
  (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))
  1
  (cbrt (pow (exp y) 2))
  (pow (cbrt (cbrt (exp y))) 4)
  (* (cbrt (cbrt (exp y))) (cbrt (cbrt (exp y))))
  (cbrt (exp y))
  (cbrt (exp y))
  1
  (cbrt (pow (exp y) 2))
  (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))
  (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))
  (* (sqrt (cbrt (exp y))) (cbrt (sqrt (exp y))))
  (* (sqrt (cbrt (exp y))) (cbrt (sqrt (exp y))))
  (* (sqrt (cbrt (exp y))) (cbrt (sqrt (exp y))))
  (* (sqrt (cbrt (exp y))) (cbrt (sqrt (exp y))))
  (cbrt (exp y))
  (cbrt (exp y))
  2/3
  2
  (* (cbrt (exp y)) (cbrt (cbrt (pow (exp y) 2))))
  (* (cbrt (sqrt (exp y))) (cbrt (exp y)))
  (cbrt (exp y))
  (pow (cbrt (cbrt (exp y))) (+ 4 1))
  (pow (sqrt (cbrt (exp y))) 3)
  (cbrt (exp y))
  (pow (cbrt (cbrt (exp y))) 4)
  (* (cbrt (sqrt (exp y))) (cbrt (exp y)))
  (cbrt (pow (exp y) 2))
  (pow (cbrt (cbrt (exp y))) 4)
  (pow (sqrt (cbrt (exp y))) 3)
  (cbrt (pow (exp y) 2))
  (fma y (fma y 1/18 1/3) 1)
  (cbrt (exp y))
  (cbrt (exp y))
  (fma y (fma y 1/18 1/3) 1)
  (cbrt (exp y))
  (cbrt (exp y))
  (fma y (fma y 1/18 1/3) 1)
  (cbrt (exp y))
  (cbrt (exp y))
  (fma y (fma 2/9 y 2/3) 1)
  (cbrt (pow (exp y) 2))
  (cbrt (pow (exp y) 2))
11.582 * * * [progress]: adding candidates to table
12.111 * [progress]: [Phase 3 of 3] Extracting.
12.111 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (* x (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)))> #<alt (λ (x y) (* (* (sqrt x) (pow E (/ (pow y 2) 2))) (* (sqrt x) (pow E (/ (pow y 2) 2)))))> #<alt (λ (x y) (* x (pow (exp 1) (pow y 2))))> #<alt (λ (x y) (* (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (pow (cbrt (exp y)) y)))>)
12.112 * * * [regime-changes]: Trying 2 branch expressions: (y x)
12.112 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (* x (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)))> #<alt (λ (x y) (* (* (sqrt x) (pow E (/ (pow y 2) 2))) (* (sqrt x) (pow E (/ (pow y 2) 2)))))> #<alt (λ (x y) (* x (pow (exp 1) (pow y 2))))> #<alt (λ (x y) (* (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (pow (cbrt (exp y)) y)))>)
12.165 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (* x (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)))> #<alt (λ (x y) (* (* (sqrt x) (pow E (/ (pow y 2) 2))) (* (sqrt x) (pow E (/ (pow y 2) 2)))))> #<alt (λ (x y) (* x (pow (exp 1) (pow y 2))))> #<alt (λ (x y) (* (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (pow (cbrt (exp y)) y)))>)
12.214 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
12.214 * [simplify]: Simplifying:
  (* x (pow (exp 1) (pow y 2)))
12.214 * * [simplify]: Extracting # 0 : cost  0
12.214 * * [simplify]: Extracting # 1 : cost  0
12.214 * * [simplify]: Extracting # 2 : cost  0
12.214 * * [simplify]: Extracting # 3 : cost  0
12.214 * * [simplify]: Extracting # 4 : cost  0
12.214 * * [simplify]: Extracting # 5 : cost  0
12.214 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
12.215 * * [simplify]: Extracting # 0 : cost  0
12.216 * * [simplify]: Extracting # 1 : cost  0
12.216 * * [simplify]: Extracting # 2 : cost  0
12.216 * * [simplify]: iteration  1 :  12  enodes  (cost  7 )
12.216 * * [simplify]: Extracting # 0 : cost  0
12.216 * * [simplify]: iteration done:  12  enodes  (cost  7 )
12.216 * [simplify]: Simplified to:
  (* (pow E (pow y 2)) x)
14.773 * [regime-testing]: Baseline error score: 0.021713296210555177
14.776 * [regime-testing]: Oracle error score: 0.008276343445242067
14.784 * [regime-testing]: End program error score: 0.021713296210555177
14.902 * [regime-testing]: Target error score: 0.013943260759764396