Details

Time bar (total: 19.2s)

sample160.0ms

Algorithm
intervals
Results
77.0ms626×body80valid

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02329
14329
29629
329029
496929
done500029

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.3b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i))))
5.4b
(* j (- (* c a) (* y i)))
5.4b
(* b (- (* c z) (* t i)))
5.5b
(* x (- (* y z) (* t a)))

rewrite198.0ms

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

series669.0ms

Counts
4 → 12
Calls
4 calls:
342.0ms
(- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i))))
103.0ms
(* j (- (* c a) (* y i)))
111.0ms
(* b (- (* c z) (* t i)))
113.0ms
(* x (- (* y z) (* t a)))

simplify1.9s

Counts
108 → 108
Iterations

Useful iterations: done (1.9s)

IterNodesCost
02041903
16251815
226621695
done50001693

prune700.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 3.3b

localize45.0ms

Local error

Found 4 expressions with local error:

4.4b
(* a (* j c))
4.5b
(* j (- (* y i)))
5.4b
(* b (- (* c z) (* t i)))
5.5b
(* x (- (* y z) (* t a)))

rewrite163.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:
18.0ms
(* a (* j c))
24.0ms
(* j (- (* y i)))
61.0ms
(* b (- (* c z) (* t i)))
57.0ms
(* x (- (* y z) (* t a)))

series281.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(* a (* j c))
36.0ms
(* j (- (* y i)))
98.0ms
(* b (- (* c z) (* t i)))
105.0ms
(* x (- (* y z) (* t a)))

simplify1.1s

Counts
100 → 100
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01741001
1473983
21862862
done5000852

prune592.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 1.8b

localize60.0ms

Local error

Found 4 expressions with local error:

3.9b
(* i (* j y))
4.4b
(* a (* j c))
5.4b
(* b (- (* c z) (* t i)))
5.5b
(* x (- (* y z) (* t a)))

rewrite156.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:
32.0ms
(* i (* j y))
18.0ms
(* a (* j c))
46.0ms
(* b (- (* c z) (* t i)))
55.0ms
(* x (- (* y z) (* t a)))

series299.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* i (* j y))
44.0ms
(* a (* j c))
111.0ms
(* b (- (* c z) (* t i)))
110.0ms
(* x (- (* y z) (* t a)))

simplify1.1s

Counts
96 → 96
Iterations

Useful iterations: done (1.1s)

IterNodesCost
0171958
1458946
21766810
done5001806

prune549.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 1.0b

localize52.0ms

Local error

Found 4 expressions with local error:

4.4b
(* a (* j c))
4.5b
(* x (* y z))
4.8b
(* a (* x t))
5.4b
(* b (- (* c z) (* t i)))

rewrite125.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:
20.0ms
(* a (* j c))
19.0ms
(* x (* y z))
22.0ms
(* a (* x t))
61.0ms
(* b (- (* c z) (* t i)))

series216.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(* a (* j c))
39.0ms
(* x (* y z))
43.0ms
(* a (* x t))
92.0ms
(* b (- (* c z) (* t i)))

simplify1.1s

Counts
90 → 90
Iterations

Useful iterations: done (1.1s)

IterNodesCost
0152779
1402767
21594639
done5000637

prune467.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.0b

regimes1.3s

Accuracy

12.3% (10.8b remaining)

Error of 11.4b against oracle of 0.6b and baseline of 12.9b

bsearch1.1s

Steps
ItersRangePoint
8
1.9044043327274427
3173.4197200619155
79.85626140011546
9
1.338862153468201e-209
6.8039463463478025e-202
5.886583142604684e-202
7
-2.0260514474787862e-289
-1.2008053121869478e-290
-6.628575237567785e-290
9
-1.898541846171419e-272
-1.6441668794264933e-279
-1.8647218723984152e-272
9
-2.3113632157389365e-212
-1.894792034729766e-217
-4.689883489295012e-216
9
-8.452456607323476e+67
-3.2280779646366277e+58
-9.965934507395226e+65

simplify29.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
077266
1126266
2148266
done148266

end0.0ms

sample5.4s

Algorithm
intervals
Results
3.3s19060×body80valid