Details

sample38.0ms

Algorithm

intervals

Results

11.0ms	59×	body	640	valid
9.0ms	57×	body	1280	valid
2.0ms	95×	body	80	valid
2.0ms	29×	body	320	valid
2.0ms	90×	body	80	overflowed
1.0ms	16×	body	160	valid

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	7
1	7	7
2	8	7
done	8	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: 40.3b

Counts

2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

0.5b	(/ (exp x) (- (exp x) 1.0))
5.7b	(- (exp x) 1.0)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt` `*-un-lft-identity`
15×	`times-frac`
12×	`add-cube-cbrt`
5×	`associate-/r*` `distribute-lft-out--` `difference-of-squares`
4×	`add-cbrt-cube` `add-log-exp`
3×	`add-exp-log` `associate-/l*`
2×	`pow1` `flip3--` `associate-/r/` `flip--`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-exp` `clear-num` `div-inv`

Counts

2 → 51

Calls

2 calls:

7.0ms	(/ (exp x) (- (exp x) 1.0))
4.0ms	(- (exp x) 1.0)

series9.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/ (exp x) (- (exp x) 1.0))
2.0ms	(- (exp x) 1.0)

simplify793.0ms

Counts

57 → 57

Iterations

Useful iterations: 4 (301.0ms)

Iter	Nodes	Cost
0	91	640
1	189	614
2	451	579
3	1127	577
4	3000	576
done	5001	576

prune96.0ms

Filtered

41 candidates to 57 candidates (-39.0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	54	3	57
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	55	3	58

Merged error: 0.0b

Counts

58 → 3

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* 1/12 x) (+ (/ 1 x) 1/2))
0.3b	(* 1/12 x)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 31

Calls

2 calls:

10.0ms	(+ (* 1/12 x) (+ (/ 1 x) 1/2))
6.0ms	(* 1/12 x)

series5.0ms

Counts

2 → 6

Calls

2 calls:

2.0ms	(+ (* 1/12 x) (+ (/ 1 x) 1/2))
2.0ms	(* 1/12 x)

simplify519.0ms

Counts

37 → 37

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	58	330
1	155	306
2	464	284
3	1450	284
done	5000	284

prune57.0ms

Filtered

27 candidates to 37 candidates (-37.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	36	1	37
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	36	4	40

Merged error: 0.0b

Counts

40 → 4

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 1 (- 1 (/ 1.0 (exp x))))
0.0b	(/ 1.0 (exp x))
5.7b	(- 1 (/ 1.0 (exp x)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

64×	`add-sqr-sqrt`
44×	`*-un-lft-identity`
43×	`times-frac`
24×	`add-cube-cbrt`
20×	`difference-of-squares`
11×	`associate-/r*`
8×	`add-exp-log`
7×	`add-cbrt-cube`
6×	`associate-/l*`
5×	`distribute-lft-out--` `add-log-exp`
4×	`pow1`
3×	`div-exp`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `clear-num` `associate-/r/` `flip--` `div-inv`
1×	`sub-neg` `rec-exp` `pow-flip` `diff-log` `1-exp` `inv-pow`

Counts

3 → 97

Calls

3 calls:

10.0ms	(/ 1 (- 1 (/ 1.0 (exp x))))
5.0ms	(/ 1.0 (exp x))
7.0ms	(- 1 (/ 1.0 (exp x)))

series25.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(/ 1 (- 1 (/ 1.0 (exp x))))
4.0ms	(/ 1.0 (exp x))
9.0ms	(- 1 (/ 1.0 (exp x)))

simplify526.0ms

Counts

106 → 106

Iterations

Useful iterations: 3 (194.0ms)

Iter	Nodes	Cost
0	162	1303
1	328	1175
2	828	1099
3	2167	1094
done	5000	1094

prune114.0ms

Filtered

60 candidates to 106 candidates (-76.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	106	4	110

Merged error: 0.0b

Counts

110 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b	(/ (exp x) (- (exp x) 1.0))
5.7b	(- (exp x) 1.0)
5.7b	(- (exp x) 1.0)
5.7b	(- (exp x) 1.0)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt` `*-un-lft-identity`
15×	`times-frac`
14×	`add-cube-cbrt`
10×	`add-log-exp`
7×	`distribute-lft-out--` `difference-of-squares`
6×	`add-cbrt-cube`
5×	`add-exp-log` `associate-/r*`
4×	`pow1` `flip3--` `flip--`
3×	`sub-neg` `diff-log` `associate-/l*`
2×	`associate-/r/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 79

Calls

4 calls:

8.0ms	(/ (exp x) (- (exp x) 1.0))
5.0ms	(- (exp x) 1.0)
5.0ms	(- (exp x) 1.0)
5.0ms	(- (exp x) 1.0)

series14.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ (exp x) (- (exp x) 1.0))
2.0ms	(- (exp x) 1.0)
2.0ms	(- (exp x) 1.0)
2.0ms	(- (exp x) 1.0)

simplify736.0ms

Counts

91 → 91

Iterations

Useful iterations: 4 (306.0ms)

Iter	Nodes	Cost
0	91	904
1	189	868
2	451	817
3	1129	811
4	3239	810
done	5000	810

prune166.0ms

Filtered

65 candidates to 91 candidates (-40.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	91	4	95

Merged error: 0.0b

Counts

95 → 4

regimes152.0ms

Accuracy

97.1% (0.6b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	40
1	24	40
done	24	40

end0.0ms

sample1.2s

Algorithm

intervals

Results

372.0ms	2281×	body	1280	valid
283.0ms	2502×	body	80	overflowed
181.0ms	1654×	body	640	valid
73.0ms	2838×	body	80	valid
61.0ms	797×	body	320	valid
23.0ms	431×	body	160	valid

Details

sample38.0ms

simplify3.0ms

prune3.0ms

localize4.0ms

rewrite13.0ms

series9.0ms

simplify793.0ms

prune96.0ms

localize6.0ms

rewrite17.0ms

series5.0ms

simplify519.0ms

prune57.0ms

localize6.0ms

rewrite25.0ms

series25.0ms

simplify526.0ms

prune114.0ms

localize9.0ms

rewrite24.0ms

series14.0ms

simplify736.0ms

prune166.0ms

regimes152.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling