8.742 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.039 * * * [progress]: [2/2] Setting up program. 0.042 * [progress]: [Phase 2 of 3] Improving. 0.042 * [simplify]: Simplifying using # : (- (log x) (log (log x))) 0.044 * * [simplify]: iteration 0 : 6 enodes (cost 4 ) 0.045 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 0.046 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 0.046 * [simplify]: Simplified to: (- (log x) (log (log x))) 0.046 * * [progress]: iteration 1 / 4 0.047 * * * [progress]: picking best candidate 0.049 * * * * [pick]: Picked # 0.049 * * * [progress]: localizing error 0.054 * * * [progress]: generating rewritten candidates 0.054 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.059 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.062 * * * [progress]: generating series expansions 0.062 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.062 * [approximate]: Taking taylor expansion of (- (log x) (log (log x))) in (x) around 0 0.062 * [taylor]: Taking taylor expansion of (- (log x) (log (log x))) in x 0.062 * [taylor]: Taking taylor expansion of (log x) in x 0.062 * [taylor]: Taking taylor expansion of x in x 0.062 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.062 * [taylor]: Taking taylor expansion of (log x) in x 0.062 * [taylor]: Taking taylor expansion of x in x 0.062 * [taylor]: Taking taylor expansion of (- (log x) (log (log x))) in x 0.062 * [taylor]: Taking taylor expansion of (log x) in x 0.062 * [taylor]: Taking taylor expansion of x in x 0.062 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.062 * [taylor]: Taking taylor expansion of (log x) in x 0.062 * [taylor]: Taking taylor expansion of x in x 0.073 * [approximate]: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in (x) around 0 0.073 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in x 0.073 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.073 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in x 0.073 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.073 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.084 * [approximate]: Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in (x) around 0 0.085 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in x 0.085 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.085 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.085 * [taylor]: Taking taylor expansion of -1 in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.085 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.085 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.085 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.085 * [taylor]: Taking taylor expansion of -1 in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.085 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in x 0.085 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.085 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.085 * [taylor]: Taking taylor expansion of -1 in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.085 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.085 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.085 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.085 * [taylor]: Taking taylor expansion of -1 in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.099 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.099 * [approximate]: Taking taylor expansion of (log (log x)) in (x) around 0 0.099 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.099 * [taylor]: Taking taylor expansion of (log x) in x 0.099 * [taylor]: Taking taylor expansion of x in x 0.099 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.099 * [taylor]: Taking taylor expansion of (log x) in x 0.099 * [taylor]: Taking taylor expansion of x in x 0.107 * [approximate]: Taking taylor expansion of (log (log (/ 1 x))) in (x) around 0 0.107 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.107 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.107 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.107 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.115 * [approximate]: Taking taylor expansion of (log (log (/ -1 x))) in (x) around 0 0.115 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.115 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.115 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.115 * [taylor]: Taking taylor expansion of -1 in x 0.115 * [taylor]: Taking taylor expansion of x in x 0.115 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.115 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.115 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.115 * [taylor]: Taking taylor expansion of -1 in x 0.115 * [taylor]: Taking taylor expansion of x in x 0.123 * * * [progress]: simplifying candidates 0.124 * [simplify]: Simplifying using # : (/ x (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))))) (neg (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))) (neg (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 1) (log x)) (log (+ (log 1) (log x)))) (- (log 1) (+ (log (/ 1 x)) (log (- (log 1) (log (/ 1 x)))))) (- (log -1) (+ (log (- (log -1) (log (/ -1 x)))) (log (/ -1 x)))) (log (+ (log 1) (log x))) (log (- (log 1) (log (/ 1 x)))) (log (- (log -1) (log (/ -1 x)))) 0.127 * * [simplify]: iteration 0 : 126 enodes (cost 237 ) 0.129 * * [simplify]: iteration 1 : 273 enodes (cost 212 ) 0.133 * * [simplify]: iteration 2 : 543 enodes (cost 191 ) 0.142 * * [simplify]: iteration 3 : 2469 enodes (cost 191 ) 0.188 * * [simplify]: iteration 4 : 5002 enodes (cost 191 ) 0.189 * [simplify]: Simplified to: (/ 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)) (+ (* (log (log x)) (+ (log (log x)) (log x))) (* (log x) (log x))) (neg (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 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))) (neg (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.189 * * * [progress]: adding candidates to table 0.219 * * [progress]: iteration 2 / 4 0.219 * * * [progress]: picking best candidate 0.225 * * * * [pick]: Picked # 0.225 * * * [progress]: localizing error 0.231 * * * [progress]: generating rewritten candidates 0.231 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.235 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.239 * * * [progress]: generating series expansions 0.240 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.240 * [approximate]: Taking taylor expansion of (/ x (log x)) in (x) around 0 0.240 * [taylor]: Taking taylor expansion of (/ x (log x)) in x 0.240 * [taylor]: Taking taylor expansion of x in x 0.240 * [taylor]: Taking taylor expansion of (log x) in x 0.240 * [taylor]: Taking taylor expansion of x in x 0.240 * [taylor]: Taking taylor expansion of (/ x (log x)) in x 0.240 * [taylor]: Taking taylor expansion of x in x 0.240 * [taylor]: Taking taylor expansion of (log x) in x 0.240 * [taylor]: Taking taylor expansion of x in x 0.246 * [approximate]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in (x) around 0 0.246 * [taylor]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 0.246 * [taylor]: Taking taylor expansion of (* x (log (/ 1 x))) in x 0.246 * [taylor]: Taking taylor expansion of x in x 0.246 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.246 * [taylor]: Taking taylor expansion of x in x 0.246 * [taylor]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 0.246 * [taylor]: Taking taylor expansion of (* x (log (/ 1 x))) in x 0.246 * [taylor]: Taking taylor expansion of x in x 0.246 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.246 * [taylor]: Taking taylor expansion of x in x 0.253 * [approximate]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in (x) around 0 0.253 * [taylor]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 0.253 * [taylor]: Taking taylor expansion of -1 in x 0.253 * [taylor]: Taking taylor expansion of (* x (log (/ -1 x))) in x 0.253 * [taylor]: Taking taylor expansion of x in x 0.253 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.253 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.253 * [taylor]: Taking taylor expansion of -1 in x 0.253 * [taylor]: Taking taylor expansion of x in x 0.254 * [taylor]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 0.254 * [taylor]: Taking taylor expansion of -1 in x 0.254 * [taylor]: Taking taylor expansion of (* x (log (/ -1 x))) in x 0.254 * [taylor]: Taking taylor expansion of x in x 0.254 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.254 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.254 * [taylor]: Taking taylor expansion of -1 in x 0.254 * [taylor]: Taking taylor expansion of x in x 0.261 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.261 * [approximate]: Taking taylor expansion of (log (/ x (log x))) in (x) around 0 0.261 * [taylor]: Taking taylor expansion of (log (/ x (log x))) in x 0.261 * [taylor]: Taking taylor expansion of (/ x (log x)) in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.261 * [taylor]: Taking taylor expansion of (log x) in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.261 * [taylor]: Taking taylor expansion of (log (/ x (log x))) in x 0.261 * [taylor]: Taking taylor expansion of (/ x (log x)) in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.261 * [taylor]: Taking taylor expansion of (log x) in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.270 * [approximate]: Taking taylor expansion of (log (/ 1 (* x (log (/ 1 x))))) in (x) around 0 0.270 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (log (/ 1 x))))) in x 0.270 * [taylor]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 0.270 * [taylor]: Taking taylor expansion of (* x (log (/ 1 x))) in x 0.270 * [taylor]: Taking taylor expansion of 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.271 * [taylor]: Taking taylor expansion of x in x 0.271 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (log (/ 1 x))))) in x 0.271 * [taylor]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 0.271 * [taylor]: Taking taylor expansion of (* x (log (/ 1 x))) in x 0.271 * [taylor]: Taking taylor expansion of x in x 0.271 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.271 * [taylor]: Taking taylor expansion of x in x 0.282 * [approximate]: Taking taylor expansion of (log (/ -1 (* x (log (/ -1 x))))) in (x) around 0 0.282 * [taylor]: Taking taylor expansion of (log (/ -1 (* x (log (/ -1 x))))) in x 0.282 * [taylor]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 0.282 * [taylor]: Taking taylor expansion of -1 in x 0.282 * [taylor]: Taking taylor expansion of (* x (log (/ -1 x))) in x 0.282 * [taylor]: Taking taylor expansion of x in x 0.282 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.282 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.282 * [taylor]: Taking taylor expansion of -1 in x 0.282 * [taylor]: Taking taylor expansion of x in x 0.283 * [taylor]: Taking taylor expansion of (log (/ -1 (* x (log (/ -1 x))))) in x 0.283 * [taylor]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 0.283 * [taylor]: Taking taylor expansion of -1 in x 0.283 * [taylor]: Taking taylor expansion of (* x (log (/ -1 x))) in x 0.283 * [taylor]: Taking taylor expansion of x in x 0.283 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.283 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.283 * [taylor]: Taking taylor expansion of -1 in x 0.283 * [taylor]: Taking taylor expansion of x in x 0.294 * * * [progress]: simplifying candidates 0.295 * [simplify]: Simplifying using # : (- (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))) (neg x) (neg (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) (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 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 1) (log x))) (/ x (- (log 1) (log (/ 1 x)))) (/ x (- (log -1) (log (/ -1 x)))) (+ (log x) (log (/ 1 (+ (log 1) (log x))))) (- (log (/ 1 (- (log 1) (log (/ 1 x))))) (log (/ 1 x))) (- (log (/ -1 (- (log -1) (log (/ -1 x))))) (log (/ -1 x))) 0.299 * * [simplify]: iteration 0 : 175 enodes (cost 362 ) 0.302 * * [simplify]: iteration 1 : 478 enodes (cost 324 ) 0.308 * * [simplify]: iteration 2 : 1477 enodes (cost 308 ) 0.330 * * [simplify]: iteration 3 : 5001 enodes (cost 306 ) 0.333 * [simplify]: Simplified to: (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))) (neg 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) (* 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 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 (/ x (log x))) (log (/ x (log x))) 0.333 * * * [progress]: adding candidates to table 0.382 * * [progress]: iteration 3 / 4 0.382 * * * [progress]: picking best candidate 0.384 * * * * [pick]: Picked # 0.384 * * * [progress]: localizing error 0.395 * * * [progress]: generating rewritten candidates 0.395 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.401 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.414 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 0.415 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 0.420 * * * [progress]: generating series expansions 0.420 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.420 * [approximate]: Taking taylor expansion of (- (log (sqrt x)) (log (log x))) in (x) around 0 0.420 * [taylor]: Taking taylor expansion of (- (log (sqrt x)) (log (log x))) in x 0.420 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 0.420 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.420 * [taylor]: Taking taylor expansion of x in x 0.420 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.420 * [taylor]: Taking taylor expansion of (log x) in x 0.420 * [taylor]: Taking taylor expansion of x in x 0.420 * [taylor]: Taking taylor expansion of (- (log (sqrt x)) (log (log x))) in x 0.420 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 0.420 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.420 * [taylor]: Taking taylor expansion of x in x 0.420 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.420 * [taylor]: Taking taylor expansion of (log x) in x 0.420 * [taylor]: Taking taylor expansion of x in x 0.423 * [approximate]: Taking taylor expansion of (- (log (sqrt (/ 1 x))) (log (log (/ 1 x)))) in (x) around 0 0.423 * [taylor]: Taking taylor expansion of (- (log (sqrt (/ 1 x))) (log (log (/ 1 x)))) in x 0.423 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 0.423 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.423 * [taylor]: Taking taylor expansion of x in x 0.423 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.423 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.423 * [taylor]: Taking taylor expansion of x in x 0.423 * [taylor]: Taking taylor expansion of (- (log (sqrt (/ 1 x))) (log (log (/ 1 x)))) in x 0.423 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 0.423 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.423 * [taylor]: Taking taylor expansion of x in x 0.423 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.423 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.423 * [taylor]: Taking taylor expansion of x in x 0.426 * [approximate]: Taking taylor expansion of (- (log (sqrt (/ -1 x))) (log (log (/ -1 x)))) in (x) around 0 0.426 * [taylor]: Taking taylor expansion of (- (log (sqrt (/ -1 x))) (log (log (/ -1 x)))) in x 0.426 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 0.426 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.426 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.426 * [taylor]: Taking taylor expansion of -1 in x 0.426 * [taylor]: Taking taylor expansion of x in x 0.426 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.426 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.426 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.426 * [taylor]: Taking taylor expansion of -1 in x 0.426 * [taylor]: Taking taylor expansion of x in x 0.426 * [taylor]: Taking taylor expansion of (- (log (sqrt (/ -1 x))) (log (log (/ -1 x)))) in x 0.426 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 0.426 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.426 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.426 * [taylor]: Taking taylor expansion of -1 in x 0.426 * [taylor]: Taking taylor expansion of x in x 0.426 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.426 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.426 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.426 * [taylor]: Taking taylor expansion of -1 in x 0.426 * [taylor]: Taking taylor expansion of x in x 0.428 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.429 * [approximate]: Taking taylor expansion of (- (* 2 (log (sqrt x))) (log (log x))) in (x) around 0 0.429 * [taylor]: Taking taylor expansion of (- (* 2 (log (sqrt x))) (log (log x))) in x 0.429 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt x))) in x 0.429 * [taylor]: Taking taylor expansion of 2 in x 0.429 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 0.429 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.429 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.429 * [taylor]: Taking taylor expansion of (log x) in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.429 * [taylor]: Taking taylor expansion of (- (* 2 (log (sqrt x))) (log (log x))) in x 0.429 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt x))) in x 0.429 * [taylor]: Taking taylor expansion of 2 in x 0.429 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 0.429 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.429 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.429 * [taylor]: Taking taylor expansion of (log x) in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.432 * [approximate]: Taking taylor expansion of (- (* 2 (log (sqrt (/ 1 x)))) (log (log (/ 1 x)))) in (x) around 0 0.432 * [taylor]: Taking taylor expansion of (- (* 2 (log (sqrt (/ 1 x)))) (log (log (/ 1 x)))) in x 0.432 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt (/ 1 x)))) in x 0.432 * [taylor]: Taking taylor expansion of 2 in x 0.432 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 0.432 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.432 * [taylor]: Taking taylor expansion of x in x 0.432 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.432 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.432 * [taylor]: Taking taylor expansion of x in x 0.432 * [taylor]: Taking taylor expansion of (- (* 2 (log (sqrt (/ 1 x)))) (log (log (/ 1 x)))) in x 0.432 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt (/ 1 x)))) in x 0.432 * [taylor]: Taking taylor expansion of 2 in x 0.432 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 0.432 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.432 * [taylor]: Taking taylor expansion of x in x 0.432 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.432 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.432 * [taylor]: Taking taylor expansion of x in x 0.435 * [approximate]: Taking taylor expansion of (- (* 2 (log (sqrt (/ -1 x)))) (log (log (/ -1 x)))) in (x) around 0 0.435 * [taylor]: Taking taylor expansion of (- (* 2 (log (sqrt (/ -1 x)))) (log (log (/ -1 x)))) in x 0.435 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt (/ -1 x)))) in x 0.435 * [taylor]: Taking taylor expansion of 2 in x 0.435 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 0.435 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.435 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.435 * [taylor]: Taking taylor expansion of -1 in x 0.435 * [taylor]: Taking taylor expansion of x in x 0.435 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.435 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.435 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.435 * [taylor]: Taking taylor expansion of -1 in x 0.435 * [taylor]: Taking taylor expansion of x in x 0.435 * [taylor]: Taking taylor expansion of (- (* 2 (log (sqrt (/ -1 x)))) (log (log (/ -1 x)))) in x 0.435 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt (/ -1 x)))) in x 0.436 * [taylor]: Taking taylor expansion of 2 in x 0.436 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 0.436 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.436 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.436 * [taylor]: Taking taylor expansion of -1 in x 0.436 * [taylor]: Taking taylor expansion of x in x 0.436 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.436 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.436 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.436 * [taylor]: Taking taylor expansion of -1 in x 0.436 * [taylor]: Taking taylor expansion of x in x 0.438 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 0.438 * [approximate]: Taking taylor expansion of (log (log x)) in (x) around 0 0.438 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.438 * [taylor]: Taking taylor expansion of (log x) in x 0.438 * [taylor]: Taking taylor expansion of x in x 0.439 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.439 * [taylor]: Taking taylor expansion of (log x) in x 0.439 * [taylor]: Taking taylor expansion of x in x 0.446 * [approximate]: Taking taylor expansion of (log (log (/ 1 x))) in (x) around 0 0.446 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.446 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.446 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.446 * [taylor]: Taking taylor expansion of x in x 0.446 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.446 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.446 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.446 * [taylor]: Taking taylor expansion of x in x 0.454 * [approximate]: Taking taylor expansion of (log (log (/ -1 x))) in (x) around 0 0.454 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.454 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.454 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.454 * [taylor]: Taking taylor expansion of -1 in x 0.454 * [taylor]: Taking taylor expansion of x in x 0.455 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.455 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.455 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.455 * [taylor]: Taking taylor expansion of -1 in x 0.455 * [taylor]: Taking taylor expansion of x in x 0.463 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 0.463 * [approximate]: Taking taylor expansion of (log (sqrt x)) in (x) around 0 0.463 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 0.463 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.463 * [taylor]: Taking taylor expansion of x in x 0.463 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 0.463 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.463 * [taylor]: Taking taylor expansion of x in x 0.464 * [approximate]: Taking taylor expansion of (log (sqrt (/ 1 x))) in (x) around 0 0.464 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 0.464 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.464 * [taylor]: Taking taylor expansion of x in x 0.464 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 0.464 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.464 * [taylor]: Taking taylor expansion of x in x 0.465 * [approximate]: Taking taylor expansion of (log (sqrt (/ -1 x))) in (x) around 0 0.466 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 0.466 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.466 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.466 * [taylor]: Taking taylor expansion of -1 in x 0.466 * [taylor]: Taking taylor expansion of x in x 0.466 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 0.466 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.466 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.466 * [taylor]: Taking taylor expansion of -1 in x 0.466 * [taylor]: Taking taylor expansion of x in x 0.467 * * * [progress]: simplifying candidates 0.468 * [simplify]: Simplifying using # : (/ (sqrt x) (log x)) (log (- (log (sqrt x)) (log (log x)))) (exp (- (log (sqrt x)) (log (log x)))) (* (cbrt (- (log (sqrt x)) (log (log x)))) (cbrt (- (log (sqrt x)) (log (log x))))) (cbrt (- (log (sqrt x)) (log (log x)))) (* (* (- (log (sqrt x)) (log (log x))) (- (log (sqrt x)) (log (log x)))) (- (log (sqrt x)) (log (log x)))) (sqrt (- (log (sqrt x)) (log (log x)))) (sqrt (- (log (sqrt x)) (log (log x)))) (- (pow (log (sqrt x)) 3) (pow (log (log x)) 3)) (+ (* (log (sqrt x)) (log (sqrt x))) (+ (* (log (log x)) (log (log x))) (* (log (sqrt x)) (log (log x))))) (neg (log (log x))) (- (* (log (sqrt x)) (log (sqrt x))) (* (log (log x)) (log (log x)))) (+ (log (sqrt x)) (log (log x))) (+ (sqrt (log (sqrt x))) (sqrt (log (log x)))) (- (sqrt (log (sqrt x))) (sqrt (log (log x)))) (- (log (sqrt x)) (log (log x))) (- (log (sqrt x)) (log (log x))) (- (log (sqrt x)) (log (log x))) (- (log (sqrt x)) (log (log x))) (- (log (sqrt x)) (log 1)) (- (log (sqrt x)) (log (* (cbrt (log x)) (cbrt (log x))))) (- (log (sqrt x)) (log (sqrt (log x)))) (- (log (sqrt x)) (log 1)) (- (log (cbrt (sqrt x))) (log (log x))) (- (log (sqrt (cbrt x))) (log (log x))) (- (log (sqrt (sqrt x))) (log (log x))) (- (log (sqrt x)) (log (log x))) (- (log (sqrt (sqrt x))) (log (log x))) (- (log (sqrt x)) (log (log x))) (neg (log (log x))) (* (sqrt x) (/ (sqrt x) (log x))) (* (sqrt x) (exp (- (log (sqrt x)) (log (log x))))) (log (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x))))) (exp (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x))))) (* (cbrt (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x))))) (cbrt (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x)))))) (cbrt (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x))))) (* (* (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x))))) (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x))))) (sqrt (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x))))) (sqrt (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x))))) (+ (pow (log (sqrt x)) 3) (pow (- (log (sqrt x)) (log (log x))) 3)) (+ (* (log (sqrt x)) (log (sqrt x))) (- (* (- (log (sqrt x)) (log (log x))) (- (log (sqrt x)) (log (log x)))) (* (log (sqrt x)) (- (log (sqrt x)) (log (log x)))))) (- (* (log (sqrt x)) (log (sqrt x))) (* (- (log (sqrt x)) (log (log x))) (- (log (sqrt x)) (log (log x))))) (- (log (sqrt x)) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt x)) (log (sqrt x))) (+ (log (sqrt x)) (log (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (+ (log (sqrt x)) (log (sqrt (* (cbrt x) (cbrt x))))) (+ (log (sqrt x)) (log (sqrt (sqrt x)))) (+ (log (sqrt x)) (log (sqrt 1))) (+ (log (sqrt x)) (log (sqrt (sqrt x)))) (+ (log (sqrt x)) (log 1)) (+ (log (sqrt x)) (log (sqrt x))) (+ (log (cbrt (sqrt x))) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt (cbrt x))) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt (sqrt x))) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt (sqrt x))) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt x)) (log (sqrt 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 (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (log (cbrt (sqrt x))) (log (sqrt (* (cbrt x) (cbrt x)))) (log (sqrt (cbrt x))) (log (sqrt (sqrt x))) (log (sqrt (sqrt x))) (log (sqrt 1)) (log (sqrt x)) (log (sqrt (sqrt x))) (log (sqrt (sqrt x))) (log 1) (log (sqrt x)) (log x) (log (sqrt x)) (log x) (log (log (sqrt x))) (exp (log (sqrt x))) (* (cbrt (log (sqrt x))) (cbrt (log (sqrt x)))) (cbrt (log (sqrt x))) (* (* (log (sqrt x)) (log (sqrt x))) (log (sqrt x))) (sqrt (log (sqrt x))) (sqrt (log (sqrt x))) (- (+ (log x) (+ (* 1/2 (* (pow x 2) (pow NAN 4))) (+ (log NAN) (* x (pow NAN 2))))) (log (+ (log 1) (log x)))) (- (+ (* 1/2 (/ (pow NAN 4) (pow x 2))) (+ (log NAN) (/ (pow NAN 2) x))) (log (- (log 1) (log (/ 1 x))))) (- (+ (* 1/2 (/ (pow NAN 4) (pow x 2))) (log NAN)) (+ (log (- (log -1) (log (/ -1 x)))) (/ (pow NAN 2) x))) (- (+ (* 2 (log x)) (+ (* (pow x 2) (pow NAN 4)) (+ (* 2 (log NAN)) (* 2 (* x (pow NAN 2)))))) (log (+ (log 1) (log x)))) (- (+ (/ (pow NAN 4) (pow x 2)) (+ (* 2 (log NAN)) (* 2 (/ (pow NAN 2) x)))) (log (- (log 1) (log (/ 1 x))))) (- (+ (/ (pow NAN 4) (pow x 2)) (* 2 (log NAN))) (+ (log (- (log -1) (log (/ -1 x)))) (* 2 (/ (pow NAN 2) x)))) (log (+ (log 1) (log x))) (log (- (log 1) (log (/ 1 x)))) (log (- (log -1) (log (/ -1 x)))) (+ (log x) (+ (* 1/2 (* (pow x 2) (pow NAN 4))) (+ (log NAN) (* x (pow NAN 2))))) (+ (* 1/2 (/ (pow NAN 4) (pow x 2))) (+ (log NAN) (/ (pow NAN 2) x))) (- (+ (* 1/2 (/ (pow NAN 4) (pow x 2))) (log NAN)) (/ (pow NAN 2) x)) 0.474 * * [simplify]: iteration 0 : 326 enodes (cost 734 ) 0.479 * * [simplify]: iteration 1 : 887 enodes (cost 696 ) 0.493 * * [simplify]: iteration 2 : 3087 enodes (cost 644 ) 0.555 * * [simplify]: iteration 3 : 5002 enodes (cost 639 ) 0.559 * [simplify]: Simplified to: (/ (sqrt x) (log x)) (log (- (log (sqrt x)) (log (log x)))) (/ (sqrt x) (log x)) (* (cbrt (- (log (sqrt x)) (log (log x)))) (cbrt (- (log (sqrt x)) (log (log x))))) (cbrt (- (log (sqrt x)) (log (log x)))) (pow (- (log (sqrt x)) (log (log x))) 3) (sqrt (- (log (sqrt x)) (log (log x)))) (sqrt (- (log (sqrt x)) (log (log x)))) (- (pow (log (sqrt x)) 3) (pow (log (log x)) 3)) (+ (* (log (log x)) (+ (log (log x)) (log (sqrt x)))) (* (log (sqrt x)) (log (sqrt x)))) (neg (log (log x))) (- (* (log (sqrt x)) (log (sqrt x))) (* (log (log x)) (log (log x)))) (+ (log (sqrt x)) (log (log x))) (+ (sqrt (log (sqrt x))) (sqrt (log (log x)))) (- (sqrt (log (sqrt x))) (sqrt (log (log x)))) (- (log (sqrt x)) (log (log x))) (- (log (sqrt x)) (log (log x))) (- (log (sqrt x)) (log (log x))) (- (log (sqrt x)) (log (log x))) (log (sqrt x)) (- (log (sqrt x)) (log (* (cbrt (log x)) (cbrt (log x))))) (- (log (sqrt x)) (log (sqrt (log x)))) (log (sqrt x)) (- (log (cbrt (sqrt x))) (log (log x))) (- (log (sqrt (cbrt x))) (log (log x))) (- (log (sqrt (sqrt x))) (log (log x))) (- (log (sqrt x)) (log (log x))) (- (log (sqrt (sqrt x))) (log (log x))) (- (log (sqrt x)) (log (log x))) (neg (log (log x))) (* (sqrt x) (/ (sqrt x) (log x))) (* (sqrt x) (/ (sqrt x) (log x))) (log (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x))))) (* (sqrt x) (/ (sqrt x) (log x))) (* (cbrt (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x))))) (cbrt (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x)))))) (cbrt (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x))))) (pow (- (* 2 (log (sqrt x))) (log (log x))) 3) (sqrt (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x))))) (sqrt (+ (log (sqrt x)) (- (log (sqrt x)) (log (log x))))) (+ (pow (log (sqrt x)) 3) (pow (- (log (sqrt x)) (log (log x))) 3)) (+ (* (log (sqrt x)) (log (log x))) (* (- (log (sqrt x)) (log (log x))) (- (log (sqrt x)) (log (log x))))) (* (log (log x)) (- (* 2 (log (sqrt x))) (log (log x)))) (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 (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 (log x))) (log x) (+ (log (sqrt x)) (log (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (+ (log (sqrt x)) (log (sqrt (* (cbrt x) (cbrt x))))) (+ (log (sqrt x)) (log (sqrt (sqrt x)))) (log (sqrt x)) (+ (log (sqrt x)) (log (sqrt (sqrt x)))) (log (sqrt x)) (log x) (+ (log (cbrt (sqrt x))) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt (cbrt x))) (- (log (sqrt x)) (log (log x)))) (+ (log (sqrt (sqrt x))) (- (log (sqrt x)) (log (log x)))) (- (log x) (log (log x))) (+ (log (sqrt (sqrt x))) (- (log (sqrt x)) (log (log x)))) (- (log x) (log (log x))) (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))) (* 2 (log (cbrt (sqrt x)))) (log (cbrt (sqrt x))) (log (sqrt (* (cbrt x) (cbrt x)))) (log (sqrt (cbrt x))) (log (sqrt (sqrt x))) (log (sqrt (sqrt x))) 0 (log (sqrt x)) (log (sqrt (sqrt x))) (log (sqrt (sqrt x))) 0 (log (sqrt x)) (log x) (log (sqrt x)) (log x) (log (log (sqrt x))) (sqrt x) (* (cbrt (log (sqrt x))) (cbrt (log (sqrt x)))) (cbrt (log (sqrt x))) (pow (log (sqrt x)) 3) (sqrt (log (sqrt x))) (sqrt (log (sqrt x))) (- (+ (log x) (+ (* 1/2 (* (pow x 2) (pow NAN 4))) (+ (log NAN) (* x (pow NAN 2))))) (log (+ (log 1) (log x)))) (- (+ (log NAN) (/ (pow NAN 2) x)) (- (log (+ (log 1) (log x))) (* 1/2 (/ (pow NAN 4) (pow x 2))))) (- (+ (* 1/2 (/ (pow NAN 4) (pow x 2))) (log NAN)) (+ (log (- (log -1) (log (/ -1 x)))) (/ (pow NAN 2) x))) (+ (* 2 (+ (log x) (+ (log NAN) (* x (pow NAN 2))))) (- (* (pow x 2) (pow NAN 4)) (log (+ (log 1) (log x))))) (- (* 2 (+ (log NAN) (/ (pow NAN 2) x))) (- (log (+ (log 1) (log x))) (/ (pow NAN 4) (pow x 2)))) (- (+ (/ (pow NAN 4) (pow x 2)) (* 2 (- (log NAN) (/ (pow NAN 2) x)))) (log (- (log -1) (log (/ -1 x))))) (log (log x)) (log (log x)) (log (log x)) (+ (log x) (+ (* 1/2 (* (pow x 2) (pow NAN 4))) (+ (log NAN) (* x (pow NAN 2))))) (+ (* 1/2 (/ (pow NAN 4) (pow x 2))) (+ (log NAN) (/ (pow NAN 2) x))) (- (+ (* 1/2 (/ (pow NAN 4) (pow x 2))) (log NAN)) (/ (pow NAN 2) x)) 0.559 * * * [progress]: adding candidates to table 0.643 * [progress]: [Phase 3 of 3] Extracting. 0.643 * * [regime]: Finding splitpoints for: (# #) 0.644 * * * [regime-changes]: Trying 1 branch expressions: (x) 0.644 * * * * [regimes]: Trying to branch on x from (# #) 0.668 * * * [regime]: Found split indices: #