Details

sample318.0ms

Algorithm

intervals

Results

119.0ms	59×	body	2560	valid
117.0ms	75×	body	1280	valid
27.0ms	32×	body	640	valid
12.0ms	64×	body	80	valid
10.0ms	17×	body	320	valid
4.0ms	1×	body	5120	valid
3.0ms	8×	body	160	valid

simplify6.5s

Counts

1 → 1

Iterations

Iter	Nodes
done	2001
27	1993
26	1971
25	1944
24	1920
23	1892
22	1867
21	1839
20	1814
19	1786
18	1762
17	1734
16	1710
15	1683
14	1658
13	1630
12	1605
11	1569
10	1528
9	1403
8	1324
7	1150
6	853
5	616
4	414
3	214
2	84
1	44
0	23

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 44.5b

localize57.0ms

Local error

Found 4 expressions with local error:

2.2b	(* (* (+ (* y 2.0) 1.0) z) t)
2.7b	(* (* (+ (* a 2.0) 1.0) b) t)
33.9b	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
35.3b	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1` `add-cbrt-cube` `add-exp-log`
8×	`associate-*l/`
6×	`add-sqr-sqrt` `-un-lft-identity` `associate-r*` `pow-prod-down` `prod-exp` `add-cube-cbrt` `cbrt-unprod`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`flip3-+` `associate-l` `*-commutative` `flip-+`

Counts

4 → 66

Calls

4 calls:

32.0ms	(* (* (+ (* y 2.0) 1.0) z) t)
36.0ms	(* (* (+ (* a 2.0) 1.0) b) t)
4.0ms	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
4.0ms	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

series176.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(* (* (+ (* y 2.0) 1.0) z) t)
47.0ms	(* (* (+ (* a 2.0) 1.0) b) t)
38.0ms	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
40.0ms	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify672.0ms

Counts

78 → 78

Iterations

Iter	Nodes
done	2001
2	1616
1	402
0	150

prune787.0ms

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 40.3b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ (* a 2.0) 1.0) b)
0.1b	(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
2.7b	(* (* (+ (* a 2.0) 1.0) b) t)
35.3b	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

rewrite104.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-exp-log`
16×	`pow1` `add-cbrt-cube`
10×	`add-sqr-sqrt`
9×	`associate-r` `prod-exp`
8×	`*-un-lft-identity` `add-cube-cbrt`
7×	`pow-prod-down` `cbrt-unprod`
6×	`associate-*l/`
5×	`associate-l`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`*-commutative`
2×	`flip3-+` `flip-+`
1×	`1-exp` `unswap-sqr`

Counts

4 → 78

Calls

4 calls:

33.0ms	(* (+ (* a 2.0) 1.0) b)
30.0ms	(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
36.0ms	(* (* (+ (* a 2.0) 1.0) b) t)
4.0ms	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

series251.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(* (+ (* a 2.0) 1.0) b)
83.0ms	(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
61.0ms	(* (* (+ (* a 2.0) 1.0) b) t)
55.0ms	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify708.0ms

Counts

90 → 90

Iterations

Iter	Nodes
done	2001
2	1141
1	330
0	139

prune777.0ms

Pruning

40 alts after pruning (40 fresh and 0 done)

Merged error: 38.4b

localize1.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts

0 → 0

Iterations

Iter	Nodes
done	0
0	0

prune267.0ms

Pruning

40 alts after pruning (39 fresh and 1 done)

Merged error: 38.4b

localize43.0ms

Local error

Found 4 expressions with local error:

16.2b	(cbrt (* (* (+ (* a 2.0) 1.0) b) t))
16.2b	(cbrt (* (* (+ (* a 2.0) 1.0) b) t))
16.2b	(cbrt (* (* (+ (* a 2.0) 1.0) b) t))
35.1b	(cos (/ (* (* (cbrt (* (* (+ (* a 2.0) 1.0) b) t)) (cbrt (* (* (+ (* a 2.0) 1.0) b) t))) (cbrt (* (* (+ (* a 2.0) 1.0) b) t))) 16.0))

rewrite92.0ms

Algorithm

rewrite-expression-head

Rules

12×	`associate-*l/`
6×	`cbrt-div`
4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-prod` `flip3-+` `pow1/3` `flip-+`

Counts

4 → 52

Calls

4 calls:

24.0ms	(cbrt (* (* (+ (* a 2.0) 1.0) b) t))
30.0ms	(cbrt (* (* (+ (* a 2.0) 1.0) b) t))
33.0ms	(cbrt (* (* (+ (* a 2.0) 1.0) b) t))
5.0ms	(cos (/ (* (* (cbrt (* (* (+ (* a 2.0) 1.0) b) t)) (cbrt (* (* (+ (* a 2.0) 1.0) b) t))) (cbrt (* (* (+ (* a 2.0) 1.0) b) t))) 16.0))

series507.0ms

Counts

4 → 12

Calls

4 calls:

150.0ms	(cbrt (* (* (+ (* a 2.0) 1.0) b) t))
152.0ms	(cbrt (* (* (+ (* a 2.0) 1.0) b) t))
159.0ms	(cbrt (* (* (+ (* a 2.0) 1.0) b) t))
45.0ms	(cos (/ (* (* (cbrt (* (* (+ (* a 2.0) 1.0) b) t)) (cbrt (* (* (+ (* a 2.0) 1.0) b) t))) (cbrt (* (* (+ (* a 2.0) 1.0) b) t))) 16.0))

simplify551.0ms

Counts

64 → 64

Iterations

Iter	Nodes
done	2002
2	711
1	271
0	120

prune418.0ms

Pruning

48 alts after pruning (46 fresh and 2 done)

Merged error: 38.3b

regimes5.3s

Accuracy

0% (5.1b remaining)

Error of 44.5b against oracle of 39.4b and baseline of 44.5b

bsearch0.0ms

simplify0.0ms

Iterations

Iter	Nodes
done	1
0	1

end0.0ms

sample10.9s

Algorithm

intervals

Results

4.4s	1802×	body	2560	valid
3.8s	2276×	body	1280	valid
1.2s	1186×	body	640	valid
462.0ms	1873×	body	80	valid
409.0ms	573×	body	320	valid
151.0ms	257×	body	160	valid
115.0ms	33×	body	5120	valid