14.176 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.041 * * * [progress]: [2/2] Setting up program.
0.047 * [progress]: [Phase 2 of 3] Improving.
0.047 * [simplify]: Simplifying:
  (+ (* x y) (* (- 1.0 x) z))
0.048 * * [simplify]: Extracting # 0 : cost  0
0.048 * * [simplify]: Extracting # 1 : cost  0
0.048 * * [simplify]: Extracting # 2 : cost  0
0.048 * * [simplify]: Extracting # 3 : cost  0
0.048 * * [simplify]: Extracting # 4 : cost  0
0.048 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.051 * * [simplify]: Extracting # 0 : cost  0
0.051 * * [simplify]: Extracting # 1 : cost  0
0.051 * * [simplify]: Extracting # 2 : cost  0
0.051 * * [simplify]: iteration  1 :  14  enodes  (cost  8 )
0.056 * * [simplify]: Extracting # 0 : cost  0
0.057 * * [simplify]: Extracting # 1 : cost  0
0.057 * * [simplify]: Extracting # 2 : cost  0
0.057 * * [simplify]: iteration  2 :  24  enodes  (cost  8 )
0.066 * * [simplify]: Extracting # 0 : cost  0
0.066 * * [simplify]: Extracting # 1 : cost  0
0.066 * * [simplify]: Extracting # 2 : cost  0
0.066 * * [simplify]: iteration  3 :  40  enodes  (cost  8 )
0.088 * * [simplify]: Extracting # 0 : cost  0
0.089 * * [simplify]: Extracting # 1 : cost  0
0.089 * * [simplify]: Extracting # 2 : cost  0
0.089 * * [simplify]: iteration  4 :  66  enodes  (cost  8 )
0.112 * * [simplify]: Extracting # 0 : cost  0
0.112 * * [simplify]: Extracting # 1 : cost  0
0.113 * * [simplify]: Extracting # 2 : cost  0
0.113 * * [simplify]: Extracting # 3 : cost  0
0.113 * * [simplify]: iteration  5 :  92  enodes  (cost  8 )
0.140 * * [simplify]: Extracting # 0 : cost  0
0.141 * * [simplify]: Extracting # 1 : cost  0
0.141 * * [simplify]: Extracting # 2 : cost  0
0.141 * * [simplify]: Extracting # 3 : cost  0
0.141 * * [simplify]: iteration  6 :  110  enodes  (cost  8 )
0.165 * * [simplify]: Extracting # 0 : cost  0
0.165 * * [simplify]: Extracting # 1 : cost  0
0.165 * * [simplify]: Extracting # 2 : cost  0
0.165 * * [simplify]: Extracting # 3 : cost  0
0.165 * * [simplify]: iteration  7 :  136  enodes  (cost  8 )
0.201 * * [simplify]: Extracting # 0 : cost  0
0.201 * * [simplify]: Extracting # 1 : cost  0
0.202 * * [simplify]: Extracting # 2 : cost  0
0.202 * * [simplify]: iteration  8 :  188  enodes  (cost  8 )
0.286 * * [simplify]: Extracting # 0 : cost  0
0.286 * * [simplify]: Extracting # 1 : cost  0
0.286 * * [simplify]: Extracting # 2 : cost  0
0.287 * * [simplify]: iteration  9 :  475  enodes  (cost  8 )
0.596 * * [simplify]: Extracting # 0 : cost  0
0.600 * * [simplify]: Extracting # 1 : cost  0
0.604 * * [simplify]: Extracting # 2 : cost  0
0.607 * * [simplify]: iteration  10 :  2057  enodes  (cost  8 )
3.542 * * [simplify]: Extracting # 0 : cost  0
3.564 * * [simplify]: Extracting # 1 : cost  0
3.568 * * [simplify]: Extracting # 2 : cost  0
3.573 * * [simplify]: iteration done:  5000  enodes  (cost  8 )
3.573 * [simplify]: Simplified to:
  (fma x y (* (- 1.0 x) z))
3.577 * * [progress]: iteration 1 / 4
3.577 * * * [progress]: picking best candidate
3.580 * * * * [pick]: Picked  #<alt (λ (x y z) (fma x y (* (- 1.0 x) z)))>
3.580 * * * [progress]: localizing error
3.588 * * * [progress]: generating rewritten candidates
3.588 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3)
3.613 * * * [progress]: generating series expansions
3.613 * * * * [progress]: [ 1 / 1 ] generating series at (2 3)
3.613 * [backup-simplify]: Simplify (* (- 1.0 x) z) into (* z (- 1.0 x))
3.614 * [approximate]: Taking taylor expansion of (* z (- 1.0 x)) in (x z) around 0
3.614 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in z
3.614 * [taylor]: Taking taylor expansion of z in z
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify 1 into 1
3.614 * [taylor]: Taking taylor expansion of (- 1.0 x) in z
3.614 * [taylor]: Taking taylor expansion of 1.0 in z
3.614 * [backup-simplify]: Simplify 1.0 into 1.0
3.614 * [taylor]: Taking taylor expansion of x in z
3.614 * [backup-simplify]: Simplify x into x
3.614 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in x
3.614 * [taylor]: Taking taylor expansion of z in x
3.614 * [backup-simplify]: Simplify z into z
3.614 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
3.614 * [taylor]: Taking taylor expansion of 1.0 in x
3.614 * [backup-simplify]: Simplify 1.0 into 1.0
3.614 * [taylor]: Taking taylor expansion of x in x
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify 1 into 1
3.614 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in x
3.614 * [taylor]: Taking taylor expansion of z in x
3.614 * [backup-simplify]: Simplify z into z
3.614 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
3.614 * [taylor]: Taking taylor expansion of 1.0 in x
3.614 * [backup-simplify]: Simplify 1.0 into 1.0
3.614 * [taylor]: Taking taylor expansion of x in x
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [backup-simplify]: Simplify 1 into 1
3.614 * [backup-simplify]: Simplify (- 0) into 0
3.615 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.615 * [backup-simplify]: Simplify (* z 1.0) into (* 1.0 z)
3.615 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
3.615 * [taylor]: Taking taylor expansion of 1.0 in z
3.615 * [backup-simplify]: Simplify 1.0 into 1.0
3.615 * [taylor]: Taking taylor expansion of z in z
3.615 * [backup-simplify]: Simplify 0 into 0
3.615 * [backup-simplify]: Simplify 1 into 1
3.615 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.615 * [backup-simplify]: Simplify 0 into 0
3.615 * [backup-simplify]: Simplify (- 1) into -1
3.616 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.616 * [backup-simplify]: Simplify (+ (* z -1) (* 0 1.0)) into (- z)
3.616 * [taylor]: Taking taylor expansion of (- z) in z
3.616 * [taylor]: Taking taylor expansion of z in z
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 1 into 1
3.616 * [backup-simplify]: Simplify (- 0) into 0
3.616 * [backup-simplify]: Simplify 0 into 0
3.617 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.617 * [backup-simplify]: Simplify 1.0 into 1.0
3.618 * [backup-simplify]: Simplify (- 0) into 0
3.618 * [backup-simplify]: Simplify (+ 0 0) into 0
3.618 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 -1) (* 0 1.0))) into 0
3.618 * [taylor]: Taking taylor expansion of 0 in z
3.618 * [backup-simplify]: Simplify 0 into 0
3.618 * [backup-simplify]: Simplify 0 into 0
3.619 * [backup-simplify]: Simplify (- 1) into -1
3.619 * [backup-simplify]: Simplify -1 into -1
3.619 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
3.619 * [backup-simplify]: Simplify 0 into 0
3.620 * [backup-simplify]: Simplify (- 0) into 0
3.620 * [backup-simplify]: Simplify (+ 0 0) into 0
3.620 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 -1) (* 0 1.0)))) into 0
3.620 * [taylor]: Taking taylor expansion of 0 in z
3.620 * [backup-simplify]: Simplify 0 into 0
3.620 * [backup-simplify]: Simplify 0 into 0
3.620 * [backup-simplify]: Simplify 0 into 0
3.621 * [backup-simplify]: Simplify (- 0) into 0
3.621 * [backup-simplify]: Simplify 0 into 0
3.621 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.621 * [backup-simplify]: Simplify 0 into 0
3.622 * [backup-simplify]: Simplify (- 0) into 0
3.622 * [backup-simplify]: Simplify (+ 0 0) into 0
3.622 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 1.0))))) into 0
3.622 * [taylor]: Taking taylor expansion of 0 in z
3.622 * [backup-simplify]: Simplify 0 into 0
3.622 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify (+ (* -1 (* z x)) (* 1.0 (* z 1))) into (- (* 1.0 z) (* x z))
3.623 * [backup-simplify]: Simplify (* (- 1.0 (/ 1 x)) (/ 1 z)) into (/ (- 1.0 (/ 1 x)) z)
3.623 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in (x z) around 0
3.623 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in z
3.623 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z
3.623 * [taylor]: Taking taylor expansion of 1.0 in z
3.623 * [backup-simplify]: Simplify 1.0 into 1.0
3.623 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.623 * [taylor]: Taking taylor expansion of x in z
3.623 * [backup-simplify]: Simplify x into x
3.623 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.623 * [taylor]: Taking taylor expansion of z in z
3.623 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify 1 into 1
3.623 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.623 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x))
3.623 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x))
3.623 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in x
3.623 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
3.623 * [taylor]: Taking taylor expansion of 1.0 in x
3.623 * [backup-simplify]: Simplify 1.0 into 1.0
3.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.623 * [taylor]: Taking taylor expansion of x in x
3.623 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify 1 into 1
3.623 * [backup-simplify]: Simplify (/ 1 1) into 1
3.623 * [taylor]: Taking taylor expansion of z in x
3.623 * [backup-simplify]: Simplify z into z
3.624 * [backup-simplify]: Simplify (- 1) into -1
3.624 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.624 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
3.624 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in x
3.624 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
3.624 * [taylor]: Taking taylor expansion of 1.0 in x
3.624 * [backup-simplify]: Simplify 1.0 into 1.0
3.624 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.624 * [taylor]: Taking taylor expansion of x in x
3.624 * [backup-simplify]: Simplify 0 into 0
3.624 * [backup-simplify]: Simplify 1 into 1
3.624 * [backup-simplify]: Simplify (/ 1 1) into 1
3.624 * [taylor]: Taking taylor expansion of z in x
3.624 * [backup-simplify]: Simplify z into z
3.625 * [backup-simplify]: Simplify (- 1) into -1
3.625 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.625 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
3.625 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.625 * [taylor]: Taking taylor expansion of -1 in z
3.625 * [backup-simplify]: Simplify -1 into -1
3.625 * [taylor]: Taking taylor expansion of z in z
3.625 * [backup-simplify]: Simplify 0 into 0
3.625 * [backup-simplify]: Simplify 1 into 1
3.625 * [backup-simplify]: Simplify (/ -1 1) into -1
3.625 * [backup-simplify]: Simplify -1 into -1
3.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.626 * [backup-simplify]: Simplify (- 0) into 0
3.626 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.626 * [backup-simplify]: Simplify (- (/ 1.0 z) (+ (* (/ -1 z) (/ 0 z)))) into (* 1.0 (/ 1 z))
3.626 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
3.626 * [taylor]: Taking taylor expansion of 1.0 in z
3.626 * [backup-simplify]: Simplify 1.0 into 1.0
3.626 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.626 * [taylor]: Taking taylor expansion of z in z
3.626 * [backup-simplify]: Simplify 0 into 0
3.626 * [backup-simplify]: Simplify 1 into 1
3.627 * [backup-simplify]: Simplify (/ 1 1) into 1
3.627 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.627 * [backup-simplify]: Simplify 1.0 into 1.0
3.627 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.628 * [backup-simplify]: Simplify 0 into 0
3.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.628 * [backup-simplify]: Simplify (- 0) into 0
3.628 * [backup-simplify]: Simplify (+ 0 0) into 0
3.629 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* (* 1.0 (/ 1 z)) (/ 0 z)))) into 0
3.629 * [taylor]: Taking taylor expansion of 0 in z
3.629 * [backup-simplify]: Simplify 0 into 0
3.629 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.629 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.630 * [backup-simplify]: Simplify 0 into 0
3.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.630 * [backup-simplify]: Simplify 0 into 0
3.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.631 * [backup-simplify]: Simplify (- 0) into 0
3.631 * [backup-simplify]: Simplify (+ 0 0) into 0
3.631 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* (* 1.0 (/ 1 z)) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.631 * [taylor]: Taking taylor expansion of 0 in z
3.631 * [backup-simplify]: Simplify 0 into 0
3.631 * [backup-simplify]: Simplify 0 into 0
3.632 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.632 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
3.632 * [backup-simplify]: Simplify 0 into 0
3.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.633 * [backup-simplify]: Simplify 0 into 0
3.633 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 z)) 1)) (* -1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 x))))) into (- (* 1.0 z) (* x z))
3.633 * [backup-simplify]: Simplify (* (- 1.0 (/ 1 (- x))) (/ 1 (- z))) into (* -1 (/ (+ (/ 1 x) 1.0) z))
3.633 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in (x z) around 0
3.633 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in z
3.633 * [taylor]: Taking taylor expansion of -1 in z
3.633 * [backup-simplify]: Simplify -1 into -1
3.633 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in z
3.633 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z
3.633 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.633 * [taylor]: Taking taylor expansion of x in z
3.633 * [backup-simplify]: Simplify x into x
3.633 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.633 * [taylor]: Taking taylor expansion of 1.0 in z
3.633 * [backup-simplify]: Simplify 1.0 into 1.0
3.633 * [taylor]: Taking taylor expansion of z in z
3.633 * [backup-simplify]: Simplify 0 into 0
3.633 * [backup-simplify]: Simplify 1 into 1
3.634 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ 1.0 (/ 1 x))
3.634 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 x)) 1) into (+ (/ 1 x) 1.0)
3.634 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in x
3.634 * [taylor]: Taking taylor expansion of -1 in x
3.634 * [backup-simplify]: Simplify -1 into -1
3.634 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in x
3.634 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
3.634 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.634 * [taylor]: Taking taylor expansion of x in x
3.634 * [backup-simplify]: Simplify 0 into 0
3.634 * [backup-simplify]: Simplify 1 into 1
3.634 * [backup-simplify]: Simplify (/ 1 1) into 1
3.634 * [taylor]: Taking taylor expansion of 1.0 in x
3.634 * [backup-simplify]: Simplify 1.0 into 1.0
3.634 * [taylor]: Taking taylor expansion of z in x
3.634 * [backup-simplify]: Simplify z into z
3.634 * [backup-simplify]: Simplify (+ 1 0) into 1
3.634 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.634 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in x
3.634 * [taylor]: Taking taylor expansion of -1 in x
3.634 * [backup-simplify]: Simplify -1 into -1
3.634 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in x
3.634 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
3.634 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.634 * [taylor]: Taking taylor expansion of x in x
3.635 * [backup-simplify]: Simplify 0 into 0
3.635 * [backup-simplify]: Simplify 1 into 1
3.635 * [backup-simplify]: Simplify (/ 1 1) into 1
3.635 * [taylor]: Taking taylor expansion of 1.0 in x
3.635 * [backup-simplify]: Simplify 1.0 into 1.0
3.635 * [taylor]: Taking taylor expansion of z in x
3.635 * [backup-simplify]: Simplify z into z
3.635 * [backup-simplify]: Simplify (+ 1 0) into 1
3.635 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.635 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z)
3.635 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.635 * [taylor]: Taking taylor expansion of -1 in z
3.635 * [backup-simplify]: Simplify -1 into -1
3.635 * [taylor]: Taking taylor expansion of z in z
3.635 * [backup-simplify]: Simplify 0 into 0
3.635 * [backup-simplify]: Simplify 1 into 1
3.636 * [backup-simplify]: Simplify (/ -1 1) into -1
3.636 * [backup-simplify]: Simplify -1 into -1
3.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.636 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.636 * [backup-simplify]: Simplify (- (/ 1.0 z) (+ (* (/ 1 z) (/ 0 z)))) into (* 1.0 (/ 1 z))
3.636 * [backup-simplify]: Simplify (+ (* -1 (* 1.0 (/ 1 z))) (* 0 (/ 1 z))) into (- (* 1.0 (/ 1 z)))
3.637 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z
3.637 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
3.637 * [taylor]: Taking taylor expansion of 1.0 in z
3.637 * [backup-simplify]: Simplify 1.0 into 1.0
3.637 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.637 * [taylor]: Taking taylor expansion of z in z
3.637 * [backup-simplify]: Simplify 0 into 0
3.637 * [backup-simplify]: Simplify 1 into 1
3.637 * [backup-simplify]: Simplify (/ 1 1) into 1
3.637 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.637 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.638 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.638 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.638 * [backup-simplify]: Simplify 0 into 0
3.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.639 * [backup-simplify]: Simplify (+ 0 0) into 0
3.639 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (* 1.0 (/ 1 z)) (/ 0 z)))) into 0
3.639 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 1.0 (/ 1 z))) (* 0 (/ 1 z)))) into 0
3.639 * [taylor]: Taking taylor expansion of 0 in z
3.639 * [backup-simplify]: Simplify 0 into 0
3.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.640 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.640 * [backup-simplify]: Simplify (- 0) into 0
3.640 * [backup-simplify]: Simplify 0 into 0
3.641 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.641 * [backup-simplify]: Simplify 0 into 0
3.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.642 * [backup-simplify]: Simplify (+ 0 0) into 0
3.642 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (* 1.0 (/ 1 z)) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.642 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (* 1.0 (/ 1 z))) (* 0 (/ 1 z))))) into 0
3.642 * [taylor]: Taking taylor expansion of 0 in z
3.642 * [backup-simplify]: Simplify 0 into 0
3.643 * [backup-simplify]: Simplify 0 into 0
3.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.644 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
3.644 * [backup-simplify]: Simplify (- 0) into 0
3.644 * [backup-simplify]: Simplify 0 into 0
3.644 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.644 * [backup-simplify]: Simplify 0 into 0
3.645 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 (- z))) 1)) (* -1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- x)))))) into (- (* 1.0 z) (* x z))
3.645 * * * [progress]: simplifying candidates
3.645 * [simplify]: Simplifying:
  (expm1 (* (- 1.0 x) z))
  (log1p (* (- 1.0 x) z))
  (* (- 1.0 x) z)
  (+ (log (- 1.0 x)) (log z))
  (log (* (- 1.0 x) z))
  (exp (* (- 1.0 x) z))
  (* (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* z z) z))
  (* (cbrt (* (- 1.0 x) z)) (cbrt (* (- 1.0 x) z)))
  (cbrt (* (- 1.0 x) z))
  (* (* (* (- 1.0 x) z) (* (- 1.0 x) z)) (* (- 1.0 x) z))
  (sqrt (* (- 1.0 x) z))
  (sqrt (* (- 1.0 x) z))
  (* (sqrt (- 1.0 x)) (sqrt z))
  (* (sqrt (- 1.0 x)) (sqrt z))
  (* (- 1.0 x) (* (cbrt z) (cbrt z)))
  (* (- 1.0 x) (sqrt z))
  (* (- 1.0 x) 1)
  (* (cbrt (- 1.0 x)) z)
  (* (sqrt (- 1.0 x)) z)
  (* (- 1.0 x) z)
  (* (- (sqrt 1.0) (sqrt x)) z)
  (* (- 1.0 x) z)
  (* (- (pow 1.0 3) (pow x 3)) z)
  (* (- (* 1.0 1.0) (* x x)) z)
  (- (* 1.0 z) (* x z))
  (- (* 1.0 z) (* x z))
  (- (* 1.0 z) (* x z))
3.646 * * [simplify]: Extracting # 0 : cost  0
3.646 * * [simplify]: Extracting # 1 : cost  0
3.646 * * [simplify]: Extracting # 2 : cost  0
3.646 * * [simplify]: Extracting # 3 : cost  0
3.646 * * [simplify]: Extracting # 4 : cost  0
3.646 * * [simplify]: Extracting # 5 : cost  0
3.646 * * [simplify]: iteration  0 :  50  enodes  (cost  203 )
3.656 * * [simplify]: Extracting # 0 : cost  0
3.656 * * [simplify]: Extracting # 1 : cost  0
3.656 * * [simplify]: Extracting # 2 : cost  0
3.656 * * [simplify]: Extracting # 3 : cost  0
3.656 * * [simplify]: Extracting # 4 : cost  0
3.657 * * [simplify]: iteration  1 :  114  enodes  (cost  194 )
3.691 * * [simplify]: Extracting # 0 : cost  0
3.692 * * [simplify]: Extracting # 1 : cost  0
3.693 * * [simplify]: Extracting # 2 : cost  0
3.693 * * [simplify]: Extracting # 3 : cost  0
3.694 * * [simplify]: Extracting # 4 : cost  0
3.694 * * [simplify]: Extracting # 5 : cost  0
3.695 * * [simplify]: iteration  2 :  447  enodes  (cost  176 )
4.449 * * [simplify]: Extracting # 0 : cost  0
4.464 * * [simplify]: Extracting # 1 : cost  0
4.473 * * [simplify]: Extracting # 2 : cost  0
4.481 * * [simplify]: Extracting # 3 : cost  0
4.489 * * [simplify]: Extracting # 4 : cost  0
4.497 * * [simplify]: iteration  3 :  4953  enodes  (cost  174 )
8.883 * * [simplify]: Extracting # 0 : cost  0
8.899 * * [simplify]: iteration done:  5000  enodes  (cost  174 )
8.900 * [simplify]: Simplified to:
  (expm1 (* (- 1.0 x) z))
  (log1p (* (- 1.0 x) z))
  (* z (- 1.0 x))
  (log (* (- 1.0 x) z))
  (log (* (- 1.0 x) z))
  (exp (* (- 1.0 x) z))
  (pow (* z (- 1.0 x)) 3)
  (* (cbrt (* (- 1.0 x) z)) (cbrt (* (- 1.0 x) z)))
  (cbrt (* (- 1.0 x) z))
  (pow (* z (- 1.0 x)) 3)
  (sqrt (* (- 1.0 x) z))
  (sqrt (* (- 1.0 x) z))
  (* (sqrt (- 1.0 x)) (sqrt z))
  (* (sqrt (- 1.0 x)) (sqrt z))
  (* (* (cbrt z) (cbrt z)) (- 1.0 x))
  (* (sqrt z) (- 1.0 x))
  (- 1.0 x)
  (* (cbrt (- 1.0 x)) z)
  (* (sqrt (- 1.0 x)) z)
  (* z (- 1.0 x))
  (* (- (sqrt 1.0) (sqrt x)) z)
  (* z (- 1.0 x))
  (* (- (pow 1.0 3) (pow x 3)) z)
  (* (- (* 1.0 1.0) (* x x)) z)
  (* z (- 1.0 x))
  (* z (- 1.0 x))
  (* z (- 1.0 x))
8.900 * * * [progress]: adding candidates to table
9.024 * * [progress]: iteration 2 / 4
9.024 * * * [progress]: picking best candidate
9.030 * * * * [pick]: Picked  #<alt (λ (x y z) (fma x y (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (* (cbrt (- 1.0 x)) z))))>
9.030 * * * [progress]: localizing error
9.046 * * * [progress]: generating rewritten candidates
9.046 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2 1)
9.050 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1 2)
9.054 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 1)
9.061 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1)
9.137 * * * [progress]: generating series expansions
9.137 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2 1)
9.137 * [backup-simplify]: Simplify (cbrt (- 1.0 x)) into (pow (- 1.0 x) 1/3)
9.137 * [approximate]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in (x) around 0
9.137 * [taylor]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in x
9.137 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 x)))) in x
9.137 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 x))) in x
9.137 * [taylor]: Taking taylor expansion of 1/3 in x
9.137 * [backup-simplify]: Simplify 1/3 into 1/3
9.138 * [taylor]: Taking taylor expansion of (log (- 1.0 x)) in x
9.138 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
9.138 * [taylor]: Taking taylor expansion of 1.0 in x
9.138 * [backup-simplify]: Simplify 1.0 into 1.0
9.138 * [taylor]: Taking taylor expansion of x in x
9.138 * [backup-simplify]: Simplify 0 into 0
9.138 * [backup-simplify]: Simplify 1 into 1
9.138 * [backup-simplify]: Simplify (- 0) into 0
9.139 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.139 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
9.140 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
9.142 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
9.142 * [taylor]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in x
9.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 x)))) in x
9.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 x))) in x
9.142 * [taylor]: Taking taylor expansion of 1/3 in x
9.142 * [backup-simplify]: Simplify 1/3 into 1/3
9.142 * [taylor]: Taking taylor expansion of (log (- 1.0 x)) in x
9.142 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
9.142 * [taylor]: Taking taylor expansion of 1.0 in x
9.142 * [backup-simplify]: Simplify 1.0 into 1.0
9.142 * [taylor]: Taking taylor expansion of x in x
9.142 * [backup-simplify]: Simplify 0 into 0
9.142 * [backup-simplify]: Simplify 1 into 1
9.142 * [backup-simplify]: Simplify (- 0) into 0
9.143 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.143 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
9.144 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
9.146 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
9.146 * [backup-simplify]: Simplify (pow 1.0 1/3) into (pow 1.0 1/3)
9.147 * [backup-simplify]: Simplify (- 1) into -1
9.147 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.153 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0
9.155 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (log 1.0))) into (- 0.3333333333333333)
9.161 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow 1.0 1/3))
9.162 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow 1.0 1/3)) into (* -0.3333333333333333 (pow 1.0 1/3))
9.162 * [backup-simplify]: Simplify (- 0) into 0
9.163 * [backup-simplify]: Simplify (+ 0 0) into 0
9.172 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
9.175 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 1.0 2))) (+ (* 0 -1.0) (* 0 (log 1.0)))) into (- (* 1/6 (/ 1 (pow 1.0 2))))
9.193 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 1.0 2)))) 1) 1)))) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
9.196 * [backup-simplify]: Simplify (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
9.200 * [backup-simplify]: Simplify (+ (* (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) (pow x 2)) (+ (* (* -0.3333333333333333 (pow 1.0 1/3)) x) (pow 1.0 1/3))) into (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
9.200 * [backup-simplify]: Simplify (cbrt (- 1.0 (/ 1 x))) into (pow (- 1.0 (/ 1 x)) 1/3)
9.200 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0
9.200 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
9.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
9.200 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
9.200 * [taylor]: Taking taylor expansion of 1/3 in x
9.200 * [backup-simplify]: Simplify 1/3 into 1/3
9.200 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
9.200 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
9.200 * [taylor]: Taking taylor expansion of 1.0 in x
9.200 * [backup-simplify]: Simplify 1.0 into 1.0
9.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.200 * [taylor]: Taking taylor expansion of x in x
9.200 * [backup-simplify]: Simplify 0 into 0
9.200 * [backup-simplify]: Simplify 1 into 1
9.200 * [backup-simplify]: Simplify (/ 1 1) into 1
9.201 * [backup-simplify]: Simplify (- 1) into -1
9.201 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.201 * [backup-simplify]: Simplify (log -1) into (log -1)
9.202 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
9.202 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x)))
9.202 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
9.202 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
9.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
9.202 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
9.202 * [taylor]: Taking taylor expansion of 1/3 in x
9.202 * [backup-simplify]: Simplify 1/3 into 1/3
9.202 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
9.202 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
9.202 * [taylor]: Taking taylor expansion of 1.0 in x
9.202 * [backup-simplify]: Simplify 1.0 into 1.0
9.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.202 * [taylor]: Taking taylor expansion of x in x
9.202 * [backup-simplify]: Simplify 0 into 0
9.202 * [backup-simplify]: Simplify 1 into 1
9.203 * [backup-simplify]: Simplify (/ 1 1) into 1
9.203 * [backup-simplify]: Simplify (- 1) into -1
9.203 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.203 * [backup-simplify]: Simplify (log -1) into (log -1)
9.204 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
9.204 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x)))
9.204 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
9.205 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
9.205 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.206 * [backup-simplify]: Simplify (- 0) into 0
9.206 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.210 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
9.210 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
9.211 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (log -1) (log x)))) into (- 0.3333333333333333)
9.213 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x)))))
9.213 * [backup-simplify]: Simplify (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x))))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x)))))
9.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.214 * [backup-simplify]: Simplify (- 0) into 0
9.214 * [backup-simplify]: Simplify (+ 0 0) into 0
9.220 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
9.221 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
9.221 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 -1.0) (* 0 (- (log -1) (log x))))) into (- 0.16666666666666666)
9.225 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x)))))
9.226 * [backup-simplify]: Simplify (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x))))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x)))))
9.227 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log (/ 1 x)))))) (pow (/ 1 x) 2)) (+ (* (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log (/ 1 x)))))) (/ 1 x)) (exp (* 1/3 (- (log -1) (log (/ 1 x))))))) into (- (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) x)) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (pow x 2)))))
9.228 * [backup-simplify]: Simplify (cbrt (- 1.0 (/ 1 (- x)))) into (pow (+ (/ 1 x) 1.0) 1/3)
9.228 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in (x) around 0
9.228 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
9.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
9.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
9.228 * [taylor]: Taking taylor expansion of 1/3 in x
9.228 * [backup-simplify]: Simplify 1/3 into 1/3
9.228 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
9.228 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
9.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.228 * [taylor]: Taking taylor expansion of x in x
9.228 * [backup-simplify]: Simplify 0 into 0
9.228 * [backup-simplify]: Simplify 1 into 1
9.228 * [backup-simplify]: Simplify (/ 1 1) into 1
9.228 * [taylor]: Taking taylor expansion of 1.0 in x
9.228 * [backup-simplify]: Simplify 1.0 into 1.0
9.229 * [backup-simplify]: Simplify (+ 1 0) into 1
9.229 * [backup-simplify]: Simplify (log 1) into 0
9.229 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
9.229 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
9.229 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
9.229 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
9.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
9.229 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
9.229 * [taylor]: Taking taylor expansion of 1/3 in x
9.229 * [backup-simplify]: Simplify 1/3 into 1/3
9.229 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
9.230 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
9.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.230 * [taylor]: Taking taylor expansion of x in x
9.230 * [backup-simplify]: Simplify 0 into 0
9.230 * [backup-simplify]: Simplify 1 into 1
9.230 * [backup-simplify]: Simplify (/ 1 1) into 1
9.230 * [taylor]: Taking taylor expansion of 1.0 in x
9.230 * [backup-simplify]: Simplify 1.0 into 1.0
9.230 * [backup-simplify]: Simplify (+ 1 0) into 1
9.230 * [backup-simplify]: Simplify (log 1) into 0
9.231 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
9.231 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
9.231 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
9.231 * [backup-simplify]: Simplify (pow x -1/3) into (pow x -1/3)
9.231 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.232 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.235 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
9.235 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
9.236 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (log x)))) into 0.3333333333333333
9.237 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 x) 1/3))
9.237 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 x) 1/3)) into (* 0.3333333333333333 (pow (/ 1 x) 1/3))
9.238 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.238 * [backup-simplify]: Simplify (+ 0 0) into 0
9.244 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
9.245 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
9.245 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 1.0) (* 0 (- (log x))))) into (- 0.16666666666666666)
9.249 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
9.249 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 x) 1/3)) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
9.250 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (/ 1 (- x))) 1/3)) (pow (/ 1 (- x)) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (/ 1 (- x))) 1/3)) (/ 1 (- x))) (pow (/ 1 (- x)) -1/3))) into (- (pow (/ -1 x) -1/3) (+ (* 0.1111111111111111 (pow (/ -1 (pow x 5)) 1/3)) (* 0.3333333333333333 (pow (/ -1 (pow x 2)) 1/3))))
9.250 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1 2)
9.250 * [backup-simplify]: Simplify (cbrt (- 1.0 x)) into (pow (- 1.0 x) 1/3)
9.250 * [approximate]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in (x) around 0
9.250 * [taylor]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in x
9.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 x)))) in x
9.250 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 x))) in x
9.250 * [taylor]: Taking taylor expansion of 1/3 in x
9.251 * [backup-simplify]: Simplify 1/3 into 1/3
9.251 * [taylor]: Taking taylor expansion of (log (- 1.0 x)) in x
9.251 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
9.251 * [taylor]: Taking taylor expansion of 1.0 in x
9.251 * [backup-simplify]: Simplify 1.0 into 1.0
9.251 * [taylor]: Taking taylor expansion of x in x
9.251 * [backup-simplify]: Simplify 0 into 0
9.251 * [backup-simplify]: Simplify 1 into 1
9.251 * [backup-simplify]: Simplify (- 0) into 0
9.251 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.252 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
9.252 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
9.253 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
9.253 * [taylor]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in x
9.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 x)))) in x
9.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 x))) in x
9.253 * [taylor]: Taking taylor expansion of 1/3 in x
9.253 * [backup-simplify]: Simplify 1/3 into 1/3
9.253 * [taylor]: Taking taylor expansion of (log (- 1.0 x)) in x
9.253 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
9.253 * [taylor]: Taking taylor expansion of 1.0 in x
9.253 * [backup-simplify]: Simplify 1.0 into 1.0
9.253 * [taylor]: Taking taylor expansion of x in x
9.253 * [backup-simplify]: Simplify 0 into 0
9.253 * [backup-simplify]: Simplify 1 into 1
9.254 * [backup-simplify]: Simplify (- 0) into 0
9.254 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.254 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
9.255 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
9.255 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
9.256 * [backup-simplify]: Simplify (pow 1.0 1/3) into (pow 1.0 1/3)
9.256 * [backup-simplify]: Simplify (- 1) into -1
9.256 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.260 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0
9.261 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (log 1.0))) into (- 0.3333333333333333)
9.264 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow 1.0 1/3))
9.265 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow 1.0 1/3)) into (* -0.3333333333333333 (pow 1.0 1/3))
9.265 * [backup-simplify]: Simplify (- 0) into 0
9.265 * [backup-simplify]: Simplify (+ 0 0) into 0
9.271 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
9.276 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 1.0 2))) (+ (* 0 -1.0) (* 0 (log 1.0)))) into (- (* 1/6 (/ 1 (pow 1.0 2))))
9.286 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 1.0 2)))) 1) 1)))) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
9.290 * [backup-simplify]: Simplify (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
9.298 * [backup-simplify]: Simplify (+ (* (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) (pow x 2)) (+ (* (* -0.3333333333333333 (pow 1.0 1/3)) x) (pow 1.0 1/3))) into (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
9.298 * [backup-simplify]: Simplify (cbrt (- 1.0 (/ 1 x))) into (pow (- 1.0 (/ 1 x)) 1/3)
9.298 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0
9.298 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
9.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
9.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
9.298 * [taylor]: Taking taylor expansion of 1/3 in x
9.298 * [backup-simplify]: Simplify 1/3 into 1/3
9.298 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
9.298 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
9.298 * [taylor]: Taking taylor expansion of 1.0 in x
9.298 * [backup-simplify]: Simplify 1.0 into 1.0
9.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.298 * [taylor]: Taking taylor expansion of x in x
9.298 * [backup-simplify]: Simplify 0 into 0
9.298 * [backup-simplify]: Simplify 1 into 1
9.299 * [backup-simplify]: Simplify (/ 1 1) into 1
9.299 * [backup-simplify]: Simplify (- 1) into -1
9.300 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.300 * [backup-simplify]: Simplify (log -1) into (log -1)
9.301 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
9.302 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x)))
9.302 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
9.303 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
9.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
9.303 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
9.303 * [taylor]: Taking taylor expansion of 1/3 in x
9.303 * [backup-simplify]: Simplify 1/3 into 1/3
9.303 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
9.303 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
9.303 * [taylor]: Taking taylor expansion of 1.0 in x
9.303 * [backup-simplify]: Simplify 1.0 into 1.0
9.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.303 * [taylor]: Taking taylor expansion of x in x
9.303 * [backup-simplify]: Simplify 0 into 0
9.303 * [backup-simplify]: Simplify 1 into 1
9.304 * [backup-simplify]: Simplify (/ 1 1) into 1
9.304 * [backup-simplify]: Simplify (- 1) into -1
9.304 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.305 * [backup-simplify]: Simplify (log -1) into (log -1)
9.306 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
9.306 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x)))
9.307 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
9.308 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
9.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.309 * [backup-simplify]: Simplify (- 0) into 0
9.309 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.316 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
9.317 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
9.318 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (log -1) (log x)))) into (- 0.3333333333333333)
9.321 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x)))))
9.321 * [backup-simplify]: Simplify (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x))))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x)))))
9.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.322 * [backup-simplify]: Simplify (- 0) into 0
9.322 * [backup-simplify]: Simplify (+ 0 0) into 0
9.329 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
9.329 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
9.330 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 -1.0) (* 0 (- (log -1) (log x))))) into (- 0.16666666666666666)
9.334 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x)))))
9.334 * [backup-simplify]: Simplify (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x))))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x)))))
9.335 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log (/ 1 x)))))) (pow (/ 1 x) 2)) (+ (* (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log (/ 1 x)))))) (/ 1 x)) (exp (* 1/3 (- (log -1) (log (/ 1 x))))))) into (- (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) x)) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (pow x 2)))))
9.335 * [backup-simplify]: Simplify (cbrt (- 1.0 (/ 1 (- x)))) into (pow (+ (/ 1 x) 1.0) 1/3)
9.336 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in (x) around 0
9.336 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
9.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
9.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
9.336 * [taylor]: Taking taylor expansion of 1/3 in x
9.336 * [backup-simplify]: Simplify 1/3 into 1/3
9.336 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
9.336 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
9.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.336 * [taylor]: Taking taylor expansion of x in x
9.336 * [backup-simplify]: Simplify 0 into 0
9.336 * [backup-simplify]: Simplify 1 into 1
9.336 * [backup-simplify]: Simplify (/ 1 1) into 1
9.336 * [taylor]: Taking taylor expansion of 1.0 in x
9.336 * [backup-simplify]: Simplify 1.0 into 1.0
9.336 * [backup-simplify]: Simplify (+ 1 0) into 1
9.337 * [backup-simplify]: Simplify (log 1) into 0
9.337 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
9.337 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
9.337 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
9.337 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
9.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
9.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
9.337 * [taylor]: Taking taylor expansion of 1/3 in x
9.337 * [backup-simplify]: Simplify 1/3 into 1/3
9.337 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
9.337 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
9.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.337 * [taylor]: Taking taylor expansion of x in x
9.337 * [backup-simplify]: Simplify 0 into 0
9.337 * [backup-simplify]: Simplify 1 into 1
9.337 * [backup-simplify]: Simplify (/ 1 1) into 1
9.337 * [taylor]: Taking taylor expansion of 1.0 in x
9.337 * [backup-simplify]: Simplify 1.0 into 1.0
9.338 * [backup-simplify]: Simplify (+ 1 0) into 1
9.338 * [backup-simplify]: Simplify (log 1) into 0
9.338 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
9.338 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
9.338 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
9.338 * [backup-simplify]: Simplify (pow x -1/3) into (pow x -1/3)
9.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.339 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.343 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
9.343 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
9.343 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (log x)))) into 0.3333333333333333
9.345 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 x) 1/3))
9.345 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 x) 1/3)) into (* 0.3333333333333333 (pow (/ 1 x) 1/3))
9.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.346 * [backup-simplify]: Simplify (+ 0 0) into 0
9.352 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
9.352 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
9.353 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 1.0) (* 0 (- (log x))))) into (- 0.16666666666666666)
9.357 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
9.357 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 x) 1/3)) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
9.358 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (/ 1 (- x))) 1/3)) (pow (/ 1 (- x)) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (/ 1 (- x))) 1/3)) (/ 1 (- x))) (pow (/ 1 (- x)) -1/3))) into (- (pow (/ -1 x) -1/3) (+ (* 0.1111111111111111 (pow (/ -1 (pow x 5)) 1/3)) (* 0.3333333333333333 (pow (/ -1 (pow x 2)) 1/3))))
9.358 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 1)
9.359 * [backup-simplify]: Simplify (cbrt (- 1.0 x)) into (pow (- 1.0 x) 1/3)
9.359 * [approximate]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in (x) around 0
9.359 * [taylor]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in x
9.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 x)))) in x
9.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 x))) in x
9.359 * [taylor]: Taking taylor expansion of 1/3 in x
9.359 * [backup-simplify]: Simplify 1/3 into 1/3
9.359 * [taylor]: Taking taylor expansion of (log (- 1.0 x)) in x
9.359 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
9.359 * [taylor]: Taking taylor expansion of 1.0 in x
9.359 * [backup-simplify]: Simplify 1.0 into 1.0
9.359 * [taylor]: Taking taylor expansion of x in x
9.359 * [backup-simplify]: Simplify 0 into 0
9.359 * [backup-simplify]: Simplify 1 into 1
9.360 * [backup-simplify]: Simplify (- 0) into 0
9.360 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.361 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
9.362 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
9.363 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
9.363 * [taylor]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in x
9.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 x)))) in x
9.363 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 x))) in x
9.363 * [taylor]: Taking taylor expansion of 1/3 in x
9.363 * [backup-simplify]: Simplify 1/3 into 1/3
9.363 * [taylor]: Taking taylor expansion of (log (- 1.0 x)) in x
9.363 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
9.363 * [taylor]: Taking taylor expansion of 1.0 in x
9.364 * [backup-simplify]: Simplify 1.0 into 1.0
9.364 * [taylor]: Taking taylor expansion of x in x
9.364 * [backup-simplify]: Simplify 0 into 0
9.364 * [backup-simplify]: Simplify 1 into 1
9.364 * [backup-simplify]: Simplify (- 0) into 0
9.364 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.365 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
9.366 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
9.367 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
9.368 * [backup-simplify]: Simplify (pow 1.0 1/3) into (pow 1.0 1/3)
9.368 * [backup-simplify]: Simplify (- 1) into -1
9.368 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.372 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0
9.373 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (log 1.0))) into (- 0.3333333333333333)
9.376 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow 1.0 1/3))
9.377 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow 1.0 1/3)) into (* -0.3333333333333333 (pow 1.0 1/3))
9.378 * [backup-simplify]: Simplify (- 0) into 0
9.378 * [backup-simplify]: Simplify (+ 0 0) into 0
9.386 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
9.389 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 1.0 2))) (+ (* 0 -1.0) (* 0 (log 1.0)))) into (- (* 1/6 (/ 1 (pow 1.0 2))))
9.402 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 1.0 2)))) 1) 1)))) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
9.407 * [backup-simplify]: Simplify (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
9.414 * [backup-simplify]: Simplify (+ (* (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) (pow x 2)) (+ (* (* -0.3333333333333333 (pow 1.0 1/3)) x) (pow 1.0 1/3))) into (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
9.414 * [backup-simplify]: Simplify (cbrt (- 1.0 (/ 1 x))) into (pow (- 1.0 (/ 1 x)) 1/3)
9.414 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0
9.414 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
9.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
9.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
9.414 * [taylor]: Taking taylor expansion of 1/3 in x
9.414 * [backup-simplify]: Simplify 1/3 into 1/3
9.414 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
9.415 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
9.415 * [taylor]: Taking taylor expansion of 1.0 in x
9.415 * [backup-simplify]: Simplify 1.0 into 1.0
9.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.415 * [taylor]: Taking taylor expansion of x in x
9.415 * [backup-simplify]: Simplify 0 into 0
9.415 * [backup-simplify]: Simplify 1 into 1
9.415 * [backup-simplify]: Simplify (/ 1 1) into 1
9.415 * [backup-simplify]: Simplify (- 1) into -1
9.416 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.416 * [backup-simplify]: Simplify (log -1) into (log -1)
9.417 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
9.417 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x)))
9.418 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
9.418 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
9.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
9.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
9.418 * [taylor]: Taking taylor expansion of 1/3 in x
9.418 * [backup-simplify]: Simplify 1/3 into 1/3
9.418 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
9.418 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
9.418 * [taylor]: Taking taylor expansion of 1.0 in x
9.418 * [backup-simplify]: Simplify 1.0 into 1.0
9.418 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.418 * [taylor]: Taking taylor expansion of x in x
9.418 * [backup-simplify]: Simplify 0 into 0
9.418 * [backup-simplify]: Simplify 1 into 1
9.419 * [backup-simplify]: Simplify (/ 1 1) into 1
9.419 * [backup-simplify]: Simplify (- 1) into -1
9.419 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.420 * [backup-simplify]: Simplify (log -1) into (log -1)
9.421 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
9.421 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x)))
9.422 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
9.422 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
9.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.423 * [backup-simplify]: Simplify (- 0) into 0
9.424 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.430 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
9.431 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
9.432 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (log -1) (log x)))) into (- 0.3333333333333333)
9.435 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x)))))
9.436 * [backup-simplify]: Simplify (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x))))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x)))))
9.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.437 * [backup-simplify]: Simplify (- 0) into 0
9.438 * [backup-simplify]: Simplify (+ 0 0) into 0
9.449 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
9.450 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
9.451 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 -1.0) (* 0 (- (log -1) (log x))))) into (- 0.16666666666666666)
9.458 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x)))))
9.459 * [backup-simplify]: Simplify (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x))))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x)))))
9.461 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log (/ 1 x)))))) (pow (/ 1 x) 2)) (+ (* (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log (/ 1 x)))))) (/ 1 x)) (exp (* 1/3 (- (log -1) (log (/ 1 x))))))) into (- (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) x)) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (pow x 2)))))
9.461 * [backup-simplify]: Simplify (cbrt (- 1.0 (/ 1 (- x)))) into (pow (+ (/ 1 x) 1.0) 1/3)
9.461 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in (x) around 0
9.461 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
9.461 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
9.461 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
9.461 * [taylor]: Taking taylor expansion of 1/3 in x
9.461 * [backup-simplify]: Simplify 1/3 into 1/3
9.461 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
9.461 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
9.461 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.461 * [taylor]: Taking taylor expansion of x in x
9.461 * [backup-simplify]: Simplify 0 into 0
9.461 * [backup-simplify]: Simplify 1 into 1
9.462 * [backup-simplify]: Simplify (/ 1 1) into 1
9.462 * [taylor]: Taking taylor expansion of 1.0 in x
9.462 * [backup-simplify]: Simplify 1.0 into 1.0
9.462 * [backup-simplify]: Simplify (+ 1 0) into 1
9.462 * [backup-simplify]: Simplify (log 1) into 0
9.463 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
9.463 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
9.463 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
9.463 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
9.463 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
9.463 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
9.463 * [taylor]: Taking taylor expansion of 1/3 in x
9.463 * [backup-simplify]: Simplify 1/3 into 1/3
9.463 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
9.463 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
9.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.463 * [taylor]: Taking taylor expansion of x in x
9.463 * [backup-simplify]: Simplify 0 into 0
9.463 * [backup-simplify]: Simplify 1 into 1
9.464 * [backup-simplify]: Simplify (/ 1 1) into 1
9.464 * [taylor]: Taking taylor expansion of 1.0 in x
9.464 * [backup-simplify]: Simplify 1.0 into 1.0
9.464 * [backup-simplify]: Simplify (+ 1 0) into 1
9.465 * [backup-simplify]: Simplify (log 1) into 0
9.465 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
9.465 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
9.465 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
9.466 * [backup-simplify]: Simplify (pow x -1/3) into (pow x -1/3)
9.466 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.467 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.473 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
9.474 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
9.475 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (log x)))) into 0.3333333333333333
9.477 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 x) 1/3))
9.477 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 x) 1/3)) into (* 0.3333333333333333 (pow (/ 1 x) 1/3))
9.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.479 * [backup-simplify]: Simplify (+ 0 0) into 0
9.491 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
9.491 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
9.492 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 1.0) (* 0 (- (log x))))) into (- 0.16666666666666666)
9.498 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
9.498 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 x) 1/3)) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
9.499 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (/ 1 (- x))) 1/3)) (pow (/ 1 (- x)) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (/ 1 (- x))) 1/3)) (/ 1 (- x))) (pow (/ 1 (- x)) -1/3))) into (- (pow (/ -1 x) -1/3) (+ (* 0.1111111111111111 (pow (/ -1 (pow x 5)) 1/3)) (* 0.3333333333333333 (pow (/ -1 (pow x 2)) 1/3))))
9.499 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1)
9.499 * [backup-simplify]: Simplify (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) into (pow (pow (- 1.0 x) 2) 1/3)
9.499 * [approximate]: Taking taylor expansion of (pow (pow (- 1.0 x) 2) 1/3) in (x) around 0
9.499 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 x) 2) 1/3) in x
9.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1.0 x) 2)))) in x
9.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1.0 x) 2))) in x
9.500 * [taylor]: Taking taylor expansion of 1/3 in x
9.500 * [backup-simplify]: Simplify 1/3 into 1/3
9.500 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 x) 2)) in x
9.500 * [taylor]: Taking taylor expansion of (pow (- 1.0 x) 2) in x
9.500 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
9.500 * [taylor]: Taking taylor expansion of 1.0 in x
9.500 * [backup-simplify]: Simplify 1.0 into 1.0
9.500 * [taylor]: Taking taylor expansion of x in x
9.500 * [backup-simplify]: Simplify 0 into 0
9.500 * [backup-simplify]: Simplify 1 into 1
9.500 * [backup-simplify]: Simplify (- 0) into 0
9.500 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.501 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
9.501 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
9.501 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
9.502 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
9.502 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 x) 2) 1/3) in x
9.502 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1.0 x) 2)))) in x
9.502 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1.0 x) 2))) in x
9.502 * [taylor]: Taking taylor expansion of 1/3 in x
9.502 * [backup-simplify]: Simplify 1/3 into 1/3
9.502 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 x) 2)) in x
9.502 * [taylor]: Taking taylor expansion of (pow (- 1.0 x) 2) in x
9.502 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
9.502 * [taylor]: Taking taylor expansion of 1.0 in x
9.502 * [backup-simplify]: Simplify 1.0 into 1.0
9.502 * [taylor]: Taking taylor expansion of x in x
9.502 * [backup-simplify]: Simplify 0 into 0
9.502 * [backup-simplify]: Simplify 1 into 1
9.503 * [backup-simplify]: Simplify (- 0) into 0
9.503 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.503 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
9.503 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
9.504 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
9.505 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
9.505 * [backup-simplify]: Simplify (pow 1.0 1/3) into (pow 1.0 1/3)
9.505 * [backup-simplify]: Simplify (- 1) into -1
9.506 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.507 * [backup-simplify]: Simplify (+ (* 1.0 -1) (* -1 1.0)) into (- 2.0)
9.514 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 2.0)) 1)) (pow 1.0 1)))) 1) into -2.0
9.515 * [backup-simplify]: Simplify (+ (* 1/3 -2.0) (* 0 (log 1.0))) into (- 0.6666666666666666)
9.518 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow (- 0.6666666666666666) 1) 1)))) into (* -0.6666666666666666 (pow 1.0 1/3))
9.519 * [backup-simplify]: Simplify (* -0.6666666666666666 (pow 1.0 1/3)) into (* -0.6666666666666666 (pow 1.0 1/3))
9.519 * [backup-simplify]: Simplify (- 0) into 0
9.519 * [backup-simplify]: Simplify (+ 0 0) into 0
9.520 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* -1 -1) (* 0 1.0))) into 1
9.528 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 2.0)) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1.0 1)))) 2) into (* 1/2 (- 2.0 (* 4.0 (/ 1 (pow 1.0 2)))))
9.533 * [backup-simplify]: Simplify (+ (* 1/3 (* 1/2 (- 2.0 (* 4.0 (/ 1 (pow 1.0 2)))))) (+ (* 0 -2.0) (* 0 (log 1.0)))) into (- 0.3333333333333333 (* 0.6666666666666666 (/ 1 (pow 1.0 2))))
9.544 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow (- 0.6666666666666666) 2) 2)) (* (/ (pow (- 0.3333333333333333 (* 0.6666666666666666 (/ 1 (pow 1.0 2)))) 1) 1)))) into (* (pow 1.0 1/3) (- 0.5555555555555556 (* 0.6666666666666666 (/ 1 (pow 1.0 2)))))
9.548 * [backup-simplify]: Simplify (* (pow 1.0 1/3) (- 0.5555555555555556 (* 0.6666666666666666 (/ 1 (pow 1.0 2))))) into (* (pow 1.0 1/3) (- 0.5555555555555556 (* 0.6666666666666666 (/ 1 (pow 1.0 2)))))
9.552 * [backup-simplify]: Simplify (+ (* (* (pow 1.0 1/3) (- 0.5555555555555556 (* 0.6666666666666666 (/ 1 (pow 1.0 2))))) (pow x 2)) (+ (* (* -0.6666666666666666 (pow 1.0 1/3)) x) (pow 1.0 1/3))) into (- (+ (* 0.5555555555555556 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.6666666666666666 (* x (pow 1.0 1/3))) (* 0.6666666666666666 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
9.552 * [backup-simplify]: Simplify (* (cbrt (- 1.0 (/ 1 x))) (cbrt (- 1.0 (/ 1 x)))) into (pow (pow (- 1.0 (/ 1 x)) 2) 1/3)
9.552 * [approximate]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 x)) 2) 1/3) in (x) around 0
9.552 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 x)) 2) 1/3) in x
9.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1.0 (/ 1 x)) 2)))) in x
9.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1.0 (/ 1 x)) 2))) in x
9.552 * [taylor]: Taking taylor expansion of 1/3 in x
9.552 * [backup-simplify]: Simplify 1/3 into 1/3
9.552 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 (/ 1 x)) 2)) in x
9.552 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 2) in x
9.553 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
9.553 * [taylor]: Taking taylor expansion of 1.0 in x
9.553 * [backup-simplify]: Simplify 1.0 into 1.0
9.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.553 * [taylor]: Taking taylor expansion of x in x
9.553 * [backup-simplify]: Simplify 0 into 0
9.553 * [backup-simplify]: Simplify 1 into 1
9.553 * [backup-simplify]: Simplify (/ 1 1) into 1
9.553 * [backup-simplify]: Simplify (- 1) into -1
9.553 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.554 * [backup-simplify]: Simplify (* -1 -1) into 1
9.554 * [backup-simplify]: Simplify (log 1) into 0
9.554 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
9.554 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log x)))) into (* -2/3 (log x))
9.554 * [backup-simplify]: Simplify (exp (* -2/3 (log x))) into (pow x -2/3)
9.554 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 x)) 2) 1/3) in x
9.554 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1.0 (/ 1 x)) 2)))) in x
9.554 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1.0 (/ 1 x)) 2))) in x
9.554 * [taylor]: Taking taylor expansion of 1/3 in x
9.554 * [backup-simplify]: Simplify 1/3 into 1/3
9.554 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 (/ 1 x)) 2)) in x
9.554 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 2) in x
9.554 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
9.554 * [taylor]: Taking taylor expansion of 1.0 in x
9.554 * [backup-simplify]: Simplify 1.0 into 1.0
9.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.554 * [taylor]: Taking taylor expansion of x in x
9.554 * [backup-simplify]: Simplify 0 into 0
9.554 * [backup-simplify]: Simplify 1 into 1
9.555 * [backup-simplify]: Simplify (/ 1 1) into 1
9.555 * [backup-simplify]: Simplify (- 1) into -1
9.555 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.555 * [backup-simplify]: Simplify (* -1 -1) into 1
9.556 * [backup-simplify]: Simplify (log 1) into 0
9.556 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
9.556 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log x)))) into (* -2/3 (log x))
9.556 * [backup-simplify]: Simplify (exp (* -2/3 (log x))) into (pow x -2/3)
9.556 * [backup-simplify]: Simplify (pow x -2/3) into (pow x -2/3)
9.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.557 * [backup-simplify]: Simplify (- 0) into 0
9.557 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.558 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 1.0 -1)) into (- 2.0)
9.563 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 2.0)) 1)) (pow 1 1)))) 1) into -2.0
9.563 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
9.563 * [backup-simplify]: Simplify (+ (* 1/3 -2.0) (* 0 (- (* 2 (log x))))) into (- 0.6666666666666666)
9.565 * [backup-simplify]: Simplify (* (exp (* -2/3 (log x))) (+ (* (/ (pow (- 0.6666666666666666) 1) 1)))) into (* -0.6666666666666666 (pow (/ 1 (pow x 2)) 1/3))
9.565 * [backup-simplify]: Simplify (* -0.6666666666666666 (pow (/ 1 (pow x 2)) 1/3)) into (* -0.6666666666666666 (pow (/ 1 (pow x 2)) 1/3))
9.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.566 * [backup-simplify]: Simplify (- 0) into 0
9.566 * [backup-simplify]: Simplify (+ 0 0) into 0
9.568 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 1.0) (* 0 -1))) into 1.0
9.576 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 2.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1.0) 1)) (pow 1 1)))) 2) into -1.0
9.577 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
9.577 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (+ (* 0 -2.0) (* 0 (- (* 2 (log x)))))) into (- 0.3333333333333333)
9.581 * [backup-simplify]: Simplify (* (exp (* -2/3 (log x))) (+ (* (/ (pow (- 0.6666666666666666) 2) 2)) (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 (pow x 2)) 1/3))
9.581 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 (pow x 2)) 1/3)) into (* -0.1111111111111111 (pow (/ 1 (pow x 2)) 1/3))
9.581 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (pow (/ 1 x) 2)) 1/3)) (pow (/ 1 x) 2)) (+ (* (* -0.6666666666666666 (pow (/ 1 (pow (/ 1 x) 2)) 1/3)) (/ 1 x)) (pow (/ 1 x) -2/3))) into (- (pow (/ 1 x) -2/3) (+ (* 0.1111111111111111 (pow (/ 1 (pow x 4)) 1/3)) (* 0.6666666666666666 (pow (/ 1 x) 1/3))))
9.582 * [backup-simplify]: Simplify (* (cbrt (- 1.0 (/ 1 (- x)))) (cbrt (- 1.0 (/ 1 (- x))))) into (pow (pow (+ (/ 1 x) 1.0) 2) 1/3)
9.582 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 x) 1.0) 2) 1/3) in (x) around 0
9.582 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 x) 1.0) 2) 1/3) in x
9.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 x) 1.0) 2)))) in x
9.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 x) 1.0) 2))) in x
9.582 * [taylor]: Taking taylor expansion of 1/3 in x
9.582 * [backup-simplify]: Simplify 1/3 into 1/3
9.582 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 x) 1.0) 2)) in x
9.582 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 2) in x
9.582 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
9.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.582 * [taylor]: Taking taylor expansion of x in x
9.582 * [backup-simplify]: Simplify 0 into 0
9.582 * [backup-simplify]: Simplify 1 into 1
9.582 * [backup-simplify]: Simplify (/ 1 1) into 1
9.582 * [taylor]: Taking taylor expansion of 1.0 in x
9.582 * [backup-simplify]: Simplify 1.0 into 1.0
9.582 * [backup-simplify]: Simplify (+ 1 0) into 1
9.583 * [backup-simplify]: Simplify (* 1 1) into 1
9.583 * [backup-simplify]: Simplify (log 1) into 0
9.583 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
9.583 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log x)))) into (* -2/3 (log x))
9.583 * [backup-simplify]: Simplify (exp (* -2/3 (log x))) into (pow x -2/3)
9.583 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 x) 1.0) 2) 1/3) in x
9.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 x) 1.0) 2)))) in x
9.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 x) 1.0) 2))) in x
9.583 * [taylor]: Taking taylor expansion of 1/3 in x
9.583 * [backup-simplify]: Simplify 1/3 into 1/3
9.583 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 x) 1.0) 2)) in x
9.583 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 2) in x
9.583 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
9.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.583 * [taylor]: Taking taylor expansion of x in x
9.583 * [backup-simplify]: Simplify 0 into 0
9.583 * [backup-simplify]: Simplify 1 into 1
9.584 * [backup-simplify]: Simplify (/ 1 1) into 1
9.584 * [taylor]: Taking taylor expansion of 1.0 in x
9.584 * [backup-simplify]: Simplify 1.0 into 1.0
9.584 * [backup-simplify]: Simplify (+ 1 0) into 1
9.584 * [backup-simplify]: Simplify (* 1 1) into 1
9.584 * [backup-simplify]: Simplify (log 1) into 0
9.585 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
9.585 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log x)))) into (* -2/3 (log x))
9.585 * [backup-simplify]: Simplify (exp (* -2/3 (log x))) into (pow x -2/3)
9.585 * [backup-simplify]: Simplify (pow x -2/3) into (pow x -2/3)
9.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.586 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.587 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 1.0 1)) into 2.0
9.590 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2.0) 1)) (pow 1 1)))) 1) into 2.0
9.590 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
9.591 * [backup-simplify]: Simplify (+ (* 1/3 2.0) (* 0 (- (* 2 (log x))))) into 0.6666666666666666
9.592 * [backup-simplify]: Simplify (* (exp (* -2/3 (log x))) (+ (* (/ (pow 0.6666666666666666 1) 1)))) into (* 0.6666666666666666 (pow (/ 1 (pow x 2)) 1/3))
9.592 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (/ 1 (pow x 2)) 1/3)) into (* 0.6666666666666666 (pow (/ 1 (pow x 2)) 1/3))
9.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.593 * [backup-simplify]: Simplify (+ 0 0) into 0
9.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 1.0) (* 0 1))) into 1.0
9.605 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1.0) 1)) (pow 1 1)))) 2) into -1.0
9.605 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
9.605 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (+ (* 0 2.0) (* 0 (- (* 2 (log x)))))) into (- 0.3333333333333333)
9.608 * [backup-simplify]: Simplify (* (exp (* -2/3 (log x))) (+ (* (/ (pow 0.6666666666666666 2) 2)) (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 (pow x 2)) 1/3))
9.609 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 (pow x 2)) 1/3)) into (* -0.1111111111111111 (pow (/ 1 (pow x 2)) 1/3))
9.609 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (pow (/ 1 (- x)) 2)) 1/3)) (pow (/ 1 (- x)) 2)) (+ (* (* 0.6666666666666666 (pow (/ 1 (pow (/ 1 (- x)) 2)) 1/3)) (/ 1 (- x))) (pow (/ 1 (- x)) -2/3))) into (- (pow (/ -1 x) -2/3) (+ (* 0.1111111111111111 (pow (/ 1 (pow x 4)) 1/3)) (* 0.6666666666666666 (pow (/ 1 x) 1/3))))
9.609 * * * [progress]: simplifying candidates
9.611 * [simplify]: Simplifying:
  (expm1 (cbrt (- 1.0 x)))
  (log1p (cbrt (- 1.0 x)))
  (log (cbrt (- 1.0 x)))
  (exp (cbrt (- 1.0 x)))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt 1)
  (cbrt (- 1.0 x))
  (cbrt (+ (sqrt 1.0) (sqrt x)))
  (cbrt (- (sqrt 1.0) (sqrt x)))
  (cbrt 1)
  (cbrt (- 1.0 x))
  (cbrt (- (pow 1.0 3) (pow x 3)))
  (cbrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
  (cbrt (- (* 1.0 1.0) (* x x)))
  (cbrt (+ 1.0 x))
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (expm1 (cbrt (- 1.0 x)))
  (log1p (cbrt (- 1.0 x)))
  (log (cbrt (- 1.0 x)))
  (exp (cbrt (- 1.0 x)))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt 1)
  (cbrt (- 1.0 x))
  (cbrt (+ (sqrt 1.0) (sqrt x)))
  (cbrt (- (sqrt 1.0) (sqrt x)))
  (cbrt 1)
  (cbrt (- 1.0 x))
  (cbrt (- (pow 1.0 3) (pow x 3)))
  (cbrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
  (cbrt (- (* 1.0 1.0) (* x x)))
  (cbrt (+ 1.0 x))
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (expm1 (cbrt (- 1.0 x)))
  (log1p (cbrt (- 1.0 x)))
  (log (cbrt (- 1.0 x)))
  (exp (cbrt (- 1.0 x)))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt 1)
  (cbrt (- 1.0 x))
  (cbrt (+ (sqrt 1.0) (sqrt x)))
  (cbrt (- (sqrt 1.0) (sqrt x)))
  (cbrt 1)
  (cbrt (- 1.0 x))
  (cbrt (- (pow 1.0 3) (pow x 3)))
  (cbrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
  (cbrt (- (* 1.0 1.0) (* x x)))
  (cbrt (+ 1.0 x))
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (expm1 (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (log1p (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (- 1.0 x) (- 1.0 x))
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (+ 1 1)
  (+ (log (cbrt (- 1.0 x))) (log (cbrt (- 1.0 x))))
  (log (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (exp (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (* (- 1.0 x) (- 1.0 x))
  (* (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))) (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (* (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))) (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (sqrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (sqrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (* (cbrt (- (pow 1.0 3) (pow x 3))) (cbrt (- (pow 1.0 3) (pow x 3))))
  (* (cbrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (cbrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
  (* (cbrt (- (pow 1.0 3) (pow x 3))) (cbrt (- (* 1.0 1.0) (* x x))))
  (* (cbrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (cbrt (+ 1.0 x)))
  (* (cbrt (- (* 1.0 1.0) (* x x))) (cbrt (- (pow 1.0 3) (pow x 3))))
  (* (cbrt (+ 1.0 x)) (cbrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
  (* (cbrt (- (* 1.0 1.0) (* x x))) (cbrt (- (* 1.0 1.0) (* x x))))
  (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x)))
  (* (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))) (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x))))
  (* (cbrt (sqrt (- 1.0 x))) (cbrt (sqrt (- 1.0 x))))
  (* (cbrt (sqrt (- 1.0 x))) (cbrt (sqrt (- 1.0 x))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (* (cbrt (+ (sqrt 1.0) (sqrt x))) (cbrt (+ (sqrt 1.0) (sqrt x))))
  (* (cbrt (- (sqrt 1.0) (sqrt x))) (cbrt (- (sqrt 1.0) (sqrt x))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (* (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x)))) (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x)))))
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x))))
  (* (sqrt (cbrt (- 1.0 x))) (sqrt (cbrt (- 1.0 x))))
  (* (sqrt (cbrt (- 1.0 x))) (sqrt (cbrt (- 1.0 x))))
  (* 1 1)
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (* (cbrt (sqrt (- 1.0 x))) (cbrt (sqrt (- 1.0 x))))
  (* (cbrt (sqrt (- 1.0 x))) (cbrt (sqrt (- 1.0 x))))
  (* (cbrt (sqrt (- 1.0 x))) (sqrt (cbrt (- 1.0 x))))
  (* (cbrt (sqrt (- 1.0 x))) (sqrt (cbrt (- 1.0 x))))
  (* (sqrt (cbrt (- 1.0 x))) (cbrt (sqrt (- 1.0 x))))
  (* (sqrt (cbrt (- 1.0 x))) (cbrt (sqrt (- 1.0 x))))
  (* (sqrt (cbrt (- 1.0 x))) (sqrt (cbrt (- 1.0 x))))
  (* (sqrt (cbrt (- 1.0 x))) (sqrt (cbrt (- 1.0 x))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (- 1.0 x)) (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (* (cbrt (- 1.0 x)) (cbrt (sqrt (- 1.0 x))))
  (* (cbrt (- 1.0 x)) (cbrt 1))
  (* (cbrt (- 1.0 x)) (cbrt (+ (sqrt 1.0) (sqrt x))))
  (* (cbrt (- 1.0 x)) (cbrt 1))
  (* (cbrt (- 1.0 x)) (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x)))))
  (* (cbrt (- 1.0 x)) (sqrt (cbrt (- 1.0 x))))
  (* (cbrt (- 1.0 x)) 1)
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (- 1.0 x)))
  (* (cbrt (sqrt (- 1.0 x))) (cbrt (- 1.0 x)))
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (* (cbrt (- (sqrt 1.0) (sqrt x))) (cbrt (- 1.0 x)))
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (- 1.0 x)))
  (* (sqrt (cbrt (- 1.0 x))) (cbrt (- 1.0 x)))
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (* (cbrt (- 1.0 x)) (cbrt (- (pow 1.0 3) (pow x 3))))
  (* (cbrt (- 1.0 x)) (cbrt (- (* 1.0 1.0) (* x x))))
  (* (cbrt (- (pow 1.0 3) (pow x 3))) (cbrt (- 1.0 x)))
  (* (cbrt (- (* 1.0 1.0) (* x x))) (cbrt (- 1.0 x)))
  (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
  (- (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) x)) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (pow x 2)))))
  (- (pow (/ -1 x) -1/3) (+ (* 0.1111111111111111 (pow (/ -1 (pow x 5)) 1/3)) (* 0.3333333333333333 (pow (/ -1 (pow x 2)) 1/3))))
  (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
  (- (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) x)) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (pow x 2)))))
  (- (pow (/ -1 x) -1/3) (+ (* 0.1111111111111111 (pow (/ -1 (pow x 5)) 1/3)) (* 0.3333333333333333 (pow (/ -1 (pow x 2)) 1/3))))
  (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
  (- (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) x)) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (pow x 2)))))
  (- (pow (/ -1 x) -1/3) (+ (* 0.1111111111111111 (pow (/ -1 (pow x 5)) 1/3)) (* 0.3333333333333333 (pow (/ -1 (pow x 2)) 1/3))))
  (- (+ (* 0.5555555555555556 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.6666666666666666 (* x (pow 1.0 1/3))) (* 0.6666666666666666 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
  (- (pow (/ 1 x) -2/3) (+ (* 0.1111111111111111 (pow (/ 1 (pow x 4)) 1/3)) (* 0.6666666666666666 (pow (/ 1 x) 1/3))))
  (- (pow (/ -1 x) -2/3) (+ (* 0.1111111111111111 (pow (/ 1 (pow x 4)) 1/3)) (* 0.6666666666666666 (pow (/ 1 x) 1/3))))
9.613 * * [simplify]: Extracting # 0 : cost  0
9.613 * * [simplify]: Extracting # 1 : cost  0
9.614 * * [simplify]: Extracting # 2 : cost  0
9.614 * * [simplify]: Extracting # 3 : cost  0
9.614 * * [simplify]: Extracting # 4 : cost  0
9.614 * * [simplify]: Extracting # 5 : cost  0
9.614 * * [simplify]: Extracting # 6 : cost  0
9.614 * * [simplify]: Extracting # 7 : cost  0
9.615 * * [simplify]: Extracting # 8 : cost  0
9.615 * * [simplify]: Extracting # 9 : cost  0
9.615 * * [simplify]: Extracting # 10 : cost  0
9.615 * * [simplify]: Extracting # 11 : cost  0
9.615 * * [simplify]: iteration  0 :  152  enodes  (cost  1619 )
9.662 * * [simplify]: Extracting # 0 : cost  0
9.663 * * [simplify]: Extracting # 1 : cost  0
9.663 * * [simplify]: Extracting # 2 : cost  0
9.664 * * [simplify]: Extracting # 3 : cost  0
9.664 * * [simplify]: Extracting # 4 : cost  0
9.664 * * [simplify]: Extracting # 5 : cost  0
9.665 * * [simplify]: Extracting # 6 : cost  0
9.665 * * [simplify]: iteration  1 :  357  enodes  (cost  1459 )
9.836 * * [simplify]: Extracting # 0 : cost  0
9.838 * * [simplify]: Extracting # 1 : cost  0
9.839 * * [simplify]: Extracting # 2 : cost  0
9.841 * * [simplify]: Extracting # 3 : cost  0
9.842 * * [simplify]: Extracting # 4 : cost  0
9.843 * * [simplify]: iteration  2 :  1297  enodes  (cost  1391 )
10.306 * * [simplify]: Extracting # 0 : cost  0
10.317 * * [simplify]: Extracting # 1 : cost  0
10.323 * * [simplify]: Extracting # 2 : cost  0
10.329 * * [simplify]: Extracting # 3 : cost  0
10.334 * * [simplify]: Extracting # 4 : cost  0
10.343 * * [simplify]: iteration done:  5001  enodes  (cost  1351 )
10.344 * [simplify]: Simplified to:
  (expm1 (cbrt (- 1.0 x)))
  (log1p (cbrt (- 1.0 x)))
  (log (cbrt (- 1.0 x)))
  (exp (cbrt (- 1.0 x)))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  1
  (cbrt (- 1.0 x))
  (cbrt (+ (sqrt 1.0) (sqrt x)))
  (cbrt (- (sqrt 1.0) (sqrt x)))
  1
  (cbrt (- 1.0 x))
  (cbrt (- (pow 1.0 3) (pow x 3)))
  (cbrt (fma 1.0 1.0 (* x (+ 1.0 x))))
  (cbrt (- (* 1.0 1.0) (* x x)))
  (cbrt (+ 1.0 x))
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (- 1.0 x)
  (sqrt (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (expm1 (cbrt (- 1.0 x)))
  (log1p (cbrt (- 1.0 x)))
  (log (cbrt (- 1.0 x)))
  (exp (cbrt (- 1.0 x)))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  1
  (cbrt (- 1.0 x))
  (cbrt (+ (sqrt 1.0) (sqrt x)))
  (cbrt (- (sqrt 1.0) (sqrt x)))
  1
  (cbrt (- 1.0 x))
  (cbrt (- (pow 1.0 3) (pow x 3)))
  (cbrt (fma 1.0 1.0 (* x (+ 1.0 x))))
  (cbrt (- (* 1.0 1.0) (* x x)))
  (cbrt (+ 1.0 x))
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (- 1.0 x)
  (sqrt (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (expm1 (cbrt (- 1.0 x)))
  (log1p (cbrt (- 1.0 x)))
  (log (cbrt (- 1.0 x)))
  (exp (cbrt (- 1.0 x)))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  1
  (cbrt (- 1.0 x))
  (cbrt (+ (sqrt 1.0) (sqrt x)))
  (cbrt (- (sqrt 1.0) (sqrt x)))
  1
  (cbrt (- 1.0 x))
  (cbrt (- (pow 1.0 3) (pow x 3)))
  (cbrt (fma 1.0 1.0 (* x (+ 1.0 x))))
  (cbrt (- (* 1.0 1.0) (* x x)))
  (cbrt (+ 1.0 x))
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (- 1.0 x)
  (sqrt (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (expm1 (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (log1p (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  2/3
  2
  (* (- 1.0 x) (- 1.0 x))
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  2
  (* 2 (log (cbrt (- 1.0 x))))
  (* 2 (log (cbrt (- 1.0 x))))
  (exp (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (* (- 1.0 x) (- 1.0 x))
  (* (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))) (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (* (- 1.0 x) (- 1.0 x))
  (fabs (cbrt (- 1.0 x)))
  (fabs (cbrt (- 1.0 x)))
  (* (cbrt (- (pow 1.0 3) (pow x 3))) (cbrt (- (pow 1.0 3) (pow x 3))))
  (* (cbrt (fma 1.0 1.0 (* x (+ 1.0 x)))) (cbrt (fma 1.0 1.0 (* x (+ 1.0 x)))))
  (* (cbrt (- (pow 1.0 3) (pow x 3))) (cbrt (- (* 1.0 1.0) (* x x))))
  (* (cbrt (fma 1.0 1.0 (* x (+ 1.0 x)))) (cbrt (+ 1.0 x)))
  (* (cbrt (- (pow 1.0 3) (pow x 3))) (cbrt (- (* 1.0 1.0) (* x x))))
  (* (cbrt (fma 1.0 1.0 (* x (+ 1.0 x)))) (cbrt (+ 1.0 x)))
  (* (cbrt (- (* 1.0 1.0) (* x x))) (cbrt (- (* 1.0 1.0) (* x x))))
  (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x)))
  (* (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))) (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x))))
  (* (cbrt (sqrt (- 1.0 x))) (cbrt (sqrt (- 1.0 x))))
  (* (cbrt (sqrt (- 1.0 x))) (cbrt (sqrt (- 1.0 x))))
  1
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  1
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (* (cbrt (+ (sqrt 1.0) (sqrt x))) (cbrt (+ (sqrt 1.0) (sqrt x))))
  (* (cbrt (- (sqrt 1.0) (sqrt x))) (cbrt (- (sqrt 1.0) (sqrt x))))
  1
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  1
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (pow (cbrt (cbrt (- 1.0 x))) (+ 3 1))
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x))))
  (cbrt (- 1.0 x))
  (cbrt (- 1.0 x))
  1
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (* (cbrt (sqrt (- 1.0 x))) (cbrt (sqrt (- 1.0 x))))
  (* (cbrt (sqrt (- 1.0 x))) (cbrt (sqrt (- 1.0 x))))
  (* (cbrt (sqrt (- 1.0 x))) (sqrt (cbrt (- 1.0 x))))
  (* (cbrt (sqrt (- 1.0 x))) (sqrt (cbrt (- 1.0 x))))
  (* (cbrt (sqrt (- 1.0 x))) (sqrt (cbrt (- 1.0 x))))
  (* (cbrt (sqrt (- 1.0 x))) (sqrt (cbrt (- 1.0 x))))
  (cbrt (- 1.0 x))
  (cbrt (- 1.0 x))
  2/3
  2
  (* (cbrt (- 1.0 x)) (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (* (cbrt (- 1.0 x)) (cbrt (sqrt (- 1.0 x))))
  (cbrt (- 1.0 x))
  (* (cbrt (- 1.0 x)) (cbrt (+ (sqrt 1.0) (sqrt x))))
  (cbrt (- 1.0 x))
  (* (pow (cbrt (cbrt (- 1.0 x))) (+ 3 1)) (cbrt (cbrt (- 1.0 x))))
  (pow (sqrt (cbrt (- 1.0 x))) 3)
  (cbrt (- 1.0 x))
  (pow (cbrt (cbrt (- 1.0 x))) (+ 3 1))
  (* (cbrt (- 1.0 x)) (cbrt (sqrt (- 1.0 x))))
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (* (cbrt (- (sqrt 1.0) (sqrt x))) (cbrt (- 1.0 x)))
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (pow (cbrt (cbrt (- 1.0 x))) (+ 3 1))
  (pow (sqrt (cbrt (- 1.0 x))) 3)
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (* (cbrt (- (pow 1.0 3) (pow x 3))) (cbrt (- 1.0 x)))
  (* (cbrt (- 1.0 x)) (cbrt (- (* 1.0 1.0) (* x x))))
  (* (cbrt (- (pow 1.0 3) (pow x 3))) (cbrt (- 1.0 x)))
  (* (cbrt (- 1.0 x)) (cbrt (- (* 1.0 1.0) (* x x))))
  (- (* (cbrt 1.0) (- (fma (* 0.05555555555555555 x) x 1) (* 0.3333333333333333 x))) (* 1/6 (* (cbrt (/ 1 (pow 1.0 5))) (* x x))))
  (- (cbrt (exp (+ (log -1) (log x)))) (fma (/ 0.1111111111111111 x) (/ (cbrt (exp (+ (log -1) (log x)))) x) (/ (* 0.3333333333333333 (cbrt (exp (+ (log -1) (log x))))) x)))
  (- (pow (/ -1 x) -1/3) (fma 0.1111111111111111 (cbrt (/ -1 (pow x 5))) (* (cbrt (/ -1 (pow x 2))) 0.3333333333333333)))
  (- (* (cbrt 1.0) (- (fma (* 0.05555555555555555 x) x 1) (* 0.3333333333333333 x))) (* 1/6 (* (cbrt (/ 1 (pow 1.0 5))) (* x x))))
  (- (cbrt (exp (+ (log -1) (log x)))) (fma (/ 0.1111111111111111 x) (/ (cbrt (exp (+ (log -1) (log x)))) x) (/ (* 0.3333333333333333 (cbrt (exp (+ (log -1) (log x))))) x)))
  (- (pow (/ -1 x) -1/3) (fma 0.1111111111111111 (cbrt (/ -1 (pow x 5))) (* (cbrt (/ -1 (pow x 2))) 0.3333333333333333)))
  (- (* (cbrt 1.0) (- (fma (* 0.05555555555555555 x) x 1) (* 0.3333333333333333 x))) (* 1/6 (* (cbrt (/ 1 (pow 1.0 5))) (* x x))))
  (- (cbrt (exp (+ (log -1) (log x)))) (fma (/ 0.1111111111111111 x) (/ (cbrt (exp (+ (log -1) (log x)))) x) (/ (* 0.3333333333333333 (cbrt (exp (+ (log -1) (log x))))) x)))
  (- (pow (/ -1 x) -1/3) (fma 0.1111111111111111 (cbrt (/ -1 (pow x 5))) (* (cbrt (/ -1 (pow x 2))) 0.3333333333333333)))
  (fma (- 0.6666666666666666) (* x (+ (* x (cbrt (/ 1 (pow 1.0 5)))) (cbrt 1.0))) (* (fma (* 0.5555555555555556 x) x 1) (cbrt 1.0)))
  (- (pow (/ 1 x) -2/3) (fma 0.1111111111111111 (cbrt (/ 1 (pow x 4))) (* (cbrt (/ 1 x)) 0.6666666666666666)))
  (- (pow (/ -1 x) -2/3) (fma 0.1111111111111111 (cbrt (/ 1 (pow x 4))) (* (cbrt (/ 1 x)) 0.6666666666666666)))
10.345 * * * [progress]: adding candidates to table
10.999 * * [progress]: iteration 3 / 4
10.999 * * * [progress]: picking best candidate
11.008 * * * * [pick]: Picked  #<alt (λ (x y z) (fma x y (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (* (* (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))) (cbrt (cbrt (- 1.0 x)))) z))))>
11.008 * * * [progress]: localizing error
11.057 * * * [progress]: generating rewritten candidates
11.057 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2 1 1)
11.085 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 2 1 2 1)
11.092 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 2 1 1 1 2)
11.108 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 2 1 1 1 1)
11.121 * * * [progress]: generating series expansions
11.121 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2 1 1)
11.121 * [backup-simplify]: Simplify (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))) into (pow (pow (- 1.0 x) 2) 1/9)
11.121 * [approximate]: Taking taylor expansion of (pow (pow (- 1.0 x) 2) 1/9) in (x) around 0
11.121 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 x) 2) 1/9) in x
11.121 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (- 1.0 x) 2)))) in x
11.121 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (- 1.0 x) 2))) in x
11.121 * [taylor]: Taking taylor expansion of 1/9 in x
11.121 * [backup-simplify]: Simplify 1/9 into 1/9
11.121 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 x) 2)) in x
11.121 * [taylor]: Taking taylor expansion of (pow (- 1.0 x) 2) in x
11.121 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
11.122 * [taylor]: Taking taylor expansion of 1.0 in x
11.122 * [backup-simplify]: Simplify 1.0 into 1.0
11.122 * [taylor]: Taking taylor expansion of x in x
11.122 * [backup-simplify]: Simplify 0 into 0
11.122 * [backup-simplify]: Simplify 1 into 1
11.122 * [backup-simplify]: Simplify (- 0) into 0
11.123 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
11.123 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
11.124 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
11.125 * [backup-simplify]: Simplify (* 1/9 (log 1.0)) into (* 1/9 (log 1.0))
11.126 * [backup-simplify]: Simplify (exp (* 1/9 (log 1.0))) into (pow 1.0 1/9)
11.126 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 x) 2) 1/9) in x
11.126 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (- 1.0 x) 2)))) in x
11.126 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (- 1.0 x) 2))) in x
11.126 * [taylor]: Taking taylor expansion of 1/9 in x
11.126 * [backup-simplify]: Simplify 1/9 into 1/9
11.126 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 x) 2)) in x
11.126 * [taylor]: Taking taylor expansion of (pow (- 1.0 x) 2) in x
11.126 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
11.126 * [taylor]: Taking taylor expansion of 1.0 in x
11.126 * [backup-simplify]: Simplify 1.0 into 1.0
11.126 * [taylor]: Taking taylor expansion of x in x
11.126 * [backup-simplify]: Simplify 0 into 0
11.126 * [backup-simplify]: Simplify 1 into 1
11.127 * [backup-simplify]: Simplify (- 0) into 0
11.127 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
11.127 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
11.128 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
11.129 * [backup-simplify]: Simplify (* 1/9 (log 1.0)) into (* 1/9 (log 1.0))
11.130 * [backup-simplify]: Simplify (exp (* 1/9 (log 1.0))) into (pow 1.0 1/9)
11.131 * [backup-simplify]: Simplify (pow 1.0 1/9) into (pow 1.0 1/9)
11.131 * [backup-simplify]: Simplify (- 1) into -1
11.132 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.133 * [backup-simplify]: Simplify (+ (* 1.0 -1) (* -1 1.0)) into (- 2.0)
11.141 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 2.0)) 1)) (pow 1.0 1)))) 1) into -2.0
11.143 * [backup-simplify]: Simplify (+ (* 1/9 -2.0) (* 0 (log 1.0))) into (- 0.2222222222222222)
11.149 * [backup-simplify]: Simplify (* (exp (* 1/9 (log 1.0))) (+ (* (/ (pow (- 0.2222222222222222) 1) 1)))) into (* -0.2222222222222222 (pow 1.0 1/9))
11.150 * [backup-simplify]: Simplify (* -0.2222222222222222 (pow 1.0 1/9)) into (* -0.2222222222222222 (pow 1.0 1/9))
11.151 * [backup-simplify]: Simplify (- 0) into 0
11.151 * [backup-simplify]: Simplify (+ 0 0) into 0
11.152 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* -1 -1) (* 0 1.0))) into 1
11.161 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 2.0)) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1.0 1)))) 2) into (* 1/2 (- 2.0 (* 4.0 (/ 1 (pow 1.0 2)))))
11.166 * [backup-simplify]: Simplify (+ (* 1/9 (* 1/2 (- 2.0 (* 4.0 (/ 1 (pow 1.0 2)))))) (+ (* 0 -2.0) (* 0 (log 1.0)))) into (- 0.1111111111111111 (* 0.2222222222222222 (/ 1 (pow 1.0 2))))
11.176 * [backup-simplify]: Simplify (* (exp (* 1/9 (log 1.0))) (+ (* (/ (pow (- 0.2222222222222222) 2) 2)) (* (/ (pow (- 0.1111111111111111 (* 0.2222222222222222 (/ 1 (pow 1.0 2)))) 1) 1)))) into (* (- 0.13580246913580246 (* 0.2222222222222222 (/ 1 (pow 1.0 2)))) (pow 1.0 1/9))
11.181 * [backup-simplify]: Simplify (* (- 0.13580246913580246 (* 0.2222222222222222 (/ 1 (pow 1.0 2)))) (pow 1.0 1/9)) into (* (- 0.13580246913580246 (* 0.2222222222222222 (/ 1 (pow 1.0 2)))) (pow 1.0 1/9))
11.188 * [backup-simplify]: Simplify (+ (* (* (- 0.13580246913580246 (* 0.2222222222222222 (/ 1 (pow 1.0 2)))) (pow 1.0 1/9)) (pow x 2)) (+ (* (* -0.2222222222222222 (pow 1.0 1/9)) x) (pow 1.0 1/9))) into (- (+ (* 0.13580246913580246 (* (pow x 2) (pow 1.0 1/9))) (pow 1.0 1/9)) (+ (* 0.2222222222222222 (* (pow x 2) (pow (/ 1 (pow 1.0 17)) 1/9))) (* 0.2222222222222222 (* x (pow 1.0 1/9)))))
11.189 * [backup-simplify]: Simplify (cbrt (* (cbrt (- 1.0 (/ 1 x))) (cbrt (- 1.0 (/ 1 x))))) into (pow (pow (- 1.0 (/ 1 x)) 2) 1/9)
11.189 * [approximate]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 x)) 2) 1/9) in (x) around 0
11.189 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 x)) 2) 1/9) in x
11.189 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (- 1.0 (/ 1 x)) 2)))) in x
11.189 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (- 1.0 (/ 1 x)) 2))) in x
11.189 * [taylor]: Taking taylor expansion of 1/9 in x
11.189 * [backup-simplify]: Simplify 1/9 into 1/9
11.189 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 (/ 1 x)) 2)) in x
11.189 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 2) in x
11.189 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
11.189 * [taylor]: Taking taylor expansion of 1.0 in x
11.189 * [backup-simplify]: Simplify 1.0 into 1.0
11.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.189 * [taylor]: Taking taylor expansion of x in x
11.189 * [backup-simplify]: Simplify 0 into 0
11.189 * [backup-simplify]: Simplify 1 into 1
11.190 * [backup-simplify]: Simplify (/ 1 1) into 1
11.190 * [backup-simplify]: Simplify (- 1) into -1
11.191 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.191 * [backup-simplify]: Simplify (* -1 -1) into 1
11.191 * [backup-simplify]: Simplify (log 1) into 0
11.192 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
11.192 * [backup-simplify]: Simplify (* 1/9 (- (* 2 (log x)))) into (* -2/9 (log x))
11.192 * [backup-simplify]: Simplify (exp (* -2/9 (log x))) into (pow x -2/9)
11.192 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 x)) 2) 1/9) in x
11.192 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (- 1.0 (/ 1 x)) 2)))) in x
11.192 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (- 1.0 (/ 1 x)) 2))) in x
11.192 * [taylor]: Taking taylor expansion of 1/9 in x
11.192 * [backup-simplify]: Simplify 1/9 into 1/9
11.192 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 (/ 1 x)) 2)) in x
11.192 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 2) in x
11.192 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
11.192 * [taylor]: Taking taylor expansion of 1.0 in x
11.192 * [backup-simplify]: Simplify 1.0 into 1.0
11.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.192 * [taylor]: Taking taylor expansion of x in x
11.192 * [backup-simplify]: Simplify 0 into 0
11.192 * [backup-simplify]: Simplify 1 into 1
11.193 * [backup-simplify]: Simplify (/ 1 1) into 1
11.193 * [backup-simplify]: Simplify (- 1) into -1
11.194 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.194 * [backup-simplify]: Simplify (* -1 -1) into 1
11.194 * [backup-simplify]: Simplify (log 1) into 0
11.195 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
11.195 * [backup-simplify]: Simplify (* 1/9 (- (* 2 (log x)))) into (* -2/9 (log x))
11.195 * [backup-simplify]: Simplify (exp (* -2/9 (log x))) into (pow x -2/9)
11.195 * [backup-simplify]: Simplify (pow x -2/9) into (pow x -2/9)
11.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.196 * [backup-simplify]: Simplify (- 0) into 0
11.197 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
11.198 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 1.0 -1)) into (- 2.0)
11.204 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 2.0)) 1)) (pow 1 1)))) 1) into -2.0
11.205 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
11.205 * [backup-simplify]: Simplify (+ (* 1/9 -2.0) (* 0 (- (* 2 (log x))))) into (- 0.2222222222222222)
11.208 * [backup-simplify]: Simplify (* (exp (* -2/9 (log x))) (+ (* (/ (pow (- 0.2222222222222222) 1) 1)))) into (* -0.2222222222222222 (pow (/ 1 (pow x 2)) 1/9))
11.209 * [backup-simplify]: Simplify (* -0.2222222222222222 (pow (/ 1 (pow x 2)) 1/9)) into (* -0.2222222222222222 (pow (/ 1 (pow x 2)) 1/9))
11.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.210 * [backup-simplify]: Simplify (- 0) into 0
11.210 * [backup-simplify]: Simplify (+ 0 0) into 0
11.213 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 1.0) (* 0 -1))) into 1.0
11.230 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 2.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1.0) 1)) (pow 1 1)))) 2) into -1.0
11.231 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
11.232 * [backup-simplify]: Simplify (+ (* 1/9 -1.0) (+ (* 0 -2.0) (* 0 (- (* 2 (log x)))))) into (- 0.1111111111111111)
11.237 * [backup-simplify]: Simplify (* (exp (* -2/9 (log x))) (+ (* (/ (pow (- 0.2222222222222222) 2) 2)) (* (/ (pow (- 0.1111111111111111) 1) 1)))) into (* -0.08641975308641975 (pow (/ 1 (pow x 2)) 1/9))
11.237 * [backup-simplify]: Simplify (* -0.08641975308641975 (pow (/ 1 (pow x 2)) 1/9)) into (* -0.08641975308641975 (pow (/ 1 (pow x 2)) 1/9))
11.238 * [backup-simplify]: Simplify (+ (* (* -0.08641975308641975 (pow (/ 1 (pow (/ 1 x) 2)) 1/9)) (pow (/ 1 x) 2)) (+ (* (* -0.2222222222222222 (pow (/ 1 (pow (/ 1 x) 2)) 1/9)) (/ 1 x)) (pow (/ 1 x) -2/9))) into (- (pow (/ 1 x) -2/9) (+ (* 0.08641975308641975 (pow (/ 1 (pow x 16)) 1/9)) (* 0.2222222222222222 (pow (/ 1 (pow x 7)) 1/9))))
11.239 * [backup-simplify]: Simplify (cbrt (* (cbrt (- 1.0 (/ 1 (- x)))) (cbrt (- 1.0 (/ 1 (- x)))))) into (pow (pow (+ (/ 1 x) 1.0) 2) 1/9)
11.239 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 x) 1.0) 2) 1/9) in (x) around 0
11.239 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 x) 1.0) 2) 1/9) in x
11.239 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (+ (/ 1 x) 1.0) 2)))) in x
11.239 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (+ (/ 1 x) 1.0) 2))) in x
11.239 * [taylor]: Taking taylor expansion of 1/9 in x
11.239 * [backup-simplify]: Simplify 1/9 into 1/9
11.239 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 x) 1.0) 2)) in x
11.239 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 2) in x
11.239 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
11.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.239 * [taylor]: Taking taylor expansion of x in x
11.239 * [backup-simplify]: Simplify 0 into 0
11.239 * [backup-simplify]: Simplify 1 into 1
11.239 * [backup-simplify]: Simplify (/ 1 1) into 1
11.239 * [taylor]: Taking taylor expansion of 1.0 in x
11.239 * [backup-simplify]: Simplify 1.0 into 1.0
11.240 * [backup-simplify]: Simplify (+ 1 0) into 1
11.240 * [backup-simplify]: Simplify (* 1 1) into 1
11.240 * [backup-simplify]: Simplify (log 1) into 0
11.241 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
11.241 * [backup-simplify]: Simplify (* 1/9 (- (* 2 (log x)))) into (* -2/9 (log x))
11.241 * [backup-simplify]: Simplify (exp (* -2/9 (log x))) into (pow x -2/9)
11.241 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 x) 1.0) 2) 1/9) in x
11.241 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (+ (/ 1 x) 1.0) 2)))) in x
11.241 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (+ (/ 1 x) 1.0) 2))) in x
11.241 * [taylor]: Taking taylor expansion of 1/9 in x
11.241 * [backup-simplify]: Simplify 1/9 into 1/9
11.241 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 x) 1.0) 2)) in x
11.241 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 2) in x
11.241 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
11.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.241 * [taylor]: Taking taylor expansion of x in x
11.241 * [backup-simplify]: Simplify 0 into 0
11.241 * [backup-simplify]: Simplify 1 into 1
11.242 * [backup-simplify]: Simplify (/ 1 1) into 1
11.242 * [taylor]: Taking taylor expansion of 1.0 in x
11.242 * [backup-simplify]: Simplify 1.0 into 1.0
11.242 * [backup-simplify]: Simplify (+ 1 0) into 1
11.243 * [backup-simplify]: Simplify (* 1 1) into 1
11.243 * [backup-simplify]: Simplify (log 1) into 0
11.243 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
11.243 * [backup-simplify]: Simplify (* 1/9 (- (* 2 (log x)))) into (* -2/9 (log x))
11.243 * [backup-simplify]: Simplify (exp (* -2/9 (log x))) into (pow x -2/9)
11.244 * [backup-simplify]: Simplify (pow x -2/9) into (pow x -2/9)
11.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.245 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
11.246 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 1.0 1)) into 2.0
11.251 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2.0) 1)) (pow 1 1)))) 1) into 2.0
11.252 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
11.252 * [backup-simplify]: Simplify (+ (* 1/9 2.0) (* 0 (- (* 2 (log x))))) into 0.2222222222222222
11.254 * [backup-simplify]: Simplify (* (exp (* -2/9 (log x))) (+ (* (/ (pow 0.2222222222222222 1) 1)))) into (* 0.2222222222222222 (pow (/ 1 (pow x 2)) 1/9))
11.255 * [backup-simplify]: Simplify (* 0.2222222222222222 (pow (/ 1 (pow x 2)) 1/9)) into (* 0.2222222222222222 (pow (/ 1 (pow x 2)) 1/9))
11.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.256 * [backup-simplify]: Simplify (+ 0 0) into 0
11.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 1.0) (* 0 1))) into 1.0
11.270 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1.0) 1)) (pow 1 1)))) 2) into -1.0
11.271 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
11.272 * [backup-simplify]: Simplify (+ (* 1/9 -1.0) (+ (* 0 2.0) (* 0 (- (* 2 (log x)))))) into (- 0.1111111111111111)
11.277 * [backup-simplify]: Simplify (* (exp (* -2/9 (log x))) (+ (* (/ (pow 0.2222222222222222 2) 2)) (* (/ (pow (- 0.1111111111111111) 1) 1)))) into (* -0.08641975308641975 (pow (/ 1 (pow x 2)) 1/9))
11.277 * [backup-simplify]: Simplify (* -0.08641975308641975 (pow (/ 1 (pow x 2)) 1/9)) into (* -0.08641975308641975 (pow (/ 1 (pow x 2)) 1/9))
11.278 * [backup-simplify]: Simplify (+ (* (* -0.08641975308641975 (pow (/ 1 (pow (/ 1 (- x)) 2)) 1/9)) (pow (/ 1 (- x)) 2)) (+ (* (* 0.2222222222222222 (pow (/ 1 (pow (/ 1 (- x)) 2)) 1/9)) (/ 1 (- x))) (pow (/ 1 (- x)) -2/9))) into (- (pow (/ -1 x) -2/9) (+ (* 0.08641975308641975 (pow (/ 1 (pow x 16)) 1/9)) (* 0.2222222222222222 (pow (/ 1 (pow x 7)) 1/9))))
11.278 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 2 1 2 1)
11.278 * [backup-simplify]: Simplify (cbrt (- 1.0 x)) into (pow (- 1.0 x) 1/3)
11.278 * [approximate]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in (x) around 0
11.278 * [taylor]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in x
11.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 x)))) in x
11.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 x))) in x
11.278 * [taylor]: Taking taylor expansion of 1/3 in x
11.278 * [backup-simplify]: Simplify 1/3 into 1/3
11.278 * [taylor]: Taking taylor expansion of (log (- 1.0 x)) in x
11.278 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
11.278 * [taylor]: Taking taylor expansion of 1.0 in x
11.278 * [backup-simplify]: Simplify 1.0 into 1.0
11.278 * [taylor]: Taking taylor expansion of x in x
11.278 * [backup-simplify]: Simplify 0 into 0
11.278 * [backup-simplify]: Simplify 1 into 1
11.279 * [backup-simplify]: Simplify (- 0) into 0
11.279 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
11.280 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
11.280 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
11.282 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
11.282 * [taylor]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in x
11.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 x)))) in x
11.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 x))) in x
11.282 * [taylor]: Taking taylor expansion of 1/3 in x
11.282 * [backup-simplify]: Simplify 1/3 into 1/3
11.282 * [taylor]: Taking taylor expansion of (log (- 1.0 x)) in x
11.282 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
11.282 * [taylor]: Taking taylor expansion of 1.0 in x
11.282 * [backup-simplify]: Simplify 1.0 into 1.0
11.282 * [taylor]: Taking taylor expansion of x in x
11.282 * [backup-simplify]: Simplify 0 into 0
11.282 * [backup-simplify]: Simplify 1 into 1
11.283 * [backup-simplify]: Simplify (- 0) into 0
11.283 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
11.283 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
11.284 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
11.285 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
11.286 * [backup-simplify]: Simplify (pow 1.0 1/3) into (pow 1.0 1/3)
11.286 * [backup-simplify]: Simplify (- 1) into -1
11.287 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.291 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0
11.293 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (log 1.0))) into (- 0.3333333333333333)
11.298 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow 1.0 1/3))
11.299 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow 1.0 1/3)) into (* -0.3333333333333333 (pow 1.0 1/3))
11.300 * [backup-simplify]: Simplify (- 0) into 0
11.300 * [backup-simplify]: Simplify (+ 0 0) into 0
11.309 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
11.313 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 1.0 2))) (+ (* 0 -1.0) (* 0 (log 1.0)))) into (- (* 1/6 (/ 1 (pow 1.0 2))))
11.327 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 1.0 2)))) 1) 1)))) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
11.331 * [backup-simplify]: Simplify (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
11.338 * [backup-simplify]: Simplify (+ (* (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) (pow x 2)) (+ (* (* -0.3333333333333333 (pow 1.0 1/3)) x) (pow 1.0 1/3))) into (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
11.338 * [backup-simplify]: Simplify (cbrt (- 1.0 (/ 1 x))) into (pow (- 1.0 (/ 1 x)) 1/3)
11.338 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0
11.338 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
11.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
11.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
11.338 * [taylor]: Taking taylor expansion of 1/3 in x
11.338 * [backup-simplify]: Simplify 1/3 into 1/3
11.338 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
11.338 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
11.338 * [taylor]: Taking taylor expansion of 1.0 in x
11.338 * [backup-simplify]: Simplify 1.0 into 1.0
11.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.338 * [taylor]: Taking taylor expansion of x in x
11.338 * [backup-simplify]: Simplify 0 into 0
11.338 * [backup-simplify]: Simplify 1 into 1
11.339 * [backup-simplify]: Simplify (/ 1 1) into 1
11.339 * [backup-simplify]: Simplify (- 1) into -1
11.339 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.340 * [backup-simplify]: Simplify (log -1) into (log -1)
11.341 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
11.341 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x)))
11.341 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
11.341 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
11.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
11.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
11.342 * [taylor]: Taking taylor expansion of 1/3 in x
11.342 * [backup-simplify]: Simplify 1/3 into 1/3
11.342 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
11.342 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
11.342 * [taylor]: Taking taylor expansion of 1.0 in x
11.342 * [backup-simplify]: Simplify 1.0 into 1.0
11.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.342 * [taylor]: Taking taylor expansion of x in x
11.342 * [backup-simplify]: Simplify 0 into 0
11.342 * [backup-simplify]: Simplify 1 into 1
11.342 * [backup-simplify]: Simplify (/ 1 1) into 1
11.342 * [backup-simplify]: Simplify (- 1) into -1
11.343 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.343 * [backup-simplify]: Simplify (log -1) into (log -1)
11.344 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
11.344 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x)))
11.345 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
11.345 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
11.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.349 * [backup-simplify]: Simplify (- 0) into 0
11.350 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
11.355 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
11.356 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
11.357 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (log -1) (log x)))) into (- 0.3333333333333333)
11.360 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x)))))
11.361 * [backup-simplify]: Simplify (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x))))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x)))))
11.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.362 * [backup-simplify]: Simplify (- 0) into 0
11.362 * [backup-simplify]: Simplify (+ 0 0) into 0
11.372 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
11.373 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
11.374 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 -1.0) (* 0 (- (log -1) (log x))))) into (- 0.16666666666666666)
11.380 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x)))))
11.380 * [backup-simplify]: Simplify (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x))))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x)))))
11.382 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log (/ 1 x)))))) (pow (/ 1 x) 2)) (+ (* (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log (/ 1 x)))))) (/ 1 x)) (exp (* 1/3 (- (log -1) (log (/ 1 x))))))) into (- (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) x)) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (pow x 2)))))
11.382 * [backup-simplify]: Simplify (cbrt (- 1.0 (/ 1 (- x)))) into (pow (+ (/ 1 x) 1.0) 1/3)
11.382 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in (x) around 0
11.383 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
11.383 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
11.383 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
11.383 * [taylor]: Taking taylor expansion of 1/3 in x
11.383 * [backup-simplify]: Simplify 1/3 into 1/3
11.383 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
11.383 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
11.383 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.383 * [taylor]: Taking taylor expansion of x in x
11.383 * [backup-simplify]: Simplify 0 into 0
11.383 * [backup-simplify]: Simplify 1 into 1
11.383 * [backup-simplify]: Simplify (/ 1 1) into 1
11.383 * [taylor]: Taking taylor expansion of 1.0 in x
11.383 * [backup-simplify]: Simplify 1.0 into 1.0
11.384 * [backup-simplify]: Simplify (+ 1 0) into 1
11.384 * [backup-simplify]: Simplify (log 1) into 0
11.384 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
11.384 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
11.384 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
11.385 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
11.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
11.385 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
11.385 * [taylor]: Taking taylor expansion of 1/3 in x
11.385 * [backup-simplify]: Simplify 1/3 into 1/3
11.385 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
11.385 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
11.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.385 * [taylor]: Taking taylor expansion of x in x
11.385 * [backup-simplify]: Simplify 0 into 0
11.385 * [backup-simplify]: Simplify 1 into 1
11.385 * [backup-simplify]: Simplify (/ 1 1) into 1
11.385 * [taylor]: Taking taylor expansion of 1.0 in x
11.385 * [backup-simplify]: Simplify 1.0 into 1.0
11.386 * [backup-simplify]: Simplify (+ 1 0) into 1
11.386 * [backup-simplify]: Simplify (log 1) into 0
11.386 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
11.386 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
11.387 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
11.387 * [backup-simplify]: Simplify (pow x -1/3) into (pow x -1/3)
11.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.388 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
11.393 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
11.393 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
11.394 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (log x)))) into 0.3333333333333333
11.396 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 x) 1/3))
11.396 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 x) 1/3)) into (* 0.3333333333333333 (pow (/ 1 x) 1/3))
11.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.397 * [backup-simplify]: Simplify (+ 0 0) into 0
11.407 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
11.407 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
11.408 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 1.0) (* 0 (- (log x))))) into (- 0.16666666666666666)
11.412 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
11.413 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 x) 1/3)) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
11.414 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (/ 1 (- x))) 1/3)) (pow (/ 1 (- x)) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (/ 1 (- x))) 1/3)) (/ 1 (- x))) (pow (/ 1 (- x)) -1/3))) into (- (pow (/ -1 x) -1/3) (+ (* 0.1111111111111111 (pow (/ -1 (pow x 5)) 1/3)) (* 0.3333333333333333 (pow (/ -1 (pow x 2)) 1/3))))
11.414 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 2 1 1 1 2)
11.414 * [backup-simplify]: Simplify (cbrt (- 1.0 x)) into (pow (- 1.0 x) 1/3)
11.414 * [approximate]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in (x) around 0
11.414 * [taylor]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in x
11.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 x)))) in x
11.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 x))) in x
11.414 * [taylor]: Taking taylor expansion of 1/3 in x
11.414 * [backup-simplify]: Simplify 1/3 into 1/3
11.414 * [taylor]: Taking taylor expansion of (log (- 1.0 x)) in x
11.414 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
11.414 * [taylor]: Taking taylor expansion of 1.0 in x
11.414 * [backup-simplify]: Simplify 1.0 into 1.0
11.414 * [taylor]: Taking taylor expansion of x in x
11.414 * [backup-simplify]: Simplify 0 into 0
11.414 * [backup-simplify]: Simplify 1 into 1
11.414 * [backup-simplify]: Simplify (- 0) into 0
11.415 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
11.415 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
11.416 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
11.417 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
11.417 * [taylor]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in x
11.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 x)))) in x
11.417 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 x))) in x
11.417 * [taylor]: Taking taylor expansion of 1/3 in x
11.417 * [backup-simplify]: Simplify 1/3 into 1/3
11.417 * [taylor]: Taking taylor expansion of (log (- 1.0 x)) in x
11.417 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
11.417 * [taylor]: Taking taylor expansion of 1.0 in x
11.417 * [backup-simplify]: Simplify 1.0 into 1.0
11.417 * [taylor]: Taking taylor expansion of x in x
11.418 * [backup-simplify]: Simplify 0 into 0
11.418 * [backup-simplify]: Simplify 1 into 1
11.418 * [backup-simplify]: Simplify (- 0) into 0
11.418 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
11.419 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
11.419 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
11.421 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
11.421 * [backup-simplify]: Simplify (pow 1.0 1/3) into (pow 1.0 1/3)
11.422 * [backup-simplify]: Simplify (- 1) into -1
11.422 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.427 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0
11.429 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (log 1.0))) into (- 0.3333333333333333)
11.434 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow 1.0 1/3))
11.435 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow 1.0 1/3)) into (* -0.3333333333333333 (pow 1.0 1/3))
11.435 * [backup-simplify]: Simplify (- 0) into 0
11.436 * [backup-simplify]: Simplify (+ 0 0) into 0
11.444 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
11.448 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 1.0 2))) (+ (* 0 -1.0) (* 0 (log 1.0)))) into (- (* 1/6 (/ 1 (pow 1.0 2))))
11.462 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 1.0 2)))) 1) 1)))) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
11.466 * [backup-simplify]: Simplify (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
11.471 * [backup-simplify]: Simplify (+ (* (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) (pow x 2)) (+ (* (* -0.3333333333333333 (pow 1.0 1/3)) x) (pow 1.0 1/3))) into (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
11.472 * [backup-simplify]: Simplify (cbrt (- 1.0 (/ 1 x))) into (pow (- 1.0 (/ 1 x)) 1/3)
11.472 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0
11.472 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
11.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
11.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
11.472 * [taylor]: Taking taylor expansion of 1/3 in x
11.472 * [backup-simplify]: Simplify 1/3 into 1/3
11.472 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
11.472 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
11.472 * [taylor]: Taking taylor expansion of 1.0 in x
11.472 * [backup-simplify]: Simplify 1.0 into 1.0
11.472 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.472 * [taylor]: Taking taylor expansion of x in x
11.472 * [backup-simplify]: Simplify 0 into 0
11.472 * [backup-simplify]: Simplify 1 into 1
11.476 * [backup-simplify]: Simplify (/ 1 1) into 1
11.476 * [backup-simplify]: Simplify (- 1) into -1
11.477 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.477 * [backup-simplify]: Simplify (log -1) into (log -1)
11.478 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
11.478 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x)))
11.479 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
11.479 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
11.479 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
11.479 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
11.479 * [taylor]: Taking taylor expansion of 1/3 in x
11.479 * [backup-simplify]: Simplify 1/3 into 1/3
11.479 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
11.479 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
11.479 * [taylor]: Taking taylor expansion of 1.0 in x
11.479 * [backup-simplify]: Simplify 1.0 into 1.0
11.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.479 * [taylor]: Taking taylor expansion of x in x
11.479 * [backup-simplify]: Simplify 0 into 0
11.479 * [backup-simplify]: Simplify 1 into 1
11.479 * [backup-simplify]: Simplify (/ 1 1) into 1
11.480 * [backup-simplify]: Simplify (- 1) into -1
11.480 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.480 * [backup-simplify]: Simplify (log -1) into (log -1)
11.481 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
11.481 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x)))
11.482 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
11.483 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
11.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.484 * [backup-simplify]: Simplify (- 0) into 0
11.484 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
11.487 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
11.488 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
11.489 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (log -1) (log x)))) into (- 0.3333333333333333)
11.490 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x)))))
11.491 * [backup-simplify]: Simplify (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x))))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x)))))
11.491 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.492 * [backup-simplify]: Simplify (- 0) into 0
11.492 * [backup-simplify]: Simplify (+ 0 0) into 0
11.498 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
11.498 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
11.499 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 -1.0) (* 0 (- (log -1) (log x))))) into (- 0.16666666666666666)
11.503 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x)))))
11.503 * [backup-simplify]: Simplify (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x))))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x)))))
11.504 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log (/ 1 x)))))) (pow (/ 1 x) 2)) (+ (* (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log (/ 1 x)))))) (/ 1 x)) (exp (* 1/3 (- (log -1) (log (/ 1 x))))))) into (- (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) x)) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (pow x 2)))))
11.504 * [backup-simplify]: Simplify (cbrt (- 1.0 (/ 1 (- x)))) into (pow (+ (/ 1 x) 1.0) 1/3)
11.504 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in (x) around 0
11.504 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
11.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
11.504 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
11.504 * [taylor]: Taking taylor expansion of 1/3 in x
11.504 * [backup-simplify]: Simplify 1/3 into 1/3
11.504 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
11.504 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
11.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.504 * [taylor]: Taking taylor expansion of x in x
11.504 * [backup-simplify]: Simplify 0 into 0
11.504 * [backup-simplify]: Simplify 1 into 1
11.505 * [backup-simplify]: Simplify (/ 1 1) into 1
11.505 * [taylor]: Taking taylor expansion of 1.0 in x
11.505 * [backup-simplify]: Simplify 1.0 into 1.0
11.505 * [backup-simplify]: Simplify (+ 1 0) into 1
11.505 * [backup-simplify]: Simplify (log 1) into 0
11.506 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
11.506 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
11.506 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
11.506 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
11.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
11.506 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
11.506 * [taylor]: Taking taylor expansion of 1/3 in x
11.506 * [backup-simplify]: Simplify 1/3 into 1/3
11.506 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
11.506 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
11.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.506 * [taylor]: Taking taylor expansion of x in x
11.506 * [backup-simplify]: Simplify 0 into 0
11.506 * [backup-simplify]: Simplify 1 into 1
11.506 * [backup-simplify]: Simplify (/ 1 1) into 1
11.506 * [taylor]: Taking taylor expansion of 1.0 in x
11.506 * [backup-simplify]: Simplify 1.0 into 1.0
11.507 * [backup-simplify]: Simplify (+ 1 0) into 1
11.507 * [backup-simplify]: Simplify (log 1) into 0
11.507 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
11.507 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
11.507 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
11.507 * [backup-simplify]: Simplify (pow x -1/3) into (pow x -1/3)
11.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.508 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
11.511 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
11.512 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
11.512 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (log x)))) into 0.3333333333333333
11.513 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 x) 1/3))
11.513 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 x) 1/3)) into (* 0.3333333333333333 (pow (/ 1 x) 1/3))
11.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.514 * [backup-simplify]: Simplify (+ 0 0) into 0
11.520 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
11.520 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
11.521 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 1.0) (* 0 (- (log x))))) into (- 0.16666666666666666)
11.524 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
11.524 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 x) 1/3)) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
11.524 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (/ 1 (- x))) 1/3)) (pow (/ 1 (- x)) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (/ 1 (- x))) 1/3)) (/ 1 (- x))) (pow (/ 1 (- x)) -1/3))) into (- (pow (/ -1 x) -1/3) (+ (* 0.1111111111111111 (pow (/ -1 (pow x 5)) 1/3)) (* 0.3333333333333333 (pow (/ -1 (pow x 2)) 1/3))))
11.525 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 2 1 1 1 1)
11.525 * [backup-simplify]: Simplify (cbrt (- 1.0 x)) into (pow (- 1.0 x) 1/3)
11.525 * [approximate]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in (x) around 0
11.525 * [taylor]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in x
11.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 x)))) in x
11.525 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 x))) in x
11.525 * [taylor]: Taking taylor expansion of 1/3 in x
11.525 * [backup-simplify]: Simplify 1/3 into 1/3
11.525 * [taylor]: Taking taylor expansion of (log (- 1.0 x)) in x
11.525 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
11.525 * [taylor]: Taking taylor expansion of 1.0 in x
11.525 * [backup-simplify]: Simplify 1.0 into 1.0
11.525 * [taylor]: Taking taylor expansion of x in x
11.525 * [backup-simplify]: Simplify 0 into 0
11.525 * [backup-simplify]: Simplify 1 into 1
11.525 * [backup-simplify]: Simplify (- 0) into 0
11.525 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
11.526 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
11.526 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
11.527 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
11.527 * [taylor]: Taking taylor expansion of (pow (- 1.0 x) 1/3) in x
11.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 x)))) in x
11.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 x))) in x
11.527 * [taylor]: Taking taylor expansion of 1/3 in x
11.527 * [backup-simplify]: Simplify 1/3 into 1/3
11.527 * [taylor]: Taking taylor expansion of (log (- 1.0 x)) in x
11.527 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
11.527 * [taylor]: Taking taylor expansion of 1.0 in x
11.527 * [backup-simplify]: Simplify 1.0 into 1.0
11.527 * [taylor]: Taking taylor expansion of x in x
11.527 * [backup-simplify]: Simplify 0 into 0
11.527 * [backup-simplify]: Simplify 1 into 1
11.527 * [backup-simplify]: Simplify (- 0) into 0
11.528 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
11.528 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
11.528 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
11.529 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
11.530 * [backup-simplify]: Simplify (pow 1.0 1/3) into (pow 1.0 1/3)
11.530 * [backup-simplify]: Simplify (- 1) into -1
11.530 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.533 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0
11.534 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (log 1.0))) into (- 0.3333333333333333)
11.538 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow 1.0 1/3))
11.538 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow 1.0 1/3)) into (* -0.3333333333333333 (pow 1.0 1/3))
11.539 * [backup-simplify]: Simplify (- 0) into 0
11.539 * [backup-simplify]: Simplify (+ 0 0) into 0
11.544 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
11.547 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 1.0 2))) (+ (* 0 -1.0) (* 0 (log 1.0)))) into (- (* 1/6 (/ 1 (pow 1.0 2))))
11.555 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 1.0 2)))) 1) 1)))) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
11.562 * [backup-simplify]: Simplify (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
11.566 * [backup-simplify]: Simplify (+ (* (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) (pow x 2)) (+ (* (* -0.3333333333333333 (pow 1.0 1/3)) x) (pow 1.0 1/3))) into (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
11.567 * [backup-simplify]: Simplify (cbrt (- 1.0 (/ 1 x))) into (pow (- 1.0 (/ 1 x)) 1/3)
11.567 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0
11.567 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
11.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
11.567 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
11.567 * [taylor]: Taking taylor expansion of 1/3 in x
11.567 * [backup-simplify]: Simplify 1/3 into 1/3
11.567 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
11.567 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
11.567 * [taylor]: Taking taylor expansion of 1.0 in x
11.567 * [backup-simplify]: Simplify 1.0 into 1.0
11.567 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.567 * [taylor]: Taking taylor expansion of x in x
11.567 * [backup-simplify]: Simplify 0 into 0
11.567 * [backup-simplify]: Simplify 1 into 1
11.567 * [backup-simplify]: Simplify (/ 1 1) into 1
11.567 * [backup-simplify]: Simplify (- 1) into -1
11.568 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.568 * [backup-simplify]: Simplify (log -1) into (log -1)
11.568 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
11.569 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x)))
11.569 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
11.569 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
11.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
11.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
11.569 * [taylor]: Taking taylor expansion of 1/3 in x
11.569 * [backup-simplify]: Simplify 1/3 into 1/3
11.569 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
11.569 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
11.569 * [taylor]: Taking taylor expansion of 1.0 in x
11.569 * [backup-simplify]: Simplify 1.0 into 1.0
11.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.569 * [taylor]: Taking taylor expansion of x in x
11.569 * [backup-simplify]: Simplify 0 into 0
11.569 * [backup-simplify]: Simplify 1 into 1
11.569 * [backup-simplify]: Simplify (/ 1 1) into 1
11.569 * [backup-simplify]: Simplify (- 1) into -1
11.570 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.570 * [backup-simplify]: Simplify (log -1) into (log -1)
11.570 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
11.571 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log x))) into (* 1/3 (- (log -1) (log x)))
11.571 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
11.571 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log x)))) into (exp (* 1/3 (- (log -1) (log x))))
11.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.572 * [backup-simplify]: Simplify (- 0) into 0
11.572 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
11.576 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
11.576 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
11.577 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (log -1) (log x)))) into (- 0.3333333333333333)
11.579 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x)))))
11.579 * [backup-simplify]: Simplify (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x))))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log x)))))
11.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.580 * [backup-simplify]: Simplify (- 0) into 0
11.580 * [backup-simplify]: Simplify (+ 0 0) into 0
11.586 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
11.587 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
11.588 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 -1.0) (* 0 (- (log -1) (log x))))) into (- 0.16666666666666666)
11.591 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log x)))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x)))))
11.592 * [backup-simplify]: Simplify (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x))))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log x)))))
11.593 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log (/ 1 x)))))) (pow (/ 1 x) 2)) (+ (* (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log (/ 1 x)))))) (/ 1 x)) (exp (* 1/3 (- (log -1) (log (/ 1 x))))))) into (- (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) x)) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (pow x 2)))))
11.593 * [backup-simplify]: Simplify (cbrt (- 1.0 (/ 1 (- x)))) into (pow (+ (/ 1 x) 1.0) 1/3)
11.593 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in (x) around 0
11.593 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
11.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
11.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
11.593 * [taylor]: Taking taylor expansion of 1/3 in x
11.593 * [backup-simplify]: Simplify 1/3 into 1/3
11.593 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
11.593 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
11.593 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.593 * [taylor]: Taking taylor expansion of x in x
11.593 * [backup-simplify]: Simplify 0 into 0
11.593 * [backup-simplify]: Simplify 1 into 1
11.593 * [backup-simplify]: Simplify (/ 1 1) into 1
11.593 * [taylor]: Taking taylor expansion of 1.0 in x
11.593 * [backup-simplify]: Simplify 1.0 into 1.0
11.594 * [backup-simplify]: Simplify (+ 1 0) into 1
11.594 * [backup-simplify]: Simplify (log 1) into 0
11.594 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
11.594 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
11.594 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
11.594 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
11.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
11.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
11.594 * [taylor]: Taking taylor expansion of 1/3 in x
11.594 * [backup-simplify]: Simplify 1/3 into 1/3
11.594 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
11.594 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
11.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.594 * [taylor]: Taking taylor expansion of x in x
11.594 * [backup-simplify]: Simplify 0 into 0
11.594 * [backup-simplify]: Simplify 1 into 1
11.595 * [backup-simplify]: Simplify (/ 1 1) into 1
11.595 * [taylor]: Taking taylor expansion of 1.0 in x
11.595 * [backup-simplify]: Simplify 1.0 into 1.0
11.595 * [backup-simplify]: Simplify (+ 1 0) into 1
11.595 * [backup-simplify]: Simplify (log 1) into 0
11.595 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
11.595 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
11.596 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
11.596 * [backup-simplify]: Simplify (pow x -1/3) into (pow x -1/3)
11.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.596 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
11.600 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
11.600 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
11.600 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (log x)))) into 0.3333333333333333
11.602 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 x) 1/3))
11.602 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 x) 1/3)) into (* 0.3333333333333333 (pow (/ 1 x) 1/3))
11.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.602 * [backup-simplify]: Simplify (+ 0 0) into 0
11.608 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
11.608 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
11.609 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 1.0) (* 0 (- (log x))))) into (- 0.16666666666666666)
11.612 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
11.612 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 x) 1/3)) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
11.613 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (/ 1 (- x))) 1/3)) (pow (/ 1 (- x)) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (/ 1 (- x))) 1/3)) (/ 1 (- x))) (pow (/ 1 (- x)) -1/3))) into (- (pow (/ -1 x) -1/3) (+ (* 0.1111111111111111 (pow (/ -1 (pow x 5)) 1/3)) (* 0.3333333333333333 (pow (/ -1 (pow x 2)) 1/3))))
11.613 * * * [progress]: simplifying candidates
11.614 * [simplify]: Simplifying:
  (expm1 (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (log1p (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (log (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (exp (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (cbrt (cbrt (- 1.0 x)))
  (cbrt (cbrt (- 1.0 x)))
  (cbrt (* (cbrt (- (pow 1.0 3) (pow x 3))) (cbrt (- (pow 1.0 3) (pow x 3)))))
  (cbrt (* (cbrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (cbrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))
  (cbrt (* (cbrt (- (pow 1.0 3) (pow x 3))) (cbrt (- (* 1.0 1.0) (* x x)))))
  (cbrt (* (cbrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (cbrt (+ 1.0 x))))
  (cbrt (* (cbrt (- (* 1.0 1.0) (* x x))) (cbrt (- (pow 1.0 3) (pow x 3)))))
  (cbrt (* (cbrt (+ 1.0 x)) (cbrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))
  (cbrt (* (cbrt (- (* 1.0 1.0) (* x x))) (cbrt (- (* 1.0 1.0) (* x x)))))
  (cbrt (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- (pow 1.0 3) (pow x 3)))))
  (cbrt (cbrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- (* 1.0 1.0) (* x x)))))
  (cbrt (cbrt (+ 1.0 x)))
  (cbrt (* (cbrt (- (pow 1.0 3) (pow x 3))) (cbrt (- 1.0 x))))
  (cbrt (cbrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
  (cbrt (* (cbrt (- (* 1.0 1.0) (* x x))) (cbrt (- 1.0 x))))
  (cbrt (cbrt (+ 1.0 x)))
  (* (cbrt (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))) (cbrt (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))))
  (cbrt (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (* (* (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))) (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))) (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (sqrt (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (sqrt (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (expm1 (cbrt (- 1.0 x)))
  (log1p (cbrt (- 1.0 x)))
  (log (cbrt (- 1.0 x)))
  (exp (cbrt (- 1.0 x)))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt 1)
  (cbrt (- 1.0 x))
  (cbrt (+ (sqrt 1.0) (sqrt x)))
  (cbrt (- (sqrt 1.0) (sqrt x)))
  (cbrt 1)
  (cbrt (- 1.0 x))
  (cbrt (- (pow 1.0 3) (pow x 3)))
  (cbrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
  (cbrt (- (* 1.0 1.0) (* x x)))
  (cbrt (+ 1.0 x))
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (expm1 (cbrt (- 1.0 x)))
  (log1p (cbrt (- 1.0 x)))
  (log (cbrt (- 1.0 x)))
  (exp (cbrt (- 1.0 x)))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt 1)
  (cbrt (- 1.0 x))
  (cbrt (+ (sqrt 1.0) (sqrt x)))
  (cbrt (- (sqrt 1.0) (sqrt x)))
  (cbrt 1)
  (cbrt (- 1.0 x))
  (cbrt (- (pow 1.0 3) (pow x 3)))
  (cbrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
  (cbrt (- (* 1.0 1.0) (* x x)))
  (cbrt (+ 1.0 x))
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (expm1 (cbrt (- 1.0 x)))
  (log1p (cbrt (- 1.0 x)))
  (log (cbrt (- 1.0 x)))
  (exp (cbrt (- 1.0 x)))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt 1)
  (cbrt (- 1.0 x))
  (cbrt (+ (sqrt 1.0) (sqrt x)))
  (cbrt (- (sqrt 1.0) (sqrt x)))
  (cbrt 1)
  (cbrt (- 1.0 x))
  (cbrt (- (pow 1.0 3) (pow x 3)))
  (cbrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
  (cbrt (- (* 1.0 1.0) (* x x)))
  (cbrt (+ 1.0 x))
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (- (+ (* 0.13580246913580246 (* (pow x 2) (pow 1.0 1/9))) (pow 1.0 1/9)) (+ (* 0.2222222222222222 (* (pow x 2) (pow (/ 1 (pow 1.0 17)) 1/9))) (* 0.2222222222222222 (* x (pow 1.0 1/9)))))
  (- (pow (/ 1 x) -2/9) (+ (* 0.08641975308641975 (pow (/ 1 (pow x 16)) 1/9)) (* 0.2222222222222222 (pow (/ 1 (pow x 7)) 1/9))))
  (- (pow (/ -1 x) -2/9) (+ (* 0.08641975308641975 (pow (/ 1 (pow x 16)) 1/9)) (* 0.2222222222222222 (pow (/ 1 (pow x 7)) 1/9))))
  (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
  (- (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) x)) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (pow x 2)))))
  (- (pow (/ -1 x) -1/3) (+ (* 0.1111111111111111 (pow (/ -1 (pow x 5)) 1/3)) (* 0.3333333333333333 (pow (/ -1 (pow x 2)) 1/3))))
  (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
  (- (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) x)) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (pow x 2)))))
  (- (pow (/ -1 x) -1/3) (+ (* 0.1111111111111111 (pow (/ -1 (pow x 5)) 1/3)) (* 0.3333333333333333 (pow (/ -1 (pow x 2)) 1/3))))
  (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
  (- (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) x)) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (pow x 2)))))
  (- (pow (/ -1 x) -1/3) (+ (* 0.1111111111111111 (pow (/ -1 (pow x 5)) 1/3)) (* 0.3333333333333333 (pow (/ -1 (pow x 2)) 1/3))))
11.616 * * [simplify]: Extracting # 0 : cost  0
11.616 * * [simplify]: Extracting # 1 : cost  0
11.616 * * [simplify]: Extracting # 2 : cost  0
11.616 * * [simplify]: Extracting # 3 : cost  0
11.616 * * [simplify]: Extracting # 4 : cost  0
11.616 * * [simplify]: Extracting # 5 : cost  0
11.617 * * [simplify]: Extracting # 6 : cost  0
11.617 * * [simplify]: Extracting # 7 : cost  0
11.617 * * [simplify]: Extracting # 8 : cost  0
11.617 * * [simplify]: Extracting # 9 : cost  0
11.617 * * [simplify]: Extracting # 10 : cost  0
11.617 * * [simplify]: Extracting # 11 : cost  0
11.618 * * [simplify]: Extracting # 12 : cost  0
11.618 * * [simplify]: iteration  0 :  154  enodes  (cost  1192 )
11.652 * * [simplify]: Extracting # 0 : cost  0
11.652 * * [simplify]: Extracting # 1 : cost  0
11.653 * * [simplify]: Extracting # 2 : cost  0
11.653 * * [simplify]: Extracting # 3 : cost  0
11.653 * * [simplify]: Extracting # 4 : cost  0
11.654 * * [simplify]: iteration  1 :  329  enodes  (cost  1115 )
11.763 * * [simplify]: Extracting # 0 : cost  0
11.764 * * [simplify]: Extracting # 1 : cost  0
11.766 * * [simplify]: Extracting # 2 : cost  0
11.768 * * [simplify]: Extracting # 3 : cost  0
11.770 * * [simplify]: Extracting # 4 : cost  0
11.771 * * [simplify]: iteration  2 :  961  enodes  (cost  1060 )
12.573 * * [simplify]: Extracting # 0 : cost  0
12.578 * * [simplify]: Extracting # 1 : cost  0
12.583 * * [simplify]: Extracting # 2 : cost  0
12.589 * * [simplify]: Extracting # 3 : cost  0
12.594 * * [simplify]: Extracting # 4 : cost  0
12.600 * * [simplify]: iteration  3 :  3707  enodes  (cost  1001 )
13.542 * * [simplify]: Extracting # 0 : cost  0
13.547 * * [simplify]: Extracting # 1 : cost  0
13.560 * * [simplify]: Extracting # 2 : cost  0
13.565 * * [simplify]: iteration done:  5000  enodes  (cost  997 )
13.566 * [simplify]: Simplified to:
  (expm1 (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (log1p (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (log (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (exp (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (cbrt (cbrt (- 1.0 x)))
  (cbrt (cbrt (- 1.0 x)))
  (cbrt (* (cbrt (- (pow 1.0 3) (pow x 3))) (cbrt (- (pow 1.0 3) (pow x 3)))))
  (cbrt (* (cbrt (fma 1.0 1.0 (* x (+ 1.0 x)))) (cbrt (fma 1.0 1.0 (* x (+ 1.0 x))))))
  (cbrt (* (cbrt (- (* 1.0 1.0) (* x x))) (cbrt (- (pow 1.0 3) (pow x 3)))))
  (cbrt (* (cbrt (fma 1.0 1.0 (* x (+ 1.0 x)))) (cbrt (+ 1.0 x))))
  (cbrt (* (cbrt (- (* 1.0 1.0) (* x x))) (cbrt (- (pow 1.0 3) (pow x 3)))))
  (cbrt (* (cbrt (fma 1.0 1.0 (* x (+ 1.0 x)))) (cbrt (+ 1.0 x))))
  (cbrt (* (cbrt (- (* 1.0 1.0) (* x x))) (cbrt (- (* 1.0 1.0) (* x x)))))
  (cbrt (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- (pow 1.0 3) (pow x 3)))))
  (cbrt (cbrt (fma 1.0 1.0 (* x (+ 1.0 x)))))
  (cbrt (* (cbrt (- (* 1.0 1.0) (* x x))) (cbrt (- 1.0 x))))
  (cbrt (cbrt (+ 1.0 x)))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- (pow 1.0 3) (pow x 3)))))
  (cbrt (cbrt (fma 1.0 1.0 (* x (+ 1.0 x)))))
  (cbrt (* (cbrt (- (* 1.0 1.0) (* x x))) (cbrt (- 1.0 x))))
  (cbrt (cbrt (+ 1.0 x)))
  (* (cbrt (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))) (cbrt (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))))
  (cbrt (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))
  (sqrt (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (sqrt (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (expm1 (cbrt (- 1.0 x)))
  (log1p (cbrt (- 1.0 x)))
  (log (cbrt (- 1.0 x)))
  (exp (cbrt (- 1.0 x)))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  1
  (cbrt (- 1.0 x))
  (cbrt (+ (sqrt 1.0) (sqrt x)))
  (cbrt (- (sqrt 1.0) (sqrt x)))
  1
  (cbrt (- 1.0 x))
  (cbrt (- (pow 1.0 3) (pow x 3)))
  (cbrt (fma 1.0 1.0 (* x (+ 1.0 x))))
  (cbrt (- (* 1.0 1.0) (* x x)))
  (cbrt (+ 1.0 x))
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (- 1.0 x)
  (sqrt (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (expm1 (cbrt (- 1.0 x)))
  (log1p (cbrt (- 1.0 x)))
  (log (cbrt (- 1.0 x)))
  (exp (cbrt (- 1.0 x)))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  1
  (cbrt (- 1.0 x))
  (cbrt (+ (sqrt 1.0) (sqrt x)))
  (cbrt (- (sqrt 1.0) (sqrt x)))
  1
  (cbrt (- 1.0 x))
  (cbrt (- (pow 1.0 3) (pow x 3)))
  (cbrt (fma 1.0 1.0 (* x (+ 1.0 x))))
  (cbrt (- (* 1.0 1.0) (* x x)))
  (cbrt (+ 1.0 x))
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (- 1.0 x)
  (sqrt (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (expm1 (cbrt (- 1.0 x)))
  (log1p (cbrt (- 1.0 x)))
  (log (cbrt (- 1.0 x)))
  (exp (cbrt (- 1.0 x)))
  (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  (cbrt (sqrt (- 1.0 x)))
  1
  (cbrt (- 1.0 x))
  (cbrt (+ (sqrt 1.0) (sqrt x)))
  (cbrt (- (sqrt 1.0) (sqrt x)))
  1
  (cbrt (- 1.0 x))
  (cbrt (- (pow 1.0 3) (pow x 3)))
  (cbrt (fma 1.0 1.0 (* x (+ 1.0 x))))
  (cbrt (- (* 1.0 1.0) (* x x)))
  (cbrt (+ 1.0 x))
  (* (cbrt (cbrt (- 1.0 x))) (cbrt (cbrt (- 1.0 x))))
  (cbrt (cbrt (- 1.0 x)))
  (- 1.0 x)
  (sqrt (cbrt (- 1.0 x)))
  (sqrt (cbrt (- 1.0 x)))
  (fma (- (* x (fma x (pow (/ 1 (pow 1.0 17)) 1/9) (pow 1.0 1/9)))) 0.2222222222222222 (* (pow 1.0 1/9) (fma 0.13580246913580246 (* x x) 1)))
  (- (pow (/ 1 x) -2/9) (fma 0.08641975308641975 (pow (/ 1 (pow x 16)) 1/9) (* 0.2222222222222222 (pow (/ 1 (pow x 7)) 1/9))))
  (- (pow (/ -1 x) -2/9) (fma 0.08641975308641975 (pow (/ 1 (pow x 16)) 1/9) (* 0.2222222222222222 (pow (/ 1 (pow x 7)) 1/9))))
  (fma (* (* x x) (cbrt (/ 1 (pow 1.0 5)))) -1/6 (* (cbrt 1.0) (- (fma (* 0.05555555555555555 x) x 1) (* 0.3333333333333333 x))))
  (- (cbrt (exp (+ (log x) (log -1)))) (* (/ (cbrt (exp (+ (log x) (log -1)))) x) (+ (/ 0.1111111111111111 x) 0.3333333333333333)))
  (- (pow (/ -1 x) -1/3) (fma 0.1111111111111111 (cbrt (/ -1 (pow x 5))) (* (cbrt (/ -1 (pow x 2))) 0.3333333333333333)))
  (fma (* (* x x) (cbrt (/ 1 (pow 1.0 5)))) -1/6 (* (cbrt 1.0) (- (fma (* 0.05555555555555555 x) x 1) (* 0.3333333333333333 x))))
  (- (cbrt (exp (+ (log x) (log -1)))) (* (/ (cbrt (exp (+ (log x) (log -1)))) x) (+ (/ 0.1111111111111111 x) 0.3333333333333333)))
  (- (pow (/ -1 x) -1/3) (fma 0.1111111111111111 (cbrt (/ -1 (pow x 5))) (* (cbrt (/ -1 (pow x 2))) 0.3333333333333333)))
  (fma (* (* x x) (cbrt (/ 1 (pow 1.0 5)))) -1/6 (* (cbrt 1.0) (- (fma (* 0.05555555555555555 x) x 1) (* 0.3333333333333333 x))))
  (- (cbrt (exp (+ (log x) (log -1)))) (* (/ (cbrt (exp (+ (log x) (log -1)))) x) (+ (/ 0.1111111111111111 x) 0.3333333333333333)))
  (- (pow (/ -1 x) -1/3) (fma 0.1111111111111111 (cbrt (/ -1 (pow x 5))) (* (cbrt (/ -1 (pow x 2))) 0.3333333333333333)))
13.567 * * * [progress]: adding candidates to table
14.159 * [progress]: [Phase 3 of 3] Extracting.
14.159 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma x y (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (* (cbrt (- 1.0 x)) z))))> #<alt (λ (x y z) (fma x y (* (- 1.0 x) z)))> #<alt (λ (x y z) (fma x y (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (* (* (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))) (cbrt (cbrt (- 1.0 x)))) z))))>)
14.160 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
14.160 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma x y (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (* (cbrt (- 1.0 x)) z))))> #<alt (λ (x y z) (fma x y (* (- 1.0 x) z)))> #<alt (λ (x y z) (fma x y (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (* (* (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))) (cbrt (cbrt (- 1.0 x)))) z))))>)
14.215 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma x y (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (* (cbrt (- 1.0 x)) z))))> #<alt (λ (x y z) (fma x y (* (- 1.0 x) z)))> #<alt (λ (x y z) (fma x y (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (* (* (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))) (cbrt (cbrt (- 1.0 x)))) z))))>)
14.284 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma x y (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (* (cbrt (- 1.0 x)) z))))> #<alt (λ (x y z) (fma x y (* (- 1.0 x) z)))> #<alt (λ (x y z) (fma x y (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (* (* (cbrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))) (cbrt (cbrt (- 1.0 x)))) z))))>)
14.332 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
14.333 * [simplify]: Simplifying:
  (fma x y (* (- 1.0 x) z))
14.333 * * [simplify]: Extracting # 0 : cost  0
14.333 * * [simplify]: Extracting # 1 : cost  0
14.333 * * [simplify]: Extracting # 2 : cost  0
14.333 * * [simplify]: Extracting # 3 : cost  0
14.333 * * [simplify]: Extracting # 4 : cost  0
14.333 * * [simplify]: Extracting # 5 : cost  0
14.333 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
14.333 * * [simplify]: Extracting # 0 : cost  0
14.333 * * [simplify]: iteration  1 :  8  enodes  (cost  8 )
14.334 * * [simplify]: Extracting # 0 : cost  0
14.334 * * [simplify]: iteration done:  8  enodes  (cost  8 )
14.334 * [simplify]: Simplified to:
  (fma x y (* (- 1.0 x) z))
15.931 * [regime-testing]: Baseline error score: 0.010876359544943117
15.933 * [regime-testing]: Oracle error score: 0.008001000125015627
15.937 * [regime-testing]: End program error score: 0.010876359544943117