Details

analyze66.0ms (3.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
43.7%	43.7%	12.6%	6
53.1%	31.2%	15.7%	7
59.3%	18.7%	22%	8
62.4%	14%	23.5%	9
64.8%	8.6%	26.6%	10
66%	6.6%	27.4%	11
66.9%	4.1%	29%	12
67.4%	3.2%	29.4%	13
67.9%	2%	30.1%	14

sample26.0ms (1.2%)

Algorithm

1×

intervals

Results

10.0ms	231×	body	80	valid
3.0ms	5×	body	1280	valid
3.0ms	9×	body	640	valid
2.0ms	9×	body	320	valid
0.0ms	2×	body	160	valid
0.0ms	2×	body	80	invalid
0.0ms	1×	body	80	overflowed

simplify68.0ms (3.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5973	9

prune6.0ms (0.3%)

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.8b

Counts

2 → 1

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(+ 1.0 (exp x))
0.0b	(- (log (+ 1.0 (exp x))) (* x y))
0.6b	(log (+ 1.0 (exp x)))

rewrite15.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity`
8×	`log-prod`
6×	`add-log-exp`
5×	`add-sqr-sqrt` `add-cube-cbrt`
4×	`pow1` `add-exp-log` `log-div` `associate--l+`
3×	`flip3-+` `add-cbrt-cube` `flip-+` `distribute-lft-out`
2×	`associate--l-`
1×	`+-commutative` `sub-neg` `flip3--` `diff-log` `rem-log-exp` `sum-log` `log-pow` `flip--`

Counts

3 → 44

Calls

3 calls:

6.0ms	(log (+ 1.0 (exp x)))
5.0ms	(- (log (+ 1.0 (exp x))) (* x y))
3.0ms	(+ 1.0 (exp x))

series21.0ms (1%)

Counts

3 → 9

Calls

3 calls:

10.0ms	(log (+ 1.0 (exp x)))
9.0ms	(- (log (+ 1.0 (exp x))) (* x y))
2.0ms	(+ 1.0 (exp x))

simplify65.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4843	504
1	4843	504

prune99.0ms (4.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	49	4	53
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	50	4	54

Merged error: 0.5b

Counts

54 → 4

localize17.0ms (0.8%)

Local error

Found 4 expressions with local error:

0.0b	(pow (exp x) 3)
0.7b	(log (+ (pow 1.0 3) (pow (exp x) 3)))
5.1b	(- (exp x) 1.0)
5.7b	(log (+ (* 1.0 1.0) (* (exp x) (- (exp x) 1.0))))

rewrite23.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity`
12×	`add-sqr-sqrt` `log-prod`
10×	`add-cube-cbrt`
7×	`pow1` `unpow-prod-down` `cube-prod`
6×	`add-exp-log` `add-log-exp`
5×	`add-cbrt-cube` `distribute-lft-out`
4×	`log-div` `pow-pow`
3×	`pow-unpow` `exp-prod`
2×	`flip3-+` `rem-log-exp` `log-pow` `flip-+`
1×	`cube-mult` `pow-to-exp` `sub-neg` `flip3--` `diff-log` `unpow3` `pow-exp` `sum-cubes` `flip--` `distribute-lft-out--` `rem-cube-cbrt` `difference-of-squares` `sqr-pow`

Counts

4 → 73

Calls

4 calls:

10.0ms	(log (+ (pow 1.0 3) (pow (exp x) 3)))
4.0ms	(- (exp x) 1.0)
4.0ms	(log (+ (* 1.0 1.0) (* (exp x) (- (exp x) 1.0))))
3.0ms	(pow (exp x) 3)

series45.0ms (2.1%)

Counts

4 → 12

Calls

4 calls:

21.0ms	(log (+ (* 1.0 1.0) (* (exp x) (- (exp x) 1.0))))
18.0ms	(log (+ (pow 1.0 3) (pow (exp x) 3)))
4.0ms	(pow (exp x) 3)
2.0ms	(- (exp x) 1.0)

simplify52.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5002	829

prune223.0ms (10.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	85	4	89

Merged error: 0.5b

Counts

89 → 4

localize10.0ms (0.5%)

Local error

Found 3 expressions with local error:

0.0b	(- (log (+ x (+ 2.0 (* x (* x 1/2))))) (* x y))
0.0b	(+ x (+ 2.0 (* x (* x 1/2))))
6.6b	(log (+ x (+ 2.0 (* x (* x 1/2)))))

rewrite17.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity`
9×	`add-log-exp`
8×	`log-prod`
5×	`add-sqr-sqrt` `add-cube-cbrt`
4×	`pow1` `add-exp-log` `log-div` `associate--l+`
3×	`flip3-+` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`
2×	`associate--l-`
1×	`+-commutative` `sub-neg` `associate-+r+` `flip3--` `diff-log` `rem-log-exp` `log-pow` `flip--`

Counts

3 → 46

Calls

3 calls:

7.0ms	(- (log (+ x (+ 2.0 (* x (* x 1/2))))) (* x y))
5.0ms	(+ x (+ 2.0 (* x (* x 1/2))))
4.0ms	(log (+ x (+ 2.0 (* x (* x 1/2)))))

series16.0ms (0.8%)

Counts

3 → 9

Calls

3 calls:

9.0ms	(- (log (+ x (+ 2.0 (* x (* x 1/2))))) (* x y))
4.0ms	(log (+ x (+ 2.0 (* x (* x 1/2)))))
3.0ms	(+ x (+ 2.0 (* x (* x 1/2))))

simplify45.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5025	866

prune111.0ms (5.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	53	2	55
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	54	5	59

Merged error: 0.5b

Counts

59 → 5

localize17.0ms (0.8%)

Local error

Found 4 expressions with local error:

1.2b	(cbrt (log (+ x (+ 2.0 (* x (* x 1/2))))))
6.6b	(log (+ x (+ 2.0 (* x (* x 1/2)))))
6.6b	(log (+ x (+ 2.0 (* x (* x 1/2)))))
6.6b	(log (+ x (+ 2.0 (* x (* x 1/2)))))

rewrite16.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`*-un-lft-identity`
12×	`log-prod`
8×	`pow1` `add-sqr-sqrt` `add-cube-cbrt`
7×	`add-exp-log`
6×	`log-div`
4×	`cbrt-prod` `log-pow` `add-cbrt-cube` `add-log-exp`
3×	`flip3-+` `rem-log-exp` `flip-+` `distribute-lft-out`
1×	`pow1/3`

Counts

4 → 57

Calls

4 calls:

5.0ms	(log (+ x (+ 2.0 (* x (* x 1/2)))))
5.0ms	(log (+ x (+ 2.0 (* x (* x 1/2)))))
5.0ms	(log (+ x (+ 2.0 (* x (* x 1/2)))))
1.0ms	(cbrt (log (+ x (+ 2.0 (* x (* x 1/2))))))

series27.0ms (1.3%)

Counts

4 → 12

Calls

4 calls:

14.0ms	(cbrt (log (+ x (+ 2.0 (* x (* x 1/2))))))
4.0ms	(log (+ x (+ 2.0 (* x (* x 1/2)))))
4.0ms	(log (+ x (+ 2.0 (* x (* x 1/2)))))
4.0ms	(log (+ x (+ 2.0 (* x (* x 1/2)))))

simplify52.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4931	1210
1	4931	1210

prune247.0ms (11.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	68	1	69
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	69	5	74

Merged error: 0.5b

Counts

74 → 5

regimes146.0ms (6.9%)

Accuracy

Total 0.3b remaining (50.2%)

Threshold costs 0.3b (50.2%)

bsearch0.0ms (0%)

simplify1.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	63	26
1	63	26

end0.0ms (0%)

sample678.0ms (32%)

Algorithm

1×

intervals

Results

327.0ms	7285×	body	80	valid
84.0ms	279×	body	640	valid
73.0ms	134×	body	1280	valid
37.0ms	200×	body	320	valid
11.0ms	102×	body	160	valid
2.0ms	44×	body	80	invalid
0.0ms	10×	body	80	overflowed

Details

analyze66.0ms (3.1%)

sample26.0ms (1.2%)

simplify68.0ms (3.2%)

prune6.0ms (0.3%)

localize7.0ms (0.3%)

rewrite15.0ms (0.7%)

series21.0ms (1%)

simplify65.0ms (3.1%)

prune99.0ms (4.7%)

localize17.0ms (0.8%)

rewrite23.0ms (1.1%)

series45.0ms (2.1%)

simplify52.0ms (2.5%)

prune223.0ms (10.5%)

localize10.0ms (0.5%)

rewrite17.0ms (0.8%)

series16.0ms (0.8%)

simplify45.0ms (2.1%)

prune111.0ms (5.2%)

localize17.0ms (0.8%)

rewrite16.0ms (0.8%)

series27.0ms (1.3%)

simplify52.0ms (2.4%)

prune247.0ms (11.7%)

regimes146.0ms (6.9%)

bsearch0.0ms (0%)

simplify1.0ms (0.1%)

end0.0ms (0%)

sample678.0ms (32%)

Profiling