9.718 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.033 * * * [progress]: [2/2] Setting up program. 0.035 * [progress]: [Phase 2 of 3] Improving. 0.035 * [simplify]: Simplifying using # : (- (log x) (log (log x))) 0.038 * * [simplify]: iteration 0 : 6 enodes (cost 4 ) 0.039 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 0.041 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 0.041 * [simplify]: Simplified to: (- (log x) (log (log x))) 0.041 * * [progress]: iteration 1 / 4 0.041 * * * [progress]: picking best candidate 0.043 * * * * [pick]: Picked # 0.043 * * * [progress]: localizing error 0.048 * * * [progress]: generating rewritten candidates 0.048 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.054 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.057 * * * [progress]: generating series expansions 0.057 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.057 * [approximate]: Taking taylor expansion of (- (log x) (log (log x))) in (x) around 0 0.057 * [taylor]: Taking taylor expansion of (- (log x) (log (log x))) in x 0.057 * [taylor]: Taking taylor expansion of (log x) in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.058 * [taylor]: Taking taylor expansion of (log x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of (- (log x) (log (log x))) in x 0.059 * [taylor]: Taking taylor expansion of (log x) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.059 * [taylor]: Taking taylor expansion of (log x) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.160 * [approximate]: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in (x) around 0 0.160 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in x 0.160 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.160 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.161 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in x 0.161 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.161 * [taylor]: Taking taylor expansion of x in x 0.162 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.162 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.162 * [taylor]: Taking taylor expansion of x in x 0.271 * [approximate]: Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in (x) around 0 0.271 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in x 0.271 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.271 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.271 * [taylor]: Taking taylor expansion of -1 in x 0.271 * [taylor]: Taking taylor expansion of x in x 0.271 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.272 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.272 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.272 * [taylor]: Taking taylor expansion of -1 in x 0.272 * [taylor]: Taking taylor expansion of x in x 0.273 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in x 0.273 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.273 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.273 * [taylor]: Taking taylor expansion of -1 in x 0.273 * [taylor]: Taking taylor expansion of x in x 0.274 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.274 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.274 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.274 * [taylor]: Taking taylor expansion of -1 in x 0.274 * [taylor]: Taking taylor expansion of x in x 0.399 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.399 * [approximate]: Taking taylor expansion of (log (log x)) in (x) around 0 0.399 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.399 * [taylor]: Taking taylor expansion of (log x) in x 0.399 * [taylor]: Taking taylor expansion of x in x 0.400 * [taylor]: Taking taylor expansion of (log (log x)) in x 0.400 * [taylor]: Taking taylor expansion of (log x) in x 0.400 * [taylor]: Taking taylor expansion of x in x 0.463 * [approximate]: Taking taylor expansion of (log (log (/ 1 x))) in (x) around 0 0.463 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.463 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.463 * [taylor]: Taking taylor expansion of x in x 0.465 * [taylor]: Taking taylor expansion of (log (log (/ 1 x))) in x 0.465 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.465 * [taylor]: Taking taylor expansion of x in x 0.532 * [approximate]: Taking taylor expansion of (log (log (/ -1 x))) in (x) around 0 0.532 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.532 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.532 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.532 * [taylor]: Taking taylor expansion of -1 in x 0.532 * [taylor]: Taking taylor expansion of x in x 0.534 * [taylor]: Taking taylor expansion of (log (log (/ -1 x))) in x 0.534 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.534 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.534 * [taylor]: Taking taylor expansion of -1 in x 0.534 * [taylor]: Taking taylor expansion of x in x 0.618 * * * [progress]: simplifying candidates 0.619 * [simplify]: Simplifying using # : (fma 1 (log x) (- (* (log (log x)) 1))) (fma (- (log (log x))) 1 (* (log (log x)) 1)) (fma 1 (log x) (- (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x))))))) (fma (- (cbrt (log (log x)))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))))) (fma 1 (log x) (- (* (sqrt (log (log x))) (sqrt (log (log x)))))) (fma (- (sqrt (log (log x)))) (sqrt (log (log x))) (* (sqrt (log (log x))) (sqrt (log (log x))))) (fma 1 (log x) (- (* (log (log x)) 1))) (fma (- (log (log x))) 1 (* (log (log x)) 1)) (fma (* (cbrt (log x)) (cbrt (log x))) (cbrt (log x)) (- (* (log (log x)) 1))) (fma (- (log (log x))) 1 (* (log (log x)) 1)) (fma (* (cbrt (log x)) (cbrt (log x))) (cbrt (log x)) (- (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x))))))) (fma (- (cbrt (log (log x)))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))))) (fma (* (cbrt (log x)) (cbrt (log x))) (cbrt (log x)) (- (* (sqrt (log (log x))) (sqrt (log (log x)))))) (fma (- (sqrt (log (log x)))) (sqrt (log (log x))) (* (sqrt (log (log x))) (sqrt (log (log x))))) (fma (* (cbrt (log x)) (cbrt (log x))) (cbrt (log x)) (- (* (log (log x)) 1))) (fma (- (log (log x))) 1 (* (log (log x)) 1)) (fma (sqrt (log x)) (sqrt (log x)) (- (* (log (log x)) 1))) (fma (- (log (log x))) 1 (* (log (log x)) 1)) (fma (sqrt (log x)) (sqrt (log x)) (- (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x))))))) (fma (- (cbrt (log (log x)))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))))) (fma (sqrt (log x)) (sqrt (log x)) (- (* (sqrt (log (log x))) (sqrt (log (log x)))))) (fma (- (sqrt (log (log x)))) (sqrt (log (log x))) (* (sqrt (log (log x))) (sqrt (log (log x))))) (fma (sqrt (log x)) (sqrt (log x)) (- (* (log (log x)) 1))) (fma (- (log (log x))) 1 (* (log (log x)) 1)) (fma 1 (log x) (- (* (log (log x)) 1))) (fma (- (log (log x))) 1 (* (log (log x)) 1)) (fma 1 (log x) (- (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x))))))) (fma (- (cbrt (log (log x)))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))))) (fma 1 (log x) (- (* (sqrt (log (log x))) (sqrt (log (log x)))))) (fma (- (sqrt (log (log x)))) (sqrt (log (log x))) (* (sqrt (log (log x))) (sqrt (log (log x))))) (fma 1 (log x) (- (* (log (log x)) 1))) (fma (- (log (log x))) 1 (* (log (log x)) 1)) (expm1 (- (log x) (log (log x)))) (log1p (- (log x) (log (log x)))) (- (log (log x))) (- (log (log x))) (- (log (log x))) (- (log (log x))) (/ x (log x)) (log (- (log x) (log (log x)))) (exp (- (log x) (log (log x)))) (* (cbrt (- (log x) (log (log x)))) (cbrt (- (log x) (log (log x))))) (cbrt (- (log x) (log (log x)))) (* (* (- (log x) (log (log x))) (- (log x) (log (log x)))) (- (log x) (log (log x)))) (sqrt (- (log x) (log (log x)))) (sqrt (- (log x) (log (log x)))) (- (pow (log x) 3) (pow (log (log x)) 3)) (+ (* (log x) (log x)) (+ (* (log (log x)) (log (log x))) (* (log x) (log (log x))))) (- (log (log x))) (- (* (log x) (log x)) (* (log (log x)) (log (log x)))) (+ (log x) (log (log x))) (+ (sqrt (log x)) (sqrt (log (log x)))) (- (sqrt (log x)) (sqrt (log (log x)))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log 1)) (- (log x) (log (* (cbrt (log x)) (cbrt (log x))))) (- (log x) (log (sqrt (log x)))) (- (log x) (log 1)) (- (log (cbrt x)) (log (log x))) (- (log (sqrt x)) (log (log x))) (- (log x) (log (log x))) (- (log (log x))) (expm1 (log (log x))) (log1p (log (log x))) (log 1) (log (log x)) (log (* (cbrt (log x)) (cbrt (log x)))) (log (cbrt (log x))) (log (sqrt (log x))) (log (sqrt (log x))) (log 1) (log (log x)) (log (log x)) (log (log (log x))) (exp (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (cbrt (log (log x))) (* (* (log (log x)) (log (log x))) (log (log x))) (sqrt (log (log x))) (sqrt (log (log x))) (- (log x) (log (log x))) (- (+ (log (/ 1 x)) (log (- (log (/ 1 x)))))) (- (log -1) (+ (log (- (log -1) (log (/ -1 x)))) (log (/ -1 x)))) (log (log x)) (log (- (log (/ 1 x)))) (log (- (log -1) (log (/ -1 x)))) 0.623 * * [simplify]: iteration 0 : 167 enodes (cost 596 ) 0.626 * * [simplify]: iteration 1 : 444 enodes (cost 401 ) 0.636 * * [simplify]: iteration 2 : 1795 enodes (cost 397 ) 0.678 * * [simplify]: iteration 3 : 5002 enodes (cost 281 ) 0.680 * [simplify]: Simplified to: (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (- (log x) (log (log x))) 0 (expm1 (- (log x) (log (log x)))) (log1p (- (log x) (log (log x)))) (- (log (log x))) (- (log (log x))) (- (log (log x))) (- (log (log x))) (/ x (log x)) (log (- (log x) (log (log x)))) (/ x (log x)) (* (cbrt (- (log x) (log (log x)))) (cbrt (- (log x) (log (log x))))) (cbrt (- (log x) (log (log x)))) (pow (- (log x) (log (log x))) 3) (sqrt (- (log x) (log (log x)))) (sqrt (- (log x) (log (log x)))) (- (pow (log x) 3) (pow (log (log x)) 3)) (fma (log x) (log x) (* (log (log x)) (+ (log (log x)) (log x)))) (- (log (log x))) (fma (- 1) (pow (cbrt (log (log x))) 6) (pow (log x) 2)) (+ (log x) (log (log x))) (+ (sqrt (log x)) (sqrt (log (log x)))) (- (sqrt (log x)) (sqrt (log (log x)))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (log x) (- (log x) (* 2 (log (cbrt (log x))))) (- (log x) (log (sqrt (log x)))) (log x) (- (log (cbrt x)) (log (log x))) (- (log (sqrt x)) (log (log x))) (- (log x) (log (log x))) (- (log (log x))) (expm1 (log (log x))) (log1p (log (log x))) 0 (log (log x)) (* 2 (log (cbrt (log x)))) (log (cbrt (log x))) (log (sqrt (log x))) (log (sqrt (log x))) 0 (log (log x)) (log (log x)) (log (log (log x))) (log x) (* (cbrt (log (log x))) (cbrt (log (log x)))) (cbrt (log (log x))) (pow (log (log x)) 3) (sqrt (log (log x))) (sqrt (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (log (log x)) (log (log x)) (log (log x)) 0.680 * * * [progress]: adding candidates to table 0.765 * * [progress]: iteration 2 / 4 0.765 * * * [progress]: picking best candidate 0.766 * * * * [pick]: Picked # 0.766 * * * [progress]: localizing error 0.772 * * * [progress]: generating rewritten candidates 0.772 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.775 * * * [progress]: generating series expansions 0.775 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.775 * [approximate]: Taking taylor expansion of (/ x (log x)) in (x) around 0 0.775 * [taylor]: Taking taylor expansion of (/ x (log x)) in x 0.775 * [taylor]: Taking taylor expansion of x in x 0.775 * [taylor]: Taking taylor expansion of (log x) in x 0.775 * [taylor]: Taking taylor expansion of x in x 0.776 * [taylor]: Taking taylor expansion of (/ x (log x)) in x 0.776 * [taylor]: Taking taylor expansion of x in x 0.777 * [taylor]: Taking taylor expansion of (log x) in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.821 * [approximate]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in (x) around 0 0.821 * [taylor]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 0.821 * [taylor]: Taking taylor expansion of (* x (log (/ 1 x))) in x 0.821 * [taylor]: Taking taylor expansion of x in x 0.821 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.821 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.821 * [taylor]: Taking taylor expansion of x in x 0.824 * [taylor]: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 0.824 * [taylor]: Taking taylor expansion of (* x (log (/ 1 x))) in x 0.824 * [taylor]: Taking taylor expansion of x in x 0.824 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.824 * [taylor]: Taking taylor expansion of x in x 0.900 * [approximate]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in (x) around 0 0.900 * [taylor]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 0.900 * [taylor]: Taking taylor expansion of -1 in x 0.900 * [taylor]: Taking taylor expansion of (* x (log (/ -1 x))) in x 0.900 * [taylor]: Taking taylor expansion of x in x 0.900 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.900 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.900 * [taylor]: Taking taylor expansion of -1 in x 0.900 * [taylor]: Taking taylor expansion of x in x 0.905 * [taylor]: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 0.905 * [taylor]: Taking taylor expansion of -1 in x 0.905 * [taylor]: Taking taylor expansion of (* x (log (/ -1 x))) in x 0.905 * [taylor]: Taking taylor expansion of x in x 0.905 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.905 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.905 * [taylor]: Taking taylor expansion of -1 in x 0.905 * [taylor]: Taking taylor expansion of x in x 0.995 * * * [progress]: simplifying candidates 0.995 * [simplify]: Simplifying using # : (expm1 (/ x (log x))) (log1p (/ x (log x))) (- (log x) (log (log x))) (log (/ x (log x))) (exp (/ x (log x))) (/ (* (* x x) x) (* (* (log x) (log x)) (log x))) (* (cbrt (/ x (log x))) (cbrt (/ x (log x)))) (cbrt (/ x (log x))) (* (* (/ x (log x)) (/ x (log x))) (/ x (log x))) (sqrt (/ x (log x))) (sqrt (/ x (log x))) (- x) (- (log x)) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (log x)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (log x)) (cbrt (log x)))) (/ (cbrt x) (cbrt (log x))) (/ (* (cbrt x) (cbrt x)) (sqrt (log x))) (/ (cbrt x) (sqrt (log x))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (log x)) (/ (sqrt x) 1) (/ (sqrt x) (log x)) (/ (sqrt x) (* (cbrt (log x)) (cbrt (log x)))) (/ (sqrt x) (cbrt (log x))) (/ (sqrt x) (sqrt (log x))) (/ (sqrt x) (sqrt (log x))) (/ (sqrt x) 1) (/ (sqrt x) (log x)) (/ 1 1) (/ x (log x)) (/ 1 (* (cbrt (log x)) (cbrt (log x)))) (/ x (cbrt (log x))) (/ 1 (sqrt (log x))) (/ x (sqrt (log x))) (/ 1 1) (/ x (log x)) (/ 1 (log x)) (/ (log x) x) (/ x 1) (/ x (* (cbrt (log x)) (cbrt (log x)))) (/ x (sqrt (log x))) (/ x 1) (/ (log x) (cbrt x)) (/ (log x) (sqrt x)) (/ (log x) x) (/ x (log x)) (* -1 (/ x (log (/ 1 x)))) (/ x (- (log -1) (log (/ -1 x)))) 0.999 * * [simplify]: iteration 0 : 101 enodes (cost 163 ) 1.001 * * [simplify]: iteration 1 : 275 enodes (cost 153 ) 1.006 * * [simplify]: iteration 2 : 683 enodes (cost 150 ) 1.018 * * [simplify]: iteration 3 : 2283 enodes (cost 148 ) 1.055 * * [simplify]: iteration 4 : 5002 enodes (cost 148 ) 1.056 * [simplify]: Simplified to: (expm1 (/ x (log x))) (log1p (/ x (log x))) (log (/ x (log x))) (log (/ x (log x))) (exp (/ x (log x))) (pow (/ x (log x)) 3) (* (cbrt (/ x (log x))) (cbrt (/ x (log x)))) (cbrt (/ x (log x))) (pow (/ x (log x)) 3) (sqrt (/ x (log x))) (sqrt (/ x (log x))) (* -1 x) (log (/ 1 x)) (* (cbrt x) (cbrt x)) (/ (cbrt x) (log x)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (log x)) (cbrt (log x)))) (/ (cbrt x) (cbrt (log x))) (/ (* (cbrt x) (cbrt x)) (sqrt (log x))) (/ (cbrt x) (sqrt (log x))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (log x)) (sqrt x) (/ (sqrt x) (log x)) (/ (sqrt x) (* (cbrt (log x)) (cbrt (log x)))) (/ (sqrt x) (cbrt (log x))) (/ (sqrt x) (sqrt (log x))) (/ (sqrt x) (sqrt (log x))) (sqrt x) (/ (sqrt x) (log x)) 1 (/ x (log x)) (/ 1 (* (cbrt (log x)) (cbrt (log x)))) (/ x (cbrt (log x))) (/ 1 (sqrt (log x))) (/ x (sqrt (log x))) 1 (/ x (log x)) (/ 1 (log x)) (/ (log x) x) x (/ x (* (cbrt (log x)) (cbrt (log x)))) (/ x (sqrt (log x))) x (/ (log x) (cbrt x)) (/ (log x) (sqrt x)) (/ (log x) x) (/ x (log x)) (/ x (log x)) (/ x (log x)) 1.056 * * * [progress]: adding candidates to table 1.120 * [progress]: [Phase 3 of 3] Extracting. 1.121 * [simplify]: Simplifying using # : (log (/ x (log x))) 1.122 * * [simplify]: iteration 0 : 4 enodes (cost 3 ) 1.122 * [simplify]: Simplified to: (log (/ x (log x))) 2.156 * [regime-testing]: End program error score: 0.004750593824228029