Details

Time bar (total: 1.4m)

sample1.9s

Algorithm
intervals
Results
1.4s2241×body80valid

simplify914.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06395
113295
235095
3174595
done500195

prune37.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.1b

localize187.0ms

Local error

Found 4 expressions with local error:

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

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

series1.1s

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

simplify493.0ms

Counts
132 → 132
Iterations

Useful iterations: done (486.0ms)

IterNodesCost
03413300
111113224
done50002992

prune3.8s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 17.6b

localize161.0ms

Local error

Found 4 expressions with local error:

9.9b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.9b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.9b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.7b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite257.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:
70.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
37.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
72.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
73.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series1.1s

Counts
4 → 12
Calls
4 calls:
251.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
289.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
315.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
286.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify1.3s

Counts
132 → 132
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01753300
15713224
229612992
done50002984

prune4.8s

Pruning

24 alts after pruning (23 fresh and 1 done)

Merged error: 17.6b

localize224.0ms

Local error

Found 4 expressions with local error:

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

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

series1.1s

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

simplify1.9s

Counts
132 → 132
Iterations

Useful iterations: done (1.9s)

IterNodesCost
02603300
18503224
243852990
done50042984

prune4.7s

Pruning

24 alts after pruning (22 fresh and 2 done)

Merged error: 17.6b

localize225.0ms

Local error

Found 4 expressions with local error:

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

rewrite252.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:
71.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
70.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
54.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
50.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series1.1s

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

simplify444.0ms

Counts
132 → 132
Iterations

Useful iterations: done (436.0ms)

IterNodesCost
03413300
111113224
done50002992

prune3.4s

Pruning

24 alts after pruning (21 fresh and 3 done)

Merged error: 17.6b

regimes14.5s

Accuracy

-26.8% (10.3b remaining)

Error of 29.3b against oracle of 19.0b and baseline of 27.1b

bsearch7.2s

Steps
ItersRangePoint
10
1.8322693444990225e+59
7.703490849657669e+74
8.131622517370712e+64
7
4.2223813366103236e+44
9.823408581927138e+46
5.114121475924895e+46
5
4340615295441281.5
13139412495339698.0
7517723498783576.0
7
6.23354422227514e-30
1.5047031764090153e-28
1.950129271030429e-29
8
1.9486311136595757e-190
2.1447142068376088e-187
7.603011121140156e-189
9
-1.6323050502896486e-66
-3.166769857891314e-75
-5.50986449608547e-68

simplify27.0ms

Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0129701
1199698
2208698
done208698

end0.0ms

sample34.8s

Algorithm
intervals
Results
26.4s70634×body80valid