Details

sample225.0ms

Algorithm

intervals

Results

133.0ms

682×

body

valid

simplify4.6s

Counts

1 → 1

Iterations

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

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.3b

localize88.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)))

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

17.0ms	(- (* y z) (* t a))
56.0ms	(* b (- (* c z) (* i a)))
65.0ms	(* j (- (* c t) (* i y)))
56.0ms	(* x (- (* y z) (* t a)))

series506.0ms

Counts

4 → 12

Calls

4 calls:

76.0ms	(- (* y z) (* t a))
139.0ms	(* b (- (* c z) (* i a)))
151.0ms	(* j (- (* c t) (* i y)))
139.0ms	(* x (- (* y z) (* t a)))

simplify2.2s

Counts

96 → 96

Iterations

Iter	Nodes
done	5000
2	1411
1	456
0	166

prune1.6s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 8.5b

localize113.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)))

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

31.0ms	(* b (* c z))
26.0ms	(* b (- (* i a)))
56.0ms	(* j (- (* c t) (* i y)))
56.0ms	(* x (- (* y z) (* t a)))

series372.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(* b (* c z))
50.0ms	(* b (- (* i a)))
141.0ms	(* j (- (* c t) (* i y)))
133.0ms	(* x (- (* y z) (* t a)))

simplify2.5s

Counts

100 → 100

Iterations

Iter	Nodes
done	5002
2	1543
1	471
0	174

prune1.8s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 6.5b

localize105.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)))

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

28.0ms	(* b (- (* i a)))
42.0ms	(* (* b c) z)
58.0ms	(* j (- (* c t) (* i y)))
77.0ms	(* x (- (* y z) (* t a)))

series397.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(* b (- (* i a)))
52.0ms	(* (* b c) z)
141.0ms	(* j (- (* c t) (* i y)))
158.0ms	(* x (- (* y z) (* t a)))

simplify2.5s

Counts

100 → 100

Iterations

Iter	Nodes
done	5000
2	1661
1	487
0	178

prune1.7s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 6.0b

localize100.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)))

rewrite203.0ms

Algorithm

rewrite-expression-head

Rules

19×	`associate-r`
18×	`pow1` `add-exp-log` `add-cbrt-cube`
16×	`add-sqr-sqrt`
12×	`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`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
2×	`flip3--` `flip--` `unswap-sqr`
1×	`neg-mul-1` `distribute-rgt-neg-out`

Counts

4 → 92

Calls

4 calls:

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

series364.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(* (* b i) (- a))
58.0ms	(* (* b c) z)
128.0ms	(* j (- (* c t) (* i y)))
131.0ms	(* x (- (* y z) (* t a)))

simplify2.5s

Counts

104 → 104

Iterations

Iter	Nodes
done	5001
2	1812
1	543
0	192

prune1.9s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 5.8b

regimes4.3s

Accuracy

-1.9% (7.1b remaining)

Error of 12.6b against oracle of 5.5b and baseline of 12.5b

bsearch346.0ms

Steps

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

simplify2.7s

Iterations

Iter	Nodes
done	5001
38	4997
37	4839
36	4697
35	4539
34	4397
33	4239
32	4097
31	3939
30	3797
29	3639
28	3497
27	3339
26	3197
25	3039
24	2897
23	2739
22	2597
21	2439
20	2297
19	2139
18	1997
17	1839
16	1697
15	1539
14	1393
13	1249
12	1101
11	906
10	727
9	597
8	484
7	394
6	273
5	167
4	132
3	111
2	91
1	77
0	47

end0.0ms

sample6.4s

Algorithm

intervals

Results

4.6s

18914×

body

valid