4.536 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.063 * * * [progress]: [2/2] Setting up program.
0.067 * [progress]: [Phase 2 of 3] Improving.
0.067 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))
0.133 * * [simplify]: iteration  0 :  4958  enodes  (cost  43 )
0.133 * * [simplify]: iteration  1 :  4958  enodes  (cost  43 )
0.133 * [simplify]: Simplified to:
   (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0)))
0.138 * * [progress]: iteration 1 / 4
0.138 * * * [progress]: picking best candidate
0.141 * * * * [pick]: Picked  #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0))))>
0.141 * * * [progress]: localizing error
0.168 * * * [progress]: generating rewritten candidates
0.169 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.186 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1 1)
0.198 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.220 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.227 * * * [progress]: generating series expansions
0.227 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.227 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1 1)
0.227 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.227 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
0.227 * * * [progress]: simplifying candidates
0.229 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (exp (* 333.75 (pow 33096.0 6.0))) (exp (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (exp (* 5.5 (pow 33096.0 8.0))))
  (* (exp (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (exp (* 5.5 (pow 33096.0 8.0))))
  (log (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))))
  (exp (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))))
  (* (cbrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))))
  (cbrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))))
  (* (* (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))))
  (sqrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))))
  (sqrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))))
  (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (- (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))))
  (- (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))))
  (- (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
  (+ (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))
  (/ (exp (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (exp (pow 33096.0 6.0)))
  (log (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (* (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) 3) (pow (pow 33096.0 6.0) 3))
  (+ (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (+ (* (pow 33096.0 6.0) (pow 33096.0 6.0)) (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (neg (pow 33096.0 6.0))
  (- (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (* (pow 33096.0 6.0) (pow 33096.0 6.0)))
  (+ (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
  (* (* (* (exp (* 333.75 (pow 33096.0 6.0))) (exp (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (exp (* 5.5 (pow 33096.0 8.0)))) (exp (/ 77617.0 (* 33096.0 2.0))))
  (* (* (exp (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (exp (* 5.5 (pow 33096.0 8.0)))) (exp (/ 77617.0 (* 33096.0 2.0))))
  (* (exp (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))) (exp (/ 77617.0 (* 33096.0 2.0))))
  (log (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0))))
  (exp (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0))))
  (* (cbrt (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0)))) (cbrt (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0)))))
  (cbrt (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0))))
  (* (* (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0))) (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0)))) (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0))))
  (sqrt (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0))))
  (sqrt (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0))))
  (+ (* (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (* 33096.0 2.0)) (* (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (- (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))))) 77617.0))
  (* (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (- (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))))) (* 33096.0 2.0))
  (+ (* (- (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0)))) (* 33096.0 2.0)) (* (- (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) 77617.0))
  (* (- (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (* 33096.0 2.0))
  (+ (pow (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) 3) (pow (/ 77617.0 (* 33096.0 2.0)) 3))
  (+ (* (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))) (- (* (/ 77617.0 (* 33096.0 2.0)) (/ 77617.0 (* 33096.0 2.0))) (* (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0)))))
  (- (* (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))) (* (/ 77617.0 (* 33096.0 2.0)) (/ 77617.0 (* 33096.0 2.0))))
  (- (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))
  (+ (log 5.5) (* (log 33096.0) 8.0))
  (+ (log 5.5) (* (log 33096.0) 8.0))
  (+ (log 5.5) (log (pow 33096.0 8.0)))
  (log (* 5.5 (pow 33096.0 8.0)))
  (exp (* 5.5 (pow 33096.0 8.0)))
  (* (* (* 5.5 5.5) 5.5) (* (* (pow 33096.0 8.0) (pow 33096.0 8.0)) (pow 33096.0 8.0)))
  (* (cbrt (* 5.5 (pow 33096.0 8.0))) (cbrt (* 5.5 (pow 33096.0 8.0))))
  (cbrt (* 5.5 (pow 33096.0 8.0)))
  (* (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* 5.5 (pow 33096.0 8.0)))
  (sqrt (* 5.5 (pow 33096.0 8.0)))
  (sqrt (* 5.5 (pow 33096.0 8.0)))
  (* (sqrt 5.5) (pow (sqrt 33096.0) 8.0))
  (* (sqrt 5.5) (pow (sqrt 33096.0) 8.0))
  (* (sqrt 5.5) (sqrt (pow 33096.0 8.0)))
  (* (sqrt 5.5) (sqrt (pow 33096.0 8.0)))
  (* (sqrt 5.5) (pow 33096.0 (/ 8.0 2)))
  (* (sqrt 5.5) (pow 33096.0 (/ 8.0 2)))
  (* 5.5 (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0))
  (* 5.5 (pow (sqrt 33096.0) 8.0))
  (* 5.5 (pow 1 8.0))
  (* 5.5 (* (cbrt (pow 33096.0 8.0)) (cbrt (pow 33096.0 8.0))))
  (* 5.5 (sqrt (pow 33096.0 8.0)))
  (* 5.5 1)
  (* 5.5 (pow 33096.0 (/ 8.0 2)))
  (* (cbrt 5.5) (pow 33096.0 8.0))
  (* (sqrt 5.5) (pow 33096.0 8.0))
  (* 5.5 (pow 33096.0 8.0))
  (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 33096.0 2.0)))
0.249 * * [simplify]: iteration  0 :  5438  enodes  (cost  2500 )
0.256 * [simplify]: Simplified to:
   (exp (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))
  (exp (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))
  (log (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))
  (exp (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))
  (* (cbrt (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))))) (cbrt (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))))))
  (cbrt (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))
  (pow (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) 3)
  (sqrt (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))
  (sqrt (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))
  (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))
  (- (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* 5.5 (* (pow 33096.0 (* 8.0 2)) 5.5)))
  (- (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
  (+ (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (log (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (pow (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) 3)
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) 3) (pow (pow 33096.0 6.0) 3))
  (+ (pow 33096.0 (* 6.0 2)) (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (+ (pow 33096.0 6.0) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)))))
  (neg (pow 33096.0 6.0))
  (- (* 77617.0 (* (* 77617.0 11.0) (* (* 33096.0 (pow 33096.0 3)) (* (* 77617.0 77617.0) 11.0)))) (pow 33096.0 (* 6.0 2)))
  (+ (pow 33096.0 6.0) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)))
  (exp (+ (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (/ 77617.0 (* 33096.0 2.0))))
  (exp (+ (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (/ 77617.0 (* 33096.0 2.0))))
  (exp (+ (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (/ 77617.0 (* 33096.0 2.0))))
  (log (+ (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (/ 77617.0 (* 33096.0 2.0))))
  (exp (+ (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (/ 77617.0 (* 33096.0 2.0))))
  (* (cbrt (+ (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (/ 77617.0 (* 33096.0 2.0)))) (cbrt (+ (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (/ 77617.0 (* 33096.0 2.0)))))
  (cbrt (+ (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (/ 77617.0 (* 33096.0 2.0))))
  (pow (+ (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (/ 77617.0 (* 33096.0 2.0))) 3)
  (sqrt (+ (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (/ 77617.0 (* 33096.0 2.0))))
  (sqrt (+ (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (/ 77617.0 (* 33096.0 2.0))))
  (+ (* (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (* 33096.0 2.0)) (* 77617.0 (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))))
  (* (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))))))) (* 33096.0 2.0))
  (+ (* (- (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* 5.5 (* (pow 33096.0 (* 8.0 2)) 5.5))) (* 33096.0 2.0)) (* 77617.0 (- (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))))
  (* (- (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (* 33096.0 2.0))
  (+ (pow (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) 3) (pow (/ 77617.0 (* 33096.0 2.0)) 3))
  (+ (* (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))))) (* (/ 77617.0 (* 33096.0 2.0)) (- (/ 77617.0 (* 33096.0 2.0)) (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))
  (- (* (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))))) (* (/ 77617.0 (* 33096.0 2.0)) (/ 77617.0 (* 33096.0 2.0))))
  (- (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 33096.0 2.0)))
  (log (* 5.5 (pow 33096.0 8.0)))
  (log (* 5.5 (pow 33096.0 8.0)))
  (log (* 5.5 (pow 33096.0 8.0)))
  (log (* 5.5 (pow 33096.0 8.0)))
  (exp (* 5.5 (pow 33096.0 8.0)))
  (pow (* 5.5 (pow 33096.0 8.0)) 3)
  (* (cbrt (* 5.5 (pow 33096.0 8.0))) (cbrt (* 5.5 (pow 33096.0 8.0))))
  (cbrt (* 5.5 (pow 33096.0 8.0)))
  (pow (* 5.5 (pow 33096.0 8.0)) 3)
  (sqrt (* 5.5 (pow 33096.0 8.0)))
  (sqrt (* 5.5 (pow 33096.0 8.0)))
  (* (sqrt 5.5) (pow (sqrt 33096.0) 8.0))
  (* (sqrt 5.5) (pow (sqrt 33096.0) 8.0))
  (* (sqrt 5.5) (sqrt (pow 33096.0 8.0)))
  (* (sqrt 5.5) (sqrt (pow 33096.0 8.0)))
  (* (sqrt 5.5) (pow 33096.0 (/ 8.0 2)))
  (* (sqrt 5.5) (pow 33096.0 (/ 8.0 2)))
  (* 5.5 (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0))
  (* 5.5 (pow (sqrt 33096.0) 8.0))
  5.5
  (* 5.5 (* (cbrt (pow 33096.0 8.0)) (cbrt (pow 33096.0 8.0))))
  (* 5.5 (sqrt (pow 33096.0 8.0)))
  5.5
  (* 5.5 (pow 33096.0 (/ 8.0 2)))
  (* (pow 33096.0 8.0) (cbrt 5.5))
  (* (pow 33096.0 8.0) (sqrt 5.5))
  (* 5.5 (pow 33096.0 8.0))
  (+ (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (+ (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (/ 77617.0 (* 33096.0 2.0)))
0.257 * * * [progress]: adding candidates to table
0.576 * * [progress]: iteration 2 / 4
0.576 * * * [progress]: picking best candidate
0.584 * * * * [pick]: Picked  #<alt (λ () (+ (/ (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0))))>
0.584 * * * [progress]: localizing error
0.621 * * * [progress]: generating rewritten candidates
0.621 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.638 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.643 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.648 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 2 2 2 2 1 1)
0.662 * * * [progress]: generating series expansions
0.662 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.662 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.662 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
0.662 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 2 2 2 2 1 1)
0.662 * * * [progress]: simplifying candidates
0.664 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3)) (exp (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (log (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (exp (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (* (cbrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))) (cbrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))))
  (cbrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (* (* (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))) (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (sqrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (sqrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (- (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))))
  (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
  (+ (pow (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) 3) (pow (pow (* 5.5 (pow 33096.0 8.0)) 3) 3))
  (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3)) (- (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))))
  (- (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3)) (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (- (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (* (log (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) 3)
  (* (log (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) 3)
  (* 1 3)
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* (cbrt 3) (cbrt 3)))
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (sqrt 3))
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 1)
  (pow (* (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))))) 3)
  (pow (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) 3)
  (pow (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) 3)
  (pow (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) 3)
  (pow 1 3)
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3)
  (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))))
  (log (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3))
  (exp (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3))
  (* (cbrt (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3)) (cbrt (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3)))
  (cbrt (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3))
  (* (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3)) (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3))
  (pow (* (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))))) 3)
  (pow (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) 3)
  (pow (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) 3)
  (pow (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) 3)
  (pow 1 3)
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3)
  (pow (+ (pow (* 333.75 (pow 33096.0 6.0)) 3) (pow (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)) 3)) 3)
  (pow (+ (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (- (* (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))))) 3)
  (pow (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) 3)
  (pow (- (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3)
  (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))))
  (sqrt (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3))
  (sqrt (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3))
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (/ 3 2))
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (/ 3 2))
  (* (+ (log 5.5) (* (log 33096.0) 8.0)) 3)
  (* (+ (log 5.5) (* (log 33096.0) 8.0)) 3)
  (* (+ (log 5.5) (log (pow 33096.0 8.0))) 3)
  (* (log (* 5.5 (pow 33096.0 8.0))) 3)
  (* (log (* 5.5 (pow 33096.0 8.0))) 3)
  (* 1 3)
  (pow (* 5.5 (pow 33096.0 8.0)) (* (cbrt 3) (cbrt 3)))
  (pow (* 5.5 (pow 33096.0 8.0)) (sqrt 3))
  (pow (* 5.5 (pow 33096.0 8.0)) 1)
  (pow 5.5 3)
  (pow (pow 33096.0 8.0) 3)
  (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0)))
  (log (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (exp (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (* (cbrt (pow (* 5.5 (pow 33096.0 8.0)) 3)) (cbrt (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (cbrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (* (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (pow 5.5 3)
  (pow (pow 33096.0 8.0) 3)
  (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0)))
  (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (pow (* 5.5 (pow 33096.0 8.0)) (/ 3 2))
  (pow (* 5.5 (pow 33096.0 8.0)) (/ 3 2))
  (/ (exp (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (exp (pow 33096.0 6.0)))
  (log (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (* (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) 3) (pow (pow 33096.0 6.0) 3))
  (+ (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (+ (* (pow 33096.0 6.0) (pow 33096.0 6.0)) (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (neg (pow 33096.0 6.0))
  (- (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (* (pow 33096.0 6.0) (pow 33096.0 6.0)))
  (+ (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
  (+ (/ (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (/ (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (/ (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (/ (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0)))
0.706 * * [simplify]: iteration  0 :  5196  enodes  (cost  2685 )
0.714 * [simplify]: Simplified to:
   (exp (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (log (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (exp (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (* (cbrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))) (cbrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))))
  (cbrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (pow (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) 3)
  (sqrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (sqrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))
  (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
  (+ (pow (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) 3) (pow (pow (* 5.5 (pow 33096.0 8.0)) 3) 3))
  (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 6) (- (pow (* 5.5 (pow 33096.0 8.0)) 6) (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))))
  (- (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 6) (pow (* 5.5 (pow 33096.0 8.0)) 6))
  (- (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (* 3 (log (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))
  (* 3 (log (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))
  3
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* (cbrt 3) (cbrt 3)))
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (sqrt 3))
  (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2)
  (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3/2)
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3/2)
  1
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3)
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2)
  (* 3 (log (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))
  (exp (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3))
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2)
  (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))
  (pow (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) 3)
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2)
  (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3/2)
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3/2)
  1
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3)
  (pow (+ (pow (* 333.75 (pow 33096.0 6.0)) 3) (pow (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)) 3)) 3)
  (pow (+ (* 333.75 (* (pow 33096.0 (* 6.0 2)) 333.75)) (* 77617.0 (* (* 77617.0 (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)) (- (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))) 3)
  (pow (- (* 333.75 (* (pow 33096.0 (* 6.0 2)) 333.75)) (* (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0) (* (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0) (* 77617.0 (pow 77617.0 3))))) 3)
  (pow (- (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3)
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2)
  (sqrt (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3))
  (sqrt (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3))
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3/2)
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3/2)
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  3
  (pow (* 5.5 (pow 33096.0 8.0)) (* (cbrt 3) (cbrt 3)))
  (pow (* 5.5 (pow 33096.0 8.0)) (sqrt 3))
  (* 5.5 (pow 33096.0 8.0))
  (pow 5.5 3)
  (pow (pow 33096.0 8.0) 3)
  (pow (* 5.5 (pow 33096.0 8.0)) 2)
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  (exp (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (pow (* 5.5 (pow 33096.0 8.0)) 2)
  (* 5.5 (pow 33096.0 8.0))
  (pow (pow (* 5.5 (pow 33096.0 8.0)) 3) 3)
  (pow 5.5 3)
  (pow (pow 33096.0 8.0) 3)
  (pow (* 5.5 (pow 33096.0 8.0)) 2)
  (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (pow (* 5.5 (pow 33096.0 8.0)) 3/2)
  (pow (* 5.5 (pow 33096.0 8.0)) 3/2)
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (log (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (pow (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) 3)
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) 3) (pow (pow 33096.0 6.0) 3))
  (+ (pow 33096.0 (* 6.0 2)) (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (+ (pow 33096.0 6.0) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)))))
  (neg (pow 33096.0 6.0))
  (- (* (* 77617.0 (pow 77617.0 3)) (* (* 33096.0 (pow 33096.0 3)) (* 11.0 11.0))) (pow 33096.0 (* 6.0 2)))
  (+ (pow 33096.0 6.0) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)))
  (+ (/ (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (/ (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (/ (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (/ (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0)))
0.715 * * * [progress]: adding candidates to table
2.248 * * [progress]: iteration 3 / 4
2.248 * * * [progress]: picking best candidate
2.258 * * * * [pick]: Picked  #<alt (λ () (+ (/ (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0))))>
2.258 * * * [progress]: localizing error
2.301 * * * [progress]: generating rewritten candidates
2.301 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
2.318 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
2.322 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 2 2 2 2 1 1)
2.334 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 2 1 1)
2.348 * * * [progress]: generating series expansions
2.348 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.348 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
2.348 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 2 2 2 2 1 1)
2.348 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 2 1 1)
2.348 * * * [progress]: simplifying candidates
2.350 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))))) (exp (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (log (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (exp (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (* (cbrt (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3))) (cbrt (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3))))
  (cbrt (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (* (* (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3))) (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (sqrt (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (sqrt (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (- (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))))
  (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
  (+ (pow (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) 3) (pow (pow (* 5.5 (pow 33096.0 8.0)) 3) 3))
  (+ (* (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))))) (- (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (* (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3))))
  (- (* (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))))) (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (- (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (+ (* (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)) (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2)) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (* (+ (log 5.5) (* (log 33096.0) 8.0)) 3)
  (* (+ (log 5.5) (* (log 33096.0) 8.0)) 3)
  (* (+ (log 5.5) (log (pow 33096.0 8.0))) 3)
  (* (log (* 5.5 (pow 33096.0 8.0))) 3)
  (* (log (* 5.5 (pow 33096.0 8.0))) 3)
  (* 1 3)
  (pow (* 5.5 (pow 33096.0 8.0)) (* (cbrt 3) (cbrt 3)))
  (pow (* 5.5 (pow 33096.0 8.0)) (sqrt 3))
  (pow (* 5.5 (pow 33096.0 8.0)) 1)
  (pow 5.5 3)
  (pow (pow 33096.0 8.0) 3)
  (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0)))
  (log (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (exp (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (* (cbrt (pow (* 5.5 (pow 33096.0 8.0)) 3)) (cbrt (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (cbrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (* (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (pow 5.5 3)
  (pow (pow 33096.0 8.0) 3)
  (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0)))
  (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (pow (* 5.5 (pow 33096.0 8.0)) (/ 3 2))
  (pow (* 5.5 (pow 33096.0 8.0)) (/ 3 2))
  (/ (exp (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (exp (pow 33096.0 6.0)))
  (log (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (* (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) 3) (pow (pow 33096.0 6.0) 3))
  (+ (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (+ (* (pow 33096.0 6.0) (pow 33096.0 6.0)) (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (neg (pow 33096.0 6.0))
  (- (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (* (pow 33096.0 6.0) (pow 33096.0 6.0)))
  (+ (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
  (/ (exp (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (exp (pow 33096.0 6.0)))
  (log (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (* (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) 3) (pow (pow 33096.0 6.0) 3))
  (+ (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (+ (* (pow 33096.0 6.0) (pow 33096.0 6.0)) (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (neg (pow 33096.0 6.0))
  (- (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (* (pow 33096.0 6.0) (pow 33096.0 6.0)))
  (+ (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
  (+ (/ (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (/ (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (/ (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (/ (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0)))
2.372 * * [simplify]: iteration  0 :  5669  enodes  (cost  1928 )
2.378 * [simplify]: Simplified to:
   (exp (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (log (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (exp (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (* (cbrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))) (cbrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))))
  (cbrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (pow (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) 3)
  (sqrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (sqrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))
  (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
  (+ (pow (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) 3) (pow (pow (* 5.5 (pow 33096.0 8.0)) 3) 3))
  (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 6) (- (pow (* 5.5 (pow 33096.0 8.0)) 6) (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))))
  (- (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 6) (pow (* 5.5 (pow 33096.0 8.0)) 6))
  (- (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)) (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2)))
  (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)) (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2)))
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  3
  (pow (* 5.5 (pow 33096.0 8.0)) (* (cbrt 3) (cbrt 3)))
  (pow (* 5.5 (pow 33096.0 8.0)) (sqrt 3))
  (* 5.5 (pow 33096.0 8.0))
  (pow 5.5 3)
  (pow (pow 33096.0 8.0) 3)
  (pow (* 5.5 (pow 33096.0 8.0)) 2)
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  (exp (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (pow (* 5.5 (pow 33096.0 8.0)) 2)
  (* 5.5 (pow 33096.0 8.0))
  (pow (pow (* 5.5 (pow 33096.0 8.0)) 3) 3)
  (pow 5.5 3)
  (pow (pow 33096.0 8.0) 3)
  (pow (* 5.5 (pow 33096.0 8.0)) 2)
  (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (pow (* 5.5 (pow 33096.0 8.0)) 3/2)
  (pow (* 5.5 (pow 33096.0 8.0)) 3/2)
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (log (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (pow (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) 3)
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) 3) (pow (pow 33096.0 6.0) 3))
  (+ (pow 33096.0 (* 6.0 2)) (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (+ (pow 33096.0 6.0) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)))))
  (neg (pow 33096.0 6.0))
  (- (* 77617.0 (* (* 77617.0 11.0) (* (* 33096.0 (pow 33096.0 3)) (* (* 77617.0 77617.0) 11.0)))) (pow 33096.0 (* 6.0 2)))
  (+ (pow 33096.0 6.0) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)))
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (log (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (pow (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) 3)
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) 3) (pow (pow 33096.0 6.0) 3))
  (+ (pow 33096.0 (* 6.0 2)) (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (+ (pow 33096.0 6.0) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)))))
  (neg (pow 33096.0 6.0))
  (- (* 77617.0 (* (* 77617.0 11.0) (* (* 33096.0 (pow 33096.0 3)) (* (* 77617.0 77617.0) 11.0)))) (pow 33096.0 (* 6.0 2)))
  (+ (pow 33096.0 6.0) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)))
  (+ (/ (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (/ (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (/ (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0)))
  (+ (/ (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0)))
2.379 * * * [progress]: adding candidates to table
3.766 * * [progress]: iteration 4 / 4
3.766 * * * [progress]: picking best candidate
3.779 * * * * [pick]: Picked  #<alt (λ () (+ (/ (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (* (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0))))>
3.780 * * * [progress]: localizing error
3.825 * * * [progress]: generating rewritten candidates
3.825 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
3.841 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
3.845 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 2 2 2 2 1 1)
3.860 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 2 1 1 2 1)
3.872 * * * [progress]: generating series expansions
3.872 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
3.873 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
3.873 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 2 2 2 2 1 1)
3.873 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 2 1 1 2 1)
3.873 * * * [progress]: simplifying candidates
3.874 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))))) (exp (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (log (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (exp (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (* (cbrt (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3))) (cbrt (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3))))
  (cbrt (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (* (* (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3))) (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (sqrt (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (sqrt (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (- (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))))
  (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
  (+ (pow (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) 3) (pow (pow (* 5.5 (pow 33096.0 8.0)) 3) 3))
  (+ (* (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))))) (- (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (* (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3))))
  (- (* (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))))) (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (- (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (+ (* (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)) (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2)) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (* (+ (log 5.5) (* (log 33096.0) 8.0)) 3)
  (* (+ (log 5.5) (* (log 33096.0) 8.0)) 3)
  (* (+ (log 5.5) (log (pow 33096.0 8.0))) 3)
  (* (log (* 5.5 (pow 33096.0 8.0))) 3)
  (* (log (* 5.5 (pow 33096.0 8.0))) 3)
  (* 1 3)
  (pow (* 5.5 (pow 33096.0 8.0)) (* (cbrt 3) (cbrt 3)))
  (pow (* 5.5 (pow 33096.0 8.0)) (sqrt 3))
  (pow (* 5.5 (pow 33096.0 8.0)) 1)
  (pow 5.5 3)
  (pow (pow 33096.0 8.0) 3)
  (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0)))
  (log (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (exp (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (* (cbrt (pow (* 5.5 (pow 33096.0 8.0)) 3)) (cbrt (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (cbrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (* (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (pow 5.5 3)
  (pow (pow 33096.0 8.0) 3)
  (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0)))
  (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (pow (* 5.5 (pow 33096.0 8.0)) (/ 3 2))
  (pow (* 5.5 (pow 33096.0 8.0)) (/ 3 2))
  (/ (exp (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (exp (pow 33096.0 6.0)))
  (log (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (* (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) 3) (pow (pow 33096.0 6.0) 3))
  (+ (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (+ (* (pow 33096.0 6.0) (pow 33096.0 6.0)) (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (neg (pow 33096.0 6.0))
  (- (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (* (pow 33096.0 6.0) (pow 33096.0 6.0)))
  (+ (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
  (/ (exp (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (exp (pow 33096.0 6.0)))
  (log (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (* (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) 3) (pow (pow 33096.0 6.0) 3))
  (+ (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (+ (* (pow 33096.0 6.0) (pow 33096.0 6.0)) (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (neg (pow 33096.0 6.0))
  (- (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0))) (* (pow 33096.0 6.0) (pow 33096.0 6.0)))
  (+ (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
3.894 * * [simplify]: iteration  0 :  5533  enodes  (cost  1600 )
3.899 * [simplify]: Simplified to:
   (exp (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (log (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (exp (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (* (cbrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))) (cbrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))))
  (cbrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (pow (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) 3)
  (sqrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (sqrt (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)))
  (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))
  (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
  (+ (pow (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) 3) (pow (pow (* 5.5 (pow 33096.0 8.0)) 3) 3))
  (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 6) (- (pow (* 5.5 (pow 33096.0 8.0)) 6) (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))))
  (- (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 6) (pow (* 5.5 (pow 33096.0 8.0)) 6))
  (- (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)) (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2)))
  (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)) (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2)))
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  3
  (pow (* 5.5 (pow 33096.0 8.0)) (* (cbrt 3) (cbrt 3)))
  (pow (* 5.5 (pow 33096.0 8.0)) (sqrt 3))
  (* 5.5 (pow 33096.0 8.0))
  (pow 5.5 3)
  (pow (pow 33096.0 8.0) 3)
  (pow (* 5.5 (pow 33096.0 8.0)) 2)
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  (exp (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (pow (* 5.5 (pow 33096.0 8.0)) 2)
  (* 5.5 (pow 33096.0 8.0))
  (pow (pow (* 5.5 (pow 33096.0 8.0)) 3) 3)
  (pow 5.5 3)
  (pow (pow 33096.0 8.0) 3)
  (pow (* 5.5 (pow 33096.0 8.0)) 2)
  (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (pow (* 5.5 (pow 33096.0 8.0)) 3/2)
  (pow (* 5.5 (pow 33096.0 8.0)) 3/2)
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (log (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (pow (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) 3)
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) 3) (pow (pow 33096.0 6.0) 3))
  (+ (pow 33096.0 (* 6.0 2)) (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (+ (pow 33096.0 6.0) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)))))
  (neg (pow 33096.0 6.0))
  (- (* 77617.0 (* (* 77617.0 11.0) (* (* 33096.0 (pow 33096.0 3)) (* (* 77617.0 77617.0) 11.0)))) (pow 33096.0 (* 6.0 2)))
  (+ (pow 33096.0 6.0) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)))
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (log (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (pow (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) 3)
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) 3) (pow (pow 33096.0 6.0) 3))
  (+ (pow 33096.0 (* 6.0 2)) (* (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (+ (pow 33096.0 6.0) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)))))
  (neg (pow 33096.0 6.0))
  (- (* 77617.0 (* (* 77617.0 11.0) (* (* 33096.0 (pow 33096.0 3)) (* (* 77617.0 77617.0) 11.0)))) (pow 33096.0 (* 6.0 2)))
  (+ (pow 33096.0 6.0) (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
3.900 * * * [progress]: adding candidates to table
5.694 * [progress]: [Phase 3 of 3] Extracting.
5.709 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (/ (+ (* (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (* (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -121.0 (pow 33096.0 4.0))) -2.0)))) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (* (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -121.0 (pow 33096.0 4.0))) -2.0)))))))) (/ 77617.0 (* 33096.0 2.0)))
5.711 * * [simplify]: iteration  0 :  204  enodes  (cost  249 )
5.712 * * [simplify]: iteration  1 :  204  enodes  (cost  249 )
5.712 * [simplify]: Simplified to:
   (+ (/ (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) 2)) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)) (* -121.0 (pow 33096.0 4.0))) -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))))))) (* 5.5 (* (pow 33096.0 8.0) (- (* 5.5 (pow 33096.0 8.0)) (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (* (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* (* 77617.0 77617.0) 11.0) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))))))))))) (/ 77617.0 (* 33096.0 2.0)))
8.840 * [regime-testing]: End program error score: 58.11993503109389