23.060 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.046 * * * [progress]: [2/2] Setting up program.
0.050 * [progress]: [Phase 2 of 3] Improving.
0.050 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))
0.053 * * [simplify]: iteration  0 :  69  enodes  (cost  42 )
0.055 * * [simplify]: iteration  1 :  231  enodes  (cost  42 )
0.060 * * [simplify]: iteration  2 :  900  enodes  (cost  42 )
0.085 * * [simplify]: iteration  3 :  3753  enodes  (cost  42 )
0.157 * * [simplify]: iteration  4 :  5001  enodes  (cost  42 )
0.158 * [simplify]: Simplified to:
   (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))
0.158 * * [progress]: iteration 1 / 4
0.158 * * * [progress]: picking best candidate
0.162 * * * * [pick]: Picked  #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))>
0.162 * * * [progress]: localizing error
0.193 * * * [progress]: generating rewritten candidates
0.193 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
0.194 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
5.103 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2)
5.130 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2)
5.464 * * * [progress]: generating series expansions
5.464 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
5.464 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
5.465 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in (x) around 0
5.465 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x
5.465 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x
5.465 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x
5.465 * [taylor]: Taking taylor expansion of (fabs x) in x
5.465 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x
5.465 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x
5.465 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x
5.465 * [taylor]: Taking taylor expansion of (fabs x) in x
5.488 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in (x) around 0
5.488 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x
5.488 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x
5.488 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x
5.488 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
5.488 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x
5.488 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x
5.488 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x
5.488 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
5.511 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in (x) around 0
5.512 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x
5.512 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x
5.512 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x
5.512 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
5.512 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x
5.512 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x
5.512 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x
5.512 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
5.540 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2)
5.540 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0
5.540 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x
5.540 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
5.540 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
5.540 * [taylor]: Taking taylor expansion of (fabs x) in x
5.540 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x
5.540 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
5.540 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
5.540 * [taylor]: Taking taylor expansion of (fabs x) in x
5.554 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0
5.554 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x
5.554 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
5.554 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
5.554 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
5.555 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x
5.555 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
5.555 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
5.555 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
5.569 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0
5.569 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x
5.569 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
5.569 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
5.569 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
5.569 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x
5.569 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
5.569 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
5.569 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
5.583 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2)
5.584 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0
5.584 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x
5.584 * [taylor]: Taking taylor expansion of 0.2 in x
5.584 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x
5.584 * [taylor]: Taking taylor expansion of (fabs x) in x
5.584 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x
5.584 * [taylor]: Taking taylor expansion of 0.2 in x
5.584 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x
5.584 * [taylor]: Taking taylor expansion of (fabs x) in x
5.603 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0
5.603 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x
5.603 * [taylor]: Taking taylor expansion of 0.2 in x
5.603 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x
5.603 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
5.603 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x
5.603 * [taylor]: Taking taylor expansion of 0.2 in x
5.603 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x
5.603 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
5.625 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0
5.626 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x
5.626 * [taylor]: Taking taylor expansion of 0.2 in x
5.626 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x
5.626 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
5.626 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x
5.626 * [taylor]: Taking taylor expansion of 0.2 in x
5.626 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x
5.626 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
5.645 * * * [progress]: simplifying candidates
5.648 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (* (sqrt PI) (sqrt PI)) (sqrt PI))
  (sqrt (* (cbrt PI) (cbrt PI)))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (sqrt 1)
  (sqrt PI)
  (/ 1 2)
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (+ (- (log 1.0) (log 21.0)) (+ (+ (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 21.0)) (+ (+ (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 21.0)) (+ (+ (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 21.0)) (+ (+ (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 21.0)) (+ (+ (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 21.0)) (+ (log (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 21.0)) (log (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (+ (log (/ 1.0 21.0)) (+ (+ (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 21.0)) (+ (+ (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 21.0)) (+ (+ (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 21.0)) (+ (+ (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 21.0)) (+ (+ (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 21.0)) (+ (log (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 21.0)) (log (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (log (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (exp (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0)) (* (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (cbrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
  (cbrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (/ 1.0 21.0) (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (cbrt (/ 1.0 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (sqrt (/ 1.0 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) (cbrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) (sqrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) (cbrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) (sqrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 (cbrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 (sqrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* 1.0 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))))
  (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x))))
  (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x))))
  (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x))))
  (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x))))
  (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))
  (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ 2.0 3.0) (* (fabs x) (fabs x)))
  (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* 2.0 (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (log (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (exp (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
  (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (/ 1.0 5.0) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)))
  (* (cbrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (sqrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* 1.0 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))
  (* 0.047619047619047616 (pow (fabs x) 7))
  (* 0.047619047619047616 (pow (fabs x) 7))
  (* 0.047619047619047616 (pow (fabs x) 7))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
5.659 * * [simplify]: iteration  0 :  948  enodes  (cost  2073 )
5.674 * * [simplify]: iteration  1 :  3993  enodes  (cost  1269 )
5.733 * * [simplify]: iteration  2 :  5001  enodes  (cost  1096 )
5.738 * [simplify]: Simplified to:
   (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (sqrt PI) PI)
  (fabs (cbrt PI))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (sqrt 1)
  (sqrt PI)
  1/2
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (* (* (/ 1.0 21.0) (pow (fabs x) 6)) (fabs x))
  (* (* (/ 1.0 21.0) (pow (fabs x) 6)) (fabs x))
  (* (* (/ 1.0 21.0) (pow (fabs x) 6)) (fabs x))
  (* (* (/ 1.0 21.0) (pow (fabs x) 6)) (fabs x))
  (* (* (/ 1.0 21.0) (pow (fabs x) 6)) (fabs x))
  (* (* (/ 1.0 21.0) (pow (fabs x) 6)) (fabs x))
  (* (* (/ 1.0 21.0) (pow (fabs x) 6)) (fabs x))
  (- (log (* (pow (fabs x) 6) 1.0)) (log (/ 21.0 (fabs x))))
  (- (log (* (pow (fabs x) 6) 1.0)) (log (/ 21.0 (fabs x))))
  (- (log (* (pow (fabs x) 6) 1.0)) (log (/ 21.0 (fabs x))))
  (- (log (* (pow (fabs x) 6) 1.0)) (log (/ 21.0 (fabs x))))
  (- (log (* (pow (fabs x) 6) 1.0)) (log (/ 21.0 (fabs x))))
  (- (log (* (pow (fabs x) 6) 1.0)) (log (/ 21.0 (fabs x))))
  (- (log (* (pow (fabs x) 6) 1.0)) (log (/ 21.0 (fabs x))))
  (- (log (* (pow (fabs x) 6) 1.0)) (log (/ 21.0 (fabs x))))
  (- (log (* (pow (fabs x) 6) 1.0)) (log (/ 21.0 (fabs x))))
  (- (log (* (pow (fabs x) 6) 1.0)) (log (/ 21.0 (fabs x))))
  (- (log (* (pow (fabs x) 6) 1.0)) (log (/ 21.0 (fabs x))))
  (- (log (* (pow (fabs x) 6) 1.0)) (log (/ 21.0 (fabs x))))
  (- (log (* (pow (fabs x) 6) 1.0)) (log (/ 21.0 (fabs x))))
  (- (log (* (pow (fabs x) 6) 1.0)) (log (/ 21.0 (fabs x))))
  (- (log (* (pow (fabs x) 6) 1.0)) (log (/ 21.0 (fabs x))))
  (pow (exp (* (/ 1.0 21.0) (fabs x))) (pow (fabs x) 6))
  (/ (pow (pow (fabs x) 7) 3) (pow (/ 21.0 1.0) 3))
  (/ (pow (pow (fabs x) 7) 3) (pow (/ 21.0 1.0) 3))
  (/ (pow (pow (fabs x) 7) 3) (pow (/ 21.0 1.0) 3))
  (/ (pow (pow (fabs x) 7) 3) (pow (/ 21.0 1.0) 3))
  (/ (pow (pow (fabs x) 7) 3) (pow (/ 21.0 1.0) 3))
  (/ (pow (pow (fabs x) 7) 3) (pow (/ 21.0 1.0) 3))
  (/ (pow (pow (fabs x) 7) 3) (pow (/ 21.0 1.0) 3))
  (/ (pow (pow (fabs x) 7) 3) (pow (/ 21.0 1.0) 3))
  (/ (pow (pow (fabs x) 7) 3) (pow (/ 21.0 1.0) 3))
  (/ (pow (pow (fabs x) 7) 3) (pow (/ 21.0 1.0) 3))
  (/ (pow (pow (fabs x) 7) 3) (pow (/ 21.0 1.0) 3))
  (/ (pow (pow (fabs x) 7) 3) (pow (/ 21.0 1.0) 3))
  (/ (pow (pow (fabs x) 7) 3) (pow (/ 21.0 1.0) 3))
  (/ (pow (pow (fabs x) 7) 3) (pow (/ 21.0 1.0) 3))
  (* (cbrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
  (cbrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (/ (pow (pow (fabs x) 7) 3) (pow (/ 21.0 1.0) 3))
  (sqrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (/ 1.0 21.0) (pow (fabs x) 6))
  (* (* (cbrt (/ 1.0 21.0)) (pow (fabs x) 6)) (fabs x))
  (* (* (sqrt (/ 1.0 21.0)) (pow (fabs x) 6)) (fabs x))
  (* (* (/ (cbrt 1.0) (cbrt 21.0)) (pow (fabs x) 6)) (fabs x))
  (* (* (/ (cbrt 1.0) (sqrt 21.0)) (pow (fabs x) 6)) (fabs x))
  (* (* (/ (cbrt 1.0) 21.0) (pow (fabs x) 6)) (fabs x))
  (* (* (/ (sqrt 1.0) (cbrt 21.0)) (pow (fabs x) 6)) (fabs x))
  (* (* (/ (sqrt 1.0) (sqrt 21.0)) (pow (fabs x) 6)) (fabs x))
  (* (* (/ (sqrt 1.0) 21.0) (pow (fabs x) 6)) (fabs x))
  (* (* (/ 1.0 (cbrt 21.0)) (pow (fabs x) 6)) (fabs x))
  (* (* (/ 1.0 (sqrt 21.0)) (pow (fabs x) 6)) (fabs x))
  (* (* (/ 1.0 21.0) (pow (fabs x) 6)) (fabs x))
  (* (* (/ 1.0 21.0) (pow (fabs x) 6)) (fabs x))
  (/ (* (fabs x) (pow (fabs x) 6)) 21.0)
  (* (* 1.0 (pow (fabs x) 6)) (fabs x))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (pow (exp (/ 2.0 3.0)) (pow (fabs x) 3))
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))
  (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ 2.0 3.0) (* (fabs x) (fabs x)))
  (* (pow (fabs x) 3) (cbrt (/ 2.0 3.0)))
  (* (pow (fabs x) 3) (sqrt (/ 2.0 3.0)))
  (/ (* (cbrt 2.0) (pow (fabs x) 3)) (cbrt 3.0))
  (/ (* (cbrt 2.0) (pow (fabs x) 3)) (sqrt 3.0))
  (/ (* (cbrt 2.0) (pow (fabs x) 3)) 3.0)
  (/ (* (sqrt 2.0) (pow (fabs x) 3)) (cbrt 3.0))
  (/ (* (sqrt 2.0) (pow (fabs x) 3)) (sqrt 3.0))
  (/ (* (sqrt 2.0) (pow (fabs x) 3)) 3.0)
  (* (pow (fabs x) 3) (/ 2.0 (cbrt 3.0)))
  (* (pow (fabs x) 3) (/ 2.0 (sqrt 3.0)))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (/ (pow (fabs x) 3) 3.0)
  (* (pow (fabs x) 3) 2.0)
  (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (pow (exp (* (/ 1.0 5.0) (fabs x))) (pow (fabs x) 4))
  (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3))
  (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3))
  (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3))
  (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3))
  (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3))
  (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3))
  (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3))
  (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3))
  (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3))
  (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3))
  (* (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
  (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (/ 1.0 5.0) (pow (fabs x) 4))
  (* (* (cbrt (/ 1.0 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (sqrt (/ 1.0 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (cbrt 1.0) (cbrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (cbrt 1.0) (sqrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (cbrt 1.0) 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (sqrt 1.0) (cbrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (sqrt 1.0) (sqrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (sqrt 1.0) 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 (cbrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 (sqrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x))
  (/ (* (fabs x) (pow (fabs x) 4)) 5.0)
  (* (* 1.0 (pow (fabs x) 4)) (fabs x))
  (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))
  (* 0.047619047619047616 (pow (fabs x) 7))
  (* 0.047619047619047616 (pow (fabs x) 7))
  (* 0.047619047619047616 (pow (fabs x) 7))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
5.739 * * * [progress]: adding candidates to table
6.223 * * [progress]: iteration 2 / 4
6.223 * * * [progress]: picking best candidate
6.241 * * * * [pick]: Picked  #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 1.0 (/ (* (fabs x) (pow (fabs x) 6)) 21.0))))))>
6.241 * * * [progress]: localizing error
6.273 * * * [progress]: generating rewritten candidates
6.273 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
6.274 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2)
6.300 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
6.625 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1 1)
6.639 * * * [progress]: generating series expansions
6.639 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
6.639 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2)
6.640 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0
6.640 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x
6.640 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
6.640 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
6.640 * [taylor]: Taking taylor expansion of (fabs x) in x
6.640 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x
6.640 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
6.640 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
6.640 * [taylor]: Taking taylor expansion of (fabs x) in x
6.654 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0
6.654 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x
6.654 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
6.654 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
6.654 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
6.654 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x
6.654 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
6.654 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
6.655 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
6.674 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0
6.674 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x
6.674 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
6.674 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
6.674 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
6.674 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x
6.674 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
6.674 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
6.674 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
6.688 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2)
6.689 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0
6.689 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x
6.689 * [taylor]: Taking taylor expansion of 0.2 in x
6.689 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x
6.689 * [taylor]: Taking taylor expansion of (fabs x) in x
6.689 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x
6.689 * [taylor]: Taking taylor expansion of 0.2 in x
6.689 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x
6.689 * [taylor]: Taking taylor expansion of (fabs x) in x
6.707 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0
6.707 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x
6.707 * [taylor]: Taking taylor expansion of 0.2 in x
6.707 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x
6.707 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
6.707 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x
6.707 * [taylor]: Taking taylor expansion of 0.2 in x
6.707 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x
6.707 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
6.727 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0
6.727 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x
6.727 * [taylor]: Taking taylor expansion of 0.2 in x
6.727 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x
6.727 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
6.727 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x
6.727 * [taylor]: Taking taylor expansion of 0.2 in x
6.727 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x
6.727 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
6.746 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1 1)
6.746 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0
6.746 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
6.746 * [taylor]: Taking taylor expansion of (fabs x) in x
6.746 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
6.746 * [taylor]: Taking taylor expansion of (fabs x) in x
6.757 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0
6.757 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
6.757 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
6.757 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
6.757 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
6.766 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0
6.766 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
6.766 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
6.766 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
6.766 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
6.775 * * * [progress]: simplifying candidates
6.777 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (* (sqrt PI) (sqrt PI)) (sqrt PI))
  (sqrt (* (cbrt PI) (cbrt PI)))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (sqrt 1)
  (sqrt PI)
  (/ 1 2)
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))))
  (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x))))
  (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x))))
  (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x))))
  (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x))))
  (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))
  (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ 2.0 3.0) (* (fabs x) (fabs x)))
  (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* 2.0 (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (log (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (exp (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
  (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (/ 1.0 5.0) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)))
  (* (cbrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (sqrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* 1.0 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (* (* (fabs x) (fabs x)) (fabs x))
  (* (* (fabs x) (fabs x)) (fabs x))
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))
  (+ (log (* (fabs x) (fabs x))) (log (fabs x)))
  (log (* (* (fabs x) (fabs x)) (fabs x)))
  (exp (* (* (fabs x) (fabs x)) (fabs x)))
  (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))))
  (cbrt (* (* (fabs x) (fabs x)) (fabs x)))
  (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))
  (sqrt (* (* (fabs x) (fabs x)) (fabs x)))
  (sqrt (* (* (fabs x) (fabs x)) (fabs x)))
  (* (fabs x) (sqrt (fabs x)))
  (* (fabs x) (sqrt (fabs x)))
  (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (* (* (fabs x) (fabs x)) (sqrt (fabs x)))
  (* (* (fabs x) (fabs x)) 1)
  (* (fabs x) (fabs x))
  (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 1.0 (/ (* (fabs x) (pow (fabs x) 6)) 21.0)))))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (pow (fabs x) 3)
  (pow (fabs x) 3)
  (pow (fabs x) 3)
6.785 * * [simplify]: iteration  0 :  631  enodes  (cost  1123 )
6.796 * * [simplify]: iteration  1 :  2655  enodes  (cost  743 )
6.839 * * [simplify]: iteration  2 :  5001  enodes  (cost  711 )
6.843 * [simplify]: Simplified to:
   (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (sqrt PI) PI)
  (fabs (cbrt PI))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  1
  (sqrt PI)
  1/2
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (pow (exp (/ 2.0 3.0)) (pow (fabs x) 3))
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))
  (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ 2.0 3.0) (* (fabs x) (fabs x)))
  (* (pow (fabs x) 3) (cbrt (/ 2.0 3.0)))
  (* (pow (fabs x) 3) (sqrt (/ 2.0 3.0)))
  (/ (* (cbrt 2.0) (pow (fabs x) 3)) (cbrt 3.0))
  (/ (* (cbrt 2.0) (pow (fabs x) 3)) (sqrt 3.0))
  (/ (* (cbrt 2.0) (pow (fabs x) 3)) 3.0)
  (/ (* (sqrt 2.0) (pow (fabs x) 3)) (cbrt 3.0))
  (/ (* (sqrt 2.0) (pow (fabs x) 3)) (sqrt 3.0))
  (/ (* (sqrt 2.0) (pow (fabs x) 3)) 3.0)
  (* (pow (fabs x) 3) (/ 2.0 (cbrt 3.0)))
  (* (pow (fabs x) 3) (/ 2.0 (sqrt 3.0)))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (/ (pow (fabs x) 3) 3.0)
  (* (pow (fabs x) 3) 2.0)
  (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5))
  (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5))
  (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5))
  (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5))
  (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (pow (exp (* (/ 1.0 5.0) (fabs x))) (pow (fabs x) 4))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
  (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (/ 1.0 5.0) (pow (fabs x) 4))
  (* (* (cbrt (/ 1.0 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (sqrt (/ 1.0 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (cbrt 1.0) (cbrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (cbrt 1.0) (sqrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (cbrt 1.0) 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (sqrt 1.0) (cbrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (sqrt 1.0) (sqrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (sqrt 1.0) 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 (cbrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 (sqrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5))
  (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5))
  (/ (* (pow (fabs x) 4) (fabs x)) 5.0)
  (* (* 1.0 (pow (fabs x) 4)) (fabs x))
  3
  3
  3
  3
  (pow (fabs x) 3)
  (pow (fabs x) 3)
  3
  3
  3
  3
  (* 3 (log (fabs x)))
  (* 3 (log (fabs x)))
  (* 3 (log (fabs x)))
  (exp (pow (fabs x) 3))
  (pow (pow (fabs x) 3) 3)
  (pow (pow (fabs x) 3) 3)
  (* (fabs x) (fabs x))
  (fabs x)
  (pow (pow (fabs x) 3) 3)
  (fabs (pow (fabs x) 3/2))
  (fabs (pow (fabs x) 3/2))
  (* (fabs x) (sqrt (fabs x)))
  (* (fabs x) (sqrt (fabs x)))
  (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (* (* (fabs x) (fabs x)) (sqrt (fabs x)))
  (* (fabs x) (fabs x))
  (* (fabs x) (fabs x))
  (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 1.0 (/ (* (fabs x) (pow (fabs x) 6)) 21.0)))))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (pow (fabs x) 3)
  (pow (fabs x) 3)
  (pow (fabs x) 3)
6.844 * * * [progress]: adding candidates to table
7.265 * * [progress]: iteration 3 / 4
7.265 * * * [progress]: picking best candidate
7.279 * * * * [pick]: Picked  #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 21.0)) (* (* (/ (cbrt 1.0) (sqrt 21.0)) (pow (fabs x) 6)) (fabs x)))))))>
7.280 * * * [progress]: localizing error
7.312 * * * [progress]: generating rewritten candidates
7.312 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
7.313 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2)
7.341 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
7.664 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1 1)
7.677 * * * [progress]: generating series expansions
7.677 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
7.677 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2)
7.678 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0
7.678 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x
7.678 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
7.678 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
7.678 * [taylor]: Taking taylor expansion of (fabs x) in x
7.678 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x
7.678 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
7.678 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
7.678 * [taylor]: Taking taylor expansion of (fabs x) in x
7.692 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0
7.692 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x
7.692 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
7.692 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
7.692 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
7.692 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x
7.692 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
7.692 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
7.692 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
7.707 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0
7.707 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x
7.707 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
7.707 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
7.707 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
7.707 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x
7.707 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
7.707 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
7.707 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
7.725 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2)
7.726 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0
7.726 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x
7.726 * [taylor]: Taking taylor expansion of 0.2 in x
7.726 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x
7.726 * [taylor]: Taking taylor expansion of (fabs x) in x
7.726 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x
7.726 * [taylor]: Taking taylor expansion of 0.2 in x
7.726 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x
7.726 * [taylor]: Taking taylor expansion of (fabs x) in x
7.745 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0
7.745 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x
7.745 * [taylor]: Taking taylor expansion of 0.2 in x
7.745 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x
7.745 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
7.745 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x
7.745 * [taylor]: Taking taylor expansion of 0.2 in x
7.745 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x
7.745 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
7.764 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0
7.764 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x
7.764 * [taylor]: Taking taylor expansion of 0.2 in x
7.764 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x
7.764 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
7.764 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x
7.764 * [taylor]: Taking taylor expansion of 0.2 in x
7.764 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x
7.764 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
7.783 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1 1)
7.783 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0
7.783 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
7.783 * [taylor]: Taking taylor expansion of (fabs x) in x
7.783 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
7.783 * [taylor]: Taking taylor expansion of (fabs x) in x
7.792 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0
7.792 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
7.792 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
7.792 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
7.792 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
7.801 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0
7.801 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
7.801 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
7.801 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
7.801 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
7.812 * * * [progress]: simplifying candidates
7.814 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (* (sqrt PI) (sqrt PI)) (sqrt PI))
  (sqrt (* (cbrt PI) (cbrt PI)))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (sqrt 1)
  (sqrt PI)
  (/ 1 2)
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))))
  (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x))))
  (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x))))
  (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x))))
  (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x))))
  (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))
  (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ 2.0 3.0) (* (fabs x) (fabs x)))
  (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* 2.0 (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (log (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (exp (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
  (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (/ 1.0 5.0) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)))
  (* (cbrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (sqrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* 1.0 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (* (* (fabs x) (fabs x)) (fabs x))
  (* (* (fabs x) (fabs x)) (fabs x))
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))
  (+ (log (* (fabs x) (fabs x))) (log (fabs x)))
  (log (* (* (fabs x) (fabs x)) (fabs x)))
  (exp (* (* (fabs x) (fabs x)) (fabs x)))
  (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))))
  (cbrt (* (* (fabs x) (fabs x)) (fabs x)))
  (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))
  (sqrt (* (* (fabs x) (fabs x)) (fabs x)))
  (sqrt (* (* (fabs x) (fabs x)) (fabs x)))
  (* (fabs x) (sqrt (fabs x)))
  (* (fabs x) (sqrt (fabs x)))
  (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (* (* (fabs x) (fabs x)) (sqrt (fabs x)))
  (* (* (fabs x) (fabs x)) 1)
  (* (fabs x) (fabs x))
  (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 21.0)) (* (* (/ (cbrt 1.0) (sqrt 21.0)) (pow (fabs x) 6)) (fabs x))))))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (pow (fabs x) 3)
  (pow (fabs x) 3)
  (pow (fabs x) 3)
7.822 * * [simplify]: iteration  0 :  642  enodes  (cost  1132 )
7.833 * * [simplify]: iteration  1 :  2724  enodes  (cost  751 )
7.877 * * [simplify]: iteration  2 :  5001  enodes  (cost  726 )
7.881 * [simplify]: Simplified to:
   (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (sqrt PI) PI)
  (fabs (cbrt PI))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  1
  (sqrt PI)
  1/2
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (pow (exp (/ 2.0 3.0)) (pow (fabs x) 3))
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))
  (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ 2.0 3.0) (* (fabs x) (fabs x)))
  (* (pow (fabs x) 3) (cbrt (/ 2.0 3.0)))
  (* (pow (fabs x) 3) (sqrt (/ 2.0 3.0)))
  (/ (* (cbrt 2.0) (pow (fabs x) 3)) (cbrt 3.0))
  (/ (* (cbrt 2.0) (pow (fabs x) 3)) (sqrt 3.0))
  (/ (* (cbrt 2.0) (pow (fabs x) 3)) 3.0)
  (/ (* (sqrt 2.0) (pow (fabs x) 3)) (cbrt 3.0))
  (/ (* (sqrt 2.0) (pow (fabs x) 3)) (sqrt 3.0))
  (/ (* (sqrt 2.0) (pow (fabs x) 3)) 3.0)
  (* (pow (fabs x) 3) (/ 2.0 (cbrt 3.0)))
  (* (pow (fabs x) 3) (/ 2.0 (sqrt 3.0)))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (/ (pow (fabs x) 3) 3.0)
  (* (pow (fabs x) 3) 2.0)
  (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (pow (exp (* (/ 1.0 5.0) (fabs x))) (pow (fabs x) 4))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (* (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
  (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (pow (* (/ 1.0 5.0) (fabs x)) 3) (pow (fabs x) 12))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (/ 1.0 5.0) (pow (fabs x) 4))
  (* (* (cbrt (/ 1.0 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (sqrt (/ 1.0 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (cbrt 1.0) (cbrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (cbrt 1.0) (sqrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (cbrt 1.0) 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (sqrt 1.0) (cbrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (sqrt 1.0) (sqrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (sqrt 1.0) 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 (cbrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 (sqrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x))
  (/ (* (pow (fabs x) 4) (fabs x)) 5.0)
  (* (* 1.0 (pow (fabs x) 4)) (fabs x))
  3
  3
  3
  3
  (pow (fabs x) 3)
  (pow (fabs x) 3)
  3
  3
  3
  3
  (* 3 (log (fabs x)))
  (* 3 (log (fabs x)))
  (* 3 (log (fabs x)))
  (exp (pow (fabs x) 3))
  (pow (pow (fabs x) 3) 3)
  (pow (pow (fabs x) 3) 3)
  (* (fabs x) (fabs x))
  (fabs x)
  (pow (pow (fabs x) 3) 3)
  (fabs (pow (fabs x) 3/2))
  (fabs (pow (fabs x) 3/2))
  (* (fabs x) (sqrt (fabs x)))
  (* (fabs x) (sqrt (fabs x)))
  (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (* (* (fabs x) (fabs x)) (sqrt (fabs x)))
  (* (fabs x) (fabs x))
  (* (fabs x) (fabs x))
  (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 21.0)) (* (* (/ (cbrt 1.0) (sqrt 21.0)) (pow (fabs x) 6)) (fabs x))))))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (pow (fabs x) 3)
  (pow (fabs x) 3)
  (pow (fabs x) 3)
7.882 * * * [progress]: adding candidates to table
8.393 * * [progress]: iteration 4 / 4
8.393 * * * [progress]: picking best candidate
8.402 * * * * [pick]: Picked  #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 0.047619047619047616 (pow (fabs x) 7))))))>
8.402 * * * [progress]: localizing error
8.427 * * * [progress]: generating rewritten candidates
8.427 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
8.427 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2)
8.456 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
8.778 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1 1)
8.791 * * * [progress]: generating series expansions
8.791 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
8.791 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2)
8.792 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0
8.792 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x
8.792 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
8.792 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
8.792 * [taylor]: Taking taylor expansion of (fabs x) in x
8.792 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x
8.792 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
8.792 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
8.792 * [taylor]: Taking taylor expansion of (fabs x) in x
8.806 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0
8.806 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x
8.806 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
8.806 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
8.806 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
8.806 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x
8.806 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
8.806 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
8.806 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
8.821 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0
8.821 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x
8.821 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
8.821 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
8.821 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
8.821 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x
8.821 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x
8.821 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
8.821 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
8.835 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2)
8.839 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0
8.839 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x
8.839 * [taylor]: Taking taylor expansion of 0.2 in x
8.839 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x
8.839 * [taylor]: Taking taylor expansion of (fabs x) in x
8.839 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x
8.839 * [taylor]: Taking taylor expansion of 0.2 in x
8.839 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x
8.839 * [taylor]: Taking taylor expansion of (fabs x) in x
8.858 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0
8.858 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x
8.858 * [taylor]: Taking taylor expansion of 0.2 in x
8.858 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x
8.858 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
8.858 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x
8.858 * [taylor]: Taking taylor expansion of 0.2 in x
8.858 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x
8.858 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
8.877 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0
8.877 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x
8.877 * [taylor]: Taking taylor expansion of 0.2 in x
8.877 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x
8.877 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
8.878 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x
8.878 * [taylor]: Taking taylor expansion of 0.2 in x
8.878 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x
8.878 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
8.897 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1 1)
8.897 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0
8.897 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
8.897 * [taylor]: Taking taylor expansion of (fabs x) in x
8.897 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
8.897 * [taylor]: Taking taylor expansion of (fabs x) in x
8.905 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0
8.905 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
8.905 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
8.905 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
8.905 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
8.914 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0
8.914 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
8.914 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
8.914 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
8.914 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
8.923 * * * [progress]: simplifying candidates
8.927 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (* (sqrt PI) (sqrt PI)) (sqrt PI))
  (sqrt (* (cbrt PI) (cbrt PI)))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (sqrt 1)
  (sqrt PI)
  (/ 1 2)
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))))
  (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x))))
  (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x))))
  (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x))))
  (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x))))
  (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))
  (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ 2.0 3.0) (* (fabs x) (fabs x)))
  (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
  (* 2.0 (* (* (fabs x) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))))
  (+ (- (log 1.0) (log 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))))
  (+ (log (/ 1.0 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (log (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (exp (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
  (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (/ 1.0 5.0) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)))
  (* (cbrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (sqrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (cbrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ (sqrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* (/ 1 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (* 1.0 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (* (* (fabs x) (fabs x)) (fabs x))
  (* (* (fabs x) (fabs x)) (fabs x))
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))
  (+ (log (* (fabs x) (fabs x))) (log (fabs x)))
  (log (* (* (fabs x) (fabs x)) (fabs x)))
  (exp (* (* (fabs x) (fabs x)) (fabs x)))
  (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))
  (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))))
  (cbrt (* (* (fabs x) (fabs x)) (fabs x)))
  (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))
  (sqrt (* (* (fabs x) (fabs x)) (fabs x)))
  (sqrt (* (* (fabs x) (fabs x)) (fabs x)))
  (* (fabs x) (sqrt (fabs x)))
  (* (fabs x) (sqrt (fabs x)))
  (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (* (* (fabs x) (fabs x)) (sqrt (fabs x)))
  (* (* (fabs x) (fabs x)) 1)
  (* (fabs x) (fabs x))
  (* 0.047619047619047616 (pow (fabs x) 7))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (pow (fabs x) 3)
  (pow (fabs x) 3)
  (pow (fabs x) 3)
8.936 * * [simplify]: iteration  0 :  600  enodes  (cost  1093 )
8.945 * * [simplify]: iteration  1 :  2522  enodes  (cost  724 )
8.985 * * [simplify]: iteration  2 :  5001  enodes  (cost  692 )
8.989 * [simplify]: Simplified to:
   (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (sqrt PI) PI)
  (fabs (cbrt PI))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  1
  (sqrt PI)
  1/2
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3)))
  (pow (exp (/ 2.0 3.0)) (pow (fabs x) 3))
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))
  (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3)
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))
  (* (/ 2.0 3.0) (* (fabs x) (fabs x)))
  (* (pow (fabs x) 3) (cbrt (/ 2.0 3.0)))
  (* (pow (fabs x) 3) (sqrt (/ 2.0 3.0)))
  (/ (* (cbrt 2.0) (pow (fabs x) 3)) (cbrt 3.0))
  (/ (* (cbrt 2.0) (pow (fabs x) 3)) (sqrt 3.0))
  (/ (* (cbrt 2.0) (pow (fabs x) 3)) 3.0)
  (/ (* (sqrt 2.0) (pow (fabs x) 3)) (cbrt 3.0))
  (/ (* (sqrt 2.0) (pow (fabs x) 3)) (sqrt 3.0))
  (/ (* (sqrt 2.0) (pow (fabs x) 3)) 3.0)
  (* (pow (fabs x) 3) (/ 2.0 (cbrt 3.0)))
  (* (pow (fabs x) 3) (/ 2.0 (sqrt 3.0)))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (* (pow (fabs x) 3) (/ 2.0 3.0))
  (/ (pow (fabs x) 3) 3.0)
  (* (pow (fabs x) 3) 2.0)
  (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5))
  (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5))
  (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5))
  (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5))
  (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4))
  (pow (exp (* (/ 1.0 5.0) (fabs x))) (pow (fabs x) 4))
  (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3))
  (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3))
  (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3))
  (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3))
  (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3))
  (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3))
  (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3))
  (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3))
  (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3))
  (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3))
  (* (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
  (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))
  (* (/ 1.0 5.0) (pow (fabs x) 4))
  (* (* (cbrt (/ 1.0 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (sqrt (/ 1.0 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (cbrt 1.0) (cbrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (cbrt 1.0) (sqrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (cbrt 1.0) 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (sqrt 1.0) (cbrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (sqrt 1.0) (sqrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ (sqrt 1.0) 5.0) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 (cbrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 (sqrt 5.0)) (pow (fabs x) 4)) (fabs x))
  (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5))
  (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5))
  (/ (* (pow (fabs x) 4) (fabs x)) 5.0)
  (* (* 1.0 (pow (fabs x) 4)) (fabs x))
  3
  3
  3
  3
  (pow (fabs x) 3)
  (pow (fabs x) 3)
  3
  3
  3
  3
  (* 3 (log (fabs x)))
  (* 3 (log (fabs x)))
  (* 3 (log (fabs x)))
  (exp (pow (fabs x) 3))
  (pow (pow (fabs x) 3) 3)
  (pow (pow (fabs x) 3) 3)
  (* (fabs x) (fabs x))
  (fabs x)
  (pow (pow (fabs x) 3) 3)
  (fabs (pow (fabs x) 3/2))
  (fabs (pow (fabs x) 3/2))
  (* (fabs x) (sqrt (fabs x)))
  (* (fabs x) (sqrt (fabs x)))
  (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (* (* (fabs x) (fabs x)) (sqrt (fabs x)))
  (* (fabs x) (fabs x))
  (* (fabs x) (fabs x))
  (* 0.047619047619047616 (pow (fabs x) 7))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.6666666666666666 (pow (fabs x) 3))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (* 0.2 (pow (fabs x) 5))
  (pow (fabs x) 3)
  (pow (fabs x) 3)
  (pow (fabs x) 3)
8.990 * * * [progress]: adding candidates to table
9.381 * [progress]: [Phase 3 of 3] Extracting.
9.381 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 0.047619047619047616 (pow (fabs x) 7))))))> #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 21.0)) (* (* (/ (cbrt 1.0) (sqrt 21.0)) (pow (fabs x) 6)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 21.0) (cbrt 21.0))) (* (* (/ (cbrt 1.0) (cbrt 21.0)) (pow (fabs x) 6)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 1.0 (/ (* (fabs x) (pow (fabs x) 6)) 21.0))))))>)
9.386 * * * [regime-changes]: Trying 2 branch expressions: ((fabs x) x)
9.386 * * * * [regimes]: Trying to branch on (fabs x) from (#<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 0.047619047619047616 (pow (fabs x) 7))))))> #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 21.0)) (* (* (/ (cbrt 1.0) (sqrt 21.0)) (pow (fabs x) 6)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 21.0) (cbrt 21.0))) (* (* (/ (cbrt 1.0) (cbrt 21.0)) (pow (fabs x) 6)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 1.0 (/ (* (fabs x) (pow (fabs x) 6)) 21.0))))))>)
9.418 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 0.047619047619047616 (pow (fabs x) 7))))))> #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 21.0)) (* (* (/ (cbrt 1.0) (sqrt 21.0)) (pow (fabs x) 6)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 21.0) (cbrt 21.0))) (* (* (/ (cbrt 1.0) (cbrt 21.0)) (pow (fabs x) 6)) (fabs x)))))))> #<alt (λ (x) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 1.0 (/ (* (fabs x) (pow (fabs x) 6)) 21.0))))))>)
9.445 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
9.445 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 1.0 (/ (* (fabs x) (pow (fabs x) 6)) 21.0)))))
9.446 * * [simplify]: iteration  0 :  41  enodes  (cost  33 )
9.446 * * [simplify]: iteration  1 :  41  enodes  (cost  33 )
9.446 * [simplify]: Simplified to:
   (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 1.0 (/ (* (fabs x) (pow (fabs x) 6)) 21.0)))))
10.954 * [regime-testing]: Baseline error score: 0.19112069477569912
10.954 * [regime-testing]: Oracle error score: 0.11916113576715119
10.955 * [regime-testing]: End program error score: 0.19112069477569912