Details

sample34.0ms

Algorithm

intervals

Results

16.0ms	194×	body	160	valid
7.0ms	62×	body	320	valid
3.0ms	256×	pre	80	true

simplify1.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	19
1	27	19
2	77	19
3	210	19
4	557	19
5	1291	19
6	2951	19
done	5001	19

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 61.8b

Counts

2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

61.8b

(+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

16×	`frac-add`
13×	`flip3-+` `flip-+`
8×	`frac-times` `flip3--` `flip--`
6×	`add-log-exp`
4×	`associate-r/` `associate-l/`
2×	`associate-+l+` `associate-+r+` `sum-log`
1×	`pow1` `add-exp-log` `+-commutative` `distribute-rgt-in` `add-sqr-sqrt` `add-cube-cbrt` `associate-+r-` `sub-neg` `*-un-lft-identity` `distribute-lft-in` `diff-log` `add-cbrt-cube`

Counts

1 → 33

Calls

1 calls:

12.0ms

(+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))

series5.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))

simplify673.0ms

Counts

36 → 36

Iterations

Useful iterations: 2 (168.0ms)

Iter	Nodes	Cost
0	133	2063
1	523	1860
2	2335	1796
done	5000	1796

prune96.0ms

Filtered

25 candidates to 36 candidates (-44.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	35	1	36
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	36	1	37

Merged error: 0.4b

Counts

37 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.3b	(* 3.9999999999999997e-32 (pow t 2))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
8×	`associate-r`
6×	`add-exp-log`
4×	`add-cube-cbrt` `unpow-prod-down` `*-un-lft-identity` `unswap-sqr`
3×	`associate-l` `prod-exp` `add-cbrt-cube`
2×	`unpow2` `sqr-pow`
1×	`pow1` `pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod` `add-log-exp`

Counts

1 → 27

Calls

1 calls:

6.0ms

(* 3.9999999999999997e-32 (pow t 2))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* 3.9999999999999997e-32 (pow t 2))

simplify1.5s

Counts

30 → 30

Iterations

Useful iterations: 4 (357.0ms)

Iter	Nodes	Cost
0	51	232
1	110	209
2	325	176
3	873	176
4	3501	173
done	5000	173

prune47.0ms

Filtered

18 candidates to 30 candidates (-66.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	25	5	30
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	25	6	31

Merged error: 0.0b

Counts

31 → 6

localize3.0ms

Local error

Found 1 expressions with local error:

0.3b	(* (* t 3.9999999999999997e-32) t)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
1×	`associate-l` `*-commutative` `add-log-exp`

Counts

1 → 18

Calls

1 calls:

6.0ms

(* (* t 3.9999999999999997e-32) t)

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* (* t 3.9999999999999997e-32) t)

simplify1000.0ms

Counts

21 → 21

Iterations

Useful iterations: 4 (308.0ms)

Iter	Nodes	Cost
0	37	157
1	92	152
2	378	122
3	1250	122
4	2205	121
5	3878	121
done	5001	121

prune27.0ms

Filtered

10 candidates to 21 candidates (-110.0%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	20	1	21
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	20	7	27

Merged error: 0.0b

Counts

27 → 7

localize6.0ms

Local error

Found 2 expressions with local error:

0.3b	(* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
0.3b	(* (sqrt 3.9999999999999997e-32) (pow t 2))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
17×	`add-exp-log`
12×	`associate-l`
10×	`prod-exp` `sqrt-prod`
9×	`associate-r` `add-cbrt-cube`
8×	`add-cube-cbrt` `*-un-lft-identity` `unswap-sqr`
5×	`unpow-prod-down`
4×	`pow1` `cbrt-unprod`
3×	`unpow2` `sqr-pow`
2×	`pow-to-exp` `pow-exp` `*-commutative` `add-log-exp`
1×	`pow-prod-down`

Counts

2 → 56

Calls

2 calls:

8.0ms	(* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
13.0ms	(* (sqrt 3.9999999999999997e-32) (pow t 2))

series13.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
5.0ms	(* (sqrt 3.9999999999999997e-32) (pow t 2))

simplify783.0ms

Counts

62 → 62

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	74	651
1	173	500
2	601	431
3	2508	431
done	5000	431

prune80.0ms

Filtered

34 candidates to 62 candidates (-82.4%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	61	1	62
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	61	8	69

Merged error: 0.0b

Counts

69 → 8

regimes43.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	5
1	6	5
done	6	5

end0.0ms

sample1.0s

Algorithm

intervals

Results

510.0ms	6005×	body	160	valid
239.0ms	1995×	body	320	valid
113.0ms	8000×	pre	80	true

Details

sample34.0ms

simplify1.3s

prune2.0ms

localize8.0ms

rewrite14.0ms

series5.0ms

simplify673.0ms

prune96.0ms

localize4.0ms

rewrite7.0ms

series4.0ms

simplify1.5s

prune47.0ms

localize3.0ms

rewrite6.0ms

series4.0ms

simplify1000.0ms

prune27.0ms

localize6.0ms

rewrite24.0ms

series13.0ms

simplify783.0ms

prune80.0ms

regimes43.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.0s

Profiling