Details

Time bar (total: 1.7m)

sample1.3s

Algorithm
intervals
Results
1.0s2243×body80valid

simplify2.0s

Counts
1 → 1
Iterations
IterNodes
done5001
31712
2349
1132
063

prune29.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.8b

localize202.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)))

rewrite174.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:
49.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
39.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
35.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
46.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series903.0ms

Counts
4 → 12
Calls
4 calls:
232.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
240.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
196.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
234.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify2.4s

Counts
132 → 132
Iterations
IterNodes
done5001
24842
11112
0343

prune3.7s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 16.5b

localize240.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)))

rewrite177.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:
37.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
36.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
48.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
52.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series959.0ms

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

simplify1.7s

Counts
132 → 132
Iterations
IterNodes
done5010
22433
1573
0177

prune4.3s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 16.5b

localize269.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)))

rewrite177.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:
43.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
39.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
45.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
43.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series999.0ms

Counts
4 → 12
Calls
4 calls:
226.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
244.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
291.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
237.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify2.7s

Counts
132 → 132
Iterations
IterNodes
done5001
23700
1850
0262

prune4.8s

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 16.5b

localize258.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)))

rewrite181.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:
42.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
53.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
46.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
37.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series1.1s

Counts
4 → 12
Calls
4 calls:
283.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
315.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
243.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
255.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify2.7s

Counts
132 → 132
Iterations
IterNodes
done5001
24842
11112
0343

prune3.9s

Pruning

18 alts after pruning (16 fresh and 2 done)

Merged error: 16.5b

regimes11.4s

Accuracy

-33% (11.2b remaining)

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

bsearch6.1s

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

simplify123.0ms

Iterations
IterNodes
done191
1191
0124

end0.0ms

sample47.9s

Algorithm
intervals
Results
39.5s72876×body80valid