53.332 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.013 * * * [progress]: [2/2] Setting up program.
0.015 * [progress]: [Phase 2 of 3] Improving.
0.015 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (- x (/ 16.0 116.0)) 3.0) y)
0.016 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
0.017 * * [simplify]: iteration  1 :  15  enodes  (cost  9 )
0.019 * * [simplify]: iteration  2 :  30  enodes  (cost  9 )
0.023 * * [simplify]: iteration  3 :  64  enodes  (cost  9 )
0.032 * * [simplify]: iteration  4 :  119  enodes  (cost  9 )
0.052 * * [simplify]: iteration  5 :  187  enodes  (cost  9 )
0.081 * * [simplify]: iteration  6 :  273  enodes  (cost  9 )
0.127 * * [simplify]: iteration  7 :  338  enodes  (cost  9 )
0.189 * * [simplify]: iteration  8 :  381  enodes  (cost  9 )
0.259 * * [simplify]: iteration  9 :  400  enodes  (cost  9 )
0.336 * * [simplify]: iteration  10 :  403  enodes  (cost  9 )
0.410 * * [simplify]: iteration  done :  403  enodes  (cost  9 )
0.411 * [simplify]: Simplified to:
   (* (* (- x (/ 16.0 116.0)) 3.0) y)
0.411 * * [progress]: iteration 1 / 4
0.411 * * * [progress]: picking best candidate
0.412 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))>
0.412 * * * [progress]: localizing error
0.421 * * * [progress]: generating rewritten candidates
0.421 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.448 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.471 * * * [progress]: generating series expansions
0.472 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.472 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
0.472 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
0.472 * [taylor]: Taking taylor expansion of 3.0 in y
0.472 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
0.472 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
0.472 * [taylor]: Taking taylor expansion of x in y
0.472 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.472 * [taylor]: Taking taylor expansion of y in y
0.472 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
0.472 * [taylor]: Taking taylor expansion of 3.0 in x
0.472 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.472 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.472 * [taylor]: Taking taylor expansion of x in x
0.472 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.472 * [taylor]: Taking taylor expansion of y in x
0.472 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
0.472 * [taylor]: Taking taylor expansion of 3.0 in x
0.473 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
0.473 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.473 * [taylor]: Taking taylor expansion of x in x
0.473 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.473 * [taylor]: Taking taylor expansion of y in x
0.474 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
0.474 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
0.474 * [taylor]: Taking taylor expansion of y in y
0.475 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
0.475 * [taylor]: Taking taylor expansion of 3.0 in y
0.475 * [taylor]: Taking taylor expansion of y in y
0.478 * [taylor]: Taking taylor expansion of 0 in y
0.481 * [taylor]: Taking taylor expansion of 0 in y
0.484 * [taylor]: Taking taylor expansion of 0 in y
0.488 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
0.488 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
0.488 * [taylor]: Taking taylor expansion of 3.0 in y
0.488 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
0.488 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
0.488 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.488 * [taylor]: Taking taylor expansion of x in y
0.488 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.488 * [taylor]: Taking taylor expansion of y in y
0.488 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
0.488 * [taylor]: Taking taylor expansion of 3.0 in x
0.488 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.488 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.488 * [taylor]: Taking taylor expansion of x in x
0.489 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.489 * [taylor]: Taking taylor expansion of y in x
0.489 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
0.489 * [taylor]: Taking taylor expansion of 3.0 in x
0.489 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
0.489 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.489 * [taylor]: Taking taylor expansion of x in x
0.489 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.489 * [taylor]: Taking taylor expansion of y in x
0.490 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.490 * [taylor]: Taking taylor expansion of 3.0 in y
0.490 * [taylor]: Taking taylor expansion of y in y
0.492 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
0.492 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.492 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.492 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.492 * [taylor]: Taking taylor expansion of y in y
0.494 * [taylor]: Taking taylor expansion of 0 in y
0.498 * [taylor]: Taking taylor expansion of 0 in y
0.500 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
0.500 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
0.500 * [taylor]: Taking taylor expansion of 3.0 in y
0.500 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
0.500 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
0.500 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
0.500 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.500 * [taylor]: Taking taylor expansion of x in y
0.500 * [taylor]: Taking taylor expansion of y in y
0.500 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
0.500 * [taylor]: Taking taylor expansion of 3.0 in x
0.500 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.500 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.500 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.500 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.500 * [taylor]: Taking taylor expansion of x in x
0.501 * [taylor]: Taking taylor expansion of y in x
0.501 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
0.501 * [taylor]: Taking taylor expansion of 3.0 in x
0.501 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
0.501 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.501 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.501 * [taylor]: Taking taylor expansion of x in x
0.501 * [taylor]: Taking taylor expansion of y in x
0.502 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.502 * [taylor]: Taking taylor expansion of 3.0 in y
0.502 * [taylor]: Taking taylor expansion of y in y
0.503 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
0.503 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
0.503 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.503 * [taylor]: Taking taylor expansion of y in y
0.505 * [taylor]: Taking taylor expansion of 0 in y
0.508 * [taylor]: Taking taylor expansion of 0 in y
0.509 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.510 * [approximate]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in (x) around 0
0.510 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x
0.510 * [taylor]: Taking taylor expansion of 3.0 in x
0.510 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.510 * [taylor]: Taking taylor expansion of x in x
0.510 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.510 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x
0.510 * [taylor]: Taking taylor expansion of 3.0 in x
0.510 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
0.510 * [taylor]: Taking taylor expansion of x in x
0.510 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.521 * [approximate]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in (x) around 0
0.521 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x
0.521 * [taylor]: Taking taylor expansion of 3.0 in x
0.521 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.521 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.521 * [taylor]: Taking taylor expansion of x in x
0.521 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.521 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x
0.521 * [taylor]: Taking taylor expansion of 3.0 in x
0.521 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
0.521 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.521 * [taylor]: Taking taylor expansion of x in x
0.521 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.536 * [approximate]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in (x) around 0
0.536 * [taylor]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in x
0.536 * [taylor]: Taking taylor expansion of -3.0 in x
0.536 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.536 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.536 * [taylor]: Taking taylor expansion of x in x
0.536 * [taylor]: Taking taylor expansion of (* -3.0 (+ 0.13793103448275862 (/ 1 x))) in x
0.536 * [taylor]: Taking taylor expansion of -3.0 in x
0.536 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
0.536 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
0.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.536 * [taylor]: Taking taylor expansion of x in x
0.548 * * * [progress]: simplifying candidates
0.549 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (log1p (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (+ (+ (log (- x (/ 16.0 116.0))) (log 3.0)) (log y))
  (+ (log (* (- x (/ 16.0 116.0)) 3.0)) (log y))
  (log (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (exp (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (* (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* 3.0 3.0) 3.0)) (* (* y y) y))
  (* (* (* (* (- x (/ 16.0 116.0)) 3.0) (* (- x (/ 16.0 116.0)) 3.0)) (* (- x (/ 16.0 116.0)) 3.0)) (* (* y y) y))
  (* (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y)) (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y)))
  (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (* (* (* (* (- x (/ 16.0 116.0)) 3.0) y) (* (* (- x (/ 16.0 116.0)) 3.0) y)) (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (sqrt (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (sqrt (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (* (* (- x (/ 16.0 116.0)) 3.0) (* (cbrt y) (cbrt y)))
  (* (* (- x (/ 16.0 116.0)) 3.0) (sqrt y))
  (* (* (- x (/ 16.0 116.0)) 3.0) 1)
  (* 3.0 y)
  (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y)
  (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y)
  (expm1 (* (- x (/ 16.0 116.0)) 3.0))
  (log1p (* (- x (/ 16.0 116.0)) 3.0))
  (* (- x (/ 16.0 116.0)) 3.0)
  (+ (log (- x (/ 16.0 116.0))) (log 3.0))
  (log (* (- x (/ 16.0 116.0)) 3.0))
  (exp (* (- x (/ 16.0 116.0)) 3.0))
  (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* 3.0 3.0) 3.0))
  (* (cbrt (* (- x (/ 16.0 116.0)) 3.0)) (cbrt (* (- x (/ 16.0 116.0)) 3.0)))
  (cbrt (* (- x (/ 16.0 116.0)) 3.0))
  (* (* (* (- x (/ 16.0 116.0)) 3.0) (* (- x (/ 16.0 116.0)) 3.0)) (* (- x (/ 16.0 116.0)) 3.0))
  (sqrt (* (- x (/ 16.0 116.0)) 3.0))
  (sqrt (* (- x (/ 16.0 116.0)) 3.0))
  (* (sqrt (- x (/ 16.0 116.0))) (sqrt 3.0))
  (* (sqrt (- x (/ 16.0 116.0))) (sqrt 3.0))
  (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))
  (* (- x (/ 16.0 116.0)) (sqrt 3.0))
  (* (- x (/ 16.0 116.0)) 1)
  (* (cbrt (- x (/ 16.0 116.0))) 3.0)
  (* (sqrt (- x (/ 16.0 116.0))) 3.0)
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- (sqrt x) (sqrt (/ 16.0 116.0))) 3.0)
  (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) 3.0)
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0)
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0)
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
0.551 * * [simplify]: iteration  0 :  88  enodes  (cost  576 )
0.567 * * [simplify]: iteration  1 :  210  enodes  (cost  568 )
0.607 * * [simplify]: iteration  2 :  780  enodes  (cost  480 )
0.902 * * [simplify]: iteration  3 :  3372  enodes  (cost  480 )
2.246 * * [simplify]: iteration  done :  5001  enodes  (cost  480 )
2.247 * [simplify]: Simplified to:
   (expm1 (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (log1p (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (* (* (- x (/ 16.0 116.0)) 3.0) y)
  (log (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (log (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (log (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (exp (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (pow (* (* (- x (/ 16.0 116.0)) 3.0) y) 3)
  (pow (* (* (- x (/ 16.0 116.0)) 3.0) y) 3)
  (* (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y)) (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y)))
  (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (pow (* (* (- x (/ 16.0 116.0)) 3.0) y) 3)
  (sqrt (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (sqrt (* (* (- x (/ 16.0 116.0)) 3.0) y))
  (* (* (- x (/ 16.0 116.0)) 3.0) (* (cbrt y) (cbrt y)))
  (* (* (- x (/ 16.0 116.0)) 3.0) (sqrt y))
  (* (- x (/ 16.0 116.0)) 3.0)
  (* 3.0 y)
  (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y)
  (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y)
  (expm1 (* (- x (/ 16.0 116.0)) 3.0))
  (log1p (* (- x (/ 16.0 116.0)) 3.0))
  (* (- x (/ 16.0 116.0)) 3.0)
  (log (* (- x (/ 16.0 116.0)) 3.0))
  (log (* (- x (/ 16.0 116.0)) 3.0))
  (exp (* (- x (/ 16.0 116.0)) 3.0))
  (pow (* (- x (/ 16.0 116.0)) 3.0) 3)
  (* (cbrt (* (- x (/ 16.0 116.0)) 3.0)) (cbrt (* (- x (/ 16.0 116.0)) 3.0)))
  (cbrt (* (- x (/ 16.0 116.0)) 3.0))
  (pow (* (- x (/ 16.0 116.0)) 3.0) 3)
  (sqrt (* (- x (/ 16.0 116.0)) 3.0))
  (sqrt (* (- x (/ 16.0 116.0)) 3.0))
  (* (sqrt (- x (/ 16.0 116.0))) (sqrt 3.0))
  (* (sqrt (- x (/ 16.0 116.0))) (sqrt 3.0))
  (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))
  (* (- x (/ 16.0 116.0)) (sqrt 3.0))
  (- x (/ 16.0 116.0))
  (* (cbrt (- x (/ 16.0 116.0))) 3.0)
  (* (sqrt (- x (/ 16.0 116.0))) 3.0)
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- (sqrt x) (sqrt (/ 16.0 116.0))) 3.0)
  (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) 3.0)
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0)
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0)
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
2.248 * * * [progress]: adding candidates to table
2.333 * * [progress]: iteration 2 / 4
2.333 * * * [progress]: picking best candidate
2.348 * * * * [pick]: Picked  #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* 3.0 y)))>
2.348 * * * [progress]: localizing error
2.354 * * * [progress]: generating rewritten candidates
2.354 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.381 * * * [progress]: generating series expansions
2.381 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.382 * [approximate]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in (x y) around 0
2.382 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in y
2.382 * [taylor]: Taking taylor expansion of 3.0 in y
2.382 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
2.382 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
2.382 * [taylor]: Taking taylor expansion of x in y
2.382 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
2.382 * [taylor]: Taking taylor expansion of y in y
2.382 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
2.382 * [taylor]: Taking taylor expansion of 3.0 in x
2.382 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
2.382 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
2.382 * [taylor]: Taking taylor expansion of x in x
2.382 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
2.382 * [taylor]: Taking taylor expansion of y in x
2.382 * [taylor]: Taking taylor expansion of (* 3.0 (* (- x 0.13793103448275862) y)) in x
2.382 * [taylor]: Taking taylor expansion of 3.0 in x
2.382 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
2.382 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
2.382 * [taylor]: Taking taylor expansion of x in x
2.382 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
2.382 * [taylor]: Taking taylor expansion of y in x
2.383 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
2.383 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
2.383 * [taylor]: Taking taylor expansion of y in y
2.384 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
2.384 * [taylor]: Taking taylor expansion of 3.0 in y
2.384 * [taylor]: Taking taylor expansion of y in y
2.387 * [taylor]: Taking taylor expansion of 0 in y
2.390 * [taylor]: Taking taylor expansion of 0 in y
2.393 * [taylor]: Taking taylor expansion of 0 in y
2.394 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0
2.394 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y
2.394 * [taylor]: Taking taylor expansion of 3.0 in y
2.394 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y
2.394 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
2.394 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.394 * [taylor]: Taking taylor expansion of x in y
2.394 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
2.394 * [taylor]: Taking taylor expansion of y in y
2.395 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
2.395 * [taylor]: Taking taylor expansion of 3.0 in x
2.395 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
2.395 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
2.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.395 * [taylor]: Taking taylor expansion of x in x
2.395 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
2.395 * [taylor]: Taking taylor expansion of y in x
2.395 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x
2.395 * [taylor]: Taking taylor expansion of 3.0 in x
2.395 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x
2.395 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
2.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.395 * [taylor]: Taking taylor expansion of x in x
2.396 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
2.396 * [taylor]: Taking taylor expansion of y in x
2.396 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
2.396 * [taylor]: Taking taylor expansion of 3.0 in y
2.396 * [taylor]: Taking taylor expansion of y in y
2.398 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
2.398 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
2.398 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
2.398 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.398 * [taylor]: Taking taylor expansion of y in y
2.401 * [taylor]: Taking taylor expansion of 0 in y
2.404 * [taylor]: Taking taylor expansion of 0 in y
2.409 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in (x y) around 0
2.409 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in y
2.409 * [taylor]: Taking taylor expansion of 3.0 in y
2.409 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in y
2.409 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
2.409 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
2.409 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.409 * [taylor]: Taking taylor expansion of x in y
2.409 * [taylor]: Taking taylor expansion of y in y
2.409 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
2.409 * [taylor]: Taking taylor expansion of 3.0 in x
2.409 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
2.409 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
2.409 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
2.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.409 * [taylor]: Taking taylor expansion of x in x
2.410 * [taylor]: Taking taylor expansion of y in x
2.410 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ 0.13793103448275862 (/ 1 x)) y)) in x
2.410 * [taylor]: Taking taylor expansion of 3.0 in x
2.410 * [taylor]: Taking taylor expansion of (/ (+ 0.13793103448275862 (/ 1 x)) y) in x
2.410 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
2.410 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
2.410 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.410 * [taylor]: Taking taylor expansion of x in x
2.410 * [taylor]: Taking taylor expansion of y in x
2.411 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
2.411 * [taylor]: Taking taylor expansion of 3.0 in y
2.411 * [taylor]: Taking taylor expansion of y in y
2.412 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
2.412 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
2.412 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.412 * [taylor]: Taking taylor expansion of y in y
2.414 * [taylor]: Taking taylor expansion of 0 in y
2.417 * [taylor]: Taking taylor expansion of 0 in y
2.419 * * * [progress]: simplifying candidates
2.419 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (log1p (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (* (- x (/ 16.0 116.0)) (* 3.0 y))
  (* (- x (/ 16.0 116.0)) (* 3.0 y))
  (+ (log (- x (/ 16.0 116.0))) (+ (log 3.0) (log y)))
  (+ (log (- x (/ 16.0 116.0))) (log (* 3.0 y)))
  (log (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (exp (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* (* 3.0 3.0) 3.0) (* (* y y) y)))
  (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* (* 3.0 y) (* 3.0 y)) (* 3.0 y)))
  (* (cbrt (* (- x (/ 16.0 116.0)) (* 3.0 y))) (cbrt (* (- x (/ 16.0 116.0)) (* 3.0 y))))
  (cbrt (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (* (* (* (- x (/ 16.0 116.0)) (* 3.0 y)) (* (- x (/ 16.0 116.0)) (* 3.0 y))) (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (sqrt (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (sqrt (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (cbrt (- x (/ 16.0 116.0))) (* 3.0 y))
  (* (sqrt (- x (/ 16.0 116.0))) (* 3.0 y))
  (* (- x (/ 16.0 116.0)) (* 3.0 y))
  (* (- (sqrt x) (sqrt (/ 16.0 116.0))) (* 3.0 y))
  (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) (* 3.0 y))
  (* (- x (/ 16.0 116.0)) (* 3.0 y))
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (* 3.0 y))
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (* 3.0 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
2.421 * * [simplify]: iteration  0 :  64  enodes  (cost  342 )
2.431 * * [simplify]: iteration  1 :  166  enodes  (cost  339 )
2.459 * * [simplify]: iteration  2 :  535  enodes  (cost  279 )
2.594 * * [simplify]: iteration  3 :  1991  enodes  (cost  279 )
3.143 * * [simplify]: iteration  done :  5000  enodes  (cost  279 )
3.143 * [simplify]: Simplified to:
   (expm1 (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (log1p (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (* (- x (/ 16.0 116.0)) (* 3.0 y))
  (* (- x (/ 16.0 116.0)) (* 3.0 y))
  (log (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (log (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (log (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (exp (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (pow (* (- x (/ 16.0 116.0)) (* 3.0 y)) 3)
  (pow (* (- x (/ 16.0 116.0)) (* 3.0 y)) 3)
  (* (cbrt (* (- x (/ 16.0 116.0)) (* 3.0 y))) (cbrt (* (- x (/ 16.0 116.0)) (* 3.0 y))))
  (cbrt (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (pow (* (- x (/ 16.0 116.0)) (* 3.0 y)) 3)
  (sqrt (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (sqrt (* (- x (/ 16.0 116.0)) (* 3.0 y)))
  (* (- x (/ 16.0 116.0)) 3.0)
  (* (cbrt (- x (/ 16.0 116.0))) (* 3.0 y))
  (* (sqrt (- x (/ 16.0 116.0))) (* 3.0 y))
  (* (- x (/ 16.0 116.0)) (* 3.0 y))
  (* (- (sqrt x) (sqrt (/ 16.0 116.0))) (* 3.0 y))
  (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) (* 3.0 y))
  (* (- x (/ 16.0 116.0)) (* 3.0 y))
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (* 3.0 y))
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (* 3.0 y))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
3.143 * * * [progress]: adding candidates to table
3.186 * * [progress]: iteration 3 / 4
3.186 * * * [progress]: picking best candidate
3.203 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y))>
3.203 * * * [progress]: localizing error
3.213 * * * [progress]: generating rewritten candidates
3.213 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
3.270 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
3.474 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
3.508 * * * [progress]: generating series expansions
3.508 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
3.510 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- x 0.13793103448275862)) in (x) around 0
3.510 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- x 0.13793103448275862)) in x
3.510 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.510 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.510 * [taylor]: Taking taylor expansion of 3.0 in x
3.510 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
3.510 * [taylor]: Taking taylor expansion of x in x
3.510 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.510 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- x 0.13793103448275862)) in x
3.510 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.510 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.510 * [taylor]: Taking taylor expansion of 3.0 in x
3.511 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
3.511 * [taylor]: Taking taylor expansion of x in x
3.511 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.544 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) in (x) around 0
3.544 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) in x
3.544 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.544 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.544 * [taylor]: Taking taylor expansion of 3.0 in x
3.544 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
3.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.545 * [taylor]: Taking taylor expansion of x in x
3.545 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.545 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) in x
3.545 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.545 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.545 * [taylor]: Taking taylor expansion of 3.0 in x
3.546 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
3.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.546 * [taylor]: Taking taylor expansion of x in x
3.546 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.585 * [approximate]: Taking taylor expansion of (* -1 (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x)))) in (x) around 0
3.585 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x)))) in x
3.585 * [taylor]: Taking taylor expansion of -1 in x
3.585 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) in x
3.585 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.585 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.585 * [taylor]: Taking taylor expansion of 3.0 in x
3.586 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
3.586 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.586 * [taylor]: Taking taylor expansion of x in x
3.586 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x)))) in x
3.586 * [taylor]: Taking taylor expansion of -1 in x
3.586 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) in x
3.586 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.586 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.586 * [taylor]: Taking taylor expansion of 3.0 in x
3.587 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
3.587 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.587 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.587 * [taylor]: Taking taylor expansion of x in x
3.625 * * * * [progress]: [ 2 / 3 ] generating series at (2)
3.626 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* (- x 0.13793103448275862) y)) in (x y) around 0
3.626 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* (- x 0.13793103448275862) y)) in y
3.626 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y
3.626 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
3.626 * [taylor]: Taking taylor expansion of 3.0 in y
3.627 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
3.627 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
3.627 * [taylor]: Taking taylor expansion of x in y
3.627 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
3.627 * [taylor]: Taking taylor expansion of y in y
3.627 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* (- x 0.13793103448275862) y)) in x
3.627 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.627 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.627 * [taylor]: Taking taylor expansion of 3.0 in x
3.628 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
3.628 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
3.628 * [taylor]: Taking taylor expansion of x in x
3.628 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.628 * [taylor]: Taking taylor expansion of y in x
3.628 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* (- x 0.13793103448275862) y)) in x
3.628 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.628 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.628 * [taylor]: Taking taylor expansion of 3.0 in x
3.629 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
3.629 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
3.629 * [taylor]: Taking taylor expansion of x in x
3.629 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.629 * [taylor]: Taking taylor expansion of y in x
3.633 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
3.633 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
3.633 * [taylor]: Taking taylor expansion of y in y
3.636 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
3.636 * [taylor]: Taking taylor expansion of 3.0 in y
3.636 * [taylor]: Taking taylor expansion of y in y
3.641 * [taylor]: Taking taylor expansion of 0 in y
3.647 * [taylor]: Taking taylor expansion of 0 in y
3.652 * [taylor]: Taking taylor expansion of 0 in y
3.654 * [approximate]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) y) in (x y) around 0
3.654 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) y) in y
3.654 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) in y
3.654 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y
3.654 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
3.654 * [taylor]: Taking taylor expansion of 3.0 in y
3.655 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
3.655 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.655 * [taylor]: Taking taylor expansion of x in y
3.655 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
3.655 * [taylor]: Taking taylor expansion of y in y
3.661 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) y) in x
3.661 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) in x
3.661 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.661 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.661 * [taylor]: Taking taylor expansion of 3.0 in x
3.662 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
3.662 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.662 * [taylor]: Taking taylor expansion of x in x
3.662 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.662 * [taylor]: Taking taylor expansion of y in x
3.665 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) y) in x
3.665 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) in x
3.665 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.665 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.665 * [taylor]: Taking taylor expansion of 3.0 in x
3.666 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
3.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.666 * [taylor]: Taking taylor expansion of x in x
3.666 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.666 * [taylor]: Taking taylor expansion of y in x
3.670 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
3.670 * [taylor]: Taking taylor expansion of 3.0 in y
3.670 * [taylor]: Taking taylor expansion of y in y
3.675 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
3.675 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
3.675 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
3.675 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.675 * [taylor]: Taking taylor expansion of y in y
3.680 * [taylor]: Taking taylor expansion of 0 in y
3.686 * [taylor]: Taking taylor expansion of 0 in y
3.689 * [approximate]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) y) in (x y) around 0
3.689 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) y) in y
3.689 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) in y
3.689 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y
3.689 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
3.690 * [taylor]: Taking taylor expansion of 3.0 in y
3.690 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
3.690 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
3.690 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.690 * [taylor]: Taking taylor expansion of x in y
3.690 * [taylor]: Taking taylor expansion of y in y
3.693 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) y) in x
3.693 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) in x
3.693 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.693 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.693 * [taylor]: Taking taylor expansion of 3.0 in x
3.694 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
3.694 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.694 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.694 * [taylor]: Taking taylor expansion of x in x
3.694 * [taylor]: Taking taylor expansion of y in x
3.697 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) y) in x
3.697 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) in x
3.697 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
3.697 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.697 * [taylor]: Taking taylor expansion of 3.0 in x
3.698 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
3.698 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.698 * [taylor]: Taking taylor expansion of x in x
3.698 * [taylor]: Taking taylor expansion of y in x
3.702 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
3.702 * [taylor]: Taking taylor expansion of 3.0 in y
3.702 * [taylor]: Taking taylor expansion of y in y
3.706 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
3.706 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
3.706 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.706 * [taylor]: Taking taylor expansion of y in y
3.710 * [taylor]: Taking taylor expansion of 0 in y
3.716 * [taylor]: Taking taylor expansion of 0 in y
3.717 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
3.718 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (- x 0.13793103448275862)) in (x) around 0
3.718 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (- x 0.13793103448275862)) in x
3.718 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
3.718 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.718 * [taylor]: Taking taylor expansion of 3.0 in x
3.719 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
3.719 * [taylor]: Taking taylor expansion of x in x
3.719 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.719 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (- x 0.13793103448275862)) in x
3.719 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
3.719 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.719 * [taylor]: Taking taylor expansion of 3.0 in x
3.720 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
3.720 * [taylor]: Taking taylor expansion of x in x
3.720 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.751 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (- (/ 1 x) 0.13793103448275862)) in (x) around 0
3.751 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (- (/ 1 x) 0.13793103448275862)) in x
3.751 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
3.751 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.751 * [taylor]: Taking taylor expansion of 3.0 in x
3.752 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
3.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.752 * [taylor]: Taking taylor expansion of x in x
3.752 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.752 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (- (/ 1 x) 0.13793103448275862)) in x
3.752 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
3.752 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.752 * [taylor]: Taking taylor expansion of 3.0 in x
3.753 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
3.753 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.753 * [taylor]: Taking taylor expansion of x in x
3.753 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.786 * [approximate]: Taking taylor expansion of (* -1 (* (pow (cbrt 3.0) 2) (+ 0.13793103448275862 (/ 1 x)))) in (x) around 0
3.786 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt 3.0) 2) (+ 0.13793103448275862 (/ 1 x)))) in x
3.786 * [taylor]: Taking taylor expansion of -1 in x
3.786 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (+ 0.13793103448275862 (/ 1 x))) in x
3.786 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
3.786 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.786 * [taylor]: Taking taylor expansion of 3.0 in x
3.787 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
3.787 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.787 * [taylor]: Taking taylor expansion of x in x
3.787 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt 3.0) 2) (+ 0.13793103448275862 (/ 1 x)))) in x
3.787 * [taylor]: Taking taylor expansion of -1 in x
3.787 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (+ 0.13793103448275862 (/ 1 x))) in x
3.787 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
3.787 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
3.787 * [taylor]: Taking taylor expansion of 3.0 in x
3.788 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
3.788 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
3.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.788 * [taylor]: Taking taylor expansion of x in x
3.832 * * * [progress]: simplifying candidates
3.833 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)))
  (log1p (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)))
  (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))
  (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))
  (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))
  (+ (+ (log (- x (/ 16.0 116.0))) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (log (cbrt 3.0)))
  (+ (+ (log (- x (/ 16.0 116.0))) (log (* (cbrt 3.0) (cbrt 3.0)))) (log (cbrt 3.0)))
  (+ (log (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))) (log (cbrt 3.0)))
  (log (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)))
  (exp (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)))
  (* (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* 3.0 3.0)) 3.0)
  (* (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0)))) 3.0)
  (* (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))) (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))) 3.0)
  (* (cbrt (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))) (cbrt (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))))
  (cbrt (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)))
  (* (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))) (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)))
  (sqrt (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)))
  (sqrt (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)))
  (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt (sqrt 3.0)))
  (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 1))
  (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (sqrt (cbrt 3.0)))
  (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) 1)
  (* (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0))
  (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))
  (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))
  (expm1 (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y))
  (log1p (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y))
  (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y)
  (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y)
  (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y)
  (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y)
  (+ (+ (+ (log (- x (/ 16.0 116.0))) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (log (cbrt 3.0))) (log y))
  (+ (+ (+ (log (- x (/ 16.0 116.0))) (log (* (cbrt 3.0) (cbrt 3.0)))) (log (cbrt 3.0))) (log y))
  (+ (+ (log (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))) (log (cbrt 3.0))) (log y))
  (+ (log (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))) (log y))
  (log (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y))
  (exp (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y))
  (* (* (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* 3.0 3.0)) 3.0) (* (* y y) y))
  (* (* (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0)))) 3.0) (* (* y y) y))
  (* (* (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))) (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))) 3.0) (* (* y y) y))
  (* (* (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))) (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))) (* (* y y) y))
  (* (cbrt (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y)) (cbrt (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y)))
  (cbrt (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y))
  (* (* (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y) (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y)) (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y))
  (sqrt (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y))
  (sqrt (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y))
  (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) (* (cbrt y) (cbrt y)))
  (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) (sqrt y))
  (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) 1)
  (* (cbrt 3.0) y)
  (* (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y)
  (* (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) y)
  (expm1 (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))))
  (log1p (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))))
  (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))
  (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))
  (+ (log (- x (/ 16.0 116.0))) (+ (log (cbrt 3.0)) (log (cbrt 3.0))))
  (+ (log (- x (/ 16.0 116.0))) (log (* (cbrt 3.0) (cbrt 3.0))))
  (log (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))))
  (exp (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))))
  (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* 3.0 3.0))
  (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))))
  (* (cbrt (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))) (cbrt (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))))
  (cbrt (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))))
  (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))) (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))))
  (sqrt (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))))
  (sqrt (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))))
  (* (sqrt (- x (/ 16.0 116.0))) (cbrt 3.0))
  (* (sqrt (- x (/ 16.0 116.0))) (cbrt 3.0))
  (* (- x (/ 16.0 116.0)) (cbrt 3.0))
  (* (cbrt (- x (/ 16.0 116.0))) (* (cbrt 3.0) (cbrt 3.0)))
  (* (sqrt (- x (/ 16.0 116.0))) (* (cbrt 3.0) (cbrt 3.0)))
  (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))
  (* (- (sqrt x) (sqrt (/ 16.0 116.0))) (* (cbrt 3.0) (cbrt 3.0)))
  (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) (* (cbrt 3.0) (cbrt 3.0)))
  (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0)))
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (* (cbrt 3.0) (cbrt 3.0)))
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (* (cbrt 3.0) (cbrt 3.0)))
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* (pow (cbrt 3.0) 2) x) (* 0.13793103448275862 (pow (cbrt 3.0) 2)))
  (- (* (pow (cbrt 3.0) 2) x) (* 0.13793103448275862 (pow (cbrt 3.0) 2)))
  (- (* (pow (cbrt 3.0) 2) x) (* 0.13793103448275862 (pow (cbrt 3.0) 2)))
3.837 * * [simplify]: iteration  0 :  132  enodes  (cost  1581 )
3.859 * * [simplify]: iteration  1 :  350  enodes  (cost  1459 )
3.943 * * [simplify]: iteration  2 :  1516  enodes  (cost  1068 )
4.482 * * [simplify]: iteration  done :  5001  enodes  (cost  1068 )
4.483 * [simplify]: Simplified to:
   (expm1 (* (pow (cbrt 3.0) 3) (- x (/ 16.0 116.0))))
  (log1p (* (pow (cbrt 3.0) 3) (- x (/ 16.0 116.0))))
  (* (pow (cbrt 3.0) 3) (- x (/ 16.0 116.0)))
  (* (pow (cbrt 3.0) 3) (- x (/ 16.0 116.0)))
  (* (pow (cbrt 3.0) 3) (- x (/ 16.0 116.0)))
  (log (* (pow (cbrt 3.0) 3) (- x (/ 16.0 116.0))))
  (log (* (pow (cbrt 3.0) 3) (- x (/ 16.0 116.0))))
  (log (* (pow (cbrt 3.0) 3) (- x (/ 16.0 116.0))))
  (log (* (pow (cbrt 3.0) 3) (- x (/ 16.0 116.0))))
  (pow (exp (- x (/ 16.0 116.0))) (pow (cbrt 3.0) 3))
  (* (* 3.0 3.0) (* 3.0 (pow (- x (/ 16.0 116.0)) 3)))
  (* 3.0 (pow (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) 3))
  (* 3.0 (pow (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) 3))
  (* (cbrt (* (pow (cbrt 3.0) 3) (- x (/ 16.0 116.0)))) (cbrt (* (pow (cbrt 3.0) 3) (- x (/ 16.0 116.0)))))
  (cbrt (* (pow (cbrt 3.0) 3) (- x (/ 16.0 116.0))))
  (pow (* (pow (cbrt 3.0) 3) (- x (/ 16.0 116.0))) 3)
  (sqrt (* (pow (cbrt 3.0) 3) (- x (/ 16.0 116.0))))
  (sqrt (* (pow (cbrt 3.0) 3) (- x (/ 16.0 116.0))))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))
  (* (cbrt (sqrt 3.0)) (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))
  (* (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))) (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (* (sqrt (cbrt 3.0)) (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))
  (pow (cbrt 3.0) 3)
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (pow (cbrt 3.0) 3))
  (* (pow (cbrt 3.0) 3) (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))))
  (expm1 (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y)))
  (log1p (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y)))
  (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y))
  (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y))
  (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y))
  (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y))
  (log (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y)))
  (log (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y)))
  (log (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y)))
  (log (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y)))
  (log (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y)))
  (pow (pow (exp (- x (/ 16.0 116.0))) (pow (cbrt 3.0) 3)) y)
  (* (* 3.0 (pow (- x (/ 16.0 116.0)) 3)) (* 3.0 (* 3.0 (pow y 3))))
  (* (* 3.0 (pow (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) 3)) (pow y 3))
  (* (* 3.0 (pow (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) 3)) (pow y 3))
  (pow (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y)) 3)
  (* (cbrt (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y))) (cbrt (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y))))
  (cbrt (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y)))
  (pow (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y)) 3)
  (sqrt (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y)))
  (sqrt (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 3) y)))
  (* (* (cbrt y) (cbrt y)) (* (pow (cbrt 3.0) 3) (- x (/ 16.0 116.0))))
  (* (* (sqrt y) (- x (/ 16.0 116.0))) (pow (cbrt 3.0) 3))
  (* (pow (cbrt 3.0) 3) (- x (/ 16.0 116.0)))
  (* (cbrt 3.0) y)
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (* (pow (cbrt 3.0) 3) y))
  (* (* (pow (cbrt 3.0) 3) (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0)))) y)
  (expm1 (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (log1p (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))
  (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))
  (log (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (log (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (log (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (exp (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (* 3.0 (* 3.0 (pow (- x (/ 16.0 116.0)) 3)))
  (pow (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) 3)
  (* (cbrt (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))) (cbrt (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))))
  (cbrt (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (pow (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) 3)
  (sqrt (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (sqrt (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (* (sqrt (- x (/ 16.0 116.0))) (cbrt 3.0))
  (* (sqrt (- x (/ 16.0 116.0))) (cbrt 3.0))
  (* (cbrt 3.0) (- x (/ 16.0 116.0)))
  (* (pow (cbrt 3.0) 2) (cbrt (- x (/ 16.0 116.0))))
  (* (pow (cbrt 3.0) 2) (sqrt (- x (/ 16.0 116.0))))
  (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))
  (* (pow (cbrt 3.0) 2) (- (sqrt x) (sqrt (/ 16.0 116.0))))
  (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) (pow (cbrt 3.0) 2))
  (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))
  (* (pow (cbrt 3.0) 2) (- (pow x 3) (pow (/ 16.0 116.0) 3)))
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (pow (cbrt 3.0) 2))
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* (pow (cbrt 3.0) 2) (- x 0.13793103448275862))
  (* (pow (cbrt 3.0) 2) (- x 0.13793103448275862))
  (* (pow (cbrt 3.0) 2) (- x 0.13793103448275862))
4.484 * * * [progress]: adding candidates to table
4.676 * * [progress]: iteration 4 / 4
4.676 * * * [progress]: picking best candidate
4.689 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))>
4.689 * * * [progress]: localizing error
4.708 * * * [progress]: generating rewritten candidates
4.708 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
4.748 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
5.248 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
5.379 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
5.413 * * * [progress]: generating series expansions
5.413 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
5.415 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt 3.0) 8) 1/3) (- x 0.13793103448275862)) in (x) around 0
5.415 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt 3.0) 8) 1/3) (- x 0.13793103448275862)) in x
5.415 * [taylor]: Taking taylor expansion of (pow (pow (cbrt 3.0) 8) 1/3) in x
5.415 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt 3.0) 8)))) in x
5.415 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt 3.0) 8))) in x
5.415 * [taylor]: Taking taylor expansion of 1/3 in x
5.415 * [taylor]: Taking taylor expansion of (log (pow (cbrt 3.0) 8)) in x
5.415 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 8) in x
5.415 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.415 * [taylor]: Taking taylor expansion of 3.0 in x
5.424 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
5.424 * [taylor]: Taking taylor expansion of x in x
5.424 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
5.424 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt 3.0) 8) 1/3) (- x 0.13793103448275862)) in x
5.424 * [taylor]: Taking taylor expansion of (pow (pow (cbrt 3.0) 8) 1/3) in x
5.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt 3.0) 8)))) in x
5.424 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt 3.0) 8))) in x
5.424 * [taylor]: Taking taylor expansion of 1/3 in x
5.424 * [taylor]: Taking taylor expansion of (log (pow (cbrt 3.0) 8)) in x
5.424 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 8) in x
5.424 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.425 * [taylor]: Taking taylor expansion of 3.0 in x
5.433 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
5.433 * [taylor]: Taking taylor expansion of x in x
5.433 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
5.574 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt 3.0) 8) 1/3) (- (/ 1 x) 0.13793103448275862)) in (x) around 0
5.574 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt 3.0) 8) 1/3) (- (/ 1 x) 0.13793103448275862)) in x
5.574 * [taylor]: Taking taylor expansion of (pow (pow (cbrt 3.0) 8) 1/3) in x
5.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt 3.0) 8)))) in x
5.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt 3.0) 8))) in x
5.574 * [taylor]: Taking taylor expansion of 1/3 in x
5.574 * [taylor]: Taking taylor expansion of (log (pow (cbrt 3.0) 8)) in x
5.574 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 8) in x
5.574 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.574 * [taylor]: Taking taylor expansion of 3.0 in x
5.583 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
5.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.583 * [taylor]: Taking taylor expansion of x in x
5.583 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
5.584 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt 3.0) 8) 1/3) (- (/ 1 x) 0.13793103448275862)) in x
5.584 * [taylor]: Taking taylor expansion of (pow (pow (cbrt 3.0) 8) 1/3) in x
5.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt 3.0) 8)))) in x
5.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt 3.0) 8))) in x
5.584 * [taylor]: Taking taylor expansion of 1/3 in x
5.584 * [taylor]: Taking taylor expansion of (log (pow (cbrt 3.0) 8)) in x
5.584 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 8) in x
5.584 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.584 * [taylor]: Taking taylor expansion of 3.0 in x
5.600 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
5.600 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.600 * [taylor]: Taking taylor expansion of x in x
5.600 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
5.752 * [approximate]: Taking taylor expansion of (* -1 (* (pow (pow (cbrt 3.0) 8) 1/3) (+ 0.13793103448275862 (/ 1 x)))) in (x) around 0
5.752 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cbrt 3.0) 8) 1/3) (+ 0.13793103448275862 (/ 1 x)))) in x
5.752 * [taylor]: Taking taylor expansion of -1 in x
5.752 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt 3.0) 8) 1/3) (+ 0.13793103448275862 (/ 1 x))) in x
5.752 * [taylor]: Taking taylor expansion of (pow (pow (cbrt 3.0) 8) 1/3) in x
5.752 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt 3.0) 8)))) in x
5.752 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt 3.0) 8))) in x
5.752 * [taylor]: Taking taylor expansion of 1/3 in x
5.752 * [taylor]: Taking taylor expansion of (log (pow (cbrt 3.0) 8)) in x
5.752 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 8) in x
5.752 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.752 * [taylor]: Taking taylor expansion of 3.0 in x
5.761 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
5.761 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
5.761 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.761 * [taylor]: Taking taylor expansion of x in x
5.762 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cbrt 3.0) 8) 1/3) (+ 0.13793103448275862 (/ 1 x)))) in x
5.762 * [taylor]: Taking taylor expansion of -1 in x
5.762 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt 3.0) 8) 1/3) (+ 0.13793103448275862 (/ 1 x))) in x
5.762 * [taylor]: Taking taylor expansion of (pow (pow (cbrt 3.0) 8) 1/3) in x
5.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt 3.0) 8)))) in x
5.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt 3.0) 8))) in x
5.762 * [taylor]: Taking taylor expansion of 1/3 in x
5.762 * [taylor]: Taking taylor expansion of (log (pow (cbrt 3.0) 8)) in x
5.762 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 8) in x
5.762 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.762 * [taylor]: Taking taylor expansion of 3.0 in x
5.770 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
5.770 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
5.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.771 * [taylor]: Taking taylor expansion of x in x
5.928 * * * * [progress]: [ 2 / 4 ] generating series at (2)
5.931 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* (- x 0.13793103448275862) y)) in (x y) around 0
5.931 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* (- x 0.13793103448275862) y)) in y
5.931 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y
5.931 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
5.931 * [taylor]: Taking taylor expansion of 3.0 in y
5.932 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in y
5.932 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y
5.932 * [taylor]: Taking taylor expansion of x in y
5.932 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
5.932 * [taylor]: Taking taylor expansion of y in y
5.932 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* (- x 0.13793103448275862) y)) in x
5.932 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
5.932 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.932 * [taylor]: Taking taylor expansion of 3.0 in x
5.932 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
5.932 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
5.932 * [taylor]: Taking taylor expansion of x in x
5.932 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
5.932 * [taylor]: Taking taylor expansion of y in x
5.933 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (* (- x 0.13793103448275862) y)) in x
5.933 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
5.933 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.933 * [taylor]: Taking taylor expansion of 3.0 in x
5.933 * [taylor]: Taking taylor expansion of (* (- x 0.13793103448275862) y) in x
5.933 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
5.933 * [taylor]: Taking taylor expansion of x in x
5.933 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
5.933 * [taylor]: Taking taylor expansion of y in x
5.937 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y
5.937 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y
5.937 * [taylor]: Taking taylor expansion of y in y
5.940 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
5.940 * [taylor]: Taking taylor expansion of 3.0 in y
5.940 * [taylor]: Taking taylor expansion of y in y
5.945 * [taylor]: Taking taylor expansion of 0 in y
5.950 * [taylor]: Taking taylor expansion of 0 in y
5.956 * [taylor]: Taking taylor expansion of 0 in y
5.959 * [approximate]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) y) in (x y) around 0
5.959 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) y) in y
5.959 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) in y
5.959 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y
5.959 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
5.959 * [taylor]: Taking taylor expansion of 3.0 in y
5.959 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y
5.960 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.960 * [taylor]: Taking taylor expansion of x in y
5.960 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
5.960 * [taylor]: Taking taylor expansion of y in y
5.963 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) y) in x
5.963 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) in x
5.963 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
5.963 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.963 * [taylor]: Taking taylor expansion of 3.0 in x
5.964 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
5.964 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.964 * [taylor]: Taking taylor expansion of x in x
5.964 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
5.964 * [taylor]: Taking taylor expansion of y in x
5.967 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) y) in x
5.967 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) in x
5.967 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
5.967 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.967 * [taylor]: Taking taylor expansion of 3.0 in x
5.968 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
5.968 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.968 * [taylor]: Taking taylor expansion of x in x
5.968 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
5.968 * [taylor]: Taking taylor expansion of y in x
5.972 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
5.972 * [taylor]: Taking taylor expansion of 3.0 in y
5.972 * [taylor]: Taking taylor expansion of y in y
5.982 * [taylor]: Taking taylor expansion of (- (* 0.41379310344827586 (/ 1 y))) in y
5.982 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
5.982 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
5.982 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.982 * [taylor]: Taking taylor expansion of y in y
5.988 * [taylor]: Taking taylor expansion of 0 in y
5.994 * [taylor]: Taking taylor expansion of 0 in y
5.998 * [approximate]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) y) in (x y) around 0
5.998 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) y) in y
5.998 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) in y
5.998 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in y
5.998 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
5.998 * [taylor]: Taking taylor expansion of 3.0 in y
5.999 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in y
5.999 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y
5.999 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.999 * [taylor]: Taking taylor expansion of x in y
5.999 * [taylor]: Taking taylor expansion of y in y
6.002 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) y) in x
6.002 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) in x
6.002 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
6.002 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
6.002 * [taylor]: Taking taylor expansion of 3.0 in x
6.003 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.003 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.003 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.003 * [taylor]: Taking taylor expansion of x in x
6.003 * [taylor]: Taking taylor expansion of y in x
6.006 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) y) in x
6.006 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) in x
6.006 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
6.006 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
6.006 * [taylor]: Taking taylor expansion of 3.0 in x
6.007 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.007 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.007 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.007 * [taylor]: Taking taylor expansion of x in x
6.007 * [taylor]: Taking taylor expansion of y in x
6.011 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
6.011 * [taylor]: Taking taylor expansion of 3.0 in y
6.011 * [taylor]: Taking taylor expansion of y in y
6.015 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y
6.015 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y
6.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.015 * [taylor]: Taking taylor expansion of y in y
6.019 * [taylor]: Taking taylor expansion of 0 in y
6.024 * [taylor]: Taking taylor expansion of 0 in y
6.026 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
6.028 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- x 0.13793103448275862)) in (x) around 0
6.028 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- x 0.13793103448275862)) in x
6.028 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
6.028 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
6.028 * [taylor]: Taking taylor expansion of 3.0 in x
6.029 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
6.029 * [taylor]: Taking taylor expansion of x in x
6.029 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.029 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- x 0.13793103448275862)) in x
6.029 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
6.029 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
6.029 * [taylor]: Taking taylor expansion of 3.0 in x
6.030 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
6.030 * [taylor]: Taking taylor expansion of x in x
6.030 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.069 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) in (x) around 0
6.069 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) in x
6.069 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
6.069 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
6.069 * [taylor]: Taking taylor expansion of 3.0 in x
6.070 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
6.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.070 * [taylor]: Taking taylor expansion of x in x
6.070 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.070 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (- (/ 1 x) 0.13793103448275862)) in x
6.070 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
6.070 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
6.071 * [taylor]: Taking taylor expansion of 3.0 in x
6.071 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
6.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.071 * [taylor]: Taking taylor expansion of x in x
6.071 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.109 * [approximate]: Taking taylor expansion of (* -1 (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x)))) in (x) around 0
6.109 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x)))) in x
6.109 * [taylor]: Taking taylor expansion of -1 in x
6.109 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) in x
6.109 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
6.109 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
6.109 * [taylor]: Taking taylor expansion of 3.0 in x
6.110 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.110 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.110 * [taylor]: Taking taylor expansion of x in x
6.110 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x)))) in x
6.110 * [taylor]: Taking taylor expansion of -1 in x
6.110 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (+ 0.13793103448275862 (/ 1 x))) in x
6.110 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
6.110 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
6.110 * [taylor]: Taking taylor expansion of 3.0 in x
6.111 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.111 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.111 * [taylor]: Taking taylor expansion of x in x
6.156 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
6.157 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (- x 0.13793103448275862)) in (x) around 0
6.157 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (- x 0.13793103448275862)) in x
6.157 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
6.157 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
6.157 * [taylor]: Taking taylor expansion of 3.0 in x
6.158 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
6.158 * [taylor]: Taking taylor expansion of x in x
6.158 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.158 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (- x 0.13793103448275862)) in x
6.158 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
6.158 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
6.158 * [taylor]: Taking taylor expansion of 3.0 in x
6.159 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x
6.159 * [taylor]: Taking taylor expansion of x in x
6.159 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.187 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (- (/ 1 x) 0.13793103448275862)) in (x) around 0
6.187 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (- (/ 1 x) 0.13793103448275862)) in x
6.187 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
6.187 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
6.187 * [taylor]: Taking taylor expansion of 3.0 in x
6.188 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
6.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.188 * [taylor]: Taking taylor expansion of x in x
6.188 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.188 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (- (/ 1 x) 0.13793103448275862)) in x
6.188 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
6.188 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
6.188 * [taylor]: Taking taylor expansion of 3.0 in x
6.189 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x
6.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.189 * [taylor]: Taking taylor expansion of x in x
6.189 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.227 * [approximate]: Taking taylor expansion of (* -1 (* (pow (cbrt 3.0) 2) (+ 0.13793103448275862 (/ 1 x)))) in (x) around 0
6.227 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt 3.0) 2) (+ 0.13793103448275862 (/ 1 x)))) in x
6.227 * [taylor]: Taking taylor expansion of -1 in x
6.227 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (+ 0.13793103448275862 (/ 1 x))) in x
6.227 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
6.227 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
6.227 * [taylor]: Taking taylor expansion of 3.0 in x
6.228 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.228 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.228 * [taylor]: Taking taylor expansion of x in x
6.228 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt 3.0) 2) (+ 0.13793103448275862 (/ 1 x)))) in x
6.228 * [taylor]: Taking taylor expansion of -1 in x
6.228 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (+ 0.13793103448275862 (/ 1 x))) in x
6.228 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
6.228 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
6.228 * [taylor]: Taking taylor expansion of 3.0 in x
6.229 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (/ 1 x)) in x
6.229 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x
6.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.229 * [taylor]: Taking taylor expansion of x in x
6.270 * * * [progress]: simplifying candidates
6.273 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (log1p (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))
  (+ (+ (log (- x (/ 16.0 116.0))) (* (log (cbrt 3.0)) 2)) (log (cbrt (pow (cbrt 3.0) 2))))
  (+ (+ (log (- x (/ 16.0 116.0))) (* (log (cbrt 3.0)) 2)) (log (cbrt (pow (cbrt 3.0) 2))))
  (+ (+ (log (- x (/ 16.0 116.0))) (log (pow (cbrt 3.0) 2))) (log (cbrt (pow (cbrt 3.0) 2))))
  (+ (log (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))) (log (cbrt (pow (cbrt 3.0) 2))))
  (log (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (exp (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (* (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* (pow (cbrt 3.0) 2) (pow (cbrt 3.0) 2)) (pow (cbrt 3.0) 2))) (pow (cbrt 3.0) 2))
  (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))) (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))) (pow (cbrt 3.0) 2))
  (* (cbrt (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))) (cbrt (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))))
  (cbrt (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))) (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (sqrt (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (sqrt (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt (* (cbrt 3.0) (cbrt 3.0))) 2)))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt (sqrt 3.0)) 2)))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 1) 2)))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))) 2)))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (sqrt (cbrt 3.0)) 2)))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow 1 2)))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (cbrt 3.0)))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (* (cbrt (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (sqrt (pow (cbrt 3.0) 2))))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt 1))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) (/ 2 2))))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (* (cbrt (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt (pow (cbrt 3.0) 2)))))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (sqrt (cbrt (pow (cbrt 3.0) 2))))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) 1)
  (* (pow (cbrt 3.0) 2) (cbrt (pow (cbrt 3.0) 2)))
  (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))
  (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))
  (expm1 (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (log1p (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y)
  (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y)
  (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y)
  (+ (+ (+ (+ (log (- x (/ 16.0 116.0))) (* (log (cbrt 3.0)) 2)) (log (cbrt (pow (cbrt 3.0) 2)))) (log (cbrt (cbrt 3.0)))) (log y))
  (+ (+ (+ (+ (log (- x (/ 16.0 116.0))) (* (log (cbrt 3.0)) 2)) (log (cbrt (pow (cbrt 3.0) 2)))) (log (cbrt (cbrt 3.0)))) (log y))
  (+ (+ (+ (+ (log (- x (/ 16.0 116.0))) (log (pow (cbrt 3.0) 2))) (log (cbrt (pow (cbrt 3.0) 2)))) (log (cbrt (cbrt 3.0)))) (log y))
  (+ (+ (+ (log (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))) (log (cbrt (pow (cbrt 3.0) 2)))) (log (cbrt (cbrt 3.0)))) (log y))
  (+ (+ (log (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))) (log (cbrt (cbrt 3.0)))) (log y))
  (+ (log (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0)))) (log y))
  (log (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (exp (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (* (* (* (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* (pow (cbrt 3.0) 2) (pow (cbrt 3.0) 2)) (pow (cbrt 3.0) 2))) (pow (cbrt 3.0) 2)) (cbrt 3.0)) (* (* y y) y))
  (* (* (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))) (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))) (pow (cbrt 3.0) 2)) (cbrt 3.0)) (* (* y y) y))
  (* (* (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))) (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))) (cbrt 3.0)) (* (* y y) y))
  (* (* (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0)))) (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0)))) (* (* y y) y))
  (* (cbrt (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y)) (cbrt (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y)))
  (cbrt (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (* (* (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y) (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y)) (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (sqrt (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (sqrt (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) (* (cbrt y) (cbrt y)))
  (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) (sqrt y))
  (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) 1)
  (* (cbrt (cbrt 3.0)) y)
  (* (* (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y)
  (* (* (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y)
  (expm1 (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (log1p (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0)))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0)))
  (+ (+ (+ (log (- x (/ 16.0 116.0))) (* (log (cbrt 3.0)) 2)) (log (cbrt (pow (cbrt 3.0) 2)))) (log (cbrt (cbrt 3.0))))
  (+ (+ (+ (log (- x (/ 16.0 116.0))) (* (log (cbrt 3.0)) 2)) (log (cbrt (pow (cbrt 3.0) 2)))) (log (cbrt (cbrt 3.0))))
  (+ (+ (+ (log (- x (/ 16.0 116.0))) (log (pow (cbrt 3.0) 2))) (log (cbrt (pow (cbrt 3.0) 2)))) (log (cbrt (cbrt 3.0))))
  (+ (+ (log (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))) (log (cbrt (pow (cbrt 3.0) 2)))) (log (cbrt (cbrt 3.0))))
  (+ (log (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))) (log (cbrt (cbrt 3.0))))
  (log (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (exp (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (* (* (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* (pow (cbrt 3.0) 2) (pow (cbrt 3.0) 2)) (pow (cbrt 3.0) 2))) (pow (cbrt 3.0) 2)) (cbrt 3.0))
  (* (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))) (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))) (pow (cbrt 3.0) 2)) (cbrt 3.0))
  (* (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))) (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))) (cbrt 3.0))
  (* (cbrt (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0)))) (cbrt (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0)))))
  (cbrt (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (* (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0)))) (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (sqrt (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (sqrt (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt (* (cbrt 3.0) (cbrt 3.0)))))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt (sqrt 3.0))))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 1)))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (sqrt (cbrt 3.0))))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt 1))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (* (cbrt (cbrt (cbrt 3.0))) (cbrt (cbrt (cbrt 3.0)))))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (sqrt (cbrt (cbrt 3.0))))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) 1)
  (* (cbrt (pow (cbrt 3.0) 2)) (cbrt (cbrt 3.0)))
  (* (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0)))
  (* (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0)))
  (expm1 (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (log1p (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (+ (log (- x (/ 16.0 116.0))) (* (log (cbrt 3.0)) 2))
  (+ (log (- x (/ 16.0 116.0))) (* (log (cbrt 3.0)) 2))
  (+ (log (- x (/ 16.0 116.0))) (log (pow (cbrt 3.0) 2)))
  (log (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (exp (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* (pow (cbrt 3.0) 2) (pow (cbrt 3.0) 2)) (pow (cbrt 3.0) 2)))
  (* (cbrt (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))) (cbrt (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))))
  (cbrt (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))) (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (sqrt (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (sqrt (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (* (sqrt (- x (/ 16.0 116.0))) (pow (cbrt (sqrt 3.0)) 2))
  (* (sqrt (- x (/ 16.0 116.0))) (pow (cbrt (sqrt 3.0)) 2))
  (* (sqrt (- x (/ 16.0 116.0))) (pow (sqrt (cbrt 3.0)) 2))
  (* (sqrt (- x (/ 16.0 116.0))) (pow (sqrt (cbrt 3.0)) 2))
  (* (sqrt (- x (/ 16.0 116.0))) (cbrt 3.0))
  (* (sqrt (- x (/ 16.0 116.0))) (cbrt 3.0))
  (* (sqrt (- x (/ 16.0 116.0))) (sqrt (pow (cbrt 3.0) 2)))
  (* (sqrt (- x (/ 16.0 116.0))) (sqrt (pow (cbrt 3.0) 2)))
  (* (sqrt (- x (/ 16.0 116.0))) (pow (cbrt 3.0) (/ 2 2)))
  (* (sqrt (- x (/ 16.0 116.0))) (pow (cbrt 3.0) (/ 2 2)))
  (* (- x (/ 16.0 116.0)) (pow (cbrt (* (cbrt 3.0) (cbrt 3.0))) 2))
  (* (- x (/ 16.0 116.0)) (pow (cbrt (sqrt 3.0)) 2))
  (* (- x (/ 16.0 116.0)) (pow (cbrt 1) 2))
  (* (- x (/ 16.0 116.0)) (pow (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))) 2))
  (* (- x (/ 16.0 116.0)) (pow (sqrt (cbrt 3.0)) 2))
  (* (- x (/ 16.0 116.0)) (pow 1 2))
  (* (- x (/ 16.0 116.0)) (cbrt 3.0))
  (* (- x (/ 16.0 116.0)) (* (cbrt (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (* (- x (/ 16.0 116.0)) (sqrt (pow (cbrt 3.0) 2)))
  (* (- x (/ 16.0 116.0)) 1)
  (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) (/ 2 2)))
  (* (cbrt (- x (/ 16.0 116.0))) (pow (cbrt 3.0) 2))
  (* (sqrt (- x (/ 16.0 116.0))) (pow (cbrt 3.0) 2))
  (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))
  (* (- (sqrt x) (sqrt (/ 16.0 116.0))) (pow (cbrt 3.0) 2))
  (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) (pow (cbrt 3.0) 2))
  (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (pow (cbrt 3.0) 2))
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (pow (cbrt 3.0) 2))
  (- (* (pow (pow (cbrt 3.0) 8) 1/3) x) (* 0.13793103448275862 (pow (pow (cbrt 3.0) 8) 1/3)))
  (- (* (pow (pow (cbrt 3.0) 8) 1/3) x) (* 0.13793103448275862 (pow (pow (cbrt 3.0) 8) 1/3)))
  (- (* (pow (pow (cbrt 3.0) 8) 1/3) x) (* 0.13793103448275862 (pow (pow (cbrt 3.0) 8) 1/3)))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 (* x y)) (* 0.41379310344827586 y))
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (- (* (pow (cbrt 3.0) 2) x) (* 0.13793103448275862 (pow (cbrt 3.0) 2)))
  (- (* (pow (cbrt 3.0) 2) x) (* 0.13793103448275862 (pow (cbrt 3.0) 2)))
  (- (* (pow (cbrt 3.0) 2) x) (* 0.13793103448275862 (pow (cbrt 3.0) 2)))
6.279 * * [simplify]: iteration  0 :  221  enodes  (cost  2978 )
6.325 * * [simplify]: iteration  1 :  554  enodes  (cost  2799 )
6.497 * * [simplify]: iteration  2 :  2610  enodes  (cost  2388 )
8.067 * * [simplify]: iteration  done :  5001  enodes  (cost  2388 )
8.069 * [simplify]: Simplified to:
   (expm1 (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (log1p (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))
  (log (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (log (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (log (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (log (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (log (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (exp (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (* (pow (- x (/ 16.0 116.0)) 3) (pow (cbrt 3.0) 8))
  (* (pow (- x (/ 16.0 116.0)) 3) (pow (cbrt 3.0) 8))
  (* (cbrt (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))) (cbrt (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))))
  (cbrt (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (pow (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) 3)
  (sqrt (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (sqrt (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt (pow (cbrt 3.0) 2)) 2)))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt (sqrt 3.0)) 2)))
  (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))) 2)))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (cbrt 3.0)))
  (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (cbrt 3.0)))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt (pow (cbrt 3.0) 2)) 2)))
  (* (cbrt (fabs (cbrt 3.0))) (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (cbrt 3.0)))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (* (cbrt (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt (pow (cbrt 3.0) 2)))))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (sqrt (cbrt (pow (cbrt 3.0) 2))))
  (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))
  (* (pow (cbrt 3.0) 2) (cbrt (pow (cbrt 3.0) 2)))
  (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))
  (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))
  (expm1 (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (log1p (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y)
  (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y)
  (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y)
  (log (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (log (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (log (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (log (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (log (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (log (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (log (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (exp (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (* (* (cbrt 3.0) (pow y 3)) (* (pow (- x (/ 16.0 116.0)) 3) (pow (cbrt 3.0) 8)))
  (* (* (cbrt 3.0) (pow y 3)) (* (pow (- x (/ 16.0 116.0)) 3) (pow (cbrt 3.0) 8)))
  (* (pow (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) 3) (* (cbrt 3.0) (pow y 3)))
  (pow (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y) 3)
  (* (cbrt (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y)) (cbrt (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y)))
  (cbrt (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (pow (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y) 3)
  (sqrt (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (sqrt (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y))
  (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) (* (cbrt y) (cbrt y)))
  (* (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) (sqrt y))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0)))
  (* (cbrt (cbrt 3.0)) y)
  (* (* (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y)
  (* (* (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) y)
  (expm1 (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (log1p (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0)))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0)))
  (log (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (log (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (log (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (log (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (log (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (log (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (exp (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (* (cbrt 3.0) (* (pow (- x (/ 16.0 116.0)) 3) (pow (cbrt 3.0) 8)))
  (* (cbrt 3.0) (* (pow (- x (/ 16.0 116.0)) 3) (pow (cbrt 3.0) 8)))
  (* (pow (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) 3) (cbrt 3.0))
  (* (cbrt (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0)))) (cbrt (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0)))))
  (cbrt (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (pow (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))) 3)
  (sqrt (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (sqrt (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0))))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (* (cbrt (pow (cbrt 3.0) 2)) (cbrt (cbrt (pow (cbrt 3.0) 2)))))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt (sqrt 3.0))))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (sqrt (cbrt 3.0))))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (* (cbrt (cbrt (cbrt 3.0))) (cbrt (cbrt (cbrt 3.0)))))
  (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (sqrt (cbrt (cbrt 3.0))))
  (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))
  (* (cbrt (pow (cbrt 3.0) 2)) (cbrt (cbrt 3.0)))
  (* (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0)))
  (* (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (cbrt (cbrt 3.0)))
  (expm1 (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (log1p (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (log (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (log (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (log (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (log (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (exp (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (pow (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) 3)
  (* (cbrt (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))) (cbrt (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))))
  (cbrt (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (pow (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) 3)
  (sqrt (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (sqrt (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)))
  (* (sqrt (- x (/ 16.0 116.0))) (pow (cbrt (sqrt 3.0)) 2))
  (* (sqrt (- x (/ 16.0 116.0))) (pow (cbrt (sqrt 3.0)) 2))
  (* (cbrt 3.0) (sqrt (- x (/ 16.0 116.0))))
  (* (cbrt 3.0) (sqrt (- x (/ 16.0 116.0))))
  (* (cbrt 3.0) (sqrt (- x (/ 16.0 116.0))))
  (* (cbrt 3.0) (sqrt (- x (/ 16.0 116.0))))
  (* (fabs (cbrt 3.0)) (sqrt (- x (/ 16.0 116.0))))
  (* (fabs (cbrt 3.0)) (sqrt (- x (/ 16.0 116.0))))
  (* (cbrt 3.0) (sqrt (- x (/ 16.0 116.0))))
  (* (cbrt 3.0) (sqrt (- x (/ 16.0 116.0))))
  (* (pow (cbrt (pow (cbrt 3.0) 2)) 2) (- x (/ 16.0 116.0)))
  (* (- x (/ 16.0 116.0)) (pow (cbrt (sqrt 3.0)) 2))
  (- x (/ 16.0 116.0))
  (* (- x (/ 16.0 116.0)) (pow (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))) 2))
  (* (cbrt 3.0) (- x (/ 16.0 116.0)))
  (- x (/ 16.0 116.0))
  (* (cbrt 3.0) (- x (/ 16.0 116.0)))
  (* (pow (cbrt (pow (cbrt 3.0) 2)) 2) (- x (/ 16.0 116.0)))
  (* (- x (/ 16.0 116.0)) (fabs (cbrt 3.0)))
  (- x (/ 16.0 116.0))
  (* (cbrt 3.0) (- x (/ 16.0 116.0)))
  (* (cbrt (- x (/ 16.0 116.0))) (pow (cbrt 3.0) 2))
  (* (sqrt (- x (/ 16.0 116.0))) (pow (cbrt 3.0) 2))
  (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))
  (* (- (sqrt x) (sqrt (/ 16.0 116.0))) (pow (cbrt 3.0) 2))
  (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) (pow (cbrt 3.0) 2))
  (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2))
  (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) (pow (cbrt 3.0) 2))
  (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (pow (cbrt 3.0) 2))
  (* (cbrt (pow (cbrt 3.0) 8)) (- x 0.13793103448275862))
  (* (cbrt (pow (cbrt 3.0) 8)) (- x 0.13793103448275862))
  (* (cbrt (pow (cbrt 3.0) 8)) (- x 0.13793103448275862))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (* y (- (* 3.0 x) 0.41379310344827586))
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (- (* 3.0 x) 0.41379310344827586)
  (* (pow (cbrt 3.0) 2) (- x 0.13793103448275862))
  (* (pow (cbrt 3.0) 2) (- x 0.13793103448275862))
  (* (pow (cbrt 3.0) 2) (- x 0.13793103448275862))
8.070 * * * [progress]: adding candidates to table
8.419 * [progress]: [Phase 3 of 3] Extracting.
8.419 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (/ (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<alt (λ (x y) (* (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))) y))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (* (cbrt (cbrt 3.0)) y)))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) 3.0) (sqrt y)) (sqrt y)))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* 3.0 y)))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 2) (cbrt (pow (cbrt 3.0) 2)))) (cbrt (cbrt 3.0))) y))>)
8.420 * * * [regime-changes]: Trying 5 branch expressions: ((- x (/ 16.0 116.0)) (* (- x (/ 16.0 116.0)) 3.0) (* (* (- x (/ 16.0 116.0)) 3.0) y) y x)
8.420 * * * * [regimes]: Trying to branch on (- x (/ 16.0 116.0)) from (#<alt (λ (x y) (/ (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<alt (λ (x y) (* (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))) y))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (* (cbrt (cbrt 3.0)) y)))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) 3.0) (sqrt y)) (sqrt y)))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* 3.0 y)))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 2) (cbrt (pow (cbrt 3.0) 2)))) (cbrt (cbrt 3.0))) y))>)
8.446 * * * * [regimes]: Trying to branch on (* (- x (/ 16.0 116.0)) 3.0) from (#<alt (λ (x y) (/ (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<alt (λ (x y) (* (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))) y))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (* (cbrt (cbrt 3.0)) y)))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) 3.0) (sqrt y)) (sqrt y)))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* 3.0 y)))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 2) (cbrt (pow (cbrt 3.0) 2)))) (cbrt (cbrt 3.0))) y))>)
8.470 * * * * [regimes]: Trying to branch on (* (* (- x (/ 16.0 116.0)) 3.0) y) from (#<alt (λ (x y) (/ (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<alt (λ (x y) (* (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))) y))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (* (cbrt (cbrt 3.0)) y)))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) 3.0) (sqrt y)) (sqrt y)))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* 3.0 y)))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 2) (cbrt (pow (cbrt 3.0) 2)))) (cbrt (cbrt 3.0))) y))>)
8.495 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (/ (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<alt (λ (x y) (* (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))) y))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (* (cbrt (cbrt 3.0)) y)))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) 3.0) (sqrt y)) (sqrt y)))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* 3.0 y)))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 2) (cbrt (pow (cbrt 3.0) 2)))) (cbrt (cbrt 3.0))) y))>)
8.522 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (/ (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))))> #<alt (λ (x y) (* (/ (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0))))) y))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2))) (* (cbrt (cbrt 3.0)) y)))> #<alt (λ (x y) (* (* (- x (/ 16.0 116.0)) 3.0) y))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) 3.0) (sqrt y)) (sqrt y)))> #<alt (λ (x y) (* (- x (/ 16.0 116.0)) (* 3.0 y)))> #<alt (λ (x y) (* (* (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 2) (cbrt (pow (cbrt 3.0) 2)))) (cbrt (cbrt 3.0))) y))>)
8.548 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
8.549 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (- x (/ 16.0 116.0)) 3.0) y)
8.549 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
8.549 * * [simplify]: iteration  1 :  11  enodes  (cost  9 )
8.549 * * [simplify]: iteration  done :  11  enodes  (cost  9 )
8.549 * [simplify]: Simplified to:
   (* (* (- x (/ 16.0 116.0)) 3.0) y)
9.119 * [regime-testing]: Baseline error score: 0.19611887579724505
9.120 * [regime-testing]: Oracle error score: 0.014251781472684086
9.121 * [regime-testing]: End program error score: 0.19611887579724505
9.138 * [regime-testing]: Target error score: 0.1917220855732868