Details

Time bar (total: 1.6m)

sample1.3s

Algorithm
intervals
Results
988.0ms2243×body80valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5001
31745
2350
1132
063

prune38.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.8b

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

rewrite214.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)))
62.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
55.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
51.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series949.0ms

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

simplify1.0s

Counts
132 → 132
Iterations
IterNodes
done5000
11112
0343

prune3.8s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 16.8b

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

rewrite206.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:
47.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
41.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
43.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
69.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series850.0ms

Counts
4 → 12
Calls
4 calls:
242.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
212.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
201.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
195.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify1.6s

Counts
132 → 132
Iterations
IterNodes
done5000
22848
1573
0177

prune4.2s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 16.8b

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

rewrite232.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:
61.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
54.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
48.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
63.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series964.0ms

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

simplify2.3s

Counts
132 → 132
Iterations
IterNodes
done5002
24377
1850
0262

prune4.8s

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 16.8b

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

rewrite208.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:
40.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
58.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
37.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
67.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series1.1s

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

simplify1.2s

Counts
132 → 132
Iterations
IterNodes
done5000
11112
0343

prune3.9s

Pruning

18 alts after pruning (16 fresh and 2 done)

Merged error: 16.8b

regimes11.4s

Accuracy

-16.8% (9.9b remaining)

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

bsearch6.1s

Steps
ItersRangePoint
9
2.2577118064995354e+174
7.965360586685319e+179
5.178775168900365e+174
8
4.0661077114575816e+26
1.574846167738748e+30
5.476167163792748e+29
9
8.678549215035745e-142
1.1141483769185391e-135
8.418886350060509e-139
9
-1.9396657806845714e-181
-5.101662726612058e-191
-3.5957769882378634e-185

simplify184.0ms

Iterations
IterNodes
done201
2201
1198
0127

end0.0ms

sample48.0s

Algorithm
intervals
Results
40.0s72876×body80valid