Details

sample79.0ms

Algorithm

intervals

Results

20.0ms	343×	body	80	valid
19.0ms	65×	body	1280	valid
13.0ms	70×	body	640	valid
4.0ms	32×	body	320	valid
2.0ms	17×	body	160	valid

simplify18.2s

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	141	7
5	255	7
6	464	7
7	1043	7
8	2188	7
9	2998	7
10	4255	7
11	4761	7
12	4803	7
done	4803	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))
6.0ms	(/ (* (sin x) (sinh y)) x)

series53.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify911.0ms

Counts

58 → 58

Iterations

Useful iterations: 2 (101.0ms)

Iter	Nodes	Cost
0	115	538
1	276	516
2	1020	443
done	5000	443

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

series49.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(sinh y)
15.0ms	(/ (sinh y) x)
21.0ms	(* (sin x) (/ (sinh y) x))

simplify2.6s

Counts

77 → 77

Iterations

Useful iterations: 2 (157.0ms)

Iter	Nodes	Cost
0	139	738
1	325	699
2	1032	627
3	4175	627
done	5000	627

prune85.0ms

Filtered

58 candidates to 77 candidates (-32.8%)

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

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

rewrite17.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)
4.0ms	(/ x (sinh y))
7.0ms	(/ (sin x) (/ x (sinh y)))

series59.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(sinh y)
28.0ms	(/ x (sinh y))
22.0ms	(/ (sin x) (/ x (sinh y)))

simplify1.1s

Counts

119 → 119

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	214	1544
1	473	1456
2	1480	1375
done	5000	1367

prune120.0ms

Filtered

101 candidates to 119 candidates (-17.8%)

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:

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

series33.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify2.3s

Counts

78 → 78

Iterations

Useful iterations: 2 (150.0ms)

Iter	Nodes	Cost
0	133	716
1	308	695
2	952	622
3	3726	622
done	5000	622

prune67.0ms

Filtered

60 candidates to 78 candidates (-30.0%)

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

regimes205.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample2.2s

Algorithm

intervals

Results

555.0ms	1874×	body	1280	valid
501.0ms	10362×	body	80	valid
401.0ms	1998×	body	640	valid
176.0ms	1150×	body	320	valid
67.0ms	634×	body	160	valid

Details

sample79.0ms

simplify18.2s

prune3.0ms

localize7.0ms

rewrite14.0ms

series53.0ms

simplify911.0ms

prune85.0ms

localize7.0ms

rewrite15.0ms

series49.0ms

simplify2.6s

prune85.0ms

localize7.0ms

rewrite17.0ms

series59.0ms

simplify1.1s

prune120.0ms

localize7.0ms

rewrite16.0ms

series33.0ms

simplify2.3s

prune67.0ms

regimes205.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample2.2s

Profiling