Details

sample94.0ms

Algorithm

intervals

Results

52.0ms	275×	body	80	valid
16.0ms	104×	body	80	nan

simplify704.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

703.0ms

(if (>= b 0) (/ (* 2 c) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)))

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.3b

localize159.0ms

Local error

Found 4 expressions with local error:

20.6b	(sqrt (- (* b b) (* (* 4 a) c)))
20.6b	(sqrt (- (* b b) (* (* 4 a) c)))
1.4b	(- (* b b) (* (* 4 a) c))
1.4b	(- (* b b) (* (* 4 a) c))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt` `add-log-exp`
6×	`pow1` `*-un-lft-identity` `add-cube-cbrt` `sqrt-prod`
4×	`flip3--` `add-cbrt-cube` `sqrt-div` `add-exp-log` `insert-posit16` `flip--`
2×	`rem-sqrt-square` `sub-neg` `sqrt-pow1` `pow1/2` `diff-log`

Counts

4 → 58

Calls

4 calls:

Slowest

9.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
8.0ms	(- (* b b) (* (* 4 a) c))
7.0ms	(- (* b b) (* (* 4 a) c))
7.0ms	(sqrt (- (* b b) (* (* 4 a) c)))

series354.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

99.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
97.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
81.0ms	(- (* b b) (* (* 4 a) c))
77.0ms	(- (* b b) (* (* 4 a) c))

simplify3.4s

Counts

28 → 70

Calls

28 calls:

Slowest

401.0ms	(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
297.0ms	(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
279.0ms	(/ (exp (* b b)) (exp (* (* 4 a) c)))
266.0ms	(/ (exp (* b b)) (exp (* (* 4 a) c)))
237.0ms	(- b (* 2 (/ (* a c) b)))

prune1.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 7.9b

localize168.0ms

Local error

Found 4 expressions with local error:

20.6b	(sqrt (- (* b b) (* (* 4 a) c)))
20.6b	(sqrt (- (* b b) (* (* 4 a) c)))
20.6b	(sqrt (- (* b b) (* (* 4 a) c)))
8.8b	(+ (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
9×	`sqrt-prod`
8×	`add-log-exp`
7×	`pow1` `*-un-lft-identity` `add-cube-cbrt`
6×	`sqrt-div`
4×	`add-cbrt-cube` `add-exp-log` `insert-posit16`
3×	`rem-sqrt-square` `sqrt-pow1` `flip3--` `pow1/2` `flip--`
2×	`sum-log`
1×	`neg-sub0` `+-commutative` `flip3-+` `neg-log` `associate-+l-` `flip-+`

Counts

4 → 62

Calls

4 calls:

Slowest

13.0ms	(+ (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))
7.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
7.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
7.0ms	(sqrt (- (* b b) (* (* 4 a) c)))

series420.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

115.0ms	(+ (- b) (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c))))))
110.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
107.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
87.0ms	(sqrt (- (* b b) (* (* 4 a) c)))

simplify4.6s

Counts

35 → 74

Calls

35 calls:

Slowest

396.0ms	(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
394.0ms	(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
365.0ms	(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
346.0ms	(* (/ 1 (exp b)) (exp (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c)))))))
328.0ms	(* (exp (- b)) (exp (* (sqrt (sqrt (- (* b b) (* (* 4 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4 a) c)))))))

prune1.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 7.9b

localize211.0ms

Local error

Found 4 expressions with local error:

21.3b	(cbrt (- (* b b) (* (* 4 a) c)))
21.3b	(cbrt (- (* b b) (* (* 4 a) c)))
21.3b	(cbrt (- (* b b) (* (* 4 a) c)))
20.6b	(sqrt (* (* (cbrt (- (* b b) (* (* 4 a) c))) (cbrt (- (* b b) (* (* 4 a) c)))) (cbrt (- (* b b) (* (* 4 a) c)))))

rewrite104.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-div`
30×	`flip3--` `flip--`
28×	`frac-times`
26×	`sqrt-div`
24×	`pow1`
15×	`sqrt-pow1`
14×	`associate-*l/`
12×	`pow1/3`
9×	`cbrt-prod` `pow-prod-up`
8×	`associate-*r/`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`pow-plus`
5×	`pow-prod-down`
4×	`add-cbrt-cube` `add-exp-log` `insert-posit16` `add-log-exp`
3×	`pow-sqr`
2×	`pow2`
1×	`pow1/2` `pow3` `sqrt-prod`

Counts

4 → 93

Calls

4 calls:

Slowest

79.0ms	(sqrt (* (* (cbrt (- (* b b) (* (* 4 a) c))) (cbrt (- (* b b) (* (* 4 a) c)))) (cbrt (- (* b b) (* (* 4 a) c)))))
13.0ms	(cbrt (- (* b b) (* (* 4 a) c)))
5.0ms	(cbrt (- (* b b) (* (* 4 a) c)))
5.0ms	(cbrt (- (* b b) (* (* 4 a) c)))

series513.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

150.0ms	(cbrt (- (* b b) (* (* 4 a) c)))
148.0ms	(cbrt (- (* b b) (* (* 4 a) c)))
125.0ms	(cbrt (- (* b b) (* (* 4 a) c)))
89.0ms	(sqrt (* (* (cbrt (- (* b b) (* (* 4 a) c))) (cbrt (- (* b b) (* (* 4 a) c)))) (cbrt (- (* b b) (* (* 4 a) c)))))

simplify11.6s

Counts

69 → 105

Calls

69 calls:

Slowest

461.0ms	(sqrt (* (* (cbrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c)))) (cbrt (- (* b b) (* (* 4 a) c)))) (cbrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))))
426.0ms	(cbrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
407.0ms	(- (exp (* 1/3 (+ (log -4) (+ (log a) (log c))))) (* 1/12 (* (exp (* 1/3 (- (log -4) (+ (* 2 (log a)) (* 2 (log c)))))) (pow b 2))))
407.0ms	(- (exp (* 1/3 (+ (log -4) (+ (log a) (log c))))) (* 1/12 (* (exp (* 1/3 (- (log -4) (+ (* 2 (log a)) (* 2 (log c)))))) (pow b 2))))
406.0ms	(sqrt (* (* (cbrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c)))) (cbrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))) (cbrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))))

prune2.7s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 7.9b

localize171.0ms

Local error

Found 4 expressions with local error:

20.6b	(sqrt (- (* b b) (* (* 4 a) c)))
20.6b	(sqrt (- (* b b) (* (* 4 a) c)))
20.6b	(sqrt (- (* b b) (* (* 4 a) c)))
20.6b	(sqrt (- (* b b) (* (* 4 a) c)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `sqrt-prod`
8×	`pow1` `*-un-lft-identity` `sqrt-div` `add-cube-cbrt`
4×	`rem-sqrt-square` `sqrt-pow1` `flip3--` `add-cbrt-cube` `pow1/2` `add-exp-log` `insert-posit16` `flip--` `add-log-exp`

Counts

4 → 64

Calls

4 calls:

Slowest

15.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
12.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
7.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
7.0ms	(sqrt (- (* b b) (* (* 4 a) c)))

series380.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

113.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
102.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
84.0ms	(sqrt (- (* b b) (* (* 4 a) c)))
81.0ms	(sqrt (- (* b b) (* (* 4 a) c)))

simplify4.8s

Counts

40 → 76

Calls

40 calls:

Slowest

399.0ms	(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
391.0ms	(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
373.0ms	(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
358.0ms	(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
275.0ms	(- b (* 2 (/ (* a c) b)))

prune1.6s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 7.9b

regimes397.0ms

Accuracy

85.7% (1.8b remaining)

Error of 8.6b against oracle of 6.8b and baseline of 19.6b

bsearch345.0ms

end0.0ms

sample3.0s

Algorithm

intervals

Results

2.1s	8706×	body	80	valid
548.0ms	2958×	body	80	nan