Details

Time bar (total: 16.4s)

sample140.0ms

Algorithm
intervals
Results
89.0ms278×body80valid
22.0ms97×body80nan

simplify224.0ms

Counts
1 → 1
Iterations
IterNodes
done152
7152
6151
5144
4132
3101
262
135
020

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.7b

localize197.0ms

Local error

Found 4 expressions with local error:

0.7b
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
1.1b
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
22.2b
(sqrt (- (* b b) (* (* 4 a) c)))
22.2b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
14×*-un-lft-identity
12×add-sqr-sqrt add-log-exp
7×sqrt-prod
6×pow1 add-cube-cbrt
4×add-cbrt-cube sqrt-div add-exp-log insert-posit16
3×flip3-- flip--
2×neg-sub0 rem-sqrt-square sum-log distribute-rgt-neg-in sqrt-pow1 pow1/2 diff-log neg-log distribute-lft-out distribute-lft-out-- difference-of-squares
1×associate--l- +-commutative sub-neg flip3-+ associate-+l- flip-+
Counts
4 → 67
Calls
4 calls:
29.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
27.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
15.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
17.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series884.0ms

Counts
4 → 12
Calls
4 calls:
102.0ms
(- (- b) (sqrt (- (* b b) (* (* 4 a) c))))
111.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
132.0ms
(sqrt (- (* b b) (* (* 4 a) c)))
539.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

simplify1.3s

Counts
79 → 79
Iterations
IterNodes
done2028
32028
2773
1250
0102

prune624.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 3.9b

localize137.0ms

Local error

Found 4 expressions with local error:

1.1b
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
3.6b
(/ (* 2 c) (- (- b) (- b (/ (* 2 a) (/ b c)))))
4.6b
(/ (* 2 a) (/ b c))
22.2b
(sqrt (- (* b b) (* (* 4 a) c)))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
45×*-un-lft-identity
39×times-frac
26×add-sqr-sqrt
21×associate-/r* add-cbrt-cube add-exp-log add-cube-cbrt
12×distribute-lft-out--
8×cbrt-undiv div-exp add-log-exp
5×pow1 distribute-rgt-neg-in
4×insert-posit16 div-inv
3×prod-exp associate-/r/ sqrt-prod cbrt-unprod
2×clear-num sum-log frac-2neg flip3-- sqrt-div flip-- distribute-lft-out associate-/l* difference-of-squares
1×neg-sub0 +-commutative rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 neg-log associate-+l- flip-+
Counts
4 → 113
Calls
4 calls:
13.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4 a) c))))
80.0ms
(/ (* 2 c) (- (- b) (- b (/ (* 2 a) (/ b c)))))
21.0ms
(/ (* 2 a) (/ b c))
15.0ms
(sqrt (- (* b b) (* (* 4 a) c)))

series526.0ms

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

simplify1.1s

Counts
125 → 125
Iterations
IterNodes
done2000
22000
1659
0247

prune906.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.9b

localize146.0ms

Local error

Found 4 expressions with local error:

2.7b
(/ (+ (- b) (- (* 2 (/ a (/ b c))) b)) (* 2 a))
3.6b
(/ (* 2 c) (- (- b) (- b (/ (* 2 a) (/ b c)))))
4.6b
(/ a (/ b c))
4.6b
(/ (* 2 a) (/ b c))

rewrite194.0ms

Algorithm
rewrite-expression-head
Rules
119×times-frac
92×*-un-lft-identity
68×add-sqr-sqrt
64×add-cube-cbrt
35×associate-/r*
31×add-cbrt-cube add-exp-log
13×cbrt-undiv div-exp
12×distribute-lft-out--
10×div-inv associate-/l*
6×distribute-rgt-neg-in
4×pow1 clear-num frac-2neg prod-exp associate-/r/ cbrt-unprod insert-posit16 distribute-lft-out add-log-exp
2×div-sub difference-of-squares associate-/l/
1×neg-sub0 associate-+r- flip3-+ flip3-- associate-+l- flip-+ flip--
Counts
4 → 182
Calls
4 calls:
125.0ms
(/ (+ (- b) (- (* 2 (/ a (/ b c))) b)) (* 2 a))
47.0ms
(/ (* 2 c) (- (- b) (- b (/ (* 2 a) (/ b c)))))
6.0ms
(/ a (/ b c))
10.0ms
(/ (* 2 a) (/ b c))

series410.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(/ (+ (- b) (- (* 2 (/ a (/ b c))) b)) (* 2 a))
250.0ms
(/ (* 2 c) (- (- b) (- b (/ (* 2 a) (/ b c)))))
45.0ms
(/ a (/ b c))
53.0ms
(/ (* 2 a) (/ b c))

simplify1.2s

Counts
194 → 194
Iterations
IterNodes
done2000
22000
1877
0315

prune1.3s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 3.9b

localize140.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- b) (- b (/ (* 2 a) (/ b c))))
0.0b
(- (/ c b) (/ b a))
3.6b
(/ (* 2 c) (- (- b) (- b (/ (* 2 a) (/ b c)))))
4.6b
(/ (* 2 a) (/ b c))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
56×*-un-lft-identity
45×times-frac
38×add-sqr-sqrt
21×associate-/r* add-cbrt-cube add-exp-log
20×add-cube-cbrt distribute-lft-out--
16×add-log-exp
8×cbrt-undiv div-exp
7×diff-log difference-of-squares
6×distribute-rgt-neg-in
4×pow1 insert-posit16 div-inv
3×sub-neg flip3-- prod-exp associate-/r/ cbrt-unprod flip--
2×clear-num frac-2neg neg-log associate-/l* associate--r+
1×associate--l- neg-sub0 frac-sub associate--r-
Counts
4 → 126
Calls
4 calls:
29.0ms
(- (- b) (- b (/ (* 2 a) (/ b c))))
11.0ms
(- (/ c b) (/ b a))
48.0ms
(/ (* 2 c) (- (- b) (- b (/ (* 2 a) (/ b c)))))
17.0ms
(/ (* 2 a) (/ b c))

series399.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(- (- b) (- b (/ (* 2 a) (/ b c))))
44.0ms
(- (/ c b) (/ b a))
225.0ms
(/ (* 2 c) (- (- b) (- b (/ (* 2 a) (/ b c)))))
53.0ms
(/ (* 2 a) (/ b c))

simplify1.1s

Counts
138 → 138
Iterations
IterNodes
done2000
32000
21870
1606
0237

prune740.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 3.9b

regimes552.0ms

Accuracy

94.3% (1.0b remaining)

Error of 6.7b against oracle of 5.7b and baseline of 23.6b

bsearch238.0ms

Steps
ItersRangePoint
7
6.52945691119865e+99
1.3360629297740576e+102
2.960333965284851e+101
5
-3.3440263710910746e+131
-9.921521910190385e+130
-1.7512236628315378e+131

simplify27.0ms

Iterations
IterNodes
done55
155
047

end0.0ms

sample3.5s

Algorithm
intervals
Results
2.5s8761×body80valid
600.0ms2940×body80nan