Details

sample86.0ms

Algorithm

intervals

Results

30.0ms	100×	body	1280	valid
16.0ms	91×	body	640	valid
13.0ms	283×	body	80	valid
5.0ms	36×	body	320	valid
2.0ms	17×	body	160	valid

simplify19.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	15	7
2	29	7
3	64	7
4	134	7
5	242	7
6	443	7
7	969	7
8	2045	7
9	2895	7
10	4076	7
11	4567	7
12	4615	7
13	4626	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: 0.0b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(sinh y)
0.0b	(/ (sinh y) y)
0.0b	(* (cos x) (/ (sinh y) y))

rewrite16.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) y)
8.0ms	(* (cos x) (/ (sinh y) y))

series42.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(sinh y)
12.0ms	(/ (sinh y) y)
22.0ms	(* (cos x) (/ (sinh y) y))

simplify2.8s

Counts

77 → 77

Iterations

Useful iterations: 3 (2.0s)

Iter	Nodes	Cost
0	138	730
1	321	687
2	1039	621
3	4285	609
done	5001	609

prune85.0ms

Filtered

59 candidates to 77 candidates (-30.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	74	3	77
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	75	3	78

Merged error: 0b

Counts

78 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (sinh y) y)
0.0b	(cbrt (/ (sinh y) y))
0.0b	(cbrt (/ (sinh y) y))
0.0b	(cbrt (/ (sinh y) y))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

39×	`cbrt-prod`
36×	`times-frac`
33×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `div-inv` `add-log-exp`
3×	`cbrt-div` `pow1/3` `associate-/r` `associate-/l`
1×	`cbrt-undiv` `sinh-def` `frac-2neg` `div-exp` `clear-num` `associate-/l/`

Counts

4 → 94

Calls

4 calls:

4.0ms	(/ (sinh y) y)
3.0ms	(cbrt (/ (sinh y) y))
3.0ms	(cbrt (/ (sinh y) y))
3.0ms	(cbrt (/ (sinh y) y))

series136.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(/ (sinh y) y)
39.0ms	(cbrt (/ (sinh y) y))
44.0ms	(cbrt (/ (sinh y) y))
40.0ms	(cbrt (/ (sinh y) y))

simplify1.4s

Counts

106 → 106

Iterations

Useful iterations: 3 (316.0ms)

Iter	Nodes	Cost
0	122	1164
1	230	1101
2	511	1051
3	1475	1036
done	5001	1036

prune118.0ms

Filtered

91 candidates to 106 candidates (-16.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	106	3	109

Merged error: 0b

Counts

109 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (cbrt (cos x)) (cbrt (cos x)))
0.3b	(cbrt (cos x))
0.3b	(cbrt (cos x))
0.3b	(cbrt (cos x))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

6.0ms	(* (cbrt (cos x)) (cbrt (cos x)))
2.0ms	(cbrt (cos x))
2.0ms	(cbrt (cos x))
2.0ms	(cbrt (cos x))

series89.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(* (cbrt (cos x)) (cbrt (cos x)))
19.0ms	(cbrt (cos x))
19.0ms	(cbrt (cos x))
19.0ms	(cbrt (cos x))

simplify3.7s

Counts

85 → 85

Iterations

Useful iterations: 4 (2.2s)

Iter	Nodes	Cost
0	65	694
1	125	615
2	358	521
3	1332	499
4	4814	492
done	5000	492

prune75.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	85	3	88

Merged error: 0b

Counts

88 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (cos x) (/ (sinh y) y))
0.0b	(sqrt (* (cos x) (/ (sinh y) y)))
0.0b	(sqrt (* (cos x) (/ (sinh y) y)))
0.2b	(* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

61×	`pow1`
32×	`sqrt-pow1`
23×	`add-sqr-sqrt` `pow-prod-down`
17×	`associate-r`
16×	`add-cube-cbrt` `*-un-lft-identity`
12×	`pow1/2`
11×	`add-exp-log` `add-cbrt-cube`
10×	`times-frac` `pow-prod-up`
8×	`associate-*r/`
7×	`associate-l`
6×	`sqrt-div` `sqrt-prod` `pow-sqr`
4×	`swap-sqr` `add-log-exp`
3×	`prod-exp` `cbrt-unprod` `unswap-sqr`
2×	`*-commutative`
1×	`cbrt-undiv` `pow2` `frac-times` `pow-plus` `sqrt-unprod` `div-exp` `associate-*l/` `rem-square-sqrt` `div-inv`

Counts

4 → 108

Calls

4 calls:

8.0ms	(* (cos x) (/ (sinh y) y))
4.0ms	(sqrt (* (cos x) (/ (sinh y) y)))
4.0ms	(sqrt (* (cos x) (/ (sinh y) y)))
13.0ms	(* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))))

series173.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(* (cos x) (/ (sinh y) y))
54.0ms	(sqrt (* (cos x) (/ (sinh y) y)))
51.0ms	(sqrt (* (cos x) (/ (sinh y) y)))
48.0ms	(* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))))

simplify450.0ms

Counts

120 → 120

Iterations

Useful iterations: done (447.0ms)

Iter	Nodes	Cost
0	328	2521
1	936	2119
done	5000	2009

prune152.0ms

Filtered

81 candidates to 120 candidates (-48.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	120	3	123

Merged error: 0b

Counts

123 → 3

regimes187.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	11	20
done	11	20

end0.0ms

sample2.7s

Algorithm

intervals

Results

898.0ms	3053×	body	1280	valid
569.0ms	8502×	body	80	valid
485.0ms	2567×	body	640	valid
174.0ms	1261×	body	320	valid
59.0ms	644×	body	160	valid

Details

sample86.0ms

simplify19.4s

prune3.0ms

localize7.0ms

rewrite16.0ms

series42.0ms

simplify2.8s

prune85.0ms

localize10.0ms

rewrite15.0ms

series136.0ms

simplify1.4s

prune118.0ms

localize14.0ms

rewrite13.0ms

series89.0ms

simplify3.7s

prune75.0ms

localize9.0ms

rewrite34.0ms

series173.0ms

simplify450.0ms

prune152.0ms

regimes187.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.7s

Profiling