Details

sample124.0ms

Algorithm

intervals

Results

26.0ms	181×	body	80	valid
26.0ms	27×	body	2560	valid
21.0ms	29×	body	1280	valid
15.0ms	21×	body	640	valid
14.0ms	106×	body	80	nan
5.0ms	10×	body	320	valid
1.0ms	1×	body	5120	valid
1.0ms	2×	body	160	valid

simplify530.0ms

Calls

1 calls:

Slowest

530.0ms

(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.8b

localize22.0ms

Local error

Found 4 expressions with local error:

26.1b	(sqrt (- (* b b) (* 4 (* a c))))
0.6b	(- (* b b) (* 4 (* a c)))
0.5b	(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
0.3b	(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
13×	`*-un-lft-identity`
8×	`add-log-exp`
7×	`add-cube-cbrt`
6×	`times-frac` `add-cbrt-cube` `add-exp-log` `sqrt-prod` `associate-/l*` `difference-of-squares`
4×	`pow1` `flip3--` `insert-posit16` `flip--`
3×	`distribute-lft-out--`
2×	`sub-neg` `sqrt-div` `diff-log` `associate-/l/`
1×	`associate--l-` `neg-sub0` `cbrt-undiv` `rem-sqrt-square` `clear-num` `associate-/r*` `frac-2neg` `pow1/2` `div-sub` `div-exp` `div-inv`

Calls

4 calls:

Slowest

22.0ms	(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
18.0ms	(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
5.0ms	(- (* b b) (* 4 (* a c)))
3.0ms	(sqrt (- (* b b) (* 4 (* a c))))

series196.0ms

Calls

4 calls:

Slowest

65.0ms	(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
58.0ms	(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
47.0ms	(sqrt (- (* b b) (* 4 (* a c))))
26.0ms	(- (* b b) (* 4 (* a c)))

simplify4.8s

Calls

46 calls:

Slowest

511.0ms	(sqrt (- (pow (* b b) 3) (pow (* 4 (* a c)) 3)))
363.0ms	(- (pow (- b) 3) (pow (sqrt (- (* b b) (* 4 (* a c)))) 3))
316.0ms	(- (* (- b) (- b)) (* (sqrt (- (* b b) (* 4 (* a c)))) (sqrt (- (* b b) (* 4 (* a c))))))
277.0ms	(/ (* (* (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (- (- b) (sqrt (- (* b b) (* 4 (* a c)))))) (- (- b) (sqrt (- (* b b) (* 4 (* a c)))))) (* (* (* 2 a) (* 2 a)) (* 2 a)))
260.0ms	(sqrt (- (* (* b b) (* b b)) (* (* 4 (* a c)) (* 4 (* a c)))))

prune995.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 5.7b

localize6.0ms

Local error

Found 4 expressions with local error:

26.1b	(sqrt (- (* b b) (* 4 (* a c))))
0.6b	(- (* b b) (* 4 (* a c)))
0.5b	(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
0.1b	(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) a)

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
10×	`*-un-lft-identity`
8×	`add-log-exp`
6×	`add-cube-cbrt` `associate-/l*`
5×	`sqrt-prod`
4×	`pow1` `flip3--` `add-cbrt-cube` `add-exp-log` `insert-posit16` `flip--` `difference-of-squares`
2×	`sub-neg` `sqrt-div` `diff-log` `distribute-lft-out--` `associate-/l/`
1×	`associate--l-` `neg-sub0` `rem-sqrt-square` `clear-num` `frac-2neg` `pow1/2` `div-sub` `div-inv`

Calls

4 calls:

Slowest

17.0ms	(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) a)
11.0ms	(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
5.0ms	(- (* b b) (* 4 (* a c)))
3.0ms	(sqrt (- (* b b) (* 4 (* a c))))

series222.0ms

Calls

4 calls:

Slowest

70.0ms	(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) a)
62.0ms	(sqrt (- (* b b) (* 4 (* a c))))
47.0ms	(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
43.0ms	(- (* b b) (* 4 (* a c)))

simplify3.6s

Calls

32 calls:

Slowest

478.0ms	(sqrt (- (pow (* b b) 3) (pow (* 4 (* a c)) 3)))
441.0ms	(- (* (- b) (- b)) (* (sqrt (- (* b b) (* 4 (* a c)))) (sqrt (- (* b b) (* 4 (* a c))))))
329.0ms	(- (pow (- b) 3) (pow (sqrt (- (* b b) (* 4 (* a c)))) 3))
244.0ms	(sqrt (- (* (* b b) (* b b)) (* (* 4 (* a c)) (* 4 (* a c)))))
185.0ms	(- b (* 2 (/ (* a c) b)))

prune829.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 5.7b

localize35.0ms

Local error

Found 4 expressions with local error:

26.1b	(sqrt (- (* b b) (* a (* 4 c))))
0.6b	(- (* b b) (* a (* 4 c)))
0.5b	(- (- b) (sqrt (- (* b b) (* a (* 4 c)))))
0.1b	(/ (- (- b) (sqrt (- (* b b) (* a (* 4 c))))) a)

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
10×	`*-un-lft-identity`
8×	`add-log-exp`
6×	`add-cube-cbrt` `associate-/l*`
5×	`sqrt-prod`
4×	`pow1` `flip3--` `add-cbrt-cube` `add-exp-log` `insert-posit16` `flip--` `difference-of-squares`
2×	`sub-neg` `sqrt-div` `diff-log` `distribute-lft-out--` `associate-/l/`
1×	`associate--l-` `neg-sub0` `rem-sqrt-square` `clear-num` `frac-2neg` `pow1/2` `div-sub` `div-inv`

Calls

4 calls:

Slowest

31.0ms	(/ (- (- b) (sqrt (- (* b b) (* a (* 4 c))))) a)
12.0ms	(- (- b) (sqrt (- (* b b) (* a (* 4 c)))))
5.0ms	(- (* b b) (* a (* 4 c)))
4.0ms	(sqrt (- (* b b) (* a (* 4 c))))

series210.0ms

Calls

4 calls:

Slowest

61.0ms	(/ (- (- b) (sqrt (- (* b b) (* a (* 4 c))))) a)
60.0ms	(- (- b) (sqrt (- (* b b) (* a (* 4 c)))))
50.0ms	(sqrt (- (* b b) (* a (* 4 c))))
38.0ms	(- (* b b) (* a (* 4 c)))

simplify3.5s

Calls

32 calls:

Slowest

534.0ms	(sqrt (- (pow (* b b) 3) (pow (* a (* 4 c)) 3)))
405.0ms	(- (* (- b) (- b)) (* (sqrt (- (* b b) (* a (* 4 c)))) (sqrt (- (* b b) (* a (* 4 c))))))
313.0ms	(- (pow (- b) 3) (pow (sqrt (- (* b b) (* a (* 4 c)))) 3))
213.0ms	(- b (* 2 (/ (* a c) b)))
193.0ms	(sqrt (- (* (* b b) (* b b)) (* (* a (* 4 c)) (* a (* 4 c)))))

prune963.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 5.7b

localize19.0ms

Local error

Found 4 expressions with local error:

26.1b	(sqrt (- (* b b) (* 4 (* a c))))
0.6b	(- (* b b) (* 4 (* a c)))
0.5b	(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
0.2b	(/ 1 (/ a (- (- b) (sqrt (- (* b b) (* 4 (* a c)))))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
8×	`*-un-lft-identity` `add-log-exp`
6×	`associate-/r*` `add-cube-cbrt`
5×	`pow1` `add-exp-log`
4×	`flip3--` `add-cbrt-cube` `sqrt-prod` `insert-posit16` `flip--`
3×	`associate-/r/`
2×	`sub-neg` `sqrt-div` `diff-log` `div-inv` `difference-of-squares`
1×	`associate--l-` `neg-sub0` `rem-sqrt-square` `rec-exp` `clear-num` `frac-2neg` `pow1/2` `pow-flip` `distribute-lft-out--` `inv-pow`

Calls

4 calls:

Slowest

13.0ms	(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
5.0ms	(- (* b b) (* 4 (* a c)))
5.0ms	(sqrt (- (* b b) (* 4 (* a c))))
2.0ms	(/ 1 (/ a (- (- b) (sqrt (- (* b b) (* 4 (* a c)))))))

series255.0ms

Calls

4 calls:

Slowest

88.0ms	(/ 1 (/ a (- (- b) (sqrt (- (* b b) (* 4 (* a c)))))))
70.0ms	(sqrt (- (* b b) (* 4 (* a c))))
54.0ms	(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
42.0ms	(- (* b b) (* 4 (* a c)))

simplify3.1s

Calls

33 calls:

Slowest

406.0ms	(sqrt (- (pow (* b b) 3) (pow (* 4 (* a c)) 3)))
342.0ms	(+ (* (- b) (- b)) (+ (* (sqrt (- (* b b) (* 4 (* a c)))) (sqrt (- (* b b) (* 4 (* a c))))) (* (- b) (sqrt (- (* b b) (* 4 (* a c)))))))
254.0ms	(sqrt (- (* (* b b) (* b b)) (* (* 4 (* a c)) (* 4 (* a c)))))
235.0ms	(- b (* 2 (/ (* a c) b)))
140.0ms	(/ (exp (- b)) (exp (sqrt (- (* b b) (* 4 (* a c))))))

prune871.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 5.7b

regimes605.0ms

Accuracy

86.8% (3.7b remaining)

Error of 9.1b against oracle of 5.3b and baseline of 33.4b

bsearch366.0ms

end0.0ms

sample4.7s

Algorithm

intervals

Results

1.4s	1023×	body	2560	valid
940.0ms	5813×	body	80	valid
834.0ms	944×	body	1280	valid
426.0ms	115×	body	160	valid
334.0ms	2870×	body	80	nan
268.0ms	467×	body	640	valid
123.0ms	106×	body	5120	valid
91.0ms	230×	body	320	valid