Details

Time bar (total: 1.5m)

sample117.0ms

Algorithm
intervals
Results
23.0ms35×body2560valid
20.0ms181×body80valid
19.0ms31×body1280valid
9.0ms91×body80nan
7.0ms16×body640valid
4.0ms10×body320valid
2.0ms2×body5120valid
1.0ms3×body160valid

simplify75.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
74.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.4b

localize45.0ms

Local error

Found 4 expressions with local error:

21.5b
(sqrt (- (* b_2 b_2) (* a c)))
1.1b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
0.8b
(- (* b_2 b_2) (* a c))
0.1b
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
79×add-sqr-sqrt
78×*-un-lft-identity
61×prod-diff
58×add-cube-cbrt
38×sqrt-prod
26×distribute-rgt-neg-in
21×distribute-lft-neg-in times-frac
11×fma-neg
10×distribute-lft-out-- add-log-exp difference-of-squares
7×neg-mul-1 associate-/l*
6×add-cbrt-cube add-exp-log
5×pow1
4×expm1-log1p-u flip3-- insert-posit16 log1p-expm1-u flip--
3×associate-/r* diff-log
2×sub-neg sqrt-div associate-/l/
1×associate--l- neg-sub0 cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-sub div-exp neg-log div-inv
Counts
4 → 175
Calls
4 calls:
Slowest
67.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
37.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
19.0ms
(sqrt (- (* b_2 b_2) (* a c)))
15.0ms
(- (* b_2 b_2) (* a c))

series390.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
147.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
92.0ms
(sqrt (- (* b_2 b_2) (* a c)))
91.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
61.0ms
(- (* b_2 b_2) (* a c))

simplify22.7s

Counts
280 → 187
Calls
280 calls:
Slowest
487.0ms
(* (* (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)) (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a))
457.0ms
(/ (* (* (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))) (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))) (* (* a a) a))
419.0ms
(+ (* (- b_2) (- b_2)) (+ (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))
411.0ms
(- (pow (* b_2 b_2) 3) (pow (* a c) 3))
394.0ms
(* a (+ (* (- b_2) (- b_2)) (+ (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* (- b_2) (sqrt (- (* b_2 b_2) (* a c)))))))

prune1.9s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 5.1b

localize34.0ms

Local error

Found 4 expressions with local error:

21.5b
(sqrt (- (* b_2 b_2) (* a c)))
8.4b
(/ (* a c) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
3.1b
(/ (/ (* a c) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
1.4b
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)

rewrite181.0ms

Algorithm
rewrite-expression-head
Rules
71×add-sqr-sqrt
66×times-frac
56×*-un-lft-identity
42×add-cube-cbrt
22×sqrt-prod
18×add-cbrt-cube prod-diff add-exp-log
14×difference-of-squares
13×associate-/l*
10×associate-/r/
9×associate-/r*
7×cbrt-undiv flip3-- div-exp flip-- distribute-lft-out--
6×fma-neg div-inv add-log-exp
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u
2×clear-num frac-2neg sqrt-div prod-exp cbrt-unprod
1×rem-sqrt-square sub-neg sqrt-pow1 pow1/2 diff-log associate-/l/
Counts
4 → 163
Calls
4 calls:
Slowest
73.0ms
(/ (/ (* a c) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
52.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
44.0ms
(/ (* a c) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
10.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series702.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
250.0ms
(/ (* a c) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
236.0ms
(/ (/ (* a c) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
121.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
94.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify27.4s

Counts
244 → 175
Calls
244 calls:
Slowest
1.0s
(- (- (+ (log a) (log c)) (log (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (log a))
783.0ms
(expm1 (/ (/ (* a c) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a))
705.0ms
(/ (/ (* (* (* a c) (* a c)) (* a c)) (* (* (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (* (* a a) a))
599.0ms
(exp (/ (/ (* a c) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a))
567.0ms
(/ (/ (* (* (* a a) a) (* (* c c) c)) (* (* (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (* (* a a) a))

prune1.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 5.1b

localize20.0ms

Local error

Found 4 expressions with local error:

21.5b
(sqrt (- (* b_2 b_2) (* a c)))
1.4b
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
0.8b
(- (* b_2 b_2) (* a c))
0.1b
(/ c (- (sqrt (- (* b_2 b_2) (* a c))) b_2))

rewrite191.0ms

Algorithm
rewrite-expression-head
Rules
51×add-sqr-sqrt
40×*-un-lft-identity
30×add-cube-cbrt
20×sqrt-prod
19×prod-diff
18×times-frac
10×difference-of-squares
8×add-log-exp
7×fma-neg
6×associate-/r* add-cbrt-cube add-exp-log
5×pow1 distribute-lft-out--
4×expm1-log1p-u flip3-- insert-posit16 log1p-expm1-u flip--
3×associate-/l*
2×sub-neg sqrt-div diff-log associate-/r/
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 div-exp div-inv
Counts
4 → 121
Calls
4 calls:
Slowest
85.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
70.0ms
(/ c (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
17.0ms
(- (* b_2 b_2) (* a c))
16.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series606.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
283.0ms
(/ c (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
145.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
104.0ms
(sqrt (- (* b_2 b_2) (* a c)))
74.0ms
(- (* b_2 b_2) (* a c))

simplify11.0s

Counts
180 → 133
Calls
180 calls:
Slowest
539.0ms
(/ c (- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* b_2 b_2)))
457.0ms
(- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* b_2 b_2))
403.0ms
(sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
380.0ms
(- (pow (* b_2 b_2) 3) (pow (* a c) 3))
366.0ms
(/ c (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3)))

prune1.6s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 5.1b

localize34.0ms

Local error

Found 4 expressions with local error:

21.5b
(sqrt (- (* b_2 b_2) (* a c)))
21.5b
(sqrt (- (* b_2 b_2) (* a c)))
1.4b
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
1.4b
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
38×*-un-lft-identity
36×prod-diff
34×add-cube-cbrt
32×sqrt-prod
12×fma-neg
8×add-log-exp
6×pow1
4×expm1-log1p-u flip3-- add-cbrt-cube sqrt-div add-exp-log insert-posit16 log1p-expm1-u flip-- difference-of-squares
2×rem-sqrt-square sub-neg sqrt-pow1 pow1/2 diff-log distribute-lft-out--
Counts
4 → 120
Calls
4 calls:
Slowest
77.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
40.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
19.0ms
(sqrt (- (* b_2 b_2) (* a c)))
10.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series447.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
139.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
108.0ms
(sqrt (- (* b_2 b_2) (* a c)))
102.0ms
(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
97.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify12.6s

Counts
182 → 132
Calls
182 calls:
Slowest
768.0ms
(sqrt (+ (* (* b_2 b_2) (* b_2 b_2)) (+ (* (* a c) (* a c)) (* (* b_2 b_2) (* a c)))))
597.0ms
(- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* b_2 b_2))
480.0ms
(- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* b_2 b_2))
431.0ms
(- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))
407.0ms
(+ (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (+ (* b_2 b_2) (* (sqrt (- (* b_2 b_2) (* a c))) b_2)))

prune2.0s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 5.1b

regimes556.0ms

Accuracy

84.1% (3.8b remaining)

Error of 9.4b against oracle of 5.6b and baseline of 29.2b

bsearch331.0ms

end0.0ms

sample4.2s

Algorithm
intervals
Results
1.2s870×body1280valid
1.1s1032×body2560valid
787.0ms5851×body80valid
365.0ms2818×body80nan
229.0ms471×body640valid
132.0ms112×body5120valid
79.0ms228×body320valid
29.0ms120×body160valid