17.540 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.090 * * * [progress]: [2/2] Setting up program. 0.093 * [progress]: [Phase 2 of 3] Improving. 0.093 * [simplify]: Simplifying using # : (log (/ (- 1.0 eps) (+ 1.0 eps))) 0.095 * * [simplify]: iteration 0 : 15 enodes (cost 4 ) 0.096 * * [simplify]: iteration 1 : 20 enodes (cost 4 ) 0.097 * * [simplify]: iteration 2 : 23 enodes (cost 4 ) 0.098 * * [simplify]: iteration 3 : 23 enodes (cost 4 ) 0.098 * [simplify]: Simplified to: (log (/ (- 1.0 eps) (+ 1.0 eps))) 0.098 * * [progress]: iteration 1 / 4 0.098 * * * [progress]: picking best candidate 0.101 * * * * [pick]: Picked # 0.101 * * * [progress]: localizing error 0.106 * * * [progress]: generating rewritten candidates 0.107 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.113 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.124 * * * [progress]: generating series expansions 0.124 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.124 * [approximate]: Approximating (log (/ (- 1.0 eps) (+ eps 1.0))) in (eps) around 0 0.162 * [approximate]: Approximating (log (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0))) in (eps) around 0 0.219 * [approximate]: Approximating (log (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps)))) in (eps) around 0 0.279 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.279 * [approximate]: Approximating (/ (- 1.0 eps) (+ eps 1.0)) in (eps) around 0 0.290 * [approximate]: Approximating (/ (- 1.0 (/ 1 eps)) (+ (/ 1 eps) 1.0)) in (eps) around 0 0.304 * [approximate]: Approximating (/ (+ (/ 1 eps) 1.0) (- 1.0 (/ 1 eps))) in (eps) around 0 0.319 * * * [progress]: simplifying candidates 0.321 * [simplify]: Simplifying using # : (log (* (cbrt (/ (- 1.0 eps) (+ 1.0 eps))) (cbrt (/ (- 1.0 eps) (+ 1.0 eps))))) (log (cbrt (/ (- 1.0 eps) (+ 1.0 eps)))) (log (sqrt (/ (- 1.0 eps) (+ 1.0 eps)))) (log (sqrt (/ (- 1.0 eps) (+ 1.0 eps)))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (cbrt (+ 1.0 eps)))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) 1)) (log (/ (cbrt (- 1.0 eps)) (+ 1.0 eps))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) 1)) (log (/ (cbrt (- 1.0 eps)) (+ 1.0 eps))) (log (/ (sqrt (- 1.0 eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (sqrt (- 1.0 eps)) (cbrt (+ 1.0 eps)))) (log (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (sqrt (- 1.0 eps)) 1)) (log (/ (sqrt (- 1.0 eps)) (+ 1.0 eps))) (log (/ (sqrt (- 1.0 eps)) 1)) (log (/ (sqrt (- 1.0 eps)) (+ 1.0 eps))) (log (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (- 1.0 eps) (cbrt (+ 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps)))) (log (/ (- 1.0 eps) (sqrt (+ 1.0 eps)))) (log (/ 1 1)) (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (/ 1 1)) (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (/ (+ (sqrt 1.0) (sqrt eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (- (sqrt 1.0) (sqrt eps)) (cbrt (+ 1.0 eps)))) (log (/ (+ (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps)))) (log (/ (- (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps)))) (log (/ (+ (sqrt 1.0) (sqrt eps)) 1)) (log (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps))) (log (/ (+ (sqrt 1.0) (sqrt eps)) 1)) (log (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps))) (log (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (- 1.0 eps) (cbrt (+ 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps)))) (log (/ (- 1.0 eps) (sqrt (+ 1.0 eps)))) (log (/ 1 1)) (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (/ 1 1)) (log (/ (- 1.0 eps) (+ 1.0 eps))) (log 1) (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (- 1.0 eps)) (log (/ 1 (+ 1.0 eps))) (log (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3)))) (log (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps)))) (log (/ (- 1.0 eps) (- (* 1.0 1.0) (* eps eps)))) (log (- 1.0 eps)) (log (- 1.0 eps)) (log (+ 1.0 eps)) (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (log (/ (- 1.0 eps) (+ 1.0 eps)))) (exp (log (/ (- 1.0 eps) (+ 1.0 eps)))) (* (cbrt (log (/ (- 1.0 eps) (+ 1.0 eps)))) (cbrt (log (/ (- 1.0 eps) (+ 1.0 eps))))) (cbrt (log (/ (- 1.0 eps) (+ 1.0 eps)))) (* (* (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (/ (- 1.0 eps) (+ 1.0 eps)))) (log (/ (- 1.0 eps) (+ 1.0 eps)))) (sqrt (log (/ (- 1.0 eps) (+ 1.0 eps)))) (sqrt (log (/ (- 1.0 eps) (+ 1.0 eps)))) (- (log (- 1.0 eps)) (log (+ 1.0 eps))) (log (/ (- 1.0 eps) (+ 1.0 eps))) (exp (/ (- 1.0 eps) (+ 1.0 eps))) (/ (* (* (- 1.0 eps) (- 1.0 eps)) (- 1.0 eps)) (* (* (+ 1.0 eps) (+ 1.0 eps)) (+ 1.0 eps))) (* (cbrt (/ (- 1.0 eps) (+ 1.0 eps))) (cbrt (/ (- 1.0 eps) (+ 1.0 eps)))) (cbrt (/ (- 1.0 eps) (+ 1.0 eps))) (* (* (/ (- 1.0 eps) (+ 1.0 eps)) (/ (- 1.0 eps) (+ 1.0 eps))) (/ (- 1.0 eps) (+ 1.0 eps))) (sqrt (/ (- 1.0 eps) (+ 1.0 eps))) (sqrt (/ (- 1.0 eps) (+ 1.0 eps))) (neg (- 1.0 eps)) (neg (+ 1.0 eps)) (/ 1.0 (+ 1.0 eps)) (/ eps (+ 1.0 eps)) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (cbrt (+ 1.0 eps))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) 1) (/ (cbrt (- 1.0 eps)) (+ 1.0 eps)) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) 1) (/ (cbrt (- 1.0 eps)) (+ 1.0 eps)) (/ (sqrt (- 1.0 eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (sqrt (- 1.0 eps)) (cbrt (+ 1.0 eps))) (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (sqrt (- 1.0 eps)) 1) (/ (sqrt (- 1.0 eps)) (+ 1.0 eps)) (/ (sqrt (- 1.0 eps)) 1) (/ (sqrt (- 1.0 eps)) (+ 1.0 eps)) (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (- 1.0 eps) (cbrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) (/ (- 1.0 eps) (sqrt (+ 1.0 eps))) (/ 1 1) (/ (- 1.0 eps) (+ 1.0 eps)) (/ 1 1) (/ (- 1.0 eps) (+ 1.0 eps)) (/ (+ (sqrt 1.0) (sqrt eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (- (sqrt 1.0) (sqrt eps)) (cbrt (+ 1.0 eps))) (/ (+ (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps))) (/ (- (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps))) (/ (+ (sqrt 1.0) (sqrt eps)) 1) (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps)) (/ (+ (sqrt 1.0) (sqrt eps)) 1) (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps)) (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (- 1.0 eps) (cbrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) (/ (- 1.0 eps) (sqrt (+ 1.0 eps))) (/ 1 1) (/ (- 1.0 eps) (+ 1.0 eps)) (/ 1 1) (/ (- 1.0 eps) (+ 1.0 eps)) (/ 1 (+ 1.0 eps)) (/ (+ 1.0 eps) (- 1.0 eps)) (/ (- 1.0 eps) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (- 1.0 eps) (sqrt (+ 1.0 eps))) (/ (- 1.0 eps) 1) (/ (- 1.0 eps) 1) (/ (+ 1.0 eps) (cbrt (- 1.0 eps))) (/ (+ 1.0 eps) (sqrt (- 1.0 eps))) (/ (+ 1.0 eps) (- 1.0 eps)) (/ (+ 1.0 eps) (- (sqrt 1.0) (sqrt eps))) (/ (+ 1.0 eps) (- 1.0 eps)) (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3))) (/ (- 1.0 eps) (- (* 1.0 1.0) (* eps eps))) (* (+ 1.0 eps) (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))) (* (+ 1.0 eps) (+ 1.0 eps)) (- (+ (* 2.0 (pow eps 2)) (log 1.0)) (+ (* 2.0 (/ (pow eps 2) (pow 1.0 2))) (* 2.0 eps))) (- (log -1) (+ (* 0.6666666666666666 (/ 1 (pow eps 3))) (* 2.0 (/ 1 eps)))) (- (log -1) (+ (* 0.6666666666666666 (/ 1 (pow eps 3))) (* 2.0 (/ 1 eps)))) (- (+ (* 2.0 (pow eps 2)) 1.0) (* 2.0 eps)) (- (* 2.0 (/ 1 eps)) (+ (* 2.0 (/ 1 (pow eps 2))) 1)) (- (* 2.0 (/ 1 eps)) (+ (* 2.0 (/ 1 (pow eps 2))) 1)) 0.326 * * [simplify]: iteration 0 : 339 enodes (cost 657 ) 0.331 * * [simplify]: iteration 1 : 1040 enodes (cost 623 ) 0.349 * * [simplify]: iteration 2 : 4497 enodes (cost 605 ) 0.448 * * [simplify]: iteration 3 : 5001 enodes (cost 605 ) 0.452 * [simplify]: Simplified to: (* 2 (log (cbrt (/ (- 1.0 eps) (+ 1.0 eps))))) (log (cbrt (/ (- 1.0 eps) (+ 1.0 eps)))) (log (sqrt (/ (- 1.0 eps) (+ 1.0 eps)))) (log (sqrt (/ (- 1.0 eps) (+ 1.0 eps)))) (* 2 (log (/ (cbrt (- 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (cbrt (+ 1.0 eps)))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (* 2 (log (cbrt (- 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (+ 1.0 eps))) (* 2 (log (cbrt (- 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (+ 1.0 eps))) (log (/ (sqrt (- 1.0 eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (sqrt (- 1.0 eps)) (cbrt (+ 1.0 eps)))) (log (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (sqrt (- 1.0 eps))) (log (/ (sqrt (- 1.0 eps)) (+ 1.0 eps))) (log (sqrt (- 1.0 eps))) (log (/ (sqrt (- 1.0 eps)) (+ 1.0 eps))) (- 0 (+ 0 (* 2 (log (cbrt (+ 1.0 eps)))))) (log (/ (- 1.0 eps) (cbrt (+ 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps)))) (log (/ (- 1.0 eps) (sqrt (+ 1.0 eps)))) 0 (log (/ (- 1.0 eps) (+ 1.0 eps))) 0 (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (/ (+ (sqrt 1.0) (sqrt eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (- (sqrt 1.0) (sqrt eps)) (cbrt (+ 1.0 eps)))) (log (/ (+ (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps)))) (log (/ (- (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps)))) (log (+ (sqrt 1.0) (sqrt eps))) (log (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps))) (log (+ (sqrt 1.0) (sqrt eps))) (log (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps))) (- 0 (+ 0 (* 2 (log (cbrt (+ 1.0 eps)))))) (log (/ (- 1.0 eps) (cbrt (+ 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps)))) (log (/ (- 1.0 eps) (sqrt (+ 1.0 eps)))) 0 (log (/ (- 1.0 eps) (+ 1.0 eps))) 0 (log (/ (- 1.0 eps) (+ 1.0 eps))) 0 (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (- 1.0 eps)) (log (/ 1 (+ 1.0 eps))) (log (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3)))) (log (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps)))) (log (/ (- 1.0 eps) (- (* 1.0 1.0) (* eps eps)))) (log (- 1.0 eps)) (log (- 1.0 eps)) (log (+ 1.0 eps)) (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (log (/ (- 1.0 eps) (+ 1.0 eps)))) (/ (- 1.0 eps) (+ 1.0 eps)) (* (cbrt (log (/ (- 1.0 eps) (+ 1.0 eps)))) (cbrt (log (/ (- 1.0 eps) (+ 1.0 eps))))) (cbrt (log (/ (- 1.0 eps) (+ 1.0 eps)))) (pow (log (/ (- 1.0 eps) (+ 1.0 eps))) 3) (sqrt (log (/ (- 1.0 eps) (+ 1.0 eps)))) (sqrt (log (/ (- 1.0 eps) (+ 1.0 eps)))) (log (/ (- 1.0 eps) (+ 1.0 eps))) (log (/ (- 1.0 eps) (+ 1.0 eps))) (exp (/ (- 1.0 eps) (+ 1.0 eps))) (pow (/ (- 1.0 eps) (+ 1.0 eps)) 3) (* (cbrt (/ (- 1.0 eps) (+ 1.0 eps))) (cbrt (/ (- 1.0 eps) (+ 1.0 eps)))) (cbrt (/ (- 1.0 eps) (+ 1.0 eps))) (pow (/ (- 1.0 eps) (+ 1.0 eps)) 3) (sqrt (/ (- 1.0 eps) (+ 1.0 eps))) (sqrt (/ (- 1.0 eps) (+ 1.0 eps))) (- eps 1.0) (neg (+ 1.0 eps)) (/ 1.0 (+ 1.0 eps)) (/ eps (+ 1.0 eps)) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (cbrt (+ 1.0 eps))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (/ (cbrt (- 1.0 eps)) (+ 1.0 eps)) (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (/ (cbrt (- 1.0 eps)) (+ 1.0 eps)) (/ (sqrt (- 1.0 eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (sqrt (- 1.0 eps)) (cbrt (+ 1.0 eps))) (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (sqrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (sqrt (- 1.0 eps)) (/ (sqrt (- 1.0 eps)) (+ 1.0 eps)) (sqrt (- 1.0 eps)) (/ (sqrt (- 1.0 eps)) (+ 1.0 eps)) (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (- 1.0 eps) (cbrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) (/ (- 1.0 eps) (sqrt (+ 1.0 eps))) 1 (/ (- 1.0 eps) (+ 1.0 eps)) 1 (/ (- 1.0 eps) (+ 1.0 eps)) (/ (+ (sqrt 1.0) (sqrt eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (- (sqrt 1.0) (sqrt eps)) (cbrt (+ 1.0 eps))) (/ (+ (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps))) (/ (- (sqrt 1.0) (sqrt eps)) (sqrt (+ 1.0 eps))) (+ (sqrt 1.0) (sqrt eps)) (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps)) (+ (sqrt 1.0) (sqrt eps)) (/ (- (sqrt 1.0) (sqrt eps)) (+ 1.0 eps)) (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (- 1.0 eps) (cbrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) (/ (- 1.0 eps) (sqrt (+ 1.0 eps))) 1 (/ (- 1.0 eps) (+ 1.0 eps)) 1 (/ (- 1.0 eps) (+ 1.0 eps)) (/ 1 (+ 1.0 eps)) (/ (+ 1.0 eps) (- 1.0 eps)) (/ (- 1.0 eps) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (- 1.0 eps) (sqrt (+ 1.0 eps))) (- 1.0 eps) (- 1.0 eps) (/ (+ 1.0 eps) (cbrt (- 1.0 eps))) (/ (+ 1.0 eps) (sqrt (- 1.0 eps))) (/ (+ 1.0 eps) (- 1.0 eps)) (/ (+ 1.0 eps) (- (sqrt 1.0) (sqrt eps))) (/ (+ 1.0 eps) (- 1.0 eps)) (/ (- 1.0 eps) (+ (pow 1.0 3) (pow eps 3))) (/ (- 1.0 eps) (- (* 1.0 1.0) (* eps eps))) (* (+ (* eps (+ eps 1.0)) (pow 1.0 2)) (+ 1.0 eps)) (* (+ 1.0 eps) (+ 1.0 eps)) (+ (* 2.0 (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))) (log 1.0)) (+ (log -1) (- (/ (neg 0.6666666666666666) (pow eps 3)) (/ 2.0 eps))) (+ (log -1) (- (/ (neg 0.6666666666666666) (pow eps 3)) (/ 2.0 eps))) (+ 1.0 (* 2.0 (- (pow eps 2) eps))) (- (/ 2.0 eps) (- (/ (/ 2.0 eps) eps) -1)) (- (/ 2.0 eps) (- (/ (/ 2.0 eps) eps) -1)) 0.453 * * * [progress]: adding candidates to table 0.720 * * [progress]: iteration 2 / 4 0.720 * * * [progress]: picking best candidate 0.738 * * * * [pick]: Picked # 0.739 * * * [progress]: localizing error 0.748 * * * [progress]: generating rewritten candidates 0.748 * * * [progress]: generating series expansions 0.748 * * * [progress]: simplifying candidates 0.748 * [simplify]: Simplifying using # : 0.750 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 0.750 * [simplify]: Simplified to: 0.750 * * * [progress]: adding candidates to table 0.750 * * [progress]: iteration 3 / 4 0.750 * * * [progress]: picking best candidate 0.763 * * * * [pick]: Picked # 0.763 * * * [progress]: localizing error 0.771 * * * [progress]: generating rewritten candidates 0.771 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.776 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.779 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 0.787 * * * [progress]: generating series expansions 0.787 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.787 * [approximate]: Approximating (log (/ 1 (+ eps 1.0))) in (eps) around 0 0.820 * [approximate]: Approximating (log (/ 1 (+ (/ 1 eps) 1.0))) in (eps) around 0 0.845 * [approximate]: Approximating (log (/ 1 (- 1.0 (/ 1 eps)))) in (eps) around 0 0.877 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.877 * [approximate]: Approximating (log (- 1.0 eps)) in (eps) around 0 0.893 * [approximate]: Approximating (log (- 1.0 (/ 1 eps))) in (eps) around 0 0.911 * [approximate]: Approximating (log (+ (/ 1 eps) 1.0)) in (eps) around 0 0.927 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 0.927 * [approximate]: Approximating (/ 1 (+ eps 1.0)) in (eps) around 0 0.935 * [approximate]: Approximating (/ 1 (+ (/ 1 eps) 1.0)) in (eps) around 0 0.945 * [approximate]: Approximating (/ 1 (- 1.0 (/ 1 eps))) in (eps) around 0 0.959 * * * [progress]: simplifying candidates 0.961 * [simplify]: Simplifying using # : (log (* (cbrt (/ 1 (+ 1.0 eps))) (cbrt (/ 1 (+ 1.0 eps))))) (log (cbrt (/ 1 (+ 1.0 eps)))) (log (sqrt (/ 1 (+ 1.0 eps)))) (log (sqrt (/ 1 (+ 1.0 eps)))) (log (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (cbrt 1) (cbrt (+ 1.0 eps)))) (log (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ 1.0 eps)))) (log (/ (cbrt 1) (sqrt (+ 1.0 eps)))) (log (/ (* (cbrt 1) (cbrt 1)) 1)) (log (/ (cbrt 1) (+ 1.0 eps))) (log (/ (* (cbrt 1) (cbrt 1)) 1)) (log (/ (cbrt 1) (+ 1.0 eps))) (log (/ (sqrt 1) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ (sqrt 1) (cbrt (+ 1.0 eps)))) (log (/ (sqrt 1) (sqrt (+ 1.0 eps)))) (log (/ (sqrt 1) (sqrt (+ 1.0 eps)))) (log (/ (sqrt 1) 1)) (log (/ (sqrt 1) (+ 1.0 eps))) (log (/ (sqrt 1) 1)) (log (/ (sqrt 1) (+ 1.0 eps))) (log (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (log (/ 1 (cbrt (+ 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps)))) (log (/ 1 1)) (log (/ 1 (+ 1.0 eps))) (log (/ 1 1)) (log (/ 1 (+ 1.0 eps))) (log 1) (log (/ 1 (+ 1.0 eps))) (log 1) (log (/ 1 (+ 1.0 eps))) (log (/ 1 (+ (pow 1.0 3) (pow eps 3)))) (log (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps)))) (log (/ 1 (- (* 1.0 1.0) (* eps eps)))) (log (- 1.0 eps)) (log 1) (log (+ 1.0 eps)) (log (+ 1.0 eps)) (log (+ 1.0 eps)) (log (+ 1.0 eps)) (log (/ 1 (+ 1.0 eps))) (log (log (/ 1 (+ 1.0 eps)))) (exp (log (/ 1 (+ 1.0 eps)))) (* (cbrt (log (/ 1 (+ 1.0 eps)))) (cbrt (log (/ 1 (+ 1.0 eps))))) (cbrt (log (/ 1 (+ 1.0 eps)))) (* (* (log (/ 1 (+ 1.0 eps))) (log (/ 1 (+ 1.0 eps)))) (log (/ 1 (+ 1.0 eps)))) (sqrt (log (/ 1 (+ 1.0 eps)))) (sqrt (log (/ 1 (+ 1.0 eps)))) (log (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (log (cbrt (- 1.0 eps))) (log (sqrt (- 1.0 eps))) (log (sqrt (- 1.0 eps))) (log 1) (log (- 1.0 eps)) (log (+ (sqrt 1.0) (sqrt eps))) (log (- (sqrt 1.0) (sqrt eps))) (log 1) (log (- 1.0 eps)) (log (- (pow 1.0 3) (pow eps 3))) (log (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))) (log (- (* 1.0 1.0) (* eps eps))) (log (+ 1.0 eps)) (log (- 1.0 eps)) (log (log (- 1.0 eps))) (exp (log (- 1.0 eps))) (* (cbrt (log (- 1.0 eps))) (cbrt (log (- 1.0 eps)))) (cbrt (log (- 1.0 eps))) (* (* (log (- 1.0 eps)) (log (- 1.0 eps))) (log (- 1.0 eps))) (sqrt (log (- 1.0 eps))) (sqrt (log (- 1.0 eps))) (neg 1) (neg (log (+ 1.0 eps))) (- 0 (log (+ 1.0 eps))) (- (log 1) (log (+ 1.0 eps))) (log (/ 1 (+ 1.0 eps))) (exp (/ 1 (+ 1.0 eps))) (/ (* (* 1 1) 1) (* (* (+ 1.0 eps) (+ 1.0 eps)) (+ 1.0 eps))) (* (cbrt (/ 1 (+ 1.0 eps))) (cbrt (/ 1 (+ 1.0 eps)))) (cbrt (/ 1 (+ 1.0 eps))) (* (* (/ 1 (+ 1.0 eps)) (/ 1 (+ 1.0 eps))) (/ 1 (+ 1.0 eps))) (sqrt (/ 1 (+ 1.0 eps))) (sqrt (/ 1 (+ 1.0 eps))) (neg 1) (neg (+ 1.0 eps)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (cbrt 1) (cbrt (+ 1.0 eps))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ 1.0 eps))) (/ (cbrt 1) (sqrt (+ 1.0 eps))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (+ 1.0 eps)) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (+ 1.0 eps)) (/ (sqrt 1) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ (sqrt 1) (cbrt (+ 1.0 eps))) (/ (sqrt 1) (sqrt (+ 1.0 eps))) (/ (sqrt 1) (sqrt (+ 1.0 eps))) (/ (sqrt 1) 1) (/ (sqrt 1) (+ 1.0 eps)) (/ (sqrt 1) 1) (/ (sqrt 1) (+ 1.0 eps)) (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ 1 (cbrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) (/ 1 1) (/ 1 (+ 1.0 eps)) (/ 1 1) (/ 1 (+ 1.0 eps)) (/ 1 (+ 1.0 eps)) (/ (+ 1.0 eps) 1) (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ 1 (sqrt (+ 1.0 eps))) (/ 1 1) (/ 1 1) (/ (+ 1.0 eps) (cbrt 1)) (/ (+ 1.0 eps) (sqrt 1)) (/ (+ 1.0 eps) 1) (/ 1 (+ (pow 1.0 3) (pow eps 3))) (/ 1 (- (* 1.0 1.0) (* eps eps))) (- (+ (* 1.0 (pow eps 2)) (log 1.0)) (+ (* 0.5 (/ (pow eps 2) (pow 1.0 2))) (* 1.0 eps))) (- (+ (* 0.5 (/ 1 (pow eps 2))) (log (/ 1 eps))) (* 1.0 (/ 1 eps))) (- (+ (log -1) (+ (* 0.5 (/ 1 (pow eps 2))) (log (/ -1 eps)))) (* 1.0 (/ 1 eps))) (- (log 1.0) (+ (* 1/2 (/ (pow eps 2) (pow 1.0 2))) (* 1.0 eps))) (- (log -1) (+ (* 0.5 (/ 1 (pow eps 2))) (+ (log (/ 1 eps)) (* 1.0 (/ 1 eps))))) (neg (+ (log (/ -1 eps)) (+ (* 0.5 (/ 1 (pow eps 2))) (* 1.0 (/ 1 eps))))) (- (+ (* 1.0 (pow eps 2)) 1.0) (* 1.0 eps)) (- (+ (* 1.0 (/ 1 (pow eps 3))) (/ 1 eps)) (* 1.0 (/ 1 (pow eps 2)))) (- (+ (* 1.0 (/ 1 (pow eps 3))) (/ 1 eps)) (* 1.0 (/ 1 (pow eps 2)))) 0.965 * * [simplify]: iteration 0 : 341 enodes (cost 514 ) 0.971 * * [simplify]: iteration 1 : 1105 enodes (cost 458 ) 0.990 * * [simplify]: iteration 2 : 4468 enodes (cost 408 ) 1.085 * * [simplify]: iteration 3 : 5001 enodes (cost 408 ) 1.088 * [simplify]: Simplified to: (* 2 (log (cbrt (/ 1 (+ 1.0 eps))))) (log (cbrt (/ 1 (+ 1.0 eps)))) (log (sqrt (/ 1 (+ 1.0 eps)))) (log (sqrt (/ 1 (+ 1.0 eps)))) (* 2 (log (/ (cbrt 1) (cbrt (+ 1.0 eps))))) (log (/ 1 (cbrt (+ 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps)))) 0 (log (/ 1 (+ 1.0 eps))) 0 (log (/ 1 (+ 1.0 eps))) (* 2 (log (/ (cbrt 1) (cbrt (+ 1.0 eps))))) (log (/ 1 (cbrt (+ 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps)))) 0 (log (/ 1 (+ 1.0 eps))) 0 (log (/ 1 (+ 1.0 eps))) (* 2 (log (/ (cbrt 1) (cbrt (+ 1.0 eps))))) (log (/ 1 (cbrt (+ 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps)))) 0 (log (/ 1 (+ 1.0 eps))) 0 (log (/ 1 (+ 1.0 eps))) 0 (log (/ 1 (+ 1.0 eps))) 0 (log (/ 1 (+ 1.0 eps))) (log (/ 1 (+ (pow 1.0 3) (pow eps 3)))) (log (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps)))) (log (/ 1 (- (* 1.0 1.0) (* eps eps)))) (log (- 1.0 eps)) 0 (log (+ 1.0 eps)) (log (+ 1.0 eps)) (log (+ 1.0 eps)) (log (+ 1.0 eps)) (log (/ 1 (+ 1.0 eps))) (log (log (/ 1 (+ 1.0 eps)))) (/ 1 (+ 1.0 eps)) (* (cbrt (log (/ 1 (+ 1.0 eps)))) (cbrt (log (/ 1 (+ 1.0 eps))))) (cbrt (log (/ 1 (+ 1.0 eps)))) (pow (log (/ 1 (+ 1.0 eps))) 3) (sqrt (log (/ 1 (+ 1.0 eps)))) (sqrt (log (/ 1 (+ 1.0 eps)))) (* 2 (log (cbrt (- 1.0 eps)))) (log (cbrt (- 1.0 eps))) (log (sqrt (- 1.0 eps))) (log (sqrt (- 1.0 eps))) 0 (log (- 1.0 eps)) (log (+ (sqrt 1.0) (sqrt eps))) (log (- (sqrt 1.0) (sqrt eps))) 0 (log (- 1.0 eps)) (log (- (pow 1.0 3) (pow eps 3))) (log (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))) (log (- (* 1.0 1.0) (* eps eps))) (log (+ 1.0 eps)) (log (- 1.0 eps)) (log (log (- 1.0 eps))) (- 1.0 eps) (* (cbrt (log (- 1.0 eps))) (cbrt (log (- 1.0 eps)))) (cbrt (log (- 1.0 eps))) (pow (log (- 1.0 eps)) 3) (sqrt (log (- 1.0 eps))) (sqrt (log (- 1.0 eps))) -1 (log (/ 1 (+ 1.0 eps))) (log (/ 1 (+ 1.0 eps))) (log (/ 1 (+ 1.0 eps))) (log (/ 1 (+ 1.0 eps))) (exp (/ 1 (+ 1.0 eps))) (/ 1 (pow (+ 1.0 eps) 3)) (* (cbrt (/ 1 (+ 1.0 eps))) (cbrt (/ 1 (+ 1.0 eps)))) (cbrt (/ 1 (+ 1.0 eps))) (/ 1 (pow (+ 1.0 eps) 3)) (sqrt (/ 1 (+ 1.0 eps))) (sqrt (/ 1 (+ 1.0 eps))) -1 (neg (+ 1.0 eps)) (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ 1 (cbrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) 1 (/ 1 (+ 1.0 eps)) 1 (/ 1 (+ 1.0 eps)) (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ 1 (cbrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) 1 (/ 1 (+ 1.0 eps)) 1 (/ 1 (+ 1.0 eps)) (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ 1 (cbrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) 1 (/ 1 (+ 1.0 eps)) 1 (/ 1 (+ 1.0 eps)) (/ 1 (+ 1.0 eps)) (+ 1.0 eps) (/ 1 (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (/ 1 (sqrt (+ 1.0 eps))) 1 1 (+ 1.0 eps) (+ 1.0 eps) (+ 1.0 eps) (/ 1 (+ (pow 1.0 3) (pow eps 3))) (/ 1 (- (* 1.0 1.0) (* eps eps))) (+ (- (* 1.0 (- (pow eps 2) eps)) (* 0.5 (/ (pow eps 2) (pow 1.0 2)))) (log 1.0)) (+ (/ (neg 1.0) eps) (- (/ (/ 0.5 eps) eps) (log eps))) (+ (+ (log -1) (log (/ -1 eps))) (* (/ 1 eps) (- (/ 0.5 eps) 1.0))) (- (log 1.0) (+ (* 1/2 (/ (pow eps 2) (pow 1.0 2))) (* 1.0 eps))) (+ (- (log -1) (* (/ 1 eps) (+ 1.0 (/ 0.5 eps)))) (log eps)) (- (- (neg (log (/ -1 eps))) (/ 1.0 eps)) (/ (/ 0.5 eps) eps)) (* 1.0 (- (+ (pow eps 2) 1) eps)) (- (/ 1 eps) (- (/ 1.0 (pow eps 2)) (/ 1.0 (pow eps 3)))) (- (/ 1 eps) (- (/ 1.0 (pow eps 2)) (/ 1.0 (pow eps 3)))) 1.089 * * * [progress]: adding candidates to table 1.355 * * [progress]: iteration 4 / 4 1.355 * * * [progress]: picking best candidate 1.366 * * * * [pick]: Picked # 1.366 * * * [progress]: localizing error 1.378 * * * [progress]: generating rewritten candidates 1.378 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.388 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.401 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.414 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.434 * * * [progress]: generating series expansions 1.434 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.435 * [approximate]: Approximating (log (* (pow (- 1.0 eps) 1/3) (sqrt (/ 1 (+ eps 1.0))))) in (eps) around 0 1.705 * [approximate]: Approximating (log (* (pow (- 1.0 (/ 1 eps)) 1/3) (sqrt (/ 1 (+ (/ 1 eps) 1.0))))) in (eps) around 0 1.826 * [approximate]: Approximating (log (* (sqrt (/ 1 (- 1.0 (/ 1 eps)))) (pow (+ (/ 1 eps) 1.0) 1/3))) in (eps) around 0 1.932 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.932 * [approximate]: Approximating (log (* (pow (pow (- 1.0 eps) 2) 1/3) (sqrt (/ 1 (+ eps 1.0))))) in (eps) around 0 2.217 * [approximate]: Approximating (log (* (pow (pow (- 1.0 (/ 1 eps)) 2) 1/3) (sqrt (/ 1 (+ (/ 1 eps) 1.0))))) in (eps) around 0 2.339 * [approximate]: Approximating (log (* (sqrt (/ 1 (- 1.0 (/ 1 eps)))) (pow (pow (+ (/ 1 eps) 1.0) 2) 1/3))) in (eps) around 0 2.460 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 2.460 * [approximate]: Approximating (* (pow (pow (- 1.0 eps) 2) 1/3) (sqrt (/ 1 (+ eps 1.0)))) in (eps) around 0 2.608 * [approximate]: Approximating (* (pow (pow (- 1.0 (/ 1 eps)) 2) 1/3) (sqrt (/ 1 (+ (/ 1 eps) 1.0)))) in (eps) around 0 2.709 * [approximate]: Approximating (* (sqrt (/ 1 (- 1.0 (/ 1 eps)))) (pow (pow (+ (/ 1 eps) 1.0) 2) 1/3)) in (eps) around 0 2.804 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 2.804 * [approximate]: Approximating (* (pow (- 1.0 eps) 1/3) (sqrt (/ 1 (+ eps 1.0)))) in (eps) around 0 2.942 * [approximate]: Approximating (* (pow (- 1.0 (/ 1 eps)) 1/3) (sqrt (/ 1 (+ (/ 1 eps) 1.0)))) in (eps) around 0 3.042 * [approximate]: Approximating (* (sqrt (/ 1 (- 1.0 (/ 1 eps)))) (pow (+ (/ 1 eps) 1.0) 1/3)) in (eps) around 0 3.132 * * * [progress]: simplifying candidates 3.137 * [simplify]: Simplifying using # : (log (* (cbrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (cbrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))))) (log (cbrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (log (sqrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (log (sqrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (log (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (cbrt (cbrt (- 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (cbrt (+ 1.0 eps))))) (log (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt 1))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt 1))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) 1)) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (sqrt (- 1.0 eps))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (cbrt (sqrt (- 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (cbrt (+ 1.0 eps))))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt 1))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt 1))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (sqrt (- 1.0 eps))) 1)) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt 1) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (cbrt (- 1.0 eps)) (cbrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt 1) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (cbrt (+ 1.0 eps))))) (log (/ (cbrt 1) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt 1) (sqrt 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (cbrt 1) (sqrt 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (cbrt 1) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt 1) 1)) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (cbrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))))) (log (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (cbrt (+ 1.0 eps))))) (log (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt 1))) (log (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt 1))) (log (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) 1)) (log (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt 1) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (cbrt (- 1.0 eps)) (cbrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt 1) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (cbrt (+ 1.0 eps))))) (log (/ (cbrt 1) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt 1) (sqrt 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (cbrt 1) (sqrt 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (cbrt 1) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt 1) 1)) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (cbrt (cbrt (- 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (log (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (cbrt (+ 1.0 eps))))) (log (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt 1))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt 1))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) 1)) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (sqrt (cbrt (- 1.0 eps))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (sqrt (cbrt (- 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (cbrt (+ 1.0 eps))))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt 1))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt 1))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (sqrt (cbrt (- 1.0 eps))) 1)) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ 1 (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (cbrt (- 1.0 eps)) (cbrt (sqrt (+ 1.0 eps))))) (log (/ 1 (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (cbrt (+ 1.0 eps))))) (log (/ 1 (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (/ 1 (sqrt 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ 1 (sqrt 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ 1 (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (/ 1 1)) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log 1) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (cbrt (- 1.0 eps))) (log (/ 1 (sqrt (+ 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ (pow 1.0 3) (pow eps 3))))) (log (sqrt (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (- (* 1.0 1.0) (* eps eps))))) (log (sqrt (- 1.0 eps))) (log (cbrt (- 1.0 eps))) (log (sqrt (+ 1.0 eps))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (exp (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (* (cbrt (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (cbrt (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))))) (cbrt (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (* (* (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (sqrt (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (sqrt (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (log (* (cbrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (cbrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))))) (log (cbrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (log (sqrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (log (sqrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (cbrt (- 1.0 eps)) (cbrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (cbrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (sqrt 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) 1)) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log 1) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps)))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ (pow 1.0 3) (pow eps 3))))) (log (sqrt (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps))))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (- (* 1.0 1.0) (* eps eps))))) (log (sqrt (- 1.0 eps))) (log (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (log (sqrt (+ 1.0 eps))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (exp (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (* (cbrt (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (cbrt (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))))) (cbrt (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (* (* (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (sqrt (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (sqrt (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (- (+ (log (cbrt (- 1.0 eps))) (log (cbrt (- 1.0 eps)))) (log (sqrt (+ 1.0 eps)))) (- (log (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (log (sqrt (+ 1.0 eps)))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (exp (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (/ (* (- 1.0 eps) (- 1.0 eps)) (* (* (sqrt (+ 1.0 eps)) (sqrt (+ 1.0 eps))) (sqrt (+ 1.0 eps)))) (/ (* (* (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (* (* (sqrt (+ 1.0 eps)) (sqrt (+ 1.0 eps))) (sqrt (+ 1.0 eps)))) (* (cbrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (cbrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (cbrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (* (* (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (sqrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (sqrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (neg (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (neg (sqrt (+ 1.0 eps))) (/ (cbrt (- 1.0 eps)) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (- 1.0 eps)) (cbrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (/ (cbrt (- 1.0 eps)) (sqrt (cbrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (cbrt (- 1.0 eps)) (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) 1) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) (/ (sqrt (+ 1.0 eps)) (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt 1)) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt 1)) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) 1) (/ (sqrt (+ 1.0 eps)) (cbrt (- 1.0 eps))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ (pow 1.0 3) (pow eps 3)))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (- (* 1.0 1.0) (* eps eps)))) (* (sqrt (+ 1.0 eps)) (* (cbrt (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))) (cbrt (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))))) (* (sqrt (+ 1.0 eps)) (* (cbrt (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))) (cbrt (+ 1.0 eps)))) (* (sqrt (+ 1.0 eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))))) (* (sqrt (+ 1.0 eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (* (sqrt (+ 1.0 eps)) (cbrt (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps))))) (* (sqrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))) (* (sqrt (+ 1.0 eps)) (cbrt (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps))))) (* (sqrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))) (- (log (cbrt (- 1.0 eps))) (log (sqrt (+ 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (exp (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (/ (- 1.0 eps) (* (* (sqrt (+ 1.0 eps)) (sqrt (+ 1.0 eps))) (sqrt (+ 1.0 eps)))) (* (cbrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (cbrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (cbrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (* (* (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (sqrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (sqrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (neg (cbrt (- 1.0 eps))) (neg (sqrt (+ 1.0 eps))) (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (cbrt (- 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))) (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (cbrt (+ 1.0 eps)))) (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt 1)) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt 1)) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) 1) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (sqrt (- 1.0 eps))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (sqrt (- 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (cbrt (+ 1.0 eps)))) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt 1)) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt 1)) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (sqrt (- 1.0 eps))) 1) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (cbrt 1) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (- 1.0 eps)) (cbrt (sqrt (+ 1.0 eps)))) (/ (cbrt 1) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (/ (cbrt (- 1.0 eps)) (sqrt (cbrt (+ 1.0 eps)))) (/ (cbrt 1) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt 1) (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (cbrt 1) (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (cbrt 1) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt 1) 1) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (cbrt (sqrt (+ 1.0 eps)))) (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (cbrt (+ 1.0 eps)))) (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt 1)) (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt 1)) (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) 1) (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (+ 1.0 eps))) (/ (cbrt 1) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (- 1.0 eps)) (cbrt (sqrt (+ 1.0 eps)))) (/ (cbrt 1) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (/ (cbrt (- 1.0 eps)) (sqrt (cbrt (+ 1.0 eps)))) (/ (cbrt 1) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt 1) (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (cbrt 1) (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (cbrt 1) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt 1) 1) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (cbrt (- 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))) (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (cbrt (+ 1.0 eps)))) (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt 1)) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt 1)) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) 1) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (sqrt (cbrt (- 1.0 eps))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (sqrt (cbrt (- 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (cbrt (+ 1.0 eps)))) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt 1)) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt 1)) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (sqrt (cbrt (- 1.0 eps))) 1) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ 1 (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (- 1.0 eps)) (cbrt (sqrt (+ 1.0 eps)))) (/ 1 (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (/ (cbrt (- 1.0 eps)) (sqrt (cbrt (+ 1.0 eps)))) (/ 1 (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ 1 (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ 1 (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ 1 (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ 1 1) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) (/ (sqrt (+ 1.0 eps)) (cbrt (- 1.0 eps))) (/ (cbrt (- 1.0 eps)) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (- 1.0 eps)) (sqrt (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) 1) (/ (sqrt (+ 1.0 eps)) (cbrt (cbrt (- 1.0 eps)))) (/ (sqrt (+ 1.0 eps)) (cbrt (sqrt (- 1.0 eps)))) (/ (sqrt (+ 1.0 eps)) (cbrt (- 1.0 eps))) (/ (sqrt (+ 1.0 eps)) (cbrt (- (sqrt 1.0) (sqrt eps)))) (/ (sqrt (+ 1.0 eps)) (cbrt (- 1.0 eps))) (/ (sqrt (+ 1.0 eps)) (cbrt (cbrt (- 1.0 eps)))) (/ (sqrt (+ 1.0 eps)) (sqrt (cbrt (- 1.0 eps)))) (/ (sqrt (+ 1.0 eps)) (cbrt (- 1.0 eps))) (/ (cbrt (- 1.0 eps)) (sqrt (+ (pow 1.0 3) (pow eps 3)))) (/ (cbrt (- 1.0 eps)) (sqrt (- (* 1.0 1.0) (* eps eps)))) (* (sqrt (+ 1.0 eps)) (cbrt (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps))))) (* (sqrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))) (- (+ (log (* (sqrt 1.0) (pow 1.0 1/3))) (+ (* 0.05555555555555555 (* (pow eps 2) (pow (pow 1.0 2) 1/3))) (* 0.6666666666666666 (* (/ (pow eps 2) (pow (sqrt 1.0) 2)) (pow (pow 1.0 2) 1/3))))) (+ (* 0.5 (* (/ eps (pow (sqrt 1.0) 2)) (pow (pow 1.0 2) 1/3))) (+ (* 1/6 (* (pow eps 2) (pow (/ 1 (pow 1.0 4)) 1/3))) (+ (* 0.125 (* (/ (pow eps 2) (pow (sqrt 1.0) 4)) (pow (pow 1.0 2) 1/3))) (+ (* 0.3333333333333333 (* eps (pow (pow 1.0 2) 1/3))) (+ (* 0.16666666666666666 (/ (pow eps 2) (pow (sqrt 1.0) 2))) (+ (* 0.05555555555555555 (pow eps 2)) (* 0.125 (/ (pow eps 2) (pow (sqrt 1.0) 4)))))))))) (- (+ (log (/ 1 eps)) (+ (/ (pow NAN 2) eps) (+ (* 0.3333333333333333 (/ 1 (pow eps 2))) (+ (* 0.6666666666666667 (/ 1 eps)) (log (* NAN (exp (* 1/3 (- (log -1) (log (/ 1 eps))))))))))) (+ (* 5/2 (/ (pow NAN 4) (pow eps 2))) (* 3.0 (/ (pow NAN 2) (pow eps 2))))) (- (+ (log (* (pow (* -1 eps) 1/3) NAN)) (+ (* 0.33333333333333326 (/ 1 (pow eps 2))) (+ (* 1.0000000000000002 (/ (pow NAN 2) (pow eps 2))) (+ (* 3/2 (/ (pow NAN 4) (pow eps 2))) (log (/ -1 eps)))))) (+ (/ (pow NAN 2) eps) (* 1.3333333333333333 (/ 1 eps)))) (- (+ (log (* (sqrt 1.0) (pow 1.0 1/3))) (+ (* 0.5555555555555556 (* (pow eps 2) (pow (pow 1.0 2) 1/3))) (* 0.8333333333333333 (* (/ (pow eps 2) (pow (sqrt 1.0) 2)) (pow (pow 1.0 2) 1/3))))) (+ (* 0.5 (* (/ eps (pow (sqrt 1.0) 2)) (pow (pow 1.0 2) 1/3))) (+ (* 0.6666666666666666 (* (pow eps 2) (pow (/ 1 (pow 1.0 4)) 1/3))) (+ (* 0.125 (* (/ (pow eps 2) (pow (sqrt 1.0) 4)) (pow (pow 1.0 2) 1/3))) (+ (* 0.6666666666666666 (* eps (pow (pow 1.0 2) 1/3))) (+ (* 0.3333333333333333 (/ (pow eps 2) (pow (sqrt 1.0) 2))) (+ (* 0.2222222222222222 (pow eps 2)) (* 0.125 (/ (pow eps 2) (pow (sqrt 1.0) 4)))))))))) (- (+ (log (* NAN (pow (pow eps 2) 1/3))) (+ (log (/ 1 eps)) (+ (/ (pow NAN 2) eps) (+ (* 0.16666666666666674 (/ 1 (pow eps 2))) (* 0.33333333333333337 (/ 1 eps)))))) (+ (* 5/2 (/ (pow NAN 4) (pow eps 2))) (* 3.0 (/ (pow NAN 2) (pow eps 2))))) (- (+ (log (* NAN (pow (pow eps 2) 1/3))) (+ (* 3/2 (/ (pow NAN 4) (pow eps 2))) (+ (* 1.0 (/ (pow NAN 2) (pow eps 2))) (+ (* 0.16666666666666674 (/ 1 (pow eps 2))) (log (/ -1 eps)))))) (+ (/ (pow NAN 2) eps) (* 1.6666666666666665 (/ 1 eps)))) (- (+ (* 0.5555555555555556 (* (* (pow eps 2) (sqrt 1.0)) (pow 1.0 1/3))) (+ (* (sqrt 1.0) (pow 1.0 1/3)) (* 0.8333333333333333 (* (/ (pow eps 2) (sqrt 1.0)) (pow 1.0 1/3))))) (+ (* 0.6666666666666666 (* (* (pow eps 2) (sqrt 1.0)) (pow (/ 1 (pow 1.0 5)) 1/3))) (+ (* 0.125 (* (/ (pow eps 2) (pow (sqrt 1.0) 3)) (pow 1.0 1/3))) (+ (* 0.5 (* (/ eps (sqrt 1.0)) (pow 1.0 1/3))) (* 0.6666666666666666 (* (* (sqrt 1.0) eps) (pow 1.0 1/3))))))) (- (+ (* 0.22222222222222232 (* NAN (pow (/ 1 (pow eps 7)) 1/3))) (+ (* 0.33333333333333337 (* NAN (pow (/ 1 (pow eps 4)) 1/3))) (+ (* NAN (pow (/ 1 eps) 1/3)) (* (pow NAN 3) (pow (/ 1 (pow eps 4)) 1/3))))) (+ (* 2.6666666666666665 (* (pow NAN 3) (pow (/ 1 (pow eps 7)) 1/3))) (* 2 (* (pow NAN 5) (pow (/ 1 (pow eps 7)) 1/3))))) (- (+ (* 1.6666666666666665 (* NAN (pow (/ 1 (pow eps 4)) 1/3))) (* (pow NAN 3) (pow (/ 1 (pow eps 4)) 1/3))) (+ (* 2 (* (pow NAN 5) (pow (/ 1 (pow eps 7)) 1/3))) (+ (* 2.6666666666666665 (* (pow NAN 3) (pow (/ 1 (pow eps 7)) 1/3))) (+ (* NAN (pow (/ 1 eps) 1/3)) (* 1.5555555555555554 (* NAN (pow (/ 1 (pow eps 7)) 1/3))))))) (- (+ (* 0.05555555555555555 (* (* (pow eps 2) (sqrt 1.0)) (pow 1.0 1/3))) (+ (* (sqrt 1.0) (pow 1.0 1/3)) (* 0.6666666666666666 (* (/ (pow eps 2) (sqrt 1.0)) (pow 1.0 1/3))))) (+ (* 1/6 (* (* (pow eps 2) (sqrt 1.0)) (pow (/ 1 (pow 1.0 5)) 1/3))) (+ (* 0.125 (* (/ (pow eps 2) (pow (sqrt 1.0) 3)) (pow 1.0 1/3))) (+ (* 0.5 (* (/ eps (sqrt 1.0)) (pow 1.0 1/3))) (* 0.3333333333333333 (* (* (sqrt 1.0) eps) (pow 1.0 1/3))))))) (- (+ (* 0.6666666666666667 (/ (* NAN (exp (* 1/3 (- (log -1) (log (/ 1 eps)))))) (pow eps 2))) (+ (* 0.5555555555555556 (/ (* NAN (exp (* 1/3 (- (log -1) (log (/ 1 eps)))))) (pow eps 3))) (+ (/ (* (pow NAN 3) (exp (* 1/3 (- (log -1) (log (/ 1 eps)))))) (pow eps 2)) (/ (* NAN (exp (* 1/3 (- (log -1) (log (/ 1 eps)))))) eps)))) (+ (* 2.3333333333333335 (/ (* (pow NAN 3) (exp (* 1/3 (- (log -1) (log (/ 1 eps)))))) (pow eps 3))) (* 2 (/ (* (pow NAN 5) (exp (* 1/3 (- (log -1) (log (/ 1 eps)))))) (pow eps 3))))) (- (+ (* 1.3333333333333333 (* (pow (/ -1 (pow eps 5)) 1/3) NAN)) (* (pow (/ -1 (pow eps 5)) 1/3) (pow NAN 3))) (+ (* (pow (/ -1 (pow eps 2)) 1/3) NAN) (+ (* 1.222222222222222 (* (pow (/ -1 (pow eps 8)) 1/3) NAN)) (+ (* 2 (* (pow (/ -1 (pow eps 8)) 1/3) (pow NAN 5))) (* 2.3333333333333335 (* (pow (/ -1 (pow eps 8)) 1/3) (pow NAN 3))))))) 3.151 * * [simplify]: iteration 0 : 1221 enodes (cost 3162 ) 3.170 * * [simplify]: iteration 1 : 4661 enodes (cost 3015 ) 3.233 * * [simplify]: iteration 2 : 5001 enodes (cost 3006 ) 3.248 * [simplify]: Simplified to: (* 2 (log (cbrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))))) (log (cbrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (log (sqrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (log (sqrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (log (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (cbrt (cbrt (- 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (- (log (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))))) (log (* (fabs (cbrt (+ 1.0 eps))) 1))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (cbrt (+ 1.0 eps))))) (log (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt 1))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt 1))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (sqrt (- 1.0 eps))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (cbrt (sqrt (- 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (- (log (cbrt (sqrt (- 1.0 eps)))) (log (* (fabs (cbrt (+ 1.0 eps))) 1))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (cbrt (+ 1.0 eps))))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt 1))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt 1))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (cbrt (sqrt (- 1.0 eps)))) (log (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt 1) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (cbrt (- 1.0 eps)) (cbrt (sqrt (+ 1.0 eps))))) (- (log (cbrt 1)) (log (* (fabs (cbrt (+ 1.0 eps))) 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (cbrt (+ 1.0 eps))))) (log (/ (cbrt 1) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt 1) (sqrt 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (cbrt 1) (sqrt 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (cbrt 1) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (cbrt 1)) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (cbrt (sqrt (+ 1.0 eps))))) (- (log (cbrt (+ (sqrt 1.0) (sqrt eps)))) (log (* (fabs (cbrt (+ 1.0 eps))) 1))) (log (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (cbrt (+ 1.0 eps))))) (log (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt 1))) (log (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt 1))) (log (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (cbrt (+ (sqrt 1.0) (sqrt eps)))) (log (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (+ 1.0 eps)))) (log (/ (cbrt 1) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (cbrt (- 1.0 eps)) (cbrt (sqrt (+ 1.0 eps))))) (- (log (cbrt 1)) (log (* (fabs (cbrt (+ 1.0 eps))) 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (cbrt (+ 1.0 eps))))) (log (/ (cbrt 1) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt 1) (sqrt 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (cbrt 1) (sqrt 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (cbrt 1) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (cbrt 1)) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (cbrt (cbrt (- 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (- (log (cbrt (cbrt (- 1.0 eps)))) (log (/ (fabs (cbrt (+ 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (cbrt (+ 1.0 eps))))) (log (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt 1))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt 1))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps))))) (log (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (sqrt (cbrt (- 1.0 eps))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (sqrt (cbrt (- 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (- (log (sqrt (cbrt (- 1.0 eps)))) (log (* (fabs (cbrt (+ 1.0 eps))) 1))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (cbrt (+ 1.0 eps))))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt 1))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt 1))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps))))) (log (sqrt (cbrt (- 1.0 eps)))) (log (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (log (/ 1 (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (cbrt (- 1.0 eps)) (cbrt (sqrt (+ 1.0 eps))))) (- 0 (log (* (fabs (cbrt (+ 1.0 eps))) 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (cbrt (+ 1.0 eps))))) (log (/ 1 (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (/ 1 (sqrt 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ 1 (sqrt 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ 1 (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) 0 (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) 0 (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (cbrt (- 1.0 eps))) (log (/ 1 (sqrt (+ 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ (pow 1.0 3) (pow eps 3))))) (log (sqrt (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (- (* 1.0 1.0) (* eps eps))))) (log (sqrt (- 1.0 eps))) (log (cbrt (- 1.0 eps))) (log (sqrt (+ 1.0 eps))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (* (cbrt (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (cbrt (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))))) (cbrt (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (pow (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) 3) (sqrt (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (sqrt (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (* 2 (log (cbrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))))) (log (cbrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (log (sqrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (log (sqrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))))) (log (/ (cbrt (- 1.0 eps)) (cbrt (sqrt (+ 1.0 eps))))) (- (log (cbrt (- 1.0 eps))) (log (* (fabs (cbrt (+ 1.0 eps))) 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (cbrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (sqrt 1))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps))))) (log (cbrt (- 1.0 eps))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) 0 (+ (* 2 (log (cbrt (- 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps))))) (* 2 (log (cbrt (- 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps)))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ (pow 1.0 3) (pow eps 3))))) (log (sqrt (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps))))) (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (- (* 1.0 1.0) (* eps eps))))) (log (sqrt (- 1.0 eps))) (* 2 (log (cbrt (- 1.0 eps)))) (log (sqrt (+ 1.0 eps))) (+ (* 2 (log (cbrt (- 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps))))) (log (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (* (cbrt (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (cbrt (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))))) (cbrt (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (pow (+ (* 2 (log (cbrt (- 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps))))) 3) (sqrt (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (sqrt (log (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (+ (* 2 (log (cbrt (- 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps))))) (+ (* 2 (log (cbrt (- 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps))))) (+ (* 2 (log (cbrt (- 1.0 eps)))) (log (/ 1 (sqrt (+ 1.0 eps))))) (exp (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (* (/ (- 1.0 eps) (+ 1.0 eps)) (/ (- 1.0 eps) (sqrt (+ 1.0 eps)))) (pow (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) 3) (* (cbrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (cbrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))))) (cbrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (pow (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) 3) (sqrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (sqrt (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps)))) (neg (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (neg (sqrt (+ 1.0 eps))) (/ (cbrt (- 1.0 eps)) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (- 1.0 eps)) (cbrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (fabs (cbrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (cbrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (cbrt (- 1.0 eps)) (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (cbrt (- 1.0 eps)) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) (/ (sqrt (+ 1.0 eps)) (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (- 1.0 eps)) (/ (fabs (cbrt (+ 1.0 eps))) (cbrt (- 1.0 eps)))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt 1)) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt 1)) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (/ (sqrt (+ 1.0 eps)) (cbrt (- 1.0 eps))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (+ (pow 1.0 3) (pow eps 3)))) (/ (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps))) (sqrt (- (* 1.0 1.0) (* eps eps)))) (* (sqrt (+ 1.0 eps)) (* (cbrt (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))) (cbrt (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))))) (* (sqrt (+ 1.0 eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))))) (* (sqrt (+ 1.0 eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))))) (* (sqrt (+ 1.0 eps)) (* (cbrt (+ 1.0 eps)) (cbrt (+ 1.0 eps)))) (* (sqrt (+ 1.0 eps)) (cbrt (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps))))) (* (sqrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))) (* (sqrt (+ 1.0 eps)) (cbrt (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps))))) (* (sqrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (log (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (exp (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (/ (/ (- 1.0 eps) (+ 1.0 eps)) (sqrt (+ 1.0 eps))) (* (cbrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (cbrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))))) (cbrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (pow (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) 3) (sqrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (sqrt (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps)))) (neg (cbrt (- 1.0 eps))) (neg (sqrt (+ 1.0 eps))) (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (cbrt (- 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))) (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (* (fabs (cbrt (+ 1.0 eps))) 1)) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (cbrt (+ 1.0 eps)))) (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt 1)) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt 1)) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (cbrt (* (cbrt (- 1.0 eps)) (cbrt (- 1.0 eps)))) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (sqrt (- 1.0 eps))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (sqrt (- 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))) (/ (cbrt (sqrt (- 1.0 eps))) (* (fabs (cbrt (+ 1.0 eps))) 1)) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (cbrt (+ 1.0 eps)))) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt 1)) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt 1)) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (cbrt (sqrt (- 1.0 eps))) (/ (cbrt (sqrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (cbrt 1) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (- 1.0 eps)) (cbrt (sqrt (+ 1.0 eps)))) (/ (cbrt 1) (* (fabs (cbrt (+ 1.0 eps))) 1)) (/ (cbrt (- 1.0 eps)) (sqrt (cbrt (+ 1.0 eps)))) (/ (cbrt 1) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt 1) (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (cbrt 1) (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (cbrt 1) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (cbrt 1) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (cbrt (sqrt (+ 1.0 eps)))) (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (* (fabs (cbrt (+ 1.0 eps))) 1)) (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (cbrt (+ 1.0 eps)))) (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt 1)) (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt 1)) (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (+ 1.0 eps))) (/ (cbrt (+ (sqrt 1.0) (sqrt eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (sqrt (+ 1.0 eps)))) (cbrt (+ (sqrt 1.0) (sqrt eps))) (/ (cbrt (- (sqrt 1.0) (sqrt eps))) (sqrt (+ 1.0 eps))) (/ (cbrt 1) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (- 1.0 eps)) (cbrt (sqrt (+ 1.0 eps)))) (/ (cbrt 1) (* (fabs (cbrt (+ 1.0 eps))) 1)) (/ (cbrt (- 1.0 eps)) (sqrt (cbrt (+ 1.0 eps)))) (/ (cbrt 1) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt 1) (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (cbrt 1) (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (cbrt 1) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (cbrt 1) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (cbrt (- 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))) (/ (cbrt (cbrt (- 1.0 eps))) (/ (fabs (cbrt (+ 1.0 eps))) (cbrt (cbrt (- 1.0 eps))))) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (cbrt (+ 1.0 eps)))) (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt 1)) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt 1)) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (* (cbrt (cbrt (- 1.0 eps))) (cbrt (cbrt (- 1.0 eps)))) (/ (cbrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (sqrt (cbrt (- 1.0 eps))) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (sqrt (cbrt (- 1.0 eps))) (cbrt (sqrt (+ 1.0 eps)))) (/ (sqrt (cbrt (- 1.0 eps))) (* (fabs (cbrt (+ 1.0 eps))) 1)) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (cbrt (+ 1.0 eps)))) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt 1)) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt 1)) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (sqrt (+ 1.0 eps)))) (sqrt (cbrt (- 1.0 eps))) (/ (sqrt (cbrt (- 1.0 eps))) (sqrt (+ 1.0 eps))) (/ 1 (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (- 1.0 eps)) (cbrt (sqrt (+ 1.0 eps)))) (/ 1 (* (fabs (cbrt (+ 1.0 eps))) 1)) (/ (cbrt (- 1.0 eps)) (sqrt (cbrt (+ 1.0 eps)))) (/ 1 (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ 1 (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ 1 (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ 1 (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) 1 (/ (cbrt (- 1.0 eps)) (sqrt (+ 1.0 eps))) (/ 1 (sqrt (+ 1.0 eps))) (/ (sqrt (+ 1.0 eps)) (cbrt (- 1.0 eps))) (/ (cbrt (- 1.0 eps)) (* (cbrt (sqrt (+ 1.0 eps))) (cbrt (sqrt (+ 1.0 eps))))) (/ (cbrt (- 1.0 eps)) (fabs (cbrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (/ (cbrt (- 1.0 eps)) (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt 1)) (/ (cbrt (- 1.0 eps)) (sqrt (sqrt (+ 1.0 eps)))) (cbrt (- 1.0 eps)) (/ (sqrt (+ 1.0 eps)) (cbrt (cbrt (- 1.0 eps)))) (/ (sqrt (+ 1.0 eps)) (cbrt (sqrt (- 1.0 eps)))) (/ (sqrt (+ 1.0 eps)) (cbrt (- 1.0 eps))) (/ (sqrt (+ 1.0 eps)) (cbrt (- (sqrt 1.0) (sqrt eps)))) (/ (sqrt (+ 1.0 eps)) (cbrt (- 1.0 eps))) (/ (sqrt (+ 1.0 eps)) (cbrt (cbrt (- 1.0 eps)))) (/ (sqrt (+ 1.0 eps)) (sqrt (cbrt (- 1.0 eps)))) (/ (sqrt (+ 1.0 eps)) (cbrt (- 1.0 eps))) (/ (cbrt (- 1.0 eps)) (sqrt (+ (pow 1.0 3) (pow eps 3)))) (/ (cbrt (- 1.0 eps)) (sqrt (- (* 1.0 1.0) (* eps eps)))) (* (sqrt (+ 1.0 eps)) (cbrt (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps))))) (* (sqrt (+ 1.0 eps)) (cbrt (+ 1.0 eps))) (+ (* (pow (pow 1.0 2) 1/3) (+ (* 0.6666666666666666 (/ (pow eps 2) (pow (sqrt 1.0) 2))) (* 0.05555555555555555 (pow eps 2)))) (- (log (* (sqrt 1.0) (pow 1.0 1/3))) (+ (+ (+ (* 0.5 (* (/ eps (pow (sqrt 1.0) 2)) (pow (pow 1.0 2) 1/3))) (* 1/6 (* (pow eps 2) (pow (/ 1 (pow 1.0 4)) 1/3)))) (* (pow (pow 1.0 2) 1/3) (+ (* 0.125 (/ (pow eps 2) (pow (sqrt 1.0) 4))) (* 0.3333333333333333 eps)))) (+ (* 0.16666666666666666 (/ (pow eps 2) (pow (sqrt 1.0) 2))) (+ (* 0.05555555555555555 (pow eps 2)) (* 0.125 (/ (pow eps 2) (pow (sqrt 1.0) 4)))))))) (- (- (+ (+ (+ (log (/ 1 eps)) (/ (pow NAN 2) eps)) (* 0.3333333333333333 (/ 1 (pow eps 2)))) (+ (+ (* 0.6666666666666667 (/ 1 eps)) (log NAN)) (* 1/3 (- (log -1) (log (/ 1 eps)))))) (* 3.0 (/ (pow NAN 2) (pow eps 2)))) (* 5/2 (/ (pow NAN 4) (pow eps 2)))) (- (+ (log (* (pow (* -1 eps) 1/3) NAN)) (+ (* 0.33333333333333326 (/ 1 (pow eps 2))) (+ (* 1.0000000000000002 (/ (pow NAN 2) (pow eps 2))) (+ (* 3/2 (/ (pow NAN 4) (pow eps 2))) (log (/ -1 eps)))))) (+ (/ (pow NAN 2) eps) (* 1.3333333333333333 (/ 1 eps)))) (+ (* (pow (pow 1.0 2) 1/3) (+ (* 0.8333333333333333 (/ (pow eps 2) (pow (sqrt 1.0) 2))) (* 0.5555555555555556 (pow eps 2)))) (- (log (* (sqrt 1.0) (pow 1.0 1/3))) (+ (+ (+ (* 0.5 (* (/ eps (pow (sqrt 1.0) 2)) (pow (pow 1.0 2) 1/3))) (* 0.6666666666666666 (* (pow eps 2) (pow (/ 1 (pow 1.0 4)) 1/3)))) (* (pow (pow 1.0 2) 1/3) (+ (* 0.125 (/ (pow eps 2) (pow (sqrt 1.0) 4))) (* 0.6666666666666666 eps)))) (+ (* 0.3333333333333333 (/ (pow eps 2) (pow (sqrt 1.0) 2))) (+ (* 0.2222222222222222 (pow eps 2)) (* 0.125 (/ (pow eps 2) (pow (sqrt 1.0) 4)))))))) (- (+ (log (* NAN (pow (pow eps 2) 1/3))) (+ (log (/ 1 eps)) (+ (/ (pow NAN 2) eps) (+ (* 0.16666666666666674 (/ 1 (pow eps 2))) (* 0.33333333333333337 (/ 1 eps)))))) (+ (* 5/2 (/ (pow NAN 4) (pow eps 2))) (* 3.0 (/ (pow NAN 2) (pow eps 2))))) (- (+ (log (* NAN (pow (pow eps 2) 1/3))) (+ (* 3/2 (/ (pow NAN 4) (pow eps 2))) (+ (* 1.0 (/ (pow NAN 2) (pow eps 2))) (+ (* 0.16666666666666674 (/ 1 (pow eps 2))) (log (/ -1 eps)))))) (+ (/ (pow NAN 2) eps) (* 1.6666666666666665 (/ 1 eps)))) (+ (* (pow 1.0 1/3) (+ (* 0.5555555555555556 (* (pow eps 2) (sqrt 1.0))) (sqrt 1.0))) (- (* 0.8333333333333333 (* (/ (pow eps 2) (sqrt 1.0)) (pow 1.0 1/3))) (+ (+ (* 0.6666666666666666 (* (* (pow eps 2) (sqrt 1.0)) (pow (/ 1 (pow 1.0 5)) 1/3))) (* (pow 1.0 1/3) (+ (* 0.125 (/ (pow eps 2) (pow (sqrt 1.0) 3))) (* 0.5 (/ eps (sqrt 1.0)))))) (* 0.6666666666666666 (* (* (sqrt 1.0) eps) (pow 1.0 1/3)))))) (+ (+ (* 0.22222222222222232 (* NAN (pow (/ 1 (pow eps 7)) 1/3))) (* 0.33333333333333337 (* NAN (pow (/ 1 (pow eps 4)) 1/3)))) (- (+ (* NAN (pow (/ 1 eps) 1/3)) (* (pow NAN 3) (pow (/ 1 (pow eps 4)) 1/3))) (* (pow (/ 1 (pow eps 7)) 1/3) (+ (* 2 (pow NAN 5)) (* 2.6666666666666665 (pow NAN 3)))))) (- (- (* (pow (/ 1 (pow eps 4)) 1/3) (+ (pow NAN 3) (* 1.6666666666666665 NAN))) (* (pow (/ 1 (pow eps 7)) 1/3) (+ (* 2 (pow NAN 5)) (* 2.6666666666666665 (pow NAN 3))))) (+ (* NAN (pow (/ 1 eps) 1/3)) (* 1.5555555555555554 (* NAN (pow (/ 1 (pow eps 7)) 1/3))))) (+ (* (pow 1.0 1/3) (+ (* 0.05555555555555555 (* (pow eps 2) (sqrt 1.0))) (sqrt 1.0))) (- (* 0.6666666666666666 (* (/ (pow eps 2) (sqrt 1.0)) (pow 1.0 1/3))) (+ (+ (* 1/6 (* (* (pow eps 2) (sqrt 1.0)) (pow (/ 1 (pow 1.0 5)) 1/3))) (* (pow 1.0 1/3) (+ (* 0.125 (/ (pow eps 2) (pow (sqrt 1.0) 3))) (* 0.5 (/ eps (sqrt 1.0)))))) (* 0.3333333333333333 (* (* (sqrt 1.0) eps) (pow 1.0 1/3)))))) (- (+ (* 0.6666666666666667 (/ (* NAN (exp (* 1/3 (- (log -1) (log (/ 1 eps)))))) (pow eps 2))) (+ (* 0.5555555555555556 (/ (* NAN (exp (* 1/3 (- (log -1) (log (/ 1 eps)))))) (pow eps 3))) (+ (/ (* (pow NAN 3) (exp (* 1/3 (- (log -1) (log (/ 1 eps)))))) (pow eps 2)) (/ (* NAN (exp (* 1/3 (- (log -1) (log (/ 1 eps)))))) eps)))) (+ (* 2.3333333333333335 (/ (* (pow NAN 3) (exp (* 1/3 (- (log -1) (log (/ 1 eps)))))) (pow eps 3))) (* 2 (/ (* (pow NAN 5) (exp (* 1/3 (- (log -1) (log (/ 1 eps)))))) (pow eps 3))))) (- (- (+ (* 1.3333333333333333 (* (pow (/ -1 (pow eps 5)) 1/3) NAN)) (* (pow (/ -1 (pow eps 5)) 1/3) (pow NAN 3))) (* NAN (+ (pow (/ -1 (pow eps 2)) 1/3) (* 1.222222222222222 (pow (/ -1 (pow eps 8)) 1/3))))) (+ (* 2 (* (pow (/ -1 (pow eps 8)) 1/3) (pow NAN 5))) (* 2.3333333333333335 (* (pow (/ -1 (pow eps 8)) 1/3) (pow NAN 3))))) 3.250 * * * [progress]: adding candidates to table 6.593 * [progress]: [Phase 3 of 3] Extracting. 6.594 * * [regime]: Finding splitpoints for: (# # # # #) 6.595 * * * [regime-changes]: Trying 1 branch expressions: (eps) 6.595 * * * * [regimes]: Trying to branch on eps from (# # # # #) 6.634 * * * [regime]: Found split indices: #