Details

sample186.0ms

Algorithm

intervals

Results

65.0ms	151×	body	160	valid
39.0ms	282×	body	80	nan
33.0ms	538×	pre	80	true
19.0ms	45×	body	320	valid
9.0ms	60×	body	80	valid

simplify146.0ms

Calls

1 calls:

Slowest

146.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 44.5b

localize33.0ms

Local error

Found 4 expressions with local error:

38.8b	(- (sqrt (- (* b b) (* (* c a) 4))) b)
0.2b	(/ (- (sqrt (- (* b b) (* (* c a) 4))) b) (* 2 a))
0.1b	(- (* b b) (* (* c a) 4))
0.1b	(sqrt (- (* b b) (* (* c a) 4)))

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

54.0ms	(/ (- (sqrt (- (* b b) (* (* c a) 4))) b) (* 2 a))
27.0ms	(- (sqrt (- (* b b) (* (* c a) 4))) b)
5.0ms	(- (* b b) (* (* c a) 4))
5.0ms	(sqrt (- (* b b) (* (* c a) 4)))

series212.0ms

Calls

4 calls:

Slowest

69.0ms	(- (sqrt (- (* b b) (* (* c a) 4))) b)
64.0ms	(/ (- (sqrt (- (* b b) (* (* c a) 4))) b) (* 2 a))
50.0ms	(sqrt (- (* b b) (* (* c a) 4)))
29.0ms	(- (* b b) (* (* c a) 4))

simplify4.1s

Calls

32 calls:

Slowest

616.0ms	(- (* (sqrt (- (* b b) (* (* c a) 4))) (sqrt (- (* b b) (* (* c a) 4)))) (* b b))
583.0ms	(sqrt (- (pow (* b b) 3) (pow (* (* c a) 4) 3)))
324.0ms	(- (pow (sqrt (- (* b b) (* (* c a) 4))) 3) (pow b 3))
302.0ms	(sqrt (- (* (* b b) (* b b)) (* (* (* c a) 4) (* (* c a) 4))))
275.0ms	(- b (* 2 (/ (* a c) b)))

prune904.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 4.7b

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

prune78.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 4.7b

localize23.0ms

Local error

Found 2 expressions with local error:

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

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

9.0ms	(/ (* -2 (/ (* a c) b)) (* 2 a))
6.0ms	(/ (* a c) b)

series47.0ms

Calls

2 calls:

Slowest

23.0ms	(/ (* -2 (/ (* a c) b)) (* 2 a))
23.0ms	(/ (* a c) b)

simplify1.2s

Calls

11 calls:

Slowest

783.0ms	(/ (* (* (* -2 (/ (* a c) b)) (* -2 (/ (* a c) b))) (* -2 (/ (* a c) b))) (* (* (* 2 a) (* 2 a)) (* 2 a)))
184.0ms	(- (log (* -2 (/ (* a c) b))) (log (* 2 a)))
156.0ms	(/ (/ (* a c) b) a)
27.0ms	(* -2 (* a c))
17.0ms	(* -1 (/ c b))

prune357.0ms

Pruning

21 alts after pruning (20 fresh and 1 done)

Merged error: 4.7b

localize12.0ms

Local error

Found 2 expressions with local error:

0.4b	(* (* a c) (/ 1 b))
0.2b	(/ (* -2 (* (* a c) (/ 1 b))) (* 2 a))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-cbrt-cube` `add-exp-log`
4×	`pow1` `associate-r` `associate-*r/`
3×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
2×	`un-div-inv` `insert-posit16` `div-inv` `add-log-exp` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `associate-/r` `frac-2neg` `times-frac` `div-exp` `associate-l` `pow-prod-down` `prod-exp` `-commutative` `cbrt-unprod` `associate-/l*`

Calls

2 calls:

Slowest

14.0ms	(/ (* -2 (* (* a c) (/ 1 b))) (* 2 a))
5.0ms	(* (* a c) (/ 1 b))

series26.0ms

Calls

2 calls:

Slowest

13.0ms	(* (* a c) (/ 1 b))
13.0ms	(/ (* -2 (* (* a c) (/ 1 b))) (* 2 a))

simplify2.8s

Calls

19 calls:

Slowest

1.1s	(/ (* (* (* -2 (* (* a c) (/ 1 b))) (* -2 (* (* a c) (/ 1 b)))) (* -2 (* (* a c) (/ 1 b)))) (* (* (* 2 a) (* 2 a)) (* 2 a)))
649.0ms	(* (* (* (* a c) (* a c)) (* a c)) (* (* (/ 1 b) (/ 1 b)) (/ 1 b)))
450.0ms	(/ (* (* a c) (/ 1 b)) a)
219.0ms	(- (log (* -2 (* (* a c) (/ 1 b)))) (log (* 2 a)))
67.0ms	(+ (log (* a c)) (log (/ 1 b)))

prune350.0ms

Pruning

21 alts after pruning (20 fresh and 1 done)

Merged error: 4.7b

regimes443.0ms

Accuracy

7.2% (6.3b remaining)

Error of 11.5b against oracle of 5.2b and baseline of 12.0b

bsearch62.0ms

end0.0ms

sample5.3s

Algorithm

intervals

Results

1.4s	8545×	body	80	nan
1.4s	4861×	body	160	valid
1.4s	16545×	pre	80	true
517.0ms	1359×	body	320	valid
229.0ms	1780×	body	80	valid