Details

Time bar (total: 21.8s)

sample115.0ms

Algorithm
intervals
Results
28.0ms34×body2560valid
27.0ms205×body80valid
18.0ms26×body1280valid
15.0ms120×body80nan
5.0ms12×body640valid
3.0ms3×body5120valid
1.0ms3×body320valid
1.0ms2×body160valid

simplify137.0ms

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

prune25.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.1b

localize26.0ms

Local error

Found 4 expressions with local error:

22.1b
(sqrt (- (* b b) (* (* 3 a) c)))
0.4b
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
0.2b
(/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) (* 3 a))
0.2b
(- (* b b) (* (* 3 a) c))

rewrite75.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
53.0ms
(/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) (* 3 a))
13.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
5.0ms
(- (* b b) (* (* 3 a) c))
3.0ms
(sqrt (- (* b b) (* (* 3 a) c)))

series200.0ms

Calls
4 calls:
Slowest
74.0ms
(/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) (* 3 a))
51.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
45.0ms
(sqrt (- (* b b) (* (* 3 a) c)))
31.0ms
(- (* b b) (* (* 3 a) c))

simplify4.1s

Calls
32 calls:
Slowest
644.0ms
(- (* (sqrt (- (* b b) (* (* 3 a) c))) (sqrt (- (* b b) (* (* 3 a) c)))) (* b b))
562.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 3 a) c) 3)))
292.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 3 a) c) (* (* 3 a) c))))
285.0ms
(- b (* 3/2 (/ (* a c) b)))
282.0ms
(- (pow (sqrt (- (* b b) (* (* 3 a) c))) 3) (pow b 3))

prune876.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 7.2b

localize21.0ms

Local error

Found 4 expressions with local error:

22.1b
(sqrt (- (* b b) (* a (* 3 c))))
0.4b
(- (sqrt (- (* b b) (* a (* 3 c)))) b)
0.2b
(/ (- (sqrt (- (* b b) (* a (* 3 c)))) b) (* 3 a))
0.2b
(- (* b b) (* a (* 3 c)))

rewrite55.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
25.0ms
(/ (- (sqrt (- (* b b) (* a (* 3 c)))) b) (* 3 a))
20.0ms
(- (sqrt (- (* b b) (* a (* 3 c)))) b)
6.0ms
(- (* b b) (* a (* 3 c)))
2.0ms
(sqrt (- (* b b) (* a (* 3 c))))

series219.0ms

Calls
4 calls:
Slowest
66.0ms
(sqrt (- (* b b) (* a (* 3 c))))
63.0ms
(/ (- (sqrt (- (* b b) (* a (* 3 c)))) b) (* 3 a))
61.0ms
(- (sqrt (- (* b b) (* a (* 3 c)))) b)
29.0ms
(- (* b b) (* a (* 3 c)))

simplify3.6s

Calls
32 calls:
Slowest
595.0ms
(- (* (sqrt (- (* b b) (* a (* 3 c)))) (sqrt (- (* b b) (* a (* 3 c))))) (* b b))
456.0ms
(sqrt (- (pow (* b b) 3) (pow (* a (* 3 c)) 3)))
273.0ms
(- (pow (sqrt (- (* b b) (* a (* 3 c)))) 3) (pow b 3))
229.0ms
(- b (* 3/2 (/ (* a c) b)))
207.0ms
(/ (* (* (- (sqrt (- (* b b) (* a (* 3 c)))) b) (- (sqrt (- (* b b) (* a (* 3 c)))) b)) (- (sqrt (- (* b b) (* a (* 3 c)))) b)) (* (* (* 3 a) (* 3 a)) (* 3 a)))

prune905.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 7.2b

localize11.0ms

Local error

Found 4 expressions with local error:

22.1b
(sqrt (- (* b b) (* a (* 3 c))))
0.4b
(- (sqrt (- (* b b) (* a (* 3 c)))) b)
0.2b
(- (* b b) (* a (* 3 c)))
0.2b
(* a (* 3 c))

rewrite38.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
26.0ms
(- (sqrt (- (* b b) (* a (* 3 c)))) b)
5.0ms
(- (* b b) (* a (* 3 c)))
5.0ms
(sqrt (- (* b b) (* a (* 3 c))))
2.0ms
(* a (* 3 c))

series173.0ms

Calls
4 calls:
Slowest
65.0ms
(sqrt (- (* b b) (* a (* 3 c))))
65.0ms
(- (sqrt (- (* b b) (* a (* 3 c)))) b)
26.0ms
(- (* b b) (* a (* 3 c)))
17.0ms
(* a (* 3 c))

simplify1.9s

Calls
19 calls:
Slowest
521.0ms
(sqrt (- (pow (* b b) 3) (pow (* a (* 3 c)) 3)))
253.0ms
(- b (* 3/2 (/ (* a c) b)))
199.0ms
(sqrt (- (* (* b b) (* b b)) (* (* a (* 3 c)) (* a (* 3 c)))))
168.0ms
(/ (exp (* b b)) (exp (* a (* 3 c))))
144.0ms
(- (* 3/2 (/ (* a c) b)) (* 2 b))

prune714.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 7.2b

localize12.0ms

Local error

Found 4 expressions with local error:

22.1b
(sqrt (- (* b b) (* (* 3 a) c)))
0.4b
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
0.3b
(* 1/3 (/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) a))
0.2b
(- (* b b) (* (* 3 a) c))

rewrite44.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
22.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
13.0ms
(* 1/3 (/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) a))
5.0ms
(sqrt (- (* b b) (* (* 3 a) c)))
3.0ms
(- (* b b) (* (* 3 a) c))

series223.0ms

Calls
4 calls:
Slowest
81.0ms
(* 1/3 (/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) a))
68.0ms
(sqrt (- (* b b) (* (* 3 a) c)))
49.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
24.0ms
(- (* b b) (* (* 3 a) c))

simplify2.3s

Calls
23 calls:
Slowest
525.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 3 a) c) 3)))
270.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 3 a) c) (* (* 3 a) c))))
190.0ms
(- b (* 3/2 (/ (* a c) b)))
152.0ms
(/ (exp (* b b)) (exp (* (* 3 a) c)))
126.0ms
(- (* 3/2 (/ (* a c) b)) b)

prune790.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 7.2b

regimes487.0ms

Accuracy

83.2% (4.7b remaining)

Error of 10.3b against oracle of 5.6b and baseline of 33.6b

bsearch281.0ms

end0.0ms

sample4.6s

Algorithm
intervals
Results
1.2s5816×body80valid
1.0s935×body1280valid
1.0s1058×body2560valid
423.0ms2850×body80nan
318.0ms477×body640valid
124.0ms87×body5120valid
119.0ms249×body320valid
28.0ms106×body160valid