Details

Time bar (total: 17.0s)

sample122.0ms

Algorithm
intervals
Results
52.0ms628×body80valid

simplify3.8s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02329
14329
29629
324829
462529
5157929
6373729
done500129

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 14.2b

Counts
2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* c z) (* i a))
3.3b
(* x (- (* y z) (* t a)))
5.8b
(* j (- (* c t) (* i y)))
8.3b
(* b (- (* c z) (* i a)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
9×associate-*r* associate-*l*
7×sub-neg
6×distribute-rgt-in distribute-lft-in associate-*r/ add-log-exp
4×flip3-- flip--
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×diff-log
Counts
4 → 84
Calls
4 calls:
4.0ms
(- (* c z) (* i a))
7.0ms
(* x (- (* y z) (* t a)))
6.0ms
(* j (- (* c t) (* i y)))
7.0ms
(* b (- (* c z) (* i a)))

series76.0ms

Counts
4 → 12
Calls
4 calls:
11.0ms
(- (* c z) (* i a))
21.0ms
(* x (- (* y z) (* t a)))
21.0ms
(* j (- (* c t) (* i y)))
23.0ms
(* b (- (* c z) (* i a)))

simplify1.5s

Counts
96 → 96
Iterations

Useful iterations: 2 (135.0ms)

IterNodesCost
01671155
14221141
211771007
339201007
done50001007

prune234.0ms

Filtered
65 candidates to 96 candidates (-47.7%)
Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New781896
Fresh000
Picked101
Done000
Total791897

Merged error: 6.4b

Counts
97 → 18

localize23.0ms

Local error

Found 4 expressions with local error:

3.3b
(* x (- (* y z) (* t a)))
4.0b
(* z (* b c))
5.8b
(* j (- (* c t) (* i y)))
8.8b
(* b (neg (* i a)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
15×pow1 add-exp-log add-cbrt-cube
13×associate-*r*
12×associate-*l*
11×add-cube-cbrt *-un-lft-identity
6×pow-prod-down prod-exp cbrt-unprod
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
3×unswap-sqr
2×flip3-- flip--
1×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in distribute-rgt-neg-out
Counts
4 → 88
Calls
4 calls:
7.0ms
(* x (- (* y z) (* t a)))
5.0ms
(* z (* b c))
6.0ms
(* j (- (* c t) (* i y)))
7.0ms
(* b (neg (* i a)))

series54.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* x (- (* y z) (* t a)))
6.0ms
(* z (* b c))
20.0ms
(* j (- (* c t) (* i y)))
7.0ms
(* b (neg (* i a)))

simplify850.0ms

Counts
100 → 100
Iterations

Useful iterations: 2 (147.0ms)

IterNodesCost
01751001
1443983
21391852
done5001852

prune195.0ms

Filtered
68 candidates to 100 candidates (-47.1%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New946100
Fresh71017
Picked101
Done000
Total10216118

Merged error: 2.3b

Counts
118 → 16

localize24.0ms

Local error

Found 4 expressions with local error:

3.3b
(* x (- (* y z) (* t a)))
4.0b
(* z (* b c))
4.8b
(* a (* i b))
5.8b
(* j (- (* c t) (* i y)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
14×add-sqr-sqrt
12×associate-*l*
10×add-cube-cbrt *-un-lft-identity
8×associate-*r* pow-prod-down prod-exp cbrt-unprod
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
2×flip3-- flip-- unswap-sqr
Counts
4 → 84
Calls
4 calls:
6.0ms
(* x (- (* y z) (* t a)))
6.0ms
(* z (* b c))
6.0ms
(* a (* i b))
6.0ms
(* j (- (* c t) (* i y)))

series57.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* x (- (* y z) (* t a)))
9.0ms
(* z (* b c))
6.0ms
(* a (* i b))
20.0ms
(* j (- (* c t) (* i y)))

simplify2.0s

Counts
96 → 96
Iterations

Useful iterations: 2 (135.0ms)

IterNodesCost
0169958
1436946
21300806
34485806
done5000806

prune196.0ms

Filtered
60 candidates to 96 candidates (-60.0%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New88896
Fresh6915
Picked101
Done000
Total9517112

Merged error: 1.7b

Counts
112 → 17

localize28.0ms

Local error

Found 4 expressions with local error:

4.2b
(* x (* y z))
4.8b
(* a (* i b))
5.3b
(* a (* x t))
5.8b
(* j (- (* c t) (* i y)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
21×pow1 add-exp-log add-cbrt-cube
12×associate-*l*
11×add-sqr-sqrt
10×pow-prod-down prod-exp cbrt-unprod
9×add-cube-cbrt *-un-lft-identity
6×associate-*r*
4×*-commutative add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- flip-- unswap-sqr
Counts
4 → 78
Calls
4 calls:
5.0ms
(* x (* y z))
6.0ms
(* a (* i b))
5.0ms
(* a (* x t))
7.0ms
(* j (- (* c t) (* i y)))

series39.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(* x (* y z))
7.0ms
(* a (* i b))
6.0ms
(* a (* x t))
20.0ms
(* j (- (* c t) (* i y)))

simplify2.0s

Counts
90 → 90
Iterations

Useful iterations: 2 (131.0ms)

IterNodesCost
0152779
1388767
21240637
34167637
done5000637

prune88.0ms

Filtered
61 candidates to 90 candidates (-47.5%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New88290
Fresh41216
Picked101
Done000
Total9314107

Merged error: 0.8b

Counts
107 → 14

regimes1.7s

Accuracy

15.2% (9.7b remaining)

Error of 10.7b against oracle of 0.9b and baseline of 12.4b

bsearch321.0ms

Steps
ItersRangePoint
8
1.0092149668983135e+155
2.61256330023132e+157
3.6112742411925625e+155
8
2.1407444069325483e+61
7.905162140143293e+63
2.2959482766466283e+62
10
1.4594129053985444e-74
1.5444620629101303e-59
1.5794462607572958e-66
8
-7.202075511444411e+21
-1.6523783117161104e+17
-1.695064213275205e+20

simplify17.0ms

Iterations

Useful iterations: 1 (7.0ms)

IterNodesCost
062182
1111151
2139151
done139151

end0.0ms

sample3.6s

Algorithm
intervals
Results
1.7s19364×body80valid

Profiling

Loading profile data...