Details

Time bar (total: 1.8m)

sample1.4s

Algorithm
intervals
Results
928.0ms2243×body80valid

simplify2.3s

Counts
1 → 1
Iterations
IterNodes
done5001
31712
2349
1132
063

prune25.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.8b

localize451.0ms

Local error

Found 4 expressions with local error:

9.2b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.3b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.4b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite219.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
74.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
48.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
41.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
50.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series1.0s

Counts
4 → 12
Calls
4 calls:
295.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
216.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
280.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
235.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify2.6s

Counts
132 → 132
Iterations
IterNodes
done5001
24842
11112
0343

prune4.2s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 16.5b

localize248.0ms

Local error

Found 4 expressions with local error:

9.4b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite209.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
73.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
51.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
42.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
37.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series1.1s

Counts
4 → 12
Calls
4 calls:
252.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
272.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
291.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
258.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify1.8s

Counts
132 → 132
Iterations
IterNodes
done5010
22433
1573
0177

prune4.4s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 16.5b

localize378.0ms

Local error

Found 4 expressions with local error:

9.3b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.4b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite260.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
65.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
48.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
71.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
71.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series1.1s

Counts
4 → 12
Calls
4 calls:
296.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
245.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
275.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
264.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify2.4s

Counts
132 → 132
Iterations
IterNodes
done5001
23700
1850
0262

prune5.2s

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 16.5b

localize282.0ms

Local error

Found 4 expressions with local error:

9.2b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.3b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.4b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite191.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
36.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
54.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
50.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
47.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series1.1s

Counts
4 → 12
Calls
4 calls:
277.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
258.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
268.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
253.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify2.8s

Counts
132 → 132
Iterations
IterNodes
done5001
24842
11112
0343

prune4.1s

Pruning

18 alts after pruning (16 fresh and 2 done)

Merged error: 16.5b

regimes12.1s

Accuracy

-33% (11.2b remaining)

Error of 29.9b against oracle of 18.7b and baseline of 27.1b

bsearch6.8s

Steps
ItersRangePoint
6
3.8474789271778853e+217
3.801375283132624e+218
4.364516569456702e+217
8
1.3381920070913223e+163
7.076436049531917e+165
4.23114887791822e+163
7
2.592469869908836e-126
8.148289032124427e-125
3.319955438300564e-126
8
-1.8083492225975145e-193
-4.6103318628646784e-197
-1.5785888310534387e-193
8
-1.1839801994459806e-07
-2.7811312245286588e-11
-1.3097588910522805e-09

simplify189.0ms

Iterations
IterNodes
done191
1191
0124

end0.0ms

sample51.6s

Algorithm
intervals
Results
37.9s72876×body80valid