Time bar (total: 23.1s)
| 70.0ms | 405× | body | 80 | valid |
| 26.0ms | 171× | body | 80 | nan |
| 101.0ms | (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) |
2 alts after pruning (2 fresh and 0 done)
Merged error: 1.4b
Found 2 expressions with local error:
| 1.4b | (/ a (/ (fma k (+ k 10) 1) (pow k m))) |
| 0.0b | (/ (fma k (+ k 10) 1) (pow k m)) |
| 18× | times-frac |
| 17× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 16× | associate-/r* |
| 5× | add-exp-log |
| 4× | add-cbrt-cube |
| 3× | div-inv associate-/l* |
| 2× | expm1-log1p-u pow1 clear-num frac-2neg div-exp insert-posit16 log1p-expm1-u add-log-exp |
| 1× | pow-to-exp cbrt-undiv associate-/r/ |
| 7.0ms | (/ (fma k (+ k 10) 1) (pow k m)) |
| 2.0ms | (/ a (/ (fma k (+ k 10) 1) (pow k m))) |
| 121.0ms | (/ a (/ (fma k (+ k 10) 1) (pow k m))) |
| 69.0ms | (/ (fma k (+ k 10) 1) (pow k m)) |
| 365.0ms | (/ (* (* (fma k (+ k 10) 1) (fma k (+ k 10) 1)) (fma k (+ k 10) 1)) (* (* (pow k m) (pow k m)) (pow k m))) |
| 301.0ms | (- (+ a (* (log k) (* m a))) (* 10 (* a k))) |
| 273.0ms | (+ (* 10 (/ k (exp (* m (- (log -1) (log (/ -1 k))))))) (+ (/ (pow k 2) (exp (* m (- (log -1) (log (/ -1 k)))))) (/ 1 (exp (* m (- (log -1) (log (/ -1 k)))))))) |
| 233.0ms | (+ (* 10 (/ k (exp (* -1 (* (log (/ 1 k)) m))))) (+ (/ (pow k 2) (exp (* -1 (* (log (/ 1 k)) m)))) (/ 1 (exp (* -1 (* (log (/ 1 k)) m)))))) |
| 220.0ms | (- (+ (* 99 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 4))) (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 2))) (* 10 (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 3)))) |
3 alts after pruning (3 fresh and 0 done)
Merged error: 0.0b
Found 1 expressions with local error:
| 2.3b | (/ a (fma k (+ k 10) 1)) |
| 3× | associate-/r* |
| 2× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 1× | expm1-log1p-u pow1 clear-num frac-2neg add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u div-inv add-log-exp |
| 2.0ms | (/ a (fma k (+ k 10) 1)) |
| 45.0ms | (/ a (fma k (+ k 10) 1)) |
| 295.0ms | (- (+ (* 99 (* a (pow k 2))) a) (* 10 (* a k))) |
| 218.0ms | (- (+ (/ a (pow k 2)) (* 99 (/ a (pow k 4)))) (* 10 (/ a (pow k 3)))) |
| 217.0ms | (- (+ (/ a (pow k 2)) (* 99 (/ a (pow k 4)))) (* 10 (/ a (pow k 3)))) |
| 33.0ms | (sqrt (fma k (+ k 10) 1)) |
| 32.0ms | (cbrt (fma k (+ k 10) 1)) |
3 alts after pruning (2 fresh and 1 done)
Merged error: 0.0b
Found 3 expressions with local error:
| 1.5b | (/ (/ (fma k (+ k 10) 1) (pow k m)) a) |
| 0.3b | (/ 1 (/ (/ (fma k (+ k 10) 1) (pow k m)) a)) |
| 0.0b | (/ (fma k (+ k 10) 1) (pow k m)) |
| 19× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 18× | times-frac |
| 16× | associate-/l* |
| 7× | associate-/r* add-exp-log |
| 5× | add-cbrt-cube div-inv |
| 4× | pow1 |
| 3× | expm1-log1p-u clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp |
| 2× | div-exp |
| 1× | pow-to-exp cbrt-undiv rec-exp associate-/r/ pow-flip inv-pow associate-/l/ |
| 7.0ms | (/ (/ (fma k (+ k 10) 1) (pow k m)) a) |
| 4.0ms | (/ (fma k (+ k 10) 1) (pow k m)) |
| 2.0ms | (/ 1 (/ (/ (fma k (+ k 10) 1) (pow k m)) a)) |
| 120.0ms | (/ 1 (/ (/ (fma k (+ k 10) 1) (pow k m)) a)) |
| 105.0ms | (/ (/ (fma k (+ k 10) 1) (pow k m)) a) |
| 81.0ms | (/ (fma k (+ k 10) 1) (pow k m)) |
| 414.0ms | (/ (* (* (fma k (+ k 10) 1) (fma k (+ k 10) 1)) (fma k (+ k 10) 1)) (* (* (pow k m) (pow k m)) (pow k m))) |
| 330.0ms | (+ (/ (pow k 2) (* a (exp (* m (- (log -1) (log (/ -1 k))))))) (+ (/ 1 (* a (exp (* m (- (log -1) (log (/ -1 k))))))) (* 10 (/ k (* a (exp (* m (- (log -1) (log (/ -1 k)))))))))) |
| 288.0ms | (- (+ a (* (log k) (* m a))) (* 10 (* a k))) |
| 272.0ms | (+ (* 10 (/ k (exp (* m (- (log -1) (log (/ -1 k))))))) (+ (/ (pow k 2) (exp (* m (- (log -1) (log (/ -1 k)))))) (/ 1 (exp (* m (- (log -1) (log (/ -1 k)))))))) |
| 230.0ms | (+ (* 10 (/ k (* (exp (* -1 (* (log (/ 1 k)) m))) a))) (+ (/ (pow k 2) (* (exp (* -1 (* (log (/ 1 k)) m))) a)) (/ 1 (* (exp (* -1 (* (log (/ 1 k)) m))) a)))) |
3 alts after pruning (1 fresh and 2 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 11.5b | (fma (/ (/ (exp (* (log k) m)) (* (/ k a) k)) k) -10 (fma 99 (/ (exp (* (log k) m)) (/ (pow k 4) a)) (/ (exp (* (log k) m)) (* (/ k a) k)))) |
| 6.1b | (/ (exp (* (log k) m)) (/ (pow k 4) a)) |
| 4.0b | (/ (exp (* (log k) m)) (* (/ k a) k)) |
| 4.0b | (/ (exp (* (log k) m)) (* (/ k a) k)) |
| 18× | times-frac |
| 17× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 10× | add-cbrt-cube |
| 9× | associate-/l* |
| 7× | add-exp-log div-inv |
| 6× | associate-/r* |
| 4× | expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp |
| 3× | cbrt-undiv clear-num frac-2neg div-exp associate-/r/ |
| 2× | associate-*l/ |
| 1× | fma-udef |
| 16.0ms | (/ (exp (* (log k) m)) (* (/ k a) k)) |
| 15.0ms | (/ (exp (* (log k) m)) (* (/ k a) k)) |
| 14.0ms | (/ (exp (* (log k) m)) (/ (pow k 4) a)) |
| 1.0ms | (fma (/ (/ (exp (* (log k) m)) (* (/ k a) k)) k) -10 (fma 99 (/ (exp (* (log k) m)) (/ (pow k 4) a)) (/ (exp (* (log k) m)) (* (/ k a) k)))) |
| 154.0ms | (fma (/ (/ (exp (* (log k) m)) (* (/ k a) k)) k) -10 (fma 99 (/ (exp (* (log k) m)) (/ (pow k 4) a)) (/ (exp (* (log k) m)) (* (/ k a) k)))) |
| 131.0ms | (/ (exp (* (log k) m)) (/ (pow k 4) a)) |
| 119.0ms | (/ (exp (* (log k) m)) (* (/ k a) k)) |
| 104.0ms | (/ (exp (* (log k) m)) (* (/ k a) k)) |
| 715.0ms | (/ (* (exp (* -1 (* (log (/ 1 k)) m))) a) (pow k 2)) |
| 465.0ms | (/ (* (* (exp (* (log k) m)) (exp (* (log k) m))) (exp (* (log k) m))) (* (* (/ (pow k 4) a) (/ (pow k 4) a)) (/ (pow k 4) a))) |
| 462.0ms | (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 2)) |
| 441.0ms | (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 2)) |
| 333.0ms | (+ (/ (* (log k) (* m a)) (pow k 4)) (+ (* 1/2 (/ (* (pow (log k) 2) (* (pow m 2) a)) (pow k 4))) (/ a (pow k 4)))) |
4 alts after pruning (1 fresh and 3 done)
Merged error: 0b
95.2% (0.1b remaining)
Error of 0.1b against oracle of 0.0b and baseline of 2.0b
| 1.8s | 11994× | body | 80 | valid |
| 533.0ms | 4349× | body | 80 | nan |