10.522 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.105 * * * [progress]: [2/2] Setting up program.
0.106 * [progress]: [Phase 2 of 3] Improving.
0.106 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
0.378 * * [simplify]: iteration  0 :  4006  enodes  (cost  15 )
0.378 * * [simplify]: iteration  1 :  4006  enodes  (cost  15 )
0.379 * [simplify]: Simplified to:
   (*.f64 1/2 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
0.381 * * [progress]: iteration 1 / 4
0.382 * * * [progress]: picking best candidate
0.382 * * * * [pick]: Picked  #<alt (λ (x) (*.f64 1/2 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))))>
0.382 * * * [progress]: localizing error
0.389 * * * [progress]: generating rewritten candidates
0.389 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.396 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
0.409 * * * [progress]: generating series expansions
0.409 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.409 * [approximate]: Taking taylor expansion of (log (/ (+ x 1) (- 1 x))) in (x) around 0
0.409 * [taylor]: Taking taylor expansion of (log (/ (+ x 1) (- 1 x))) in x
0.410 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 x)) in x
0.410 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.410 * [taylor]: Taking taylor expansion of x in x
0.410 * [taylor]: Taking taylor expansion of 1 in x
0.410 * [taylor]: Taking taylor expansion of (- 1 x) in x
0.410 * [taylor]: Taking taylor expansion of 1 in x
0.410 * [taylor]: Taking taylor expansion of x in x
0.410 * [taylor]: Taking taylor expansion of (log (/ (+ x 1) (- 1 x))) in x
0.410 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 x)) in x
0.410 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.410 * [taylor]: Taking taylor expansion of x in x
0.410 * [taylor]: Taking taylor expansion of 1 in x
0.410 * [taylor]: Taking taylor expansion of (- 1 x) in x
0.410 * [taylor]: Taking taylor expansion of 1 in x
0.410 * [taylor]: Taking taylor expansion of x in x
0.423 * [approximate]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in (x) around 0
0.423 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x
0.423 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
0.423 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.423 * [taylor]: Taking taylor expansion of x in x
0.423 * [taylor]: Taking taylor expansion of 1 in x
0.423 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.423 * [taylor]: Taking taylor expansion of 1 in x
0.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.423 * [taylor]: Taking taylor expansion of x in x
0.424 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x
0.424 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
0.424 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.424 * [taylor]: Taking taylor expansion of x in x
0.424 * [taylor]: Taking taylor expansion of 1 in x
0.424 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.424 * [taylor]: Taking taylor expansion of 1 in x
0.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.424 * [taylor]: Taking taylor expansion of x in x
0.432 * [approximate]: Taking taylor expansion of (log (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in (x) around 0
0.432 * [taylor]: Taking taylor expansion of (log (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x
0.432 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
0.432 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.432 * [taylor]: Taking taylor expansion of 1 in x
0.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.432 * [taylor]: Taking taylor expansion of x in x
0.432 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.432 * [taylor]: Taking taylor expansion of x in x
0.432 * [taylor]: Taking taylor expansion of 1 in x
0.433 * [taylor]: Taking taylor expansion of (log (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x
0.433 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
0.433 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.433 * [taylor]: Taking taylor expansion of 1 in x
0.433 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.433 * [taylor]: Taking taylor expansion of x in x
0.433 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.433 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.433 * [taylor]: Taking taylor expansion of x in x
0.433 * [taylor]: Taking taylor expansion of 1 in x
0.448 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
0.448 * [approximate]: Taking taylor expansion of (/ (+ x 1) (- 1 x)) in (x) around 0
0.448 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 x)) in x
0.448 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.448 * [taylor]: Taking taylor expansion of x in x
0.448 * [taylor]: Taking taylor expansion of 1 in x
0.448 * [taylor]: Taking taylor expansion of (- 1 x) in x
0.448 * [taylor]: Taking taylor expansion of 1 in x
0.448 * [taylor]: Taking taylor expansion of x in x
0.449 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 x)) in x
0.449 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.449 * [taylor]: Taking taylor expansion of x in x
0.449 * [taylor]: Taking taylor expansion of 1 in x
0.449 * [taylor]: Taking taylor expansion of (- 1 x) in x
0.449 * [taylor]: Taking taylor expansion of 1 in x
0.449 * [taylor]: Taking taylor expansion of x in x
0.451 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in (x) around 0
0.451 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.451 * [taylor]: Taking taylor expansion of x in x
0.451 * [taylor]: Taking taylor expansion of 1 in x
0.451 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.451 * [taylor]: Taking taylor expansion of 1 in x
0.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.451 * [taylor]: Taking taylor expansion of x in x
0.451 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.451 * [taylor]: Taking taylor expansion of x in x
0.451 * [taylor]: Taking taylor expansion of 1 in x
0.451 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.451 * [taylor]: Taking taylor expansion of 1 in x
0.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.451 * [taylor]: Taking taylor expansion of x in x
0.455 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in (x) around 0
0.455 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
0.455 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.455 * [taylor]: Taking taylor expansion of 1 in x
0.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.455 * [taylor]: Taking taylor expansion of x in x
0.455 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.455 * [taylor]: Taking taylor expansion of x in x
0.455 * [taylor]: Taking taylor expansion of 1 in x
0.455 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
0.455 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.455 * [taylor]: Taking taylor expansion of 1 in x
0.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.455 * [taylor]: Taking taylor expansion of x in x
0.456 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
0.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.456 * [taylor]: Taking taylor expansion of x in x
0.456 * [taylor]: Taking taylor expansion of 1 in x
0.459 * * * [progress]: simplifying candidates
0.460 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (+.f64 1 x))
  (log.f64 (-.f64 1 x))
  (log.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))))
  (log.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (log.f64 (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (log.f64 (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) 1))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 x)))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 (sqrt.f64 1) (sqrt.f64 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (sqrt.f64 x))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) 1))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 x)))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) 1))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x)))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 (sqrt.f64 1) (sqrt.f64 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (sqrt.f64 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) 1))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x)))
  (log.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))))
  (log.f64 (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 1 (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 1 1))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (/.f64 1 (+.f64 (sqrt.f64 1) (sqrt.f64 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (sqrt.f64 x))))
  (log.f64 (/.f64 1 (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 1 1))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))))
  (log.f64 (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 1 (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 1 1))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (/.f64 1 (+.f64 (sqrt.f64 1) (sqrt.f64 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (sqrt.f64 x))))
  (log.f64 (/.f64 1 (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 1 1))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (+.f64 1 x))
  (log.f64 (/.f64 1 (-.f64 1 x)))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (pow.f64 1 3) (pow.f64 x 3))))
  (log.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 x x) (*.f64 1 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (*.f64 1 1) (*.f64 x x))))
  (log.f64 (+.f64 1 x))
  (exp.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (log.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (*.f64 (*.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (*.f64 (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))))
  (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (-.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x)))
  (exp.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (*.f64 (*.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)) (/.f64 (+.f64 1 x) (-.f64 1 x))) (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (*.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (/.f64 (*.f64 (*.f64 (+.f64 1 x) (+.f64 1 x)) (+.f64 1 x)) (*.f64 (*.f64 (-.f64 1 x) (-.f64 1 x)) (-.f64 1 x)))
  (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (neg.f64 (+.f64 1 x))
  (neg.f64 (-.f64 1 x))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (sqrt.f64 (-.f64 1 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) 1)
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 x))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (sqrt.f64 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) 1)
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 x))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) 1)
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) 1)
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 x)))
  (/.f64 1 (sqrt.f64 (-.f64 1 x)))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x)))
  (/.f64 1 1)
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (/.f64 1 (+.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 1 (+.f64 1 (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x)))
  (/.f64 1 1)
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 x)))
  (/.f64 1 (sqrt.f64 (-.f64 1 x)))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x)))
  (/.f64 1 1)
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (/.f64 1 (+.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 1 (+.f64 1 (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x)))
  (/.f64 1 1)
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (/.f64 (-.f64 1 x) (+.f64 1 x))
  (/.f64 1 (-.f64 1 x))
  (*.f64 (-.f64 1 x) (+.f64 (*.f64 1 1) (-.f64 (*.f64 x x) (*.f64 1 x))))
  (*.f64 (-.f64 1 x) (-.f64 1 x))
  (/.f64 (+.f64 1 x) (-.f64 (pow.f64 1 3) (pow.f64 x 3)))
  (/.f64 (+.f64 1 x) (-.f64 (*.f64 1 1) (*.f64 x x)))
  (/.f64 (-.f64 1 x) (cbrt.f64 (+.f64 1 x)))
  (/.f64 (-.f64 1 x) (sqrt.f64 (+.f64 1 x)))
  (/.f64 (-.f64 1 x) (+.f64 1 x))
  (/.f64 (-.f64 1 x) (+.f64 1 x))
  (/.f64 (+.f64 1 x) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x)))
  (/.f64 (+.f64 1 x) 1)
  (/.f64 (+.f64 1 x) (+.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (+.f64 1 (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) 1)
  (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (*.f64 2 x)))
  (+.f64 (log.f64 -1) (+.f64 (*.f64 2 (/.f64 1 x)) (*.f64 2/3 (/.f64 1 (pow.f64 x 3)))))
  (+.f64 (log.f64 -1) (+.f64 (*.f64 2 (/.f64 1 x)) (*.f64 2/3 (/.f64 1 (pow.f64 x 3)))))
  (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (*.f64 2 x) 1))
  (neg.f64 (+.f64 (*.f64 2 (/.f64 1 (pow.f64 x 2))) (+.f64 (*.f64 2 (/.f64 1 x)) 1)))
  (neg.f64 (+.f64 (*.f64 2 (/.f64 1 (pow.f64 x 2))) (+.f64 (*.f64 2 (/.f64 1 x)) 1)))
0.557 * * [simplify]: iteration  0 :  5207  enodes  (cost  1898 )
0.566 * [simplify]: Simplified to:
   (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (+.f64 1 x))
  (log.f64 (-.f64 1 x))
  (*.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) 2)
  (log.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (log.f64 (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (log.f64 (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (*.f64 2 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x)))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x))))
  (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 x)))
  (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x)))) (log.f64 (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x))))
  (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x)))) (log.f64 (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x))))
  (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 x)))
  (+.f64 (log.f64 (sqrt.f64 (+.f64 1 x))) (*.f64 (log.f64 (cbrt.f64 (-.f64 1 x))) -2))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x))))
  (log.f64 (sqrt.f64 (+.f64 1 x)))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x)))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x))))
  (log.f64 (sqrt.f64 (+.f64 1 x)))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x)))
  (*.f64 (log.f64 (cbrt.f64 (-.f64 1 x))) -2)
  (log.f64 (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 x))))
  (neg.f64 (log.f64 (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x))))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (neg.f64 (log.f64 (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x))))
  (neg.f64 (log.f64 (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x))))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (*.f64 (log.f64 (cbrt.f64 (-.f64 1 x))) -2)
  (log.f64 (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 x))))
  (neg.f64 (log.f64 (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x))))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (neg.f64 (log.f64 (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x))))
  (neg.f64 (log.f64 (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x))))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (+.f64 1 x))
  (neg.f64 (log.f64 (-.f64 1 x)))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (*.f64 x x))))
  (log.f64 (+.f64 1 x))
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (log.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)
  (*.f64 (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))))
  (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (exp.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (pow.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)) 3)
  (*.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (pow.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)) 3)
  (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (-.f64 -1 x)
  (-.f64 x 1)
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (sqrt.f64 (-.f64 1 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
  (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 x))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (sqrt.f64 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (sqrt.f64 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 x))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
  (sqrt.f64 (+.f64 1 x))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x)))
  (sqrt.f64 (+.f64 1 x))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 x)))
  (/.f64 1 (sqrt.f64 (-.f64 1 x)))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x)))
  1
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (/.f64 1 (+.f64 1 (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x)))
  (/.f64 1 (+.f64 1 (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x)))
  1
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 x)))
  (/.f64 1 (sqrt.f64 (-.f64 1 x)))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x)))
  1
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (/.f64 1 (+.f64 1 (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x)))
  (/.f64 1 (+.f64 1 (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x)))
  1
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (/.f64 (-.f64 1 x) (+.f64 1 x))
  (/.f64 1 (-.f64 1 x))
  (*.f64 (-.f64 1 x) (+.f64 1 (-.f64 (*.f64 x x) x)))
  (*.f64 (-.f64 1 x) (-.f64 1 x))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))
  (/.f64 (+.f64 1 x) (-.f64 1 (*.f64 x x)))
  (/.f64 (-.f64 1 x) (cbrt.f64 (+.f64 1 x)))
  (/.f64 (-.f64 1 x) (sqrt.f64 (+.f64 1 x)))
  (/.f64 (-.f64 1 x) (+.f64 1 x))
  (/.f64 (-.f64 1 x) (+.f64 1 x))
  (/.f64 (+.f64 1 x) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x)))
  (+.f64 1 x)
  (/.f64 (+.f64 1 x) (+.f64 1 (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (+.f64 1 (sqrt.f64 x)))
  (+.f64 1 x)
  (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)))
  (+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (/.f64 2/3 (pow.f64 x 3))))
  (+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (/.f64 2/3 (pow.f64 x 3))))
  (+.f64 1 (*.f64 (+.f64 1 x) (+.f64 x x)))
  (+.f64 (/.f64 -2 x) (-.f64 -1 (/.f64 2 (*.f64 x x))))
  (+.f64 (/.f64 -2 x) (-.f64 -1 (/.f64 2 (*.f64 x x))))
0.567 * * * [progress]: adding candidates to table
0.647 * * [progress]: iteration 2 / 4
0.647 * * * [progress]: picking best candidate
0.653 * * * * [pick]: Picked  #<alt (λ (x) (*.f64 1/2 (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)))))>
0.653 * * * [progress]: localizing error
0.663 * * * [progress]: generating rewritten candidates
0.663 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
0.669 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2 1)
0.675 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
0.690 * * * [progress]: generating series expansions
0.690 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
0.691 * [approximate]: Taking taylor expansion of (* 2/3 (pow x 3)) in (x) around 0
0.691 * [taylor]: Taking taylor expansion of (* 2/3 (pow x 3)) in x
0.691 * [taylor]: Taking taylor expansion of 2/3 in x
0.691 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.691 * [taylor]: Taking taylor expansion of x in x
0.691 * [taylor]: Taking taylor expansion of (* 2/3 (pow x 3)) in x
0.691 * [taylor]: Taking taylor expansion of 2/3 in x
0.691 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.691 * [taylor]: Taking taylor expansion of x in x
0.700 * [approximate]: Taking taylor expansion of (/ 2/3 (pow x 3)) in (x) around 0
0.700 * [taylor]: Taking taylor expansion of (/ 2/3 (pow x 3)) in x
0.700 * [taylor]: Taking taylor expansion of 2/3 in x
0.700 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.700 * [taylor]: Taking taylor expansion of x in x
0.700 * [taylor]: Taking taylor expansion of (/ 2/3 (pow x 3)) in x
0.700 * [taylor]: Taking taylor expansion of 2/3 in x
0.700 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.700 * [taylor]: Taking taylor expansion of x in x
0.710 * [approximate]: Taking taylor expansion of (/ -2/3 (pow x 3)) in (x) around 0
0.710 * [taylor]: Taking taylor expansion of (/ -2/3 (pow x 3)) in x
0.710 * [taylor]: Taking taylor expansion of -2/3 in x
0.710 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.710 * [taylor]: Taking taylor expansion of x in x
0.711 * [taylor]: Taking taylor expansion of (/ -2/3 (pow x 3)) in x
0.711 * [taylor]: Taking taylor expansion of -2/3 in x
0.711 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.711 * [taylor]: Taking taylor expansion of x in x
0.720 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2 1)
0.720 * [approximate]: Taking taylor expansion of (* 2/5 (pow x 5)) in (x) around 0
0.720 * [taylor]: Taking taylor expansion of (* 2/5 (pow x 5)) in x
0.720 * [taylor]: Taking taylor expansion of 2/5 in x
0.721 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.721 * [taylor]: Taking taylor expansion of x in x
0.721 * [taylor]: Taking taylor expansion of (* 2/5 (pow x 5)) in x
0.721 * [taylor]: Taking taylor expansion of 2/5 in x
0.721 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.721 * [taylor]: Taking taylor expansion of x in x
0.730 * [approximate]: Taking taylor expansion of (/ 2/5 (pow x 5)) in (x) around 0
0.730 * [taylor]: Taking taylor expansion of (/ 2/5 (pow x 5)) in x
0.730 * [taylor]: Taking taylor expansion of 2/5 in x
0.730 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.730 * [taylor]: Taking taylor expansion of x in x
0.731 * [taylor]: Taking taylor expansion of (/ 2/5 (pow x 5)) in x
0.731 * [taylor]: Taking taylor expansion of 2/5 in x
0.731 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.731 * [taylor]: Taking taylor expansion of x in x
0.741 * [approximate]: Taking taylor expansion of (/ -2/5 (pow x 5)) in (x) around 0
0.741 * [taylor]: Taking taylor expansion of (/ -2/5 (pow x 5)) in x
0.741 * [taylor]: Taking taylor expansion of -2/5 in x
0.741 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.741 * [taylor]: Taking taylor expansion of x in x
0.741 * [taylor]: Taking taylor expansion of (/ -2/5 (pow x 5)) in x
0.741 * [taylor]: Taking taylor expansion of -2/5 in x
0.741 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.741 * [taylor]: Taking taylor expansion of x in x
0.752 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
0.752 * [approximate]: Taking taylor expansion of (+ (* 2/3 (pow x 3)) (+ (* 2/5 (pow x 5)) (* 2 x))) in (x) around 0
0.752 * [taylor]: Taking taylor expansion of (+ (* 2/3 (pow x 3)) (+ (* 2/5 (pow x 5)) (* 2 x))) in x
0.752 * [taylor]: Taking taylor expansion of (* 2/3 (pow x 3)) in x
0.752 * [taylor]: Taking taylor expansion of 2/3 in x
0.752 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.752 * [taylor]: Taking taylor expansion of (+ (* 2/5 (pow x 5)) (* 2 x)) in x
0.753 * [taylor]: Taking taylor expansion of (* 2/5 (pow x 5)) in x
0.753 * [taylor]: Taking taylor expansion of 2/5 in x
0.753 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.753 * [taylor]: Taking taylor expansion of x in x
0.753 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.753 * [taylor]: Taking taylor expansion of 2 in x
0.753 * [taylor]: Taking taylor expansion of x in x
0.753 * [taylor]: Taking taylor expansion of (+ (* 2/3 (pow x 3)) (+ (* 2/5 (pow x 5)) (* 2 x))) in x
0.753 * [taylor]: Taking taylor expansion of (* 2/3 (pow x 3)) in x
0.753 * [taylor]: Taking taylor expansion of 2/3 in x
0.753 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.753 * [taylor]: Taking taylor expansion of x in x
0.753 * [taylor]: Taking taylor expansion of (+ (* 2/5 (pow x 5)) (* 2 x)) in x
0.753 * [taylor]: Taking taylor expansion of (* 2/5 (pow x 5)) in x
0.753 * [taylor]: Taking taylor expansion of 2/5 in x
0.753 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.753 * [taylor]: Taking taylor expansion of x in x
0.753 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.753 * [taylor]: Taking taylor expansion of 2 in x
0.753 * [taylor]: Taking taylor expansion of x in x
0.758 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 2/5 (/ 1 (pow x 5))) (* 2/3 (/ 1 (pow x 3))))) in (x) around 0
0.758 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 2/5 (/ 1 (pow x 5))) (* 2/3 (/ 1 (pow x 3))))) in x
0.758 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.758 * [taylor]: Taking taylor expansion of 2 in x
0.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.758 * [taylor]: Taking taylor expansion of x in x
0.758 * [taylor]: Taking taylor expansion of (+ (* 2/5 (/ 1 (pow x 5))) (* 2/3 (/ 1 (pow x 3)))) in x
0.758 * [taylor]: Taking taylor expansion of (* 2/5 (/ 1 (pow x 5))) in x
0.758 * [taylor]: Taking taylor expansion of 2/5 in x
0.758 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
0.758 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.758 * [taylor]: Taking taylor expansion of x in x
0.759 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 (pow x 3))) in x
0.759 * [taylor]: Taking taylor expansion of 2/3 in x
0.759 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.759 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.759 * [taylor]: Taking taylor expansion of x in x
0.759 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 2/5 (/ 1 (pow x 5))) (* 2/3 (/ 1 (pow x 3))))) in x
0.759 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.759 * [taylor]: Taking taylor expansion of 2 in x
0.759 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.759 * [taylor]: Taking taylor expansion of x in x
0.759 * [taylor]: Taking taylor expansion of (+ (* 2/5 (/ 1 (pow x 5))) (* 2/3 (/ 1 (pow x 3)))) in x
0.759 * [taylor]: Taking taylor expansion of (* 2/5 (/ 1 (pow x 5))) in x
0.759 * [taylor]: Taking taylor expansion of 2/5 in x
0.759 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
0.759 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.759 * [taylor]: Taking taylor expansion of x in x
0.759 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 (pow x 3))) in x
0.759 * [taylor]: Taking taylor expansion of 2/3 in x
0.759 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.759 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.759 * [taylor]: Taking taylor expansion of x in x
0.770 * [approximate]: Taking taylor expansion of (neg (+ (* 2 (/ 1 x)) (+ (* 2/5 (/ 1 (pow x 5))) (* 2/3 (/ 1 (pow x 3)))))) in (x) around 0
0.770 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ 1 x)) (+ (* 2/5 (/ 1 (pow x 5))) (* 2/3 (/ 1 (pow x 3)))))) in x
0.770 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 2/5 (/ 1 (pow x 5))) (* 2/3 (/ 1 (pow x 3))))) in x
0.770 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.770 * [taylor]: Taking taylor expansion of 2 in x
0.770 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.770 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of (+ (* 2/5 (/ 1 (pow x 5))) (* 2/3 (/ 1 (pow x 3)))) in x
0.771 * [taylor]: Taking taylor expansion of (* 2/5 (/ 1 (pow x 5))) in x
0.771 * [taylor]: Taking taylor expansion of 2/5 in x
0.771 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
0.771 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 (pow x 3))) in x
0.771 * [taylor]: Taking taylor expansion of 2/3 in x
0.771 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.771 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ 1 x)) (+ (* 2/5 (/ 1 (pow x 5))) (* 2/3 (/ 1 (pow x 3)))))) in x
0.771 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 2/5 (/ 1 (pow x 5))) (* 2/3 (/ 1 (pow x 3))))) in x
0.771 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.771 * [taylor]: Taking taylor expansion of 2 in x
0.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of (+ (* 2/5 (/ 1 (pow x 5))) (* 2/3 (/ 1 (pow x 3)))) in x
0.771 * [taylor]: Taking taylor expansion of (* 2/5 (/ 1 (pow x 5))) in x
0.771 * [taylor]: Taking taylor expansion of 2/5 in x
0.771 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
0.771 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.772 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 (pow x 3))) in x
0.772 * [taylor]: Taking taylor expansion of 2/3 in x
0.772 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.772 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.772 * [taylor]: Taking taylor expansion of x in x
0.782 * * * [progress]: simplifying candidates
0.783 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (*.f64 (log.f64 x) 3) (log.f64 2/3))
  (+.f64 (*.f64 (log.f64 x) 3) (log.f64 2/3))
  (+.f64 (log.f64 (pow.f64 x 3)) (log.f64 2/3))
  (exp.f64 (*.f64 (pow.f64 x 3) 2/3))
  (log.f64 (*.f64 (pow.f64 x 3) 2/3))
  (*.f64 (*.f64 (*.f64 (pow.f64 x 3) 2/3) (*.f64 (pow.f64 x 3) 2/3)) (*.f64 (pow.f64 x 3) 2/3))
  (*.f64 (cbrt.f64 (*.f64 (pow.f64 x 3) 2/3)) (cbrt.f64 (*.f64 (pow.f64 x 3) 2/3)))
  (cbrt.f64 (*.f64 (pow.f64 x 3) 2/3))
  (*.f64 (*.f64 (*.f64 (pow.f64 x 3) (pow.f64 x 3)) (pow.f64 x 3)) (*.f64 (*.f64 2/3 2/3) 2/3))
  (sqrt.f64 (*.f64 (pow.f64 x 3) 2/3))
  (sqrt.f64 (*.f64 (pow.f64 x 3) 2/3))
  (*.f64 (pow.f64 (sqrt.f64 x) 3) (sqrt.f64 2/3))
  (*.f64 (pow.f64 (sqrt.f64 x) 3) (sqrt.f64 2/3))
  (*.f64 (pow.f64 (sqrt.f64 x) 3) (sqrt.f64 2/3))
  (*.f64 (pow.f64 (sqrt.f64 x) 3) (sqrt.f64 2/3))
  (*.f64 (sqrt.f64 (pow.f64 x 3)) (sqrt.f64 2/3))
  (*.f64 (sqrt.f64 (pow.f64 x 3)) (sqrt.f64 2/3))
  (*.f64 (pow.f64 x (/.f64 3 2)) (sqrt.f64 2/3))
  (*.f64 (pow.f64 x (/.f64 3 2)) (sqrt.f64 2/3))
  (*.f64 (pow.f64 (cbrt.f64 x) 3) 2/3)
  (*.f64 (pow.f64 (sqrt.f64 x) 3) 2/3)
  (*.f64 (pow.f64 x 3) 2/3)
  (*.f64 x 2/3)
  (*.f64 (cbrt.f64 (pow.f64 x 3)) 2/3)
  (*.f64 (*.f64 x x) 2/3)
  (*.f64 (pow.f64 (cbrt.f64 x) 3) 2/3)
  (*.f64 (pow.f64 (sqrt.f64 x) 3) 2/3)
  (*.f64 (pow.f64 x 3) 2/3)
  (*.f64 (sqrt.f64 (pow.f64 x 3)) 2/3)
  (*.f64 (pow.f64 x 3) 2/3)
  (*.f64 (pow.f64 x (/.f64 3 2)) 2/3)
  (*.f64 (pow.f64 x 3) (*.f64 (cbrt.f64 2/3) (cbrt.f64 2/3)))
  (*.f64 (pow.f64 x 3) (sqrt.f64 2/3))
  (*.f64 (pow.f64 x 3) 1)
  (+.f64 (log.f64 2/5) (*.f64 (log.f64 x) 5))
  (+.f64 (log.f64 2/5) (*.f64 (log.f64 x) 5))
  (+.f64 (log.f64 2/5) (log.f64 (pow.f64 x 5)))
  (exp.f64 (*.f64 2/5 (pow.f64 x 5)))
  (log.f64 (*.f64 2/5 (pow.f64 x 5)))
  (*.f64 (*.f64 (*.f64 2/5 (pow.f64 x 5)) (*.f64 2/5 (pow.f64 x 5))) (*.f64 2/5 (pow.f64 x 5)))
  (*.f64 (cbrt.f64 (*.f64 2/5 (pow.f64 x 5))) (cbrt.f64 (*.f64 2/5 (pow.f64 x 5))))
  (cbrt.f64 (*.f64 2/5 (pow.f64 x 5)))
  (*.f64 (*.f64 (*.f64 2/5 2/5) 2/5) (*.f64 (*.f64 (pow.f64 x 5) (pow.f64 x 5)) (pow.f64 x 5)))
  (sqrt.f64 (*.f64 2/5 (pow.f64 x 5)))
  (sqrt.f64 (*.f64 2/5 (pow.f64 x 5)))
  (*.f64 (sqrt.f64 2/5) (pow.f64 (sqrt.f64 x) 5))
  (*.f64 (sqrt.f64 2/5) (pow.f64 (sqrt.f64 x) 5))
  (*.f64 (sqrt.f64 2/5) (sqrt.f64 (pow.f64 x 5)))
  (*.f64 (sqrt.f64 2/5) (sqrt.f64 (pow.f64 x 5)))
  (*.f64 (sqrt.f64 2/5) (pow.f64 x (/.f64 5 2)))
  (*.f64 (sqrt.f64 2/5) (pow.f64 x (/.f64 5 2)))
  (*.f64 (cbrt.f64 2/5) (pow.f64 x 5))
  (*.f64 (sqrt.f64 2/5) (pow.f64 x 5))
  (*.f64 2/5 (pow.f64 x 5))
  (*.f64 2/5 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 5))
  (*.f64 2/5 (pow.f64 (sqrt.f64 x) 5))
  (*.f64 2/5 (pow.f64 1 5))
  (*.f64 2/5 (*.f64 (cbrt.f64 (pow.f64 x 5)) (cbrt.f64 (pow.f64 x 5))))
  (*.f64 2/5 (sqrt.f64 (pow.f64 x 5)))
  (*.f64 2/5 1)
  (*.f64 2/5 (pow.f64 x (/.f64 5 2)))
  (*.f64 (exp.f64 (*.f64 (pow.f64 x 3) 2/3)) (*.f64 (exp.f64 (*.f64 2/5 (pow.f64 x 5))) (*.f64 (exp.f64 x) (exp.f64 x))))
  (*.f64 (exp.f64 (*.f64 (pow.f64 x 3) 2/3)) (*.f64 (exp.f64 (*.f64 2/5 (pow.f64 x 5))) (exp.f64 (+.f64 x x))))
  (*.f64 (exp.f64 (*.f64 (pow.f64 x 3) 2/3)) (exp.f64 (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
  (exp.f64 (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
  (log.f64 (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
  (*.f64 (*.f64 (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))) (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)))) (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)))) (cbrt.f64 (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)))))
  (cbrt.f64 (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
  (sqrt.f64 (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
  (sqrt.f64 (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
  (+.f64 (pow.f64 (*.f64 (pow.f64 x 3) 2/3) 3) (pow.f64 (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)) 3))
  (+.f64 (*.f64 (*.f64 (pow.f64 x 3) 2/3) (*.f64 (pow.f64 x 3) 2/3)) (-.f64 (*.f64 (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))) (*.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)))))
  (-.f64 (*.f64 (*.f64 (pow.f64 x 3) 2/3) (*.f64 (pow.f64 x 3) 2/3)) (*.f64 (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
  (-.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)))
  (+.f64 (*.f64 (pow.f64 x 3) 2/3) (*.f64 2/5 (pow.f64 x 5)))
  (*.f64 2/3 (pow.f64 x 3))
  (*.f64 2/3 (pow.f64 x 3))
  (*.f64 2/3 (pow.f64 x 3))
  (*.f64 2/5 (pow.f64 x 5))
  (*.f64 2/5 (pow.f64 x 5))
  (*.f64 2/5 (pow.f64 x 5))
  (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (*.f64 2 x)))
  (+.f64 (*.f64 2 x) (+.f64 (*.f64 2/3 (pow.f64 x 3)) (*.f64 2/5 (pow.f64 x 5))))
  (+.f64 (*.f64 2 x) (+.f64 (*.f64 2/3 (pow.f64 x 3)) (*.f64 2/5 (pow.f64 x 5))))
0.841 * * [simplify]: iteration  0 :  5387  enodes  (cost  1082 )
0.848 * [simplify]: Simplified to:
   (log.f64 (*.f64 2/3 (pow.f64 x 3)))
  (log.f64 (*.f64 2/3 (pow.f64 x 3)))
  (log.f64 (*.f64 2/3 (pow.f64 x 3)))
  (exp.f64 (*.f64 2/3 (pow.f64 x 3)))
  (log.f64 (*.f64 2/3 (pow.f64 x 3)))
  (pow.f64 (*.f64 2/3 (pow.f64 x 3)) 3)
  (*.f64 (cbrt.f64 (*.f64 2/3 (pow.f64 x 3))) (cbrt.f64 (*.f64 2/3 (pow.f64 x 3))))
  (cbrt.f64 (*.f64 2/3 (pow.f64 x 3)))
  (pow.f64 (*.f64 2/3 (pow.f64 x 3)) 3)
  (sqrt.f64 (*.f64 2/3 (pow.f64 x 3)))
  (sqrt.f64 (*.f64 2/3 (pow.f64 x 3)))
  (*.f64 (*.f64 x (sqrt.f64 x)) (sqrt.f64 2/3))
  (*.f64 (*.f64 x (sqrt.f64 x)) (sqrt.f64 2/3))
  (*.f64 (*.f64 x (sqrt.f64 x)) (sqrt.f64 2/3))
  (*.f64 (*.f64 x (sqrt.f64 x)) (sqrt.f64 2/3))
  (*.f64 (sqrt.f64 2/3) (sqrt.f64 (pow.f64 x 3)))
  (*.f64 (sqrt.f64 2/3) (sqrt.f64 (pow.f64 x 3)))
  (*.f64 (sqrt.f64 2/3) (pow.f64 x 3/2))
  (*.f64 (sqrt.f64 2/3) (pow.f64 x 3/2))
  (*.f64 x 2/3)
  (*.f64 2/3 (*.f64 x (sqrt.f64 x)))
  (*.f64 2/3 (pow.f64 x 3))
  (*.f64 x 2/3)
  (*.f64 x 2/3)
  (*.f64 x (*.f64 x 2/3))
  (*.f64 x 2/3)
  (*.f64 2/3 (*.f64 x (sqrt.f64 x)))
  (*.f64 2/3 (pow.f64 x 3))
  (*.f64 2/3 (sqrt.f64 (pow.f64 x 3)))
  (*.f64 2/3 (pow.f64 x 3))
  (*.f64 2/3 (pow.f64 x 3/2))
  (*.f64 (pow.f64 x 3) (*.f64 (cbrt.f64 2/3) (cbrt.f64 2/3)))
  (*.f64 (pow.f64 x 3) (sqrt.f64 2/3))
  (pow.f64 x 3)
  (log.f64 (*.f64 2/5 (pow.f64 x 5)))
  (log.f64 (*.f64 2/5 (pow.f64 x 5)))
  (log.f64 (*.f64 2/5 (pow.f64 x 5)))
  (exp.f64 (*.f64 2/5 (pow.f64 x 5)))
  (log.f64 (*.f64 2/5 (pow.f64 x 5)))
  (pow.f64 (*.f64 2/5 (pow.f64 x 5)) 3)
  (*.f64 (cbrt.f64 (*.f64 2/5 (pow.f64 x 5))) (cbrt.f64 (*.f64 2/5 (pow.f64 x 5))))
  (cbrt.f64 (*.f64 2/5 (pow.f64 x 5)))
  (pow.f64 (*.f64 2/5 (pow.f64 x 5)) 3)
  (sqrt.f64 (*.f64 2/5 (pow.f64 x 5)))
  (sqrt.f64 (*.f64 2/5 (pow.f64 x 5)))
  (*.f64 (sqrt.f64 2/5) (pow.f64 (sqrt.f64 x) 5))
  (*.f64 (sqrt.f64 2/5) (pow.f64 (sqrt.f64 x) 5))
  (*.f64 (sqrt.f64 2/5) (sqrt.f64 (pow.f64 x 5)))
  (*.f64 (sqrt.f64 2/5) (sqrt.f64 (pow.f64 x 5)))
  (*.f64 (sqrt.f64 2/5) (pow.f64 x 5/2))
  (*.f64 (sqrt.f64 2/5) (pow.f64 x 5/2))
  (*.f64 (pow.f64 x 5) (cbrt.f64 2/5))
  (*.f64 (pow.f64 x 5) (sqrt.f64 2/5))
  (*.f64 2/5 (pow.f64 x 5))
  (*.f64 2/5 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 5))
  (*.f64 2/5 (pow.f64 (sqrt.f64 x) 5))
  2/5
  (*.f64 2/5 (*.f64 (cbrt.f64 (pow.f64 x 5)) (cbrt.f64 (pow.f64 x 5))))
  (*.f64 2/5 (sqrt.f64 (pow.f64 x 5)))
  2/5
  (*.f64 2/5 (pow.f64 x 5/2))
  (exp.f64 (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
  (exp.f64 (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
  (exp.f64 (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
  (exp.f64 (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
  (log.f64 (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
  (pow.f64 (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))) 3)
  (*.f64 (cbrt.f64 (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)))) (cbrt.f64 (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)))))
  (cbrt.f64 (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
  (sqrt.f64 (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
  (sqrt.f64 (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
  (+.f64 (pow.f64 (*.f64 2/3 (pow.f64 x 3)) 3) (pow.f64 (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)) 3))
  (+.f64 (*.f64 (pow.f64 x 6) 4/9) (*.f64 (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)) (-.f64 (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)) (*.f64 2/3 (pow.f64 x 3)))))
  (-.f64 (*.f64 (pow.f64 x 6) 4/9) (*.f64 (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
  (-.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)))
  (+.f64 (*.f64 2/3 (pow.f64 x 3)) (*.f64 2/5 (pow.f64 x 5)))
  (*.f64 2/3 (pow.f64 x 3))
  (*.f64 2/3 (pow.f64 x 3))
  (*.f64 2/3 (pow.f64 x 3))
  (*.f64 2/5 (pow.f64 x 5))
  (*.f64 2/5 (pow.f64 x 5))
  (*.f64 2/5 (pow.f64 x 5))
  (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)))
  (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)))
  (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)))
0.848 * * * [progress]: adding candidates to table
0.914 * * [progress]: iteration 3 / 4
0.914 * * * [progress]: picking best candidate
0.917 * * * * [pick]: Picked  #<alt (λ (x) (*.f64 1/2 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))))>
0.917 * * * [progress]: localizing error
0.930 * * * [progress]: generating rewritten candidates
0.930 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.942 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
0.947 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.969 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
0.998 * * * [progress]: generating series expansions
0.998 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.999 * [approximate]: Taking taylor expansion of (log (/ (+ x 1) (- 1 (pow x 3)))) in (x) around 0
0.999 * [taylor]: Taking taylor expansion of (log (/ (+ x 1) (- 1 (pow x 3)))) in x
0.999 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 (pow x 3))) in x
0.999 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.999 * [taylor]: Taking taylor expansion of x in x
0.999 * [taylor]: Taking taylor expansion of 1 in x
0.999 * [taylor]: Taking taylor expansion of (- 1 (pow x 3)) in x
0.999 * [taylor]: Taking taylor expansion of 1 in x
0.999 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.999 * [taylor]: Taking taylor expansion of x in x
0.999 * [taylor]: Taking taylor expansion of (log (/ (+ x 1) (- 1 (pow x 3)))) in x
0.999 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 (pow x 3))) in x
0.999 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.999 * [taylor]: Taking taylor expansion of x in x
0.999 * [taylor]: Taking taylor expansion of 1 in x
0.999 * [taylor]: Taking taylor expansion of (- 1 (pow x 3)) in x
0.999 * [taylor]: Taking taylor expansion of 1 in x
0.999 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.999 * [taylor]: Taking taylor expansion of x in x
1.006 * [approximate]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 (pow x 3))))) in (x) around 0
1.006 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 (pow x 3))))) in x
1.006 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 (pow x 3)))) in x
1.006 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.006 * [taylor]: Taking taylor expansion of x in x
1.006 * [taylor]: Taking taylor expansion of 1 in x
1.006 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 3))) in x
1.006 * [taylor]: Taking taylor expansion of 1 in x
1.006 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.006 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.006 * [taylor]: Taking taylor expansion of x in x
1.006 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 (pow x 3))))) in x
1.006 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 (pow x 3)))) in x
1.006 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.006 * [taylor]: Taking taylor expansion of x in x
1.007 * [taylor]: Taking taylor expansion of 1 in x
1.007 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 3))) in x
1.007 * [taylor]: Taking taylor expansion of 1 in x
1.007 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.007 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.007 * [taylor]: Taking taylor expansion of x in x
1.014 * [approximate]: Taking taylor expansion of (log (/ (- 1 (/ 1 x)) (+ (/ 1 (pow x 3)) 1))) in (x) around 0
1.014 * [taylor]: Taking taylor expansion of (log (/ (- 1 (/ 1 x)) (+ (/ 1 (pow x 3)) 1))) in x
1.014 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 (pow x 3)) 1)) in x
1.014 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.014 * [taylor]: Taking taylor expansion of 1 in x
1.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.014 * [taylor]: Taking taylor expansion of x in x
1.014 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1) in x
1.014 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.014 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.014 * [taylor]: Taking taylor expansion of x in x
1.014 * [taylor]: Taking taylor expansion of 1 in x
1.015 * [taylor]: Taking taylor expansion of (log (/ (- 1 (/ 1 x)) (+ (/ 1 (pow x 3)) 1))) in x
1.015 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 (pow x 3)) 1)) in x
1.015 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.015 * [taylor]: Taking taylor expansion of 1 in x
1.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.015 * [taylor]: Taking taylor expansion of x in x
1.015 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1) in x
1.015 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.015 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.015 * [taylor]: Taking taylor expansion of x in x
1.015 * [taylor]: Taking taylor expansion of 1 in x
1.021 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
1.021 * [approximate]: Taking taylor expansion of (log (+ (pow x 2) (+ x 1))) in (x) around 0
1.021 * [taylor]: Taking taylor expansion of (log (+ (pow x 2) (+ x 1))) in x
1.021 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ x 1)) in x
1.021 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.021 * [taylor]: Taking taylor expansion of x in x
1.021 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.021 * [taylor]: Taking taylor expansion of x in x
1.021 * [taylor]: Taking taylor expansion of 1 in x
1.022 * [taylor]: Taking taylor expansion of (log (+ (pow x 2) (+ x 1))) in x
1.022 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ x 1)) in x
1.022 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.022 * [taylor]: Taking taylor expansion of x in x
1.022 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.022 * [taylor]: Taking taylor expansion of x in x
1.022 * [taylor]: Taking taylor expansion of 1 in x
1.026 * [approximate]: Taking taylor expansion of (log (+ (/ 1 (pow x 2)) (+ (/ 1 x) 1))) in (x) around 0
1.026 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow x 2)) (+ (/ 1 x) 1))) in x
1.026 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 x) 1)) in x
1.026 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.026 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.026 * [taylor]: Taking taylor expansion of x in x
1.026 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.026 * [taylor]: Taking taylor expansion of x in x
1.026 * [taylor]: Taking taylor expansion of 1 in x
1.026 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow x 2)) (+ (/ 1 x) 1))) in x
1.026 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 x) 1)) in x
1.026 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.026 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.026 * [taylor]: Taking taylor expansion of x in x
1.026 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.026 * [taylor]: Taking taylor expansion of x in x
1.027 * [taylor]: Taking taylor expansion of 1 in x
1.031 * [approximate]: Taking taylor expansion of (log (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))) in (x) around 0
1.031 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))) in x
1.031 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1) (/ 1 x)) in x
1.031 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x
1.031 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.031 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.031 * [taylor]: Taking taylor expansion of x in x
1.031 * [taylor]: Taking taylor expansion of 1 in x
1.031 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.031 * [taylor]: Taking taylor expansion of x in x
1.031 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))) in x
1.031 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1) (/ 1 x)) in x
1.031 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x
1.031 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.032 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.032 * [taylor]: Taking taylor expansion of x in x
1.032 * [taylor]: Taking taylor expansion of 1 in x
1.032 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.032 * [taylor]: Taking taylor expansion of x in x
1.036 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1.037 * [approximate]: Taking taylor expansion of (+ (log (/ (+ x 1) (- 1 (pow x 3)))) (log (+ (pow x 2) (+ x 1)))) in (x) around 0
1.037 * [taylor]: Taking taylor expansion of (+ (log (/ (+ x 1) (- 1 (pow x 3)))) (log (+ (pow x 2) (+ x 1)))) in x
1.037 * [taylor]: Taking taylor expansion of (log (/ (+ x 1) (- 1 (pow x 3)))) in x
1.037 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 (pow x 3))) in x
1.037 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.037 * [taylor]: Taking taylor expansion of x in x
1.037 * [taylor]: Taking taylor expansion of 1 in x
1.037 * [taylor]: Taking taylor expansion of (- 1 (pow x 3)) in x
1.037 * [taylor]: Taking taylor expansion of 1 in x
1.037 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.037 * [taylor]: Taking taylor expansion of x in x
1.037 * [taylor]: Taking taylor expansion of (log (+ (pow x 2) (+ x 1))) in x
1.037 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ x 1)) in x
1.037 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.037 * [taylor]: Taking taylor expansion of x in x
1.037 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.037 * [taylor]: Taking taylor expansion of x in x
1.037 * [taylor]: Taking taylor expansion of 1 in x
1.037 * [taylor]: Taking taylor expansion of (+ (log (/ (+ x 1) (- 1 (pow x 3)))) (log (+ (pow x 2) (+ x 1)))) in x
1.037 * [taylor]: Taking taylor expansion of (log (/ (+ x 1) (- 1 (pow x 3)))) in x
1.037 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 (pow x 3))) in x
1.038 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.038 * [taylor]: Taking taylor expansion of x in x
1.038 * [taylor]: Taking taylor expansion of 1 in x
1.038 * [taylor]: Taking taylor expansion of (- 1 (pow x 3)) in x
1.038 * [taylor]: Taking taylor expansion of 1 in x
1.038 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.038 * [taylor]: Taking taylor expansion of x in x
1.038 * [taylor]: Taking taylor expansion of (log (+ (pow x 2) (+ x 1))) in x
1.038 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ x 1)) in x
1.038 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.038 * [taylor]: Taking taylor expansion of x in x
1.038 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.038 * [taylor]: Taking taylor expansion of x in x
1.038 * [taylor]: Taking taylor expansion of 1 in x
1.057 * [approximate]: Taking taylor expansion of (+ (log (+ (/ 1 (pow x 2)) (+ (/ 1 x) 1))) (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 (pow x 3)))))) in (x) around 0
1.057 * [taylor]: Taking taylor expansion of (+ (log (+ (/ 1 (pow x 2)) (+ (/ 1 x) 1))) (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 (pow x 3)))))) in x
1.057 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow x 2)) (+ (/ 1 x) 1))) in x
1.057 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 x) 1)) in x
1.057 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.057 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.057 * [taylor]: Taking taylor expansion of x in x
1.058 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.058 * [taylor]: Taking taylor expansion of x in x
1.058 * [taylor]: Taking taylor expansion of 1 in x
1.058 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 (pow x 3))))) in x
1.058 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 (pow x 3)))) in x
1.058 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.058 * [taylor]: Taking taylor expansion of x in x
1.058 * [taylor]: Taking taylor expansion of 1 in x
1.058 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 3))) in x
1.058 * [taylor]: Taking taylor expansion of 1 in x
1.058 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.058 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.058 * [taylor]: Taking taylor expansion of x in x
1.059 * [taylor]: Taking taylor expansion of (+ (log (+ (/ 1 (pow x 2)) (+ (/ 1 x) 1))) (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 (pow x 3)))))) in x
1.059 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow x 2)) (+ (/ 1 x) 1))) in x
1.059 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 x) 1)) in x
1.059 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.059 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.059 * [taylor]: Taking taylor expansion of x in x
1.059 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.059 * [taylor]: Taking taylor expansion of x in x
1.059 * [taylor]: Taking taylor expansion of 1 in x
1.059 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 (pow x 3))))) in x
1.059 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 (pow x 3)))) in x
1.059 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.059 * [taylor]: Taking taylor expansion of x in x
1.059 * [taylor]: Taking taylor expansion of 1 in x
1.059 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 3))) in x
1.059 * [taylor]: Taking taylor expansion of 1 in x
1.059 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.059 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.059 * [taylor]: Taking taylor expansion of x in x
1.074 * [approximate]: Taking taylor expansion of (+ (log (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))) (log (/ (- 1 (/ 1 x)) (+ (/ 1 (pow x 3)) 1)))) in (x) around 0
1.074 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))) (log (/ (- 1 (/ 1 x)) (+ (/ 1 (pow x 3)) 1)))) in x
1.074 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))) in x
1.074 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1) (/ 1 x)) in x
1.074 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x
1.074 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.074 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.074 * [taylor]: Taking taylor expansion of x in x
1.074 * [taylor]: Taking taylor expansion of 1 in x
1.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.074 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of (log (/ (- 1 (/ 1 x)) (+ (/ 1 (pow x 3)) 1))) in x
1.075 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 (pow x 3)) 1)) in x
1.075 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.075 * [taylor]: Taking taylor expansion of 1 in x
1.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.075 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1) in x
1.075 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.075 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.075 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of 1 in x
1.075 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))) (log (/ (- 1 (/ 1 x)) (+ (/ 1 (pow x 3)) 1)))) in x
1.075 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))) in x
1.076 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1) (/ 1 x)) in x
1.076 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1) in x
1.076 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.076 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.076 * [taylor]: Taking taylor expansion of x in x
1.076 * [taylor]: Taking taylor expansion of 1 in x
1.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.076 * [taylor]: Taking taylor expansion of x in x
1.076 * [taylor]: Taking taylor expansion of (log (/ (- 1 (/ 1 x)) (+ (/ 1 (pow x 3)) 1))) in x
1.076 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 (pow x 3)) 1)) in x
1.076 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.076 * [taylor]: Taking taylor expansion of 1 in x
1.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.076 * [taylor]: Taking taylor expansion of x in x
1.076 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1) in x
1.076 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.076 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.076 * [taylor]: Taking taylor expansion of x in x
1.076 * [taylor]: Taking taylor expansion of 1 in x
1.092 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
1.092 * [approximate]: Taking taylor expansion of (/ (+ x 1) (- 1 (pow x 3))) in (x) around 0
1.092 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 (pow x 3))) in x
1.092 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.092 * [taylor]: Taking taylor expansion of x in x
1.092 * [taylor]: Taking taylor expansion of 1 in x
1.092 * [taylor]: Taking taylor expansion of (- 1 (pow x 3)) in x
1.092 * [taylor]: Taking taylor expansion of 1 in x
1.092 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.092 * [taylor]: Taking taylor expansion of x in x
1.093 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 (pow x 3))) in x
1.093 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.093 * [taylor]: Taking taylor expansion of x in x
1.093 * [taylor]: Taking taylor expansion of 1 in x
1.093 * [taylor]: Taking taylor expansion of (- 1 (pow x 3)) in x
1.093 * [taylor]: Taking taylor expansion of 1 in x
1.093 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.093 * [taylor]: Taking taylor expansion of x in x
1.096 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 (pow x 3)))) in (x) around 0
1.096 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 (pow x 3)))) in x
1.096 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.096 * [taylor]: Taking taylor expansion of x in x
1.096 * [taylor]: Taking taylor expansion of 1 in x
1.096 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 3))) in x
1.096 * [taylor]: Taking taylor expansion of 1 in x
1.096 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.096 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.096 * [taylor]: Taking taylor expansion of x in x
1.097 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 (pow x 3)))) in x
1.097 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.097 * [taylor]: Taking taylor expansion of x in x
1.097 * [taylor]: Taking taylor expansion of 1 in x
1.097 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 3))) in x
1.097 * [taylor]: Taking taylor expansion of 1 in x
1.097 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.097 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.097 * [taylor]: Taking taylor expansion of x in x
1.105 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 (pow x 3)) 1)) in (x) around 0
1.105 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 (pow x 3)) 1)) in x
1.105 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.105 * [taylor]: Taking taylor expansion of 1 in x
1.105 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.105 * [taylor]: Taking taylor expansion of x in x
1.105 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1) in x
1.105 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.105 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.105 * [taylor]: Taking taylor expansion of x in x
1.105 * [taylor]: Taking taylor expansion of 1 in x
1.106 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 (pow x 3)) 1)) in x
1.106 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.106 * [taylor]: Taking taylor expansion of 1 in x
1.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.106 * [taylor]: Taking taylor expansion of x in x
1.106 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1) in x
1.106 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.106 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.106 * [taylor]: Taking taylor expansion of x in x
1.106 * [taylor]: Taking taylor expansion of 1 in x
1.114 * * * [progress]: simplifying candidates
1.121 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (+.f64 1 x))
  (log.f64 (-.f64 1 (pow.f64 x 3)))
  (log.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))))
  (log.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 x 3))) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (sqrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) 1))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2)))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2)))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (pow.f64 x (/.f64 3 2)))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x (/.f64 3 2)))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) 1))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 x 3))) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) 1))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 x (/.f64 3 2)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x (/.f64 3 2)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) 1))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 x 3))) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))))
  (log.f64 (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 1 (sqrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 1 1))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (/.f64 1 (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 1 (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 1 (+.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 1 (+.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2)))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2)))))
  (log.f64 (/.f64 1 (+.f64 1 (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 1 (+.f64 1 (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 1 (+.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 1 (+.f64 1 (pow.f64 x (/.f64 3 2)))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x (/.f64 3 2)))))
  (log.f64 (/.f64 1 1))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 x 3))) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))))
  (log.f64 (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 1 (sqrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 1 1))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (/.f64 1 (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 1 (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 1 (+.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 1 (+.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2)))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2)))))
  (log.f64 (/.f64 1 (+.f64 1 (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 1 (+.f64 1 (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 (sqrt.f64 x) 3))))
  (log.f64 (/.f64 1 (+.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 1 (+.f64 1 (pow.f64 x (/.f64 3 2)))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x (/.f64 3 2)))))
  (log.f64 (/.f64 1 1))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (+.f64 1 x))
  (log.f64 (/.f64 1 (-.f64 1 (pow.f64 x 3))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (pow.f64 1 3) (pow.f64 (pow.f64 x 3) 3))))
  (log.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (pow.f64 x 3) (pow.f64 x 3)) (*.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (*.f64 1 1) (*.f64 (pow.f64 x 3) (pow.f64 x 3)))))
  (log.f64 (+.f64 1 (pow.f64 x 3)))
  (exp.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (*.f64 (*.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (*.f64 (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))) (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))))
  (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))
  (log.f64 (+.f64 (pow.f64 1 3) (pow.f64 (+.f64 x (*.f64 x x)) 3)))
  (log.f64 (+.f64 (*.f64 1 1) (-.f64 (*.f64 (+.f64 x (*.f64 x x)) (+.f64 x (*.f64 x x))) (*.f64 1 (+.f64 x (*.f64 x x))))))
  (log.f64 (-.f64 (*.f64 1 1) (*.f64 (+.f64 x (*.f64 x x)) (+.f64 x (*.f64 x x)))))
  (log.f64 (-.f64 1 (+.f64 x (*.f64 x x))))
  (log.f64 (*.f64 (cbrt.f64 (+.f64 1 (+.f64 x (*.f64 x x)))) (cbrt.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (log.f64 (cbrt.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (log.f64 (sqrt.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (log.f64 (sqrt.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (log.f64 1)
  (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))
  (log.f64 1)
  (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))
  (exp.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (log.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (*.f64 (*.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (*.f64 (cbrt.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))) (cbrt.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (cbrt.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (sqrt.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (sqrt.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (*.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))) (+.f64 1 (+.f64 x (*.f64 x x))))
  (exp.f64 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (log.f64 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (*.f64 (*.f64 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))) (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))) (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (*.f64 (cbrt.f64 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))) (cbrt.f64 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))))
  (cbrt.f64 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (sqrt.f64 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (sqrt.f64 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (+.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) 3) (pow.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))) 3))
  (+.f64 (*.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))) (-.f64 (*.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))) (*.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))))
  (-.f64 (*.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))) (*.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (-.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (-.f64 (log.f64 (-.f64 1 (pow.f64 x 3))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 (pow.f64 1 3) (pow.f64 (+.f64 x (*.f64 x x)) 3))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (-.f64 (*.f64 1 1) (*.f64 (+.f64 x (*.f64 x x)) (+.f64 x (*.f64 x x))))))
  (+.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 (sqrt.f64 x) 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 (sqrt.f64 x) 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x (/.f64 3 2))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 (sqrt.f64 x) 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 (sqrt.f64 x) 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x (/.f64 3 2))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 (sqrt.f64 x) 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 (sqrt.f64 x) 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x (/.f64 3 2))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 (sqrt.f64 x) 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 (sqrt.f64 x) 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x (/.f64 3 2))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 1 (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (pow.f64 x 3) (pow.f64 x 3)) (*.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (+.f64 1 (pow.f64 x 3))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (*.f64 (cbrt.f64 (+.f64 1 (+.f64 x (*.f64 x x)))) (cbrt.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (sqrt.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 1))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 1))
  (-.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 (pow.f64 x 3))))
  (exp.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (*.f64 (*.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))) (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (*.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (/.f64 (*.f64 (*.f64 (+.f64 1 x) (+.f64 1 x)) (+.f64 1 x)) (*.f64 (*.f64 (-.f64 1 (pow.f64 x 3)) (-.f64 1 (pow.f64 x 3))) (-.f64 1 (pow.f64 x 3))))
  (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (neg.f64 (+.f64 1 x))
  (neg.f64 (-.f64 1 (pow.f64 x 3)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 x 3))) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) 1)
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2))))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (pow.f64 x (/.f64 3 2))))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x (/.f64 3 2))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) 1)
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 x 3))) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) 1)
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 x (/.f64 3 2))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x (/.f64 3 2))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) 1)
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3)))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 x 3))) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 1 (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 1 1)
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))
  (/.f64 1 (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 1 (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 1 (+.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3))))
  (/.f64 1 (+.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2))))
  (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2))))
  (/.f64 1 (+.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 1 (+.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 1 (+.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 1 (+.f64 1 (pow.f64 x (/.f64 3 2))))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x (/.f64 3 2))))
  (/.f64 1 1)
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 x 3))) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 1 (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 1 1)
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))
  (/.f64 1 (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 1 (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 1 (+.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3))))
  (/.f64 1 (+.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2))))
  (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2))))
  (/.f64 1 (+.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 1 (+.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 1 (+.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 1 (+.f64 1 (pow.f64 x (/.f64 3 2))))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x (/.f64 3 2))))
  (/.f64 1 1)
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))
  (/.f64 (-.f64 1 (pow.f64 x 3)) (+.f64 1 x))
  (/.f64 1 (-.f64 1 (pow.f64 x 3)))
  (*.f64 (-.f64 1 (pow.f64 x 3)) (+.f64 (*.f64 1 1) (-.f64 (*.f64 x x) (*.f64 1 x))))
  (*.f64 (-.f64 1 (pow.f64 x 3)) (-.f64 1 x))
  (/.f64 (+.f64 1 x) (-.f64 (pow.f64 1 3) (pow.f64 (pow.f64 x 3) 3)))
  (/.f64 (+.f64 1 x) (-.f64 (*.f64 1 1) (*.f64 (pow.f64 x 3) (pow.f64 x 3))))
  (/.f64 (-.f64 1 (pow.f64 x 3)) (cbrt.f64 (+.f64 1 x)))
  (/.f64 (-.f64 1 (pow.f64 x 3)) (sqrt.f64 (+.f64 1 x)))
  (/.f64 (-.f64 1 (pow.f64 x 3)) (+.f64 1 x))
  (/.f64 (-.f64 1 (pow.f64 x 3)) (+.f64 1 x))
  (/.f64 (+.f64 1 x) (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 x 3))) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 (+.f64 1 x) 1)
  (/.f64 (+.f64 1 x) (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (+.f64 1 x) (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (+.f64 1 x) (+.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (+.f64 1 x) (+.f64 (sqrt.f64 1) (pow.f64 x (/.f64 3 2))))
  (/.f64 (+.f64 1 x) (+.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (+.f64 1 x) (+.f64 1 (pow.f64 (sqrt.f64 x) 3)))
  (/.f64 (+.f64 1 x) (+.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (+.f64 1 x) (+.f64 1 (pow.f64 x (/.f64 3 2))))
  (/.f64 (+.f64 1 x) 1)
  (-.f64 (+.f64 (*.f64 4/3 (pow.f64 x 3)) x) (*.f64 1/2 (pow.f64 x 2)))
  (-.f64 (+.f64 (log.f64 -1) (+.f64 (*.f64 2 (log.f64 (/.f64 1 x))) (/.f64 1 x))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2))))
  (-.f64 (+.f64 (log.f64 -1) (+.f64 (/.f64 1 x) (*.f64 2 (log.f64 (/.f64 -1 x))))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2))))
  (-.f64 (+.f64 (*.f64 1/2 (pow.f64 x 2)) x) (*.f64 2/3 (pow.f64 x 3)))
  (-.f64 (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 x 2))) (/.f64 1 x)) (*.f64 2 (log.f64 (/.f64 1 x))))
  (-.f64 (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 x 2))) (/.f64 1 x)) (*.f64 2 (log.f64 (/.f64 -1 x))))
  (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (*.f64 2 x)))
  (+.f64 (log.f64 -1) (+.f64 (*.f64 2 (/.f64 1 x)) (*.f64 2/3 (/.f64 1 (pow.f64 x 3)))))
  (+.f64 (log.f64 -1) (+.f64 (*.f64 2 (/.f64 1 x)) (*.f64 2/3 (/.f64 1 (pow.f64 x 3)))))
  (+.f64 1 (+.f64 (pow.f64 x 3) x))
  (neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 5)) (/.f64 1 (pow.f64 x 3)))))
  (neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 5)) (/.f64 1 (pow.f64 x 3)))))
1.231 * * [simplify]: iteration  0 :  5002  enodes  (cost  6633 )
1.260 * [simplify]: Simplified to:
   (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (+.f64 1 x))
  (log.f64 (-.f64 1 (pow.f64 x 3)))
  (*.f64 2 (log.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))))
  (log.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (*.f64 2 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x)))) (log.f64 (sqrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3))))
  (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x)))) (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2))))
  (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x)))) (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2))))
  (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x)))) (log.f64 (+.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x)))) (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2))))
  (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x)))) (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2))))
  (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x)))) (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2))))
  (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x)))) (log.f64 (+.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x)))) (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2))))
  (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3))))
  (-.f64 (log.f64 (sqrt.f64 (+.f64 1 x))) (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 (pow.f64 x 3))))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (sqrt.f64 (+.f64 1 x)))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2))))
  (log.f64 (sqrt.f64 (+.f64 1 x)))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3))))
  (neg.f64 (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 (pow.f64 x 3))))))
  (log.f64 (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (neg.f64 (log.f64 (sqrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (neg.f64 (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2))))
  (neg.f64 (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2))))
  (neg.f64 (log.f64 (+.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (neg.f64 (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2))))
  (neg.f64 (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2))))
  (neg.f64 (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2))))
  (neg.f64 (log.f64 (+.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (neg.f64 (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2))))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (neg.f64 (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 (pow.f64 x 3))))))
  (log.f64 (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (neg.f64 (log.f64 (sqrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (neg.f64 (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2))))
  (neg.f64 (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2))))
  (neg.f64 (log.f64 (+.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (neg.f64 (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2))))
  (neg.f64 (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2))))
  (neg.f64 (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2))))
  (neg.f64 (log.f64 (+.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3)))))
  (neg.f64 (log.f64 (+.f64 1 (pow.f64 x 3/2))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2))))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (+.f64 1 x))
  (neg.f64 (log.f64 (-.f64 1 (pow.f64 x 3))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 9))))
  (log.f64 (+.f64 1 (+.f64 (pow.f64 x 3) (pow.f64 x 6))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 6))))
  (log.f64 (+.f64 1 (pow.f64 x 3)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))
  (log.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) 3)
  (*.f64 (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))) (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))))
  (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))
  (log.f64 (+.f64 1 (pow.f64 (+.f64 x (*.f64 x x)) 3)))
  (log.f64 (+.f64 1 (*.f64 x (*.f64 (+.f64 1 x) (+.f64 (+.f64 x (*.f64 x x)) -1)))))
  (log.f64 (-.f64 1 (*.f64 (+.f64 x (*.f64 x x)) (+.f64 x (*.f64 x x)))))
  (log.f64 (-.f64 1 (+.f64 x (*.f64 x x))))
  (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (log.f64 (cbrt.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (log.f64 (sqrt.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (log.f64 (sqrt.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (log.f64 1)
  (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))
  (log.f64 1)
  (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))
  (+.f64 1 (+.f64 x (*.f64 x x)))
  (log.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (pow.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))) 3)
  (*.f64 (cbrt.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))) (cbrt.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (cbrt.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (sqrt.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (sqrt.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (*.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))) (+.f64 1 (+.f64 x (*.f64 x x))))
  (*.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))) (+.f64 1 (+.f64 x (*.f64 x x))))
  (log.f64 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (pow.f64 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))) 3)
  (*.f64 (cbrt.f64 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))) (cbrt.f64 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))))
  (cbrt.f64 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (sqrt.f64 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (sqrt.f64 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (+.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) 3) (pow.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))) 3))
  (+.f64 (*.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))) (*.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (-.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))))
  (-.f64 (*.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))) (*.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (-.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (-.f64 (log.f64 (-.f64 1 (pow.f64 x 3))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (pow.f64 (+.f64 x (*.f64 x x)) 3))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (-.f64 1 (*.f64 (+.f64 x (*.f64 x x)) (+.f64 x (*.f64 x x))))))
  (+.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (-.f64 (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))) (log.f64 (-.f64 1 (pow.f64 x 3))))
  (+.f64 (log.f64 (+.f64 1 (+.f64 (pow.f64 x 3) (pow.f64 x 6)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (+.f64 1 (pow.f64 x 3))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))))
  (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (sqrt.f64 (+.f64 1 (+.f64 x (*.f64 x x))))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (exp.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (pow.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))) 3)
  (*.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))))
  (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (pow.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))) 3)
  (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (-.f64 -1 x)
  (+.f64 (pow.f64 x 3) -1)
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 x 3))) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))
  (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 x 3))) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  (sqrt.f64 (+.f64 1 x))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3/2)))
  (sqrt.f64 (+.f64 1 x))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (pow.f64 x 3)))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 x 3))) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 1 (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  1
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))
  (/.f64 1 (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 1 (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 1 (+.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 1 (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 1 (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 1 (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 1 (+.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 1 (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))
  1
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 x 3))) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 1 (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  1
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))
  (/.f64 1 (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 1 (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 1 (+.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 1 (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 1 (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 1 (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))
  (/.f64 1 (+.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 1 (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3/2)))
  1
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))
  (/.f64 (-.f64 1 (pow.f64 x 3)) (+.f64 1 x))
  (/.f64 1 (-.f64 1 (pow.f64 x 3)))
  (*.f64 (-.f64 1 (pow.f64 x 3)) (+.f64 1 (-.f64 (*.f64 x x) x)))
  (*.f64 (-.f64 1 (pow.f64 x 3)) (-.f64 1 x))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 9)))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 6)))
  (/.f64 (-.f64 1 (pow.f64 x 3)) (cbrt.f64 (+.f64 1 x)))
  (/.f64 (-.f64 1 (pow.f64 x 3)) (sqrt.f64 (+.f64 1 x)))
  (/.f64 (-.f64 1 (pow.f64 x 3)) (+.f64 1 x))
  (/.f64 (-.f64 1 (pow.f64 x 3)) (+.f64 1 x))
  (/.f64 (+.f64 1 x) (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 x 3))) (cbrt.f64 (-.f64 1 (pow.f64 x 3)))))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 (pow.f64 x 3))))
  (+.f64 1 x)
  (/.f64 (+.f64 1 x) (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (+.f64 1 x) (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (+.f64 1 x) (+.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (+.f64 1 x) (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (+.f64 1 x) (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (+.f64 1 x) (+.f64 1 (pow.f64 x 3/2)))
  (/.f64 (+.f64 1 x) (+.f64 1 (sqrt.f64 (pow.f64 x 3))))
  (/.f64 (+.f64 1 x) (+.f64 1 (pow.f64 x 3/2)))
  (+.f64 1 x)
  (+.f64 x (*.f64 (*.f64 x x) (-.f64 (*.f64 4/3 x) 1/2)))
  (+.f64 (/.f64 1 x) (-.f64 (-.f64 (log.f64 -1) (*.f64 2 (log.f64 x))) (/.f64 1/2 (*.f64 x x))))
  (-.f64 (+.f64 (log.f64 -1) (+.f64 (/.f64 1 x) (*.f64 2 (log.f64 (/.f64 -1 x))))) (/.f64 1/2 (*.f64 x x)))
  (+.f64 x (*.f64 (*.f64 x x) (-.f64 1/2 (*.f64 2/3 x))))
  (+.f64 (/.f64 1 x) (+.f64 (/.f64 1/2 (*.f64 x x)) (*.f64 2 (log.f64 x))))
  (-.f64 (+.f64 (/.f64 1 x) (/.f64 1/2 (*.f64 x x))) (*.f64 2 (log.f64 (/.f64 -1 x))))
  (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (*.f64 x 2)))
  (+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (/.f64 2/3 (pow.f64 x 3))))
  (+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (/.f64 2/3 (pow.f64 x 3))))
  (+.f64 1 (+.f64 x (pow.f64 x 3)))
  (+.f64 (/.f64 -1 (pow.f64 x 3)) (-.f64 (/.f64 -1 (pow.f64 x 5)) (/.f64 1 (*.f64 x x))))
  (+.f64 (/.f64 -1 (pow.f64 x 3)) (-.f64 (/.f64 -1 (pow.f64 x 5)) (/.f64 1 (*.f64 x x))))
1.262 * * * [progress]: adding candidates to table
1.482 * * [progress]: iteration 4 / 4
1.482 * * * [progress]: picking best candidate
1.486 * * * * [pick]: Picked  #<alt (λ (x) (*.f64 1/2 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))))>
1.486 * * * [progress]: localizing error
1.494 * * * [progress]: generating rewritten candidates
1.494 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
1.502 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.505 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.508 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
1.521 * * * [progress]: generating series expansions
1.521 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
1.522 * [approximate]: Taking taylor expansion of (log (/ (+ x 1) (- 1 x))) in (x) around 0
1.522 * [taylor]: Taking taylor expansion of (log (/ (+ x 1) (- 1 x))) in x
1.522 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 x)) in x
1.522 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.522 * [taylor]: Taking taylor expansion of x in x
1.522 * [taylor]: Taking taylor expansion of 1 in x
1.522 * [taylor]: Taking taylor expansion of (- 1 x) in x
1.522 * [taylor]: Taking taylor expansion of 1 in x
1.522 * [taylor]: Taking taylor expansion of x in x
1.522 * [taylor]: Taking taylor expansion of (log (/ (+ x 1) (- 1 x))) in x
1.522 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 x)) in x
1.523 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.523 * [taylor]: Taking taylor expansion of x in x
1.523 * [taylor]: Taking taylor expansion of 1 in x
1.523 * [taylor]: Taking taylor expansion of (- 1 x) in x
1.523 * [taylor]: Taking taylor expansion of 1 in x
1.523 * [taylor]: Taking taylor expansion of x in x
1.535 * [approximate]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in (x) around 0
1.536 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x
1.536 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
1.536 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.536 * [taylor]: Taking taylor expansion of x in x
1.536 * [taylor]: Taking taylor expansion of 1 in x
1.536 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.536 * [taylor]: Taking taylor expansion of 1 in x
1.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.536 * [taylor]: Taking taylor expansion of x in x
1.536 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x
1.536 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
1.536 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.536 * [taylor]: Taking taylor expansion of x in x
1.536 * [taylor]: Taking taylor expansion of 1 in x
1.536 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.536 * [taylor]: Taking taylor expansion of 1 in x
1.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.536 * [taylor]: Taking taylor expansion of x in x
1.544 * [approximate]: Taking taylor expansion of (log (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in (x) around 0
1.544 * [taylor]: Taking taylor expansion of (log (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x
1.544 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
1.544 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.544 * [taylor]: Taking taylor expansion of 1 in x
1.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.544 * [taylor]: Taking taylor expansion of x in x
1.545 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.545 * [taylor]: Taking taylor expansion of x in x
1.545 * [taylor]: Taking taylor expansion of 1 in x
1.545 * [taylor]: Taking taylor expansion of (log (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x
1.545 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
1.545 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.545 * [taylor]: Taking taylor expansion of 1 in x
1.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.545 * [taylor]: Taking taylor expansion of x in x
1.545 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.545 * [taylor]: Taking taylor expansion of x in x
1.545 * [taylor]: Taking taylor expansion of 1 in x
1.552 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.552 * [approximate]: Taking taylor expansion of (log (/ (+ x 1) (- 1 x))) in (x) around 0
1.552 * [taylor]: Taking taylor expansion of (log (/ (+ x 1) (- 1 x))) in x
1.552 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 x)) in x
1.552 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.552 * [taylor]: Taking taylor expansion of x in x
1.552 * [taylor]: Taking taylor expansion of 1 in x
1.552 * [taylor]: Taking taylor expansion of (- 1 x) in x
1.552 * [taylor]: Taking taylor expansion of 1 in x
1.552 * [taylor]: Taking taylor expansion of x in x
1.553 * [taylor]: Taking taylor expansion of (log (/ (+ x 1) (- 1 x))) in x
1.553 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 x)) in x
1.553 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.553 * [taylor]: Taking taylor expansion of x in x
1.553 * [taylor]: Taking taylor expansion of 1 in x
1.553 * [taylor]: Taking taylor expansion of (- 1 x) in x
1.553 * [taylor]: Taking taylor expansion of 1 in x
1.553 * [taylor]: Taking taylor expansion of x in x
1.563 * [approximate]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in (x) around 0
1.563 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x
1.563 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
1.563 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.563 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.563 * [taylor]: Taking taylor expansion of x in x
1.564 * [taylor]: Taking taylor expansion of 1 in x
1.564 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.564 * [taylor]: Taking taylor expansion of 1 in x
1.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.564 * [taylor]: Taking taylor expansion of x in x
1.564 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x
1.564 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
1.564 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.564 * [taylor]: Taking taylor expansion of x in x
1.564 * [taylor]: Taking taylor expansion of 1 in x
1.564 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.564 * [taylor]: Taking taylor expansion of 1 in x
1.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.564 * [taylor]: Taking taylor expansion of x in x
1.571 * [approximate]: Taking taylor expansion of (log (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in (x) around 0
1.571 * [taylor]: Taking taylor expansion of (log (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x
1.571 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
1.571 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.571 * [taylor]: Taking taylor expansion of 1 in x
1.571 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.571 * [taylor]: Taking taylor expansion of x in x
1.571 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.571 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.572 * [taylor]: Taking taylor expansion of x in x
1.572 * [taylor]: Taking taylor expansion of 1 in x
1.572 * [taylor]: Taking taylor expansion of (log (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x
1.572 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
1.572 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.572 * [taylor]: Taking taylor expansion of 1 in x
1.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.572 * [taylor]: Taking taylor expansion of x in x
1.572 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.572 * [taylor]: Taking taylor expansion of x in x
1.572 * [taylor]: Taking taylor expansion of 1 in x
1.579 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.579 * [approximate]: Taking taylor expansion of (pow (log (/ (+ x 1) (- 1 x))) 3) in (x) around 0
1.579 * [taylor]: Taking taylor expansion of (pow (log (/ (+ x 1) (- 1 x))) 3) in x
1.579 * [taylor]: Taking taylor expansion of (log (/ (+ x 1) (- 1 x))) in x
1.579 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 x)) in x
1.579 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.579 * [taylor]: Taking taylor expansion of x in x
1.579 * [taylor]: Taking taylor expansion of 1 in x
1.579 * [taylor]: Taking taylor expansion of (- 1 x) in x
1.579 * [taylor]: Taking taylor expansion of 1 in x
1.579 * [taylor]: Taking taylor expansion of x in x
1.580 * [taylor]: Taking taylor expansion of (pow (log (/ (+ x 1) (- 1 x))) 3) in x
1.580 * [taylor]: Taking taylor expansion of (log (/ (+ x 1) (- 1 x))) in x
1.580 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 x)) in x
1.580 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.580 * [taylor]: Taking taylor expansion of x in x
1.580 * [taylor]: Taking taylor expansion of 1 in x
1.580 * [taylor]: Taking taylor expansion of (- 1 x) in x
1.580 * [taylor]: Taking taylor expansion of 1 in x
1.581 * [taylor]: Taking taylor expansion of x in x
1.594 * [approximate]: Taking taylor expansion of (pow (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) 3) in (x) around 0
1.594 * [taylor]: Taking taylor expansion of (pow (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) 3) in x
1.594 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x
1.594 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
1.594 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.594 * [taylor]: Taking taylor expansion of x in x
1.594 * [taylor]: Taking taylor expansion of 1 in x
1.594 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.594 * [taylor]: Taking taylor expansion of 1 in x
1.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.594 * [taylor]: Taking taylor expansion of x in x
1.595 * [taylor]: Taking taylor expansion of (pow (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) 3) in x
1.595 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x
1.595 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
1.595 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.595 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.595 * [taylor]: Taking taylor expansion of x in x
1.595 * [taylor]: Taking taylor expansion of 1 in x
1.595 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.595 * [taylor]: Taking taylor expansion of 1 in x
1.595 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.595 * [taylor]: Taking taylor expansion of x in x
1.604 * [approximate]: Taking taylor expansion of (pow (log (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) 3) in (x) around 0
1.604 * [taylor]: Taking taylor expansion of (pow (log (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) 3) in x
1.604 * [taylor]: Taking taylor expansion of (log (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x
1.604 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
1.604 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.604 * [taylor]: Taking taylor expansion of 1 in x
1.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.604 * [taylor]: Taking taylor expansion of x in x
1.604 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.604 * [taylor]: Taking taylor expansion of x in x
1.604 * [taylor]: Taking taylor expansion of 1 in x
1.604 * [taylor]: Taking taylor expansion of (pow (log (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) 3) in x
1.604 * [taylor]: Taking taylor expansion of (log (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x
1.605 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
1.605 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.605 * [taylor]: Taking taylor expansion of 1 in x
1.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.605 * [taylor]: Taking taylor expansion of x in x
1.605 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.605 * [taylor]: Taking taylor expansion of x in x
1.605 * [taylor]: Taking taylor expansion of 1 in x
1.613 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
1.614 * [approximate]: Taking taylor expansion of (/ (+ x 1) (- 1 x)) in (x) around 0
1.614 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 x)) in x
1.614 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.614 * [taylor]: Taking taylor expansion of x in x
1.614 * [taylor]: Taking taylor expansion of 1 in x
1.614 * [taylor]: Taking taylor expansion of (- 1 x) in x
1.614 * [taylor]: Taking taylor expansion of 1 in x
1.614 * [taylor]: Taking taylor expansion of x in x
1.614 * [taylor]: Taking taylor expansion of (/ (+ x 1) (- 1 x)) in x
1.614 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.614 * [taylor]: Taking taylor expansion of x in x
1.614 * [taylor]: Taking taylor expansion of 1 in x
1.614 * [taylor]: Taking taylor expansion of (- 1 x) in x
1.614 * [taylor]: Taking taylor expansion of 1 in x
1.614 * [taylor]: Taking taylor expansion of x in x
1.616 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in (x) around 0
1.616 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
1.616 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.616 * [taylor]: Taking taylor expansion of x in x
1.616 * [taylor]: Taking taylor expansion of 1 in x
1.616 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.616 * [taylor]: Taking taylor expansion of 1 in x
1.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.616 * [taylor]: Taking taylor expansion of x in x
1.617 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x
1.617 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.617 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.617 * [taylor]: Taking taylor expansion of x in x
1.617 * [taylor]: Taking taylor expansion of 1 in x
1.617 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.617 * [taylor]: Taking taylor expansion of 1 in x
1.617 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.617 * [taylor]: Taking taylor expansion of x in x
1.620 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in (x) around 0
1.620 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
1.620 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.620 * [taylor]: Taking taylor expansion of 1 in x
1.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.620 * [taylor]: Taking taylor expansion of x in x
1.621 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.621 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.621 * [taylor]: Taking taylor expansion of x in x
1.621 * [taylor]: Taking taylor expansion of 1 in x
1.621 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x
1.621 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
1.621 * [taylor]: Taking taylor expansion of 1 in x
1.621 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.621 * [taylor]: Taking taylor expansion of x in x
1.621 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
1.621 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.621 * [taylor]: Taking taylor expansion of x in x
1.621 * [taylor]: Taking taylor expansion of 1 in x
1.624 * * * [progress]: simplifying candidates
1.628 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (+.f64 1 x))
  (log.f64 (-.f64 1 x))
  (log.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))))
  (log.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (log.f64 (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (log.f64 (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) 1))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 x)))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 (sqrt.f64 1) (sqrt.f64 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (sqrt.f64 x))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) 1))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 x)))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) 1))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x)))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 (sqrt.f64 1) (sqrt.f64 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (sqrt.f64 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) 1))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x)))
  (log.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))))
  (log.f64 (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 1 (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 1 1))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (/.f64 1 (+.f64 (sqrt.f64 1) (sqrt.f64 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (sqrt.f64 x))))
  (log.f64 (/.f64 1 (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 1 1))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x)))))
  (log.f64 (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 1 (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 1 1))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (/.f64 1 (+.f64 (sqrt.f64 1) (sqrt.f64 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (sqrt.f64 x))))
  (log.f64 (/.f64 1 (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 1 1))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (+.f64 1 x))
  (log.f64 (/.f64 1 (-.f64 1 x)))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (pow.f64 1 3) (pow.f64 x 3))))
  (log.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 x x) (*.f64 1 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 (*.f64 1 1) (*.f64 x x))))
  (log.f64 (+.f64 1 x))
  (exp.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (log.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (*.f64 (*.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (*.f64 (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))))
  (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)))
  (log.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)))
  (*.f64 (*.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)) (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))) (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)))
  (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))))
  (cbrt.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))
  (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) 3))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))
  (cbrt.f64 (*.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))))
  (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)) (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))))
  (cbrt.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)))
  (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (cbrt.f64 (*.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))
  (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))) 3))
  (cbrt.f64 (pow.f64 (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) 3))
  (cbrt.f64 (pow.f64 (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) 3))
  (cbrt.f64 (pow.f64 1 3))
  (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))
  (cbrt.f64 (sqrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)))
  (cbrt.f64 1)
  (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))
  (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (/.f64 3 2)))
  (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (/.f64 3 2)))
  (sqrt.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)))
  (sqrt.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)))
  (pow.f64 1 3)
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)
  (pow.f64 (*.f64 (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))) 3)
  (pow.f64 (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) 3)
  (pow.f64 (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) 3)
  (pow.f64 (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) 3)
  (pow.f64 1 3)
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (sqrt.f64 3))
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 1)
  (*.f64 1 3)
  (*.f64 (log.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) 3)
  (*.f64 (log.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) 3)
  (*.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (exp.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))
  (log.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))
  (*.f64 (*.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3) (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)) (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))
  (*.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)) (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)))
  (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))
  (*.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (pow.f64 1 3)
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)
  (pow.f64 (*.f64 (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))) 3)
  (pow.f64 (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) 3)
  (pow.f64 (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) 3)
  (pow.f64 (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) 3)
  (pow.f64 1 3)
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)
  (sqrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))
  (sqrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (/.f64 3 2))
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (/.f64 3 2))
  (-.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x)))
  (exp.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (*.f64 (*.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)) (/.f64 (+.f64 1 x) (-.f64 1 x))) (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (*.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (/.f64 (*.f64 (*.f64 (+.f64 1 x) (+.f64 1 x)) (+.f64 1 x)) (*.f64 (*.f64 (-.f64 1 x) (-.f64 1 x)) (-.f64 1 x)))
  (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (neg.f64 (+.f64 1 x))
  (neg.f64 (-.f64 1 x))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (sqrt.f64 (-.f64 1 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) 1)
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 x))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (sqrt.f64 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) 1)
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 x))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) 1)
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) 1)
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 x)))
  (/.f64 1 (sqrt.f64 (-.f64 1 x)))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x)))
  (/.f64 1 1)
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (/.f64 1 (+.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 1 (+.f64 1 (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x)))
  (/.f64 1 1)
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 x)))
  (/.f64 1 (sqrt.f64 (-.f64 1 x)))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x)))
  (/.f64 1 1)
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (/.f64 1 (+.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (-.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 1 (+.f64 1 (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x)))
  (/.f64 1 1)
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (/.f64 (-.f64 1 x) (+.f64 1 x))
  (/.f64 1 (-.f64 1 x))
  (*.f64 (-.f64 1 x) (+.f64 (*.f64 1 1) (-.f64 (*.f64 x x) (*.f64 1 x))))
  (*.f64 (-.f64 1 x) (-.f64 1 x))
  (/.f64 (+.f64 1 x) (-.f64 (pow.f64 1 3) (pow.f64 x 3)))
  (/.f64 (+.f64 1 x) (-.f64 (*.f64 1 1) (*.f64 x x)))
  (/.f64 (-.f64 1 x) (cbrt.f64 (+.f64 1 x)))
  (/.f64 (-.f64 1 x) (sqrt.f64 (+.f64 1 x)))
  (/.f64 (-.f64 1 x) (+.f64 1 x))
  (/.f64 (-.f64 1 x) (+.f64 1 x))
  (/.f64 (+.f64 1 x) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x)))
  (/.f64 (+.f64 1 x) 1)
  (/.f64 (+.f64 1 x) (+.f64 (sqrt.f64 1) (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (+.f64 1 (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) 1)
  (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (*.f64 2 x)))
  (+.f64 (log.f64 -1) (+.f64 (*.f64 2 (/.f64 1 x)) (*.f64 2/3 (/.f64 1 (pow.f64 x 3)))))
  (+.f64 (log.f64 -1) (+.f64 (*.f64 2 (/.f64 1 x)) (*.f64 2/3 (/.f64 1 (pow.f64 x 3)))))
  (+.f64 (*.f64 2/3 (pow.f64 x 3)) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (*.f64 2 x)))
  (+.f64 (log.f64 -1) (+.f64 (*.f64 2 (/.f64 1 x)) (*.f64 2/3 (/.f64 1 (pow.f64 x 3)))))
  (+.f64 (log.f64 -1) (+.f64 (*.f64 2 (/.f64 1 x)) (*.f64 2/3 (/.f64 1 (pow.f64 x 3)))))
  (+.f64 (*.f64 112/15 (pow.f64 x 7)) (+.f64 (*.f64 8 (pow.f64 x 3)) (*.f64 8 (pow.f64 x 5))))
  (+.f64 (*.f64 6 (/.f64 (pow.f64 (log.f64 -1) 2) x)) (+.f64 (*.f64 12 (/.f64 (log.f64 -1) (pow.f64 x 2))) (pow.f64 (log.f64 -1) 3)))
  (+.f64 (*.f64 6 (/.f64 (pow.f64 (log.f64 -1) 2) x)) (+.f64 (*.f64 12 (/.f64 (log.f64 -1) (pow.f64 x 2))) (pow.f64 (log.f64 -1) 3)))
  (+.f64 (*.f64 2 (pow.f64 x 2)) (+.f64 (*.f64 2 x) 1))
  (neg.f64 (+.f64 (*.f64 2 (/.f64 1 (pow.f64 x 2))) (+.f64 (*.f64 2 (/.f64 1 x)) 1)))
  (neg.f64 (+.f64 (*.f64 2 (/.f64 1 (pow.f64 x 2))) (+.f64 (*.f64 2 (/.f64 1 x)) 1)))
1.726 * * [simplify]: iteration  0 :  4944  enodes  (cost  2924 )
1.727 * * [simplify]: iteration  1 :  4944  enodes  (cost  2924 )
1.741 * [simplify]: Simplified to:
   (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (+.f64 1 x))
  (log.f64 (-.f64 1 x))
  (*.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) 2)
  (log.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (log.f64 (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (log.f64 (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (*.f64 2 (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x)))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x)))) (log.f64 (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x))))
  (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 x)))
  (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x)))) (log.f64 (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x))))
  (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x)))) (log.f64 (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x))))
  (*.f64 2 (log.f64 (cbrt.f64 (+.f64 1 x))))
  (log.f64 (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 x)))
  (-.f64 (log.f64 (sqrt.f64 (+.f64 1 x))) (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 x)))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x))))
  (log.f64 (sqrt.f64 (+.f64 1 x)))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x)))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x))))
  (log.f64 (sqrt.f64 (+.f64 1 x)))
  (log.f64 (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x)))
  (neg.f64 (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 x)))))
  (log.f64 (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 x))))
  (neg.f64 (log.f64 (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x))))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (neg.f64 (log.f64 (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x))))
  (neg.f64 (log.f64 (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x))))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (neg.f64 (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 x)))))
  (log.f64 (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 x))))
  (neg.f64 (log.f64 (sqrt.f64 (-.f64 1 x))))
  (log.f64 (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x))))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (neg.f64 (log.f64 (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x))))
  (neg.f64 (log.f64 (+.f64 1 (sqrt.f64 x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x))))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (+.f64 1 x))
  (neg.f64 (log.f64 (-.f64 1 x)))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3))))
  (log.f64 (+.f64 1 (+.f64 x (*.f64 x x))))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (*.f64 x x))))
  (log.f64 (+.f64 1 x))
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (log.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)
  (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 2))
  (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (log.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)
  (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 2))
  (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (cbrt.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 2))
  (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (cbrt.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 2))
  (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 2))
  (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 2))
  (cbrt.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (cbrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 2))
  (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (cbrt.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)))
  (cbrt.f64 1)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (sqrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  1
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 2)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3/2)
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3/2)
  1
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (sqrt.f64 3))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  3
  (*.f64 3 (log.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))))
  (*.f64 3 (log.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))))
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 2)
  (exp.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))
  (*.f64 3 (log.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))))
  (pow.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3) 3)
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 2)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 2)
  1
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 2)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3/2)
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3/2)
  1
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3)
  (sqrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))
  (sqrt.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3))
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3/2)
  (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3/2)
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (exp.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (pow.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)) 3)
  (*.f64 (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
  (cbrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (pow.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)) 3)
  (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (sqrt.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
  (-.f64 -1 x)
  (-.f64 x 1)
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (sqrt.f64 (-.f64 1 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
  (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 x))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (sqrt.f64 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))) (+.f64 1 (sqrt.f64 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))
  (/.f64 (cbrt.f64 (+.f64 1 x)) (-.f64 1 x))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (cbrt.f64 (-.f64 1 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
  (sqrt.f64 (+.f64 1 x))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (+.f64 1 (sqrt.f64 x)))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 (sqrt.f64 x)))
  (sqrt.f64 (+.f64 1 x))
  (/.f64 (sqrt.f64 (+.f64 1 x)) (-.f64 1 x))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 x)))
  (/.f64 1 (sqrt.f64 (-.f64 1 x)))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x)))
  1
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (/.f64 1 (+.f64 1 (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x)))
  (/.f64 1 (+.f64 1 (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x)))
  1
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (+.f64 1 x) (cbrt.f64 (-.f64 1 x)))
  (/.f64 1 (sqrt.f64 (-.f64 1 x)))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x)))
  1
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (/.f64 1 (+.f64 1 (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x)))
  (/.f64 1 (+.f64 1 (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (-.f64 1 (sqrt.f64 x)))
  1
  (/.f64 (+.f64 1 x) (-.f64 1 x))
  (/.f64 (-.f64 1 x) (+.f64 1 x))
  (/.f64 1 (-.f64 1 x))
  (*.f64 (-.f64 1 x) (+.f64 1 (-.f64 (*.f64 x x) x)))
  (*.f64 (-.f64 1 x) (-.f64 1 x))
  (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))
  (/.f64 (+.f64 1 x) (-.f64 1 (*.f64 x x)))
  (/.f64 (-.f64 1 x) (cbrt.f64 (+.f64 1 x)))
  (/.f64 (-.f64 1 x) (sqrt.f64 (+.f64 1 x)))
  (/.f64 (-.f64 1 x) (+.f64 1 x))
  (/.f64 (-.f64 1 x) (+.f64 1 x))
  (/.f64 (+.f64 1 x) (*.f64 (cbrt.f64 (-.f64 1 x)) (cbrt.f64 (-.f64 1 x))))
  (/.f64 (+.f64 1 x) (sqrt.f64 (-.f64 1 x)))
  (+.f64 1 x)
  (/.f64 (+.f64 1 x) (+.f64 1 (sqrt.f64 x)))
  (/.f64 (+.f64 1 x) (+.f64 1 (sqrt.f64 x)))
  (+.f64 1 x)
  (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (*.f64 x 2)))
  (+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (/.f64 2/3 (pow.f64 x 3))))
  (+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (/.f64 2/3 (pow.f64 x 3))))
  (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (*.f64 x 2)))
  (+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (/.f64 2/3 (pow.f64 x 3))))
  (+.f64 (log.f64 -1) (+.f64 (/.f64 2 x) (/.f64 2/3 (pow.f64 x 3))))
  (+.f64 (*.f64 112/15 (pow.f64 x 7)) (*.f64 8 (+.f64 (pow.f64 x 3) (pow.f64 x 5))))
  (+.f64 (*.f64 6 (/.f64 (pow.f64 (log.f64 -1) 2) x)) (+.f64 (*.f64 12 (/.f64 (log.f64 -1) (*.f64 x x))) (pow.f64 (log.f64 -1) 3)))
  (+.f64 (*.f64 6 (/.f64 (pow.f64 (log.f64 -1) 2) x)) (+.f64 (*.f64 12 (/.f64 (log.f64 -1) (*.f64 x x))) (pow.f64 (log.f64 -1) 3)))
  (+.f64 1 (*.f64 (+.f64 1 x) (*.f64 x 2)))
  (+.f64 (/.f64 -2 x) (-.f64 -1 (/.f64 2 (*.f64 x x))))
  (+.f64 (/.f64 -2 x) (-.f64 -1 (/.f64 2 (*.f64 x x))))
1.742 * * * [progress]: adding candidates to table
1.846 * [progress]: [Phase 3 of 3] Extracting.
1.846 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (*.f64 1/2 (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3) 3)))))> #<alt (λ (x) (*.f64 1/2 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))))> #<alt (λ (x) (*.f64 1/2 (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)))))>)
1.848 * * * [regime-changes]: Trying 3 branch expressions: ((/.f64 (+.f64 1 x) (-.f64 1 x)) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) x)
1.848 * * * * [regimes]: Trying to branch on (/.f64 (+.f64 1 x) (-.f64 1 x)) from (#<alt (λ (x) (*.f64 1/2 (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3) 3)))))> #<alt (λ (x) (*.f64 1/2 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))))> #<alt (λ (x) (*.f64 1/2 (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)))))>)
1.856 * * * * [regimes]: Trying to branch on (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) from (#<alt (λ (x) (*.f64 1/2 (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3) 3)))))> #<alt (λ (x) (*.f64 1/2 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))))> #<alt (λ (x) (*.f64 1/2 (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)))))>)
1.865 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (*.f64 1/2 (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))) 3) 3)))))> #<alt (λ (x) (*.f64 1/2 (+.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 (pow.f64 x 3)))) (log.f64 (+.f64 1 (+.f64 x (*.f64 x x)))))))> #<alt (λ (x) (*.f64 1/2 (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x)))))>)
1.874 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
1.874 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 1/2 (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
1.876 * * [simplify]: iteration  0 :  20  enodes  (cost  25 )
1.877 * * [simplify]: iteration  1 :  20  enodes  (cost  25 )
1.877 * [simplify]: Simplified to:
   (*.f64 1/2 (+.f64 (*.f64 (pow.f64 x 3) 2/3) (+.f64 (*.f64 2/5 (pow.f64 x 5)) (+.f64 x x))))
4.832 * [regime-testing]: End program error score: 0.212102781155653