Details

Time bar (total: 16.4s)

sample105.0ms

Algorithm
intervals
Results
22.0ms198×body80valid
22.0ms28×body1280valid
22.0ms31×body2560valid
9.0ms87×body80nan
8.0ms17×body640valid
3.0ms4×body5120valid
2.0ms6×body320valid
1.0ms4×body160valid

simplify105.0ms

Counts
1 → 1
Iterations
IterNodes
done144
6144
5140
4133
3111
265
128
014

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.2b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
19×*-un-lft-identity
10×add-log-exp
9×add-cbrt-cube add-exp-log
7×times-frac add-cube-cbrt associate-/l*
6×sqrt-prod distribute-lft-out-- difference-of-squares
5×pow1
4×flip3-- insert-posit16 flip--
3×distribute-rgt-neg-in 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 → 81
Calls
4 calls:
50.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
11.0ms
(- (* b b) (* 4 (* a c)))
15.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
7.0ms
(sqrt (- (* b b) (* 4 (* a c))))

series398.0ms

Counts
4 → 12
Calls
4 calls:
127.0ms
(/ (- (- b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
68.0ms
(- (* b b) (* 4 (* a c)))
116.0ms
(- (- b) (sqrt (- (* b b) (* 4 (* a c)))))
87.0ms
(sqrt (- (* b b) (* 4 (* a c))))

simplify1.8s

Counts
93 → 93
Iterations
IterNodes
done5000
21333
1400
0154

prune581.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 6.6b

localize40.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (+ b (sqrt (- (* b b) (* c (* a 4))))) (* a -2))
0.4b
(- (* b b) (* c (* a 4)))
1.0b
(+ b (sqrt (- (* b b) (* c (* a 4)))))
24.3b
(sqrt (- (* b b) (* c (* a 4))))

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
9×add-cbrt-cube add-exp-log
8×add-sqr-sqrt add-log-exp
7×add-cube-cbrt
5×pow1
4×times-frac insert-posit16 associate-/l*
3×sqrt-prod distribute-lft-out
2×cbrt-undiv flip3-+ flip3-- sqrt-div div-exp flip-+ flip-- associate-/l/
1×+-commutative rem-sqrt-square clear-num associate-/r* sum-log sub-neg frac-2neg sqrt-pow1 pow1/2 diff-log prod-exp cbrt-unprod div-inv
Counts
4 → 68
Calls
4 calls:
51.0ms
(/ (+ b (sqrt (- (* b b) (* c (* a 4))))) (* a -2))
12.0ms
(- (* b b) (* c (* a 4)))
13.0ms
(+ b (sqrt (- (* b b) (* c (* a 4)))))
13.0ms
(sqrt (- (* b b) (* c (* a 4))))

series421.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(/ (+ b (sqrt (- (* b b) (* c (* a 4))))) (* a -2))
65.0ms
(- (* b b) (* c (* a 4)))
119.0ms
(+ b (sqrt (- (* b b) (* c (* a 4)))))
121.0ms
(sqrt (- (* b b) (* c (* a 4))))

simplify1.4s

Counts
80 → 80
Iterations
IterNodes
done5001
21232
1359
0139

prune498.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 6.6b

localize43.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1 (/ (* a -2) (+ b (sqrt (- (* b b) (* c (* a 4)))))))
0.4b
(- (* b b) (* c (* a 4)))
1.0b
(+ b (sqrt (- (* b b) (* c (* a 4)))))
24.3b
(sqrt (- (* b b) (* c (* a 4))))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
46×times-frac
34×*-un-lft-identity
25×add-sqr-sqrt add-exp-log
24×add-cube-cbrt
13×add-cbrt-cube
12×div-exp
10×associate-/r*
9×associate-/r/
8×add-log-exp
6×pow1
5×cbrt-undiv flip3-+ flip-+ div-inv distribute-lft-out
4×insert-posit16
3×rec-exp 1-exp prod-exp sqrt-prod associate-/l*
2×flip3-- sqrt-div flip--
1×+-commutative rem-sqrt-square clear-num sum-log sub-neg frac-2neg sqrt-pow1 pow1/2 diff-log cbrt-unprod pow-flip inv-pow
Counts
4 → 111
Calls
4 calls:
35.0ms
(/ 1 (/ (* a -2) (+ b (sqrt (- (* b b) (* c (* a 4)))))))
14.0ms
(- (* b b) (* c (* a 4)))
12.0ms
(+ b (sqrt (- (* b b) (* c (* a 4)))))
11.0ms
(sqrt (- (* b b) (* c (* a 4))))

series349.0ms

Counts
4 → 12
Calls
4 calls:
125.0ms
(/ 1 (/ (* a -2) (+ b (sqrt (- (* b b) (* c (* a 4)))))))
47.0ms
(- (* b b) (* c (* a 4)))
88.0ms
(+ b (sqrt (- (* b b) (* c (* a 4)))))
89.0ms
(sqrt (- (* b b) (* c (* a 4))))

simplify1.3s

Counts
123 → 123
Iterations
IterNodes
done5002
21960
1540
0210

prune625.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 6.6b

localize54.0ms

Local error

Found 4 expressions with local error:

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

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
12×add-sqr-sqrt
10×times-frac
9×add-cbrt-cube add-exp-log add-cube-cbrt sqrt-prod
8×add-log-exp
6×associate-/l*
5×pow1
4×flip3-- sqrt-div insert-posit16 flip--
3×div-inv distribute-lft-out--
2×cbrt-undiv sub-neg diff-log div-exp associate-/l/
1×associate--l- neg-sub0 rem-sqrt-square clear-num associate-/r* distribute-rgt-neg-in frac-2neg sqrt-pow1 distribute-rgt-out-- pow1/2 div-sub prod-exp frac-sub cbrt-unprod sub-div difference-of-squares
Counts
4 → 80
Calls
4 calls:
32.0ms
(/ (sqrt (- (* b b) (* 4 (* a c)))) (* 2 a))
16.0ms
(- (* b b) (* 4 (* a c)))
50.0ms
(- (/ (- b) (* 2 a)) (/ (sqrt (- (* b b) (* 4 (* a c)))) (* 2 a)))
15.0ms
(sqrt (- (* b b) (* 4 (* a c))))

series520.0ms

Counts
4 → 12
Calls
4 calls:
197.0ms
(/ (sqrt (- (* b b) (* 4 (* a c)))) (* 2 a))
83.0ms
(- (* b b) (* 4 (* a c)))
148.0ms
(- (/ (- b) (* 2 a)) (/ (sqrt (- (* b b) (* 4 (* a c)))) (* 2 a)))
91.0ms
(sqrt (- (* b b) (* 4 (* a c))))

simplify1.4s

Counts
92 → 92
Iterations
IterNodes
done5001
21514
1413
0161

prune519.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 6.6b

regimes415.0ms

Accuracy

82.9% (4.8b remaining)

Error of 10.6b against oracle of 5.8b and baseline of 33.8b

bsearch427.0ms

Steps
ItersRangePoint
9
6.2301214455520334e+75
1.9082112581546424e+85
1.6691257204922504e+85
4
-2.3602019652593256e-123
-1.5355849018748885e-123
-2.3344326820285623e-123
9
-2.9300981025422624e-27
-1.2024011261401705e-33
-6.936587154412951e-28
8
-1.0943378505721803e-12
-1.4409381956716427e-15
-7.363255598823911e-15

simplify6.0ms

Iterations
IterNodes
done38
138
031

end0.0ms

sample5.1s

Algorithm
intervals
Results
1.1s1057×body2560valid
956.0ms5842×body80valid
719.0ms891×body1280valid
700.0ms456×body640valid
571.0ms114×body5120valid
546.0ms2845×body80nan
98.0ms228×body320valid
32.0ms117×body160valid