Details

sample31.0ms

Algorithm

intervals

Results

12.0ms	256×	pre	80	true
9.0ms	256×	body	80	valid

simplify183.0ms

Calls

1 calls:

Slowest

183.0ms

(+ (+ (+ (+ e d) c) b) a)

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize12.0ms

Local error

Found 3 expressions with local error:

0.3b	(+ (+ (+ e d) c) b)
0.3b	(+ (+ (+ (+ e d) c) b) a)
0.2b	(+ (+ e d) c)

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt` `pow1` `+-commutative` `associate-+l+` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `flip-+` `insert-posit16` `add-log-exp`

Calls

3 calls:

Slowest

53.0ms	(+ (+ (+ (+ e d) c) b) a)
12.0ms	(+ (+ (+ e d) c) b)
3.0ms	(+ (+ e d) c)

series68.0ms

Calls

3 calls:

Slowest

36.0ms	(+ (+ (+ (+ e d) c) b) a)
21.0ms	(+ (+ (+ e d) c) b)
10.0ms	(+ (+ e d) c)

simplify115.0ms

Calls

11 calls:

Slowest

12.0ms	(+ e (+ c d))
12.0ms	(+ (+ e d) c)
11.0ms	(+ b (+ c d))
11.0ms	(+ a (+ b c))
11.0ms	(+ e (+ c d))

prune303.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 2 expressions with local error:

0.3b	(+ (+ e d) (+ c b))
0.3b	(+ (+ (+ e d) (+ c b)) a)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

6×	`flip3-+` `flip-+`
4×	`*-un-lft-identity` `frac-add` `add-log-exp`
2×	`add-sqr-sqrt` `pow1` `+-commutative` `associate-+l+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16`
1×	`associate-+r+` `sum-log` `distribute-lft-out`

Calls

2 calls:

Slowest

16.0ms	(+ (+ (+ e d) (+ c b)) a)
4.0ms	(+ (+ e d) (+ c b))

series59.0ms

Calls

2 calls:

Slowest

36.0ms	(+ (+ (+ e d) (+ c b)) a)
23.0ms	(+ (+ e d) (+ c b))

simplify1.0s

Calls

17 calls:

Slowest

181.0ms	(+ (* (+ (pow e 3) (pow d 3)) (+ (* c c) (- (* b b) (* c b)))) (* (+ (* e e) (- (* d d) (* e d))) (+ (pow c 3) (pow b 3))))
160.0ms	(* (- e d) (+ (* c c) (- (* b b) (* c b))))
155.0ms	(+ (* (- (* e e) (* d d)) (+ (* c c) (- (* b b) (* c b)))) (* (- e d) (+ (pow c 3) (pow b 3))))
101.0ms	(* (+ (* e e) (- (* d d) (* e d))) (- c b))
88.0ms	(+ (* (+ (pow e 3) (pow d 3)) (- c b)) (* (+ (* e e) (- (* d d) (* e d))) (- (* c c) (* b b))))

prune257.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize6.0ms

Local error

Found 2 expressions with local error:

0.2b	(+ (+ e d) (+ (+ c b) a))
0.2b	(+ (+ c b) a)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

6×	`flip3-+` `flip-+`
4×	`*-un-lft-identity` `frac-add` `add-log-exp`
2×	`add-sqr-sqrt` `pow1` `+-commutative` `associate-+l+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16`
1×	`associate-+r+` `sum-log` `distribute-lft-out`

Calls

2 calls:

Slowest

9.0ms	(+ (+ e d) (+ (+ c b) a))
3.0ms	(+ (+ c b) a)

series47.0ms

Calls

2 calls:

Slowest

36.0ms	(+ (+ e d) (+ (+ c b) a))
10.0ms	(+ (+ c b) a)

simplify1.7s

Calls

16 calls:

Slowest

277.0ms	(+ (* (+ (pow e 3) (pow d 3)) (+ (* (+ c b) (+ c b)) (- (* a a) (* (+ c b) a)))) (* (+ (* e e) (- (* d d) (* e d))) (+ (pow (+ c b) 3) (pow a 3))))
258.0ms	(+ (* (- (* e e) (* d d)) (+ (* (+ c b) (+ c b)) (- (* a a) (* (+ c b) a)))) (* (- e d) (+ (pow (+ c b) 3) (pow a 3))))
222.0ms	(* (+ (* e e) (- (* d d) (* e d))) (- (+ c b) a))
166.0ms	(+ (+ e d) (+ (+ c b) a))
150.0ms	(+ (* (+ (pow e 3) (pow d 3)) (- (+ c b) a)) (* (+ (* e e) (- (* d d) (* e d))) (- (* (+ c b) (+ c b)) (* a a))))

prune264.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize5.0ms

Local error

Found 3 expressions with local error:

0.2b	(+ (+ c b) a)
0.2b	(+ e (+ d (+ (+ c b) a)))
0.2b	(+ d (+ (+ c b) a))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt` `pow1` `+-commutative` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `flip-+` `insert-posit16` `add-log-exp`
2×	`associate-+r+`
1×	`associate-+l+`

Calls

3 calls:

Slowest

3.0ms	(+ e (+ d (+ (+ c b) a)))
3.0ms	(+ d (+ (+ c b) a))
3.0ms	(+ (+ c b) a)

series69.0ms

Calls

3 calls:

Slowest

38.0ms	(+ e (+ d (+ (+ c b) a)))
20.0ms	(+ d (+ (+ c b) a))
11.0ms	(+ (+ c b) a)

simplify111.0ms

Calls

10 calls:

Slowest

11.0ms	(+ a (+ b c))
11.0ms	(+ a (+ b c))
11.0ms	(+ b (+ c d))
11.0ms	(+ a (+ b c))
11.0ms	(+ e (+ c d))

prune284.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

regimes505.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch1.0ms

end0.0ms

sample929.0ms

Algorithm

intervals

Results

449.0ms	8000×	pre	80	true
345.0ms	8000×	body	80	valid