Details

sample520.0ms

Algorithm

intervals

Results

433.0ms

682×

body

valid

simplify14.1s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
5	1908
4	712
3	290
2	96
1	43
0	23

prune51.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.3b

localize136.0ms

Local error

Found 4 expressions with local error:

0.8b	(- (* y z) (* t a))
3.9b	(* b (- (* c z) (* i a)))
5.6b	(* j (- (* c t) (* i y)))
7.8b	(* x (- (* y z) (* t a)))

rewrite217.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:

16.0ms	(- (* y z) (* t a))
71.0ms	(* b (- (* c z) (* i a)))
62.0ms	(* j (- (* c t) (* i y)))
64.0ms	(* x (- (* y z) (* t a)))

series556.0ms

Counts

4 → 12

Calls

4 calls:

143.0ms	(- (* y z) (* t a))
142.0ms	(* b (- (* c z) (* i a)))
137.0ms	(* j (- (* c t) (* i y)))
134.0ms	(* x (- (* y z) (* t a)))

simplify4.0s

Counts

96 → 96

Iterations

Iter	Nodes
done	5000
2	1411
1	456
0	166

prune1.8s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 8.5b

localize174.0ms

Local error

Found 4 expressions with local error:

3.9b	(* b (* c z))
4.3b	(* b (- (* i a)))
5.6b	(* j (- (* c t) (* i y)))
7.8b	(* x (- (* y z) (* t a)))

rewrite201.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:

33.0ms	(* b (* c z))
26.0ms	(* b (- (* i a)))
81.0ms	(* j (- (* c t) (* i y)))
55.0ms	(* x (- (* y z) (* t a)))

series818.0ms

Counts

4 → 12

Calls

4 calls:

495.0ms	(* b (* c z))
53.0ms	(* b (- (* i a)))
133.0ms	(* j (- (* c t) (* i y)))
136.0ms	(* x (- (* y z) (* t a)))

simplify3.7s

Counts

100 → 100

Iterations

Iter	Nodes
done	5002
2	1543
1	471
0	174

prune2.7s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 6.5b

localize605.0ms

Local error

Found 4 expressions with local error:

4.3b	(* b (- (* i a)))
5.1b	(* (* b c) z)
5.6b	(* j (- (* c t) (* i y)))
7.8b	(* x (- (* y z) (* t a)))

rewrite183.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
15×	`pow1` `add-exp-log` `associate-r` `add-cbrt-cube`
11×	`add-cube-cbrt` `*-un-lft-identity`
10×	`associate-l`
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:

24.0ms	(* b (- (* i a)))
36.0ms	(* (* b c) z)
62.0ms	(* j (- (* c t) (* i y)))
56.0ms	(* x (- (* y z) (* t a)))

series534.0ms

Counts

4 → 12

Calls

4 calls:

93.0ms	(* b (- (* i a)))
48.0ms	(* (* b c) z)
183.0ms	(* j (- (* c t) (* i y)))
208.0ms	(* x (- (* y z) (* t a)))

simplify4.0s

Counts

100 → 100

Iterations

Iter	Nodes
done	5000
2	1661
1	487
0	178

prune2.3s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 6.0b

localize193.0ms

Local error

Found 4 expressions with local error:

3.9b	(* (* b (- i)) a)
5.1b	(* (* b c) z)
5.6b	(* j (- (* c t) (* i y)))
7.8b	(* x (- (* y z) (* t a)))

rewrite279.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-exp-log` `add-cbrt-cube`
14×	`add-sqr-sqrt`
12×	`associate-r`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-l` `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`
1×	`distribute-lft-neg-out` `distribute-rgt-neg-out`

Counts

4 → 85

Calls

4 calls:

47.0ms	(* (* b (- i)) a)
43.0ms	(* (* b c) z)
109.0ms	(* j (- (* c t) (* i y)))
71.0ms	(* x (- (* y z) (* t a)))

series931.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(* (* b (- i)) a)
87.0ms	(* (* b c) z)
539.0ms	(* j (- (* c t) (* i y)))
248.0ms	(* x (- (* y z) (* t a)))

simplify4.5s

Counts

97 → 97

Iterations

Iter	Nodes
done	5000
2	1662
1	506
0	181

prune1.6s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 4.6b

regimes6.7s

Accuracy

-1.6% (8.1b remaining)

Error of 12.8b against oracle of 4.6b and baseline of 12.6b

bsearch688.0ms

Steps

Iters	Range		Point
8	5.1759475055821886e-148	2.9899443689883986e-145	4.242720942252086e-147
5	-1.1184431027472058e-107	-4.439039244497789e-108	-4.510282121704739e-108

simplify5.6s

Iterations

Iter	Nodes
done	5000
40	4880
39	4746
38	4604
37	4470
36	4328
35	4194
34	4052
33	3918
32	3776
31	3642
30	3500
29	3366
28	3224
27	3090
26	2948
25	2814
24	2672
23	2538
22	2396
21	2262
20	2120
19	1986
18	1844
17	1710
16	1566
15	1432
14	1278
13	1145
12	999
11	817
10	627
9	513
8	432
7	358
6	275
5	157
4	128
3	112
2	90
1	74
0	47

end0.0ms

sample16.6s

Algorithm

intervals

Results

14.4s

18914×

body

valid