Details

sample687.0ms

Algorithm

intervals

Results

150.0ms	59×	body	2560	valid
111.0ms	75×	body	1280	valid
52.0ms	32×	body	640	valid
15.0ms	64×	body	80	valid
14.0ms	17×	body	320	valid
7.0ms	1×	body	5120	valid
3.0ms	8×	body	160	valid

simplify6.1s

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
29	1973
28	1941
27	1913
26	1881
25	1853
24	1821
23	1793
22	1761
21	1733
20	1701
19	1673
18	1641
17	1613
16	1581
15	1553
14	1517
13	1485
12	1445
11	1406
10	1352
9	1222
8	1127
7	958
6	722
5	514
4	377
3	202
2	80
1	42
0	23

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 44.9b

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

rewrite109.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×	`insert-posit16` `add-log-exp`
2×	`flip3-+` `associate-l` `*-commutative` `flip-+`

Counts

4 → 58

Calls

4 calls:

46.0ms	(* (* (+ (* y 2.0) 1.0) z) t)
51.0ms	(* (* (+ (* a 2.0) 1.0) b) t)
5.0ms	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
6.0ms	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

series211.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(* (* (+ (* y 2.0) 1.0) z) t)
62.0ms	(* (* (+ (* a 2.0) 1.0) b) t)
46.0ms	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
45.0ms	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify829.0ms

Counts

70 → 70

Iterations

Iter	Nodes
done	2004
2	1665
1	381
0	142

prune593.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 40.3b

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

rewrite87.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×	`insert-posit16` `add-log-exp`
3×	`*-commutative`
2×	`flip3-+` `flip-+`
1×	`1-exp` `unswap-sqr`

Counts

4 → 70

Calls

4 calls:

19.0ms	(* (+ (* a 2.0) 1.0) b)
16.0ms	(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
45.0ms	(* (* (+ (* a 2.0) 1.0) b) t)
6.0ms	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

series239.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(* (+ (* a 2.0) 1.0) b)
96.0ms	(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
62.0ms	(* (* (+ (* a 2.0) 1.0) b) t)
39.0ms	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify497.0ms

Counts

82 → 82

Iterations

Iter	Nodes
done	2003
2	1004
1	326
0	131

prune651.0ms

Pruning

40 alts after pruning (40 fresh and 0 done)

Merged error: 38.5b

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

prune301.0ms

Pruning

40 alts after pruning (39 fresh and 1 done)

Merged error: 38.5b

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

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 44

Calls

4 calls:

31.0ms	(cbrt (* (* (+ (* a 2.0) 1.0) b) t))
28.0ms	(cbrt (* (* (+ (* a 2.0) 1.0) b) t))
23.0ms	(cbrt (* (* (+ (* a 2.0) 1.0) b) t))
7.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))

series603.0ms

Counts

4 → 12

Calls

4 calls:

153.0ms	(cbrt (* (* (+ (* a 2.0) 1.0) b) t))
190.0ms	(cbrt (* (* (+ (* a 2.0) 1.0) b) t))
209.0ms	(cbrt (* (* (+ (* a 2.0) 1.0) b) t))
52.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))

simplify661.0ms

Counts

56 → 56

Iterations

Iter	Nodes
done	2001
2	663
1	258
0	116

prune453.0ms

Pruning

47 alts after pruning (45 fresh and 2 done)

Merged error: 38.3b

regimes4.9s

Accuracy

0% (5.0b remaining)

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

bsearch0.0ms

simplify0.0ms

Iterations

Iter	Nodes
done	1
0	1

end0.0ms

sample12.0s

Algorithm

intervals

Results

5.2s	1802×	body	2560	valid
3.9s	2276×	body	1280	valid
1.3s	1186×	body	640	valid
541.0ms	573×	body	320	valid
514.0ms	1873×	body	80	valid
142.0ms	257×	body	160	valid
123.0ms	33×	body	5120	valid