Details

Time bar (total: 21.6s)

sample112.0ms

Algorithm
intervals
Results
28.0ms32×body1280valid
22.0ms186×body80valid
18.0ms29×body2560valid
10.0ms22×body640valid
9.0ms96×body80nan
3.0ms3×body5120valid
3.0ms7×body320valid
1.0ms4×body160valid

simplify262.0ms

Counts
1 → 1

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 33.8b

localize31.0ms

Local error

Found 4 expressions with local error:

21.5b
(sqrt (- (* b b) (* 4 (* a c))))
1.0b
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
1.0b
(- (* b b) (* 4 (* a c)))
0.1b
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
61×add-sqr-sqrt prod-diff
60×*-un-lft-identity
48×add-cube-cbrt
36×sqrt-prod
24×distribute-rgt-neg-in
21×distribute-lft-neg-in
11×fma-neg
10×add-log-exp
9×add-cbrt-cube add-exp-log
7×neg-mul-1 times-frac associate-/l*
6×distribute-lft-out-- difference-of-squares
5×pow1
4×expm1-log1p-u flip3-- insert-posit16 log1p-expm1-u flip--
3×diff-log
2×cbrt-undiv sub-neg sqrt-div div-exp associate-/l/
1×associate--l- neg-sub0 rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 div-sub neg-log prod-exp cbrt-unprod div-inv
Counts
4 → 161
Calls
4 calls:
Slowest
85.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
38.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
20.0ms
(sqrt (- (* b b) (* 4 (* a c))))
18.0ms
(- (* b b) (* 4 (* a c)))

series391.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
122.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
112.0ms
(sqrt (- (* b b) (* 4 (* a c))))
104.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
53.0ms
(- (* b b) (* 4 (* a c)))

simplify753.0ms

Counts
173 → 173

prune2.2s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 5.7b

localize26.0ms

Local error

Found 4 expressions with local error:

21.5b
(sqrt (- (* b b) (* 4 (* a c))))
1.0b
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
1.0b
(- (* b b) (* 4 (* a c)))
0.2b
(* (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (/ 1/2 a))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
68×add-sqr-sqrt
62×*-un-lft-identity
61×prod-diff
54×add-cube-cbrt
35×sqrt-prod
23×distribute-rgt-neg-in
21×distribute-lft-neg-in
13×associate-*r*
11×fma-neg
10×times-frac add-log-exp
9×add-cbrt-cube add-exp-log
7×pow1 neg-mul-1 associate-*l*
5×flip3-- flip--
4×expm1-log1p-u insert-posit16 log1p-expm1-u distribute-lft-out-- difference-of-squares
3×diff-log
2×frac-times sub-neg sqrt-div associate-*l/ prod-exp cbrt-unprod unswap-sqr
1×associate--l- neg-sub0 cbrt-undiv rem-sqrt-square sqrt-pow1 pow1/2 div-exp pow-prod-down neg-log associate-*r/ *-commutative div-inv
Counts
4 → 169
Calls
4 calls:
Slowest
101.0ms
(* (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (/ 1/2 a))
29.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
15.0ms
(- (* b b) (* 4 (* a c)))
14.0ms
(sqrt (- (* b b) (* 4 (* a c))))

series333.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
104.0ms
(* (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (/ 1/2 a))
95.0ms
(sqrt (- (* b b) (* 4 (* a c))))
87.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
47.0ms
(- (* b b) (* 4 (* a c)))

simplify790.0ms

Counts
181 → 181

prune2.1s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 5.7b

localize26.0ms

Local error

Found 4 expressions with local error:

21.5b
(sqrt (fma b b (* (* a c) -4)))
1.3b
(fma b b (* (* a c) -4))
1.0b
(- (- b) (sqrt (fma b b (* (* a c) -4))))
0.1b
(/ (* (- (- b) (sqrt (fma b b (* (* a c) -4)))) 1/2) a)

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
60×prod-diff
53×add-sqr-sqrt
52×*-un-lft-identity
48×add-cube-cbrt
34×sqrt-prod
22×distribute-rgt-neg-in
21×distribute-lft-neg-in
10×fma-neg
9×add-cbrt-cube add-exp-log
8×add-log-exp
7×neg-mul-1
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-/r* times-frac
2×cbrt-undiv flip3-- diff-log div-exp associate-*l/ flip-- distribute-lft-out-- difference-of-squares associate-/l/
1×associate--l- neg-sub0 rem-sqrt-square clear-num sub-neg frac-2neg sqrt-pow1 pow1/2 neg-log prod-exp cbrt-unprod fma-udef div-inv associate-/l*
Counts
4 → 144
Calls
4 calls:
Slowest
22.0ms
(/ (* (- (- b) (sqrt (fma b b (* (* a c) -4)))) 1/2) a)
10.0ms
(- (- b) (sqrt (fma b b (* (* a c) -4))))
1.0ms
(sqrt (fma b b (* (* a c) -4)))
0.0ms
(fma b b (* (* a c) -4))

series431.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
149.0ms
(/ (* (- (- b) (sqrt (fma b b (* (* a c) -4)))) 1/2) a)
134.0ms
(- (- b) (sqrt (fma b b (* (* a c) -4))))
86.0ms
(sqrt (fma b b (* (* a c) -4)))
62.0ms
(fma b b (* (* a c) -4))

simplify2.2s

Counts
156 → 156

prune1.9s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 5.7b

localize25.0ms

Local error

Found 4 expressions with local error:

21.5b
(sqrt (fma b b (* (* a c) -4)))
1.3b
(fma b b (* (* a c) -4))
1.0b
(- (- b) (sqrt (fma b b (* (* a c) -4))))
0.2b
(/ 1 (/ (* a 2) (- (- b) (sqrt (fma b b (* (* a c) -4))))))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
89×add-sqr-sqrt
88×*-un-lft-identity
68×add-cube-cbrt
67×times-frac
60×prod-diff
38×sqrt-prod
26×distribute-rgt-neg-in
25×add-exp-log
21×distribute-lft-neg-in
13×associate-/r* add-cbrt-cube
12×div-exp
10×fma-neg distribute-lft-out-- difference-of-squares
9×associate-/r/
8×add-log-exp
7×neg-mul-1
6×pow1
5×cbrt-undiv flip3-- div-inv flip--
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×rec-exp 1-exp prod-exp associate-/l*
2×diff-log
1×associate--l- neg-sub0 rem-sqrt-square clear-num sub-neg frac-2neg sqrt-pow1 pow1/2 neg-log cbrt-unprod fma-udef pow-flip inv-pow
Counts
4 → 201
Calls
4 calls:
Slowest
18.0ms
(/ 1 (/ (* a 2) (- (- b) (sqrt (fma b b (* (* a c) -4))))))
17.0ms
(- (- b) (sqrt (fma b b (* (* a c) -4))))
1.0ms
(sqrt (fma b b (* (* a c) -4)))
0.0ms
(fma b b (* (* a c) -4))

series483.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
157.0ms
(- (- b) (sqrt (fma b b (* (* a c) -4))))
126.0ms
(/ 1 (/ (* a 2) (- (- b) (sqrt (fma b b (* (* a c) -4))))))
117.0ms
(sqrt (fma b b (* (* a c) -4)))
83.0ms
(fma b b (* (* a c) -4))

simplify901.0ms

Counts
213 → 213

prune2.5s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 5.6b

regimes295.0ms

Accuracy

84.1% (4.4b remaining)

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

bsearch246.0ms

end0.0ms

sample5.1s

Algorithm
intervals
Results
1.4s5855×body80valid
1.0s1060×body2560valid
844.0ms899×body1280valid
734.0ms455×body640valid
498.0ms2935×body80nan
162.0ms127×body5120valid
99.0ms239×body320valid
30.0ms115×body160valid