9.933 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.029 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (- (log x) (log (log x))) 0.034 * * [simplify]: iteration 0 : 6 enodes (cost 4 ) 0.035 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 0.037 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 0.037 * [simplify]: Simplified to: (- (log x) (log (log x))) 0.037 * * [progress]: iteration 1 / 4 0.037 * * * [progress]: picking best candidate 0.039 * * * * [pick]: Picked # 0.039 * * * [progress]: localizing error 0.047 * * * [progress]: generating rewritten candidates 0.047 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.053 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.056 * * * [progress]: generating series expansions 0.056 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.057 * [approximate]: Taking taylor expansion of (- (log x) (log (log x))) in (x) around 0 0.057 * [taylor]: Taking taylor expansion of (- (log x) (log (log x))) in x 0.057 * [taylor]: Taking taylor expansion of (log x) in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.057 * [taylor]: Taking taylor expansion of (log x) in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of (- (log x) (log (log x))) in x 0.058 * [taylor]: Taking taylor expansion of (log x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.058 * [taylor]: Taking taylor expansion of (log x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.159 * [approximate]: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in (x) around 0 0.159 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in x 0.159 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.159 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.160 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.161 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in x 0.161 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.161 * [taylor]: Taking taylor expansion of x in x 0.162 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.162 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.162 * [taylor]: Taking taylor expansion of x in x 0.269 * [approximate]: Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in (x) around 0 0.269 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in x 0.269 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.269 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.269 * [taylor]: Taking taylor expansion of -1 in x 0.269 * [taylor]: Taking taylor expansion of x in x 0.270 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.270 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.270 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.270 * [taylor]: Taking taylor expansion of -1 in x 0.270 * [taylor]: Taking taylor expansion of x in x 0.272 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in x 0.272 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.272 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.272 * [taylor]: Taking taylor expansion of -1 in x 0.272 * [taylor]: Taking taylor expansion of x in x 0.272 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.272 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.272 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.272 * [taylor]: Taking taylor expansion of -1 in x 0.272 * [taylor]: Taking taylor expansion of x in x 0.405 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.405 * [approximate]: Taking taylor expansion of (log (log x)) in (x) around 0 0.406 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.406 * [taylor]: Taking taylor expansion of (log x) in x 0.406 * [taylor]: Taking taylor expansion of x in x 0.407 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.407 * [taylor]: Taking taylor expansion of (log x) in x 0.407 * [taylor]: Taking taylor expansion of x in x 0.486 * [approximate]: Taking taylor expansion of (log (log (/ 1 x))) in (x) around 0 0.486 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.486 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.486 * [taylor]: Taking taylor expansion of x in x 0.487 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.487 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.487 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.487 * [taylor]: Taking taylor expansion of x in x 0.556 * [approximate]: Taking taylor expansion of (log (log (/ -1 x))) in (x) around 0 0.556 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.556 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.556 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.556 * [taylor]: Taking taylor expansion of -1 in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.558 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.558 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.558 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.558 * [taylor]: Taking taylor expansion of -1 in x 0.558 * [taylor]: Taking taylor expansion of x in x 0.644 * * * [progress]: simplifying candidates 0.645 * [simplify]: Simplifying using # : (fma 1 (log x) (- (* (log (log x)) 1))) (fma (- (log (log x))) 1 (* (log (log x)) 1)) (fma 1 (log x) (- (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x))))))) (fma (- (cbrt (log (log x)))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))))) (fma 1 (log x) (- (* (sqrt (log (log x))) (sqrt (log (log x)))))) (fma (- (sqrt (log (log x)))) (sqrt (log (log x))) (* (sqrt (log (log x))) (sqrt (log (log x))))) (fma 1 (log x) (- (* (log (log x)) 1))) (fma (- (log (log x))) 1 (* (log (log x)) 1)) (fma (* (cbrt (log x)) (cbrt (log x))) (cbrt (log x)) (- (* (log (log x)) 1))) (fma (- (log (log x))) 1 (* (log (log x)) 1)) (fma (* (cbrt (log x)) (cbrt (log x))) (cbrt (log x)) (- (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x))))))) (fma (- (cbrt (log (log x)))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))))) (fma (* (cbrt (log x)) (cbrt (log x))) (cbrt (log x)) (- (* (sqrt (log (log x))) (sqrt (log (log x)))))) (fma (- (sqrt (log (log x)))) (sqrt (log (log x))) (* (sqrt (log (log x))) (sqrt (log (log x))))) (fma (* (cbrt (log x)) (cbrt (log x))) (cbrt (log x)) (- (* (log (log x)) 1))) (fma (- (log (log x))) 1 (* (log (log x)) 1)) (fma (sqrt (log x)) (sqrt (log x)) (- (* (log (log x)) 1))) (fma (- (log (log x))) 1 (* (log (log x)) 1)) (fma (sqrt (log x)) (sqrt (log x)) (- (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x))))))) (fma (- (cbrt (log (log x)))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))))) (fma (sqrt (log x)) (sqrt (log x)) (- (* (sqrt (log (log x))) (sqrt (log (log x)))))) (fma (- (sqrt (log (log x)))) (sqrt (log (log x))) (* (sqrt (log (log x))) (sqrt (log (log x))))) (fma (sqrt (log x)) (sqrt (log x)) (- (* (log (log x)) 1))) (fma (- (log (log x))) 1 (* (log (log x)) 1)) (fma 1 (log x) (- (* (log (log x)) 1))) (fma (- (log (log x))) 1 (* (log (log x)) 1)) (fma 1 (log x) (- (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x))))))) (fma (- (cbrt (log (log x)))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))))) (fma 1 (log x) (- (* (sqrt (log (log x))) (sqrt (log (log x)))))) (fma (- (sqrt (log (log x)))) (sqrt (log (log x))) (* (sqrt (log (log x))) (sqrt (log (log x))))) (fma 1 (log x) (- (* (log (log x)) 1))) (fma (- (log (log x))) 1 (* (log (log x)) 1)) (expm1 (- (log x) (log (log x)))) (log1p (- (log x) (log (log x)))) (- (log (log x))) (- (log (log x))) (- (log (log x))) (- (log (log x))) (/ x (log x)) (/ x (exp (log (log x)))) (/ (exp (log x)) (log x)) (/ (exp (log x)) (exp (log (log x)))) (log (- (log x) (log (log x)))) (exp (- (log x) (log (log x)))) (* (cbrt (- (log x) (log (log x)))) (cbrt (- (log x) (log (log x))))) (cbrt (- (log x) (log (log x)))) (* (* (- (log x) (log (log x))) (- (log x) (log (log x)))) (- (log x) (log (log x)))) (sqrt (- (log x) (log (log x)))) (sqrt (- (log x) (log (log x)))) (- (pow (log x) 3) (pow (log (log x)) 3)) (+ (* (log x) (log x)) (+ (* (log (log x)) (log (log x))) (* (log x) (log (log x))))) (- (log (log x))) (- (* (log x) (log x)) (* (log (log x)) (log (log x)))) (+ (log x) (log (log x))) (+ (sqrt (log x)) (sqrt (log (log x)))) (- (sqrt (log x)) (sqrt (log (log x)))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log 1)) (- (log x) (log (* (cbrt (log x)) (cbrt (log x))))) (- (log x) (log (sqrt (log x)))) (- (log x) (log 1)) (- (log (cbrt x)) (log (log x))) (- (log (sqrt x)) (log (log x))) (- (log x) (log (log x))) (- (log (log x))) (expm1 (log (log x))) (log1p (log (log x))) (log 1) (log (log x)) (log (* (cbrt (log x)) (cbrt (log x)))) (log (cbrt (log x))) (log (sqrt (log x))) (log (sqrt (log x))) (log 1) (log (log x)) (log (log x)) (log (log (log x))) (exp (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (cbrt (log (log x))) (* (* (log (log x)) (log (log x))) (log (log x))) (sqrt (log (log x))) (sqrt (log (log x))) (- (log x) (log (log x))) (- (+ (log (/ 1 x)) (log (- (log (/ 1 x)))))) (- (log -1) (+ (log (- (log -1) (log (/ -1 x)))) (log (/ -1 x)))) (log (log x)) (log (- (log (/ 1 x)))) (log (- (log -1) (log (/ -1 x)))) 0.649 * * [simplify]: iteration 0 : 169 enodes (cost 599 ) 0.653 * * [simplify]: iteration 1 : 451 enodes (cost 407 ) 0.663 * * [simplify]: iteration 2 : 1805 enodes (cost 403 ) 0.710 * * [simplify]: iteration 3 : 5002 enodes (cost 287 ) 0.712 * [simplify]: Simplified to: (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (expm1 (- (log x) (log (log x)))) (log1p (- (log x) (log (log x)))) (- (log (log x))) (- (log (log x))) (- (log (log x))) (- (log (log x))) (/ x (log x)) (/ x (log x)) (/ x (log x)) (/ x (log x)) (log (- (log x) (log (log x)))) (/ x (log x)) (* (cbrt (- (log x) (log (log x)))) (cbrt (- (log x) (log (log x))))) (cbrt (- (log x) (log (log x)))) (pow (- (log x) (log (log x))) 3) (sqrt (- (log x) (log (log x)))) (sqrt (- (log x) (log (log x)))) (- (pow (log x) 3) (pow (log (log x)) 3)) (fma (log x) (log x) (* (log (log x)) (+ (log (log x)) (log x)))) (- (log (log x))) (fma (- 1) (pow (cbrt (log (log x))) 6) (pow (log x) 2)) (+ (log x) (log (log x))) (+ (sqrt (log x)) (sqrt (log (log x)))) (- (sqrt (log x)) (sqrt (log (log x)))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (log x) (- (log x) (* 2 (log (cbrt (log x))))) (- (log x) (log (sqrt (log x)))) (log x) (- (log (cbrt x)) (log (log x))) (- (log (sqrt x)) (log (log x))) (- (log x) (log (log x))) (- (log (log x))) (expm1 (log (log x))) (log1p (log (log x))) 0 (log (log x)) (* 2 (log (cbrt (log x)))) (log (cbrt (log x))) (log (sqrt (log x))) (log (sqrt (log x))) 0 (log (log x)) (log (log x)) (log (log (log x))) (log x) (* (cbrt (log (log x))) (cbrt (log (log x)))) (cbrt (log (log x))) (pow (log (log x)) 3) (sqrt (log (log x))) (sqrt (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (log (log x)) (log (log x)) (log (log x)) 0.712 * * * [progress]: adding candidates to table 0.800 * * [progress]: iteration 2 / 4 0.800 * * * [progress]: picking best candidate 0.801 * * * * [pick]: Picked # 0.801 * * * [progress]: localizing error 0.807 * * * [progress]: generating rewritten candidates 0.807 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.810 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.816 * * * [progress]: generating series expansions 0.816 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.817 * [approximate]: Taking taylor expansion of (/ x (log x)) in (x) around 0 0.817 * [taylor]: Taking taylor expansion of (/ x (log x)) in x 0.817 * [taylor]: Taking taylor expansion of x in x 0.817 * [taylor]: Taking taylor expansion of (log x) in x 0.817 * [taylor]: Taking taylor expansion of x in x 0.818 * [taylor]: Taking taylor expansion of (/ x (log x)) in x 0.818 * [taylor]: Taking taylor expansion of x in x 0.818 * [taylor]: Taking taylor expansion of (log x) in x 0.818 * [taylor]: Taking taylor expansion of x in x 0.864 * [approximate]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in (x) around 0 0.864 * [taylor]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 0.864 * [taylor]: Taking taylor expansion of (* x (log (/ 1 x))) in x 0.864 * [taylor]: Taking taylor expansion of x in x 0.864 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.864 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.864 * [taylor]: Taking taylor expansion of x in x 0.867 * [taylor]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 0.867 * [taylor]: Taking taylor expansion of (* x (log (/ 1 x))) in x 0.867 * [taylor]: Taking taylor expansion of x in x 0.867 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.867 * [taylor]: Taking taylor expansion of x in x 0.943 * [approximate]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in (x) around 0 0.943 * [taylor]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 0.943 * [taylor]: Taking taylor expansion of -1 in x 0.943 * [taylor]: Taking taylor expansion of (* x (log (/ -1 x))) in x 0.943 * [taylor]: Taking taylor expansion of x in x 0.943 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.943 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.943 * [taylor]: Taking taylor expansion of -1 in x 0.943 * [taylor]: Taking taylor expansion of x in x 0.947 * [taylor]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 0.947 * [taylor]: Taking taylor expansion of -1 in x 0.947 * [taylor]: Taking taylor expansion of (* x (log (/ -1 x))) in x 0.947 * [taylor]: Taking taylor expansion of x in x 0.947 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.947 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.947 * [taylor]: Taking taylor expansion of -1 in x 0.947 * [taylor]: Taking taylor expansion of x in x 1.039 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.039 * [approximate]: Taking taylor expansion of (log (/ x (log x))) in (x) around 0 1.039 * [taylor]: Taking taylor expansion of (log (/ x (log x))) in x 1.039 * [taylor]: Taking taylor expansion of (/ x (log x)) in x 1.039 * [taylor]: Taking taylor expansion of x in x 1.039 * [taylor]: Taking taylor expansion of (log x) in x 1.039 * [taylor]: Taking taylor expansion of x in x 1.040 * [taylor]: Taking taylor expansion of (log (/ x (log x))) in x 1.040 * [taylor]: Taking taylor expansion of (/ x (log x)) in x 1.040 * [taylor]: Taking taylor expansion of x in x 1.040 * [taylor]: Taking taylor expansion of (log x) in x 1.040 * [taylor]: Taking taylor expansion of x in x 1.108 * [approximate]: Taking taylor expansion of (log (/ 1 (* x (log (/ 1 x))))) in (x) around 0 1.108 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (log (/ 1 x))))) in x 1.108 * [taylor]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 1.108 * [taylor]: Taking taylor expansion of (* x (log (/ 1 x))) in x 1.108 * [taylor]: Taking taylor expansion of x in x 1.108 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.108 * [taylor]: Taking taylor expansion of x in x 1.111 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (log (/ 1 x))))) in x 1.111 * [taylor]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 1.111 * [taylor]: Taking taylor expansion of (* x (log (/ 1 x))) in x 1.111 * [taylor]: Taking taylor expansion of x in x 1.111 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.111 * [taylor]: Taking taylor expansion of x in x 1.206 * [approximate]: Taking taylor expansion of (log (/ -1 (* x (log (/ -1 x))))) in (x) around 0 1.206 * [taylor]: Taking taylor expansion of (log (/ -1 (* x (log (/ -1 x))))) in x 1.206 * [taylor]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 1.206 * [taylor]: Taking taylor expansion of -1 in x 1.206 * [taylor]: Taking taylor expansion of (* x (log (/ -1 x))) in x 1.206 * [taylor]: Taking taylor expansion of x in x 1.206 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 1.206 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.206 * [taylor]: Taking taylor expansion of -1 in x 1.206 * [taylor]: Taking taylor expansion of x in x 1.210 * [taylor]: Taking taylor expansion of (log (/ -1 (* x (log (/ -1 x))))) in x 1.210 * [taylor]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 1.210 * [taylor]: Taking taylor expansion of -1 in x 1.210 * [taylor]: Taking taylor expansion of (* x (log (/ -1 x))) in x 1.210 * [taylor]: Taking taylor expansion of x in x 1.210 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 1.210 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.210 * [taylor]: Taking taylor expansion of -1 in x 1.210 * [taylor]: Taking taylor expansion of x in x 1.335 * * * [progress]: simplifying candidates 1.336 * [simplify]: Simplifying using # : (expm1 (/ x (log x))) (log1p (/ x (log x))) (- (log x) (log (log x))) (log (/ x (log x))) (exp (/ x (log x))) (/ (* (* x x) x) (* (* (log x) (log x)) (log x))) (* (cbrt (/ x (log x))) (cbrt (/ x (log x)))) (cbrt (/ x (log x))) (* (* (/ x (log x)) (/ x (log x))) (/ x (log x))) (sqrt (/ x (log x))) (sqrt (/ x (log x))) (- x) (- (log x)) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (log x)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (log x)) (cbrt (log x)))) (/ (cbrt x) (cbrt (log x))) (/ (* (cbrt x) (cbrt x)) (sqrt (log x))) (/ (cbrt x) (sqrt (log x))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (log x)) (/ (sqrt x) 1) (/ (sqrt x) (log x)) (/ (sqrt x) (* (cbrt (log x)) (cbrt (log x)))) (/ (sqrt x) (cbrt (log x))) (/ (sqrt x) (sqrt (log x))) (/ (sqrt x) (sqrt (log x))) (/ (sqrt x) 1) (/ (sqrt x) (log x)) (/ 1 1) (/ x (log x)) (/ 1 (* (cbrt (log x)) (cbrt (log x)))) (/ x (cbrt (log x))) (/ 1 (sqrt (log x))) (/ x (sqrt (log x))) (/ 1 1) (/ x (log x)) (/ 1 (log x)) (/ (log x) x) (/ x 1) (/ x (* (cbrt (log x)) (cbrt (log x)))) (/ x (sqrt (log x))) (/ x 1) (/ (log x) (cbrt x)) (/ (log x) (sqrt x)) (/ (log x) x) (expm1 (log (/ x (log x)))) (log1p (log (/ x (log x)))) (log (* (cbrt (/ x (log x))) (cbrt (/ x (log x))))) (log (cbrt (/ x (log x)))) (log (sqrt (/ x (log x)))) (log (sqrt (/ x (log x)))) (log (/ (* (cbrt x) (cbrt x)) 1)) (log (/ (cbrt x) (log x))) (log (/ (* (cbrt x) (cbrt x)) (* (cbrt (log x)) (cbrt (log x))))) (log (/ (cbrt x) (cbrt (log x)))) (log (/ (* (cbrt x) (cbrt x)) (sqrt (log x)))) (log (/ (cbrt x) (sqrt (log x)))) (log (/ (* (cbrt x) (cbrt x)) 1)) (log (/ (cbrt x) (log x))) (log (/ (sqrt x) 1)) (log (/ (sqrt x) (log x))) (log (/ (sqrt x) (* (cbrt (log x)) (cbrt (log x))))) (log (/ (sqrt x) (cbrt (log x)))) (log (/ (sqrt x) (sqrt (log x)))) (log (/ (sqrt x) (sqrt (log x)))) (log (/ (sqrt x) 1)) (log (/ (sqrt x) (log x))) (log (/ 1 1)) (log (/ x (log x))) (log (/ 1 (* (cbrt (log x)) (cbrt (log x))))) (log (/ x (cbrt (log x)))) (log (/ 1 (sqrt (log x)))) (log (/ x (sqrt (log x)))) (log (/ 1 1)) (log (/ x (log x))) (log 1) (log (/ x (log x))) (log x) (log (/ 1 (log x))) (log x) (log (log x)) (log (- x)) (log (- (log x))) (log 1) (log (/ (log x) x)) (log (/ x 1)) (log (log x)) (log (/ x (* (cbrt (log x)) (cbrt (log x))))) (log (cbrt (log x))) (log (/ x (sqrt (log x)))) (log (sqrt (log x))) (log (/ x 1)) (log (log x)) (log (* (cbrt x) (cbrt x))) (log (/ (log x) (cbrt x))) (log (sqrt x)) (log (/ (log x) (sqrt x))) (log 1) (log (/ (log x) x)) (log (/ (log x) x)) (log (/ (log x) x)) (log (/ x (log x))) (log (log (/ x (log x)))) (exp (log (/ x (log x)))) (* (cbrt (log (/ x (log x)))) (cbrt (log (/ x (log x))))) (cbrt (log (/ x (log x)))) (* (* (log (/ x (log x))) (log (/ x (log x)))) (log (/ x (log x)))) (sqrt (log (/ x (log x)))) (sqrt (log (/ x (log x)))) (/ x (log x)) (* -1 (/ x (log (/ 1 x)))) (/ x (- (log -1) (log (/ -1 x)))) (+ (log (/ 1 (log x))) (log x)) (- (log (/ -1 (log (/ 1 x)))) (log (/ 1 x))) (- (log (/ -1 (- (log -1) (log (/ -1 x))))) (log (/ -1 x))) 1.341 * * [simplify]: iteration 0 : 185 enodes (cost 423 ) 1.344 * * [simplify]: iteration 1 : 522 enodes (cost 394 ) 1.352 * * [simplify]: iteration 2 : 1511 enodes (cost 380 ) 1.381 * * [simplify]: iteration 3 : 5002 enodes (cost 377 ) 1.383 * [simplify]: Simplified to: (expm1 (/ x (log x))) (log1p (/ x (log x))) (log (/ x (log x))) (log (/ x (log x))) (exp (/ x (log x))) (pow (/ x (log x)) 3) (* (cbrt (/ x (log x))) (cbrt (/ x (log x)))) (cbrt (/ x (log x))) (pow (/ x (log x)) 3) (sqrt (/ x (log x))) (sqrt (/ x (log x))) (* -1 x) (log (/ 1 x)) (* (cbrt x) (cbrt x)) (/ (cbrt x) (log x)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (log x)) (cbrt (log x)))) (/ (cbrt x) (cbrt (log x))) (/ (* (cbrt x) (cbrt x)) (sqrt (log x))) (/ (cbrt x) (sqrt (log x))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (log x)) (sqrt x) (/ (sqrt x) (log x)) (/ (sqrt x) (* (cbrt (log x)) (cbrt (log x)))) (/ (sqrt x) (cbrt (log x))) (/ (sqrt x) (sqrt (log x))) (/ (sqrt x) (sqrt (log x))) (sqrt x) (/ (sqrt x) (log x)) 1 (/ x (log x)) (/ 1 (* (cbrt (log x)) (cbrt (log x)))) (/ x (cbrt (log x))) (/ 1 (sqrt (log x))) (/ x (sqrt (log x))) 1 (/ x (log x)) (/ 1 (log x)) (/ (log x) x) x (/ x (* (cbrt (log x)) (cbrt (log x)))) (/ x (sqrt (log x))) x (/ (log x) (cbrt x)) (/ (log x) (sqrt x)) (/ (log x) x) (expm1 (log (/ x (log x)))) (log1p (log (/ x (log x)))) (* 2 (log (cbrt (/ x (log x))))) (log (cbrt (/ x (log x)))) (log (sqrt (/ x (log x)))) (log (sqrt (/ x (log x)))) (* 2 (log (cbrt x))) (log (/ (cbrt x) (log x))) (* 2 (log (/ (cbrt x) (cbrt (log x))))) (log (/ (cbrt x) (cbrt (log x)))) (log (/ (* (cbrt x) (cbrt x)) (sqrt (log x)))) (log (/ (cbrt x) (sqrt (log x)))) (* 2 (log (cbrt x))) (log (/ (cbrt x) (log x))) (log (sqrt x)) (log (/ (sqrt x) (log x))) (log (/ (sqrt x) (* (cbrt (log x)) (cbrt (log x))))) (log (/ (sqrt x) (cbrt (log x)))) (log (/ (sqrt x) (sqrt (log x)))) (log (/ (sqrt x) (sqrt (log x)))) (log (sqrt x)) (log (/ (sqrt x) (log x))) 0 (log (/ x (log x))) (* (- 2) (log (cbrt (log x)))) (log (/ x (cbrt (log x)))) (log (/ 1 (sqrt (log x)))) (log (/ x (sqrt (log x)))) 0 (log (/ x (log x))) 0 (log (/ x (log x))) (log x) (log (/ 1 (log x))) (log x) (log (log x)) (log (- x)) (log (log (/ 1 x))) 0 (log (/ (log x) x)) (log x) (log (log x)) (log (/ x (* (cbrt (log x)) (cbrt (log x))))) (log (cbrt (log x))) (log (/ x (sqrt (log x)))) (log (sqrt (log x))) (log x) (log (log x)) (* 2 (log (cbrt x))) (log (/ (log x) (cbrt x))) (log (sqrt x)) (log (/ (log x) (sqrt x))) 0 (log (/ (log x) x)) (log (/ (log x) x)) (log (/ (log x) x)) (log (/ x (log x))) (log (log (/ x (log x)))) (/ x (log x)) (* (cbrt (log (/ x (log x)))) (cbrt (log (/ x (log x))))) (cbrt (log (/ x (log x)))) (pow (log (/ x (log x))) 3) (sqrt (log (/ x (log x)))) (sqrt (log (/ x (log x)))) (/ x (log x)) (/ x (log x)) (/ x (log x)) (log (/ x (log x))) (+ (log (/ -1 (log (/ 1 x)))) (log x)) (log (/ x (log x))) 1.383 * * * [progress]: adding candidates to table 1.521 * [progress]: [Phase 3 of 3] Extracting. 1.521 * * [regime]: Finding splitpoints for: (# #) 1.521 * * * [regime-changes]: Trying 3 branch expressions: ((log x) (- (log x) (log (log x))) x) 1.521 * * * * [regimes]: Trying to branch on (log x) from (# #) 1.534 * * * * [regimes]: Trying to branch on (- (log x) (log (log x))) from (# #) 1.551 * * * * [regimes]: Trying to branch on x from (# #) 1.564 * * * [regime]: Found split indices: #