28.152 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.069 * * * [progress]: [2/2] Setting up program.
0.075 * [progress]: [Phase 2 of 3] Improving.
0.075 * [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.091 * * [simplify]: iteration  0 :  5216  enodes  (cost  49 )
0.092 * [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.099 * * [progress]: iteration 1 / 4
0.099 * * * [progress]: picking best candidate
0.107 * * * * [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.107 * * * [progress]: localizing error
0.140 * * * [progress]: generating rewritten candidates
0.140 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 2 2)
0.144 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1 2)
0.149 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.152 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.158 * * * [progress]: generating series expansions
0.158 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 2 2)
0.158 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 7) in (x) around 0
0.158 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 7) in x
0.158 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
0.158 * [taylor]: Taking taylor expansion of 1.0 in x
0.158 * [taylor]: Taking taylor expansion of (fabs x) in x
0.158 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 7) in x
0.158 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
0.158 * [taylor]: Taking taylor expansion of 1.0 in x
0.159 * [taylor]: Taking taylor expansion of (fabs x) in x
0.163 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 7) in (x) around 0
0.163 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 7) in x
0.163 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
0.163 * [taylor]: Taking taylor expansion of 1.0 in x
0.163 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.163 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 7) in x
0.163 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
0.163 * [taylor]: Taking taylor expansion of 1.0 in x
0.163 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.168 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 7) in (x) around 0
0.168 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 7) in x
0.168 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
0.168 * [taylor]: Taking taylor expansion of 1.0 in x
0.168 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.168 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 7) in x
0.168 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
0.168 * [taylor]: Taking taylor expansion of 1.0 in x
0.168 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.174 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1 2)
0.174 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in (x) around 0
0.174 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x
0.174 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
0.174 * [taylor]: Taking taylor expansion of 1.0 in x
0.174 * [taylor]: Taking taylor expansion of (fabs x) in x
0.174 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x
0.174 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
0.174 * [taylor]: Taking taylor expansion of 1.0 in x
0.174 * [taylor]: Taking taylor expansion of (fabs x) in x
0.178 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in (x) around 0
0.178 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x
0.178 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
0.178 * [taylor]: Taking taylor expansion of 1.0 in x
0.178 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.178 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x
0.178 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
0.178 * [taylor]: Taking taylor expansion of 1.0 in x
0.178 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.182 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in (x) around 0
0.182 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x
0.182 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
0.182 * [taylor]: Taking taylor expansion of 1.0 in x
0.182 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.182 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x
0.182 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
0.182 * [taylor]: Taking taylor expansion of 1.0 in x
0.182 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.187 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
0.187 * [approximate]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in (x) around 0
0.187 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x
0.187 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x
0.187 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x
0.187 * [taylor]: Taking taylor expansion of (fabs x) in x
0.187 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x
0.187 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x
0.187 * [taylor]: Taking taylor expansion of (fabs x) in x
0.187 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x
0.187 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x
0.187 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x
0.187 * [taylor]: Taking taylor expansion of (fabs x) in x
0.187 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x
0.187 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x
0.187 * [taylor]: Taking taylor expansion of (fabs x) in x
0.195 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in (x) around 0
0.196 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x
0.196 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x
0.196 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x
0.196 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.196 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x
0.196 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x
0.196 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.196 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x
0.196 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x
0.196 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x
0.196 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.196 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x
0.196 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x
0.196 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.205 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in (x) around 0
0.205 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x
0.205 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x
0.205 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x
0.205 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.205 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x
0.205 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x
0.205 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.205 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x
0.205 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x
0.205 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x
0.205 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.206 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x
0.206 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x
0.206 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.214 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
0.215 * * * [progress]: simplifying candidates
0.216 * [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))
  (* (fabs x) (fabs x))
  (* (log (exp (fabs x))) (fabs x))
  (* 1 (fabs x))
  (* (cbrt (fabs x)) (fabs x))
  (* (sqrt (fabs x)) (fabs x))
  (* (fabs x) (fabs x))
  (pow (exp (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (pow (exp (fabs x)) (sqrt (fabs x)))
  (pow (exp (fabs x)) 1)
  (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (fabs x))
  (pow (cbrt (exp (fabs x))) (fabs x))
  (pow (sqrt (exp (fabs x))) (fabs x))
  (pow (sqrt (exp (fabs x))) (fabs x))
  (pow 1 (fabs x))
  (pow (exp (fabs x)) (fabs x))
  (log (pow (exp (fabs x)) (fabs x)))
  (exp (pow (exp (fabs x)) (fabs x)))
  (* (cbrt (pow (exp (fabs x)) (fabs x))) (cbrt (pow (exp (fabs x)) (fabs x))))
  (cbrt (pow (exp (fabs x)) (fabs x)))
  (* (* (pow (exp (fabs x)) (fabs x)) (pow (exp (fabs x)) (fabs x))) (pow (exp (fabs x)) (fabs x)))
  (sqrt (pow (exp (fabs x)) (fabs x)))
  (sqrt (pow (exp (fabs x)) (fabs x)))
  (pow (exp (fabs x)) (/ (fabs x) 2))
  (pow (exp (fabs x)) (/ (fabs x) 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))
  (/ 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))
  (exp (pow (fabs x) 2))
  (exp (pow (fabs x) 2))
  (exp (pow (fabs x) 2))
  (* (/ 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.246 * * [simplify]: iteration  0 :  4958  enodes  (cost  897 )
0.247 * * [simplify]: iteration  1 :  4958  enodes  (cost  897 )
0.251 * [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) (/ (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)) 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) (/ (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)) 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)
  (pow (fabs x) 2)
  (pow (fabs x) 2)
  (fabs x)
  (* (fabs x) (cbrt (fabs x)))
  (pow (fabs x) 3/2)
  (pow (fabs x) 2)
  (pow (exp (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (pow (exp (fabs x)) (sqrt (fabs x)))
  (exp (fabs x))
  (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (fabs x))
  (pow (cbrt (exp (fabs x))) (fabs x))
  (pow (sqrt (exp (fabs x))) (fabs x))
  (pow (sqrt (exp (fabs x))) (fabs x))
  1
  (exp (pow (fabs x) 2))
  (pow (fabs x) 2)
  (exp (exp (pow (fabs x) 2)))
  (* (cbrt (exp (pow (fabs x) 2))) (cbrt (exp (pow (fabs x) 2))))
  (cbrt (exp (pow (fabs x) 2)))
  (pow (exp (pow (fabs x) 2)) 3)
  (sqrt (exp (pow (fabs x) 2)))
  (sqrt (exp (pow (fabs x) 2)))
  (pow (sqrt (exp (fabs x))) (fabs x))
  (pow (sqrt (exp (fabs x))) (fabs x))
  (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))
  (/ 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))
  (exp (pow (fabs x) 2))
  (exp (pow (fabs x) 2))
  (exp (pow (fabs x) 2))
  (* (exp (pow (fabs x) 2)) (* (/ 1.0 (sqrt PI)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (pow (/ 1.0 (fabs x)) 7) (/ 15.0 8.0)))))))
0.252 * * * [progress]: adding candidates to table
0.519 * * [progress]: iteration 2 / 4
0.519 * * * [progress]: picking best candidate
0.586 * * * * [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)))))))))>
0.586 * * * [progress]: localizing error
0.620 * * * [progress]: generating rewritten candidates
0.620 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1 2)
0.624 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.627 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
0.628 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2)
0.636 * * * [progress]: generating series expansions
0.636 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1 2)
0.636 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in (x) around 0
0.636 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x
0.636 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
0.636 * [taylor]: Taking taylor expansion of 1.0 in x
0.636 * [taylor]: Taking taylor expansion of (fabs x) in x
0.636 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x
0.636 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
0.636 * [taylor]: Taking taylor expansion of 1.0 in x
0.636 * [taylor]: Taking taylor expansion of (fabs x) in x
0.640 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in (x) around 0
0.640 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x
0.640 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
0.640 * [taylor]: Taking taylor expansion of 1.0 in x
0.640 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.640 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x
0.640 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
0.640 * [taylor]: Taking taylor expansion of 1.0 in x
0.640 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.644 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in (x) around 0
0.644 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x
0.644 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
0.644 * [taylor]: Taking taylor expansion of 1.0 in x
0.644 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.644 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x
0.644 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
0.644 * [taylor]: Taking taylor expansion of 1.0 in x
0.644 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.649 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.649 * [approximate]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in (x) around 0
0.649 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x
0.649 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x
0.649 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x
0.649 * [taylor]: Taking taylor expansion of (fabs x) in x
0.649 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x
0.649 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x
0.649 * [taylor]: Taking taylor expansion of (fabs x) in x
0.649 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x
0.649 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x
0.649 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x
0.649 * [taylor]: Taking taylor expansion of (fabs x) in x
0.649 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x
0.649 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x
0.649 * [taylor]: Taking taylor expansion of (fabs x) in x
0.658 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in (x) around 0
0.658 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x
0.658 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x
0.658 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x
0.658 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.658 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x
0.658 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x
0.658 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.658 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x
0.658 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x
0.658 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x
0.658 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.658 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x
0.658 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x
0.658 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.669 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in (x) around 0
0.669 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x
0.669 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x
0.669 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x
0.670 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.670 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x
0.670 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x
0.670 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.670 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x
0.670 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x
0.670 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x
0.670 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.670 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x
0.670 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x
0.670 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.679 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
0.679 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2)
0.679 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in (x) around 0
0.679 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x
0.679 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
0.679 * [taylor]: Taking taylor expansion of 1.0 in x
0.679 * [taylor]: Taking taylor expansion of (fabs x) in x
0.679 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x
0.679 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
0.679 * [taylor]: Taking taylor expansion of 1.0 in x
0.679 * [taylor]: Taking taylor expansion of (fabs x) in x
0.682 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in (x) around 0
0.682 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x
0.682 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
0.682 * [taylor]: Taking taylor expansion of 1.0 in x
0.682 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.682 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x
0.682 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
0.682 * [taylor]: Taking taylor expansion of 1.0 in x
0.682 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.685 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in (x) around 0
0.685 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x
0.685 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
0.685 * [taylor]: Taking taylor expansion of 1.0 in x
0.685 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.685 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x
0.685 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
0.685 * [taylor]: Taking taylor expansion of 1.0 in x
0.685 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.688 * * * [progress]: simplifying candidates
0.690 * [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))
  (* (fabs x) (fabs x))
  (* (log (exp (fabs x))) (fabs x))
  (* 1 (fabs x))
  (* (cbrt (fabs x)) (fabs x))
  (* (sqrt (fabs x)) (fabs x))
  (* (fabs x) (fabs x))
  (pow (exp (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (pow (exp (fabs x)) (sqrt (fabs x)))
  (pow (exp (fabs x)) 1)
  (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (fabs x))
  (pow (cbrt (exp (fabs x))) (fabs x))
  (pow (sqrt (exp (fabs x))) (fabs x))
  (pow (sqrt (exp (fabs x))) (fabs x))
  (pow 1 (fabs x))
  (pow (exp (fabs x)) (fabs x))
  (log (pow (exp (fabs x)) (fabs x)))
  (exp (pow (exp (fabs x)) (fabs x)))
  (* (cbrt (pow (exp (fabs x)) (fabs x))) (cbrt (pow (exp (fabs x)) (fabs x))))
  (cbrt (pow (exp (fabs x)) (fabs x)))
  (* (* (pow (exp (fabs x)) (fabs x)) (pow (exp (fabs x)) (fabs x))) (pow (exp (fabs x)) (fabs x)))
  (sqrt (pow (exp (fabs x)) (fabs x)))
  (sqrt (pow (exp (fabs x)) (fabs x)))
  (pow (exp (fabs x)) (/ (fabs x) 2))
  (pow (exp (fabs x)) (/ (fabs x) 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) 5))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (exp (pow (fabs x) 2))
  (exp (pow (fabs x) 2))
  (exp (pow (fabs x) 2))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
0.725 * * [simplify]: iteration  0 :  5158  enodes  (cost  967 )
0.730 * [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)
  (pow (fabs x) 2)
  (pow (fabs x) 2)
  (fabs x)
  (pow (cbrt (fabs x)) 4)
  (pow (sqrt (fabs x)) 3)
  (pow (fabs x) 2)
  (pow (exp (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (pow (exp (fabs x)) (sqrt (fabs x)))
  (exp (fabs x))
  (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (fabs x))
  (pow (cbrt (exp (fabs x))) (fabs x))
  (pow (sqrt (exp (fabs x))) (fabs x))
  (pow (sqrt (exp (fabs x))) (fabs x))
  1
  (exp (pow (fabs x) 2))
  (pow (fabs x) 2)
  (exp (exp (pow (fabs x) 2)))
  (* (cbrt (exp (pow (fabs x) 2))) (cbrt (exp (pow (fabs x) 2))))
  (cbrt (exp (pow (fabs x) 2)))
  (pow (exp (pow (fabs x) 2)) 3)
  (sqrt (exp (pow (fabs x) 2)))
  (sqrt (exp (pow (fabs x) 2)))
  (pow (exp (fabs x)) (/ (fabs x) 2))
  (pow (exp (fabs x)) (/ (fabs x) 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 (/ (pow (fabs x) 2) (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 (pow (fabs x) 2))
  (/ (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 (/ (pow (fabs x) 2) (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 (pow (fabs x) 2))
  (/ (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) 5))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (exp (pow (fabs x) 2))
  (exp (pow (fabs x) 2))
  (exp (pow (fabs x) 2))
  (/ 1.0 (pow (fabs x) 7))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
  (/ 1.0 (pow (fabs x) 3))
0.730 * * * [progress]: adding candidates to table
0.966 * * [progress]: iteration 3 / 4
0.966 * * * [progress]: picking best candidate
1.052 * * * * [pick]: Picked  #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))>
1.052 * * * [progress]: localizing error
1.089 * * * [progress]: generating rewritten candidates
1.089 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1 2)
1.093 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
1.097 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.098 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.135 * * * [progress]: generating series expansions
1.135 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1 2)
1.135 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in (x) around 0
1.135 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x
1.135 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
1.135 * [taylor]: Taking taylor expansion of 1.0 in x
1.135 * [taylor]: Taking taylor expansion of (fabs x) in x
1.135 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x
1.135 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
1.135 * [taylor]: Taking taylor expansion of 1.0 in x
1.135 * [taylor]: Taking taylor expansion of (fabs x) in x
1.139 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in (x) around 0
1.139 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x
1.139 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
1.139 * [taylor]: Taking taylor expansion of 1.0 in x
1.139 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.139 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x
1.139 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
1.139 * [taylor]: Taking taylor expansion of 1.0 in x
1.139 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.143 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in (x) around 0
1.143 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x
1.143 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
1.143 * [taylor]: Taking taylor expansion of 1.0 in x
1.143 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.143 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x
1.143 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
1.143 * [taylor]: Taking taylor expansion of 1.0 in x
1.143 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.147 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.148 * [approximate]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in (x) around 0
1.148 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x
1.148 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x
1.148 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x
1.148 * [taylor]: Taking taylor expansion of (fabs x) in x
1.148 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x
1.148 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x
1.148 * [taylor]: Taking taylor expansion of (fabs x) in x
1.148 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x
1.148 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x
1.148 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x
1.148 * [taylor]: Taking taylor expansion of (fabs x) in x
1.148 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x
1.148 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x
1.148 * [taylor]: Taking taylor expansion of (fabs x) in x
1.156 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in (x) around 0
1.156 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x
1.156 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x
1.156 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x
1.156 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.156 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x
1.156 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x
1.156 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.157 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x
1.157 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x
1.157 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x
1.157 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.157 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x
1.157 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x
1.157 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.166 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in (x) around 0
1.166 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x
1.166 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x
1.166 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x
1.166 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.166 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x
1.166 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x
1.166 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.166 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x
1.166 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x
1.166 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x
1.166 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.166 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x
1.166 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x
1.166 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.175 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.175 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.176 * [approximate]: Taking taylor expansion of (* (+ (* 0.5 (/ 1 (pow (fabs x) 3))) (+ (* 0.75 (/ 1 (pow (fabs x) 5))) (+ (* 1.0 (/ 1 (fabs x))) (* 1.875 (/ 1 (pow (fabs x) 7)))))) (pow (exp (fabs x)) (fabs x))) in (x) around 0
1.176 * [taylor]: Taking taylor expansion of (* (+ (* 0.5 (/ 1 (pow (fabs x) 3))) (+ (* 0.75 (/ 1 (pow (fabs x) 5))) (+ (* 1.0 (/ 1 (fabs x))) (* 1.875 (/ 1 (pow (fabs x) 7)))))) (pow (exp (fabs x)) (fabs x))) in x
1.176 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow (fabs x) 3))) (+ (* 0.75 (/ 1 (pow (fabs x) 5))) (+ (* 1.0 (/ 1 (fabs x))) (* 1.875 (/ 1 (pow (fabs x) 7)))))) in x
1.176 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow (fabs x) 3))) in x
1.176 * [taylor]: Taking taylor expansion of 0.5 in x
1.176 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs x) 3)) in x
1.176 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
1.176 * [taylor]: Taking taylor expansion of (fabs x) in x
1.176 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow (fabs x) 5))) (+ (* 1.0 (/ 1 (fabs x))) (* 1.875 (/ 1 (pow (fabs x) 7))))) in x
1.176 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow (fabs x) 5))) in x
1.176 * [taylor]: Taking taylor expansion of 0.75 in x
1.176 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs x) 5)) in x
1.176 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x
1.176 * [taylor]: Taking taylor expansion of (fabs x) in x
1.177 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (fabs x))) (* 1.875 (/ 1 (pow (fabs x) 7)))) in x
1.177 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (fabs x))) in x
1.177 * [taylor]: Taking taylor expansion of 1.0 in x
1.177 * [taylor]: Taking taylor expansion of (/ 1 (fabs x)) in x
1.177 * [taylor]: Taking taylor expansion of (fabs x) in x
1.177 * [taylor]: Taking taylor expansion of (* 1.875 (/ 1 (pow (fabs x) 7))) in x
1.177 * [taylor]: Taking taylor expansion of 1.875 in x
1.177 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs x) 7)) in x
1.177 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x
1.177 * [taylor]: Taking taylor expansion of (fabs x) in x
1.177 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x
1.177 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x
1.177 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x
1.177 * [taylor]: Taking taylor expansion of (fabs x) in x
1.177 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x
1.177 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x
1.177 * [taylor]: Taking taylor expansion of (fabs x) in x
1.178 * [taylor]: Taking taylor expansion of (* (+ (* 0.5 (/ 1 (pow (fabs x) 3))) (+ (* 0.75 (/ 1 (pow (fabs x) 5))) (+ (* 1.0 (/ 1 (fabs x))) (* 1.875 (/ 1 (pow (fabs x) 7)))))) (pow (exp (fabs x)) (fabs x))) in x
1.178 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow (fabs x) 3))) (+ (* 0.75 (/ 1 (pow (fabs x) 5))) (+ (* 1.0 (/ 1 (fabs x))) (* 1.875 (/ 1 (pow (fabs x) 7)))))) in x
1.178 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow (fabs x) 3))) in x
1.178 * [taylor]: Taking taylor expansion of 0.5 in x
1.178 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs x) 3)) in x
1.178 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
1.178 * [taylor]: Taking taylor expansion of (fabs x) in x
1.178 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow (fabs x) 5))) (+ (* 1.0 (/ 1 (fabs x))) (* 1.875 (/ 1 (pow (fabs x) 7))))) in x
1.178 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow (fabs x) 5))) in x
1.178 * [taylor]: Taking taylor expansion of 0.75 in x
1.178 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs x) 5)) in x
1.178 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x
1.178 * [taylor]: Taking taylor expansion of (fabs x) in x
1.178 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (fabs x))) (* 1.875 (/ 1 (pow (fabs x) 7)))) in x
1.178 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (fabs x))) in x
1.178 * [taylor]: Taking taylor expansion of 1.0 in x
1.178 * [taylor]: Taking taylor expansion of (/ 1 (fabs x)) in x
1.178 * [taylor]: Taking taylor expansion of (fabs x) in x
1.178 * [taylor]: Taking taylor expansion of (* 1.875 (/ 1 (pow (fabs x) 7))) in x
1.178 * [taylor]: Taking taylor expansion of 1.875 in x
1.178 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs x) 7)) in x
1.178 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x
1.179 * [taylor]: Taking taylor expansion of (fabs x) in x
1.179 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x
1.179 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x
1.179 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x
1.179 * [taylor]: Taking taylor expansion of (fabs x) in x
1.179 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x
1.179 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x
1.179 * [taylor]: Taking taylor expansion of (fabs x) in x
1.204 * [approximate]: Taking taylor expansion of (* (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) (+ (* 0.5 (/ 1 (pow (fabs (/ 1 x)) 3))) (+ (* 1.875 (/ 1 (pow (fabs (/ 1 x)) 7))) (+ (* 0.75 (/ 1 (pow (fabs (/ 1 x)) 5))) (* 1.0 (/ 1 (fabs (/ 1 x)))))))) in (x) around 0
1.205 * [taylor]: Taking taylor expansion of (* (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) (+ (* 0.5 (/ 1 (pow (fabs (/ 1 x)) 3))) (+ (* 1.875 (/ 1 (pow (fabs (/ 1 x)) 7))) (+ (* 0.75 (/ 1 (pow (fabs (/ 1 x)) 5))) (* 1.0 (/ 1 (fabs (/ 1 x)))))))) in x
1.205 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x
1.205 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x
1.205 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x
1.205 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.205 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x
1.205 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x
1.205 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.205 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow (fabs (/ 1 x)) 3))) (+ (* 1.875 (/ 1 (pow (fabs (/ 1 x)) 7))) (+ (* 0.75 (/ 1 (pow (fabs (/ 1 x)) 5))) (* 1.0 (/ 1 (fabs (/ 1 x))))))) in x
1.205 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow (fabs (/ 1 x)) 3))) in x
1.205 * [taylor]: Taking taylor expansion of 0.5 in x
1.205 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs (/ 1 x)) 3)) in x
1.205 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
1.205 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.205 * [taylor]: Taking taylor expansion of (+ (* 1.875 (/ 1 (pow (fabs (/ 1 x)) 7))) (+ (* 0.75 (/ 1 (pow (fabs (/ 1 x)) 5))) (* 1.0 (/ 1 (fabs (/ 1 x)))))) in x
1.205 * [taylor]: Taking taylor expansion of (* 1.875 (/ 1 (pow (fabs (/ 1 x)) 7))) in x
1.205 * [taylor]: Taking taylor expansion of 1.875 in x
1.205 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs (/ 1 x)) 7)) in x
1.205 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x
1.205 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.206 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow (fabs (/ 1 x)) 5))) (* 1.0 (/ 1 (fabs (/ 1 x))))) in x
1.206 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow (fabs (/ 1 x)) 5))) in x
1.206 * [taylor]: Taking taylor expansion of 0.75 in x
1.206 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs (/ 1 x)) 5)) in x
1.206 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x
1.206 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.206 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (fabs (/ 1 x)))) in x
1.206 * [taylor]: Taking taylor expansion of 1.0 in x
1.206 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x
1.206 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.206 * [taylor]: Taking taylor expansion of (* (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) (+ (* 0.5 (/ 1 (pow (fabs (/ 1 x)) 3))) (+ (* 1.875 (/ 1 (pow (fabs (/ 1 x)) 7))) (+ (* 0.75 (/ 1 (pow (fabs (/ 1 x)) 5))) (* 1.0 (/ 1 (fabs (/ 1 x)))))))) in x
1.206 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x
1.206 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x
1.206 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x
1.206 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.206 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x
1.207 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x
1.207 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.207 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow (fabs (/ 1 x)) 3))) (+ (* 1.875 (/ 1 (pow (fabs (/ 1 x)) 7))) (+ (* 0.75 (/ 1 (pow (fabs (/ 1 x)) 5))) (* 1.0 (/ 1 (fabs (/ 1 x))))))) in x
1.207 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow (fabs (/ 1 x)) 3))) in x
1.207 * [taylor]: Taking taylor expansion of 0.5 in x
1.207 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs (/ 1 x)) 3)) in x
1.207 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
1.207 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.207 * [taylor]: Taking taylor expansion of (+ (* 1.875 (/ 1 (pow (fabs (/ 1 x)) 7))) (+ (* 0.75 (/ 1 (pow (fabs (/ 1 x)) 5))) (* 1.0 (/ 1 (fabs (/ 1 x)))))) in x
1.207 * [taylor]: Taking taylor expansion of (* 1.875 (/ 1 (pow (fabs (/ 1 x)) 7))) in x
1.207 * [taylor]: Taking taylor expansion of 1.875 in x
1.207 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs (/ 1 x)) 7)) in x
1.207 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x
1.207 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.208 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow (fabs (/ 1 x)) 5))) (* 1.0 (/ 1 (fabs (/ 1 x))))) in x
1.208 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow (fabs (/ 1 x)) 5))) in x
1.208 * [taylor]: Taking taylor expansion of 0.75 in x
1.208 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs (/ 1 x)) 5)) in x
1.208 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x
1.208 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.208 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (fabs (/ 1 x)))) in x
1.208 * [taylor]: Taking taylor expansion of 1.0 in x
1.208 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x
1.208 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.240 * [approximate]: Taking taylor expansion of (* (+ (* 0.75 (/ 1 (pow (fabs (/ -1 x)) 5))) (+ (* 1.0 (/ 1 (fabs (/ -1 x)))) (+ (* 1.875 (/ 1 (pow (fabs (/ -1 x)) 7))) (* 0.5 (/ 1 (pow (fabs (/ -1 x)) 3)))))) (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x)))) in (x) around 0
1.240 * [taylor]: Taking taylor expansion of (* (+ (* 0.75 (/ 1 (pow (fabs (/ -1 x)) 5))) (+ (* 1.0 (/ 1 (fabs (/ -1 x)))) (+ (* 1.875 (/ 1 (pow (fabs (/ -1 x)) 7))) (* 0.5 (/ 1 (pow (fabs (/ -1 x)) 3)))))) (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x)))) in x
1.240 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow (fabs (/ -1 x)) 5))) (+ (* 1.0 (/ 1 (fabs (/ -1 x)))) (+ (* 1.875 (/ 1 (pow (fabs (/ -1 x)) 7))) (* 0.5 (/ 1 (pow (fabs (/ -1 x)) 3)))))) in x
1.240 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow (fabs (/ -1 x)) 5))) in x
1.240 * [taylor]: Taking taylor expansion of 0.75 in x
1.240 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs (/ -1 x)) 5)) in x
1.240 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x
1.240 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.241 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (fabs (/ -1 x)))) (+ (* 1.875 (/ 1 (pow (fabs (/ -1 x)) 7))) (* 0.5 (/ 1 (pow (fabs (/ -1 x)) 3))))) in x
1.241 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (fabs (/ -1 x)))) in x
1.241 * [taylor]: Taking taylor expansion of 1.0 in x
1.241 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x
1.241 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.241 * [taylor]: Taking taylor expansion of (+ (* 1.875 (/ 1 (pow (fabs (/ -1 x)) 7))) (* 0.5 (/ 1 (pow (fabs (/ -1 x)) 3)))) in x
1.241 * [taylor]: Taking taylor expansion of (* 1.875 (/ 1 (pow (fabs (/ -1 x)) 7))) in x
1.241 * [taylor]: Taking taylor expansion of 1.875 in x
1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs (/ -1 x)) 7)) in x
1.241 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x
1.241 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.241 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow (fabs (/ -1 x)) 3))) in x
1.241 * [taylor]: Taking taylor expansion of 0.5 in x
1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs (/ -1 x)) 3)) in x
1.241 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
1.242 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.242 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x
1.242 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x
1.242 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x
1.242 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.242 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x
1.242 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x
1.242 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.242 * [taylor]: Taking taylor expansion of (* (+ (* 0.75 (/ 1 (pow (fabs (/ -1 x)) 5))) (+ (* 1.0 (/ 1 (fabs (/ -1 x)))) (+ (* 1.875 (/ 1 (pow (fabs (/ -1 x)) 7))) (* 0.5 (/ 1 (pow (fabs (/ -1 x)) 3)))))) (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x)))) in x
1.242 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow (fabs (/ -1 x)) 5))) (+ (* 1.0 (/ 1 (fabs (/ -1 x)))) (+ (* 1.875 (/ 1 (pow (fabs (/ -1 x)) 7))) (* 0.5 (/ 1 (pow (fabs (/ -1 x)) 3)))))) in x
1.242 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow (fabs (/ -1 x)) 5))) in x
1.242 * [taylor]: Taking taylor expansion of 0.75 in x
1.242 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs (/ -1 x)) 5)) in x
1.242 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x
1.242 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.243 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (fabs (/ -1 x)))) (+ (* 1.875 (/ 1 (pow (fabs (/ -1 x)) 7))) (* 0.5 (/ 1 (pow (fabs (/ -1 x)) 3))))) in x
1.243 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (fabs (/ -1 x)))) in x
1.243 * [taylor]: Taking taylor expansion of 1.0 in x
1.243 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x
1.243 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.243 * [taylor]: Taking taylor expansion of (+ (* 1.875 (/ 1 (pow (fabs (/ -1 x)) 7))) (* 0.5 (/ 1 (pow (fabs (/ -1 x)) 3)))) in x
1.243 * [taylor]: Taking taylor expansion of (* 1.875 (/ 1 (pow (fabs (/ -1 x)) 7))) in x
1.243 * [taylor]: Taking taylor expansion of 1.875 in x
1.243 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs (/ -1 x)) 7)) in x
1.243 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x
1.243 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.243 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow (fabs (/ -1 x)) 3))) in x
1.243 * [taylor]: Taking taylor expansion of 0.5 in x
1.243 * [taylor]: Taking taylor expansion of (/ 1 (pow (fabs (/ -1 x)) 3)) in x
1.243 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
1.243 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.244 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x
1.244 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x
1.244 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x
1.244 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.244 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x
1.244 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x
1.244 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.273 * * * [progress]: simplifying candidates
1.275 * [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))
  (* (fabs x) (fabs x))
  (* (log (exp (fabs x))) (fabs x))
  (* 1 (fabs x))
  (* (cbrt (fabs x)) (fabs x))
  (* (sqrt (fabs x)) (fabs x))
  (* (fabs x) (fabs x))
  (pow (exp (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (pow (exp (fabs x)) (sqrt (fabs x)))
  (pow (exp (fabs x)) 1)
  (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (fabs x))
  (pow (cbrt (exp (fabs x))) (fabs x))
  (pow (sqrt (exp (fabs x))) (fabs x))
  (pow (sqrt (exp (fabs x))) (fabs x))
  (pow 1 (fabs x))
  (pow (exp (fabs x)) (fabs x))
  (log (pow (exp (fabs x)) (fabs x)))
  (exp (pow (exp (fabs x)) (fabs x)))
  (* (cbrt (pow (exp (fabs x)) (fabs x))) (cbrt (pow (exp (fabs x)) (fabs x))))
  (cbrt (pow (exp (fabs x)) (fabs x)))
  (* (* (pow (exp (fabs x)) (fabs x)) (pow (exp (fabs x)) (fabs x))) (pow (exp (fabs x)) (fabs x)))
  (sqrt (pow (exp (fabs x)) (fabs x)))
  (sqrt (pow (exp (fabs x)) (fabs x)))
  (pow (exp (fabs x)) (/ (fabs x) 2))
  (pow (exp (fabs x)) (/ (fabs x) 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))
  (+ (* (fabs x) (fabs x)) (log (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (+ (* (log (exp (fabs x))) (fabs x)) (log (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (+ (log (pow (exp (fabs x)) (fabs x))) (log (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (log (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (exp (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* (* (* (pow (exp (fabs x)) (fabs x)) (pow (exp (fabs x)) (fabs x))) (pow (exp (fabs x)) (fabs x))) (* (* (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* (cbrt (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))) (cbrt (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))
  (cbrt (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* (* (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (sqrt (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (sqrt (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* (pow (sqrt (exp (fabs x))) (fabs x)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* (pow (sqrt (exp (fabs x))) (fabs x)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* (sqrt (pow (exp (fabs x)) (fabs x))) (sqrt (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* (sqrt (pow (exp (fabs x)) (fabs x))) (sqrt (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* (pow (exp (fabs x)) (/ (fabs x) 2)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* (pow (exp (fabs x)) (/ (fabs x) 2)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* (pow (exp (fabs x)) (fabs x)) (/ 1.0 (fabs x)))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))
  (* (/ 1.0 (fabs x)) (pow (exp (fabs x)) (fabs x)))
  (* (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))) (pow (exp (fabs x)) (fabs x)))
  (* (pow (exp (fabs x)) (fabs x)) (* (cbrt (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))) (cbrt (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))
  (* (pow (exp (fabs x)) (fabs x)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* (pow (exp (fabs x)) (fabs x)) 1)
  (* (pow (exp (fabs x)) (fabs x)) 1)
  (* (pow (cbrt (exp (fabs x))) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))
  (* (pow (sqrt (exp (fabs x))) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))
  (* (cbrt (pow (exp (fabs x)) (fabs x))) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))
  (* (sqrt (pow (exp (fabs x)) (fabs x))) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))
  (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* 1.0 (* (* 2.0 (pow (fabs x) 3)) (* 4.0 (* 8.0 (pow (fabs x) 7))))) (* (fabs x) (+ (* (* 1.0 1.0) (* 4.0 (* 8.0 (pow (fabs x) 7)))) (* (* 2.0 (pow (fabs x) 3)) (+ (* (* 3.0 (pow (/ 1.0 (fabs x)) 5)) (* 8.0 (pow (fabs x) 7))) (* 4.0 (* 15.0 1.0))))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* 1.0 (* (* 2.0 (pow (fabs x) 3)) (* 4.0 (pow (fabs x) 7)))) (* (fabs x) (+ (* (* 1.0 1.0) (* 4.0 (pow (fabs x) 7))) (* (* 2.0 (pow (fabs x) 3)) (+ (* (* 3.0 (pow (/ 1.0 (fabs x)) 5)) (pow (fabs x) 7)) (* 4.0 (* (/ 15.0 8.0) 1.0))))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* 1.0 (* (* 2.0 (pow (fabs x) 3)) (* 4.0 8.0))) (* (fabs x) (+ (* (* 1.0 1.0) (* 4.0 8.0)) (* (* 2.0 (pow (fabs x) 3)) (+ (* (* 3.0 (pow (/ 1.0 (fabs x)) 5)) 8.0) (* 4.0 (* 15.0 (/ 1.0 (pow (fabs x) 7))))))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* 1.0 (* (* 2.0 (pow (fabs x) 3)) (+ (* (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5))) (- (* (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))) (* (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))) (* (fabs x) (+ (* (* 1.0 1.0) (+ (* (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5))) (- (* (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))) (* (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))) (* (* 2.0 (pow (fabs x) 3)) (+ (pow (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) 3) (pow (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) 3)))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* 1.0 (* (* 2.0 (pow (fabs x) 3)) (- (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))) (* (fabs x) (+ (* (* 1.0 1.0) (- (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))) (* (* 2.0 (pow (fabs x) 3)) (- (* (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5))) (* (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* 1.0 (* (pow (fabs x) 3) (* 4.0 (* 8.0 (pow (fabs x) 7))))) (* (fabs x) (+ (* (* (/ 1.0 2.0) 1.0) (* 4.0 (* 8.0 (pow (fabs x) 7)))) (* (pow (fabs x) 3) (+ (* (* 3.0 (pow (/ 1.0 (fabs x)) 5)) (* 8.0 (pow (fabs x) 7))) (* 4.0 (* 15.0 1.0))))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* 1.0 (* (pow (fabs x) 3) (* 4.0 (pow (fabs x) 7)))) (* (fabs x) (+ (* (* (/ 1.0 2.0) 1.0) (* 4.0 (pow (fabs x) 7))) (* (pow (fabs x) 3) (+ (* (* 3.0 (pow (/ 1.0 (fabs x)) 5)) (pow (fabs x) 7)) (* 4.0 (* (/ 15.0 8.0) 1.0))))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* 1.0 (* (pow (fabs x) 3) (* 4.0 8.0))) (* (fabs x) (+ (* (* (/ 1.0 2.0) 1.0) (* 4.0 8.0)) (* (pow (fabs x) 3) (+ (* (* 3.0 (pow (/ 1.0 (fabs x)) 5)) 8.0) (* 4.0 (* 15.0 (/ 1.0 (pow (fabs x) 7))))))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* 1.0 (* (pow (fabs x) 3) (+ (* (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5))) (- (* (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))) (* (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))) (* (fabs x) (+ (* (* (/ 1.0 2.0) 1.0) (+ (* (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5))) (- (* (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))) (* (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))) (* (pow (fabs x) 3) (+ (pow (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) 3) (pow (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) 3)))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* 1.0 (* (pow (fabs x) 3) (- (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))) (* (fabs x) (+ (* (* (/ 1.0 2.0) 1.0) (- (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))) (* (pow (fabs x) 3) (- (* (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5))) (* (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* 1.0 (* 2.0 (* 4.0 (* 8.0 (pow (fabs x) 7))))) (* (fabs x) (+ (* (* 1.0 (/ 1.0 (pow (fabs x) 3))) (* 4.0 (* 8.0 (pow (fabs x) 7)))) (* 2.0 (+ (* (* 3.0 (pow (/ 1.0 (fabs x)) 5)) (* 8.0 (pow (fabs x) 7))) (* 4.0 (* 15.0 1.0))))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* 1.0 (* 2.0 (* 4.0 (pow (fabs x) 7)))) (* (fabs x) (+ (* (* 1.0 (/ 1.0 (pow (fabs x) 3))) (* 4.0 (pow (fabs x) 7))) (* 2.0 (+ (* (* 3.0 (pow (/ 1.0 (fabs x)) 5)) (pow (fabs x) 7)) (* 4.0 (* (/ 15.0 8.0) 1.0))))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* 1.0 (* 2.0 (* 4.0 8.0))) (* (fabs x) (+ (* (* 1.0 (/ 1.0 (pow (fabs x) 3))) (* 4.0 8.0)) (* 2.0 (+ (* (* 3.0 (pow (/ 1.0 (fabs x)) 5)) 8.0) (* 4.0 (* 15.0 (/ 1.0 (pow (fabs x) 7))))))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* 1.0 (* 2.0 (+ (* (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5))) (- (* (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))) (* (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))) (* (fabs x) (+ (* (* 1.0 (/ 1.0 (pow (fabs x) 3))) (+ (* (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5))) (- (* (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))) (* (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))) (* 2.0 (+ (pow (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) 3) (pow (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) 3)))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* 1.0 (* 2.0 (- (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))) (* (fabs x) (+ (* (* 1.0 (/ 1.0 (pow (fabs x) 3))) (- (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))) (* 2.0 (- (* (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5))) (* (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* 1.0 (+ (* (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3)))) (- (* (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))) (* (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))) (* (fabs x) (+ (pow (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) 3) (pow (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))) 3)))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (* 1.0 (- (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))) (* (fabs x) (- (* (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3)))) (* (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))
  (* (pow (exp (fabs x)) (fabs x)) (+ (pow (/ 1.0 (fabs x)) 3) (pow (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))) 3)))
  (* (pow (exp (fabs x)) (fabs x)) (- (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (* (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (exp (pow (fabs x) 2))
  (exp (pow (fabs x) 2))
  (exp (pow (fabs x) 2))
  (/ 1.0 (pow (fabs x) 3))
  (* (exp (pow (fabs x) 2)) (+ (* 0.5 (/ 1 (pow (fabs x) 3))) (+ (* 0.75 (/ 1 (pow (fabs x) 5))) (+ (* 1.0 (/ 1 (fabs x))) (* 1.875 (/ 1 (pow (fabs x) 7)))))))
  (* (exp (pow (fabs x) 2)) (+ (* 0.5 (/ 1 (pow (fabs x) 3))) (+ (* 0.75 (/ 1 (pow (fabs x) 5))) (+ (* 1.0 (/ 1 (fabs x))) (* 1.875 (/ 1 (pow (fabs x) 7)))))))
  (* (exp (pow (fabs x) 2)) (+ (* 0.5 (/ 1 (pow (fabs x) 3))) (+ (* 0.75 (/ 1 (pow (fabs x) 5))) (+ (* 1.0 (/ 1 (fabs x))) (* 1.875 (/ 1 (pow (fabs x) 7)))))))
1.336 * * [simplify]: iteration  0 :  4890  enodes  (cost  3643 )
1.337 * * [simplify]: iteration  1 :  4890  enodes  (cost  3643 )
1.347 * [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) (cbrt (fabs x))) (/ (cbrt 1.0) (cbrt (fabs x)))) 5)
  (pow (/ (cbrt 1.0) (cbrt (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)
  (pow (fabs x) 2)
  (pow (fabs x) 2)
  (fabs x)
  (* (fabs x) (cbrt (fabs x)))
  (pow (fabs x) 3/2)
  (pow (fabs x) 2)
  (pow (exp (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (pow (exp (fabs x)) (sqrt (fabs x)))
  (exp (fabs x))
  (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (fabs x))
  (pow (cbrt (exp (fabs x))) (fabs x))
  (pow (sqrt (exp (fabs x))) (fabs x))
  (pow (sqrt (exp (fabs x))) (fabs x))
  1
  (exp (pow (fabs x) 2))
  (pow (fabs x) 2)
  (exp (exp (pow (fabs x) 2)))
  (* (cbrt (exp (pow (fabs x) 2))) (cbrt (exp (pow (fabs x) 2))))
  (cbrt (exp (pow (fabs x) 2)))
  (pow (exp (pow (fabs x) 2)) 3)
  (sqrt (exp (pow (fabs x) 2)))
  (sqrt (exp (pow (fabs x) 2)))
  (pow (exp (fabs x)) (/ (fabs x) 2))
  (pow (exp (fabs x)) (/ (fabs x) 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))
  (+ (pow (fabs x) 2) (log (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (+ (pow (fabs x) 2) (log (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (+ (pow (fabs x) 2) (log (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (+ (pow (fabs x) 2) (log (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (pow (exp (exp (pow (fabs x) 2))) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))
  (pow (* (exp (pow (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))) 3)
  (* (cbrt (* (exp (pow (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))) (cbrt (* (exp (pow (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))
  (cbrt (* (exp (pow (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (pow (* (exp (pow (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))) 3)
  (sqrt (* (exp (pow (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (sqrt (* (exp (pow (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* (pow (sqrt (exp (fabs x))) (fabs x)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* (pow (sqrt (exp (fabs x))) (fabs x)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* (sqrt (exp (pow (fabs x) 2))) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* (sqrt (exp (pow (fabs x) 2))) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* (pow (exp (fabs x)) (/ (fabs x) 2)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* (pow (exp (fabs x)) (/ (fabs x) 2)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (* 1.0 (/ (exp (pow (fabs x) 2)) (fabs x)))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))
  (* 1.0 (/ (exp (pow (fabs x) 2)) (fabs x)))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))
  (* (exp (pow (fabs x) 2)) (* (cbrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))) (cbrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))
  (* (exp (pow (fabs x) 2)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (exp (pow (fabs x) 2))
  (exp (pow (fabs x) 2))
  (* (pow (cbrt (exp (fabs x))) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))
  (* (pow (sqrt (exp (fabs x))) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))
  (* (exp (pow (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))
  (* (cbrt (exp (pow (fabs x) 2))) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))
  (* (sqrt (exp (pow (fabs x) 2))) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))
  (* (exp (pow (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))
  (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* 2.0 (* (pow (fabs x) 3) (* 4.0 (* 8.0 (pow (fabs x) 7)))))) (* (fabs x) (+ (* 1.0 (* 1.0 (* 4.0 (* 8.0 (pow (fabs x) 7))))) (* 2.0 (* (pow (fabs x) 3) (+ (* 3.0 (* (pow (/ 1.0 (fabs x)) 5) (* 8.0 (pow (fabs x) 7)))) (* 1.0 (* 4.0 15.0)))))))))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* 2.0 (* (pow (fabs x) 3) (* 4.0 (pow (fabs x) 7))))) (* (fabs x) (+ (* 1.0 (* 1.0 (* 4.0 (pow (fabs x) 7)))) (* 2.0 (* (pow (fabs x) 3) (+ (* 3.0 (* (pow (/ 1.0 (fabs x)) 5) (pow (fabs x) 7))) (* 1.0 (* 4.0 (/ 15.0 8.0))))))))))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* 2.0 (* (pow (fabs x) 3) (* 4.0 8.0)))) (* (fabs x) (+ (* 1.0 (* 1.0 (* 4.0 8.0))) (* 2.0 (* (pow (fabs x) 3) (+ (* 3.0 (* (pow (/ 1.0 (fabs x)) 5) 8.0)) (* 4.0 (* 15.0 (/ 1.0 (pow (fabs x) 7)))))))))))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* 2.0 (* (pow (fabs x) 3) (+ (* (pow (/ 1.0 (fabs x)) 10) (* (/ 3.0 4.0) (/ 3.0 4.0))) (* (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (- (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)))))))) (* (fabs x) (+ (* 1.0 (* 1.0 (+ (* (pow (/ 1.0 (fabs x)) 10) (* (/ 3.0 4.0) (/ 3.0 4.0))) (* (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (- (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0))))))) (* 2.0 (* (pow (fabs x) 3) (+ (pow (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) 3) (pow (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) 3))))))))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* 2.0 (* (pow (fabs x) 3) (- (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))) (* (fabs x) (+ (* 1.0 (* 1.0 (- (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))) (* 2.0 (* (pow (fabs x) 3) (- (* (pow (/ 1.0 (fabs x)) 10) (* (/ 3.0 4.0) (/ 3.0 4.0))) (* (/ 15.0 8.0) (* (/ 1.0 (pow (fabs x) 7)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* (pow (fabs x) 3) (* 4.0 (* 8.0 (pow (fabs x) 7))))) (* (fabs x) (+ (* (/ 1.0 2.0) (* 1.0 (* 4.0 (* 8.0 (pow (fabs x) 7))))) (* (pow (fabs x) 3) (+ (* 3.0 (* (pow (/ 1.0 (fabs x)) 5) (* 8.0 (pow (fabs x) 7)))) (* 1.0 (* 4.0 15.0))))))))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* (pow (fabs x) 3) (* 4.0 (pow (fabs x) 7)))) (* (fabs x) (+ (* (/ 1.0 2.0) (* 1.0 (* 4.0 (pow (fabs x) 7)))) (* (pow (fabs x) 3) (+ (* 3.0 (* (pow (/ 1.0 (fabs x)) 5) (pow (fabs x) 7))) (* 1.0 (* 4.0 (/ 15.0 8.0)))))))))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* (pow (fabs x) 3) (* 4.0 8.0))) (* (fabs x) (+ (* (/ 1.0 2.0) (* 1.0 (* 4.0 8.0))) (* (pow (fabs x) 3) (+ (* 3.0 (* (pow (/ 1.0 (fabs x)) 5) 8.0)) (* 4.0 (* 15.0 (/ 1.0 (pow (fabs x) 7))))))))))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* (pow (fabs x) 3) (+ (* (pow (/ 1.0 (fabs x)) 10) (* (/ 3.0 4.0) (/ 3.0 4.0))) (* (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (- (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0))))))) (* (fabs x) (+ (* (/ 1.0 2.0) (* 1.0 (+ (* (pow (/ 1.0 (fabs x)) 10) (* (/ 3.0 4.0) (/ 3.0 4.0))) (* (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (- (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0))))))) (* (pow (fabs x) 3) (+ (pow (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) 3) (pow (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) 3)))))))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* (pow (fabs x) 3) (- (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))) (* (fabs x) (+ (* (/ 1.0 2.0) (* 1.0 (- (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))) (* (pow (fabs x) 3) (- (* (pow (/ 1.0 (fabs x)) 10) (* (/ 3.0 4.0) (/ 3.0 4.0))) (* (/ 15.0 8.0) (* (/ 1.0 (pow (fabs x) 7)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* 2.0 (* 4.0 (* 8.0 (pow (fabs x) 7))))) (* (fabs x) (+ (* 1.0 (* 1.0 (/ (* 4.0 (* 8.0 (pow (fabs x) 7))) (pow (fabs x) 3)))) (* 2.0 (+ (* 3.0 (* (pow (/ 1.0 (fabs x)) 5) (* 8.0 (pow (fabs x) 7)))) (* 1.0 (* 4.0 15.0))))))))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* 2.0 (* 4.0 (pow (fabs x) 7)))) (* (fabs x) (+ (* 1.0 (* 1.0 (/ (* 4.0 (pow (fabs x) 7)) (pow (fabs x) 3)))) (* 2.0 (+ (* 3.0 (* (pow (/ 1.0 (fabs x)) 5) (pow (fabs x) 7))) (* 1.0 (* 4.0 (/ 15.0 8.0)))))))))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* 2.0 (* 4.0 8.0))) (* (fabs x) (+ (* 1.0 (* 1.0 (/ (* 4.0 8.0) (pow (fabs x) 3)))) (* 2.0 (+ (* 3.0 (* (pow (/ 1.0 (fabs x)) 5) 8.0)) (* 4.0 (* 15.0 (/ 1.0 (pow (fabs x) 7))))))))))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* 2.0 (+ (* (pow (/ 1.0 (fabs x)) 10) (* (/ 3.0 4.0) (/ 3.0 4.0))) (* (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (- (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0))))))) (* (fabs x) (+ (* 1.0 (* 1.0 (/ (+ (* (pow (/ 1.0 (fabs x)) 10) (* (/ 3.0 4.0) (/ 3.0 4.0))) (* (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (- (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0))))) (pow (fabs x) 3)))) (* 2.0 (+ (pow (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) 3) (pow (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) 3)))))))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* 2.0 (- (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))) (* (fabs x) (+ (* 1.0 (* 1.0 (/ (- (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))) (pow (fabs x) 3)))) (* 2.0 (- (* (pow (/ 1.0 (fabs x)) 10) (* (/ 3.0 4.0) (/ 3.0 4.0))) (* (/ 15.0 8.0) (* (/ 1.0 (pow (fabs x) 7)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (+ (* (/ 1.0 2.0) (* 1.0 (/ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (pow (fabs x) 3)))) (* (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (- (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))) (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3)))))))) (* (fabs x) (+ (pow (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) 3) (pow (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))) 3)))))
  (* (exp (pow (fabs x) 2)) (+ (* 1.0 (- (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))) (* (fabs x) (- (* (/ 1.0 2.0) (* 1.0 (/ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (pow (fabs x) 3)))) (* (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))
  (* (exp (pow (fabs x) 2)) (+ (pow (/ 1.0 (fabs x)) 3) (pow (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))) 3)))
  (* (exp (pow (fabs x) 2)) (- (pow (/ 1.0 (fabs x)) 2) (* (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (exp (pow (fabs x) 2))
  (exp (pow (fabs x) 2))
  (exp (pow (fabs x) 2))
  (/ 1.0 (pow (fabs x) 3))
  (* (exp (pow (fabs x) 2)) (+ (/ 0.5 (pow (fabs x) 3)) (+ (/ 1.0 (fabs x)) (+ (/ 1.875 (pow (fabs x) 7)) (/ 0.75 (pow (fabs x) 5))))))
  (* (exp (pow (fabs x) 2)) (+ (/ 0.5 (pow (fabs x) 3)) (+ (/ 1.0 (fabs x)) (+ (/ 1.875 (pow (fabs x) 7)) (/ 0.75 (pow (fabs x) 5))))))
  (* (exp (pow (fabs x) 2)) (+ (/ 0.5 (pow (fabs x) 3)) (+ (/ 1.0 (fabs x)) (+ (/ 1.875 (pow (fabs x) 7)) (/ 0.75 (pow (fabs x) 5))))))
1.348 * * * [progress]: adding candidates to table
1.791 * * [progress]: iteration 4 / 4
1.791 * * * [progress]: picking best candidate
1.893 * * * * [pick]: Picked  #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))>
1.894 * * * [progress]: localizing error
1.934 * * * [progress]: generating rewritten candidates
1.934 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 2 1 1)
1.939 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.940 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
1.944 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1.951 * * * [progress]: generating series expansions
1.951 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 2 1 1)
1.952 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in (x) around 0
1.952 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x
1.952 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
1.952 * [taylor]: Taking taylor expansion of 1.0 in x
1.952 * [taylor]: Taking taylor expansion of (fabs x) in x
1.952 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x
1.952 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x
1.952 * [taylor]: Taking taylor expansion of 1.0 in x
1.952 * [taylor]: Taking taylor expansion of (fabs x) in x
1.955 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in (x) around 0
1.955 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x
1.955 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
1.955 * [taylor]: Taking taylor expansion of 1.0 in x
1.955 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.955 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x
1.955 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x
1.956 * [taylor]: Taking taylor expansion of 1.0 in x
1.956 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.960 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in (x) around 0
1.960 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x
1.960 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
1.960 * [taylor]: Taking taylor expansion of 1.0 in x
1.960 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.960 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x
1.960 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x
1.960 * [taylor]: Taking taylor expansion of 1.0 in x
1.960 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.964 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.964 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
1.964 * [approximate]: Taking taylor expansion of (pow (exp (fabs x)) (* 1/2 (fabs x))) in (x) around 0
1.964 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (* 1/2 (fabs x))) in x
1.964 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs x)) (log (exp (fabs x))))) in x
1.964 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs x)) (log (exp (fabs x)))) in x
1.964 * [taylor]: Taking taylor expansion of (* 1/2 (fabs x)) in x
1.964 * [taylor]: Taking taylor expansion of 1/2 in x
1.964 * [taylor]: Taking taylor expansion of (fabs x) in x
1.964 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x
1.964 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x
1.964 * [taylor]: Taking taylor expansion of (fabs x) in x
1.965 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (* 1/2 (fabs x))) in x
1.965 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs x)) (log (exp (fabs x))))) in x
1.965 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs x)) (log (exp (fabs x)))) in x
1.965 * [taylor]: Taking taylor expansion of (* 1/2 (fabs x)) in x
1.965 * [taylor]: Taking taylor expansion of 1/2 in x
1.965 * [taylor]: Taking taylor expansion of (fabs x) in x
1.965 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x
1.965 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x
1.965 * [taylor]: Taking taylor expansion of (fabs x) in x
1.973 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (* 1/2 (fabs (/ 1 x)))) in (x) around 0
1.974 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (* 1/2 (fabs (/ 1 x)))) in x
1.974 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs (/ 1 x))) (log (exp (fabs (/ 1 x)))))) in x
1.974 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs (/ 1 x))) (log (exp (fabs (/ 1 x))))) in x
1.974 * [taylor]: Taking taylor expansion of (* 1/2 (fabs (/ 1 x))) in x
1.974 * [taylor]: Taking taylor expansion of 1/2 in x
1.974 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.974 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x
1.974 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x
1.974 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.974 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (* 1/2 (fabs (/ 1 x)))) in x
1.974 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs (/ 1 x))) (log (exp (fabs (/ 1 x)))))) in x
1.974 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs (/ 1 x))) (log (exp (fabs (/ 1 x))))) in x
1.974 * [taylor]: Taking taylor expansion of (* 1/2 (fabs (/ 1 x))) in x
1.974 * [taylor]: Taking taylor expansion of 1/2 in x
1.974 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.974 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x
1.974 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x
1.974 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.984 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (* 1/2 (fabs (/ -1 x)))) in (x) around 0
1.984 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (* 1/2 (fabs (/ -1 x)))) in x
1.984 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs (/ -1 x))) (log (exp (fabs (/ -1 x)))))) in x
1.984 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs (/ -1 x))) (log (exp (fabs (/ -1 x))))) in x
1.984 * [taylor]: Taking taylor expansion of (* 1/2 (fabs (/ -1 x))) in x
1.984 * [taylor]: Taking taylor expansion of 1/2 in x
1.984 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.984 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x
1.984 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x
1.984 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.984 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (* 1/2 (fabs (/ -1 x)))) in x
1.984 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs (/ -1 x))) (log (exp (fabs (/ -1 x)))))) in x
1.984 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs (/ -1 x))) (log (exp (fabs (/ -1 x))))) in x
1.984 * [taylor]: Taking taylor expansion of (* 1/2 (fabs (/ -1 x))) in x
1.984 * [taylor]: Taking taylor expansion of 1/2 in x
1.984 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.985 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x
1.985 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x
1.985 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.999 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1.999 * [approximate]: Taking taylor expansion of (pow (exp (fabs x)) (* 1/2 (fabs x))) in (x) around 0
1.999 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (* 1/2 (fabs x))) in x
1.999 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs x)) (log (exp (fabs x))))) in x
1.999 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs x)) (log (exp (fabs x)))) in x
1.999 * [taylor]: Taking taylor expansion of (* 1/2 (fabs x)) in x
1.999 * [taylor]: Taking taylor expansion of 1/2 in x
1.999 * [taylor]: Taking taylor expansion of (fabs x) in x
1.999 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x
1.999 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x
1.999 * [taylor]: Taking taylor expansion of (fabs x) in x
1.999 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (* 1/2 (fabs x))) in x
1.999 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs x)) (log (exp (fabs x))))) in x
1.999 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs x)) (log (exp (fabs x)))) in x
1.999 * [taylor]: Taking taylor expansion of (* 1/2 (fabs x)) in x
1.999 * [taylor]: Taking taylor expansion of 1/2 in x
1.999 * [taylor]: Taking taylor expansion of (fabs x) in x
1.999 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x
1.999 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x
1.999 * [taylor]: Taking taylor expansion of (fabs x) in x
2.009 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (* 1/2 (fabs (/ 1 x)))) in (x) around 0
2.009 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (* 1/2 (fabs (/ 1 x)))) in x
2.009 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs (/ 1 x))) (log (exp (fabs (/ 1 x)))))) in x
2.009 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs (/ 1 x))) (log (exp (fabs (/ 1 x))))) in x
2.009 * [taylor]: Taking taylor expansion of (* 1/2 (fabs (/ 1 x))) in x
2.009 * [taylor]: Taking taylor expansion of 1/2 in x
2.009 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
2.009 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x
2.009 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x
2.009 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
2.009 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (* 1/2 (fabs (/ 1 x)))) in x
2.009 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs (/ 1 x))) (log (exp (fabs (/ 1 x)))))) in x
2.009 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs (/ 1 x))) (log (exp (fabs (/ 1 x))))) in x
2.009 * [taylor]: Taking taylor expansion of (* 1/2 (fabs (/ 1 x))) in x
2.009 * [taylor]: Taking taylor expansion of 1/2 in x
2.009 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
2.009 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x
2.009 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x
2.009 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
2.019 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (* 1/2 (fabs (/ -1 x)))) in (x) around 0
2.019 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (* 1/2 (fabs (/ -1 x)))) in x
2.019 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs (/ -1 x))) (log (exp (fabs (/ -1 x)))))) in x
2.019 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs (/ -1 x))) (log (exp (fabs (/ -1 x))))) in x
2.019 * [taylor]: Taking taylor expansion of (* 1/2 (fabs (/ -1 x))) in x
2.019 * [taylor]: Taking taylor expansion of 1/2 in x
2.019 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
2.019 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x
2.019 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x
2.019 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
2.020 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (* 1/2 (fabs (/ -1 x)))) in x
2.020 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs (/ -1 x))) (log (exp (fabs (/ -1 x)))))) in x
2.020 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs (/ -1 x))) (log (exp (fabs (/ -1 x))))) in x
2.020 * [taylor]: Taking taylor expansion of (* 1/2 (fabs (/ -1 x))) in x
2.020 * [taylor]: Taking taylor expansion of 1/2 in x
2.020 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
2.020 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x
2.020 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x
2.020 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
2.029 * * * [progress]: simplifying candidates
2.031 * [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))
  (* (fabs x) (/ (fabs x) 2))
  (* (log (exp (fabs x))) (/ (fabs x) 2))
  (* 1 (/ (fabs x) 2))
  (* (cbrt (fabs x)) (/ (fabs x) 2))
  (* (sqrt (fabs x)) (/ (fabs x) 2))
  (* (fabs x) (/ (fabs x) 2))
  (pow (exp (fabs x)) (* (cbrt (/ (fabs x) 2)) (cbrt (/ (fabs x) 2))))
  (pow (exp (fabs x)) (sqrt (/ (fabs x) 2)))
  (pow (exp (fabs x)) (/ (* (cbrt (fabs x)) (cbrt (fabs x))) (* (cbrt 2) (cbrt 2))))
  (pow (exp (fabs x)) (/ (* (cbrt (fabs x)) (cbrt (fabs x))) (sqrt 2)))
  (pow (exp (fabs x)) (/ (* (cbrt (fabs x)) (cbrt (fabs x))) 1))
  (pow (exp (fabs x)) (/ (sqrt (fabs x)) (* (cbrt 2) (cbrt 2))))
  (pow (exp (fabs x)) (/ (sqrt (fabs x)) (sqrt 2)))
  (pow (exp (fabs x)) (/ (sqrt (fabs x)) 1))
  (pow (exp (fabs x)) (/ 1 (* (cbrt 2) (cbrt 2))))
  (pow (exp (fabs x)) (/ 1 (sqrt 2)))
  (pow (exp (fabs x)) (/ 1 1))
  (pow (exp (fabs x)) 1)
  (pow (exp (fabs x)) (fabs x))
  (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (/ (fabs x) 2))
  (pow (cbrt (exp (fabs x))) (/ (fabs x) 2))
  (pow (sqrt (exp (fabs x))) (/ (fabs x) 2))
  (pow (sqrt (exp (fabs x))) (/ (fabs x) 2))
  (pow 1 (/ (fabs x) 2))
  (pow (exp (fabs x)) (/ (fabs x) 2))
  (log (pow (exp (fabs x)) (/ (fabs x) 2)))
  (exp (pow (exp (fabs x)) (/ (fabs x) 2)))
  (* (cbrt (pow (exp (fabs x)) (/ (fabs x) 2))) (cbrt (pow (exp (fabs x)) (/ (fabs x) 2))))
  (cbrt (pow (exp (fabs x)) (/ (fabs x) 2)))
  (* (* (pow (exp (fabs x)) (/ (fabs x) 2)) (pow (exp (fabs x)) (/ (fabs x) 2))) (pow (exp (fabs x)) (/ (fabs x) 2)))
  (sqrt (pow (exp (fabs x)) (/ (fabs x) 2)))
  (sqrt (pow (exp (fabs x)) (/ (fabs x) 2)))
  (pow (exp (fabs x)) (/ (/ (fabs x) 2) 2))
  (pow (exp (fabs x)) (/ (/ (fabs x) 2) 2))
  (* (fabs x) (/ (fabs x) 2))
  (* (log (exp (fabs x))) (/ (fabs x) 2))
  (* 1 (/ (fabs x) 2))
  (* (cbrt (fabs x)) (/ (fabs x) 2))
  (* (sqrt (fabs x)) (/ (fabs x) 2))
  (* (fabs x) (/ (fabs x) 2))
  (pow (exp (fabs x)) (* (cbrt (/ (fabs x) 2)) (cbrt (/ (fabs x) 2))))
  (pow (exp (fabs x)) (sqrt (/ (fabs x) 2)))
  (pow (exp (fabs x)) (/ (* (cbrt (fabs x)) (cbrt (fabs x))) (* (cbrt 2) (cbrt 2))))
  (pow (exp (fabs x)) (/ (* (cbrt (fabs x)) (cbrt (fabs x))) (sqrt 2)))
  (pow (exp (fabs x)) (/ (* (cbrt (fabs x)) (cbrt (fabs x))) 1))
  (pow (exp (fabs x)) (/ (sqrt (fabs x)) (* (cbrt 2) (cbrt 2))))
  (pow (exp (fabs x)) (/ (sqrt (fabs x)) (sqrt 2)))
  (pow (exp (fabs x)) (/ (sqrt (fabs x)) 1))
  (pow (exp (fabs x)) (/ 1 (* (cbrt 2) (cbrt 2))))
  (pow (exp (fabs x)) (/ 1 (sqrt 2)))
  (pow (exp (fabs x)) (/ 1 1))
  (pow (exp (fabs x)) 1)
  (pow (exp (fabs x)) (fabs x))
  (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (/ (fabs x) 2))
  (pow (cbrt (exp (fabs x))) (/ (fabs x) 2))
  (pow (sqrt (exp (fabs x))) (/ (fabs x) 2))
  (pow (sqrt (exp (fabs x))) (/ (fabs x) 2))
  (pow 1 (/ (fabs x) 2))
  (pow (exp (fabs x)) (/ (fabs x) 2))
  (log (pow (exp (fabs x)) (/ (fabs x) 2)))
  (exp (pow (exp (fabs x)) (/ (fabs x) 2)))
  (* (cbrt (pow (exp (fabs x)) (/ (fabs x) 2))) (cbrt (pow (exp (fabs x)) (/ (fabs x) 2))))
  (cbrt (pow (exp (fabs x)) (/ (fabs x) 2)))
  (* (* (pow (exp (fabs x)) (/ (fabs x) 2)) (pow (exp (fabs x)) (/ (fabs x) 2))) (pow (exp (fabs x)) (/ (fabs x) 2)))
  (sqrt (pow (exp (fabs x)) (/ (fabs x) 2)))
  (sqrt (pow (exp (fabs x)) (/ (fabs x) 2)))
  (pow (exp (fabs x)) (/ (/ (fabs x) 2) 2))
  (pow (exp (fabs x)) (/ (/ (fabs x) 2) 2))
  (/ 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) 2)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))
  (exp (* 1/2 (pow (fabs x) 2)))
  (exp (* 1/2 (pow (fabs x) 2)))
  (exp (* 1/2 (pow (fabs x) 2)))
  (exp (* 1/2 (pow (fabs x) 2)))
  (exp (* 1/2 (pow (fabs x) 2)))
  (exp (* 1/2 (pow (fabs x) 2)))
2.076 * * [simplify]: iteration  0 :  5085  enodes  (cost  1013 )
2.082 * [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) (/ (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)) 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))
  (* 1/2 (pow (fabs x) 2))
  (* 1/2 (pow (fabs x) 2))
  (* (fabs x) 1/2)
  (* (cbrt (fabs x)) (* (fabs x) 1/2))
  (* 1/2 (pow (fabs x) 3/2))
  (* 1/2 (pow (fabs x) 2))
  (pow (exp (fabs x)) (* (cbrt (* (fabs x) 1/2)) (cbrt (* (fabs x) 1/2))))
  (pow (exp (fabs x)) (sqrt (* (fabs x) 1/2)))
  (pow (exp (fabs x)) (* (cbrt (fabs x)) (/ (cbrt (fabs x)) (* (cbrt 2) (cbrt 2)))))
  (pow (exp (fabs x)) (* (cbrt (fabs x)) (/ (cbrt (fabs x)) (sqrt 2))))
  (pow (exp (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (pow (exp (fabs x)) (/ (sqrt (fabs x)) (* (cbrt 2) (cbrt 2))))
  (pow (exp (fabs x)) (/ (sqrt (fabs x)) (sqrt 2)))
  (pow (exp (fabs x)) (sqrt (fabs x)))
  (pow (exp (fabs x)) (/ 1 (* (cbrt 2) (cbrt 2))))
  (pow (exp (fabs x)) (/ 1 (sqrt 2)))
  (exp (fabs x))
  (exp (fabs x))
  (exp (pow (fabs x) 2))
  (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (* (fabs x) 1/2))
  (pow (cbrt (exp (fabs x))) (* (fabs x) 1/2))
  (pow (sqrt (exp (fabs x))) (* (fabs x) 1/2))
  (pow (sqrt (exp (fabs x))) (* (fabs x) 1/2))
  1
  (sqrt (exp (pow (fabs x) 2)))
  (* 1/2 (pow (fabs x) 2))
  (exp (sqrt (exp (pow (fabs x) 2))))
  (* (cbrt (sqrt (exp (pow (fabs x) 2)))) (cbrt (sqrt (exp (pow (fabs x) 2)))))
  (cbrt (sqrt (exp (pow (fabs x) 2))))
  (pow (exp (pow (fabs x) 2)) 3/2)
  (sqrt (sqrt (exp (pow (fabs x) 2))))
  (sqrt (sqrt (exp (pow (fabs x) 2))))
  (pow (exp (fabs x)) (/ (fabs x) 4))
  (pow (exp (fabs x)) (/ (fabs x) 4))
  (* 1/2 (pow (fabs x) 2))
  (* 1/2 (pow (fabs x) 2))
  (* (fabs x) 1/2)
  (* (cbrt (fabs x)) (* (fabs x) 1/2))
  (* 1/2 (pow (fabs x) 3/2))
  (* 1/2 (pow (fabs x) 2))
  (pow (exp (fabs x)) (* (cbrt (* (fabs x) 1/2)) (cbrt (* (fabs x) 1/2))))
  (pow (exp (fabs x)) (sqrt (* (fabs x) 1/2)))
  (pow (exp (fabs x)) (* (cbrt (fabs x)) (/ (cbrt (fabs x)) (* (cbrt 2) (cbrt 2)))))
  (pow (exp (fabs x)) (* (cbrt (fabs x)) (/ (cbrt (fabs x)) (sqrt 2))))
  (pow (exp (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x))))
  (pow (exp (fabs x)) (/ (sqrt (fabs x)) (* (cbrt 2) (cbrt 2))))
  (pow (exp (fabs x)) (/ (sqrt (fabs x)) (sqrt 2)))
  (pow (exp (fabs x)) (sqrt (fabs x)))
  (pow (exp (fabs x)) (/ 1 (* (cbrt 2) (cbrt 2))))
  (pow (exp (fabs x)) (/ 1 (sqrt 2)))
  (exp (fabs x))
  (exp (fabs x))
  (exp (pow (fabs x) 2))
  (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (* (fabs x) 1/2))
  (pow (cbrt (exp (fabs x))) (* (fabs x) 1/2))
  (pow (sqrt (exp (fabs x))) (* (fabs x) 1/2))
  (pow (sqrt (exp (fabs x))) (* (fabs x) 1/2))
  1
  (sqrt (exp (pow (fabs x) 2)))
  (* 1/2 (pow (fabs x) 2))
  (exp (sqrt (exp (pow (fabs x) 2))))
  (* (cbrt (sqrt (exp (pow (fabs x) 2)))) (cbrt (sqrt (exp (pow (fabs x) 2)))))
  (cbrt (sqrt (exp (pow (fabs x) 2))))
  (pow (exp (pow (fabs x) 2)) 3/2)
  (sqrt (sqrt (exp (pow (fabs x) 2))))
  (sqrt (sqrt (exp (pow (fabs x) 2))))
  (pow (exp (fabs x)) (/ (fabs x) 4))
  (pow (exp (fabs x)) (/ (fabs x) 4))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (/ 1.0 (pow (fabs x) 5))
  (* (exp (pow (fabs x) 2)) (* (/ 1.0 (sqrt PI)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ 1.0 (* 2.0 (pow (fabs x) 3)))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))
  (sqrt (exp (pow (fabs x) 2)))
  (sqrt (exp (pow (fabs x) 2)))
  (sqrt (exp (pow (fabs x) 2)))
  (sqrt (exp (pow (fabs x) 2)))
  (sqrt (exp (pow (fabs x) 2)))
  (sqrt (exp (pow (fabs x) 2)))
2.082 * * * [progress]: adding candidates to table
2.457 * [progress]: [Phase 3 of 3] Extracting.
2.457 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (sqrt (fabs x))) (* 1/2 (pow (fabs x) 3/2))) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (/ (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* 2.0 (* 4.0 8.0))) (* (fabs x) (+ (* 1.0 (* 1.0 (/ (* 4.0 8.0) (pow (fabs x) 3)))) (* 2.0 (+ (* 3.0 (* (pow (/ 1.0 (fabs x)) 5) 8.0)) (* 4.0 (* 15.0 (/ 1.0 (pow (fabs x) 7)))))))))) (* (fabs x) (* 2.0 (* 4.0 8.0))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (* (pow (exp (fabs x)) (/ (fabs x) 2)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (* (exp (pow (fabs x) 2)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))) (sqrt (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (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) (* (exp (pow (fabs x) 2)) (* (/ 1.0 (sqrt PI)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ 1.0 (* 2.0 (pow (fabs x) 3)))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 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) 2)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (sqrt (exp (fabs x))) (fabs x)) (* (pow (sqrt (exp (fabs x))) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp 1) (* 1/2 (pow (fabs x) 2))) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp 1) (pow (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (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) (log (exp (pow (/ 1.0 (fabs x)) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (log (exp (pow (/ 1.0 (fabs x)) 5))) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (exp (+ (pow (fabs x) 2) (log (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (* (* (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (* (fabs x) 1/2)) (pow (cbrt (exp (fabs x))) (* (fabs x) 1/2))) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 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) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (log (exp (pow (/ 1.0 (fabs x)) 5)))) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (* (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (* (fabs x) 1/2)) (pow (cbrt (exp (fabs x))) (* (fabs x) 1/2))) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (* (* (cbrt (sqrt (exp (pow (fabs x) 2)))) (cbrt (sqrt (exp (pow (fabs x) 2))))) (cbrt (sqrt (exp (pow (fabs x) 2))))) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (/ (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* 2.0 (* (pow (fabs x) 3) (* 4.0 (pow (fabs x) 7))))) (* (fabs x) (+ (* 1.0 (* 1.0 (* 4.0 (pow (fabs x) 7)))) (* 2.0 (* (pow (fabs x) 3) (+ (* 3.0 (* (pow (/ 1.0 (fabs x)) 5) (pow (fabs x) 7))) (* 1.0 (* 4.0 (/ 15.0 8.0)))))))))) (* (fabs x) (* (* 2.0 (pow (fabs x) 3)) (* 4.0 (pow (fabs x) 7)))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (* (* (pow (sqrt (exp (fabs x))) (* (fabs x) 1/2)) (pow (sqrt (exp (fabs x))) (* (fabs x) 1/2))) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (* (pow (sqrt (exp (fabs x))) (fabs x)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))) (* (pow (sqrt (exp (fabs x))) (fabs x)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (sqrt (pow (exp (fabs x)) (fabs x))) (* (sqrt (exp (pow (fabs x) 2))) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 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) (exp (* (log (/ 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 (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (fabs x)) (pow (cbrt (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) (log (exp (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 (* (* (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) 2)) (pow (exp (fabs x)) (/ (fabs x) 2))) (+ (/ 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)))))))))>)
2.488 * * * [regime-changes]: Trying 2 branch expressions: ((fabs x) x)
2.488 * * * * [regimes]: Trying to branch on (fabs x) from (#<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (sqrt (fabs x))) (* 1/2 (pow (fabs x) 3/2))) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (/ (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* 2.0 (* 4.0 8.0))) (* (fabs x) (+ (* 1.0 (* 1.0 (/ (* 4.0 8.0) (pow (fabs x) 3)))) (* 2.0 (+ (* 3.0 (* (pow (/ 1.0 (fabs x)) 5) 8.0)) (* 4.0 (* 15.0 (/ 1.0 (pow (fabs x) 7)))))))))) (* (fabs x) (* 2.0 (* 4.0 8.0))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (* (pow (exp (fabs x)) (/ (fabs x) 2)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (* (exp (pow (fabs x) 2)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))) (sqrt (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (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) (* (exp (pow (fabs x) 2)) (* (/ 1.0 (sqrt PI)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ 1.0 (* 2.0 (pow (fabs x) 3)))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 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) 2)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (sqrt (exp (fabs x))) (fabs x)) (* (pow (sqrt (exp (fabs x))) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp 1) (* 1/2 (pow (fabs x) 2))) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp 1) (pow (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (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) (log (exp (pow (/ 1.0 (fabs x)) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (log (exp (pow (/ 1.0 (fabs x)) 5))) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (exp (+ (pow (fabs x) 2) (log (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (* (* (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (* (fabs x) 1/2)) (pow (cbrt (exp (fabs x))) (* (fabs x) 1/2))) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 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) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (log (exp (pow (/ 1.0 (fabs x)) 5)))) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (* (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (* (fabs x) 1/2)) (pow (cbrt (exp (fabs x))) (* (fabs x) 1/2))) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (* (* (cbrt (sqrt (exp (pow (fabs x) 2)))) (cbrt (sqrt (exp (pow (fabs x) 2))))) (cbrt (sqrt (exp (pow (fabs x) 2))))) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (/ (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* 2.0 (* (pow (fabs x) 3) (* 4.0 (pow (fabs x) 7))))) (* (fabs x) (+ (* 1.0 (* 1.0 (* 4.0 (pow (fabs x) 7)))) (* 2.0 (* (pow (fabs x) 3) (+ (* 3.0 (* (pow (/ 1.0 (fabs x)) 5) (pow (fabs x) 7))) (* 1.0 (* 4.0 (/ 15.0 8.0)))))))))) (* (fabs x) (* (* 2.0 (pow (fabs x) 3)) (* 4.0 (pow (fabs x) 7)))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (* (* (pow (sqrt (exp (fabs x))) (* (fabs x) 1/2)) (pow (sqrt (exp (fabs x))) (* (fabs x) 1/2))) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (* (pow (sqrt (exp (fabs x))) (fabs x)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))) (* (pow (sqrt (exp (fabs x))) (fabs x)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (sqrt (pow (exp (fabs x)) (fabs x))) (* (sqrt (exp (pow (fabs x) 2))) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 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) (exp (* (log (/ 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 (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (fabs x)) (pow (cbrt (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) (log (exp (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 (* (* (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) 2)) (pow (exp (fabs x)) (/ (fabs x) 2))) (+ (/ 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)))))))))>)
2.653 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (sqrt (fabs x))) (* 1/2 (pow (fabs x) 3/2))) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (/ (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* 2.0 (* 4.0 8.0))) (* (fabs x) (+ (* 1.0 (* 1.0 (/ (* 4.0 8.0) (pow (fabs x) 3)))) (* 2.0 (+ (* 3.0 (* (pow (/ 1.0 (fabs x)) 5) 8.0)) (* 4.0 (* 15.0 (/ 1.0 (pow (fabs x) 7)))))))))) (* (fabs x) (* 2.0 (* 4.0 8.0))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (* (pow (exp (fabs x)) (/ (fabs x) 2)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (* (exp (pow (fabs x) 2)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))) (sqrt (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (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) (* (exp (pow (fabs x) 2)) (* (/ 1.0 (sqrt PI)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ 1.0 (* 2.0 (pow (fabs x) 3)))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 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) 2)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (sqrt (exp (fabs x))) (fabs x)) (* (pow (sqrt (exp (fabs x))) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp 1) (* 1/2 (pow (fabs x) 2))) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp 1) (pow (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (/ 1.0 (pow (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) (log (exp (pow (/ 1.0 (fabs x)) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (log (exp (pow (/ 1.0 (fabs x)) 5))) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (exp (+ (pow (fabs x) 2) (log (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (* (* (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (* (fabs x) 1/2)) (pow (cbrt (exp (fabs x))) (* (fabs x) 1/2))) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 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) (/ 1.0 (pow (fabs x) 3))) (+ (* (/ 3.0 4.0) (log (exp (pow (/ 1.0 (fabs x)) 5)))) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (* (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (* (fabs x) 1/2)) (pow (cbrt (exp (fabs x))) (* (fabs x) 1/2))) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (* (* (cbrt (sqrt (exp (pow (fabs x) 2)))) (cbrt (sqrt (exp (pow (fabs x) 2))))) (cbrt (sqrt (exp (pow (fabs x) 2))))) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (/ (* (exp (pow (fabs x) 2)) (+ (* 1.0 (* 2.0 (* (pow (fabs x) 3) (* 4.0 (pow (fabs x) 7))))) (* (fabs x) (+ (* 1.0 (* 1.0 (* 4.0 (pow (fabs x) 7)))) (* 2.0 (* (pow (fabs x) 3) (+ (* 3.0 (* (pow (/ 1.0 (fabs x)) 5) (pow (fabs x) 7))) (* 1.0 (* 4.0 (/ 15.0 8.0)))))))))) (* (fabs x) (* (* 2.0 (pow (fabs x) 3)) (* 4.0 (pow (fabs x) 7)))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (* (* (pow (sqrt (exp (fabs x))) (* (fabs x) 1/2)) (pow (sqrt (exp (fabs x))) (* (fabs x) 1/2))) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (* (pow (sqrt (exp (fabs x))) (fabs x)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))) (* (pow (sqrt (exp (fabs x))) (fabs x)) (sqrt (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))))> #<alt (λ (x) (* (/ 1.0 (sqrt PI)) (* (sqrt (pow (exp (fabs x)) (fabs x))) (* (sqrt (exp (pow (fabs x) 2))) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 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) (exp (* (log (/ 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 (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (fabs x)) (pow (cbrt (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) (log (exp (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 (* (* (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) 2)) (pow (exp (fabs x)) (/ (fabs x) 2))) (+ (/ 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)))))))))>)
2.818 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
2.818 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))
2.819 * * [simplify]: iteration  0 :  45  enodes  (cost  60 )
2.819 * * [simplify]: iteration  1 :  45  enodes  (cost  60 )
2.819 * [simplify]: Simplified to:
   (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (* (pow (exp (fabs x)) (/ (fabs x) 2)) (+ (/ 1.0 (fabs x)) (+ (* 1.0 (/ (/ 1.0 2.0) (pow (fabs x) 3))) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (/ 15.0 8.0) (/ 1.0 (pow (fabs x) 7)))))))))
8.516 * [regime-testing]: End program error score: 1.2773610674432148