0.002 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.029 * * * [progress]: [2/2] Setting up program. 0.033 * [progress]: [Phase 2 of 3] Improving. 0.033 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.034 * [simplify]: Simplifying (/ 2 (+ (exp x) (exp (- x)))) 0.034 * * [simplify]: iters left: 6 (7 enodes) 0.037 * * [simplify]: iters left: 5 (24 enodes) 0.045 * * [simplify]: iters left: 4 (28 enodes) 0.054 * * [simplify]: iters left: 3 (30 enodes) 0.063 * * [simplify]: Extracting #0: cost 1 inf + 0 0.063 * * [simplify]: Extracting #1: cost 4 inf + 0 0.063 * * [simplify]: Extracting #2: cost 6 inf + 1 0.063 * * [simplify]: Extracting #3: cost 11 inf + 1 0.063 * * [simplify]: Extracting #4: cost 9 inf + 44 0.064 * * [simplify]: Extracting #5: cost 3 inf + 670 0.064 * * [simplify]: Extracting #6: cost 1 inf + 1153 0.064 * * [simplify]: Extracting #7: cost 0 inf + 1415 0.065 * [simplify]: Simplified to (/ 2 (+ (exp x) (exp (- x)))) 0.065 * [simplify]: Simplified (2) to (λ (x) (/ 2 (+ (exp x) (exp (- x))))) 0.070 * * [progress]: iteration 1 / 4 0.070 * * * [progress]: picking best candidate 0.074 * * * * [pick]: Picked # 0.074 * * * [progress]: localizing error 0.099 * * * [progress]: generating rewritten candidates 0.099 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.134 * * * [progress]: generating series expansions 0.134 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.135 * [backup-simplify]: Simplify (/ 2 (+ (exp x) (exp (- x)))) into (/ 2 (+ (exp x) (exp (- x)))) 0.135 * [approximate]: Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in (x) around 0 0.135 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x 0.135 * [taylor]: Taking taylor expansion of 2 in x 0.135 * [backup-simplify]: Simplify 2 into 2 0.135 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.135 * [taylor]: Taking taylor expansion of (exp x) in x 0.135 * [taylor]: Taking taylor expansion of x in x 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 1 into 1 0.135 * [backup-simplify]: Simplify (exp 0) into 1 0.135 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.135 * [taylor]: Taking taylor expansion of (- x) in x 0.135 * [taylor]: Taking taylor expansion of x in x 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 1 into 1 0.135 * [backup-simplify]: Simplify (- 0) into 0 0.136 * [backup-simplify]: Simplify (- 1) into -1 0.136 * [backup-simplify]: Simplify (exp 0) into 1 0.136 * [backup-simplify]: Simplify (+ 1 1) into 2 0.136 * [backup-simplify]: Simplify (/ 2 2) into 1 0.136 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x 0.136 * [taylor]: Taking taylor expansion of 2 in x 0.136 * [backup-simplify]: Simplify 2 into 2 0.136 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 0.136 * [taylor]: Taking taylor expansion of (exp x) in x 0.136 * [taylor]: Taking taylor expansion of x in x 0.136 * [backup-simplify]: Simplify 0 into 0 0.136 * [backup-simplify]: Simplify 1 into 1 0.136 * [backup-simplify]: Simplify (exp 0) into 1 0.136 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.136 * [taylor]: Taking taylor expansion of (- x) in x 0.136 * [taylor]: Taking taylor expansion of x in x 0.136 * [backup-simplify]: Simplify 0 into 0 0.136 * [backup-simplify]: Simplify 1 into 1 0.137 * [backup-simplify]: Simplify (- 0) into 0 0.137 * [backup-simplify]: Simplify (- 1) into -1 0.137 * [backup-simplify]: Simplify (exp 0) into 1 0.137 * [backup-simplify]: Simplify (+ 1 1) into 2 0.138 * [backup-simplify]: Simplify (/ 2 2) into 1 0.138 * [backup-simplify]: Simplify 1 into 1 0.138 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.139 * [backup-simplify]: Simplify (- 1) into -1 0.139 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 0.140 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.140 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 0.140 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.141 * [backup-simplify]: Simplify (- 1) into -1 0.142 * [backup-simplify]: Simplify (- 0) into 0 0.143 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.143 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 0.143 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/2 0.143 * [backup-simplify]: Simplify -1/2 into -1/2 0.145 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.145 * [backup-simplify]: Simplify (- 1) into -1 0.145 * [backup-simplify]: Simplify (- 1) into -1 0.146 * [backup-simplify]: Simplify (- 0) into 0 0.146 * [backup-simplify]: Simplify (- 0) into 0 0.147 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 0.148 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 0.148 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/2 (/ 0 2)))) into 0 0.149 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 0.151 * [backup-simplify]: Simplify (- 1) into -1 0.151 * [backup-simplify]: Simplify (- 1) into -1 0.152 * [backup-simplify]: Simplify (- 0) into 0 0.152 * [backup-simplify]: Simplify (- 1) into -1 0.152 * [backup-simplify]: Simplify (- 0) into 0 0.152 * [backup-simplify]: Simplify (- 0) into 0 0.153 * [backup-simplify]: Simplify (- 0) into 0 0.155 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 0.155 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 0.156 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/2 (/ 1 2)) (* 0 (/ 0 2)))) into 5/24 0.156 * [backup-simplify]: Simplify 5/24 into 5/24 0.156 * [backup-simplify]: Simplify (+ (* 5/24 (pow x 4)) (+ (* -1/2 (pow x 2)) 1)) into (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))) 0.157 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 0.157 * [approximate]: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 0.157 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.157 * [taylor]: Taking taylor expansion of 2 in x 0.157 * [backup-simplify]: Simplify 2 into 2 0.157 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.157 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.157 * [taylor]: Taking taylor expansion of x in x 0.157 * [backup-simplify]: Simplify 0 into 0 0.157 * [backup-simplify]: Simplify 1 into 1 0.157 * [backup-simplify]: Simplify (/ 1 1) into 1 0.157 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.157 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.157 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.157 * [taylor]: Taking taylor expansion of x in x 0.157 * [backup-simplify]: Simplify 0 into 0 0.157 * [backup-simplify]: Simplify 1 into 1 0.157 * [backup-simplify]: Simplify (/ 1 1) into 1 0.158 * [backup-simplify]: Simplify (- 1) into -1 0.158 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 0.158 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 0.158 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 0.158 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 0.158 * [taylor]: Taking taylor expansion of 2 in x 0.158 * [backup-simplify]: Simplify 2 into 2 0.158 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.158 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.158 * [taylor]: Taking taylor expansion of x in x 0.158 * [backup-simplify]: Simplify 0 into 0 0.158 * [backup-simplify]: Simplify 1 into 1 0.158 * [backup-simplify]: Simplify (/ 1 1) into 1 0.158 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.158 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.158 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.158 * [taylor]: Taking taylor expansion of x in x 0.158 * [backup-simplify]: Simplify 0 into 0 0.158 * [backup-simplify]: Simplify 1 into 1 0.159 * [backup-simplify]: Simplify (/ 1 1) into 1 0.159 * [backup-simplify]: Simplify (- 1) into -1 0.159 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 0.159 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 0.159 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 0.159 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 0.160 * [backup-simplify]: Simplify (+ 0 0) into 0 0.160 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 0.160 * [backup-simplify]: Simplify 0 into 0 0.160 * [backup-simplify]: Simplify (+ 0 0) into 0 0.160 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 0.160 * [backup-simplify]: Simplify 0 into 0 0.161 * [backup-simplify]: Simplify (+ 0 0) into 0 0.161 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 0.161 * [backup-simplify]: Simplify 0 into 0 0.161 * [backup-simplify]: Simplify (+ 0 0) into 0 0.162 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 0.162 * [backup-simplify]: Simplify 0 into 0 0.162 * [backup-simplify]: Simplify (+ 0 0) into 0 0.163 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 0.163 * [backup-simplify]: Simplify 0 into 0 0.163 * [backup-simplify]: Simplify (+ 0 0) into 0 0.163 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2 (+ (exp x) (exp (- x)))) 0.164 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) 0.164 * [approximate]: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 0.164 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.164 * [taylor]: Taking taylor expansion of 2 in x 0.164 * [backup-simplify]: Simplify 2 into 2 0.164 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.164 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.164 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.164 * [taylor]: Taking taylor expansion of x in x 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify 1 into 1 0.164 * [backup-simplify]: Simplify (/ 1 1) into 1 0.164 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.164 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.164 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.164 * [taylor]: Taking taylor expansion of -1 in x 0.164 * [backup-simplify]: Simplify -1 into -1 0.164 * [taylor]: Taking taylor expansion of x in x 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify 1 into 1 0.165 * [backup-simplify]: Simplify (/ -1 1) into -1 0.165 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.165 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 0.165 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) 0.165 * [taylor]: Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 0.165 * [taylor]: Taking taylor expansion of 2 in x 0.165 * [backup-simplify]: Simplify 2 into 2 0.165 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 0.165 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.165 * [taylor]: Taking taylor expansion of x in x 0.165 * [backup-simplify]: Simplify 0 into 0 0.165 * [backup-simplify]: Simplify 1 into 1 0.165 * [backup-simplify]: Simplify (/ 1 1) into 1 0.165 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.165 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.165 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.165 * [taylor]: Taking taylor expansion of -1 in x 0.165 * [backup-simplify]: Simplify -1 into -1 0.165 * [taylor]: Taking taylor expansion of x in x 0.165 * [backup-simplify]: Simplify 0 into 0 0.165 * [backup-simplify]: Simplify 1 into 1 0.166 * [backup-simplify]: Simplify (/ -1 1) into -1 0.166 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.166 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x))) 0.166 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) 0.166 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) 0.166 * [backup-simplify]: Simplify (+ 0 0) into 0 0.166 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 0.166 * [backup-simplify]: Simplify 0 into 0 0.167 * [backup-simplify]: Simplify (+ 0 0) into 0 0.167 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 0.167 * [backup-simplify]: Simplify 0 into 0 0.167 * [backup-simplify]: Simplify (+ 0 0) into 0 0.168 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 0.168 * [backup-simplify]: Simplify 0 into 0 0.168 * [backup-simplify]: Simplify (+ 0 0) into 0 0.168 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 0.168 * [backup-simplify]: Simplify 0 into 0 0.169 * [backup-simplify]: Simplify (+ 0 0) into 0 0.169 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 0.169 * [backup-simplify]: Simplify 0 into 0 0.169 * [backup-simplify]: Simplify (+ 0 0) into 0 0.170 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0 0.170 * [backup-simplify]: Simplify 0 into 0 0.170 * [backup-simplify]: Simplify (/ 2 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2 (+ (exp (* -1 x)) (exp x))) 0.170 * * * [progress]: simplifying candidates 0.170 * * * * [progress]: [ 1 / 39 ] simplifiying candidate # 0.170 * * * * [progress]: [ 2 / 39 ] simplifiying candidate # 0.170 * * * * [progress]: [ 3 / 39 ] simplifiying candidate # 0.170 * * * * [progress]: [ 4 / 39 ] simplifiying candidate # 0.170 * [simplify]: Simplifying (- (log 2) (log (+ (exp x) (exp (- x))))) 0.170 * * [simplify]: iters left: 6 (9 enodes) 0.173 * * [simplify]: iters left: 5 (32 enodes) 0.179 * * [simplify]: iters left: 4 (39 enodes) 0.185 * * [simplify]: iters left: 3 (41 enodes) 0.191 * * [simplify]: Extracting #0: cost 1 inf + 0 0.191 * * [simplify]: Extracting #1: cost 5 inf + 0 0.191 * * [simplify]: Extracting #2: cost 10 inf + 0 0.192 * * [simplify]: Extracting #3: cost 12 inf + 1 0.192 * * [simplify]: Extracting #4: cost 15 inf + 143 0.192 * * [simplify]: Extracting #5: cost 13 inf + 216 0.192 * * [simplify]: Extracting #6: cost 9 inf + 550 0.192 * * [simplify]: Extracting #7: cost 4 inf + 1655 0.192 * * [simplify]: Extracting #8: cost 0 inf + 3081 0.193 * [simplify]: Simplified to (- (log 2) (log (+ (exp x) (exp (- x))))) 0.193 * [simplify]: Simplified (2 1) to (λ (x) (exp (- (log 2) (log (+ (exp x) (exp (- x))))))) 0.193 * * * * [progress]: [ 5 / 39 ] simplifiying candidate # 0.193 * * * * [progress]: [ 6 / 39 ] simplifiying candidate # 0.193 * * * * [progress]: [ 7 / 39 ] simplifiying candidate # 0.193 * [simplify]: Simplifying (/ (* (* 2 2) 2) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))) 0.193 * * [simplify]: iters left: 6 (11 enodes) 0.197 * * [simplify]: iters left: 5 (58 enodes) 0.211 * * [simplify]: iters left: 4 (185 enodes) 0.302 * * [simplify]: Extracting #0: cost 1 inf + 0 0.302 * * [simplify]: Extracting #1: cost 36 inf + 0 0.303 * * [simplify]: Extracting #2: cost 103 inf + 3 0.303 * * [simplify]: Extracting #3: cost 161 inf + 5 0.304 * * [simplify]: Extracting #4: cost 158 inf + 781 0.306 * * [simplify]: Extracting #5: cost 133 inf + 4917 0.315 * * [simplify]: Extracting #6: cost 32 inf + 33079 0.329 * * [simplify]: Extracting #7: cost 0 inf + 41491 0.337 * * [simplify]: Extracting #8: cost 0 inf + 40906 0.346 * [simplify]: Simplified to (/ (/ 8 (/ (* 1 (fma (exp x) (exp x) 1)) (exp x))) (* (/ (* 1 (fma (exp x) (exp x) 1)) (exp x)) (/ (* 1 (fma (exp x) (exp x) 1)) (exp x)))) 0.347 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (/ (/ 8 (/ (* 1 (fma (exp x) (exp x) 1)) (exp x))) (* (/ (* 1 (fma (exp x) (exp x) 1)) (exp x)) (/ (* 1 (fma (exp x) (exp x) 1)) (exp x)))))) 0.347 * * * * [progress]: [ 8 / 39 ] simplifiying candidate # 0.347 * * * * [progress]: [ 9 / 39 ] simplifiying candidate # 0.347 * * * * [progress]: [ 10 / 39 ] simplifiying candidate # 0.347 * * * * [progress]: [ 11 / 39 ] simplifiying candidate # 0.347 * * * * [progress]: [ 12 / 39 ] simplifiying candidate # 0.347 * [simplify]: Simplifying (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) 0.347 * * [simplify]: iters left: 6 (11 enodes) 0.350 * * [simplify]: iters left: 5 (42 enodes) 0.358 * * [simplify]: iters left: 4 (61 enodes) 0.374 * * [simplify]: iters left: 3 (70 enodes) 0.391 * * [simplify]: iters left: 2 (73 enodes) 0.402 * * [simplify]: Extracting #0: cost 1 inf + 0 0.402 * * [simplify]: Extracting #1: cost 11 inf + 0 0.402 * * [simplify]: Extracting #2: cost 22 inf + 0 0.402 * * [simplify]: Extracting #3: cost 24 inf + 1 0.402 * * [simplify]: Extracting #4: cost 28 inf + 82 0.402 * * [simplify]: Extracting #5: cost 21 inf + 590 0.402 * * [simplify]: Extracting #6: cost 14 inf + 2138 0.403 * * [simplify]: Extracting #7: cost 2 inf + 7039 0.404 * * [simplify]: Extracting #8: cost 0 inf + 7963 0.405 * [simplify]: Simplified to (* (/ (cbrt 2) (cbrt (+ (exp (- x)) (exp x)))) (/ (cbrt 2) (cbrt (+ (exp (- x)) (exp x))))) 0.405 * [simplify]: Simplified (2 1) to (λ (x) (* (* (/ (cbrt 2) (cbrt (+ (exp (- x)) (exp x)))) (/ (cbrt 2) (cbrt (+ (exp (- x)) (exp x))))) (/ (cbrt 2) (cbrt (+ (exp x) (exp (- x))))))) 0.405 * [simplify]: Simplifying (/ (cbrt 2) (cbrt (+ (exp x) (exp (- x))))) 0.406 * * [simplify]: iters left: 6 (9 enodes) 0.408 * * [simplify]: iters left: 5 (30 enodes) 0.413 * * [simplify]: iters left: 4 (34 enodes) 0.424 * * [simplify]: iters left: 3 (36 enodes) 0.435 * * [simplify]: Extracting #0: cost 1 inf + 0 0.435 * * [simplify]: Extracting #1: cost 4 inf + 0 0.435 * * [simplify]: Extracting #2: cost 8 inf + 0 0.435 * * [simplify]: Extracting #3: cost 10 inf + 1 0.435 * * [simplify]: Extracting #4: cost 13 inf + 163 0.435 * * [simplify]: Extracting #5: cost 8 inf + 459 0.436 * * [simplify]: Extracting #6: cost 4 inf + 1133 0.436 * * [simplify]: Extracting #7: cost 0 inf + 2499 0.437 * [simplify]: Simplified to (/ (cbrt 2) (cbrt (+ (exp x) (exp (- x))))) 0.437 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt 2) (cbrt (+ (exp x) (exp (- x))))))) 0.437 * * * * [progress]: [ 13 / 39 ] simplifiying candidate # 0.437 * [simplify]: Simplifying (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ (exp x) (exp (- x))))) 0.437 * * [simplify]: iters left: 6 (10 enodes) 0.442 * * [simplify]: iters left: 5 (35 enodes) 0.454 * * [simplify]: iters left: 4 (43 enodes) 0.470 * * [simplify]: iters left: 3 (48 enodes) 0.484 * * [simplify]: Extracting #0: cost 1 inf + 0 0.484 * * [simplify]: Extracting #1: cost 7 inf + 0 0.484 * * [simplify]: Extracting #2: cost 14 inf + 0 0.484 * * [simplify]: Extracting #3: cost 16 inf + 1 0.484 * * [simplify]: Extracting #4: cost 20 inf + 82 0.484 * * [simplify]: Extracting #5: cost 15 inf + 448 0.485 * * [simplify]: Extracting #6: cost 8 inf + 1295 0.485 * * [simplify]: Extracting #7: cost 1 inf + 3807 0.486 * * [simplify]: Extracting #8: cost 0 inf + 4189 0.487 * [simplify]: Simplified to (/ (cbrt 2) (/ (sqrt (+ (exp (- x)) (exp x))) (cbrt 2))) 0.487 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (cbrt 2) (/ (sqrt (+ (exp (- x)) (exp x))) (cbrt 2))) (/ (cbrt 2) (sqrt (+ (exp x) (exp (- x))))))) 0.487 * [simplify]: Simplifying (/ (cbrt 2) (sqrt (+ (exp x) (exp (- x))))) 0.487 * * [simplify]: iters left: 6 (9 enodes) 0.492 * * [simplify]: iters left: 5 (30 enodes) 0.502 * * [simplify]: iters left: 4 (34 enodes) 0.513 * * [simplify]: iters left: 3 (36 enodes) 0.524 * * [simplify]: Extracting #0: cost 1 inf + 0 0.524 * * [simplify]: Extracting #1: cost 4 inf + 0 0.524 * * [simplify]: Extracting #2: cost 8 inf + 0 0.524 * * [simplify]: Extracting #3: cost 10 inf + 1 0.524 * * [simplify]: Extracting #4: cost 13 inf + 163 0.524 * * [simplify]: Extracting #5: cost 8 inf + 459 0.525 * * [simplify]: Extracting #6: cost 4 inf + 1093 0.525 * * [simplify]: Extracting #7: cost 0 inf + 2339 0.526 * [simplify]: Simplified to (/ (cbrt 2) (sqrt (+ (exp x) (exp (- x))))) 0.526 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt 2) (sqrt (+ (exp x) (exp (- x))))))) 0.526 * * * * [progress]: [ 14 / 39 ] simplifiying candidate # 0.526 * [simplify]: Simplifying (/ (* (cbrt 2) (cbrt 2)) 1) 0.526 * * [simplify]: iters left: 5 (5 enodes) 0.530 * * [simplify]: iters left: 4 (17 enodes) 0.537 * * [simplify]: iters left: 3 (27 enodes) 0.546 * * [simplify]: iters left: 2 (28 enodes) 0.555 * * [simplify]: Extracting #0: cost 1 inf + 0 0.555 * * [simplify]: Extracting #1: cost 5 inf + 0 0.555 * * [simplify]: Extracting #2: cost 7 inf + 1 0.555 * * [simplify]: Extracting #3: cost 6 inf + 2 0.555 * * [simplify]: Extracting #4: cost 1 inf + 528 0.555 * * [simplify]: Extracting #5: cost 0 inf + 650 0.556 * [simplify]: Simplified to (* (cbrt 2) (cbrt 2)) 0.556 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt 2) (cbrt 2)) (/ (cbrt 2) (+ (exp x) (exp (- x)))))) 0.556 * [simplify]: Simplifying (/ (cbrt 2) (+ (exp x) (exp (- x)))) 0.556 * * [simplify]: iters left: 6 (8 enodes) 0.560 * * [simplify]: iters left: 5 (27 enodes) 0.569 * * [simplify]: iters left: 4 (31 enodes) 0.579 * * [simplify]: iters left: 3 (33 enodes) 0.589 * * [simplify]: Extracting #0: cost 1 inf + 0 0.589 * * [simplify]: Extracting #1: cost 4 inf + 0 0.589 * * [simplify]: Extracting #2: cost 9 inf + 0 0.589 * * [simplify]: Extracting #3: cost 13 inf + 1 0.589 * * [simplify]: Extracting #4: cost 8 inf + 307 0.590 * * [simplify]: Extracting #5: cost 1 inf + 1395 0.590 * * [simplify]: Extracting #6: cost 0 inf + 1737 0.591 * [simplify]: Simplified to (/ (cbrt 2) (+ (exp x) (exp (- x)))) 0.591 * [simplify]: Simplified (2 2) to (λ (x) (* (* (cbrt 2) (cbrt 2)) (/ (cbrt 2) (+ (exp x) (exp (- x)))))) 0.591 * * * * [progress]: [ 15 / 39 ] simplifiying candidate # 0.591 * [simplify]: Simplifying (/ (* (cbrt 2) (cbrt 2)) 1) 0.591 * * [simplify]: iters left: 5 (5 enodes) 0.595 * * [simplify]: iters left: 4 (17 enodes) 0.602 * * [simplify]: iters left: 3 (27 enodes) 0.611 * * [simplify]: iters left: 2 (28 enodes) 0.620 * * [simplify]: Extracting #0: cost 1 inf + 0 0.620 * * [simplify]: Extracting #1: cost 5 inf + 0 0.621 * * [simplify]: Extracting #2: cost 7 inf + 1 0.621 * * [simplify]: Extracting #3: cost 6 inf + 2 0.621 * * [simplify]: Extracting #4: cost 1 inf + 528 0.621 * * [simplify]: Extracting #5: cost 0 inf + 650 0.621 * [simplify]: Simplified to (* (cbrt 2) (cbrt 2)) 0.621 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt 2) (cbrt 2)) (/ (cbrt 2) (+ (exp x) (exp (- x)))))) 0.622 * [simplify]: Simplifying (/ (cbrt 2) (+ (exp x) (exp (- x)))) 0.622 * * [simplify]: iters left: 6 (8 enodes) 0.626 * * [simplify]: iters left: 5 (27 enodes) 0.636 * * [simplify]: iters left: 4 (31 enodes) 0.645 * * [simplify]: iters left: 3 (33 enodes) 0.656 * * [simplify]: Extracting #0: cost 1 inf + 0 0.656 * * [simplify]: Extracting #1: cost 4 inf + 0 0.656 * * [simplify]: Extracting #2: cost 9 inf + 0 0.656 * * [simplify]: Extracting #3: cost 13 inf + 1 0.656 * * [simplify]: Extracting #4: cost 8 inf + 307 0.656 * * [simplify]: Extracting #5: cost 1 inf + 1395 0.657 * * [simplify]: Extracting #6: cost 0 inf + 1737 0.657 * [simplify]: Simplified to (/ (cbrt 2) (+ (exp x) (exp (- x)))) 0.657 * [simplify]: Simplified (2 2) to (λ (x) (* (* (cbrt 2) (cbrt 2)) (/ (cbrt 2) (+ (exp x) (exp (- x)))))) 0.657 * * * * [progress]: [ 16 / 39 ] simplifiying candidate # 0.658 * [simplify]: Simplifying (/ (sqrt 2) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) 0.658 * * [simplify]: iters left: 6 (10 enodes) 0.663 * * [simplify]: iters left: 5 (35 enodes) 0.674 * * [simplify]: iters left: 4 (41 enodes) 0.687 * * [simplify]: iters left: 3 (43 enodes) 0.700 * * [simplify]: Extracting #0: cost 1 inf + 0 0.700 * * [simplify]: Extracting #1: cost 6 inf + 0 0.701 * * [simplify]: Extracting #2: cost 12 inf + 0 0.701 * * [simplify]: Extracting #3: cost 14 inf + 1 0.701 * * [simplify]: Extracting #4: cost 18 inf + 42 0.701 * * [simplify]: Extracting #5: cost 12 inf + 419 0.701 * * [simplify]: Extracting #6: cost 7 inf + 1274 0.702 * * [simplify]: Extracting #7: cost 0 inf + 3865 0.703 * [simplify]: Simplified to (/ (/ (sqrt 2) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x))))) 0.703 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (/ (sqrt 2) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt 2) (cbrt (+ (exp x) (exp (- x))))))) 0.704 * [simplify]: Simplifying (/ (sqrt 2) (cbrt (+ (exp x) (exp (- x))))) 0.704 * * [simplify]: iters left: 6 (9 enodes) 0.709 * * [simplify]: iters left: 5 (30 enodes) 0.718 * * [simplify]: iters left: 4 (34 enodes) 0.726 * * [simplify]: iters left: 3 (36 enodes) 0.732 * * [simplify]: Extracting #0: cost 1 inf + 0 0.732 * * [simplify]: Extracting #1: cost 4 inf + 0 0.732 * * [simplify]: Extracting #2: cost 8 inf + 0 0.732 * * [simplify]: Extracting #3: cost 10 inf + 1 0.732 * * [simplify]: Extracting #4: cost 13 inf + 83 0.733 * * [simplify]: Extracting #5: cost 8 inf + 379 0.733 * * [simplify]: Extracting #6: cost 4 inf + 1053 0.733 * * [simplify]: Extracting #7: cost 0 inf + 2339 0.733 * [simplify]: Simplified to (/ (sqrt 2) (cbrt (+ (exp x) (exp (- x))))) 0.733 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (/ (sqrt 2) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt 2) (cbrt (+ (exp x) (exp (- x))))))) 0.733 * * * * [progress]: [ 17 / 39 ] simplifiying candidate # 0.734 * [simplify]: Simplifying (/ (sqrt 2) (sqrt (+ (exp x) (exp (- x))))) 0.734 * * [simplify]: iters left: 6 (9 enodes) 0.736 * * [simplify]: iters left: 5 (30 enodes) 0.741 * * [simplify]: iters left: 4 (34 enodes) 0.746 * * [simplify]: iters left: 3 (36 enodes) 0.752 * * [simplify]: Extracting #0: cost 1 inf + 0 0.752 * * [simplify]: Extracting #1: cost 4 inf + 0 0.752 * * [simplify]: Extracting #2: cost 8 inf + 0 0.752 * * [simplify]: Extracting #3: cost 10 inf + 1 0.752 * * [simplify]: Extracting #4: cost 13 inf + 83 0.753 * * [simplify]: Extracting #5: cost 8 inf + 379 0.753 * * [simplify]: Extracting #6: cost 4 inf + 1013 0.754 * * [simplify]: Extracting #7: cost 0 inf + 2179 0.754 * [simplify]: Simplified to (/ (sqrt 2) (sqrt (+ (exp x) (exp (- x))))) 0.754 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (sqrt 2) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2) (sqrt (+ (exp x) (exp (- x))))))) 0.754 * [simplify]: Simplifying (/ (sqrt 2) (sqrt (+ (exp x) (exp (- x))))) 0.754 * * [simplify]: iters left: 6 (9 enodes) 0.757 * * [simplify]: iters left: 5 (30 enodes) 0.762 * * [simplify]: iters left: 4 (34 enodes) 0.770 * * [simplify]: iters left: 3 (36 enodes) 0.781 * * [simplify]: Extracting #0: cost 1 inf + 0 0.781 * * [simplify]: Extracting #1: cost 4 inf + 0 0.781 * * [simplify]: Extracting #2: cost 8 inf + 0 0.781 * * [simplify]: Extracting #3: cost 10 inf + 1 0.781 * * [simplify]: Extracting #4: cost 13 inf + 83 0.782 * * [simplify]: Extracting #5: cost 8 inf + 379 0.782 * * [simplify]: Extracting #6: cost 4 inf + 1013 0.782 * * [simplify]: Extracting #7: cost 0 inf + 2179 0.783 * [simplify]: Simplified to (/ (sqrt 2) (sqrt (+ (exp x) (exp (- x))))) 0.783 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (sqrt 2) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2) (sqrt (+ (exp x) (exp (- x))))))) 0.783 * * * * [progress]: [ 18 / 39 ] simplifiying candidate # 0.783 * [simplify]: Simplifying (/ (sqrt 2) 1) 0.784 * * [simplify]: iters left: 3 (4 enodes) 0.786 * * [simplify]: iters left: 2 (12 enodes) 0.791 * * [simplify]: iters left: 1 (14 enodes) 0.796 * * [simplify]: Extracting #0: cost 1 inf + 0 0.796 * * [simplify]: Extracting #1: cost 4 inf + 0 0.796 * * [simplify]: Extracting #2: cost 0 inf + 84 0.796 * [simplify]: Simplified to (sqrt 2) 0.796 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt 2) (/ (sqrt 2) (+ (exp x) (exp (- x)))))) 0.797 * [simplify]: Simplifying (/ (sqrt 2) (+ (exp x) (exp (- x)))) 0.797 * * [simplify]: iters left: 6 (8 enodes) 0.801 * * [simplify]: iters left: 5 (27 enodes) 0.810 * * [simplify]: iters left: 4 (31 enodes) 0.819 * * [simplify]: iters left: 3 (33 enodes) 0.829 * * [simplify]: Extracting #0: cost 1 inf + 0 0.829 * * [simplify]: Extracting #1: cost 4 inf + 0 0.829 * * [simplify]: Extracting #2: cost 9 inf + 0 0.829 * * [simplify]: Extracting #3: cost 13 inf + 1 0.829 * * [simplify]: Extracting #4: cost 8 inf + 267 0.829 * * [simplify]: Extracting #5: cost 1 inf + 1275 0.830 * * [simplify]: Extracting #6: cost 0 inf + 1577 0.830 * [simplify]: Simplified to (/ (sqrt 2) (+ (exp x) (exp (- x)))) 0.830 * [simplify]: Simplified (2 2) to (λ (x) (* (sqrt 2) (/ (sqrt 2) (+ (exp x) (exp (- x)))))) 0.830 * * * * [progress]: [ 19 / 39 ] simplifiying candidate # 0.831 * [simplify]: Simplifying (/ (sqrt 2) 1) 0.831 * * [simplify]: iters left: 3 (4 enodes) 0.834 * * [simplify]: iters left: 2 (12 enodes) 0.838 * * [simplify]: iters left: 1 (14 enodes) 0.843 * * [simplify]: Extracting #0: cost 1 inf + 0 0.843 * * [simplify]: Extracting #1: cost 4 inf + 0 0.843 * * [simplify]: Extracting #2: cost 0 inf + 84 0.843 * [simplify]: Simplified to (sqrt 2) 0.843 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt 2) (/ (sqrt 2) (+ (exp x) (exp (- x)))))) 0.844 * [simplify]: Simplifying (/ (sqrt 2) (+ (exp x) (exp (- x)))) 0.844 * * [simplify]: iters left: 6 (8 enodes) 0.848 * * [simplify]: iters left: 5 (27 enodes) 0.857 * * [simplify]: iters left: 4 (31 enodes) 0.866 * * [simplify]: iters left: 3 (33 enodes) 0.877 * * [simplify]: Extracting #0: cost 1 inf + 0 0.877 * * [simplify]: Extracting #1: cost 4 inf + 0 0.877 * * [simplify]: Extracting #2: cost 9 inf + 0 0.877 * * [simplify]: Extracting #3: cost 13 inf + 1 0.877 * * [simplify]: Extracting #4: cost 8 inf + 267 0.877 * * [simplify]: Extracting #5: cost 1 inf + 1275 0.878 * * [simplify]: Extracting #6: cost 0 inf + 1577 0.878 * [simplify]: Simplified to (/ (sqrt 2) (+ (exp x) (exp (- x)))) 0.878 * [simplify]: Simplified (2 2) to (λ (x) (* (sqrt 2) (/ (sqrt 2) (+ (exp x) (exp (- x)))))) 0.878 * * * * [progress]: [ 20 / 39 ] simplifiying candidate # 0.879 * [simplify]: Simplifying (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) 0.879 * * [simplify]: iters left: 6 (9 enodes) 0.883 * * [simplify]: iters left: 5 (33 enodes) 0.893 * * [simplify]: iters left: 4 (37 enodes) 0.905 * * [simplify]: Extracting #0: cost 1 inf + 0 0.905 * * [simplify]: Extracting #1: cost 6 inf + 0 0.905 * * [simplify]: Extracting #2: cost 9 inf + 1 0.905 * * [simplify]: Extracting #3: cost 12 inf + 1 0.905 * * [simplify]: Extracting #4: cost 16 inf + 1 0.905 * * [simplify]: Extracting #5: cost 15 inf + 43 0.906 * * [simplify]: Extracting #6: cost 8 inf + 890 0.906 * * [simplify]: Extracting #7: cost 2 inf + 2858 0.906 * * [simplify]: Extracting #8: cost 0 inf + 3622 0.907 * [simplify]: Simplified to (/ (/ 1 (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x))))) 0.907 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (/ 1 (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x))))) (/ 2 (cbrt (+ (exp x) (exp (- x))))))) 0.907 * [simplify]: Simplifying (/ 2 (cbrt (+ (exp x) (exp (- x))))) 0.907 * * [simplify]: iters left: 6 (8 enodes) 0.909 * * [simplify]: iters left: 5 (27 enodes) 0.913 * * [simplify]: iters left: 4 (31 enodes) 0.918 * * [simplify]: iters left: 3 (33 enodes) 0.923 * * [simplify]: Extracting #0: cost 1 inf + 0 0.923 * * [simplify]: Extracting #1: cost 4 inf + 0 0.923 * * [simplify]: Extracting #2: cost 5 inf + 1 0.923 * * [simplify]: Extracting #3: cost 8 inf + 1 0.923 * * [simplify]: Extracting #4: cost 13 inf + 1 0.923 * * [simplify]: Extracting #5: cost 11 inf + 44 0.923 * * [simplify]: Extracting #6: cost 5 inf + 670 0.924 * * [simplify]: Extracting #7: cost 1 inf + 1835 0.924 * * [simplify]: Extracting #8: cost 0 inf + 2177 0.924 * [simplify]: Simplified to (/ 2 (cbrt (+ (exp x) (exp (- x))))) 0.924 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ 2 (cbrt (+ (exp x) (exp (- x))))))) 0.924 * * * * [progress]: [ 21 / 39 ] simplifiying candidate # 0.924 * [simplify]: Simplifying (/ 1 (sqrt (+ (exp x) (exp (- x))))) 0.925 * * [simplify]: iters left: 6 (8 enodes) 0.927 * * [simplify]: iters left: 5 (28 enodes) 0.931 * * [simplify]: iters left: 4 (30 enodes) 0.935 * * [simplify]: Extracting #0: cost 1 inf + 0 0.935 * * [simplify]: Extracting #1: cost 4 inf + 0 0.935 * * [simplify]: Extracting #2: cost 5 inf + 1 0.935 * * [simplify]: Extracting #3: cost 8 inf + 1 0.935 * * [simplify]: Extracting #4: cost 12 inf + 1 0.935 * * [simplify]: Extracting #5: cost 11 inf + 43 0.935 * * [simplify]: Extracting #6: cost 6 inf + 558 0.936 * * [simplify]: Extracting #7: cost 2 inf + 1453 0.936 * * [simplify]: Extracting #8: cost 0 inf + 2016 0.936 * [simplify]: Simplified to (/ 1 (sqrt (+ (exp x) (exp (- x))))) 0.936 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ 2 (sqrt (+ (exp x) (exp (- x))))))) 0.937 * [simplify]: Simplifying (/ 2 (sqrt (+ (exp x) (exp (- x))))) 0.937 * * [simplify]: iters left: 6 (8 enodes) 0.941 * * [simplify]: iters left: 5 (27 enodes) 0.949 * * [simplify]: iters left: 4 (31 enodes) 0.959 * * [simplify]: iters left: 3 (33 enodes) 0.969 * * [simplify]: Extracting #0: cost 1 inf + 0 0.969 * * [simplify]: Extracting #1: cost 4 inf + 0 0.969 * * [simplify]: Extracting #2: cost 5 inf + 1 0.969 * * [simplify]: Extracting #3: cost 8 inf + 1 0.970 * * [simplify]: Extracting #4: cost 13 inf + 1 0.970 * * [simplify]: Extracting #5: cost 11 inf + 44 0.970 * * [simplify]: Extracting #6: cost 5 inf + 670 0.970 * * [simplify]: Extracting #7: cost 1 inf + 1715 0.971 * * [simplify]: Extracting #8: cost 0 inf + 2017 0.971 * [simplify]: Simplified to (/ 2 (sqrt (+ (exp x) (exp (- x))))) 0.971 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ 2 (sqrt (+ (exp x) (exp (- x))))))) 0.972 * * * * [progress]: [ 22 / 39 ] simplifiying candidate # 0.972 * [simplify]: Simplifying (/ 1 1) 0.972 * * [simplify]: iters left: 2 (2 enodes) 0.974 * * [simplify]: iters left: 1 (6 enodes) 0.976 * * [simplify]: Extracting #0: cost 1 inf + 0 0.976 * * [simplify]: Extracting #1: cost 0 inf + 1 0.976 * [simplify]: Simplified to 1 0.976 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (/ 2 (+ (exp x) (exp (- x)))))) 0.977 * [simplify]: Simplifying (/ 2 (+ (exp x) (exp (- x)))) 0.977 * * [simplify]: iters left: 6 (7 enodes) 0.980 * * [simplify]: iters left: 5 (24 enodes) 0.988 * * [simplify]: iters left: 4 (28 enodes) 0.997 * * [simplify]: iters left: 3 (30 enodes) 1.006 * * [simplify]: Extracting #0: cost 1 inf + 0 1.006 * * [simplify]: Extracting #1: cost 4 inf + 0 1.006 * * [simplify]: Extracting #2: cost 6 inf + 1 1.006 * * [simplify]: Extracting #3: cost 11 inf + 1 1.007 * * [simplify]: Extracting #4: cost 9 inf + 44 1.007 * * [simplify]: Extracting #5: cost 3 inf + 670 1.007 * * [simplify]: Extracting #6: cost 1 inf + 1153 1.007 * * [simplify]: Extracting #7: cost 0 inf + 1415 1.008 * [simplify]: Simplified to (/ 2 (+ (exp x) (exp (- x)))) 1.008 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (/ 2 (+ (exp x) (exp (- x)))))) 1.008 * * * * [progress]: [ 23 / 39 ] simplifiying candidate # 1.008 * [simplify]: Simplifying (/ 1 1) 1.008 * * [simplify]: iters left: 2 (2 enodes) 1.010 * * [simplify]: iters left: 1 (6 enodes) 1.012 * * [simplify]: Extracting #0: cost 1 inf + 0 1.012 * * [simplify]: Extracting #1: cost 0 inf + 1 1.012 * [simplify]: Simplified to 1 1.012 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (/ 2 (+ (exp x) (exp (- x)))))) 1.012 * [simplify]: Simplifying (/ 2 (+ (exp x) (exp (- x)))) 1.012 * * [simplify]: iters left: 6 (7 enodes) 1.016 * * [simplify]: iters left: 5 (24 enodes) 1.024 * * [simplify]: iters left: 4 (28 enodes) 1.034 * * [simplify]: iters left: 3 (30 enodes) 1.043 * * [simplify]: Extracting #0: cost 1 inf + 0 1.043 * * [simplify]: Extracting #1: cost 4 inf + 0 1.043 * * [simplify]: Extracting #2: cost 6 inf + 1 1.044 * * [simplify]: Extracting #3: cost 11 inf + 1 1.044 * * [simplify]: Extracting #4: cost 9 inf + 44 1.044 * * [simplify]: Extracting #5: cost 3 inf + 670 1.044 * * [simplify]: Extracting #6: cost 1 inf + 1153 1.044 * * [simplify]: Extracting #7: cost 0 inf + 1415 1.045 * [simplify]: Simplified to (/ 2 (+ (exp x) (exp (- x)))) 1.045 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (/ 2 (+ (exp x) (exp (- x)))))) 1.045 * * * * [progress]: [ 24 / 39 ] simplifiying candidate # 1.045 * * * * [progress]: [ 25 / 39 ] simplifiying candidate # 1.045 * * * * [progress]: [ 26 / 39 ] simplifiying candidate # 1.045 * * * * [progress]: [ 27 / 39 ] simplifiying candidate # 1.046 * [simplify]: Simplifying (cbrt (+ (exp x) (exp (- x)))) 1.046 * * [simplify]: iters left: 6 (6 enodes) 1.048 * * [simplify]: iters left: 5 (21 enodes) 1.054 * * [simplify]: iters left: 4 (25 enodes) 1.062 * * [simplify]: iters left: 3 (27 enodes) 1.070 * * [simplify]: Extracting #0: cost 1 inf + 0 1.070 * * [simplify]: Extracting #1: cost 3 inf + 0 1.070 * * [simplify]: Extracting #2: cost 6 inf + 0 1.070 * * [simplify]: Extracting #3: cost 11 inf + 0 1.070 * * [simplify]: Extracting #4: cost 9 inf + 43 1.070 * * [simplify]: Extracting #5: cost 0 inf + 1492 1.071 * [simplify]: Simplified to (cbrt (+ (exp x) (exp (- x)))) 1.071 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ 2 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (cbrt (+ (exp x) (exp (- x)))))) 1.071 * * * * [progress]: [ 28 / 39 ] simplifiying candidate # 1.071 * [simplify]: Simplifying (sqrt (+ (exp x) (exp (- x)))) 1.071 * * [simplify]: iters left: 6 (6 enodes) 1.074 * * [simplify]: iters left: 5 (21 enodes) 1.080 * * [simplify]: iters left: 4 (25 enodes) 1.088 * * [simplify]: iters left: 3 (27 enodes) 1.095 * * [simplify]: Extracting #0: cost 1 inf + 0 1.095 * * [simplify]: Extracting #1: cost 3 inf + 0 1.095 * * [simplify]: Extracting #2: cost 6 inf + 0 1.095 * * [simplify]: Extracting #3: cost 11 inf + 0 1.096 * * [simplify]: Extracting #4: cost 9 inf + 43 1.096 * * [simplify]: Extracting #5: cost 0 inf + 1412 1.096 * [simplify]: Simplified to (sqrt (+ (exp x) (exp (- x)))) 1.096 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ 2 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))) 1.096 * * * * [progress]: [ 29 / 39 ] simplifiying candidate # 1.097 * [simplify]: Simplifying (+ (exp x) (exp (- x))) 1.097 * * [simplify]: iters left: 5 (5 enodes) 1.099 * * [simplify]: iters left: 4 (18 enodes) 1.105 * * [simplify]: iters left: 3 (22 enodes) 1.112 * * [simplify]: iters left: 2 (24 enodes) 1.120 * * [simplify]: Extracting #0: cost 1 inf + 0 1.120 * * [simplify]: Extracting #1: cost 4 inf + 0 1.120 * * [simplify]: Extracting #2: cost 9 inf + 0 1.120 * * [simplify]: Extracting #3: cost 8 inf + 2 1.121 * * [simplify]: Extracting #4: cost 0 inf + 890 1.121 * [simplify]: Simplified to (+ (exp x) (exp (- x))) 1.121 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ 2 1) (+ (exp x) (exp (- x))))) 1.121 * * * * [progress]: [ 30 / 39 ] simplifiying candidate # 1.121 * [simplify]: Simplifying (+ (exp x) (exp (- x))) 1.121 * * [simplify]: iters left: 5 (5 enodes) 1.124 * * [simplify]: iters left: 4 (18 enodes) 1.129 * * [simplify]: iters left: 3 (22 enodes) 1.134 * * [simplify]: iters left: 2 (24 enodes) 1.138 * * [simplify]: Extracting #0: cost 1 inf + 0 1.138 * * [simplify]: Extracting #1: cost 4 inf + 0 1.138 * * [simplify]: Extracting #2: cost 9 inf + 0 1.138 * * [simplify]: Extracting #3: cost 8 inf + 2 1.138 * * [simplify]: Extracting #4: cost 0 inf + 890 1.138 * [simplify]: Simplified to (+ (exp x) (exp (- x))) 1.138 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ 2 1) (+ (exp x) (exp (- x))))) 1.138 * * * * [progress]: [ 31 / 39 ] simplifiying candidate # 1.138 * [simplify]: Simplifying (* (cbrt 2) (cbrt 2)) 1.138 * * [simplify]: iters left: 3 (3 enodes) 1.140 * * [simplify]: iters left: 2 (9 enodes) 1.141 * * [simplify]: Extracting #0: cost 1 inf + 0 1.141 * * [simplify]: Extracting #1: cost 3 inf + 0 1.141 * * [simplify]: Extracting #2: cost 5 inf + 0 1.141 * * [simplify]: Extracting #3: cost 4 inf + 1 1.141 * * [simplify]: Extracting #4: cost 0 inf + 405 1.142 * [simplify]: Simplified to (* (cbrt 2) (cbrt 2)) 1.142 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (cbrt 2) (cbrt 2)) (/ (+ (exp x) (exp (- x))) (cbrt 2)))) 1.142 * * * * [progress]: [ 32 / 39 ] simplifiying candidate # 1.142 * [simplify]: Simplifying (sqrt 2) 1.142 * * [simplify]: iters left: 1 (2 enodes) 1.143 * * [simplify]: Extracting #0: cost 1 inf + 0 1.143 * * [simplify]: Extracting #1: cost 3 inf + 0 1.143 * * [simplify]: Extracting #2: cost 2 inf + 1 1.143 * * [simplify]: Extracting #3: cost 0 inf + 83 1.143 * [simplify]: Simplified to (sqrt 2) 1.143 * [simplify]: Simplified (2 1) to (λ (x) (/ (sqrt 2) (/ (+ (exp x) (exp (- x))) (sqrt 2)))) 1.143 * * * * [progress]: [ 33 / 39 ] simplifiying candidate # 1.143 * * * * [progress]: [ 34 / 39 ] simplifiying candidate # 1.143 * [simplify]: Simplifying (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) 1.143 * * [simplify]: iters left: 6 (9 enodes) 1.146 * * [simplify]: iters left: 5 (45 enodes) 1.155 * * [simplify]: iters left: 4 (91 enodes) 1.177 * * [simplify]: iters left: 3 (136 enodes) 1.208 * * [simplify]: iters left: 2 (198 enodes) 1.253 * * [simplify]: iters left: 1 (278 enodes) 1.340 * * [simplify]: Extracting #0: cost 1 inf + 0 1.340 * * [simplify]: Extracting #1: cost 26 inf + 0 1.341 * * [simplify]: Extracting #2: cost 66 inf + 2 1.342 * * [simplify]: Extracting #3: cost 70 inf + 74 1.344 * * [simplify]: Extracting #4: cost 26 inf + 6374 1.352 * * [simplify]: Extracting #5: cost 0 inf + 11556 1.358 * [simplify]: Simplified to (fma (exp (- x)) (exp (- x)) (expm1 (+ x x))) 1.358 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (fma (exp (- x)) (exp (- x)) (expm1 (+ x x))))) 1.358 * * * * [progress]: [ 35 / 39 ] simplifiying candidate # 1.358 * [simplify]: Simplifying (- (exp x) (exp (- x))) 1.359 * * [simplify]: iters left: 5 (5 enodes) 1.361 * * [simplify]: iters left: 4 (19 enodes) 1.368 * * [simplify]: iters left: 3 (29 enodes) 1.377 * * [simplify]: iters left: 2 (33 enodes) 1.386 * * [simplify]: Extracting #0: cost 1 inf + 0 1.386 * * [simplify]: Extracting #1: cost 5 inf + 0 1.386 * * [simplify]: Extracting #2: cost 12 inf + 0 1.386 * * [simplify]: Extracting #3: cost 10 inf + 3 1.387 * * [simplify]: Extracting #4: cost 3 inf + 561 1.387 * * [simplify]: Extracting #5: cost 0 inf + 977 1.387 * [simplify]: Simplified to (+ (/ -1 (exp x)) (exp x)) 1.387 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (+ (/ -1 (exp x)) (exp x)))) 1.388 * * * * [progress]: [ 36 / 39 ] simplifiying candidate #real (real->posit16 (/ 2 (+ (exp x) (exp (- x)))))))> 1.388 * * * * [progress]: [ 37 / 39 ] simplifiying candidate # 1.388 * [simplify]: Simplifying (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))) 1.388 * * [simplify]: iters left: 6 (12 enodes) 1.397 * * [simplify]: iters left: 5 (53 enodes) 1.415 * * [simplify]: iters left: 4 (83 enodes) 1.435 * * [simplify]: iters left: 3 (116 enodes) 1.453 * * [simplify]: iters left: 2 (152 enodes) 1.481 * * [simplify]: iters left: 1 (167 enodes) 1.506 * * [simplify]: Extracting #0: cost 1 inf + 0 1.507 * * [simplify]: Extracting #1: cost 26 inf + 0 1.507 * * [simplify]: Extracting #2: cost 41 inf + 127 1.508 * * [simplify]: Extracting #3: cost 15 inf + 2339 1.509 * * [simplify]: Extracting #4: cost 0 inf + 4593 1.511 * [simplify]: Simplified to (fma (* x x) -1/2 (fma 5/24 (* (* x x) (* x x)) 1)) 1.511 * [simplify]: Simplified (2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (* (* x x) (* x x)) 1))) 1.511 * * * * [progress]: [ 38 / 39 ] simplifiying candidate # 1.511 * [simplify]: Simplifying (/ 2 (+ (exp x) (exp (- x)))) 1.511 * * [simplify]: iters left: 6 (7 enodes) 1.513 * * [simplify]: iters left: 5 (24 enodes) 1.517 * * [simplify]: iters left: 4 (28 enodes) 1.522 * * [simplify]: iters left: 3 (30 enodes) 1.527 * * [simplify]: Extracting #0: cost 1 inf + 0 1.527 * * [simplify]: Extracting #1: cost 4 inf + 0 1.527 * * [simplify]: Extracting #2: cost 6 inf + 1 1.527 * * [simplify]: Extracting #3: cost 11 inf + 1 1.527 * * [simplify]: Extracting #4: cost 9 inf + 44 1.527 * * [simplify]: Extracting #5: cost 3 inf + 670 1.527 * * [simplify]: Extracting #6: cost 1 inf + 1153 1.528 * * [simplify]: Extracting #7: cost 0 inf + 1415 1.528 * [simplify]: Simplified to (/ 2 (+ (exp x) (exp (- x)))) 1.528 * [simplify]: Simplified (2) to (λ (x) (/ 2 (+ (exp x) (exp (- x))))) 1.528 * * * * [progress]: [ 39 / 39 ] simplifiying candidate # 1.528 * [simplify]: Simplifying (/ 2 (+ (exp (* -1 x)) (exp x))) 1.528 * * [simplify]: iters left: 6 (8 enodes) 1.533 * * [simplify]: iters left: 5 (29 enodes) 1.542 * * [simplify]: iters left: 4 (37 enodes) 1.554 * * [simplify]: iters left: 3 (51 enodes) 1.565 * * [simplify]: iters left: 2 (81 enodes) 1.583 * * [simplify]: iters left: 1 (145 enodes) 1.623 * * [simplify]: Extracting #0: cost 1 inf + 0 1.623 * * [simplify]: Extracting #1: cost 4 inf + 0 1.623 * * [simplify]: Extracting #2: cost 7 inf + 1 1.623 * * [simplify]: Extracting #3: cost 32 inf + 1 1.623 * * [simplify]: Extracting #4: cost 66 inf + 270 1.624 * * [simplify]: Extracting #5: cost 55 inf + 2324 1.627 * * [simplify]: Extracting #6: cost 20 inf + 10633 1.632 * * [simplify]: Extracting #7: cost 3 inf + 20264 1.634 * * [simplify]: Extracting #8: cost 0 inf + 22444 1.637 * * [simplify]: Extracting #9: cost 0 inf + 22163 1.639 * * [simplify]: Extracting #10: cost 0 inf + 22123 1.642 * [simplify]: Simplified to (/ 2 (+ (exp x) (exp (- x)))) 1.642 * [simplify]: Simplified (2) to (λ (x) (/ 2 (+ (exp x) (exp (- x))))) 1.642 * * * [progress]: adding candidates to table 2.003 * * [progress]: iteration 2 / 4 2.003 * * * [progress]: picking best candidate 2.008 * * * * [pick]: Picked # 2.008 * * * [progress]: localizing error 2.029 * * * [progress]: generating rewritten candidates 2.029 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 2.030 * * * * [progress]: [ 2 / 3 ] rewriting at (2 3 2) 2.077 * * * * [progress]: [ 3 / 3 ] rewriting at (2 3) 2.080 * * * [progress]: generating series expansions 2.080 * * * * [progress]: [ 1 / 3 ] generating series at (2) 2.080 * [backup-simplify]: Simplify (fma (* x x) -1/2 (fma 5/24 (* (* x x) (* x x)) 1)) into (fma (pow x 2) -1/2 (fma 5/24 (pow x 4) 1)) 2.080 * [approximate]: Taking taylor expansion of (fma (pow x 2) -1/2 (fma 5/24 (pow x 4) 1)) in (x) around 0 2.080 * [taylor]: Taking taylor expansion of (fma (pow x 2) -1/2 (fma 5/24 (pow x 4) 1)) in x 2.080 * [taylor]: Rewrote expression to (+ (* (pow x 2) -1/2) (fma 5/24 (pow x 4) 1)) 2.080 * [taylor]: Taking taylor expansion of (* (pow x 2) -1/2) in x 2.080 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.080 * [taylor]: Taking taylor expansion of x in x 2.080 * [backup-simplify]: Simplify 0 into 0 2.080 * [backup-simplify]: Simplify 1 into 1 2.080 * [taylor]: Taking taylor expansion of -1/2 in x 2.080 * [backup-simplify]: Simplify -1/2 into -1/2 2.080 * [taylor]: Taking taylor expansion of (fma 5/24 (pow x 4) 1) in x 2.080 * [taylor]: Rewrote expression to (+ (* 5/24 (pow x 4)) 1) 2.080 * [taylor]: Taking taylor expansion of (* 5/24 (pow x 4)) in x 2.081 * [taylor]: Taking taylor expansion of 5/24 in x 2.081 * [backup-simplify]: Simplify 5/24 into 5/24 2.081 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.081 * [taylor]: Taking taylor expansion of x in x 2.081 * [backup-simplify]: Simplify 0 into 0 2.081 * [backup-simplify]: Simplify 1 into 1 2.081 * [taylor]: Taking taylor expansion of 1 in x 2.081 * [backup-simplify]: Simplify 1 into 1 2.081 * [taylor]: Taking taylor expansion of (fma (pow x 2) -1/2 (fma 5/24 (pow x 4) 1)) in x 2.081 * [taylor]: Rewrote expression to (+ (* (pow x 2) -1/2) (fma 5/24 (pow x 4) 1)) 2.081 * [taylor]: Taking taylor expansion of (* (pow x 2) -1/2) in x 2.081 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.081 * [taylor]: Taking taylor expansion of x in x 2.081 * [backup-simplify]: Simplify 0 into 0 2.081 * [backup-simplify]: Simplify 1 into 1 2.081 * [taylor]: Taking taylor expansion of -1/2 in x 2.081 * [backup-simplify]: Simplify -1/2 into -1/2 2.081 * [taylor]: Taking taylor expansion of (fma 5/24 (pow x 4) 1) in x 2.081 * [taylor]: Rewrote expression to (+ (* 5/24 (pow x 4)) 1) 2.081 * [taylor]: Taking taylor expansion of (* 5/24 (pow x 4)) in x 2.081 * [taylor]: Taking taylor expansion of 5/24 in x 2.081 * [backup-simplify]: Simplify 5/24 into 5/24 2.081 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.081 * [taylor]: Taking taylor expansion of x in x 2.081 * [backup-simplify]: Simplify 0 into 0 2.081 * [backup-simplify]: Simplify 1 into 1 2.081 * [taylor]: Taking taylor expansion of 1 in x 2.081 * [backup-simplify]: Simplify 1 into 1 2.082 * [backup-simplify]: Simplify (+ 0 1) into 1 2.082 * [backup-simplify]: Simplify (+ 0 1) into 1 2.082 * [backup-simplify]: Simplify 1 into 1 2.083 * [backup-simplify]: Simplify (+ 0 0) into 0 2.083 * [backup-simplify]: Simplify (+ 0 0) into 0 2.083 * [backup-simplify]: Simplify 0 into 0 2.084 * [backup-simplify]: Simplify (* 1 1) into 1 2.084 * [backup-simplify]: Simplify (* 1 -1/2) into -1/2 2.084 * [backup-simplify]: Simplify (+ 0 0) into 0 2.085 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 2.085 * [backup-simplify]: Simplify -1/2 into -1/2 2.086 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.086 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 -1/2)) into 0 2.087 * [backup-simplify]: Simplify (+ 0 0) into 0 2.087 * [backup-simplify]: Simplify (+ 0 0) into 0 2.087 * [backup-simplify]: Simplify 0 into 0 2.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.089 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 -1/2))) into 0 2.089 * [backup-simplify]: Simplify (* 1 1) into 1 2.090 * [backup-simplify]: Simplify (* 1 1) into 1 2.090 * [backup-simplify]: Simplify (* 5/24 1) into 5/24 2.091 * [backup-simplify]: Simplify (+ 5/24 0) into 5/24 2.091 * [backup-simplify]: Simplify (+ 0 5/24) into 5/24 2.091 * [backup-simplify]: Simplify 5/24 into 5/24 2.091 * [backup-simplify]: Simplify (+ (* 5/24 (pow x 4)) (+ (* -1/2 (pow x 2)) 1)) into (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))) 2.092 * [backup-simplify]: Simplify (fma (* (/ 1 x) (/ 1 x)) -1/2 (fma 5/24 (* (* (/ 1 x) (/ 1 x)) (* (/ 1 x) (/ 1 x))) 1)) into (fma (/ 1 (pow x 2)) -1/2 (fma 5/24 (/ 1 (pow x 4)) 1)) 2.092 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow x 2)) -1/2 (fma 5/24 (/ 1 (pow x 4)) 1)) in (x) around 0 2.092 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) -1/2 (fma 5/24 (/ 1 (pow x 4)) 1)) in x 2.092 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) -1/2) (fma 5/24 (/ 1 (pow x 4)) 1)) 2.092 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) -1/2) in x 2.092 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.092 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.092 * [taylor]: Taking taylor expansion of x in x 2.092 * [backup-simplify]: Simplify 0 into 0 2.092 * [backup-simplify]: Simplify 1 into 1 2.092 * [backup-simplify]: Simplify (* 1 1) into 1 2.093 * [backup-simplify]: Simplify (/ 1 1) into 1 2.093 * [taylor]: Taking taylor expansion of -1/2 in x 2.093 * [backup-simplify]: Simplify -1/2 into -1/2 2.093 * [taylor]: Taking taylor expansion of (fma 5/24 (/ 1 (pow x 4)) 1) in x 2.093 * [taylor]: Rewrote expression to (+ (* 5/24 (/ 1 (pow x 4))) 1) 2.093 * [taylor]: Taking taylor expansion of (* 5/24 (/ 1 (pow x 4))) in x 2.093 * [taylor]: Taking taylor expansion of 5/24 in x 2.093 * [backup-simplify]: Simplify 5/24 into 5/24 2.093 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.093 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.093 * [taylor]: Taking taylor expansion of x in x 2.093 * [backup-simplify]: Simplify 0 into 0 2.093 * [backup-simplify]: Simplify 1 into 1 2.094 * [backup-simplify]: Simplify (* 1 1) into 1 2.094 * [backup-simplify]: Simplify (* 1 1) into 1 2.094 * [backup-simplify]: Simplify (/ 1 1) into 1 2.094 * [taylor]: Taking taylor expansion of 1 in x 2.094 * [backup-simplify]: Simplify 1 into 1 2.094 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) -1/2 (fma 5/24 (/ 1 (pow x 4)) 1)) in x 2.095 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) -1/2) (fma 5/24 (/ 1 (pow x 4)) 1)) 2.095 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) -1/2) in x 2.095 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.095 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.095 * [taylor]: Taking taylor expansion of x in x 2.095 * [backup-simplify]: Simplify 0 into 0 2.095 * [backup-simplify]: Simplify 1 into 1 2.095 * [backup-simplify]: Simplify (* 1 1) into 1 2.096 * [backup-simplify]: Simplify (/ 1 1) into 1 2.096 * [taylor]: Taking taylor expansion of -1/2 in x 2.096 * [backup-simplify]: Simplify -1/2 into -1/2 2.096 * [taylor]: Taking taylor expansion of (fma 5/24 (/ 1 (pow x 4)) 1) in x 2.096 * [taylor]: Rewrote expression to (+ (* 5/24 (/ 1 (pow x 4))) 1) 2.096 * [taylor]: Taking taylor expansion of (* 5/24 (/ 1 (pow x 4))) in x 2.096 * [taylor]: Taking taylor expansion of 5/24 in x 2.096 * [backup-simplify]: Simplify 5/24 into 5/24 2.096 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.096 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.096 * [taylor]: Taking taylor expansion of x in x 2.096 * [backup-simplify]: Simplify 0 into 0 2.096 * [backup-simplify]: Simplify 1 into 1 2.097 * [backup-simplify]: Simplify (* 1 1) into 1 2.097 * [backup-simplify]: Simplify (* 1 1) into 1 2.097 * [backup-simplify]: Simplify (/ 1 1) into 1 2.097 * [taylor]: Taking taylor expansion of 1 in x 2.097 * [backup-simplify]: Simplify 1 into 1 2.098 * [backup-simplify]: Simplify (* 5/24 1) into 5/24 2.098 * [backup-simplify]: Simplify (+ 5/24 0) into 5/24 2.099 * [backup-simplify]: Simplify (+ 0 5/24) into 5/24 2.099 * [backup-simplify]: Simplify 5/24 into 5/24 2.099 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.100 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.101 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.102 * [backup-simplify]: Simplify (+ (* 5/24 0) (* 0 1)) into 0 2.102 * [backup-simplify]: Simplify (+ 0 0) into 0 2.102 * [backup-simplify]: Simplify (+ 0 0) into 0 2.102 * [backup-simplify]: Simplify 0 into 0 2.103 * [backup-simplify]: Simplify (* 1 -1/2) into -1/2 2.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.106 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.107 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (* 0 1))) into 0 2.108 * [backup-simplify]: Simplify (+ 0 0) into 0 2.108 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 2.108 * [backup-simplify]: Simplify -1/2 into -1/2 2.109 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.110 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.110 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 -1/2)) into 0 2.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.114 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.115 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.115 * [backup-simplify]: Simplify (+ 0 0) into 0 2.116 * [backup-simplify]: Simplify (+ 0 0) into 0 2.116 * [backup-simplify]: Simplify 0 into 0 2.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.118 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.119 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 -1/2))) into 0 2.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.122 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.123 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.124 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.124 * [backup-simplify]: Simplify (+ 0 1) into 1 2.125 * [backup-simplify]: Simplify (+ 0 1) into 1 2.125 * [backup-simplify]: Simplify 1 into 1 2.125 * [backup-simplify]: Simplify (+ 1 (+ (* -1/2 (pow (/ 1 (/ 1 x)) 2)) (* 5/24 (pow (/ 1 (/ 1 x)) 4)))) into (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))) 2.126 * [backup-simplify]: Simplify (fma (* (/ 1 (- x)) (/ 1 (- x))) -1/2 (fma 5/24 (* (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- x)))) 1)) into (fma (/ 1 (pow x 2)) -1/2 (fma 5/24 (/ 1 (pow x 4)) 1)) 2.126 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow x 2)) -1/2 (fma 5/24 (/ 1 (pow x 4)) 1)) in (x) around 0 2.126 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) -1/2 (fma 5/24 (/ 1 (pow x 4)) 1)) in x 2.126 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) -1/2) (fma 5/24 (/ 1 (pow x 4)) 1)) 2.126 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) -1/2) in x 2.126 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.126 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.126 * [taylor]: Taking taylor expansion of x in x 2.126 * [backup-simplify]: Simplify 0 into 0 2.126 * [backup-simplify]: Simplify 1 into 1 2.126 * [backup-simplify]: Simplify (* 1 1) into 1 2.127 * [backup-simplify]: Simplify (/ 1 1) into 1 2.127 * [taylor]: Taking taylor expansion of -1/2 in x 2.127 * [backup-simplify]: Simplify -1/2 into -1/2 2.127 * [taylor]: Taking taylor expansion of (fma 5/24 (/ 1 (pow x 4)) 1) in x 2.127 * [taylor]: Rewrote expression to (+ (* 5/24 (/ 1 (pow x 4))) 1) 2.127 * [taylor]: Taking taylor expansion of (* 5/24 (/ 1 (pow x 4))) in x 2.127 * [taylor]: Taking taylor expansion of 5/24 in x 2.127 * [backup-simplify]: Simplify 5/24 into 5/24 2.127 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.127 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.127 * [taylor]: Taking taylor expansion of x in x 2.127 * [backup-simplify]: Simplify 0 into 0 2.127 * [backup-simplify]: Simplify 1 into 1 2.127 * [backup-simplify]: Simplify (* 1 1) into 1 2.128 * [backup-simplify]: Simplify (* 1 1) into 1 2.128 * [backup-simplify]: Simplify (/ 1 1) into 1 2.128 * [taylor]: Taking taylor expansion of 1 in x 2.128 * [backup-simplify]: Simplify 1 into 1 2.128 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) -1/2 (fma 5/24 (/ 1 (pow x 4)) 1)) in x 2.128 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) -1/2) (fma 5/24 (/ 1 (pow x 4)) 1)) 2.128 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) -1/2) in x 2.128 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.128 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.128 * [taylor]: Taking taylor expansion of x in x 2.129 * [backup-simplify]: Simplify 0 into 0 2.129 * [backup-simplify]: Simplify 1 into 1 2.129 * [backup-simplify]: Simplify (* 1 1) into 1 2.129 * [backup-simplify]: Simplify (/ 1 1) into 1 2.129 * [taylor]: Taking taylor expansion of -1/2 in x 2.129 * [backup-simplify]: Simplify -1/2 into -1/2 2.129 * [taylor]: Taking taylor expansion of (fma 5/24 (/ 1 (pow x 4)) 1) in x 2.129 * [taylor]: Rewrote expression to (+ (* 5/24 (/ 1 (pow x 4))) 1) 2.129 * [taylor]: Taking taylor expansion of (* 5/24 (/ 1 (pow x 4))) in x 2.129 * [taylor]: Taking taylor expansion of 5/24 in x 2.130 * [backup-simplify]: Simplify 5/24 into 5/24 2.130 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.130 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.130 * [taylor]: Taking taylor expansion of x in x 2.130 * [backup-simplify]: Simplify 0 into 0 2.130 * [backup-simplify]: Simplify 1 into 1 2.130 * [backup-simplify]: Simplify (* 1 1) into 1 2.130 * [backup-simplify]: Simplify (* 1 1) into 1 2.131 * [backup-simplify]: Simplify (/ 1 1) into 1 2.131 * [taylor]: Taking taylor expansion of 1 in x 2.131 * [backup-simplify]: Simplify 1 into 1 2.131 * [backup-simplify]: Simplify (* 5/24 1) into 5/24 2.132 * [backup-simplify]: Simplify (+ 5/24 0) into 5/24 2.132 * [backup-simplify]: Simplify (+ 0 5/24) into 5/24 2.132 * [backup-simplify]: Simplify 5/24 into 5/24 2.133 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.134 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.135 * [backup-simplify]: Simplify (+ (* 5/24 0) (* 0 1)) into 0 2.135 * [backup-simplify]: Simplify (+ 0 0) into 0 2.136 * [backup-simplify]: Simplify (+ 0 0) into 0 2.136 * [backup-simplify]: Simplify 0 into 0 2.136 * [backup-simplify]: Simplify (* 1 -1/2) into -1/2 2.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.138 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.139 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.140 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (* 0 1))) into 0 2.140 * [backup-simplify]: Simplify (+ 0 0) into 0 2.141 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 2.141 * [backup-simplify]: Simplify -1/2 into -1/2 2.142 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.142 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.143 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 -1/2)) into 0 2.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.146 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.147 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.148 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.148 * [backup-simplify]: Simplify (+ 0 0) into 0 2.148 * [backup-simplify]: Simplify (+ 0 0) into 0 2.148 * [backup-simplify]: Simplify 0 into 0 2.149 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 -1/2))) into 0 2.152 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.154 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.156 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.156 * [backup-simplify]: Simplify (+ 0 1) into 1 2.157 * [backup-simplify]: Simplify (+ 0 1) into 1 2.157 * [backup-simplify]: Simplify 1 into 1 2.157 * [backup-simplify]: Simplify (+ 1 (+ (* -1/2 (pow (/ 1 (/ 1 (- x))) 2)) (* 5/24 (pow (/ 1 (/ 1 (- x))) 4)))) into (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))) 2.157 * * * * [progress]: [ 2 / 3 ] generating series at (2 3 2) 2.157 * [backup-simplify]: Simplify (* (* x x) (* x x)) into (pow x 4) 2.157 * [approximate]: Taking taylor expansion of (pow x 4) in (x) around 0 2.157 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.157 * [taylor]: Taking taylor expansion of x in x 2.157 * [backup-simplify]: Simplify 0 into 0 2.157 * [backup-simplify]: Simplify 1 into 1 2.157 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.157 * [taylor]: Taking taylor expansion of x in x 2.157 * [backup-simplify]: Simplify 0 into 0 2.157 * [backup-simplify]: Simplify 1 into 1 2.157 * [backup-simplify]: Simplify (* 1 1) into 1 2.158 * [backup-simplify]: Simplify (* 1 1) into 1 2.158 * [backup-simplify]: Simplify 1 into 1 2.158 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.161 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.161 * [backup-simplify]: Simplify 0 into 0 2.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.162 * [backup-simplify]: Simplify 0 into 0 2.163 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.164 * [backup-simplify]: Simplify 0 into 0 2.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.165 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.165 * [backup-simplify]: Simplify 0 into 0 2.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.167 * [backup-simplify]: Simplify 0 into 0 2.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.168 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.168 * [backup-simplify]: Simplify 0 into 0 2.168 * [backup-simplify]: Simplify (* 1 (pow x 4)) into (pow x 4) 2.169 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) (* (/ 1 x) (/ 1 x))) into (/ 1 (pow x 4)) 2.169 * [approximate]: Taking taylor expansion of (/ 1 (pow x 4)) in (x) around 0 2.169 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.169 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.169 * [taylor]: Taking taylor expansion of x in x 2.169 * [backup-simplify]: Simplify 0 into 0 2.169 * [backup-simplify]: Simplify 1 into 1 2.169 * [backup-simplify]: Simplify (* 1 1) into 1 2.169 * [backup-simplify]: Simplify (* 1 1) into 1 2.169 * [backup-simplify]: Simplify (/ 1 1) into 1 2.169 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.169 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.169 * [taylor]: Taking taylor expansion of x in x 2.169 * [backup-simplify]: Simplify 0 into 0 2.169 * [backup-simplify]: Simplify 1 into 1 2.170 * [backup-simplify]: Simplify (* 1 1) into 1 2.170 * [backup-simplify]: Simplify (* 1 1) into 1 2.170 * [backup-simplify]: Simplify (/ 1 1) into 1 2.170 * [backup-simplify]: Simplify 1 into 1 2.171 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.171 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.172 * [backup-simplify]: Simplify 0 into 0 2.172 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.173 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.173 * [backup-simplify]: Simplify 0 into 0 2.174 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.174 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.175 * [backup-simplify]: Simplify 0 into 0 2.176 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.176 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.177 * [backup-simplify]: Simplify 0 into 0 2.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.179 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.179 * [backup-simplify]: Simplify 0 into 0 2.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.181 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.181 * [backup-simplify]: Simplify 0 into 0 2.181 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 x)) 4)) into (pow x 4) 2.181 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- x)))) into (/ 1 (pow x 4)) 2.181 * [approximate]: Taking taylor expansion of (/ 1 (pow x 4)) in (x) around 0 2.181 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.182 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.182 * [taylor]: Taking taylor expansion of x in x 2.182 * [backup-simplify]: Simplify 0 into 0 2.182 * [backup-simplify]: Simplify 1 into 1 2.182 * [backup-simplify]: Simplify (* 1 1) into 1 2.182 * [backup-simplify]: Simplify (* 1 1) into 1 2.182 * [backup-simplify]: Simplify (/ 1 1) into 1 2.182 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.182 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.182 * [taylor]: Taking taylor expansion of x in x 2.182 * [backup-simplify]: Simplify 0 into 0 2.182 * [backup-simplify]: Simplify 1 into 1 2.183 * [backup-simplify]: Simplify (* 1 1) into 1 2.183 * [backup-simplify]: Simplify (* 1 1) into 1 2.183 * [backup-simplify]: Simplify (/ 1 1) into 1 2.183 * [backup-simplify]: Simplify 1 into 1 2.184 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.184 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.184 * [backup-simplify]: Simplify 0 into 0 2.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.186 * [backup-simplify]: Simplify 0 into 0 2.187 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.187 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.188 * [backup-simplify]: Simplify 0 into 0 2.189 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.191 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.191 * [backup-simplify]: Simplify 0 into 0 2.192 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.195 * [backup-simplify]: Simplify 0 into 0 2.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.199 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.199 * [backup-simplify]: Simplify 0 into 0 2.200 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- x))) 4)) into (pow x 4) 2.200 * * * * [progress]: [ 3 / 3 ] generating series at (2 3) 2.200 * [backup-simplify]: Simplify (fma 5/24 (* (* x x) (* x x)) 1) into (fma 5/24 (pow x 4) 1) 2.200 * [approximate]: Taking taylor expansion of (fma 5/24 (pow x 4) 1) in (x) around 0 2.200 * [taylor]: Taking taylor expansion of (fma 5/24 (pow x 4) 1) in x 2.200 * [taylor]: Rewrote expression to (+ (* 5/24 (pow x 4)) 1) 2.200 * [taylor]: Taking taylor expansion of (* 5/24 (pow x 4)) in x 2.200 * [taylor]: Taking taylor expansion of 5/24 in x 2.200 * [backup-simplify]: Simplify 5/24 into 5/24 2.200 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.200 * [taylor]: Taking taylor expansion of x in x 2.200 * [backup-simplify]: Simplify 0 into 0 2.200 * [backup-simplify]: Simplify 1 into 1 2.200 * [taylor]: Taking taylor expansion of 1 in x 2.200 * [backup-simplify]: Simplify 1 into 1 2.200 * [taylor]: Taking taylor expansion of (fma 5/24 (pow x 4) 1) in x 2.200 * [taylor]: Rewrote expression to (+ (* 5/24 (pow x 4)) 1) 2.200 * [taylor]: Taking taylor expansion of (* 5/24 (pow x 4)) in x 2.200 * [taylor]: Taking taylor expansion of 5/24 in x 2.200 * [backup-simplify]: Simplify 5/24 into 5/24 2.200 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.201 * [taylor]: Taking taylor expansion of x in x 2.201 * [backup-simplify]: Simplify 0 into 0 2.201 * [backup-simplify]: Simplify 1 into 1 2.201 * [taylor]: Taking taylor expansion of 1 in x 2.201 * [backup-simplify]: Simplify 1 into 1 2.201 * [backup-simplify]: Simplify (+ 0 1) into 1 2.201 * [backup-simplify]: Simplify 1 into 1 2.202 * [backup-simplify]: Simplify (+ 0 0) into 0 2.202 * [backup-simplify]: Simplify 0 into 0 2.202 * [backup-simplify]: Simplify (+ 0 0) into 0 2.202 * [backup-simplify]: Simplify 0 into 0 2.202 * [backup-simplify]: Simplify (+ 0 0) into 0 2.202 * [backup-simplify]: Simplify 0 into 0 2.203 * [backup-simplify]: Simplify (* 1 1) into 1 2.203 * [backup-simplify]: Simplify (* 1 1) into 1 2.204 * [backup-simplify]: Simplify (* 5/24 1) into 5/24 2.204 * [backup-simplify]: Simplify (+ 5/24 0) into 5/24 2.204 * [backup-simplify]: Simplify 5/24 into 5/24 2.205 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.205 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.206 * [backup-simplify]: Simplify (+ (* 5/24 0) (* 0 1)) into 0 2.206 * [backup-simplify]: Simplify (+ 0 0) into 0 2.206 * [backup-simplify]: Simplify 0 into 0 2.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.209 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (* 0 1))) into 0 2.210 * [backup-simplify]: Simplify (+ 0 0) into 0 2.210 * [backup-simplify]: Simplify 0 into 0 2.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.214 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.214 * [backup-simplify]: Simplify (+ 0 0) into 0 2.214 * [backup-simplify]: Simplify 0 into 0 2.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.217 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.218 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.218 * [backup-simplify]: Simplify (+ 0 0) into 0 2.218 * [backup-simplify]: Simplify 0 into 0 2.220 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.223 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.223 * [backup-simplify]: Simplify (+ 0 0) into 0 2.223 * [backup-simplify]: Simplify 0 into 0 2.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.226 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.228 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.229 * [backup-simplify]: Simplify (+ 0 0) into 0 2.229 * [backup-simplify]: Simplify 0 into 0 2.229 * [backup-simplify]: Simplify (+ (* 5/24 (pow x 4)) 1) into (+ (* 5/24 (pow x 4)) 1) 2.229 * [backup-simplify]: Simplify (fma 5/24 (* (* (/ 1 x) (/ 1 x)) (* (/ 1 x) (/ 1 x))) 1) into (fma 5/24 (/ 1 (pow x 4)) 1) 2.229 * [approximate]: Taking taylor expansion of (fma 5/24 (/ 1 (pow x 4)) 1) in (x) around 0 2.229 * [taylor]: Taking taylor expansion of (fma 5/24 (/ 1 (pow x 4)) 1) in x 2.230 * [taylor]: Rewrote expression to (+ (* 5/24 (/ 1 (pow x 4))) 1) 2.230 * [taylor]: Taking taylor expansion of (* 5/24 (/ 1 (pow x 4))) in x 2.230 * [taylor]: Taking taylor expansion of 5/24 in x 2.230 * [backup-simplify]: Simplify 5/24 into 5/24 2.230 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.230 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.230 * [taylor]: Taking taylor expansion of x in x 2.230 * [backup-simplify]: Simplify 0 into 0 2.230 * [backup-simplify]: Simplify 1 into 1 2.230 * [backup-simplify]: Simplify (* 1 1) into 1 2.231 * [backup-simplify]: Simplify (* 1 1) into 1 2.231 * [backup-simplify]: Simplify (/ 1 1) into 1 2.231 * [taylor]: Taking taylor expansion of 1 in x 2.231 * [backup-simplify]: Simplify 1 into 1 2.231 * [taylor]: Taking taylor expansion of (fma 5/24 (/ 1 (pow x 4)) 1) in x 2.231 * [taylor]: Rewrote expression to (+ (* 5/24 (/ 1 (pow x 4))) 1) 2.231 * [taylor]: Taking taylor expansion of (* 5/24 (/ 1 (pow x 4))) in x 2.231 * [taylor]: Taking taylor expansion of 5/24 in x 2.231 * [backup-simplify]: Simplify 5/24 into 5/24 2.231 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.231 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.231 * [taylor]: Taking taylor expansion of x in x 2.231 * [backup-simplify]: Simplify 0 into 0 2.231 * [backup-simplify]: Simplify 1 into 1 2.232 * [backup-simplify]: Simplify (* 1 1) into 1 2.232 * [backup-simplify]: Simplify (* 1 1) into 1 2.232 * [backup-simplify]: Simplify (/ 1 1) into 1 2.232 * [taylor]: Taking taylor expansion of 1 in x 2.232 * [backup-simplify]: Simplify 1 into 1 2.233 * [backup-simplify]: Simplify (* 5/24 1) into 5/24 2.233 * [backup-simplify]: Simplify (+ 5/24 0) into 5/24 2.233 * [backup-simplify]: Simplify 5/24 into 5/24 2.234 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.235 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.236 * [backup-simplify]: Simplify (+ (* 5/24 0) (* 0 1)) into 0 2.237 * [backup-simplify]: Simplify (+ 0 0) into 0 2.237 * [backup-simplify]: Simplify 0 into 0 2.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.241 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (* 0 1))) into 0 2.241 * [backup-simplify]: Simplify (+ 0 0) into 0 2.241 * [backup-simplify]: Simplify 0 into 0 2.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.245 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.246 * [backup-simplify]: Simplify (+ 0 0) into 0 2.246 * [backup-simplify]: Simplify 0 into 0 2.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.251 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.251 * [backup-simplify]: Simplify (+ 0 1) into 1 2.251 * [backup-simplify]: Simplify 1 into 1 2.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.256 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.257 * [backup-simplify]: Simplify (+ 0 0) into 0 2.257 * [backup-simplify]: Simplify 0 into 0 2.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.263 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.264 * [backup-simplify]: Simplify (+ 0 0) into 0 2.264 * [backup-simplify]: Simplify 0 into 0 2.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.270 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.270 * [backup-simplify]: Simplify (+ 0 0) into 0 2.270 * [backup-simplify]: Simplify 0 into 0 2.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 2.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 2.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.275 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 2.276 * [backup-simplify]: Simplify (+ 0 0) into 0 2.276 * [backup-simplify]: Simplify 0 into 0 2.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 2.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 2.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.280 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 2.280 * [backup-simplify]: Simplify (+ 0 0) into 0 2.280 * [backup-simplify]: Simplify 0 into 0 2.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 2.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 2.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.287 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 2.287 * [backup-simplify]: Simplify (+ 0 0) into 0 2.287 * [backup-simplify]: Simplify 0 into 0 2.287 * [backup-simplify]: Simplify (+ 1 (* 5/24 (pow (/ 1 (/ 1 x)) 4))) into (+ (* 5/24 (pow x 4)) 1) 2.287 * [backup-simplify]: Simplify (fma 5/24 (* (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- x)))) 1) into (fma 5/24 (/ 1 (pow x 4)) 1) 2.287 * [approximate]: Taking taylor expansion of (fma 5/24 (/ 1 (pow x 4)) 1) in (x) around 0 2.287 * [taylor]: Taking taylor expansion of (fma 5/24 (/ 1 (pow x 4)) 1) in x 2.287 * [taylor]: Rewrote expression to (+ (* 5/24 (/ 1 (pow x 4))) 1) 2.287 * [taylor]: Taking taylor expansion of (* 5/24 (/ 1 (pow x 4))) in x 2.287 * [taylor]: Taking taylor expansion of 5/24 in x 2.287 * [backup-simplify]: Simplify 5/24 into 5/24 2.287 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.287 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.287 * [taylor]: Taking taylor expansion of x in x 2.287 * [backup-simplify]: Simplify 0 into 0 2.287 * [backup-simplify]: Simplify 1 into 1 2.288 * [backup-simplify]: Simplify (* 1 1) into 1 2.288 * [backup-simplify]: Simplify (* 1 1) into 1 2.288 * [backup-simplify]: Simplify (/ 1 1) into 1 2.288 * [taylor]: Taking taylor expansion of 1 in x 2.288 * [backup-simplify]: Simplify 1 into 1 2.288 * [taylor]: Taking taylor expansion of (fma 5/24 (/ 1 (pow x 4)) 1) in x 2.288 * [taylor]: Rewrote expression to (+ (* 5/24 (/ 1 (pow x 4))) 1) 2.288 * [taylor]: Taking taylor expansion of (* 5/24 (/ 1 (pow x 4))) in x 2.288 * [taylor]: Taking taylor expansion of 5/24 in x 2.288 * [backup-simplify]: Simplify 5/24 into 5/24 2.288 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 2.288 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.288 * [taylor]: Taking taylor expansion of x in x 2.288 * [backup-simplify]: Simplify 0 into 0 2.288 * [backup-simplify]: Simplify 1 into 1 2.289 * [backup-simplify]: Simplify (* 1 1) into 1 2.289 * [backup-simplify]: Simplify (* 1 1) into 1 2.289 * [backup-simplify]: Simplify (/ 1 1) into 1 2.289 * [taylor]: Taking taylor expansion of 1 in x 2.289 * [backup-simplify]: Simplify 1 into 1 2.290 * [backup-simplify]: Simplify (* 5/24 1) into 5/24 2.290 * [backup-simplify]: Simplify (+ 5/24 0) into 5/24 2.290 * [backup-simplify]: Simplify 5/24 into 5/24 2.290 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.291 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.291 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.292 * [backup-simplify]: Simplify (+ (* 5/24 0) (* 0 1)) into 0 2.292 * [backup-simplify]: Simplify (+ 0 0) into 0 2.292 * [backup-simplify]: Simplify 0 into 0 2.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.294 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (* 0 1))) into 0 2.294 * [backup-simplify]: Simplify (+ 0 0) into 0 2.294 * [backup-simplify]: Simplify 0 into 0 2.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.297 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.297 * [backup-simplify]: Simplify (+ 0 0) into 0 2.297 * [backup-simplify]: Simplify 0 into 0 2.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.299 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.300 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.300 * [backup-simplify]: Simplify (+ 0 1) into 1 2.300 * [backup-simplify]: Simplify 1 into 1 2.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.303 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.303 * [backup-simplify]: Simplify (+ 0 0) into 0 2.303 * [backup-simplify]: Simplify 0 into 0 2.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.309 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.310 * [backup-simplify]: Simplify (+ 0 0) into 0 2.310 * [backup-simplify]: Simplify 0 into 0 2.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.314 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.316 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.317 * [backup-simplify]: Simplify (+ 0 0) into 0 2.317 * [backup-simplify]: Simplify 0 into 0 2.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 2.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 2.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.322 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 2.323 * [backup-simplify]: Simplify (+ 0 0) into 0 2.323 * [backup-simplify]: Simplify 0 into 0 2.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 2.325 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 2.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.328 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 2.328 * [backup-simplify]: Simplify (+ 0 0) into 0 2.328 * [backup-simplify]: Simplify 0 into 0 2.330 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 2.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 2.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.333 * [backup-simplify]: Simplify (+ (* 5/24 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 2.334 * [backup-simplify]: Simplify (+ 0 0) into 0 2.334 * [backup-simplify]: Simplify 0 into 0 2.334 * [backup-simplify]: Simplify (+ 1 (* 5/24 (pow (/ 1 (/ 1 (- x))) 4))) into (+ (* 5/24 (pow x 4)) 1) 2.334 * * * [progress]: simplifying candidates 2.334 * * * * [progress]: [ 1 / 97 ] simplifiying candidate # 2.334 * * * * [progress]: [ 2 / 97 ] simplifiying candidate # 2.334 * * * * [progress]: [ 3 / 97 ] simplifiying candidate # 2.334 * * * * [progress]: [ 4 / 97 ] simplifiying candidate # 2.334 * * * * [progress]: [ 5 / 97 ] simplifiying candidate # 2.334 * * * * [progress]: [ 6 / 97 ] simplifiying candidate # 2.334 * * * * [progress]: [ 7 / 97 ] simplifiying candidate # 2.334 * * * * [progress]: [ 8 / 97 ] simplifiying candidate # 2.334 * * * * [progress]: [ 9 / 97 ] simplifiying candidate # 2.334 * * * * [progress]: [ 10 / 97 ] simplifiying candidate # 2.334 * * * * [progress]: [ 11 / 97 ] simplifiying candidate #real (real->posit16 (fma (* x x) -1/2 (fma 5/24 (* (* x x) (* x x)) 1)))))> 2.334 * * * * [progress]: [ 12 / 97 ] simplifiying candidate # 2.334 * * * * [progress]: [ 13 / 97 ] simplifiying candidate # 2.335 * * * * [progress]: [ 14 / 97 ] simplifiying candidate # 2.335 * [simplify]: Simplifying (+ (+ 1 1) (+ 1 1)) 2.335 * * [simplify]: iters left: 4 (3 enodes) 2.337 * * [simplify]: iters left: 3 (17 enodes) 2.341 * * [simplify]: iters left: 2 (22 enodes) 2.344 * * [simplify]: Extracting #0: cost 1 inf + 0 2.344 * * [simplify]: Extracting #1: cost 0 inf + 1 2.344 * [simplify]: Simplified to 4 2.344 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 2.344 * * * * [progress]: [ 15 / 97 ] simplifiying candidate # 2.344 * [simplify]: Simplifying (+ (+ 1 1) 2) 2.344 * * [simplify]: iters left: 4 (4 enodes) 2.347 * * [simplify]: iters left: 3 (19 enodes) 2.350 * * [simplify]: iters left: 2 (23 enodes) 2.354 * * [simplify]: Extracting #0: cost 1 inf + 0 2.354 * * [simplify]: Extracting #1: cost 0 inf + 1 2.354 * [simplify]: Simplified to 4 2.354 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 2.354 * * * * [progress]: [ 16 / 97 ] simplifiying candidate # 2.354 * [simplify]: Simplifying (+ (+ 1 1) (+ 1 1)) 2.354 * * [simplify]: iters left: 4 (3 enodes) 2.356 * * [simplify]: iters left: 3 (17 enodes) 2.363 * * [simplify]: iters left: 2 (22 enodes) 2.369 * * [simplify]: Extracting #0: cost 1 inf + 0 2.369 * * [simplify]: Extracting #1: cost 0 inf + 1 2.369 * [simplify]: Simplified to 4 2.369 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 2.369 * * * * [progress]: [ 17 / 97 ] simplifiying candidate # 2.370 * [simplify]: Simplifying (+ (+ 1 1) (* 2 1)) 2.370 * * [simplify]: iters left: 4 (5 enodes) 2.375 * * [simplify]: iters left: 3 (19 enodes) 2.379 * * [simplify]: iters left: 2 (24 enodes) 2.383 * * [simplify]: Extracting #0: cost 1 inf + 0 2.383 * * [simplify]: Extracting #1: cost 0 inf + 1 2.383 * [simplify]: Simplified to 4 2.383 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 2.383 * * * * [progress]: [ 18 / 97 ] simplifiying candidate # 2.383 * [simplify]: Simplifying (* x x) 2.383 * * [simplify]: iters left: 2 (2 enodes) 2.384 * * [simplify]: iters left: 1 (6 enodes) 2.385 * * [simplify]: Extracting #0: cost 1 inf + 0 2.385 * * [simplify]: Extracting #1: cost 3 inf + 0 2.385 * * [simplify]: Extracting #2: cost 2 inf + 1 2.385 * * [simplify]: Extracting #3: cost 0 inf + 83 2.385 * [simplify]: Simplified to (* x x) 2.385 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) (+ 1 1)) 1))) 2.385 * [simplify]: Simplifying (+ 1 1) 2.385 * * [simplify]: iters left: 2 (2 enodes) 2.388 * * [simplify]: iters left: 1 (9 enodes) 2.390 * * [simplify]: Extracting #0: cost 1 inf + 0 2.390 * * [simplify]: Extracting #1: cost 0 inf + 1 2.390 * [simplify]: Simplified to 2 2.390 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) 2) 1))) 2.390 * * * * [progress]: [ 19 / 97 ] simplifiying candidate # 2.390 * [simplify]: Simplifying (* x x) 2.390 * * [simplify]: iters left: 2 (2 enodes) 2.391 * * [simplify]: iters left: 1 (6 enodes) 2.392 * * [simplify]: Extracting #0: cost 1 inf + 0 2.392 * * [simplify]: Extracting #1: cost 3 inf + 0 2.392 * * [simplify]: Extracting #2: cost 2 inf + 1 2.392 * * [simplify]: Extracting #3: cost 0 inf + 83 2.392 * [simplify]: Simplified to (* x x) 2.392 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) (+ 1 1)) 1))) 2.392 * [simplify]: Simplifying (+ 1 1) 2.392 * * [simplify]: iters left: 2 (2 enodes) 2.393 * * [simplify]: iters left: 1 (9 enodes) 2.395 * * [simplify]: Extracting #0: cost 1 inf + 0 2.395 * * [simplify]: Extracting #1: cost 0 inf + 1 2.395 * [simplify]: Simplified to 2 2.395 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) 2) 1))) 2.395 * * * * [progress]: [ 20 / 97 ] simplifiying candidate # 2.395 * [simplify]: Simplifying (+ 2 (+ 1 1)) 2.395 * * [simplify]: iters left: 4 (4 enodes) 2.399 * * [simplify]: iters left: 3 (19 enodes) 2.402 * * [simplify]: iters left: 2 (23 enodes) 2.406 * * [simplify]: Extracting #0: cost 1 inf + 0 2.406 * * [simplify]: Extracting #1: cost 0 inf + 1 2.406 * [simplify]: Simplified to 4 2.406 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 2.406 * * * * [progress]: [ 21 / 97 ] simplifiying candidate # 2.406 * [simplify]: Simplifying (+ 2 2) 2.406 * * [simplify]: iters left: 2 (2 enodes) 2.407 * * [simplify]: iters left: 1 (7 enodes) 2.409 * * [simplify]: Extracting #0: cost 1 inf + 0 2.409 * * [simplify]: Extracting #1: cost 0 inf + 1 2.409 * [simplify]: Simplified to 4 2.409 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 2.409 * * * * [progress]: [ 22 / 97 ] simplifiying candidate # 2.409 * [simplify]: Simplifying (+ 2 (+ 1 1)) 2.409 * * [simplify]: iters left: 4 (4 enodes) 2.412 * * [simplify]: iters left: 3 (19 enodes) 2.415 * * [simplify]: iters left: 2 (23 enodes) 2.419 * * [simplify]: Extracting #0: cost 1 inf + 0 2.419 * * [simplify]: Extracting #1: cost 0 inf + 1 2.419 * [simplify]: Simplified to 4 2.419 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 2.419 * * * * [progress]: [ 23 / 97 ] simplifiying candidate # 2.419 * [simplify]: Simplifying (+ 2 (* 2 1)) 2.419 * * [simplify]: iters left: 4 (4 enodes) 2.422 * * [simplify]: iters left: 3 (14 enodes) 2.427 * * [simplify]: iters left: 2 (16 enodes) 2.431 * * [simplify]: Extracting #0: cost 1 inf + 0 2.432 * * [simplify]: Extracting #1: cost 0 inf + 1 2.432 * [simplify]: Simplified to 4 2.432 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 2.432 * * * * [progress]: [ 24 / 97 ] simplifiying candidate # 2.432 * [simplify]: Simplifying (+ (+ 1 1) (+ 1 1)) 2.432 * * [simplify]: iters left: 4 (3 enodes) 2.436 * * [simplify]: iters left: 3 (17 enodes) 2.443 * * [simplify]: iters left: 2 (22 enodes) 2.448 * * [simplify]: Extracting #0: cost 1 inf + 0 2.449 * * [simplify]: Extracting #1: cost 0 inf + 1 2.449 * [simplify]: Simplified to 4 2.449 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 2.449 * * * * [progress]: [ 25 / 97 ] simplifiying candidate # 2.449 * [simplify]: Simplifying (+ (+ 1 1) 2) 2.449 * * [simplify]: iters left: 4 (4 enodes) 2.454 * * [simplify]: iters left: 3 (19 enodes) 2.459 * * [simplify]: iters left: 2 (23 enodes) 2.466 * * [simplify]: Extracting #0: cost 1 inf + 0 2.466 * * [simplify]: Extracting #1: cost 0 inf + 1 2.466 * [simplify]: Simplified to 4 2.466 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 2.466 * * * * [progress]: [ 26 / 97 ] simplifiying candidate # 2.466 * [simplify]: Simplifying (+ (+ 1 1) (+ 1 1)) 2.467 * * [simplify]: iters left: 4 (3 enodes) 2.470 * * [simplify]: iters left: 3 (17 enodes) 2.478 * * [simplify]: iters left: 2 (22 enodes) 2.484 * * [simplify]: Extracting #0: cost 1 inf + 0 2.484 * * [simplify]: Extracting #1: cost 0 inf + 1 2.484 * [simplify]: Simplified to 4 2.484 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 2.484 * * * * [progress]: [ 27 / 97 ] simplifiying candidate # 2.484 * [simplify]: Simplifying (+ (+ 1 1) (* 2 1)) 2.484 * * [simplify]: iters left: 4 (5 enodes) 2.489 * * [simplify]: iters left: 3 (19 enodes) 2.496 * * [simplify]: iters left: 2 (24 enodes) 2.502 * * [simplify]: Extracting #0: cost 1 inf + 0 2.502 * * [simplify]: Extracting #1: cost 0 inf + 1 2.502 * [simplify]: Simplified to 4 2.502 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 2.503 * * * * [progress]: [ 28 / 97 ] simplifiying candidate # 2.503 * [simplify]: Simplifying (* x x) 2.503 * * [simplify]: iters left: 2 (2 enodes) 2.504 * * [simplify]: iters left: 1 (6 enodes) 2.506 * * [simplify]: Extracting #0: cost 1 inf + 0 2.506 * * [simplify]: Extracting #1: cost 3 inf + 0 2.506 * * [simplify]: Extracting #2: cost 2 inf + 1 2.506 * * [simplify]: Extracting #3: cost 0 inf + 83 2.506 * [simplify]: Simplified to (* x x) 2.506 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) (+ 1 1)) 1))) 2.506 * [simplify]: Simplifying (+ 1 1) 2.506 * * [simplify]: iters left: 2 (2 enodes) 2.509 * * [simplify]: iters left: 1 (9 enodes) 2.512 * * [simplify]: Extracting #0: cost 1 inf + 0 2.512 * * [simplify]: Extracting #1: cost 0 inf + 1 2.512 * [simplify]: Simplified to 2 2.512 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) 2) 1))) 2.512 * * * * [progress]: [ 29 / 97 ] simplifiying candidate # 2.512 * [simplify]: Simplifying (* x x) 2.512 * * [simplify]: iters left: 2 (2 enodes) 2.513 * * [simplify]: iters left: 1 (6 enodes) 2.515 * * [simplify]: Extracting #0: cost 1 inf + 0 2.515 * * [simplify]: Extracting #1: cost 3 inf + 0 2.515 * * [simplify]: Extracting #2: cost 2 inf + 1 2.515 * * [simplify]: Extracting #3: cost 0 inf + 83 2.515 * [simplify]: Simplified to (* x x) 2.515 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) (+ 1 1)) 1))) 2.515 * [simplify]: Simplifying (+ 1 1) 2.515 * * [simplify]: iters left: 2 (2 enodes) 2.520 * * [simplify]: iters left: 1 (9 enodes) 2.523 * * [simplify]: Extracting #0: cost 1 inf + 0 2.523 * * [simplify]: Extracting #1: cost 0 inf + 1 2.523 * [simplify]: Simplified to 2 2.523 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) 2) 1))) 2.523 * * * * [progress]: [ 30 / 97 ] simplifiying candidate # 2.524 * [simplify]: Simplifying (+ (* 2 1) (+ 1 1)) 2.524 * * [simplify]: iters left: 4 (5 enodes) 2.528 * * [simplify]: iters left: 3 (20 enodes) 2.536 * * [simplify]: iters left: 2 (26 enodes) 2.542 * * [simplify]: Extracting #0: cost 1 inf + 0 2.542 * * [simplify]: Extracting #1: cost 0 inf + 1 2.542 * [simplify]: Simplified to 4 2.542 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 2.542 * * * * [progress]: [ 31 / 97 ] simplifiying candidate # 2.542 * [simplify]: Simplifying (+ (* 2 1) 2) 2.542 * * [simplify]: iters left: 4 (4 enodes) 2.547 * * [simplify]: iters left: 3 (15 enodes) 2.551 * * [simplify]: iters left: 2 (17 enodes) 2.556 * * [simplify]: Extracting #0: cost 1 inf + 0 2.556 * * [simplify]: Extracting #1: cost 0 inf + 1 2.556 * [simplify]: Simplified to 4 2.556 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 2.556 * * * * [progress]: [ 32 / 97 ] simplifiying candidate # 2.557 * [simplify]: Simplifying (+ (* 2 1) (+ 1 1)) 2.557 * * [simplify]: iters left: 4 (5 enodes) 2.561 * * [simplify]: iters left: 3 (20 enodes) 2.568 * * [simplify]: iters left: 2 (26 enodes) 2.575 * * [simplify]: Extracting #0: cost 1 inf + 0 2.575 * * [simplify]: Extracting #1: cost 0 inf + 1 2.575 * [simplify]: Simplified to 4 2.576 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 2.576 * * * * [progress]: [ 33 / 97 ] simplifiying candidate # 2.576 * [simplify]: Simplifying (+ (* 2 1) (* 2 1)) 2.576 * * [simplify]: iters left: 4 (4 enodes) 2.581 * * [simplify]: iters left: 3 (15 enodes) 2.585 * * [simplify]: iters left: 2 (17 enodes) 2.589 * * [simplify]: Extracting #0: cost 1 inf + 0 2.589 * * [simplify]: Extracting #1: cost 0 inf + 1 2.589 * [simplify]: Simplified to 4 2.590 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 2.590 * * * * [progress]: [ 34 / 97 ] simplifiying candidate # 2.590 * [simplify]: Simplifying (* x x) 2.590 * * [simplify]: iters left: 2 (2 enodes) 2.591 * * [simplify]: iters left: 1 (6 enodes) 2.593 * * [simplify]: Extracting #0: cost 1 inf + 0 2.593 * * [simplify]: Extracting #1: cost 3 inf + 0 2.593 * * [simplify]: Extracting #2: cost 2 inf + 1 2.593 * * [simplify]: Extracting #3: cost 0 inf + 83 2.593 * [simplify]: Simplified to (* x x) 2.593 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) (+ 1 1)) 1))) 2.593 * [simplify]: Simplifying (+ 1 1) 2.593 * * [simplify]: iters left: 2 (2 enodes) 2.596 * * [simplify]: iters left: 1 (9 enodes) 2.599 * * [simplify]: Extracting #0: cost 1 inf + 0 2.599 * * [simplify]: Extracting #1: cost 0 inf + 1 2.599 * [simplify]: Simplified to 2 2.599 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) 2) 1))) 2.599 * * * * [progress]: [ 35 / 97 ] simplifiying candidate # 2.599 * [simplify]: Simplifying (* x x) 2.599 * * [simplify]: iters left: 2 (2 enodes) 2.600 * * [simplify]: iters left: 1 (6 enodes) 2.602 * * [simplify]: Extracting #0: cost 1 inf + 0 2.602 * * [simplify]: Extracting #1: cost 3 inf + 0 2.602 * * [simplify]: Extracting #2: cost 2 inf + 1 2.602 * * [simplify]: Extracting #3: cost 0 inf + 83 2.602 * [simplify]: Simplified to (* x x) 2.602 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) (+ 1 1)) 1))) 2.602 * [simplify]: Simplifying (+ 1 1) 2.602 * * [simplify]: iters left: 2 (2 enodes) 2.605 * * [simplify]: iters left: 1 (9 enodes) 2.608 * * [simplify]: Extracting #0: cost 1 inf + 0 2.608 * * [simplify]: Extracting #1: cost 0 inf + 1 2.608 * [simplify]: Simplified to 2 2.608 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) 2) 1))) 2.608 * * * * [progress]: [ 36 / 97 ] simplifiying candidate # 2.608 * [simplify]: Simplifying (* (* x x) (* x x)) 2.608 * * [simplify]: iters left: 4 (3 enodes) 2.610 * * [simplify]: iters left: 3 (13 enodes) 2.614 * * [simplify]: iters left: 2 (17 enodes) 2.621 * * [simplify]: iters left: 1 (28 enodes) 2.633 * * [simplify]: Extracting #0: cost 1 inf + 0 2.633 * * [simplify]: Extracting #1: cost 9 inf + 0 2.633 * * [simplify]: Extracting #2: cost 13 inf + 2 2.634 * * [simplify]: Extracting #3: cost 4 inf + 1267 2.634 * * [simplify]: Extracting #4: cost 0 inf + 1551 2.634 * [simplify]: Simplified to (* (* x x) (* x x)) 2.634 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* (* x x) (* x x)) 1) 1))) 2.634 * * * * [progress]: [ 37 / 97 ] simplifiying candidate # 2.635 * [simplify]: Simplifying (* (* x x) (* x x)) 2.635 * * [simplify]: iters left: 4 (3 enodes) 2.637 * * [simplify]: iters left: 3 (13 enodes) 2.641 * * [simplify]: iters left: 2 (17 enodes) 2.647 * * [simplify]: iters left: 1 (28 enodes) 2.659 * * [simplify]: Extracting #0: cost 1 inf + 0 2.659 * * [simplify]: Extracting #1: cost 9 inf + 0 2.659 * * [simplify]: Extracting #2: cost 13 inf + 2 2.660 * * [simplify]: Extracting #3: cost 4 inf + 1267 2.660 * * [simplify]: Extracting #4: cost 0 inf + 1551 2.660 * [simplify]: Simplified to (* (* x x) (* x x)) 2.660 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* (* x x) (* x x)) 1) 1))) 2.661 * * * * [progress]: [ 38 / 97 ] simplifiying candidate # 2.661 * [simplify]: Simplifying (* x x) 2.661 * * [simplify]: iters left: 2 (2 enodes) 2.662 * * [simplify]: iters left: 1 (6 enodes) 2.664 * * [simplify]: Extracting #0: cost 1 inf + 0 2.664 * * [simplify]: Extracting #1: cost 3 inf + 0 2.664 * * [simplify]: Extracting #2: cost 2 inf + 1 2.664 * * [simplify]: Extracting #3: cost 0 inf + 83 2.664 * [simplify]: Simplified to (* x x) 2.664 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) 2) 1))) 2.664 * * * * [progress]: [ 39 / 97 ] simplifiying candidate # 2.664 * [simplify]: Simplifying (* x x) 2.664 * * [simplify]: iters left: 2 (2 enodes) 2.665 * * [simplify]: iters left: 1 (6 enodes) 2.667 * * [simplify]: Extracting #0: cost 1 inf + 0 2.667 * * [simplify]: Extracting #1: cost 3 inf + 0 2.667 * * [simplify]: Extracting #2: cost 2 inf + 1 2.667 * * [simplify]: Extracting #3: cost 0 inf + 83 2.667 * [simplify]: Simplified to (* x x) 2.667 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) (+ 1 1)) 1))) 2.668 * [simplify]: Simplifying (+ 1 1) 2.668 * * [simplify]: iters left: 2 (2 enodes) 2.670 * * [simplify]: iters left: 1 (9 enodes) 2.675 * * [simplify]: Extracting #0: cost 1 inf + 0 2.675 * * [simplify]: Extracting #1: cost 0 inf + 1 2.675 * [simplify]: Simplified to 2 2.675 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) 2) 1))) 2.675 * * * * [progress]: [ 40 / 97 ] simplifiying candidate # 2.676 * [simplify]: Simplifying (* x x) 2.676 * * [simplify]: iters left: 2 (2 enodes) 2.676 * * [simplify]: iters left: 1 (6 enodes) 2.677 * * [simplify]: Extracting #0: cost 1 inf + 0 2.677 * * [simplify]: Extracting #1: cost 3 inf + 0 2.677 * * [simplify]: Extracting #2: cost 2 inf + 1 2.677 * * [simplify]: Extracting #3: cost 0 inf + 83 2.677 * [simplify]: Simplified to (* x x) 2.677 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) (+ 1 1)) 1))) 2.677 * [simplify]: Simplifying (+ 1 1) 2.677 * * [simplify]: iters left: 2 (2 enodes) 2.679 * * [simplify]: iters left: 1 (9 enodes) 2.681 * * [simplify]: Extracting #0: cost 1 inf + 0 2.681 * * [simplify]: Extracting #1: cost 0 inf + 1 2.681 * [simplify]: Simplified to 2 2.681 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) 2) 1))) 2.681 * * * * [progress]: [ 41 / 97 ] simplifiying candidate # 2.681 * [simplify]: Simplifying (* (* x x) (* x x)) 2.681 * * [simplify]: iters left: 4 (3 enodes) 2.682 * * [simplify]: iters left: 3 (13 enodes) 2.684 * * [simplify]: iters left: 2 (17 enodes) 2.688 * * [simplify]: iters left: 1 (28 enodes) 2.694 * * [simplify]: Extracting #0: cost 1 inf + 0 2.695 * * [simplify]: Extracting #1: cost 9 inf + 0 2.695 * * [simplify]: Extracting #2: cost 13 inf + 2 2.695 * * [simplify]: Extracting #3: cost 4 inf + 1267 2.695 * * [simplify]: Extracting #4: cost 0 inf + 1551 2.695 * [simplify]: Simplified to (* (* x x) (* x x)) 2.695 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* (* x x) (* x x)) 1) 1))) 2.695 * * * * [progress]: [ 42 / 97 ] simplifiying candidate # 2.695 * [simplify]: Simplifying (* (* x x) (* x x)) 2.695 * * [simplify]: iters left: 4 (3 enodes) 2.696 * * [simplify]: iters left: 3 (13 enodes) 2.699 * * [simplify]: iters left: 2 (17 enodes) 2.702 * * [simplify]: iters left: 1 (28 enodes) 2.709 * * [simplify]: Extracting #0: cost 1 inf + 0 2.709 * * [simplify]: Extracting #1: cost 9 inf + 0 2.709 * * [simplify]: Extracting #2: cost 13 inf + 2 2.709 * * [simplify]: Extracting #3: cost 4 inf + 1267 2.709 * * [simplify]: Extracting #4: cost 0 inf + 1551 2.709 * [simplify]: Simplified to (* (* x x) (* x x)) 2.709 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* (* x x) (* x x)) 1) 1))) 2.709 * * * * [progress]: [ 43 / 97 ] simplifiying candidate # 2.710 * [simplify]: Simplifying (* x x) 2.710 * * [simplify]: iters left: 2 (2 enodes) 2.710 * * [simplify]: iters left: 1 (6 enodes) 2.711 * * [simplify]: Extracting #0: cost 1 inf + 0 2.711 * * [simplify]: Extracting #1: cost 3 inf + 0 2.711 * * [simplify]: Extracting #2: cost 2 inf + 1 2.711 * * [simplify]: Extracting #3: cost 0 inf + 83 2.711 * [simplify]: Simplified to (* x x) 2.711 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) (* 2 1)) 1))) 2.711 * [simplify]: Simplifying (* 2 1) 2.711 * * [simplify]: iters left: 2 (3 enodes) 2.713 * * [simplify]: iters left: 1 (9 enodes) 2.714 * * [simplify]: Extracting #0: cost 1 inf + 0 2.714 * * [simplify]: Extracting #1: cost 0 inf + 1 2.714 * [simplify]: Simplified to 2 2.714 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) 2) 1))) 2.714 * * * * [progress]: [ 44 / 97 ] simplifiying candidate # 2.714 * * * * [progress]: [ 45 / 97 ] simplifiying candidate # 2.715 * [simplify]: Simplifying (* x x) 2.715 * * [simplify]: iters left: 2 (2 enodes) 2.715 * * [simplify]: iters left: 1 (6 enodes) 2.716 * * [simplify]: Extracting #0: cost 1 inf + 0 2.716 * * [simplify]: Extracting #1: cost 3 inf + 0 2.716 * * [simplify]: Extracting #2: cost 2 inf + 1 2.716 * * [simplify]: Extracting #3: cost 0 inf + 83 2.716 * [simplify]: Simplified to (* x x) 2.716 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) (+ 1 1)) 1))) 2.716 * * * * [progress]: [ 46 / 97 ] simplifiying candidate # 2.716 * [simplify]: Simplifying (* x x) 2.716 * * [simplify]: iters left: 2 (2 enodes) 2.717 * * [simplify]: iters left: 1 (6 enodes) 2.718 * * [simplify]: Extracting #0: cost 1 inf + 0 2.718 * * [simplify]: Extracting #1: cost 3 inf + 0 2.718 * * [simplify]: Extracting #2: cost 2 inf + 1 2.718 * * [simplify]: Extracting #3: cost 0 inf + 83 2.718 * [simplify]: Simplified to (* x x) 2.718 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) (+ 1 1)) 1))) 2.718 * * * * [progress]: [ 47 / 97 ] simplifiying candidate # 2.718 * * * * [progress]: [ 48 / 97 ] simplifiying candidate # 2.718 * [simplify]: Simplifying (+ (+ (log x) (log x)) (+ (log x) (log x))) 2.718 * * [simplify]: iters left: 5 (4 enodes) 2.719 * * [simplify]: iters left: 4 (16 enodes) 2.721 * * [simplify]: iters left: 3 (18 enodes) 2.724 * * [simplify]: Extracting #0: cost 1 inf + 0 2.724 * * [simplify]: Extracting #1: cost 5 inf + 0 2.724 * * [simplify]: Extracting #2: cost 9 inf + 0 2.724 * * [simplify]: Extracting #3: cost 8 inf + 1 2.724 * * [simplify]: Extracting #4: cost 1 inf + 818 2.724 * * [simplify]: Extracting #5: cost 0 inf + 969 2.724 * [simplify]: Simplified to (+ (+ (log x) (log x)) (+ (log x) (log x))) 2.724 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (exp (+ (+ (log x) (log x)) (+ (log x) (log x)))) 1))) 2.724 * * * * [progress]: [ 49 / 97 ] simplifiying candidate # 2.725 * [simplify]: Simplifying (+ (+ (log x) (log x)) (log (* x x))) 2.725 * * [simplify]: iters left: 5 (6 enodes) 2.726 * * [simplify]: iters left: 4 (19 enodes) 2.729 * * [simplify]: iters left: 3 (24 enodes) 2.732 * * [simplify]: iters left: 2 (25 enodes) 2.735 * * [simplify]: Extracting #0: cost 1 inf + 0 2.735 * * [simplify]: Extracting #1: cost 5 inf + 0 2.735 * * [simplify]: Extracting #2: cost 10 inf + 0 2.735 * * [simplify]: Extracting #3: cost 10 inf + 1 2.735 * * [simplify]: Extracting #4: cost 0 inf + 1191 2.735 * [simplify]: Simplified to (+ (log (* x x)) (log (* x x))) 2.735 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (exp (+ (log (* x x)) (log (* x x)))) 1))) 2.735 * * * * [progress]: [ 50 / 97 ] simplifiying candidate # 2.735 * [simplify]: Simplifying (+ (log (* x x)) (+ (log x) (log x))) 2.735 * * [simplify]: iters left: 5 (6 enodes) 2.738 * * [simplify]: iters left: 4 (19 enodes) 2.743 * * [simplify]: iters left: 3 (23 enodes) 2.750 * * [simplify]: Extracting #0: cost 1 inf + 0 2.750 * * [simplify]: Extracting #1: cost 5 inf + 0 2.750 * * [simplify]: Extracting #2: cost 10 inf + 0 2.750 * * [simplify]: Extracting #3: cost 10 inf + 1 2.750 * * [simplify]: Extracting #4: cost 0 inf + 1191 2.750 * [simplify]: Simplified to (+ (log (* x x)) (log (* x x))) 2.751 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (exp (+ (log (* x x)) (log (* x x)))) 1))) 2.751 * * * * [progress]: [ 51 / 97 ] simplifiying candidate # 2.751 * [simplify]: Simplifying (+ (log (* x x)) (log (* x x))) 2.751 * * [simplify]: iters left: 5 (4 enodes) 2.753 * * [simplify]: iters left: 4 (14 enodes) 2.757 * * [simplify]: iters left: 3 (20 enodes) 2.763 * * [simplify]: iters left: 2 (22 enodes) 2.769 * * [simplify]: Extracting #0: cost 1 inf + 0 2.769 * * [simplify]: Extracting #1: cost 5 inf + 0 2.770 * * [simplify]: Extracting #2: cost 10 inf + 0 2.770 * * [simplify]: Extracting #3: cost 10 inf + 1 2.770 * * [simplify]: Extracting #4: cost 6 inf + 225 2.770 * * [simplify]: Extracting #5: cost 2 inf + 749 2.770 * * [simplify]: Extracting #6: cost 0 inf + 1191 2.771 * [simplify]: Simplified to (+ (log (* x x)) (log (* x x))) 2.771 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (exp (+ (log (* x x)) (log (* x x)))) 1))) 2.771 * * * * [progress]: [ 52 / 97 ] simplifiying candidate # 2.771 * * * * [progress]: [ 53 / 97 ] simplifiying candidate # 2.771 * * * * [progress]: [ 54 / 97 ] simplifiying candidate # 2.771 * [simplify]: Simplifying (* (* (* (* x x) x) (* (* x x) x)) (* (* (* x x) x) (* (* x x) x))) 2.772 * * [simplify]: iters left: 6 (5 enodes) 2.775 * * [simplify]: iters left: 5 (26 enodes) 2.791 * * [simplify]: iters left: 4 (77 enodes) 2.838 * * [simplify]: iters left: 3 (149 enodes) 2.916 * * [simplify]: iters left: 2 (253 enodes) 3.045 * * [simplify]: Extracting #0: cost 1 inf + 0 3.045 * * [simplify]: Extracting #1: cost 49 inf + 0 3.046 * * [simplify]: Extracting #2: cost 145 inf + 46 3.048 * * [simplify]: Extracting #3: cost 90 inf + 14577 3.052 * * [simplify]: Extracting #4: cost 54 inf + 25304 3.057 * * [simplify]: Extracting #5: cost 4 inf + 44085 3.063 * * [simplify]: Extracting #6: cost 0 inf + 45253 3.072 * [simplify]: Simplified to (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) 3.072 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (cbrt (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x)))) 1))) 3.072 * * * * [progress]: [ 55 / 97 ] simplifiying candidate # 3.072 * [simplify]: Simplifying (* (* (* (* x x) x) (* (* x x) x)) (* (* (* x x) (* x x)) (* x x))) 3.072 * * [simplify]: iters left: 6 (7 enodes) 3.075 * * [simplify]: iters left: 5 (32 enodes) 3.082 * * [simplify]: iters left: 4 (86 enodes) 3.117 * * [simplify]: iters left: 3 (145 enodes) 3.170 * * [simplify]: iters left: 2 (268 enodes) 3.364 * * [simplify]: Extracting #0: cost 1 inf + 0 3.364 * * [simplify]: Extracting #1: cost 55 inf + 0 3.365 * * [simplify]: Extracting #2: cost 171 inf + 46 3.367 * * [simplify]: Extracting #3: cost 158 inf + 1928 3.371 * * [simplify]: Extracting #4: cost 99 inf + 20231 3.377 * * [simplify]: Extracting #5: cost 18 inf + 51778 3.385 * * [simplify]: Extracting #6: cost 0 inf + 58550 3.393 * [simplify]: Simplified to (* (* (* x (* x x)) (* x (* x x))) (* (* x (* x x)) (* x (* x x)))) 3.393 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (cbrt (* (* (* x (* x x)) (* x (* x x))) (* (* x (* x x)) (* x (* x x))))) 1))) 3.393 * * * * [progress]: [ 56 / 97 ] simplifiying candidate # 3.394 * [simplify]: Simplifying (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) x) (* (* x x) x))) 3.394 * * [simplify]: iters left: 6 (7 enodes) 3.396 * * [simplify]: iters left: 5 (32 enodes) 3.404 * * [simplify]: iters left: 4 (87 enodes) 3.471 * * [simplify]: iters left: 3 (137 enodes) 3.538 * * [simplify]: iters left: 2 (240 enodes) 3.755 * * [simplify]: Extracting #0: cost 1 inf + 0 3.755 * * [simplify]: Extracting #1: cost 52 inf + 0 3.756 * * [simplify]: Extracting #2: cost 150 inf + 46 3.758 * * [simplify]: Extracting #3: cost 134 inf + 2733 3.765 * * [simplify]: Extracting #4: cost 69 inf + 23980 3.775 * * [simplify]: Extracting #5: cost 14 inf + 44544 3.782 * * [simplify]: Extracting #6: cost 0 inf + 49807 3.789 * [simplify]: Simplified to (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) 3.789 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (cbrt (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x)))) 1))) 3.789 * * * * [progress]: [ 57 / 97 ] simplifiying candidate # 3.789 * [simplify]: Simplifying (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) 3.790 * * [simplify]: iters left: 6 (5 enodes) 3.791 * * [simplify]: iters left: 5 (29 enodes) 3.799 * * [simplify]: iters left: 4 (82 enodes) 3.836 * * [simplify]: iters left: 3 (165 enodes) 3.916 * * [simplify]: iters left: 2 (275 enodes) 4.093 * * [simplify]: Extracting #0: cost 1 inf + 0 4.094 * * [simplify]: Extracting #1: cost 43 inf + 0 4.094 * * [simplify]: Extracting #2: cost 137 inf + 298 4.095 * * [simplify]: Extracting #3: cost 112 inf + 5388 4.100 * * [simplify]: Extracting #4: cost 26 inf + 34272 4.106 * * [simplify]: Extracting #5: cost 0 inf + 44692 4.117 * * [simplify]: Extracting #6: cost 0 inf + 44401 4.130 * [simplify]: Simplified to (* (* (* x (* x x)) (* x (* x x))) (* (* x (* x x)) (* x (* x x)))) 4.130 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (cbrt (* (* (* x (* x x)) (* x (* x x))) (* (* x (* x x)) (* x (* x x))))) 1))) 4.130 * * * * [progress]: [ 58 / 97 ] simplifiying candidate # 4.131 * * * * [progress]: [ 59 / 97 ] simplifiying candidate # 4.131 * * * * [progress]: [ 60 / 97 ] simplifiying candidate # 4.131 * * * * [progress]: [ 61 / 97 ] simplifiying candidate # 4.131 * * * * [progress]: [ 62 / 97 ] simplifiying candidate # 4.131 * [simplify]: Simplifying (* x x) 4.131 * * [simplify]: iters left: 2 (2 enodes) 4.132 * * [simplify]: iters left: 1 (6 enodes) 4.134 * * [simplify]: Extracting #0: cost 1 inf + 0 4.134 * * [simplify]: Extracting #1: cost 3 inf + 0 4.134 * * [simplify]: Extracting #2: cost 2 inf + 1 4.134 * * [simplify]: Extracting #3: cost 0 inf + 83 4.134 * [simplify]: Simplified to (* x x) 4.134 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (* (* x x) (* x x)) 1))) 4.134 * [simplify]: Simplifying (* x x) 4.134 * * [simplify]: iters left: 2 (2 enodes) 4.135 * * [simplify]: iters left: 1 (6 enodes) 4.136 * * [simplify]: Extracting #0: cost 1 inf + 0 4.136 * * [simplify]: Extracting #1: cost 3 inf + 0 4.136 * * [simplify]: Extracting #2: cost 2 inf + 1 4.137 * * [simplify]: Extracting #3: cost 0 inf + 83 4.137 * [simplify]: Simplified to (* x x) 4.137 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (* (* x x) (* x x)) 1))) 4.137 * * * * [progress]: [ 63 / 97 ] simplifiying candidate # 4.137 * [simplify]: Simplifying (* x x) 4.137 * * [simplify]: iters left: 2 (2 enodes) 4.137 * * [simplify]: iters left: 1 (6 enodes) 4.138 * * [simplify]: Extracting #0: cost 1 inf + 0 4.138 * * [simplify]: Extracting #1: cost 3 inf + 0 4.138 * * [simplify]: Extracting #2: cost 2 inf + 1 4.138 * * [simplify]: Extracting #3: cost 0 inf + 83 4.138 * [simplify]: Simplified to (* x x) 4.138 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (* (* x x) (* x x)) 1))) 4.139 * [simplify]: Simplifying (* x x) 4.139 * * [simplify]: iters left: 2 (2 enodes) 4.139 * * [simplify]: iters left: 1 (6 enodes) 4.140 * * [simplify]: Extracting #0: cost 1 inf + 0 4.140 * * [simplify]: Extracting #1: cost 3 inf + 0 4.140 * * [simplify]: Extracting #2: cost 2 inf + 1 4.140 * * [simplify]: Extracting #3: cost 0 inf + 83 4.140 * [simplify]: Simplified to (* x x) 4.140 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (* (* x x) (* x x)) 1))) 4.140 * * * * [progress]: [ 64 / 97 ] simplifiying candidate # 4.140 * [simplify]: Simplifying (* 2 (+ 1 1)) 4.140 * * [simplify]: iters left: 4 (4 enodes) 4.144 * * [simplify]: iters left: 3 (20 enodes) 4.147 * * [simplify]: iters left: 2 (22 enodes) 4.149 * * [simplify]: Extracting #0: cost 1 inf + 0 4.149 * * [simplify]: Extracting #1: cost 0 inf + 1 4.149 * [simplify]: Simplified to 4 4.149 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 4.150 * * * * [progress]: [ 65 / 97 ] simplifiying candidate # 4.150 * [simplify]: Simplifying (* 2 (+ 1 1)) 4.150 * * [simplify]: iters left: 4 (4 enodes) 4.156 * * [simplify]: iters left: 3 (20 enodes) 4.159 * * [simplify]: iters left: 2 (22 enodes) 4.161 * * [simplify]: Extracting #0: cost 1 inf + 0 4.161 * * [simplify]: Extracting #1: cost 0 inf + 1 4.161 * [simplify]: Simplified to 4 4.162 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 4.162 * * * * [progress]: [ 66 / 97 ] simplifiying candidate # 4.162 * [simplify]: Simplifying (* x x) 4.162 * * [simplify]: iters left: 2 (2 enodes) 4.162 * * [simplify]: iters left: 1 (6 enodes) 4.163 * * [simplify]: Extracting #0: cost 1 inf + 0 4.163 * * [simplify]: Extracting #1: cost 3 inf + 0 4.163 * * [simplify]: Extracting #2: cost 2 inf + 1 4.163 * * [simplify]: Extracting #3: cost 0 inf + 83 4.163 * [simplify]: Simplified to (* x x) 4.163 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) (* 2 1)) 1))) 4.163 * [simplify]: Simplifying (* 2 1) 4.163 * * [simplify]: iters left: 2 (3 enodes) 4.165 * * [simplify]: iters left: 1 (9 enodes) 4.166 * * [simplify]: Extracting #0: cost 1 inf + 0 4.166 * * [simplify]: Extracting #1: cost 0 inf + 1 4.166 * [simplify]: Simplified to 2 4.166 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) 2) 1))) 4.167 * * * * [progress]: [ 67 / 97 ] simplifiying candidate # 4.167 * [simplify]: Simplifying (* x x) 4.167 * * [simplify]: iters left: 2 (2 enodes) 4.167 * * [simplify]: iters left: 1 (6 enodes) 4.168 * * [simplify]: Extracting #0: cost 1 inf + 0 4.168 * * [simplify]: Extracting #1: cost 3 inf + 0 4.168 * * [simplify]: Extracting #2: cost 2 inf + 1 4.168 * * [simplify]: Extracting #3: cost 0 inf + 83 4.168 * [simplify]: Simplified to (* x x) 4.169 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) (* 2 1)) 1))) 4.169 * [simplify]: Simplifying (* 2 1) 4.169 * * [simplify]: iters left: 2 (3 enodes) 4.171 * * [simplify]: iters left: 1 (9 enodes) 4.174 * * [simplify]: Extracting #0: cost 1 inf + 0 4.174 * * [simplify]: Extracting #1: cost 0 inf + 1 4.174 * [simplify]: Simplified to 2 4.174 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) 2) 1))) 4.174 * * * * [progress]: [ 68 / 97 ] simplifiying candidate # 4.175 * [simplify]: Simplifying (* 2 2) 4.175 * * [simplify]: iters left: 2 (2 enodes) 4.177 * * [simplify]: iters left: 1 (7 enodes) 4.180 * * [simplify]: Extracting #0: cost 1 inf + 0 4.180 * * [simplify]: Extracting #1: cost 0 inf + 1 4.180 * [simplify]: Simplified to 4 4.180 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 4.180 * * * * [progress]: [ 69 / 97 ] simplifiying candidate # 4.181 * [simplify]: Simplifying (* 2 (+ 1 1)) 4.181 * * [simplify]: iters left: 4 (4 enodes) 4.187 * * [simplify]: iters left: 3 (20 enodes) 4.191 * * [simplify]: iters left: 2 (22 enodes) 4.197 * * [simplify]: Extracting #0: cost 1 inf + 0 4.197 * * [simplify]: Extracting #1: cost 0 inf + 1 4.197 * [simplify]: Simplified to 4 4.197 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 4.197 * * * * [progress]: [ 70 / 97 ] simplifiying candidate # 4.197 * [simplify]: Simplifying (* 2 (+ 1 1)) 4.197 * * [simplify]: iters left: 4 (4 enodes) 4.204 * * [simplify]: iters left: 3 (20 enodes) 4.209 * * [simplify]: iters left: 2 (22 enodes) 4.214 * * [simplify]: Extracting #0: cost 1 inf + 0 4.214 * * [simplify]: Extracting #1: cost 0 inf + 1 4.214 * [simplify]: Simplified to 4 4.214 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 4.214 * * * * [progress]: [ 71 / 97 ] simplifiying candidate # 4.215 * [simplify]: Simplifying (* x x) 4.215 * * [simplify]: iters left: 2 (2 enodes) 4.216 * * [simplify]: iters left: 1 (6 enodes) 4.218 * * [simplify]: Extracting #0: cost 1 inf + 0 4.218 * * [simplify]: Extracting #1: cost 3 inf + 0 4.218 * * [simplify]: Extracting #2: cost 2 inf + 1 4.218 * * [simplify]: Extracting #3: cost 0 inf + 83 4.218 * [simplify]: Simplified to (* x x) 4.218 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) (* 2 1)) 1))) 4.218 * [simplify]: Simplifying (* 2 1) 4.218 * * [simplify]: iters left: 2 (3 enodes) 4.221 * * [simplify]: iters left: 1 (9 enodes) 4.224 * * [simplify]: Extracting #0: cost 1 inf + 0 4.224 * * [simplify]: Extracting #1: cost 0 inf + 1 4.224 * [simplify]: Simplified to 2 4.224 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) 2) 1))) 4.224 * * * * [progress]: [ 72 / 97 ] simplifiying candidate # 4.225 * [simplify]: Simplifying (* x x) 4.225 * * [simplify]: iters left: 2 (2 enodes) 4.226 * * [simplify]: iters left: 1 (6 enodes) 4.227 * * [simplify]: Extracting #0: cost 1 inf + 0 4.228 * * [simplify]: Extracting #1: cost 3 inf + 0 4.228 * * [simplify]: Extracting #2: cost 2 inf + 1 4.228 * * [simplify]: Extracting #3: cost 0 inf + 83 4.228 * [simplify]: Simplified to (* x x) 4.228 * [simplify]: Simplified (2 3 2 1) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) (* 2 1)) 1))) 4.228 * [simplify]: Simplifying (* 2 1) 4.228 * * [simplify]: iters left: 2 (3 enodes) 4.229 * * [simplify]: iters left: 1 (9 enodes) 4.231 * * [simplify]: Extracting #0: cost 1 inf + 0 4.231 * * [simplify]: Extracting #1: cost 0 inf + 1 4.231 * [simplify]: Simplified to 2 4.231 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow (* x x) 2) 1))) 4.231 * * * * [progress]: [ 73 / 97 ] simplifiying candidate # 4.231 * [simplify]: Simplifying (* 2 (* 2 1)) 4.231 * * [simplify]: iters left: 4 (4 enodes) 4.234 * * [simplify]: iters left: 3 (14 enodes) 4.236 * * [simplify]: iters left: 2 (16 enodes) 4.238 * * [simplify]: Extracting #0: cost 1 inf + 0 4.238 * * [simplify]: Extracting #1: cost 0 inf + 1 4.238 * [simplify]: Simplified to 4 4.238 * [simplify]: Simplified (2 3 2 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 4.239 * * * * [progress]: [ 74 / 97 ] simplifiying candidate # 4.239 * * * * [progress]: [ 75 / 97 ] simplifiying candidate # 4.239 * * * * [progress]: [ 76 / 97 ] simplifiying candidate #real (real->posit16 (* (* x x) (* x x)))) 1)))> 4.239 * * * * [progress]: [ 77 / 97 ] simplifiying candidate # 4.239 * * * * [progress]: [ 78 / 97 ] simplifiying candidate # 4.239 * * * * [progress]: [ 79 / 97 ] simplifiying candidate # 4.239 * * * * [progress]: [ 80 / 97 ] simplifiying candidate # 4.239 * * * * [progress]: [ 81 / 97 ] simplifiying candidate # 4.239 * * * * [progress]: [ 82 / 97 ] simplifiying candidate # 4.239 * * * * [progress]: [ 83 / 97 ] simplifiying candidate # 4.239 * * * * [progress]: [ 84 / 97 ] simplifiying candidate # 4.239 * * * * [progress]: [ 85 / 97 ] simplifiying candidate # 4.239 * * * * [progress]: [ 86 / 97 ] simplifiying candidate # 4.239 * * * * [progress]: [ 87 / 97 ] simplifiying candidate # 4.239 * * * * [progress]: [ 88 / 97 ] simplifiying candidate #real (real->posit16 (fma 5/24 (* (* x x) (* x x)) 1)))))> 4.239 * * * * [progress]: [ 89 / 97 ] simplifiying candidate # 4.239 * [simplify]: Simplifying (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))) 4.240 * * [simplify]: iters left: 6 (12 enodes) 4.244 * * [simplify]: iters left: 5 (53 enodes) 4.254 * * [simplify]: iters left: 4 (83 enodes) 4.281 * * [simplify]: iters left: 3 (116 enodes) 4.299 * * [simplify]: iters left: 2 (152 enodes) 4.317 * * [simplify]: iters left: 1 (167 enodes) 4.360 * * [simplify]: Extracting #0: cost 1 inf + 0 4.360 * * [simplify]: Extracting #1: cost 26 inf + 0 4.361 * * [simplify]: Extracting #2: cost 41 inf + 127 4.363 * * [simplify]: Extracting #3: cost 15 inf + 2339 4.366 * * [simplify]: Extracting #4: cost 0 inf + 4593 4.369 * [simplify]: Simplified to (fma (* x x) -1/2 (fma 5/24 (* (* x x) (* x x)) 1)) 4.370 * [simplify]: Simplified (2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (* (* x x) (* x x)) 1))) 4.370 * * * * [progress]: [ 90 / 97 ] simplifiying candidate # 4.370 * [simplify]: Simplifying (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))) 4.370 * * [simplify]: iters left: 6 (12 enodes) 4.379 * * [simplify]: iters left: 5 (53 enodes) 4.402 * * [simplify]: iters left: 4 (83 enodes) 4.421 * * [simplify]: iters left: 3 (116 enodes) 4.440 * * [simplify]: iters left: 2 (152 enodes) 4.467 * * [simplify]: iters left: 1 (167 enodes) 4.491 * * [simplify]: Extracting #0: cost 1 inf + 0 4.491 * * [simplify]: Extracting #1: cost 26 inf + 0 4.492 * * [simplify]: Extracting #2: cost 41 inf + 127 4.493 * * [simplify]: Extracting #3: cost 15 inf + 2339 4.494 * * [simplify]: Extracting #4: cost 0 inf + 4593 4.496 * [simplify]: Simplified to (fma (* x x) -1/2 (fma 5/24 (* (* x x) (* x x)) 1)) 4.496 * [simplify]: Simplified (2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (* (* x x) (* x x)) 1))) 4.496 * * * * [progress]: [ 91 / 97 ] simplifiying candidate # 4.496 * [simplify]: Simplifying (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))) 4.497 * * [simplify]: iters left: 6 (12 enodes) 4.505 * * [simplify]: iters left: 5 (53 enodes) 4.515 * * [simplify]: iters left: 4 (83 enodes) 4.528 * * [simplify]: iters left: 3 (116 enodes) 4.556 * * [simplify]: iters left: 2 (152 enodes) 4.576 * * [simplify]: iters left: 1 (167 enodes) 4.606 * * [simplify]: Extracting #0: cost 1 inf + 0 4.606 * * [simplify]: Extracting #1: cost 26 inf + 0 4.606 * * [simplify]: Extracting #2: cost 41 inf + 127 4.607 * * [simplify]: Extracting #3: cost 15 inf + 2339 4.608 * * [simplify]: Extracting #4: cost 0 inf + 4593 4.610 * [simplify]: Simplified to (fma (* x x) -1/2 (fma 5/24 (* (* x x) (* x x)) 1)) 4.610 * [simplify]: Simplified (2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (* (* x x) (* x x)) 1))) 4.610 * * * * [progress]: [ 92 / 97 ] simplifiying candidate # 4.610 * [simplify]: Simplifying (pow x 4) 4.610 * * [simplify]: iters left: 1 (3 enodes) 4.612 * * [simplify]: Extracting #0: cost 1 inf + 0 4.612 * * [simplify]: Extracting #1: cost 5 inf + 0 4.612 * * [simplify]: Extracting #2: cost 4 inf + 2 4.612 * * [simplify]: Extracting #3: cost 1 inf + 427 4.612 * * [simplify]: Extracting #4: cost 0 inf + 639 4.612 * [simplify]: Simplified to (pow x 4) 4.612 * [simplify]: Simplified (2 3 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 4.612 * * * * [progress]: [ 93 / 97 ] simplifiying candidate # 4.612 * [simplify]: Simplifying (pow x 4) 4.613 * * [simplify]: iters left: 1 (3 enodes) 4.614 * * [simplify]: Extracting #0: cost 1 inf + 0 4.614 * * [simplify]: Extracting #1: cost 5 inf + 0 4.614 * * [simplify]: Extracting #2: cost 4 inf + 2 4.614 * * [simplify]: Extracting #3: cost 1 inf + 427 4.614 * * [simplify]: Extracting #4: cost 0 inf + 639 4.614 * [simplify]: Simplified to (pow x 4) 4.614 * [simplify]: Simplified (2 3 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 4.614 * * * * [progress]: [ 94 / 97 ] simplifiying candidate # 4.614 * [simplify]: Simplifying (pow x 4) 4.614 * * [simplify]: iters left: 1 (3 enodes) 4.616 * * [simplify]: Extracting #0: cost 1 inf + 0 4.616 * * [simplify]: Extracting #1: cost 5 inf + 0 4.616 * * [simplify]: Extracting #2: cost 4 inf + 2 4.616 * * [simplify]: Extracting #3: cost 1 inf + 427 4.616 * * [simplify]: Extracting #4: cost 0 inf + 639 4.616 * [simplify]: Simplified to (pow x 4) 4.616 * [simplify]: Simplified (2 3 2) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (pow x 4) 1))) 4.616 * * * * [progress]: [ 95 / 97 ] simplifiying candidate # 4.616 * [simplify]: Simplifying (+ (* 5/24 (pow x 4)) 1) 4.616 * * [simplify]: iters left: 5 (7 enodes) 4.619 * * [simplify]: iters left: 4 (30 enodes) 4.625 * * [simplify]: iters left: 3 (49 enodes) 4.634 * * [simplify]: iters left: 2 (54 enodes) 4.647 * * [simplify]: iters left: 1 (62 enodes) 4.665 * * [simplify]: Extracting #0: cost 1 inf + 0 4.665 * * [simplify]: Extracting #1: cost 6 inf + 0 4.665 * * [simplify]: Extracting #2: cost 13 inf + 2 4.665 * * [simplify]: Extracting #3: cost 14 inf + 340 4.666 * * [simplify]: Extracting #4: cost 1 inf + 1997 4.667 * * [simplify]: Extracting #5: cost 0 inf + 1423 4.668 * [simplify]: Simplified to (fma 5/24 (* (* x x) (* x x)) 1) 4.668 * [simplify]: Simplified (2 3) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (* (* x x) (* x x)) 1))) 4.668 * * * * [progress]: [ 96 / 97 ] simplifiying candidate # 4.668 * [simplify]: Simplifying (+ (* 5/24 (pow x 4)) 1) 4.668 * * [simplify]: iters left: 5 (7 enodes) 4.673 * * [simplify]: iters left: 4 (30 enodes) 4.685 * * [simplify]: iters left: 3 (49 enodes) 4.702 * * [simplify]: iters left: 2 (54 enodes) 4.716 * * [simplify]: iters left: 1 (62 enodes) 4.728 * * [simplify]: Extracting #0: cost 1 inf + 0 4.728 * * [simplify]: Extracting #1: cost 6 inf + 0 4.728 * * [simplify]: Extracting #2: cost 13 inf + 2 4.728 * * [simplify]: Extracting #3: cost 14 inf + 340 4.729 * * [simplify]: Extracting #4: cost 1 inf + 1997 4.729 * * [simplify]: Extracting #5: cost 0 inf + 1423 4.729 * [simplify]: Simplified to (fma 5/24 (* (* x x) (* x x)) 1) 4.729 * [simplify]: Simplified (2 3) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (* (* x x) (* x x)) 1))) 4.730 * * * * [progress]: [ 97 / 97 ] simplifiying candidate # 4.730 * [simplify]: Simplifying (+ (* 5/24 (pow x 4)) 1) 4.730 * * [simplify]: iters left: 5 (7 enodes) 4.733 * * [simplify]: iters left: 4 (30 enodes) 4.740 * * [simplify]: iters left: 3 (49 enodes) 4.748 * * [simplify]: iters left: 2 (54 enodes) 4.762 * * [simplify]: iters left: 1 (62 enodes) 4.772 * * [simplify]: Extracting #0: cost 1 inf + 0 4.772 * * [simplify]: Extracting #1: cost 6 inf + 0 4.772 * * [simplify]: Extracting #2: cost 13 inf + 2 4.772 * * [simplify]: Extracting #3: cost 14 inf + 340 4.772 * * [simplify]: Extracting #4: cost 1 inf + 1997 4.773 * * [simplify]: Extracting #5: cost 0 inf + 1423 4.773 * [simplify]: Simplified to (fma 5/24 (* (* x x) (* x x)) 1) 4.773 * [simplify]: Simplified (2 3) to (λ (x) (fma (* x x) -1/2 (fma 5/24 (* (* x x) (* x x)) 1))) 4.773 * * * [progress]: adding candidates to table 5.599 * [progress]: [Phase 3 of 3] Extracting. 5.599 * * [regime]: Finding splitpoints for: (# #) 5.600 * * * [regime-changes]: Trying 3 branch expressions: (x (+ (exp x) (exp (- x))) (/ 2 (+ (exp x) (exp (- x))))) 5.600 * * * * [regimes]: Trying to branch on x from (# #) 5.621 * * * * [regimes]: Trying to branch on (+ (exp x) (exp (- x))) from (# #) 5.646 * * * * [regimes]: Trying to branch on (/ 2 (+ (exp x) (exp (- x)))) from (# #) 5.686 * * * [regime]: Found split indices: #