Details

sample298.0ms

Algorithm

intervals

Results

15.0ms	405×	body	80	nan
12.0ms	249×	body	80	valid
8.0ms	211×	body	80	overflowed
1.0ms	13×	body	160	valid

simplify86.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	19	7
1	28	7
2	40	7
3	73	7
4	176	7
5	559	7
6	2626	7
7	5001	7

prune4.0ms

Filtered

1 candidates to 0 candidates (0.0%)

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: 2.5b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
0.0b	(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
2.9b	(- (exp (* 2.0 x)) 1.0)
2.9b	(- (exp x) 1.0)

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

78×	`add-sqr-sqrt`
75×	`*-un-lft-identity`
51×	`times-frac`
31×	`sqrt-prod`
27×	`add-cube-cbrt`
24×	`distribute-lft-out--` `difference-of-squares`
8×	`add-log-exp`
6×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `flip3--` `associate-/r` `flip--` `associate-/l`
4×	`associate-/r/`
2×	`sub-neg` `rem-sqrt-square` `diff-log` `div-inv` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `sqrt-pow1` `pow1/2` `sqrt-div` `div-sub` `div-exp` `clear-num`

Counts

4 → 123

Calls

4 calls:

24.0ms	(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
10.0ms	(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
4.0ms	(- (exp (* 2.0 x)) 1.0)
6.0ms	(- (exp x) 1.0)

series196.0ms

Counts

4 → 12

Calls

4 calls:

89.0ms	(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
61.0ms	(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
24.0ms	(- (exp (* 2.0 x)) 1.0)
22.0ms	(- (exp x) 1.0)

simplify127.0ms

Algorithm

egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 3 (113.0ms)

Iter	Nodes	Cost
0	387	1380
1	1054	1314
2	4265	1301
3	5001	1293

prune292.0ms

Filtered

135 candidates to 92 candidates (68.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	130	5	135
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	131	5	136

Merged error: 0.0b

Counts

136 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (- (exp x) 1.0))
0.0b	(* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)))
2.9b	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
2.9b	(- (exp x) 1.0)

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
26×	`*-un-lft-identity`
14×	`sqrt-prod`
11×	`add-exp-log` `add-cbrt-cube` `difference-of-squares`
9×	`flip3--` `associate-r` `flip--`
8×	`frac-times` `add-cube-cbrt` `associate-/l/` `add-log-exp`
7×	`distribute-lft-out--`
6×	`pow1` `flip3-+` `flip-+`
5×	`times-frac` `associate-l` `associate-/r*`
4×	`sub-neg` `associate-r/` `associate-l/`
2×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `diff-log` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `distribute-lft-out`
1×	`frac-2neg` `pow-prod-down` `clear-num` `-commutative` `div-inv` `associate-/l` `unswap-sqr`

Counts

4 → 105

Calls

4 calls:

19.0ms	(/ (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (- (exp x) 1.0))
16.0ms	(* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)))
6.0ms	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
4.0ms	(- (exp x) 1.0)

series348.0ms

Counts

4 → 12

Calls

4 calls:

173.0ms	(/ (* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0))) (- (exp x) 1.0))
110.0ms	(* (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)))
50.0ms	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
14.0ms	(- (exp x) 1.0)

simplify68.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	481	1464
1	2403	1163
2	5002	1124

prune276.0ms

Filtered

117 candidates to 82 candidates (70.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	117	0	117
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	117	5	122

Merged error: 0.0b

Counts

122 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

2.9b	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
2.9b	(- (exp x) 1.0)
2.9b	(- (exp x) 1.0)
2.9b	(- (exp x) 1.0)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
14×	`*-un-lft-identity`
12×	`add-log-exp`
7×	`difference-of-squares`
6×	`sqrt-prod`
5×	`distribute-lft-out--`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--`

Counts

4 → 60

Calls

4 calls:

6.0ms	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
4.0ms	(- (exp x) 1.0)
4.0ms	(- (exp x) 1.0)
4.0ms	(- (exp x) 1.0)

series90.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(- (sqrt (exp (* 2.0 x))) (sqrt 1.0))
13.0ms	(- (exp x) 1.0)
13.0ms	(- (exp x) 1.0)
14.0ms	(- (exp x) 1.0)

simplify98.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 2 (12.0ms)

Iter	Nodes	Cost
0	156	394
1	399	367
2	1035	363
3	2831	363
4	5002	363

prune213.0ms

Filtered

72 candidates to 49 candidates (68.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	72	5	77

Merged error: 0.0b

Counts

77 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- (exp (* 2.0 x)) 1.0) (log (exp (- (exp x) 1.0))))
2.9b	(- (exp (* 2.0 x)) 1.0)
2.9b	(log (exp (- (exp x) 1.0)))
2.9b	(- (exp x) 1.0)

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

66×	`add-sqr-sqrt` `*-un-lft-identity`
45×	`times-frac`
42×	`log-pow`
35×	`exp-prod`
28×	`add-cube-cbrt`
19×	`distribute-lft-out--` `difference-of-squares`
11×	`pow1`
9×	`associate-/r*`
8×	`add-log-exp`
6×	`add-exp-log` `add-cbrt-cube`
5×	`log-prod` `associate-/l*`
3×	`sub-neg` `flip3--` `flip--`
2×	`diff-log` `exp-sum` `associate-/l/`
1×	`cbrt-undiv` `log-div` `frac-2neg` `exp-diff` `div-sub` `div-exp` `rem-log-exp` `clear-num` `div-inv`

Counts

4 → 122

Calls

4 calls:

13.0ms	(/ (- (exp (* 2.0 x)) 1.0) (log (exp (- (exp x) 1.0))))
4.0ms	(- (exp (* 2.0 x)) 1.0)
5.0ms	(log (exp (- (exp x) 1.0)))
4.0ms	(- (exp x) 1.0)

series109.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(/ (- (exp (* 2.0 x)) 1.0) (log (exp (- (exp x) 1.0))))
24.0ms	(- (exp (* 2.0 x)) 1.0)
14.0ms	(log (exp (- (exp x) 1.0)))
14.0ms	(- (exp x) 1.0)

simplify111.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 3 (98.0ms)

Iter	Nodes	Cost
0	380	1252
1	1042	1148
2	4117	1107
3	5003	1105

prune250.0ms

Filtered

134 candidates to 87 candidates (64.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	135	4	139

Merged error: 0.0b

Counts

139 → 4

regimes26.0ms

Accuracy

78.8% (0.7b remaining)

Error of 0.9b against oracle of 0.1b and baseline of 3.6b

bsearch41.0ms

Steps

Iters	Range		Point
7	-4.771721647549614e-05	-5.318320565888805e-07	-2.8767462420688377e-06

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	21
1	32	21

end0.0ms

sample1.4s

Algorithm

intervals

Results

474.0ms	12628×	body	80	nan
304.0ms	7414×	body	80	valid
240.0ms	6649×	body	80	overflowed
67.0ms	716×	body	160	valid

Details

sample298.0ms

simplify86.0ms

prune4.0ms

localize12.0ms

rewrite50.0ms

series196.0ms

simplify127.0ms

prune292.0ms

localize16.0ms

rewrite49.0ms

series348.0ms

simplify68.0ms

prune276.0ms

localize18.0ms

rewrite21.0ms

series90.0ms

simplify98.0ms

prune213.0ms

localize13.0ms

rewrite32.0ms

series109.0ms

simplify111.0ms

prune250.0ms

regimes26.0ms

bsearch41.0ms

simplify2.0ms

end0.0ms

sample1.4s

Profiling