Details

Time bar (total: 4.9m)

sample179.0ms

Algorithm
intervals
Results
64.0ms166×body160valid
34.0ms514×pre80true
33.0ms258×body80nan
17.0ms42×body320valid
7.0ms48×body80valid

simplify133.0ms

Calls
1 calls:
Slowest
133.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 45.9b

localize49.0ms

Local error

Found 4 expressions with local error:

41.9b
(- (sqrt (- (* b b) (* (* c a) 4))) b)
0.2b
(/ (- (sqrt (- (* b b) (* (* c a) 4))) b) (* 2 a))
0.1b
(- (* b b) (* (* c a) 4))
0.0b
(sqrt (- (* b b) (* (* c a) 4)))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
200×add-sqr-sqrt
91×*-un-lft-identity
72×times-frac
58×difference-of-squares
43×unswap-sqr
39×associate-*l* add-cube-cbrt
38×sqrt-prod
26×distribute-lft-out--
21×associate-*r*
13×*-commutative
12×associate-/r*
9×add-cbrt-cube add-exp-log
8×add-log-exp
6×swap-sqr associate-/l*
5×pow1
4×flip3-- insert-posit16 flip--
2×cbrt-undiv sub-neg sqrt-div diff-log div-exp associate-/l/
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-sub prod-exp cbrt-unprod div-inv
Calls
4 calls:
Slowest
618.0ms
(/ (- (sqrt (- (* b b) (* (* c a) 4))) b) (* 2 a))
375.0ms
(- (sqrt (- (* b b) (* (* c a) 4))) b)
75.0ms
(sqrt (- (* b b) (* (* c a) 4)))
46.0ms
(- (* b b) (* (* c a) 4))

series444.0ms

Calls
4 calls:
Slowest
144.0ms
(/ (- (sqrt (- (* b b) (* (* c a) 4))) b) (* 2 a))
121.0ms
(sqrt (- (* b b) (* (* c a) 4)))
102.0ms
(- (sqrt (- (* b b) (* (* c a) 4))) b)
78.0ms
(- (* b b) (* (* c a) 4))

simplify19.9s

Calls
247 calls:
Slowest
616.0ms
(- (* (sqrt (- (* b b) (* (* c a) 4))) (sqrt (- (* b b) (* (* c a) 4)))) (* b b))
392.0ms
(- (pow (sqrt (- (* b b) (* (* c a) 4))) 3) (pow b 3))
309.0ms
(sqrt (- (* (* b b) (* b b)) (* (* (* c a) 4) (* (* c a) 4))))
284.0ms
(/ (exp (* b b)) (exp (* (* c a) 4)))
273.0ms
(/ (* (* (- (sqrt (- (* b b) (* (* c a) 4))) b) (- (sqrt (- (* b b) (* (* c a) 4))) b)) (- (sqrt (- (* b b) (* (* c a) 4))) b)) (* (* (* 2 a) (* 2 a)) (* 2 a)))

prune2.4s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 4.7b

localize5.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Calls
0 calls:
Slowest

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune83.0ms

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 4.7b

localize28.0ms

Local error

Found 2 expressions with local error:

0.3b
(/ (* a c) b)
0.2b
(/ (* -2 (/ (* a c) b)) (* 2 a))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
1142×times-frac
808×add-sqr-sqrt associate-*r*
501×*-un-lft-identity
499×add-cube-cbrt
328×associate-*l*
148×unswap-sqr
109×*-commutative
77×associate-/l*
39×add-cbrt-cube add-exp-log
21×associate-/l/
18×associate-/r* associate-*r/
15×div-inv
14×cbrt-undiv div-exp
13×prod-exp cbrt-unprod
4×clear-num
3×frac-2neg un-div-inv
2×pow1 insert-posit16 add-log-exp
Calls
2 calls:
Slowest
65.0ms
(/ (* -2 (/ (* a c) b)) (* 2 a))
24.0ms
(/ (* a c) b)

series59.0ms

Calls
2 calls:
Slowest
38.0ms
(/ (* a c) b)
21.0ms
(/ (* -2 (/ (* a c) b)) (* 2 a))

simplify3.6m

Calls
1407 calls:
Slowest
1.8s
(/ (* (* (* -2 -2) -2) (/ (* (* (* a a) a) (* (* c c) c)) (* (* b b) b))) (* (* (* 2 2) 2) (* (* a a) a)))
1.4s
(/ (* (* (* -2 -2) -2) (/ (* (* (* a c) (* a c)) (* a c)) (* (* b b) b))) (* (* (* 2 a) (* 2 a)) (* 2 a)))
1.3s
(/ (* (* (* -2 -2) -2) (/ (* (* (* a c) (* a c)) (* a c)) (* (* b b) b))) (* (* (* 2 2) 2) (* (* a a) a)))
1.2s
(/ (* (* (* -2 -2) -2) (/ (* (* (* a a) a) (* (* c c) c)) (* (* b b) b))) (* (* (* 2 a) (* 2 a)) (* 2 a)))
950.0ms
(/ (* (* (* -2 (/ (* a c) b)) (* -2 (/ (* a c) b))) (* -2 (/ (* a c) b))) (* (* (* 2 a) (* 2 a)) (* 2 a)))

prune7.5s

Pruning

33 alts after pruning (32 fresh and 1 done)

Merged error: 4.6b

localize16.0ms

Local error

Found 2 expressions with local error:

0.4b
(* (/ 1 a) (* (/ a (- b)) c))
0.3b
(* (/ a (- b)) c)

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
185×associate-*l/
170×add-sqr-sqrt
161×associate-/r*
144×frac-times
133×*-un-lft-identity
130×add-cube-cbrt
84×associate-/l*
81×associate-*l*
80×times-frac
51×distribute-lft-neg-in distribute-rgt-neg-in
50×associate-*r*
46×add-exp-log
28×clear-num frac-2neg add-cbrt-cube
22×prod-exp
19×unswap-sqr
17×neg-mul-1
16×associate-*r/
12×cbrt-unprod
11×div-exp
9×pow1
6×cbrt-undiv
4×pow-prod-down
3×rec-exp 1-exp *-commutative div-inv
2×insert-posit16 add-log-exp
Calls
2 calls:
Slowest
71.0ms
(* (/ 1 a) (* (/ a (- b)) c))
18.0ms
(* (/ a (- b)) c)

series63.0ms

Calls
2 calls:
Slowest
36.0ms
(* (/ 1 a) (* (/ a (- b)) c))
26.0ms
(* (/ a (- b)) c)

simplify36.9s

Calls
467 calls:
Slowest
764.0ms
(* (/ 1 (* (cbrt a) (cbrt a))) (* (* (cbrt a) (cbrt a)) c))
660.0ms
(* (/ 1 a) (* (/ a (- b)) c))
567.0ms
(+ (- (log 1) (log a)) (+ (- (log a) (log (- b))) (log c)))
549.0ms
(* (/ 1 (sqrt a)) (* (/ (sqrt a) (sqrt (- b))) (sqrt c)))
532.0ms
(* (/ 1 (sqrt a)) (* (/ a (* (cbrt (- b)) (cbrt (- b)))) c))

prune2.6s

Pruning

33 alts after pruning (31 fresh and 2 done)

Merged error: 4.6b

regimes608.0ms

Accuracy

0% (6.7b remaining)

Error of 11.7b against oracle of 5.0b and baseline of 11.7b

bsearch1.0ms

end0.0ms

sample5.7s

Algorithm
intervals
Results
1.6s8434×body80nan
1.4s4885×body160valid
1.0s1366×body320valid
942.0ms16434×pre80true
281.0ms1749×body80valid