Details

analyze895.0ms (11.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	90.4%	9.6%	9
0%	45.2%	54.8%	10
0%	45.2%	54.8%	11
0%	45.2%	54.8%	12
0%	45.2%	54.8%	13
0%	44.4%	55.6%	14

sample106.0ms (1.4%)

Algorithm

1×

intervals

Results

26.0ms	335×	body	80	nan
22.0ms	236×	body	80	valid
14.0ms	173×	body	80	invalid
2.0ms	2×	body	1280	valid
2.0ms	8×	body	320	valid
1.0ms	3×	body	640	valid
1.0ms	7×	body	160	valid
1.0ms	4×	body	320	invalid
1.0ms	6×	body	160	invalid
1.0ms	1×	body	1280	invalid
0.0ms	1×	body	640	invalid

simplify44.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4997	17
1	4997	17

prune18.0ms (0.2%)

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

Counts

2 → 2

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(* y (- (log z) t))
0.3b	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
0.3b	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
5.8b	(log (- 1.0 z))

rewrite37.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-sqr-sqrt` `log-prod`
24×	`*-un-lft-identity`
22×	`associate--l+`
15×	`add-cube-cbrt`
14×	`distribute-rgt-in` `distribute-lft-in`
12×	`associate-+r+`
10×	`pow1` `associate-r/` `associate-r*`
8×	`add-exp-log` `associate-+l+` `add-cbrt-cube`
6×	`sub-neg` `flip3--` `associate-l` `flip--` `add-log-exp`
5×	`distribute-lft-out--`
4×	`frac-add` `difference-of-squares`
2×	`log-div` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `flip3-+` `rem-log-exp` `exp-sum` `sum-log` `flip-+`

Counts

4 → 101

Calls

4 calls:

12.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
11.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
7.0ms	(* y (- (log z) t))
3.0ms	(log (- 1.0 z))

series124.0ms (1.6%)

Counts

4 → 12

Calls

4 calls:

67.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
38.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
15.0ms	(* y (- (log z) t))
3.0ms	(log (- 1.0 z))

simplify47.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5049	1672

prune230.0ms (3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	110	3	113
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	111	4	115

Merged error: 0.3b

Counts

115 → 4

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b))))
0.1b	(* y (- (log z) t))
0.3b	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))
0.3b	(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))))

rewrite58.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`associate--l+`
21×	`add-sqr-sqrt`
18×	`log-prod` `*-un-lft-identity`
15×	`add-cube-cbrt`
13×	`distribute-rgt-in` `distribute-lft-in`
10×	`associate-+r+` `associate-r/` `associate-r*`
9×	`pow1` `add-log-exp`
8×	`sub-neg` `associate-+l+` `add-cbrt-cube`
7×	`add-exp-log`
6×	`associate-l`
5×	`flip3--` `flip--`
4×	`frac-add`
3×	`exp-prod`
2×	`exp-sum` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `rem-exp-log` `distribute-lft-out--` `unswap-sqr`
1×	`+-commutative` `flip3-+` `log-pow` `flip-+` `difference-of-squares`

Counts

4 → 96

Calls

4 calls:

18.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))
16.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))))
13.0ms	(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b))))
7.0ms	(* y (- (log z) t))

series205.0ms (2.6%)

Counts

4 → 12

Calls

4 calls:

86.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))))
54.0ms	(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b))))
52.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))
13.0ms	(* y (- (log z) t))

simplify52.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5267	2658

prune275.0ms (3.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	106	2	108
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	107	5	112

Merged error: 0.0b

Counts

112 → 5

localize37.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.2b	(sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))))
0.2b	(sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))))
0.3b	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))
0.3b	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))

rewrite58.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`associate--l+`
24×	`log-prod`
20×	`associate-+r+`
18×	`distribute-rgt-in` `add-sqr-sqrt` `distribute-lft-in`
16×	`add-cube-cbrt` `associate-+l+` `-un-lft-identity` `associate-r/`
12×	`sub-neg`
8×	`flip3--` `sqrt-pow1` `frac-add` `sqrt-prod` `flip--` `add-log-exp`
6×	`pow1` `exp-prod`
4×	`add-exp-log` `add-cbrt-cube`
2×	`+-commutative` `rem-sqrt-square` `flip3-+` `pow1/2` `exp-sum` `sum-log` `flip-+`

Counts

4 → 100

Calls

4 calls:

15.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))
15.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))
11.0ms	(sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))))
11.0ms	(sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))))

series268.0ms (3.5%)

Counts

4 → 12

Calls

4 calls:

83.0ms	(sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))))
82.0ms	(sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))))
53.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))
50.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))

simplify36.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	5067	3786

prune530.0ms (6.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	111	1	112
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	112	5	117

Merged error: 0.0b

Counts

117 → 5

localize33.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.2b	(sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))))
0.3b	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))
0.3b	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))
0.3b	(cbrt (pow (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b))))) 3))

rewrite63.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`associate--l+`
24×	`log-prod`
20×	`cbrt-prod` `add-sqr-sqrt` `associate-+r+`
19×	`add-cube-cbrt` `*-un-lft-identity`
18×	`distribute-rgt-in` `distribute-lft-in`
16×	`associate-+l+` `associate-*r/`
12×	`sub-neg` `sqrt-prod`
8×	`flip3--` `frac-add` `flip--` `add-log-exp`
7×	`unpow-prod-down` `cube-prod`
5×	`pow1`
4×	`add-exp-log` `sqrt-pow1` `add-cbrt-cube`
3×	`exp-prod` `exp-sum`
2×	`+-commutative` `flip3-+` `sum-log` `flip-+`
1×	`cube-mult` `rem-sqrt-square` `pow1/2` `pow1/3` `unpow3` `rem-cbrt-cube` `sqr-pow`

Counts

4 → 112

Calls

4 calls:

16.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))
16.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))
13.0ms	(cbrt (pow (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b))))) 3))
12.0ms	(sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))))

series282.0ms (3.6%)

Counts

4 → 12

Calls

4 calls:

95.0ms	(sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))))
89.0ms	(cbrt (pow (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b))))) 3))
50.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))
48.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* 1/2 (/ (* z z) (* 1.0 1.0))))) b)))

simplify54.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4981	4452
1	4981	4452

prune634.0ms (8.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	124	5	129

Merged error: 0.0b

Counts

129 → 5

regimes588.0ms (7.6%)

Accuracy

Total 0.3b remaining (47.5%)

Threshold costs 0.3b (47.5%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	114	30
1	114	30

end0.0ms (0%)

sample3.0s (39.2%)

Algorithm

1×

intervals

Results

826.0ms	10556×	body	80	nan
586.0ms	7242×	body	80	valid
421.0ms	5352×	body	80	invalid
109.0ms	264×	body	640	valid
70.0ms	255×	body	320	valid
51.0ms	123×	body	640	invalid
39.0ms	48×	body	1280	valid
32.0ms	191×	body	160	valid
32.0ms	116×	body	320	invalid
15.0ms	90×	body	160	invalid
11.0ms	16×	body	1280	invalid

Details

analyze895.0ms (11.6%)

sample106.0ms (1.4%)

simplify44.0ms (0.6%)

prune18.0ms (0.2%)

localize15.0ms (0.2%)

rewrite37.0ms (0.5%)

series124.0ms (1.6%)

simplify47.0ms (0.6%)

prune230.0ms (3%)

localize22.0ms (0.3%)

rewrite58.0ms (0.7%)

series205.0ms (2.6%)

simplify52.0ms (0.7%)

prune275.0ms (3.5%)

localize37.0ms (0.5%)

rewrite58.0ms (0.7%)

series268.0ms (3.5%)

simplify36.0ms (0.5%)

prune530.0ms (6.8%)

localize33.0ms (0.4%)

rewrite63.0ms (0.8%)

series282.0ms (3.6%)

simplify54.0ms (0.7%)

prune634.0ms (8.2%)

regimes588.0ms (7.6%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample3.0s (39.2%)

Profiling