6.720 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying: (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) 0.032 * * [simplify]: Extracting # 0 : cost 0 0.032 * * [simplify]: Extracting # 1 : cost 0 0.032 * * [simplify]: Extracting # 2 : cost 0 0.032 * * [simplify]: Extracting # 3 : cost 0 0.032 * * [simplify]: Extracting # 4 : cost 0 0.032 * * [simplify]: Extracting # 5 : cost 0 0.032 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 0.036 * * [simplify]: Extracting # 0 : cost 0 0.036 * * [simplify]: Extracting # 1 : cost 0 0.036 * * [simplify]: Extracting # 2 : cost 0 0.036 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.041 * * [simplify]: Extracting # 0 : cost 0 0.041 * * [simplify]: Extracting # 1 : cost 0 0.041 * * [simplify]: Extracting # 2 : cost 0 0.041 * * [simplify]: iteration 2 : 17 enodes (cost 9 ) 0.047 * * [simplify]: Extracting # 0 : cost 0 0.048 * * [simplify]: Extracting # 1 : cost 0 0.048 * * [simplify]: Extracting # 2 : cost 0 0.048 * * [simplify]: iteration 3 : 19 enodes (cost 9 ) 0.053 * * [simplify]: Extracting # 0 : cost 0 0.053 * * [simplify]: Extracting # 1 : cost 0 0.053 * * [simplify]: Extracting # 2 : cost 0 0.053 * * [simplify]: iteration 4 : 21 enodes (cost 9 ) 0.056 * * [simplify]: Extracting # 0 : cost 0 0.057 * * [simplify]: iteration 5 : 22 enodes (cost 9 ) 0.061 * * [simplify]: Extracting # 0 : cost 0 0.061 * * [simplify]: iteration done: 22 enodes (cost 9 ) 0.061 * [simplify]: Simplified to: (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) 0.061 * * [progress]: iteration 1 / 4 0.061 * * * [progress]: picking best candidate 0.062 * * * * [pick]: Picked # 0.062 * * * [progress]: localizing error 0.075 * * * [progress]: generating rewritten candidates 0.076 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.092 * * * [progress]: generating series expansions 0.092 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.094 * [backup-simplify]: Simplify (* (/ 841.0 108.0) x) into (* 7.787037037037037 x) 0.094 * [approximate]: Taking taylor expansion of (* 7.787037037037037 x) in (x) around 0 0.094 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.094 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.094 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [backup-simplify]: Simplify 0 into 0 0.094 * [backup-simplify]: Simplify 1 into 1 0.094 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.094 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.094 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [backup-simplify]: Simplify 0 into 0 0.094 * [backup-simplify]: Simplify 1 into 1 0.094 * [backup-simplify]: Simplify (* 7.787037037037037 0) into 0 0.094 * [backup-simplify]: Simplify 0 into 0 0.096 * [backup-simplify]: Simplify (+ (* 7.787037037037037 1) (* 0 0)) into 7.787037037037037 0.096 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037 0.097 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 1) (* 0 0))) into 0 0.097 * [backup-simplify]: Simplify 0 into 0 0.098 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.098 * [backup-simplify]: Simplify 0 into 0 0.099 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.099 * [backup-simplify]: Simplify 0 into 0 0.101 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.101 * [backup-simplify]: Simplify 0 into 0 0.102 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.102 * [backup-simplify]: Simplify 0 into 0 0.103 * [backup-simplify]: Simplify (+ (* 7.787037037037037 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.103 * [backup-simplify]: Simplify 0 into 0 0.104 * [backup-simplify]: Simplify (* 7.787037037037037 x) into (* 7.787037037037037 x) 0.104 * [backup-simplify]: Simplify (* (/ 841.0 108.0) (/ 1 x)) into (/ 7.787037037037037 x) 0.104 * [approximate]: Taking taylor expansion of (/ 7.787037037037037 x) in (x) around 0 0.104 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x 0.104 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.104 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037 0.104 * [taylor]: Taking taylor expansion of x in x 0.104 * [backup-simplify]: Simplify 0 into 0 0.104 * [backup-simplify]: Simplify 1 into 1 0.104 * [backup-simplify]: Simplify (/ 7.787037037037037 1) into 7.787037037037037 0.104 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x 0.104 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.104 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037 0.104 * [taylor]: Taking taylor expansion of x in x 0.104 * [backup-simplify]: Simplify 0 into 0 0.104 * [backup-simplify]: Simplify 1 into 1 0.105 * [backup-simplify]: Simplify (/ 7.787037037037037 1) into 7.787037037037037 0.105 * [backup-simplify]: Simplify 7.787037037037037 into 7.787037037037037 0.105 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)))) into 0 0.105 * [backup-simplify]: Simplify 0 into 0 0.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.106 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.107 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.107 * [backup-simplify]: Simplify 0 into 0 0.108 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.108 * [backup-simplify]: Simplify 0 into 0 0.108 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify (* 7.787037037037037 (/ 1 (/ 1 x))) into (* 7.787037037037037 x) 0.109 * [backup-simplify]: Simplify (* (/ 841.0 108.0) (/ 1 (- x))) into (/ -7.787037037037037 x) 0.109 * [approximate]: Taking taylor expansion of (/ -7.787037037037037 x) in (x) around 0 0.109 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x 0.109 * [taylor]: Taking taylor expansion of -7.787037037037037 in x 0.109 * [backup-simplify]: Simplify -7.787037037037037 into -7.787037037037037 0.109 * [taylor]: Taking taylor expansion of x in x 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify 1 into 1 0.109 * [backup-simplify]: Simplify (/ -7.787037037037037 1) into -7.787037037037037 0.109 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x 0.109 * [taylor]: Taking taylor expansion of -7.787037037037037 in x 0.109 * [backup-simplify]: Simplify -7.787037037037037 into -7.787037037037037 0.109 * [taylor]: Taking taylor expansion of x in x 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify 1 into 1 0.110 * [backup-simplify]: Simplify (/ -7.787037037037037 1) into -7.787037037037037 0.110 * [backup-simplify]: Simplify -7.787037037037037 into -7.787037037037037 0.110 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -7.787037037037037 (/ 0 1)))) into 0 0.110 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.111 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.112 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.112 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -7.787037037037037 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.113 * [backup-simplify]: Simplify 0 into 0 0.114 * [backup-simplify]: Simplify (* -7.787037037037037 (/ 1 (/ 1 (- x)))) into (* 7.787037037037037 x) 0.114 * * * [progress]: simplifying candidates 0.114 * [simplify]: Simplifying: (* (/ 841.0 108.0) x) (+ (- (log 841.0) (log 108.0)) (log x)) (+ (log (/ 841.0 108.0)) (log x)) (log (* (/ 841.0 108.0) x)) (exp (* (/ 841.0 108.0) x)) (* (/ (* (* 841.0 841.0) 841.0) (* (* 108.0 108.0) 108.0)) (* (* x x) x)) (* (* (* (/ 841.0 108.0) (/ 841.0 108.0)) (/ 841.0 108.0)) (* (* x x) x)) (* (cbrt (* (/ 841.0 108.0) x)) (cbrt (* (/ 841.0 108.0) x))) (cbrt (* (/ 841.0 108.0) x)) (* (* (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x)) (* (/ 841.0 108.0) x)) (sqrt (* (/ 841.0 108.0) x)) (sqrt (* (/ 841.0 108.0) x)) (* (sqrt (/ 841.0 108.0)) (sqrt x)) (* (sqrt (/ 841.0 108.0)) (sqrt x)) (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x)) (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x)) (* (/ 841.0 108.0) (* (cbrt x) (cbrt x))) (* (/ 841.0 108.0) (sqrt x)) (* (/ 841.0 108.0) 1) (* (cbrt (/ 841.0 108.0)) x) (* (sqrt (/ 841.0 108.0)) x) (* (/ (cbrt 841.0) (cbrt 108.0)) x) (* (/ (cbrt 841.0) (sqrt 108.0)) x) (* (/ (cbrt 841.0) 108.0) x) (* (/ (sqrt 841.0) (cbrt 108.0)) x) (* (/ (sqrt 841.0) (sqrt 108.0)) x) (* (/ (sqrt 841.0) 108.0) x) (* (/ 841.0 (cbrt 108.0)) x) (* (/ 841.0 (sqrt 108.0)) x) (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x) (* (/ 1 108.0) x) (* 841.0 x) (* 7.787037037037037 x) (* 7.787037037037037 x) (* 7.787037037037037 x) 0.115 * * [simplify]: Extracting # 0 : cost 0 0.115 * * [simplify]: Extracting # 1 : cost 0 0.115 * * [simplify]: Extracting # 2 : cost 0 0.115 * * [simplify]: Extracting # 3 : cost 0 0.115 * * [simplify]: Extracting # 4 : cost 0 0.115 * * [simplify]: Extracting # 5 : cost 0 0.115 * * [simplify]: Extracting # 6 : cost 0 0.115 * * [simplify]: iteration 0 : 68 enodes (cost 255 ) 0.144 * * [simplify]: Extracting # 0 : cost 0 0.144 * * [simplify]: Extracting # 1 : cost 0 0.145 * * [simplify]: Extracting # 2 : cost 0 0.145 * * [simplify]: iteration 1 : 153 enodes (cost 250 ) 0.216 * * [simplify]: Extracting # 0 : cost 0 0.220 * * [simplify]: Extracting # 1 : cost 0 0.221 * * [simplify]: Extracting # 2 : cost 0 0.222 * * [simplify]: Extracting # 3 : cost 0 0.222 * * [simplify]: Extracting # 4 : cost 0 0.223 * * [simplify]: Extracting # 5 : cost 0 0.224 * * [simplify]: iteration 2 : 417 enodes (cost 218 ) 0.523 * * [simplify]: Extracting # 0 : cost 0 0.531 * * [simplify]: Extracting # 1 : cost 0 0.533 * * [simplify]: Extracting # 2 : cost 0 0.535 * * [simplify]: Extracting # 3 : cost 0 0.537 * * [simplify]: Extracting # 4 : cost 0 0.538 * * [simplify]: iteration 3 : 1100 enodes (cost 218 ) 2.915 * * [simplify]: Extracting # 0 : cost 0 2.919 * * [simplify]: Extracting # 1 : cost 0 2.922 * * [simplify]: Extracting # 2 : cost 0 2.925 * * [simplify]: Extracting # 3 : cost 0 2.928 * * [simplify]: Extracting # 4 : cost 0 2.930 * * [simplify]: iteration 4 : 3103 enodes (cost 218 ) 5.587 * * [simplify]: Extracting # 0 : cost 0 5.598 * * [simplify]: Extracting # 1 : cost 0 5.608 * * [simplify]: Extracting # 2 : cost 0 5.617 * * [simplify]: iteration done: 5000 enodes (cost 218 ) 5.617 * [simplify]: Simplified to: (* (/ 841.0 108.0) x) (log (* (/ 841.0 108.0) x)) (log (* (/ 841.0 108.0) x)) (log (* (/ 841.0 108.0) x)) (exp (* (/ 841.0 108.0) x)) (pow (* (/ 841.0 108.0) x) 3) (pow (* (/ 841.0 108.0) x) 3) (* (cbrt (* (/ 841.0 108.0) x)) (cbrt (* (/ 841.0 108.0) x))) (cbrt (* (/ 841.0 108.0) x)) (pow (* (/ 841.0 108.0) x) 3) (sqrt (* (/ 841.0 108.0) x)) (sqrt (* (/ 841.0 108.0) x)) (* (sqrt (/ 841.0 108.0)) (sqrt x)) (* (sqrt (/ 841.0 108.0)) (sqrt x)) (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x)) (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x)) (* (/ 841.0 108.0) (* (cbrt x) (cbrt x))) (* (/ 841.0 108.0) (sqrt x)) (/ 841.0 108.0) (* (cbrt (/ 841.0 108.0)) x) (* (sqrt (/ 841.0 108.0)) x) (* (/ (cbrt 841.0) (cbrt 108.0)) x) (* (/ (cbrt 841.0) (sqrt 108.0)) x) (* (/ (cbrt 841.0) 108.0) x) (* (/ (sqrt 841.0) (cbrt 108.0)) x) (* (/ (sqrt 841.0) (sqrt 108.0)) x) (* (/ (sqrt 841.0) 108.0) x) (* (/ 841.0 (cbrt 108.0)) x) (* (/ 841.0 (sqrt 108.0)) x) (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x) (/ x 108.0) (* x 841.0) (* 7.787037037037037 x) (* 7.787037037037037 x) (* 7.787037037037037 x) 5.617 * * * [progress]: adding candidates to table 5.722 * * [progress]: iteration 2 / 4 5.722 * * * [progress]: picking best candidate 5.731 * * * * [pick]: Picked # 5.731 * * * [progress]: localizing error 5.744 * * * [progress]: generating rewritten candidates 5.744 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 5.772 * * * [progress]: generating series expansions 5.772 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 5.772 * [backup-simplify]: Simplify (* 841.0 (/ x 108.0)) into (* 7.787037037037036 x) 5.772 * [approximate]: Taking taylor expansion of (* 7.787037037037036 x) in (x) around 0 5.772 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x 5.772 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 5.772 * [backup-simplify]: Simplify 7.787037037037036 into 7.787037037037036 5.772 * [taylor]: Taking taylor expansion of x in x 5.772 * [backup-simplify]: Simplify 0 into 0 5.772 * [backup-simplify]: Simplify 1 into 1 5.772 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x 5.772 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 5.772 * [backup-simplify]: Simplify 7.787037037037036 into 7.787037037037036 5.772 * [taylor]: Taking taylor expansion of x in x 5.772 * [backup-simplify]: Simplify 0 into 0 5.772 * [backup-simplify]: Simplify 1 into 1 5.772 * [backup-simplify]: Simplify (* 7.787037037037036 0) into 0 5.772 * [backup-simplify]: Simplify 0 into 0 5.773 * [backup-simplify]: Simplify (+ (* 7.787037037037036 1) (* 0 0)) into 7.787037037037036 5.774 * [backup-simplify]: Simplify 7.787037037037036 into 7.787037037037036 5.774 * [backup-simplify]: Simplify (+ (* 7.787037037037036 0) (+ (* 0 1) (* 0 0))) into 0 5.774 * [backup-simplify]: Simplify 0 into 0 5.775 * [backup-simplify]: Simplify (+ (* 7.787037037037036 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.775 * [backup-simplify]: Simplify 0 into 0 5.776 * [backup-simplify]: Simplify (+ (* 7.787037037037036 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.776 * [backup-simplify]: Simplify 0 into 0 5.776 * [backup-simplify]: Simplify (+ (* 7.787037037037036 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 5.776 * [backup-simplify]: Simplify 0 into 0 5.777 * [backup-simplify]: Simplify (+ (* 7.787037037037036 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 5.777 * [backup-simplify]: Simplify 0 into 0 5.778 * [backup-simplify]: Simplify (+ (* 7.787037037037036 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 5.778 * [backup-simplify]: Simplify 0 into 0 5.778 * [backup-simplify]: Simplify (* 7.787037037037036 x) into (* 7.787037037037036 x) 5.779 * [backup-simplify]: Simplify (* 841.0 (/ (/ 1 x) 108.0)) into (/ 7.787037037037036 x) 5.779 * [approximate]: Taking taylor expansion of (/ 7.787037037037036 x) in (x) around 0 5.779 * [taylor]: Taking taylor expansion of (/ 7.787037037037036 x) in x 5.779 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 5.779 * [backup-simplify]: Simplify 7.787037037037036 into 7.787037037037036 5.779 * [taylor]: Taking taylor expansion of x in x 5.779 * [backup-simplify]: Simplify 0 into 0 5.779 * [backup-simplify]: Simplify 1 into 1 5.779 * [backup-simplify]: Simplify (/ 7.787037037037036 1) into 7.787037037037036 5.779 * [taylor]: Taking taylor expansion of (/ 7.787037037037036 x) in x 5.779 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 5.779 * [backup-simplify]: Simplify 7.787037037037036 into 7.787037037037036 5.779 * [taylor]: Taking taylor expansion of x in x 5.779 * [backup-simplify]: Simplify 0 into 0 5.779 * [backup-simplify]: Simplify 1 into 1 5.779 * [backup-simplify]: Simplify (/ 7.787037037037036 1) into 7.787037037037036 5.780 * [backup-simplify]: Simplify 7.787037037037036 into 7.787037037037036 5.780 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037036 (/ 0 1)))) into 0 5.780 * [backup-simplify]: Simplify 0 into 0 5.781 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037036 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.781 * [backup-simplify]: Simplify 0 into 0 5.781 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037036 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.781 * [backup-simplify]: Simplify 0 into 0 5.782 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037036 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.782 * [backup-simplify]: Simplify 0 into 0 5.783 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037036 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.783 * [backup-simplify]: Simplify 0 into 0 5.783 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 7.787037037037036 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.783 * [backup-simplify]: Simplify 0 into 0 5.784 * [backup-simplify]: Simplify (* 7.787037037037036 (/ 1 (/ 1 x))) into (* 7.787037037037036 x) 5.784 * [backup-simplify]: Simplify (* 841.0 (/ (/ 1 (- x)) 108.0)) into (/ -7.787037037037036 x) 5.784 * [approximate]: Taking taylor expansion of (/ -7.787037037037036 x) in (x) around 0 5.784 * [taylor]: Taking taylor expansion of (/ -7.787037037037036 x) in x 5.784 * [taylor]: Taking taylor expansion of -7.787037037037036 in x 5.784 * [backup-simplify]: Simplify -7.787037037037036 into -7.787037037037036 5.784 * [taylor]: Taking taylor expansion of x in x 5.784 * [backup-simplify]: Simplify 0 into 0 5.784 * [backup-simplify]: Simplify 1 into 1 5.784 * [backup-simplify]: Simplify (/ -7.787037037037036 1) into -7.787037037037036 5.784 * [taylor]: Taking taylor expansion of (/ -7.787037037037036 x) in x 5.784 * [taylor]: Taking taylor expansion of -7.787037037037036 in x 5.784 * [backup-simplify]: Simplify -7.787037037037036 into -7.787037037037036 5.784 * [taylor]: Taking taylor expansion of x in x 5.784 * [backup-simplify]: Simplify 0 into 0 5.784 * [backup-simplify]: Simplify 1 into 1 5.784 * [backup-simplify]: Simplify (/ -7.787037037037036 1) into -7.787037037037036 5.785 * [backup-simplify]: Simplify -7.787037037037036 into -7.787037037037036 5.785 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -7.787037037037036 (/ 0 1)))) into 0 5.785 * [backup-simplify]: Simplify 0 into 0 5.786 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -7.787037037037036 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.786 * [backup-simplify]: Simplify 0 into 0 5.786 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -7.787037037037036 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.786 * [backup-simplify]: Simplify 0 into 0 5.787 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -7.787037037037036 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.787 * [backup-simplify]: Simplify 0 into 0 5.788 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -7.787037037037036 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.788 * [backup-simplify]: Simplify 0 into 0 5.788 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -7.787037037037036 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.788 * [backup-simplify]: Simplify 0 into 0 5.788 * [backup-simplify]: Simplify (* -7.787037037037036 (/ 1 (/ 1 (- x)))) into (* 7.787037037037036 x) 5.788 * * * [progress]: simplifying candidates 5.789 * [simplify]: Simplifying: (* 841.0 (/ x 108.0)) (+ (log 841.0) (- (log x) (log 108.0))) (+ (log 841.0) (log (/ x 108.0))) (log (* 841.0 (/ x 108.0))) (exp (* 841.0 (/ x 108.0))) (* (* (* 841.0 841.0) 841.0) (/ (* (* x x) x) (* (* 108.0 108.0) 108.0))) (* (* (* 841.0 841.0) 841.0) (* (* (/ x 108.0) (/ x 108.0)) (/ x 108.0))) (* (cbrt (* 841.0 (/ x 108.0))) (cbrt (* 841.0 (/ x 108.0)))) (cbrt (* 841.0 (/ x 108.0))) (* (* (* 841.0 (/ x 108.0)) (* 841.0 (/ x 108.0))) (* 841.0 (/ x 108.0))) (sqrt (* 841.0 (/ x 108.0))) (sqrt (* 841.0 (/ x 108.0))) (* (sqrt 841.0) (sqrt (/ x 108.0))) (* (sqrt 841.0) (sqrt (/ x 108.0))) (* (sqrt 841.0) (/ (sqrt x) (sqrt 108.0))) (* (sqrt 841.0) (/ (sqrt x) (sqrt 108.0))) (* 841.0 (* (cbrt (/ x 108.0)) (cbrt (/ x 108.0)))) (* 841.0 (sqrt (/ x 108.0))) (* 841.0 (/ (* (cbrt x) (cbrt x)) (* (cbrt 108.0) (cbrt 108.0)))) (* 841.0 (/ (* (cbrt x) (cbrt x)) (sqrt 108.0))) (* 841.0 (/ (* (cbrt x) (cbrt x)) 1)) (* 841.0 (/ (sqrt x) (* (cbrt 108.0) (cbrt 108.0)))) (* 841.0 (/ (sqrt x) (sqrt 108.0))) (* 841.0 (/ (sqrt x) 1)) (* 841.0 (/ 1 (* (cbrt 108.0) (cbrt 108.0)))) (* 841.0 (/ 1 (sqrt 108.0))) (* 841.0 (/ 1 1)) (* 841.0 1) (* 841.0 x) (* (cbrt 841.0) (/ x 108.0)) (* (sqrt 841.0) (/ x 108.0)) (* 841.0 (/ x 108.0)) (* 841.0 x) (* 7.787037037037036 x) (* 7.787037037037036 x) (* 7.787037037037036 x) 5.790 * * [simplify]: Extracting # 0 : cost 0 5.790 * * [simplify]: Extracting # 1 : cost 0 5.790 * * [simplify]: Extracting # 2 : cost 0 5.790 * * [simplify]: Extracting # 3 : cost 0 5.790 * * [simplify]: Extracting # 4 : cost 0 5.790 * * [simplify]: Extracting # 5 : cost 0 5.790 * * [simplify]: Extracting # 6 : cost 0 5.790 * * [simplify]: Extracting # 7 : cost 0 5.790 * * [simplify]: iteration 0 : 70 enodes (cost 271 ) 5.820 * * [simplify]: Extracting # 0 : cost 0 5.820 * * [simplify]: Extracting # 1 : cost 0 5.820 * * [simplify]: Extracting # 2 : cost 0 5.820 * * [simplify]: iteration 1 : 163 enodes (cost 254 ) 5.871 * * [simplify]: Extracting # 0 : cost 0 5.871 * * [simplify]: Extracting # 1 : cost 0 5.872 * * [simplify]: Extracting # 2 : cost 0 5.872 * * [simplify]: Extracting # 3 : cost 0 5.873 * * [simplify]: Extracting # 4 : cost 0 5.873 * * [simplify]: Extracting # 5 : cost 0 5.874 * * [simplify]: Extracting # 6 : cost 0 5.874 * * [simplify]: iteration 2 : 438 enodes (cost 224 ) 6.156 * * [simplify]: Extracting # 0 : cost 0 6.159 * * [simplify]: Extracting # 1 : cost 0 6.160 * * [simplify]: Extracting # 2 : cost 0 6.161 * * [simplify]: Extracting # 3 : cost 0 6.162 * * [simplify]: Extracting # 4 : cost 0 6.163 * * [simplify]: iteration 3 : 1140 enodes (cost 224 ) 7.820 * * [simplify]: Extracting # 0 : cost 0 7.830 * * [simplify]: Extracting # 1 : cost 0 7.833 * * [simplify]: Extracting # 2 : cost 0 7.837 * * [simplify]: Extracting # 3 : cost 0 7.843 * * [simplify]: Extracting # 4 : cost 0 7.848 * * [simplify]: iteration 4 : 2924 enodes (cost 224 ) 10.217 * * [simplify]: Extracting # 0 : cost 0 10.223 * * [simplify]: Extracting # 1 : cost 0 10.228 * * [simplify]: Extracting # 2 : cost 0 10.232 * * [simplify]: Extracting # 3 : cost 0 10.237 * * [simplify]: Extracting # 4 : cost 0 10.241 * * [simplify]: iteration done: 5001 enodes (cost 224 ) 10.241 * [simplify]: Simplified to: (* 841.0 (/ x 108.0)) (log (* 841.0 (/ x 108.0))) (log (* 841.0 (/ x 108.0))) (log (* 841.0 (/ x 108.0))) (exp (* 841.0 (/ x 108.0))) (pow (* 841.0 (/ x 108.0)) 3) (pow (* 841.0 (/ x 108.0)) 3) (* (cbrt (* 841.0 (/ x 108.0))) (cbrt (* 841.0 (/ x 108.0)))) (cbrt (* 841.0 (/ x 108.0))) (pow (* 841.0 (/ x 108.0)) 3) (sqrt (* 841.0 (/ x 108.0))) (sqrt (* 841.0 (/ x 108.0))) (* (sqrt 841.0) (sqrt (/ x 108.0))) (* (sqrt 841.0) (sqrt (/ x 108.0))) (* (sqrt 841.0) (/ (sqrt x) (sqrt 108.0))) (* (sqrt 841.0) (/ (sqrt x) (sqrt 108.0))) (* 841.0 (* (cbrt (/ x 108.0)) (cbrt (/ x 108.0)))) (* 841.0 (sqrt (/ x 108.0))) (* 841.0 (/ (* (cbrt x) (cbrt x)) (* (cbrt 108.0) (cbrt 108.0)))) (* 841.0 (/ (* (cbrt x) (cbrt x)) (sqrt 108.0))) (* 841.0 (* (cbrt x) (cbrt x))) (* 841.0 (/ (sqrt x) (* (cbrt 108.0) (cbrt 108.0)))) (* 841.0 (/ (sqrt x) (sqrt 108.0))) (* 841.0 (sqrt x)) (/ 841.0 (* (cbrt 108.0) (cbrt 108.0))) (/ 841.0 (sqrt 108.0)) 841.0 841.0 (* 841.0 x) (* (cbrt 841.0) (/ x 108.0)) (* (sqrt 841.0) (/ x 108.0)) (* 841.0 (/ x 108.0)) (* 841.0 x) (* 7.787037037037036 x) (* 7.787037037037036 x) (* 7.787037037037036 x) 10.242 * * * [progress]: adding candidates to table 10.547 * * [progress]: iteration 3 / 4 10.548 * * * [progress]: picking best candidate 10.550 * * * * [pick]: Picked # 10.551 * * * [progress]: localizing error 10.559 * * * [progress]: generating rewritten candidates 10.559 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 10.609 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 10.631 * * * [progress]: generating series expansions 10.631 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 10.632 * [backup-simplify]: Simplify (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) into (* 841.0 (/ x (pow (sqrt 108.0) 2))) 10.632 * [approximate]: Taking taylor expansion of (* 841.0 (/ x (pow (sqrt 108.0) 2))) in (x) around 0 10.632 * [taylor]: Taking taylor expansion of (* 841.0 (/ x (pow (sqrt 108.0) 2))) in x 10.632 * [taylor]: Taking taylor expansion of 841.0 in x 10.633 * [backup-simplify]: Simplify 841.0 into 841.0 10.633 * [taylor]: Taking taylor expansion of (/ x (pow (sqrt 108.0) 2)) in x 10.633 * [taylor]: Taking taylor expansion of x in x 10.633 * [backup-simplify]: Simplify 0 into 0 10.633 * [backup-simplify]: Simplify 1 into 1 10.633 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x 10.633 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x 10.633 * [taylor]: Taking taylor expansion of 108.0 in x 10.633 * [backup-simplify]: Simplify 108.0 into 108.0 10.633 * [backup-simplify]: Simplify (sqrt 108.0) into (sqrt 108.0) 10.633 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 108.0))) into 0 10.634 * [backup-simplify]: Simplify (* (sqrt 108.0) (sqrt 108.0)) into (pow (sqrt 108.0) 2) 10.635 * [backup-simplify]: Simplify (/ 1 (pow (sqrt 108.0) 2)) into (/ 1 (pow (sqrt 108.0) 2)) 10.635 * [taylor]: Taking taylor expansion of (* 841.0 (/ x (pow (sqrt 108.0) 2))) in x 10.635 * [taylor]: Taking taylor expansion of 841.0 in x 10.636 * [backup-simplify]: Simplify 841.0 into 841.0 10.636 * [taylor]: Taking taylor expansion of (/ x (pow (sqrt 108.0) 2)) in x 10.636 * [taylor]: Taking taylor expansion of x in x 10.636 * [backup-simplify]: Simplify 0 into 0 10.636 * [backup-simplify]: Simplify 1 into 1 10.636 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x 10.636 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x 10.636 * [taylor]: Taking taylor expansion of 108.0 in x 10.636 * [backup-simplify]: Simplify 108.0 into 108.0 10.636 * [backup-simplify]: Simplify (sqrt 108.0) into (sqrt 108.0) 10.636 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 108.0))) into 0 10.637 * [backup-simplify]: Simplify (* (sqrt 108.0) (sqrt 108.0)) into (pow (sqrt 108.0) 2) 10.638 * [backup-simplify]: Simplify (/ 1 (pow (sqrt 108.0) 2)) into (/ 1 (pow (sqrt 108.0) 2)) 10.640 * [backup-simplify]: Simplify (* 841.0 (/ 1 (pow (sqrt 108.0) 2))) into (/ 841.0 (pow (sqrt 108.0) 2)) 10.641 * [backup-simplify]: Simplify (/ 841.0 (pow (sqrt 108.0) 2)) into (/ 841.0 (pow (sqrt 108.0) 2)) 10.641 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (* 0 (sqrt 108.0))) into 0 10.642 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ 1 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.643 * [backup-simplify]: Simplify (+ (* 841.0 0) (* 0 (/ 1 (pow (sqrt 108.0) 2)))) into 0 10.643 * [backup-simplify]: Simplify 0 into 0 10.643 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 108.0))) into 0 10.644 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (* 0 (sqrt 108.0)))) into 0 10.645 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ 1 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.646 * [backup-simplify]: Simplify (+ (* 841.0 0) (+ (* 0 0) (* 0 (/ 1 (pow (sqrt 108.0) 2))))) into 0 10.646 * [backup-simplify]: Simplify 0 into 0 10.647 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.647 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 108.0))))) into 0 10.648 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ 1 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.649 * [backup-simplify]: Simplify (+ (* 841.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (sqrt 108.0) 2)))))) into 0 10.649 * [backup-simplify]: Simplify 0 into 0 10.650 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.651 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 108.0)))))) into 0 10.652 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ 1 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.653 * [backup-simplify]: Simplify (+ (* 841.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (sqrt 108.0) 2))))))) into 0 10.653 * [backup-simplify]: Simplify 0 into 0 10.654 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.654 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 108.0))))))) into 0 10.655 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ 1 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.657 * [backup-simplify]: Simplify (+ (* 841.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (sqrt 108.0) 2)))))))) into 0 10.657 * [backup-simplify]: Simplify 0 into 0 10.658 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.658 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 108.0)))))))) into 0 10.659 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ 1 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.661 * [backup-simplify]: Simplify (+ (* 841.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (sqrt 108.0) 2))))))))) into 0 10.661 * [backup-simplify]: Simplify 0 into 0 10.662 * [backup-simplify]: Simplify (* (/ 841.0 (pow (sqrt 108.0) 2)) x) into (* 841.0 (/ x (pow (sqrt 108.0) 2))) 10.663 * [backup-simplify]: Simplify (* (/ 841.0 (sqrt 108.0)) (/ (/ 1 x) (sqrt 108.0))) into (/ 841.0 (* (pow (sqrt 108.0) 2) x)) 10.663 * [approximate]: Taking taylor expansion of (/ 841.0 (* (pow (sqrt 108.0) 2) x)) in (x) around 0 10.663 * [taylor]: Taking taylor expansion of (/ 841.0 (* (pow (sqrt 108.0) 2) x)) in x 10.663 * [taylor]: Taking taylor expansion of 841.0 in x 10.663 * [backup-simplify]: Simplify 841.0 into 841.0 10.663 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x 10.663 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x 10.663 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x 10.663 * [taylor]: Taking taylor expansion of 108.0 in x 10.663 * [backup-simplify]: Simplify 108.0 into 108.0 10.663 * [backup-simplify]: Simplify (sqrt 108.0) into (sqrt 108.0) 10.664 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 108.0))) into 0 10.664 * [taylor]: Taking taylor expansion of x in x 10.664 * [backup-simplify]: Simplify 0 into 0 10.664 * [backup-simplify]: Simplify 1 into 1 10.664 * [backup-simplify]: Simplify (* (sqrt 108.0) (sqrt 108.0)) into (pow (sqrt 108.0) 2) 10.665 * [backup-simplify]: Simplify (* (pow (sqrt 108.0) 2) 0) into 0 10.665 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (* 0 (sqrt 108.0))) into 0 10.667 * [backup-simplify]: Simplify (+ (* (pow (sqrt 108.0) 2) 1) (* 0 0)) into (pow (sqrt 108.0) 2) 10.668 * [backup-simplify]: Simplify (/ 841.0 (pow (sqrt 108.0) 2)) into (/ 841.0 (pow (sqrt 108.0) 2)) 10.668 * [taylor]: Taking taylor expansion of (/ 841.0 (* (pow (sqrt 108.0) 2) x)) in x 10.668 * [taylor]: Taking taylor expansion of 841.0 in x 10.668 * [backup-simplify]: Simplify 841.0 into 841.0 10.668 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x 10.668 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x 10.668 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x 10.668 * [taylor]: Taking taylor expansion of 108.0 in x 10.669 * [backup-simplify]: Simplify 108.0 into 108.0 10.669 * [backup-simplify]: Simplify (sqrt 108.0) into (sqrt 108.0) 10.669 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 108.0))) into 0 10.669 * [taylor]: Taking taylor expansion of x in x 10.669 * [backup-simplify]: Simplify 0 into 0 10.669 * [backup-simplify]: Simplify 1 into 1 10.670 * [backup-simplify]: Simplify (* (sqrt 108.0) (sqrt 108.0)) into (pow (sqrt 108.0) 2) 10.670 * [backup-simplify]: Simplify (* (pow (sqrt 108.0) 2) 0) into 0 10.671 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (* 0 (sqrt 108.0))) into 0 10.673 * [backup-simplify]: Simplify (+ (* (pow (sqrt 108.0) 2) 1) (* 0 0)) into (pow (sqrt 108.0) 2) 10.674 * [backup-simplify]: Simplify (/ 841.0 (pow (sqrt 108.0) 2)) into (/ 841.0 (pow (sqrt 108.0) 2)) 10.675 * [backup-simplify]: Simplify (/ 841.0 (pow (sqrt 108.0) 2)) into (/ 841.0 (pow (sqrt 108.0) 2)) 10.676 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 108.0))) into 0 10.676 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (* 0 (sqrt 108.0)))) into 0 10.677 * [backup-simplify]: Simplify (+ (* (pow (sqrt 108.0) 2) 0) (+ (* 0 1) (* 0 0))) into 0 10.678 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ 841.0 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.678 * [backup-simplify]: Simplify 0 into 0 10.679 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.680 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 108.0))))) into 0 10.681 * [backup-simplify]: Simplify (+ (* (pow (sqrt 108.0) 2) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.683 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ 841.0 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.683 * [backup-simplify]: Simplify 0 into 0 10.684 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.685 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 108.0)))))) into 0 10.686 * [backup-simplify]: Simplify (+ (* (pow (sqrt 108.0) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 10.688 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ 841.0 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.688 * [backup-simplify]: Simplify 0 into 0 10.689 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.690 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 108.0))))))) into 0 10.692 * [backup-simplify]: Simplify (+ (* (pow (sqrt 108.0) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 10.693 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ 841.0 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.693 * [backup-simplify]: Simplify 0 into 0 10.694 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.696 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 108.0)))))))) into 0 10.697 * [backup-simplify]: Simplify (+ (* (pow (sqrt 108.0) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 10.699 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ 841.0 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.699 * [backup-simplify]: Simplify 0 into 0 10.700 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.701 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 108.0))))))))) into 0 10.703 * [backup-simplify]: Simplify (+ (* (pow (sqrt 108.0) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 10.704 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ 841.0 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.705 * [backup-simplify]: Simplify 0 into 0 10.706 * [backup-simplify]: Simplify (* (/ 841.0 (pow (sqrt 108.0) 2)) (/ 1 (/ 1 x))) into (* 841.0 (/ x (pow (sqrt 108.0) 2))) 10.707 * [backup-simplify]: Simplify (* (/ 841.0 (sqrt 108.0)) (/ (/ 1 (- x)) (sqrt 108.0))) into (/ -841.0 (* (pow (sqrt 108.0) 2) x)) 10.708 * [approximate]: Taking taylor expansion of (/ -841.0 (* (pow (sqrt 108.0) 2) x)) in (x) around 0 10.708 * [taylor]: Taking taylor expansion of (/ -841.0 (* (pow (sqrt 108.0) 2) x)) in x 10.708 * [taylor]: Taking taylor expansion of -841.0 in x 10.708 * [backup-simplify]: Simplify -841.0 into -841.0 10.708 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x 10.708 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x 10.708 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x 10.708 * [taylor]: Taking taylor expansion of 108.0 in x 10.708 * [backup-simplify]: Simplify 108.0 into 108.0 10.708 * [backup-simplify]: Simplify (sqrt 108.0) into (sqrt 108.0) 10.709 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 108.0))) into 0 10.709 * [taylor]: Taking taylor expansion of x in x 10.709 * [backup-simplify]: Simplify 0 into 0 10.709 * [backup-simplify]: Simplify 1 into 1 10.710 * [backup-simplify]: Simplify (* (sqrt 108.0) (sqrt 108.0)) into (pow (sqrt 108.0) 2) 10.710 * [backup-simplify]: Simplify (* (pow (sqrt 108.0) 2) 0) into 0 10.711 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (* 0 (sqrt 108.0))) into 0 10.713 * [backup-simplify]: Simplify (+ (* (pow (sqrt 108.0) 2) 1) (* 0 0)) into (pow (sqrt 108.0) 2) 10.715 * [backup-simplify]: Simplify (/ -841.0 (pow (sqrt 108.0) 2)) into (/ -841.0 (pow (sqrt 108.0) 2)) 10.715 * [taylor]: Taking taylor expansion of (/ -841.0 (* (pow (sqrt 108.0) 2) x)) in x 10.715 * [taylor]: Taking taylor expansion of -841.0 in x 10.715 * [backup-simplify]: Simplify -841.0 into -841.0 10.715 * [taylor]: Taking taylor expansion of (* (pow (sqrt 108.0) 2) x) in x 10.715 * [taylor]: Taking taylor expansion of (pow (sqrt 108.0) 2) in x 10.715 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x 10.715 * [taylor]: Taking taylor expansion of 108.0 in x 10.715 * [backup-simplify]: Simplify 108.0 into 108.0 10.715 * [backup-simplify]: Simplify (sqrt 108.0) into (sqrt 108.0) 10.716 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 108.0))) into 0 10.716 * [taylor]: Taking taylor expansion of x in x 10.716 * [backup-simplify]: Simplify 0 into 0 10.716 * [backup-simplify]: Simplify 1 into 1 10.717 * [backup-simplify]: Simplify (* (sqrt 108.0) (sqrt 108.0)) into (pow (sqrt 108.0) 2) 10.718 * [backup-simplify]: Simplify (* (pow (sqrt 108.0) 2) 0) into 0 10.718 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (* 0 (sqrt 108.0))) into 0 10.720 * [backup-simplify]: Simplify (+ (* (pow (sqrt 108.0) 2) 1) (* 0 0)) into (pow (sqrt 108.0) 2) 10.721 * [backup-simplify]: Simplify (/ -841.0 (pow (sqrt 108.0) 2)) into (/ -841.0 (pow (sqrt 108.0) 2)) 10.722 * [backup-simplify]: Simplify (/ -841.0 (pow (sqrt 108.0) 2)) into (/ -841.0 (pow (sqrt 108.0) 2)) 10.723 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 108.0))) into 0 10.723 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (* 0 (sqrt 108.0)))) into 0 10.724 * [backup-simplify]: Simplify (+ (* (pow (sqrt 108.0) 2) 0) (+ (* 0 1) (* 0 0))) into 0 10.725 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ -841.0 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.725 * [backup-simplify]: Simplify 0 into 0 10.729 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.730 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 108.0))))) into 0 10.731 * [backup-simplify]: Simplify (+ (* (pow (sqrt 108.0) 2) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.731 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ -841.0 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.732 * [backup-simplify]: Simplify 0 into 0 10.732 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.733 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 108.0)))))) into 0 10.734 * [backup-simplify]: Simplify (+ (* (pow (sqrt 108.0) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 10.735 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ -841.0 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.735 * [backup-simplify]: Simplify 0 into 0 10.736 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.736 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 108.0))))))) into 0 10.737 * [backup-simplify]: Simplify (+ (* (pow (sqrt 108.0) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 10.738 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ -841.0 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.738 * [backup-simplify]: Simplify 0 into 0 10.739 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.740 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 108.0)))))))) into 0 10.741 * [backup-simplify]: Simplify (+ (* (pow (sqrt 108.0) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 10.742 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ -841.0 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.742 * [backup-simplify]: Simplify 0 into 0 10.743 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.744 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 108.0))))))))) into 0 10.745 * [backup-simplify]: Simplify (+ (* (pow (sqrt 108.0) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 10.746 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt 108.0) 2)) (+ (* (/ -841.0 (pow (sqrt 108.0) 2)) (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))) (* 0 (/ 0 (pow (sqrt 108.0) 2))))) into 0 10.746 * [backup-simplify]: Simplify 0 into 0 10.748 * [backup-simplify]: Simplify (* (/ -841.0 (pow (sqrt 108.0) 2)) (/ 1 (/ 1 (- x)))) into (* 841.0 (/ x (pow (sqrt 108.0) 2))) 10.748 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 10.748 * [backup-simplify]: Simplify (/ x (sqrt 108.0)) into (/ x (sqrt 108.0)) 10.748 * [approximate]: Taking taylor expansion of (/ x (sqrt 108.0)) in (x) around 0 10.748 * [taylor]: Taking taylor expansion of (/ x (sqrt 108.0)) in x 10.748 * [taylor]: Taking taylor expansion of x in x 10.748 * [backup-simplify]: Simplify 0 into 0 10.748 * [backup-simplify]: Simplify 1 into 1 10.748 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x 10.748 * [taylor]: Taking taylor expansion of 108.0 in x 10.748 * [backup-simplify]: Simplify 108.0 into 108.0 10.748 * [backup-simplify]: Simplify (sqrt 108.0) into (sqrt 108.0) 10.749 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 108.0))) into 0 10.749 * [backup-simplify]: Simplify (/ 1 (sqrt 108.0)) into (/ 1 (sqrt 108.0)) 10.749 * [taylor]: Taking taylor expansion of (/ x (sqrt 108.0)) in x 10.749 * [taylor]: Taking taylor expansion of x in x 10.749 * [backup-simplify]: Simplify 0 into 0 10.749 * [backup-simplify]: Simplify 1 into 1 10.749 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x 10.749 * [taylor]: Taking taylor expansion of 108.0 in x 10.749 * [backup-simplify]: Simplify 108.0 into 108.0 10.750 * [backup-simplify]: Simplify (sqrt 108.0) into (sqrt 108.0) 10.750 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 108.0))) into 0 10.751 * [backup-simplify]: Simplify (/ 1 (sqrt 108.0)) into (/ 1 (sqrt 108.0)) 10.751 * [backup-simplify]: Simplify (/ 1 (sqrt 108.0)) into (/ 1 (sqrt 108.0)) 10.752 * [backup-simplify]: Simplify (- (/ 0 (sqrt 108.0)) (+ (* (/ 1 (sqrt 108.0)) (/ 0 (sqrt 108.0))))) into 0 10.752 * [backup-simplify]: Simplify 0 into 0 10.753 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 108.0))) into 0 10.753 * [backup-simplify]: Simplify (- (/ 0 (sqrt 108.0)) (+ (* (/ 1 (sqrt 108.0)) (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))))) into 0 10.753 * [backup-simplify]: Simplify 0 into 0 10.754 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.755 * [backup-simplify]: Simplify (- (/ 0 (sqrt 108.0)) (+ (* (/ 1 (sqrt 108.0)) (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))))) into 0 10.755 * [backup-simplify]: Simplify 0 into 0 10.756 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.757 * [backup-simplify]: Simplify (- (/ 0 (sqrt 108.0)) (+ (* (/ 1 (sqrt 108.0)) (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))))) into 0 10.757 * [backup-simplify]: Simplify 0 into 0 10.757 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.758 * [backup-simplify]: Simplify (- (/ 0 (sqrt 108.0)) (+ (* (/ 1 (sqrt 108.0)) (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))))) into 0 10.758 * [backup-simplify]: Simplify 0 into 0 10.759 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.760 * [backup-simplify]: Simplify (- (/ 0 (sqrt 108.0)) (+ (* (/ 1 (sqrt 108.0)) (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))))) into 0 10.760 * [backup-simplify]: Simplify 0 into 0 10.760 * [backup-simplify]: Simplify (* (/ 1 (sqrt 108.0)) x) into (/ x (sqrt 108.0)) 10.761 * [backup-simplify]: Simplify (/ (/ 1 x) (sqrt 108.0)) into (/ 1 (* (sqrt 108.0) x)) 10.761 * [approximate]: Taking taylor expansion of (/ 1 (* (sqrt 108.0) x)) in (x) around 0 10.761 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 108.0) x)) in x 10.761 * [taylor]: Taking taylor expansion of (* (sqrt 108.0) x) in x 10.761 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x 10.761 * [taylor]: Taking taylor expansion of 108.0 in x 10.761 * [backup-simplify]: Simplify 108.0 into 108.0 10.761 * [backup-simplify]: Simplify (sqrt 108.0) into (sqrt 108.0) 10.761 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 108.0))) into 0 10.761 * [taylor]: Taking taylor expansion of x in x 10.762 * [backup-simplify]: Simplify 0 into 0 10.762 * [backup-simplify]: Simplify 1 into 1 10.762 * [backup-simplify]: Simplify (* (sqrt 108.0) 0) into 0 10.763 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 1) (* 0 0)) into (sqrt 108.0) 10.764 * [backup-simplify]: Simplify (/ 1 (sqrt 108.0)) into (/ 1 (sqrt 108.0)) 10.764 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt 108.0) x)) in x 10.764 * [taylor]: Taking taylor expansion of (* (sqrt 108.0) x) in x 10.764 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x 10.764 * [taylor]: Taking taylor expansion of 108.0 in x 10.764 * [backup-simplify]: Simplify 108.0 into 108.0 10.764 * [backup-simplify]: Simplify (sqrt 108.0) into (sqrt 108.0) 10.764 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 108.0))) into 0 10.764 * [taylor]: Taking taylor expansion of x in x 10.764 * [backup-simplify]: Simplify 0 into 0 10.764 * [backup-simplify]: Simplify 1 into 1 10.765 * [backup-simplify]: Simplify (* (sqrt 108.0) 0) into 0 10.766 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 1) (* 0 0)) into (sqrt 108.0) 10.766 * [backup-simplify]: Simplify (/ 1 (sqrt 108.0)) into (/ 1 (sqrt 108.0)) 10.767 * [backup-simplify]: Simplify (/ 1 (sqrt 108.0)) into (/ 1 (sqrt 108.0)) 10.768 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 108.0))) into 0 10.768 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 1) (* 0 0))) into 0 10.769 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sqrt 108.0)) (/ 0 (sqrt 108.0))))) into 0 10.769 * [backup-simplify]: Simplify 0 into 0 10.770 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.770 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.771 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sqrt 108.0)) (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))))) into 0 10.771 * [backup-simplify]: Simplify 0 into 0 10.772 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.773 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 10.773 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sqrt 108.0)) (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))))) into 0 10.774 * [backup-simplify]: Simplify 0 into 0 10.774 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.775 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 10.776 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sqrt 108.0)) (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))))) into 0 10.776 * [backup-simplify]: Simplify 0 into 0 10.777 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.778 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 10.778 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sqrt 108.0)) (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))))) into 0 10.778 * [backup-simplify]: Simplify 0 into 0 10.779 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.781 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 10.782 * [backup-simplify]: Simplify (- (+ (* (/ 1 (sqrt 108.0)) (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))))) into 0 10.782 * [backup-simplify]: Simplify 0 into 0 10.783 * [backup-simplify]: Simplify (* (/ 1 (sqrt 108.0)) (/ 1 (/ 1 x))) into (/ x (sqrt 108.0)) 10.783 * [backup-simplify]: Simplify (/ (/ 1 (- x)) (sqrt 108.0)) into (/ -1 (* (sqrt 108.0) x)) 10.783 * [approximate]: Taking taylor expansion of (/ -1 (* (sqrt 108.0) x)) in (x) around 0 10.783 * [taylor]: Taking taylor expansion of (/ -1 (* (sqrt 108.0) x)) in x 10.783 * [taylor]: Taking taylor expansion of -1 in x 10.783 * [backup-simplify]: Simplify -1 into -1 10.783 * [taylor]: Taking taylor expansion of (* (sqrt 108.0) x) in x 10.783 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x 10.783 * [taylor]: Taking taylor expansion of 108.0 in x 10.783 * [backup-simplify]: Simplify 108.0 into 108.0 10.784 * [backup-simplify]: Simplify (sqrt 108.0) into (sqrt 108.0) 10.784 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 108.0))) into 0 10.784 * [taylor]: Taking taylor expansion of x in x 10.784 * [backup-simplify]: Simplify 0 into 0 10.784 * [backup-simplify]: Simplify 1 into 1 10.785 * [backup-simplify]: Simplify (* (sqrt 108.0) 0) into 0 10.786 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 1) (* 0 0)) into (sqrt 108.0) 10.787 * [backup-simplify]: Simplify (/ -1 (sqrt 108.0)) into (/ -1 (sqrt 108.0)) 10.787 * [taylor]: Taking taylor expansion of (/ -1 (* (sqrt 108.0) x)) in x 10.787 * [taylor]: Taking taylor expansion of -1 in x 10.787 * [backup-simplify]: Simplify -1 into -1 10.787 * [taylor]: Taking taylor expansion of (* (sqrt 108.0) x) in x 10.787 * [taylor]: Taking taylor expansion of (sqrt 108.0) in x 10.787 * [taylor]: Taking taylor expansion of 108.0 in x 10.787 * [backup-simplify]: Simplify 108.0 into 108.0 10.787 * [backup-simplify]: Simplify (sqrt 108.0) into (sqrt 108.0) 10.788 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 108.0))) into 0 10.788 * [taylor]: Taking taylor expansion of x in x 10.788 * [backup-simplify]: Simplify 0 into 0 10.788 * [backup-simplify]: Simplify 1 into 1 10.788 * [backup-simplify]: Simplify (* (sqrt 108.0) 0) into 0 10.789 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 1) (* 0 0)) into (sqrt 108.0) 10.790 * [backup-simplify]: Simplify (/ -1 (sqrt 108.0)) into (/ -1 (sqrt 108.0)) 10.790 * [backup-simplify]: Simplify (/ -1 (sqrt 108.0)) into (/ -1 (sqrt 108.0)) 10.791 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 108.0))) into 0 10.792 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 1) (* 0 0))) into 0 10.792 * [backup-simplify]: Simplify (- (/ 0 (sqrt 108.0)) (+ (* (/ -1 (sqrt 108.0)) (/ 0 (sqrt 108.0))))) into 0 10.792 * [backup-simplify]: Simplify 0 into 0 10.793 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.794 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.794 * [backup-simplify]: Simplify (- (/ 0 (sqrt 108.0)) (+ (* (/ -1 (sqrt 108.0)) (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))))) into 0 10.795 * [backup-simplify]: Simplify 0 into 0 10.795 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.796 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 10.797 * [backup-simplify]: Simplify (- (/ 0 (sqrt 108.0)) (+ (* (/ -1 (sqrt 108.0)) (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))))) into 0 10.797 * [backup-simplify]: Simplify 0 into 0 10.798 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.798 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 10.799 * [backup-simplify]: Simplify (- (/ 0 (sqrt 108.0)) (+ (* (/ -1 (sqrt 108.0)) (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))))) into 0 10.799 * [backup-simplify]: Simplify 0 into 0 10.800 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.801 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 10.802 * [backup-simplify]: Simplify (- (/ 0 (sqrt 108.0)) (+ (* (/ -1 (sqrt 108.0)) (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))))) into 0 10.802 * [backup-simplify]: Simplify 0 into 0 10.802 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 108.0))) into 0 10.804 * [backup-simplify]: Simplify (+ (* (sqrt 108.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 10.804 * [backup-simplify]: Simplify (- (/ 0 (sqrt 108.0)) (+ (* (/ -1 (sqrt 108.0)) (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))) (* 0 (/ 0 (sqrt 108.0))))) into 0 10.804 * [backup-simplify]: Simplify 0 into 0 10.805 * [backup-simplify]: Simplify (* (/ -1 (sqrt 108.0)) (/ 1 (/ 1 (- x)))) into (/ x (sqrt 108.0)) 10.805 * * * [progress]: simplifying candidates 10.807 * [simplify]: Simplifying: (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (+ (- (log 841.0) (log (sqrt 108.0))) (- (log x) (log (sqrt 108.0)))) (+ (- (log 841.0) (log (sqrt 108.0))) (log (/ x (sqrt 108.0)))) (+ (log (/ 841.0 (sqrt 108.0))) (- (log x) (log (sqrt 108.0)))) (+ (log (/ 841.0 (sqrt 108.0))) (log (/ x (sqrt 108.0)))) (log (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))) (exp (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))) (* (/ (* (* 841.0 841.0) 841.0) (* (* (sqrt 108.0) (sqrt 108.0)) (sqrt 108.0))) (/ (* (* x x) x) (* (* (sqrt 108.0) (sqrt 108.0)) (sqrt 108.0)))) (* (/ (* (* 841.0 841.0) 841.0) (* (* (sqrt 108.0) (sqrt 108.0)) (sqrt 108.0))) (* (* (/ x (sqrt 108.0)) (/ x (sqrt 108.0))) (/ x (sqrt 108.0)))) (* (* (* (/ 841.0 (sqrt 108.0)) (/ 841.0 (sqrt 108.0))) (/ 841.0 (sqrt 108.0))) (/ (* (* x x) x) (* (* (sqrt 108.0) (sqrt 108.0)) (sqrt 108.0)))) (* (* (* (/ 841.0 (sqrt 108.0)) (/ 841.0 (sqrt 108.0))) (/ 841.0 (sqrt 108.0))) (* (* (/ x (sqrt 108.0)) (/ x (sqrt 108.0))) (/ x (sqrt 108.0)))) (* (cbrt (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))) (cbrt (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))))) (cbrt (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))) (* (* (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))) (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))) (sqrt (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))) (sqrt (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0)))) (* 841.0 x) (* (sqrt 108.0) (sqrt 108.0)) (* (sqrt (/ 841.0 (sqrt 108.0))) (sqrt (/ x (sqrt 108.0)))) (* (sqrt (/ 841.0 (sqrt 108.0))) (sqrt (/ x (sqrt 108.0)))) (* (sqrt (/ 841.0 (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (sqrt (/ 841.0 (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (sqrt (/ 841.0 (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (sqrt (/ 841.0 (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (sqrt (/ x (sqrt 108.0)))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (sqrt (/ x (sqrt 108.0)))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (sqrt (/ x (sqrt 108.0)))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (sqrt (/ x (sqrt 108.0)))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (/ 841.0 (sqrt 108.0)) (* (cbrt (/ x (sqrt 108.0))) (cbrt (/ x (sqrt 108.0))))) (* (/ 841.0 (sqrt 108.0)) (sqrt (/ x (sqrt 108.0)))) (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))) (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (sqrt (* (cbrt 108.0) (cbrt 108.0))))) (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0)))) (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (sqrt 1))) (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0)))) (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) 1)) (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))) (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) (sqrt (* (cbrt 108.0) (cbrt 108.0))))) (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) (sqrt 1))) (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) 1)) (* (/ 841.0 (sqrt 108.0)) (/ 1 (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))) (* (/ 841.0 (sqrt 108.0)) (/ 1 (sqrt (* (cbrt 108.0) (cbrt 108.0))))) (* (/ 841.0 (sqrt 108.0)) (/ 1 (sqrt (sqrt 108.0)))) (* (/ 841.0 (sqrt 108.0)) (/ 1 (sqrt 1))) (* (/ 841.0 (sqrt 108.0)) (/ 1 (sqrt (sqrt 108.0)))) (* (/ 841.0 (sqrt 108.0)) (/ 1 1)) (* (/ 841.0 (sqrt 108.0)) 1) (* (/ 841.0 (sqrt 108.0)) x) (* (cbrt (/ 841.0 (sqrt 108.0))) (/ x (sqrt 108.0))) (* (sqrt (/ 841.0 (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ (cbrt 841.0) (cbrt (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ (cbrt 841.0) (sqrt (cbrt 108.0))) (/ x (sqrt 108.0))) (* (/ (cbrt 841.0) (sqrt (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ (cbrt 841.0) (sqrt 108.0)) (/ x (sqrt 108.0))) (* (/ (cbrt 841.0) (sqrt (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ (cbrt 841.0) (sqrt 108.0)) (/ x (sqrt 108.0))) (* (/ (sqrt 841.0) (cbrt (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ (sqrt 841.0) (sqrt (cbrt 108.0))) (/ x (sqrt 108.0))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ (sqrt 841.0) (sqrt 108.0)) (/ x (sqrt 108.0))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ (sqrt 841.0) (sqrt 108.0)) (/ x (sqrt 108.0))) (* (/ 841.0 (cbrt (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ 841.0 (sqrt (cbrt 108.0))) (/ x (sqrt 108.0))) (* (/ 841.0 (sqrt (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (* (/ 841.0 (sqrt (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (* (/ 841.0 (sqrt 108.0)) (/ x (sqrt 108.0))) (* (/ 1 (sqrt 108.0)) (/ x (sqrt 108.0))) (* (/ 841.0 (sqrt 108.0)) x) (* 841.0 (/ x (sqrt 108.0))) (- (log x) (log (sqrt 108.0))) (log (/ x (sqrt 108.0))) (exp (/ x (sqrt 108.0))) (/ (* (* x x) x) (* (* (sqrt 108.0) (sqrt 108.0)) (sqrt 108.0))) (* (cbrt (/ x (sqrt 108.0))) (cbrt (/ x (sqrt 108.0)))) (cbrt (/ x (sqrt 108.0))) (* (* (/ x (sqrt 108.0)) (/ x (sqrt 108.0))) (/ x (sqrt 108.0))) (sqrt (/ x (sqrt 108.0))) (sqrt (/ x (sqrt 108.0))) (- x) (- (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))) (/ (cbrt x) (cbrt (sqrt 108.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (* (cbrt 108.0) (cbrt 108.0)))) (/ (cbrt x) (sqrt (cbrt 108.0))) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0))) (/ (cbrt x) (sqrt (sqrt 108.0))) (/ (* (cbrt x) (cbrt x)) (sqrt 1)) (/ (cbrt x) (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0))) (/ (cbrt x) (sqrt (sqrt 108.0))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (sqrt 108.0)) (/ (sqrt x) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))) (/ (sqrt x) (cbrt (sqrt 108.0))) (/ (sqrt x) (sqrt (* (cbrt 108.0) (cbrt 108.0)))) (/ (sqrt x) (sqrt (cbrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt 1)) (/ (sqrt x) (sqrt 108.0)) (/ (sqrt x) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))) (/ (sqrt x) 1) (/ (sqrt x) (sqrt 108.0)) (/ 1 (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))) (/ x (cbrt (sqrt 108.0))) (/ 1 (sqrt (* (cbrt 108.0) (cbrt 108.0)))) (/ x (sqrt (cbrt 108.0))) (/ 1 (sqrt (sqrt 108.0))) (/ x (sqrt (sqrt 108.0))) (/ 1 (sqrt 1)) (/ x (sqrt 108.0)) (/ 1 (sqrt (sqrt 108.0))) (/ x (sqrt (sqrt 108.0))) (/ 1 1) (/ x (sqrt 108.0)) (/ 1 (sqrt 108.0)) (/ (sqrt 108.0) x) (/ x (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))) (/ x (sqrt (* (cbrt 108.0) (cbrt 108.0)))) (/ x (sqrt (sqrt 108.0))) (/ x (sqrt 1)) (/ x (sqrt (sqrt 108.0))) (/ x 1) (/ (sqrt 108.0) (cbrt x)) (/ (sqrt 108.0) (sqrt x)) (/ (sqrt 108.0) x) (* 841.0 (/ x (pow (sqrt 108.0) 2))) (* 841.0 (/ x (pow (sqrt 108.0) 2))) (* 841.0 (/ x (pow (sqrt 108.0) 2))) (/ x (sqrt 108.0)) (/ x (sqrt 108.0)) (/ x (sqrt 108.0)) 10.809 * * [simplify]: Extracting # 0 : cost 0 10.809 * * [simplify]: Extracting # 1 : cost 0 10.810 * * [simplify]: Extracting # 2 : cost 0 10.810 * * [simplify]: Extracting # 3 : cost 0 10.810 * * [simplify]: Extracting # 4 : cost 0 10.810 * * [simplify]: Extracting # 5 : cost 0 10.810 * * [simplify]: Extracting # 6 : cost 0 10.810 * * [simplify]: iteration 0 : 150 enodes (cost 1394 ) 10.868 * * [simplify]: Extracting # 0 : cost 0 10.869 * * [simplify]: Extracting # 1 : cost 0 10.869 * * [simplify]: Extracting # 2 : cost 0 10.870 * * [simplify]: Extracting # 3 : cost 0 10.871 * * [simplify]: iteration 1 : 385 enodes (cost 1282 ) 11.031 * * [simplify]: Extracting # 0 : cost 0 11.033 * * [simplify]: Extracting # 1 : cost 0 11.035 * * [simplify]: Extracting # 2 : cost 0 11.037 * * [simplify]: Extracting # 3 : cost 0 11.039 * * [simplify]: Extracting # 4 : cost 0 11.040 * * [simplify]: Extracting # 5 : cost 0 11.042 * * [simplify]: iteration 2 : 1291 enodes (cost 1142 ) 12.396 * * [simplify]: Extracting # 0 : cost 0 12.423 * * [simplify]: Extracting # 1 : cost 0 12.428 * * [simplify]: Extracting # 2 : cost 0 12.434 * * [simplify]: Extracting # 3 : cost 0 12.439 * * [simplify]: Extracting # 4 : cost 0 12.445 * * [simplify]: iteration done: 5000 enodes (cost 1076 ) 12.446 * [simplify]: Simplified to: (/ (* 841.0 x) 108.0) (log (/ (* 841.0 x) 108.0)) (log (/ (* 841.0 x) 108.0)) (log (/ (* 841.0 x) 108.0)) (log (/ (* 841.0 x) 108.0)) (log (/ (* 841.0 x) 108.0)) (exp (/ (* 841.0 x) 108.0)) (pow (/ (* 841.0 x) 108.0) 3) (pow (/ (* 841.0 x) 108.0) 3) (pow (/ (* 841.0 x) 108.0) 3) (pow (/ (* 841.0 x) 108.0) 3) (* (cbrt (/ (* 841.0 x) 108.0)) (cbrt (/ (* 841.0 x) 108.0))) (cbrt (/ (* 841.0 x) 108.0)) (pow (/ (* 841.0 x) 108.0) 3) (sqrt (/ (* 841.0 x) 108.0)) (sqrt (/ (* 841.0 x) 108.0)) (* 841.0 x) 108.0 (* (sqrt (/ 841.0 (sqrt 108.0))) (sqrt (/ x (sqrt 108.0)))) (* (sqrt (/ 841.0 (sqrt 108.0))) (sqrt (/ x (sqrt 108.0)))) (* (sqrt (/ 841.0 (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (sqrt (/ 841.0 (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (sqrt (/ 841.0 (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (sqrt (/ 841.0 (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (sqrt (/ x (sqrt 108.0)))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (sqrt (/ x (sqrt 108.0)))) (/ (sqrt 841.0) (/ (sqrt 108.0) (sqrt x))) (/ (sqrt 841.0) (/ (sqrt 108.0) (sqrt x))) (/ (sqrt 841.0) (/ (sqrt 108.0) (sqrt x))) (/ (sqrt 841.0) (/ (sqrt 108.0) (sqrt x))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (sqrt (/ x (sqrt 108.0)))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (sqrt (/ x (sqrt 108.0)))) (/ (sqrt 841.0) (/ (sqrt 108.0) (sqrt x))) (/ (sqrt 841.0) (/ (sqrt 108.0) (sqrt x))) (/ (sqrt 841.0) (/ (sqrt 108.0) (sqrt x))) (/ (sqrt 841.0) (/ (sqrt 108.0) (sqrt x))) (* (/ 841.0 (sqrt 108.0)) (* (cbrt (/ x (sqrt 108.0))) (cbrt (/ x (sqrt 108.0))))) (* (/ 841.0 (sqrt 108.0)) (sqrt (/ x (sqrt 108.0)))) (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))) (/ (* (/ 841.0 (sqrt 108.0)) (* (cbrt x) (cbrt x))) (fabs (cbrt 108.0))) (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0)))) (* (/ 841.0 (sqrt 108.0)) (* (cbrt x) (cbrt x))) (* (/ 841.0 (sqrt 108.0)) (/ (* (cbrt x) (cbrt x)) (sqrt (sqrt 108.0)))) (* (/ 841.0 (sqrt 108.0)) (* (cbrt x) (cbrt x))) (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0))))) (* (/ (sqrt x) (fabs (cbrt 108.0))) (/ 841.0 (sqrt 108.0))) (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (/ 841.0 (sqrt 108.0)) (sqrt x)) (* (/ 841.0 (sqrt 108.0)) (/ (sqrt x) (sqrt (sqrt 108.0)))) (* (/ 841.0 (sqrt 108.0)) (sqrt x)) (/ (/ 841.0 (sqrt 108.0)) (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))) (/ (/ 841.0 (sqrt 108.0)) (fabs (cbrt 108.0))) (/ (/ 841.0 (sqrt 108.0)) (sqrt (sqrt 108.0))) (/ 841.0 (sqrt 108.0)) (/ (/ 841.0 (sqrt 108.0)) (sqrt (sqrt 108.0))) (/ 841.0 (sqrt 108.0)) (/ 841.0 (sqrt 108.0)) (* (/ 841.0 (sqrt 108.0)) x) (* (cbrt (/ 841.0 (sqrt 108.0))) (/ x (sqrt 108.0))) (* (sqrt (/ 841.0 (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ (cbrt 841.0) (cbrt (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ (cbrt 841.0) (sqrt (cbrt 108.0))) (/ x (sqrt 108.0))) (* (/ (cbrt 841.0) (sqrt (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ (cbrt 841.0) (sqrt 108.0)) (/ x (sqrt 108.0))) (* (/ (cbrt 841.0) (sqrt (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ (cbrt 841.0) (sqrt 108.0)) (/ x (sqrt 108.0))) (* (/ (sqrt 841.0) (cbrt (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ (sqrt 841.0) (sqrt (cbrt 108.0))) (/ x (sqrt 108.0))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ (sqrt 841.0) (sqrt 108.0)) (/ x (sqrt 108.0))) (* (/ (sqrt 841.0) (sqrt (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ (sqrt 841.0) (sqrt 108.0)) (/ x (sqrt 108.0))) (* (/ 841.0 (cbrt (sqrt 108.0))) (/ x (sqrt 108.0))) (* (/ 841.0 (sqrt (cbrt 108.0))) (/ x (sqrt 108.0))) (* (/ 841.0 (sqrt (sqrt 108.0))) (/ x (sqrt 108.0))) (/ (* 841.0 x) 108.0) (* (/ 841.0 (sqrt (sqrt 108.0))) (/ x (sqrt 108.0))) (/ (* 841.0 x) 108.0) (/ (* 841.0 x) 108.0) (/ (/ x (sqrt 108.0)) (sqrt 108.0)) (* (/ 841.0 (sqrt 108.0)) x) (* (/ 841.0 (sqrt 108.0)) x) (log (/ x (sqrt 108.0))) (log (/ x (sqrt 108.0))) (exp (/ x (sqrt 108.0))) (/ (/ (pow x 3) 108.0) (sqrt 108.0)) (* (cbrt (/ x (sqrt 108.0))) (cbrt (/ x (sqrt 108.0)))) (cbrt (/ x (sqrt 108.0))) (pow (/ x (sqrt 108.0)) 3) (sqrt (/ x (sqrt 108.0))) (sqrt (/ x (sqrt 108.0))) (- x) (- (sqrt 108.0)) (/ (/ (cbrt x) (cbrt (sqrt 108.0))) (/ (cbrt (sqrt 108.0)) (cbrt x))) (/ (cbrt x) (cbrt (sqrt 108.0))) (/ (cbrt x) (/ (fabs (cbrt 108.0)) (cbrt x))) (/ (cbrt x) (sqrt (cbrt 108.0))) (/ (cbrt x) (/ (sqrt (sqrt 108.0)) (cbrt x))) (/ (cbrt x) (sqrt (sqrt 108.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (sqrt 108.0)) (/ (cbrt x) (/ (sqrt (sqrt 108.0)) (cbrt x))) (/ (cbrt x) (sqrt (sqrt 108.0))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (sqrt 108.0)) (/ (/ (sqrt x) (cbrt (sqrt 108.0))) (cbrt (sqrt 108.0))) (/ (sqrt x) (cbrt (sqrt 108.0))) (/ (sqrt x) (fabs (cbrt 108.0))) (/ (sqrt x) (sqrt (cbrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))) (sqrt x) (/ (sqrt x) (sqrt 108.0)) (/ (sqrt x) (sqrt (sqrt 108.0))) (/ (sqrt x) (sqrt (sqrt 108.0))) (sqrt x) (/ (sqrt x) (sqrt 108.0)) (/ 1 (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))) (/ x (cbrt (sqrt 108.0))) (/ 1 (fabs (cbrt 108.0))) (/ x (sqrt (cbrt 108.0))) (/ 1 (sqrt (sqrt 108.0))) (/ x (sqrt (sqrt 108.0))) 1 (/ x (sqrt 108.0)) (/ 1 (sqrt (sqrt 108.0))) (/ x (sqrt (sqrt 108.0))) 1 (/ x (sqrt 108.0)) (/ 1 (sqrt 108.0)) (/ (sqrt 108.0) x) (/ x (* (cbrt (sqrt 108.0)) (cbrt (sqrt 108.0)))) (/ x (fabs (cbrt 108.0))) (/ x (sqrt (sqrt 108.0))) x (/ x (sqrt (sqrt 108.0))) x (/ (sqrt 108.0) (cbrt x)) (/ (sqrt 108.0) (sqrt x)) (/ (sqrt 108.0) x) (/ (* 841.0 x) 108.0) (/ (* 841.0 x) 108.0) (/ (* 841.0 x) 108.0) (/ x (sqrt 108.0)) (/ x (sqrt 108.0)) (/ x (sqrt 108.0)) 12.446 * * * [progress]: adding candidates to table 12.675 * [progress]: [Phase 3 of 3] Extracting. 12.675 * * [regime]: Finding splitpoints for: (# # #) 12.676 * * * [regime-changes]: Trying 3 branch expressions: ((* (/ 841.0 108.0) x) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) x) 12.676 * * * * [regimes]: Trying to branch on (* (/ 841.0 108.0) x) from (# # #) 12.694 * * * * [regimes]: Trying to branch on (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) from (# # #) 12.711 * * * * [regimes]: Trying to branch on x from (# # #) 12.727 * * * [regime]: Found split indices: #