Details

sample606.0ms

Algorithm

intervals

Results

232.0ms	121×	body	320	valid
98.0ms	81×	body	160	valid
53.0ms	304×	body	80	nan
53.0ms	560×	pre	80	true
17.0ms	24×	body	640	valid
6.0ms	30×	body	80	valid

simplify115.0ms

Calls

1 calls:

Slowest

114.0ms

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

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 53.9b

localize24.0ms

Local error

Found 4 expressions with local error:

24.1b	(- (sqrt (- (* b b) (* (* c a) 4))) b)
0.1b	(/ (- (sqrt (- (* b b) (* (* c a) 4))) b) (* 2 a))
0.1b	(- (* b b) (* (* c a) 4))
0.0b	(sqrt (- (* b b) (* (* c a) 4)))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

28.0ms	(/ (- (sqrt (- (* b b) (* (* c a) 4))) b) (* 2 a))
24.0ms	(- (sqrt (- (* b b) (* (* c a) 4))) b)
3.0ms	(- (* b b) (* (* c a) 4))
3.0ms	(sqrt (- (* b b) (* (* c a) 4)))

series377.0ms

Calls

4 calls:

Slowest

145.0ms	(- (sqrt (- (* b b) (* (* c a) 4))) b)
142.0ms	(/ (- (sqrt (- (* b b) (* (* c a) 4))) b) (* 2 a))
51.0ms	(sqrt (- (* b b) (* (* c a) 4)))
38.0ms	(- (* b b) (* (* c a) 4))

simplify3.4s

Calls

32 calls:

Slowest

507.0ms	(- (* (sqrt (- (* b b) (* (* c a) 4))) (sqrt (- (* b b) (* (* c a) 4)))) (* b b))
469.0ms	(sqrt (- (pow (* b b) 3) (pow (* (* c a) 4) 3)))
308.0ms	(- (pow (sqrt (- (* b b) (* (* c a) 4))) 3) (pow b 3))
256.0ms	(sqrt (- (* (* b b) (* b b)) (* (* (* c a) 4) (* (* c a) 4))))
180.0ms	(- b (* 2 (/ (* a c) b)))

prune806.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 2.0b

localize9.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Calls

0 calls:

Slowest

series0.0ms

Calls

0 calls:

Slowest

simplify0.0ms

Calls

0 calls:

Slowest

prune59.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 2.0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.3b	(/ (* -2 (/ (* a c) b)) (* 2 a))
0.3b	(/ (* a c) b)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-cbrt-cube` `add-exp-log`
2×	`add-sqr-sqrt` `pow1` `clear-num` `frac-2neg` `-un-lft-identity` `add-cube-cbrt` `insert-posit16` `div-inv` `associate-/l` `add-log-exp`
1×	`cbrt-undiv` `associate-/r` `times-frac` `div-exp` `associate-r/` `associate-/l/`

Calls

2 calls:

Slowest

7.0ms	(/ (* -2 (/ (* a c) b)) (* 2 a))
3.0ms	(/ (* a c) b)

series33.0ms

Calls

2 calls:

Slowest

17.0ms	(/ (* a c) b)
16.0ms	(/ (* -2 (/ (* a c) b)) (* 2 a))

simplify1.1s

Calls

11 calls:

Slowest

781.0ms	(/ (* (* (* -2 (/ (* a c) b)) (* -2 (/ (* a c) b))) (* -2 (/ (* a c) b))) (* (* (* 2 a) (* 2 a)) (* 2 a)))
118.0ms	(/ (/ (* a c) b) a)
98.0ms	(- (log (* -2 (/ (* a c) b))) (log (* 2 a)))
25.0ms	(* -2 (* a c))
22.0ms	(/ (* a c) b)

prune333.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 2.0b

localize5.0ms

Local error

Found 3 expressions with local error:

0.3b	(/ -2 (/ (* 2 a) (/ (* a c) b)))
0.3b	(/ (* a c) b)
0.3b	(/ (* 2 a) (/ (* a c) b))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

13×	`associate-/r*`
8×	`times-frac`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt` `div-inv`
5×	`add-cbrt-cube` `add-exp-log`
3×	`pow1` `clear-num` `frac-2neg` `associate-/r/` `insert-posit16` `add-log-exp`
2×	`associate-/l*`
1×	`cbrt-undiv` `div-exp`

Calls

3 calls:

Slowest

4.0ms	(/ (* 2 a) (/ (* a c) b))
3.0ms	(/ (* a c) b)
1.0ms	(/ -2 (/ (* 2 a) (/ (* a c) b)))

series51.0ms

Calls

3 calls:

Slowest

20.0ms	(/ -2 (/ (* 2 a) (/ (* a c) b)))
16.0ms	(/ (* a c) b)
15.0ms	(/ (* 2 a) (/ (* a c) b))

simplify1.7s

Calls

32 calls:

Slowest

258.0ms	(/ (* (* (* 2 a) (* 2 a)) (* 2 a)) (* (* (/ (* a c) b) (/ (* a c) b)) (/ (* a c) b)))
190.0ms	(sqrt (/ (* 2 a) (/ (* a c) b)))
184.0ms	(cbrt (/ (* 2 a) (/ (* a c) b)))
154.0ms	(- (log (* 2 a)) (log (/ (* a c) b)))
146.0ms	(/ (* 2 a) (/ (* a c) b))

prune517.0ms

Pruning

19 alts after pruning (17 fresh and 2 done)

Merged error: 2.0b

regimes394.0ms

Accuracy

0% (3.7b remaining)

Error of 6.4b against oracle of 2.8b and baseline of 6.4b

bsearch1.0ms

end0.0ms

sample6.3s

Algorithm

intervals

Results

2.1s	3595×	body	320	valid
1.3s	16343×	pre	80	true
1.2s	8343×	body	80	nan
854.0ms	2933×	body	160	valid
299.0ms	512×	body	640	valid
159.0ms	960×	body	80	valid