4.846 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.015 * [progress]: [Phase 2 of 3] Improving.
0.015 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
0.017 * * [simplify]: iteration  0 :  15  enodes  (cost  5 )
0.019 * * [simplify]: iteration  1 :  38  enodes  (cost  4 )
0.020 * * [simplify]: iteration  2 :  80  enodes  (cost  4 )
0.022 * * [simplify]: iteration  3 :  118  enodes  (cost  4 )
0.024 * * [simplify]: iteration  4 :  174  enodes  (cost  4 )
0.028 * * [simplify]: iteration  5 :  365  enodes  (cost  4 )
0.036 * * [simplify]: iteration  6 :  1299  enodes  (cost  4 )
0.069 * * [simplify]: iteration  7 :  4620  enodes  (cost  4 )
0.202 * * [simplify]: iteration  8 :  5001  enodes  (cost  4 )
0.203 * [simplify]: Simplified to:
   (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
0.205 * * [progress]: iteration 1 / 4
0.205 * * * [progress]: picking best candidate
0.207 * * * * [pick]: Picked  #<alt (λ (x) (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))>
0.207 * * * [progress]: localizing error
0.215 * * * [progress]: generating rewritten candidates
0.215 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2)
0.224 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.243 * * * [progress]: generating series expansions
0.243 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2)
0.243 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in (x) around 0
0.243 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in x
0.243 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.243 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.243 * [taylor]: Taking taylor expansion of x in x
0.243 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in x
0.243 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.244 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.244 * [taylor]: Taking taylor expansion of x in x
0.252 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in (x) around 0
0.252 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x
0.252 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.252 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.252 * [taylor]: Taking taylor expansion of x in x
0.253 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x
0.253 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.253 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.253 * [taylor]: Taking taylor expansion of x in x
0.260 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in (x) around 0
0.260 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x
0.260 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.260 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.261 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x
0.261 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.261 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.261 * [taylor]: Taking taylor expansion of x in x
0.268 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.268 * [approximate]: Taking taylor expansion of (* (- 0.954929658551372 (* 0.12900613773279798 (pow x 2))) x) in (x) around 0
0.268 * [taylor]: Taking taylor expansion of (* (- 0.954929658551372 (* 0.12900613773279798 (pow x 2))) x) in x
0.268 * [taylor]: Taking taylor expansion of (- 0.954929658551372 (* 0.12900613773279798 (pow x 2))) in x
0.268 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
0.268 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in x
0.268 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.268 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.268 * [taylor]: Taking taylor expansion of x in x
0.268 * [taylor]: Taking taylor expansion of x in x
0.268 * [taylor]: Taking taylor expansion of (* (- 0.954929658551372 (* 0.12900613773279798 (pow x 2))) x) in x
0.268 * [taylor]: Taking taylor expansion of (- 0.954929658551372 (* 0.12900613773279798 (pow x 2))) in x
0.268 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
0.268 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in x
0.268 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.268 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.268 * [taylor]: Taking taylor expansion of x in x
0.268 * [taylor]: Taking taylor expansion of x in x
0.297 * [approximate]: Taking taylor expansion of (/ (- 0.954929658551372 (* 0.12900613773279798 (/ 1 (pow x 2)))) x) in (x) around 0
0.297 * [taylor]: Taking taylor expansion of (/ (- 0.954929658551372 (* 0.12900613773279798 (/ 1 (pow x 2)))) x) in x
0.297 * [taylor]: Taking taylor expansion of (- 0.954929658551372 (* 0.12900613773279798 (/ 1 (pow x 2)))) in x
0.297 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
0.297 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 2))) in x
0.297 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.297 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.297 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.297 * [taylor]: Taking taylor expansion of x in x
0.298 * [taylor]: Taking taylor expansion of x in x
0.299 * [taylor]: Taking taylor expansion of (/ (- 0.954929658551372 (* 0.12900613773279798 (/ 1 (pow x 2)))) x) in x
0.299 * [taylor]: Taking taylor expansion of (- 0.954929658551372 (* 0.12900613773279798 (/ 1 (pow x 2)))) in x
0.299 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
0.299 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 2))) in x
0.299 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.299 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.299 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.299 * [taylor]: Taking taylor expansion of x in x
0.300 * [taylor]: Taking taylor expansion of x in x
0.325 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.954929658551372 (* 0.12900613773279798 (/ 1 (pow x 2)))) x)) in (x) around 0
0.325 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.954929658551372 (* 0.12900613773279798 (/ 1 (pow x 2)))) x)) in x
0.325 * [taylor]: Taking taylor expansion of -1 in x
0.325 * [taylor]: Taking taylor expansion of (/ (- 0.954929658551372 (* 0.12900613773279798 (/ 1 (pow x 2)))) x) in x
0.325 * [taylor]: Taking taylor expansion of (- 0.954929658551372 (* 0.12900613773279798 (/ 1 (pow x 2)))) in x
0.325 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
0.325 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 2))) in x
0.325 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.325 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.325 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.327 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.954929658551372 (* 0.12900613773279798 (/ 1 (pow x 2)))) x)) in x
0.327 * [taylor]: Taking taylor expansion of -1 in x
0.327 * [taylor]: Taking taylor expansion of (/ (- 0.954929658551372 (* 0.12900613773279798 (/ 1 (pow x 2)))) x) in x
0.327 * [taylor]: Taking taylor expansion of (- 0.954929658551372 (* 0.12900613773279798 (/ 1 (pow x 2)))) in x
0.327 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
0.327 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 2))) in x
0.327 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.327 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.327 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.327 * [taylor]: Taking taylor expansion of x in x
0.328 * [taylor]: Taking taylor expansion of x in x
0.360 * * * [progress]: simplifying candidates
0.361 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 0.12900613773279798 (* x x))
  (* 0.12900613773279798 (* x x))
  (+ (log 0.12900613773279798) (+ (log x) (log x)))
  (+ (log 0.12900613773279798) (log (* x x)))
  (log (* 0.12900613773279798 (* x x)))
  (exp (* 0.12900613773279798 (* x x)))
  (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* x x) x) (* (* x x) x)))
  (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* x x) (* x x)) (* x x)))
  (* (cbrt (* 0.12900613773279798 (* x x))) (cbrt (* 0.12900613773279798 (* x x))))
  (cbrt (* 0.12900613773279798 (* x x)))
  (* (* (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (* x x))) (* 0.12900613773279798 (* x x)))
  (sqrt (* 0.12900613773279798 (* x x)))
  (sqrt (* 0.12900613773279798 (* x x)))
  (* (sqrt 0.12900613773279798) x)
  (* (sqrt 0.12900613773279798) x)
  (* (sqrt 0.12900613773279798) (sqrt (* x x)))
  (* (sqrt 0.12900613773279798) (sqrt (* x x)))
  (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x)))
  (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x)))
  (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x)))
  (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x)))
  (* (sqrt 0.12900613773279798) x)
  (* (sqrt 0.12900613773279798) x)
  (* 0.12900613773279798 x)
  (* 0.12900613773279798 (* (cbrt (* x x)) (cbrt (* x x))))
  (* 0.12900613773279798 (sqrt (* x x)))
  (* 0.12900613773279798 1)
  (* 0.12900613773279798 (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))))
  (* 0.12900613773279798 (* (sqrt x) (sqrt x)))
  (* 0.12900613773279798 (* 1 1))
  (* 0.12900613773279798 (* (sqrt x) (sqrt x)))
  (* 0.12900613773279798 (* x (* (cbrt x) (cbrt x))))
  (* 0.12900613773279798 (* x (sqrt x)))
  (* 0.12900613773279798 (* x 1))
  (* 0.12900613773279798 (* (cbrt x) (cbrt x)))
  (* 0.12900613773279798 (sqrt x))
  (* 0.12900613773279798 1)
  (* 0.12900613773279798 x)
  (* (cbrt 0.12900613773279798) (* x x))
  (* (sqrt 0.12900613773279798) (* x x))
  (* 0.12900613773279798 (* x x))
  (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
  (+ (log x) (log (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (log (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (exp (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (* (* (* x x) x) (* (* (- 0.954929658551372 (* 0.12900613773279798 (* x x))) (- 0.954929658551372 (* 0.12900613773279798 (* x x)))) (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (* (cbrt (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))) (cbrt (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))))
  (cbrt (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (* (* (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))) (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))) (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (sqrt (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (sqrt (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (* (sqrt x) (sqrt (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (* (sqrt x) (sqrt (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (* x 0.954929658551372)
  (* x (- (* 0.12900613773279798 (* x x))))
  (* x 0.954929658551372)
  (* x (- (* 0.12900613773279798 (* x x))))
  (* 0.954929658551372 x)
  (* (- (* 0.12900613773279798 (* x x))) x)
  (* 0.954929658551372 x)
  (* (- (* 0.12900613773279798 (* x x))) x)
  (* x (* (cbrt (- 0.954929658551372 (* 0.12900613773279798 (* x x)))) (cbrt (- 0.954929658551372 (* 0.12900613773279798 (* x x))))))
  (* x (sqrt (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (* x 1)
  (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt 0.12900613773279798) x)))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt 0.12900613773279798) (sqrt (* x x)))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x)))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x)))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt 0.12900613773279798) x)))
  (* x 1)
  (* x 1)
  (* (cbrt x) (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
  (* (sqrt x) (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
  (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
  (* x (- (pow 0.954929658551372 3) (pow (* 0.12900613773279798 (* x x)) 3)))
  (* x (- (* 0.954929658551372 0.954929658551372) (* (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (* x x)))))
  (* 0.12900613773279798 (pow x 2))
  (* 0.12900613773279798 (pow x 2))
  (* 0.12900613773279798 (pow x 2))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
0.370 * * [simplify]: iteration  0 :  280  enodes  (cost  312 )
0.375 * * [simplify]: iteration  1 :  1317  enodes  (cost  280 )
0.406 * * [simplify]: iteration  2 :  5001  enodes  (cost  277 )
0.408 * [simplify]: Simplified to:
   (* 0.12900613773279798 (* x x))
  (* 0.12900613773279798 (* x x))
  (log (* 0.12900613773279798 (* x x)))
  (log (* 0.12900613773279798 (* x x)))
  (log (* 0.12900613773279798 (* x x)))
  (exp (* 0.12900613773279798 (* x x)))
  (pow (* 0.12900613773279798 (* x x)) 3)
  (pow (* 0.12900613773279798 (* x x)) 3)
  (* (cbrt (* 0.12900613773279798 (* x x))) (cbrt (* 0.12900613773279798 (* x x))))
  (cbrt (* 0.12900613773279798 (* x x)))
  (pow (* 0.12900613773279798 (* x x)) 3)
  (sqrt (* 0.12900613773279798 (* x x)))
  (sqrt (* 0.12900613773279798 (* x x)))
  (* x (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* (fabs x) (sqrt 0.12900613773279798))
  (* (fabs x) (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* x 0.12900613773279798)
  (* 0.12900613773279798 (* (cbrt (* x x)) (cbrt (* x x))))
  (* (fabs x) 0.12900613773279798)
  0.12900613773279798
  (* (* 0.12900613773279798 x) (cbrt x))
  (* x 0.12900613773279798)
  0.12900613773279798
  (* x 0.12900613773279798)
  (* 0.12900613773279798 (* x (* (cbrt x) (cbrt x))))
  (* 0.12900613773279798 (* x (sqrt x)))
  (* x 0.12900613773279798)
  (* 0.12900613773279798 (* (cbrt x) (cbrt x)))
  (* 0.12900613773279798 (sqrt x))
  0.12900613773279798
  (* x 0.12900613773279798)
  (* (cbrt 0.12900613773279798) (* x x))
  (* (sqrt 0.12900613773279798) (* x x))
  (* 0.12900613773279798 (* x x))
  (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
  (log (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (log (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (exp (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (pow (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))) 3)
  (* (cbrt (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))) (cbrt (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))))
  (cbrt (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (pow (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))) 3)
  (sqrt (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (sqrt (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (* (sqrt x) (sqrt (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (* (sqrt x) (sqrt (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  (* x 0.954929658551372)
  (* (- 0.12900613773279798) (pow x 3))
  (* x 0.954929658551372)
  (* (- 0.12900613773279798) (pow x 3))
  (* x 0.954929658551372)
  (* (- 0.12900613773279798) (pow x 3))
  (* x 0.954929658551372)
  (* (- 0.12900613773279798) (pow x 3))
  (* x (* (cbrt (- 0.954929658551372 (* 0.12900613773279798 (* x x)))) (cbrt (- 0.954929658551372 (* 0.12900613773279798 (* x x))))))
  (* x (sqrt (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
  x
  (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt 0.12900613773279798) x)))
  (* x (+ (sqrt 0.954929658551372) (* (fabs x) (sqrt 0.12900613773279798))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt 0.12900613773279798) x)))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt 0.12900613773279798) x)))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt 0.12900613773279798) x)))
  x
  x
  (* (cbrt x) (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
  (* (sqrt x) (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
  (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
  (* x (- (pow 0.954929658551372 3) (pow (* 0.12900613773279798 (* x x)) 3)))
  (* x (- (* 0.954929658551372 0.954929658551372) (* (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (* x x)))))
  (* 0.12900613773279798 (* x x))
  (* 0.12900613773279798 (* x x))
  (* 0.12900613773279798 (* x x))
  (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
  (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
  (* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
0.408 * * * [progress]: adding candidates to table
0.501 * * [progress]: iteration 2 / 4
0.501 * * * [progress]: picking best candidate
0.513 * * * * [pick]: Picked  #<alt (λ (x) (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))>
0.513 * * * [progress]: localizing error
0.521 * * * [progress]: generating rewritten candidates
0.521 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2 2)
0.526 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
0.543 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.575 * * * [progress]: generating series expansions
0.575 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2 2)
0.575 * [approximate]: Taking taylor expansion of x in (x) around 0
0.575 * [taylor]: Taking taylor expansion of x in x
0.575 * [taylor]: Taking taylor expansion of x in x
0.575 * [approximate]: Taking taylor expansion of (/ 1 x) in (x) around 0
0.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.575 * [taylor]: Taking taylor expansion of x in x
0.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.576 * [taylor]: Taking taylor expansion of x in x
0.582 * [approximate]: Taking taylor expansion of (/ 1 x) in (x) around 0
0.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.582 * [taylor]: Taking taylor expansion of x in x
0.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.583 * [taylor]: Taking taylor expansion of x in x
0.586 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
0.586 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (* x (fabs x))) in (x) around 0
0.586 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (* x (fabs x))) in x
0.586 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.586 * [taylor]: Taking taylor expansion of (* x (fabs x)) in x
0.586 * [taylor]: Taking taylor expansion of x in x
0.586 * [taylor]: Taking taylor expansion of (fabs x) in x
0.586 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (* x (fabs x))) in x
0.586 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.586 * [taylor]: Taking taylor expansion of (* x (fabs x)) in x
0.586 * [taylor]: Taking taylor expansion of x in x
0.586 * [taylor]: Taking taylor expansion of (fabs x) in x
0.600 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (/ (fabs (/ 1 x)) x)) in (x) around 0
0.600 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ (fabs (/ 1 x)) x)) in x
0.600 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.600 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 x)) x) in x
0.600 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.600 * [taylor]: Taking taylor expansion of x in x
0.600 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ (fabs (/ 1 x)) x)) in x
0.600 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.600 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 x)) x) in x
0.600 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.600 * [taylor]: Taking taylor expansion of x in x
0.613 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (/ (fabs (/ -1 x)) x)) in (x) around 0
0.614 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ (fabs (/ -1 x)) x)) in x
0.614 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.614 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 x)) x) in x
0.614 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.614 * [taylor]: Taking taylor expansion of x in x
0.614 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ (fabs (/ -1 x)) x)) in x
0.614 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.614 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 x)) x) in x
0.614 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.614 * [taylor]: Taking taylor expansion of x in x
0.626 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.627 * [approximate]: Taking taylor expansion of (* x (- 0.954929658551372 (* 0.12900613773279798 (* x (fabs x))))) in (x) around 0
0.627 * [taylor]: Taking taylor expansion of (* x (- 0.954929658551372 (* 0.12900613773279798 (* x (fabs x))))) in x
0.627 * [taylor]: Taking taylor expansion of x in x
0.627 * [taylor]: Taking taylor expansion of (- 0.954929658551372 (* 0.12900613773279798 (* x (fabs x)))) in x
0.627 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
0.627 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (* x (fabs x))) in x
0.627 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.627 * [taylor]: Taking taylor expansion of (* x (fabs x)) in x
0.627 * [taylor]: Taking taylor expansion of x in x
0.627 * [taylor]: Taking taylor expansion of (fabs x) in x
0.627 * [taylor]: Taking taylor expansion of (* x (- 0.954929658551372 (* 0.12900613773279798 (* x (fabs x))))) in x
0.627 * [taylor]: Taking taylor expansion of x in x
0.627 * [taylor]: Taking taylor expansion of (- 0.954929658551372 (* 0.12900613773279798 (* x (fabs x)))) in x
0.627 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
0.627 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (* x (fabs x))) in x
0.627 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.627 * [taylor]: Taking taylor expansion of (* x (fabs x)) in x
0.627 * [taylor]: Taking taylor expansion of x in x
0.627 * [taylor]: Taking taylor expansion of (fabs x) in x
0.657 * [approximate]: Taking taylor expansion of (/ (- 0.954929658551372 (* 0.12900613773279798 (/ (fabs (/ 1 x)) x))) x) in (x) around 0
0.657 * [taylor]: Taking taylor expansion of (/ (- 0.954929658551372 (* 0.12900613773279798 (/ (fabs (/ 1 x)) x))) x) in x
0.657 * [taylor]: Taking taylor expansion of (- 0.954929658551372 (* 0.12900613773279798 (/ (fabs (/ 1 x)) x))) in x
0.657 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
0.657 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ (fabs (/ 1 x)) x)) in x
0.657 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.657 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 x)) x) in x
0.657 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.657 * [taylor]: Taking taylor expansion of (/ (- 0.954929658551372 (* 0.12900613773279798 (/ (fabs (/ 1 x)) x))) x) in x
0.657 * [taylor]: Taking taylor expansion of (- 0.954929658551372 (* 0.12900613773279798 (/ (fabs (/ 1 x)) x))) in x
0.657 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
0.657 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ (fabs (/ 1 x)) x)) in x
0.657 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.657 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 x)) x) in x
0.657 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.692 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.954929658551372 (* 0.12900613773279798 (/ (fabs (/ -1 x)) x))) x)) in (x) around 0
0.692 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.954929658551372 (* 0.12900613773279798 (/ (fabs (/ -1 x)) x))) x)) in x
0.692 * [taylor]: Taking taylor expansion of -1 in x
0.692 * [taylor]: Taking taylor expansion of (/ (- 0.954929658551372 (* 0.12900613773279798 (/ (fabs (/ -1 x)) x))) x) in x
0.692 * [taylor]: Taking taylor expansion of (- 0.954929658551372 (* 0.12900613773279798 (/ (fabs (/ -1 x)) x))) in x
0.692 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
0.692 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ (fabs (/ -1 x)) x)) in x
0.692 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.692 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 x)) x) in x
0.692 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.692 * [taylor]: Taking taylor expansion of x in x
0.693 * [taylor]: Taking taylor expansion of x in x
0.693 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.954929658551372 (* 0.12900613773279798 (/ (fabs (/ -1 x)) x))) x)) in x
0.693 * [taylor]: Taking taylor expansion of -1 in x
0.693 * [taylor]: Taking taylor expansion of (/ (- 0.954929658551372 (* 0.12900613773279798 (/ (fabs (/ -1 x)) x))) x) in x
0.693 * [taylor]: Taking taylor expansion of (- 0.954929658551372 (* 0.12900613773279798 (/ (fabs (/ -1 x)) x))) in x
0.693 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
0.693 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ (fabs (/ -1 x)) x)) in x
0.693 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
0.693 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 x)) x) in x
0.693 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
0.693 * [taylor]: Taking taylor expansion of x in x
0.693 * [taylor]: Taking taylor expansion of x in x
0.731 * * * [progress]: simplifying candidates
0.733 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (* x x)))
  (exp (sqrt (* x x)))
  (* (cbrt (sqrt (* x x))) (cbrt (sqrt (* x x))))
  (cbrt (sqrt (* x x)))
  (* (* (sqrt (* x x)) (sqrt (* x x))) (sqrt (* x x)))
  (sqrt x)
  (sqrt x)
  (sqrt (* (cbrt (* x x)) (cbrt (* x x))))
  (sqrt (cbrt (* x x)))
  (sqrt (sqrt (* x x)))
  (sqrt (sqrt (* x x)))
  (sqrt 1)
  (sqrt (* x x))
  (sqrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))))
  (sqrt (* (cbrt x) (cbrt x)))
  (sqrt (* (sqrt x) (sqrt x)))
  (sqrt (* (sqrt x) (sqrt x)))
  (sqrt (* 1 1))
  (sqrt (* x x))
  (sqrt (* (sqrt x) (sqrt x)))
  (sqrt (* (sqrt x) (sqrt x)))
  (sqrt (* x (* (cbrt x) (cbrt x))))
  (sqrt (cbrt x))
  (sqrt (* x (sqrt x)))
  (sqrt (sqrt x))
  (sqrt (* x 1))
  (sqrt x)
  (sqrt (* (cbrt x) (cbrt x)))
  (sqrt (* (cbrt x) x))
  (sqrt (sqrt x))
  (sqrt (* (sqrt x) x))
  (sqrt 1)
  (sqrt (* x x))
  (sqrt x)
  (sqrt x)
  (/ (+ 1 1) 2)
  (/ 1 2)
  (/ 2 2)
  (/ (+ 1 1) 2)
  (/ 1 2)
  (/ (* 2 1) 2)
  (sqrt (sqrt (* x x)))
  (sqrt (sqrt (* x x)))
  (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))
  (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))
  (+ (+ (log (fabs x)) (log 0.12900613773279798)) (log (sqrt (* x x))))
  (+ (log (* (fabs x) 0.12900613773279798)) (log (sqrt (* x x))))
  (log (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))
  (exp (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))
  (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798)) (* (* (sqrt (* x x)) (sqrt (* x x))) (sqrt (* x x))))
  (* (* (* (* (fabs x) 0.12900613773279798) (* (fabs x) 0.12900613773279798)) (* (fabs x) 0.12900613773279798)) (* (* (sqrt (* x x)) (sqrt (* x x))) (sqrt (* x x))))
  (* (cbrt (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))) (cbrt (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))
  (cbrt (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))
  (* (* (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))) (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))) (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))
  (sqrt (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))
  (sqrt (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (* (sqrt x) (sqrt x))))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (* (sqrt x) (sqrt x))))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (* (sqrt x) (sqrt x))))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (* (sqrt x) (sqrt x))))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt (* (sqrt x) (sqrt x))))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt (* (sqrt x) (sqrt x))))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt (* (sqrt x) (sqrt x))))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt (* (sqrt x) (sqrt x))))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (* (fabs x) 0.12900613773279798) (* (cbrt (sqrt (* x x))) (cbrt (sqrt (* x x)))))
  (* (* (fabs x) 0.12900613773279798) (sqrt x))
  (* (* (fabs x) 0.12900613773279798) (sqrt (* (cbrt (* x x)) (cbrt (* x x)))))
  (* (* (fabs x) 0.12900613773279798) (sqrt (sqrt (* x x))))
  (* (* (fabs x) 0.12900613773279798) (sqrt 1))
  (* (* (fabs x) 0.12900613773279798) (sqrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x)))))
  (* (* (fabs x) 0.12900613773279798) (sqrt (* (sqrt x) (sqrt x))))
  (* (* (fabs x) 0.12900613773279798) (sqrt (* 1 1)))
  (* (* (fabs x) 0.12900613773279798) (sqrt (* (sqrt x) (sqrt x))))
  (* (* (fabs x) 0.12900613773279798) (sqrt (* x (* (cbrt x) (cbrt x)))))
  (* (* (fabs x) 0.12900613773279798) (sqrt (* x (sqrt x))))
  (* (* (fabs x) 0.12900613773279798) (sqrt (* x 1)))
  (* (* (fabs x) 0.12900613773279798) (sqrt (* (cbrt x) (cbrt x))))
  (* (* (fabs x) 0.12900613773279798) (sqrt (sqrt x)))
  (* (* (fabs x) 0.12900613773279798) (sqrt 1))
  (* (* (fabs x) 0.12900613773279798) (sqrt x))
  (* (* (fabs x) 0.12900613773279798) (sqrt (sqrt (* x x))))
  (* (* (fabs x) 0.12900613773279798) 1)
  (* 0.12900613773279798 (sqrt (* x x)))
  (* (cbrt (* (fabs x) 0.12900613773279798)) (sqrt (* x x)))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (* x x)))
  (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt (* x x)))
  (* (cbrt 0.12900613773279798) (sqrt (* x x)))
  (* (sqrt 0.12900613773279798) (sqrt (* x x)))
  (* 0.12900613773279798 (sqrt (* x x)))
  (* (* (cbrt (fabs x)) 0.12900613773279798) (sqrt (* x x)))
  (* (* (sqrt (fabs x)) 0.12900613773279798) (sqrt (* x x)))
  (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))
  (* (fabs x) (sqrt (* x x)))
  (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))
  (+ (log x) (log (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (log (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (exp (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (* (* (* x x) x) (* (* (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))) (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))) (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (* (cbrt (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))) (cbrt (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))))
  (cbrt (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (* (* (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))) (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))) (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (sqrt (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (sqrt (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (* (sqrt x) (sqrt (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (* (sqrt x) (sqrt (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (* x 0.954929658551372)
  (* x (- (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))
  (* x 0.954929658551372)
  (* x (- (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))
  (* 0.954929658551372 x)
  (* (- (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))) x)
  (* 0.954929658551372 x)
  (* (- (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))) x)
  (* x (* (cbrt (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))) (cbrt (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))))
  (* x (sqrt (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (* x 1)
  (* x (+ (sqrt 0.954929658551372) (sqrt (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (sqrt (* x x))))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (* (sqrt x) (sqrt x))))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (* (sqrt x) (sqrt x))))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (sqrt (* x x))))))
  (* x (+ (sqrt 0.954929658551372) (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))))
  (* x (+ (sqrt 0.954929658551372) (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt (sqrt (* x x))))))
  (* x (+ (sqrt 0.954929658551372) (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt (* (sqrt x) (sqrt x))))))
  (* x (+ (sqrt 0.954929658551372) (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt (* (sqrt x) (sqrt x))))))
  (* x (+ (sqrt 0.954929658551372) (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))))
  (* x (+ (sqrt 0.954929658551372) (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt (sqrt (* x x))))))
  (* x 1)
  (* x 1)
  (* x 1)
  (* (cbrt x) (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))
  (* (sqrt x) (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))
  (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))
  (* x (- (pow 0.954929658551372 3) (pow (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))) 3)))
  (* x (- (* 0.954929658551372 0.954929658551372) (* (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))) (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  x
  x
  (* -1 x)
  (* 0.12900613773279798 (* x (fabs x)))
  (* 0.12900613773279798 (* x (fabs x)))
  (* -0.12900613773279798 (* x (fabs x)))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (pow x 2) (fabs x))))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (pow x 2) (fabs x))))
  (+ (* 0.954929658551372 x) (* 0.12900613773279798 (* (pow x 2) (fabs x))))
0.739 * * [simplify]: iteration  0 :  425  enodes  (cost  825 )
0.746 * * [simplify]: iteration  1 :  1691  enodes  (cost  754 )
0.782 * * [simplify]: iteration  2 :  5001  enodes  (cost  700 )
0.790 * [simplify]: Simplified to:
   (log (fabs x))
  (exp (* (fabs x) 1))
  (* (cbrt (fabs x)) (cbrt (fabs x)))
  (cbrt (fabs x))
  (pow (fabs x) 3)
  (sqrt x)
  (sqrt x)
  (fabs (cbrt (* x x)))
  (sqrt (cbrt (* x x)))
  (sqrt (fabs x))
  (sqrt (fabs x))
  1
  (fabs x)
  (sqrt (* (cbrt x) x))
  (fabs (cbrt x))
  (sqrt x)
  (sqrt x)
  1
  (fabs x)
  (sqrt x)
  (sqrt x)
  (fabs (* (sqrt x) (cbrt x)))
  (sqrt (cbrt x))
  (sqrt (* (sqrt x) x))
  (sqrt (sqrt x))
  (sqrt x)
  (sqrt x)
  (fabs (cbrt x))
  (sqrt (* (cbrt x) x))
  (sqrt (sqrt x))
  (sqrt (* (sqrt x) x))
  1
  (fabs x)
  (sqrt x)
  (sqrt x)
  1
  1/2
  1
  1
  1/2
  1
  (sqrt (fabs x))
  (sqrt (fabs x))
  (* (pow x 2) 0.12900613773279798)
  (* (pow x 2) 0.12900613773279798)
  (+ (log (pow x 2)) (log 0.12900613773279798))
  (+ (log (pow x 2)) (log 0.12900613773279798))
  (+ (log (pow x 2)) (log 0.12900613773279798))
  (pow (exp (pow x 2)) 0.12900613773279798)
  (pow (* (pow x 2) 0.12900613773279798) 3)
  (pow (* (pow x 2) 0.12900613773279798) 3)
  (* (cbrt (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))) (cbrt (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))
  (cbrt (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))
  (pow (* (pow x 2) 0.12900613773279798) 3)
  (sqrt (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))
  (sqrt (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (fabs x)))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (fabs x)))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (fabs x)))
  (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (fabs x)))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))
  (* (fabs x) (sqrt 0.12900613773279798))
  (* (fabs x) (sqrt 0.12900613773279798))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))
  (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))
  (* (fabs x) (sqrt 0.12900613773279798))
  (* (fabs x) (sqrt 0.12900613773279798))
  (* (* (* (fabs x) 0.12900613773279798) (cbrt (fabs x))) (cbrt (fabs x)))
  (* (* (fabs x) 0.12900613773279798) (sqrt x))
  (* (fabs x) (* 0.12900613773279798 (fabs (cbrt (* x x)))))
  (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))
  (* (fabs x) 0.12900613773279798)
  (* (fabs x) (* 0.12900613773279798 (fabs (* (cbrt x) (cbrt x)))))
  (* (* (fabs x) 0.12900613773279798) (sqrt x))
  (* (fabs x) 0.12900613773279798)
  (* (* (fabs x) 0.12900613773279798) (sqrt x))
  (* (* (fabs (* (sqrt x) (cbrt x))) 0.12900613773279798) (fabs x))
  (* (* (fabs x) 0.12900613773279798) (sqrt (* x (sqrt x))))
  (* (* (fabs x) 0.12900613773279798) (sqrt x))
  (* (fabs x) (* 0.12900613773279798 (fabs (cbrt x))))
  (* (* (fabs x) 0.12900613773279798) (sqrt (sqrt x)))
  (* (fabs x) 0.12900613773279798)
  (* (* (fabs x) 0.12900613773279798) (sqrt x))
  (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))
  (* (fabs x) 0.12900613773279798)
  (* (fabs x) 0.12900613773279798)
  (* (fabs x) (cbrt (* (fabs x) 0.12900613773279798)))
  (* (fabs x) (sqrt (* (fabs x) 0.12900613773279798)))
  (* (pow x 2) 0.12900613773279798)
  (* (fabs x) (* (sqrt (fabs x)) (sqrt 0.12900613773279798)))
  (* (fabs x) (cbrt 0.12900613773279798))
  (* (fabs x) (sqrt 0.12900613773279798))
  (* (fabs x) 0.12900613773279798)
  (* (fabs x) (* (cbrt (fabs x)) 0.12900613773279798))
  (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))
  (* (pow x 2) 0.12900613773279798)
  (pow x 2)
  (* x (+ 0.954929658551372 (- (* 0.12900613773279798 (pow x 2)))))
  (log (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (log (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (exp (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (pow (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))) 3)
  (* (cbrt (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))) (cbrt (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))))
  (cbrt (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (pow (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))) 3)
  (sqrt (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (sqrt (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (* (sqrt x) (sqrt (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (* (sqrt x) (sqrt (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (* x 0.954929658551372)
  (* (* x 0.12900613773279798) (- (pow x 2)))
  (* x 0.954929658551372)
  (* (* x 0.12900613773279798) (- (pow x 2)))
  (* x 0.954929658551372)
  (* (* x 0.12900613773279798) (- (pow x 2)))
  (* x 0.954929658551372)
  (* (* x 0.12900613773279798) (- (pow x 2)))
  (* x (* (cbrt (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))) (cbrt (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))))
  (* x (sqrt (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  x
  (* x (+ (sqrt 0.954929658551372) (sqrt (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (fabs x)))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt x))))
  (* x (+ (sqrt 0.954929658551372) (* (sqrt (* (fabs x) 0.12900613773279798)) (sqrt (fabs x)))))
  (* x (+ (sqrt 0.954929658551372) (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))))
  (* x (+ (sqrt 0.954929658551372) (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt (fabs x)))))
  (* x (+ (sqrt 0.954929658551372) (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))))
  (* x (+ (sqrt 0.954929658551372) (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))))
  (* x (+ (sqrt 0.954929658551372) (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt x))))
  (* x (+ (sqrt 0.954929658551372) (* (* (sqrt (fabs x)) (sqrt 0.12900613773279798)) (sqrt (fabs x)))))
  x
  x
  x
  (* (cbrt x) (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))
  (* (+ 0.954929658551372 (- (* 0.12900613773279798 (pow x 2)))) (sqrt x))
  (* x (+ 0.954929658551372 (- (* 0.12900613773279798 (pow x 2)))))
  (+ (- (* x (pow (* (pow x 2) 0.12900613773279798) 3))) (* x (pow 0.954929658551372 3)))
  (* (* x (+ 0.954929658551372 (- (* 0.12900613773279798 (pow x 2))))) (+ (* (pow x 2) 0.12900613773279798) 0.954929658551372))
  x
  x
  (* -1 x)
  (* 0.12900613773279798 (* x (fabs x)))
  (* 0.12900613773279798 (* x (fabs x)))
  (* -0.12900613773279798 (* x (fabs x)))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (pow x 2) (fabs x))))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (pow x 2) (fabs x))))
  (+ (* 0.954929658551372 x) (* 0.12900613773279798 (* (pow x 2) (fabs x))))
0.791 * * * [progress]: adding candidates to table
1.039 * * [progress]: iteration 3 / 4
1.039 * * * [progress]: picking best candidate
1.046 * * * * [pick]: Picked  #<alt (λ (x) (* x (- 0.954929658551372 (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x)))))))>
1.046 * * * [progress]: localizing error
1.061 * * * [progress]: generating rewritten candidates
1.061 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1)
1.066 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
1.076 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2)
1.081 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.120 * * * [progress]: generating series expansions
1.120 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1)
1.120 * [approximate]: Taking taylor expansion of x in (x) around 0
1.120 * [taylor]: Taking taylor expansion of x in x
1.120 * [taylor]: Taking taylor expansion of x in x
1.120 * [approximate]: Taking taylor expansion of (/ 1 x) in (x) around 0
1.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.120 * [taylor]: Taking taylor expansion of x in x
1.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.121 * [taylor]: Taking taylor expansion of x in x
1.124 * [approximate]: Taking taylor expansion of (/ 1 x) in (x) around 0
1.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.124 * [taylor]: Taking taylor expansion of x in x
1.125 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.125 * [taylor]: Taking taylor expansion of x in x
1.132 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
1.132 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (pow (fabs x) 3))) in (x) around 0
1.132 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (pow (fabs x) 3))) in x
1.132 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.132 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x
1.132 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
1.132 * [taylor]: Taking taylor expansion of (fabs x) in x
1.133 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (pow (fabs x) 3))) in x
1.133 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.133 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x
1.133 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
1.133 * [taylor]: Taking taylor expansion of (fabs x) in x
1.150 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (pow (fabs (/ 1 x)) 3))) in (x) around 0
1.150 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (pow (fabs (/ 1 x)) 3))) in x
1.150 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.150 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x
1.150 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
1.150 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.151 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (pow (fabs (/ 1 x)) 3))) in x
1.151 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.151 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x
1.151 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
1.151 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.168 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (pow (fabs (/ -1 x)) 3))) in (x) around 0
1.168 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (pow (fabs (/ -1 x)) 3))) in x
1.168 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.168 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x
1.168 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
1.168 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.169 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (pow (fabs (/ -1 x)) 3))) in x
1.169 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.169 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x
1.169 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
1.169 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.186 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2)
1.186 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (fabs x))) in (x) around 0
1.186 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (fabs x))) in x
1.186 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.186 * [taylor]: Taking taylor expansion of (sqrt (fabs x)) in x
1.186 * [taylor]: Taking taylor expansion of (fabs x) in x
1.186 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (fabs x))) in x
1.186 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.186 * [taylor]: Taking taylor expansion of (sqrt (fabs x)) in x
1.186 * [taylor]: Taking taylor expansion of (fabs x) in x
1.194 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (fabs (/ 1 x)))) in (x) around 0
1.194 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (fabs (/ 1 x)))) in x
1.194 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.194 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ 1 x))) in x
1.194 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.194 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (fabs (/ 1 x)))) in x
1.194 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.194 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ 1 x))) in x
1.194 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.202 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (fabs (/ -1 x)))) in (x) around 0
1.202 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (fabs (/ -1 x)))) in x
1.202 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.203 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ -1 x))) in x
1.203 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.203 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (fabs (/ -1 x)))) in x
1.203 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.203 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ -1 x))) in x
1.203 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.211 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.211 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (* x (pow (fabs x) 3)))) in (x) around 0
1.211 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (* x (pow (fabs x) 3)))) in x
1.211 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.211 * [taylor]: Taking taylor expansion of (sqrt (* x (pow (fabs x) 3))) in x
1.211 * [taylor]: Taking taylor expansion of (* x (pow (fabs x) 3)) in x
1.211 * [taylor]: Taking taylor expansion of x in x
1.211 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
1.211 * [taylor]: Taking taylor expansion of (fabs x) in x
1.213 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (* x (pow (fabs x) 3)))) in x
1.213 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.213 * [taylor]: Taking taylor expansion of (sqrt (* x (pow (fabs x) 3))) in x
1.213 * [taylor]: Taking taylor expansion of (* x (pow (fabs x) 3)) in x
1.213 * [taylor]: Taking taylor expansion of x in x
1.213 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x
1.213 * [taylor]: Taking taylor expansion of (fabs x) in x
1.225 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (/ (pow (fabs (/ 1 x)) 3) x))) in (x) around 0
1.225 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (/ (pow (fabs (/ 1 x)) 3) x))) in x
1.225 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.225 * [taylor]: Taking taylor expansion of (sqrt (/ (pow (fabs (/ 1 x)) 3) x)) in x
1.225 * [taylor]: Taking taylor expansion of (/ (pow (fabs (/ 1 x)) 3) x) in x
1.225 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
1.225 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.226 * [taylor]: Taking taylor expansion of x in x
1.226 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (/ (pow (fabs (/ 1 x)) 3) x))) in x
1.227 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.227 * [taylor]: Taking taylor expansion of (sqrt (/ (pow (fabs (/ 1 x)) 3) x)) in x
1.227 * [taylor]: Taking taylor expansion of (/ (pow (fabs (/ 1 x)) 3) x) in x
1.227 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x
1.227 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x
1.227 * [taylor]: Taking taylor expansion of x in x
1.234 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (/ (pow (fabs (/ -1 x)) 3) x))) in (x) around 0
1.234 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (/ (pow (fabs (/ -1 x)) 3) x))) in x
1.234 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.234 * [taylor]: Taking taylor expansion of (sqrt (/ (pow (fabs (/ -1 x)) 3) x)) in x
1.234 * [taylor]: Taking taylor expansion of (/ (pow (fabs (/ -1 x)) 3) x) in x
1.234 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
1.234 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.234 * [taylor]: Taking taylor expansion of x in x
1.235 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (sqrt (/ (pow (fabs (/ -1 x)) 3) x))) in x
1.235 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.235 * [taylor]: Taking taylor expansion of (sqrt (/ (pow (fabs (/ -1 x)) 3) x)) in x
1.235 * [taylor]: Taking taylor expansion of (/ (pow (fabs (/ -1 x)) 3) x) in x
1.235 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x
1.235 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x
1.235 * [taylor]: Taking taylor expansion of x in x
1.243 * * * [progress]: simplifying candidates
1.245 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (* x x)))
  (exp (sqrt (* x x)))
  (* (cbrt (sqrt (* x x))) (cbrt (sqrt (* x x))))
  (cbrt (sqrt (* x x)))
  (* (* (sqrt (* x x)) (sqrt (* x x))) (sqrt (* x x)))
  (sqrt x)
  (sqrt x)
  (sqrt (* (cbrt (* x x)) (cbrt (* x x))))
  (sqrt (cbrt (* x x)))
  (sqrt (sqrt (* x x)))
  (sqrt (sqrt (* x x)))
  (sqrt 1)
  (sqrt (* x x))
  (sqrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))))
  (sqrt (* (cbrt x) (cbrt x)))
  (sqrt (* (sqrt x) (sqrt x)))
  (sqrt (* (sqrt x) (sqrt x)))
  (sqrt (* 1 1))
  (sqrt (* x x))
  (sqrt (* (sqrt x) (sqrt x)))
  (sqrt (* (sqrt x) (sqrt x)))
  (sqrt (* x (* (cbrt x) (cbrt x))))
  (sqrt (cbrt x))
  (sqrt (* x (sqrt x)))
  (sqrt (sqrt x))
  (sqrt (* x 1))
  (sqrt x)
  (sqrt (* (cbrt x) (cbrt x)))
  (sqrt (* (cbrt x) x))
  (sqrt (sqrt x))
  (sqrt (* (sqrt x) x))
  (sqrt 1)
  (sqrt (* x x))
  (sqrt x)
  (sqrt x)
  (/ (+ 1 1) 2)
  (/ 1 2)
  (/ 2 2)
  (/ (+ 1 1) 2)
  (/ 1 2)
  (/ (* 2 1) 2)
  (sqrt (sqrt (* x x)))
  (sqrt (sqrt (* x x)))
  (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))
  (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))
  (+ (log (fabs x)) (+ (log (sqrt (fabs x))) (log 0.12900613773279798)))
  (+ (log (fabs x)) (log (* (sqrt (fabs x)) 0.12900613773279798)))
  (log (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)))
  (exp (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)))
  (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798)))
  (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (sqrt (fabs x)) 0.12900613773279798) (* (sqrt (fabs x)) 0.12900613773279798)) (* (sqrt (fabs x)) 0.12900613773279798)))
  (* (cbrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (cbrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))))
  (cbrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)))
  (* (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)))
  (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)))
  (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)))
  (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798)))
  (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798)))
  (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)))
  (* (fabs x) (sqrt (fabs x)))
  (* (fabs x) (* (cbrt (* (sqrt (fabs x)) 0.12900613773279798)) (cbrt (* (sqrt (fabs x)) 0.12900613773279798))))
  (* (fabs x) (sqrt (* (sqrt (fabs x)) 0.12900613773279798)))
  (* (fabs x) 1)
  (* (fabs x) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)))
  (* (fabs x) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)))
  (* (fabs x) (* (sqrt (fabs x)) (* (cbrt 0.12900613773279798) (cbrt 0.12900613773279798))))
  (* (fabs x) (* (sqrt (fabs x)) (sqrt 0.12900613773279798)))
  (* (fabs x) (* (sqrt (fabs x)) 1))
  (* (fabs x) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x)))))
  (* (fabs x) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x)))))
  (* (fabs x) (sqrt (sqrt (fabs x))))
  (* (fabs x) (sqrt 1))
  (* (fabs x) (sqrt (sqrt (fabs x))))
  (* (fabs x) 1)
  (* (fabs x) 0.12900613773279798)
  (* (cbrt (fabs x)) (* (sqrt (fabs x)) 0.12900613773279798))
  (* (sqrt (fabs x)) (* (sqrt (fabs x)) 0.12900613773279798))
  (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))
  (* (sqrt (fabs x)) 0.12900613773279798)
  (+ (log (sqrt (fabs x))) (log 0.12900613773279798))
  (log (* (sqrt (fabs x)) 0.12900613773279798))
  (exp (* (sqrt (fabs x)) 0.12900613773279798))
  (* (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798))
  (* (cbrt (* (sqrt (fabs x)) 0.12900613773279798)) (cbrt (* (sqrt (fabs x)) 0.12900613773279798)))
  (cbrt (* (sqrt (fabs x)) 0.12900613773279798))
  (* (* (* (sqrt (fabs x)) 0.12900613773279798) (* (sqrt (fabs x)) 0.12900613773279798)) (* (sqrt (fabs x)) 0.12900613773279798))
  (sqrt (* (sqrt (fabs x)) 0.12900613773279798))
  (sqrt (* (sqrt (fabs x)) 0.12900613773279798))
  (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))
  (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))
  (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))
  (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))
  (* (sqrt (fabs x)) (* (cbrt 0.12900613773279798) (cbrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (sqrt 0.12900613773279798))
  (* (sqrt (fabs x)) 1)
  (* (cbrt (sqrt (fabs x))) 0.12900613773279798)
  (* (sqrt (cbrt (fabs x))) 0.12900613773279798)
  (* (sqrt (sqrt (fabs x))) 0.12900613773279798)
  (* (sqrt (fabs x)) 0.12900613773279798)
  (* (sqrt (sqrt (fabs x))) 0.12900613773279798)
  (* (sqrt (fabs x)) 0.12900613773279798)
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (+ (+ (log (fabs x)) (+ (log (sqrt (fabs x))) (log 0.12900613773279798))) (log (sqrt (sqrt (* x x)))))
  (+ (+ (log (fabs x)) (log (* (sqrt (fabs x)) 0.12900613773279798))) (log (sqrt (sqrt (* x x)))))
  (+ (log (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (log (sqrt (sqrt (* x x)))))
  (log (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x)))))
  (exp (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x)))))
  (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798))) (* (* (sqrt (sqrt (* x x))) (sqrt (sqrt (* x x)))) (sqrt (sqrt (* x x)))))
  (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (sqrt (fabs x)) 0.12900613773279798) (* (sqrt (fabs x)) 0.12900613773279798)) (* (sqrt (fabs x)) 0.12900613773279798))) (* (* (sqrt (sqrt (* x x))) (sqrt (sqrt (* x x)))) (sqrt (sqrt (* x x)))))
  (* (* (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (* (* (sqrt (sqrt (* x x))) (sqrt (sqrt (* x x)))) (sqrt (sqrt (* x x)))))
  (* (cbrt (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x))))) (cbrt (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x))))))
  (cbrt (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x)))))
  (* (* (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x)))) (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x))))) (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x)))))
  (sqrt (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x)))))
  (sqrt (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x)))))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (* (cbrt (sqrt (sqrt (* x x)))) (cbrt (sqrt (sqrt (* x x))))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (* (cbrt (sqrt (* x x))) (cbrt (sqrt (* x x))))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt x)))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* (cbrt (* x x)) (cbrt (* x x))))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt 1)))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* 1 1))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* (sqrt x) (sqrt x)))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x (* (cbrt x) (cbrt x))))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x (sqrt x)))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x 1))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* (cbrt x) (cbrt x)))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (sqrt x))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt 1)))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt x)))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt 1))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) 1)
  (* (* (sqrt (fabs x)) 0.12900613773279798) (sqrt (sqrt (* x x))))
  (* (cbrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (* x x))))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (* x x))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (* x x))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (* x x))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt (* x x))))
  (* 0.12900613773279798 (sqrt (sqrt (* x x))))
  (* (cbrt (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (sqrt (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (* (sqrt (fabs x)) 0.12900613773279798) (sqrt (sqrt (* x x))))
  (* (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (cbrt 0.12900613773279798) (sqrt (sqrt (* x x))))
  (* (sqrt 0.12900613773279798) (sqrt (sqrt (* x x))))
  (* 0.12900613773279798 (sqrt (sqrt (* x x))))
  (* (* (cbrt (sqrt (fabs x))) 0.12900613773279798) (sqrt (sqrt (* x x))))
  (* (* (sqrt (cbrt (fabs x))) 0.12900613773279798) (sqrt (sqrt (* x x))))
  (* (* (sqrt (sqrt (fabs x))) 0.12900613773279798) (sqrt (sqrt (* x x))))
  (* (* (sqrt (fabs x)) 0.12900613773279798) (sqrt (sqrt (* x x))))
  (* (* (sqrt (sqrt (fabs x))) 0.12900613773279798) (sqrt (sqrt (* x x))))
  (* (* (sqrt (fabs x)) 0.12900613773279798) (sqrt (sqrt (* x x))))
  (* (sqrt (fabs x)) (sqrt (sqrt (* x x))))
  (* (* (cbrt (fabs x)) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (* (sqrt (fabs x)) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x))))
  (* (fabs x) (sqrt (sqrt (* x x))))
  x
  x
  (* -1 x)
  (* 0.12900613773279798 (sqrt (pow (fabs x) 3)))
  (* 0.12900613773279798 (sqrt (pow (fabs x) 3)))
  (* 0.12900613773279798 (sqrt (pow (fabs x) 3)))
  (* 0.12900613773279798 (sqrt (fabs x)))
  (* 0.12900613773279798 (sqrt (fabs x)))
  (* 0.12900613773279798 (sqrt (fabs x)))
  (- (+ (* +nan.0 (* (pow x 2) (pow (fabs x) 6))) (- (+ (* +nan.0 (* (pow x 3) (pow (fabs x) 9))) (- (* +nan.0 (* x (pow (fabs x) 3))))))))
  (- (+ (* +nan.0 (/ (pow (fabs x) 9) (pow x 2))) (- (+ (* +nan.0 (pow (fabs x) 3)) (- (* +nan.0 (/ (pow (fabs x) 6) x)))))))
  (- (+ (* +nan.0 (/ (pow (fabs x) 9) (pow x 2))) (- (+ (* +nan.0 (pow (fabs x) 3)) (- (* +nan.0 (/ (pow (fabs x) 6) x)))))))
1.253 * * [simplify]: iteration  0 :  526  enodes  (cost  1675 )
1.264 * * [simplify]: iteration  1 :  2550  enodes  (cost  1475 )
1.313 * * [simplify]: iteration  2 :  5001  enodes  (cost  1386 )
1.319 * [simplify]: Simplified to:
   (log (fabs x))
  (exp (fabs x))
  (* (cbrt (fabs x)) (cbrt (fabs x)))
  (cbrt (fabs x))
  (pow (fabs x) 3)
  (sqrt x)
  (sqrt x)
  (fabs (cbrt (* x x)))
  (sqrt (cbrt (* x x)))
  (sqrt (fabs x))
  (sqrt (fabs x))
  1
  (fabs x)
  (sqrt (* (cbrt x) x))
  (fabs (cbrt x))
  (sqrt x)
  (sqrt x)
  1
  (fabs x)
  (sqrt x)
  (sqrt x)
  (fabs (* (sqrt x) (cbrt x)))
  (sqrt (cbrt x))
  (sqrt (* (sqrt x) x))
  (sqrt (sqrt x))
  (sqrt x)
  (sqrt x)
  (fabs (cbrt x))
  (sqrt (* (cbrt x) x))
  (sqrt (sqrt x))
  (sqrt (* (sqrt x) x))
  1
  (fabs x)
  (sqrt x)
  (sqrt x)
  1
  1/2
  1
  1
  1/2
  1
  (sqrt (fabs x))
  (sqrt (fabs x))
  (* 0.12900613773279798 (pow (sqrt (fabs x)) 3))
  (* 0.12900613773279798 (pow (sqrt (fabs x)) 3))
  (log (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)))
  (log (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)))
  (log (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)))
  (pow (exp 0.12900613773279798) (pow (sqrt (fabs x)) 3))
  (pow (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) 3)
  (pow (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) 3)
  (* (cbrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (cbrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))))
  (cbrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)))
  (pow (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) 3)
  (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)))
  (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)))
  (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798)))
  (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798)))
  (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)))
  (pow (sqrt (fabs x)) 3)
  (* (fabs x) (* (cbrt (* (sqrt (fabs x)) 0.12900613773279798)) (cbrt (* (sqrt (fabs x)) 0.12900613773279798))))
  (* (fabs x) (sqrt (* (sqrt (fabs x)) 0.12900613773279798)))
  (fabs x)
  (* (fabs x) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)))
  (* (fabs x) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)))
  (* (* (pow (sqrt (fabs x)) 3) (cbrt 0.12900613773279798)) (cbrt 0.12900613773279798))
  (* (sqrt 0.12900613773279798) (pow (sqrt (fabs x)) 3))
  (pow (sqrt (fabs x)) 3)
  (* (fabs x) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x)))))
  (* (fabs (cbrt (fabs x))) (fabs x))
  (* (fabs x) (sqrt (sqrt (fabs x))))
  (fabs x)
  (* (fabs x) (sqrt (sqrt (fabs x))))
  (fabs x)
  (* (fabs x) 0.12900613773279798)
  (* (cbrt (fabs x)) (* (sqrt (fabs x)) 0.12900613773279798))
  (* (fabs x) 0.12900613773279798)
  (* 0.12900613773279798 (pow (sqrt (fabs x)) 3))
  (* (sqrt (fabs x)) 0.12900613773279798)
  (log (* (sqrt (fabs x)) 0.12900613773279798))
  (log (* (sqrt (fabs x)) 0.12900613773279798))
  (exp (* (sqrt (fabs x)) 0.12900613773279798))
  (pow (* (sqrt (fabs x)) 0.12900613773279798) 3)
  (* (cbrt (* (sqrt (fabs x)) 0.12900613773279798)) (cbrt (* (sqrt (fabs x)) 0.12900613773279798)))
  (cbrt (* (sqrt (fabs x)) 0.12900613773279798))
  (pow (* (sqrt (fabs x)) 0.12900613773279798) 3)
  (sqrt (* (sqrt (fabs x)) 0.12900613773279798))
  (sqrt (* (sqrt (fabs x)) 0.12900613773279798))
  (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))
  (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))
  (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))
  (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))
  (* (sqrt (fabs x)) (* (cbrt 0.12900613773279798) (cbrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (sqrt 0.12900613773279798))
  (sqrt (fabs x))
  (* (cbrt (sqrt (fabs x))) 0.12900613773279798)
  (* (sqrt (cbrt (fabs x))) 0.12900613773279798)
  (* (sqrt (sqrt (fabs x))) 0.12900613773279798)
  (* (sqrt (fabs x)) 0.12900613773279798)
  (* (sqrt (sqrt (fabs x))) 0.12900613773279798)
  (* (sqrt (fabs x)) 0.12900613773279798)
  (* (* (fabs x) (fabs x)) 0.12900613773279798)
  (* (* (fabs x) (fabs x)) 0.12900613773279798)
  (* (* (fabs x) (fabs x)) 0.12900613773279798)
  (+ (log (pow x 2)) (log 0.12900613773279798))
  (+ (log (pow x 2)) (log 0.12900613773279798))
  (+ (log (pow x 2)) (log 0.12900613773279798))
  (+ (log (pow x 2)) (log 0.12900613773279798))
  (pow (exp (pow x 2)) 0.12900613773279798)
  (* (pow (fabs x) 6) (pow 0.12900613773279798 3))
  (* (pow (fabs x) 6) (pow 0.12900613773279798 3))
  (* (pow (fabs x) 6) (pow 0.12900613773279798 3))
  (* (cbrt (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x))))) (cbrt (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x))))))
  (cbrt (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x)))))
  (* (pow (fabs x) 6) (pow 0.12900613773279798 3))
  (sqrt (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x)))))
  (sqrt (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x)))))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (sqrt (* x x)))))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (fabs x))))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (fabs x))))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (fabs x))))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (fabs x))))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (fabs x))))
  (* (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (sqrt (fabs x))))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (sqrt (fabs x)) (* (sqrt (fabs x)) (sqrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (* (sqrt (fabs x)) (sqrt 0.12900613773279798)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (sqrt (fabs x)) (* (sqrt (fabs x)) (sqrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (* (sqrt (fabs x)) (sqrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (* (sqrt (fabs x)) (sqrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (* (sqrt (fabs x)) (sqrt 0.12900613773279798)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (sqrt (fabs x)) (* (sqrt (fabs x)) (sqrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (* (sqrt (fabs x)) (sqrt 0.12900613773279798)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798))) (sqrt (sqrt x)))
  (* (sqrt (fabs x)) (* (sqrt (fabs x)) (sqrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (* (sqrt (fabs x)) (sqrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (* (sqrt (fabs x)) (sqrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (* (sqrt (fabs x)) (sqrt 0.12900613773279798)))
  (* (* (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x)))) (pow (sqrt (fabs x)) 3)) 0.12900613773279798)
  (* (* (fabs (cbrt (fabs x))) (pow (sqrt (fabs x)) 3)) 0.12900613773279798)
  (* (* (sqrt (sqrt x)) (pow (sqrt (fabs x)) 3)) 0.12900613773279798)
  (* (* (sqrt (sqrt (* (cbrt (* x x)) (cbrt (* x x))))) (pow (sqrt (fabs x)) 3)) 0.12900613773279798)
  (* (* (sqrt (sqrt (fabs x))) (pow (sqrt (fabs x)) 3)) 0.12900613773279798)
  (* 0.12900613773279798 (pow (sqrt (fabs x)) 3))
  (* (* (sqrt (sqrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))))) (pow (sqrt (fabs x)) 3)) 0.12900613773279798)
  (* (* (sqrt (sqrt x)) (pow (sqrt (fabs x)) 3)) 0.12900613773279798)
  (* 0.12900613773279798 (pow (sqrt (fabs x)) 3))
  (* (* (sqrt (sqrt x)) (pow (sqrt (fabs x)) 3)) 0.12900613773279798)
  (* (* (sqrt (sqrt (* x (* (cbrt x) (cbrt x))))) (pow (sqrt (fabs x)) 3)) 0.12900613773279798)
  (* (* (sqrt (sqrt (* x (sqrt x)))) (pow (sqrt (fabs x)) 3)) 0.12900613773279798)
  (* (* (sqrt (sqrt x)) (pow (sqrt (fabs x)) 3)) 0.12900613773279798)
  (* (* (sqrt (sqrt (* (cbrt x) (cbrt x)))) (pow (sqrt (fabs x)) 3)) 0.12900613773279798)
  (* (* (sqrt (sqrt (sqrt x))) (pow (sqrt (fabs x)) 3)) 0.12900613773279798)
  (* 0.12900613773279798 (pow (sqrt (fabs x)) 3))
  (* (* (sqrt (sqrt x)) (pow (sqrt (fabs x)) 3)) 0.12900613773279798)
  (* (* (sqrt (sqrt (fabs x))) (pow (sqrt (fabs x)) 3)) 0.12900613773279798)
  (* 0.12900613773279798 (pow (sqrt (fabs x)) 3))
  (* (* (sqrt (sqrt (fabs x))) (pow (sqrt (fabs x)) 3)) 0.12900613773279798)
  (* 0.12900613773279798 (pow (sqrt (fabs x)) 3))
  (* (fabs x) 0.12900613773279798)
  (* (cbrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (fabs x)))
  (* (sqrt (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798))) (sqrt (fabs x)))
  (* (* (fabs x) (fabs x)) 0.12900613773279798)
  (* (fabs x) (sqrt (* (sqrt (fabs x)) 0.12900613773279798)))
  (* (fabs x) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)))
  (* (fabs x) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)))
  (* (sqrt (fabs x)) 0.12900613773279798)
  (* (cbrt (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (fabs x)))
  (* (sqrt (fabs x)) (sqrt (* (sqrt (fabs x)) 0.12900613773279798)))
  (* (fabs x) 0.12900613773279798)
  (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt 0.12900613773279798)))
  (* (sqrt (fabs x)) (cbrt 0.12900613773279798))
  (* (sqrt (fabs x)) (sqrt 0.12900613773279798))
  (* (sqrt (fabs x)) 0.12900613773279798)
  (* (* (cbrt (sqrt (fabs x))) 0.12900613773279798) (sqrt (fabs x)))
  (* (* (sqrt (cbrt (fabs x))) 0.12900613773279798) (sqrt (fabs x)))
  (* (* (sqrt (sqrt (fabs x))) 0.12900613773279798) (sqrt (fabs x)))
  (* (fabs x) 0.12900613773279798)
  (* (* (sqrt (sqrt (fabs x))) 0.12900613773279798) (sqrt (fabs x)))
  (* (fabs x) 0.12900613773279798)
  (fabs x)
  (* (* (cbrt (fabs x)) (fabs x)) 0.12900613773279798)
  (* 0.12900613773279798 (pow (sqrt (fabs x)) 3))
  (* (* (fabs x) (fabs x)) 0.12900613773279798)
  (pow (sqrt (fabs x)) 3)
  x
  x
  (* -1 x)
  (* 0.12900613773279798 (sqrt (pow (fabs x) 3)))
  (* 0.12900613773279798 (sqrt (pow (fabs x) 3)))
  (* 0.12900613773279798 (sqrt (pow (fabs x) 3)))
  (* (sqrt (fabs x)) 0.12900613773279798)
  (* (sqrt (fabs x)) 0.12900613773279798)
  (* (sqrt (fabs x)) 0.12900613773279798)
  (* +nan.0 (+ (* (- (pow x 4)) (pow x 4)) (- (* (pow x 3) (pow (fabs x) 9)) (* x (pow (fabs x) 3)))))
  (* +nan.0 (+ (- (/ (pow (fabs x) 9) (pow x 2))) (- (pow (fabs x) 3) (/ (pow (fabs x) 6) x))))
  (* +nan.0 (+ (- (/ (pow (fabs x) 9) (pow x 2))) (- (pow (fabs x) 3) (/ (pow (fabs x) 6) x))))
1.320 * * * [progress]: adding candidates to table
1.735 * * [progress]: iteration 4 / 4
1.735 * * * [progress]: picking best candidate
1.740 * * * * [pick]: Picked  #<alt (λ (x) (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))>
1.740 * * * [progress]: localizing error
1.750 * * * [progress]: generating rewritten candidates
1.750 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.761 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
1.771 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.822 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
1.840 * * * [progress]: generating series expansions
1.840 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.840 * [approximate]: Taking taylor expansion of (* x (sqrt 0.12900613773279798)) in (x) around 0
1.840 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12900613773279798)) in x
1.840 * [taylor]: Taking taylor expansion of x in x
1.840 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
1.840 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.841 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12900613773279798)) in x
1.841 * [taylor]: Taking taylor expansion of x in x
1.841 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
1.841 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.852 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in (x) around 0
1.852 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in x
1.852 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
1.852 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.853 * [taylor]: Taking taylor expansion of x in x
1.854 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in x
1.854 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
1.854 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.854 * [taylor]: Taking taylor expansion of x in x
1.862 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in (x) around 0
1.862 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in x
1.862 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
1.862 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.863 * [taylor]: Taking taylor expansion of x in x
1.863 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in x
1.864 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
1.864 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.864 * [taylor]: Taking taylor expansion of x in x
1.872 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
1.872 * [approximate]: Taking taylor expansion of (* x (sqrt 0.12900613773279798)) in (x) around 0
1.872 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12900613773279798)) in x
1.872 * [taylor]: Taking taylor expansion of x in x
1.872 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
1.872 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.873 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12900613773279798)) in x
1.873 * [taylor]: Taking taylor expansion of x in x
1.873 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
1.873 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.890 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in (x) around 0
1.891 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in x
1.891 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
1.891 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.891 * [taylor]: Taking taylor expansion of x in x
1.892 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in x
1.892 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
1.892 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.892 * [taylor]: Taking taylor expansion of x in x
1.900 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in (x) around 0
1.901 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in x
1.901 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
1.901 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.901 * [taylor]: Taking taylor expansion of x in x
1.902 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in x
1.902 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
1.902 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.902 * [taylor]: Taking taylor expansion of x in x
1.910 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.911 * [approximate]: Taking taylor expansion of (* (- (sqrt 0.954929658551372) (* x (sqrt 0.12900613773279798))) (* x (+ (* x (sqrt 0.12900613773279798)) (sqrt 0.954929658551372)))) in (x) around 0
1.911 * [taylor]: Taking taylor expansion of (* (- (sqrt 0.954929658551372) (* x (sqrt 0.12900613773279798))) (* x (+ (* x (sqrt 0.12900613773279798)) (sqrt 0.954929658551372)))) in x
1.911 * [taylor]: Taking taylor expansion of (- (sqrt 0.954929658551372) (* x (sqrt 0.12900613773279798))) in x
1.911 * [taylor]: Taking taylor expansion of (sqrt 0.954929658551372) in x
1.911 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
1.912 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12900613773279798)) in x
1.912 * [taylor]: Taking taylor expansion of x in x
1.912 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
1.912 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.913 * [taylor]: Taking taylor expansion of (* x (+ (* x (sqrt 0.12900613773279798)) (sqrt 0.954929658551372))) in x
1.913 * [taylor]: Taking taylor expansion of x in x
1.913 * [taylor]: Taking taylor expansion of (+ (* x (sqrt 0.12900613773279798)) (sqrt 0.954929658551372)) in x
1.913 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12900613773279798)) in x
1.913 * [taylor]: Taking taylor expansion of x in x
1.913 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
1.913 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.914 * [taylor]: Taking taylor expansion of (sqrt 0.954929658551372) in x
1.914 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
1.914 * [taylor]: Taking taylor expansion of (* (- (sqrt 0.954929658551372) (* x (sqrt 0.12900613773279798))) (* x (+ (* x (sqrt 0.12900613773279798)) (sqrt 0.954929658551372)))) in x
1.915 * [taylor]: Taking taylor expansion of (- (sqrt 0.954929658551372) (* x (sqrt 0.12900613773279798))) in x
1.915 * [taylor]: Taking taylor expansion of (sqrt 0.954929658551372) in x
1.915 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
1.915 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12900613773279798)) in x
1.915 * [taylor]: Taking taylor expansion of x in x
1.915 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
1.915 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.916 * [taylor]: Taking taylor expansion of (* x (+ (* x (sqrt 0.12900613773279798)) (sqrt 0.954929658551372))) in x
1.916 * [taylor]: Taking taylor expansion of x in x
1.916 * [taylor]: Taking taylor expansion of (+ (* x (sqrt 0.12900613773279798)) (sqrt 0.954929658551372)) in x
1.916 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12900613773279798)) in x
1.916 * [taylor]: Taking taylor expansion of x in x
1.916 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
1.916 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
1.917 * [taylor]: Taking taylor expansion of (sqrt 0.954929658551372) in x
1.917 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
2.001 * [approximate]: Taking taylor expansion of (/ (* (+ (/ (sqrt 0.12900613773279798) x) (sqrt 0.954929658551372)) (- (sqrt 0.954929658551372) (/ (sqrt 0.12900613773279798) x))) x) in (x) around 0
2.001 * [taylor]: Taking taylor expansion of (/ (* (+ (/ (sqrt 0.12900613773279798) x) (sqrt 0.954929658551372)) (- (sqrt 0.954929658551372) (/ (sqrt 0.12900613773279798) x))) x) in x
2.001 * [taylor]: Taking taylor expansion of (* (+ (/ (sqrt 0.12900613773279798) x) (sqrt 0.954929658551372)) (- (sqrt 0.954929658551372) (/ (sqrt 0.12900613773279798) x))) in x
2.001 * [taylor]: Taking taylor expansion of (+ (/ (sqrt 0.12900613773279798) x) (sqrt 0.954929658551372)) in x
2.001 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in x
2.001 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
2.001 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.002 * [taylor]: Taking taylor expansion of x in x
2.002 * [taylor]: Taking taylor expansion of (sqrt 0.954929658551372) in x
2.002 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
2.003 * [taylor]: Taking taylor expansion of (- (sqrt 0.954929658551372) (/ (sqrt 0.12900613773279798) x)) in x
2.003 * [taylor]: Taking taylor expansion of (sqrt 0.954929658551372) in x
2.003 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
2.004 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in x
2.004 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
2.004 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.004 * [taylor]: Taking taylor expansion of x in x
2.005 * [taylor]: Taking taylor expansion of x in x
2.009 * [taylor]: Taking taylor expansion of (/ (* (+ (/ (sqrt 0.12900613773279798) x) (sqrt 0.954929658551372)) (- (sqrt 0.954929658551372) (/ (sqrt 0.12900613773279798) x))) x) in x
2.009 * [taylor]: Taking taylor expansion of (* (+ (/ (sqrt 0.12900613773279798) x) (sqrt 0.954929658551372)) (- (sqrt 0.954929658551372) (/ (sqrt 0.12900613773279798) x))) in x
2.009 * [taylor]: Taking taylor expansion of (+ (/ (sqrt 0.12900613773279798) x) (sqrt 0.954929658551372)) in x
2.009 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in x
2.009 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
2.009 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.010 * [taylor]: Taking taylor expansion of x in x
2.010 * [taylor]: Taking taylor expansion of (sqrt 0.954929658551372) in x
2.011 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
2.011 * [taylor]: Taking taylor expansion of (- (sqrt 0.954929658551372) (/ (sqrt 0.12900613773279798) x)) in x
2.011 * [taylor]: Taking taylor expansion of (sqrt 0.954929658551372) in x
2.011 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
2.012 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in x
2.012 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
2.012 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.013 * [taylor]: Taking taylor expansion of x in x
2.013 * [taylor]: Taking taylor expansion of x in x
2.083 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (/ (sqrt 0.12900613773279798) x) (sqrt 0.954929658551372)) (- (sqrt 0.954929658551372) (/ (sqrt 0.12900613773279798) x))) x)) in (x) around 0
2.083 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ (sqrt 0.12900613773279798) x) (sqrt 0.954929658551372)) (- (sqrt 0.954929658551372) (/ (sqrt 0.12900613773279798) x))) x)) in x
2.084 * [taylor]: Taking taylor expansion of -1 in x
2.084 * [taylor]: Taking taylor expansion of (/ (* (+ (/ (sqrt 0.12900613773279798) x) (sqrt 0.954929658551372)) (- (sqrt 0.954929658551372) (/ (sqrt 0.12900613773279798) x))) x) in x
2.084 * [taylor]: Taking taylor expansion of (* (+ (/ (sqrt 0.12900613773279798) x) (sqrt 0.954929658551372)) (- (sqrt 0.954929658551372) (/ (sqrt 0.12900613773279798) x))) in x
2.084 * [taylor]: Taking taylor expansion of (+ (/ (sqrt 0.12900613773279798) x) (sqrt 0.954929658551372)) in x
2.084 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in x
2.084 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
2.084 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.084 * [taylor]: Taking taylor expansion of x in x
2.085 * [taylor]: Taking taylor expansion of (sqrt 0.954929658551372) in x
2.085 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
2.086 * [taylor]: Taking taylor expansion of (- (sqrt 0.954929658551372) (/ (sqrt 0.12900613773279798) x)) in x
2.086 * [taylor]: Taking taylor expansion of (sqrt 0.954929658551372) in x
2.086 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
2.086 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in x
2.086 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
2.086 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.087 * [taylor]: Taking taylor expansion of x in x
2.088 * [taylor]: Taking taylor expansion of x in x
2.092 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ (sqrt 0.12900613773279798) x) (sqrt 0.954929658551372)) (- (sqrt 0.954929658551372) (/ (sqrt 0.12900613773279798) x))) x)) in x
2.092 * [taylor]: Taking taylor expansion of -1 in x
2.092 * [taylor]: Taking taylor expansion of (/ (* (+ (/ (sqrt 0.12900613773279798) x) (sqrt 0.954929658551372)) (- (sqrt 0.954929658551372) (/ (sqrt 0.12900613773279798) x))) x) in x
2.092 * [taylor]: Taking taylor expansion of (* (+ (/ (sqrt 0.12900613773279798) x) (sqrt 0.954929658551372)) (- (sqrt 0.954929658551372) (/ (sqrt 0.12900613773279798) x))) in x
2.092 * [taylor]: Taking taylor expansion of (+ (/ (sqrt 0.12900613773279798) x) (sqrt 0.954929658551372)) in x
2.092 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in x
2.092 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
2.092 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.093 * [taylor]: Taking taylor expansion of x in x
2.093 * [taylor]: Taking taylor expansion of (sqrt 0.954929658551372) in x
2.093 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
2.094 * [taylor]: Taking taylor expansion of (- (sqrt 0.954929658551372) (/ (sqrt 0.12900613773279798) x)) in x
2.094 * [taylor]: Taking taylor expansion of (sqrt 0.954929658551372) in x
2.094 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
2.095 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12900613773279798) x) in x
2.095 * [taylor]: Taking taylor expansion of (sqrt 0.12900613773279798) in x
2.095 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.095 * [taylor]: Taking taylor expansion of x in x
2.096 * [taylor]: Taking taylor expansion of x in x
2.179 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
2.180 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in (x) around 0
2.180 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in x
2.180 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.180 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.180 * [taylor]: Taking taylor expansion of x in x
2.180 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in x
2.180 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.180 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.180 * [taylor]: Taking taylor expansion of x in x
2.187 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in (x) around 0
2.187 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x
2.187 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.187 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.187 * [taylor]: Taking taylor expansion of x in x
2.188 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x
2.188 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.188 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.188 * [taylor]: Taking taylor expansion of x in x
2.201 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in (x) around 0
2.201 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x
2.201 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.201 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.201 * [taylor]: Taking taylor expansion of x in x
2.202 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x
2.202 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.202 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.202 * [taylor]: Taking taylor expansion of x in x
2.209 * * * [progress]: simplifying candidates
2.212 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (* 0.12900613773279798 (* x x))))
  (exp (sqrt (* 0.12900613773279798 (* x x))))
  (* (cbrt (sqrt (* 0.12900613773279798 (* x x)))) (cbrt (sqrt (* 0.12900613773279798 (* x x)))))
  (cbrt (sqrt (* 0.12900613773279798 (* x x))))
  (* (* (sqrt (* 0.12900613773279798 (* x x))) (sqrt (* 0.12900613773279798 (* x x)))) (sqrt (* 0.12900613773279798 (* x x))))
  (sqrt 0.12900613773279798)
  (sqrt (* x x))
  (sqrt (* (cbrt (* 0.12900613773279798 (* x x))) (cbrt (* 0.12900613773279798 (* x x)))))
  (sqrt (cbrt (* 0.12900613773279798 (* x x))))
  (sqrt (sqrt (* 0.12900613773279798 (* x x))))
  (sqrt (sqrt (* 0.12900613773279798 (* x x))))
  (sqrt 1)
  (sqrt (* 0.12900613773279798 (* x x)))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) (sqrt (* x x))))
  (sqrt (* (sqrt 0.12900613773279798) (sqrt (* x x))))
  (sqrt (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x))))
  (sqrt (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x))))
  (sqrt (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x))))
  (sqrt (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x))))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* 0.12900613773279798 x))
  (sqrt x)
  (sqrt (* 0.12900613773279798 (* (cbrt (* x x)) (cbrt (* x x)))))
  (sqrt (cbrt (* x x)))
  (sqrt (* 0.12900613773279798 (sqrt (* x x))))
  (sqrt (sqrt (* x x)))
  (sqrt (* 0.12900613773279798 1))
  (sqrt (* x x))
  (sqrt (* 0.12900613773279798 (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x)))))
  (sqrt (* (cbrt x) (cbrt x)))
  (sqrt (* 0.12900613773279798 (* (sqrt x) (sqrt x))))
  (sqrt (* (sqrt x) (sqrt x)))
  (sqrt (* 0.12900613773279798 (* 1 1)))
  (sqrt (* x x))
  (sqrt (* 0.12900613773279798 (* (sqrt x) (sqrt x))))
  (sqrt (* (sqrt x) (sqrt x)))
  (sqrt (* 0.12900613773279798 (* x (* (cbrt x) (cbrt x)))))
  (sqrt (cbrt x))
  (sqrt (* 0.12900613773279798 (* x (sqrt x))))
  (sqrt (sqrt x))
  (sqrt (* 0.12900613773279798 (* x 1)))
  (sqrt x)
  (sqrt (* 0.12900613773279798 (* (cbrt x) (cbrt x))))
  (sqrt (* (cbrt x) x))
  (sqrt (* 0.12900613773279798 (sqrt x)))
  (sqrt (* (sqrt x) x))
  (sqrt (* 0.12900613773279798 1))
  (sqrt (* x x))
  (sqrt (* 0.12900613773279798 x))
  (sqrt x)
  (sqrt (* (cbrt 0.12900613773279798) (cbrt 0.12900613773279798)))
  (sqrt (* (cbrt 0.12900613773279798) (* x x)))
  (sqrt (sqrt 0.12900613773279798))
  (sqrt (* (sqrt 0.12900613773279798) (* x x)))
  (sqrt 1)
  (sqrt (* 0.12900613773279798 (* x x)))
  (sqrt (* x x))
  (sqrt 0.12900613773279798)
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* 0.12900613773279798 (* x x))))
  (sqrt (sqrt (* 0.12900613773279798 (* x x))))
  (log (sqrt (* 0.12900613773279798 (* x x))))
  (exp (sqrt (* 0.12900613773279798 (* x x))))
  (* (cbrt (sqrt (* 0.12900613773279798 (* x x)))) (cbrt (sqrt (* 0.12900613773279798 (* x x)))))
  (cbrt (sqrt (* 0.12900613773279798 (* x x))))
  (* (* (sqrt (* 0.12900613773279798 (* x x))) (sqrt (* 0.12900613773279798 (* x x)))) (sqrt (* 0.12900613773279798 (* x x))))
  (sqrt 0.12900613773279798)
  (sqrt (* x x))
  (sqrt (* (cbrt (* 0.12900613773279798 (* x x))) (cbrt (* 0.12900613773279798 (* x x)))))
  (sqrt (cbrt (* 0.12900613773279798 (* x x))))
  (sqrt (sqrt (* 0.12900613773279798 (* x x))))
  (sqrt (sqrt (* 0.12900613773279798 (* x x))))
  (sqrt 1)
  (sqrt (* 0.12900613773279798 (* x x)))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) (sqrt (* x x))))
  (sqrt (* (sqrt 0.12900613773279798) (sqrt (* x x))))
  (sqrt (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x))))
  (sqrt (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x))))
  (sqrt (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x))))
  (sqrt (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x))))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* 0.12900613773279798 x))
  (sqrt x)
  (sqrt (* 0.12900613773279798 (* (cbrt (* x x)) (cbrt (* x x)))))
  (sqrt (cbrt (* x x)))
  (sqrt (* 0.12900613773279798 (sqrt (* x x))))
  (sqrt (sqrt (* x x)))
  (sqrt (* 0.12900613773279798 1))
  (sqrt (* x x))
  (sqrt (* 0.12900613773279798 (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x)))))
  (sqrt (* (cbrt x) (cbrt x)))
  (sqrt (* 0.12900613773279798 (* (sqrt x) (sqrt x))))
  (sqrt (* (sqrt x) (sqrt x)))
  (sqrt (* 0.12900613773279798 (* 1 1)))
  (sqrt (* x x))
  (sqrt (* 0.12900613773279798 (* (sqrt x) (sqrt x))))
  (sqrt (* (sqrt x) (sqrt x)))
  (sqrt (* 0.12900613773279798 (* x (* (cbrt x) (cbrt x)))))
  (sqrt (cbrt x))
  (sqrt (* 0.12900613773279798 (* x (sqrt x))))
  (sqrt (sqrt x))
  (sqrt (* 0.12900613773279798 (* x 1)))
  (sqrt x)
  (sqrt (* 0.12900613773279798 (* (cbrt x) (cbrt x))))
  (sqrt (* (cbrt x) x))
  (sqrt (* 0.12900613773279798 (sqrt x)))
  (sqrt (* (sqrt x) x))
  (sqrt (* 0.12900613773279798 1))
  (sqrt (* x x))
  (sqrt (* 0.12900613773279798 x))
  (sqrt x)
  (sqrt (* (cbrt 0.12900613773279798) (cbrt 0.12900613773279798)))
  (sqrt (* (cbrt 0.12900613773279798) (* x x)))
  (sqrt (sqrt 0.12900613773279798))
  (sqrt (* (sqrt 0.12900613773279798) (* x x)))
  (sqrt 1)
  (sqrt (* 0.12900613773279798 (* x x)))
  (sqrt (* x x))
  (sqrt 0.12900613773279798)
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* 0.12900613773279798 (* x x))))
  (sqrt (sqrt (* 0.12900613773279798 (* x x))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (+ (+ (log x) (log (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (log (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (+ (log (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (log (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (log (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (exp (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* (* (* x x) x) (* (* (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (* (* (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (* (* (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (cbrt (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (cbrt (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))))
  (cbrt (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (sqrt (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (sqrt (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* x (+ (pow (sqrt 0.954929658551372) 3) (pow (sqrt (* 0.12900613773279798 (* x x))) 3))) (- (pow (sqrt 0.954929658551372) 3) (pow (sqrt (* 0.12900613773279798 (* x x))) 3)))
  (* (+ (* (sqrt 0.954929658551372) (sqrt 0.954929658551372)) (- (* (sqrt (* 0.12900613773279798 (* x x))) (sqrt (* 0.12900613773279798 (* x x)))) (* (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (+ (* (sqrt 0.954929658551372) (sqrt 0.954929658551372)) (+ (* (sqrt (* 0.12900613773279798 (* x x))) (sqrt (* 0.12900613773279798 (* x x)))) (* (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))))
  (* (* x (+ (pow (sqrt 0.954929658551372) 3) (pow (sqrt (* 0.12900613773279798 (* x x))) 3))) (- (* (sqrt 0.954929658551372) (sqrt 0.954929658551372)) (* (sqrt (* 0.12900613773279798 (* x x))) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (+ (* (sqrt 0.954929658551372) (sqrt 0.954929658551372)) (- (* (sqrt (* 0.12900613773279798 (* x x))) (sqrt (* 0.12900613773279798 (* x x)))) (* (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (* x (- (* (sqrt 0.954929658551372) (sqrt 0.954929658551372)) (* (sqrt (* 0.12900613773279798 (* x x))) (sqrt (* 0.12900613773279798 (* x x)))))) (- (pow (sqrt 0.954929658551372) 3) (pow (sqrt (* 0.12900613773279798 (* x x))) 3)))
  (* (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (+ (* (sqrt 0.954929658551372) (sqrt 0.954929658551372)) (+ (* (sqrt (* 0.12900613773279798 (* x x))) (sqrt (* 0.12900613773279798 (* x x)))) (* (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))))
  (* (* x (- (* (sqrt 0.954929658551372) (sqrt 0.954929658551372)) (* (sqrt (* 0.12900613773279798 (* x x))) (sqrt (* 0.12900613773279798 (* x x)))))) (- (* (sqrt 0.954929658551372) (sqrt 0.954929658551372)) (* (sqrt (* 0.12900613773279798 (* x x))) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (sqrt (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (sqrt (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (sqrt (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (sqrt (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* (sqrt x) (sqrt (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (sqrt (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* (sqrt x) (sqrt (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (sqrt (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (sqrt 0.954929658551372))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt (* 0.12900613773279798 (* x x)))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (sqrt 0.954929658551372))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt (* 0.12900613773279798 (* x x)))))
  (* (sqrt 0.954929658551372) (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (- (sqrt (* 0.12900613773279798 (* x x)))) (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (sqrt 0.954929658551372) (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (- (sqrt (* 0.12900613773279798 (* x x)))) (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (* (cbrt (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (cbrt (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (sqrt (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) 1)
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) x))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) (sqrt (* x x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) x))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) x))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) (sqrt (* x x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) x))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (sqrt 1))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (sqrt 1))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) 1)
  (* (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (cbrt (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (sqrt (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (* (sqrt x) (sqrt (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (cbrt (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (sqrt (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (* (cbrt x) (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (* (sqrt x) (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* x (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (pow (sqrt 0.954929658551372) 3) (pow (sqrt (* 0.12900613773279798 (* x x))) 3)))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (* (sqrt 0.954929658551372) (sqrt 0.954929658551372)) (* (sqrt (* 0.12900613773279798 (* x x))) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* x (+ (pow (sqrt 0.954929658551372) 3) (pow (sqrt (* 0.12900613773279798 (* x x))) 3))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (* x (- (* (sqrt 0.954929658551372) (sqrt 0.954929658551372)) (* (sqrt (* 0.12900613773279798 (* x x))) (sqrt (* 0.12900613773279798 (* x x)))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* 0.12900613773279798 (* x x))
  (* 0.12900613773279798 (* x x))
  (+ (log 0.12900613773279798) (+ (log x) (log x)))
  (+ (log 0.12900613773279798) (log (* x x)))
  (log (* 0.12900613773279798 (* x x)))
  (exp (* 0.12900613773279798 (* x x)))
  (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* x x) x) (* (* x x) x)))
  (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* x x) (* x x)) (* x x)))
  (* (cbrt (* 0.12900613773279798 (* x x))) (cbrt (* 0.12900613773279798 (* x x))))
  (cbrt (* 0.12900613773279798 (* x x)))
  (* (* (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (* x x))) (* 0.12900613773279798 (* x x)))
  (sqrt (* 0.12900613773279798 (* x x)))
  (sqrt (* 0.12900613773279798 (* x x)))
  (* (sqrt 0.12900613773279798) x)
  (* (sqrt 0.12900613773279798) x)
  (* (sqrt 0.12900613773279798) (sqrt (* x x)))
  (* (sqrt 0.12900613773279798) (sqrt (* x x)))
  (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x)))
  (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x)))
  (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x)))
  (* (sqrt 0.12900613773279798) (* (sqrt x) (sqrt x)))
  (* (sqrt 0.12900613773279798) x)
  (* (sqrt 0.12900613773279798) x)
  (* 0.12900613773279798 x)
  (* 0.12900613773279798 (* (cbrt (* x x)) (cbrt (* x x))))
  (* 0.12900613773279798 (sqrt (* x x)))
  (* 0.12900613773279798 1)
  (* 0.12900613773279798 (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))))
  (* 0.12900613773279798 (* (sqrt x) (sqrt x)))
  (* 0.12900613773279798 (* 1 1))
  (* 0.12900613773279798 (* (sqrt x) (sqrt x)))
  (* 0.12900613773279798 (* x (* (cbrt x) (cbrt x))))
  (* 0.12900613773279798 (* x (sqrt x)))
  (* 0.12900613773279798 (* x 1))
  (* 0.12900613773279798 (* (cbrt x) (cbrt x)))
  (* 0.12900613773279798 (sqrt x))
  (* 0.12900613773279798 1)
  (* 0.12900613773279798 x)
  (* (cbrt 0.12900613773279798) (* x x))
  (* (sqrt 0.12900613773279798) (* x x))
  (* 0.12900613773279798 (* x x))
  (* x (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* -1 (* x (sqrt 0.12900613773279798)))
  (* x (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* -1 (* x (sqrt 0.12900613773279798)))
  (- (* x (pow (sqrt 0.954929658551372) 2)) (* (pow x 3) (pow (sqrt 0.12900613773279798) 2)))
  (- (* x (pow (sqrt 0.954929658551372) 2)) (* (pow x 3) (pow (sqrt 0.12900613773279798) 2)))
  (- (* x (pow (sqrt 0.954929658551372) 2)) (* (pow x 3) (pow (sqrt 0.12900613773279798) 2)))
  (* 0.12900613773279798 (pow x 2))
  (* 0.12900613773279798 (pow x 2))
  (* 0.12900613773279798 (pow x 2))
2.220 * * [simplify]: iteration  0 :  544  enodes  (cost  1438 )
2.232 * * [simplify]: iteration  1 :  3205  enodes  (cost  1260 )
2.290 * * [simplify]: iteration  2 :  5001  enodes  (cost  1253 )
2.296 * [simplify]: Simplified to:
   (log (sqrt (* 0.12900613773279798 (* x x))))
  (exp (sqrt (* 0.12900613773279798 (* x x))))
  (* (cbrt (sqrt (* 0.12900613773279798 (* x x)))) (cbrt (sqrt (* 0.12900613773279798 (* x x)))))
  (cbrt (sqrt (* 0.12900613773279798 (* x x))))
  (pow (sqrt (* 0.12900613773279798 (* x x))) 3)
  (sqrt 0.12900613773279798)
  (fabs x)
  (fabs (cbrt (* 0.12900613773279798 (* x x))))
  (sqrt (cbrt (* 0.12900613773279798 (* x x))))
  (sqrt (sqrt (* 0.12900613773279798 (* x x))))
  (sqrt (sqrt (* 0.12900613773279798 (* x x))))
  1
  (sqrt (* 0.12900613773279798 (* x x)))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) (sqrt (* x x))))
  (sqrt (* (sqrt 0.12900613773279798) (sqrt (* x x))))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* 0.12900613773279798 x))
  (sqrt x)
  (sqrt (* 0.12900613773279798 (* (cbrt (* x x)) (cbrt (* x x)))))
  (sqrt (cbrt (* x x)))
  (sqrt (* 0.12900613773279798 (sqrt (* x x))))
  (sqrt (sqrt (* x x)))
  (sqrt 0.12900613773279798)
  (fabs x)
  (sqrt (* 0.12900613773279798 (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x)))))
  (fabs (cbrt x))
  (sqrt (* 0.12900613773279798 x))
  (sqrt x)
  (sqrt 0.12900613773279798)
  (fabs x)
  (sqrt (* 0.12900613773279798 x))
  (sqrt x)
  (sqrt (* 0.12900613773279798 (* x (* (cbrt x) (cbrt x)))))
  (sqrt (cbrt x))
  (sqrt (* 0.12900613773279798 (* x (sqrt x))))
  (sqrt (sqrt x))
  (sqrt (* 0.12900613773279798 x))
  (sqrt x)
  (sqrt (* 0.12900613773279798 (* (cbrt x) (cbrt x))))
  (sqrt (* (cbrt x) x))
  (sqrt (* 0.12900613773279798 (sqrt x)))
  (sqrt (* (sqrt x) x))
  (sqrt 0.12900613773279798)
  (fabs x)
  (sqrt (* 0.12900613773279798 x))
  (sqrt x)
  (fabs (cbrt 0.12900613773279798))
  (sqrt (* (cbrt 0.12900613773279798) (* x x)))
  (pow (sqrt 0.12900613773279798) 1/2)
  (sqrt (* (sqrt 0.12900613773279798) (* x x)))
  1
  (sqrt (* 0.12900613773279798 (* x x)))
  (fabs x)
  (sqrt 0.12900613773279798)
  1/2
  1/2
  1/2
  (sqrt (sqrt (* 0.12900613773279798 (* x x))))
  (sqrt (sqrt (* 0.12900613773279798 (* x x))))
  (log (sqrt (* 0.12900613773279798 (* x x))))
  (exp (sqrt (* 0.12900613773279798 (* x x))))
  (* (cbrt (sqrt (* 0.12900613773279798 (* x x)))) (cbrt (sqrt (* 0.12900613773279798 (* x x)))))
  (cbrt (sqrt (* 0.12900613773279798 (* x x))))
  (pow (sqrt (* 0.12900613773279798 (* x x))) 3)
  (sqrt 0.12900613773279798)
  (fabs x)
  (fabs (cbrt (* 0.12900613773279798 (* x x))))
  (sqrt (cbrt (* 0.12900613773279798 (* x x))))
  (sqrt (sqrt (* 0.12900613773279798 (* x x))))
  (sqrt (sqrt (* 0.12900613773279798 (* x x))))
  1
  (sqrt (* 0.12900613773279798 (* x x)))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) (sqrt (* x x))))
  (sqrt (* (sqrt 0.12900613773279798) (sqrt (* x x))))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* (sqrt 0.12900613773279798) x))
  (sqrt (* 0.12900613773279798 x))
  (sqrt x)
  (sqrt (* 0.12900613773279798 (* (cbrt (* x x)) (cbrt (* x x)))))
  (sqrt (cbrt (* x x)))
  (sqrt (* 0.12900613773279798 (sqrt (* x x))))
  (sqrt (sqrt (* x x)))
  (sqrt 0.12900613773279798)
  (fabs x)
  (sqrt (* 0.12900613773279798 (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x)))))
  (fabs (cbrt x))
  (sqrt (* 0.12900613773279798 x))
  (sqrt x)
  (sqrt 0.12900613773279798)
  (fabs x)
  (sqrt (* 0.12900613773279798 x))
  (sqrt x)
  (sqrt (* 0.12900613773279798 (* x (* (cbrt x) (cbrt x)))))
  (sqrt (cbrt x))
  (sqrt (* 0.12900613773279798 (* x (sqrt x))))
  (sqrt (sqrt x))
  (sqrt (* 0.12900613773279798 x))
  (sqrt x)
  (sqrt (* 0.12900613773279798 (* (cbrt x) (cbrt x))))
  (sqrt (* (cbrt x) x))
  (sqrt (* 0.12900613773279798 (sqrt x)))
  (sqrt (* (sqrt x) x))
  (sqrt 0.12900613773279798)
  (fabs x)
  (sqrt (* 0.12900613773279798 x))
  (sqrt x)
  (fabs (cbrt 0.12900613773279798))
  (sqrt (* (cbrt 0.12900613773279798) (* x x)))
  (pow (sqrt 0.12900613773279798) 1/2)
  (sqrt (* (sqrt 0.12900613773279798) (* x x)))
  1
  (sqrt (* 0.12900613773279798 (* x x)))
  (fabs x)
  (sqrt 0.12900613773279798)
  1/2
  1/2
  1/2
  (sqrt (sqrt (* 0.12900613773279798 (* x x))))
  (sqrt (sqrt (* 0.12900613773279798 (* x x))))
  (* (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x)))) x)
  (* (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x)))) x)
  (+ (log x) (log (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x))))))
  (+ (log x) (log (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x))))))
  (+ (log x) (log (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x))))))
  (pow (exp x) (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x)))))
  (pow (* (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x)))) x) 3)
  (pow (* (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x)))) x) 3)
  (* (cbrt (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (cbrt (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))))
  (cbrt (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (pow (* (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x)))) x) 3)
  (sqrt (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (sqrt (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* x (+ (pow (sqrt 0.954929658551372) 3) (pow (sqrt (* 0.12900613773279798 (* x x))) 3))) (- (pow (sqrt 0.954929658551372) 3) (pow (sqrt (* 0.12900613773279798 (* x x))) 3)))
  (* (+ (+ 0.954929658551372 (* 0.12900613773279798 (* x x))) (* (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (+ 0.954929658551372 (* 0.12900613773279798 (* x x))) (* (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (- 0.954929658551372 (* 0.12900613773279798 (* x x))) (* x (+ (pow (sqrt 0.954929658551372) 3) (pow (sqrt (* 0.12900613773279798 (* x x))) 3))))
  (* (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (- (+ 0.954929658551372 (* 0.12900613773279798 (* x x))) (* (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (- (pow (sqrt 0.954929658551372) 3) (pow (sqrt (* 0.12900613773279798 (* x x))) 3)) (* (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x)))) x))
  (* (+ (+ 0.954929658551372 (* 0.12900613773279798 (* x x))) (* (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x)))) (* (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x)))) x))
  (- 0.954929658551372 (* 0.12900613773279798 (* x x)))
  (* (sqrt (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (sqrt (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (sqrt (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (sqrt (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* (sqrt x) (sqrt (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (sqrt (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* (sqrt x) (sqrt (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (sqrt (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (+ (* (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) 0.954929658551372) x)
  (* (- (+ (* (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (* 0.12900613773279798 (* x x)))) x)
  (* (+ (* (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) 0.954929658551372) x)
  (* (- (+ (* (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (* 0.12900613773279798 (* x x)))) x)
  (* (+ (* (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) 0.954929658551372) x)
  (* (- (+ (* (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (* 0.12900613773279798 (* x x)))) x)
  (* (+ (* (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) 0.954929658551372) x)
  (* (- (+ (* (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (* 0.12900613773279798 (* x x)))) x)
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (* (cbrt (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (cbrt (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (sqrt (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) x))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) (sqrt (* x x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) x))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) x))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) x))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) x))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) (sqrt (* x x))))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) x))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) x))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (* (sqrt 0.12900613773279798) x))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt (sqrt 0.954929658551372)) (sqrt (sqrt (* 0.12900613773279798 (* x x))))))
  (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (- 0.954929658551372 (* 0.12900613773279798 (* x x)))
  (* (cbrt (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (sqrt (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x)))) x)
  (* (* (sqrt x) (sqrt (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (cbrt (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (sqrt (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (- 0.954929658551372 (* 0.12900613773279798 (* x x)))
  (- 0.954929658551372 (* 0.12900613773279798 (* x x)))
  (- 0.954929658551372 (* 0.12900613773279798 (* x x)))
  (- 0.954929658551372 (* 0.12900613773279798 (* x x)))
  (* (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x)))) (cbrt x))
  (* (sqrt x) (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
  (* (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x)))) x)
  (* x (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (pow (sqrt 0.954929658551372) 3) (pow (sqrt (* 0.12900613773279798 (* x x))) 3)))
  (* (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x)))) (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
  (* (* x (+ (pow (sqrt 0.954929658551372) 3) (pow (sqrt (* 0.12900613773279798 (* x x))) 3))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
  (* (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (* (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x)))) x))
  (* 0.12900613773279798 (* x x))
  (* 0.12900613773279798 (* x x))
  (log (* 0.12900613773279798 (* x x)))
  (log (* 0.12900613773279798 (* x x)))
  (log (* 0.12900613773279798 (* x x)))
  (exp (* 0.12900613773279798 (* x x)))
  (pow (* 0.12900613773279798 (* x x)) 3)
  (pow (* 0.12900613773279798 (* x x)) 3)
  (* (cbrt (* 0.12900613773279798 (* x x))) (cbrt (* 0.12900613773279798 (* x x))))
  (cbrt (* 0.12900613773279798 (* x x)))
  (pow (* 0.12900613773279798 (* x x)) 3)
  (sqrt (* 0.12900613773279798 (* x x)))
  (sqrt (* 0.12900613773279798 (* x x)))
  (* x (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* (fabs x) (sqrt 0.12900613773279798))
  (* (fabs x) (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* x 0.12900613773279798)
  (* 0.12900613773279798 (* (cbrt (* x x)) (cbrt (* x x))))
  (* (fabs x) 0.12900613773279798)
  0.12900613773279798
  (* (* x 0.12900613773279798) (cbrt x))
  (* x 0.12900613773279798)
  0.12900613773279798
  (* x 0.12900613773279798)
  (* 0.12900613773279798 (* x (* (cbrt x) (cbrt x))))
  (* 0.12900613773279798 (* x (sqrt x)))
  (* x 0.12900613773279798)
  (* 0.12900613773279798 (* (cbrt x) (cbrt x)))
  (* 0.12900613773279798 (sqrt x))
  0.12900613773279798
  (* x 0.12900613773279798)
  (* (cbrt 0.12900613773279798) (* x x))
  (* (sqrt 0.12900613773279798) (* x x))
  (* 0.12900613773279798 (* x x))
  (* x (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* -1 (* x (sqrt 0.12900613773279798)))
  (* x (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* -1 (* x (sqrt 0.12900613773279798)))
  (* (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x)))) x)
  (* (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x)))) x)
  (* (+ 0.954929658551372 (- (* 0.12900613773279798 (* x x)))) x)
  (* 0.12900613773279798 (* x x))
  (* 0.12900613773279798 (* x x))
  (* 0.12900613773279798 (* x x))
2.297 * * * [progress]: adding candidates to table
2.686 * [progress]: [Phase 3 of 3] Extracting.
2.686 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))> #<alt (λ (x) (* (sqrt (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))) (sqrt (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))))> #<alt (λ (x) (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))> #<alt (λ (x) (* x (- 0.954929658551372 (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x)))))))> #<alt (λ (x) (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))))>)
2.687 * * * [regime-changes]: Trying 2 branch expressions: ((- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))) x)
2.688 * * * * [regimes]: Trying to branch on (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))) from (#<alt (λ (x) (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))> #<alt (λ (x) (* (sqrt (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))) (sqrt (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))))> #<alt (λ (x) (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))> #<alt (λ (x) (* x (- 0.954929658551372 (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x)))))))> #<alt (λ (x) (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))))>)
2.711 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))> #<alt (λ (x) (* (sqrt (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))) (sqrt (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))))> #<alt (λ (x) (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x))))))> #<alt (λ (x) (* x (- 0.954929658551372 (* (* (fabs x) (* (sqrt (fabs x)) 0.12900613773279798)) (sqrt (sqrt (* x x)))))))> #<alt (λ (x) (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))))>)
2.728 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
2.729 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))
2.729 * * [simplify]: iteration  0 :  13  enodes  (cost  7 )
2.729 * * [simplify]: iteration  1 :  13  enodes  (cost  7 )
2.729 * [simplify]: Simplified to:
   (* x (- 0.954929658551372 (* (* (fabs x) 0.12900613773279798) (sqrt (* x x)))))
3.309 * [regime-testing]: Baseline error score: 0.08938861732824775
3.310 * [regime-testing]: Oracle error score: 0.012626578322290286
3.311 * [regime-testing]: End program error score: 0.08938861732824775