Details

sample77.0ms

Algorithm

intervals

Results

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

simplify1.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	143	7
5	266	7
6	487	7
7	1152	7
8	2835	7
9	4518	7
done	5001	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)

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

series59.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(sinh y)
26.0ms	(* (sin x) (sinh y))
23.0ms	(/ (* (sin x) (sinh y)) x)

simplify404.0ms

Counts

58 → 58

Iterations

Useful iterations: 2 (76.0ms)

Iter	Nodes	Cost
0	115	538
1	283	516
2	1042	443
done	5001	443

prune90.0ms

Filtered

45 candidates to 58 candidates (-28.9%)

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:

10.0ms	(sinh y)
19.0ms	(/ (sinh y) x)
24.0ms	(* (sin x) (/ (sinh y) x))

simplify913.0ms

Counts

77 → 77

Iterations

Useful iterations: 2 (87.0ms)

Iter	Nodes	Cost
0	139	738
1	332	699
2	1077	627
3	4785	627
done	5000	627

prune102.0ms

Filtered

59 candidates to 77 candidates (-30.5%)

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

rewrite18.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))
8.0ms	(/ (sin x) (/ x (sinh y)))

series62.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(sinh y)
28.0ms	(/ x (sinh y))
24.0ms	(/ (sin x) (/ x (sinh y)))

simplify447.0ms

Counts

119 → 119

Iterations

Useful iterations: done (444.0ms)

Iter	Nodes	Cost
0	214	1544
1	481	1456
2	1726	1375
done	5000	1367

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

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

series41.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(sinh y)
24.0ms	(* (/ (sin x) x) (sinh y))
5.0ms	(/ (sin x) x)

simplify855.0ms

Counts

78 → 78

Iterations

Useful iterations: 2 (83.0ms)

Iter	Nodes	Cost
0	133	716
1	315	695
2	1002	622
3	3727	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

regimes225.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.2s

Algorithm

intervals

Results

557.0ms	1874×	body	1280	valid
503.0ms	10362×	body	80	valid
402.0ms	1998×	body	640	valid
162.0ms	1150×	body	320	valid
67.0ms	634×	body	160	valid

Details

sample77.0ms

simplify1.2s

prune3.0ms

localize7.0ms

rewrite13.0ms

series59.0ms

simplify404.0ms

prune90.0ms

localize7.0ms

rewrite15.0ms

series53.0ms

simplify913.0ms

prune102.0ms

localize7.0ms

rewrite18.0ms

series62.0ms

simplify447.0ms

prune129.0ms

localize7.0ms

rewrite15.0ms

series41.0ms

simplify855.0ms

prune67.0ms

regimes225.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.2s

Profiling