Details

sample58.0ms

Algorithm

intervals

Results

23.0ms	256×	pre	80	true
18.0ms	256×	body	80	valid

simplify307.0ms

Calls

1 calls:

Slowest

307.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite112.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

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

series153.0ms

Calls

3 calls:

Slowest

89.0ms	(+ (+ (+ (+ e d) c) b) a)
47.0ms	(+ (+ (+ e d) c) b)
17.0ms	(+ (+ e d) c)

simplify164.0ms

Calls

11 calls:

Slowest

22.0ms	(+ a (+ b c))
22.0ms	(+ a (+ b c))
21.0ms	(+ (+ e d) c)
21.0ms	(+ e (+ c d))
15.0ms	(+ e (+ c d))

prune401.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite41.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

35.0ms	(+ (+ (+ e d) (+ c b)) a)
6.0ms	(+ (+ e d) (+ c b))

series125.0ms

Calls

2 calls:

Slowest

67.0ms	(+ (+ (+ e d) (+ c b)) a)
58.0ms	(+ (+ e d) (+ c b))

simplify1.7s

Calls

17 calls:

Slowest

329.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))))
250.0ms	(+ (* (- (* e e) (* d d)) (+ (* c c) (- (* b b) (* c b)))) (* (- e d) (+ (pow c 3) (pow b 3))))
197.0ms	(* (- e d) (+ (* c c) (- (* b b) (* c b))))
179.0ms	(* (+ (* e e) (- (* d d) (* e d))) (- c b))
141.0ms	(+ (* (+ (pow e 3) (pow d 3)) (- c b)) (* (+ (* e e) (- (* d d) (* e d))) (- (* c c) (* b b))))

prune470.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite26.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

20.0ms	(+ (+ e d) (+ (+ c b) a))
6.0ms	(+ (+ c b) a)

series124.0ms

Calls

2 calls:

Slowest

96.0ms	(+ (+ e d) (+ (+ c b) a))
28.0ms	(+ (+ c b) a)

simplify2.5s

Calls

16 calls:

Slowest

409.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))))
327.0ms	(+ (* (- (* e e) (* d d)) (+ (* (+ c b) (+ c b)) (- (* a a) (* (+ c b) a)))) (* (- e d) (+ (pow (+ c b) 3) (pow a 3))))
319.0ms	(* (+ (* e e) (- (* d d) (* e d))) (- (+ c b) a))
309.0ms	(+ (+ e d) (+ (+ c b) a))
226.0ms	(+ (* (+ (pow e 3) (pow d 3)) (- (+ c b) a)) (* (+ (* e e) (- (* d d) (* e d))) (- (* (+ c b) (+ c b)) (* a a))))

prune458.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize10.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))

rewrite20.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

8.0ms	(+ e (+ d (+ (+ c b) a)))
6.0ms	(+ d (+ (+ c b) a))
6.0ms	(+ (+ c b) a)

series164.0ms

Calls

3 calls:

Slowest

97.0ms	(+ e (+ d (+ (+ c b) a)))
39.0ms	(+ d (+ (+ c b) a))
29.0ms	(+ (+ c b) a)

simplify221.0ms

Calls

10 calls:

Slowest

25.0ms	(+ a (+ b c))
22.0ms	(+ a (+ b c))
22.0ms	(+ a (+ b c))
22.0ms	(+ a (+ b c))
22.0ms	(+ a (+ b c))

prune410.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

regimes507.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample1.4s

Algorithm

intervals

Results

616.0ms	8000×	pre	80	true
591.0ms	8000×	body	80	valid