Details

Time bar (total: 2.1m)

sample1.8s

Algorithm
intervals
Results
1.5s2262×body80valid

simplify6.5s

Counts
1 → 1
Iterations
IterNodes
412421
31712
2349
1132
063

prune49.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.7b

localize188.0ms

Local error

Found 4 expressions with local error:

7.7b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.0b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

rewrite201.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 insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
48.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
60.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
44.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
47.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series961.0ms

Counts
4 → 12
Calls
4 calls:
250.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
231.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
239.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
241.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify1.5s

Counts
136 → 136
Iterations
IterNodes
24850
11117
0346

prune7.6s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 14.8b

localize161.0ms

Local error

Found 4 expressions with local error:

8.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.0b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

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 insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
45.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
44.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
45.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
46.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series1.2s

Counts
4 → 12
Calls
4 calls:
206.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
248.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
513.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
231.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify809.0ms

Counts
136 → 136
Iterations
IterNodes
22501
1576
0179

prune8.3s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 14.8b

localize223.0ms

Local error

Found 4 expressions with local error:

7.3b
(cbrt (- (* y0 c) (* y1 a)))
7.7b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.0b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
19×flip3-- flip--
17×add-sqr-sqrt
12×frac-times
11×*-un-lft-identity add-cube-cbrt
10×pow1 add-cbrt-cube add-exp-log
9×associate-*r* associate-*l*
6×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×insert-posit16 add-log-exp
3×cbrt-prod pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×cbrt-div
1×pow1/3
Counts
4 → 107
Calls
4 calls:
5.0ms
(cbrt (- (* y0 c) (* y1 a)))
44.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
56.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
60.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series822.0ms

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

simplify1.3s

Counts
119 → 119
Iterations
IterNodes
24135
11017
0329

prune7.3s

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 14.8b

localize214.0ms

Local error

Found 4 expressions with local error:

7.1b
(cbrt (- (* t y2) (* y y3)))
8.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.0b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

rewrite224.0ms

Algorithm
rewrite-expression-head
Rules
19×flip3-- flip--
17×add-sqr-sqrt
12×frac-times
11×*-un-lft-identity add-cube-cbrt
10×pow1 add-cbrt-cube add-exp-log
9×associate-*r* associate-*l*
6×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×insert-posit16 add-log-exp
3×cbrt-prod pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×cbrt-div
1×pow1/3
Counts
4 → 107
Calls
4 calls:
9.0ms
(cbrt (- (* t y2) (* y y3)))
64.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
77.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
72.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series779.0ms

Counts
4 → 12
Calls
4 calls:
120.0ms
(cbrt (- (* t y2) (* y y3)))
235.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
191.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
233.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify1.1s

Counts
119 → 119
Iterations
IterNodes
24050
11013
0328

prune7.3s

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 14.6b

regimes11.4s

Accuracy

-29.9% (11.3b remaining)

Error of 28.6b against oracle of 17.4b and baseline of 26.0b

bsearch4.9s

Steps
ItersRangePoint
0
2.3899742855031924e-60
2.461414130179796e-60
2.425694207841494e-60
6
2.537322230012154e-109
3.3884145381276074e-108
3.3378824399859848e-108
9
-1.3200229552302915e-275
-1.369285538567358e-283
-2.5398560045115965e-283
9
-4.654718110139577e-219
-9.896435750170082e-227
-5.352512555925856e-226
7
-1.5887607215613114e-67
-5.517664304697723e-69
-1.2392061038984322e-67

simplify117.0ms

Iterations
IterNodes
2221
1221
0141

end0.0ms

sample1.0m

Algorithm
intervals
Results
51.5s71993×body80valid