Details

Time bar (total: 26.3s)

sample125.0ms

Algorithm
intervals
Results
79.0ms271×body80valid
21.0ms106×body80nan

simplify212.0ms

Calls
1 calls:
Slowest
212.0ms
(if (>= b 0) (/ (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (* 2 c) (+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))))

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.6b

localize138.0ms

Local error

Found 4 expressions with local error:

26.1b
(sqrt (- (* b b) (* (* 4 a) c)))
26.1b
(sqrt (- (* b b) (* (* 4 a) c)))
1.1b
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
0.6b
(- (* b b) (* (* 4 a) c))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt *-un-lft-identity add-log-exp
6×add-cube-cbrt sqrt-prod
4×pow1 add-cbrt-cube sqrt-div add-exp-log insert-posit16
3×flip3-- flip--
2×rem-sqrt-square pow1/2
1×neg-sub0 +-commutative sum-log sub-neg flip3-+ diff-log associate-+l- flip-+ distribute-lft-out
Calls
4 calls:
Slowest
14.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
5.0ms
(- (* b b) (* (* 4 a) c))
5.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
5.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series202.0ms

Calls
4 calls:
Slowest
73.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
50.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
48.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
31.0ms
(- (* b b) (* (* 4 a) c))

simplify3.4s

Calls
27 calls:
Slowest
584.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 4 a) c) 3)))
515.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 4 a) c) 3)))
280.0ms
(- b (* 2 (/ (* a c) b)))
261.0ms
(- b (* 2 (/ (* a c) b)))
260.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))

prune1.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 6.4b

localize114.0ms

Local error

Found 4 expressions with local error:

26.1b
(sqrt (- (* b b) (* (* 4 a) c)))
5.2b
(/ (* a c) b)
3.8b
(/ (- (- b) (- b (* 2 (/ (* a c) b)))) (* 2 a))
1.1b
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
12×add-sqr-sqrt
7×add-cube-cbrt
6×add-cbrt-cube add-exp-log associate-/l* add-log-exp
5×times-frac
4×pow1 insert-posit16
3×sqrt-prod
2×clear-num frac-2neg flip3-- sqrt-div div-inv flip-- distribute-lft-out-- difference-of-squares associate-/l/
1×neg-sub0 cbrt-undiv +-commutative rem-sqrt-square associate-/r* sum-log flip3-+ pow1/2 div-sub div-exp associate-+l- flip-+ distribute-lft-out
Calls
4 calls:
Slowest
13.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
13.0ms
(/ (- (- b) (- b (* 2 (/ (* a c) b)))) (* 2 a))
3.0ms
(/ (* a c) b)
2.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series176.0ms

Calls
4 calls:
Slowest
65.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
52.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
39.0ms
(/ (- (- b) (- b (* 2 (/ (* a c) b)))) (* 2 a))
20.0ms
(/ (* a c) b)

simplify7.4s

Calls
38 calls:
Slowest
742.0ms
(/ (cbrt (- (- b) (- b (* 2 (/ (* a c) b))))) a)
553.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 4 a) c) 3)))
491.0ms
(/ (* (cbrt (- (- b) (- b (* 2 (/ (* a c) b))))) (cbrt (- (- b) (- b (* 2 (/ (* a c) b)))))) 2)
427.0ms
(sqrt (- (- b) (- b (* 2 (/ (* a c) b)))))
406.0ms
(/ (sqrt (- (- b) (- b (* 2 (/ (* a c) b))))) a)

prune1.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 5.8b

localize116.0ms

Local error

Found 4 expressions with local error:

26.1b
(sqrt (- (* b b) (* (* 4 a) c)))
1.1b
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
0.6b
(- (* b b) (* (* 4 a) c))
0.5b
(* (* 4 a) c)

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
8×add-log-exp
7×*-un-lft-identity
6×add-sqr-sqrt
5×add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16
3×sqrt-prod
2×flip3-- sqrt-div flip--
1×neg-sub0 +-commutative rem-sqrt-square sum-log sub-neg flip3-+ pow1/2 diff-log associate-*l* *-commutative associate-+l- flip-+ distribute-lft-out
Calls
4 calls:
Slowest
7.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
3.0ms
(* (* 4 a) c)
3.0ms
(- (* b b) (* (* 4 a) c))
3.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series167.0ms

Calls
4 calls:
Slowest
71.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
58.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
27.0ms
(- (* b b) (* (* 4 a) c))
11.0ms
(* (* 4 a) c)

simplify2.1s

Calls
21 calls:
Slowest
600.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 4 a) c) 3)))
232.0ms
(- b (* 2 (/ (* a c) b)))
219.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
151.0ms
(- (* 2 (/ (* a c) b)) (* 2 b))
124.0ms
(/ (exp (* b b)) (exp (* (* 4 a) c)))

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 5.8b

localize123.0ms

Local error

Found 4 expressions with local error:

26.1b
(sqrt (- (* b b) (* a (* 4 c))))
1.1b
(+ (- b) (sqrt (- (* b b) (* a (* 4 c)))))
0.6b
(- (* b b) (* a (* 4 c)))
0.1b
(/ (* 2 c) (+ (- b) (sqrt (- (* b b) (* a (* 4 c))))))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
8×add-sqr-sqrt add-log-exp
7×add-cube-cbrt
6×add-cbrt-cube add-exp-log
4×pow1 associate-/r* times-frac insert-posit16
3×sqrt-prod distribute-lft-out
2×flip3-+ flip3-- sqrt-div associate-/r/ flip-+ flip--
1×neg-sub0 cbrt-undiv +-commutative rem-sqrt-square clear-num sum-log sub-neg frac-2neg pow1/2 diff-log div-exp associate-+l- div-inv associate-/l*
Calls
4 calls:
Slowest
31.0ms
(/ (* 2 c) (+ (- b) (sqrt (- (* b b) (* a (* 4 c))))))
14.0ms
(+ (- b) (sqrt (- (* b b) (* a (* 4 c)))))
5.0ms
(- (* b b) (* a (* 4 c)))
5.0ms
(sqrt (- (* b b) (* a (* 4 c))))

series279.0ms

Calls
4 calls:
Slowest
149.0ms
(/ (* 2 c) (+ (- b) (sqrt (- (* b b) (* a (* 4 c))))))
59.0ms
(+ (- b) (sqrt (- (* b b) (* a (* 4 c)))))
43.0ms
(sqrt (- (* b b) (* a (* 4 c))))
27.0ms
(- (* b b) (* a (* 4 c)))

simplify3.6s

Calls
37 calls:
Slowest
508.0ms
(sqrt (- (pow (* b b) 3) (pow (* a (* 4 c)) 3)))
338.0ms
(+ (* (- b) (- b)) (- (* (sqrt (- (* b b) (* a (* 4 c)))) (sqrt (- (* b b) (* a (* 4 c))))) (* (- b) (sqrt (- (* b b) (* a (* 4 c)))))))
281.0ms
(- b (* 2 (/ (* a c) b)))
265.0ms
(/ (* (* (* 2 c) (* 2 c)) (* 2 c)) (* (* (+ (- b) (sqrt (- (* b b) (* a (* 4 c))))) (+ (- b) (sqrt (- (* b b) (* a (* 4 c)))))) (+ (- b) (sqrt (- (* b b) (* a (* 4 c)))))))
223.0ms
(sqrt (- (* (* b b) (* b b)) (* (* a (* 4 c)) (* a (* 4 c)))))

prune1.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 5.7b

regimes425.0ms

Accuracy

93.1% (1.1b remaining)

Error of 6.4b against oracle of 5.4b and baseline of 20.7b

bsearch240.0ms

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.9s8698×body80valid
430.0ms2870×body80nan