Details

Time bar (total: 25.0s)

sample121.0ms

Algorithm
intervals
Results
38.0ms38×body1280valid
22.0ms177×body80valid
21.0ms31×body2560valid
9.0ms79×body80nan
6.0ms11×body640valid
4.0ms11×body320valid
2.0ms2×body5120valid
1.0ms3×body160valid

simplify120.0ms

Calls
1 calls:
Slowest
119.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a))

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.7b

localize38.0ms

Local error

Found 4 expressions with local error:

21.3b
(sqrt (- (* b b) (* (* 3 a) c)))
1.1b
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
0.6b
(- (* b b) (* (* 3 a) c))
0.2b
(* (* 3 a) c)

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
10×pow1
9×add-cbrt-cube add-exp-log
8×*-un-lft-identity add-log-exp
6×add-cube-cbrt
4×sqrt-prod insert-posit16
3×flip3-- associate-*r* pow-prod-down prod-exp cbrt-unprod flip--
2×sub-neg sqrt-div diff-log difference-of-squares
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*l* *-commutative distribute-lft-out--
Calls
4 calls:
Slowest
66.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
26.0ms
(* (* 3 a) c)
14.0ms
(- (* b b) (* (* 3 a) c))
13.0ms
(sqrt (- (* b b) (* (* 3 a) c)))

series324.0ms

Calls
4 calls:
Slowest
117.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
107.0ms
(sqrt (- (* b b) (* (* 3 a) c)))
78.0ms
(- (* b b) (* (* 3 a) c))
23.0ms
(* (* 3 a) c)

simplify3.5s

Calls
34 calls:
Slowest
474.0ms
(* (* (* (* 3 3) 3) (* (* a a) a)) (* (* c c) c))
427.0ms
(* (* (* (* 3 a) (* 3 a)) (* 3 a)) (* (* c c) c))
362.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 3 a) c) (* (* 3 a) c))))
357.0ms
(/ (exp (* b b)) (exp (* (* 3 a) c)))
226.0ms
(- b (* 3/2 (/ (* a c) b)))

prune813.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 9.4b

localize24.0ms

Local error

Found 4 expressions with local error:

21.3b
(sqrt (+ (* b b) (* (* c -3) a)))
1.1b
(- (sqrt (+ (* b b) (* (* c -3) a))) b)
0.6b
(+ (* b b) (* (* c -3) a))
0.2b
(* (* c -3) a)

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
10×pow1
9×add-cbrt-cube add-exp-log
8×*-un-lft-identity add-log-exp
6×add-cube-cbrt
4×sqrt-prod insert-posit16
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×flip3-+ sqrt-div flip-+ difference-of-squares
1×+-commutative rem-sqrt-square sum-log sub-neg sqrt-pow1 flip3-- pow1/2 diff-log associate-*l* *-commutative flip-- distribute-lft-out--
Calls
4 calls:
Slowest
33.0ms
(- (sqrt (+ (* b b) (* (* c -3) a))) b)
14.0ms
(* (* c -3) a)
8.0ms
(+ (* b b) (* (* c -3) a))
6.0ms
(sqrt (+ (* b b) (* (* c -3) a)))

series286.0ms

Calls
4 calls:
Slowest
114.0ms
(- (sqrt (+ (* b b) (* (* c -3) a))) b)
87.0ms
(sqrt (+ (* b b) (* (* c -3) a)))
48.0ms
(+ (* b b) (* (* c -3) a))
36.0ms
(* (* c -3) a)

simplify3.2s

Calls
34 calls:
Slowest
638.0ms
(- b (* 3/2 (/ (* a c) b)))
411.0ms
(* (* (* (* c -3) (* c -3)) (* c -3)) (* (* a a) a))
357.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* c -3) a) (* (* c -3) a))))
340.0ms
(* (* (* (* c c) c) (* (* -3 -3) -3)) (* (* a a) a))
279.0ms
(* (exp (* b b)) (exp (* (* c -3) a)))

prune904.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 9.4b

localize40.0ms

Local error

Found 4 expressions with local error:

21.3b
(sqrt (- (* b b) (* 3 (* a c))))
1.1b
(- (sqrt (- (* b b) (* 3 (* a c)))) b)
0.6b
(- (* b b) (* 3 (* a c)))
0.2b
(* 3 (* a c))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
10×pow1
9×add-cbrt-cube add-exp-log
8×*-un-lft-identity add-log-exp
6×add-cube-cbrt
4×sqrt-prod insert-posit16
3×flip3-- associate-*l* pow-prod-down prod-exp cbrt-unprod flip--
2×sub-neg sqrt-div diff-log difference-of-squares
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*r* *-commutative distribute-lft-out--
Calls
4 calls:
Slowest
43.0ms
(- (sqrt (- (* b b) (* 3 (* a c)))) b)
15.0ms
(- (* b b) (* 3 (* a c)))
13.0ms
(* 3 (* a c))
11.0ms
(sqrt (- (* b b) (* 3 (* a c))))

series317.0ms

Calls
4 calls:
Slowest
115.0ms
(sqrt (- (* b b) (* 3 (* a c))))
108.0ms
(- (sqrt (- (* b b) (* 3 (* a c)))) b)
59.0ms
(- (* b b) (* 3 (* a c)))
36.0ms
(* 3 (* a c))

simplify3.6s

Calls
34 calls:
Slowest
592.0ms
(* (* (* 3 3) 3) (* (* (* a c) (* a c)) (* a c)))
381.0ms
(/ (exp (* b b)) (exp (* 3 (* a c))))
374.0ms
(* (* (* 3 3) 3) (* (* (* a a) a) (* (* c c) c)))
366.0ms
(sqrt (- (* (* b b) (* b b)) (* (* 3 (* a c)) (* 3 (* a c)))))
219.0ms
(- b (* 3/2 (/ (* a c) b)))

prune868.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 9.4b

localize29.0ms

Local error

Found 4 expressions with local error:

21.3b
(sqrt (- (* b b) (* (* 3 a) c)))
21.3b
(sqrt (- (* b b) (* (* 3 a) c)))
1.1b
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
1.1b
(- (sqrt (- (* b b) (* (* 3 a) c))) b)

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×*-un-lft-identity
8×sqrt-prod add-log-exp
6×pow1 add-cube-cbrt
4×flip3-- add-cbrt-cube sqrt-div add-exp-log insert-posit16 flip-- difference-of-squares
2×rem-sqrt-square sub-neg sqrt-pow1 pow1/2 diff-log distribute-lft-out--
Calls
4 calls:
Slowest
59.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
35.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
12.0ms
(sqrt (- (* b b) (* (* 3 a) c)))
7.0ms
(sqrt (- (* b b) (* (* 3 a) c)))

series416.0ms

Calls
4 calls:
Slowest
119.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
101.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
99.0ms
(sqrt (- (* b b) (* (* 3 a) c)))
97.0ms
(sqrt (- (* b b) (* (* 3 a) c)))

simplify3.8s

Calls
38 calls:
Slowest
399.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 3 a) c) (* (* 3 a) c))))
397.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 3 a) c) (* (* 3 a) c))))
271.0ms
(- b (* 3/2 (/ (* a c) b)))
200.0ms
(- b (* 3/2 (/ (* a c) b)))
183.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 3 a) c) 3)))

prune1.1s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 9.4b

regimes562.0ms

Accuracy

86.5% (2.9b remaining)

Error of 15.2b against oracle of 12.3b and baseline of 33.7b

bsearch255.0ms

end0.0ms

sample4.2s

Algorithm
intervals
Results
1.3s5800×body80valid
853.0ms1097×body2560valid
742.0ms910×body1280valid
428.0ms2937×body80nan
348.0ms439×body640valid
149.0ms106×body5120valid
82.0ms223×body320valid
29.0ms117×body160valid