Details

sample85.0ms

Algorithm

intervals

Results

22.0ms	70×	body	640	valid
19.0ms	65×	body	1280	valid
16.0ms	343×	body	80	valid
5.0ms	32×	body	320	valid
2.0ms	17×	body	160	valid

simplify1.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	15	7
2	32	7
3	68	7
4	143	7
5	266	7
6	494	7
7	1381	7
8	3459	7
done	5000	7

prune3.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: 11.7b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(sinh y)
0.1b	(* (sin x) (sinh y))
11.7b	(/ (* (sin x) (sinh y)) x)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-exp-log` `add-cbrt-cube`
9×	`add-sqr-sqrt`
7×	`add-cube-cbrt` `*-un-lft-identity`
5×	`pow1`
3×	`sinh-def` `times-frac` `associate-r` `associate-l` `associate-/r*` `add-log-exp`
2×	`cbrt-undiv` `associate-*r/` `div-exp` `prod-exp` `cbrt-unprod`
1×	`frac-2neg` `pow-prod-down` `clear-num` `-commutative` `div-inv` `associate-/l/` `associate-/l` `unswap-sqr`

Counts

3 → 49

Calls

3 calls:

1.0ms	(sinh y)
5.0ms	(* (sin x) (sinh y))
7.0ms	(/ (* (sin x) (sinh y)) x)

series58.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(sinh y)
18.0ms	(* (sin x) (sinh y))
32.0ms	(/ (* (sin x) (sinh y)) x)

simplify505.0ms

Counts

58 → 58

Iterations

Useful iterations: done (504.0ms)

Iter	Nodes	Cost
0	115	538
1	283	520
2	1184	453
done	5001	443

prune89.0ms

Filtered

46 candidates to 58 candidates (-26.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	50	8	58
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	50	9	59

Merged error: 0.0b

Counts

59 → 9

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(sinh y)
0.0b	(/ (sinh y) x)
0.1b	(* (sin x) (/ (sinh y) x))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
19×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
13×	`associate-r`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1`
3×	`associate-l` `associate-/r` `associate-/l` `add-log-exp`
2×	`cbrt-undiv` `sinh-def` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `associate-/l/`

Counts

3 → 68

Calls

3 calls:

1.0ms	(sinh y)
4.0ms	(/ (sinh y) x)
8.0ms	(* (sin x) (/ (sinh y) x))

series53.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(sinh y)
16.0ms	(/ (sinh y) x)
29.0ms	(* (sin x) (/ (sinh y) x))

simplify1.1s

Counts

77 → 77

Iterations

Useful iterations: 3 (516.0ms)

Iter	Nodes	Cost
0	139	738
1	332	705
2	1264	637
3	4070	627
done	5001	627

prune100.0ms

Filtered

62 candidates to 77 candidates (-24.2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	76	1	77
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	76	10	86

Merged error: 0b

Counts

86 → 10

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(sinh y)
0.0b	(/ x (sinh y))
0.7b	(/ (sin x) (/ x (sinh y)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

87×	`times-frac`
54×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
17×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube`
6×	`sinh-def` `associate-/r/` `div-inv` `associate-/l*`
4×	`cbrt-undiv` `div-exp`
3×	`pow1` `add-log-exp`
2×	`frac-2neg` `clear-num`

Counts

3 → 110

Calls

3 calls:

1.0ms	(sinh y)
11.0ms	(/ x (sinh y))
7.0ms	(/ (sin x) (/ x (sinh y)))

series57.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(sinh y)
26.0ms	(/ x (sinh y))
23.0ms	(/ (sin x) (/ x (sinh y)))

simplify478.0ms

Counts

119 → 119

Iterations

Useful iterations: done (475.0ms)

Iter	Nodes	Cost
0	214	1544
1	481	1466
2	1685	1387
done	5001	1378

prune124.0ms

Filtered

103 candidates to 119 candidates (-15.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	116	3	119
Fresh	5	2	7
Picked	1	0	1
Done	0	2	2
Total	122	7	129

Merged error: 0b

Counts

129 → 7

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(sinh y)
0.1b	(* (/ (sin x) x) (sinh y))
0.1b	(/ (sin x) x)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
19×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
13×	`associate-l`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1`
3×	`sinh-def` `associate-r` `associate-/r` `associate-/l` `add-log-exp`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative`

Counts

3 → 69

Calls

3 calls:

2.0ms	(sinh y)
7.0ms	(* (/ (sin x) x) (sinh y))
4.0ms	(/ (sin x) x)

series34.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(sinh y)
21.0ms	(* (/ (sin x) x) (sinh y))
4.0ms	(/ (sin x) x)

simplify1.1s

Counts

78 → 78

Iterations

Useful iterations: 3 (461.0ms)

Iter	Nodes	Cost
0	133	716
1	315	699
2	1100	632
3	4124	622
done	5000	622

prune76.0ms

Filtered

61 candidates to 78 candidates (-27.9%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	78	7	85

Merged error: 0b

Counts

85 → 7

regimes214.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7
done	7	7

end0.0ms

sample2.3s

Algorithm

intervals

Results

572.0ms	1874×	body	1280	valid
513.0ms	10362×	body	80	valid
426.0ms	1998×	body	640	valid
171.0ms	1150×	body	320	valid
74.0ms	634×	body	160	valid

Details

sample85.0ms

simplify1.5s

prune3.0ms

localize7.0ms

rewrite14.0ms

series58.0ms

simplify505.0ms

prune89.0ms

localize7.0ms

rewrite15.0ms

series53.0ms

simplify1.1s

prune100.0ms

localize8.0ms

rewrite24.0ms

series57.0ms

simplify478.0ms

prune124.0ms

localize7.0ms

rewrite16.0ms

series34.0ms

simplify1.1s

prune76.0ms

regimes214.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.3s

Profiling