Details

Time bar (total: 2.0m)

sample89.0ms

Algorithm
intervals
Results
56.0ms274×body80valid
17.0ms95×body80nan

simplify213.0ms

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

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.1b

localize148.0ms

Local error

Found 4 expressions with local error:

25.6b
(sqrt (- (* b b) (* (* 4 a) c)))
25.6b
(sqrt (- (* b b) (* (* 4 a) c)))
1.8b
(- (* b b) (* (* 4 a) c))
1.8b
(- (* b b) (* (* 4 a) c))

rewrite222.0ms

Algorithm
rewrite-expression-head
Rules
188×add-sqr-sqrt
72×unswap-sqr
60×difference-of-squares
54×*-un-lft-identity
48×sqrt-prod
36×associate-*l*
24×distribute-lft-out--
12×swap-sqr *-commutative
8×add-log-exp
6×pow1 add-cube-cbrt
4×flip3-- add-cbrt-cube sqrt-div add-exp-log insert-posit16 flip--
2×rem-sqrt-square sub-neg sqrt-pow1 pow1/2 diff-log
Calls
4 calls:
Slowest
65.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
63.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
46.0ms
(- (* b b) (* (* 4 a) c))
44.0ms
(- (* b b) (* (* 4 a) c))

series309.0ms

Calls
4 calls:
Slowest
95.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
89.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
65.0ms
(- (* b b) (* (* 4 a) c))
60.0ms
(- (* b b) (* (* 4 a) c))

simplify7.2s

Calls
142 calls:
Slowest
362.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
360.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
301.0ms
(/ (exp (* b b)) (exp (* (* 4 a) c)))
245.0ms
(- b (* 2 (/ (* a c) b)))
203.0ms
(/ (exp (* b b)) (exp (* (* 4 a) c)))

prune2.9s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 6.2b

localize144.0ms

Local error

Found 4 expressions with local error:

25.6b
(sqrt (- (* b b) (* (* 4 a) c)))
3.3b
(/ (+ (- b) (- (/ (* 2 c) (/ b a)) b)) (* 2 a))
3.2b
(/ (* 2 c) (/ b a))
1.8b
(- (* b b) (* (* 4 a) c))

rewrite520.0ms

Algorithm
rewrite-expression-head
Rules
357×times-frac
331×*-un-lft-identity
312×add-sqr-sqrt
177×add-cube-cbrt
84×associate-*l*
66×associate-*r*
58×unswap-sqr
52×distribute-lft-out
38×distribute-lft-out--
30×difference-of-squares
28×associate-/r* *-commutative
26×distribute-rgt-neg-in
24×sqrt-prod
22×associate-/l*
21×add-cbrt-cube add-exp-log
15×div-inv
9×associate-/r/
8×cbrt-undiv div-exp
6×swap-sqr add-log-exp
5×pow1
4×insert-posit16
3×clear-num frac-2neg prod-exp cbrt-unprod
2×flip3-- sqrt-div div-sub flip-- associate-/l/
1×neg-sub0 rem-sqrt-square associate-+r- sub-neg sqrt-pow1 flip3-+ pow1/2 diff-log associate-+l- flip-+
Calls
4 calls:
Slowest
396.0ms
(/ (+ (- b) (- (/ (* 2 c) (/ b a)) b)) (* 2 a))
59.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
43.0ms
(- (* b b) (* (* 4 a) c))
15.0ms
(/ (* 2 c) (/ b a))

series268.0ms

Calls
4 calls:
Slowest
106.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
73.0ms
(/ (+ (- b) (- (/ (* 2 c) (/ b a)) b)) (* 2 a))
47.0ms
(- (* b b) (* (* 4 a) c))
42.0ms
(/ (* 2 c) (/ b a))

simplify53.4s

Calls
612 calls:
Slowest
698.0ms
(/ (+ (- b) (- (/ (* 2 c) (/ b a)) b)) (* (sqrt 2) (sqrt a)))
533.0ms
(/ (* (cbrt (* 2 c)) (cbrt (* 2 c))) (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))))
492.0ms
(/ (* 2 (* (cbrt c) (cbrt c))) (/ 1 (* (cbrt a) (cbrt a))))
483.0ms
(/ (* (sqrt 2) (sqrt c)) (/ 1 (* (cbrt a) (cbrt a))))
456.0ms
(/ (* (cbrt 2) (cbrt 2)) (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))))

prune7.5s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 6.1b

localize173.0ms

Local error

Found 4 expressions with local error:

25.6b
(sqrt (- (* b b) (* (* 4 a) c)))
1.8b
(- (* b b) (* (* 4 a) c))
1.7b
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
0.1b
(/ (* 2 c) (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))

rewrite541.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
273.0ms
(/ (* 2 c) (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))
125.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
91.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
47.0ms
(- (* b b) (* (* 4 a) c))

series515.0ms

Calls
4 calls:
Slowest
240.0ms
(/ (* 2 c) (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))
122.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
90.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
62.0ms
(- (* b b) (* (* 4 a) c))

simplify24.1s

Calls
274 calls:
Slowest
410.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
353.0ms
(+ (* (- b) (- b)) (+ (* (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c)))) (* (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
347.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))))))
335.0ms
(/ (* 2 (* (cbrt c) (cbrt c))) (* (cbrt (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))) (cbrt (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))))
322.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.3s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 5.4b

localize134.0ms

Local error

Found 4 expressions with local error:

25.6b
(sqrt (- (* b b) (* (* 4 a) c)))
1.8b
(- (* b b) (* (* 4 a) c))
1.7b
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
0.2b
(* c (/ 2 (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))))

rewrite846.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
630.0ms
(* c (/ 2 (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
115.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
64.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
34.0ms
(- (* b b) (* (* 4 a) c))

series536.0ms

Calls
4 calls:
Slowest
266.0ms
(* c (/ 2 (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
114.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
103.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
53.0ms
(- (* b b) (* (* 4 a) c))

simplify11.1s

Calls
138 calls:
Slowest
464.0ms
(/ (exp (- b)) (exp (sqrt (- (* b b) (* (* 4 a) c)))))
409.0ms
(+ (* (- b) (- b)) (+ (* (sqrt (- (* b b) (* (* 4 a) c))) (sqrt (- (* b b) (* (* 4 a) c)))) (* (- b) (sqrt (- (* b b) (* (* 4 a) c))))))
396.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)))))))
342.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* 4 a) c) (* (* 4 a) c))))
248.0ms
(/ (exp (* b b)) (exp (* (* 4 a) c)))

prune2.3s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 5.4b

regimes612.0ms

Accuracy

90.7% (1.4b remaining)

Error of 7.2b against oracle of 5.8b and baseline of 21.0b

bsearch300.0ms

end0.0ms

sample3.3s

Algorithm
intervals
Results
2.4s8718×body80valid
610.0ms3022×body80nan