Details

sample59.0ms

Algorithm

intervals

Results

35.0ms	365×	body	80	valid
11.0ms	121×	body	80	nan

simplify278.0ms

Calls

1 calls:

Slowest

277.0ms

(/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k)))

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.4b

localize16.0ms

Local error

Found 2 expressions with local error:

1.4b	(/ (* (pow k m) a) (fma (+ k 10) k 1))
0.0b	(* (pow k m) a)

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-exp-log`
12×	`add-sqr-sqrt`
9×	`add-cbrt-cube`
7×	`-un-lft-identity` `associate-l*` `add-cube-cbrt`
6×	`prod-exp`
4×	`unpow-prod-down` `div-exp`
3×	`associate-/r` `times-frac` `associate-r*` `unswap-sqr`
2×	`expm1-log1p-u` `pow-to-exp` `pow1` `cbrt-undiv` `pow-exp` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `add-log-exp` `sqr-pow`
1×	`clear-num` `frac-2neg` `-commutative` `div-inv` `associate-/l`

Calls

2 calls:

Slowest

18.0ms	(* (pow k m) a)
12.0ms	(/ (* (pow k m) a) (fma (+ k 10) k 1))

series287.0ms

Calls

2 calls:

Slowest

153.0ms	(/ (* (pow k m) a) (fma (+ k 10) k 1))
134.0ms	(* (pow k m) a)

simplify4.5s

Calls

40 calls:

Slowest

485.0ms	(* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a))
396.0ms	(/ (pow k m) (sqrt (fma (+ k 10) k 1)))
337.0ms	(- (log (* (pow k m) a)) (log (fma (+ k 10) k 1)))
305.0ms	(/ (* (* (* (pow k m) a) (* (pow k m) a)) (* (pow k m) a)) (* (* (fma (+ k 10) k 1) (fma (+ k 10) k 1)) (fma (+ k 10) k 1)))
287.0ms	(- (+ (log (pow k m)) (log a)) (log (fma (+ k 10) k 1)))

prune686.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

14.4b	(sqrt (fma (+ k 10) k 1))
14.4b	(sqrt (fma (+ k 10) k 1))
0.0b	(/ (/ (* (pow k m) a) (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1)))
0.0b	(* (pow k m) a)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

102×	`times-frac`
60×	`sqrt-prod`
59×	`add-sqr-sqrt`
52×	`*-un-lft-identity` `add-cube-cbrt`
25×	`add-exp-log`
15×	`add-cbrt-cube`
10×	`associate-/l*`
9×	`div-exp`
8×	`div-inv`
7×	`associate-l`
6×	`pow1` `associate-/r*` `prod-exp`
5×	`cbrt-undiv`
4×	`expm1-log1p-u` `unpow-prod-down` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`associate-r` `unswap-sqr`
2×	`pow-to-exp` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `pow-exp` `cbrt-unprod` `sqr-pow`
1×	`clear-num` `frac-2neg` `*-commutative` `associate-/l/`

Calls

4 calls:

Slowest

13.0ms	(/ (/ (* (pow k m) a) (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1)))
11.0ms	(* (pow k m) a)
1.0ms	(sqrt (fma (+ k 10) k 1))
1.0ms	(sqrt (fma (+ k 10) k 1))

series358.0ms

Calls

4 calls:

Slowest

145.0ms	(/ (/ (* (pow k m) a) (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1)))
136.0ms	(* (pow k m) a)
42.0ms	(sqrt (fma (+ k 10) k 1))
34.0ms	(sqrt (fma (+ k 10) k 1))

simplify32.1s

Calls

184 calls:

Slowest

926.0ms	(/ (/ (* (pow k m) a) (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1)))
650.0ms	(/ (/ (pow k m) 1) (* (cbrt (sqrt (fma (+ k 10) k 1))) (cbrt (sqrt (fma (+ k 10) k 1)))))
637.0ms	(/ (/ (pow k m) (sqrt (sqrt (fma (+ k 10) k 1)))) (* (cbrt (sqrt (fma (+ k 10) k 1))) (cbrt (sqrt (fma (+ k 10) k 1)))))
634.0ms	(/ (/ (pow k m) (* (cbrt (sqrt (fma (+ k 10) k 1))) (cbrt (sqrt (fma (+ k 10) k 1))))) 1)
582.0ms	(/ (/ (* (* (* (pow k m) (pow k m)) (pow k m)) (* (* a a) a)) (* (* (sqrt (fma (+ k 10) k 1)) (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1)))) (* (* (sqrt (fma (+ k 10) k 1)) (sqrt (fma (+ k 10) k 1))) (sqrt (fma (+ k 10) k 1))))

prune2.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

15.0b	(cbrt (fma (+ k 10) k 1))
15.0b	(cbrt (fma (+ k 10) k 1))
15.0b	(cbrt (fma (+ k 10) k 1))
14.4b	(sqrt (fma (+ k 10) k 1))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod` `add-sqr-sqrt`
8×	`*-un-lft-identity` `add-cube-cbrt`
5×	`pow1`
4×	`expm1-log1p-u` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3` `sqrt-prod`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Calls

4 calls:

Slowest

1.0ms	(sqrt (fma (+ k 10) k 1))
1.0ms	(cbrt (fma (+ k 10) k 1))
1.0ms	(cbrt (fma (+ k 10) k 1))
1.0ms	(cbrt (fma (+ k 10) k 1))

series236.0ms

Calls

4 calls:

Slowest

88.0ms	(cbrt (fma (+ k 10) k 1))
62.0ms	(cbrt (fma (+ k 10) k 1))
56.0ms	(cbrt (fma (+ k 10) k 1))
31.0ms	(sqrt (fma (+ k 10) k 1))

simplify2.6s

Calls

26 calls:

Slowest

250.0ms	(- (+ (pow (/ -1 k) -2/3) (* 10/3 (pow (/ 1 k) 1/3))) (* 97/9 (pow (/ 1 (pow k 4)) 1/3)))
242.0ms	(- (+ (pow (/ 1 k) -2/3) (* 10/3 (pow (/ 1 k) 1/3))) (* 97/9 (pow (/ 1 (pow k 4)) 1/3)))
240.0ms	(- (+ (pow (/ 1 k) -2/3) (* 10/3 (pow (/ 1 k) 1/3))) (* 97/9 (pow (/ 1 (pow k 4)) 1/3)))
240.0ms	(- (+ (pow (/ 1 k) -2/3) (* 10/3 (pow (/ 1 k) 1/3))) (* 97/9 (pow (/ 1 (pow k 4)) 1/3)))
226.0ms	(- (+ (pow (/ -1 k) -2/3) (* 10/3 (pow (/ 1 k) 1/3))) (* 97/9 (pow (/ 1 (pow k 4)) 1/3)))

prune1.3s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 2 expressions with local error:

2.9b	(/ (fma (+ k 10) k 1) a)
0.4b	(/ (pow k m) (/ (fma (+ k 10) k 1) a))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

172×	`times-frac`
94×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
42×	`unpow-prod-down`
17×	`add-exp-log`
16×	`associate-/r*`
14×	`sqr-pow`
10×	`div-exp` `div-inv` `associate-/l*`
9×	`add-cbrt-cube`
4×	`cbrt-undiv`
2×	`expm1-log1p-u` `pow-to-exp` `pow1` `clear-num` `frac-2neg` `pow-exp` `insert-posit16` `log1p-expm1-u` `add-log-exp`
1×	`associate-/r/`

Calls

2 calls:

Slowest

16.0ms	(/ (fma (+ k 10) k 1) a)
15.0ms	(/ (pow k m) (/ (fma (+ k 10) k 1) a))

series173.0ms

Calls

2 calls:

Slowest

119.0ms	(/ (pow k m) (/ (fma (+ k 10) k 1) a))
54.0ms	(/ (fma (+ k 10) k 1) a)

simplify41.9s

Calls

239 calls:

Slowest

638.0ms	(/ (pow (* (cbrt k) (cbrt k)) m) (/ (* (cbrt (fma (+ k 10) k 1)) (cbrt (fma (+ k 10) k 1))) (sqrt a)))
538.0ms	(/ (pow k m) (/ (sqrt (fma (+ k 10) k 1)) (cbrt a)))
513.0ms	(/ (pow (* (cbrt k) (cbrt k)) m) (/ 1 (* (cbrt a) (cbrt a))))
502.0ms	(/ (pow (* (cbrt k) (cbrt k)) m) (/ (sqrt (fma (+ k 10) k 1)) 1))
472.0ms	(/ (pow (sqrt k) m) (/ 1 (* (cbrt a) (cbrt a))))

prune1.2s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes107.0ms

Accuracy

97% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 2.2b

bsearch86.0ms

end0.0ms

sample2.2s

Algorithm

intervals

Results

1.5s	12017×	body	80	valid
425.0ms	4189×	body	80	nan