* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (81 enodes)
* * [misc]simplify:  iters left: 4 (236 enodes)
* * [misc]simplify:  iters left: 3 (365 enodes)
* [exit]simplify:  Simplified to (+ (* 1314174534371215466459037696 333.75) (+ -524049462893751750438462482680487001249263/66192 (* 5.5 1439474789212538429291115400277262336)))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-event (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
* * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1)
* * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2 2 1 1)
* * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
* * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1)
* * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2 2 1 1)
* * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (log (* (* (exp (* 333.75 (pow 33096 6))) (exp (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (exp (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (* (exp (* 333.75 (pow 33096 6))) (exp (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (exp (* 5.5 (pow 33096 8))))
* * [misc]simplify:  iters left: 6 (30 enodes)
* * [misc]simplify:  iters left: 5 (79 enodes)
* * [misc]simplify:  iters left: 4 (214 enodes)
* * [misc]simplify:  iters left: 3 (371 enodes)
* [exit]simplify:  Simplified to (exp (+ (+ -7917111779274712207494296632228773890 (* 1314174534371215466459037696 333.75)) (* 5.5 1439474789212538429291115400277262336)))
* [exit]simplify:  Simplified to (exp (+ (+ -7917111779274712207494296632228773890 (* 1314174534371215466459037696 333.75)) (* 5.5 1439474789212538429291115400277262336)))
* * * * [misc]progress:  [ 2 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (log (* (exp (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (exp (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (exp (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (exp (* 5.5 (pow 33096 8))))
* * [misc]simplify:  iters left: 6 (29 enodes)
* * [misc]simplify:  iters left: 5 (76 enodes)
* * [misc]simplify:  iters left: 4 (233 enodes)
* * [misc]simplify:  iters left: 3 (314 enodes)
* * [misc]simplify:  iters left: 2 (479 enodes)
* [exit]simplify:  Simplified to (exp (+ -7917111779274712207494296632228773890 (+ (* 1314174534371215466459037696 333.75) (* 5.5 1439474789212538429291115400277262336))))
* [exit]simplify:  Simplified to (exp (+ -7917111779274712207494296632228773890 (+ (* 1314174534371215466459037696 333.75) (* 5.5 1439474789212538429291115400277262336))))
* * * * [misc]progress:  [ 3 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (pow (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) 1) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 4 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (exp (log (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (log (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (69 enodes)
* * [misc]simplify:  iters left: 4 (215 enodes)
* * [misc]simplify:  iters left: 3 (309 enodes)
* * [misc]simplify:  iters left: 2 (445 enodes)
* [exit]simplify:  Simplified to (log (+ -7917111779274712207494296632228773890 (+ (* 1314174534371215466459037696 333.75) (* 5.5 1439474789212538429291115400277262336))))
* [exit]simplify:  Simplified to (log (+ -7917111779274712207494296632228773890 (+ (* 1314174534371215466459037696 333.75) (* 5.5 1439474789212538429291115400277262336))))
* * * * [misc]progress:  [ 5 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (log (exp (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (exp (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (73 enodes)
* * [misc]simplify:  iters left: 4 (221 enodes)
* * [misc]simplify:  iters left: 3 (301 enodes)
* * [misc]simplify:  iters left: 2 (374 enodes)
* [exit]simplify:  Simplified to (exp (+ (* 1314174534371215466459037696 333.75) (+ -7917111779274712207494296632228773890 (* 5.5 1439474789212538429291115400277262336))))
* [exit]simplify:  Simplified to (exp (+ (* 1314174534371215466459037696 333.75) (+ -7917111779274712207494296632228773890 (* 5.5 1439474789212538429291115400277262336))))
* * * * [misc]progress:  [ 6 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (* (* (cbrt (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (cbrt (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (cbrt (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (cbrt (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (cbrt (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))))
* * [misc]simplify:  iters left: 6 (29 enodes)
* * [misc]simplify:  iters left: 5 (72 enodes)
* * [misc]simplify:  iters left: 4 (209 enodes)
* * [misc]simplify:  iters left: 3 (276 enodes)
* * [misc]simplify:  iters left: 2 (348 enodes)
* * [misc]simplify:  iters left: 1 (462 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ (+ (* 1314174534371215466459037696 333.75) (* 5.5 1439474789212538429291115400277262336)) -7917111779274712207494296632228773890)) (cbrt (+ (+ (* 1314174534371215466459037696 333.75) (* 5.5 1439474789212538429291115400277262336)) -7917111779274712207494296632228773890)))
* [exit]simplify:  Simplified to (* (cbrt (+ (+ (* 1314174534371215466459037696 333.75) (* 5.5 1439474789212538429291115400277262336)) -7917111779274712207494296632228773890)) (cbrt (+ (+ (* 1314174534371215466459037696 333.75) (* 5.5 1439474789212538429291115400277262336)) -7917111779274712207494296632228773890)))
* [enter]simplify:  Simplifying (cbrt (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (69 enodes)
* * [misc]simplify:  iters left: 4 (215 enodes)
* * [misc]simplify:  iters left: 3 (309 enodes)
* * [misc]simplify:  iters left: 2 (445 enodes)
* [exit]simplify:  Simplified to (cbrt (+ -7917111779274712207494296632228773890 (+ (* 1314174534371215466459037696 333.75) (* 5.5 1439474789212538429291115400277262336))))
* [exit]simplify:  Simplified to (cbrt (+ -7917111779274712207494296632228773890 (+ (* 1314174534371215466459037696 333.75) (* 5.5 1439474789212538429291115400277262336))))
* * * * [misc]progress:  [ 7 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (cbrt (* (* (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (* (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))
* * [misc]simplify:  iters left: 6 (29 enodes)
* * [misc]simplify:  iters left: 5 (85 enodes)
* * [misc]simplify:  iters left: 4 (324 enodes)
* [exit]simplify:  Simplified to (pow (+ (+ -7917111779274712207494296632228773890 (* 1314174534371215466459037696 333.75)) (* 5.5 1439474789212538429291115400277262336)) 3)
* [exit]simplify:  Simplified to (pow (+ (+ -7917111779274712207494296632228773890 (* 1314174534371215466459037696 333.75)) (* 5.5 1439474789212538429291115400277262336)) 3)
* * * * [misc]progress:  [ 8 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (* (sqrt (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (sqrt (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (sqrt (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (69 enodes)
* * [misc]simplify:  iters left: 4 (215 enodes)
* * [misc]simplify:  iters left: 3 (309 enodes)
* * [misc]simplify:  iters left: 2 (445 enodes)
* [exit]simplify:  Simplified to (sqrt (+ -7917111779274712207494296632228773890 (+ (* 1314174534371215466459037696 333.75) (* 5.5 1439474789212538429291115400277262336))))
* [exit]simplify:  Simplified to (sqrt (+ -7917111779274712207494296632228773890 (+ (* 1314174534371215466459037696 333.75) (* 5.5 1439474789212538429291115400277262336))))
* [enter]simplify:  Simplifying (sqrt (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))))
* * [misc]simplify:  iters left: 6 (28 enodes)
* * [misc]simplify:  iters left: 5 (69 enodes)
* * [misc]simplify:  iters left: 4 (215 enodes)
* * [misc]simplify:  iters left: 3 (309 enodes)
* * [misc]simplify:  iters left: 2 (445 enodes)
* [exit]simplify:  Simplified to (sqrt (+ -7917111779274712207494296632228773890 (+ (* 1314174534371215466459037696 333.75) (* 5.5 1439474789212538429291115400277262336))))
* [exit]simplify:  Simplified to (sqrt (+ -7917111779274712207494296632228773890 (+ (* 1314174534371215466459037696 333.75) (* 5.5 1439474789212538429291115400277262336))))
* * * * [misc]progress:  [ 9 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (/ (+ (pow (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) 3) (pow (* 5.5 (pow 33096 8)) 3)) (+ (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (pow (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) 3) (pow (* 5.5 (pow 33096 8)) 3))
* * [misc]simplify:  iters left: 6 (30 enodes)
* * [misc]simplify:  iters left: 5 (79 enodes)
* * [misc]simplify:  iters left: 4 (247 enodes)
* [exit]simplify:  Simplified to (+ (pow (+ -7917111779274712207494296632228773890 (* 1314174534371215466459037696 333.75)) 3) (* (pow 5.5 3) 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056))
* [exit]simplify:  Simplified to (+ (pow (+ -7917111779274712207494296632228773890 (* 1314174534371215466459037696 333.75)) 3) (* (pow 5.5 3) 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056))
* [enter]simplify:  Simplifying (+ (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (- (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (90 enodes)
* * [misc]simplify:  iters left: 4 (335 enodes)
* [exit]simplify:  Simplified to (+ (* (+ (* 1314174534371215466459037696 333.75) -7917111779274712207494296632228773890) (+ (* 1314174534371215466459037696 333.75) -7917111779274712207494296632228773890)) (* (* 5.5 1439474789212538429291115400277262336) (- (* 5.5 1439474789212538429291115400277262336) (+ (* 1314174534371215466459037696 333.75) -7917111779274712207494296632228773890))))
* [exit]simplify:  Simplified to (+ (* (+ (* 1314174534371215466459037696 333.75) -7917111779274712207494296632228773890) (+ (* 1314174534371215466459037696 333.75) -7917111779274712207494296632228773890)) (* (* 5.5 1439474789212538429291115400277262336) (- (* 5.5 1439474789212538429291115400277262336) (+ (* 1314174534371215466459037696 333.75) -7917111779274712207494296632228773890))))
* * * * [misc]progress:  [ 10 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (* 1 (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 11 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (/ (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8)))) (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))))
* * [misc]simplify:  iters left: 6 (29 enodes)
* * [misc]simplify:  iters left: 5 (83 enodes)
* * [misc]simplify:  iters left: 4 (302 enodes)
* [exit]simplify:  Simplified to (- (* (+ (* 1314174534371215466459037696 333.75) -7917111779274712207494296632228773890) (+ (* 1314174534371215466459037696 333.75) -7917111779274712207494296632228773890)) (* (* 2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) 5.5))
* [exit]simplify:  Simplified to (- (* (+ (* 1314174534371215466459037696 333.75) -7917111779274712207494296632228773890) (+ (* 1314174534371215466459037696 333.75) -7917111779274712207494296632228773890)) (* (* 2072087668778481942361612104703059945972513386907210959776023202964176896 5.5) 5.5))
* [enter]simplify:  Simplifying (- (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
* * [misc]simplify:  iters left: 6 (27 enodes)
* * [misc]simplify:  iters left: 5 (71 enodes)
* * [misc]simplify:  iters left: 4 (220 enodes)
* * [misc]simplify:  iters left: 3 (302 enodes)
* * [misc]simplify:  iters left: 2 (420 enodes)
* [exit]simplify:  Simplified to (- (* 1314174534371215466459037696 333.75) (- (* 5.5 1439474789212538429291115400277262336) -7917111779274712207494296632228773890))
* [exit]simplify:  Simplified to (- (* 1314174534371215466459037696 333.75) (- (* 5.5 1439474789212538429291115400277262336) -7917111779274712207494296632228773890))
* * * * [misc]progress:  [ 12 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (* 333.75 (pow 33096 6)) (+ (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)) (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)) (* 5.5 (pow 33096 8)))
* * [misc]simplify:  iters left: 6 (24 enodes)
* * [misc]simplify:  iters left: 5 (60 enodes)
* * [misc]simplify:  iters left: 4 (208 enodes)
* [exit]simplify:  Simplified to (+ -7917111779274712207494296632228773890 (* 5.5 1439474789212538429291115400277262336))
* [exit]simplify:  Simplified to (+ -7917111779274712207494296632228773890 (* 5.5 1439474789212538429291115400277262336))
* * * * [misc]progress:  [ 13 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (* 5.5 (pow 33096 8)) (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 14 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (pow (* 333.75 (pow 33096 6)) 1) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 15 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (exp (log (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (log (* 333.75 (pow 33096 6)))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (12 enodes)
* * [misc]simplify:  iters left: 1 (16 enodes)
* [exit]simplify:  Simplified to (log (* 1314174534371215466459037696 333.75))
* [exit]simplify:  Simplified to (log (* 1314174534371215466459037696 333.75))
* * * * [misc]progress:  [ 16 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (log (exp (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (exp (* 333.75 (pow 33096 6)))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (exp (* 1314174534371215466459037696 333.75))
* [exit]simplify:  Simplified to (exp (* 1314174534371215466459037696 333.75))
* * * * [misc]progress:  [ 17 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* (* (cbrt (* 333.75 (pow 33096 6))) (cbrt (* 333.75 (pow 33096 6)))) (cbrt (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (cbrt (* 333.75 (pow 33096 6))) (cbrt (* 333.75 (pow 33096 6))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* [exit]simplify:  Simplified to (* (cbrt (* 1314174534371215466459037696 333.75)) (cbrt (* 1314174534371215466459037696 333.75)))
* [exit]simplify:  Simplified to (* (cbrt (* 1314174534371215466459037696 333.75)) (cbrt (* 1314174534371215466459037696 333.75)))
* [enter]simplify:  Simplifying (cbrt (* 333.75 (pow 33096 6)))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (cbrt (* 1314174534371215466459037696 333.75))
* [exit]simplify:  Simplified to (cbrt (* 1314174534371215466459037696 333.75))
* * * * [misc]progress:  [ 18 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (cbrt (* (* (* 333.75 (pow 33096 6)) (* 333.75 (pow 33096 6))) (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (* (* 333.75 (pow 33096 6)) (* 333.75 (pow 33096 6))) (* 333.75 (pow 33096 6)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (45 enodes)
* * [misc]simplify:  iters left: 3 (141 enodes)
* * [misc]simplify:  iters left: 2 (369 enodes)
* [exit]simplify:  Simplified to (pow (* 1314174534371215466459037696 333.75) 3)
* [exit]simplify:  Simplified to (pow (* 1314174534371215466459037696 333.75) 3)
* * * * [misc]progress:  [ 19 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* (sqrt (* 333.75 (pow 33096 6))) (sqrt (* 333.75 (pow 33096 6)))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (sqrt (* 333.75 (pow 33096 6)))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (* 1314174534371215466459037696 333.75))
* [exit]simplify:  Simplified to (sqrt (* 1314174534371215466459037696 333.75))
* [enter]simplify:  Simplifying (sqrt (* 333.75 (pow 33096 6)))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (* 1314174534371215466459037696 333.75))
* [exit]simplify:  Simplified to (sqrt (* 1314174534371215466459037696 333.75))
* * * * [misc]progress:  [ 20 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 1 (* 333.75 (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 21 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* (* 333.75 (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6)))) (cbrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* 333.75 (* (cbrt (pow 33096 6)) (cbrt (pow 33096 6))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* [exit]simplify:  Simplified to (* (* 333.75 (cbrt 1314174534371215466459037696)) (cbrt 1314174534371215466459037696))
* [exit]simplify:  Simplified to (* (* 333.75 (cbrt 1314174534371215466459037696)) (cbrt 1314174534371215466459037696))
* * * * [misc]progress:  [ 22 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* (* 333.75 (sqrt (pow 33096 6))) (sqrt (pow 33096 6))) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* 333.75 (sqrt (pow 33096 6)))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* [exit]simplify:  Simplified to (* 333.75 36251545268736)
* [exit]simplify:  Simplified to (* 333.75 36251545268736)
* * * * [misc]progress:  [ 23 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* (* 333.75 1) (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* 333.75 1)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to 333.75
* [exit]simplify:  Simplified to 333.75
* * * * [misc]progress:  [ 24 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* (pow 33096 6) 333.75) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 25 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (log (* (exp (* (* 11 (* 77617 77617)) (* 33096 33096))) (/ 1 (exp (pow 33096 6))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (exp (* (* 11 (* 77617 77617)) (* 33096 33096))) (/ 1 (exp (pow 33096 6))))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (39 enodes)
* * [misc]simplify:  iters left: 4 (49 enodes)
* * [misc]simplify:  iters left: 3 (68 enodes)
* * [misc]simplify:  iters left: 2 (87 enodes)
* * [misc]simplify:  iters left: 1 (99 enodes)
* [exit]simplify:  Simplified to (exp -1314174461784456350457997632)
* [exit]simplify:  Simplified to (exp -1314174461784456350457997632)
* * * * [misc]progress:  [ 26 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (log (* (exp (* (* 11 (* 77617 77617)) (* 33096 33096))) (exp (- (pow 33096 6))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (exp (* (* 11 (* 77617 77617)) (* 33096 33096))) (exp (- (pow 33096 6))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (36 enodes)
* * [misc]simplify:  iters left: 4 (49 enodes)
* * [misc]simplify:  iters left: 3 (67 enodes)
* * [misc]simplify:  iters left: 2 (97 enodes)
* * [misc]simplify:  iters left: 1 (148 enodes)
* [exit]simplify:  Simplified to (exp -1314174461784456350457997632)
* [exit]simplify:  Simplified to (exp -1314174461784456350457997632)
* * * * [misc]progress:  [ 27 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (pow (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) 1) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 28 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (exp (log (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (log (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (28 enodes)
* * [misc]simplify:  iters left: 4 (39 enodes)
* [exit]simplify:  Simplified to (log -1314174461784456350457997632)
* [exit]simplify:  Simplified to (log -1314174461784456350457997632)
* * * * [misc]progress:  [ 29 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (log (exp (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (exp (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (32 enodes)
* * [misc]simplify:  iters left: 4 (53 enodes)
* * [misc]simplify:  iters left: 3 (62 enodes)
* * [misc]simplify:  iters left: 2 (71 enodes)
* * [misc]simplify:  iters left: 1 (81 enodes)
* [exit]simplify:  Simplified to (exp -1314174461784456350457997632)
* [exit]simplify:  Simplified to (exp -1314174461784456350457997632)
* * * * [misc]progress:  [ 30 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (* (* (cbrt (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6)))) (cbrt (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))) (cbrt (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (cbrt (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6)))) (cbrt (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6)))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (29 enodes)
* * [misc]simplify:  iters left: 4 (40 enodes)
* [exit]simplify:  Simplified to (* (cbrt -1314174461784456350457997632) (cbrt -1314174461784456350457997632))
* [exit]simplify:  Simplified to (* (cbrt -1314174461784456350457997632) (cbrt -1314174461784456350457997632))
* [enter]simplify:  Simplifying (cbrt (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (28 enodes)
* * [misc]simplify:  iters left: 4 (39 enodes)
* [exit]simplify:  Simplified to (cbrt -1314174461784456350457997632)
* [exit]simplify:  Simplified to (cbrt -1314174461784456350457997632)
* * * * [misc]progress:  [ 31 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (cbrt (* (* (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6)))) (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (* (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6)))) (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (43 enodes)
* * [misc]simplify:  iters left: 4 (175 enodes)
* [exit]simplify:  Simplified to -2269650939045211586103122805946200503740940322302486978372256225536075787297619968
* [exit]simplify:  Simplified to -2269650939045211586103122805946200503740940322302486978372256225536075787297619968
* * * * [misc]progress:  [ 32 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (* (sqrt (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6)))) (sqrt (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (sqrt (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (28 enodes)
* * [misc]simplify:  iters left: 4 (39 enodes)
* [exit]simplify:  Simplified to (sqrt -1314174461784456350457997632)
* [exit]simplify:  Simplified to (sqrt -1314174461784456350457997632)
* [enter]simplify:  Simplifying (sqrt (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (28 enodes)
* * [misc]simplify:  iters left: 4 (39 enodes)
* [exit]simplify:  Simplified to (sqrt -1314174461784456350457997632)
* [exit]simplify:  Simplified to (sqrt -1314174461784456350457997632)
* * * * [misc]progress:  [ 33 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (/ (+ (pow (* (* 11 (* 77617 77617)) (* 33096 33096)) 3) (pow (- (pow 33096 6)) 3)) (+ (* (* (* 11 (* 77617 77617)) (* 33096 33096)) (* (* 11 (* 77617 77617)) (* 33096 33096))) (- (* (- (pow 33096 6)) (- (pow 33096 6))) (* (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6)))))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (pow (* (* 11 (* 77617 77617)) (* 33096 33096)) 3) (pow (- (pow 33096 6)) 3))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (43 enodes)
* * [misc]simplify:  iters left: 4 (118 enodes)
* * [misc]simplify:  iters left: 3 (143 enodes)
* [exit]simplify:  Simplified to -2269651315129102759307797113088570457085273238780328581498116230284959094431547392
* [exit]simplify:  Simplified to -2269651315129102759307797113088570457085273238780328581498116230284959094431547392
* [enter]simplify:  Simplifying (+ (* (* (* 11 (* 77617 77617)) (* 33096 33096)) (* (* 11 (* 77617 77617)) (* 33096 33096))) (- (* (- (pow 33096 6)) (- (pow 33096 6))) (* (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6)))))
* * [misc]simplify:  iters left: 6 (15 enodes)
* * [misc]simplify:  iters left: 5 (50 enodes)
* * [misc]simplify:  iters left: 4 (188 enodes)
* * [misc]simplify:  iters left: 3 (215 enodes)
* [exit]simplify:  Simplified to 1727054802181476613056443288975622459300120196664365056
* [exit]simplify:  Simplified to 1727054802181476613056443288975622459300120196664365056
* * * * [misc]progress:  [ 34 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (- (* (* 11 (* 77617 77617)) (* 33096 33096)) (pow 33096 6)) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 35 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (* 1 (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6)))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 36 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (/ (- (* (* (* 11 (* 77617 77617)) (* 33096 33096)) (* (* 11 (* 77617 77617)) (* 33096 33096))) (* (- (pow 33096 6)) (- (pow 33096 6)))) (- (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6)))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (- (* (* (* 11 (* 77617 77617)) (* 33096 33096)) (* (* 11 (* 77617 77617)) (* 33096 33096))) (* (- (pow 33096 6)) (- (pow 33096 6))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (41 enodes)
* * [misc]simplify:  iters left: 4 (111 enodes)
* * [misc]simplify:  iters left: 3 (119 enodes)
* [exit]simplify:  Simplified to -1727054706789795712594998946636777062608680348615864320
* [exit]simplify:  Simplified to -1727054706789795712594998946636777062608680348615864320
* [enter]simplify:  Simplifying (- (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (27 enodes)
* * [misc]simplify:  iters left: 4 (38 enodes)
* [exit]simplify:  Simplified to 1314174606957974582460077760
* [exit]simplify:  Simplified to 1314174606957974582460077760
* * * * [misc]progress:  [ 37 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (- (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) 0) (pow 33096 6)) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) 0)
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (32 enodes)
* [exit]simplify:  Simplified to 72586759116001040064
* [exit]simplify:  Simplified to 72586759116001040064
* * * * [misc]progress:  [ 38 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (- (* (* 11 (* 77617 77617)) (* 33096 33096)) (pow 33096 6)) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 39 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (- (pow 33096 6)) (* (* 11 (* 77617 77617)) (* 33096 33096))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 40 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (pow (* 5.5 (pow 33096 8)) 1)) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 41 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (exp (log (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (log (* 5.5 (pow 33096 8)))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (12 enodes)
* * [misc]simplify:  iters left: 1 (16 enodes)
* [exit]simplify:  Simplified to (log (* 1439474789212538429291115400277262336 5.5))
* [exit]simplify:  Simplified to (log (* 1439474789212538429291115400277262336 5.5))
* * * * [misc]progress:  [ 42 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (log (exp (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (exp (* 5.5 (pow 33096 8)))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (exp (* 1439474789212538429291115400277262336 5.5))
* [exit]simplify:  Simplified to (exp (* 1439474789212538429291115400277262336 5.5))
* * * * [misc]progress:  [ 43 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* (cbrt (* 5.5 (pow 33096 8))) (cbrt (* 5.5 (pow 33096 8)))) (cbrt (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (cbrt (* 5.5 (pow 33096 8))) (cbrt (* 5.5 (pow 33096 8))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* [exit]simplify:  Simplified to (* (cbrt (* 1439474789212538429291115400277262336 5.5)) (cbrt (* 1439474789212538429291115400277262336 5.5)))
* [exit]simplify:  Simplified to (* (cbrt (* 1439474789212538429291115400277262336 5.5)) (cbrt (* 1439474789212538429291115400277262336 5.5)))
* [enter]simplify:  Simplifying (cbrt (* 5.5 (pow 33096 8)))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (cbrt (* 1439474789212538429291115400277262336 5.5))
* [exit]simplify:  Simplified to (cbrt (* 1439474789212538429291115400277262336 5.5))
* * * * [misc]progress:  [ 44 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (cbrt (* (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* (* (* 5.5 (pow 33096 8)) (* 5.5 (pow 33096 8))) (* 5.5 (pow 33096 8)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (45 enodes)
* * [misc]simplify:  iters left: 3 (141 enodes)
* * [misc]simplify:  iters left: 2 (369 enodes)
* [exit]simplify:  Simplified to (pow (* 1439474789212538429291115400277262336 5.5) 3)
* [exit]simplify:  Simplified to (pow (* 1439474789212538429291115400277262336 5.5) 3)
* * * * [misc]progress:  [ 45 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (sqrt (* 5.5 (pow 33096 8))) (sqrt (* 5.5 (pow 33096 8))))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (sqrt (* 5.5 (pow 33096 8)))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (* 1439474789212538429291115400277262336 5.5))
* [exit]simplify:  Simplified to (sqrt (* 1439474789212538429291115400277262336 5.5))
* [enter]simplify:  Simplifying (sqrt (* 5.5 (pow 33096 8)))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (* 1439474789212538429291115400277262336 5.5))
* [exit]simplify:  Simplified to (sqrt (* 1439474789212538429291115400277262336 5.5))
* * * * [misc]progress:  [ 46 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 1 (* 5.5 (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 47 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8)))) (cbrt (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* 5.5 (* (cbrt (pow 33096 8)) (cbrt (pow 33096 8))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* [exit]simplify:  Simplified to (* (* 5.5 (cbrt 1439474789212538429291115400277262336)) (cbrt 1439474789212538429291115400277262336))
* [exit]simplify:  Simplified to (* (* 5.5 (cbrt 1439474789212538429291115400277262336)) (cbrt 1439474789212538429291115400277262336))
* * * * [misc]progress:  [ 48 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 (sqrt (pow 33096 8))) (sqrt (pow 33096 8)))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* 5.5 (sqrt (pow 33096 8)))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* [exit]simplify:  Simplified to (* 5.5 1199781142214086656)
* [exit]simplify:  Simplified to (* 5.5 1199781142214086656)
* * * * [misc]progress:  [ 49 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (* 5.5 1) (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (* 5.5 1)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to 5.5
* [exit]simplify:  Simplified to 5.5
* * * * [misc]progress:  [ 50 / 62 ] simplifiying candidate #<alt-delta (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* (pow 33096 8) 5.5)) (/ 77617 (* 2 33096))))>
* * * * [misc]progress:  [ 51 / 62 ] simplifiying candidate #<alt-event (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (81 enodes)
* * [misc]simplify:  iters left: 4 (236 enodes)
* * [misc]simplify:  iters left: 3 (365 enodes)
* [exit]simplify:  Simplified to (+ (* 1314174534371215466459037696 333.75) (+ -524049462893751750438462482680487001249263/66192 (* 5.5 1439474789212538429291115400277262336)))
* * * * [misc]progress:  [ 52 / 62 ] simplifiying candidate #<alt-event (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (81 enodes)
* * [misc]simplify:  iters left: 4 (236 enodes)
* * [misc]simplify:  iters left: 3 (365 enodes)
* [exit]simplify:  Simplified to (+ (* 1314174534371215466459037696 333.75) (+ -524049462893751750438462482680487001249263/66192 (* 5.5 1439474789212538429291115400277262336)))
* * * * [misc]progress:  [ 53 / 62 ] simplifiying candidate #<alt-event (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (81 enodes)
* * [misc]simplify:  iters left: 4 (236 enodes)
* * [misc]simplify:  iters left: 3 (365 enodes)
* [exit]simplify:  Simplified to (+ (* 1314174534371215466459037696 333.75) (+ -524049462893751750438462482680487001249263/66192 (* 5.5 1439474789212538429291115400277262336)))
* * * * [misc]progress:  [ 54 / 62 ] simplifiying candidate #<alt-event (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (81 enodes)
* * [misc]simplify:  iters left: 4 (236 enodes)
* * [misc]simplify:  iters left: 3 (365 enodes)
* [exit]simplify:  Simplified to (+ (* 1314174534371215466459037696 333.75) (+ -524049462893751750438462482680487001249263/66192 (* 5.5 1439474789212538429291115400277262336)))
* * * * [misc]progress:  [ 55 / 62 ] simplifiying candidate #<alt-event (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (81 enodes)
* * [misc]simplify:  iters left: 4 (236 enodes)
* * [misc]simplify:  iters left: 3 (365 enodes)
* [exit]simplify:  Simplified to (+ (* 1314174534371215466459037696 333.75) (+ -524049462893751750438462482680487001249263/66192 (* 5.5 1439474789212538429291115400277262336)))
* * * * [misc]progress:  [ 56 / 62 ] simplifiying candidate #<alt-event (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (81 enodes)
* * [misc]simplify:  iters left: 4 (236 enodes)
* * [misc]simplify:  iters left: 3 (365 enodes)
* [exit]simplify:  Simplified to (+ (* 1314174534371215466459037696 333.75) (+ -524049462893751750438462482680487001249263/66192 (* 5.5 1439474789212538429291115400277262336)))
* * * * [misc]progress:  [ 57 / 62 ] simplifiying candidate #<alt-event (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (81 enodes)
* * [misc]simplify:  iters left: 4 (236 enodes)
* * [misc]simplify:  iters left: 3 (365 enodes)
* [exit]simplify:  Simplified to (+ (* 1314174534371215466459037696 333.75) (+ -524049462893751750438462482680487001249263/66192 (* 5.5 1439474789212538429291115400277262336)))
* * * * [misc]progress:  [ 58 / 62 ] simplifiying candidate #<alt-event (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (81 enodes)
* * [misc]simplify:  iters left: 4 (236 enodes)
* * [misc]simplify:  iters left: 3 (365 enodes)
* [exit]simplify:  Simplified to (+ (* 1314174534371215466459037696 333.75) (+ -524049462893751750438462482680487001249263/66192 (* 5.5 1439474789212538429291115400277262336)))
* * * * [misc]progress:  [ 59 / 62 ] simplifiying candidate #<alt-event (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (81 enodes)
* * [misc]simplify:  iters left: 4 (236 enodes)
* * [misc]simplify:  iters left: 3 (365 enodes)
* [exit]simplify:  Simplified to (+ (* 1314174534371215466459037696 333.75) (+ -524049462893751750438462482680487001249263/66192 (* 5.5 1439474789212538429291115400277262336)))
* * * * [misc]progress:  [ 60 / 62 ] simplifiying candidate #<alt-event (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (81 enodes)
* * [misc]simplify:  iters left: 4 (236 enodes)
* * [misc]simplify:  iters left: 3 (365 enodes)
* [exit]simplify:  Simplified to (+ (* 1314174534371215466459037696 333.75) (+ -524049462893751750438462482680487001249263/66192 (* 5.5 1439474789212538429291115400277262336)))
* * * * [misc]progress:  [ 61 / 62 ] simplifiying candidate #<alt-event (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (81 enodes)
* * [misc]simplify:  iters left: 4 (236 enodes)
* * [misc]simplify:  iters left: 3 (365 enodes)
* [exit]simplify:  Simplified to (+ (* 1314174534371215466459037696 333.75) (+ -524049462893751750438462482680487001249263/66192 (* 5.5 1439474789212538429291115400277262336)))
* * * * [misc]progress:  [ 62 / 62 ] simplifiying candidate #<alt-event (λ () (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))>
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (81 enodes)
* * [misc]simplify:  iters left: 4 (236 enodes)
* * [misc]simplify:  iters left: 3 (365 enodes)
* [exit]simplify:  Simplified to (+ (* 1314174534371215466459037696 333.75) (+ -524049462893751750438462482680487001249263/66192 (* 5.5 1439474789212538429291115400277262336)))
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* [enter]simplify:  Simplifying (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
* * [misc]simplify:  iters left: 6 (31 enodes)
* * [misc]simplify:  iters left: 5 (54 enodes)
* * [misc]simplify:  iters left: 4 (57 enodes)
* * [misc]simplify:  iters left: 3 (59 enodes)
* [exit]simplify:  Simplified to (+ 77617/66192 (+ (+ (* 1314174534371215466459037696 333.75) -7917111779274712207494296632228773890) (* 5.5 1439474789212538429291115400277262336)))