363.693 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.101 * * * [progress]: [2/2] Setting up program. 0.104 * [progress]: [Phase 2 of 3] Improving. 0.105 * [simplify]: Simplifying using # : (log (+ x (sqrt (- (* x x) 1.0)))) 0.105 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.106 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 0.107 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 0.108 * * [simplify]: iteration done : 11 enodes (cost 9 ) 0.108 * [simplify]: Simplified to: (log (+ x (sqrt (- (* x x) 1.0)))) 0.109 * * [progress]: iteration 1 / 4 0.109 * * * [progress]: picking best candidate 0.111 * * * * [pick]: Picked # 0.111 * * * [progress]: localizing error 0.119 * * * [progress]: generating rewritten candidates 0.119 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 0.124 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.132 * * * [progress]: generating series expansions 0.132 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 0.132 * [approximate]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in (x) around 0 0.132 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x 0.132 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 0.132 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.132 * [taylor]: Taking taylor expansion of x in x 0.132 * [taylor]: Taking taylor expansion of 1.0 in x 0.132 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x 0.132 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 0.132 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.132 * [taylor]: Taking taylor expansion of x in x 0.132 * [taylor]: Taking taylor expansion of 1.0 in x 0.133 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 0.133 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x 0.133 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.133 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.133 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.133 * [taylor]: Taking taylor expansion of x in x 0.133 * [taylor]: Taking taylor expansion of 1.0 in x 0.134 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x 0.134 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.134 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.134 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.134 * [taylor]: Taking taylor expansion of 1.0 in x 0.135 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 0.135 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x 0.135 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.135 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.135 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.135 * [taylor]: Taking taylor expansion of x in x 0.135 * [taylor]: Taking taylor expansion of 1.0 in x 0.135 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x 0.135 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.135 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.135 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.135 * [taylor]: Taking taylor expansion of x in x 0.135 * [taylor]: Taking taylor expansion of 1.0 in x 0.136 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.136 * [approximate]: Taking taylor expansion of (+ x (sqrt (- (pow x 2) 1.0))) in (x) around 0 0.136 * [taylor]: Taking taylor expansion of (+ x (sqrt (- (pow x 2) 1.0))) in x 0.136 * [taylor]: Taking taylor expansion of x in x 0.136 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x 0.136 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 0.136 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.136 * [taylor]: Taking taylor expansion of x in x 0.136 * [taylor]: Taking taylor expansion of 1.0 in x 0.136 * [taylor]: Taking taylor expansion of (+ x (sqrt (- (pow x 2) 1.0))) in x 0.136 * [taylor]: Taking taylor expansion of x in x 0.136 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1.0)) in x 0.136 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 0.137 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.137 * [taylor]: Taking taylor expansion of x in x 0.137 * [taylor]: Taking taylor expansion of 1.0 in x 0.137 * [approximate]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in (x) around 0 0.137 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x 0.137 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x 0.137 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.137 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.137 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.137 * [taylor]: Taking taylor expansion of x in x 0.137 * [taylor]: Taking taylor expansion of 1.0 in x 0.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.137 * [taylor]: Taking taylor expansion of x in x 0.138 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x 0.138 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x 0.138 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.138 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.138 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.138 * [taylor]: Taking taylor expansion of x in x 0.138 * [taylor]: Taking taylor expansion of 1.0 in x 0.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.138 * [taylor]: Taking taylor expansion of x in x 0.139 * [approximate]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in (x) around 0 0.139 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x 0.139 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x 0.139 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.139 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.139 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.139 * [taylor]: Taking taylor expansion of x in x 0.139 * [taylor]: Taking taylor expansion of 1.0 in x 0.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.139 * [taylor]: Taking taylor expansion of x in x 0.140 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1.0)) (/ 1 x)) in x 0.140 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1.0)) in x 0.140 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 0.140 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.140 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.140 * [taylor]: Taking taylor expansion of x in x 0.140 * [taylor]: Taking taylor expansion of 1.0 in x 0.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.140 * [taylor]: Taking taylor expansion of x in x 0.142 * * * [progress]: simplifying candidates 0.142 * [simplify]: Simplifying using # : (log (sqrt (- (* x x) 1.0))) (exp (sqrt (- (* x x) 1.0))) (* (cbrt (sqrt (- (* x x) 1.0))) (cbrt (sqrt (- (* x x) 1.0)))) (cbrt (sqrt (- (* x x) 1.0))) (* (* (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0))) (sqrt (- (* x x) 1.0))) (sqrt (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0)))) (sqrt (cbrt (- (* x x) 1.0))) (sqrt (sqrt (- (* x x) 1.0))) (sqrt (sqrt (- (* x x) 1.0))) (sqrt 1) (sqrt (- (* x x) 1.0)) (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))) (sqrt (- (pow (* x x) 3) (pow 1.0 3))) (sqrt (+ (* (* x x) (* x x)) (+ (* 1.0 1.0) (* (* x x) 1.0)))) (sqrt (- (* (* x x) (* x x)) (* 1.0 1.0))) (sqrt (+ (* x x) 1.0)) (/ 1 2) (sqrt (sqrt (- (* x x) 1.0))) (sqrt (sqrt (- (* x x) 1.0))) (* (exp x) (exp (sqrt (- (* x x) 1.0)))) (log (+ x (sqrt (- (* x x) 1.0)))) (exp (+ x (sqrt (- (* x x) 1.0)))) (* (cbrt (+ x (sqrt (- (* x x) 1.0)))) (cbrt (+ x (sqrt (- (* x x) 1.0))))) (cbrt (+ x (sqrt (- (* x x) 1.0)))) (* (* (+ x (sqrt (- (* x x) 1.0))) (+ x (sqrt (- (* x x) 1.0)))) (+ x (sqrt (- (* x x) 1.0)))) (sqrt (+ x (sqrt (- (* x x) 1.0)))) (sqrt (+ x (sqrt (- (* x x) 1.0)))) (+ (pow x 3) (pow (sqrt (- (* x x) 1.0)) 3)) (+ (* x x) (- (* (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0))) (* x (sqrt (- (* x x) 1.0))))) (- (* x x) (* (sqrt (- (* x x) 1.0)) (sqrt (- (* x x) 1.0)))) (- x (sqrt (- (* x x) 1.0))) (+ x (sqrt (- (* x x) 1.0))) (- (+ (* 1/2 (/ (pow x 2) (sqrt (neg 1.0)))) (sqrt (neg 1.0))) (* 1/8 (/ (pow x 4) (pow (sqrt (neg 1.0)) 3)))) (- x (+ (* 0.5 (/ 1 x)) (* 0.125 (/ 1 (pow x 3))))) (- (+ (* 0.5 (/ 1 x)) (* 0.125 (/ 1 (pow x 3)))) x) (+ (* 1/2 (/ (pow x 2) (sqrt (neg 1.0)))) (+ x (sqrt (neg 1.0)))) (- (* 2 x) (+ (* 0.5 (/ 1 x)) (* 0.125 (/ 1 (pow x 3))))) (+ (* 0.5 (/ 1 x)) (+ (* 0.0625 (/ 1 (pow x 5))) (* 0.125 (/ 1 (pow x 3))))) 0.143 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.144 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 0.145 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 0.146 * * [simplify]: iteration done : 9 enodes (cost 7 ) 0.146 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.147 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 0.148 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 0.149 * * [simplify]: iteration done : 9 enodes (cost 7 ) 0.150 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 0.150 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 0.151 * * [simplify]: iteration 2 : 10 enodes (cost 15 ) 0.152 * * [simplify]: iteration done : 10 enodes (cost 15 ) 0.153 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.154 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 0.155 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 0.156 * * [simplify]: iteration done : 9 enodes (cost 7 ) 0.156 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 0.157 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 0.159 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 0.161 * * [simplify]: iteration 3 : 34 enodes (cost 8 ) 0.170 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 0.176 * * [simplify]: iteration 5 : 54 enodes (cost 8 ) 0.183 * * [simplify]: iteration 6 : 75 enodes (cost 8 ) 0.196 * * [simplify]: iteration 7 : 135 enodes (cost 8 ) 0.247 * * [simplify]: iteration 8 : 341 enodes (cost 8 ) 0.714 * * [simplify]: iteration 9 : 1267 enodes (cost 8 ) 3.086 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 3.086 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 3.087 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 3.088 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 3.089 * * [simplify]: iteration done : 11 enodes (cost 7 ) 3.090 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 3.091 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 3.092 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 3.093 * * [simplify]: iteration done : 9 enodes (cost 7 ) 3.093 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 3.094 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 3.095 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 3.096 * * [simplify]: iteration done : 9 enodes (cost 7 ) 3.096 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 3.097 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 3.098 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 3.099 * * [simplify]: iteration done : 9 enodes (cost 7 ) 3.100 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 3.100 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 3.100 * * [simplify]: iteration done : 4 enodes (cost 1 ) 3.101 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 3.102 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 3.102 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 3.103 * * [simplify]: iteration done : 8 enodes (cost 6 ) 3.104 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 3.105 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 3.105 * * [simplify]: iteration done : 6 enodes (cost 5 ) 3.106 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 3.106 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 3.107 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 3.108 * * [simplify]: iteration done : 8 enodes (cost 5 ) 3.109 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 3.114 * * [simplify]: iteration 1 : 25 enodes (cost 10 ) 3.119 * * [simplify]: iteration 2 : 65 enodes (cost 8 ) 3.130 * * [simplify]: iteration 3 : 124 enodes (cost 8 ) 3.154 * * [simplify]: iteration 4 : 291 enodes (cost 8 ) 3.262 * * [simplify]: iteration 5 : 932 enodes (cost 8 ) 4.029 * * [simplify]: iteration 6 : 4503 enodes (cost 8 ) 5.884 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 5.885 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 5.886 * * [simplify]: iteration 1 : 22 enodes (cost 16 ) 5.890 * * [simplify]: iteration 2 : 36 enodes (cost 14 ) 5.896 * * [simplify]: iteration 3 : 50 enodes (cost 12 ) 5.912 * * [simplify]: iteration 4 : 70 enodes (cost 12 ) 5.923 * * [simplify]: iteration 5 : 99 enodes (cost 12 ) 5.940 * * [simplify]: iteration 6 : 181 enodes (cost 12 ) 5.997 * * [simplify]: iteration 7 : 423 enodes (cost 12 ) 6.380 * * [simplify]: iteration 8 : 1393 enodes (cost 12 ) 7.872 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 7.873 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 7.874 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 7.877 * * [simplify]: iteration 2 : 27 enodes (cost 10 ) 7.880 * * [simplify]: iteration 3 : 51 enodes (cost 8 ) 7.889 * * [simplify]: iteration 4 : 99 enodes (cost 8 ) 7.908 * * [simplify]: iteration 5 : 189 enodes (cost 8 ) 7.956 * * [simplify]: iteration 6 : 350 enodes (cost 8 ) 8.092 * * [simplify]: iteration 7 : 832 enodes (cost 8 ) 9.404 * * [simplify]: iteration 8 : 3577 enodes (cost 8 ) 11.623 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 11.624 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 11.625 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 11.626 * * [simplify]: iteration done : 6 enodes (cost 6 ) 11.626 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 11.627 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 11.627 * * [simplify]: iteration done : 6 enodes (cost 1 ) 11.628 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 11.629 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 11.630 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 11.630 * * [simplify]: iteration done : 9 enodes (cost 7 ) 11.631 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 11.632 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 11.633 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 11.634 * * [simplify]: iteration done : 9 enodes (cost 7 ) 11.634 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 11.635 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 11.637 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 11.638 * * [simplify]: iteration done : 15 enodes (cost 9 ) 11.639 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 11.640 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 11.641 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 11.642 * * [simplify]: iteration done : 11 enodes (cost 9 ) 11.643 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 11.644 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 11.645 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 11.647 * * [simplify]: iteration done : 15 enodes (cost 9 ) 11.648 * * [simplify]: iteration 0 : 8 enodes (cost 19 ) 11.649 * * [simplify]: iteration 1 : 11 enodes (cost 19 ) 11.650 * * [simplify]: iteration 2 : 12 enodes (cost 19 ) 11.651 * * [simplify]: iteration done : 12 enodes (cost 19 ) 11.652 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 11.652 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 11.654 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 11.655 * * [simplify]: iteration done : 11 enodes (cost 9 ) 11.655 * * [simplify]: iteration 0 : 8 enodes (cost 26 ) 11.657 * * [simplify]: iteration 1 : 24 enodes (cost 26 ) 11.661 * * [simplify]: iteration 2 : 56 enodes (cost 10 ) 11.676 * * [simplify]: iteration 3 : 121 enodes (cost 10 ) 11.713 * * [simplify]: iteration 4 : 327 enodes (cost 10 ) 11.968 * * [simplify]: iteration 5 : 1236 enodes (cost 10 ) 14.547 * * [simplify]: iteration 6 : 4808 enodes (cost 10 ) 15.589 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 15.589 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 15.590 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 15.591 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 15.592 * * [simplify]: iteration done : 11 enodes (cost 9 ) 15.593 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 15.594 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 15.596 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 15.597 * * [simplify]: iteration done : 11 enodes (cost 9 ) 15.598 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 15.599 * * [simplify]: iteration 1 : 24 enodes (cost 12 ) 15.602 * * [simplify]: iteration 2 : 34 enodes (cost 12 ) 15.607 * * [simplify]: iteration 3 : 60 enodes (cost 12 ) 15.617 * * [simplify]: iteration 4 : 119 enodes (cost 12 ) 15.648 * * [simplify]: iteration 5 : 258 enodes (cost 12 ) 15.756 * * [simplify]: iteration 6 : 668 enodes (cost 12 ) 16.698 * * [simplify]: iteration 7 : 2518 enodes (cost 12 ) 18.759 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 18.760 * * [simplify]: iteration 0 : 9 enodes (cost 26 ) 18.761 * * [simplify]: iteration 1 : 19 enodes (cost 18 ) 18.765 * * [simplify]: iteration 2 : 47 enodes (cost 18 ) 18.774 * * [simplify]: iteration 3 : 99 enodes (cost 16 ) 18.802 * * [simplify]: iteration 4 : 188 enodes (cost 14 ) 18.871 * * [simplify]: iteration 5 : 304 enodes (cost 14 ) 18.944 * * [simplify]: iteration 6 : 415 enodes (cost 14 ) 19.066 * * [simplify]: iteration 7 : 541 enodes (cost 14 ) 19.180 * * [simplify]: iteration 8 : 576 enodes (cost 14 ) 19.286 * * [simplify]: iteration done : 576 enodes (cost 14 ) 19.287 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 19.288 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 19.290 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 19.294 * * [simplify]: iteration 3 : 61 enodes (cost 3 ) 19.303 * * [simplify]: iteration 4 : 96 enodes (cost 1 ) 19.318 * * [simplify]: iteration 5 : 136 enodes (cost 1 ) 19.337 * * [simplify]: iteration 6 : 188 enodes (cost 1 ) 19.372 * * [simplify]: iteration 7 : 253 enodes (cost 1 ) 19.427 * * [simplify]: iteration 8 : 319 enodes (cost 1 ) 19.482 * * [simplify]: iteration 9 : 364 enodes (cost 1 ) 19.539 * * [simplify]: iteration 10 : 375 enodes (cost 1 ) 19.598 * * [simplify]: iteration 11 : 377 enodes (cost 1 ) 19.657 * * [simplify]: iteration done : 377 enodes (cost 1 ) 19.658 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 19.659 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 19.660 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 19.661 * * [simplify]: iteration done : 12 enodes (cost 8 ) 19.662 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 19.663 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 19.664 * * [simplify]: iteration 2 : 10 enodes (cost 8 ) 19.665 * * [simplify]: iteration done : 10 enodes (cost 8 ) 19.666 * * [simplify]: iteration 0 : 18 enodes (cost 25 ) 19.669 * * [simplify]: iteration 1 : 44 enodes (cost 25 ) 19.677 * * [simplify]: iteration 2 : 128 enodes (cost 25 ) 19.700 * * [simplify]: iteration 3 : 425 enodes (cost 25 ) 20.024 * * [simplify]: iteration 4 : 1931 enodes (cost 22 ) 21.664 * * [simplify]: iteration done : 5000 enodes (cost 22 ) 21.665 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 21.667 * * [simplify]: iteration 1 : 33 enodes (cost 15 ) 21.672 * * [simplify]: iteration 2 : 68 enodes (cost 11 ) 21.685 * * [simplify]: iteration 3 : 160 enodes (cost 11 ) 21.735 * * [simplify]: iteration 4 : 411 enodes (cost 11 ) 22.118 * * [simplify]: iteration 5 : 1335 enodes (cost 11 ) 25.308 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 25.309 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 25.311 * * [simplify]: iteration 1 : 33 enodes (cost 15 ) 25.316 * * [simplify]: iteration 2 : 66 enodes (cost 11 ) 25.332 * * [simplify]: iteration 3 : 124 enodes (cost 11 ) 25.362 * * [simplify]: iteration 4 : 267 enodes (cost 11 ) 25.519 * * [simplify]: iteration 5 : 731 enodes (cost 11 ) 26.908 * * [simplify]: iteration 6 : 2897 enodes (cost 11 ) 28.689 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 28.690 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 28.697 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 28.700 * * [simplify]: iteration 2 : 47 enodes (cost 15 ) 28.711 * * [simplify]: iteration 3 : 62 enodes (cost 15 ) 28.719 * * [simplify]: iteration 4 : 85 enodes (cost 15 ) 28.731 * * [simplify]: iteration 5 : 106 enodes (cost 15 ) 28.744 * * [simplify]: iteration 6 : 132 enodes (cost 15 ) 28.765 * * [simplify]: iteration 7 : 202 enodes (cost 15 ) 28.829 * * [simplify]: iteration 8 : 432 enodes (cost 15 ) 29.292 * * [simplify]: iteration 9 : 1373 enodes (cost 15 ) 31.656 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 31.657 * * [simplify]: iteration 0 : 14 enodes (cost 17 ) 31.659 * * [simplify]: iteration 1 : 35 enodes (cost 17 ) 31.664 * * [simplify]: iteration 2 : 70 enodes (cost 13 ) 31.676 * * [simplify]: iteration 3 : 160 enodes (cost 13 ) 31.726 * * [simplify]: iteration 4 : 403 enodes (cost 13 ) 32.109 * * [simplify]: iteration 5 : 1317 enodes (cost 13 ) 35.344 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 35.345 * * [simplify]: iteration 0 : 17 enodes (cost 21 ) 35.347 * * [simplify]: iteration 1 : 44 enodes (cost 21 ) 35.354 * * [simplify]: iteration 2 : 90 enodes (cost 15 ) 35.375 * * [simplify]: iteration 3 : 171 enodes (cost 15 ) 35.413 * * [simplify]: iteration 4 : 397 enodes (cost 15 ) 35.655 * * [simplify]: iteration 5 : 1197 enodes (cost 15 ) 38.184 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 38.185 * [simplify]: Simplified to: (log (sqrt (- (* x x) 1.0))) (exp (sqrt (- (* x x) 1.0))) (* (cbrt (sqrt (- (* x x) 1.0))) (cbrt (sqrt (- (* x x) 1.0)))) (cbrt (sqrt (- (* x x) 1.0))) (pow (sqrt (- (* x x) 1.0)) 3) (fabs (cbrt (- (* x x) 1.0))) (sqrt (cbrt (- (* x x) 1.0))) (sqrt (sqrt (- (* x x) 1.0))) (sqrt (sqrt (- (* x x) 1.0))) 1 (sqrt (- (* x x) 1.0)) (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))) (sqrt (- (pow x 6) (pow 1.0 3))) (sqrt (+ (* 1.0 (+ 1.0 (* x x))) (pow x 4))) (sqrt (- (pow x 4) (* 1.0 1.0))) (sqrt (+ (* x x) 1.0)) 1/2 (sqrt (sqrt (- (* x x) 1.0))) (sqrt (sqrt (- (* x x) 1.0))) (exp (+ x (sqrt (- (* x x) 1.0)))) (log (+ x (sqrt (- (* x x) 1.0)))) (exp (+ x (sqrt (- (* x x) 1.0)))) (* (cbrt (+ x (sqrt (- (* x x) 1.0)))) (cbrt (+ x (sqrt (- (* x x) 1.0))))) (cbrt (+ x (sqrt (- (* x x) 1.0)))) (pow (+ x (sqrt (- (* x x) 1.0))) 3) (sqrt (+ x (sqrt (- (* x x) 1.0)))) (sqrt (+ x (sqrt (- (* x x) 1.0)))) (+ (pow x 3) (pow (sqrt (- (* x x) 1.0)) 3)) (- (* x (- x (- (sqrt (- (* x x) 1.0)) x))) 1.0) 1.0 (- x (sqrt (- (* x x) 1.0))) (+ x (sqrt (- (* x x) 1.0))) (- (sqrt (neg 1.0)) (* (/ (pow x 2) (sqrt (neg 1.0))) (- (* 1/8 (/ (pow x 2) (neg 1.0))) 1/2))) (- (- x (/ 0.5 x)) (/ 0.125 (pow x 3))) (+ (/ 0.125 (pow x 3)) (- (/ 0.5 x) x)) (+ (* 1/2 (/ (pow x 2) (sqrt (neg 1.0)))) (+ x (sqrt (neg 1.0)))) (- (- (* 2 x) (/ 0.5 x)) (/ 0.125 (pow x 3))) (+ (+ (/ 0.5 x) (/ 0.125 (pow x 3))) (/ 0.0625 (pow x 5))) 38.185 * * * [progress]: adding candidates to table 38.249 * * [progress]: iteration 2 / 4 38.249 * * * [progress]: picking best candidate 38.253 * * * * [pick]: Picked # 38.253 * * * [progress]: localizing error 38.264 * * * [progress]: generating rewritten candidates 38.265 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 38.279 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 38.288 * * * [progress]: generating series expansions 38.288 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 38.288 * [approximate]: Taking taylor expansion of (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) in (x) around 0 38.288 * [taylor]: Taking taylor expansion of (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) in x 38.288 * [taylor]: Taking taylor expansion of (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) in x 38.288 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 38.288 * [taylor]: Taking taylor expansion of x in x 38.288 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.288 * [taylor]: Taking taylor expansion of 1.0 in x 38.288 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 38.288 * [taylor]: Taking taylor expansion of x in x 38.288 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.288 * [taylor]: Taking taylor expansion of 1.0 in x 38.289 * [taylor]: Taking taylor expansion of (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) in x 38.289 * [taylor]: Taking taylor expansion of (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) in x 38.289 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 38.289 * [taylor]: Taking taylor expansion of x in x 38.289 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.289 * [taylor]: Taking taylor expansion of 1.0 in x 38.289 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 38.289 * [taylor]: Taking taylor expansion of x in x 38.289 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.289 * [taylor]: Taking taylor expansion of 1.0 in x 38.291 * [approximate]: Taking taylor expansion of (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (/ 1 x) (sqrt 1.0)))) in (x) around 0 38.291 * [taylor]: Taking taylor expansion of (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (/ 1 x) (sqrt 1.0)))) in x 38.291 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (+ (/ 1 x) (sqrt 1.0))) in x 38.291 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 38.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.291 * [taylor]: Taking taylor expansion of x in x 38.291 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.291 * [taylor]: Taking taylor expansion of 1.0 in x 38.292 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (sqrt 1.0)) in x 38.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.292 * [taylor]: Taking taylor expansion of x in x 38.292 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.292 * [taylor]: Taking taylor expansion of 1.0 in x 38.292 * [taylor]: Taking taylor expansion of (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (/ 1 x) (sqrt 1.0)))) in x 38.292 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (+ (/ 1 x) (sqrt 1.0))) in x 38.292 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 38.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.292 * [taylor]: Taking taylor expansion of x in x 38.292 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.292 * [taylor]: Taking taylor expansion of 1.0 in x 38.292 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (sqrt 1.0)) in x 38.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.292 * [taylor]: Taking taylor expansion of x in x 38.292 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.292 * [taylor]: Taking taylor expansion of 1.0 in x 38.294 * [approximate]: Taking taylor expansion of (* (sqrt (- (sqrt 1.0) (/ 1 x))) (sqrt (neg (+ (/ 1 x) (sqrt 1.0))))) in (x) around 0 38.294 * [taylor]: Taking taylor expansion of (* (sqrt (- (sqrt 1.0) (/ 1 x))) (sqrt (neg (+ (/ 1 x) (sqrt 1.0))))) in x 38.294 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x 38.294 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 38.294 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.294 * [taylor]: Taking taylor expansion of 1.0 in x 38.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.295 * [taylor]: Taking taylor expansion of x in x 38.295 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 x) (sqrt 1.0)))) in x 38.295 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) (sqrt 1.0))) in x 38.295 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (sqrt 1.0)) in x 38.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.295 * [taylor]: Taking taylor expansion of x in x 38.295 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.295 * [taylor]: Taking taylor expansion of 1.0 in x 38.295 * [taylor]: Taking taylor expansion of (* (sqrt (- (sqrt 1.0) (/ 1 x))) (sqrt (neg (+ (/ 1 x) (sqrt 1.0))))) in x 38.295 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x 38.295 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 38.295 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.295 * [taylor]: Taking taylor expansion of 1.0 in x 38.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.295 * [taylor]: Taking taylor expansion of x in x 38.295 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 x) (sqrt 1.0)))) in x 38.295 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) (sqrt 1.0))) in x 38.295 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (sqrt 1.0)) in x 38.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.295 * [taylor]: Taking taylor expansion of x in x 38.295 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.295 * [taylor]: Taking taylor expansion of 1.0 in x 38.301 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 38.301 * [approximate]: Taking taylor expansion of (+ x (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) in (x) around 0 38.301 * [taylor]: Taking taylor expansion of (+ x (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) in x 38.301 * [taylor]: Taking taylor expansion of x in x 38.301 * [taylor]: Taking taylor expansion of (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) in x 38.301 * [taylor]: Taking taylor expansion of (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) in x 38.301 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 38.301 * [taylor]: Taking taylor expansion of x in x 38.301 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.301 * [taylor]: Taking taylor expansion of 1.0 in x 38.301 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 38.301 * [taylor]: Taking taylor expansion of x in x 38.301 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.301 * [taylor]: Taking taylor expansion of 1.0 in x 38.301 * [taylor]: Taking taylor expansion of (+ x (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))))) in x 38.301 * [taylor]: Taking taylor expansion of x in x 38.301 * [taylor]: Taking taylor expansion of (sqrt (* (+ x (sqrt 1.0)) (- x (sqrt 1.0)))) in x 38.302 * [taylor]: Taking taylor expansion of (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) in x 38.302 * [taylor]: Taking taylor expansion of (+ x (sqrt 1.0)) in x 38.302 * [taylor]: Taking taylor expansion of x in x 38.302 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.302 * [taylor]: Taking taylor expansion of 1.0 in x 38.302 * [taylor]: Taking taylor expansion of (- x (sqrt 1.0)) in x 38.302 * [taylor]: Taking taylor expansion of x in x 38.302 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.302 * [taylor]: Taking taylor expansion of 1.0 in x 38.303 * [approximate]: Taking taylor expansion of (+ (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (/ 1 x) (sqrt 1.0)))) (/ 1 x)) in (x) around 0 38.303 * [taylor]: Taking taylor expansion of (+ (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (/ 1 x) (sqrt 1.0)))) (/ 1 x)) in x 38.303 * [taylor]: Taking taylor expansion of (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (/ 1 x) (sqrt 1.0)))) in x 38.303 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (+ (/ 1 x) (sqrt 1.0))) in x 38.303 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 38.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.303 * [taylor]: Taking taylor expansion of x in x 38.303 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.303 * [taylor]: Taking taylor expansion of 1.0 in x 38.303 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (sqrt 1.0)) in x 38.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.303 * [taylor]: Taking taylor expansion of x in x 38.303 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.304 * [taylor]: Taking taylor expansion of 1.0 in x 38.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.304 * [taylor]: Taking taylor expansion of x in x 38.304 * [taylor]: Taking taylor expansion of (+ (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (/ 1 x) (sqrt 1.0)))) (/ 1 x)) in x 38.304 * [taylor]: Taking taylor expansion of (sqrt (* (- (/ 1 x) (sqrt 1.0)) (+ (/ 1 x) (sqrt 1.0)))) in x 38.304 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (sqrt 1.0)) (+ (/ 1 x) (sqrt 1.0))) in x 38.304 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 1.0)) in x 38.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.304 * [taylor]: Taking taylor expansion of x in x 38.304 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.304 * [taylor]: Taking taylor expansion of 1.0 in x 38.304 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (sqrt 1.0)) in x 38.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.304 * [taylor]: Taking taylor expansion of x in x 38.304 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.304 * [taylor]: Taking taylor expansion of 1.0 in x 38.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.304 * [taylor]: Taking taylor expansion of x in x 38.307 * [approximate]: Taking taylor expansion of (- (* (sqrt (- (sqrt 1.0) (/ 1 x))) (sqrt (neg (+ (/ 1 x) (sqrt 1.0))))) (/ 1 x)) in (x) around 0 38.307 * [taylor]: Taking taylor expansion of (- (* (sqrt (- (sqrt 1.0) (/ 1 x))) (sqrt (neg (+ (/ 1 x) (sqrt 1.0))))) (/ 1 x)) in x 38.307 * [taylor]: Taking taylor expansion of (* (sqrt (- (sqrt 1.0) (/ 1 x))) (sqrt (neg (+ (/ 1 x) (sqrt 1.0))))) in x 38.307 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x 38.307 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 38.307 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.307 * [taylor]: Taking taylor expansion of 1.0 in x 38.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.307 * [taylor]: Taking taylor expansion of x in x 38.307 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 x) (sqrt 1.0)))) in x 38.307 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) (sqrt 1.0))) in x 38.307 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (sqrt 1.0)) in x 38.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.307 * [taylor]: Taking taylor expansion of x in x 38.307 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.307 * [taylor]: Taking taylor expansion of 1.0 in x 38.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.307 * [taylor]: Taking taylor expansion of x in x 38.307 * [taylor]: Taking taylor expansion of (- (* (sqrt (- (sqrt 1.0) (/ 1 x))) (sqrt (neg (+ (/ 1 x) (sqrt 1.0))))) (/ 1 x)) in x 38.307 * [taylor]: Taking taylor expansion of (* (sqrt (- (sqrt 1.0) (/ 1 x))) (sqrt (neg (+ (/ 1 x) (sqrt 1.0))))) in x 38.307 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt 1.0) (/ 1 x))) in x 38.308 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (/ 1 x)) in x 38.308 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.308 * [taylor]: Taking taylor expansion of 1.0 in x 38.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.308 * [taylor]: Taking taylor expansion of x in x 38.308 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 x) (sqrt 1.0)))) in x 38.308 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) (sqrt 1.0))) in x 38.308 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (sqrt 1.0)) in x 38.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.308 * [taylor]: Taking taylor expansion of x in x 38.308 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 38.308 * [taylor]: Taking taylor expansion of 1.0 in x 38.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.308 * [taylor]: Taking taylor expansion of x in x 38.310 * * * [progress]: simplifying candidates 38.312 * [simplify]: Simplifying using # : (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (+ (log (sqrt (+ x (sqrt 1.0)))) (log (sqrt (- x (sqrt 1.0))))) (log (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (exp (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (* (* (* (sqrt (+ x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0)))) (sqrt (+ x (sqrt 1.0)))) (* (* (sqrt (- x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0))))) (* (cbrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (cbrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (cbrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (* (* (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (* (+ x (sqrt 1.0)) (- x (sqrt 1.0))) (sqrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (sqrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (* (sqrt (+ (pow x 3) (pow (sqrt 1.0) 3))) (sqrt (- (pow x 3) (pow (sqrt 1.0) 3)))) (* (sqrt (+ (* x x) (- (* (sqrt 1.0) (sqrt 1.0)) (* x (sqrt 1.0))))) (sqrt (+ (* x x) (+ (* (sqrt 1.0) (sqrt 1.0)) (* x (sqrt 1.0)))))) (* (sqrt (+ (pow x 3) (pow (sqrt 1.0) 3))) (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0))))) (* (sqrt (+ (* x x) (- (* (sqrt 1.0) (sqrt 1.0)) (* x (sqrt 1.0))))) (sqrt (+ x (sqrt 1.0)))) (* (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0)))) (sqrt (- (pow x 3) (pow (sqrt 1.0) 3)))) (* (sqrt (- x (sqrt 1.0))) (sqrt (+ (* x x) (+ (* (sqrt 1.0) (sqrt 1.0)) (* x (sqrt 1.0)))))) (* (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0)))) (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0))))) (* (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0)))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (+ x (sqrt 1.0))) (* (cbrt (sqrt (- x (sqrt 1.0)))) (cbrt (sqrt (- x (sqrt 1.0)))))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (* (cbrt (- x (sqrt 1.0))) (cbrt (- x (sqrt 1.0)))))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (+ x (sqrt 1.0))) (sqrt 1)) (* (sqrt (+ x (sqrt 1.0))) (sqrt (+ (sqrt x) (sqrt (sqrt 1.0))))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (+ (sqrt x) (sqrt (sqrt 1.0))))) (* (sqrt (+ x (sqrt 1.0))) (sqrt 1)) (* (sqrt (+ x (sqrt 1.0))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (+ x (sqrt 1.0))) 1) (* (cbrt (sqrt (+ x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (cbrt (+ x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- (pow x 3) (pow (sqrt 1.0) 3)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0))))) (* (sqrt (+ (pow x 3) (pow (sqrt 1.0) 3))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (- (* x x) (* (sqrt 1.0) (sqrt 1.0)))) (sqrt (- x (sqrt 1.0)))) (* (exp x) (exp (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (exp (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (* (cbrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (cbrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))) (cbrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (* (* (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (sqrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (sqrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (+ (pow x 3) (pow (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) 3)) (+ (* x x) (- (* (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (* x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))) (- (* x x) (* (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (- x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (- (+ (* 1/2 (/ (pow x 2) (sqrt (* -1 (pow (sqrt 1.0) 2))))) (sqrt (* -1 (pow (sqrt 1.0) 2)))) (* 1/8 (/ (pow x 4) (pow (sqrt (* -1 (pow (sqrt 1.0) 2))) 3)))) (- x (+ (* 1/2 (/ (pow (sqrt 1.0) 2) x)) (* 1/8 (/ (pow (sqrt 1.0) 4) (pow x 3))))) (- (+ (* 3 (/ (pow NAN 6) (pow x 2))) (+ (pow NAN 2) (/ (* (pow NAN 2) (pow (sqrt 1.0) 2)) (pow x 2)))) (* 2 (/ (* (pow NAN 2) (sqrt 1.0)) x))) (+ x (+ (* 1/2 (/ (pow x 2) (sqrt (* -1 (pow (sqrt 1.0) 2))))) (sqrt (* -1 (pow (sqrt 1.0) 2))))) (- (* 2 x) (+ (* 1/2 (/ (pow (sqrt 1.0) 2) x)) (* 1/8 (/ (pow (sqrt 1.0) 4) (pow x 3))))) (- (+ x (pow NAN 2)) (* 2 (/ (* (pow NAN 2) (sqrt 1.0)) x))) 38.312 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 38.313 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 38.315 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 38.319 * * [simplify]: iteration 3 : 53 enodes (cost 9 ) 38.329 * * [simplify]: iteration 4 : 94 enodes (cost 9 ) 38.349 * * [simplify]: iteration 5 : 149 enodes (cost 9 ) 38.389 * * [simplify]: iteration 6 : 214 enodes (cost 9 ) 38.456 * * [simplify]: iteration 7 : 321 enodes (cost 7 ) 38.620 * * [simplify]: iteration 8 : 536 enodes (cost 5 ) 39.187 * * [simplify]: iteration 9 : 1471 enodes (cost 5 ) 45.043 * * [simplify]: iteration 10 : 4633 enodes (cost 5 ) 46.618 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 46.619 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 46.620 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 46.621 * * [simplify]: iteration 2 : 13 enodes (cost 11 ) 46.622 * * [simplify]: iteration done : 13 enodes (cost 11 ) 46.623 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 46.624 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 46.625 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 46.629 * * [simplify]: iteration 3 : 53 enodes (cost 9 ) 46.639 * * [simplify]: iteration 4 : 94 enodes (cost 9 ) 46.665 * * [simplify]: iteration 5 : 149 enodes (cost 9 ) 46.705 * * [simplify]: iteration 6 : 214 enodes (cost 9 ) 46.770 * * [simplify]: iteration 7 : 321 enodes (cost 7 ) 46.930 * * [simplify]: iteration 8 : 536 enodes (cost 5 ) 47.495 * * [simplify]: iteration 9 : 1471 enodes (cost 5 ) 53.606 * * [simplify]: iteration 10 : 4633 enodes (cost 5 ) 55.197 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 55.197 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 55.198 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 55.200 * * [simplify]: iteration 2 : 15 enodes (cost 13 ) 55.209 * * [simplify]: iteration done : 15 enodes (cost 13 ) 55.210 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 55.211 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 55.213 * * [simplify]: iteration 2 : 18 enodes (cost 12 ) 55.214 * * [simplify]: iteration done : 18 enodes (cost 12 ) 55.215 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 55.216 * * [simplify]: iteration 1 : 15 enodes (cost 12 ) 55.218 * * [simplify]: iteration 2 : 22 enodes (cost 12 ) 55.220 * * [simplify]: iteration 3 : 30 enodes (cost 12 ) 55.224 * * [simplify]: iteration 4 : 53 enodes (cost 12 ) 55.232 * * [simplify]: iteration 5 : 109 enodes (cost 12 ) 55.265 * * [simplify]: iteration 6 : 251 enodes (cost 12 ) 55.413 * * [simplify]: iteration 7 : 714 enodes (cost 12 ) 56.479 * * [simplify]: iteration 8 : 2712 enodes (cost 12 ) 58.214 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 58.215 * * [simplify]: iteration 0 : 12 enodes (cost 35 ) 58.217 * * [simplify]: iteration 1 : 22 enodes (cost 21 ) 58.221 * * [simplify]: iteration 2 : 70 enodes (cost 15 ) 58.237 * * [simplify]: iteration 3 : 236 enodes (cost 15 ) 58.327 * * [simplify]: iteration 4 : 617 enodes (cost 13 ) 58.654 * * [simplify]: iteration 5 : 1302 enodes (cost 13 ) 59.688 * * [simplify]: iteration 6 : 2754 enodes (cost 13 ) 60.965 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 60.966 * * [simplify]: iteration 0 : 10 enodes (cost 25 ) 60.967 * * [simplify]: iteration 1 : 14 enodes (cost 25 ) 60.969 * * [simplify]: iteration 2 : 15 enodes (cost 25 ) 60.970 * * [simplify]: iteration done : 15 enodes (cost 25 ) 60.971 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 60.972 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 60.973 * * [simplify]: iteration 2 : 14 enodes (cost 12 ) 60.975 * * [simplify]: iteration done : 14 enodes (cost 12 ) 60.981 * * [simplify]: iteration 0 : 10 enodes (cost 35 ) 60.982 * * [simplify]: iteration 1 : 24 enodes (cost 35 ) 60.987 * * [simplify]: iteration 2 : 54 enodes (cost 13 ) 61.001 * * [simplify]: iteration 3 : 151 enodes (cost 13 ) 61.054 * * [simplify]: iteration 4 : 410 enodes (cost 13 ) 61.232 * * [simplify]: iteration 5 : 795 enodes (cost 13 ) 61.674 * * [simplify]: iteration 6 : 1515 enodes (cost 13 ) 62.983 * * [simplify]: iteration 7 : 3090 enodes (cost 13 ) 64.341 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 64.342 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 64.343 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 64.344 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 64.348 * * [simplify]: iteration 3 : 53 enodes (cost 9 ) 64.358 * * [simplify]: iteration 4 : 94 enodes (cost 9 ) 64.381 * * [simplify]: iteration 5 : 149 enodes (cost 9 ) 64.421 * * [simplify]: iteration 6 : 214 enodes (cost 9 ) 64.487 * * [simplify]: iteration 7 : 321 enodes (cost 7 ) 64.646 * * [simplify]: iteration 8 : 536 enodes (cost 5 ) 65.207 * * [simplify]: iteration 9 : 1471 enodes (cost 5 ) 71.259 * * [simplify]: iteration 10 : 4633 enodes (cost 5 ) 72.835 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 72.836 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 72.837 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 72.844 * * [simplify]: iteration 2 : 14 enodes (cost 12 ) 72.845 * * [simplify]: iteration done : 14 enodes (cost 12 ) 72.846 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 72.847 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 72.848 * * [simplify]: iteration 2 : 14 enodes (cost 12 ) 72.850 * * [simplify]: iteration done : 14 enodes (cost 12 ) 72.850 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 72.852 * * [simplify]: iteration 1 : 28 enodes (cost 19 ) 72.856 * * [simplify]: iteration 2 : 50 enodes (cost 19 ) 72.862 * * [simplify]: iteration 3 : 80 enodes (cost 19 ) 72.876 * * [simplify]: iteration 4 : 169 enodes (cost 19 ) 72.924 * * [simplify]: iteration 5 : 496 enodes (cost 19 ) 73.261 * * [simplify]: iteration 6 : 2257 enodes (cost 19 ) 74.428 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 74.429 * * [simplify]: iteration 0 : 13 enodes (cost 31 ) 74.431 * * [simplify]: iteration 1 : 27 enodes (cost 23 ) 74.435 * * [simplify]: iteration 2 : 49 enodes (cost 23 ) 74.442 * * [simplify]: iteration 3 : 63 enodes (cost 19 ) 74.456 * * [simplify]: iteration 4 : 84 enodes (cost 19 ) 74.470 * * [simplify]: iteration 5 : 105 enodes (cost 19 ) 74.489 * * [simplify]: iteration 6 : 127 enodes (cost 19 ) 74.508 * * [simplify]: iteration 7 : 142 enodes (cost 19 ) 74.531 * * [simplify]: iteration 8 : 177 enodes (cost 19 ) 74.560 * * [simplify]: iteration 9 : 221 enodes (cost 19 ) 74.603 * * [simplify]: iteration 10 : 278 enodes (cost 19 ) 74.645 * * [simplify]: iteration 11 : 313 enodes (cost 19 ) 74.696 * * [simplify]: iteration 12 : 340 enodes (cost 19 ) 74.756 * * [simplify]: iteration 13 : 371 enodes (cost 19 ) 74.816 * * [simplify]: iteration 14 : 393 enodes (cost 19 ) 74.870 * * [simplify]: iteration done : 393 enodes (cost 19 ) 74.871 * * [simplify]: iteration 0 : 13 enodes (cost 20 ) 74.873 * * [simplify]: iteration 1 : 31 enodes (cost 16 ) 74.877 * * [simplify]: iteration 2 : 45 enodes (cost 16 ) 74.882 * * [simplify]: iteration 3 : 77 enodes (cost 16 ) 74.897 * * [simplify]: iteration 4 : 145 enodes (cost 16 ) 74.926 * * [simplify]: iteration 5 : 303 enodes (cost 16 ) 75.041 * * [simplify]: iteration 6 : 759 enodes (cost 16 ) 75.985 * * [simplify]: iteration 7 : 2751 enodes (cost 16 ) 77.867 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 77.867 * * [simplify]: iteration 0 : 12 enodes (cost 21 ) 77.869 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 77.872 * * [simplify]: iteration 2 : 37 enodes (cost 17 ) 77.877 * * [simplify]: iteration 3 : 50 enodes (cost 15 ) 77.888 * * [simplify]: iteration 4 : 70 enodes (cost 15 ) 77.899 * * [simplify]: iteration 5 : 91 enodes (cost 15 ) 77.915 * * [simplify]: iteration 6 : 107 enodes (cost 15 ) 77.927 * * [simplify]: iteration 7 : 119 enodes (cost 15 ) 77.947 * * [simplify]: iteration 8 : 145 enodes (cost 15 ) 77.969 * * [simplify]: iteration 9 : 174 enodes (cost 15 ) 77.999 * * [simplify]: iteration 10 : 199 enodes (cost 15 ) 78.024 * * [simplify]: iteration 11 : 208 enodes (cost 15 ) 78.051 * * [simplify]: iteration 12 : 218 enodes (cost 15 ) 78.082 * * [simplify]: iteration 13 : 237 enodes (cost 15 ) 78.115 * * [simplify]: iteration 14 : 251 enodes (cost 15 ) 78.143 * * [simplify]: iteration done : 251 enodes (cost 15 ) 78.144 * * [simplify]: iteration 0 : 13 enodes (cost 20 ) 78.146 * * [simplify]: iteration 1 : 32 enodes (cost 16 ) 78.150 * * [simplify]: iteration 2 : 57 enodes (cost 16 ) 78.160 * * [simplify]: iteration 3 : 102 enodes (cost 16 ) 78.177 * * [simplify]: iteration 4 : 218 enodes (cost 16 ) 78.239 * * [simplify]: iteration 5 : 596 enodes (cost 16 ) 78.596 * * [simplify]: iteration 6 : 2410 enodes (cost 16 ) 79.826 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 79.827 * * [simplify]: iteration 0 : 12 enodes (cost 21 ) 79.829 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 79.831 * * [simplify]: iteration 2 : 31 enodes (cost 17 ) 79.835 * * [simplify]: iteration 3 : 34 enodes (cost 15 ) 79.839 * * [simplify]: iteration 4 : 35 enodes (cost 15 ) 79.844 * * [simplify]: iteration done : 35 enodes (cost 15 ) 79.844 * * [simplify]: iteration 0 : 8 enodes (cost 21 ) 79.846 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 79.847 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 79.849 * * [simplify]: iteration 3 : 34 enodes (cost 5 ) 79.854 * * [simplify]: iteration 4 : 61 enodes (cost 5 ) 79.865 * * [simplify]: iteration 5 : 100 enodes (cost 5 ) 79.889 * * [simplify]: iteration 6 : 145 enodes (cost 5 ) 79.933 * * [simplify]: iteration 7 : 282 enodes (cost 5 ) 80.376 * * [simplify]: iteration 8 : 1354 enodes (cost 5 ) 84.839 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 84.840 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 84.841 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 84.842 * * [simplify]: iteration 2 : 13 enodes (cost 11 ) 84.843 * * [simplify]: iteration done : 13 enodes (cost 11 ) 84.844 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 84.845 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 84.846 * * [simplify]: iteration 2 : 15 enodes (cost 13 ) 84.847 * * [simplify]: iteration done : 15 enodes (cost 13 ) 84.848 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 84.849 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 84.851 * * [simplify]: iteration 2 : 15 enodes (cost 13 ) 84.852 * * [simplify]: iteration done : 15 enodes (cost 13 ) 84.853 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 84.854 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 84.855 * * [simplify]: iteration 2 : 15 enodes (cost 13 ) 84.856 * * [simplify]: iteration done : 15 enodes (cost 13 ) 84.857 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 84.858 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 84.859 * * [simplify]: iteration 2 : 15 enodes (cost 13 ) 84.865 * * [simplify]: iteration done : 15 enodes (cost 13 ) 84.866 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 84.867 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 84.868 * * [simplify]: iteration 2 : 15 enodes (cost 13 ) 84.869 * * [simplify]: iteration done : 15 enodes (cost 13 ) 84.870 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 84.871 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 84.872 * * [simplify]: iteration 2 : 15 enodes (cost 13 ) 84.874 * * [simplify]: iteration done : 15 enodes (cost 13 ) 84.874 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 84.875 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 84.877 * * [simplify]: iteration 2 : 15 enodes (cost 13 ) 84.879 * * [simplify]: iteration done : 15 enodes (cost 13 ) 84.879 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 84.880 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 84.882 * * [simplify]: iteration 2 : 15 enodes (cost 13 ) 84.883 * * [simplify]: iteration done : 15 enodes (cost 13 ) 84.884 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 84.886 * * [simplify]: iteration 1 : 16 enodes (cost 19 ) 84.887 * * [simplify]: iteration 2 : 19 enodes (cost 19 ) 84.890 * * [simplify]: iteration done : 19 enodes (cost 19 ) 84.890 * * [simplify]: iteration 0 : 10 enodes (cost 18 ) 84.891 * * [simplify]: iteration 1 : 15 enodes (cost 12 ) 84.893 * * [simplify]: iteration 2 : 16 enodes (cost 12 ) 84.894 * * [simplify]: iteration done : 16 enodes (cost 12 ) 84.895 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 84.896 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 84.897 * * [simplify]: iteration 2 : 14 enodes (cost 12 ) 84.898 * * [simplify]: iteration done : 14 enodes (cost 12 ) 84.899 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 84.900 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 84.901 * * [simplify]: iteration done : 12 enodes (cost 7 ) 84.902 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 84.903 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 84.904 * * [simplify]: iteration done : 13 enodes (cost 13 ) 84.904 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 84.905 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 84.907 * * [simplify]: iteration done : 13 enodes (cost 13 ) 84.907 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 84.908 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 84.909 * * [simplify]: iteration done : 12 enodes (cost 7 ) 84.910 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 84.911 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 84.912 * * [simplify]: iteration 2 : 14 enodes (cost 12 ) 84.913 * * [simplify]: iteration done : 14 enodes (cost 12 ) 84.914 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 84.915 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 84.916 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 84.917 * * [simplify]: iteration done : 14 enodes (cost 5 ) 84.918 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 84.918 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 84.920 * * [simplify]: iteration 2 : 14 enodes (cost 12 ) 84.921 * * [simplify]: iteration done : 14 enodes (cost 12 ) 84.922 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 84.923 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 84.924 * * [simplify]: iteration 2 : 14 enodes (cost 12 ) 84.925 * * [simplify]: iteration done : 14 enodes (cost 12 ) 84.926 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 84.927 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 84.928 * * [simplify]: iteration 2 : 14 enodes (cost 12 ) 84.930 * * [simplify]: iteration done : 14 enodes (cost 12 ) 84.930 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 84.932 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 84.933 * * [simplify]: iteration 2 : 13 enodes (cost 11 ) 84.937 * * [simplify]: iteration done : 13 enodes (cost 11 ) 84.937 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 84.938 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 84.939 * * [simplify]: iteration 2 : 13 enodes (cost 11 ) 84.941 * * [simplify]: iteration done : 13 enodes (cost 11 ) 84.942 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 84.943 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 84.944 * * [simplify]: iteration 2 : 14 enodes (cost 12 ) 84.945 * * [simplify]: iteration done : 14 enodes (cost 12 ) 84.946 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 84.947 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 84.948 * * [simplify]: iteration 2 : 13 enodes (cost 11 ) 84.950 * * [simplify]: iteration done : 13 enodes (cost 11 ) 84.950 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 84.952 * * [simplify]: iteration 1 : 28 enodes (cost 15 ) 84.956 * * [simplify]: iteration 2 : 50 enodes (cost 15 ) 84.962 * * [simplify]: iteration 3 : 80 enodes (cost 15 ) 84.975 * * [simplify]: iteration 4 : 168 enodes (cost 15 ) 85.023 * * [simplify]: iteration 5 : 495 enodes (cost 15 ) 85.354 * * [simplify]: iteration 6 : 2257 enodes (cost 15 ) 86.559 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 86.560 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 86.561 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 86.563 * * [simplify]: iteration 2 : 20 enodes (cost 12 ) 86.565 * * [simplify]: iteration 3 : 35 enodes (cost 12 ) 86.570 * * [simplify]: iteration 4 : 62 enodes (cost 12 ) 86.581 * * [simplify]: iteration 5 : 101 enodes (cost 12 ) 86.606 * * [simplify]: iteration 6 : 154 enodes (cost 12 ) 86.651 * * [simplify]: iteration 7 : 291 enodes (cost 12 ) 87.126 * * [simplify]: iteration 8 : 1365 enodes (cost 12 ) 91.718 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 91.719 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 91.721 * * [simplify]: iteration 1 : 28 enodes (cost 15 ) 91.724 * * [simplify]: iteration 2 : 38 enodes (cost 15 ) 91.729 * * [simplify]: iteration 3 : 55 enodes (cost 15 ) 91.736 * * [simplify]: iteration 4 : 96 enodes (cost 15 ) 91.758 * * [simplify]: iteration 5 : 211 enodes (cost 15 ) 91.853 * * [simplify]: iteration 6 : 622 enodes (cost 15 ) 92.744 * * [simplify]: iteration 7 : 2457 enodes (cost 15 ) 94.625 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 94.626 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 94.627 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 94.629 * * [simplify]: iteration 2 : 27 enodes (cost 12 ) 94.633 * * [simplify]: iteration 3 : 54 enodes (cost 12 ) 94.642 * * [simplify]: iteration 4 : 81 enodes (cost 12 ) 94.658 * * [simplify]: iteration 5 : 138 enodes (cost 12 ) 94.697 * * [simplify]: iteration 6 : 269 enodes (cost 12 ) 95.112 * * [simplify]: iteration 7 : 1304 enodes (cost 12 ) 99.566 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 99.566 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 99.568 * * [simplify]: iteration 1 : 20 enodes (cost 14 ) 99.570 * * [simplify]: iteration 2 : 28 enodes (cost 14 ) 99.573 * * [simplify]: iteration 3 : 40 enodes (cost 14 ) 99.579 * * [simplify]: iteration 4 : 75 enodes (cost 14 ) 99.592 * * [simplify]: iteration 5 : 165 enodes (cost 14 ) 99.652 * * [simplify]: iteration 6 : 416 enodes (cost 14 ) 99.978 * * [simplify]: iteration 7 : 1276 enodes (cost 14 ) 102.882 * * [simplify]: iteration 8 : 4972 enodes (cost 14 ) 104.782 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 104.783 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 104.784 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 104.785 * * [simplify]: iteration 2 : 16 enodes (cost 14 ) 104.787 * * [simplify]: iteration done : 16 enodes (cost 14 ) 104.788 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 104.789 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 104.791 * * [simplify]: iteration 2 : 24 enodes (cost 14 ) 104.794 * * [simplify]: iteration 3 : 31 enodes (cost 14 ) 104.797 * * [simplify]: iteration 4 : 49 enodes (cost 14 ) 104.805 * * [simplify]: iteration 5 : 103 enodes (cost 14 ) 104.824 * * [simplify]: iteration 6 : 236 enodes (cost 14 ) 104.925 * * [simplify]: iteration 7 : 613 enodes (cost 14 ) 105.504 * * [simplify]: iteration 8 : 1971 enodes (cost 14 ) 106.796 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 106.797 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 106.798 * * [simplify]: iteration 1 : 16 enodes (cost 29 ) 106.800 * * [simplify]: iteration 2 : 17 enodes (cost 29 ) 106.802 * * [simplify]: iteration done : 17 enodes (cost 29 ) 106.802 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 106.803 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 106.805 * * [simplify]: iteration 2 : 16 enodes (cost 14 ) 106.807 * * [simplify]: iteration done : 16 enodes (cost 14 ) 106.808 * * [simplify]: iteration 0 : 11 enodes (cost 41 ) 106.809 * * [simplify]: iteration 1 : 29 enodes (cost 41 ) 106.814 * * [simplify]: iteration 2 : 78 enodes (cost 15 ) 106.833 * * [simplify]: iteration 3 : 231 enodes (cost 15 ) 106.927 * * [simplify]: iteration 4 : 601 enodes (cost 15 ) 107.309 * * [simplify]: iteration 5 : 1613 enodes (cost 15 ) 109.021 * * [simplify]: iteration done : 5002 enodes (cost 15 ) 109.022 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 109.023 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 109.025 * * [simplify]: iteration 2 : 16 enodes (cost 14 ) 109.026 * * [simplify]: iteration done : 16 enodes (cost 14 ) 109.027 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 109.028 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 109.030 * * [simplify]: iteration 2 : 16 enodes (cost 14 ) 109.035 * * [simplify]: iteration done : 16 enodes (cost 14 ) 109.035 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 109.037 * * [simplify]: iteration 1 : 33 enodes (cost 17 ) 109.042 * * [simplify]: iteration 2 : 72 enodes (cost 17 ) 109.058 * * [simplify]: iteration 3 : 149 enodes (cost 17 ) 109.109 * * [simplify]: iteration 4 : 382 enodes (cost 17 ) 109.313 * * [simplify]: iteration 5 : 1218 enodes (cost 17 ) 110.597 * * [simplify]: iteration 6 : 4136 enodes (cost 17 ) 112.422 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 112.423 * * [simplify]: iteration 0 : 13 enodes (cost 41 ) 112.425 * * [simplify]: iteration 1 : 34 enodes (cost 29 ) 112.431 * * [simplify]: iteration 2 : 77 enodes (cost 27 ) 112.449 * * [simplify]: iteration 3 : 161 enodes (cost 25 ) 112.493 * * [simplify]: iteration 4 : 323 enodes (cost 25 ) 112.635 * * [simplify]: iteration 5 : 729 enodes (cost 25 ) 113.203 * * [simplify]: iteration 6 : 1616 enodes (cost 25 ) 115.516 * * [simplify]: iteration 7 : 3534 enodes (cost 25 ) 117.338 * * [simplify]: iteration done : 5001 enodes (cost 25 ) 117.339 * * [simplify]: iteration 0 : 11 enodes (cost 27 ) 117.340 * * [simplify]: iteration 1 : 27 enodes (cost 27 ) 117.344 * * [simplify]: iteration 2 : 58 enodes (cost 13 ) 117.357 * * [simplify]: iteration 3 : 165 enodes (cost 13 ) 117.404 * * [simplify]: iteration 4 : 377 enodes (cost 13 ) 117.569 * * [simplify]: iteration 5 : 789 enodes (cost 13 ) 118.114 * * [simplify]: iteration 6 : 2200 enodes (cost 11 ) 120.061 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 120.061 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 120.063 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 120.064 * * [simplify]: iteration 2 : 23 enodes (cost 13 ) 120.067 * * [simplify]: iteration done : 23 enodes (cost 13 ) 120.068 * * [simplify]: iteration 0 : 21 enodes (cost 37 ) 120.071 * * [simplify]: iteration 1 : 52 enodes (cost 34 ) 120.081 * * [simplify]: iteration 2 : 153 enodes (cost 25 ) 120.119 * * [simplify]: iteration 3 : 599 enodes (cost 25 ) 120.793 * * [simplify]: iteration 4 : 4050 enodes (cost 21 ) 122.307 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 122.308 * * [simplify]: iteration 0 : 17 enodes (cost 21 ) 122.310 * * [simplify]: iteration 1 : 43 enodes (cost 21 ) 122.324 * * [simplify]: iteration 2 : 120 enodes (cost 17 ) 122.344 * * [simplify]: iteration 3 : 377 enodes (cost 17 ) 122.579 * * [simplify]: iteration 4 : 1855 enodes (cost 15 ) 123.929 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 123.930 * * [simplify]: iteration 0 : 21 enodes (cost 37 ) 123.933 * * [simplify]: iteration 1 : 55 enodes (cost 37 ) 123.949 * * [simplify]: iteration 2 : 213 enodes (cost 34 ) 123.994 * * [simplify]: iteration 3 : 573 enodes (cost 34 ) 124.343 * * [simplify]: iteration 4 : 2610 enodes (cost 28 ) 125.354 * * [simplify]: iteration done : 5000 enodes (cost 28 ) 125.355 * * [simplify]: iteration 0 : 14 enodes (cost 23 ) 125.357 * * [simplify]: iteration 1 : 31 enodes (cost 21 ) 125.362 * * [simplify]: iteration 2 : 72 enodes (cost 15 ) 125.370 * * [simplify]: iteration 3 : 107 enodes (cost 15 ) 125.390 * * [simplify]: iteration 4 : 180 enodes (cost 15 ) 125.427 * * [simplify]: iteration 5 : 359 enodes (cost 15 ) 125.632 * * [simplify]: iteration 6 : 888 enodes (cost 15 ) 127.506 * * [simplify]: iteration 7 : 3030 enodes (cost 15 ) 130.336 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 130.337 * * [simplify]: iteration 0 : 18 enodes (cost 23 ) 130.340 * * [simplify]: iteration 1 : 45 enodes (cost 23 ) 130.352 * * [simplify]: iteration 2 : 122 enodes (cost 19 ) 130.372 * * [simplify]: iteration 3 : 379 enodes (cost 19 ) 130.603 * * [simplify]: iteration 4 : 1856 enodes (cost 17 ) 131.897 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 131.898 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 131.899 * * [simplify]: iteration 1 : 27 enodes (cost 16 ) 131.909 * * [simplify]: iteration 2 : 77 enodes (cost 16 ) 131.921 * * [simplify]: iteration 3 : 190 enodes (cost 16 ) 131.992 * * [simplify]: iteration 4 : 627 enodes (cost 16 ) 132.777 * * [simplify]: iteration 5 : 2655 enodes (cost 14 ) 134.206 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 134.207 * [simplify]: Simplified to: (- (* x x) 1.0) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (- (* x x) 1.0) (+ (log (sqrt (+ x (sqrt 1.0)))) (log (sqrt (- x (sqrt 1.0))))) (log (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (exp (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (pow (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) 3) (* (cbrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (cbrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (cbrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (pow (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) 3) (- (* x x) 1.0) (sqrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (sqrt (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (* (sqrt (+ (pow x 3) (pow (sqrt 1.0) 3))) (sqrt (- (pow x 3) (pow (sqrt 1.0) 3)))) (* (sqrt (- 1.0 (* x (- (sqrt 1.0) x)))) (sqrt (+ (* x (+ (sqrt 1.0) x)) 1.0))) (* (sqrt (- (* x x) 1.0)) (sqrt (+ (pow x 3) (pow (sqrt 1.0) 3)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- 1.0 (* x (- (sqrt 1.0) x))))) (* (sqrt (- (pow x 3) (pow (sqrt 1.0) 3))) (sqrt (- (* x x) 1.0))) (* (sqrt (- x (sqrt 1.0))) (sqrt (+ 1.0 (* x (+ (sqrt 1.0) x))))) (- (* x x) 1.0) (* (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0)))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (sqrt (- x (sqrt 1.0))))) (* (sqrt (+ x (sqrt 1.0))) (* (cbrt (sqrt (- x (sqrt 1.0)))) (cbrt (sqrt (- x (sqrt 1.0)))))) (* (sqrt (+ x (sqrt 1.0))) (fabs (cbrt (- x (sqrt 1.0))))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (sqrt (- x (sqrt 1.0))))) (* 1 (sqrt (+ x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (+ (sqrt x) (sqrt (sqrt 1.0))))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (+ (sqrt x) (sqrt (sqrt 1.0))))) (* 1 (sqrt (+ x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (sqrt (- x (sqrt 1.0))))) (sqrt (+ x (sqrt 1.0))) (* (cbrt (sqrt (+ x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (cbrt (+ x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (sqrt (+ x (sqrt 1.0)))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- (pow x 3) (pow (sqrt 1.0) 3)))) (* (sqrt (+ x (sqrt 1.0))) (sqrt (- (* x x) 1.0))) (* (sqrt (+ (pow x 3) (pow (sqrt 1.0) 3))) (sqrt (- x (sqrt 1.0)))) (* (sqrt (- x (sqrt 1.0))) (sqrt (- (* x x) 1.0))) (exp (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (exp (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (* (cbrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (cbrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))) (cbrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (pow (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) 3) (sqrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (sqrt (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) (+ (pow x 3) (pow (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) 3)) (- (* (- x (sqrt 1.0)) (+ x (sqrt 1.0))) (* x (- (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))) x))) (- 0 (* (sqrt 1.0) (- (- x (sqrt 1.0)) x))) (- x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))) (- (sqrt (neg 1.0)) (* (/ (pow x 2) (sqrt (neg 1.0))) (- (* -1/8 (/ (pow x 2) 1.0)) 1/2))) (+ x (* (/ 1.0 x) (- -1/2 (* 1/8 (/ 1.0 (* x x)))))) (+ (* (/ (pow NAN 2) x) (+ (* (sqrt 1.0) -2) (/ 1.0 x))) (+ (* 3 (/ (pow NAN 6) (pow x 2))) (pow NAN 2))) (+ (+ x (sqrt (neg 1.0))) (/ (* 1/2 (pow x 2)) (sqrt (neg 1.0)))) (+ (* 2 x) (* (/ 1.0 x) (- -1/2 (/ (* 1/8 1.0) (* x x))))) (+ x (* NAN (+ NAN (/ (* NAN -2) (/ x (sqrt 1.0)))))) 134.207 * * * [progress]: adding candidates to table 134.356 * [progress]: [Phase 3 of 3] Extracting. 134.359 * [simplify]: Simplifying using # : (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) 134.360 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 134.360 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 134.361 * * [simplify]: iteration done : 13 enodes (cost 14 ) 134.361 * [simplify]: Simplified to: (log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0)))))) 137.751 * [regime-testing]: End program error score: 0.042880360045005624