Details

analyze354.0ms (5.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
12.5%	87.4%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	37.5%	0.1%	6
62.4%	31.2%	6.3%	7
62.4%	31.2%	6.3%	8
62.4%	28.1%	9.5%	9
62.4%	28.1%	9.5%	10
62.4%	26.5%	11%	11
62.4%	26.5%	11%	12
62.4%	25.8%	11.8%	13
62.4%	25.8%	11.8%	14

sample150.0ms (2.2%)

Algorithm

1×

intervals

Results

54.0ms	97×	body	1280	valid
27.0ms	87×	body	640	valid
20.0ms	59×	body	1280	invalid
11.0ms	48×	body	640	invalid
9.0ms	46×	body	320	valid
5.0ms	86×	body	80	invalid
4.0ms	23×	body	320	invalid
3.0ms	22×	body	160	valid
1.0ms	9×	body	160	invalid
0.0ms	4×	body	80	valid

simplify51.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4868	11
1	4868	11

prune13.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 44.0b

Counts

2 → 1

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
6.9b	(- (exp (neg im)) (exp im))

rewrite18.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-sqr-sqrt` `*-un-lft-identity` `add-cbrt-cube`
5×	`associate-r`
4×	`add-log-exp`
3×	`add-cube-cbrt` `sub-neg` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`flip3--` `associate-*r/` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`distribute-rgt-in` `distribute-lft-in` `diff-log` `associate-l` `*-commutative`

Counts

2 → 37

Calls

2 calls:

11.0ms	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
6.0ms	(- (exp (neg im)) (exp im))

series21.0ms (0.3%)

Counts

2 → 6

Calls

2 calls:

16.0ms	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
5.0ms	(- (exp (neg im)) (exp im))

simplify42.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5022	469

prune80.0ms (1.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	42	1	43
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	43	1	44

Merged error: 0.1b

Counts

44 → 1

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))
0.1b	(* (pow im 5) -1/60)
0.1b	(* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
0.1b	(* (pow im 3) -1/3)

rewrite30.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
20×	`associate-l`
19×	`add-exp-log`
13×	`add-cbrt-cube`
12×	`add-cube-cbrt` `*-un-lft-identity`
9×	`pow1` `associate-r` `prod-exp`
8×	`unpow-prod-down`
7×	`unswap-sqr`
6×	`add-log-exp`
5×	`cbrt-unprod`
4×	`cube-prod` `sqr-pow`
3×	`pow-prod-down` `*-commutative`
2×	`pow-to-exp` `flip3-+` `associate-*r/` `pow-exp` `flip-+`
1×	`+-commutative` `distribute-rgt-in` `cube-mult` `distribute-lft-in` `unpow3` `sum-log`

Counts

4 → 89

Calls

4 calls:

11.0ms	(* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
6.0ms	(* (pow im 3) -1/3)
5.0ms	(+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))
5.0ms	(* (pow im 5) -1/60)

series59.0ms (0.8%)

Counts

4 → 12

Calls

4 calls:

36.0ms	(* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
12.0ms	(+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))
7.0ms	(* (pow im 5) -1/60)
4.0ms	(* (pow im 3) -1/3)

simplify35.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	6066	1143

prune288.0ms (4.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	94	7	101
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	95	7	102

Merged error: 0.0b

Counts

102 → 7

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.1b	(* (pow im 5) -1/60)
0.1b	(* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))
0.1b	(* im (* (* 0.5 (sin re)) -2))
0.1b	(* -1/3 (pow im 3))

rewrite30.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
25×	`add-exp-log`
19×	`associate-r` `add-cbrt-cube`
16×	`associate-l`
15×	`pow1`
14×	`add-cube-cbrt` `*-un-lft-identity`
13×	`prod-exp`
9×	`cbrt-unprod`
8×	`unpow-prod-down` `unswap-sqr`
7×	`pow-prod-down`
4×	`cube-prod` `*-commutative` `add-log-exp` `sqr-pow`
2×	`pow-to-exp` `associate-*r/` `pow-exp`
1×	`distribute-rgt-in` `cube-mult` `distribute-lft-in` `flip3-+` `unpow3` `flip-+`

Counts

4 → 99

Calls

4 calls:

9.0ms	(* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))
7.0ms	(* im (* (* 0.5 (sin re)) -2))
6.0ms	(* -1/3 (pow im 3))
5.0ms	(* (pow im 5) -1/60)

series67.0ms (1%)

Counts

4 → 12

Calls

4 calls:

49.0ms	(* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))
8.0ms	(* im (* (* 0.5 (sin re)) -2))
5.0ms	(* (pow im 5) -1/60)
4.0ms	(* -1/3 (pow im 3))

simplify58.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4930	996
1	4930	996

prune317.0ms (4.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	109	2	111
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	110	8	118

Merged error: 0.0b

Counts

118 → 8

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2)))))
15.3b	(cbrt (* im (* 0.5 (* (sin re) -2))))
15.3b	(cbrt (* im (* 0.5 (* (sin re) -2))))
15.3b	(cbrt (* im (* 0.5 (* (sin re) -2))))

rewrite25.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`pow1`
10×	`add-sqr-sqrt`
9×	`pow1/3`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`cbrt-prod`
6×	`add-exp-log`
4×	`swap-sqr` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 58

Calls

4 calls:

8.0ms	(* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2)))))
6.0ms	(cbrt (* im (* 0.5 (* (sin re) -2))))
5.0ms	(cbrt (* im (* 0.5 (* (sin re) -2))))
5.0ms	(cbrt (* im (* 0.5 (* (sin re) -2))))

series130.0ms (1.9%)

Counts

4 → 12

Calls

4 calls:

43.0ms	(* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2)))))
31.0ms	(cbrt (* im (* 0.5 (* (sin re) -2))))
28.0ms	(cbrt (* im (* 0.5 (* (sin re) -2))))
28.0ms	(cbrt (* im (* 0.5 (* (sin re) -2))))

simplify60.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5202	707

prune246.0ms (3.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	69	9	78

Merged error: 0.0b

Counts

78 → 9

regimes250.0ms (3.6%)

Accuracy

Total 0.1b remaining (10.4%)

Threshold costs 0.1b (10.4%)

bsearch0.0ms (0%)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	25
1	29	25

end0.0ms (0%)

sample4.5s (65.4%)

Algorithm

1×

intervals

Results

1.9s	3258×	body	1280	valid
829.0ms	2581×	body	640	valid
513.0ms	1482×	body	1280	invalid
309.0ms	1274×	body	640	invalid
261.0ms	1288×	body	320	valid
158.0ms	2490×	body	80	invalid
106.0ms	625×	body	320	invalid
84.0ms	641×	body	160	valid
41.0ms	310×	body	160	invalid
15.0ms	232×	body	80	valid

Details

analyze354.0ms (5.1%)

sample150.0ms (2.2%)

simplify51.0ms (0.7%)

prune13.0ms (0.2%)

localize11.0ms (0.2%)

rewrite18.0ms (0.3%)

series21.0ms (0.3%)

simplify42.0ms (0.6%)

prune80.0ms (1.2%)

localize16.0ms (0.2%)

rewrite30.0ms (0.4%)

series59.0ms (0.8%)

simplify35.0ms (0.5%)

prune288.0ms (4.2%)

localize22.0ms (0.3%)

rewrite30.0ms (0.4%)

series67.0ms (1%)

simplify58.0ms (0.8%)

prune317.0ms (4.6%)

localize23.0ms (0.3%)

rewrite25.0ms (0.4%)

series130.0ms (1.9%)

simplify60.0ms (0.9%)

prune246.0ms (3.5%)

regimes250.0ms (3.6%)

bsearch0.0ms (0%)

simplify1.0ms (0%)

end0.0ms (0%)

sample4.5s (65.4%)

Profiling