7.921 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.017 * [simplify]: Simplifying using # : (* x (log x)) 0.019 * * [simplify]: iteration 0 : 4 enodes (cost 2 ) 0.020 * * [simplify]: iteration 1 : 4 enodes (cost 2 ) 0.020 * [simplify]: Simplified to: (* x (log x)) 0.020 * * [progress]: iteration 1 / 4 0.020 * * * [progress]: picking best candidate 0.022 * * * * [pick]: Picked # 0.022 * * * [progress]: localizing error 0.025 * * * [progress]: generating rewritten candidates 0.025 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.030 * * * [progress]: generating series expansions 0.030 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.030 * [approximate]: Taking taylor expansion of (* (log x) x) in (x) around 0 0.030 * [taylor]: Taking taylor expansion of (* (log x) x) in x 0.030 * [taylor]: Taking taylor expansion of (log x) in x 0.030 * [taylor]: Taking taylor expansion of x in x 0.031 * [taylor]: Taking taylor expansion of x in x 0.031 * [taylor]: Taking taylor expansion of (* (log x) x) in x 0.031 * [taylor]: Taking taylor expansion of (log x) in x 0.031 * [taylor]: Taking taylor expansion of x in x 0.031 * [taylor]: Taking taylor expansion of x in x 0.097 * [approximate]: Taking taylor expansion of (/ (log (/ 1 x)) x) in (x) around 0 0.097 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 0.097 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.097 * [taylor]: Taking taylor expansion of x in x 0.098 * [taylor]: Taking taylor expansion of x in x 0.099 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 0.099 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.099 * [taylor]: Taking taylor expansion of x in x 0.099 * [taylor]: Taking taylor expansion of x in x 0.146 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in (x) around 0 0.146 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x 0.146 * [taylor]: Taking taylor expansion of -1 in x 0.146 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x 0.146 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.146 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.146 * [taylor]: Taking taylor expansion of -1 in x 0.146 * [taylor]: Taking taylor expansion of x in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.148 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x 0.148 * [taylor]: Taking taylor expansion of -1 in x 0.148 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x 0.148 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.148 * [taylor]: Taking taylor expansion of -1 in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.149 * [taylor]: Taking taylor expansion of x in x 0.202 * * * [progress]: simplifying candidates 0.203 * [simplify]: Simplifying using # : (expm1 (* x (log x))) (log1p (* x (log x))) (* 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))) (* (sqrt x) (sqrt (log x))) (* (sqrt x) (sqrt (log x))) (* x (log (* (cbrt x) (cbrt x)))) (* x (log (cbrt x))) (* x (log (sqrt x))) (* x (log (sqrt x))) (* x (log 1)) (* x (log x)) (* (log (* (cbrt x) (cbrt x))) x) (* (log (cbrt x)) x) (* (log (sqrt x)) x) (* (log (sqrt x)) x) (* (log 1) x) (* (log x) x) (* x 1) (* x (* (cbrt (log x)) (cbrt (log x)))) (* x (sqrt (log x))) (* x 1) (* (cbrt x) (log x)) (* (sqrt x) (log x)) (* x (log x)) (* (log x) x) (* -1 (* x (log (/ 1 x)))) (* x (- (log -1) (log (/ -1 x)))) 0.205 * * [simplify]: iteration 0 : 95 enodes (cost 121 ) 0.208 * * [simplify]: iteration 1 : 348 enodes (cost 105 ) 0.214 * * [simplify]: iteration 2 : 1040 enodes (cost 98 ) 0.236 * * [simplify]: iteration 3 : 4535 enodes (cost 98 ) 0.424 * * [simplify]: iteration 4 : 5001 enodes (cost 98 ) 0.425 * [simplify]: Simplified to: (expm1 (* x (log x))) (log1p (* x (log x))) (* x (log x)) (log (* x (log x))) (log (* x (log x))) (pow x 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))) (* (sqrt x) (sqrt (log x))) (* (sqrt x) (sqrt (log x))) (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))) (* x (log (sqrt x))) (* x (log (sqrt x))) 0 (* x (log x)) (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))) (* x (log (sqrt x))) (* x (log (sqrt x))) 0 (* x (log x)) x (* x (* (cbrt (log x)) (cbrt (log x)))) (* x (sqrt (log x))) x (* (cbrt x) (log x)) (* (sqrt x) (log x)) (* x (log x)) (* x (log x)) (* x (log x)) (* x (log x)) 0.425 * * * [progress]: adding candidates to table 0.464 * * [progress]: iteration 2 / 4 0.464 * * * [progress]: picking best candidate 0.476 * * * * [pick]: Picked # 0.476 * * * [progress]: localizing error 0.482 * * * [progress]: generating rewritten candidates 0.482 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.490 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.495 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 0.497 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.500 * * * [progress]: generating series expansions 0.500 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.501 * [approximate]: Taking taylor expansion of (* x (log (sqrt x))) in (x) around 0 0.501 * [taylor]: Taking taylor expansion of (* x (log (sqrt x))) in x 0.501 * [taylor]: Taking taylor expansion of x in x 0.501 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 0.501 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.501 * [taylor]: Taking taylor expansion of x in x 0.503 * [taylor]: Taking taylor expansion of (* x (log (sqrt x))) in x 0.503 * [taylor]: Taking taylor expansion of x in x 0.503 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 0.503 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.503 * [taylor]: Taking taylor expansion of x in x 0.542 * [approximate]: Taking taylor expansion of (/ (log (sqrt (/ 1 x))) x) in (x) around 0 0.542 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 x))) x) in x 0.542 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 0.542 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.542 * [taylor]: Taking taylor expansion of x in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.545 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 x))) x) in x 0.545 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 0.545 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.545 * [taylor]: Taking taylor expansion of x in x 0.546 * [taylor]: Taking taylor expansion of x in x 0.570 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 x))) x)) in (x) around 0 0.570 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 x))) x)) in x 0.570 * [taylor]: Taking taylor expansion of -1 in x 0.570 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 x))) x) in x 0.570 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 0.570 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.570 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.570 * [taylor]: Taking taylor expansion of -1 in x 0.570 * [taylor]: Taking taylor expansion of x in x 0.572 * [taylor]: Taking taylor expansion of x in x 0.572 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 x))) x)) in x 0.572 * [taylor]: Taking taylor expansion of -1 in x 0.573 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 x))) x) in x 0.573 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 0.573 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.573 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.573 * [taylor]: Taking taylor expansion of -1 in x 0.573 * [taylor]: Taking taylor expansion of x in x 0.574 * [taylor]: Taking taylor expansion of x in x 0.600 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.600 * [approximate]: Taking taylor expansion of (* x (log (sqrt x))) in (x) around 0 0.600 * [taylor]: Taking taylor expansion of (* x (log (sqrt x))) in x 0.600 * [taylor]: Taking taylor expansion of x in x 0.600 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 0.600 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.600 * [taylor]: Taking taylor expansion of x in x 0.601 * [taylor]: Taking taylor expansion of (* x (log (sqrt x))) in x 0.601 * [taylor]: Taking taylor expansion of x in x 0.601 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 0.601 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.601 * [taylor]: Taking taylor expansion of x in x 0.640 * [approximate]: Taking taylor expansion of (/ (log (sqrt (/ 1 x))) x) in (x) around 0 0.640 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 x))) x) in x 0.640 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 0.640 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.640 * [taylor]: Taking taylor expansion of x in x 0.642 * [taylor]: Taking taylor expansion of x in x 0.642 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 x))) x) in x 0.642 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 0.642 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.642 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.642 * [taylor]: Taking taylor expansion of x in x 0.644 * [taylor]: Taking taylor expansion of x in x 0.668 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 x))) x)) in (x) around 0 0.668 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 x))) x)) in x 0.668 * [taylor]: Taking taylor expansion of -1 in x 0.668 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 x))) x) in x 0.668 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 0.668 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.668 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.668 * [taylor]: Taking taylor expansion of -1 in x 0.668 * [taylor]: Taking taylor expansion of x in x 0.670 * [taylor]: Taking taylor expansion of x in x 0.670 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 x))) x)) in x 0.670 * [taylor]: Taking taylor expansion of -1 in x 0.670 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 x))) x) in x 0.670 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 0.670 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.670 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.670 * [taylor]: Taking taylor expansion of -1 in x 0.670 * [taylor]: Taking taylor expansion of x in x 0.672 * [taylor]: Taking taylor expansion of x in x 0.697 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 0.697 * [approximate]: Taking taylor expansion of (log (sqrt x)) in (x) around 0 0.697 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 0.697 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.699 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 0.699 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.699 * [taylor]: Taking taylor expansion of x in x 0.716 * [approximate]: Taking taylor expansion of (log (sqrt (/ 1 x))) in (x) around 0 0.716 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 0.716 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.717 * [taylor]: Taking taylor expansion of x in x 0.718 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 0.718 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.718 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.718 * [taylor]: Taking taylor expansion of x in x 0.740 * [approximate]: Taking taylor expansion of (log (sqrt (/ -1 x))) in (x) around 0 0.740 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 0.740 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.740 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.740 * [taylor]: Taking taylor expansion of -1 in x 0.740 * [taylor]: Taking taylor expansion of x in x 0.742 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 0.742 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.742 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.742 * [taylor]: Taking taylor expansion of -1 in x 0.742 * [taylor]: Taking taylor expansion of x in x 0.761 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.761 * [approximate]: Taking taylor expansion of (log (sqrt x)) in (x) around 0 0.761 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 0.761 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.761 * [taylor]: Taking taylor expansion of x in x 0.762 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 0.762 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.762 * [taylor]: Taking taylor expansion of x in x 0.781 * [approximate]: Taking taylor expansion of (log (sqrt (/ 1 x))) in (x) around 0 0.781 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 0.781 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.781 * [taylor]: Taking taylor expansion of x in x 0.783 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 0.783 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.783 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.783 * [taylor]: Taking taylor expansion of x in x 0.802 * [approximate]: Taking taylor expansion of (log (sqrt (/ -1 x))) in (x) around 0 0.802 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 0.802 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.802 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.802 * [taylor]: Taking taylor expansion of -1 in x 0.802 * [taylor]: Taking taylor expansion of x in x 0.803 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 0.803 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.803 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.803 * [taylor]: Taking taylor expansion of -1 in x 0.803 * [taylor]: Taking taylor expansion of x in x 0.828 * * * [progress]: simplifying candidates 0.830 * [simplify]: Simplifying using # : (expm1 (* x (log (sqrt x)))) (log1p (* x (log (sqrt x)))) (* x (log (sqrt x))) (+ (log x) (log (log (sqrt x)))) (log (* x (log (sqrt x)))) (exp (* x (log (sqrt x)))) (* (* (* x x) x) (* (* (log (sqrt x)) (log (sqrt x))) (log (sqrt x)))) (* (cbrt (* x (log (sqrt x)))) (cbrt (* x (log (sqrt x))))) (cbrt (* x (log (sqrt x)))) (* (* (* x (log (sqrt x))) (* x (log (sqrt x)))) (* x (log (sqrt x)))) (sqrt (* x (log (sqrt x)))) (sqrt (* x (log (sqrt x)))) (* (sqrt x) (sqrt (log (sqrt x)))) (* (sqrt x) (sqrt (log (sqrt x)))) (* x (log (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* x (log (cbrt (sqrt x)))) (* x (log (sqrt (* (cbrt x) (cbrt x))))) (* x (log (sqrt (cbrt x)))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt 1))) (* x (log (sqrt x))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) (* x (log 1)) (* x (log (sqrt x))) (* (log (* (cbrt (sqrt x)) (cbrt (sqrt x)))) x) (* (log (cbrt (sqrt x))) x) (* (log (sqrt (* (cbrt x) (cbrt x)))) x) (* (log (sqrt (cbrt x))) x) (* (log (sqrt (sqrt x))) x) (* (log (sqrt (sqrt x))) x) (* (log (sqrt 1)) x) (* (log (sqrt x)) x) (* (log (sqrt (sqrt x))) x) (* (log (sqrt (sqrt x))) x) (* (log 1) x) (* (log (sqrt x)) x) (* x 1/2) (* x 1) (* x (/ 1 2)) (* x (* (cbrt (log (sqrt x))) (cbrt (log (sqrt x))))) (* x (sqrt (log (sqrt x)))) (* x 1) (* (cbrt x) (log (sqrt x))) (* (sqrt x) (log (sqrt x))) (* x (log (sqrt x))) (expm1 (* x (log (sqrt x)))) (log1p (* x (log (sqrt x)))) (* x (log (sqrt x))) (+ (log x) (log (log (sqrt x)))) (log (* x (log (sqrt x)))) (exp (* x (log (sqrt x)))) (* (* (* x x) x) (* (* (log (sqrt x)) (log (sqrt x))) (log (sqrt x)))) (* (cbrt (* x (log (sqrt x)))) (cbrt (* x (log (sqrt x))))) (cbrt (* x (log (sqrt x)))) (* (* (* x (log (sqrt x))) (* x (log (sqrt x)))) (* x (log (sqrt x)))) (sqrt (* x (log (sqrt x)))) (sqrt (* x (log (sqrt x)))) (* (sqrt x) (sqrt (log (sqrt x)))) (* (sqrt x) (sqrt (log (sqrt x)))) (* x (log (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* x (log (cbrt (sqrt x)))) (* x (log (sqrt (* (cbrt x) (cbrt x))))) (* x (log (sqrt (cbrt x)))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt 1))) (* x (log (sqrt x))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) (* x (log 1)) (* x (log (sqrt x))) (* (log (* (cbrt (sqrt x)) (cbrt (sqrt x)))) x) (* (log (cbrt (sqrt x))) x) (* (log (sqrt (* (cbrt x) (cbrt x)))) x) (* (log (sqrt (cbrt x))) x) (* (log (sqrt (sqrt x))) x) (* (log (sqrt (sqrt x))) x) (* (log (sqrt 1)) x) (* (log (sqrt x)) x) (* (log (sqrt (sqrt x))) x) (* (log (sqrt (sqrt x))) x) (* (log 1) x) (* (log (sqrt x)) x) (* x 1/2) (* x 1) (* x (/ 1 2)) (* x (* (cbrt (log (sqrt x))) (cbrt (log (sqrt x))))) (* x (sqrt (log (sqrt x)))) (* x 1) (* (cbrt x) (log (sqrt x))) (* (sqrt x) (log (sqrt x))) (* x (log (sqrt x))) (expm1 (log (sqrt x))) (log1p (log (sqrt 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))) (expm1 (log (sqrt x))) (log1p (log (sqrt 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) x) (* x (log +nan.0))) (+ (* +nan.0 (pow x 2)) (- (* +nan.0 (pow x 3))))) (- (* x (log +nan.0)) (+ +nan.0 (- (* +nan.0 (/ 1 x))))) (- (* x (log +nan.0)) (+ +nan.0 (- (* +nan.0 (/ 1 x))))) (- (+ (* (log x) x) (* x (log +nan.0))) (+ (* +nan.0 (pow x 2)) (- (* +nan.0 (pow x 3))))) (- (* x (log +nan.0)) (+ +nan.0 (- (* +nan.0 (/ 1 x))))) (- (* x (log +nan.0)) (+ +nan.0 (- (* +nan.0 (/ 1 x))))) (- (+ (log +nan.0) (log x)) (+ (* +nan.0 (pow x 2)) (- (* +nan.0 x)))) (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) (- (+ (log +nan.0) (log x)) (+ (* +nan.0 (pow x 2)) (- (* +nan.0 x)))) (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) 0.834 * * [simplify]: iteration 0 : 192 enodes (cost 642 ) 0.838 * * [simplify]: iteration 1 : 687 enodes (cost 572 ) 0.854 * * [simplify]: iteration 2 : 3095 enodes (cost 538 ) 0.914 * * [simplify]: iteration 3 : 5002 enodes (cost 536 ) 0.917 * [simplify]: Simplified to: (expm1 (* x (log (sqrt x)))) (log1p (* x (log (sqrt x)))) (* x (log (sqrt x))) (log (* x (log (sqrt x)))) (log (* x (log (sqrt x)))) (pow (sqrt x) x) (pow (* x (log (sqrt x))) 3) (* (cbrt (* x (log (sqrt x)))) (cbrt (* x (log (sqrt x))))) (cbrt (* x (log (sqrt x)))) (pow (* x (log (sqrt x))) 3) (sqrt (* x (log (sqrt x)))) (sqrt (* x (log (sqrt x)))) (* (sqrt x) (sqrt (log (sqrt x)))) (* (sqrt x) (sqrt (log (sqrt x)))) (* x (* 2 (log (cbrt (sqrt x))))) (* x (log (cbrt (sqrt x)))) (* x (log (sqrt (* (cbrt x) (cbrt x))))) (* x (log (sqrt (cbrt x)))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) 0 (* x (log (sqrt x))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) 0 (* x (log (sqrt x))) (* x (* 2 (log (cbrt (sqrt x))))) (* x (log (cbrt (sqrt x)))) (* x (log (sqrt (* (cbrt x) (cbrt x))))) (* x (log (sqrt (cbrt x)))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) 0 (* x (log (sqrt x))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) 0 (* x (log (sqrt x))) (/ x 2) x (/ x 2) (* x (* (cbrt (log (sqrt x))) (cbrt (log (sqrt x))))) (* x (sqrt (log (sqrt x)))) x (* (cbrt x) (log (sqrt x))) (* (sqrt x) (log (sqrt x))) (* x (log (sqrt x))) (expm1 (* x (log (sqrt x)))) (log1p (* x (log (sqrt x)))) (* x (log (sqrt x))) (log (* x (log (sqrt x)))) (log (* x (log (sqrt x)))) (pow (sqrt x) x) (pow (* x (log (sqrt x))) 3) (* (cbrt (* x (log (sqrt x)))) (cbrt (* x (log (sqrt x))))) (cbrt (* x (log (sqrt x)))) (pow (* x (log (sqrt x))) 3) (sqrt (* x (log (sqrt x)))) (sqrt (* x (log (sqrt x)))) (* (sqrt x) (sqrt (log (sqrt x)))) (* (sqrt x) (sqrt (log (sqrt x)))) (* x (* 2 (log (cbrt (sqrt x))))) (* x (log (cbrt (sqrt x)))) (* x (log (sqrt (* (cbrt x) (cbrt x))))) (* x (log (sqrt (cbrt x)))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) 0 (* x (log (sqrt x))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) 0 (* x (log (sqrt x))) (* x (* 2 (log (cbrt (sqrt x))))) (* x (log (cbrt (sqrt x)))) (* x (log (sqrt (* (cbrt x) (cbrt x))))) (* x (log (sqrt (cbrt x)))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) 0 (* x (log (sqrt x))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) 0 (* x (log (sqrt x))) (/ x 2) x (/ x 2) (* x (* (cbrt (log (sqrt x))) (cbrt (log (sqrt x))))) (* x (sqrt (log (sqrt x)))) x (* (cbrt x) (log (sqrt x))) (* (sqrt x) (log (sqrt x))) (* x (log (sqrt x))) (expm1 (log (sqrt x))) (log1p (log (sqrt 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))) (expm1 (log (sqrt x))) (log1p (log (sqrt 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))) (fma x (- (+ (log +nan.0) (log x)) (* +nan.0 x)) (* +nan.0 (pow x 3))) (- (* x (log +nan.0)) (- +nan.0 (/ +nan.0 x))) (- (* x (log +nan.0)) (- +nan.0 (/ +nan.0 x))) (fma x (- (+ (log +nan.0) (log x)) (* +nan.0 x)) (* +nan.0 (pow x 3))) (- (* x (log +nan.0)) (- +nan.0 (/ +nan.0 x))) (- (* x (log +nan.0)) (- +nan.0 (/ +nan.0 x))) (+ (log x) (- (log +nan.0) (* +nan.0 (- (pow x 2) x)))) (- (log +nan.0) (- (/ (/ +nan.0 x) x) (/ +nan.0 x))) (- (log +nan.0) (- (/ (/ +nan.0 x) x) (/ +nan.0 x))) (+ (log x) (- (log +nan.0) (* +nan.0 (- (pow x 2) x)))) (- (log +nan.0) (- (/ (/ +nan.0 x) x) (/ +nan.0 x))) (- (log +nan.0) (- (/ (/ +nan.0 x) x) (/ +nan.0 x))) 0.917 * * * [progress]: adding candidates to table 1.115 * * [progress]: iteration 3 / 4 1.115 * * * [progress]: picking best candidate 1.131 * * * * [pick]: Picked # 1.131 * * * [progress]: localizing error 1.144 * * * [progress]: generating rewritten candidates 1.144 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1) 1.145 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1) 1.146 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 1.151 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 1.168 * * * [progress]: generating series expansions 1.168 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1) 1.168 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0 1.168 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 1.168 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 1.168 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 1.168 * [taylor]: Taking taylor expansion of 1/6 in x 1.168 * [taylor]: Taking taylor expansion of (log x) in x 1.168 * [taylor]: Taking taylor expansion of x in x 1.169 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 1.169 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 1.169 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 1.169 * [taylor]: Taking taylor expansion of 1/6 in x 1.169 * [taylor]: Taking taylor expansion of (log x) in x 1.169 * [taylor]: Taking taylor expansion of x in x 1.220 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0 1.220 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 1.220 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 1.220 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 1.220 * [taylor]: Taking taylor expansion of 1/6 in x 1.220 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.220 * [taylor]: Taking taylor expansion of x in x 1.221 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 1.221 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 1.221 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 1.221 * [taylor]: Taking taylor expansion of 1/6 in x 1.221 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.221 * [taylor]: Taking taylor expansion of x in x 1.275 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0 1.275 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 1.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 1.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 1.275 * [taylor]: Taking taylor expansion of 1/3 in x 1.275 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 1.275 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.275 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.275 * [taylor]: Taking taylor expansion of -1 in x 1.275 * [taylor]: Taking taylor expansion of x in x 1.278 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 1.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 1.279 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 1.279 * [taylor]: Taking taylor expansion of 1/3 in x 1.279 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 1.279 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.279 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.279 * [taylor]: Taking taylor expansion of -1 in x 1.279 * [taylor]: Taking taylor expansion of x in x 1.312 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1) 1.312 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0 1.312 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 1.312 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 1.312 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 1.313 * [taylor]: Taking taylor expansion of 1/6 in x 1.313 * [taylor]: Taking taylor expansion of (log x) in x 1.313 * [taylor]: Taking taylor expansion of x in x 1.313 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 1.313 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 1.313 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 1.313 * [taylor]: Taking taylor expansion of 1/6 in x 1.313 * [taylor]: Taking taylor expansion of (log x) in x 1.313 * [taylor]: Taking taylor expansion of x in x 1.368 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0 1.368 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 1.368 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 1.368 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 1.368 * [taylor]: Taking taylor expansion of 1/6 in x 1.368 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.368 * [taylor]: Taking taylor expansion of x in x 1.369 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 1.369 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 1.369 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 1.369 * [taylor]: Taking taylor expansion of 1/6 in x 1.369 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.369 * [taylor]: Taking taylor expansion of x in x 1.425 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0 1.425 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 1.425 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 1.425 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 1.425 * [taylor]: Taking taylor expansion of 1/3 in x 1.425 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 1.425 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.425 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.425 * [taylor]: Taking taylor expansion of -1 in x 1.425 * [taylor]: Taking taylor expansion of x in x 1.429 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 1.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 1.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 1.429 * [taylor]: Taking taylor expansion of 1/3 in x 1.429 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 1.429 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.429 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.429 * [taylor]: Taking taylor expansion of -1 in x 1.429 * [taylor]: Taking taylor expansion of x in x 1.463 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1.463 * [approximate]: Taking taylor expansion of (* x (log (sqrt x))) in (x) around 0 1.463 * [taylor]: Taking taylor expansion of (* x (log (sqrt x))) in x 1.463 * [taylor]: Taking taylor expansion of x in x 1.463 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 1.463 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.463 * [taylor]: Taking taylor expansion of x in x 1.465 * [taylor]: Taking taylor expansion of (* x (log (sqrt x))) in x 1.465 * [taylor]: Taking taylor expansion of x in x 1.465 * [taylor]: Taking taylor expansion of (log (sqrt x)) in x 1.465 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.465 * [taylor]: Taking taylor expansion of x in x 1.511 * [approximate]: Taking taylor expansion of (/ (log (sqrt (/ 1 x))) x) in (x) around 0 1.511 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 x))) x) in x 1.511 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 1.511 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.511 * [taylor]: Taking taylor expansion of x in x 1.512 * [taylor]: Taking taylor expansion of x in x 1.513 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 x))) x) in x 1.513 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 x))) in x 1.513 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.513 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.513 * [taylor]: Taking taylor expansion of x in x 1.515 * [taylor]: Taking taylor expansion of x in x 1.536 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 x))) x)) in (x) around 0 1.536 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 x))) x)) in x 1.536 * [taylor]: Taking taylor expansion of -1 in x 1.536 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 x))) x) in x 1.536 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 1.536 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.536 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.536 * [taylor]: Taking taylor expansion of -1 in x 1.536 * [taylor]: Taking taylor expansion of x in x 1.538 * [taylor]: Taking taylor expansion of x in x 1.538 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 x))) x)) in x 1.538 * [taylor]: Taking taylor expansion of -1 in x 1.538 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 x))) x) in x 1.538 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 1.538 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.538 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.538 * [taylor]: Taking taylor expansion of -1 in x 1.538 * [taylor]: Taking taylor expansion of x in x 1.540 * [taylor]: Taking taylor expansion of x in x 1.566 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1.566 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow x 1/6)))) in (x) around 0 1.566 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/6)))) in x 1.566 * [taylor]: Taking taylor expansion of 2 in x 1.566 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/6))) in x 1.566 * [taylor]: Taking taylor expansion of x in x 1.566 * [taylor]: Taking taylor expansion of (log (pow x 1/6)) in x 1.566 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 1.566 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 1.566 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 1.566 * [taylor]: Taking taylor expansion of 1/6 in x 1.566 * [taylor]: Taking taylor expansion of (log x) in x 1.566 * [taylor]: Taking taylor expansion of x in x 1.567 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/6)))) in x 1.567 * [taylor]: Taking taylor expansion of 2 in x 1.567 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/6))) in x 1.567 * [taylor]: Taking taylor expansion of x in x 1.567 * [taylor]: Taking taylor expansion of (log (pow x 1/6)) in x 1.567 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 1.567 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 1.567 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 1.567 * [taylor]: Taking taylor expansion of 1/6 in x 1.567 * [taylor]: Taking taylor expansion of (log x) in x 1.567 * [taylor]: Taking taylor expansion of x in x 1.699 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/6)) x)) in (x) around 0 1.699 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/6)) x)) in x 1.699 * [taylor]: Taking taylor expansion of 2 in x 1.699 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/6)) x) in x 1.699 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/6)) in x 1.699 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 1.699 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 1.699 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 1.699 * [taylor]: Taking taylor expansion of 1/6 in x 1.699 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.699 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.699 * [taylor]: Taking taylor expansion of x in x 1.700 * [taylor]: Taking taylor expansion of x in x 1.700 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/6)) x)) in x 1.700 * [taylor]: Taking taylor expansion of 2 in x 1.700 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/6)) x) in x 1.700 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/6)) in x 1.700 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 1.700 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 1.700 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 1.700 * [taylor]: Taking taylor expansion of 1/6 in x 1.700 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.700 * [taylor]: Taking taylor expansion of x in x 1.701 * [taylor]: Taking taylor expansion of x in x 1.787 * [approximate]: Taking taylor expansion of (* -2 (/ (log (pow (sqrt (/ -1 x)) 1/3)) x)) in (x) around 0 1.787 * [taylor]: Taking taylor expansion of (* -2 (/ (log (pow (sqrt (/ -1 x)) 1/3)) x)) in x 1.787 * [taylor]: Taking taylor expansion of -2 in x 1.787 * [taylor]: Taking taylor expansion of (/ (log (pow (sqrt (/ -1 x)) 1/3)) x) in x 1.787 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 1/3)) in x 1.787 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 1.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 1.788 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 1.788 * [taylor]: Taking taylor expansion of 1/3 in x 1.788 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 1.788 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.788 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.788 * [taylor]: Taking taylor expansion of -1 in x 1.788 * [taylor]: Taking taylor expansion of x in x 1.791 * [taylor]: Taking taylor expansion of x in x 1.792 * [taylor]: Taking taylor expansion of (* -2 (/ (log (pow (sqrt (/ -1 x)) 1/3)) x)) in x 1.792 * [taylor]: Taking taylor expansion of -2 in x 1.792 * [taylor]: Taking taylor expansion of (/ (log (pow (sqrt (/ -1 x)) 1/3)) x) in x 1.792 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 1/3)) in x 1.792 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 1.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 1.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 1.792 * [taylor]: Taking taylor expansion of 1/3 in x 1.793 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 1.793 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.793 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.793 * [taylor]: Taking taylor expansion of -1 in x 1.793 * [taylor]: Taking taylor expansion of x in x 1.796 * [taylor]: Taking taylor expansion of x in x 1.859 * * * [progress]: simplifying candidates 1.861 * [simplify]: Simplifying using # : (expm1 (cbrt (sqrt x))) (log1p (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt 1)) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (expm1 (cbrt (sqrt x))) (log1p (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt 1)) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (expm1 (* x (log (sqrt x)))) (log1p (* x (log (sqrt x)))) (* x (log (sqrt x))) (+ (log x) (log (log (sqrt x)))) (log (* x (log (sqrt x)))) (exp (* x (log (sqrt x)))) (* (* (* x x) x) (* (* (log (sqrt x)) (log (sqrt x))) (log (sqrt x)))) (* (cbrt (* x (log (sqrt x)))) (cbrt (* x (log (sqrt x))))) (cbrt (* x (log (sqrt x)))) (* (* (* x (log (sqrt x))) (* x (log (sqrt x)))) (* x (log (sqrt x)))) (sqrt (* x (log (sqrt x)))) (sqrt (* x (log (sqrt x)))) (* (sqrt x) (sqrt (log (sqrt x)))) (* (sqrt x) (sqrt (log (sqrt x)))) (* x (log (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* x (log (cbrt (sqrt x)))) (* x (log (sqrt (* (cbrt x) (cbrt x))))) (* x (log (sqrt (cbrt x)))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt 1))) (* x (log (sqrt x))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) (* x (log 1)) (* x (log (sqrt x))) (* (log (* (cbrt (sqrt x)) (cbrt (sqrt x)))) x) (* (log (cbrt (sqrt x))) x) (* (log (sqrt (* (cbrt x) (cbrt x)))) x) (* (log (sqrt (cbrt x))) x) (* (log (sqrt (sqrt x))) x) (* (log (sqrt (sqrt x))) x) (* (log (sqrt 1)) x) (* (log (sqrt x)) x) (* (log (sqrt (sqrt x))) x) (* (log (sqrt (sqrt x))) x) (* (log 1) x) (* (log (sqrt x)) x) (* x 1/2) (* x 1) (* x (/ 1 2)) (* x (* (cbrt (log (sqrt x))) (cbrt (log (sqrt x))))) (* x (sqrt (log (sqrt x)))) (* x 1) (* (cbrt x) (log (sqrt x))) (* (sqrt x) (log (sqrt x))) (* x (log (sqrt x))) (expm1 (* x (* 2 (log (cbrt (sqrt x)))))) (log1p (* x (* 2 (log (cbrt (sqrt x)))))) (* x (* 2 (log (cbrt (sqrt x))))) (* x (* 2 (log (cbrt (sqrt x))))) (+ (log x) (+ (log 2) (log (log (cbrt (sqrt x)))))) (+ (log x) (log (* 2 (log (cbrt (sqrt x)))))) (log (* x (* 2 (log (cbrt (sqrt x)))))) (exp (* x (* 2 (log (cbrt (sqrt x)))))) (* (* (* x x) x) (* (* (* 2 2) 2) (* (* (log (cbrt (sqrt x))) (log (cbrt (sqrt x)))) (log (cbrt (sqrt x)))))) (* (* (* x x) x) (* (* (* 2 (log (cbrt (sqrt x)))) (* 2 (log (cbrt (sqrt x))))) (* 2 (log (cbrt (sqrt x)))))) (* (cbrt (* x (* 2 (log (cbrt (sqrt x)))))) (cbrt (* x (* 2 (log (cbrt (sqrt x))))))) (cbrt (* x (* 2 (log (cbrt (sqrt x)))))) (* (* (* x (* 2 (log (cbrt (sqrt x))))) (* x (* 2 (log (cbrt (sqrt x)))))) (* x (* 2 (log (cbrt (sqrt x)))))) (sqrt (* x (* 2 (log (cbrt (sqrt x)))))) (sqrt (* x (* 2 (log (cbrt (sqrt x)))))) (* x (* 2 (log (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))))) (* x (* 2 (log (cbrt (cbrt (sqrt x)))))) (* x (* 2 (log (cbrt (sqrt (* (cbrt x) (cbrt x))))))) (* x (* 2 (log (cbrt (sqrt (cbrt x)))))) (* x (* 2 (log (cbrt (sqrt (sqrt x)))))) (* x (* 2 (log (cbrt (sqrt (sqrt x)))))) (* x (* 2 (log (cbrt (sqrt 1))))) (* x (* 2 (log (cbrt (sqrt x))))) (* x (* 2 (log (cbrt (sqrt (sqrt x)))))) (* x (* 2 (log (cbrt (sqrt (sqrt x)))))) (* x (* 2 (log (cbrt 1)))) (* x (* 2 (log (cbrt (sqrt x))))) (* x (* 2 (log (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))))) (* x (* 2 (log (cbrt (cbrt (sqrt x)))))) (* x (* 2 (log (sqrt (cbrt (sqrt x)))))) (* x (* 2 (log (sqrt (cbrt (sqrt x)))))) (* x (* 2 (log 1))) (* x (* 2 (log (cbrt (sqrt x))))) (* x (* (log (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) 2)) (* x (* (log (cbrt (cbrt (sqrt x)))) 2)) (* x (* (log (cbrt (sqrt (* (cbrt x) (cbrt x))))) 2)) (* x (* (log (cbrt (sqrt (cbrt x)))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) (* x (* (log (cbrt (sqrt 1))) 2)) (* x (* (log (cbrt (sqrt x))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) (* x (* (log (cbrt 1)) 2)) (* x (* (log (cbrt (sqrt x))) 2)) (* x (* (log (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))) 2)) (* x (* (log (cbrt (cbrt (sqrt x)))) 2)) (* x (* (log (sqrt (cbrt (sqrt x)))) 2)) (* x (* (log (sqrt (cbrt (sqrt x)))) 2)) (* x (* (log 1) 2)) (* x (* (log (cbrt (sqrt x))) 2)) (* (* 2 (log (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) x) (* (* 2 (log (cbrt (cbrt (sqrt x))))) x) (* (* 2 (log (cbrt (sqrt (* (cbrt x) (cbrt x)))))) x) (* (* 2 (log (cbrt (sqrt (cbrt x))))) x) (* (* 2 (log (cbrt (sqrt (sqrt x))))) x) (* (* 2 (log (cbrt (sqrt (sqrt x))))) x) (* (* 2 (log (cbrt (sqrt 1)))) x) (* (* 2 (log (cbrt (sqrt x)))) x) (* (* 2 (log (cbrt (sqrt (sqrt x))))) x) (* (* 2 (log (cbrt (sqrt (sqrt x))))) x) (* (* 2 (log (cbrt 1))) x) (* (* 2 (log (cbrt (sqrt x)))) x) (* (* 2 (log (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))))) x) (* (* 2 (log (cbrt (cbrt (sqrt x))))) x) (* (* 2 (log (sqrt (cbrt (sqrt x))))) x) (* (* 2 (log (sqrt (cbrt (sqrt x))))) x) (* (* 2 (log 1)) x) (* (* 2 (log (cbrt (sqrt x)))) x) (* (* (log (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) 2) x) (* (* (log (cbrt (cbrt (sqrt x)))) 2) x) (* (* (log (cbrt (sqrt (* (cbrt x) (cbrt x))))) 2) x) (* (* (log (cbrt (sqrt (cbrt x)))) 2) x) (* (* (log (cbrt (sqrt (sqrt x)))) 2) x) (* (* (log (cbrt (sqrt (sqrt x)))) 2) x) (* (* (log (cbrt (sqrt 1))) 2) x) (* (* (log (cbrt (sqrt x))) 2) x) (* (* (log (cbrt (sqrt (sqrt x)))) 2) x) (* (* (log (cbrt (sqrt (sqrt x)))) 2) x) (* (* (log (cbrt 1)) 2) x) (* (* (log (cbrt (sqrt x))) 2) x) (* (* (log (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))) 2) x) (* (* (log (cbrt (cbrt (sqrt x)))) 2) x) (* (* (log (sqrt (cbrt (sqrt x)))) 2) x) (* (* (log (sqrt (cbrt (sqrt x)))) 2) x) (* (* (log 1) 2) x) (* (* (log (cbrt (sqrt x))) 2) x) (* x 2) (* (cbrt x) (* 2 (log (cbrt (sqrt x))))) (* (sqrt x) (* 2 (log (cbrt (sqrt x))))) (* x (* 2 (log (cbrt (sqrt x))))) (pow x 1/6) (pow (/ 1 x) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow x 2)) (pow +nan.0 1/3)))))) (pow x 1/6) (pow (/ 1 x) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow x 2)) (pow +nan.0 1/3)))))) (- (+ (* (log x) x) (* x (log +nan.0))) (+ (* +nan.0 (pow x 2)) (- (* +nan.0 (pow x 3))))) (- (* x (log +nan.0)) (+ +nan.0 (- (* +nan.0 (/ 1 x))))) (- (* x (log +nan.0)) (+ +nan.0 (- (* +nan.0 (/ 1 x))))) (* 2 (* x (log (pow x 1/6)))) (* 2 (* (log (pow (/ 1 x) -1/6)) x)) (- (* 2 (* (log (pow +nan.0 1/3)) x)) (+ +nan.0 (- (* +nan.0 (/ 1 x))))) 1.867 * * [simplify]: iteration 0 : 455 enodes (cost 987 ) 1.875 * * [simplify]: iteration 1 : 1698 enodes (cost 904 ) 1.908 * * [simplify]: iteration 2 : 5002 enodes (cost 826 ) 1.912 * [simplify]: Simplified to: (expm1 (cbrt (sqrt x))) (log1p (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) 1 (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) 1 (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (sqrt x) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (expm1 (cbrt (sqrt x))) (log1p (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) 1 (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) 1 (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (sqrt x) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (expm1 (* x (log (sqrt x)))) (log1p (* x (log (sqrt x)))) (* x (log (sqrt x))) (log (* x (log (sqrt x)))) (log (* x (log (sqrt x)))) (pow (sqrt x) x) (pow (* x (log (sqrt x))) 3) (* (cbrt (* x (log (sqrt x)))) (cbrt (* x (log (sqrt x))))) (cbrt (* x (log (sqrt x)))) (pow (* x (log (sqrt x))) 3) (sqrt (* x (log (sqrt x)))) (sqrt (* x (log (sqrt x)))) (* (sqrt (log (sqrt x))) (pow x 1/2)) (* (sqrt (log (sqrt x))) (pow x 1/2)) (* x (* (log (cbrt (sqrt x))) 2)) (* x (log (cbrt (sqrt x)))) (* x (log (sqrt (* (cbrt x) (cbrt x))))) (* x (log (sqrt (cbrt x)))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) 0 (* x (log (sqrt x))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) 0 (* x (log (sqrt x))) (* x (* (log (cbrt (sqrt x))) 2)) (* x (log (cbrt (sqrt x)))) (* x (log (sqrt (* (cbrt x) (cbrt x))))) (* x (log (sqrt (cbrt x)))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) 0 (* x (log (sqrt x))) (* x (log (sqrt (sqrt x)))) (* x (log (sqrt (sqrt x)))) 0 (* x (log (sqrt x))) (* x 1/2) x (* x 1/2) (* x (* (cbrt (log (sqrt x))) (cbrt (log (sqrt x))))) (* x (sqrt (log (sqrt x)))) x (* (cbrt x) (log (sqrt x))) (* (sqrt x) (log (sqrt x))) (* x (log (sqrt x))) (expm1 (* x (* 2 (log (cbrt (sqrt x)))))) (log1p (* x (* 2 (log (cbrt (sqrt x)))))) (* x (* (log (cbrt (sqrt x))) 2)) (* x (* (log (cbrt (sqrt x))) 2)) (log (* x (* 2 (log (cbrt (sqrt x)))))) (log (* x (* 2 (log (cbrt (sqrt x)))))) (log (* x (* 2 (log (cbrt (sqrt x)))))) (pow (cbrt (sqrt x)) (* x 2)) (pow (* x (* (log (cbrt (sqrt x))) 2)) 3) (pow (* x (* (log (cbrt (sqrt x))) 2)) 3) (* (cbrt (* x (* 2 (log (cbrt (sqrt x)))))) (cbrt (* x (* 2 (log (cbrt (sqrt x))))))) (cbrt (* x (* 2 (log (cbrt (sqrt x)))))) (pow (* x (* (log (cbrt (sqrt x))) 2)) 3) (sqrt (* x (* 2 (log (cbrt (sqrt x)))))) (sqrt (* x (* 2 (log (cbrt (sqrt x)))))) (* x (* (log (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) 2)) (* x (* (log (cbrt (cbrt (sqrt x)))) 2)) (* x (* (log (cbrt (sqrt (* (cbrt x) (cbrt x))))) 2)) (* x (* (log (cbrt (sqrt (cbrt x)))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) 0 (* x (* (log (cbrt (sqrt x))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) 0 (* x (* (log (cbrt (sqrt x))) 2)) (* (* (log (cbrt (cbrt (sqrt x)))) x) 4) (* x (* (log (cbrt (cbrt (sqrt x)))) 2)) (* x (* (log (sqrt (cbrt (sqrt x)))) 2)) (* x (* (log (sqrt (cbrt (sqrt x)))) 2)) 0 (* x (* (log (cbrt (sqrt x))) 2)) (* x (* (log (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) 2)) (* x (* (log (cbrt (cbrt (sqrt x)))) 2)) (* x (* (log (cbrt (sqrt (* (cbrt x) (cbrt x))))) 2)) (* x (* (log (cbrt (sqrt (cbrt x)))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) 0 (* x (* (log (cbrt (sqrt x))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) 0 (* x (* (log (cbrt (sqrt x))) 2)) (* (* (log (cbrt (cbrt (sqrt x)))) x) 4) (* x (* (log (cbrt (cbrt (sqrt x)))) 2)) (* x (* (log (sqrt (cbrt (sqrt x)))) 2)) (* x (* (log (sqrt (cbrt (sqrt x)))) 2)) 0 (* x (* (log (cbrt (sqrt x))) 2)) (* x (* (log (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) 2)) (* x (* (log (cbrt (cbrt (sqrt x)))) 2)) (* x (* (log (cbrt (sqrt (* (cbrt x) (cbrt x))))) 2)) (* x (* (log (cbrt (sqrt (cbrt x)))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) 0 (* x (* (log (cbrt (sqrt x))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) 0 (* x (* (log (cbrt (sqrt x))) 2)) (* (* (log (cbrt (cbrt (sqrt x)))) x) 4) (* x (* (log (cbrt (cbrt (sqrt x)))) 2)) (* x (* (log (sqrt (cbrt (sqrt x)))) 2)) (* x (* (log (sqrt (cbrt (sqrt x)))) 2)) 0 (* x (* (log (cbrt (sqrt x))) 2)) (* x (* (log (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) 2)) (* x (* (log (cbrt (cbrt (sqrt x)))) 2)) (* x (* (log (cbrt (sqrt (* (cbrt x) (cbrt x))))) 2)) (* x (* (log (cbrt (sqrt (cbrt x)))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) 0 (* x (* (log (cbrt (sqrt x))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) (* x (* (log (cbrt (sqrt (sqrt x)))) 2)) 0 (* x (* (log (cbrt (sqrt x))) 2)) (* (* (log (cbrt (cbrt (sqrt x)))) x) 4) (* x (* (log (cbrt (cbrt (sqrt x)))) 2)) (* x (* (log (sqrt (cbrt (sqrt x)))) 2)) (* x (* (log (sqrt (cbrt (sqrt x)))) 2)) 0 (* x (* (log (cbrt (sqrt x))) 2)) (* x 2) (* (cbrt x) (* 2 (log (cbrt (sqrt x))))) (* (sqrt x) (* 2 (log (cbrt (sqrt x))))) (* x (* (log (cbrt (sqrt x))) 2)) (pow x 1/6) (pow (/ 1 x) -1/6) (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 x)) (* +nan.0 (/ 1 (pow x 2)))))) (pow x 1/6) (pow (/ 1 x) -1/6) (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 x)) (* +nan.0 (/ 1 (pow x 2)))))) (fma (log +nan.0) x (- (* (log x) x) (* +nan.0 (- (pow x 2) (pow x 3))))) (- (* x (log +nan.0)) (- +nan.0 (/ +nan.0 x))) (- (* x (log +nan.0)) (- +nan.0 (/ +nan.0 x))) (* 1/3 (* (log x) x)) (* x (* -1/3 (log (/ 1 x)))) (- (* x (* 2/3 (log +nan.0))) (- +nan.0 (/ +nan.0 x))) 1.913 * * * [progress]: adding candidates to table 2.200 * * [progress]: iteration 4 / 4 2.200 * * * [progress]: picking best candidate 2.224 * * * * [pick]: Picked # 2.225 * * * [progress]: localizing error 2.247 * * * [progress]: generating rewritten candidates 2.247 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 1) 2.248 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1 2) 2.249 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1 1) 2.249 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1) 2.251 * * * [progress]: generating series expansions 2.251 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 1) 2.251 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.251 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.251 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.251 * [taylor]: Taking taylor expansion of 1/3 in x 2.251 * [taylor]: Taking taylor expansion of (log x) in x 2.251 * [taylor]: Taking taylor expansion of x in x 2.252 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.252 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.252 * [taylor]: Taking taylor expansion of 1/3 in x 2.252 * [taylor]: Taking taylor expansion of (log x) in x 2.252 * [taylor]: Taking taylor expansion of x in x 2.306 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.306 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.306 * [taylor]: Taking taylor expansion of 1/3 in x 2.306 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.306 * [taylor]: Taking taylor expansion of x in x 2.307 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.307 * [taylor]: Taking taylor expansion of 1/3 in x 2.307 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.307 * [taylor]: Taking taylor expansion of x in x 2.359 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.359 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.359 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.359 * [taylor]: Taking taylor expansion of -1 in x 2.360 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.360 * [taylor]: Taking taylor expansion of 1/3 in x 2.360 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.360 * [taylor]: Taking taylor expansion of x in x 2.361 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.361 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.361 * [taylor]: Taking taylor expansion of -1 in x 2.362 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.362 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.362 * [taylor]: Taking taylor expansion of 1/3 in x 2.362 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.362 * [taylor]: Taking taylor expansion of x in x 2.431 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1 2) 2.431 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.431 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.431 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.431 * [taylor]: Taking taylor expansion of 1/3 in x 2.431 * [taylor]: Taking taylor expansion of (log x) in x 2.431 * [taylor]: Taking taylor expansion of x in x 2.431 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.431 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.431 * [taylor]: Taking taylor expansion of 1/3 in x 2.431 * [taylor]: Taking taylor expansion of (log x) in x 2.431 * [taylor]: Taking taylor expansion of x in x 2.484 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.484 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.484 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.484 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.484 * [taylor]: Taking taylor expansion of 1/3 in x 2.484 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.484 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.484 * [taylor]: Taking taylor expansion of x in x 2.485 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.485 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.485 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.485 * [taylor]: Taking taylor expansion of 1/3 in x 2.485 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.485 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.485 * [taylor]: Taking taylor expansion of x in x 2.541 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.541 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.541 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.541 * [taylor]: Taking taylor expansion of -1 in x 2.542 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.542 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.542 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.542 * [taylor]: Taking taylor expansion of 1/3 in x 2.542 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.542 * [taylor]: Taking taylor expansion of x in x 2.543 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.543 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.543 * [taylor]: Taking taylor expansion of -1 in x 2.543 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.543 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.543 * [taylor]: Taking taylor expansion of 1/3 in x 2.543 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.543 * [taylor]: Taking taylor expansion of x in x 2.610 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1 1) 2.610 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.610 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.610 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.610 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.610 * [taylor]: Taking taylor expansion of 1/3 in x 2.610 * [taylor]: Taking taylor expansion of (log x) in x 2.610 * [taylor]: Taking taylor expansion of x in x 2.610 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.611 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.611 * [taylor]: Taking taylor expansion of 1/3 in x 2.611 * [taylor]: Taking taylor expansion of (log x) in x 2.611 * [taylor]: Taking taylor expansion of x in x 2.657 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.657 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.657 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.657 * [taylor]: Taking taylor expansion of 1/3 in x 2.657 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.657 * [taylor]: Taking taylor expansion of x in x 2.658 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.658 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.658 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.658 * [taylor]: Taking taylor expansion of 1/3 in x 2.658 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.658 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.658 * [taylor]: Taking taylor expansion of x in x 2.713 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.713 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.713 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.713 * [taylor]: Taking taylor expansion of -1 in x 2.714 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.714 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.714 * [taylor]: Taking taylor expansion of 1/3 in x 2.714 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.714 * [taylor]: Taking taylor expansion of x in x 2.715 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.715 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.715 * [taylor]: Taking taylor expansion of -1 in x 2.715 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.715 * [taylor]: Taking taylor expansion of 1/3 in x 2.715 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.715 * [taylor]: Taking taylor expansion of x in x 2.781 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1) 2.781 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0 2.781 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 2.781 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 2.781 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 2.781 * [taylor]: Taking taylor expansion of 1/6 in x 2.781 * [taylor]: Taking taylor expansion of (log x) in x 2.781 * [taylor]: Taking taylor expansion of x in x 2.782 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 2.782 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 2.782 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 2.782 * [taylor]: Taking taylor expansion of 1/6 in x 2.782 * [taylor]: Taking taylor expansion of (log x) in x 2.782 * [taylor]: Taking taylor expansion of x in x 2.834 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0 2.834 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 2.834 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 2.834 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 2.834 * [taylor]: Taking taylor expansion of 1/6 in x 2.834 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.834 * [taylor]: Taking taylor expansion of x in x 2.835 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 2.835 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 2.835 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 2.835 * [taylor]: Taking taylor expansion of 1/6 in x 2.835 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.835 * [taylor]: Taking taylor expansion of x in x 2.890 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0 2.890 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 2.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 2.890 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 2.890 * [taylor]: Taking taylor expansion of 1/3 in x 2.890 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 2.890 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.890 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.890 * [taylor]: Taking taylor expansion of -1 in x 2.890 * [taylor]: Taking taylor expansion of x in x 2.893 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 2.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 2.893 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 2.893 * [taylor]: Taking taylor expansion of 1/3 in x 2.893 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 2.893 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.893 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.893 * [taylor]: Taking taylor expansion of -1 in x 2.893 * [taylor]: Taking taylor expansion of x in x 2.927 * * * [progress]: simplifying candidates 2.928 * [simplify]: Simplifying using # : (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt (sqrt x))) (log1p (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt 1)) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/6) (pow (/ 1 x) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow x 2)) (pow +nan.0 1/3)))))) 2.931 * * [simplify]: iteration 0 : 111 enodes (cost 217 ) 2.933 * * [simplify]: iteration 1 : 290 enodes (cost 202 ) 2.939 * * [simplify]: iteration 2 : 1225 enodes (cost 191 ) 2.970 * * [simplify]: iteration 3 : 5001 enodes (cost 190 ) 2.971 * [simplify]: Simplified to: (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt (sqrt x))) (log1p (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (sqrt x) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/6) (pow (/ 1 x) -1/6) (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 x)) (* +nan.0 (/ 1 (pow x 2)))))) 2.971 * * * [progress]: adding candidates to table 3.275 * [progress]: [Phase 3 of 3] Extracting. 3.275 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 3.277 * * * [regime-changes]: Trying 2 branch expressions: ((* x (log x)) x) 3.277 * * * * [regimes]: Trying to branch on (* x (log x)) from (# # # # # # # # # # #) 3.318 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 3.356 * * * [regime]: Found split indices: #