Details

sample152.0ms

Algorithm

intervals

Results

46.0ms	27×	body	1280	valid
18.0ms	201×	body	80	valid
15.0ms	31×	body	2560	valid
7.0ms	87×	body	80	nan
3.0ms	10×	body	640	valid
3.0ms	3×	body	5120	valid
1.0ms	3×	body	320	valid
0.0ms	2×	body	160	valid

simplify65.0ms

Calls

1 calls:

Slowest

64.0ms

(/ (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)

prune315.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.5b

localize19.0ms

Local error

Found 4 expressions with local error:

19.5b	(sqrt (- (* b_2 b_2) (* a c)))
0.8b	(- (* b_2 b_2) (* a c))
0.5b	(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
0.1b	(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt`
8×	`*-un-lft-identity` `add-cube-cbrt`
7×	`fma-neg`
6×	`sqrt-prod` `add-log-exp`
4×	`expm1-log1p-u` `pow1` `flip3--` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `flip--`
3×	`associate-/l*`
2×	`sub-neg` `sqrt-div` `associate-/l/`
1×	`rem-sqrt-square` `clear-num` `frac-2neg` `pow1/2` `diff-log` `div-sub` `prod-diff` `div-inv`

Calls

4 calls:

Slowest

37.0ms	(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
15.0ms	(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
5.0ms	(sqrt (- (* b_2 b_2) (* a c)))
2.0ms	(- (* b_2 b_2) (* a c))

series213.0ms

Calls

4 calls:

Slowest

62.0ms	(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
61.0ms	(sqrt (- (* b_2 b_2) (* a c)))
59.0ms	(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
31.0ms	(- (* b_2 b_2) (* a c))

simplify2.4s

Calls

31 calls:

Slowest

551.0ms	(- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* b_2 b_2))
413.0ms	(sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
238.0ms	(- b_2 (* 1/2 (/ (* a c) b_2)))
196.0ms	(sqrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))
179.0ms	(- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))

prune954.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 5.1b

localize14.0ms

Local error

Found 4 expressions with local error:

19.5b	(sqrt (- (* b_2 b_2) (* a c)))
0.8b	(- (* b_2 b_2) (* a c))
0.5b	(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
0.2b	(/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt`
8×	`*-un-lft-identity` `add-cube-cbrt`
7×	`fma-neg`
6×	`associate-/r*` `sqrt-prod` `add-log-exp`
5×	`pow1` `add-exp-log`
4×	`expm1-log1p-u` `flip3--` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `flip--`
3×	`associate-/r/`
2×	`sub-neg` `sqrt-div` `div-inv`
1×	`rem-sqrt-square` `rec-exp` `clear-num` `frac-2neg` `pow1/2` `diff-log` `prod-diff` `pow-flip` `inv-pow`

Calls

4 calls:

Slowest

28.0ms	(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
7.0ms	(sqrt (- (* b_2 b_2) (* a c)))
5.0ms	(- (* b_2 b_2) (* a c))
2.0ms	(/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))

series214.0ms

Calls

4 calls:

Slowest

91.0ms	(/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
45.0ms	(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
44.0ms	(sqrt (- (* b_2 b_2) (* a c)))
34.0ms	(- (* b_2 b_2) (* a c))

simplify2.0s

Calls

34 calls:

Slowest

391.0ms	(sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
350.0ms	(+ (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (+ (* b_2 b_2) (* (sqrt (- (* b_2 b_2) (* a c))) b_2)))
225.0ms	(- b_2 (* 1/2 (/ (* a c) b_2)))
172.0ms	(sqrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))
102.0ms	(- (* 1/2 (/ (* a c) b_2)) (* 2 b_2))

prune966.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 5.1b

localize8.0ms

Local error

Found 4 expressions with local error:

19.5b	(sqrt (- (* b_2 b_2) (* a c)))
0.8b	(- (* b_2 b_2) (* a c))
0.5b	(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
0.2b	(* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
9×	`*-un-lft-identity` `add-cube-cbrt`
7×	`fma-neg`
6×	`pow1` `add-cbrt-cube` `add-exp-log` `sqrt-prod` `add-log-exp`
5×	`flip3--` `flip--`
4×	`expm1-log1p-u` `sub-neg` `associate-l` `insert-posit16` `log1p-expm1-u`
3×	`associate-r`
2×	`distribute-rgt-in` `frac-times` `distribute-lft-in` `sqrt-div` `associate-*r/`
1×	`rem-sqrt-square` `pow1/2` `diff-log` `prod-diff` `pow-prod-down` `associate-l/` `prod-exp` `-commutative` `cbrt-unprod` `div-inv`

Calls

4 calls:

Slowest

31.0ms	(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
30.0ms	(* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
5.0ms	(- (* b_2 b_2) (* a c))
4.0ms	(sqrt (- (* b_2 b_2) (* a c)))

series230.0ms

Calls

4 calls:

Slowest

97.0ms	(* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
58.0ms	(sqrt (- (* b_2 b_2) (* a c)))
47.0ms	(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
27.0ms	(- (* b_2 b_2) (* a c))

simplify4.3s

Calls

45 calls:

Slowest

893.0ms	(* (* (* (/ 1 a) (/ 1 a)) (/ 1 a)) (* (* (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
442.0ms	(* 1 (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3)))
425.0ms	(sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
323.0ms	(+ (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (+ (* b_2 b_2) (* (sqrt (- (* b_2 b_2) (* a c))) b_2)))
307.0ms	(- b_2 (* 1/2 (/ (* a c) b_2)))

prune964.0ms

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 5.1b

localize32.0ms

Local error

Found 4 expressions with local error:

20.3b	(cbrt (- (* b_2 b_2) (* a c)))
20.3b	(cbrt (- (* b_2 b_2) (* a c)))
20.3b	(cbrt (- (* b_2 b_2) (* a c)))
19.5b	(sqrt (* (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c)))) (cbrt (- (* b_2 b_2) (* a c)))))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-div`
30×	`flip3--` `flip--`
28×	`frac-times`
26×	`sqrt-div`
14×	`associate-*l/`
9×	`cbrt-prod`
8×	`associate-*r/`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`
1×	`pow1/2` `sqrt-prod`

Calls

4 calls:

Slowest

22.0ms	(sqrt (* (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c)))) (cbrt (- (* b_2 b_2) (* a c)))))
4.0ms	(cbrt (- (* b_2 b_2) (* a c)))
3.0ms	(cbrt (- (* b_2 b_2) (* a c)))
3.0ms	(cbrt (- (* b_2 b_2) (* a c)))

series346.0ms

Calls

4 calls:

Slowest

127.0ms	(cbrt (- (* b_2 b_2) (* a c)))
86.0ms	(cbrt (- (* b_2 b_2) (* a c)))
80.0ms	(cbrt (- (* b_2 b_2) (* a c)))
53.0ms	(sqrt (* (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c)))) (cbrt (- (* b_2 b_2) (* a c)))))

simplify11.7s

Calls

54 calls:

Slowest

543.0ms	(sqrt (* (* (cbrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c)))) (cbrt (- (* b_2 b_2) (* a c)))) (cbrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))))
466.0ms	(sqrt (* (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c)))) (cbrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))))
420.0ms	(sqrt (* (* (cbrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3))) (cbrt (- (* b_2 b_2) (* a c)))) (cbrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))))
415.0ms	(sqrt (* (* (cbrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3))) (cbrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))) (cbrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))))
407.0ms	(sqrt (* (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))) (cbrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))))

prune1.3s

Pruning

12 alts after pruning (8 fresh and 4 done)

Merged error: 5.1b

regimes410.0ms

Accuracy

86.7% (3.7b remaining)

Error of 9.3b against oracle of 5.6b and baseline of 33.4b

bsearch224.0ms

end0.0ms

sample3.6s

Algorithm

intervals

Results

976.0ms	5884×	body	80	valid
899.0ms	925×	body	1280	valid
805.0ms	1021×	body	2560	valid
379.0ms	3025×	body	80	nan
180.0ms	458×	body	640	valid
81.0ms	113×	body	5120	valid
65.0ms	221×	body	320	valid
23.0ms	117×	body	160	valid