21.349 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.717 * * * [progress]: [2/2] Setting up program.
0.723 * [progress]: [Phase 2 of 3] Improving.
0.723 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (* (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))))
0.739 * * [simplify]: iteration  0 :  5216  enodes  (cost  49 )
0.739 * [simplify]: Simplified to:
   (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (pow (/ 1.0 (fabs x)) 7)))))))
0.745 * * [progress]: iteration 1 / 4
0.745 * * * [progress]: picking best candidate
0.754 * * * * [pick]: Picked  #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (pow (/ 1.0 (fabs x)) 7))))))))>
0.754 * * * [progress]: localizing error
0.785 * * * [progress]: generating rewritten candidates
0.785 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 2 2)
0.792 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1 2)
0.797 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
0.798 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2)
0.807 * * * [progress]: generating series expansions
0.807 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 2 2)
0.807 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 7) in (x) around 0
0.807 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 7) in x
0.807 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
0.807 * [taylor]: Taking taylor expansion of 1.0 in x
0.807 * [taylor]: Taking taylor expansion of (fabs x) in x
0.807 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 7) in x
0.807 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
0.807 * [taylor]: Taking taylor expansion of 1.0 in x
0.807 * [taylor]: Taking taylor expansion of (fabs x) in x
0.811 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 7) in (x) around 0
0.811 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 7) in x
0.811 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
0.811 * [taylor]: Taking taylor expansion of 1.0 in x
0.811 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.811 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 7) in x
0.811 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
0.812 * [taylor]: Taking taylor expansion of 1.0 in x
0.812 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.816 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 7) in (x) around 0
0.816 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 7) in x
0.816 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
0.816 * [taylor]: Taking taylor expansion of 1.0 in x
0.816 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.817 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 7) in x
0.817 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
0.817 * [taylor]: Taking taylor expansion of 1.0 in x
0.817 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.822 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1 2)
0.822 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in (x) around 0
0.822 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x
0.822 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
0.822 * [taylor]: Taking taylor expansion of 1.0 in x
0.822 * [taylor]: Taking taylor expansion of (fabs x) in x
0.822 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x
0.822 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
0.822 * [taylor]: Taking taylor expansion of 1.0 in x
0.822 * [taylor]: Taking taylor expansion of (fabs x) in x
0.825 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in (x) around 0
0.825 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x
0.825 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
0.825 * [taylor]: Taking taylor expansion of 1.0 in x
0.826 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.826 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x
0.826 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
0.826 * [taylor]: Taking taylor expansion of 1.0 in x
0.826 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.830 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in (x) around 0
0.830 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x
0.830 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
0.830 * [taylor]: Taking taylor expansion of 1.0 in x
0.830 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.830 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x
0.830 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
0.830 * [taylor]: Taking taylor expansion of 1.0 in x
0.830 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.834 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
0.834 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2)
0.834 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in (x) around 0
0.834 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x
0.834 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
0.834 * [taylor]: Taking taylor expansion of 1.0 in x
0.834 * [taylor]: Taking taylor expansion of (fabs x) in x
0.834 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x
0.834 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
0.834 * [taylor]: Taking taylor expansion of 1.0 in x
0.834 * [taylor]: Taking taylor expansion of (fabs x) in x
0.836 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in (x) around 0
0.836 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x
0.836 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
0.836 * [taylor]: Taking taylor expansion of 1.0 in x
0.837 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.837 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x
0.837 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
0.837 * [taylor]: Taking taylor expansion of 1.0 in x
0.837 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.840 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in (x) around 0
0.840 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x
0.840 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
0.840 * [taylor]: Taking taylor expansion of 1.0 in x
0.840 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.840 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x
0.840 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
0.840 * [taylor]: Taking taylor expansion of 1.0 in x
0.840 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.843 * * * [progress]: simplifying candidates
0.845 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- (log 1.0) (log (fabs x))) 7)
  (* (log (/ 1.0 (fabs x))) 7)
  (* (log (/ 1.0 (fabs x))) 7)
  (* 1 7)
  (pow (/ 1.0 (fabs x)) (* (cbrt 7) (cbrt 7)))
  (pow (/ 1.0 (fabs x)) (sqrt 7))
  (pow (/ 1.0 (fabs x)) 1)
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 7)
  (pow (cbrt (/ 1.0 (fabs x))) 7)
  (pow (sqrt (/ 1.0 (fabs x))) 7)
  (pow (sqrt (/ 1.0 (fabs x))) 7)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 7)
  (pow (/ (cbrt 1.0) (cbrt (fabs x))) 7)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 7)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 7)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 7)
  (pow (/ (cbrt 1.0) (fabs x)) 7)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 7)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 7)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 7)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 7)
  (pow (/ (sqrt 1.0) 1) 7)
  (pow (/ (sqrt 1.0) (fabs x)) 7)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 7)
  (pow (/ 1.0 (cbrt (fabs x))) 7)
  (pow (/ 1 (sqrt (fabs x))) 7)
  (pow (/ 1.0 (sqrt (fabs x))) 7)
  (pow (/ 1 1) 7)
  (pow (/ 1.0 (fabs x)) 7)
  (pow 1 7)
  (pow (/ 1.0 (fabs x)) 7)
  (pow 1.0 7)
  (pow (/ 1 (fabs x)) 7)
  (log (pow (/ 1.0 (fabs x)) 7))
  (exp (pow (/ 1.0 (fabs x)) 7))
  (* (cbrt (pow (/ 1.0 (fabs x)) 7)) (cbrt (pow (/ 1.0 (fabs x)) 7)))
  (cbrt (pow (/ 1.0 (fabs x)) 7))
  (* (* (pow (/ 1.0 (fabs x)) 7) (pow (/ 1.0 (fabs x)) 7)) (pow (/ 1.0 (fabs x)) 7))
  (sqrt (pow (/ 1.0 (fabs x)) 7))
  (sqrt (pow (/ 1.0 (fabs x)) 7))
  (pow (/ 1.0 (fabs x)) (/ 7 2))
  (pow (/ 1.0 (fabs x)) (/ 7 2))
  (* (- (log 1.0) (log (fabs x))) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  (* 1 5)
  (pow (/ 1.0 (fabs x)) (* (cbrt 5) (cbrt 5)))
  (pow (/ 1.0 (fabs x)) (sqrt 5))
  (pow (/ 1.0 (fabs x)) 1)
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5)
  (pow (cbrt (/ 1.0 (fabs x))) 5)
  (pow (sqrt (/ 1.0 (fabs x))) 5)
  (pow (sqrt (/ 1.0 (fabs x))) 5)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ (cbrt 1.0) (cbrt (fabs x))) 5)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 5)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 5)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 5)
  (pow (/ (cbrt 1.0) (fabs x)) 5)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) 1) 5)
  (pow (/ (sqrt 1.0) (fabs x)) 5)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ 1.0 (cbrt (fabs x))) 5)
  (pow (/ 1 (sqrt (fabs x))) 5)
  (pow (/ 1.0 (sqrt (fabs x))) 5)
  (pow (/ 1 1) 5)
  (pow (/ 1.0 (fabs x)) 5)
  (pow 1 5)
  (pow (/ 1.0 (fabs x)) 5)
  (pow 1.0 5)
  (pow (/ 1 (fabs x)) 5)
  (log (pow (/ 1.0 (fabs x)) 5))
  (exp (pow (/ 1.0 (fabs x)) 5))
  (* (cbrt (pow (/ 1.0 (fabs x)) 5)) (cbrt (pow (/ 1.0 (fabs x)) 5)))
  (cbrt (pow (/ 1.0 (fabs x)) 5))
  (* (* (pow (/ 1.0 (fabs x)) 5) (pow (/ 1.0 (fabs x)) 5)) (pow (/ 1.0 (fabs x)) 5))
  (sqrt (pow (/ 1.0 (fabs x)) 5))
  (sqrt (pow (/ 1.0 (fabs x)) 5))
  (pow (/ 1.0 (fabs x)) (/ 5 2))
  (pow (/ 1.0 (fabs x)) (/ 5 2))
  (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))
  (* (- (log 1.0) (log (fabs x))) 3)
  (* (log (/ 1.0 (fabs x))) 3)
  (* (log (/ 1.0 (fabs x))) 3)
  (* 1 3)
  (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3)))
  (pow (/ 1.0 (fabs x)) (sqrt 3))
  (pow (/ 1.0 (fabs x)) 1)
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3)
  (pow (cbrt (/ 1.0 (fabs x))) 3)
  (pow (sqrt (/ 1.0 (fabs x))) 3)
  (pow (sqrt (/ 1.0 (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3)
  (pow (/ (cbrt 1.0) (fabs x)) 3)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) 1) 3)
  (pow (/ (sqrt 1.0) (fabs x)) 3)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ 1.0 (cbrt (fabs x))) 3)
  (pow (/ 1 (sqrt (fabs x))) 3)
  (pow (/ 1.0 (sqrt (fabs x))) 3)
  (pow (/ 1 1) 3)
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1 3)
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1.0 3)
  (pow (/ 1 (fabs x)) 3)
  (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
  (log (pow (/ 1.0 (fabs x)) 3))
  (exp (pow (/ 1.0 (fabs x)) 3))
  (* (cbrt (pow (/ 1.0 (fabs x)) 3)) (cbrt (pow (/ 1.0 (fabs x)) 3)))
  (cbrt (pow (/ 1.0 (fabs x)) 3))
  (* (* (pow (/ 1.0 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 3))
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3)
  (pow (cbrt (/ 1.0 (fabs x))) 3)
  (pow (sqrt (/ 1.0 (fabs x))) 3)
  (pow (sqrt (/ 1.0 (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3)
  (pow (/ (cbrt 1.0) (fabs x)) 3)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) 1) 3)
  (pow (/ (sqrt 1.0) (fabs x)) 3)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ 1.0 (cbrt (fabs x))) 3)
  (pow (/ 1 (sqrt (fabs x))) 3)
  (pow (/ 1.0 (sqrt (fabs x))) 3)
  (pow (/ 1 1) 3)
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1 3)
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1.0 3)
  (pow (/ 1 (fabs x)) 3)
  (pow 1.0 3)
  (pow (fabs x) 3)
  (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
  (sqrt (pow (/ 1.0 (fabs x)) 3))
  (sqrt (pow (/ 1.0 (fabs x)) 3))
  (pow (/ 1.0 (fabs x)) (/ 3 2))
  (pow (/ 1.0 (fabs x)) (/ 3 2))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (pow (/ 1.0 (fabs x)) 7)))))))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
0.868 * * [simplify]: iteration  0 :  5341  enodes  (cost  1171 )
0.874 * [simplify]: Simplified to:
   (* (log (/ 1.0 (fabs x))) 7)
  (* (log (/ 1.0 (fabs x))) 7)
  (* (log (/ 1.0 (fabs x))) 7)
  7
  (pow (/ 1.0 (fabs x)) (* (cbrt 7) (cbrt 7)))
  (pow (/ 1.0 (fabs x)) (sqrt 7))
  (/ 1.0 (fabs x))
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 7)
  (pow (cbrt (/ 1.0 (fabs x))) 7)
  (pow (sqrt (/ 1.0 (fabs x))) 7)
  (pow (sqrt (/ 1.0 (fabs x))) 7)
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 7)
  (pow (cbrt (/ 1.0 (fabs x))) 7)
  (pow (* (cbrt 1.0) (/ (cbrt 1.0) (sqrt (fabs x)))) 7)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 7)
  (pow (* (cbrt 1.0) (cbrt 1.0)) 7)
  (pow (/ (cbrt 1.0) (fabs x)) 7)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 7)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 7)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 7)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 7)
  (pow (sqrt 1.0) 7)
  (pow (/ (sqrt 1.0) (fabs x)) 7)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 7)
  (pow (/ 1.0 (cbrt (fabs x))) 7)
  (pow (/ 1 (sqrt (fabs x))) 7)
  (pow (/ 1.0 (sqrt (fabs x))) 7)
  1
  (pow (/ 1.0 (fabs x)) 7)
  1
  (pow (/ 1.0 (fabs x)) 7)
  (pow 1.0 7)
  (pow (/ 1 (fabs x)) 7)
  (* (log (/ 1.0 (fabs x))) 7)
  (exp (pow (/ 1.0 (fabs x)) 7))
  (* (cbrt (pow (/ 1.0 (fabs x)) 7)) (cbrt (pow (/ 1.0 (fabs x)) 7)))
  (cbrt (pow (/ 1.0 (fabs x)) 7))
  (pow (pow (/ 1.0 (fabs x)) 7) 3)
  (sqrt (pow (/ 1.0 (fabs x)) 7))
  (sqrt (pow (/ 1.0 (fabs x)) 7))
  (pow (/ 1.0 (fabs x)) 7/2)
  (pow (/ 1.0 (fabs x)) 7/2)
  (* (log (/ 1.0 (fabs x))) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  5
  (pow (/ 1.0 (fabs x)) (* (cbrt 5) (cbrt 5)))
  (pow (/ 1.0 (fabs x)) (sqrt 5))
  (/ 1.0 (fabs x))
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5)
  (pow (cbrt (/ 1.0 (fabs x))) 5)
  (pow (sqrt (/ 1.0 (fabs x))) 5)
  (pow (sqrt (/ 1.0 (fabs x))) 5)
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5)
  (pow (cbrt (/ 1.0 (fabs x))) 5)
  (pow (* (cbrt 1.0) (/ (cbrt 1.0) (sqrt (fabs x)))) 5)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 5)
  (pow (* (cbrt 1.0) (cbrt 1.0)) 5)
  (pow (/ (cbrt 1.0) (fabs x)) 5)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5)
  (pow (sqrt 1.0) 5)
  (pow (/ (sqrt 1.0) (fabs x)) 5)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ 1.0 (cbrt (fabs x))) 5)
  (pow (/ 1 (sqrt (fabs x))) 5)
  (pow (/ 1.0 (sqrt (fabs x))) 5)
  1
  (pow (/ 1.0 (fabs x)) 5)
  1
  (pow (/ 1.0 (fabs x)) 5)
  (pow 1.0 5)
  (pow (/ 1 (fabs x)) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  (exp (pow (/ 1.0 (fabs x)) 5))
  (* (cbrt (pow (/ 1.0 (fabs x)) 5)) (cbrt (pow (/ 1.0 (fabs x)) 5)))
  (cbrt (pow (/ 1.0 (fabs x)) 5))
  (pow (pow (/ 1.0 (fabs x)) 5) 3)
  (sqrt (pow (/ 1.0 (fabs x)) 5))
  (sqrt (pow (/ 1.0 (fabs x)) 5))
  (pow (/ 1.0 (fabs x)) 5/2)
  (pow (/ 1.0 (fabs x)) 5/2)
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* PI (sqrt PI))
  (fabs (cbrt PI))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  1
  (sqrt PI)
  1/2
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (* (log (/ 1.0 (fabs x))) 3)
  (* (log (/ 1.0 (fabs x))) 3)
  (* (log (/ 1.0 (fabs x))) 3)
  3
  (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3)))
  (pow (/ 1.0 (fabs x)) (sqrt 3))
  (/ 1.0 (fabs x))
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (* (/ 1.0 (pow (sqrt (fabs x)) 3)) 1.0)
  (/ 1.0 (pow (sqrt (fabs x)) 3))
  (* 1.0 1.0)
  (/ 1.0 (pow (fabs x) 3))
  (* (/ 1.0 (fabs x)) (/ (sqrt 1.0) (fabs x)))
  (* (/ 1.0 (fabs x)) (sqrt 1.0))
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (* 1.0 (sqrt 1.0))
  (pow (/ (sqrt 1.0) (fabs x)) 3)
  (/ 1 (* (fabs x) (fabs x)))
  (/ (pow 1.0 3) (fabs x))
  (/ 1 (pow (sqrt (fabs x)) 3))
  (pow (/ 1.0 (sqrt (fabs x))) 3)
  1
  (pow (/ 1.0 (fabs x)) 3)
  1
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1.0 3)
  (/ 1 (pow (fabs x) 3))
  (pow (/ 1.0 (fabs x)) 2)
  (* (log (/ 1.0 (fabs x))) 3)
  (exp (pow (/ 1.0 (fabs x)) 3))
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (pow (pow (/ 1.0 (fabs x)) 3) 3)
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (* (/ 1.0 (pow (sqrt (fabs x)) 3)) 1.0)
  (/ 1.0 (pow (sqrt (fabs x)) 3))
  (* 1.0 1.0)
  (/ 1.0 (pow (fabs x) 3))
  (* (/ 1.0 (fabs x)) (/ (sqrt 1.0) (fabs x)))
  (* (/ 1.0 (fabs x)) (sqrt 1.0))
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (* 1.0 (sqrt 1.0))
  (pow (/ (sqrt 1.0) (fabs x)) 3)
  (/ 1 (* (fabs x) (fabs x)))
  (/ (pow 1.0 3) (fabs x))
  (/ 1 (pow (sqrt (fabs x)) 3))
  (pow (/ 1.0 (sqrt (fabs x))) 3)
  1
  (pow (/ 1.0 (fabs x)) 3)
  1
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1.0 3)
  (/ 1 (pow (fabs x) 3))
  (pow 1.0 3)
  (pow (fabs x) 3)
  (pow (/ 1.0 (fabs x)) 2)
  (sqrt (pow (/ 1.0 (fabs x)) 3))
  (sqrt (pow (/ 1.0 (fabs x)) 3))
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 3/2)
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (pow (/ 1.0 (fabs x)) 3) (/ 1.0 2.0)) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (pow (/ 1.0 (fabs x)) 7) (/ 15.0 8.0)))))))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
0.874 * * * [progress]: adding candidates to table
1.130 * * [progress]: iteration 2 / 4
1.130 * * * [progress]: picking best candidate
1.176 * * * * [pick]: Picked  #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))>
1.176 * * * [progress]: localizing error
1.210 * * * [progress]: generating rewritten candidates
1.210 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1 2)
1.215 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.217 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2)
1.221 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2 2 2)
1.230 * * * [progress]: generating series expansions
1.230 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1 2)
1.230 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in (x) around 0
1.230 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x
1.230 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
1.230 * [taylor]: Taking taylor expansion of 1.0 in x
1.230 * [taylor]: Taking taylor expansion of (fabs x) in x
1.230 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x
1.230 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
1.230 * [taylor]: Taking taylor expansion of 1.0 in x
1.230 * [taylor]: Taking taylor expansion of (fabs x) in x
1.234 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in (x) around 0
1.234 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x
1.234 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
1.234 * [taylor]: Taking taylor expansion of 1.0 in x
1.234 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.234 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x
1.234 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
1.234 * [taylor]: Taking taylor expansion of 1.0 in x
1.234 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.238 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in (x) around 0
1.238 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x
1.238 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
1.238 * [taylor]: Taking taylor expansion of 1.0 in x
1.238 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.238 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x
1.238 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
1.238 * [taylor]: Taking taylor expansion of 1.0 in x
1.238 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.242 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.242 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2)
1.242 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in (x) around 0
1.242 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x
1.242 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
1.242 * [taylor]: Taking taylor expansion of 1.0 in x
1.242 * [taylor]: Taking taylor expansion of (fabs x) in x
1.242 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x
1.242 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
1.242 * [taylor]: Taking taylor expansion of 1.0 in x
1.242 * [taylor]: Taking taylor expansion of (fabs x) in x
1.245 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in (x) around 0
1.245 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x
1.245 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
1.245 * [taylor]: Taking taylor expansion of 1.0 in x
1.245 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.245 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x
1.245 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
1.245 * [taylor]: Taking taylor expansion of 1.0 in x
1.245 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.248 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in (x) around 0
1.248 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x
1.248 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
1.248 * [taylor]: Taking taylor expansion of 1.0 in x
1.248 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.248 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x
1.248 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
1.248 * [taylor]: Taking taylor expansion of 1.0 in x
1.248 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.251 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2 2 2)
1.251 * [approximate]: Taking taylor expansion of (/ 1.0 (pow (fabs x) 7)) in (x) around 0
1.251 * [taylor]: Taking taylor expansion of (/ 1.0 (pow (fabs x) 7)) in x
1.251 * [taylor]: Taking taylor expansion of 1.0 in x
1.251 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x
1.251 * [taylor]: Taking taylor expansion of (fabs x) in x
1.251 * [taylor]: Taking taylor expansion of (/ 1.0 (pow (fabs x) 7)) in x
1.251 * [taylor]: Taking taylor expansion of 1.0 in x
1.251 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x
1.251 * [taylor]: Taking taylor expansion of (fabs x) in x
1.256 * [approximate]: Taking taylor expansion of (/ 1.0 (pow (fabs (/ 1 x)) 7)) in (x) around 0
1.256 * [taylor]: Taking taylor expansion of (/ 1.0 (pow (fabs (/ 1 x)) 7)) in x
1.256 * [taylor]: Taking taylor expansion of 1.0 in x
1.256 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x
1.256 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.256 * [taylor]: Taking taylor expansion of (/ 1.0 (pow (fabs (/ 1 x)) 7)) in x
1.256 * [taylor]: Taking taylor expansion of 1.0 in x
1.256 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x
1.256 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.262 * [approximate]: Taking taylor expansion of (/ 1.0 (pow (fabs (/ -1 x)) 7)) in (x) around 0
1.262 * [taylor]: Taking taylor expansion of (/ 1.0 (pow (fabs (/ -1 x)) 7)) in x
1.262 * [taylor]: Taking taylor expansion of 1.0 in x
1.262 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x
1.262 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.262 * [taylor]: Taking taylor expansion of (/ 1.0 (pow (fabs (/ -1 x)) 7)) in x
1.262 * [taylor]: Taking taylor expansion of 1.0 in x
1.262 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x
1.263 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.272 * * * [progress]: simplifying candidates
1.274 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- (log 1.0) (log (fabs x))) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  (* 1 5)
  (pow (/ 1.0 (fabs x)) (* (cbrt 5) (cbrt 5)))
  (pow (/ 1.0 (fabs x)) (sqrt 5))
  (pow (/ 1.0 (fabs x)) 1)
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5)
  (pow (cbrt (/ 1.0 (fabs x))) 5)
  (pow (sqrt (/ 1.0 (fabs x))) 5)
  (pow (sqrt (/ 1.0 (fabs x))) 5)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ (cbrt 1.0) (cbrt (fabs x))) 5)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 5)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 5)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 5)
  (pow (/ (cbrt 1.0) (fabs x)) 5)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) 1) 5)
  (pow (/ (sqrt 1.0) (fabs x)) 5)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ 1.0 (cbrt (fabs x))) 5)
  (pow (/ 1 (sqrt (fabs x))) 5)
  (pow (/ 1.0 (sqrt (fabs x))) 5)
  (pow (/ 1 1) 5)
  (pow (/ 1.0 (fabs x)) 5)
  (pow 1 5)
  (pow (/ 1.0 (fabs x)) 5)
  (pow 1.0 5)
  (pow (/ 1 (fabs x)) 5)
  (log (pow (/ 1.0 (fabs x)) 5))
  (exp (pow (/ 1.0 (fabs x)) 5))
  (* (cbrt (pow (/ 1.0 (fabs x)) 5)) (cbrt (pow (/ 1.0 (fabs x)) 5)))
  (cbrt (pow (/ 1.0 (fabs x)) 5))
  (* (* (pow (/ 1.0 (fabs x)) 5) (pow (/ 1.0 (fabs x)) 5)) (pow (/ 1.0 (fabs x)) 5))
  (sqrt (pow (/ 1.0 (fabs x)) 5))
  (sqrt (pow (/ 1.0 (fabs x)) 5))
  (pow (/ 1.0 (fabs x)) (/ 5 2))
  (pow (/ 1.0 (fabs x)) (/ 5 2))
  (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))
  (* (- (log 1.0) (log (fabs x))) 3)
  (* (log (/ 1.0 (fabs x))) 3)
  (* (log (/ 1.0 (fabs x))) 3)
  (* 1 3)
  (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3)))
  (pow (/ 1.0 (fabs x)) (sqrt 3))
  (pow (/ 1.0 (fabs x)) 1)
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3)
  (pow (cbrt (/ 1.0 (fabs x))) 3)
  (pow (sqrt (/ 1.0 (fabs x))) 3)
  (pow (sqrt (/ 1.0 (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3)
  (pow (/ (cbrt 1.0) (fabs x)) 3)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) 1) 3)
  (pow (/ (sqrt 1.0) (fabs x)) 3)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ 1.0 (cbrt (fabs x))) 3)
  (pow (/ 1 (sqrt (fabs x))) 3)
  (pow (/ 1.0 (sqrt (fabs x))) 3)
  (pow (/ 1 1) 3)
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1 3)
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1.0 3)
  (pow (/ 1 (fabs x)) 3)
  (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
  (log (pow (/ 1.0 (fabs x)) 3))
  (exp (pow (/ 1.0 (fabs x)) 3))
  (* (cbrt (pow (/ 1.0 (fabs x)) 3)) (cbrt (pow (/ 1.0 (fabs x)) 3)))
  (cbrt (pow (/ 1.0 (fabs x)) 3))
  (* (* (pow (/ 1.0 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 3))
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3)
  (pow (cbrt (/ 1.0 (fabs x))) 3)
  (pow (sqrt (/ 1.0 (fabs x))) 3)
  (pow (sqrt (/ 1.0 (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3)
  (pow (/ (cbrt 1.0) (fabs x)) 3)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) 1) 3)
  (pow (/ (sqrt 1.0) (fabs x)) 3)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ 1.0 (cbrt (fabs x))) 3)
  (pow (/ 1 (sqrt (fabs x))) 3)
  (pow (/ 1.0 (sqrt (fabs x))) 3)
  (pow (/ 1 1) 3)
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1 3)
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1.0 3)
  (pow (/ 1 (fabs x)) 3)
  (pow 1.0 3)
  (pow (fabs x) 3)
  (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
  (sqrt (pow (/ 1.0 (fabs x)) 3))
  (sqrt (pow (/ 1.0 (fabs x)) 3))
  (pow (/ 1.0 (fabs x)) (/ 3 2))
  (pow (/ 1.0 (fabs x)) (/ 3 2))
  (- (log 1.0) (* (log (fabs x)) 7))
  (- (log 1.0) (* (log (fabs x)) 7))
  (- (log 1.0) (log (pow (fabs x) 7)))
  (log (/ 1.0 (pow (fabs x) 7)))
  (exp (/ 1.0 (pow (fabs x) 7)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (pow (fabs x) 7) (pow (fabs x) 7)) (pow (fabs x) 7)))
  (* (cbrt (/ 1.0 (pow (fabs x) 7))) (cbrt (/ 1.0 (pow (fabs x) 7))))
  (cbrt (/ 1.0 (pow (fabs x) 7)))
  (* (* (/ 1.0 (pow (fabs x) 7)) (/ 1.0 (pow (fabs x) 7))) (/ 1.0 (pow (fabs x) 7)))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (neg 1.0)
  (neg (pow (fabs x) 7))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))
  (/ (cbrt 1.0) (pow (cbrt (fabs x)) 7))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (pow (sqrt (fabs x)) 7))
  (/ (cbrt 1.0) (pow (sqrt (fabs x)) 7))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (pow 1 7))
  (/ (cbrt 1.0) (pow (fabs x) 7))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))
  (/ (cbrt 1.0) (cbrt (pow (fabs x) 7)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (pow (fabs x) 7)))
  (/ (cbrt 1.0) (sqrt (pow (fabs x) 7)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) 1)
  (/ (cbrt 1.0) (pow (fabs x) 7))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (pow (fabs x) (/ 7 2)))
  (/ (cbrt 1.0) (pow (fabs x) (/ 7 2)))
  (/ (sqrt 1.0) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))
  (/ (sqrt 1.0) (pow (cbrt (fabs x)) 7))
  (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))
  (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))
  (/ (sqrt 1.0) (pow 1 7))
  (/ (sqrt 1.0) (pow (fabs x) 7))
  (/ (sqrt 1.0) (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))
  (/ (sqrt 1.0) (cbrt (pow (fabs x) 7)))
  (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))
  (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))
  (/ (sqrt 1.0) 1)
  (/ (sqrt 1.0) (pow (fabs x) 7))
  (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))
  (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))
  (/ 1 (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))
  (/ 1.0 (pow (cbrt (fabs x)) 7))
  (/ 1 (pow (sqrt (fabs x)) 7))
  (/ 1.0 (pow (sqrt (fabs x)) 7))
  (/ 1 (pow 1 7))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1 (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))
  (/ 1.0 (cbrt (pow (fabs x) 7)))
  (/ 1 (sqrt (pow (fabs x) 7)))
  (/ 1.0 (sqrt (pow (fabs x) 7)))
  (/ 1 1)
  (/ 1.0 (pow (fabs x) 7))
  (/ 1 (pow (fabs x) (/ 7 2)))
  (/ 1.0 (pow (fabs x) (/ 7 2)))
  (/ 1 (pow (fabs x) 7))
  (/ (pow (fabs x) 7) 1.0)
  (/ 1.0 (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))
  (/ 1.0 (pow (sqrt (fabs x)) 7))
  (/ 1.0 (pow 1 7))
  (/ 1.0 (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))
  (/ 1.0 (sqrt (pow (fabs x) 7)))
  (/ 1.0 1)
  (/ 1.0 (pow (fabs x) (/ 7 2)))
  (/ (pow (fabs x) 7) (cbrt 1.0))
  (/ (pow (fabs x) 7) (sqrt 1.0))
  (/ (pow (fabs x) 7) 1.0)
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 7))
1.320 * * [simplify]: iteration  0 :  5392  enodes  (cost  1321 )
1.326 * [simplify]: Simplified to:
   (* (log (/ 1.0 (fabs x))) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  5
  (pow (/ 1.0 (fabs x)) (* (cbrt 5) (cbrt 5)))
  (pow (/ 1.0 (fabs x)) (sqrt 5))
  (/ 1.0 (fabs x))
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5)
  (pow (cbrt (/ 1.0 (fabs x))) 5)
  (pow (/ 1.0 (fabs x)) 5/2)
  (pow (/ 1.0 (fabs x)) 5/2)
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5)
  (pow (cbrt (/ 1.0 (fabs x))) 5)
  (pow (* (cbrt 1.0) (/ (cbrt 1.0) (sqrt (fabs x)))) 5)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 5)
  (pow (* (cbrt 1.0) (cbrt 1.0)) 5)
  (pow (/ (cbrt 1.0) (fabs x)) 5)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5)
  (pow (sqrt 1.0) 5)
  (pow (/ (sqrt 1.0) (fabs x)) 5)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ 1.0 (cbrt (fabs x))) 5)
  (pow (/ 1 (sqrt (fabs x))) 5)
  (pow (/ 1.0 (sqrt (fabs x))) 5)
  1
  (pow (/ 1.0 (fabs x)) 5)
  1
  (pow (/ 1.0 (fabs x)) 5)
  (pow 1.0 5)
  (pow (/ 1 (fabs x)) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  (exp (pow (/ 1.0 (fabs x)) 5))
  (* (cbrt (pow (/ 1.0 (fabs x)) 5)) (cbrt (pow (/ 1.0 (fabs x)) 5)))
  (cbrt (pow (/ 1.0 (fabs x)) 5))
  (pow (pow (/ 1.0 (fabs x)) 5) 3)
  (sqrt (pow (/ 1.0 (fabs x)) 5))
  (sqrt (pow (/ 1.0 (fabs x)) 5))
  (pow (/ 1.0 (fabs x)) 5/2)
  (pow (/ 1.0 (fabs x)) 5/2)
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* PI (sqrt PI))
  (fabs (cbrt PI))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  1
  (sqrt PI)
  1/2
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (* (log (/ 1.0 (fabs x))) 3)
  (* (log (/ 1.0 (fabs x))) 3)
  (* (log (/ 1.0 (fabs x))) 3)
  3
  (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3)))
  (pow (/ 1.0 (fabs x)) (sqrt 3))
  (/ 1.0 (fabs x))
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (* (/ 1.0 (pow (sqrt (fabs x)) 3)) 1.0)
  (/ 1.0 (pow (sqrt (fabs x)) 3))
  (* 1.0 1.0)
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (/ (* (fabs x) (fabs x)) (sqrt 1.0)))
  (/ 1.0 (/ (fabs x) (sqrt 1.0)))
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (* 1.0 (sqrt 1.0))
  (pow (/ (sqrt 1.0) (fabs x)) 3)
  (/ 1 (* (fabs x) (fabs x)))
  (/ (pow 1.0 3) (fabs x))
  (/ 1 (pow (sqrt (fabs x)) 3))
  (pow (/ 1.0 (sqrt (fabs x))) 3)
  1
  (pow (/ 1.0 (fabs x)) 3)
  1
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1.0 3)
  (/ 1 (pow (fabs x) 3))
  (pow (/ 1.0 (fabs x)) 2)
  (* (log (/ 1.0 (fabs x))) 3)
  (exp (pow (/ 1.0 (fabs x)) 3))
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (pow (pow (/ 1.0 (fabs x)) 3) 3)
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (* (/ 1.0 (pow (sqrt (fabs x)) 3)) 1.0)
  (/ 1.0 (pow (sqrt (fabs x)) 3))
  (* 1.0 1.0)
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (/ (* (fabs x) (fabs x)) (sqrt 1.0)))
  (/ 1.0 (/ (fabs x) (sqrt 1.0)))
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (* 1.0 (sqrt 1.0))
  (pow (/ (sqrt 1.0) (fabs x)) 3)
  (/ 1 (* (fabs x) (fabs x)))
  (/ (pow 1.0 3) (fabs x))
  (/ 1 (pow (sqrt (fabs x)) 3))
  (pow (/ 1.0 (sqrt (fabs x))) 3)
  1
  (pow (/ 1.0 (fabs x)) 3)
  1
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1.0 3)
  (/ 1 (pow (fabs x) 3))
  (pow 1.0 3)
  (pow (fabs x) 3)
  (pow (/ 1.0 (fabs x)) 2)
  (sqrt (pow (/ 1.0 (fabs x)) 3))
  (sqrt (pow (/ 1.0 (fabs x)) 3))
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 3/2)
  (log (/ 1.0 (pow (fabs x) 7)))
  (log (/ 1.0 (pow (fabs x) 7)))
  (log (/ 1.0 (pow (fabs x) 7)))
  (log (/ 1.0 (pow (fabs x) 7)))
  (exp (/ 1.0 (pow (fabs x) 7)))
  (pow (/ 1.0 (pow (fabs x) 7)) 3)
  (* (cbrt (/ 1.0 (pow (fabs x) 7))) (cbrt (/ 1.0 (pow (fabs x) 7))))
  (cbrt (/ 1.0 (pow (fabs x) 7)))
  (pow (/ 1.0 (pow (fabs x) 7)) 3)
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (neg 1.0)
  (neg (pow (fabs x) 7))
  (* (/ (cbrt 1.0) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7)) (cbrt 1.0))
  (/ (cbrt 1.0) (pow (cbrt (fabs x)) 7))
  (* (/ (cbrt 1.0) (pow (sqrt (fabs x)) 7)) (cbrt 1.0))
  (/ (cbrt 1.0) (pow (sqrt (fabs x)) 7))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (pow (fabs x) 7))
  (* (/ (cbrt 1.0) (cbrt (pow (fabs x) 7))) (/ (cbrt 1.0) (cbrt (pow (fabs x) 7))))
  (/ (cbrt 1.0) (cbrt (pow (fabs x) 7)))
  (* (/ (cbrt 1.0) (sqrt (pow (fabs x) 7))) (cbrt 1.0))
  (/ (cbrt 1.0) (sqrt (pow (fabs x) 7)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (pow (fabs x) 7))
  (* (/ (cbrt 1.0) (pow (fabs x) 7/2)) (cbrt 1.0))
  (/ (cbrt 1.0) (pow (fabs x) 7/2))
  (/ (sqrt 1.0) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))
  (/ (sqrt 1.0) (pow (cbrt (fabs x)) 7))
  (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))
  (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))
  (sqrt 1.0)
  (/ (sqrt 1.0) (pow (fabs x) 7))
  (/ (sqrt 1.0) (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))
  (/ (sqrt 1.0) (cbrt (pow (fabs x) 7)))
  (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))
  (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (pow (fabs x) 7))
  (/ (sqrt 1.0) (pow (fabs x) 7/2))
  (/ (sqrt 1.0) (pow (fabs x) 7/2))
  (/ 1 (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))
  (/ 1.0 (pow (cbrt (fabs x)) 7))
  (/ 1 (pow (sqrt (fabs x)) 7))
  (/ 1.0 (pow (sqrt (fabs x)) 7))
  1
  (/ 1.0 (pow (fabs x) 7))
  (/ 1 (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))
  (/ 1.0 (cbrt (pow (fabs x) 7)))
  (/ 1 (sqrt (pow (fabs x) 7)))
  (/ 1.0 (sqrt (pow (fabs x) 7)))
  1
  (/ 1.0 (pow (fabs x) 7))
  (/ 1 (pow (fabs x) 7/2))
  (/ 1.0 (pow (fabs x) 7/2))
  (/ 1 (pow (fabs x) 7))
  (/ (pow (fabs x) 7) 1.0)
  (/ 1.0 (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))
  (/ 1.0 (pow (sqrt (fabs x)) 7))
  1.0
  (/ 1.0 (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))
  (/ 1.0 (sqrt (pow (fabs x) 7)))
  1.0
  (/ 1.0 (pow (fabs x) 7/2))
  (/ (pow (fabs x) 7) (cbrt 1.0))
  (/ (pow (fabs x) 7) (sqrt 1.0))
  (/ (pow (fabs x) 7) 1.0)
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 7))
1.327 * * * [progress]: adding candidates to table
1.625 * * [progress]: iteration 3 / 4
1.625 * * * [progress]: picking best candidate
1.681 * * * * [pick]: Picked  #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))))))))))>
1.681 * * * [progress]: localizing error
1.716 * * * [progress]: generating rewritten candidates
1.716 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1 2)
1.720 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.722 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2)
1.726 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2 2 2)
1.767 * * * [progress]: generating series expansions
1.767 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1 2)
1.767 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in (x) around 0
1.767 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x
1.767 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
1.767 * [taylor]: Taking taylor expansion of 1.0 in x
1.767 * [taylor]: Taking taylor expansion of (fabs x) in x
1.767 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x
1.767 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
1.767 * [taylor]: Taking taylor expansion of 1.0 in x
1.767 * [taylor]: Taking taylor expansion of (fabs x) in x
1.771 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in (x) around 0
1.771 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x
1.771 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
1.771 * [taylor]: Taking taylor expansion of 1.0 in x
1.771 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.771 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x
1.771 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
1.771 * [taylor]: Taking taylor expansion of 1.0 in x
1.771 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.775 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in (x) around 0
1.775 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x
1.775 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
1.775 * [taylor]: Taking taylor expansion of 1.0 in x
1.775 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.775 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x
1.775 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
1.775 * [taylor]: Taking taylor expansion of 1.0 in x
1.775 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.779 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.779 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2)
1.779 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in (x) around 0
1.779 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x
1.779 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
1.779 * [taylor]: Taking taylor expansion of 1.0 in x
1.779 * [taylor]: Taking taylor expansion of (fabs x) in x
1.780 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x
1.780 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
1.780 * [taylor]: Taking taylor expansion of 1.0 in x
1.780 * [taylor]: Taking taylor expansion of (fabs x) in x
1.782 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in (x) around 0
1.782 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x
1.782 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
1.782 * [taylor]: Taking taylor expansion of 1.0 in x
1.782 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.782 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x
1.782 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
1.782 * [taylor]: Taking taylor expansion of 1.0 in x
1.782 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.785 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in (x) around 0
1.785 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x
1.785 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
1.785 * [taylor]: Taking taylor expansion of 1.0 in x
1.785 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.786 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x
1.786 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
1.786 * [taylor]: Taking taylor expansion of 1.0 in x
1.786 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.788 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2 2 2)
1.789 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs x) 7)) in (x) around 0
1.789 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs x) 7)) in x
1.789 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
1.789 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.789 * [taylor]: Taking taylor expansion of 1.0 in x
1.789 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x
1.789 * [taylor]: Taking taylor expansion of (fabs x) in x
1.789 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs x) 7)) in x
1.789 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
1.789 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.789 * [taylor]: Taking taylor expansion of 1.0 in x
1.789 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x
1.789 * [taylor]: Taking taylor expansion of (fabs x) in x
1.795 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs (/ 1 x)) 7)) in (x) around 0
1.795 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs (/ 1 x)) 7)) in x
1.795 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
1.795 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.795 * [taylor]: Taking taylor expansion of 1.0 in x
1.795 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x
1.795 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.796 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs (/ 1 x)) 7)) in x
1.796 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
1.796 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.796 * [taylor]: Taking taylor expansion of 1.0 in x
1.796 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x
1.796 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.802 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs (/ -1 x)) 7)) in (x) around 0
1.802 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs (/ -1 x)) 7)) in x
1.802 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
1.802 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.802 * [taylor]: Taking taylor expansion of 1.0 in x
1.802 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x
1.802 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.803 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs (/ -1 x)) 7)) in x
1.803 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
1.803 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
1.803 * [taylor]: Taking taylor expansion of 1.0 in x
1.803 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x
1.803 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.814 * * * [progress]: simplifying candidates
1.818 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- (log 1.0) (log (fabs x))) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  (* 1 5)
  (pow (/ 1.0 (fabs x)) (* (cbrt 5) (cbrt 5)))
  (pow (/ 1.0 (fabs x)) (sqrt 5))
  (pow (/ 1.0 (fabs x)) 1)
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5)
  (pow (cbrt (/ 1.0 (fabs x))) 5)
  (pow (sqrt (/ 1.0 (fabs x))) 5)
  (pow (sqrt (/ 1.0 (fabs x))) 5)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ (cbrt 1.0) (cbrt (fabs x))) 5)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 5)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 5)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 5)
  (pow (/ (cbrt 1.0) (fabs x)) 5)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) 1) 5)
  (pow (/ (sqrt 1.0) (fabs x)) 5)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ 1.0 (cbrt (fabs x))) 5)
  (pow (/ 1 (sqrt (fabs x))) 5)
  (pow (/ 1.0 (sqrt (fabs x))) 5)
  (pow (/ 1 1) 5)
  (pow (/ 1.0 (fabs x)) 5)
  (pow 1 5)
  (pow (/ 1.0 (fabs x)) 5)
  (pow 1.0 5)
  (pow (/ 1 (fabs x)) 5)
  (log (pow (/ 1.0 (fabs x)) 5))
  (exp (pow (/ 1.0 (fabs x)) 5))
  (* (cbrt (pow (/ 1.0 (fabs x)) 5)) (cbrt (pow (/ 1.0 (fabs x)) 5)))
  (cbrt (pow (/ 1.0 (fabs x)) 5))
  (* (* (pow (/ 1.0 (fabs x)) 5) (pow (/ 1.0 (fabs x)) 5)) (pow (/ 1.0 (fabs x)) 5))
  (sqrt (pow (/ 1.0 (fabs x)) 5))
  (sqrt (pow (/ 1.0 (fabs x)) 5))
  (pow (/ 1.0 (fabs x)) (/ 5 2))
  (pow (/ 1.0 (fabs x)) (/ 5 2))
  (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))
  (* (- (log 1.0) (log (fabs x))) 3)
  (* (log (/ 1.0 (fabs x))) 3)
  (* (log (/ 1.0 (fabs x))) 3)
  (* 1 3)
  (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3)))
  (pow (/ 1.0 (fabs x)) (sqrt 3))
  (pow (/ 1.0 (fabs x)) 1)
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3)
  (pow (cbrt (/ 1.0 (fabs x))) 3)
  (pow (sqrt (/ 1.0 (fabs x))) 3)
  (pow (sqrt (/ 1.0 (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3)
  (pow (/ (cbrt 1.0) (fabs x)) 3)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) 1) 3)
  (pow (/ (sqrt 1.0) (fabs x)) 3)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ 1.0 (cbrt (fabs x))) 3)
  (pow (/ 1 (sqrt (fabs x))) 3)
  (pow (/ 1.0 (sqrt (fabs x))) 3)
  (pow (/ 1 1) 3)
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1 3)
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1.0 3)
  (pow (/ 1 (fabs x)) 3)
  (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
  (log (pow (/ 1.0 (fabs x)) 3))
  (exp (pow (/ 1.0 (fabs x)) 3))
  (* (cbrt (pow (/ 1.0 (fabs x)) 3)) (cbrt (pow (/ 1.0 (fabs x)) 3)))
  (cbrt (pow (/ 1.0 (fabs x)) 3))
  (* (* (pow (/ 1.0 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 3))
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3)
  (pow (cbrt (/ 1.0 (fabs x))) 3)
  (pow (sqrt (/ 1.0 (fabs x))) 3)
  (pow (sqrt (/ 1.0 (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3)
  (pow (/ (cbrt 1.0) (fabs x)) 3)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) 1) 3)
  (pow (/ (sqrt 1.0) (fabs x)) 3)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ 1.0 (cbrt (fabs x))) 3)
  (pow (/ 1 (sqrt (fabs x))) 3)
  (pow (/ 1.0 (sqrt (fabs x))) 3)
  (pow (/ 1 1) 3)
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1 3)
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1.0 3)
  (pow (/ 1 (fabs x)) 3)
  (pow 1.0 3)
  (pow (fabs x) 3)
  (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
  (sqrt (pow (/ 1.0 (fabs x)) 3))
  (sqrt (pow (/ 1.0 (fabs x)) 3))
  (pow (/ 1.0 (fabs x)) (/ 3 2))
  (pow (/ 1.0 (fabs x)) (/ 3 2))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (/ 1.0 (pow (fabs x) 7)) (/ 1.0 (pow (fabs x) 7)))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (/ 1.0 (pow (fabs x) 7)) (/ 1.0 (pow (fabs x) 7)))
  (+ 1 1)
  (+ (log (sqrt (/ 1.0 (pow (fabs x) 7)))) (log (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (log (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (exp (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (* (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7)))) (* (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (cbrt (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))) (cbrt (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))))
  (cbrt (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (* (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))) (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))) (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (/ 1.0 (pow (fabs x) 7)) (/ 1.0 (pow (fabs x) 7)))
  (sqrt (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (sqrt (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt 1.0) (sqrt 1.0))
  (* (sqrt (pow (fabs x) 7)) (sqrt (pow (fabs x) 7)))
  (* (* (cbrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (cbrt (sqrt (/ 1.0 (pow (fabs x) 7))))) (* (cbrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (cbrt (sqrt (/ 1.0 (pow (fabs x) 7))))))
  (* (cbrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (cbrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (* (cbrt (/ 1.0 (pow (fabs x) 7))) (cbrt (/ 1.0 (pow (fabs x) 7))))) (sqrt (* (cbrt (/ 1.0 (pow (fabs x) 7))) (cbrt (/ 1.0 (pow (fabs x) 7))))))
  (* (sqrt (cbrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (cbrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))))
  (* (sqrt (/ (cbrt 1.0) (pow (cbrt (fabs x)) 7))) (sqrt (/ (cbrt 1.0) (pow (cbrt (fabs x)) 7))))
  (* (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (pow (sqrt (fabs x)) 7))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ (cbrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ (cbrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (pow 1 7))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (pow 1 7))))
  (* (sqrt (/ (cbrt 1.0) (pow (fabs x) 7))) (sqrt (/ (cbrt 1.0) (pow (fabs x) 7))))
  (* (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))))
  (* (sqrt (/ (cbrt 1.0) (cbrt (pow (fabs x) 7)))) (sqrt (/ (cbrt 1.0) (cbrt (pow (fabs x) 7)))))
  (* (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (pow (fabs x) 7)))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ (cbrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (/ (cbrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)))
  (* (sqrt (/ (cbrt 1.0) (pow (fabs x) 7))) (sqrt (/ (cbrt 1.0) (pow (fabs x) 7))))
  (* (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (pow (fabs x) (/ 7 2)))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (pow (fabs x) (/ 7 2)))))
  (* (sqrt (/ (cbrt 1.0) (pow (fabs x) (/ 7 2)))) (sqrt (/ (cbrt 1.0) (pow (fabs x) (/ 7 2)))))
  (* (sqrt (/ (sqrt 1.0) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))) (sqrt (/ (sqrt 1.0) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))))
  (* (sqrt (/ (sqrt 1.0) (pow (cbrt (fabs x)) 7))) (sqrt (/ (sqrt 1.0) (pow (cbrt (fabs x)) 7))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ (sqrt 1.0) (pow 1 7))) (sqrt (/ (sqrt 1.0) (pow 1 7))))
  (* (sqrt (/ (sqrt 1.0) (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7))))
  (* (sqrt (/ (sqrt 1.0) (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))) (sqrt (/ (sqrt 1.0) (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))))
  (* (sqrt (/ (sqrt 1.0) (cbrt (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (cbrt (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) 1)) (sqrt (/ (sqrt 1.0) 1)))
  (* (sqrt (/ (sqrt 1.0) (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7))))
  (* (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))))
  (* (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))))
  (* (sqrt (/ 1 (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))) (sqrt (/ 1 (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))))
  (* (sqrt (/ 1.0 (pow (cbrt (fabs x)) 7))) (sqrt (/ 1.0 (pow (cbrt (fabs x)) 7))))
  (* (sqrt (/ 1 (pow (sqrt (fabs x)) 7))) (sqrt (/ 1 (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ 1.0 (pow (sqrt (fabs x)) 7))) (sqrt (/ 1.0 (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ 1 (pow 1 7))) (sqrt (/ 1 (pow 1 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ 1 (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))) (sqrt (/ 1 (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))))
  (* (sqrt (/ 1.0 (cbrt (pow (fabs x) 7)))) (sqrt (/ 1.0 (cbrt (pow (fabs x) 7)))))
  (* (sqrt (/ 1 (sqrt (pow (fabs x) 7)))) (sqrt (/ 1 (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ 1.0 (sqrt (pow (fabs x) 7)))) (sqrt (/ 1.0 (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ 1 (pow (fabs x) (/ 7 2)))) (sqrt (/ 1 (pow (fabs x) (/ 7 2)))))
  (* (sqrt (/ 1.0 (pow (fabs x) (/ 7 2)))) (sqrt (/ 1.0 (pow (fabs x) (/ 7 2)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt 1.0) (sqrt 1.0))
  (* (sqrt (/ 1 (pow (fabs x) 7))) (sqrt (/ 1 (pow (fabs x) 7))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* 1 1)
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))))
  (* (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))))
  (* (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (* (cbrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (cbrt (sqrt (/ 1.0 (pow (fabs x) 7))))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (* (cbrt (/ 1.0 (pow (fabs x) 7))) (cbrt (/ 1.0 (pow (fabs x) 7))))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (pow 1 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1)))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (pow (fabs x) (/ 7 2)))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (pow 1 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) 1)))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1 (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1 (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1 (pow 1 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1 (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1 (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1 1)))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1 (pow (fabs x) (/ 7 2)))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt 1))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt 1.0))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) 1)
  (* (cbrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (cbrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ (cbrt 1.0) (pow (cbrt (fabs x)) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ (cbrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ (cbrt 1.0) (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ (cbrt 1.0) (cbrt (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ (cbrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ (cbrt 1.0) (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ (cbrt 1.0) (pow (fabs x) (/ 7 2)))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ (sqrt 1.0) (pow (cbrt (fabs x)) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ (sqrt 1.0) (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ (sqrt 1.0) (cbrt (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ (sqrt 1.0) (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ (sqrt 1.0) (pow (fabs x) (/ 7 2)))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ 1.0 (pow (cbrt (fabs x)) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ 1.0 (pow (sqrt (fabs x)) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ 1.0 (cbrt (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ 1.0 (sqrt (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) (/ 7 2)))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ 1 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt 1.0))
  (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
  (/ (pow (sqrt 1.0) 2) (pow (fabs x) 7))
  (/ (pow (sqrt 1.0) 2) (pow (fabs x) 7))
  (/ (pow (sqrt 1.0) 2) (pow (fabs x) 7))
1.850 * * [simplify]: iteration  0 :  4961  enodes  (cost  2973 )
1.851 * * [simplify]: iteration  1 :  4961  enodes  (cost  2973 )
1.862 * [simplify]: Simplified to:
   (* (log (/ 1.0 (fabs x))) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  5
  (pow (/ 1.0 (fabs x)) (* (cbrt 5) (cbrt 5)))
  (pow (/ 1.0 (fabs x)) (sqrt 5))
  (/ 1.0 (fabs x))
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5)
  (pow (cbrt (/ 1.0 (fabs x))) 5)
  (pow (sqrt (/ 1.0 (fabs x))) 5)
  (pow (sqrt (/ 1.0 (fabs x))) 5)
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5)
  (pow (cbrt (/ 1.0 (fabs x))) 5)
  (pow (* (cbrt 1.0) (/ (cbrt 1.0) (sqrt (fabs x)))) 5)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 5)
  (pow (* (cbrt 1.0) (cbrt 1.0)) 5)
  (pow (/ (cbrt 1.0) (fabs x)) 5)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5)
  (pow (sqrt 1.0) 5)
  (pow (/ (sqrt 1.0) (fabs x)) 5)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ 1.0 (cbrt (fabs x))) 5)
  (pow (/ 1 (sqrt (fabs x))) 5)
  (pow (/ 1.0 (sqrt (fabs x))) 5)
  1
  (pow (/ 1.0 (fabs x)) 5)
  1
  (pow (/ 1.0 (fabs x)) 5)
  (pow 1.0 5)
  (pow (/ 1 (fabs x)) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  (exp (pow (/ 1.0 (fabs x)) 5))
  (* (cbrt (pow (/ 1.0 (fabs x)) 5)) (cbrt (pow (/ 1.0 (fabs x)) 5)))
  (cbrt (pow (/ 1.0 (fabs x)) 5))
  (pow (pow (/ 1.0 (fabs x)) 5) 3)
  (sqrt (pow (/ 1.0 (fabs x)) 5))
  (sqrt (pow (/ 1.0 (fabs x)) 5))
  (pow (/ 1.0 (fabs x)) 5/2)
  (pow (/ 1.0 (fabs x)) 5/2)
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* PI (sqrt PI))
  (fabs (cbrt PI))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  1
  (sqrt PI)
  1/2
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (* (log (/ 1.0 (fabs x))) 3)
  (* (log (/ 1.0 (fabs x))) 3)
  (* (log (/ 1.0 (fabs x))) 3)
  3
  (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3)))
  (pow (/ 1.0 (fabs x)) (sqrt 3))
  (/ 1.0 (fabs x))
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (* (/ 1.0 (pow (sqrt (fabs x)) 3)) 1.0)
  (/ 1.0 (pow (sqrt (fabs x)) 3))
  (* 1.0 1.0)
  (/ 1.0 (pow (fabs x) 3))
  (* (sqrt 1.0) (/ (/ 1.0 (fabs x)) (fabs x)))
  (* (sqrt 1.0) (/ 1.0 (fabs x)))
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (* 1.0 (sqrt 1.0))
  (pow (/ (sqrt 1.0) (fabs x)) 3)
  (/ 1 (* (fabs x) (fabs x)))
  (/ (pow 1.0 3) (fabs x))
  (/ 1 (pow (sqrt (fabs x)) 3))
  (pow (/ 1.0 (sqrt (fabs x))) 3)
  1
  (pow (/ 1.0 (fabs x)) 3)
  1
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1.0 3)
  (/ 1 (pow (fabs x) 3))
  (pow (/ 1.0 (fabs x)) 2)
  (* (log (/ 1.0 (fabs x))) 3)
  (exp (pow (/ 1.0 (fabs x)) 3))
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (pow (pow (/ 1.0 (fabs x)) 3) 3)
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (* (/ 1.0 (pow (sqrt (fabs x)) 3)) 1.0)
  (/ 1.0 (pow (sqrt (fabs x)) 3))
  (* 1.0 1.0)
  (/ 1.0 (pow (fabs x) 3))
  (* (sqrt 1.0) (/ (/ 1.0 (fabs x)) (fabs x)))
  (* (sqrt 1.0) (/ 1.0 (fabs x)))
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (* 1.0 (sqrt 1.0))
  (pow (/ (sqrt 1.0) (fabs x)) 3)
  (/ 1 (* (fabs x) (fabs x)))
  (/ (pow 1.0 3) (fabs x))
  (/ 1 (pow (sqrt (fabs x)) 3))
  (pow (/ 1.0 (sqrt (fabs x))) 3)
  1
  (pow (/ 1.0 (fabs x)) 3)
  1
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1.0 3)
  (/ 1 (pow (fabs x) 3))
  (pow 1.0 3)
  (pow (fabs x) 3)
  (pow (/ 1.0 (fabs x)) 2)
  (sqrt (pow (/ 1.0 (fabs x)) 3))
  (sqrt (pow (/ 1.0 (fabs x)) 3))
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 3/2)
  1
  1
  2
  1
  1
  (pow (sqrt (/ 1.0 (pow (fabs x) 7))) 4)
  (/ 1.0 (pow (fabs x) 7))
  (pow (sqrt (/ 1.0 (pow (fabs x) 7))) 4)
  2
  (log (/ 1.0 (pow (fabs x) 7)))
  (log (/ 1.0 (pow (fabs x) 7)))
  (exp (/ 1.0 (pow (fabs x) 7)))
  (pow (/ 1.0 (pow (fabs x) 7)) 3)
  (* (cbrt (/ 1.0 (pow (fabs x) 7))) (cbrt (/ 1.0 (pow (fabs x) 7))))
  (cbrt (/ 1.0 (pow (fabs x) 7)))
  (pow (/ 1.0 (pow (fabs x) 7)) 3)
  (pow (sqrt (/ 1.0 (pow (fabs x) 7))) 4)
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  1.0
  (pow (fabs x) 7)
  (pow (cbrt (sqrt (/ 1.0 (pow (fabs x) 7)))) 4)
  (* (cbrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (cbrt (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (cbrt (/ 1.0 (pow (fabs x) 7))) (cbrt (/ 1.0 (pow (fabs x) 7))))
  (cbrt (/ 1.0 (pow (fabs x) 7)))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (* (/ (cbrt 1.0) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7)) (cbrt 1.0))
  (/ (cbrt 1.0) (pow (cbrt (fabs x)) 7))
  (* (/ (cbrt 1.0) (pow (sqrt (fabs x)) 7)) (cbrt 1.0))
  (/ (cbrt 1.0) (pow (sqrt (fabs x)) 7))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (pow (fabs x) 7))
  (* (/ (cbrt 1.0) (cbrt (pow (fabs x) 7))) (/ (cbrt 1.0) (cbrt (pow (fabs x) 7))))
  (/ (cbrt 1.0) (cbrt (pow (fabs x) 7)))
  (* (/ (cbrt 1.0) (sqrt (pow (fabs x) 7))) (cbrt 1.0))
  (/ (cbrt 1.0) (sqrt (pow (fabs x) 7)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (pow (fabs x) 7))
  (* (/ (cbrt 1.0) (pow (fabs x) 7/2)) (cbrt 1.0))
  (/ (cbrt 1.0) (pow (fabs x) 7/2))
  (/ (sqrt 1.0) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))
  (/ (sqrt 1.0) (pow (cbrt (fabs x)) 7))
  (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))
  (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))
  (sqrt 1.0)
  (/ (sqrt 1.0) (pow (fabs x) 7))
  (/ (sqrt 1.0) (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))
  (/ (sqrt 1.0) (cbrt (pow (fabs x) 7)))
  (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))
  (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (pow (fabs x) 7))
  (/ (sqrt 1.0) (pow (fabs x) 7/2))
  (/ (sqrt 1.0) (pow (fabs x) 7/2))
  (/ 1 (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))
  (/ 1.0 (pow (cbrt (fabs x)) 7))
  (/ 1 (pow (sqrt (fabs x)) 7))
  (/ 1.0 (pow (sqrt (fabs x)) 7))
  1
  (/ 1.0 (pow (fabs x) 7))
  (/ 1 (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))
  (/ 1.0 (cbrt (pow (fabs x) 7)))
  (/ 1 (sqrt (pow (fabs x) 7)))
  (/ 1.0 (sqrt (pow (fabs x) 7)))
  1
  (/ 1.0 (pow (fabs x) 7))
  (/ 1 (pow (fabs x) 7/2))
  (/ 1.0 (pow (fabs x) 7/2))
  1
  (/ 1.0 (pow (fabs x) 7))
  1.0
  (/ 1 (pow (fabs x) 7))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  1
  (/ 1.0 (pow (fabs x) 7))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))
  (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))
  (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))
  (* (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (* (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (* (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (/ (sqrt 1.0) (pow (fabs x) 7/2))
  (/ (sqrt 1.0) (pow (fabs x) 7/2))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (* (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  1
  2
  1
  (* (cbrt (sqrt (/ 1.0 (pow (fabs x) 7)))) (pow (cbrt (sqrt (/ 1.0 (pow (fabs x) 7)))) 4))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (fabs (cbrt (/ 1.0 (pow (fabs x) 7)))))
  (pow (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) 3)
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (fabs (/ (cbrt 1.0) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7/2))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (fabs (/ (cbrt 1.0) (pow (sqrt (fabs x)) 7/2))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (fabs (cbrt 1.0)))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (fabs (/ (cbrt 1.0) (cbrt (pow (fabs x) 7)))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (* (/ (cbrt 1.0) (sqrt (pow (fabs x) 7))) (cbrt 1.0))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (fabs (cbrt 1.0)))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (fabs (/ (cbrt 1.0) (pow (fabs x) 7/4))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (sqrt 1.0)))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (fabs (/ (sqrt (sqrt 1.0)) (cbrt (pow (fabs x) 7)))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (sqrt 1.0)))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1 (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1 (pow (sqrt (fabs x)) 7))))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1 (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1 (sqrt (pow (fabs x) 7)))))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1 (pow (fabs x) 7/2))))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (pow (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) 3)
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (pow (cbrt (sqrt (/ 1.0 (pow (fabs x) 7)))) 4)
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (cbrt (/ 1.0 (pow (fabs x) 7)))))
  (pow (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) 3)
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (cbrt 1.0) (pow (cbrt (fabs x)) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (cbrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (cbrt 1.0) (pow (fabs x) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (cbrt 1.0) (cbrt (pow (fabs x) 7)))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (cbrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (cbrt 1.0) (pow (fabs x) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (cbrt 1.0) (pow (fabs x) 7/2))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (pow (cbrt (fabs x)) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (pow (sqrt (fabs x)) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (cbrt (pow (fabs x) 7)))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ (sqrt 1.0) (pow (fabs x) 7/2))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (cbrt (fabs x)) 7))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (sqrt (fabs x)) 7))))
  (/ 1.0 (pow (fabs x) 7))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (cbrt (pow (fabs x) 7)))))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (sqrt (pow (fabs x) 7)))))
  (/ 1.0 (pow (fabs x) 7))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7/2))))
  (/ 1.0 (pow (fabs x) 7))
  (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1 (pow (fabs x) 7))))
  (pow (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) 3)
  (/ 1.0 (pow (fabs x) 7))
  (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (sqrt (/ 1.0 (pow (fabs x) 7)))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 7))
1.864 * * * [progress]: adding candidates to table
2.547 * * [progress]: iteration 4 / 4
2.548 * * * [progress]: picking best candidate
2.614 * * * * [pick]: Picked  #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7))))))))))>
2.614 * * * [progress]: localizing error
2.652 * * * [progress]: generating rewritten candidates
2.652 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1 2)
2.656 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
2.658 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2)
2.663 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2 2 2)
2.680 * * * [progress]: generating series expansions
2.680 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1 2)
2.680 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in (x) around 0
2.680 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x
2.680 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
2.680 * [taylor]: Taking taylor expansion of 1.0 in x
2.680 * [taylor]: Taking taylor expansion of (fabs x) in x
2.680 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x
2.680 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
2.680 * [taylor]: Taking taylor expansion of 1.0 in x
2.680 * [taylor]: Taking taylor expansion of (fabs x) in x
2.684 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in (x) around 0
2.684 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x
2.684 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
2.684 * [taylor]: Taking taylor expansion of 1.0 in x
2.684 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
2.684 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x
2.684 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
2.684 * [taylor]: Taking taylor expansion of 1.0 in x
2.684 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
2.691 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in (x) around 0
2.691 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x
2.691 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
2.691 * [taylor]: Taking taylor expansion of 1.0 in x
2.691 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
2.691 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x
2.691 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
2.691 * [taylor]: Taking taylor expansion of 1.0 in x
2.691 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
2.695 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
2.695 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2)
2.695 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in (x) around 0
2.695 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x
2.695 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
2.695 * [taylor]: Taking taylor expansion of 1.0 in x
2.695 * [taylor]: Taking taylor expansion of (fabs x) in x
2.695 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x
2.695 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
2.695 * [taylor]: Taking taylor expansion of 1.0 in x
2.695 * [taylor]: Taking taylor expansion of (fabs x) in x
2.698 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in (x) around 0
2.698 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x
2.698 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
2.698 * [taylor]: Taking taylor expansion of 1.0 in x
2.698 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
2.698 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x
2.698 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
2.698 * [taylor]: Taking taylor expansion of 1.0 in x
2.698 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
2.701 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in (x) around 0
2.701 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x
2.701 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
2.701 * [taylor]: Taking taylor expansion of 1.0 in x
2.701 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
2.701 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x
2.701 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
2.701 * [taylor]: Taking taylor expansion of 1.0 in x
2.701 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
2.704 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2 2 2)
2.704 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs x) 7)) in (x) around 0
2.704 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs x) 7)) in x
2.704 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
2.704 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.704 * [taylor]: Taking taylor expansion of 1.0 in x
2.704 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x
2.704 * [taylor]: Taking taylor expansion of (fabs x) in x
2.705 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs x) 7)) in x
2.705 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
2.705 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.705 * [taylor]: Taking taylor expansion of 1.0 in x
2.705 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x
2.705 * [taylor]: Taking taylor expansion of (fabs x) in x
2.711 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs (/ 1 x)) 7)) in (x) around 0
2.711 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs (/ 1 x)) 7)) in x
2.711 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
2.711 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.711 * [taylor]: Taking taylor expansion of 1.0 in x
2.711 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x
2.711 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
2.711 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs (/ 1 x)) 7)) in x
2.711 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
2.711 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.711 * [taylor]: Taking taylor expansion of 1.0 in x
2.711 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x
2.711 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
2.718 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs (/ -1 x)) 7)) in (x) around 0
2.718 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs (/ -1 x)) 7)) in x
2.718 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
2.718 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.718 * [taylor]: Taking taylor expansion of 1.0 in x
2.718 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x
2.718 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
2.719 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 1.0) 2) (pow (fabs (/ -1 x)) 7)) in x
2.719 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
2.719 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
2.719 * [taylor]: Taking taylor expansion of 1.0 in x
2.719 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x
2.719 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
2.725 * * * [progress]: simplifying candidates
2.728 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- (log 1.0) (log (fabs x))) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  (* 1 5)
  (pow (/ 1.0 (fabs x)) (* (cbrt 5) (cbrt 5)))
  (pow (/ 1.0 (fabs x)) (sqrt 5))
  (pow (/ 1.0 (fabs x)) 1)
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5)
  (pow (cbrt (/ 1.0 (fabs x))) 5)
  (pow (sqrt (/ 1.0 (fabs x))) 5)
  (pow (sqrt (/ 1.0 (fabs x))) 5)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ (cbrt 1.0) (cbrt (fabs x))) 5)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 5)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 5)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 5)
  (pow (/ (cbrt 1.0) (fabs x)) 5)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) 1) 5)
  (pow (/ (sqrt 1.0) (fabs x)) 5)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ 1.0 (cbrt (fabs x))) 5)
  (pow (/ 1 (sqrt (fabs x))) 5)
  (pow (/ 1.0 (sqrt (fabs x))) 5)
  (pow (/ 1 1) 5)
  (pow (/ 1.0 (fabs x)) 5)
  (pow 1 5)
  (pow (/ 1.0 (fabs x)) 5)
  (pow 1.0 5)
  (pow (/ 1 (fabs x)) 5)
  (log (pow (/ 1.0 (fabs x)) 5))
  (exp (pow (/ 1.0 (fabs x)) 5))
  (* (cbrt (pow (/ 1.0 (fabs x)) 5)) (cbrt (pow (/ 1.0 (fabs x)) 5)))
  (cbrt (pow (/ 1.0 (fabs x)) 5))
  (* (* (pow (/ 1.0 (fabs x)) 5) (pow (/ 1.0 (fabs x)) 5)) (pow (/ 1.0 (fabs x)) 5))
  (sqrt (pow (/ 1.0 (fabs x)) 5))
  (sqrt (pow (/ 1.0 (fabs x)) 5))
  (pow (/ 1.0 (fabs x)) (/ 5 2))
  (pow (/ 1.0 (fabs x)) (/ 5 2))
  (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))
  (* (- (log 1.0) (log (fabs x))) 3)
  (* (log (/ 1.0 (fabs x))) 3)
  (* (log (/ 1.0 (fabs x))) 3)
  (* 1 3)
  (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3)))
  (pow (/ 1.0 (fabs x)) (sqrt 3))
  (pow (/ 1.0 (fabs x)) 1)
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3)
  (pow (cbrt (/ 1.0 (fabs x))) 3)
  (pow (sqrt (/ 1.0 (fabs x))) 3)
  (pow (sqrt (/ 1.0 (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3)
  (pow (/ (cbrt 1.0) (fabs x)) 3)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) 1) 3)
  (pow (/ (sqrt 1.0) (fabs x)) 3)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ 1.0 (cbrt (fabs x))) 3)
  (pow (/ 1 (sqrt (fabs x))) 3)
  (pow (/ 1.0 (sqrt (fabs x))) 3)
  (pow (/ 1 1) 3)
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1 3)
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1.0 3)
  (pow (/ 1 (fabs x)) 3)
  (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
  (log (pow (/ 1.0 (fabs x)) 3))
  (exp (pow (/ 1.0 (fabs x)) 3))
  (* (cbrt (pow (/ 1.0 (fabs x)) 3)) (cbrt (pow (/ 1.0 (fabs x)) 3)))
  (cbrt (pow (/ 1.0 (fabs x)) 3))
  (* (* (pow (/ 1.0 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 3))
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3)
  (pow (cbrt (/ 1.0 (fabs x))) 3)
  (pow (sqrt (/ 1.0 (fabs x))) 3)
  (pow (sqrt (/ 1.0 (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3)
  (pow (/ (cbrt 1.0) (fabs x)) 3)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) 1) 3)
  (pow (/ (sqrt 1.0) (fabs x)) 3)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3)
  (pow (/ 1.0 (cbrt (fabs x))) 3)
  (pow (/ 1 (sqrt (fabs x))) 3)
  (pow (/ 1.0 (sqrt (fabs x))) 3)
  (pow (/ 1 1) 3)
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1 3)
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1.0 3)
  (pow (/ 1 (fabs x)) 3)
  (pow 1.0 3)
  (pow (fabs x) 3)
  (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
  (sqrt (pow (/ 1.0 (fabs x)) 3))
  (sqrt (pow (/ 1.0 (fabs x)) 3))
  (pow (/ 1.0 (fabs x)) (/ 3 2))
  (pow (/ 1.0 (fabs x)) (/ 3 2))
  (- (+ (log (sqrt 1.0)) (log (sqrt (/ 1.0 (pow (fabs x) 7))))) (log (sqrt (pow (fabs x) 7))))
  (- (log (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7))))) (log (sqrt (pow (fabs x) 7))))
  (log (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7))))
  (exp (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7))))
  (/ (* (* (* (sqrt 1.0) (sqrt 1.0)) (sqrt 1.0)) (* (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7))))) (* (* (sqrt (pow (fabs x) 7)) (sqrt (pow (fabs x) 7))) (sqrt (pow (fabs x) 7))))
  (/ (* (* (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7))))) (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7))))) (* (* (sqrt (pow (fabs x) 7)) (sqrt (pow (fabs x) 7))) (sqrt (pow (fabs x) 7))))
  (* (cbrt (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7)))) (cbrt (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7)))))
  (cbrt (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7))))
  (* (* (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7))) (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7)))) (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7))))
  (/ (* 1.0 (/ 1.0 (pow (fabs x) 7))) (pow (fabs x) 7))
  (sqrt (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7))))
  (sqrt (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7))))
  (neg (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (neg (sqrt (pow (fabs x) 7)))
  (/ (sqrt 1.0) (* (cbrt (sqrt (pow (fabs x) 7))) (cbrt (sqrt (pow (fabs x) 7)))))
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (cbrt (sqrt (pow (fabs x) 7))))
  (/ (sqrt 1.0) (sqrt (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7)))
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (pow (cbrt (fabs x)) 7)))
  (/ (sqrt 1.0) (sqrt (pow (sqrt (fabs x)) 7)))
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (pow (sqrt (fabs x)) 7)))
  (/ (sqrt 1.0) (sqrt (pow 1 7)))
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (pow (fabs x) 7)))
  (/ (sqrt 1.0) (sqrt (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7)))))
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (cbrt (pow (fabs x) 7))))
  (/ (sqrt 1.0) (sqrt (sqrt (pow (fabs x) 7))))
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (sqrt (pow (fabs x) 7))))
  (/ (sqrt 1.0) (sqrt 1))
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (pow (fabs x) 7)))
  (/ (sqrt 1.0) (sqrt (pow (fabs x) (/ 7 2))))
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (pow (fabs x) (/ 7 2))))
  (/ (sqrt 1.0) (sqrt (sqrt (pow (fabs x) 7))))
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (sqrt (pow (fabs x) 7))))
  (/ (sqrt 1.0) 1)
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (pow (fabs x) 7)))
  (/ 1 (sqrt (pow (fabs x) 7)))
  (/ (sqrt (pow (fabs x) 7)) (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (* (cbrt (sqrt (pow (fabs x) 7))) (cbrt (sqrt (pow (fabs x) 7)))))
  (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7)))
  (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (sqrt (fabs x)) 7)))
  (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow 1 7)))
  (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7)))))
  (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (pow (fabs x) 7))))
  (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt 1))
  (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) (/ 7 2))))
  (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (sqrt (pow (fabs x) 7))))
  (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) 1)
  (/ (sqrt (pow (fabs x) 7)) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt (pow (fabs x) 7)) (sqrt (pow (fabs x) 7)))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7)))))))))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
  (/ (pow (sqrt 1.0) 2) (pow (fabs x) 7))
  (/ (pow (sqrt 1.0) 2) (pow (fabs x) 7))
  (/ (pow (sqrt 1.0) 2) (pow (fabs x) 7))
2.753 * * [simplify]: iteration  0 :  5004  enodes  (cost  1526 )
2.760 * [simplify]: Simplified to:
   (* (log (/ 1.0 (fabs x))) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  5
  (pow (/ 1.0 (fabs x)) (* (cbrt 5) (cbrt 5)))
  (pow (/ 1.0 (fabs x)) (sqrt 5))
  (/ 1.0 (fabs x))
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5)
  (pow (cbrt (/ 1.0 (fabs x))) 5)
  (pow (sqrt (/ 1.0 (fabs x))) 5)
  (pow (sqrt (/ 1.0 (fabs x))) 5)
  (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5)
  (pow (cbrt (/ 1.0 (fabs x))) 5)
  (pow (* (/ (cbrt 1.0) (sqrt (fabs x))) (cbrt 1.0)) 5)
  (pow (/ (cbrt 1.0) (sqrt (fabs x))) 5)
  (pow (* (cbrt 1.0) (cbrt 1.0)) 5)
  (pow (/ (cbrt 1.0) (fabs x)) 5)
  (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ (sqrt 1.0) (cbrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5)
  (pow (sqrt 1.0) 5)
  (pow (/ (sqrt 1.0) (fabs x)) 5)
  (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 5)
  (pow (/ 1.0 (cbrt (fabs x))) 5)
  (pow (/ 1 (sqrt (fabs x))) 5)
  (pow (/ 1.0 (sqrt (fabs x))) 5)
  1
  (pow (/ 1.0 (fabs x)) 5)
  1
  (pow (/ 1.0 (fabs x)) 5)
  (pow 1.0 5)
  (pow (/ 1 (fabs x)) 5)
  (* (log (/ 1.0 (fabs x))) 5)
  (exp (pow (/ 1.0 (fabs x)) 5))
  (* (cbrt (pow (/ 1.0 (fabs x)) 5)) (cbrt (pow (/ 1.0 (fabs x)) 5)))
  (cbrt (pow (/ 1.0 (fabs x)) 5))
  (pow (pow (/ 1.0 (fabs x)) 5) 3)
  (sqrt (pow (/ 1.0 (fabs x)) 5))
  (sqrt (pow (/ 1.0 (fabs x)) 5))
  (pow (/ 1.0 (fabs x)) 5/2)
  (pow (/ 1.0 (fabs x)) 5/2)
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* PI (sqrt PI))
  (fabs (cbrt PI))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  1
  (sqrt PI)
  1/2
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (* (log (/ 1.0 (fabs x))) 3)
  (* (log (/ 1.0 (fabs x))) 3)
  (* (log (/ 1.0 (fabs x))) 3)
  3
  (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3)))
  (pow (/ 1.0 (fabs x)) (sqrt 3))
  (/ 1.0 (fabs x))
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (* (/ 1.0 (pow (sqrt (fabs x)) 3)) 1.0)
  (/ 1.0 (pow (sqrt (fabs x)) 3))
  (* 1.0 1.0)
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (/ (* (fabs x) (fabs x)) (sqrt 1.0)))
  (/ 1.0 (/ (fabs x) (sqrt 1.0)))
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (* 1.0 (sqrt 1.0))
  (pow (/ (sqrt 1.0) (fabs x)) 3)
  (/ 1 (* (fabs x) (fabs x)))
  (/ (pow 1.0 3) (fabs x))
  (/ 1 (pow (sqrt (fabs x)) 3))
  (pow (/ 1.0 (sqrt (fabs x))) 3)
  1
  (pow (/ 1.0 (fabs x)) 3)
  1
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1.0 3)
  (/ 1 (pow (fabs x) 3))
  (pow (/ 1.0 (fabs x)) 2)
  (* (log (/ 1.0 (fabs x))) 3)
  (exp (pow (/ 1.0 (fabs x)) 3))
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (pow (pow (/ 1.0 (fabs x)) 3) 3)
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 2)
  (/ 1.0 (fabs x))
  (* (/ 1.0 (pow (sqrt (fabs x)) 3)) 1.0)
  (/ 1.0 (pow (sqrt (fabs x)) 3))
  (* 1.0 1.0)
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (/ (* (fabs x) (fabs x)) (sqrt 1.0)))
  (/ 1.0 (/ (fabs x) (sqrt 1.0)))
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3)
  (* 1.0 (sqrt 1.0))
  (pow (/ (sqrt 1.0) (fabs x)) 3)
  (/ 1 (* (fabs x) (fabs x)))
  (/ (pow 1.0 3) (fabs x))
  (/ 1 (pow (sqrt (fabs x)) 3))
  (pow (/ 1.0 (sqrt (fabs x))) 3)
  1
  (pow (/ 1.0 (fabs x)) 3)
  1
  (pow (/ 1.0 (fabs x)) 3)
  (pow 1.0 3)
  (/ 1 (pow (fabs x) 3))
  (pow 1.0 3)
  (pow (fabs x) 3)
  (pow (/ 1.0 (fabs x)) 2)
  (sqrt (pow (/ 1.0 (fabs x)) 3))
  (sqrt (pow (/ 1.0 (fabs x)) 3))
  (pow (/ 1.0 (fabs x)) 3/2)
  (pow (/ 1.0 (fabs x)) 3/2)
  (log (* (/ (sqrt 1.0) (sqrt (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (log (* (/ (sqrt 1.0) (sqrt (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (log (* (/ (sqrt 1.0) (sqrt (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (pow (exp (/ (sqrt 1.0) (sqrt (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (pow (* (/ (sqrt 1.0) (sqrt (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))) 3)
  (pow (* (/ (sqrt 1.0) (sqrt (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))) 3)
  (* (cbrt (* (/ (sqrt 1.0) (sqrt (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))) (cbrt (* (/ (sqrt 1.0) (sqrt (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))))
  (cbrt (* (/ (sqrt 1.0) (sqrt (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (pow (* (/ (sqrt 1.0) (sqrt (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))) 3)
  (/ (* 1.0 1.0) (pow (fabs x) 14))
  (sqrt (* (/ (sqrt 1.0) (sqrt (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (sqrt (* (/ (sqrt 1.0) (sqrt (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (sqrt 1.0) (neg (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (neg (sqrt (pow (fabs x) 7)))
  (/ (sqrt 1.0) (* (cbrt (sqrt (pow (fabs x) 7))) (cbrt (sqrt (pow (fabs x) 7)))))
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (cbrt (sqrt (pow (fabs x) 7))))
  (/ (sqrt 1.0) (sqrt (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7)))
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (pow (cbrt (fabs x)) 7)))
  (/ (sqrt 1.0) (sqrt (pow (sqrt (fabs x)) 7)))
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (pow (sqrt (fabs x)) 7)))
  (sqrt 1.0)
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (pow (fabs x) 7)))
  (/ (sqrt 1.0) (fabs (cbrt (pow (fabs x) 7))))
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (cbrt (pow (fabs x) 7))))
  (/ (sqrt 1.0) (sqrt (sqrt (pow (fabs x) 7))))
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (sqrt (pow (fabs x) 7))))
  (sqrt 1.0)
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (pow (fabs x) 7)))
  (/ (sqrt 1.0) (sqrt (pow (fabs x) 7/2)))
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (pow (fabs x) 7/2)))
  (/ (sqrt 1.0) (sqrt (sqrt (pow (fabs x) 7))))
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (sqrt (pow (fabs x) 7))))
  (sqrt 1.0)
  (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (pow (fabs x) 7)))
  (/ 1 (sqrt (pow (fabs x) 7)))
  (/ (sqrt (pow (fabs x) 7)) (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))))
  (* (/ (sqrt 1.0) (* (cbrt (sqrt (pow (fabs x) 7))) (cbrt (sqrt (pow (fabs x) 7))))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (/ (sqrt 1.0) (sqrt (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (/ (sqrt 1.0) (sqrt (pow (sqrt (fabs x)) 7))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (/ (sqrt 1.0) (fabs (cbrt (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (/ (sqrt 1.0) (sqrt (sqrt (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (/ (sqrt 1.0) (sqrt (pow (fabs x) 7/2))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (/ (sqrt 1.0) (sqrt (sqrt (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (/ (sqrt (pow (fabs x) 7)) (sqrt (/ 1.0 (pow (fabs x) 7))))
  (pow (fabs x) 7)
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (pow (/ 1.0 (fabs x)) 3) (/ 1.0 2.0)) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (* (/ (sqrt 1.0) (sqrt (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))) (/ 15.0 8.0)))))))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 7))
2.761 * * * [progress]: adding candidates to table
3.128 * [progress]: [Phase 3 of 3] Extracting.
3.128 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (/ (sqrt 1.0) (sqrt (pow (fabs x) 7/2))) (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (pow (fabs x) 7/2)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (pow (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) 3) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7))))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (/ 1 (pow (fabs x) 7/2)) (/ 1.0 (pow (fabs x) 7/2))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (* (sqrt (/ 1.0 (pow (fabs x) 7))) (fabs (cbrt (/ 1.0 (pow (fabs x) 7))))) (sqrt (cbrt (/ 1.0 (pow (fabs x) 7))))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (* (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)))) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (pow (/ 1.0 (fabs x)) 7))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (* (sqrt (/ 1.0 (pow (fabs x) 7))) (fabs (/ (cbrt 1.0) (cbrt (pow (fabs x) 7))))) (sqrt (/ (cbrt 1.0) (cbrt (pow (fabs x) 7))))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ (* (/ (sqrt 1.0) (fabs (cbrt (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (cbrt (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (sqrt (/ (* 1.0 1.0) (pow (fabs x) 14))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (* (cbrt (/ 1.0 (pow (fabs x) 7))) (cbrt (/ 1.0 (pow (fabs x) 7)))) (cbrt (/ 1.0 (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (pow (/ 1.0 (fabs x)) 7))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (pow (pow (/ 1.0 (fabs x)) (sqrt 7)) (sqrt 7)))))))))>)
3.142 * * * [regime-changes]: Trying 2 branch expressions: ((fabs x) x)
3.142 * * * * [regimes]: Trying to branch on (fabs x) from (#<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (/ (sqrt 1.0) (sqrt (pow (fabs x) 7/2))) (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (pow (fabs x) 7/2)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (pow (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) 3) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7))))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (/ 1 (pow (fabs x) 7/2)) (/ 1.0 (pow (fabs x) 7/2))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (* (sqrt (/ 1.0 (pow (fabs x) 7))) (fabs (cbrt (/ 1.0 (pow (fabs x) 7))))) (sqrt (cbrt (/ 1.0 (pow (fabs x) 7))))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (* (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)))) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (pow (/ 1.0 (fabs x)) 7))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (* (sqrt (/ 1.0 (pow (fabs x) 7))) (fabs (/ (cbrt 1.0) (cbrt (pow (fabs x) 7))))) (sqrt (/ (cbrt 1.0) (cbrt (pow (fabs x) 7))))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ (* (/ (sqrt 1.0) (fabs (cbrt (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (cbrt (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (sqrt (/ (* 1.0 1.0) (pow (fabs x) 14))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (* (cbrt (/ 1.0 (pow (fabs x) 7))) (cbrt (/ 1.0 (pow (fabs x) 7)))) (cbrt (/ 1.0 (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (pow (/ 1.0 (fabs x)) 7))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (pow (pow (/ 1.0 (fabs x)) (sqrt 7)) (sqrt 7)))))))))>)
3.244 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (/ (sqrt 1.0) (sqrt (pow (fabs x) 7/2))) (/ (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (pow (fabs x) 7/2)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (pow (sqrt (sqrt (/ 1.0 (pow (fabs x) 7)))) 3) (sqrt (sqrt (/ 1.0 (pow (fabs x) 7))))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (/ 1 (pow (fabs x) 7/2)) (/ 1.0 (pow (fabs x) 7/2))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (* (sqrt (/ 1.0 (pow (fabs x) 7))) (fabs (cbrt (/ 1.0 (pow (fabs x) 7))))) (sqrt (cbrt (/ 1.0 (pow (fabs x) 7))))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (sqrt (/ 1.0 (pow (fabs x) 7))) (sqrt (/ 1.0 (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (* (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)))) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (pow (/ 1.0 (fabs x)) 7))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ (* (sqrt 1.0) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (* (sqrt (/ 1.0 (pow (fabs x) 7))) (fabs (/ (cbrt 1.0) (cbrt (pow (fabs x) 7))))) (sqrt (/ (cbrt 1.0) (cbrt (pow (fabs x) 7))))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ (* (/ (sqrt 1.0) (fabs (cbrt (pow (fabs x) 7)))) (sqrt (/ 1.0 (pow (fabs x) 7)))) (sqrt (cbrt (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (sqrt (/ (* 1.0 1.0) (pow (fabs x) 14))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (* (* (cbrt (/ 1.0 (pow (fabs x) 7))) (cbrt (/ 1.0 (pow (fabs x) 7)))) (cbrt (/ 1.0 (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (pow (/ 1.0 (fabs x)) 7))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (pow (pow (/ 1.0 (fabs x)) (sqrt 7)) (sqrt 7)))))))))>)
3.341 * * * [regime]: Found split indices: #<option (#s(si 11 255))>
3.341 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
3.342 * * [simplify]: iteration  0 :  40  enodes  (cost  49 )
3.342 * * [simplify]: iteration  1 :  40  enodes  (cost  49 )
3.342 * [simplify]: Simplified to:
   (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))