Details

analyze126.0ms (4.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
50%	50%	0.1%	2
50%	50%	0.1%	3
74.9%	25%	0.1%	4
81.2%	18.7%	0.1%	5
81.2%	15.6%	3.2%	6
81.2%	15.6%	3.2%	7
81.2%	14%	4.8%	8
81.2%	14%	4.8%	9
81.2%	13.3%	5.6%	10
81.2%	13.3%	5.6%	11
81.2%	12.9%	6%	12
81.2%	12.9%	6%	13
81.2%	12.7%	6.1%	14

Compiler

Compiled 6 to 6 computations (0% saved)

sample35.0ms (1.3%)

Algorithm

1×

intervals

Results

8.0ms	38×	body	1024	valid
8.0ms	180×	body	128	valid
4.0ms	26×	body	1024	invalid
3.0ms	21×	body	512	valid
1.0ms	17×	body	256	valid
1.0ms	23×	body	128	invalid
1.0ms	7×	body	512	invalid
0.0ms	5×	body	256	invalid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify92.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	7	8
1	7	8

prune2.0ms (0.1%)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 10 to 10 computations (0% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 (exp.f64 re) (sin.f64 im))

rewrite7.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64_782`
3×	`-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-cbrt-cube_binary64_796` `associate-r_binary64_700` `associate-l*_binary64_701` `pow1_binary64_821`
2×	`add-exp-log_binary64_798`
1×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `add-log-exp_binary64_799` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

1 → 18

Calls

1 calls:

6.0ms

(*.f64 (exp.f64 re) (sin.f64 im))

series72.0ms (2.6%)

Counts

1 → 12

Calls

1 calls:

72.0ms

(*.f64 (exp.f64 re) (sin.f64 im))

Compiler

Compiled 160 to 128 computations (20% saved)

simplify100.0ms (3.6%)

Algorithm

1×	egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	4876	354
1	4876	354

prune25.0ms (0.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	28	2	30
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	28	3	31

Error

0.0b

Counts

31 → 3

Compiler

Compiled 307 to 114 computations (62.9% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
0.0b	(sqrt.f64 (exp.f64 re))
0.0b	(sqrt.f64 (exp.f64 re))
0.0b	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))

rewrite27.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_782`
13×	`*-un-lft-identity_binary64_760` `sqrt-prod_binary64_776` `add-cube-cbrt_binary64_795` `pow1_binary64_821`
11×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
9×	`associate-l_binary64_701`
8×	`sqrt-pow1_binary64_778`
7×	`associate-r_binary64_700`
6×	`exp-prod_binary64_812`
4×	`prod-exp_binary64_809` `add-log-exp_binary64_799` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831`
2×	`unswap-sqr_binary64_728` `rem-sqrt-square_binary64_773` `pow1/2_binary64_840` `*-commutative_binary64_691`

Counts

4 → 75

Calls

4 calls:

11.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
7.0ms	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))
2.0ms	(sqrt.f64 (exp.f64 re))
2.0ms	(sqrt.f64 (exp.f64 re))

series209.0ms (7.6%)

Counts

4 → 36

Calls

4 calls:

99.0ms	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))
73.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
20.0ms	(sqrt.f64 (exp.f64 re))
18.0ms	(sqrt.f64 (exp.f64 re))

Compiler

Compiled 612 to 466 computations (23.9% saved)

simplify137.0ms (5%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (120.0ms)

Iter	Nodes	Cost
0	4888	1191
1	4888	1191

prune71.0ms (2.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	110	1	111
Fresh	1	0	1
Picked	1	0	1
Done	0	1	1
Total	112	2	114

Error

Counts

114 → 2

Compiler

Compiled 1442 to 420 computations (70.9% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(.f64 (exp.f64 (.f64 re 1/2)) (*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
0.0b	(sqrt.f64 (exp.f64 re))
0.0b	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))

rewrite21.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_782`
11×	`pow1_binary64_821`
10×	`add-cbrt-cube_binary64_796`
9×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
8×	`add-exp-log_binary64_798`
7×	`sqrt-prod_binary64_776` `associate-r_binary64_700`
6×	`associate-l_binary64_701`
4×	`prod-exp_binary64_809` `sqrt-pow1_binary64_778` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831`
3×	`exp-prod_binary64_812` `add-log-exp_binary64_799`
2×	`unswap-sqr_binary64_728` `*-commutative_binary64_691`
1×	`rem-sqrt-square_binary64_773` `pow1/2_binary64_840`

Counts

3 → 56

Calls

3 calls:

9.0ms	(.f64 (exp.f64 (.f64 re 1/2)) (*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
7.0ms	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))
2.0ms	(sqrt.f64 (exp.f64 re))

series251.0ms (9.2%)

Counts

3 → 30

Calls

3 calls:

135.0ms	(.f64 (exp.f64 (.f64 re 1/2)) (*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
95.0ms	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))
21.0ms	(sqrt.f64 (exp.f64 re))

Compiler

Compiled 642 to 522 computations (18.7% saved)

simplify122.0ms (4.5%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	4885	1004
1	4885	1004

prune63.0ms (2.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

88 → 2

Compiler

Compiled 1162 to 541 computations (53.4% saved)

regimes96.0ms (3.5%)

Accuracy

Total 0.0b remaining (50%)

Threshold costs 0.0b (50%)

Compiler

Compiled 602 to 455 computations (24.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	7	8

end0.0ms (0%)

sample1.3s (46.2%)

Algorithm

1×

intervals

Results

300.0ms	1320×	body	1024	valid
255.0ms	5657×	body	128	valid
120.0ms	687×	body	1024	invalid
86.0ms	676×	body	512	valid
38.0ms	769×	body	128	invalid
33.0ms	286×	body	512	invalid
29.0ms	341×	body	256	valid
15.0ms	165×	body	256	invalid
3.0ms	6×	body	2048	valid

Compiler

Compiled 127 to 98 computations (22.8% saved)

Details

analyze126.0ms (4.6%)

sample35.0ms (1.3%)

simplify92.0ms (3.3%)

prune2.0ms (0.1%)

localize4.0ms (0.2%)

rewrite7.0ms (0.2%)

series72.0ms (2.6%)

simplify100.0ms (3.6%)

prune25.0ms (0.9%)

localize7.0ms (0.2%)

rewrite27.0ms (1%)

series209.0ms (7.6%)

simplify137.0ms (5%)

prune71.0ms (2.6%)

localize9.0ms (0.3%)

rewrite21.0ms (0.8%)

series251.0ms (9.2%)

simplify122.0ms (4.5%)

prune63.0ms (2.3%)

regimes96.0ms (3.5%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.3s (46.2%)

Profiling