Details

sample30.0ms

Algorithm

intervals

Results

13.0ms

528×

body

valid

simplify1.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	6
1	8	6
2	12	6
3	21	6
4	48	6
5	122	6
6	341	6
7	1053	6
8	3934	6
done	5001	6

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

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (exp (* y y)))
0.0b	(exp (* y y))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt`
4×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
3×	`add-exp-log` `associate-r` `associate-l`
1×	`exp-prod` `exp-to-pow` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `rem-exp-log` `unswap-sqr`

Counts

2 → 28

Calls

2 calls:

5.0ms	(* x (exp (* y y)))
2.0ms	(exp (* y y))

series11.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(* x (exp (* y y)))
2.0ms	(exp (* y y))

simplify1.2s

Counts

34 → 34

Iterations

Useful iterations: 2 (19.0ms)

Iter	Nodes	Cost
0	44	245
1	90	237
2	209	208
3	398	208
4	1000	208
5	3600	208
done	5001	208

prune43.0ms

Filtered

25 candidates to 34 candidates (-36.0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	31	3	34
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	32	3	35

Merged error: 0.0b

Counts

35 → 3

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(pow (exp y) y)
0.0b	(* x (pow (exp y) y))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`unpow-prod-down` `associate-r`
6×	`add-exp-log`
4×	`pow-pow` `add-cbrt-cube`
3×	`pow1` `pow-unpow` `exp-prod` `associate-l` `prod-exp` `unswap-sqr` `sqr-pow`
2×	`pow-to-exp` `pow-exp` `add-log-exp`
1×	`*-commutative` `cbrt-unprod`

Counts

2 → 45

Calls

2 calls:

4.0ms	(pow (exp y) y)
9.0ms	(* x (pow (exp y) y))

series18.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(pow (exp y) y)
14.0ms	(* x (pow (exp y) y))

simplify1.7s

Counts

51 → 51

Iterations

Useful iterations: 4 (705.0ms)

Iter	Nodes	Cost
0	75	410
1	163	378
2	456	343
3	1120	341
4	4294	340
done	5001	340

prune59.0ms

Filtered

35 candidates to 51 candidates (-45.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	50	1	51
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	51	3	54

Merged error: 0.0b

Counts

54 → 3

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (sqrt (exp (* y y))))
0.0b	(* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))
0.0b	(exp (* y y))
0.0b	(exp (* y y))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt`
12×	`associate-r`
11×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`add-log-exp`
7×	`sqrt-prod`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`exp-prod` `exp-to-pow` `*-commutative` `rem-exp-log` `unswap-sqr`

Counts

4 → 63

Calls

4 calls:

6.0ms	(* x (sqrt (exp (* y y))))
11.0ms	(* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))
2.0ms	(exp (* y y))
2.0ms	(exp (* y y))

series30.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* x (sqrt (exp (* y y))))
12.0ms	(* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))
3.0ms	(exp (* y y))
3.0ms	(exp (* y y))

simplify1.1s

Counts

75 → 75

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	73	778
1	168	603
2	517	518
3	1249	518
4	3444	518
done	5000	518

prune77.0ms

Filtered

50 candidates to 75 candidates (-50.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Merged error: 0.0b

Counts

78 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))
0.0b	(exp (* y y))
0.0b	(exp (* y y))
0.0b	(exp (* y y))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1` `add-exp-log` `add-cbrt-cube`
10×	`add-log-exp`
6×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r*` `pow-prod-down` `prod-exp` `cbrt-unprod`
3×	`exp-prod` `exp-to-pow` `sqrt-prod` `rem-exp-log`
1×	`associate-l` `*-commutative`

Counts

4 → 54

Calls

4 calls:

16.0ms	(* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))
2.0ms	(exp (* y y))
2.0ms	(exp (* y y))
2.0ms	(exp (* y y))

series16.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))
2.0ms	(exp (* y y))
2.0ms	(exp (* y y))
2.0ms	(exp (* y y))

simplify1.1s

Counts

66 → 66

Iterations

Useful iterations: 2 (63.0ms)

Iter	Nodes	Cost
0	71	924
1	182	632
2	702	390
3	2561	390
done	5000	390

prune77.0ms

Filtered

43 candidates to 66 candidates (-53.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	66	0	66
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	66	4	70

Merged error: 0.0b

Counts

70 → 4

regimes216.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	5	6
1	6	6
done	6	6

end0.0ms

sample874.0ms

Algorithm

intervals

Results

407.0ms

16088×

body

valid

Details

sample30.0ms

simplify1.9s

prune3.0ms

localize5.0ms

rewrite8.0ms

series11.0ms

simplify1.2s

prune43.0ms

localize5.0ms

rewrite14.0ms

series18.0ms

simplify1.7s

prune59.0ms

localize7.0ms

rewrite23.0ms

series30.0ms

simplify1.1s

prune77.0ms

localize12.0ms

rewrite24.0ms

series16.0ms

simplify1.1s

prune77.0ms

regimes216.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample874.0ms

Profiling