Details

Time bar (total: 4.4m)

sample9.0s

Algorithm
intervals
Results
8.4s2198×body80valid

simplify7.3s

Counts
1 → 1
Iterations
IterNodes
done5009
31701
2349
1132
063

prune166.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.3b

localize1.1s

Local error

Found 4 expressions with local error:

8.9b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.6b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.6b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.1b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite484.0ms

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

series2.3s

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

simplify6.4s

Counts
132 → 132
Iterations
IterNodes
done5001
24737
11115
0343

prune9.4s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 17.3b

localize476.0ms

Local error

Found 4 expressions with local error:

8.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.9b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.6b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.6b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite721.0ms

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

series2.9s

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

simplify5.9s

Counts
132 → 132
Iterations
IterNodes
done5002
24761
11118
0342

prune15.2s

Pruning

30 alts after pruning (30 fresh and 0 done)

Merged error: 13.9b

localize1.1s

Local error

Found 4 expressions with local error:

8.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.9b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.6b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.1b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite686.0ms

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

series1.5s

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

simplify9.1s

Counts
132 → 132
Iterations
IterNodes
done5001
24740
11116
0343

prune14.6s

Pruning

30 alts after pruning (30 fresh and 0 done)

Merged error: 13.9b

localize1.2s

Local error

Found 4 expressions with local error:

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

rewrite728.0ms

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

series3.0s

Counts
4 → 12
Calls
4 calls:
652.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
695.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
887.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
720.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify5.8s

Counts
132 → 132
Iterations
IterNodes
done5006
22434
1574
0177

prune10.0s

Pruning

30 alts after pruning (30 fresh and 0 done)

Merged error: 13.9b

regimes37.1s

Accuracy

-17.7% (13.2b remaining)

Error of 28.9b against oracle of 15.7b and baseline of 26.9b

bsearch6.2s

Steps
ItersRangePoint
6
1.5060739913828157e-16
1.4056606947122156e-15
4.3174092757906957e-16
7
5.080187715765083e-286
8.162432672604808e-284
1.2138828269408116e-284
8
-4.396419776909255e-207
-8.665383553787996e-210
-1.0638438048486848e-208
8
-0.0009505128828540414
-1.3917136757443475e-06
-5.424231952818101e-05

simplify134.0ms

Iterations
IterNodes
done172
1172
0111

end0.0ms

sample1.8m

Algorithm
intervals
Results
1.6m71576×body80valid