8.759 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.025 * [progress]: [Phase 2 of 3] Improving.
0.025 * [simplify]: Simplifying:
  (* 500.0 (- x y))
0.025 * * [simplify]: Extracting # 0 : cost  0
0.025 * * [simplify]: Extracting # 1 : cost  0
0.025 * * [simplify]: Extracting # 2 : cost  0
0.025 * * [simplify]: Extracting # 3 : cost  0
0.025 * * [simplify]: Extracting # 4 : cost  0
0.026 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
0.026 * * [simplify]: Extracting # 0 : cost  0
0.026 * * [simplify]: Extracting # 1 : cost  0
0.026 * * [simplify]: Extracting # 2 : cost  0
0.026 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
0.028 * * [simplify]: Extracting # 0 : cost  0
0.028 * * [simplify]: Extracting # 1 : cost  0
0.028 * * [simplify]: Extracting # 2 : cost  0
0.028 * * [simplify]: iteration  2 :  15  enodes  (cost  5 )
0.032 * * [simplify]: Extracting # 0 : cost  0
0.032 * * [simplify]: Extracting # 1 : cost  0
0.032 * * [simplify]: Extracting # 2 : cost  0
0.032 * * [simplify]: iteration  3 :  21  enodes  (cost  5 )
0.037 * * [simplify]: Extracting # 0 : cost  0
0.037 * * [simplify]: Extracting # 1 : cost  0
0.037 * * [simplify]: Extracting # 2 : cost  0
0.037 * * [simplify]: iteration  4 :  26  enodes  (cost  5 )
0.043 * * [simplify]: Extracting # 0 : cost  0
0.043 * * [simplify]: iteration done:  26  enodes  (cost  5 )
0.043 * [simplify]: Simplified to:
  (* 500.0 (- x y))
0.043 * * [progress]: iteration 1 / 4
0.043 * * * [progress]: picking best candidate
0.045 * * * * [pick]: Picked  #<alt (λ (x y) (* 500.0 (- x y)))>
0.045 * * * [progress]: localizing error
0.057 * * * [progress]: generating rewritten candidates
0.057 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.082 * * * [progress]: generating series expansions
0.082 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.082 * [backup-simplify]: Simplify (* 500.0 (- x y)) into (* 500.0 (- x y))
0.083 * [approximate]: Taking taylor expansion of (* 500.0 (- x y)) in (x y) around 0
0.083 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in y
0.083 * [taylor]: Taking taylor expansion of 500.0 in y
0.083 * [backup-simplify]: Simplify 500.0 into 500.0
0.083 * [taylor]: Taking taylor expansion of (- x y) in y
0.083 * [taylor]: Taking taylor expansion of x in y
0.083 * [backup-simplify]: Simplify x into x
0.083 * [taylor]: Taking taylor expansion of y in y
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 1 into 1
0.083 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in x
0.083 * [taylor]: Taking taylor expansion of 500.0 in x
0.083 * [backup-simplify]: Simplify 500.0 into 500.0
0.083 * [taylor]: Taking taylor expansion of (- x y) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 1 into 1
0.083 * [taylor]: Taking taylor expansion of y in x
0.083 * [backup-simplify]: Simplify y into y
0.083 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in x
0.083 * [taylor]: Taking taylor expansion of 500.0 in x
0.083 * [backup-simplify]: Simplify 500.0 into 500.0
0.083 * [taylor]: Taking taylor expansion of (- x y) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 1 into 1
0.083 * [taylor]: Taking taylor expansion of y in x
0.083 * [backup-simplify]: Simplify y into y
0.083 * [backup-simplify]: Simplify (- y) into (- y)
0.083 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
0.083 * [backup-simplify]: Simplify (* 500.0 (- y)) into (* -500.0 y)
0.083 * [taylor]: Taking taylor expansion of (* -500.0 y) in y
0.083 * [taylor]: Taking taylor expansion of -500.0 in y
0.083 * [backup-simplify]: Simplify -500.0 into -500.0
0.083 * [taylor]: Taking taylor expansion of y in y
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 1 into 1
0.084 * [backup-simplify]: Simplify (* -500.0 0) into 0
0.084 * [backup-simplify]: Simplify 0 into 0
0.084 * [backup-simplify]: Simplify (- 0) into 0
0.084 * [backup-simplify]: Simplify (+ 1 0) into 1
0.085 * [backup-simplify]: Simplify (+ (* 500.0 1) (* 0 (- y))) into 500.0
0.085 * [taylor]: Taking taylor expansion of 500.0 in y
0.085 * [backup-simplify]: Simplify 500.0 into 500.0
0.085 * [backup-simplify]: Simplify 500.0 into 500.0
0.086 * [backup-simplify]: Simplify (+ (* -500.0 1) (* 0 0)) into (- 500.0)
0.086 * [backup-simplify]: Simplify (- 500.0) into (- 500.0)
0.086 * [backup-simplify]: Simplify (- 0) into 0
0.086 * [backup-simplify]: Simplify (+ 0 0) into 0
0.087 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 1) (* 0 (- y)))) into 0
0.087 * [taylor]: Taking taylor expansion of 0 in y
0.087 * [backup-simplify]: Simplify 0 into 0
0.087 * [backup-simplify]: Simplify 0 into 0
0.087 * [backup-simplify]: Simplify 0 into 0
0.088 * [backup-simplify]: Simplify (+ (* -500.0 0) (+ (* 0 1) (* 0 0))) into 0
0.088 * [backup-simplify]: Simplify 0 into 0
0.088 * [backup-simplify]: Simplify (- 0) into 0
0.089 * [backup-simplify]: Simplify (+ 0 0) into 0
0.090 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- y))))) into 0
0.090 * [taylor]: Taking taylor expansion of 0 in y
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify (+ (* (- 500.0) (* y 1)) (* 500.0 (* 1 x))) into (- (* 500.0 x) (* 500.0 y))
0.090 * [backup-simplify]: Simplify (* 500.0 (- (/ 1 x) (/ 1 y))) into (* 500.0 (- (/ 1 x) (/ 1 y)))
0.090 * [approximate]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in (x y) around 0
0.090 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in y
0.091 * [taylor]: Taking taylor expansion of 500.0 in y
0.091 * [backup-simplify]: Simplify 500.0 into 500.0
0.091 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.091 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.091 * [taylor]: Taking taylor expansion of x in y
0.091 * [backup-simplify]: Simplify x into x
0.091 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.091 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.091 * [taylor]: Taking taylor expansion of y in y
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 1 into 1
0.091 * [backup-simplify]: Simplify (/ 1 1) into 1
0.091 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in x
0.091 * [taylor]: Taking taylor expansion of 500.0 in x
0.091 * [backup-simplify]: Simplify 500.0 into 500.0
0.091 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 1 into 1
0.092 * [backup-simplify]: Simplify (/ 1 1) into 1
0.092 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.092 * [taylor]: Taking taylor expansion of y in x
0.092 * [backup-simplify]: Simplify y into y
0.092 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.092 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in x
0.092 * [taylor]: Taking taylor expansion of 500.0 in x
0.092 * [backup-simplify]: Simplify 500.0 into 500.0
0.092 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.092 * [taylor]: Taking taylor expansion of x in x
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify 1 into 1
0.092 * [backup-simplify]: Simplify (/ 1 1) into 1
0.092 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.092 * [taylor]: Taking taylor expansion of y in x
0.092 * [backup-simplify]: Simplify y into y
0.092 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.093 * [backup-simplify]: Simplify (+ 1 0) into 1
0.093 * [backup-simplify]: Simplify (* 500.0 1) into 500.0
0.093 * [taylor]: Taking taylor expansion of 500.0 in y
0.093 * [backup-simplify]: Simplify 500.0 into 500.0
0.094 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.094 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
0.094 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
0.095 * [backup-simplify]: Simplify (+ (* 500.0 (- (/ 1 y))) (* 0 1)) into (- (* 500.0 (/ 1 y)))
0.095 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y))) in y
0.095 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
0.095 * [taylor]: Taking taylor expansion of 500.0 in y
0.095 * [backup-simplify]: Simplify 500.0 into 500.0
0.095 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.095 * [taylor]: Taking taylor expansion of y in y
0.095 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify 1 into 1
0.095 * [backup-simplify]: Simplify (/ 1 1) into 1
0.096 * [backup-simplify]: Simplify (* 500.0 1) into 500.0
0.096 * [backup-simplify]: Simplify (- 500.0) into (- 500.0)
0.097 * [backup-simplify]: Simplify (- 500.0) into (- 500.0)
0.097 * [backup-simplify]: Simplify 500.0 into 500.0
0.098 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.098 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.098 * [backup-simplify]: Simplify (- 0) into 0
0.099 * [backup-simplify]: Simplify (+ 0 0) into 0
0.099 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0
0.100 * [taylor]: Taking taylor expansion of 0 in y
0.100 * [backup-simplify]: Simplify 0 into 0
0.100 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.101 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0
0.101 * [backup-simplify]: Simplify (- 0) into 0
0.101 * [backup-simplify]: Simplify 0 into 0
0.101 * [backup-simplify]: Simplify 0 into 0
0.102 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.102 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.103 * [backup-simplify]: Simplify (- 0) into 0
0.103 * [backup-simplify]: Simplify (+ 0 0) into 0
0.104 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0
0.104 * [taylor]: Taking taylor expansion of 0 in y
0.104 * [backup-simplify]: Simplify 0 into 0
0.104 * [backup-simplify]: Simplify 0 into 0
0.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.106 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0
0.106 * [backup-simplify]: Simplify (- 0) into 0
0.106 * [backup-simplify]: Simplify 0 into 0
0.106 * [backup-simplify]: Simplify 0 into 0
0.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.107 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.108 * [backup-simplify]: Simplify (- 0) into 0
0.108 * [backup-simplify]: Simplify (+ 0 0) into 0
0.109 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0
0.110 * [taylor]: Taking taylor expansion of 0 in y
0.110 * [backup-simplify]: Simplify 0 into 0
0.110 * [backup-simplify]: Simplify 0 into 0
0.110 * [backup-simplify]: Simplify (+ (* 500.0 (* 1 (/ 1 (/ 1 x)))) (* (- 500.0) (* (/ 1 (/ 1 y)) 1))) into (- (* 500.0 x) (* 500.0 y))
0.110 * [backup-simplify]: Simplify (* 500.0 (- (/ 1 (- x)) (/ 1 (- y)))) into (* 500.0 (- (/ 1 y) (/ 1 x)))
0.110 * [approximate]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.110 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in y
0.110 * [taylor]: Taking taylor expansion of 500.0 in y
0.110 * [backup-simplify]: Simplify 500.0 into 500.0
0.110 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.111 * [taylor]: Taking taylor expansion of y in y
0.111 * [backup-simplify]: Simplify 0 into 0
0.111 * [backup-simplify]: Simplify 1 into 1
0.111 * [backup-simplify]: Simplify (/ 1 1) into 1
0.111 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.111 * [taylor]: Taking taylor expansion of x in y
0.111 * [backup-simplify]: Simplify x into x
0.111 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.111 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in x
0.111 * [taylor]: Taking taylor expansion of 500.0 in x
0.111 * [backup-simplify]: Simplify 500.0 into 500.0
0.111 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.111 * [taylor]: Taking taylor expansion of y in x
0.111 * [backup-simplify]: Simplify y into y
0.111 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.111 * [taylor]: Taking taylor expansion of x in x
0.111 * [backup-simplify]: Simplify 0 into 0
0.111 * [backup-simplify]: Simplify 1 into 1
0.112 * [backup-simplify]: Simplify (/ 1 1) into 1
0.112 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in x
0.112 * [taylor]: Taking taylor expansion of 500.0 in x
0.112 * [backup-simplify]: Simplify 500.0 into 500.0
0.112 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.112 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.112 * [taylor]: Taking taylor expansion of y in x
0.112 * [backup-simplify]: Simplify y into y
0.112 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.112 * [taylor]: Taking taylor expansion of x in x
0.112 * [backup-simplify]: Simplify 0 into 0
0.112 * [backup-simplify]: Simplify 1 into 1
0.112 * [backup-simplify]: Simplify (/ 1 1) into 1
0.113 * [backup-simplify]: Simplify (- 1) into -1
0.113 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.114 * [backup-simplify]: Simplify (* 500.0 -1) into -500.0
0.114 * [taylor]: Taking taylor expansion of -500.0 in y
0.114 * [backup-simplify]: Simplify -500.0 into -500.0
0.114 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.115 * [backup-simplify]: Simplify (- 0) into 0
0.115 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.115 * [backup-simplify]: Simplify (+ (* 500.0 (/ 1 y)) (* 0 -1)) into (* 500.0 (/ 1 y))
0.115 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
0.115 * [taylor]: Taking taylor expansion of 500.0 in y
0.115 * [backup-simplify]: Simplify 500.0 into 500.0
0.115 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.115 * [taylor]: Taking taylor expansion of y in y
0.115 * [backup-simplify]: Simplify 0 into 0
0.115 * [backup-simplify]: Simplify 1 into 1
0.116 * [backup-simplify]: Simplify (/ 1 1) into 1
0.116 * [backup-simplify]: Simplify (* 500.0 1) into 500.0
0.116 * [backup-simplify]: Simplify 500.0 into 500.0
0.116 * [backup-simplify]: Simplify -500.0 into -500.0
0.116 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.117 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.118 * [backup-simplify]: Simplify (- 0) into 0
0.118 * [backup-simplify]: Simplify (+ 0 0) into 0
0.119 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0
0.119 * [taylor]: Taking taylor expansion of 0 in y
0.119 * [backup-simplify]: Simplify 0 into 0
0.120 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.120 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0
0.120 * [backup-simplify]: Simplify 0 into 0
0.121 * [backup-simplify]: Simplify 0 into 0
0.121 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.121 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.121 * [backup-simplify]: Simplify (- 0) into 0
0.122 * [backup-simplify]: Simplify (+ 0 0) into 0
0.122 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0
0.122 * [taylor]: Taking taylor expansion of 0 in y
0.122 * [backup-simplify]: Simplify 0 into 0
0.122 * [backup-simplify]: Simplify 0 into 0
0.123 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.123 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0
0.123 * [backup-simplify]: Simplify 0 into 0
0.124 * [backup-simplify]: Simplify 0 into 0
0.124 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.124 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.124 * [backup-simplify]: Simplify (- 0) into 0
0.125 * [backup-simplify]: Simplify (+ 0 0) into 0
0.126 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0
0.126 * [taylor]: Taking taylor expansion of 0 in y
0.126 * [backup-simplify]: Simplify 0 into 0
0.126 * [backup-simplify]: Simplify 0 into 0
0.126 * [backup-simplify]: Simplify (+ (* -500.0 (* 1 (/ 1 (/ 1 (- x))))) (* 500.0 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 500.0 x) (* 500.0 y))
0.126 * * * [progress]: simplifying candidates
0.126 * [simplify]: Simplifying:
  (* 500.0 (- x y))
  (+ (log 500.0) (log (- x y)))
  (log (* 500.0 (- x y)))
  (exp (* 500.0 (- x y)))
  (* (* (* 500.0 500.0) 500.0) (* (* (- x y) (- x y)) (- x y)))
  (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y))))
  (cbrt (* 500.0 (- x y)))
  (* (* (* 500.0 (- x y)) (* 500.0 (- x y))) (* 500.0 (- x y)))
  (sqrt (* 500.0 (- x y)))
  (sqrt (* 500.0 (- x y)))
  (* (sqrt 500.0) (sqrt (- x y)))
  (* (sqrt 500.0) (sqrt (- x y)))
  (* 500.0 x)
  (* 500.0 (- y))
  (* 500.0 x)
  (* 500.0 (- y))
  (* x 500.0)
  (* (- y) 500.0)
  (* x 500.0)
  (* (- y) 500.0)
  (* 500.0 (* (cbrt (- x y)) (cbrt (- x y))))
  (* 500.0 (sqrt (- x y)))
  (* 500.0 1)
  (* 500.0 (+ (sqrt x) (sqrt y)))
  (* 500.0 1)
  (* (cbrt 500.0) (- x y))
  (* (sqrt 500.0) (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- (pow x 3) (pow y 3)))
  (* 500.0 (- (* x x) (* y y)))
  (- (* 500.0 x) (* 500.0 y))
  (- (* 500.0 x) (* 500.0 y))
  (- (* 500.0 x) (* 500.0 y))
0.127 * * [simplify]: Extracting # 0 : cost  0
0.127 * * [simplify]: Extracting # 1 : cost  0
0.127 * * [simplify]: Extracting # 2 : cost  0
0.127 * * [simplify]: Extracting # 3 : cost  0
0.127 * * [simplify]: Extracting # 4 : cost  0
0.127 * * [simplify]: Extracting # 5 : cost  0
0.127 * * [simplify]: iteration  0 :  52  enodes  (cost  217 )
0.141 * * [simplify]: Extracting # 0 : cost  0
0.141 * * [simplify]: Extracting # 1 : cost  0
0.141 * * [simplify]: Extracting # 2 : cost  0
0.141 * * [simplify]: Extracting # 3 : cost  0
0.141 * * [simplify]: iteration  1 :  125  enodes  (cost  206 )
0.178 * * [simplify]: Extracting # 0 : cost  0
0.179 * * [simplify]: Extracting # 1 : cost  0
0.179 * * [simplify]: Extracting # 2 : cost  0
0.179 * * [simplify]: Extracting # 3 : cost  0
0.180 * * [simplify]: Extracting # 4 : cost  0
0.180 * * [simplify]: Extracting # 5 : cost  0
0.180 * * [simplify]: Extracting # 6 : cost  0
0.181 * * [simplify]: iteration  2 :  386  enodes  (cost  188 )
0.461 * * [simplify]: Extracting # 0 : cost  0
0.464 * * [simplify]: Extracting # 1 : cost  0
0.466 * * [simplify]: Extracting # 2 : cost  0
0.468 * * [simplify]: Extracting # 3 : cost  0
0.469 * * [simplify]: Extracting # 4 : cost  0
0.471 * * [simplify]: iteration  3 :  1697  enodes  (cost  186 )
1.045 * * [simplify]: Extracting # 0 : cost  0
1.058 * * [simplify]: Extracting # 1 : cost  0
1.065 * * [simplify]: Extracting # 2 : cost  0
1.073 * * [simplify]: Extracting # 3 : cost  0
1.077 * * [simplify]: Extracting # 4 : cost  0
1.082 * * [simplify]: iteration done:  5000  enodes  (cost  186 )
1.082 * [simplify]: Simplified to:
  (* 500.0 (- x y))
  (log (* 500.0 (- x y)))
  (log (* 500.0 (- x y)))
  (exp (* 500.0 (- x y)))
  (pow (* (- x y) 500.0) 3)
  (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y))))
  (cbrt (* 500.0 (- x y)))
  (pow (* (- x y) 500.0) 3)
  (sqrt (* 500.0 (- x y)))
  (sqrt (* 500.0 (- x y)))
  (* (sqrt 500.0) (sqrt (- x y)))
  (* (sqrt 500.0) (sqrt (- x y)))
  (* x 500.0)
  (* 500.0 (- y))
  (* x 500.0)
  (* 500.0 (- y))
  (* x 500.0)
  (* 500.0 (- y))
  (* x 500.0)
  (* 500.0 (- y))
  (* 500.0 (* (cbrt (- x y)) (cbrt (- x y))))
  (* 500.0 (sqrt (- x y)))
  500.0
  (* 500.0 (+ (sqrt x) (sqrt y)))
  500.0
  (* (cbrt 500.0) (- x y))
  (* (sqrt 500.0) (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- (pow x 3) (pow y 3)))
  (* 500.0 (- (* x x) (* y y)))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
1.083 * * * [progress]: adding candidates to table
1.127 * * [progress]: iteration 2 / 4
1.127 * * * [progress]: picking best candidate
1.131 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* x 500.0) (* 500.0 (- y))))>
1.131 * * * [progress]: localizing error
1.137 * * * [progress]: generating rewritten candidates
1.137 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.147 * * * [progress]: generating series expansions
1.147 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.147 * [backup-simplify]: Simplify (+ (* x 500.0) (* 500.0 (- y))) into (- (* 500.0 x) (* 500.0 y))
1.147 * [approximate]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in (x y) around 0
1.147 * [taylor]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in y
1.147 * [taylor]: Taking taylor expansion of (* 500.0 x) in y
1.147 * [taylor]: Taking taylor expansion of 500.0 in y
1.147 * [backup-simplify]: Simplify 500.0 into 500.0
1.147 * [taylor]: Taking taylor expansion of x in y
1.147 * [backup-simplify]: Simplify x into x
1.147 * [taylor]: Taking taylor expansion of (* 500.0 y) in y
1.147 * [taylor]: Taking taylor expansion of 500.0 in y
1.147 * [backup-simplify]: Simplify 500.0 into 500.0
1.147 * [taylor]: Taking taylor expansion of y in y
1.147 * [backup-simplify]: Simplify 0 into 0
1.147 * [backup-simplify]: Simplify 1 into 1
1.147 * [taylor]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in x
1.147 * [taylor]: Taking taylor expansion of (* 500.0 x) in x
1.147 * [taylor]: Taking taylor expansion of 500.0 in x
1.147 * [backup-simplify]: Simplify 500.0 into 500.0
1.147 * [taylor]: Taking taylor expansion of x in x
1.147 * [backup-simplify]: Simplify 0 into 0
1.148 * [backup-simplify]: Simplify 1 into 1
1.148 * [taylor]: Taking taylor expansion of (* 500.0 y) in x
1.148 * [taylor]: Taking taylor expansion of 500.0 in x
1.148 * [backup-simplify]: Simplify 500.0 into 500.0
1.148 * [taylor]: Taking taylor expansion of y in x
1.148 * [backup-simplify]: Simplify y into y
1.148 * [taylor]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in x
1.148 * [taylor]: Taking taylor expansion of (* 500.0 x) in x
1.148 * [taylor]: Taking taylor expansion of 500.0 in x
1.148 * [backup-simplify]: Simplify 500.0 into 500.0
1.148 * [taylor]: Taking taylor expansion of x in x
1.148 * [backup-simplify]: Simplify 0 into 0
1.148 * [backup-simplify]: Simplify 1 into 1
1.148 * [taylor]: Taking taylor expansion of (* 500.0 y) in x
1.148 * [taylor]: Taking taylor expansion of 500.0 in x
1.148 * [backup-simplify]: Simplify 500.0 into 500.0
1.148 * [taylor]: Taking taylor expansion of y in x
1.148 * [backup-simplify]: Simplify y into y
1.149 * [backup-simplify]: Simplify (* 500.0 0) into 0
1.149 * [backup-simplify]: Simplify (* 500.0 y) into (* 500.0 y)
1.149 * [backup-simplify]: Simplify (- (* 500.0 y)) into (- (* 500.0 y))
1.149 * [backup-simplify]: Simplify (+ 0 (- (* 500.0 y))) into (- (* 500.0 y))
1.149 * [taylor]: Taking taylor expansion of (- (* 500.0 y)) in y
1.149 * [taylor]: Taking taylor expansion of (* 500.0 y) in y
1.149 * [taylor]: Taking taylor expansion of 500.0 in y
1.149 * [backup-simplify]: Simplify 500.0 into 500.0
1.149 * [taylor]: Taking taylor expansion of y in y
1.149 * [backup-simplify]: Simplify 0 into 0
1.149 * [backup-simplify]: Simplify 1 into 1
1.149 * [backup-simplify]: Simplify (* 500.0 0) into 0
1.150 * [backup-simplify]: Simplify (- 0) into 0
1.150 * [backup-simplify]: Simplify 0 into 0
1.151 * [backup-simplify]: Simplify (+ (* 500.0 1) (* 0 0)) into 500.0
1.151 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 y)) into 0
1.152 * [backup-simplify]: Simplify (- 0) into 0
1.152 * [backup-simplify]: Simplify (+ 500.0 0) into 500.0
1.152 * [taylor]: Taking taylor expansion of 500.0 in y
1.152 * [backup-simplify]: Simplify 500.0 into 500.0
1.152 * [backup-simplify]: Simplify 500.0 into 500.0
1.153 * [backup-simplify]: Simplify (+ (* 500.0 1) (* 0 0)) into 500.0
1.154 * [backup-simplify]: Simplify (- 500.0) into (- 500.0)
1.154 * [backup-simplify]: Simplify (- 500.0) into (- 500.0)
1.155 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 1) (* 0 0))) into 0
1.155 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 y))) into 0
1.156 * [backup-simplify]: Simplify (- 0) into 0
1.156 * [backup-simplify]: Simplify (+ 0 0) into 0
1.156 * [taylor]: Taking taylor expansion of 0 in y
1.156 * [backup-simplify]: Simplify 0 into 0
1.156 * [backup-simplify]: Simplify 0 into 0
1.156 * [backup-simplify]: Simplify 0 into 0
1.157 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 1) (* 0 0))) into 0
1.157 * [backup-simplify]: Simplify (- 0) into 0
1.157 * [backup-simplify]: Simplify 0 into 0
1.158 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.159 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.159 * [backup-simplify]: Simplify (- 0) into 0
1.160 * [backup-simplify]: Simplify (+ 0 0) into 0
1.160 * [taylor]: Taking taylor expansion of 0 in y
1.160 * [backup-simplify]: Simplify 0 into 0
1.160 * [backup-simplify]: Simplify 0 into 0
1.160 * [backup-simplify]: Simplify 0 into 0
1.160 * [backup-simplify]: Simplify 0 into 0
1.160 * [backup-simplify]: Simplify (+ (* (- 500.0) (* y 1)) (* 500.0 (* 1 x))) into (- (* 500.0 x) (* 500.0 y))
1.161 * [backup-simplify]: Simplify (+ (* (/ 1 x) 500.0) (* 500.0 (- (/ 1 y)))) into (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y)))
1.161 * [approximate]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in (x y) around 0
1.161 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in y
1.161 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in y
1.161 * [taylor]: Taking taylor expansion of 500.0 in y
1.161 * [backup-simplify]: Simplify 500.0 into 500.0
1.161 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.161 * [taylor]: Taking taylor expansion of x in y
1.161 * [backup-simplify]: Simplify x into x
1.161 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.161 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
1.161 * [taylor]: Taking taylor expansion of 500.0 in y
1.161 * [backup-simplify]: Simplify 500.0 into 500.0
1.161 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.161 * [taylor]: Taking taylor expansion of y in y
1.161 * [backup-simplify]: Simplify 0 into 0
1.161 * [backup-simplify]: Simplify 1 into 1
1.161 * [backup-simplify]: Simplify (/ 1 1) into 1
1.161 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in x
1.161 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x
1.161 * [taylor]: Taking taylor expansion of 500.0 in x
1.161 * [backup-simplify]: Simplify 500.0 into 500.0
1.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.162 * [taylor]: Taking taylor expansion of x in x
1.162 * [backup-simplify]: Simplify 0 into 0
1.162 * [backup-simplify]: Simplify 1 into 1
1.162 * [backup-simplify]: Simplify (/ 1 1) into 1
1.162 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x
1.162 * [taylor]: Taking taylor expansion of 500.0 in x
1.162 * [backup-simplify]: Simplify 500.0 into 500.0
1.162 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.162 * [taylor]: Taking taylor expansion of y in x
1.162 * [backup-simplify]: Simplify y into y
1.162 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.162 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in x
1.162 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x
1.162 * [taylor]: Taking taylor expansion of 500.0 in x
1.162 * [backup-simplify]: Simplify 500.0 into 500.0
1.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.162 * [taylor]: Taking taylor expansion of x in x
1.162 * [backup-simplify]: Simplify 0 into 0
1.162 * [backup-simplify]: Simplify 1 into 1
1.163 * [backup-simplify]: Simplify (/ 1 1) into 1
1.163 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x
1.163 * [taylor]: Taking taylor expansion of 500.0 in x
1.163 * [backup-simplify]: Simplify 500.0 into 500.0
1.163 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.163 * [taylor]: Taking taylor expansion of y in x
1.163 * [backup-simplify]: Simplify y into y
1.163 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.163 * [backup-simplify]: Simplify (* 500.0 1) into 500.0
1.164 * [backup-simplify]: Simplify (+ 500.0 0) into 500.0
1.164 * [taylor]: Taking taylor expansion of 500.0 in y
1.164 * [backup-simplify]: Simplify 500.0 into 500.0
1.164 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.165 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0
1.165 * [backup-simplify]: Simplify (* 500.0 (/ 1 y)) into (/ 500.0 y)
1.165 * [backup-simplify]: Simplify (- (/ 500.0 y)) into (- (* 500.0 (/ 1 y)))
1.165 * [backup-simplify]: Simplify (+ 0 (- (* 500.0 (/ 1 y)))) into (- (* 500.0 (/ 1 y)))
1.165 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y))) in y
1.165 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
1.165 * [taylor]: Taking taylor expansion of 500.0 in y
1.165 * [backup-simplify]: Simplify 500.0 into 500.0
1.165 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.166 * [taylor]: Taking taylor expansion of y in y
1.166 * [backup-simplify]: Simplify 0 into 0
1.166 * [backup-simplify]: Simplify 1 into 1
1.166 * [backup-simplify]: Simplify (/ 1 1) into 1
1.166 * [backup-simplify]: Simplify (* 500.0 1) into 500.0
1.167 * [backup-simplify]: Simplify (- 500.0) into (- 500.0)
1.167 * [backup-simplify]: Simplify (- 500.0) into (- 500.0)
1.167 * [backup-simplify]: Simplify 500.0 into 500.0
1.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.168 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0
1.169 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.169 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 (/ 1 y))) into 0
1.169 * [backup-simplify]: Simplify (- 0) into 0
1.170 * [backup-simplify]: Simplify (+ 0 0) into 0
1.170 * [taylor]: Taking taylor expansion of 0 in y
1.170 * [backup-simplify]: Simplify 0 into 0
1.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.171 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0
1.171 * [backup-simplify]: Simplify (- 0) into 0
1.171 * [backup-simplify]: Simplify 0 into 0
1.171 * [backup-simplify]: Simplify 0 into 0
1.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.178 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.178 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.179 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
1.179 * [backup-simplify]: Simplify (- 0) into 0
1.180 * [backup-simplify]: Simplify (+ 0 0) into 0
1.180 * [taylor]: Taking taylor expansion of 0 in y
1.180 * [backup-simplify]: Simplify 0 into 0
1.180 * [backup-simplify]: Simplify 0 into 0
1.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.181 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0
1.182 * [backup-simplify]: Simplify (- 0) into 0
1.182 * [backup-simplify]: Simplify 0 into 0
1.182 * [backup-simplify]: Simplify 0 into 0
1.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.183 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.184 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.185 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
1.185 * [backup-simplify]: Simplify (- 0) into 0
1.185 * [backup-simplify]: Simplify (+ 0 0) into 0
1.185 * [taylor]: Taking taylor expansion of 0 in y
1.185 * [backup-simplify]: Simplify 0 into 0
1.185 * [backup-simplify]: Simplify 0 into 0
1.186 * [backup-simplify]: Simplify (+ (* 500.0 (* 1 (/ 1 (/ 1 x)))) (* (- 500.0) (* (/ 1 (/ 1 y)) 1))) into (- (* 500.0 x) (* 500.0 y))
1.186 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) 500.0) (* 500.0 (- (/ 1 (- y))))) into (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x)))
1.186 * [approximate]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in (x y) around 0
1.186 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in y
1.186 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
1.186 * [taylor]: Taking taylor expansion of 500.0 in y
1.186 * [backup-simplify]: Simplify 500.0 into 500.0
1.186 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.186 * [taylor]: Taking taylor expansion of y in y
1.186 * [backup-simplify]: Simplify 0 into 0
1.186 * [backup-simplify]: Simplify 1 into 1
1.187 * [backup-simplify]: Simplify (/ 1 1) into 1
1.187 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in y
1.187 * [taylor]: Taking taylor expansion of 500.0 in y
1.187 * [backup-simplify]: Simplify 500.0 into 500.0
1.187 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.187 * [taylor]: Taking taylor expansion of x in y
1.187 * [backup-simplify]: Simplify x into x
1.187 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.187 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in x
1.187 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x
1.187 * [taylor]: Taking taylor expansion of 500.0 in x
1.187 * [backup-simplify]: Simplify 500.0 into 500.0
1.187 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.187 * [taylor]: Taking taylor expansion of y in x
1.187 * [backup-simplify]: Simplify y into y
1.187 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.187 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x
1.187 * [taylor]: Taking taylor expansion of 500.0 in x
1.187 * [backup-simplify]: Simplify 500.0 into 500.0
1.187 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.187 * [taylor]: Taking taylor expansion of x in x
1.187 * [backup-simplify]: Simplify 0 into 0
1.187 * [backup-simplify]: Simplify 1 into 1
1.188 * [backup-simplify]: Simplify (/ 1 1) into 1
1.188 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in x
1.188 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x
1.188 * [taylor]: Taking taylor expansion of 500.0 in x
1.188 * [backup-simplify]: Simplify 500.0 into 500.0
1.188 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.188 * [taylor]: Taking taylor expansion of y in x
1.188 * [backup-simplify]: Simplify y into y
1.188 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.188 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x
1.188 * [taylor]: Taking taylor expansion of 500.0 in x
1.188 * [backup-simplify]: Simplify 500.0 into 500.0
1.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.188 * [taylor]: Taking taylor expansion of x in x
1.188 * [backup-simplify]: Simplify 0 into 0
1.188 * [backup-simplify]: Simplify 1 into 1
1.188 * [backup-simplify]: Simplify (/ 1 1) into 1
1.189 * [backup-simplify]: Simplify (* 500.0 1) into 500.0
1.189 * [backup-simplify]: Simplify (- 500.0) into (- 500.0)
1.190 * [backup-simplify]: Simplify (+ 0 (- 500.0)) into (- 500.0)
1.190 * [taylor]: Taking taylor expansion of (- 500.0) in y
1.190 * [taylor]: Taking taylor expansion of 500.0 in y
1.190 * [backup-simplify]: Simplify 500.0 into 500.0
1.190 * [backup-simplify]: Simplify (* 500.0 (/ 1 y)) into (/ 500.0 y)
1.191 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.191 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0
1.192 * [backup-simplify]: Simplify (- 0) into 0
1.192 * [backup-simplify]: Simplify (+ (/ 500.0 y) 0) into (* 500.0 (/ 1 y))
1.192 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
1.192 * [taylor]: Taking taylor expansion of 500.0 in y
1.192 * [backup-simplify]: Simplify 500.0 into 500.0
1.192 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.192 * [taylor]: Taking taylor expansion of y in y
1.192 * [backup-simplify]: Simplify 0 into 0
1.192 * [backup-simplify]: Simplify 1 into 1
1.192 * [backup-simplify]: Simplify (/ 1 1) into 1
1.193 * [backup-simplify]: Simplify (* 500.0 1) into 500.0
1.193 * [backup-simplify]: Simplify 500.0 into 500.0
1.193 * [backup-simplify]: Simplify (- 500.0) into (- 500.0)
1.193 * [backup-simplify]: Simplify (- 500.0) into (- 500.0)
1.193 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.194 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 (/ 1 y))) into 0
1.194 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.195 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0
1.196 * [backup-simplify]: Simplify (- 0) into 0
1.196 * [backup-simplify]: Simplify (+ 0 0) into 0
1.196 * [taylor]: Taking taylor expansion of 0 in y
1.196 * [backup-simplify]: Simplify 0 into 0
1.197 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.197 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0
1.197 * [backup-simplify]: Simplify 0 into 0
1.197 * [backup-simplify]: Simplify (- 0) into 0
1.198 * [backup-simplify]: Simplify 0 into 0
1.198 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.198 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
1.199 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.200 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.200 * [backup-simplify]: Simplify (- 0) into 0
1.201 * [backup-simplify]: Simplify (+ 0 0) into 0
1.201 * [taylor]: Taking taylor expansion of 0 in y
1.201 * [backup-simplify]: Simplify 0 into 0
1.201 * [backup-simplify]: Simplify 0 into 0
1.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.202 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0
1.202 * [backup-simplify]: Simplify 0 into 0
1.203 * [backup-simplify]: Simplify (- 0) into 0
1.203 * [backup-simplify]: Simplify 0 into 0
1.203 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.204 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
1.204 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.205 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.206 * [backup-simplify]: Simplify (- 0) into 0
1.206 * [backup-simplify]: Simplify (+ 0 0) into 0
1.206 * [taylor]: Taking taylor expansion of 0 in y
1.206 * [backup-simplify]: Simplify 0 into 0
1.206 * [backup-simplify]: Simplify 0 into 0
1.207 * [backup-simplify]: Simplify (+ (* (- 500.0) (* 1 (/ 1 (/ 1 (- x))))) (* 500.0 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 500.0 x) (* 500.0 y))
1.207 * * * [progress]: simplifying candidates
1.207 * [simplify]: Simplifying:
  (* (exp (* x 500.0)) (exp (* 500.0 (- y))))
  (log (+ (* x 500.0) (* 500.0 (- y))))
  (exp (+ (* x 500.0) (* 500.0 (- y))))
  (* (cbrt (+ (* x 500.0) (* 500.0 (- y)))) (cbrt (+ (* x 500.0) (* 500.0 (- y)))))
  (cbrt (+ (* x 500.0) (* 500.0 (- y))))
  (* (* (+ (* x 500.0) (* 500.0 (- y))) (+ (* x 500.0) (* 500.0 (- y)))) (+ (* x 500.0) (* 500.0 (- y))))
  (sqrt (+ (* x 500.0) (* 500.0 (- y))))
  (sqrt (+ (* x 500.0) (* 500.0 (- y))))
  (+ (pow (* x 500.0) 3) (pow (* 500.0 (- y)) 3))
  (+ (* (* x 500.0) (* x 500.0)) (- (* (* 500.0 (- y)) (* 500.0 (- y))) (* (* x 500.0) (* 500.0 (- y)))))
  (- (* (* x 500.0) (* x 500.0)) (* (* 500.0 (- y)) (* 500.0 (- y))))
  (- (* x 500.0) (* 500.0 (- y)))
  (- (* 500.0 x) (* 500.0 y))
  (- (* 500.0 x) (* 500.0 y))
  (- (* 500.0 x) (* 500.0 y))
1.208 * * [simplify]: Extracting # 0 : cost  0
1.208 * * [simplify]: Extracting # 1 : cost  0
1.208 * * [simplify]: Extracting # 2 : cost  0
1.208 * * [simplify]: Extracting # 3 : cost  0
1.208 * * [simplify]: Extracting # 4 : cost  0
1.208 * * [simplify]: Extracting # 5 : cost  0
1.208 * * [simplify]: iteration  0 :  31  enodes  (cost  184 )
1.218 * * [simplify]: Extracting # 0 : cost  0
1.218 * * [simplify]: Extracting # 1 : cost  0
1.218 * * [simplify]: Extracting # 2 : cost  0
1.218 * * [simplify]: Extracting # 3 : cost  0
1.219 * * [simplify]: Extracting # 4 : cost  0
1.219 * * [simplify]: Extracting # 5 : cost  0
1.219 * * [simplify]: iteration  1 :  103  enodes  (cost  136 )
1.251 * * [simplify]: Extracting # 0 : cost  0
1.252 * * [simplify]: Extracting # 1 : cost  0
1.252 * * [simplify]: Extracting # 2 : cost  0
1.253 * * [simplify]: Extracting # 3 : cost  0
1.253 * * [simplify]: Extracting # 4 : cost  0
1.254 * * [simplify]: Extracting # 5 : cost  0
1.254 * * [simplify]: iteration  2 :  549  enodes  (cost  120 )
1.754 * * [simplify]: Extracting # 0 : cost  0
1.765 * * [simplify]: Extracting # 1 : cost  0
1.776 * * [simplify]: Extracting # 2 : cost  0
1.782 * * [simplify]: Extracting # 3 : cost  0
1.788 * * [simplify]: Extracting # 4 : cost  0
1.793 * * [simplify]: iteration  3 :  3937  enodes  (cost  115 )
4.063 * * [simplify]: Extracting # 0 : cost  0
4.074 * * [simplify]: Extracting # 1 : cost  0
4.082 * * [simplify]: Extracting # 2 : cost  0
4.090 * * [simplify]: Extracting # 3 : cost  0
4.098 * * [simplify]: Extracting # 4 : cost  0
4.105 * * [simplify]: iteration done:  5000  enodes  (cost  115 )
4.106 * [simplify]: Simplified to:
  (exp (* 500.0 (- x y)))
  (log (* 500.0 (- x y)))
  (exp (* 500.0 (- x y)))
  (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y))))
  (cbrt (* 500.0 (- x y)))
  (pow (* 500.0 (- x y)) 3)
  (sqrt (* 500.0 (- x y)))
  (sqrt (* 500.0 (- x y)))
  (- (pow (* x 500.0) 3) (pow (* y 500.0) 3))
  (+ (* (* x 500.0) (* 500.0 (+ x y))) (* (* y 500.0) (* y 500.0)))
  (* 500.0 (* (+ x y) (* (- x y) 500.0)))
  (* 500.0 (+ y x))
  (* (- x y) 500.0)
  (* (- x y) 500.0)
  (* (- x y) 500.0)
4.106 * * * [progress]: adding candidates to table
4.149 * * [progress]: iteration 3 / 4
4.149 * * * [progress]: picking best candidate
4.152 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))))>
4.152 * * * [progress]: localizing error
4.161 * * * [progress]: generating rewritten candidates
4.161 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
4.180 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
4.213 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
4.283 * * * [progress]: generating series expansions
4.283 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
4.283 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
4.284 * [backup-simplify]: Simplify (* (cbrt 500.0) (- x y)) into (* (- x y) (cbrt 500.0))
4.284 * [approximate]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in (x y) around 0
4.284 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in y
4.284 * [taylor]: Taking taylor expansion of (- x y) in y
4.284 * [taylor]: Taking taylor expansion of x in y
4.284 * [backup-simplify]: Simplify x into x
4.284 * [taylor]: Taking taylor expansion of y in y
4.284 * [backup-simplify]: Simplify 0 into 0
4.284 * [backup-simplify]: Simplify 1 into 1
4.284 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
4.284 * [taylor]: Taking taylor expansion of 500.0 in y
4.284 * [backup-simplify]: Simplify 500.0 into 500.0
4.284 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.285 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.285 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in x
4.285 * [taylor]: Taking taylor expansion of (- x y) in x
4.285 * [taylor]: Taking taylor expansion of x in x
4.285 * [backup-simplify]: Simplify 0 into 0
4.285 * [backup-simplify]: Simplify 1 into 1
4.285 * [taylor]: Taking taylor expansion of y in x
4.285 * [backup-simplify]: Simplify y into y
4.285 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
4.285 * [taylor]: Taking taylor expansion of 500.0 in x
4.285 * [backup-simplify]: Simplify 500.0 into 500.0
4.285 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.286 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.286 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in x
4.286 * [taylor]: Taking taylor expansion of (- x y) in x
4.286 * [taylor]: Taking taylor expansion of x in x
4.286 * [backup-simplify]: Simplify 0 into 0
4.286 * [backup-simplify]: Simplify 1 into 1
4.286 * [taylor]: Taking taylor expansion of y in x
4.286 * [backup-simplify]: Simplify y into y
4.286 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
4.286 * [taylor]: Taking taylor expansion of 500.0 in x
4.286 * [backup-simplify]: Simplify 500.0 into 500.0
4.286 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.287 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.287 * [backup-simplify]: Simplify (- y) into (- y)
4.287 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
4.287 * [backup-simplify]: Simplify (* (- y) (cbrt 500.0)) into (* -1 (* y (cbrt 500.0)))
4.287 * [taylor]: Taking taylor expansion of (* -1 (* y (cbrt 500.0))) in y
4.287 * [taylor]: Taking taylor expansion of -1 in y
4.287 * [backup-simplify]: Simplify -1 into -1
4.287 * [taylor]: Taking taylor expansion of (* y (cbrt 500.0)) in y
4.287 * [taylor]: Taking taylor expansion of y in y
4.287 * [backup-simplify]: Simplify 0 into 0
4.287 * [backup-simplify]: Simplify 1 into 1
4.287 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
4.287 * [taylor]: Taking taylor expansion of 500.0 in y
4.287 * [backup-simplify]: Simplify 500.0 into 500.0
4.288 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.288 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.288 * [backup-simplify]: Simplify (* 0 (cbrt 500.0)) into 0
4.289 * [backup-simplify]: Simplify (* -1 0) into 0
4.289 * [backup-simplify]: Simplify 0 into 0
4.289 * [backup-simplify]: Simplify (- 0) into 0
4.289 * [backup-simplify]: Simplify (+ 1 0) into 1
4.290 * [backup-simplify]: Simplify (+ (* (- y) 0) (* 1 (cbrt 500.0))) into (cbrt 500.0)
4.290 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
4.290 * [taylor]: Taking taylor expansion of 500.0 in y
4.290 * [backup-simplify]: Simplify 500.0 into 500.0
4.290 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.291 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.291 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.292 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (cbrt 500.0))) into (cbrt 500.0)
4.294 * [backup-simplify]: Simplify (+ (* -1 (cbrt 500.0)) (* 0 0)) into (- (cbrt 500.0))
4.294 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0))
4.295 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
4.295 * [backup-simplify]: Simplify (- 0) into 0
4.295 * [backup-simplify]: Simplify (+ 0 0) into 0
4.296 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (* 0 (cbrt 500.0)))) into 0
4.296 * [taylor]: Taking taylor expansion of 0 in y
4.296 * [backup-simplify]: Simplify 0 into 0
4.296 * [backup-simplify]: Simplify 0 into 0
4.296 * [backup-simplify]: Simplify 0 into 0
4.297 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
4.298 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (cbrt 500.0)))) into 0
4.298 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (cbrt 500.0)) (* 0 0))) into 0
4.298 * [backup-simplify]: Simplify 0 into 0
4.299 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0
4.299 * [backup-simplify]: Simplify (- 0) into 0
4.300 * [backup-simplify]: Simplify (+ 0 0) into 0
4.300 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0
4.300 * [taylor]: Taking taylor expansion of 0 in y
4.300 * [backup-simplify]: Simplify 0 into 0
4.301 * [backup-simplify]: Simplify 0 into 0
4.301 * [backup-simplify]: Simplify 0 into 0
4.301 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
4.301 * [backup-simplify]: Simplify 0 into 0
4.302 * [backup-simplify]: Simplify (+ (* (- (cbrt 500.0)) (* y 1)) (* (cbrt 500.0) (* 1 x))) into (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
4.303 * [backup-simplify]: Simplify (* (cbrt 500.0) (- (/ 1 x) (/ 1 y))) into (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0))
4.303 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in (x y) around 0
4.303 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in y
4.303 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
4.303 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.303 * [taylor]: Taking taylor expansion of x in y
4.303 * [backup-simplify]: Simplify x into x
4.303 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.303 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.303 * [taylor]: Taking taylor expansion of y in y
4.303 * [backup-simplify]: Simplify 0 into 0
4.303 * [backup-simplify]: Simplify 1 into 1
4.303 * [backup-simplify]: Simplify (/ 1 1) into 1
4.303 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
4.303 * [taylor]: Taking taylor expansion of 500.0 in y
4.303 * [backup-simplify]: Simplify 500.0 into 500.0
4.303 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.304 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.304 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x
4.304 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
4.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.304 * [taylor]: Taking taylor expansion of x in x
4.304 * [backup-simplify]: Simplify 0 into 0
4.304 * [backup-simplify]: Simplify 1 into 1
4.304 * [backup-simplify]: Simplify (/ 1 1) into 1
4.304 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.304 * [taylor]: Taking taylor expansion of y in x
4.304 * [backup-simplify]: Simplify y into y
4.304 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.304 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
4.304 * [taylor]: Taking taylor expansion of 500.0 in x
4.304 * [backup-simplify]: Simplify 500.0 into 500.0
4.305 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.305 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.306 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x
4.306 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
4.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.306 * [taylor]: Taking taylor expansion of x in x
4.306 * [backup-simplify]: Simplify 0 into 0
4.306 * [backup-simplify]: Simplify 1 into 1
4.306 * [backup-simplify]: Simplify (/ 1 1) into 1
4.306 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.306 * [taylor]: Taking taylor expansion of y in x
4.306 * [backup-simplify]: Simplify y into y
4.306 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.306 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
4.306 * [taylor]: Taking taylor expansion of 500.0 in x
4.306 * [backup-simplify]: Simplify 500.0 into 500.0
4.307 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.307 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.308 * [backup-simplify]: Simplify (+ 1 0) into 1
4.309 * [backup-simplify]: Simplify (* 1 (cbrt 500.0)) into (cbrt 500.0)
4.309 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
4.309 * [taylor]: Taking taylor expansion of 500.0 in y
4.309 * [backup-simplify]: Simplify 500.0 into 500.0
4.309 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.310 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.310 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
4.310 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
4.312 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 y)) (cbrt 500.0))) into (- (/ (cbrt 500.0) y))
4.312 * [taylor]: Taking taylor expansion of (- (/ (cbrt 500.0) y)) in y
4.312 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y
4.312 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
4.312 * [taylor]: Taking taylor expansion of 500.0 in y
4.312 * [backup-simplify]: Simplify 500.0 into 500.0
4.312 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.313 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.313 * [taylor]: Taking taylor expansion of y in y
4.313 * [backup-simplify]: Simplify 0 into 0
4.313 * [backup-simplify]: Simplify 1 into 1
4.313 * [backup-simplify]: Simplify (/ (cbrt 500.0) 1) into (cbrt 500.0)
4.314 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0))
4.314 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0))
4.315 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.315 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
4.316 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.316 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.316 * [backup-simplify]: Simplify (- 0) into 0
4.317 * [backup-simplify]: Simplify (+ 0 0) into 0
4.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (* 0 (cbrt 500.0)))) into 0
4.317 * [taylor]: Taking taylor expansion of 0 in y
4.317 * [backup-simplify]: Simplify 0 into 0
4.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)))) into 0
4.318 * [backup-simplify]: Simplify (- 0) into 0
4.318 * [backup-simplify]: Simplify 0 into 0
4.318 * [backup-simplify]: Simplify 0 into 0
4.319 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0
4.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.319 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.320 * [backup-simplify]: Simplify (- 0) into 0
4.320 * [backup-simplify]: Simplify (+ 0 0) into 0
4.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0
4.321 * [taylor]: Taking taylor expansion of 0 in y
4.321 * [backup-simplify]: Simplify 0 into 0
4.321 * [backup-simplify]: Simplify 0 into 0
4.322 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
4.322 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.322 * [backup-simplify]: Simplify (- 0) into 0
4.322 * [backup-simplify]: Simplify 0 into 0
4.323 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
4.323 * [backup-simplify]: Simplify 0 into 0
4.324 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
4.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.326 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.326 * [backup-simplify]: Simplify (- 0) into 0
4.326 * [backup-simplify]: Simplify (+ 0 0) into 0
4.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0
4.328 * [taylor]: Taking taylor expansion of 0 in y
4.328 * [backup-simplify]: Simplify 0 into 0
4.328 * [backup-simplify]: Simplify 0 into 0
4.329 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) (* 1 (/ 1 (/ 1 x)))) (* (- (cbrt 500.0)) (* (/ 1 (/ 1 y)) 1))) into (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
4.329 * [backup-simplify]: Simplify (* (cbrt 500.0) (- (/ 1 (- x)) (/ 1 (- y)))) into (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0))
4.329 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in (x y) around 0
4.329 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in y
4.329 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
4.329 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.329 * [taylor]: Taking taylor expansion of y in y
4.329 * [backup-simplify]: Simplify 0 into 0
4.329 * [backup-simplify]: Simplify 1 into 1
4.329 * [backup-simplify]: Simplify (/ 1 1) into 1
4.329 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.330 * [taylor]: Taking taylor expansion of x in y
4.330 * [backup-simplify]: Simplify x into x
4.330 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.330 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
4.330 * [taylor]: Taking taylor expansion of 500.0 in y
4.330 * [backup-simplify]: Simplify 500.0 into 500.0
4.330 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.330 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.330 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x
4.330 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
4.330 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.330 * [taylor]: Taking taylor expansion of y in x
4.330 * [backup-simplify]: Simplify y into y
4.331 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.331 * [taylor]: Taking taylor expansion of x in x
4.331 * [backup-simplify]: Simplify 0 into 0
4.331 * [backup-simplify]: Simplify 1 into 1
4.331 * [backup-simplify]: Simplify (/ 1 1) into 1
4.331 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
4.331 * [taylor]: Taking taylor expansion of 500.0 in x
4.331 * [backup-simplify]: Simplify 500.0 into 500.0
4.331 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.332 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.332 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x
4.332 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
4.332 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.332 * [taylor]: Taking taylor expansion of y in x
4.332 * [backup-simplify]: Simplify y into y
4.332 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.332 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.332 * [taylor]: Taking taylor expansion of x in x
4.332 * [backup-simplify]: Simplify 0 into 0
4.332 * [backup-simplify]: Simplify 1 into 1
4.332 * [backup-simplify]: Simplify (/ 1 1) into 1
4.332 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
4.332 * [taylor]: Taking taylor expansion of 500.0 in x
4.332 * [backup-simplify]: Simplify 500.0 into 500.0
4.332 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.333 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.333 * [backup-simplify]: Simplify (- 1) into -1
4.333 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.334 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0))
4.334 * [taylor]: Taking taylor expansion of (* -1 (cbrt 500.0)) in y
4.334 * [taylor]: Taking taylor expansion of -1 in y
4.334 * [backup-simplify]: Simplify -1 into -1
4.334 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
4.334 * [taylor]: Taking taylor expansion of 500.0 in y
4.334 * [backup-simplify]: Simplify 500.0 into 500.0
4.334 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.335 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.335 * [backup-simplify]: Simplify (- 0) into 0
4.336 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.336 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) (cbrt 500.0))) into (/ (cbrt 500.0) y)
4.336 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y
4.336 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
4.336 * [taylor]: Taking taylor expansion of 500.0 in y
4.336 * [backup-simplify]: Simplify 500.0 into 500.0
4.336 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.337 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.337 * [taylor]: Taking taylor expansion of y in y
4.337 * [backup-simplify]: Simplify 0 into 0
4.337 * [backup-simplify]: Simplify 1 into 1
4.337 * [backup-simplify]: Simplify (/ (cbrt 500.0) 1) into (cbrt 500.0)
4.338 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.338 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0))
4.339 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0))
4.340 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
4.340 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.341 * [backup-simplify]: Simplify (- 0) into 0
4.341 * [backup-simplify]: Simplify (+ 0 0) into 0
4.341 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 (cbrt 500.0)))) into 0
4.341 * [taylor]: Taking taylor expansion of 0 in y
4.341 * [backup-simplify]: Simplify 0 into 0
4.342 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)))) into 0
4.342 * [backup-simplify]: Simplify 0 into 0
4.343 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (cbrt 500.0))) into 0
4.343 * [backup-simplify]: Simplify 0 into 0
4.344 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0
4.344 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.345 * [backup-simplify]: Simplify (- 0) into 0
4.345 * [backup-simplify]: Simplify (+ 0 0) into 0
4.346 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0
4.346 * [taylor]: Taking taylor expansion of 0 in y
4.346 * [backup-simplify]: Simplify 0 into 0
4.346 * [backup-simplify]: Simplify 0 into 0
4.346 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
4.347 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.347 * [backup-simplify]: Simplify 0 into 0
4.348 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
4.349 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0
4.349 * [backup-simplify]: Simplify 0 into 0
4.350 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
4.350 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.351 * [backup-simplify]: Simplify (- 0) into 0
4.351 * [backup-simplify]: Simplify (+ 0 0) into 0
4.352 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0
4.352 * [taylor]: Taking taylor expansion of 0 in y
4.352 * [backup-simplify]: Simplify 0 into 0
4.352 * [backup-simplify]: Simplify 0 into 0
4.353 * [backup-simplify]: Simplify (+ (* (* -1 (cbrt 500.0)) (* 1 (/ 1 (/ 1 (- x))))) (* (cbrt 500.0) (* (/ 1 (/ 1 (- y))) 1))) into (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
4.353 * * * * [progress]: [ 3 / 3 ] generating series at (2)
4.354 * [backup-simplify]: Simplify (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) into (* (- x y) (pow (cbrt 500.0) 3))
4.354 * [approximate]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in (x y) around 0
4.354 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in y
4.354 * [taylor]: Taking taylor expansion of (- x y) in y
4.354 * [taylor]: Taking taylor expansion of x in y
4.354 * [backup-simplify]: Simplify x into x
4.354 * [taylor]: Taking taylor expansion of y in y
4.354 * [backup-simplify]: Simplify 0 into 0
4.354 * [backup-simplify]: Simplify 1 into 1
4.354 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y
4.354 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
4.354 * [taylor]: Taking taylor expansion of 500.0 in y
4.354 * [backup-simplify]: Simplify 500.0 into 500.0
4.354 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.355 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.355 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x
4.355 * [taylor]: Taking taylor expansion of (- x y) in x
4.355 * [taylor]: Taking taylor expansion of x in x
4.355 * [backup-simplify]: Simplify 0 into 0
4.355 * [backup-simplify]: Simplify 1 into 1
4.355 * [taylor]: Taking taylor expansion of y in x
4.355 * [backup-simplify]: Simplify y into y
4.355 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
4.355 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
4.355 * [taylor]: Taking taylor expansion of 500.0 in x
4.355 * [backup-simplify]: Simplify 500.0 into 500.0
4.355 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.356 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.356 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x
4.356 * [taylor]: Taking taylor expansion of (- x y) in x
4.356 * [taylor]: Taking taylor expansion of x in x
4.356 * [backup-simplify]: Simplify 0 into 0
4.356 * [backup-simplify]: Simplify 1 into 1
4.356 * [taylor]: Taking taylor expansion of y in x
4.356 * [backup-simplify]: Simplify y into y
4.356 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
4.356 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
4.356 * [taylor]: Taking taylor expansion of 500.0 in x
4.356 * [backup-simplify]: Simplify 500.0 into 500.0
4.356 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.357 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.357 * [backup-simplify]: Simplify (- y) into (- y)
4.357 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
4.358 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2)
4.359 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3)
4.360 * [backup-simplify]: Simplify (* (- y) (pow (cbrt 500.0) 3)) into (* -500.0 y)
4.360 * [taylor]: Taking taylor expansion of (* -500.0 y) in y
4.360 * [taylor]: Taking taylor expansion of -500.0 in y
4.360 * [backup-simplify]: Simplify -500.0 into -500.0
4.360 * [taylor]: Taking taylor expansion of y in y
4.360 * [backup-simplify]: Simplify 0 into 0
4.360 * [backup-simplify]: Simplify 1 into 1
4.360 * [backup-simplify]: Simplify (* -500.0 0) into 0
4.360 * [backup-simplify]: Simplify 0 into 0
4.360 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0
4.361 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0
4.361 * [backup-simplify]: Simplify (- 0) into 0
4.362 * [backup-simplify]: Simplify (+ 1 0) into 1
4.363 * [backup-simplify]: Simplify (+ (* (- y) 0) (* 1 (pow (cbrt 500.0) 3))) into 500.0
4.363 * [taylor]: Taking taylor expansion of 500.0 in y
4.363 * [backup-simplify]: Simplify 500.0 into 500.0
4.363 * [backup-simplify]: Simplify 500.0 into 500.0
4.364 * [backup-simplify]: Simplify (+ (* -500.0 1) (* 0 0)) into (- 500.0)
4.364 * [backup-simplify]: Simplify (- 500.0) into (- 500.0)
4.365 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
4.365 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0
4.366 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0
4.366 * [backup-simplify]: Simplify (- 0) into 0
4.367 * [backup-simplify]: Simplify (+ 0 0) into 0
4.367 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (* 0 (pow (cbrt 500.0) 3)))) into 0
4.367 * [taylor]: Taking taylor expansion of 0 in y
4.367 * [backup-simplify]: Simplify 0 into 0
4.367 * [backup-simplify]: Simplify 0 into 0
4.367 * [backup-simplify]: Simplify 0 into 0
4.368 * [backup-simplify]: Simplify (+ (* -500.0 0) (+ (* 0 1) (* 0 0))) into 0
4.368 * [backup-simplify]: Simplify 0 into 0
4.375 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0
4.376 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0
4.377 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0
4.377 * [backup-simplify]: Simplify (- 0) into 0
4.377 * [backup-simplify]: Simplify (+ 0 0) into 0
4.378 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0
4.378 * [taylor]: Taking taylor expansion of 0 in y
4.378 * [backup-simplify]: Simplify 0 into 0
4.378 * [backup-simplify]: Simplify 0 into 0
4.378 * [backup-simplify]: Simplify 0 into 0
4.378 * [backup-simplify]: Simplify 0 into 0
4.379 * [backup-simplify]: Simplify (+ (* (- 500.0) (* y 1)) (* 500.0 (* 1 x))) into (- (* 500.0 x) (* 500.0 y))
4.380 * [backup-simplify]: Simplify (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- (/ 1 x) (/ 1 y)))) into (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3))
4.380 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in (x y) around 0
4.380 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in y
4.380 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
4.380 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.380 * [taylor]: Taking taylor expansion of x in y
4.380 * [backup-simplify]: Simplify x into x
4.380 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.380 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.380 * [taylor]: Taking taylor expansion of y in y
4.380 * [backup-simplify]: Simplify 0 into 0
4.380 * [backup-simplify]: Simplify 1 into 1
4.381 * [backup-simplify]: Simplify (/ 1 1) into 1
4.381 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y
4.381 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
4.381 * [taylor]: Taking taylor expansion of 500.0 in y
4.381 * [backup-simplify]: Simplify 500.0 into 500.0
4.381 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.382 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.382 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x
4.382 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
4.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.382 * [taylor]: Taking taylor expansion of x in x
4.382 * [backup-simplify]: Simplify 0 into 0
4.382 * [backup-simplify]: Simplify 1 into 1
4.383 * [backup-simplify]: Simplify (/ 1 1) into 1
4.383 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.383 * [taylor]: Taking taylor expansion of y in x
4.383 * [backup-simplify]: Simplify y into y
4.383 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.383 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
4.383 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
4.383 * [taylor]: Taking taylor expansion of 500.0 in x
4.383 * [backup-simplify]: Simplify 500.0 into 500.0
4.383 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.384 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.384 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x
4.384 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
4.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.384 * [taylor]: Taking taylor expansion of x in x
4.384 * [backup-simplify]: Simplify 0 into 0
4.384 * [backup-simplify]: Simplify 1 into 1
4.385 * [backup-simplify]: Simplify (/ 1 1) into 1
4.385 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.385 * [taylor]: Taking taylor expansion of y in x
4.385 * [backup-simplify]: Simplify y into y
4.385 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.385 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
4.385 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
4.385 * [taylor]: Taking taylor expansion of 500.0 in x
4.385 * [backup-simplify]: Simplify 500.0 into 500.0
4.385 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.386 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.387 * [backup-simplify]: Simplify (+ 1 0) into 1
4.388 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2)
4.390 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3)
4.392 * [backup-simplify]: Simplify (* 1 (pow (cbrt 500.0) 3)) into 500.0
4.392 * [taylor]: Taking taylor expansion of 500.0 in y
4.392 * [backup-simplify]: Simplify 500.0 into 500.0
4.393 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0
4.394 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0
4.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.394 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
4.395 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
4.396 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 y)) (pow (cbrt 500.0) 3))) into (- (* 500.0 (/ 1 y)))
4.396 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y))) in y
4.396 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
4.396 * [taylor]: Taking taylor expansion of 500.0 in y
4.396 * [backup-simplify]: Simplify 500.0 into 500.0
4.396 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.396 * [taylor]: Taking taylor expansion of y in y
4.396 * [backup-simplify]: Simplify 0 into 0
4.396 * [backup-simplify]: Simplify 1 into 1
4.397 * [backup-simplify]: Simplify (/ 1 1) into 1
4.397 * [backup-simplify]: Simplify (* 500.0 1) into 500.0
4.398 * [backup-simplify]: Simplify (- 500.0) into (- 500.0)
4.398 * [backup-simplify]: Simplify (- 500.0) into (- 500.0)
4.398 * [backup-simplify]: Simplify 500.0 into 500.0
4.400 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
4.401 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0
4.402 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0
4.403 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.403 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.404 * [backup-simplify]: Simplify (- 0) into 0
4.404 * [backup-simplify]: Simplify (+ 0 0) into 0
4.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (* 0 (pow (cbrt 500.0) 3)))) into 0
4.405 * [taylor]: Taking taylor expansion of 0 in y
4.405 * [backup-simplify]: Simplify 0 into 0
4.405 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.406 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0
4.406 * [backup-simplify]: Simplify (- 0) into 0
4.406 * [backup-simplify]: Simplify 0 into 0
4.406 * [backup-simplify]: Simplify 0 into 0
4.407 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0
4.407 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0
4.408 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0
4.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.409 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.409 * [backup-simplify]: Simplify (- 0) into 0
4.409 * [backup-simplify]: Simplify (+ 0 0) into 0
4.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0
4.410 * [taylor]: Taking taylor expansion of 0 in y
4.410 * [backup-simplify]: Simplify 0 into 0
4.410 * [backup-simplify]: Simplify 0 into 0
4.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.411 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0
4.412 * [backup-simplify]: Simplify (- 0) into 0
4.412 * [backup-simplify]: Simplify 0 into 0
4.412 * [backup-simplify]: Simplify 0 into 0
4.413 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
4.413 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0
4.414 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))))) into 0
4.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.415 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.415 * [backup-simplify]: Simplify (- 0) into 0
4.415 * [backup-simplify]: Simplify (+ 0 0) into 0
4.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3)))))) into 0
4.416 * [taylor]: Taking taylor expansion of 0 in y
4.416 * [backup-simplify]: Simplify 0 into 0
4.416 * [backup-simplify]: Simplify 0 into 0
4.417 * [backup-simplify]: Simplify (+ (* 500.0 (* 1 (/ 1 (/ 1 x)))) (* (- 500.0) (* (/ 1 (/ 1 y)) 1))) into (- (* 500.0 x) (* 500.0 y))
4.418 * [backup-simplify]: Simplify (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- (/ 1 (- x)) (/ 1 (- y))))) into (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3))
4.418 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in (x y) around 0
4.418 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in y
4.418 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
4.418 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.418 * [taylor]: Taking taylor expansion of y in y
4.418 * [backup-simplify]: Simplify 0 into 0
4.418 * [backup-simplify]: Simplify 1 into 1
4.418 * [backup-simplify]: Simplify (/ 1 1) into 1
4.418 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.418 * [taylor]: Taking taylor expansion of x in y
4.418 * [backup-simplify]: Simplify x into x
4.418 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.418 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y
4.419 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
4.419 * [taylor]: Taking taylor expansion of 500.0 in y
4.419 * [backup-simplify]: Simplify 500.0 into 500.0
4.419 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.419 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.419 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x
4.419 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
4.419 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.419 * [taylor]: Taking taylor expansion of y in x
4.419 * [backup-simplify]: Simplify y into y
4.419 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.419 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.419 * [taylor]: Taking taylor expansion of x in x
4.419 * [backup-simplify]: Simplify 0 into 0
4.419 * [backup-simplify]: Simplify 1 into 1
4.420 * [backup-simplify]: Simplify (/ 1 1) into 1
4.420 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
4.420 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
4.420 * [taylor]: Taking taylor expansion of 500.0 in x
4.420 * [backup-simplify]: Simplify 500.0 into 500.0
4.420 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.421 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.421 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x
4.421 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
4.421 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.421 * [taylor]: Taking taylor expansion of y in x
4.421 * [backup-simplify]: Simplify y into y
4.421 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.421 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.421 * [taylor]: Taking taylor expansion of x in x
4.421 * [backup-simplify]: Simplify 0 into 0
4.421 * [backup-simplify]: Simplify 1 into 1
4.421 * [backup-simplify]: Simplify (/ 1 1) into 1
4.421 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
4.421 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
4.421 * [taylor]: Taking taylor expansion of 500.0 in x
4.421 * [backup-simplify]: Simplify 500.0 into 500.0
4.421 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
4.422 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
4.422 * [backup-simplify]: Simplify (- 1) into -1
4.422 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.423 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2)
4.424 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3)
4.425 * [backup-simplify]: Simplify (* -1 (pow (cbrt 500.0) 3)) into -500.0
4.425 * [taylor]: Taking taylor expansion of -500.0 in y
4.425 * [backup-simplify]: Simplify -500.0 into -500.0
4.426 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0
4.426 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0
4.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.427 * [backup-simplify]: Simplify (- 0) into 0
4.427 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.428 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) (pow (cbrt 500.0) 3))) into (* 500.0 (/ 1 y))
4.428 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
4.428 * [taylor]: Taking taylor expansion of 500.0 in y
4.428 * [backup-simplify]: Simplify 500.0 into 500.0
4.428 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.428 * [taylor]: Taking taylor expansion of y in y
4.428 * [backup-simplify]: Simplify 0 into 0
4.428 * [backup-simplify]: Simplify 1 into 1
4.428 * [backup-simplify]: Simplify (/ 1 1) into 1
4.429 * [backup-simplify]: Simplify (* 500.0 1) into 500.0
4.429 * [backup-simplify]: Simplify 500.0 into 500.0
4.429 * [backup-simplify]: Simplify -500.0 into -500.0
4.429 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
4.430 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0
4.431 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0
4.431 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.431 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.432 * [backup-simplify]: Simplify (- 0) into 0
4.432 * [backup-simplify]: Simplify (+ 0 0) into 0
4.433 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 (pow (cbrt 500.0) 3)))) into 0
4.433 * [taylor]: Taking taylor expansion of 0 in y
4.433 * [backup-simplify]: Simplify 0 into 0
4.433 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.434 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0
4.434 * [backup-simplify]: Simplify 0 into 0
4.434 * [backup-simplify]: Simplify 0 into 0
4.435 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0
4.435 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0
4.436 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0
4.436 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.437 * [backup-simplify]: Simplify (- 0) into 0
4.437 * [backup-simplify]: Simplify (+ 0 0) into 0
4.438 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0
4.438 * [taylor]: Taking taylor expansion of 0 in y
4.438 * [backup-simplify]: Simplify 0 into 0
4.438 * [backup-simplify]: Simplify 0 into 0
4.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.439 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0
4.439 * [backup-simplify]: Simplify 0 into 0
4.439 * [backup-simplify]: Simplify 0 into 0
4.440 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
4.441 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0
4.442 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))))) into 0
4.442 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.443 * [backup-simplify]: Simplify (- 0) into 0
4.443 * [backup-simplify]: Simplify (+ 0 0) into 0
4.444 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3)))))) into 0
4.444 * [taylor]: Taking taylor expansion of 0 in y
4.444 * [backup-simplify]: Simplify 0 into 0
4.444 * [backup-simplify]: Simplify 0 into 0
4.444 * [backup-simplify]: Simplify (+ (* -500.0 (* 1 (/ 1 (/ 1 (- x))))) (* 500.0 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 500.0 x) (* 500.0 y))
4.444 * * * [progress]: simplifying candidates
4.446 * [simplify]: Simplifying:
  (+ 1/3 1/3)
  (+ 1 1)
  (* 500.0 500.0)
  (* (cbrt 500.0) (cbrt 500.0))
  (+ 1 1)
  (+ (log (cbrt 500.0)) (log (cbrt 500.0)))
  (log (* (cbrt 500.0) (cbrt 500.0)))
  (exp (* (cbrt 500.0) (cbrt 500.0)))
  (* 500.0 500.0)
  (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (cbrt (* (cbrt 500.0) (cbrt 500.0)))
  (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt 500.0) (cbrt 500.0)))
  (sqrt (* (cbrt 500.0) (cbrt 500.0)))
  (sqrt (* (cbrt 500.0) (cbrt 500.0)))
  (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt 500.0) (cbrt 500.0))
  (* (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))))
  (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))
  (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0)))
  (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0)))
  (* 1 1)
  (* (cbrt 500.0) (cbrt 500.0))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (sqrt (cbrt 500.0)) (cbrt (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (cbrt (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0)))
  (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt 500.0) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (cbrt 500.0) (cbrt (sqrt 500.0)))
  (* (cbrt 500.0) (cbrt 1))
  (* (cbrt 500.0) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))))
  (* (cbrt 500.0) (sqrt (cbrt 500.0)))
  (* (cbrt 500.0) 1)
  (* (cbrt (cbrt 500.0)) (cbrt 500.0))
  (* (cbrt (sqrt 500.0)) (cbrt 500.0))
  (* (cbrt 500.0) (cbrt 500.0))
  (* (cbrt (cbrt 500.0)) (cbrt 500.0))
  (* (sqrt (cbrt 500.0)) (cbrt 500.0))
  (* (cbrt 500.0) (cbrt 500.0))
  (* (cbrt 500.0) (- x y))
  (+ (log (cbrt 500.0)) (log (- x y)))
  (log (* (cbrt 500.0) (- x y)))
  (exp (* (cbrt 500.0) (- x y)))
  (* 500.0 (* (* (- x y) (- x y)) (- x y)))
  (* (cbrt (* (cbrt 500.0) (- x y))) (cbrt (* (cbrt 500.0) (- x y))))
  (cbrt (* (cbrt 500.0) (- x y)))
  (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y)))
  (sqrt (* (cbrt 500.0) (- x y)))
  (sqrt (* (cbrt 500.0) (- x y)))
  (* (cbrt (sqrt 500.0)) (sqrt (- x y)))
  (* (cbrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt (cbrt 500.0)) (sqrt (- x y)))
  (* (sqrt (cbrt 500.0)) (sqrt (- x y)))
  (* (cbrt 500.0) x)
  (* (cbrt 500.0) (- y))
  (* (cbrt 500.0) x)
  (* (cbrt 500.0) (- y))
  (* x (cbrt 500.0))
  (* (- y) (cbrt 500.0))
  (* x (cbrt 500.0))
  (* (- y) (cbrt 500.0))
  (* (cbrt 500.0) (* (cbrt (- x y)) (cbrt (- x y))))
  (* (cbrt 500.0) (sqrt (- x y)))
  (* (cbrt 500.0) 1)
  (* (cbrt 500.0) (+ (sqrt x) (sqrt y)))
  (* (cbrt 500.0) 1)
  (* (cbrt (cbrt 500.0)) (- x y))
  (* (cbrt (sqrt 500.0)) (- x y))
  (* (cbrt 500.0) (- x y))
  (* (cbrt (cbrt 500.0)) (- x y))
  (* (sqrt (cbrt 500.0)) (- x y))
  (* (cbrt 500.0) (- x y))
  (* (cbrt 500.0) (- (pow x 3) (pow y 3)))
  (* (cbrt 500.0) (- (* x x) (* y y)))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))
  (+ (+ (log (cbrt 500.0)) (log (cbrt 500.0))) (+ (log (cbrt 500.0)) (log (- x y))))
  (+ (+ (log (cbrt 500.0)) (log (cbrt 500.0))) (log (* (cbrt 500.0) (- x y))))
  (+ (log (* (cbrt 500.0) (cbrt 500.0))) (+ (log (cbrt 500.0)) (log (- x y))))
  (+ (log (* (cbrt 500.0) (cbrt 500.0))) (log (* (cbrt 500.0) (- x y))))
  (log (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))))
  (exp (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))))
  (* (* 500.0 500.0) (* 500.0 (* (* (- x y) (- x y)) (- x y))))
  (* (* 500.0 500.0) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y))))
  (* (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt 500.0) (cbrt 500.0))) (* 500.0 (* (* (- x y) (- x y)) (- x y))))
  (* (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y))))
  (* (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))))
  (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))))
  (* (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))))
  (sqrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))))
  (sqrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) x))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- y)))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) x))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- y)))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* x (cbrt 500.0)))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (- y) (cbrt 500.0)))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* x (cbrt 500.0)))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (- y) (cbrt 500.0)))
  (* (* (cbrt 500.0) x) (* (cbrt 500.0) (cbrt 500.0)))
  (* (* (cbrt 500.0) (- y)) (* (cbrt 500.0) (cbrt 500.0)))
  (* (* (cbrt 500.0) x) (* (cbrt 500.0) (cbrt 500.0)))
  (* (* (cbrt 500.0) (- y)) (* (cbrt 500.0) (cbrt 500.0)))
  (* (* x (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0)))
  (* (* (- y) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0)))
  (* (* x (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0)))
  (* (* (- y) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0)))
  (* (* (cbrt 500.0) (cbrt 500.0)) (cbrt 500.0))
  (* (cbrt 500.0) (* (cbrt 500.0) (- x y)))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- (pow x 3) (pow y 3))))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- (* x x) (* y y))))
  (* (cbrt 500.0) (- x y))
  (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
  (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
  (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
  (- (* 500.0 x) (* 500.0 y))
  (- (* 500.0 x) (* 500.0 y))
  (- (* 500.0 x) (* 500.0 y))
4.448 * * [simplify]: Extracting # 0 : cost  0
4.448 * * [simplify]: Extracting # 1 : cost  0
4.448 * * [simplify]: Extracting # 2 : cost  0
4.448 * * [simplify]: Extracting # 3 : cost  0
4.448 * * [simplify]: Extracting # 4 : cost  0
4.448 * * [simplify]: Extracting # 5 : cost  0
4.449 * * [simplify]: Extracting # 6 : cost  0
4.449 * * [simplify]: iteration  0 :  119  enodes  (cost  1190 )
4.481 * * [simplify]: Extracting # 0 : cost  0
4.482 * * [simplify]: Extracting # 1 : cost  0
4.482 * * [simplify]: Extracting # 2 : cost  0
4.483 * * [simplify]: Extracting # 3 : cost  0
4.483 * * [simplify]: iteration  1 :  322  enodes  (cost  1112 )
4.638 * * [simplify]: Extracting # 0 : cost  0
4.641 * * [simplify]: Extracting # 1 : cost  0
4.643 * * [simplify]: Extracting # 2 : cost  0
4.645 * * [simplify]: Extracting # 3 : cost  0
4.653 * * [simplify]: Extracting # 4 : cost  0
4.655 * * [simplify]: iteration  2 :  1801  enodes  (cost  909 )
5.887 * * [simplify]: Extracting # 0 : cost  0
5.916 * * [simplify]: Extracting # 1 : cost  0
5.926 * * [simplify]: Extracting # 2 : cost  0
5.936 * * [simplify]: Extracting # 3 : cost  0
5.946 * * [simplify]: Extracting # 4 : cost  0
5.955 * * [simplify]: iteration done:  5000  enodes  (cost  717 )
5.957 * [simplify]: Simplified to:
  2/3
  2
  (* 500.0 500.0)
  (* (cbrt 500.0) (cbrt 500.0))
  2
  (* 2 (log (cbrt 500.0)))
  (* 2 (log (cbrt 500.0)))
  (exp (* (cbrt 500.0) (cbrt 500.0)))
  (* 500.0 500.0)
  (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (cbrt (* (cbrt 500.0) (cbrt 500.0)))
  (* 500.0 500.0)
  (fabs (cbrt 500.0))
  (fabs (cbrt 500.0))
  (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  1
  (* (cbrt 500.0) (cbrt 500.0))
  (* (cbrt 500.0) (cbrt (cbrt 500.0)))
  (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))
  (cbrt 500.0)
  (cbrt 500.0)
  1
  (* (cbrt 500.0) (cbrt 500.0))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (cbrt 500.0)
  (cbrt 500.0)
  2/3
  2
  (* (cbrt 500.0) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (cbrt 500.0) (cbrt (sqrt 500.0)))
  (cbrt 500.0)
  (* (cbrt 500.0) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))))
  (pow (sqrt (cbrt 500.0)) 3)
  (cbrt 500.0)
  (* (cbrt 500.0) (cbrt (cbrt 500.0)))
  (* (cbrt 500.0) (cbrt (sqrt 500.0)))
  (* (cbrt 500.0) (cbrt 500.0))
  (* (cbrt 500.0) (cbrt (cbrt 500.0)))
  (pow (sqrt (cbrt 500.0)) 3)
  (* (cbrt 500.0) (cbrt 500.0))
  (* (cbrt 500.0) (- x y))
  (log (* (cbrt 500.0) (- x y)))
  (log (* (cbrt 500.0) (- x y)))
  (exp (* (cbrt 500.0) (- x y)))
  (* (pow (- x y) 3) 500.0)
  (* (cbrt (* (cbrt 500.0) (- x y))) (cbrt (* (cbrt 500.0) (- x y))))
  (cbrt (* (cbrt 500.0) (- x y)))
  (* (pow (- x y) 3) 500.0)
  (sqrt (* (cbrt 500.0) (- x y)))
  (sqrt (* (cbrt 500.0) (- x y)))
  (* (cbrt (sqrt 500.0)) (sqrt (- x y)))
  (* (cbrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt (cbrt 500.0)) (sqrt (- x y)))
  (* (sqrt (cbrt 500.0)) (sqrt (- x y)))
  (* x (cbrt 500.0))
  (* (- y) (cbrt 500.0))
  (* x (cbrt 500.0))
  (* (- y) (cbrt 500.0))
  (* x (cbrt 500.0))
  (* (- y) (cbrt 500.0))
  (* x (cbrt 500.0))
  (* (- y) (cbrt 500.0))
  (* (cbrt 500.0) (* (cbrt (- x y)) (cbrt (- x y))))
  (* (cbrt 500.0) (sqrt (- x y)))
  (cbrt 500.0)
  (* (cbrt 500.0) (+ (sqrt x) (sqrt y)))
  (cbrt 500.0)
  (* (cbrt (cbrt 500.0)) (- x y))
  (* (cbrt (sqrt 500.0)) (- x y))
  (* (cbrt 500.0) (- x y))
  (* (cbrt (cbrt 500.0)) (- x y))
  (* (sqrt (cbrt 500.0)) (- x y))
  (* (cbrt 500.0) (- x y))
  (* (cbrt 500.0) (- (pow x 3) (pow y 3)))
  (* (cbrt 500.0) (- (* x x) (* y y)))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (log (* 500.0 (- x y)))
  (log (* 500.0 (- x y)))
  (log (* 500.0 (- x y)))
  (log (* 500.0 (- x y)))
  (log (* 500.0 (- x y)))
  (pow (exp (- x y)) 500.0)
  (pow (* 500.0 (- x y)) 3)
  (pow (* 500.0 (- x y)) 3)
  (pow (* 500.0 (- x y)) 3)
  (pow (* 500.0 (- x y)) 3)
  (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y))))
  (cbrt (* 500.0 (- x y)))
  (pow (* 500.0 (- x y)) 3)
  (sqrt (* 500.0 (- x y)))
  (sqrt (* 500.0 (- x y)))
  (* 500.0 x)
  (* y (- 500.0))
  (* 500.0 x)
  (* y (- 500.0))
  (* 500.0 x)
  (* y (- 500.0))
  (* 500.0 x)
  (* y (- 500.0))
  (* 500.0 x)
  (* y (- 500.0))
  (* 500.0 x)
  (* y (- 500.0))
  (* 500.0 x)
  (* y (- 500.0))
  (* 500.0 x)
  (* y (- 500.0))
  500.0
  (* (cbrt 500.0) (* (cbrt 500.0) (- x y)))
  (* (- (pow x 3) (pow y 3)) 500.0)
  (* (* 500.0 (+ x y)) (- x y))
  (* (cbrt 500.0) (- x y))
  (* (cbrt 500.0) (- x y))
  (* (cbrt 500.0) (- x y))
  (* (cbrt 500.0) (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
5.958 * * * [progress]: adding candidates to table
6.124 * * [progress]: iteration 4 / 4
6.124 * * * [progress]: picking best candidate
6.128 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))))>
6.128 * * * [progress]: localizing error
6.151 * * * [progress]: generating rewritten candidates
6.151 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
6.161 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
6.207 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
6.360 * * * [progress]: generating series expansions
6.360 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
6.360 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
6.361 * [backup-simplify]: Simplify (* (cbrt 500.0) (- x y)) into (* (- x y) (cbrt 500.0))
6.361 * [approximate]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in (x y) around 0
6.361 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in y
6.361 * [taylor]: Taking taylor expansion of (- x y) in y
6.361 * [taylor]: Taking taylor expansion of x in y
6.361 * [backup-simplify]: Simplify x into x
6.361 * [taylor]: Taking taylor expansion of y in y
6.361 * [backup-simplify]: Simplify 0 into 0
6.361 * [backup-simplify]: Simplify 1 into 1
6.361 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
6.361 * [taylor]: Taking taylor expansion of 500.0 in y
6.361 * [backup-simplify]: Simplify 500.0 into 500.0
6.362 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.363 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.363 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in x
6.363 * [taylor]: Taking taylor expansion of (- x y) in x
6.363 * [taylor]: Taking taylor expansion of x in x
6.363 * [backup-simplify]: Simplify 0 into 0
6.363 * [backup-simplify]: Simplify 1 into 1
6.363 * [taylor]: Taking taylor expansion of y in x
6.363 * [backup-simplify]: Simplify y into y
6.363 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
6.363 * [taylor]: Taking taylor expansion of 500.0 in x
6.363 * [backup-simplify]: Simplify 500.0 into 500.0
6.363 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.364 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.364 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in x
6.364 * [taylor]: Taking taylor expansion of (- x y) in x
6.364 * [taylor]: Taking taylor expansion of x in x
6.364 * [backup-simplify]: Simplify 0 into 0
6.364 * [backup-simplify]: Simplify 1 into 1
6.364 * [taylor]: Taking taylor expansion of y in x
6.364 * [backup-simplify]: Simplify y into y
6.364 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
6.364 * [taylor]: Taking taylor expansion of 500.0 in x
6.364 * [backup-simplify]: Simplify 500.0 into 500.0
6.365 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.365 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.365 * [backup-simplify]: Simplify (- y) into (- y)
6.365 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
6.365 * [backup-simplify]: Simplify (* (- y) (cbrt 500.0)) into (* -1 (* y (cbrt 500.0)))
6.365 * [taylor]: Taking taylor expansion of (* -1 (* y (cbrt 500.0))) in y
6.366 * [taylor]: Taking taylor expansion of -1 in y
6.366 * [backup-simplify]: Simplify -1 into -1
6.366 * [taylor]: Taking taylor expansion of (* y (cbrt 500.0)) in y
6.366 * [taylor]: Taking taylor expansion of y in y
6.366 * [backup-simplify]: Simplify 0 into 0
6.366 * [backup-simplify]: Simplify 1 into 1
6.366 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
6.366 * [taylor]: Taking taylor expansion of 500.0 in y
6.366 * [backup-simplify]: Simplify 500.0 into 500.0
6.366 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.366 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.367 * [backup-simplify]: Simplify (* 0 (cbrt 500.0)) into 0
6.367 * [backup-simplify]: Simplify (* -1 0) into 0
6.367 * [backup-simplify]: Simplify 0 into 0
6.367 * [backup-simplify]: Simplify (- 0) into 0
6.368 * [backup-simplify]: Simplify (+ 1 0) into 1
6.368 * [backup-simplify]: Simplify (+ (* (- y) 0) (* 1 (cbrt 500.0))) into (cbrt 500.0)
6.368 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
6.368 * [taylor]: Taking taylor expansion of 500.0 in y
6.368 * [backup-simplify]: Simplify 500.0 into 500.0
6.369 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.369 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.369 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.371 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (cbrt 500.0))) into (cbrt 500.0)
6.372 * [backup-simplify]: Simplify (+ (* -1 (cbrt 500.0)) (* 0 0)) into (- (cbrt 500.0))
6.372 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0))
6.373 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
6.373 * [backup-simplify]: Simplify (- 0) into 0
6.374 * [backup-simplify]: Simplify (+ 0 0) into 0
6.374 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (* 0 (cbrt 500.0)))) into 0
6.374 * [taylor]: Taking taylor expansion of 0 in y
6.374 * [backup-simplify]: Simplify 0 into 0
6.374 * [backup-simplify]: Simplify 0 into 0
6.374 * [backup-simplify]: Simplify 0 into 0
6.375 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
6.376 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (cbrt 500.0)))) into 0
6.376 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (cbrt 500.0)) (* 0 0))) into 0
6.376 * [backup-simplify]: Simplify 0 into 0
6.377 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0
6.377 * [backup-simplify]: Simplify (- 0) into 0
6.378 * [backup-simplify]: Simplify (+ 0 0) into 0
6.378 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0
6.378 * [taylor]: Taking taylor expansion of 0 in y
6.378 * [backup-simplify]: Simplify 0 into 0
6.378 * [backup-simplify]: Simplify 0 into 0
6.378 * [backup-simplify]: Simplify 0 into 0
6.379 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
6.379 * [backup-simplify]: Simplify 0 into 0
6.380 * [backup-simplify]: Simplify (+ (* (- (cbrt 500.0)) (* y 1)) (* (cbrt 500.0) (* 1 x))) into (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
6.381 * [backup-simplify]: Simplify (* (cbrt 500.0) (- (/ 1 x) (/ 1 y))) into (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0))
6.381 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in (x y) around 0
6.381 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in y
6.381 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
6.381 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.381 * [taylor]: Taking taylor expansion of x in y
6.381 * [backup-simplify]: Simplify x into x
6.381 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.381 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.381 * [taylor]: Taking taylor expansion of y in y
6.381 * [backup-simplify]: Simplify 0 into 0
6.381 * [backup-simplify]: Simplify 1 into 1
6.381 * [backup-simplify]: Simplify (/ 1 1) into 1
6.381 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
6.381 * [taylor]: Taking taylor expansion of 500.0 in y
6.381 * [backup-simplify]: Simplify 500.0 into 500.0
6.382 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.382 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.382 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x
6.382 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
6.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.382 * [taylor]: Taking taylor expansion of x in x
6.382 * [backup-simplify]: Simplify 0 into 0
6.382 * [backup-simplify]: Simplify 1 into 1
6.382 * [backup-simplify]: Simplify (/ 1 1) into 1
6.382 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.382 * [taylor]: Taking taylor expansion of y in x
6.382 * [backup-simplify]: Simplify y into y
6.382 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.383 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
6.383 * [taylor]: Taking taylor expansion of 500.0 in x
6.383 * [backup-simplify]: Simplify 500.0 into 500.0
6.383 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.383 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.383 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x
6.383 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
6.383 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.383 * [taylor]: Taking taylor expansion of x in x
6.383 * [backup-simplify]: Simplify 0 into 0
6.383 * [backup-simplify]: Simplify 1 into 1
6.384 * [backup-simplify]: Simplify (/ 1 1) into 1
6.384 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.384 * [taylor]: Taking taylor expansion of y in x
6.384 * [backup-simplify]: Simplify y into y
6.384 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.384 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
6.384 * [taylor]: Taking taylor expansion of 500.0 in x
6.384 * [backup-simplify]: Simplify 500.0 into 500.0
6.384 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.385 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.385 * [backup-simplify]: Simplify (+ 1 0) into 1
6.386 * [backup-simplify]: Simplify (* 1 (cbrt 500.0)) into (cbrt 500.0)
6.386 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
6.386 * [taylor]: Taking taylor expansion of 500.0 in y
6.386 * [backup-simplify]: Simplify 500.0 into 500.0
6.386 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.386 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.387 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
6.387 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
6.388 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 y)) (cbrt 500.0))) into (- (/ (cbrt 500.0) y))
6.388 * [taylor]: Taking taylor expansion of (- (/ (cbrt 500.0) y)) in y
6.388 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y
6.388 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
6.388 * [taylor]: Taking taylor expansion of 500.0 in y
6.388 * [backup-simplify]: Simplify 500.0 into 500.0
6.388 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.388 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.389 * [taylor]: Taking taylor expansion of y in y
6.389 * [backup-simplify]: Simplify 0 into 0
6.389 * [backup-simplify]: Simplify 1 into 1
6.389 * [backup-simplify]: Simplify (/ (cbrt 500.0) 1) into (cbrt 500.0)
6.390 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0))
6.390 * [backup-simplify]: Simplify (- (cbrt 500.0)) into (- (cbrt 500.0))
6.390 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.391 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
6.392 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.392 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.392 * [backup-simplify]: Simplify (- 0) into 0
6.392 * [backup-simplify]: Simplify (+ 0 0) into 0
6.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (* 0 (cbrt 500.0)))) into 0
6.393 * [taylor]: Taking taylor expansion of 0 in y
6.394 * [backup-simplify]: Simplify 0 into 0
6.394 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)))) into 0
6.395 * [backup-simplify]: Simplify (- 0) into 0
6.395 * [backup-simplify]: Simplify 0 into 0
6.395 * [backup-simplify]: Simplify 0 into 0
6.396 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0
6.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.397 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.398 * [backup-simplify]: Simplify (- 0) into 0
6.398 * [backup-simplify]: Simplify (+ 0 0) into 0
6.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0
6.399 * [taylor]: Taking taylor expansion of 0 in y
6.399 * [backup-simplify]: Simplify 0 into 0
6.399 * [backup-simplify]: Simplify 0 into 0
6.401 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
6.402 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.402 * [backup-simplify]: Simplify (- 0) into 0
6.402 * [backup-simplify]: Simplify 0 into 0
6.404 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
6.404 * [backup-simplify]: Simplify 0 into 0
6.405 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
6.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.407 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.407 * [backup-simplify]: Simplify (- 0) into 0
6.407 * [backup-simplify]: Simplify (+ 0 0) into 0
6.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0
6.409 * [taylor]: Taking taylor expansion of 0 in y
6.409 * [backup-simplify]: Simplify 0 into 0
6.409 * [backup-simplify]: Simplify 0 into 0
6.410 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) (* 1 (/ 1 (/ 1 x)))) (* (- (cbrt 500.0)) (* (/ 1 (/ 1 y)) 1))) into (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
6.411 * [backup-simplify]: Simplify (* (cbrt 500.0) (- (/ 1 (- x)) (/ 1 (- y)))) into (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0))
6.411 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in (x y) around 0
6.411 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in y
6.411 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
6.411 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.411 * [taylor]: Taking taylor expansion of y in y
6.411 * [backup-simplify]: Simplify 0 into 0
6.411 * [backup-simplify]: Simplify 1 into 1
6.411 * [backup-simplify]: Simplify (/ 1 1) into 1
6.411 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.411 * [taylor]: Taking taylor expansion of x in y
6.411 * [backup-simplify]: Simplify x into x
6.411 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.411 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
6.411 * [taylor]: Taking taylor expansion of 500.0 in y
6.411 * [backup-simplify]: Simplify 500.0 into 500.0
6.412 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.412 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.412 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x
6.412 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
6.412 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.412 * [taylor]: Taking taylor expansion of y in x
6.412 * [backup-simplify]: Simplify y into y
6.413 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.413 * [taylor]: Taking taylor expansion of x in x
6.413 * [backup-simplify]: Simplify 0 into 0
6.413 * [backup-simplify]: Simplify 1 into 1
6.413 * [backup-simplify]: Simplify (/ 1 1) into 1
6.413 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
6.413 * [taylor]: Taking taylor expansion of 500.0 in x
6.413 * [backup-simplify]: Simplify 500.0 into 500.0
6.413 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.414 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.414 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x
6.414 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
6.415 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.415 * [taylor]: Taking taylor expansion of y in x
6.415 * [backup-simplify]: Simplify y into y
6.415 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.415 * [taylor]: Taking taylor expansion of x in x
6.415 * [backup-simplify]: Simplify 0 into 0
6.415 * [backup-simplify]: Simplify 1 into 1
6.415 * [backup-simplify]: Simplify (/ 1 1) into 1
6.415 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
6.415 * [taylor]: Taking taylor expansion of 500.0 in x
6.415 * [backup-simplify]: Simplify 500.0 into 500.0
6.416 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.416 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.417 * [backup-simplify]: Simplify (- 1) into -1
6.417 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.418 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0))
6.418 * [taylor]: Taking taylor expansion of (* -1 (cbrt 500.0)) in y
6.418 * [taylor]: Taking taylor expansion of -1 in y
6.418 * [backup-simplify]: Simplify -1 into -1
6.418 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
6.418 * [taylor]: Taking taylor expansion of 500.0 in y
6.418 * [backup-simplify]: Simplify 500.0 into 500.0
6.418 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.419 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.420 * [backup-simplify]: Simplify (- 0) into 0
6.420 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.421 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) (cbrt 500.0))) into (/ (cbrt 500.0) y)
6.421 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y
6.421 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
6.421 * [taylor]: Taking taylor expansion of 500.0 in y
6.421 * [backup-simplify]: Simplify 500.0 into 500.0
6.422 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.422 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.422 * [taylor]: Taking taylor expansion of y in y
6.422 * [backup-simplify]: Simplify 0 into 0
6.422 * [backup-simplify]: Simplify 1 into 1
6.423 * [backup-simplify]: Simplify (/ (cbrt 500.0) 1) into (cbrt 500.0)
6.424 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.425 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0))
6.425 * [backup-simplify]: Simplify (* -1 (cbrt 500.0)) into (* -1 (cbrt 500.0))
6.427 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
6.427 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.428 * [backup-simplify]: Simplify (- 0) into 0
6.429 * [backup-simplify]: Simplify (+ 0 0) into 0
6.430 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 (cbrt 500.0)))) into 0
6.430 * [taylor]: Taking taylor expansion of 0 in y
6.430 * [backup-simplify]: Simplify 0 into 0
6.431 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)))) into 0
6.431 * [backup-simplify]: Simplify 0 into 0
6.432 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (cbrt 500.0))) into 0
6.432 * [backup-simplify]: Simplify 0 into 0
6.434 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0
6.434 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.435 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.435 * [backup-simplify]: Simplify (- 0) into 0
6.436 * [backup-simplify]: Simplify (+ 0 0) into 0
6.437 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0
6.437 * [taylor]: Taking taylor expansion of 0 in y
6.437 * [backup-simplify]: Simplify 0 into 0
6.437 * [backup-simplify]: Simplify 0 into 0
6.438 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
6.440 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 500.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.440 * [backup-simplify]: Simplify 0 into 0
6.441 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
6.442 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0
6.442 * [backup-simplify]: Simplify 0 into 0
6.444 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
6.444 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.445 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.446 * [backup-simplify]: Simplify (- 0) into 0
6.446 * [backup-simplify]: Simplify (+ 0 0) into 0
6.448 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0
6.448 * [taylor]: Taking taylor expansion of 0 in y
6.448 * [backup-simplify]: Simplify 0 into 0
6.448 * [backup-simplify]: Simplify 0 into 0
6.449 * [backup-simplify]: Simplify (+ (* (* -1 (cbrt 500.0)) (* 1 (/ 1 (/ 1 (- x))))) (* (cbrt 500.0) (* (/ 1 (/ 1 (- y))) 1))) into (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
6.449 * * * * [progress]: [ 3 / 3 ] generating series at (2)
6.453 * [backup-simplify]: Simplify (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))) into (* (- x y) (pow (cbrt 500.0) 3))
6.454 * [approximate]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in (x y) around 0
6.454 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in y
6.454 * [taylor]: Taking taylor expansion of (- x y) in y
6.454 * [taylor]: Taking taylor expansion of x in y
6.454 * [backup-simplify]: Simplify x into x
6.454 * [taylor]: Taking taylor expansion of y in y
6.454 * [backup-simplify]: Simplify 0 into 0
6.454 * [backup-simplify]: Simplify 1 into 1
6.454 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y
6.454 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
6.454 * [taylor]: Taking taylor expansion of 500.0 in y
6.454 * [backup-simplify]: Simplify 500.0 into 500.0
6.454 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.455 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.455 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x
6.455 * [taylor]: Taking taylor expansion of (- x y) in x
6.455 * [taylor]: Taking taylor expansion of x in x
6.455 * [backup-simplify]: Simplify 0 into 0
6.455 * [backup-simplify]: Simplify 1 into 1
6.455 * [taylor]: Taking taylor expansion of y in x
6.455 * [backup-simplify]: Simplify y into y
6.455 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
6.455 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
6.455 * [taylor]: Taking taylor expansion of 500.0 in x
6.455 * [backup-simplify]: Simplify 500.0 into 500.0
6.456 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.456 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.456 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x
6.457 * [taylor]: Taking taylor expansion of (- x y) in x
6.457 * [taylor]: Taking taylor expansion of x in x
6.457 * [backup-simplify]: Simplify 0 into 0
6.457 * [backup-simplify]: Simplify 1 into 1
6.457 * [taylor]: Taking taylor expansion of y in x
6.457 * [backup-simplify]: Simplify y into y
6.457 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
6.457 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
6.457 * [taylor]: Taking taylor expansion of 500.0 in x
6.457 * [backup-simplify]: Simplify 500.0 into 500.0
6.457 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.458 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.458 * [backup-simplify]: Simplify (- y) into (- y)
6.458 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
6.459 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2)
6.461 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3)
6.462 * [backup-simplify]: Simplify (* (- y) (pow (cbrt 500.0) 3)) into (* -500.0 y)
6.462 * [taylor]: Taking taylor expansion of (* -500.0 y) in y
6.462 * [taylor]: Taking taylor expansion of -500.0 in y
6.463 * [backup-simplify]: Simplify -500.0 into -500.0
6.463 * [taylor]: Taking taylor expansion of y in y
6.463 * [backup-simplify]: Simplify 0 into 0
6.463 * [backup-simplify]: Simplify 1 into 1
6.463 * [backup-simplify]: Simplify (* -500.0 0) into 0
6.463 * [backup-simplify]: Simplify 0 into 0
6.464 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0
6.465 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0
6.465 * [backup-simplify]: Simplify (- 0) into 0
6.466 * [backup-simplify]: Simplify (+ 1 0) into 1
6.467 * [backup-simplify]: Simplify (+ (* (- y) 0) (* 1 (pow (cbrt 500.0) 3))) into 500.0
6.467 * [taylor]: Taking taylor expansion of 500.0 in y
6.467 * [backup-simplify]: Simplify 500.0 into 500.0
6.467 * [backup-simplify]: Simplify 500.0 into 500.0
6.469 * [backup-simplify]: Simplify (+ (* -500.0 1) (* 0 0)) into (- 500.0)
6.469 * [backup-simplify]: Simplify (- 500.0) into (- 500.0)
6.471 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
6.472 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0
6.473 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0
6.473 * [backup-simplify]: Simplify (- 0) into 0
6.473 * [backup-simplify]: Simplify (+ 0 0) into 0
6.474 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (* 0 (pow (cbrt 500.0) 3)))) into 0
6.474 * [taylor]: Taking taylor expansion of 0 in y
6.474 * [backup-simplify]: Simplify 0 into 0
6.474 * [backup-simplify]: Simplify 0 into 0
6.474 * [backup-simplify]: Simplify 0 into 0
6.474 * [backup-simplify]: Simplify (+ (* -500.0 0) (+ (* 0 1) (* 0 0))) into 0
6.474 * [backup-simplify]: Simplify 0 into 0
6.475 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0
6.476 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0
6.477 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0
6.477 * [backup-simplify]: Simplify (- 0) into 0
6.477 * [backup-simplify]: Simplify (+ 0 0) into 0
6.478 * [backup-simplify]: Simplify (+ (* (- y) 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0
6.478 * [taylor]: Taking taylor expansion of 0 in y
6.478 * [backup-simplify]: Simplify 0 into 0
6.478 * [backup-simplify]: Simplify 0 into 0
6.478 * [backup-simplify]: Simplify 0 into 0
6.478 * [backup-simplify]: Simplify 0 into 0
6.478 * [backup-simplify]: Simplify (+ (* (- 500.0) (* y 1)) (* 500.0 (* 1 x))) into (- (* 500.0 x) (* 500.0 y))
6.481 * [backup-simplify]: Simplify (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- (/ 1 x) (/ 1 y)))) into (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3))
6.481 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in (x y) around 0
6.481 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in y
6.481 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
6.481 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.481 * [taylor]: Taking taylor expansion of x in y
6.481 * [backup-simplify]: Simplify x into x
6.481 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.481 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.481 * [taylor]: Taking taylor expansion of y in y
6.481 * [backup-simplify]: Simplify 0 into 0
6.481 * [backup-simplify]: Simplify 1 into 1
6.481 * [backup-simplify]: Simplify (/ 1 1) into 1
6.481 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y
6.481 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
6.481 * [taylor]: Taking taylor expansion of 500.0 in y
6.481 * [backup-simplify]: Simplify 500.0 into 500.0
6.485 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.485 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.485 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x
6.485 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
6.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.486 * [taylor]: Taking taylor expansion of x in x
6.486 * [backup-simplify]: Simplify 0 into 0
6.486 * [backup-simplify]: Simplify 1 into 1
6.486 * [backup-simplify]: Simplify (/ 1 1) into 1
6.486 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.486 * [taylor]: Taking taylor expansion of y in x
6.486 * [backup-simplify]: Simplify y into y
6.486 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.486 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
6.486 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
6.486 * [taylor]: Taking taylor expansion of 500.0 in x
6.486 * [backup-simplify]: Simplify 500.0 into 500.0
6.486 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.487 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.487 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x
6.487 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
6.487 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.487 * [taylor]: Taking taylor expansion of x in x
6.487 * [backup-simplify]: Simplify 0 into 0
6.487 * [backup-simplify]: Simplify 1 into 1
6.487 * [backup-simplify]: Simplify (/ 1 1) into 1
6.487 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.487 * [taylor]: Taking taylor expansion of y in x
6.487 * [backup-simplify]: Simplify y into y
6.487 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.487 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
6.487 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
6.487 * [taylor]: Taking taylor expansion of 500.0 in x
6.487 * [backup-simplify]: Simplify 500.0 into 500.0
6.488 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.488 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.488 * [backup-simplify]: Simplify (+ 1 0) into 1
6.489 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2)
6.490 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3)
6.491 * [backup-simplify]: Simplify (* 1 (pow (cbrt 500.0) 3)) into 500.0
6.491 * [taylor]: Taking taylor expansion of 500.0 in y
6.491 * [backup-simplify]: Simplify 500.0 into 500.0
6.492 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0
6.492 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0
6.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.493 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
6.493 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
6.494 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 y)) (pow (cbrt 500.0) 3))) into (- (* 500.0 (/ 1 y)))
6.494 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y))) in y
6.494 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
6.494 * [taylor]: Taking taylor expansion of 500.0 in y
6.494 * [backup-simplify]: Simplify 500.0 into 500.0
6.494 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.494 * [taylor]: Taking taylor expansion of y in y
6.494 * [backup-simplify]: Simplify 0 into 0
6.494 * [backup-simplify]: Simplify 1 into 1
6.494 * [backup-simplify]: Simplify (/ 1 1) into 1
6.495 * [backup-simplify]: Simplify (* 500.0 1) into 500.0
6.495 * [backup-simplify]: Simplify (- 500.0) into (- 500.0)
6.495 * [backup-simplify]: Simplify (- 500.0) into (- 500.0)
6.495 * [backup-simplify]: Simplify 500.0 into 500.0
6.496 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
6.497 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0
6.498 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0
6.498 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.498 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.498 * [backup-simplify]: Simplify (- 0) into 0
6.499 * [backup-simplify]: Simplify (+ 0 0) into 0
6.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (* 0 (pow (cbrt 500.0) 3)))) into 0
6.499 * [taylor]: Taking taylor expansion of 0 in y
6.499 * [backup-simplify]: Simplify 0 into 0
6.500 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.500 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0
6.501 * [backup-simplify]: Simplify (- 0) into 0
6.501 * [backup-simplify]: Simplify 0 into 0
6.501 * [backup-simplify]: Simplify 0 into 0
6.502 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0
6.504 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0
6.505 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0
6.506 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.506 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.507 * [backup-simplify]: Simplify (- 0) into 0
6.507 * [backup-simplify]: Simplify (+ 0 0) into 0
6.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0
6.508 * [taylor]: Taking taylor expansion of 0 in y
6.508 * [backup-simplify]: Simplify 0 into 0
6.508 * [backup-simplify]: Simplify 0 into 0
6.509 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.510 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0
6.511 * [backup-simplify]: Simplify (- 0) into 0
6.511 * [backup-simplify]: Simplify 0 into 0
6.511 * [backup-simplify]: Simplify 0 into 0
6.512 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
6.514 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0
6.515 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))))) into 0
6.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.517 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.517 * [backup-simplify]: Simplify (- 0) into 0
6.517 * [backup-simplify]: Simplify (+ 0 0) into 0
6.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3)))))) into 0
6.519 * [taylor]: Taking taylor expansion of 0 in y
6.519 * [backup-simplify]: Simplify 0 into 0
6.519 * [backup-simplify]: Simplify 0 into 0
6.520 * [backup-simplify]: Simplify (+ (* 500.0 (* 1 (/ 1 (/ 1 x)))) (* (- 500.0) (* (/ 1 (/ 1 y)) 1))) into (- (* 500.0 x) (* 500.0 y))
6.523 * [backup-simplify]: Simplify (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- (/ 1 (- x)) (/ 1 (- y))))) into (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3))
6.524 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in (x y) around 0
6.524 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in y
6.524 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
6.524 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.524 * [taylor]: Taking taylor expansion of y in y
6.524 * [backup-simplify]: Simplify 0 into 0
6.524 * [backup-simplify]: Simplify 1 into 1
6.524 * [backup-simplify]: Simplify (/ 1 1) into 1
6.524 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.524 * [taylor]: Taking taylor expansion of x in y
6.524 * [backup-simplify]: Simplify x into x
6.524 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.524 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y
6.524 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
6.524 * [taylor]: Taking taylor expansion of 500.0 in y
6.524 * [backup-simplify]: Simplify 500.0 into 500.0
6.525 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.525 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.526 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x
6.526 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
6.526 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.526 * [taylor]: Taking taylor expansion of y in x
6.526 * [backup-simplify]: Simplify y into y
6.526 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.526 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.526 * [taylor]: Taking taylor expansion of x in x
6.526 * [backup-simplify]: Simplify 0 into 0
6.526 * [backup-simplify]: Simplify 1 into 1
6.526 * [backup-simplify]: Simplify (/ 1 1) into 1
6.526 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
6.526 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
6.526 * [taylor]: Taking taylor expansion of 500.0 in x
6.526 * [backup-simplify]: Simplify 500.0 into 500.0
6.527 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.527 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.527 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x
6.527 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
6.527 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.528 * [taylor]: Taking taylor expansion of y in x
6.528 * [backup-simplify]: Simplify y into y
6.528 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.528 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.528 * [taylor]: Taking taylor expansion of x in x
6.528 * [backup-simplify]: Simplify 0 into 0
6.528 * [backup-simplify]: Simplify 1 into 1
6.528 * [backup-simplify]: Simplify (/ 1 1) into 1
6.528 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
6.528 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
6.528 * [taylor]: Taking taylor expansion of 500.0 in x
6.528 * [backup-simplify]: Simplify 500.0 into 500.0
6.529 * [backup-simplify]: Simplify (cbrt 500.0) into (cbrt 500.0)
6.529 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 500.0))) into 0
6.530 * [backup-simplify]: Simplify (- 1) into -1
6.530 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.532 * [backup-simplify]: Simplify (* (cbrt 500.0) (cbrt 500.0)) into (pow (cbrt 500.0) 2)
6.533 * [backup-simplify]: Simplify (* (cbrt 500.0) (pow (cbrt 500.0) 2)) into (pow (cbrt 500.0) 3)
6.534 * [backup-simplify]: Simplify (* -1 (pow (cbrt 500.0) 3)) into -500.0
6.534 * [taylor]: Taking taylor expansion of -500.0 in y
6.534 * [backup-simplify]: Simplify -500.0 into -500.0
6.535 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (cbrt 500.0))) into 0
6.535 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (* 0 (pow (cbrt 500.0) 2))) into 0
6.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.536 * [backup-simplify]: Simplify (- 0) into 0
6.536 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.537 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) (pow (cbrt 500.0) 3))) into (* 500.0 (/ 1 y))
6.537 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
6.537 * [taylor]: Taking taylor expansion of 500.0 in y
6.537 * [backup-simplify]: Simplify 500.0 into 500.0
6.537 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.537 * [taylor]: Taking taylor expansion of y in y
6.537 * [backup-simplify]: Simplify 0 into 0
6.537 * [backup-simplify]: Simplify 1 into 1
6.537 * [backup-simplify]: Simplify (/ 1 1) into 1
6.538 * [backup-simplify]: Simplify (* 500.0 1) into 500.0
6.538 * [backup-simplify]: Simplify 500.0 into 500.0
6.538 * [backup-simplify]: Simplify -500.0 into -500.0
6.539 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
6.539 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (cbrt 500.0)))) into 0
6.540 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))) into 0
6.540 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.541 * [backup-simplify]: Simplify (- 0) into 0
6.541 * [backup-simplify]: Simplify (+ 0 0) into 0
6.542 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 (pow (cbrt 500.0) 3)))) into 0
6.542 * [taylor]: Taking taylor expansion of 0 in y
6.542 * [backup-simplify]: Simplify 0 into 0
6.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.543 * [backup-simplify]: Simplify (+ (* 500.0 0) (* 0 1)) into 0
6.543 * [backup-simplify]: Simplify 0 into 0
6.543 * [backup-simplify]: Simplify 0 into 0
6.544 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 500.0))) into 0
6.544 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0))))) into 0
6.545 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2))))) into 0
6.545 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.546 * [backup-simplify]: Simplify (- 0) into 0
6.546 * [backup-simplify]: Simplify (+ 0 0) into 0
6.547 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3))))) into 0
6.547 * [taylor]: Taking taylor expansion of 0 in y
6.547 * [backup-simplify]: Simplify 0 into 0
6.547 * [backup-simplify]: Simplify 0 into 0
6.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.548 * [backup-simplify]: Simplify (+ (* 500.0 0) (+ (* 0 0) (* 0 1))) into 0
6.548 * [backup-simplify]: Simplify 0 into 0
6.548 * [backup-simplify]: Simplify 0 into 0
6.549 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 500.0))))) (* 3 (cbrt 500.0))) into 0
6.550 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 500.0)))))) into 0
6.551 * [backup-simplify]: Simplify (+ (* (cbrt 500.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 2)))))) into 0
6.551 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.552 * [backup-simplify]: Simplify (- 0) into 0
6.552 * [backup-simplify]: Simplify (+ 0 0) into 0
6.553 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 500.0) 3)))))) into 0
6.553 * [taylor]: Taking taylor expansion of 0 in y
6.553 * [backup-simplify]: Simplify 0 into 0
6.553 * [backup-simplify]: Simplify 0 into 0
6.553 * [backup-simplify]: Simplify (+ (* -500.0 (* 1 (/ 1 (/ 1 (- x))))) (* 500.0 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 500.0 x) (* 500.0 y))
6.553 * * * [progress]: simplifying candidates
6.555 * [simplify]: Simplifying:
  (* (log (sqrt (cbrt 500.0))) 3)
  (* (log (sqrt (cbrt 500.0))) 3)
  (* 1/2 3)
  (* 1 3)
  (* (/ 1/3 2) 3)
  (* (/ 1 2) 3)
  (pow (sqrt (cbrt 500.0)) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (cbrt 500.0)) (sqrt 3))
  (pow (sqrt (cbrt 500.0)) 1)
  (pow (* (cbrt (sqrt (cbrt 500.0))) (cbrt (sqrt (cbrt 500.0)))) 3)
  (pow (cbrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt (* (cbrt 500.0) (cbrt 500.0)))) 3)
  (pow (sqrt (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt (sqrt 500.0))) 3)
  (pow (sqrt (cbrt (sqrt 500.0))) 3)
  (pow (sqrt (cbrt 1)) 3)
  (pow (sqrt (cbrt 500.0)) 3)
  (pow (sqrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) 3)
  (pow (sqrt (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (cbrt 500.0)) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow 1 3)
  (pow (sqrt (cbrt 500.0)) 3)
  (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0)))
  (log (pow (sqrt (cbrt 500.0)) 3))
  (exp (pow (sqrt (cbrt 500.0)) 3))
  (* (cbrt (pow (sqrt (cbrt 500.0)) 3)) (cbrt (pow (sqrt (cbrt 500.0)) 3)))
  (cbrt (pow (sqrt (cbrt 500.0)) 3))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) 3))
  (pow (* (cbrt (sqrt (cbrt 500.0))) (cbrt (sqrt (cbrt 500.0)))) 3)
  (pow (cbrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt (* (cbrt 500.0) (cbrt 500.0)))) 3)
  (pow (sqrt (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt (sqrt 500.0))) 3)
  (pow (sqrt (cbrt (sqrt 500.0))) 3)
  (pow (sqrt (cbrt 1)) 3)
  (pow (sqrt (cbrt 500.0)) 3)
  (pow (sqrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) 3)
  (pow (sqrt (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (cbrt 500.0)) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow 1 3)
  (pow (sqrt (cbrt 500.0)) 3)
  (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0)))
  (/ 3 2)
  (sqrt (pow (sqrt (cbrt 500.0)) 3))
  (sqrt (pow (sqrt (cbrt 500.0)) 3))
  (pow (sqrt (cbrt 500.0)) (/ 3 2))
  (pow (sqrt (cbrt 500.0)) (/ 3 2))
  (* (cbrt 500.0) (- x y))
  (+ (log (cbrt 500.0)) (log (- x y)))
  (log (* (cbrt 500.0) (- x y)))
  (exp (* (cbrt 500.0) (- x y)))
  (* 500.0 (* (* (- x y) (- x y)) (- x y)))
  (* (cbrt (* (cbrt 500.0) (- x y))) (cbrt (* (cbrt 500.0) (- x y))))
  (cbrt (* (cbrt 500.0) (- x y)))
  (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y)))
  (sqrt (* (cbrt 500.0) (- x y)))
  (sqrt (* (cbrt 500.0) (- x y)))
  (* (cbrt (sqrt 500.0)) (sqrt (- x y)))
  (* (cbrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt (cbrt 500.0)) (sqrt (- x y)))
  (* (sqrt (cbrt 500.0)) (sqrt (- x y)))
  (* (cbrt 500.0) x)
  (* (cbrt 500.0) (- y))
  (* (cbrt 500.0) x)
  (* (cbrt 500.0) (- y))
  (* x (cbrt 500.0))
  (* (- y) (cbrt 500.0))
  (* x (cbrt 500.0))
  (* (- y) (cbrt 500.0))
  (* (cbrt 500.0) (* (cbrt (- x y)) (cbrt (- x y))))
  (* (cbrt 500.0) (sqrt (- x y)))
  (* (cbrt 500.0) 1)
  (* (cbrt 500.0) (+ (sqrt x) (sqrt y)))
  (* (cbrt 500.0) 1)
  (* (cbrt (cbrt 500.0)) (- x y))
  (* (cbrt (sqrt 500.0)) (- x y))
  (* (cbrt 500.0) (- x y))
  (* (cbrt (cbrt 500.0)) (- x y))
  (* (sqrt (cbrt 500.0)) (- x y))
  (* (cbrt 500.0) (- x y))
  (* (cbrt 500.0) (- (pow x 3) (pow y 3)))
  (* (cbrt 500.0) (- (* x x) (* y y)))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y)))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y)))
  (+ (+ (* (log (sqrt (cbrt 500.0))) 3) (log (sqrt (cbrt 500.0)))) (+ (log (cbrt 500.0)) (log (- x y))))
  (+ (+ (* (log (sqrt (cbrt 500.0))) 3) (log (sqrt (cbrt 500.0)))) (log (* (cbrt 500.0) (- x y))))
  (+ (+ (* (log (sqrt (cbrt 500.0))) 3) (log (sqrt (cbrt 500.0)))) (+ (log (cbrt 500.0)) (log (- x y))))
  (+ (+ (* (log (sqrt (cbrt 500.0))) 3) (log (sqrt (cbrt 500.0)))) (log (* (cbrt 500.0) (- x y))))
  (+ (+ (log (pow (sqrt (cbrt 500.0)) 3)) (log (sqrt (cbrt 500.0)))) (+ (log (cbrt 500.0)) (log (- x y))))
  (+ (+ (log (pow (sqrt (cbrt 500.0)) 3)) (log (sqrt (cbrt 500.0)))) (log (* (cbrt 500.0) (- x y))))
  (+ (log (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (+ (log (cbrt 500.0)) (log (- x y))))
  (+ (log (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (log (* (cbrt 500.0) (- x y))))
  (log (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))))
  (exp (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))))
  (* (* (* (* (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) 3)) (* (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (cbrt 500.0)))) (* 500.0 (* (* (- x y) (- x y)) (- x y))))
  (* (* (* (* (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) 3)) (* (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (cbrt 500.0)))) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y))))
  (* (* (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* 500.0 (* (* (- x y) (- x y)) (- x y))))
  (* (* (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y))))
  (* (cbrt (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y)))) (cbrt (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y)))))
  (cbrt (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))))
  (* (* (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y)))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))))
  (sqrt (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))))
  (sqrt (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) x))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- y)))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) x))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- y)))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* x (cbrt 500.0)))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- y) (cbrt 500.0)))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* x (cbrt 500.0)))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- y) (cbrt 500.0)))
  (* (* (cbrt 500.0) x) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))))
  (* (* (cbrt 500.0) (- y)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))))
  (* (* (cbrt 500.0) x) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))))
  (* (* (cbrt 500.0) (- y)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))))
  (* (* x (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))))
  (* (* (- y) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))))
  (* (* x (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))))
  (* (* (- y) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (cbrt 500.0))
  (* (sqrt (cbrt 500.0)) (* (cbrt 500.0) (- x y)))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- (pow x 3) (pow y 3))))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- (* x x) (* y y))))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y)))
  (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
  (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
  (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
  (- (* 500.0 x) (* 500.0 y))
  (- (* 500.0 x) (* 500.0 y))
  (- (* 500.0 x) (* 500.0 y))
6.557 * * [simplify]: Extracting # 0 : cost  0
6.558 * * [simplify]: Extracting # 1 : cost  0
6.558 * * [simplify]: Extracting # 2 : cost  0
6.558 * * [simplify]: Extracting # 3 : cost  0
6.558 * * [simplify]: Extracting # 4 : cost  0
6.558 * * [simplify]: Extracting # 5 : cost  0
6.559 * * [simplify]: Extracting # 6 : cost  0
6.559 * * [simplify]: Extracting # 7 : cost  0
6.559 * * [simplify]: iteration  0 :  147  enodes  (cost  1521 )
6.653 * * [simplify]: Extracting # 0 : cost  0
6.654 * * [simplify]: Extracting # 1 : cost  0
6.654 * * [simplify]: Extracting # 2 : cost  0
6.655 * * [simplify]: Extracting # 3 : cost  0
6.655 * * [simplify]: Extracting # 4 : cost  0
6.656 * * [simplify]: iteration  1 :  475  enodes  (cost  1202 )
6.997 * * [simplify]: Extracting # 0 : cost  0
7.002 * * [simplify]: Extracting # 1 : cost  0
7.008 * * [simplify]: Extracting # 2 : cost  0
7.012 * * [simplify]: Extracting # 3 : cost  0
7.015 * * [simplify]: Extracting # 4 : cost  0
7.018 * * [simplify]: iteration  2 :  2827  enodes  (cost  1019 )
10.552 * * [simplify]: Extracting # 0 : cost  0
10.587 * * [simplify]: Extracting # 1 : cost  0
10.597 * * [simplify]: Extracting # 2 : cost  0
10.604 * * [simplify]: Extracting # 3 : cost  0
10.608 * * [simplify]: Extracting # 4 : cost  0
10.613 * * [simplify]: iteration done:  5001  enodes  (cost  884 )
10.614 * [simplify]: Simplified to:
  (* 3 (log (sqrt (cbrt 500.0))))
  (* 3 (log (sqrt (cbrt 500.0))))
  3/2
  3
  1/2
  3/2
  (pow (sqrt (cbrt 500.0)) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (cbrt 500.0)) (sqrt 3))
  (sqrt (cbrt 500.0))
  (cbrt 500.0)
  (sqrt (cbrt 500.0))
  (pow (sqrt (cbrt (* (cbrt 500.0) (cbrt 500.0)))) 3)
  (pow (sqrt (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt (sqrt 500.0))) 3)
  (pow (sqrt (cbrt (sqrt 500.0))) 3)
  1
  (pow (sqrt (cbrt 500.0)) 3)
  (pow (fabs (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  1
  (pow (sqrt (cbrt 500.0)) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  1
  (pow (sqrt (cbrt 500.0)) 3)
  (cbrt 500.0)
  (* 3 (log (sqrt (cbrt 500.0))))
  (exp (pow (sqrt (cbrt 500.0)) 3))
  (cbrt 500.0)
  (sqrt (cbrt 500.0))
  (pow (pow (sqrt (cbrt 500.0)) 3) 3)
  (cbrt 500.0)
  (sqrt (cbrt 500.0))
  (pow (sqrt (cbrt (* (cbrt 500.0) (cbrt 500.0)))) 3)
  (pow (sqrt (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt (sqrt 500.0))) 3)
  (pow (sqrt (cbrt (sqrt 500.0))) 3)
  1
  (pow (sqrt (cbrt 500.0)) 3)
  (pow (fabs (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  1
  (pow (sqrt (cbrt 500.0)) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  1
  (pow (sqrt (cbrt 500.0)) 3)
  (cbrt 500.0)
  3/2
  (sqrt (pow (sqrt (cbrt 500.0)) 3))
  (sqrt (pow (sqrt (cbrt 500.0)) 3))
  (pow (sqrt (cbrt 500.0)) 3/2)
  (pow (sqrt (cbrt 500.0)) 3/2)
  (* (- x y) (cbrt 500.0))
  (log (* (cbrt 500.0) (- x y)))
  (log (* (cbrt 500.0) (- x y)))
  (exp (* (cbrt 500.0) (- x y)))
  (* (pow (- x y) 3) 500.0)
  (* (cbrt (* (cbrt 500.0) (- x y))) (cbrt (* (cbrt 500.0) (- x y))))
  (cbrt (* (cbrt 500.0) (- x y)))
  (pow (* (cbrt 500.0) (- x y)) 3)
  (sqrt (* (cbrt 500.0) (- x y)))
  (sqrt (* (cbrt 500.0) (- x y)))
  (* (cbrt (sqrt 500.0)) (sqrt (- x y)))
  (* (cbrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt (cbrt 500.0)) (sqrt (- x y)))
  (* (sqrt (cbrt 500.0)) (sqrt (- x y)))
  (* x (cbrt 500.0))
  (* (cbrt 500.0) (- y))
  (* x (cbrt 500.0))
  (* (cbrt 500.0) (- y))
  (* x (cbrt 500.0))
  (* (cbrt 500.0) (- y))
  (* x (cbrt 500.0))
  (* (cbrt 500.0) (- y))
  (* (* (cbrt (- x y)) (cbrt (- x y))) (cbrt 500.0))
  (* (sqrt (- x y)) (cbrt 500.0))
  (cbrt 500.0)
  (* (cbrt 500.0) (+ (sqrt x) (sqrt y)))
  (cbrt 500.0)
  (* (cbrt (cbrt 500.0)) (- x y))
  (* (cbrt (sqrt 500.0)) (- x y))
  (* (- x y) (cbrt 500.0))
  (* (cbrt (cbrt 500.0)) (- x y))
  (* (sqrt (cbrt 500.0)) (- x y))
  (* (- x y) (cbrt 500.0))
  (* (- (pow x 3) (pow y 3)) (cbrt 500.0))
  (* (cbrt 500.0) (- (* x x) (* y y)))
  (* (pow (cbrt 500.0) 3) (- x y))
  (* (pow (cbrt 500.0) 3) (- x y))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (pow (exp (pow (cbrt 500.0) 3)) (- x y))
  (* (pow (sqrt (cbrt 500.0)) 12) (* (pow (- x y) 3) 500.0))
  (pow (* (pow (cbrt 500.0) 3) (- x y)) 3)
  (* (pow (sqrt (cbrt 500.0)) 12) (* (pow (- x y) 3) 500.0))
  (pow (* (pow (cbrt 500.0) 3) (- x y)) 3)
  (* (cbrt (* (pow (cbrt 500.0) 3) (- x y))) (cbrt (* (pow (cbrt 500.0) 3) (- x y))))
  (cbrt (* (pow (cbrt 500.0) 3) (- x y)))
  (pow (* (pow (cbrt 500.0) 3) (- x y)) 3)
  (sqrt (* (pow (cbrt 500.0) 3) (- x y)))
  (sqrt (* (pow (cbrt 500.0) 3) (- x y)))
  (* x (pow (cbrt 500.0) 3))
  (- (* y (pow (cbrt 500.0) 3)))
  (* x (pow (cbrt 500.0) 3))
  (- (* y (pow (cbrt 500.0) 3)))
  (* x (pow (cbrt 500.0) 3))
  (- (* y (pow (cbrt 500.0) 3)))
  (* x (pow (cbrt 500.0) 3))
  (- (* y (pow (cbrt 500.0) 3)))
  (* x (pow (cbrt 500.0) 3))
  (- (* y (pow (cbrt 500.0) 3)))
  (* x (pow (cbrt 500.0) 3))
  (- (* y (pow (cbrt 500.0) 3)))
  (* x (pow (cbrt 500.0) 3))
  (- (* y (pow (cbrt 500.0) 3)))
  (* x (pow (cbrt 500.0) 3))
  (- (* y (pow (cbrt 500.0) 3)))
  (pow (cbrt 500.0) 3)
  (* (- x y) (pow (sqrt (cbrt 500.0)) 3))
  (* (pow (cbrt 500.0) 3) (- (pow x 3) (pow y 3)))
  (* (pow (cbrt 500.0) 3) (- (* x x) (* y y)))
  (* (pow (cbrt 500.0) 3) (- x y))
  (* (- x y) (cbrt 500.0))
  (* (- x y) (cbrt 500.0))
  (* (- x y) (cbrt 500.0))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
10.615 * * * [progress]: adding candidates to table
10.844 * [progress]: [Phase 3 of 3] Extracting.
10.844 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))))> #<alt (λ (x y) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))))> #<alt (λ (x y) (+ (* x 500.0) (* 500.0 (- y))))>)
10.845 * * * [regime-changes]: Trying 3 branch expressions: ((- x y) y x)
10.845 * * * * [regimes]: Trying to branch on (- x y) from (#<alt (λ (x y) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))))> #<alt (λ (x y) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))))> #<alt (λ (x y) (+ (* x 500.0) (* 500.0 (- y))))>)
10.871 * * * * [regimes]: Trying to branch on (- x y) from (#<alt (λ (x y) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))))> #<alt (λ (x y) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))))>)
10.891 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))))> #<alt (λ (x y) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))))> #<alt (λ (x y) (+ (* x 500.0) (* 500.0 (- y))))>)
10.914 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (cbrt 500.0) (- x y))))> #<alt (λ (x y) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))))> #<alt (λ (x y) (+ (* x 500.0) (* 500.0 (- y))))>)
10.941 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
10.941 * [simplify]: Simplifying:
  (+ (* x 500.0) (* 500.0 (- y)))
10.941 * * [simplify]: Extracting # 0 : cost  0
10.942 * * [simplify]: Extracting # 1 : cost  0
10.942 * * [simplify]: Extracting # 2 : cost  0
10.942 * * [simplify]: Extracting # 3 : cost  0
10.942 * * [simplify]: Extracting # 4 : cost  0
10.942 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
10.942 * * [simplify]: Extracting # 0 : cost  0
10.943 * * [simplify]: Extracting # 1 : cost  0
10.943 * * [simplify]: Extracting # 2 : cost  0
10.943 * * [simplify]: iteration  1 :  12  enodes  (cost  8 )
10.944 * * [simplify]: Extracting # 0 : cost  0
10.944 * * [simplify]: Extracting # 1 : cost  0
10.944 * * [simplify]: Extracting # 2 : cost  0
10.944 * * [simplify]: iteration  2 :  16  enodes  (cost  8 )
10.946 * * [simplify]: Extracting # 0 : cost  0
10.946 * * [simplify]: iteration  3 :  17  enodes  (cost  8 )
10.948 * * [simplify]: Extracting # 0 : cost  0
10.948 * * [simplify]: iteration done:  17  enodes  (cost  8 )
10.948 * [simplify]: Simplified to:
  (+ (* x 500.0) (* 500.0 (- y)))
11.663 * [regime-testing]: Baseline error score: 0.016615438254232843
11.665 * [regime-testing]: Oracle error score: 0.005000625078134767
11.669 * [regime-testing]: End program error score: 0.016615438254232843