Details

Time bar (total: 18.9s)

sample104.0ms

Algorithm
intervals
Results
30.0ms32×body2560valid
22.0ms193×body80valid
14.0ms26×body1280valid
10.0ms98×body80nan
5.0ms6×body5120valid
4.0ms13×body320valid
3.0ms7×body640valid
1.0ms3×body160valid

simplify107.0ms

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.9b

localize33.0ms

Local error

Found 4 expressions with local error:

23.0b
(sqrt (- (* b b) (* (* 3 a) c)))
1.2b
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
0.8b
(- (* b b) (* (* 3 a) c))
0.2b
(/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) (* 3 a))

rewrite71.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
39.0ms
(/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) (* 3 a))
22.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
4.0ms
(- (* b b) (* (* 3 a) c))
4.0ms
(sqrt (- (* b b) (* (* 3 a) c)))

series199.0ms

Calls
4 calls:
Slowest
77.0ms
(/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) (* 3 a))
46.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
42.0ms
(sqrt (- (* b b) (* (* 3 a) c)))
34.0ms
(- (* b b) (* (* 3 a) c))

simplify3.4s

Calls
32 calls:
Slowest
506.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 3 a) c) 3)))
477.0ms
(- (* (sqrt (- (* b b) (* (* 3 a) c))) (sqrt (- (* b b) (* (* 3 a) c)))) (* b b))
236.0ms
(- (pow (sqrt (- (* b b) (* (* 3 a) c))) 3) (pow b 3))
196.0ms
(/ (* (* (- (sqrt (- (* b b) (* (* 3 a) c))) b) (- (sqrt (- (* b b) (* (* 3 a) c))) b)) (- (sqrt (- (* b b) (* (* 3 a) c))) b)) (* (* (* 3 a) (* 3 a)) (* 3 a)))
193.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 3 a) c) (* (* 3 a) c))))

prune730.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 6.0b

localize8.0ms

Local error

Found 4 expressions with local error:

23.0b
(sqrt (- (* b b) (* (* 3 a) c)))
1.2b
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
0.8b
(- (* b b) (* (* 3 a) c))
0.2b
(* (* 3 a) c)

rewrite40.0ms

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

series168.0ms

Calls
4 calls:
Slowest
67.0ms
(sqrt (- (* b b) (* (* 3 a) c)))
48.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
39.0ms
(- (* b b) (* (* 3 a) c))
14.0ms
(* (* 3 a) c)

simplify1.8s

Calls
19 calls:
Slowest
452.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 3 a) c) 3)))
283.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 3 a) c) (* (* 3 a) c))))
214.0ms
(- b (* 3/2 (/ (* a c) b)))
146.0ms
(/ (exp (* b b)) (exp (* (* 3 a) c)))
123.0ms
(- (* 3/2 (/ (* a c) b)) (* 2 b))

prune668.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 6.0b

localize24.0ms

Local error

Found 4 expressions with local error:

23.0b
(sqrt (- (* b b) (* 3 (* a c))))
1.2b
(- (sqrt (- (* b b) (* 3 (* a c)))) b)
0.8b
(- (* b b) (* 3 (* a c)))
0.2b
(* 3 (* a c))

rewrite22.0ms

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

series147.0ms

Calls
4 calls:
Slowest
67.0ms
(sqrt (- (* b b) (* 3 (* a c))))
43.0ms
(- (sqrt (- (* b b) (* 3 (* a c)))) b)
24.0ms
(- (* b b) (* 3 (* a c)))
12.0ms
(* 3 (* a c))

simplify1.7s

Calls
19 calls:
Slowest
405.0ms
(sqrt (- (pow (* b b) 3) (pow (* 3 (* a c)) 3)))
207.0ms
(sqrt (- (* (* b b) (* b b)) (* (* 3 (* a c)) (* 3 (* a c)))))
177.0ms
(- b (* 3/2 (/ (* a c) b)))
120.0ms
(/ (exp (* b b)) (exp (* 3 (* a c))))
107.0ms
(- (* 3/2 (/ (* a c) b)) (* 2 b))

prune796.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 6.0b

localize13.0ms

Local error

Found 4 expressions with local error:

23.0b
(sqrt (- (* b b) (* (* 3 a) c)))
1.2b
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
0.8b
(- (* b b) (* (* 3 a) c))
0.2b
(* 1/3 (/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) a))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt
6×*-un-lft-identity add-cube-cbrt add-log-exp
4×pow1 add-cbrt-cube associate-*r* add-exp-log insert-posit16
3×flip3-- sqrt-prod flip--
2×sub-neg sqrt-div
1×rem-sqrt-square pow1/2 diff-log associate-*r/ *-commutative div-inv
Calls
4 calls:
Slowest
25.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
24.0ms
(* 1/3 (/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) a))
5.0ms
(- (* b b) (* (* 3 a) c))
5.0ms
(sqrt (- (* b b) (* (* 3 a) c)))

series214.0ms

Calls
4 calls:
Slowest
64.0ms
(* 1/3 (/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) a))
56.0ms
(sqrt (- (* b b) (* (* 3 a) c)))
54.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
40.0ms
(- (* b b) (* (* 3 a) c))

simplify2.8s

Calls
23 calls:
Slowest
503.0ms
(- (* 3/2 (/ (* a c) b)) b)
487.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 3 a) c) 3)))
269.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 3 a) c) (* (* 3 a) c))))
259.0ms
(- b (* 3/2 (/ (* a c) b)))
167.0ms
(/ (exp (* b b)) (exp (* (* 3 a) c)))

prune723.0ms

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 6.0b

regimes662.0ms

Accuracy

80.8% (5.2b remaining)

Error of 11.2b against oracle of 5.9b and baseline of 33.2b

bsearch236.0ms

end0.0ms

sample4.2s

Algorithm
intervals
Results
1.0s5903×body80valid
911.0ms1063×body2560valid
740.0ms450×body640valid
520.0ms875×body1280valid
480.0ms2910×body80nan
138.0ms116×body5120valid
92.0ms187×body320valid
25.0ms106×body160valid