Details

sample31.0ms

Algorithm

intervals

Results

13.0ms

528×

body

valid

simplify2.0s

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	1079	6
8	3956	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))

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

simplify526.0ms

Counts

34 → 34

Iterations

Useful iterations: 2 (24.0ms)

Iter	Nodes	Cost
0	44	245
1	90	237
2	189	208
3	421	208
4	1142	208
done	5000	208

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

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.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)
6.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))

simplify2.4s

Counts

51 → 51

Iterations

Useful iterations: 3 (122.0ms)

Iter	Nodes	Cost
0	75	410
1	163	385
2	455	345
3	1314	341
4	4961	341
done	5000	341

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

rewrite21.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))))
10.0ms	(* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))
2.0ms	(exp (* y y))
2.0ms	(exp (* y y))

series26.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.6s

Counts

75 → 75

Iterations

Useful iterations: 4 (653.0ms)

Iter	Nodes	Cost
0	73	778
1	168	621
2	578	530
3	1592	524
4	4195	519
done	5000	519

prune78.0ms

Filtered

51 candidates to 75 candidates (-47.1%)

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

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 68

Calls

4 calls:

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

series74.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))
31.0ms	(* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))
3.0ms	(exp (* y y))
3.0ms	(exp (* y y))

simplify530.0ms

Counts

80 → 80

Iterations

Useful iterations: done (528.0ms)

Iter	Nodes	Cost
0	113	1403
1	289	1209
2	1275	988
done	5001	959

prune78.0ms

Filtered

49 candidates to 80 candidates (-63.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	80	4	84

Merged error: 0.0b

Counts

84 → 4

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

sample844.0ms

Algorithm

intervals

Results

397.0ms

16088×

body

valid

Details

sample31.0ms

simplify2.0s

prune3.0ms

localize5.0ms

rewrite7.0ms

series11.0ms

simplify526.0ms

prune48.0ms

localize6.0ms

rewrite11.0ms

series18.0ms

simplify2.4s

prune56.0ms

localize7.0ms

rewrite21.0ms

series26.0ms

simplify1.6s

prune78.0ms

localize15.0ms

rewrite41.0ms

series74.0ms

simplify530.0ms

prune78.0ms

regimes155.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample844.0ms

Profiling