Details

analyze402.0ms (11.9%)

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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
42.1%	57.7%	0.1%	9
56.9%	42.9%	0.1%	10
59.5%	40.4%	0.1%	11
68.1%	31.8%	0.1%	12
75.1%	24.4%	0.5%	13
75.7%	23.3%	1%	14

sample41.0ms (1.2%)

Algorithm

1×

intervals

Results

9.0ms	175×	body	80	valid
8.0ms	25×	body	1280	valid
7.0ms	32×	body	640	valid
4.0ms	12×	body	160	valid
2.0ms	12×	body	320	valid
1.0ms	14×	body	80	invalid
1.0ms	3×	body	640	invalid
0.0ms	3×	body	160	invalid
0.0ms	1×	body	320	invalid

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	67	8
1	67	8

prune10.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.1b

Counts

2 → 2

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.1b	(* x (/ (sin y) y))
0.1b	(/ (sin y) y)
2.7b	(/ (* x (/ (sin y) y)) z)

rewrite21.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
22×	`times-frac`
21×	`add-cube-cbrt` `*-un-lft-identity`
19×	`add-exp-log` `add-cbrt-cube`
13×	`associate-r`
6×	`cbrt-undiv` `div-exp` `associate-/r*`
5×	`pow1`
4×	`prod-exp` `cbrt-unprod` `associate-/l*`
3×	`associate-l` `div-inv` `add-log-exp`
2×	`frac-2neg` `associate-*r/` `clear-num` `unswap-sqr`
1×	`pow-prod-down` `*-commutative` `associate-/l/`

Counts

3 → 83

Calls

3 calls:

8.0ms	(* x (/ (sin y) y))
6.0ms	(/ (* x (/ (sin y) y)) z)
3.0ms	(/ (sin y) y)

series51.0ms (1.5%)

Counts

3 → 9

Calls

3 calls:

25.0ms	(/ (* x (/ (sin y) y)) z)
20.0ms	(* x (/ (sin y) y))
7.0ms	(/ (sin y) y)

simplify59.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4952	739
1	4952	739

prune116.0ms (3.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	86	6	92
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	87	7	94

Merged error: 0.0b

Counts

94 → 7

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.1b	(* x (/ (sin y) y))
0.1b	(/ (sin y) y)
2.9b	(* (* x (/ (sin y) y)) (/ 1 z))

rewrite23.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

49×	`add-exp-log`
31×	`add-sqr-sqrt` `add-cbrt-cube`
28×	`times-frac`
26×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
22×	`prod-exp`
12×	`div-exp` `cbrt-unprod`
10×	`pow1`
7×	`cbrt-undiv`
4×	`associate-r/` `associate-l*` `pow-prod-down`
3×	`rec-exp` `1-exp` `associate-/r` `div-inv` `associate-/l` `add-log-exp`
2×	`*-commutative` `unswap-sqr`
1×	`frac-times` `frac-2neg` `associate-*l/` `clear-num` `un-div-inv`

Counts

3 → 105

Calls

3 calls:

10.0ms	(* (* x (/ (sin y) y)) (/ 1 z))
6.0ms	(* x (/ (sin y) y))
4.0ms	(/ (sin y) y)

series28.0ms (0.8%)

Counts

3 → 9

Calls

3 calls:

14.0ms	(* (* x (/ (sin y) y)) (/ 1 z))
10.0ms	(* x (/ (sin y) y))
4.0ms	(/ (sin y) y)

simplify51.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4979	943
1	4979	943

prune138.0ms (4.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	112	2	114
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	115	6	121

Merged error: 0b

Counts

121 → 6

localize16.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt (sin y))
0.6b	(cbrt (sin y))
0.6b	(cbrt (sin y))
2.9b	(* (* x (* (* (cbrt (sin y)) (/ (cbrt (sin y)) (* (cbrt y) (cbrt y)))) (/ (cbrt (sin y)) (cbrt y)))) (/ 1 z))

rewrite38.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

226×	`add-exp-log`
140×	`prod-exp`
76×	`add-cbrt-cube`
70×	`cbrt-unprod`
52×	`div-exp`
26×	`cbrt-undiv`
18×	`pow1`
14×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
13×	`associate-r/` `associate-r*`
10×	`rec-exp` `1-exp` `pow-prod-down`
9×	`cbrt-prod` `times-frac`
5×	`frac-times` `associate-*l/`
4×	`add-log-exp`
3×	`pow1/3`
1×	`associate-l` `un-div-inv` `*-commutative` `div-inv`

Counts

4 → 127

Calls

4 calls:

23.0ms	(* (* x (* (* (cbrt (sin y)) (/ (cbrt (sin y)) (* (cbrt y) (cbrt y)))) (/ (cbrt (sin y)) (cbrt y)))) (/ 1 z))
2.0ms	(cbrt (sin y))
1.0ms	(cbrt (sin y))
1.0ms	(cbrt (sin y))

series71.0ms (2.1%)

Counts

4 → 12

Calls

4 calls:

18.0ms	(* (* x (* (* (cbrt (sin y)) (/ (cbrt (sin y)) (* (cbrt y) (cbrt y)))) (/ (cbrt (sin y)) (cbrt y)))) (/ 1 z))
18.0ms	(cbrt (sin y))
18.0ms	(cbrt (sin y))
17.0ms	(cbrt (sin y))

simplify68.0ms (2%)

Algorithm

1×	egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4914	1123
1	4914	1123

prune151.0ms (4.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	139	0	139
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	139	6	145

Merged error: 0b

Counts

145 → 6

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.1b	(/ z (sin y))
2.2b	(/ x (* y (/ z (sin y))))
6.8b	(* y (/ z (sin y)))

rewrite17.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
22×	`times-frac`
21×	`add-cube-cbrt` `*-un-lft-identity`
19×	`add-exp-log` `add-cbrt-cube`
13×	`associate-r`
6×	`cbrt-undiv` `div-exp` `associate-/l*`
5×	`pow1`
4×	`prod-exp` `associate-/r*` `cbrt-unprod`
3×	`associate-l` `div-inv` `add-log-exp`
2×	`frac-2neg` `associate-*r/` `clear-num` `unswap-sqr`
1×	`pow-prod-down` `associate-/r/` `*-commutative`

Counts

3 → 83

Calls

3 calls:

6.0ms	(* y (/ z (sin y)))
5.0ms	(/ x (* y (/ z (sin y))))
3.0ms	(/ z (sin y))

series37.0ms (1.1%)

Counts

3 → 9

Calls

3 calls:

14.0ms	(/ x (* y (/ z (sin y))))
13.0ms	(* y (/ z (sin y)))
10.0ms	(/ z (sin y))

simplify55.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4964	739
1	4964	739

prune93.0ms (2.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	92	6	98

Merged error: 0b

Counts

98 → 6

regimes382.0ms (11.4%)

Accuracy

Total 0.4b remaining (94.9%)

Threshold costs 0.4b (94.9%)

bsearch54.0ms (1.6%)

Steps

Iters	Range		Point
9	5.911804914963021e-115	4.4221547104159774e-107	3.3528651712512998e-108
7	-1532858107382769.8	-31200629075757.69	-32352621987303.72

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	25
1	21	25

end0.0ms (0%)

sample1.4s (42%)

Algorithm

1×

intervals

Results

335.0ms	987×	body	1280	valid
287.0ms	5270×	body	80	valid
269.0ms	493×	body	320	valid
214.0ms	985×	body	640	valid
29.0ms	530×	body	80	invalid
29.0ms	265×	body	160	valid
11.0ms	49×	body	640	invalid
7.0ms	44×	body	320	invalid
4.0ms	13×	body	1280	invalid
3.0ms	30×	body	160	invalid

Details

analyze402.0ms (11.9%)

sample41.0ms (1.2%)

simplify3.0ms (0.1%)

prune10.0ms (0.3%)

localize7.0ms (0.2%)

rewrite21.0ms (0.6%)

series51.0ms (1.5%)

simplify59.0ms (1.7%)

prune116.0ms (3.4%)

localize9.0ms (0.3%)

rewrite23.0ms (0.7%)

series28.0ms (0.8%)

simplify51.0ms (1.5%)

prune138.0ms (4.1%)

localize16.0ms (0.5%)

rewrite38.0ms (1.1%)

series71.0ms (2.1%)

simplify68.0ms (2%)

prune151.0ms (4.5%)

localize7.0ms (0.2%)

rewrite17.0ms (0.5%)

series37.0ms (1.1%)

simplify55.0ms (1.6%)

prune93.0ms (2.8%)

regimes382.0ms (11.4%)

bsearch54.0ms (1.6%)

simplify1.0ms (0%)

end0.0ms (0%)

sample1.4s (42%)

Profiling