Details

Time bar (total: 2.1m)

sample92.0ms

Algorithm
intervals
Results
55.0ms279×body80valid
17.0ms108×body80nan

simplify225.0ms

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

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 20.3b

localize191.0ms

Local error

Found 4 expressions with local error:

23.7b
(sqrt (- (* b b) (* (* 4 a) c)))
23.7b
(sqrt (- (* b b) (* (* 4 a) c)))
0.8b
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
0.4b
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))

rewrite373.0ms

Algorithm
rewrite-expression-head
Rules
102×add-sqr-sqrt
49×sqrt-prod
38×*-un-lft-identity
36×unswap-sqr
32×difference-of-squares
18×associate-*l*
14×distribute-lft-out--
12×add-log-exp
6×pow1 swap-sqr *-commutative add-cube-cbrt
4×add-cbrt-cube sqrt-div add-exp-log insert-posit16
3×flip3-- flip--
2×neg-sub0 rem-sqrt-square sum-log distribute-rgt-neg-in sqrt-pow1 pow1/2 diff-log neg-log distribute-lft-out
1×associate--l- +-commutative sub-neg flip3-+ associate-+l- flip-+
Calls
4 calls:
Slowest
115.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
97.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
90.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
67.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series481.0ms

Calls
4 calls:
Slowest
131.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
122.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
116.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
111.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))

simplify4.7s

Calls
80 calls:
Slowest
379.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
358.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
229.0ms
(- b (* 2 (/ (* a c) b)))
213.0ms
(- b (* 2 (/ (* a c) b)))
173.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 4 a) c) 3)))

prune1.9s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 5.5b

localize122.0ms

Local error

Found 4 expressions with local error:

23.7b
(sqrt (- (* b b) (* (* 4 a) c)))
4.1b
(* a (/ c b))
3.3b
(/ (* (- (* a (/ c b)) b) 2) (* 2 a))
0.4b
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))

rewrite520.0ms

Algorithm
rewrite-expression-head
Rules
342×add-sqr-sqrt
227×times-frac
183×associate-*l*
177×*-un-lft-identity
108×add-cube-cbrt
106×associate-*r*
77×unswap-sqr
56×difference-of-squares
35×*-commutative
34×distribute-lft-out--
25×sqrt-prod
21×add-cbrt-cube add-exp-log associate-/l*
15×associate-/r*
9×associate-*r/
8×add-log-exp
7×pow1
6×prod-exp cbrt-unprod
5×cbrt-undiv div-exp
4×insert-posit16
3×clear-num flip3-- swap-sqr flip--
2×frac-2neg sqrt-div diff-log associate-*l/ un-div-inv div-inv associate-/l/
1×associate--l- neg-sub0 rem-sqrt-square sub-neg distribute-rgt-neg-in sqrt-pow1 pow1/2 pow-prod-down neg-log
Calls
4 calls:
Slowest
323.0ms
(/ (* (- (* a (/ c b)) b) 2) (* 2 a))
88.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
84.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
11.0ms
(* a (/ c b))

series243.0ms

Calls
4 calls:
Slowest
81.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
80.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
53.0ms
(/ (* (- (* a (/ c b)) b) 2) (* 2 a))
28.0ms
(* a (/ c b))

simplify1.1m

Calls
520 calls:
Slowest
3.2s
(/ (* (* (* (- (* a (/ c b)) b) (- (* a (/ c b)) b)) (- (* a (/ c b)) b)) (* (* 2 2) 2)) (* (* (* 2 a) (* 2 a)) (* 2 a)))
1.6s
(/ (* (* (* (- (* a (/ c b)) b) (- (* a (/ c b)) b)) (- (* a (/ c b)) b)) (* (* 2 2) 2)) (* (* (* 2 2) 2) (* (* a a) a)))
1.0s
(/ (* (* (* (- (* a (/ c b)) b) 2) (* (- (* a (/ c b)) b) 2)) (* (- (* a (/ c b)) b) 2)) (* (* (* 2 2) 2) (* (* a a) a)))
858.0ms
(/ (* (* (* (- (* a (/ c b)) b) 2) (* (- (* a (/ c b)) b) 2)) (* (- (* a (/ c b)) b) 2)) (* (* (* 2 a) (* 2 a)) (* 2 a)))
708.0ms
(/ (- (* a (/ c b)) b) (* 2 (sqrt a)))

prune6.4s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 5.5b

localize133.0ms

Local error

Found 4 expressions with local error:

23.7b
(sqrt (- (* b b) (* (* 4 a) c)))
0.4b
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
0.4b
(- (* b b) (* (* 4 a) c))
0.1b
(/ (* 2 c) (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))

rewrite487.0ms

Algorithm
rewrite-expression-head
Rules
205×add-sqr-sqrt
122×*-un-lft-identity
84×times-frac
58×difference-of-squares
44×unswap-sqr
42×associate-*l* add-cube-cbrt
40×distribute-lft-out--
38×sqrt-prod
24×associate-*r*
14×distribute-rgt-neg-in *-commutative
12×associate-/l*
10×add-log-exp
9×add-cbrt-cube add-exp-log
7×associate-/r*
6×swap-sqr
5×pow1
4×flip3-- insert-posit16 flip--
3×diff-log
2×cbrt-undiv sub-neg sqrt-div div-exp associate-/r/
1×associate--l- neg-sub0 rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 neg-log prod-exp cbrt-unprod div-inv
Calls
4 calls:
Slowest
233.0ms
(/ (* 2 c) (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))
138.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
73.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
39.0ms
(- (* b b) (* (* 4 a) c))

series517.0ms

Calls
4 calls:
Slowest
248.0ms
(/ (* 2 c) (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))
102.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
98.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
69.0ms
(- (* b b) (* (* 4 a) c))

simplify22.5s

Calls
274 calls:
Slowest
375.0ms
(sqrt (+ (* (sqrt b) (sqrt b)) (sqrt (* (* 4 a) c))))
370.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
364.0ms
(+ (* (- b) (- b)) (+ (* (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c)))) (* (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
338.0ms
(/ (* (* (* 2 c) (* 2 c)) (* 2 c)) (* (* (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
303.0ms
(/ (* (* (* 2 2) 2) (* (* c c) c)) (* (* (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))))

prune3.6s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 5.4b

localize120.0ms

Local error

Found 4 expressions with local error:

23.7b
(sqrt (- (* b b) (* (* 4 a) c)))
0.4b
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
0.4b
(- (* b b) (* (* 4 a) c))
0.2b
(* c (/ 2 (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))))

rewrite950.0ms

Algorithm
rewrite-expression-head
Rules
135×add-sqr-sqrt
64×*-un-lft-identity
40×difference-of-squares
38×unswap-sqr
29×sqrt-prod
27×associate-*r*
22×times-frac distribute-lft-out--
21×associate-*l*
19×add-cube-cbrt
13×associate-*r/
10×add-log-exp
9×add-cbrt-cube add-exp-log
7×pow1 associate-/r* *-commutative
6×swap-sqr
5×distribute-rgt-neg-in
4×flip3-- insert-posit16 flip-- associate-/l*
3×diff-log
2×clear-num sub-neg sqrt-div prod-exp associate-/r/ un-div-inv cbrt-unprod
1×associate--l- neg-sub0 cbrt-undiv rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 div-exp pow-prod-down neg-log div-inv
Calls
4 calls:
Slowest
692.0ms
(* c (/ 2 (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
126.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
68.0ms
(- (* b b) (* (* 4 a) c))
59.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series569.0ms

Calls
4 calls:
Slowest
272.0ms
(* c (/ 2 (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
123.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
100.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
73.0ms
(- (* b b) (* (* 4 a) c))

simplify10.3s

Calls
138 calls:
Slowest
426.0ms
(* (* (* c c) c) (* (* (/ 2 (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ 2 (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))) (/ 2 (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))))
374.0ms
(+ (* (- b) (- b)) (+ (* (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c)))) (* (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
364.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
255.0ms
(- b (* 2 (/ (* a c) b)))
234.0ms
(/ (exp (* b b)) (exp (* (* 4 a) c)))

prune2.4s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 5.4b

regimes700.0ms

Accuracy

93.3% (1.0b remaining)

Error of 6.6b against oracle of 5.5b and baseline of 20.7b

bsearch698.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
2.0s8731×body80valid
568.0ms2837×body80nan