0.771 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.032 * * * [progress]: [2/2] Setting up program. 0.036 * [progress]: [Phase 2 of 3] Improving. 0.039 * [simplify]: Simplifying using # : (sqrt (+ (pow x 2.0) (pow x 2.0))) 0.602 * * [simplify]: iteration 0 : 10 enodes (cost 4 ) 0.603 * * [simplify]: iteration 1 : 20 enodes (cost 4 ) 0.605 * * [simplify]: iteration 2 : 49 enodes (cost 4 ) 0.606 * * [simplify]: iteration 3 : 144 enodes (cost 4 ) 0.609 * * [simplify]: iteration 4 : 473 enodes (cost 4 ) 0.620 * * [simplify]: iteration 5 : 2128 enodes (cost 4 ) 0.672 * * [simplify]: iteration 6 : 5002 enodes (cost 4 ) 0.673 * [simplify]: Simplified to: (sqrt (+ (pow x 2.0) (pow x 2.0))) 0.674 * * [progress]: iteration 1 / 4 0.674 * * * [progress]: picking best candidate 0.677 * * * * [pick]: Picked # 0.677 * * * [progress]: localizing error 0.684 * * * [progress]: generating rewritten candidates 0.684 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.696 * * * [progress]: generating series expansions 0.696 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.700 * [approximate]: Taking taylor expansion of (* x (sqrt 2)) in (x) around 0 0.701 * [taylor]: Taking taylor expansion of (* x (sqrt 2)) in x 0.701 * [taylor]: Taking taylor expansion of x in x 0.701 * [taylor]: Taking taylor expansion of (sqrt 2) in x 0.701 * [taylor]: Taking taylor expansion of 2 in x 0.702 * [taylor]: Taking taylor expansion of (* x (sqrt 2)) in x 0.702 * [taylor]: Taking taylor expansion of x in x 0.702 * [taylor]: Taking taylor expansion of (sqrt 2) in x 0.702 * [taylor]: Taking taylor expansion of 2 in x 0.704 * [approximate]: Taking taylor expansion of (/ (sqrt 2) x) in (x) around 0 0.704 * [taylor]: Taking taylor expansion of (/ (sqrt 2) x) in x 0.704 * [taylor]: Taking taylor expansion of (sqrt 2) in x 0.704 * [taylor]: Taking taylor expansion of 2 in x 0.704 * [taylor]: Taking taylor expansion of x in x 0.704 * [taylor]: Taking taylor expansion of (/ (sqrt 2) x) in x 0.704 * [taylor]: Taking taylor expansion of (sqrt 2) in x 0.704 * [taylor]: Taking taylor expansion of 2 in x 0.704 * [taylor]: Taking taylor expansion of x in x 0.706 * [approximate]: Taking taylor expansion of (/ (sqrt 2) x) in (x) around 0 0.706 * [taylor]: Taking taylor expansion of (/ (sqrt 2) x) in x 0.706 * [taylor]: Taking taylor expansion of (sqrt 2) in x 0.706 * [taylor]: Taking taylor expansion of 2 in x 0.706 * [taylor]: Taking taylor expansion of x in x 0.706 * [taylor]: Taking taylor expansion of (/ (sqrt 2) x) in x 0.706 * [taylor]: Taking taylor expansion of (sqrt 2) in x 0.706 * [taylor]: Taking taylor expansion of 2 in x 0.706 * [taylor]: Taking taylor expansion of x in x 0.707 * * * [progress]: simplifying candidates 0.708 * [simplify]: Simplifying using # : (log (sqrt (+ (pow x 2.0) (pow x 2.0)))) (exp (sqrt (+ (pow x 2.0) (pow x 2.0)))) (* (cbrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (cbrt (sqrt (+ (pow x 2.0) (pow x 2.0))))) (cbrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (* (* (sqrt (+ (pow x 2.0) (pow x 2.0))) (sqrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (* (cbrt (+ (pow x 2.0) (pow x 2.0))) (cbrt (+ (pow x 2.0) (pow x 2.0))))) (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt 1) (sqrt (+ (pow x 2.0) (pow x 2.0))) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0))) (sqrt (pow (sqrt x) 2.0)) (sqrt (+ (pow (sqrt x) 2.0) (pow (sqrt x) 2.0))) (sqrt (pow 1 2.0)) (sqrt (+ (pow x 2.0) (pow x 2.0))) (sqrt (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0)))) (sqrt (+ (cbrt (pow x 2.0)) (cbrt (pow x 2.0)))) (sqrt (sqrt (pow x 2.0))) (sqrt (+ (sqrt (pow x 2.0)) (sqrt (pow x 2.0)))) (sqrt 1) (sqrt (+ (pow x 2.0) (pow x 2.0))) (sqrt (pow x (/ 2.0 2))) (sqrt (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2)))) (sqrt (pow (cbrt x) 2.0)) (sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (pow (sqrt x) 2.0)) (sqrt (+ (pow (sqrt x) 2.0) (pow (sqrt x) 2.0))) (sqrt (pow x 2.0)) (sqrt (+ (pow 1 2.0) (pow 1 2.0))) (sqrt (pow x 2.0)) (sqrt (+ (pow 1 2.0) 1)) (sqrt (cbrt (pow x 2.0))) (sqrt (+ (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))) (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))))) (sqrt (sqrt (pow x 2.0))) (sqrt (+ (sqrt (pow x 2.0)) (sqrt (pow x 2.0)))) (sqrt (pow x 2.0)) (sqrt (+ 1 (pow 1 2.0))) (sqrt (pow x 2.0)) (sqrt (+ 1 1)) (sqrt (pow x (/ 2.0 2))) (sqrt (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2)))) (sqrt (+ (pow 1 2.0) 1)) (sqrt (pow x 2.0)) (sqrt (+ 1 1)) (sqrt (pow x 2.0)) (sqrt (+ (pow 1 2.0) 1)) (sqrt (pow x 2.0)) (sqrt (+ 1 1)) (sqrt (pow x 2.0)) (sqrt 2) (sqrt (pow x 2.0)) (sqrt (+ (pow (pow x 2.0) 3) (pow (pow x 2.0) 3))) (sqrt (+ (* (pow x 2.0) (pow x 2.0)) (- (* (pow x 2.0) (pow x 2.0)) (* (pow x 2.0) (pow x 2.0))))) (sqrt (- (* (pow x 2.0) (pow x 2.0)) (* (pow x 2.0) (pow x 2.0)))) (sqrt (- (pow x 2.0) (pow x 2.0))) (/ 1 2) (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (* x (sqrt 2)) (* x (sqrt 2)) (* -1 (* x (sqrt 2))) 0.720 * * [simplify]: iteration 0 : 127 enodes (cost 240 ) 0.723 * * [simplify]: iteration 1 : 372 enodes (cost 235 ) 0.735 * * [simplify]: iteration 2 : 2508 enodes (cost 225 ) 0.901 * * [simplify]: iteration 3 : 5002 enodes (cost 225 ) 0.903 * [simplify]: Simplified to: (log (sqrt (+ (pow x 2.0) (pow x 2.0)))) (exp (sqrt (+ (pow x 2.0) (pow x 2.0)))) (* (cbrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (cbrt (sqrt (+ (pow x 2.0) (pow x 2.0))))) (cbrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (pow (sqrt (+ (pow x 2.0) (pow x 2.0))) 3) (fabs (cbrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) 1 (sqrt (+ (pow x 2.0) (pow x 2.0))) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0))) (sqrt (pow (sqrt x) 2.0)) (sqrt (+ (pow (sqrt x) 2.0) (pow (sqrt x) 2.0))) 1 (sqrt (+ (pow x 2.0) (pow x 2.0))) (fabs (cbrt (pow x 2.0))) (sqrt (+ (cbrt (pow x 2.0)) (cbrt (pow x 2.0)))) (sqrt (sqrt (pow x 2.0))) (sqrt (+ (sqrt (pow x 2.0)) (sqrt (pow x 2.0)))) 1 (sqrt (+ (pow x 2.0) (pow x 2.0))) (sqrt (pow x (/ 2.0 2))) (sqrt (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2)))) (sqrt (pow (cbrt x) 2.0)) (sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (pow (sqrt x) 2.0)) (sqrt (+ (pow (sqrt x) 2.0) (pow (sqrt x) 2.0))) (sqrt (pow x 2.0)) (sqrt 2) (sqrt (pow x 2.0)) (sqrt 2) (sqrt (cbrt (pow x 2.0))) (sqrt (+ (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))) (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))))) (sqrt (sqrt (pow x 2.0))) (sqrt (+ (sqrt (pow x 2.0)) (sqrt (pow x 2.0)))) (sqrt (pow x 2.0)) (sqrt 2) (sqrt (pow x 2.0)) (sqrt 2) (sqrt (pow x (/ 2.0 2))) (sqrt (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2)))) (sqrt 2) (sqrt (pow x 2.0)) (sqrt 2) (sqrt (pow x 2.0)) (sqrt 2) (sqrt (pow x 2.0)) (sqrt 2) (sqrt (pow x 2.0)) (sqrt 2) (sqrt (pow x 2.0)) (sqrt (+ (pow (pow x 2.0) 3) (pow (pow x 2.0) 3))) (fabs (pow x 2.0)) (sqrt (- (pow x 2.0) (pow x 2.0))) (sqrt (- (pow x 2.0) (pow x 2.0))) 1/2 (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (* x (sqrt 2)) (* x (sqrt 2)) (* -1 (* x (sqrt 2))) 0.904 * * * [progress]: adding candidates to table 0.967 * * [progress]: iteration 2 / 4 0.967 * * * [progress]: picking best candidate 0.983 * * * * [pick]: Picked # 0.984 * * * [progress]: localizing error 0.995 * * * [progress]: generating rewritten candidates 0.995 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 0.998 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 0.999 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 1.000 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2) 1.002 * * * [progress]: generating series expansions 1.002 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.002 * [approximate]: Taking taylor expansion of (pow (pow x 6004799503160661.0) 1.1102230246251565e-16) in (x) around 0 1.002 * [taylor]: Taking taylor expansion of (pow (pow x 6004799503160661.0) 1.1102230246251565e-16) in x 1.002 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0)))) in x 1.002 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0))) in x 1.002 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.003 * [taylor]: Taking taylor expansion of (log (pow x 6004799503160661.0)) in x 1.003 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x 1.003 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x 1.003 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x 1.003 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.003 * [taylor]: Taking taylor expansion of (log x) in x 1.003 * [taylor]: Taking taylor expansion of x in x 1.003 * [taylor]: Taking taylor expansion of (pow (pow x 6004799503160661.0) 1.1102230246251565e-16) in x 1.003 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0)))) in x 1.003 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0))) in x 1.003 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.003 * [taylor]: Taking taylor expansion of (log (pow x 6004799503160661.0)) in x 1.004 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x 1.004 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x 1.004 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x 1.004 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.004 * [taylor]: Taking taylor expansion of (log x) in x 1.004 * [taylor]: Taking taylor expansion of x in x 1.018 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in (x) around 0 1.018 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x 1.018 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x 1.018 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x 1.018 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.018 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x 1.018 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x 1.018 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x 1.018 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x 1.018 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x 1.018 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.018 * [taylor]: Taking taylor expansion of (log x) in x 1.018 * [taylor]: Taking taylor expansion of x in x 1.018 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x 1.018 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x 1.018 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x 1.018 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.018 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x 1.018 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x 1.019 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x 1.019 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x 1.019 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x 1.019 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.019 * [taylor]: Taking taylor expansion of (log x) in x 1.019 * [taylor]: Taking taylor expansion of x in x 1.034 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2.0) 1.0) (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16)) in (x) around 0 1.034 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2.0) 1.0) (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16)) in x 1.034 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2.0) 1.0) in x 1.034 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow (cbrt -1) 2.0)))) in x 1.034 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (cbrt -1) 2.0))) in x 1.034 * [taylor]: Taking taylor expansion of 1.0 in x 1.034 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2.0)) in x 1.034 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2.0) in x 1.034 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (cbrt -1)))) in x 1.034 * [taylor]: Taking taylor expansion of (* 2.0 (log (cbrt -1))) in x 1.034 * [taylor]: Taking taylor expansion of 2.0 in x 1.034 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.034 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.034 * [taylor]: Taking taylor expansion of -1 in x 1.035 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x 1.035 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x 1.035 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x 1.035 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.035 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x 1.035 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x 1.035 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x 1.035 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x 1.035 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x 1.035 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.035 * [taylor]: Taking taylor expansion of (log x) in x 1.035 * [taylor]: Taking taylor expansion of x in x 1.038 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2.0) 1.0) (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16)) in x 1.038 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2.0) 1.0) in x 1.038 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow (cbrt -1) 2.0)))) in x 1.038 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (cbrt -1) 2.0))) in x 1.038 * [taylor]: Taking taylor expansion of 1.0 in x 1.038 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2.0)) in x 1.038 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2.0) in x 1.038 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (cbrt -1)))) in x 1.038 * [taylor]: Taking taylor expansion of (* 2.0 (log (cbrt -1))) in x 1.038 * [taylor]: Taking taylor expansion of 2.0 in x 1.038 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.038 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.038 * [taylor]: Taking taylor expansion of -1 in x 1.039 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x 1.039 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x 1.039 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x 1.039 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.039 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x 1.039 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x 1.039 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x 1.039 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x 1.039 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x 1.039 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.039 * [taylor]: Taking taylor expansion of (log x) in x 1.039 * [taylor]: Taking taylor expansion of x in x 1.072 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 1.073 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.073 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.073 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.073 * [taylor]: Taking taylor expansion of 1/3 in x 1.073 * [taylor]: Taking taylor expansion of (log x) in x 1.073 * [taylor]: Taking taylor expansion of x in x 1.073 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.073 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.073 * [taylor]: Taking taylor expansion of 1/3 in x 1.073 * [taylor]: Taking taylor expansion of (log x) in x 1.073 * [taylor]: Taking taylor expansion of x in x 1.079 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.079 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.079 * [taylor]: Taking taylor expansion of 1/3 in x 1.079 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.079 * [taylor]: Taking taylor expansion of x in x 1.079 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.079 * [taylor]: Taking taylor expansion of 1/3 in x 1.079 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.079 * [taylor]: Taking taylor expansion of x in x 1.085 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.085 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.085 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.085 * [taylor]: Taking taylor expansion of -1 in x 1.086 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.086 * [taylor]: Taking taylor expansion of 1/3 in x 1.086 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.086 * [taylor]: Taking taylor expansion of x in x 1.086 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.086 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.086 * [taylor]: Taking taylor expansion of -1 in x 1.086 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.086 * [taylor]: Taking taylor expansion of 1/3 in x 1.086 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.086 * [taylor]: Taking taylor expansion of x in x 1.094 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 1.094 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.094 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.094 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.094 * [taylor]: Taking taylor expansion of 1/3 in x 1.094 * [taylor]: Taking taylor expansion of (log x) in x 1.094 * [taylor]: Taking taylor expansion of x in x 1.094 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.094 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.094 * [taylor]: Taking taylor expansion of 1/3 in x 1.094 * [taylor]: Taking taylor expansion of (log x) in x 1.094 * [taylor]: Taking taylor expansion of x in x 1.100 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.100 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.100 * [taylor]: Taking taylor expansion of 1/3 in x 1.100 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.100 * [taylor]: Taking taylor expansion of x in x 1.100 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.100 * [taylor]: Taking taylor expansion of 1/3 in x 1.100 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.100 * [taylor]: Taking taylor expansion of x in x 1.107 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.107 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.107 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.107 * [taylor]: Taking taylor expansion of -1 in x 1.107 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.107 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.107 * [taylor]: Taking taylor expansion of 1/3 in x 1.107 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.107 * [taylor]: Taking taylor expansion of x in x 1.107 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.107 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.107 * [taylor]: Taking taylor expansion of -1 in x 1.107 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.107 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.107 * [taylor]: Taking taylor expansion of 1/3 in x 1.107 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.107 * [taylor]: Taking taylor expansion of x in x 1.115 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2) 1.115 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.115 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.115 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.115 * [taylor]: Taking taylor expansion of 1/3 in x 1.115 * [taylor]: Taking taylor expansion of (log x) in x 1.115 * [taylor]: Taking taylor expansion of x in x 1.115 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.115 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.115 * [taylor]: Taking taylor expansion of 1/3 in x 1.115 * [taylor]: Taking taylor expansion of (log x) in x 1.115 * [taylor]: Taking taylor expansion of x in x 1.121 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.121 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.121 * [taylor]: Taking taylor expansion of 1/3 in x 1.121 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.121 * [taylor]: Taking taylor expansion of x in x 1.121 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.121 * [taylor]: Taking taylor expansion of 1/3 in x 1.121 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.121 * [taylor]: Taking taylor expansion of x in x 1.129 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.129 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.129 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.129 * [taylor]: Taking taylor expansion of -1 in x 1.129 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.129 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.129 * [taylor]: Taking taylor expansion of 1/3 in x 1.129 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.129 * [taylor]: Taking taylor expansion of x in x 1.130 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.130 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.130 * [taylor]: Taking taylor expansion of -1 in x 1.130 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.130 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.130 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.130 * [taylor]: Taking taylor expansion of 1/3 in x 1.130 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.130 * [taylor]: Taking taylor expansion of x in x 1.137 * * * [progress]: simplifying candidates 1.138 * [simplify]: Simplifying using # : (log (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (exp (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (* (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (* (* (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (pow (cbrt x) 2.0)) (sqrt (pow (cbrt x) 2.0)) (sqrt (* (cbrt (pow (* (cbrt x) (cbrt x)) 2.0)) (cbrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (sqrt (cbrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt 1) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (pow (* (cbrt x) (cbrt x)) (/ 2.0 2))) (sqrt (pow (* (cbrt x) (cbrt x)) (/ 2.0 2))) (/ 2.0 2) (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (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)) (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)) (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)) (exp (* 0.6666666666666666 (+ (log 1) (log x)))) (pow (/ 1 (exp (* 6004799503160661.0 (+ (log 1) (log (/ 1 x)))))) 1.1102230246251565e-16) (* (pow (/ 1 (pow (exp (* 6004799503160661.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.1102230246251565e-16) (pow (pow (cbrt -1) 2.0) 1.0)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 1.141 * * [simplify]: iteration 0 : 149 enodes (cost 281 ) 1.143 * * [simplify]: iteration 1 : 307 enodes (cost 265 ) 1.147 * * [simplify]: iteration 2 : 752 enodes (cost 231 ) 1.159 * * [simplify]: iteration 3 : 2300 enodes (cost 225 ) 1.264 * * [simplify]: iteration 4 : 5002 enodes (cost 225 ) 1.266 * [simplify]: Simplified to: (log (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (exp (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (* (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (pow (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) 3) (sqrt (pow (cbrt x) 2.0)) (sqrt (pow (cbrt x) 2.0)) (fabs (cbrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (cbrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) 1 (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (pow (* (cbrt x) (cbrt x)) (/ 2.0 2))) (sqrt (pow (* (cbrt x) (cbrt x)) (/ 2.0 2))) (/ 2.0 2) (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (* 1/3 (log x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (* 1/3 (log x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (* 1/3 (log x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (pow x 0.6666666666666666) (pow (pow x 6004799503160661.0) (* 2 (* 2 (/ (/ 1.1102230246251565e-16 2) 2)))) (* (pow (/ 1 (pow (exp (* 6004799503160661.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.1102230246251565e-16) (pow (pow (cbrt -1) 2.0) 1.0)) (pow x 1/3) (pow x 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (pow x 1/3) (pow x 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (pow x 1/3) (pow x 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 1.267 * * * [progress]: adding candidates to table 1.386 * * [progress]: iteration 3 / 4 1.386 * * * [progress]: picking best candidate 1.416 * * * * [pick]: Picked # 1.416 * * * [progress]: localizing error 1.427 * * * [progress]: generating rewritten candidates 1.427 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1) 1.428 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 1.430 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.431 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 1.434 * * * [progress]: generating series expansions 1.434 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1) 1.434 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.434 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.434 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.434 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.434 * [taylor]: Taking taylor expansion of 1/3 in x 1.434 * [taylor]: Taking taylor expansion of (log x) in x 1.434 * [taylor]: Taking taylor expansion of x in x 1.434 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.434 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.434 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.434 * [taylor]: Taking taylor expansion of 1/3 in x 1.434 * [taylor]: Taking taylor expansion of (log x) in x 1.434 * [taylor]: Taking taylor expansion of x in x 1.440 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.440 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.440 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.440 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.440 * [taylor]: Taking taylor expansion of 1/3 in x 1.440 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.440 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.440 * [taylor]: Taking taylor expansion of x in x 1.440 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.440 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.440 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.440 * [taylor]: Taking taylor expansion of 1/3 in x 1.440 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.440 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.440 * [taylor]: Taking taylor expansion of x in x 1.446 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.447 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.447 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.447 * [taylor]: Taking taylor expansion of -1 in x 1.447 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.447 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.447 * [taylor]: Taking taylor expansion of 1/3 in x 1.447 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.447 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.447 * [taylor]: Taking taylor expansion of x in x 1.447 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.447 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.447 * [taylor]: Taking taylor expansion of -1 in x 1.447 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.447 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.447 * [taylor]: Taking taylor expansion of 1/3 in x 1.447 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.447 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.447 * [taylor]: Taking taylor expansion of x in x 1.455 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 1.455 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.455 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.455 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.455 * [taylor]: Taking taylor expansion of 1/3 in x 1.455 * [taylor]: Taking taylor expansion of (log x) in x 1.455 * [taylor]: Taking taylor expansion of x in x 1.455 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.455 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.455 * [taylor]: Taking taylor expansion of 1/3 in x 1.455 * [taylor]: Taking taylor expansion of (log x) in x 1.455 * [taylor]: Taking taylor expansion of x in x 1.461 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.461 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.461 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.461 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.461 * [taylor]: Taking taylor expansion of 1/3 in x 1.461 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.461 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.461 * [taylor]: Taking taylor expansion of x in x 1.461 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.461 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.461 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.461 * [taylor]: Taking taylor expansion of 1/3 in x 1.461 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.461 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.461 * [taylor]: Taking taylor expansion of x in x 1.467 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.467 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.467 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.467 * [taylor]: Taking taylor expansion of -1 in x 1.467 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.467 * [taylor]: Taking taylor expansion of 1/3 in x 1.467 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.467 * [taylor]: Taking taylor expansion of x in x 1.468 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.468 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.468 * [taylor]: Taking taylor expansion of -1 in x 1.468 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.468 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.468 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.468 * [taylor]: Taking taylor expansion of 1/3 in x 1.468 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.468 * [taylor]: Taking taylor expansion of x in x 1.475 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1.476 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.476 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.476 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.476 * [taylor]: Taking taylor expansion of 1/3 in x 1.476 * [taylor]: Taking taylor expansion of (log x) in x 1.476 * [taylor]: Taking taylor expansion of x in x 1.476 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.476 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.476 * [taylor]: Taking taylor expansion of 1/3 in x 1.476 * [taylor]: Taking taylor expansion of (log x) in x 1.476 * [taylor]: Taking taylor expansion of x in x 1.481 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.481 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.481 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.482 * [taylor]: Taking taylor expansion of 1/3 in x 1.482 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.482 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.482 * [taylor]: Taking taylor expansion of x in x 1.482 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.482 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.482 * [taylor]: Taking taylor expansion of 1/3 in x 1.482 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.482 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.482 * [taylor]: Taking taylor expansion of x in x 1.488 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.488 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.488 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.488 * [taylor]: Taking taylor expansion of -1 in x 1.488 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.488 * [taylor]: Taking taylor expansion of 1/3 in x 1.488 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.488 * [taylor]: Taking taylor expansion of x in x 1.488 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.488 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.488 * [taylor]: Taking taylor expansion of -1 in x 1.488 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.488 * [taylor]: Taking taylor expansion of 1/3 in x 1.488 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.488 * [taylor]: Taking taylor expansion of x in x 1.496 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 1.496 * [approximate]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in (x) around 0 1.496 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x 1.496 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x 1.496 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x 1.496 * [taylor]: Taking taylor expansion of 2.0 in x 1.496 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 1.496 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.496 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.496 * [taylor]: Taking taylor expansion of 1/3 in x 1.496 * [taylor]: Taking taylor expansion of (log x) in x 1.496 * [taylor]: Taking taylor expansion of x in x 1.497 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x 1.497 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x 1.497 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x 1.497 * [taylor]: Taking taylor expansion of 2.0 in x 1.497 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 1.497 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.497 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.497 * [taylor]: Taking taylor expansion of 1/3 in x 1.497 * [taylor]: Taking taylor expansion of (log x) in x 1.497 * [taylor]: Taking taylor expansion of x in x 1.511 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in (x) around 0 1.511 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x 1.511 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x 1.511 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x 1.511 * [taylor]: Taking taylor expansion of 2.0 in x 1.511 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 1.511 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.511 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.511 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.511 * [taylor]: Taking taylor expansion of 1/3 in x 1.511 * [taylor]: Taking taylor expansion of (log (/ 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 (pow (pow (/ 1 x) 1/3) 2.0) in x 1.512 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x 1.512 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x 1.512 * [taylor]: Taking taylor expansion of 2.0 in x 1.512 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 1.512 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.512 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.512 * [taylor]: Taking taylor expansion of 1/3 in x 1.512 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.512 * [taylor]: Taking taylor expansion of x in x 1.524 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in (x) around 0 1.524 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x 1.524 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x 1.524 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 1.524 * [taylor]: Taking taylor expansion of 2.0 in x 1.524 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 1.524 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.524 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.524 * [taylor]: Taking taylor expansion of -1 in x 1.525 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.525 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.525 * [taylor]: Taking taylor expansion of 1/3 in x 1.525 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.525 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.525 * [taylor]: Taking taylor expansion of x in x 1.525 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x 1.525 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x 1.525 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 1.525 * [taylor]: Taking taylor expansion of 2.0 in x 1.525 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 1.525 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.525 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.525 * [taylor]: Taking taylor expansion of -1 in x 1.525 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.525 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.525 * [taylor]: Taking taylor expansion of 1/3 in x 1.526 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.526 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.526 * [taylor]: Taking taylor expansion of x in x 1.543 * * * [progress]: simplifying candidates 1.544 * [simplify]: Simplifying using # : (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)) (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)) (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)) (* (log (cbrt x)) 2.0) (* (log (cbrt x)) 2.0) (* 1/3 2.0) (* 1 2.0) (pow (cbrt x) (* (cbrt 2.0) (cbrt 2.0))) (pow (cbrt x) (sqrt 2.0)) (pow (cbrt x) 1) (pow (cbrt (* (cbrt x) (cbrt x))) 2.0) (pow (cbrt (cbrt x)) 2.0) (pow (cbrt (sqrt x)) 2.0) (pow (cbrt (sqrt x)) 2.0) (pow (cbrt 1) 2.0) (pow (cbrt x) 2.0) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0) (pow (cbrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 2.0) (pow 1 2.0) (pow (cbrt x) 2.0) (log (pow (cbrt x) 2.0)) (exp (pow (cbrt x) 2.0)) (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)) (* (* (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)) (pow (cbrt x) 2.0)) (sqrt (pow (cbrt x) 2.0)) (sqrt (pow (cbrt x) 2.0)) (pow (cbrt x) (/ 2.0 2)) (pow (cbrt x) (/ 2.0 2)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 0.6666666666666666 (+ (log 1) (log x)))) (exp (* 0.6666666666666666 (- (log 1) (log (/ 1 x))))) (pow (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 2.0) 1.547 * * [simplify]: iteration 0 : 139 enodes (cost 258 ) 1.549 * * [simplify]: iteration 1 : 370 enodes (cost 242 ) 1.555 * * [simplify]: iteration 2 : 1180 enodes (cost 204 ) 1.587 * * [simplify]: iteration 3 : 5001 enodes (cost 199 ) 1.589 * [simplify]: Simplified to: (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (pow (cbrt x) 1/2) (pow (cbrt x) 1/2) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (pow (cbrt x) 1/2) (pow (cbrt x) 1/2) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (pow (cbrt x) 1/2) (pow (cbrt x) 1/2) (log (pow (cbrt x) 2.0)) (log (pow (cbrt x) 2.0)) (* 1/3 2.0) 2.0 (pow (cbrt x) (* (cbrt 2.0) (cbrt 2.0))) (pow (cbrt x) (sqrt 2.0)) (pow x 1/3) (pow (cbrt (* (cbrt x) (cbrt x))) 2.0) (pow (cbrt (cbrt x)) 2.0) (pow (cbrt (sqrt x)) 2.0) (pow (cbrt (sqrt x)) 2.0) 1 (pow (cbrt x) 2.0) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0) (pow (cbrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 2.0) 1 (pow (cbrt x) 2.0) (log (pow (cbrt x) 2.0)) (exp (pow (cbrt x) 2.0)) (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)) (pow (pow (cbrt x) 2.0) 3) (sqrt (pow (cbrt x) 2.0)) (sqrt (pow (cbrt x) 2.0)) (pow (cbrt x) (/ 2.0 2)) (pow (cbrt x) (/ 2.0 2)) (pow x 1/3) (pow x 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (pow x 1/3) (pow x 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (pow x 1/3) (pow x 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (pow x 0.6666666666666666) (pow x 0.6666666666666666) (pow (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 2.0) 1.589 * * * [progress]: adding candidates to table 1.702 * * [progress]: iteration 4 / 4 1.702 * * * [progress]: picking best candidate 1.746 * * * * [pick]: Picked # 1.746 * * * [progress]: localizing error 1.759 * * * [progress]: generating rewritten candidates 1.759 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2) 1.762 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2) 1.765 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1) 1.767 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 1 1) 1.770 * * * [progress]: generating series expansions 1.770 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2) 1.770 * [approximate]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in (x) around 0 1.770 * [taylor]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in x 1.770 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0)))) in x 1.770 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0))) in x 1.770 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.770 * [taylor]: Taking taylor expansion of (log (pow x 2001599834386887.0)) in x 1.770 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.770 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.770 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.770 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.770 * [taylor]: Taking taylor expansion of (log x) in x 1.770 * [taylor]: Taking taylor expansion of x in x 1.771 * [taylor]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in x 1.771 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0)))) in x 1.771 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0))) in x 1.771 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.771 * [taylor]: Taking taylor expansion of (log (pow x 2001599834386887.0)) in x 1.771 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.771 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.771 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.771 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.771 * [taylor]: Taking taylor expansion of (log x) in x 1.771 * [taylor]: Taking taylor expansion of x in x 1.783 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in (x) around 0 1.783 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x 1.783 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0))))) in x 1.783 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0)))) in x 1.783 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.783 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2001599834386887.0))) in x 1.783 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2001599834386887.0)) in x 1.783 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.783 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.783 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.783 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.783 * [taylor]: Taking taylor expansion of (log x) in x 1.783 * [taylor]: Taking taylor expansion of x in x 1.784 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x 1.784 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0))))) in x 1.784 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0)))) in x 1.784 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.784 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2001599834386887.0))) in x 1.784 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2001599834386887.0)) in x 1.784 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.784 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.784 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.784 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.784 * [taylor]: Taking taylor expansion of (log x) in x 1.784 * [taylor]: Taking taylor expansion of x in x 1.799 * [approximate]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in (x) around 0 1.799 * [taylor]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x 1.799 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))))) in x 1.799 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)))) in x 1.799 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.799 * [taylor]: Taking taylor expansion of (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))) in x 1.799 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) in x 1.799 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 6004799503160661.0) in x 1.799 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log (cbrt -1)))) in x 1.799 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log (cbrt -1))) in x 1.799 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.799 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.799 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.799 * [taylor]: Taking taylor expansion of -1 in x 1.799 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.799 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.799 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.799 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.799 * [taylor]: Taking taylor expansion of (log x) in x 1.799 * [taylor]: Taking taylor expansion of x in x 1.800 * [taylor]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x 1.800 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))))) in x 1.800 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)))) in x 1.800 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.800 * [taylor]: Taking taylor expansion of (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))) in x 1.800 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) in x 1.800 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 6004799503160661.0) in x 1.800 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log (cbrt -1)))) in x 1.800 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log (cbrt -1))) in x 1.800 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.800 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.800 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.800 * [taylor]: Taking taylor expansion of -1 in x 1.801 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.801 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.801 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.801 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.801 * [taylor]: Taking taylor expansion of (log x) in x 1.801 * [taylor]: Taking taylor expansion of x in x 1.832 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2) 1.833 * [approximate]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in (x) around 0 1.833 * [taylor]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in x 1.833 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0)))) in x 1.833 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0))) in x 1.833 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.833 * [taylor]: Taking taylor expansion of (log (pow x 2001599834386887.0)) in x 1.833 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.833 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.833 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.833 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.833 * [taylor]: Taking taylor expansion of (log x) in x 1.833 * [taylor]: Taking taylor expansion of x in x 1.833 * [taylor]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in x 1.833 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0)))) in x 1.833 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0))) in x 1.833 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.833 * [taylor]: Taking taylor expansion of (log (pow x 2001599834386887.0)) in x 1.833 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.833 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.833 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.833 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.833 * [taylor]: Taking taylor expansion of (log x) in x 1.833 * [taylor]: Taking taylor expansion of x in x 1.846 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in (x) around 0 1.846 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x 1.846 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0))))) in x 1.846 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0)))) in x 1.846 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.846 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2001599834386887.0))) in x 1.846 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2001599834386887.0)) in x 1.846 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.846 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.846 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.846 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.846 * [taylor]: Taking taylor expansion of (log x) in x 1.846 * [taylor]: Taking taylor expansion of x in x 1.846 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x 1.846 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0))))) in x 1.846 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0)))) in x 1.846 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.846 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2001599834386887.0))) in x 1.846 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2001599834386887.0)) in x 1.846 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.847 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.847 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.847 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.847 * [taylor]: Taking taylor expansion of (log x) in x 1.847 * [taylor]: Taking taylor expansion of x in x 1.862 * [approximate]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in (x) around 0 1.862 * [taylor]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x 1.862 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))))) in x 1.862 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)))) in x 1.862 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.862 * [taylor]: Taking taylor expansion of (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))) in x 1.862 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) in x 1.862 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 6004799503160661.0) in x 1.862 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log (cbrt -1)))) in x 1.862 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log (cbrt -1))) in x 1.862 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.862 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.862 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.862 * [taylor]: Taking taylor expansion of -1 in x 1.862 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.862 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.862 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.862 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.862 * [taylor]: Taking taylor expansion of (log x) in x 1.862 * [taylor]: Taking taylor expansion of x in x 1.863 * [taylor]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x 1.863 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))))) in x 1.863 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)))) in x 1.863 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.863 * [taylor]: Taking taylor expansion of (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))) in x 1.863 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) in x 1.863 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 6004799503160661.0) in x 1.863 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log (cbrt -1)))) in x 1.863 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log (cbrt -1))) in x 1.863 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.863 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.863 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.863 * [taylor]: Taking taylor expansion of -1 in x 1.864 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.864 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.864 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.864 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.864 * [taylor]: Taking taylor expansion of (log x) in x 1.864 * [taylor]: Taking taylor expansion of x in x 1.896 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1) 1.896 * [approximate]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in (x) around 0 1.896 * [taylor]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in x 1.896 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0)))) in x 1.896 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0))) in x 1.896 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.896 * [taylor]: Taking taylor expansion of (log (pow x 2001599834386887.0)) in x 1.896 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.896 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.896 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.896 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.896 * [taylor]: Taking taylor expansion of (log x) in x 1.896 * [taylor]: Taking taylor expansion of x in x 1.897 * [taylor]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in x 1.897 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0)))) in x 1.897 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0))) in x 1.897 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.897 * [taylor]: Taking taylor expansion of (log (pow x 2001599834386887.0)) in x 1.897 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.897 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.897 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.897 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.897 * [taylor]: Taking taylor expansion of (log x) in x 1.897 * [taylor]: Taking taylor expansion of x in x 1.909 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in (x) around 0 1.909 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x 1.909 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0))))) in x 1.909 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0)))) in x 1.910 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.910 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2001599834386887.0))) in x 1.910 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2001599834386887.0)) in x 1.910 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.910 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.910 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.910 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.910 * [taylor]: Taking taylor expansion of (log x) in x 1.910 * [taylor]: Taking taylor expansion of x in x 1.910 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x 1.910 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0))))) in x 1.910 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0)))) in x 1.910 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.910 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2001599834386887.0))) in x 1.910 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2001599834386887.0)) in x 1.910 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.910 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.910 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.910 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.910 * [taylor]: Taking taylor expansion of (log x) in x 1.910 * [taylor]: Taking taylor expansion of x in x 1.925 * [approximate]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in (x) around 0 1.925 * [taylor]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x 1.925 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))))) in x 1.925 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)))) in x 1.925 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.925 * [taylor]: Taking taylor expansion of (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))) in x 1.925 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) in x 1.925 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 6004799503160661.0) in x 1.925 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log (cbrt -1)))) in x 1.925 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log (cbrt -1))) in x 1.925 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.925 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.925 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.925 * [taylor]: Taking taylor expansion of -1 in x 1.926 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.926 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.926 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.926 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.926 * [taylor]: Taking taylor expansion of (log x) in x 1.926 * [taylor]: Taking taylor expansion of x in x 1.926 * [taylor]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x 1.927 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))))) in x 1.927 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)))) in x 1.927 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.927 * [taylor]: Taking taylor expansion of (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))) in x 1.927 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) in x 1.927 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 6004799503160661.0) in x 1.927 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log (cbrt -1)))) in x 1.927 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log (cbrt -1))) in x 1.927 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.927 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.927 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.927 * [taylor]: Taking taylor expansion of -1 in x 1.927 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x 1.927 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x 1.927 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x 1.927 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x 1.927 * [taylor]: Taking taylor expansion of (log x) in x 1.927 * [taylor]: Taking taylor expansion of x in x 1.957 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 1 1) 1.957 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.957 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.957 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.957 * [taylor]: Taking taylor expansion of 1/3 in x 1.957 * [taylor]: Taking taylor expansion of (log x) in x 1.957 * [taylor]: Taking taylor expansion of x in x 1.958 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.958 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.958 * [taylor]: Taking taylor expansion of 1/3 in x 1.958 * [taylor]: Taking taylor expansion of (log x) in x 1.958 * [taylor]: Taking taylor expansion of x in x 1.963 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.963 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.963 * [taylor]: Taking taylor expansion of 1/3 in x 1.963 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.963 * [taylor]: Taking taylor expansion of x in x 1.964 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.964 * [taylor]: Taking taylor expansion of 1/3 in x 1.964 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.964 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.964 * [taylor]: Taking taylor expansion of x in x 1.970 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.970 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.970 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.970 * [taylor]: Taking taylor expansion of -1 in x 1.970 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.970 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.970 * [taylor]: Taking taylor expansion of 1/3 in x 1.970 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.970 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.970 * [taylor]: Taking taylor expansion of x in x 1.970 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.970 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.970 * [taylor]: Taking taylor expansion of -1 in x 1.970 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.970 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.970 * [taylor]: Taking taylor expansion of 1/3 in x 1.970 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.970 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.970 * [taylor]: Taking taylor expansion of x in x 1.979 * * * [progress]: simplifying candidates 1.981 * [simplify]: Simplifying using # : (log (cbrt (pow (cbrt x) 2.0))) (exp (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 2.0)) (cbrt (pow (cbrt (cbrt x)) 2.0)) (cbrt (pow (cbrt (sqrt x)) 2.0)) (cbrt (pow (cbrt (sqrt x)) 2.0)) (cbrt (pow (cbrt 1) 2.0)) (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0)) (cbrt (pow (cbrt (cbrt x)) 2.0)) (cbrt (pow (sqrt (cbrt x)) 2.0)) (cbrt (pow (sqrt (cbrt x)) 2.0)) (cbrt (pow 1 2.0)) (cbrt (pow (cbrt x) 2.0)) (cbrt (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0)))) (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (sqrt (pow (cbrt x) 2.0))) (cbrt (sqrt (pow (cbrt x) 2.0))) (cbrt 1) (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) (/ 2.0 2))) (cbrt (pow (cbrt x) (/ 2.0 2))) (* (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (cbrt (pow (cbrt x) 2.0)))) (cbrt (cbrt (pow (cbrt x) 2.0))) (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0))) (sqrt (cbrt (pow (cbrt x) 2.0))) (sqrt (cbrt (pow (cbrt x) 2.0))) (log (cbrt (pow (cbrt x) 2.0))) (exp (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 2.0)) (cbrt (pow (cbrt (cbrt x)) 2.0)) (cbrt (pow (cbrt (sqrt x)) 2.0)) (cbrt (pow (cbrt (sqrt x)) 2.0)) (cbrt (pow (cbrt 1) 2.0)) (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0)) (cbrt (pow (cbrt (cbrt x)) 2.0)) (cbrt (pow (sqrt (cbrt x)) 2.0)) (cbrt (pow (sqrt (cbrt x)) 2.0)) (cbrt (pow 1 2.0)) (cbrt (pow (cbrt x) 2.0)) (cbrt (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0)))) (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (sqrt (pow (cbrt x) 2.0))) (cbrt (sqrt (pow (cbrt x) 2.0))) (cbrt 1) (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) (/ 2.0 2))) (cbrt (pow (cbrt x) (/ 2.0 2))) (* (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (cbrt (pow (cbrt x) 2.0)))) (cbrt (cbrt (pow (cbrt x) 2.0))) (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0))) (sqrt (cbrt (pow (cbrt x) 2.0))) (sqrt (cbrt (pow (cbrt x) 2.0))) (log (cbrt (pow (cbrt x) 2.0))) (exp (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 2.0)) (cbrt (pow (cbrt (cbrt x)) 2.0)) (cbrt (pow (cbrt (sqrt x)) 2.0)) (cbrt (pow (cbrt (sqrt x)) 2.0)) (cbrt (pow (cbrt 1) 2.0)) (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0)) (cbrt (pow (cbrt (cbrt x)) 2.0)) (cbrt (pow (sqrt (cbrt x)) 2.0)) (cbrt (pow (sqrt (cbrt x)) 2.0)) (cbrt (pow 1 2.0)) (cbrt (pow (cbrt x) 2.0)) (cbrt (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0)))) (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (sqrt (pow (cbrt x) 2.0))) (cbrt (sqrt (pow (cbrt x) 2.0))) (cbrt 1) (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) (/ 2.0 2))) (cbrt (pow (cbrt x) (/ 2.0 2))) (* (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (cbrt (pow (cbrt x) 2.0)))) (cbrt (cbrt (pow (cbrt x) 2.0))) (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0))) (sqrt (cbrt (pow (cbrt x) 2.0))) (sqrt (cbrt (pow (cbrt x) 2.0))) (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)) (exp (* 0.2222222222222222 (+ (log 1) (log x)))) (pow (/ 1 (exp (* 2001599834386887.0 (+ (log 1) (log (/ 1 x)))))) 1.1102230246251565e-16) (pow (* (pow (pow (cbrt -1) 6004799503160661.0) 1.0) (/ 1 (exp (* 2001599834386887.0 (+ (log 1) (log (/ -1 x))))))) 1.1102230246251565e-16) (exp (* 0.2222222222222222 (+ (log 1) (log x)))) (pow (/ 1 (exp (* 2001599834386887.0 (+ (log 1) (log (/ 1 x)))))) 1.1102230246251565e-16) (pow (* (pow (pow (cbrt -1) 6004799503160661.0) 1.0) (/ 1 (exp (* 2001599834386887.0 (+ (log 1) (log (/ -1 x))))))) 1.1102230246251565e-16) (exp (* 0.2222222222222222 (+ (log 1) (log x)))) (pow (/ 1 (exp (* 2001599834386887.0 (+ (log 1) (log (/ 1 x)))))) 1.1102230246251565e-16) (pow (* (pow (pow (cbrt -1) 6004799503160661.0) 1.0) (/ 1 (exp (* 2001599834386887.0 (+ (log 1) (log (/ -1 x))))))) 1.1102230246251565e-16) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 1.984 * * [simplify]: iteration 0 : 173 enodes (cost 483 ) 1.987 * * [simplify]: iteration 1 : 371 enodes (cost 458 ) 1.992 * * [simplify]: iteration 2 : 1022 enodes (cost 430 ) 2.011 * * [simplify]: iteration 3 : 4222 enodes (cost 404 ) 3.718 * * [simplify]: iteration 4 : 5001 enodes (cost 404 ) 3.720 * [simplify]: Simplified to: (log (cbrt (pow (cbrt x) 2.0))) (exp (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 2.0)) (cbrt (pow (cbrt (cbrt x)) 2.0)) (cbrt (pow (cbrt (sqrt x)) 2.0)) (cbrt (pow (cbrt (sqrt x)) 2.0)) 1 (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0)) (cbrt (pow (cbrt (cbrt x)) 2.0)) (cbrt (pow (sqrt (cbrt x)) 2.0)) (cbrt (pow (sqrt (cbrt x)) 2.0)) 1 (cbrt (pow (cbrt x) 2.0)) (cbrt (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0)))) (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (sqrt (pow (cbrt x) 2.0))) (cbrt (sqrt (pow (cbrt x) 2.0))) 1 (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) (/ 2.0 2))) (cbrt (pow (cbrt x) (/ 2.0 2))) (* (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (cbrt (pow (cbrt x) 2.0)))) (cbrt (cbrt (pow (cbrt x) 2.0))) (pow (cbrt x) 2.0) (sqrt (cbrt (pow (cbrt x) 2.0))) (sqrt (cbrt (pow (cbrt x) 2.0))) (log (cbrt (pow (cbrt x) 2.0))) (exp (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 2.0)) (cbrt (pow (cbrt (cbrt x)) 2.0)) (cbrt (pow (cbrt (sqrt x)) 2.0)) (cbrt (pow (cbrt (sqrt x)) 2.0)) 1 (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0)) (cbrt (pow (cbrt (cbrt x)) 2.0)) (cbrt (pow (sqrt (cbrt x)) 2.0)) (cbrt (pow (sqrt (cbrt x)) 2.0)) 1 (cbrt (pow (cbrt x) 2.0)) (cbrt (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0)))) (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (sqrt (pow (cbrt x) 2.0))) (cbrt (sqrt (pow (cbrt x) 2.0))) 1 (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) (/ 2.0 2))) (cbrt (pow (cbrt x) (/ 2.0 2))) (* (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (cbrt (pow (cbrt x) 2.0)))) (cbrt (cbrt (pow (cbrt x) 2.0))) (pow (cbrt x) 2.0) (sqrt (cbrt (pow (cbrt x) 2.0))) (sqrt (cbrt (pow (cbrt x) 2.0))) (log (cbrt (pow (cbrt x) 2.0))) (exp (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 2.0)) (cbrt (pow (cbrt (cbrt x)) 2.0)) (cbrt (pow (cbrt (sqrt x)) 2.0)) (cbrt (pow (cbrt (sqrt x)) 2.0)) 1 (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0)) (cbrt (pow (cbrt (cbrt x)) 2.0)) (cbrt (pow (sqrt (cbrt x)) 2.0)) (cbrt (pow (sqrt (cbrt x)) 2.0)) 1 (cbrt (pow (cbrt x) 2.0)) (cbrt (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0)))) (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (sqrt (pow (cbrt x) 2.0))) (cbrt (sqrt (pow (cbrt x) 2.0))) 1 (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) (/ 2.0 2))) (cbrt (pow (cbrt x) (/ 2.0 2))) (* (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (cbrt (pow (cbrt x) 2.0)))) (cbrt (cbrt (pow (cbrt x) 2.0))) (pow (cbrt x) 2.0) (sqrt (cbrt (pow (cbrt x) 2.0))) (sqrt (cbrt (pow (cbrt x) 2.0))) (* 1/3 (log x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (pow x 0.2222222222222222) (pow (pow x 2001599834386887.0) (* 2 (* 2 (/ (/ 1.1102230246251565e-16 2) 2)))) (pow (/ (pow (pow (cbrt -1) 6004799503160661.0) 1.0) (pow (/ -1 x) 2001599834386887.0)) (* 2 (* 2 (/ (/ 1.1102230246251565e-16 2) 2)))) (pow x 0.2222222222222222) (pow (pow x 2001599834386887.0) (* 2 (* 2 (/ (/ 1.1102230246251565e-16 2) 2)))) (pow (/ (pow (pow (cbrt -1) 6004799503160661.0) 1.0) (pow (/ -1 x) 2001599834386887.0)) (* 2 (* 2 (/ (/ 1.1102230246251565e-16 2) 2)))) (pow x 0.2222222222222222) (pow (pow x 2001599834386887.0) (* 2 (* 2 (/ (/ 1.1102230246251565e-16 2) 2)))) (pow (/ (pow (pow (cbrt -1) 6004799503160661.0) 1.0) (pow (/ -1 x) 2001599834386887.0)) (* 2 (* 2 (/ (/ 1.1102230246251565e-16 2) 2)))) (pow x 1/3) (pow x 1/3) (* (* (cbrt -1) 1) (pow (* (/ 1 (/ -1 x)) 1) 1/3)) 3.721 * * * [progress]: adding candidates to table 3.946 * [progress]: [Phase 3 of 3] Extracting. 3.946 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # #) 3.949 * * * [regime-changes]: Trying 4 branch expressions: ((pow x 2.0) (+ (pow x 2.0) (pow x 2.0)) (sqrt (+ (pow x 2.0) (pow x 2.0))) x) 3.949 * * * * [regimes]: Trying to branch on (pow x 2.0) from (# # # # # # # # # # # # # #) 4.024 * * * * [regimes]: Trying to branch on (+ (pow x 2.0) (pow x 2.0)) from (# # # # # # # # # # # # # #) 4.102 * * * * [regimes]: Trying to branch on (sqrt (+ (pow x 2.0) (pow x 2.0))) from (# # # # # # # # # # # # # #) 4.181 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # #) 4.255 * * * [regime]: Found split indices: #