Details

sample89.0ms

Algorithm

intervals

Results

34.0ms	100×	body	1280	valid
16.0ms	91×	body	640	valid
12.0ms	283×	body	80	valid
5.0ms	36×	body	320	valid
1.0ms	17×	body	160	valid

simplify1.6s

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	135	7
5	250	7
6	465	7
7	1310	7
8	3368	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: 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))

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

series48.0ms

Counts

3 → 9

Calls

3 calls:

13.0ms	(sinh y)
12.0ms	(/ (sinh y) y)
23.0ms	(* (cos x) (/ (sinh y) y))

simplify1.1s

Counts

77 → 77

Iterations

Useful iterations: 3 (513.0ms)

Iter	Nodes	Cost
0	138	730
1	328	693
2	1244	631
3	4321	621
done	5000	621

prune82.0ms

Filtered

62 candidates to 77 candidates (-24.2%)

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

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

series141.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(/ (sinh y) y)
40.0ms	(cbrt (/ (sinh y) y))
40.0ms	(cbrt (/ (sinh y) y))
45.0ms	(cbrt (/ (sinh y) y))

simplify486.0ms

Counts

106 → 106

Iterations

Useful iterations: 3 (156.0ms)

Iter	Nodes	Cost
0	122	1164
1	235	1102
2	590	1054
3	1555	1036
done	5001	1036

prune119.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

localize13.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:

7.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:

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

simplify922.0ms

Counts

85 → 85

Iterations

Useful iterations: done (920.0ms)

Iter	Nodes	Cost
0	65	694
1	129	621
2	414	521
3	1623	505
done	5000	499

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

series175.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* (cos x) (/ (sinh y) y))
51.0ms	(sqrt (* (cos x) (/ (sinh y) y)))
55.0ms	(sqrt (* (cos x) (/ (sinh y) y)))
49.0ms	(* (sqrt (* (cos x) (/ (sinh y) y))) (sqrt (* (cos x) (/ (sinh y) y))))

simplify304.0ms

Counts

120 → 120

Iterations

Useful iterations: done (300.0ms)

Iter	Nodes	Cost
0	328	2521
1	957	2154
done	5000	2102

prune165.0ms

Filtered

83 candidates to 120 candidates (-44.6%)

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

regimes188.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.4s

Algorithm

intervals

Results

841.0ms	3053×	body	1280	valid
467.0ms	2567×	body	640	valid
373.0ms	8502×	body	80	valid
161.0ms	1261×	body	320	valid
57.0ms	644×	body	160	valid

Details

sample89.0ms

simplify1.6s

prune3.0ms

localize7.0ms

rewrite15.0ms

series48.0ms

simplify1.1s

prune82.0ms

localize11.0ms

rewrite15.0ms

series141.0ms

simplify486.0ms

prune119.0ms

localize13.0ms

rewrite13.0ms

series89.0ms

simplify922.0ms

prune75.0ms

localize9.0ms

rewrite34.0ms

series175.0ms

simplify304.0ms

prune165.0ms

regimes188.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.4s

Profiling