25.715 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.148 * * * [progress]: [2/2] Setting up program.
0.153 * [progress]: [Phase 2 of 3] Improving.
0.153 * [simplify]: Simplifying:
  (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0)))
0.153 * * [simplify]: Extracting # 0 : cost  0
0.153 * * [simplify]: Extracting # 1 : cost  0
0.153 * * [simplify]: Extracting # 2 : cost  0
0.154 * * [simplify]: Extracting # 3 : cost  0
0.154 * * [simplify]: Extracting # 4 : cost  0
0.154 * * [simplify]: Extracting # 5 : cost  0
0.154 * * [simplify]: Extracting # 6 : cost  0
0.154 * * [simplify]: Extracting # 7 : cost  0
0.154 * * [simplify]: Extracting # 8 : cost  0
0.154 * * [simplify]: Extracting # 9 : cost  0
0.154 * * [simplify]: Extracting # 10 : cost  0
0.154 * * [simplify]: Extracting # 11 : cost  0
0.154 * * [simplify]: Extracting # 12 : cost  0
0.154 * * [simplify]: Extracting # 13 : cost  0
0.154 * * [simplify]: Extracting # 14 : cost  0
0.154 * * [simplify]: Extracting # 15 : cost  0
0.154 * * [simplify]: iteration  0 :  31  enodes  (cost  44 )
0.164 * * [simplify]: Extracting # 0 : cost  0
0.164 * * [simplify]: Extracting # 1 : cost  0
0.164 * * [simplify]: Extracting # 2 : cost  0
0.164 * * [simplify]: Extracting # 3 : cost  0
0.165 * * [simplify]: Extracting # 4 : cost  0
0.165 * * [simplify]: Extracting # 5 : cost  0
0.165 * * [simplify]: iteration  1 :  79  enodes  (cost  43 )
0.207 * * [simplify]: Extracting # 0 : cost  0
0.208 * * [simplify]: Extracting # 1 : cost  0
0.208 * * [simplify]: Extracting # 2 : cost  0
0.209 * * [simplify]: Extracting # 3 : cost  0
0.209 * * [simplify]: Extracting # 4 : cost  0
0.210 * * [simplify]: iteration  2 :  237  enodes  (cost  43 )
0.353 * * [simplify]: Extracting # 0 : cost  0
0.354 * * [simplify]: Extracting # 1 : cost  0
0.354 * * [simplify]: Extracting # 2 : cost  0
0.355 * * [simplify]: Extracting # 3 : cost  0
0.356 * * [simplify]: Extracting # 4 : cost  0
0.356 * * [simplify]: iteration  3 :  758  enodes  (cost  43 )
1.093 * * [simplify]: Extracting # 0 : cost  0
1.098 * * [simplify]: Extracting # 1 : cost  0
1.109 * * [simplify]: Extracting # 2 : cost  0
1.113 * * [simplify]: Extracting # 3 : cost  0
1.117 * * [simplify]: Extracting # 4 : cost  0
1.123 * * [simplify]: Extracting # 5 : cost  0
1.126 * * [simplify]: iteration  4 :  2492  enodes  (cost  43 )
4.127 * * [simplify]: Extracting # 0 : cost  0
4.133 * * [simplify]: Extracting # 1 : cost  0
4.137 * * [simplify]: Extracting # 2 : cost  0
4.141 * * [simplify]: Extracting # 3 : cost  0
4.145 * * [simplify]: Extracting # 4 : cost  0
4.150 * * [simplify]: iteration done:  5000  enodes  (cost  43 )
4.150 * [simplify]: Simplified to:
  (+ (+ (* (* 77617.0 77617.0) (+ (- (* (* 11.0 (* 77617.0 77617.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))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))
4.155 * * [progress]: iteration 1 / 4
4.155 * * * [progress]: picking best candidate
4.163 * * * * [pick]: Picked  #<alt (λ () (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0))))>
4.163 * * * [progress]: localizing error
4.233 * * * [progress]: generating rewritten candidates
4.233 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
5.835 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1 1)
5.950 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
7.718 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
7.733 * * * [progress]: generating series expansions
7.733 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
7.733 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1 1)
7.733 * * * * [progress]: [ 3 / 4 ] generating series at (2)
7.733 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
7.733 * * * [progress]: simplifying candidates
7.735 * [simplify]: Simplifying:
  (* (* (exp (* 333.75 (pow 33096.0 6.0))) (exp (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0))) (/ 1 (exp (pow 33096.0 6.0))))
  (* (exp (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0))) (exp (- (pow 33096.0 6.0))))
  (log (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))))
  (exp (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))))
  (* (cbrt (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))) (cbrt (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))))
  (cbrt (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))))
  (* (* (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))) (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))))
  (sqrt (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))))
  (sqrt (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))))
  (+ (pow (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) 3) (pow (- (pow 33096.0 6.0)) 3))
  (+ (* (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0))) (- (* (- (pow 33096.0 6.0)) (- (pow 33096.0 6.0))) (* (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))))
  (- (* (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0))) (* (- (pow 33096.0 6.0)) (- (pow 33096.0 6.0))))
  (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))
  (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) 0)
  (* (* (* (exp (* 333.75 (pow 33096.0 6.0))) (exp (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0))))
  (* (* (exp (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0))))
  (* (exp (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0))))
  (log (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0))))
  (exp (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0))))
  (* (cbrt (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0)))) (cbrt (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0)))))
  (cbrt (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0))))
  (* (* (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0))) (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0)))) (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0))))
  (sqrt (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0))))
  (sqrt (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0))))
  (+ (* (+ (pow (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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)) (* 2.0 33096.0)) (* (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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.0 33096.0))
  (+ (* (- (* (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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)))) (* 2.0 33096.0)) (* (- (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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.0 33096.0))
  (+ (pow (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0)) 3))
  (+ (* (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0)) (/ 77617.0 (* 2.0 33096.0))) (* (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0)))))
  (- (* (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0)) (/ 77617.0 (* 2.0 33096.0))))
  (- (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0)))
  (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0)))
  (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.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) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0)))
  (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0)))
  (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0)))
  (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.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 (* 2.0 33096.0)))
7.738 * * [simplify]: Extracting # 0 : cost  0
7.738 * * [simplify]: Extracting # 1 : cost  0
7.738 * * [simplify]: Extracting # 2 : cost  0
7.738 * * [simplify]: Extracting # 3 : cost  0
7.738 * * [simplify]: Extracting # 4 : cost  0
7.739 * * [simplify]: Extracting # 5 : cost  0
7.739 * * [simplify]: Extracting # 6 : cost  0
7.739 * * [simplify]: Extracting # 7 : cost  0
7.739 * * [simplify]: Extracting # 8 : cost  0
7.739 * * [simplify]: Extracting # 9 : cost  0
7.740 * * [simplify]: Extracting # 10 : cost  0
7.740 * * [simplify]: Extracting # 11 : cost  0
7.740 * * [simplify]: Extracting # 12 : cost  0
7.740 * * [simplify]: Extracting # 13 : cost  0
7.740 * * [simplify]: iteration  0 :  154  enodes  (cost  2867 )
7.802 * * [simplify]: Extracting # 0 : cost  0
7.803 * * [simplify]: Extracting # 1 : cost  0
7.804 * * [simplify]: Extracting # 2 : cost  0
7.805 * * [simplify]: Extracting # 3 : cost  0
7.806 * * [simplify]: Extracting # 4 : cost  0
7.807 * * [simplify]: Extracting # 5 : cost  0
7.808 * * [simplify]: iteration  1 :  425  enodes  (cost  2655 )
7.991 * * [simplify]: Extracting # 0 : cost  0
7.993 * * [simplify]: Extracting # 1 : cost  0
7.995 * * [simplify]: Extracting # 2 : cost  0
7.997 * * [simplify]: Extracting # 3 : cost  0
7.999 * * [simplify]: Extracting # 4 : cost  0
8.001 * * [simplify]: Extracting # 5 : cost  0
8.003 * * [simplify]: iteration  2 :  1742  enodes  (cost  2531 )
8.825 * * [simplify]: Extracting # 0 : cost  0
8.839 * * [simplify]: Extracting # 1 : cost  0
8.862 * * [simplify]: Extracting # 2 : cost  0
8.875 * * [simplify]: Extracting # 3 : cost  0
8.887 * * [simplify]: Extracting # 4 : cost  0
8.893 * * [simplify]: iteration done:  5001  enodes  (cost  2527 )
8.894 * [simplify]: Simplified to:
  (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))))
  (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))))
  (log (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))))
  (exp (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))))
  (* (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0))))))
  (cbrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))))
  (pow (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) 3)
  (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))))
  (sqrt (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))))
  (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
  (+ (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (- (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 5.5 5.5) (pow 33096.0 (* 2 8.0))))
  (+ (* 333.75 (pow 33096.0 6.0)) (- (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0))))
  (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))
  (exp (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (log (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (exp (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (* (cbrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (cbrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))
  (cbrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (pow (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)) 3)
  (sqrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (sqrt (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))
  (- (pow (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) 3) (pow (pow 33096.0 6.0) 3))
  (+ (* (- (pow 33096.0 6.0)) (- (- (pow 33096.0 6.0)) (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)))) (* (* 11.0 11.0) (* (* (* 77617.0 77617.0) (* 77617.0 77617.0)) (* (pow 33096.0 3) 33096.0))))
  (- (* (* 11.0 11.0) (* (* (* 77617.0 77617.0) (* 77617.0 77617.0)) (* (pow 33096.0 3) 33096.0))) (pow 33096.0 (* 2 6.0)))
  (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))
  (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0))
  (exp (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))))
  (exp (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))))
  (exp (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))))
  (log (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))))
  (exp (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))))
  (* (cbrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0)))) (cbrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0)))))
  (cbrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))))
  (pow (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))) 3)
  (sqrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))))
  (sqrt (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0))))
  (+ (* (* (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) 2.0) 33096.0) (* (+ (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))) 77617.0))
  (* (+ (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))) (* 2.0 33096.0))
  (+ (* (* 2.0 33096.0) (- (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 5.5 5.5) (pow 33096.0 (* 2 8.0))))) (* (+ (* 333.75 (pow 33096.0 6.0)) (- (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) 77617.0))
  (* (+ (* 333.75 (pow 33096.0 6.0)) (- (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (* 2.0 33096.0))
  (+ (pow (/ 77617.0 (* 2.0 33096.0)) 3) (pow (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) 3))
  (+ (* (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0))))) (* (/ 77617.0 (* 2.0 33096.0)) (- (/ 77617.0 (* 2.0 33096.0)) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))))))
  (- (* (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0))))) (* (/ 77617.0 (* 2.0 33096.0)) (/ 77617.0 (* 2.0 33096.0))))
  (+ (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (- (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))
  (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0)))
  (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.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)))
  (* (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) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0)))
  (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0)))
  (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0)))
  (+ (+ (* 333.75 (pow 33096.0 6.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 5.5 (pow 33096.0 8.0)))) (/ 77617.0 (* 2.0 33096.0)))
8.895 * * * [progress]: adding candidates to table
9.383 * * [progress]: iteration 2 / 4
9.383 * * * [progress]: picking best candidate
9.390 * * * * [pick]: Picked  #<alt (λ () (+ (/ (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) (+ (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))) (/ 77617.0 (* 2.0 33096.0))))>
9.391 * * * [progress]: localizing error
9.439 * * * [progress]: generating rewritten candidates
9.440 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
15.551 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
17.694 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
17.710 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1)
17.739 * * * [progress]: generating series expansions
17.739 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
17.739 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
17.739 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
17.739 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1)
17.739 * * * [progress]: simplifying candidates
17.742 * [simplify]: Simplifying:
  (* (exp (pow (* 5.5 (pow 33096.0 8.0)) 3)) (exp (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (log (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (exp (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (* (cbrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))) (cbrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))))
  (cbrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (* (* (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))) (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (sqrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (sqrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (+ (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (- (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (+ (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))
  (+ (pow (pow (* 5.5 (pow 33096.0 8.0)) 3) 3) (pow (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3) 3))
  (+ (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (- (* (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))))
  (- (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (* (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (- (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
  (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
  (* (log (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) 3)
  (* (log (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) 3)
  (* 1 3)
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (* (cbrt 3) (cbrt 3)))
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (sqrt 3))
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 1)
  (pow (* (cbrt (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (cbrt (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))) 3)
  (pow (cbrt (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) 3)
  (pow (sqrt (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) 3)
  (pow (sqrt (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) 3)
  (pow 1 3)
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)
  (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))
  (log (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
  (exp (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
  (* (cbrt (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) (cbrt (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (cbrt (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
  (* (* (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
  (pow (* (cbrt (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (cbrt (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))) 3)
  (pow (cbrt (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) 3)
  (pow (sqrt (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) 3)
  (pow (sqrt (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) 3)
  (pow 1 3)
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)
  (pow (+ (pow (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) 3) (pow (* 333.75 (pow 33096.0 6.0)) 3)) 3)
  (pow (+ (* (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0))) (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))) 3)
  (pow (- (* (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0))) (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0)))) 3)
  (pow (- (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)
  (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))
  (sqrt (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
  (sqrt (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (/ 3 2))
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.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))
  (+ (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))
  (+ (/ (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) (+ (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))) (/ 77617.0 (* 2.0 33096.0)))
  (+ (/ (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) (+ (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))) (/ 77617.0 (* 2.0 33096.0)))
  (+ (/ (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) (+ (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))) (/ 77617.0 (* 2.0 33096.0)))
  (+ (/ (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) (+ (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))) (/ 77617.0 (* 2.0 33096.0)))
17.746 * * [simplify]: Extracting # 0 : cost  0
17.747 * * [simplify]: Extracting # 1 : cost  0
17.747 * * [simplify]: Extracting # 2 : cost  0
17.747 * * [simplify]: Extracting # 3 : cost  0
17.747 * * [simplify]: Extracting # 4 : cost  0
17.747 * * [simplify]: Extracting # 5 : cost  0
17.748 * * [simplify]: Extracting # 6 : cost  0
17.748 * * [simplify]: Extracting # 7 : cost  0
17.748 * * [simplify]: Extracting # 8 : cost  0
17.748 * * [simplify]: Extracting # 9 : cost  0
17.748 * * [simplify]: Extracting # 10 : cost  0
17.749 * * [simplify]: Extracting # 11 : cost  0
17.749 * * [simplify]: Extracting # 12 : cost  0
17.749 * * [simplify]: Extracting # 13 : cost  0
17.749 * * [simplify]: Extracting # 14 : cost  0
17.749 * * [simplify]: iteration  0 :  158  enodes  (cost  3335 )
17.817 * * [simplify]: Extracting # 0 : cost  0
17.818 * * [simplify]: Extracting # 1 : cost  0
17.819 * * [simplify]: Extracting # 2 : cost  0
17.820 * * [simplify]: Extracting # 3 : cost  0
17.821 * * [simplify]: Extracting # 4 : cost  0
17.822 * * [simplify]: iteration  1 :  436  enodes  (cost  3040 )
18.100 * * [simplify]: Extracting # 0 : cost  0
18.104 * * [simplify]: Extracting # 1 : cost  0
18.109 * * [simplify]: Extracting # 2 : cost  0
18.114 * * [simplify]: Extracting # 3 : cost  0
18.119 * * [simplify]: Extracting # 4 : cost  0
18.124 * * [simplify]: iteration  2 :  1968  enodes  (cost  2678 )
19.411 * * [simplify]: Extracting # 0 : cost  0
19.423 * * [simplify]: Extracting # 1 : cost  0
19.438 * * [simplify]: Extracting # 2 : cost  0
19.450 * * [simplify]: Extracting # 3 : cost  0
19.463 * * [simplify]: Extracting # 4 : cost  0
19.476 * * [simplify]: iteration done:  5000  enodes  (cost  2674 )
19.479 * [simplify]: Simplified to:
  (exp (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (log (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (exp (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (* (cbrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))) (cbrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))))
  (cbrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (pow (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) 3)
  (sqrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (sqrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (+ (pow (* (pow 33096.0 8.0) 5.5) 2) (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (- (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (* (pow 33096.0 8.0) 5.5))))
  (+ (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))
  (+ (pow (pow (* 5.5 (pow 33096.0 8.0)) 3) 3) (pow (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3) 3))
  (+ (* (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3) (- (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3) (pow (* (pow 33096.0 8.0) 5.5) 3))) (pow (* (pow 33096.0 8.0) 5.5) 6))
  (- (pow (* (pow 33096.0 8.0) 5.5) 6) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 6))
  (- (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
  (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
  (* (log (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) 3)
  (* (log (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) 3)
  3
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (* (cbrt 3) (cbrt 3)))
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (sqrt 3))
  (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 2)
  (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))
  (pow (sqrt (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) 3)
  (pow (sqrt (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) 3)
  1
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 2)
  (* (log (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) 3)
  (exp (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 2)
  (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))
  (pow (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3) 3)
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 2)
  (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))
  (pow (sqrt (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) 3)
  (pow (sqrt (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) 3)
  1
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)
  (pow (+ (pow (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) 3) (pow (* 333.75 (pow 33096.0 6.0)) 3)) 3)
  (pow (+ (* (* 333.75 (pow 33096.0 6.0)) (- (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)))) (* (* (pow 77617.0 3) 77617.0) (* (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)))) 3)
  (pow (- (* (* (pow 77617.0 3) 77617.0) (* (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0))) (* (* (pow 33096.0 (* 2 6.0)) 333.75) 333.75)) 3)
  (pow (- (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 2)
  (sqrt (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
  (sqrt (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3/2)
  (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3/2)
  (* 3 (log (* (pow 33096.0 8.0) 5.5)))
  (* 3 (log (* (pow 33096.0 8.0) 5.5)))
  (* 3 (log (* (pow 33096.0 8.0) 5.5)))
  (* 3 (log (* (pow 33096.0 8.0) 5.5)))
  (* 3 (log (* (pow 33096.0 8.0) 5.5)))
  3
  (pow (* 5.5 (pow 33096.0 8.0)) (* (cbrt 3) (cbrt 3)))
  (pow (* 5.5 (pow 33096.0 8.0)) (sqrt 3))
  (* (pow 33096.0 8.0) 5.5)
  (pow 5.5 3)
  (pow (pow 33096.0 8.0) 3)
  (pow (* (pow 33096.0 8.0) 5.5) 2)
  (* 3 (log (* (pow 33096.0 8.0) 5.5)))
  (exp (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (pow (* (pow 33096.0 8.0) 5.5) 2)
  (* (pow 33096.0 8.0) 5.5)
  (pow (pow (* (pow 33096.0 8.0) 5.5) 3) 3)
  (pow 5.5 3)
  (pow (pow 33096.0 8.0) 3)
  (pow (* (pow 33096.0 8.0) 5.5) 2)
  (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (pow (* (pow 33096.0 8.0) 5.5) 3/2)
  (pow (* (pow 33096.0 8.0) 5.5) 3/2)
  (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 (* (pow 33096.0 8.0) 5.5) 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 (* (pow 33096.0 8.0) 5.5) 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)))
  (* (cbrt 5.5) (pow 33096.0 8.0))
  (* (sqrt 5.5) (pow 33096.0 8.0))
  (* (pow 33096.0 8.0) 5.5)
  (+ (/ (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) (+ (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 2) (* (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))) (/ 77617.0 (* 2.0 33096.0)))
  (+ (/ (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) (+ (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 2) (* (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))) (/ 77617.0 (* 2.0 33096.0)))
  (+ (/ (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) (+ (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 2) (* (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))) (/ 77617.0 (* 2.0 33096.0)))
  (+ (/ (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) (+ (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 2) (* (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))) (/ 77617.0 (* 2.0 33096.0)))
19.480 * * * [progress]: adding candidates to table
20.205 * * [progress]: iteration 3 / 4
20.205 * * * [progress]: picking best candidate
20.218 * * * * [pick]: Picked  #<alt (λ () (+ (/ (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))) (+ (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))) (/ 77617.0 (* 2.0 33096.0))))>
20.218 * * * [progress]: localizing error
20.305 * * * [progress]: generating rewritten candidates
20.305 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
30.422 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
30.437 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1)
30.450 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1)
30.466 * * * [progress]: generating series expansions
30.466 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
30.466 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
30.466 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1)
30.466 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1)
30.466 * * * [progress]: simplifying candidates
30.469 * [simplify]: Simplifying:
  (* (exp (pow (* 5.5 (pow 33096.0 8.0)) 3)) (exp (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (log (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (exp (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (* (cbrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))) (cbrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))))
  (cbrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (* (* (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))) (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))) (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (sqrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (sqrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (+ (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (- (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (+ (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))
  (+ (pow (pow (* 5.5 (pow 33096.0 8.0)) 3) 3) (pow (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) 3))
  (+ (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (- (* (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))) (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))))
  (- (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (* (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (- (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))
  (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0))))
  (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (* (+ (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))
  (+ (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))
  (+ (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))
30.475 * * [simplify]: Extracting # 0 : cost  0
30.475 * * [simplify]: Extracting # 1 : cost  0
30.476 * * [simplify]: Extracting # 2 : cost  0
30.476 * * [simplify]: Extracting # 3 : cost  0
30.476 * * [simplify]: Extracting # 4 : cost  0
30.476 * * [simplify]: Extracting # 5 : cost  0
30.477 * * [simplify]: Extracting # 6 : cost  0
30.477 * * [simplify]: Extracting # 7 : cost  0
30.477 * * [simplify]: Extracting # 8 : cost  0
30.478 * * [simplify]: Extracting # 9 : cost  0
30.478 * * [simplify]: Extracting # 10 : cost  0
30.478 * * [simplify]: Extracting # 11 : cost  0
30.478 * * [simplify]: Extracting # 12 : cost  0
30.479 * * [simplify]: Extracting # 13 : cost  0
30.479 * * [simplify]: iteration  0 :  122  enodes  (cost  2837 )
30.532 * * [simplify]: Extracting # 0 : cost  0
30.532 * * [simplify]: Extracting # 1 : cost  0
30.532 * * [simplify]: Extracting # 2 : cost  0
30.533 * * [simplify]: Extracting # 3 : cost  0
30.533 * * [simplify]: Extracting # 4 : cost  0
30.533 * * [simplify]: iteration  1 :  316  enodes  (cost  2592 )
30.733 * * [simplify]: Extracting # 0 : cost  0
30.735 * * [simplify]: Extracting # 1 : cost  0
30.738 * * [simplify]: Extracting # 2 : cost  0
30.742 * * [simplify]: Extracting # 3 : cost  0
30.745 * * [simplify]: Extracting # 4 : cost  0
30.748 * * [simplify]: iteration  2 :  1469  enodes  (cost  1446 )
31.445 * * [simplify]: Extracting # 0 : cost  0
31.450 * * [simplify]: Extracting # 1 : cost  0
31.457 * * [simplify]: Extracting # 2 : cost  0
31.471 * * [simplify]: Extracting # 3 : cost  0
31.477 * * [simplify]: Extracting # 4 : cost  0
31.484 * * [simplify]: iteration done:  5000  enodes  (cost  1414 )
31.484 * [simplify]: Simplified to:
  (exp (+ (pow (* (pow 33096.0 8.0) 5.5) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (log (+ (pow (* (pow 33096.0 8.0) 5.5) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (exp (+ (pow (* (pow 33096.0 8.0) 5.5) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (* (cbrt (+ (pow (* (pow 33096.0 8.0) 5.5) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))) (cbrt (+ (pow (* (pow 33096.0 8.0) 5.5) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))))
  (cbrt (+ (pow (* (pow 33096.0 8.0) 5.5) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (pow (+ (pow (* (pow 33096.0 8.0) 5.5) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) 3)
  (sqrt (+ (pow (* (pow 33096.0 8.0) 5.5) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (sqrt (+ (pow (* (pow 33096.0 8.0) 5.5) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (+ (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (- (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (* (pow 33096.0 8.0) 5.5))) (pow (* (pow 33096.0 8.0) 5.5) 2))
  (+ (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))
  (+ (pow (pow (* (pow 33096.0 8.0) 5.5) 3) 3) (pow (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3) 3))
  (+ (* (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3) (- (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3) (pow (* (pow 33096.0 8.0) 5.5) 3))) (pow (* (pow 33096.0 8.0) 5.5) 6))
  (- (pow (* (pow 33096.0 8.0) 5.5) 6) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 6))
  (- (pow (* (pow 33096.0 8.0) 5.5) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
  (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0))))
  (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.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 (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))
  (* (pow 33096.0 8.0) 5.5)
  (pow 5.5 3)
  (pow (pow 33096.0 8.0) 3)
  (pow (* (pow 33096.0 8.0) 5.5) 2)
  (* 3 (log (* 5.5 (pow 33096.0 8.0))))
  (exp (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (pow (* (pow 33096.0 8.0) 5.5) 2)
  (* (pow 33096.0 8.0) 5.5)
  (pow (pow (* (pow 33096.0 8.0) 5.5) 3) 3)
  (pow 5.5 3)
  (pow (pow 33096.0 8.0) 3)
  (pow (* (pow 33096.0 8.0) 5.5) 2)
  (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (sqrt (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (pow (* (pow 33096.0 8.0) 5.5) 3/2)
  (pow (* (pow 33096.0 8.0) 5.5) 3/2)
  (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 (* (pow 33096.0 8.0) 5.5) 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 (* (pow 33096.0 8.0) 5.5) 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)))
  (* (cbrt 5.5) (pow 33096.0 8.0))
  (* (sqrt 5.5) (pow 33096.0 8.0))
  (* (pow 33096.0 8.0) 5.5)
  (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 (* (pow 33096.0 8.0) 5.5) 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 (* (pow 33096.0 8.0) 5.5) 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)))
  (* (cbrt 5.5) (pow 33096.0 8.0))
  (* (sqrt 5.5) (pow 33096.0 8.0))
  (* (pow 33096.0 8.0) 5.5)
31.486 * * * [progress]: adding candidates to table
32.141 * * [progress]: iteration 4 / 4
32.141 * * * [progress]: picking best candidate
32.150 * * * * [pick]: Picked  #<alt (λ () (+ (/ (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))) (+ (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* (* 5.5 (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0)) (pow (cbrt 33096.0) 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))) (/ 77617.0 (* 2.0 33096.0))))>
32.150 * * * [progress]: localizing error
32.225 * * * [progress]: generating rewritten candidates
32.226 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
42.527 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1 2)
42.531 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
42.539 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1 1 2)
42.550 * * * [progress]: generating series expansions
42.550 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
42.550 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1 2)
42.550 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
42.550 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1 1 2)
42.550 * * * [progress]: simplifying candidates
42.552 * [simplify]: Simplifying:
  (* (exp (pow (* 5.5 (pow 33096.0 8.0)) 3)) (exp (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (log (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (exp (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (* (cbrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))) (cbrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))))
  (cbrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (* (* (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))) (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))) (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (sqrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (sqrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (+ (* (* 5.5 (pow 33096.0 8.0)) (* 5.5 (pow 33096.0 8.0))) (- (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (+ (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))
  (+ (pow (pow (* 5.5 (pow 33096.0 8.0)) 3) 3) (pow (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) 3))
  (+ (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (- (* (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))) (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))))
  (- (* (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (* (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (- (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))
  (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0))))
  (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))
  (* (log (cbrt 33096.0)) 8.0)
  (* (log (cbrt 33096.0)) 8.0)
  (* 1/3 8.0)
  (* 1 8.0)
  (pow (cbrt 33096.0) (* (cbrt 8.0) (cbrt 8.0)))
  (pow (cbrt 33096.0) (sqrt 8.0))
  (pow (cbrt 33096.0) 1)
  (pow (cbrt (* (cbrt 33096.0) (cbrt 33096.0))) 8.0)
  (pow (cbrt (cbrt 33096.0)) 8.0)
  (pow (cbrt (sqrt 33096.0)) 8.0)
  (pow (cbrt (sqrt 33096.0)) 8.0)
  (pow (cbrt 1) 8.0)
  (pow (cbrt 33096.0) 8.0)
  (pow (* (cbrt (cbrt 33096.0)) (cbrt (cbrt 33096.0))) 8.0)
  (pow (cbrt (cbrt 33096.0)) 8.0)
  (pow (sqrt (cbrt 33096.0)) 8.0)
  (pow (sqrt (cbrt 33096.0)) 8.0)
  (pow 1 8.0)
  (pow (cbrt 33096.0) 8.0)
  (log (pow (cbrt 33096.0) 8.0))
  (exp (pow (cbrt 33096.0) 8.0))
  (* (cbrt (pow (cbrt 33096.0) 8.0)) (cbrt (pow (cbrt 33096.0) 8.0)))
  (cbrt (pow (cbrt 33096.0) 8.0))
  (* (* (pow (cbrt 33096.0) 8.0) (pow (cbrt 33096.0) 8.0)) (pow (cbrt 33096.0) 8.0))
  (sqrt (pow (cbrt 33096.0) 8.0))
  (sqrt (pow (cbrt 33096.0) 8.0))
  (pow (cbrt 33096.0) (/ 8.0 2))
  (pow (cbrt 33096.0) (/ 8.0 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))
  (* (+ (log (cbrt 33096.0)) (log (cbrt 33096.0))) 8.0)
  (* (log (* (cbrt 33096.0) (cbrt 33096.0))) 8.0)
  (* (log (* (cbrt 33096.0) (cbrt 33096.0))) 8.0)
  (* (+ 1/3 1/3) 8.0)
  (* (+ 1 1) 8.0)
  (* 1/3 8.0)
  (* 1 8.0)
  (* 2 8.0)
  (* (+ 1 1) 8.0)
  (* 1 8.0)
  (* (* 2 1/3) 8.0)
  (* (* 2 1) 8.0)
  (pow (* (cbrt 33096.0) (cbrt 33096.0)) (* (cbrt 8.0) (cbrt 8.0)))
  (pow (* (cbrt 33096.0) (cbrt 33096.0)) (sqrt 8.0))
  (pow (* (cbrt 33096.0) (cbrt 33096.0)) 1)
  (pow (cbrt 33096.0) 8.0)
  (pow (cbrt 33096.0) 8.0)
  (log (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0))
  (exp (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0))
  (* (cbrt (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0)) (cbrt (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0)))
  (cbrt (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0))
  (* (* (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0) (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0)) (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0))
  (sqrt (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0))
  (sqrt (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0))
  (pow (* (cbrt 33096.0) (cbrt 33096.0)) (/ 8.0 2))
  (pow (* (cbrt 33096.0) (cbrt 33096.0)) (/ 8.0 2))
  (* 5.5 (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0))
  (* 5.5 (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0))
  (* 5.5 (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0))
  (* 5.5 (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0))
42.555 * * [simplify]: Extracting # 0 : cost  0
42.555 * * [simplify]: Extracting # 1 : cost  0
42.555 * * [simplify]: Extracting # 2 : cost  0
42.555 * * [simplify]: Extracting # 3 : cost  0
42.555 * * [simplify]: Extracting # 4 : cost  0
42.556 * * [simplify]: Extracting # 5 : cost  0
42.556 * * [simplify]: Extracting # 6 : cost  0
42.556 * * [simplify]: Extracting # 7 : cost  0
42.556 * * [simplify]: Extracting # 8 : cost  0
42.556 * * [simplify]: Extracting # 9 : cost  0
42.556 * * [simplify]: Extracting # 10 : cost  0
42.557 * * [simplify]: Extracting # 11 : cost  0
42.557 * * [simplify]: Extracting # 12 : cost  0
42.557 * * [simplify]: Extracting # 13 : cost  0
42.557 * * [simplify]: iteration  0 :  150  enodes  (cost  2812 )
42.630 * * [simplify]: Extracting # 0 : cost  0
42.631 * * [simplify]: Extracting # 1 : cost  0
42.631 * * [simplify]: Extracting # 2 : cost  0
42.632 * * [simplify]: Extracting # 3 : cost  0
42.633 * * [simplify]: Extracting # 4 : cost  0
42.634 * * [simplify]: iteration  1 :  370  enodes  (cost  2594 )
42.819 * * [simplify]: Extracting # 0 : cost  0
42.820 * * [simplify]: Extracting # 1 : cost  0
42.822 * * [simplify]: Extracting # 2 : cost  0
42.824 * * [simplify]: Extracting # 3 : cost  0
42.825 * * [simplify]: Extracting # 4 : cost  0
42.829 * * [simplify]: Extracting # 5 : cost  0
42.832 * * [simplify]: iteration  2 :  1452  enodes  (cost  1410 )
43.622 * * [simplify]: Extracting # 0 : cost  0
43.627 * * [simplify]: Extracting # 1 : cost  0
43.636 * * [simplify]: Extracting # 2 : cost  0
43.658 * * [simplify]: Extracting # 3 : cost  0
43.666 * * [simplify]: Extracting # 4 : cost  0
43.673 * * [simplify]: iteration done:  5000  enodes  (cost  1378 )
43.674 * [simplify]: Simplified to:
  (exp (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (log (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (exp (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (* (cbrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))) (cbrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))))
  (cbrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (pow (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) 3)
  (sqrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (sqrt (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)))
  (+ (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (- (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (* 5.5 (pow 33096.0 8.0)))) (pow (* 5.5 (pow 33096.0 8.0)) 2))
  (+ (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))
  (+ (pow (pow (* 5.5 (pow 33096.0 8.0)) 3) 3) (pow (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3) 3))
  (+ (* (- (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3) (pow (* 5.5 (pow 33096.0 8.0)) 3)) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)) (pow (* 5.5 (pow 33096.0 8.0)) 6))
  (- (pow (* 5.5 (pow 33096.0 8.0)) 6) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 6))
  (- (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
  (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0))))
  (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0))))
  (* (log (cbrt 33096.0)) 8.0)
  (* (log (cbrt 33096.0)) 8.0)
  (* 1/3 8.0)
  8.0
  (pow (cbrt 33096.0) (* (cbrt 8.0) (cbrt 8.0)))
  (pow (cbrt 33096.0) (sqrt 8.0))
  (cbrt 33096.0)
  (pow (cbrt (pow (cbrt 33096.0) 2)) 8.0)
  (pow (cbrt (cbrt 33096.0)) 8.0)
  (pow (cbrt (sqrt 33096.0)) 8.0)
  (pow (cbrt (sqrt 33096.0)) 8.0)
  1
  (pow (cbrt 33096.0) 8.0)
  (pow (* (cbrt (cbrt 33096.0)) (cbrt (cbrt 33096.0))) 8.0)
  (pow (cbrt (cbrt 33096.0)) 8.0)
  (pow (sqrt (cbrt 33096.0)) 8.0)
  (pow (sqrt (cbrt 33096.0)) 8.0)
  1
  (pow (cbrt 33096.0) 8.0)
  (* (log (cbrt 33096.0)) 8.0)
  (exp (pow (cbrt 33096.0) 8.0))
  (* (cbrt (pow (cbrt 33096.0) 8.0)) (cbrt (pow (cbrt 33096.0) 8.0)))
  (cbrt (pow (cbrt 33096.0) 8.0))
  (pow (pow (cbrt 33096.0) 8.0) 3)
  (sqrt (pow (cbrt 33096.0) 8.0))
  (sqrt (pow (cbrt 33096.0) 8.0))
  (pow (cbrt 33096.0) (/ 8.0 2))
  (pow (cbrt 33096.0) (/ 8.0 2))
  (log (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (log (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (log (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (log (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (log (pow (* 5.5 (pow 33096.0 8.0)) 3))
  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)
  (log (pow (* 5.5 (pow 33096.0 8.0)) 3))
  (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)
  (* (* 2 (log (cbrt 33096.0))) 8.0)
  (* (* 2 (log (cbrt 33096.0))) 8.0)
  (* (* 2 (log (cbrt 33096.0))) 8.0)
  (* 8.0 2/3)
  (* 2 8.0)
  (* 1/3 8.0)
  8.0
  (* 2 8.0)
  (* 2 8.0)
  8.0
  (* 8.0 2/3)
  (* 2 8.0)
  (pow (pow (cbrt 33096.0) 2) (* (cbrt 8.0) (cbrt 8.0)))
  (pow (pow (cbrt 33096.0) 2) (sqrt 8.0))
  (pow (cbrt 33096.0) 2)
  (pow (cbrt 33096.0) 8.0)
  (pow (cbrt 33096.0) 8.0)
  (* (* 2 (log (cbrt 33096.0))) 8.0)
  (exp (pow (pow (cbrt 33096.0) 2) 8.0))
  (* (cbrt (pow (pow (cbrt 33096.0) 2) 8.0)) (cbrt (pow (pow (cbrt 33096.0) 2) 8.0)))
  (cbrt (pow (pow (cbrt 33096.0) 2) 8.0))
  (pow (pow (pow (cbrt 33096.0) 2) 8.0) 3)
  (sqrt (pow (pow (cbrt 33096.0) 2) 8.0))
  (sqrt (pow (pow (cbrt 33096.0) 2) 8.0))
  (pow (pow (cbrt 33096.0) 2) (/ 8.0 2))
  (pow (pow (cbrt 33096.0) 2) (/ 8.0 2))
  (* (pow (pow (cbrt 33096.0) 2) 8.0) 5.5)
  (* (pow (pow (cbrt 33096.0) 2) 8.0) 5.5)
  (* (pow (pow (cbrt 33096.0) 2) 8.0) 5.5)
  (* (pow (pow (cbrt 33096.0) 2) 8.0) 5.5)
43.675 * * * [progress]: adding candidates to table
44.454 * [progress]: [Phase 3 of 3] Extracting.
44.468 * [simplify]: Simplifying:
  (+ (/ (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))) (+ (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* (* 5.5 (pow (pow (pow (cbrt 33096.0) 2) (sqrt 8.0)) (sqrt 8.0))) (pow (cbrt 33096.0) 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))) (/ 77617.0 (* 2.0 33096.0)))
44.469 * * [simplify]: Extracting # 0 : cost  0
44.469 * * [simplify]: Extracting # 1 : cost  0
44.469 * * [simplify]: Extracting # 2 : cost  0
44.469 * * [simplify]: Extracting # 3 : cost  0
44.469 * * [simplify]: Extracting # 4 : cost  0
44.469 * * [simplify]: Extracting # 5 : cost  0
44.469 * * [simplify]: Extracting # 6 : cost  0
44.469 * * [simplify]: Extracting # 7 : cost  0
44.469 * * [simplify]: Extracting # 8 : cost  0
44.469 * * [simplify]: Extracting # 9 : cost  0
44.469 * * [simplify]: Extracting # 10 : cost  0
44.470 * * [simplify]: Extracting # 11 : cost  0
44.470 * * [simplify]: Extracting # 12 : cost  0
44.470 * * [simplify]: Extracting # 13 : cost  0
44.470 * * [simplify]: Extracting # 14 : cost  0
44.470 * * [simplify]: Extracting # 15 : cost  0
44.470 * * [simplify]: Extracting # 16 : cost  0
44.470 * * [simplify]: Extracting # 17 : cost  0
44.470 * * [simplify]: Extracting # 18 : cost  0
44.471 * * [simplify]: iteration  0 :  47  enodes  (cost  229 )
44.478 * * [simplify]: Extracting # 0 : cost  0
44.479 * * [simplify]: iteration  1 :  64  enodes  (cost  229 )
44.488 * * [simplify]: Extracting # 0 : cost  0
44.488 * * [simplify]: iteration done:  64  enodes  (cost  229 )
44.488 * [simplify]: Simplified to:
  (+ (/ (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))) (+ (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* (* 5.5 (pow (pow (pow (cbrt 33096.0) 2) (sqrt 8.0)) (sqrt 8.0))) (pow (cbrt 33096.0) 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))))))) (/ 77617.0 (* 2.0 33096.0)))
49.287 * [regime-testing]: Baseline error score: 58.11993503109389
49.289 * [regime-testing]: Oracle error score: 58.11993503109389
49.289 * [regime-testing]: End program error score: 58.11993503109389