Details

analyze134.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)

sample37.0ms (1.3%)

Algorithm

1×

intervals

Results

13.0ms	55×	body	1024	valid
7.0ms	168×	body	128	valid
3.0ms	20×	body	512	valid
2.0ms	12×	body	1024	invalid
1.0ms	30×	body	128	invalid
1.0ms	13×	body	256	valid
0.0ms	5×	body	256	invalid
0.0ms	3×	body	512	invalid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify97.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)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite7.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64_1464`
3×	`associate-r_binary64_1382` `add-cbrt-cube_binary64_1478` `associate-l_binary64_1383` `pow1_binary64_1503` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
2×	`add-exp-log_binary64_1480`
1×	`cbrt-unprod_binary64_1475` `pow-prod-down_binary64_1513` `*-commutative_binary64_1373` `add-log-exp_binary64_1481` `prod-exp_binary64_1491` `unswap-sqr_binary64_1410`

Counts

1 → 18

Calls

2 calls:

6.0ms	(*.f64 (exp.f64 re) (sin.f64 im))
0.0ms	(*.f64 (exp.f64 re) (sin.f64 im))

series85.0ms (2.9%)

Counts

1 → 11

Calls

1 calls:

85.0ms

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

Compiler

Compiled 160 to 128 computations (20% saved)

simplify84.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

29 → 29

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4902	321
1	4902	321

prune20.0ms (0.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

30 → 2

Compiler

Compiled 261 to 89 computations (65.9% saved)

localize9.0ms (0.3%)

Local error

Found 6 expressions with local error:

0.8b	(exp.f64 (+.f64 re (log.f64 (sin.f64 im))))
0.4b	(log.f64 (sin.f64 im))
0.0b	(+.f64 re (log.f64 (sin.f64 im)))
0.0b	(+.f64 re (log.f64 (sin.f64 im)))
0.4b	(log.f64 (sin.f64 im))
0.8b	(exp.f64 (+.f64 re (log.f64 (sin.f64 im))))

rewrite13.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64_1442`
6×	`log-prod_binary64_1528` `add-log-exp_binary64_1481` `add-sqr-sqrt_binary64_1464` `pow1_binary64_1503` `add-cube-cbrt_binary64_1477`
5×	`exp-prod_binary64_1494`
4×	`add-exp-log_binary64_1480` `distribute-lft-out_binary64_1393`
3×	`add-cbrt-cube_binary64_1478` `log-pow_binary64_1531` `associate-+r+_binary64_1374`
2×	`sum-log_binary64_1533` `rem-exp-log_binary64_1482`
1×	`rem-log-exp_binary64_1483` `+-commutative_binary64_1372` `flip3-+_binary64_1445` `flip-+_binary64_1416` `exp-sum_binary64_1488`

Counts

3 → 43

Calls

6 calls:

5.0ms	(exp.f64 (+.f64 re (log.f64 (sin.f64 im))))
4.0ms	(+.f64 re (log.f64 (sin.f64 im)))
1.0ms	(log.f64 (sin.f64 im))
0.0ms	(+.f64 re (log.f64 (sin.f64 im)))
0.0ms	(log.f64 (sin.f64 im))

series312.0ms (10.7%)

Counts

3 → 27

Calls

3 calls:

148.0ms	(+.f64 re (log.f64 (sin.f64 im)))
104.0ms	(exp.f64 (+.f64 re (log.f64 (sin.f64 im))))
59.0ms	(log.f64 (sin.f64 im))

Compiler

Compiled 414 to 343 computations (17.1% saved)

simplify130.0ms (4.5%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (117.0ms)

Iter	Nodes	Cost
0	4926	687
1	4926	687

prune36.0ms (1.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

72 → 2

Compiler

Compiled 639 to 201 computations (68.5% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	57
1	29	57

regimes73.0ms (2.5%)

Compiler: Compiled 222 to 260 computations (-17.1% saved)

bsearch0.0ms (0%)

regimes146.0ms (5%)

Compiler: Compiled 172 to 222 computations (-29.1% saved)

bsearch1.0ms (0%)

Compiler: Compiled 2 to 3 computations (-50% saved)

regimes135.0ms (4.6%)

Compiler: Compiled 112 to 172 computations (-53.6% saved)

bsearch0.0ms (0%)

Compiler: Compiled 2 to 3 computations (-50% saved)

regimes121.0ms (4.1%)

Compiler: Compiled 67 to 117 computations (-74.6% saved)

bsearch30.0ms (1%)

Steps

Iters	Range		Point
14	0.0	9.434857144439931e-60	8.806710028269764e-60

Compiler

Compiled 2 to 3 computations (-50% saved)

regimes27.0ms (0.9%)

Compiler: Compiled 23 to 50 computations (-117.4% saved)

bsearch0.0ms (0%)

regimes25.0ms (0.9%)

Accuracy

Total 0.0b remaining (17.8%)

Threshold costs 0.0b (17.8%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch33.0ms (1.1%)

Steps

Iters	Range		Point
10	-135.9106945419607	-5.004637633776935e-15	-8.147025997709781e-07

Compiler

Compiled 53 to 54 computations (-1.9% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	35	77
1	35	77

end0.0ms (0%)

sample1.4s (46.3%)

Algorithm

1×

intervals

Results

319.0ms	1354×	body	1024	valid
253.0ms	5643×	body	128	valid
112.0ms	640×	body	1024	invalid
87.0ms	675×	body	512	valid
40.0ms	874×	body	128	invalid
34.0ms	292×	body	512	invalid
31.0ms	324×	body	256	valid
13.0ms	162×	body	256	invalid
2.0ms	4×	body	2048	valid

Compiler

Compiled 98 to 106 computations (-8.2% saved)

Pareto

0.08671021897931729

Details

analyze134.0ms (4.6%)

sample37.0ms (1.3%)

simplify97.0ms (3.3%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

rewrite7.0ms (0.2%)

series85.0ms (2.9%)

simplify84.0ms (2.9%)

prune20.0ms (0.7%)

localize9.0ms (0.3%)

rewrite13.0ms (0.5%)

series312.0ms (10.7%)

simplify130.0ms (4.5%)

prune36.0ms (1.2%)

simplify3.0ms (0.1%)

regimes73.0ms (2.5%)

bsearch0.0ms (0%)

regimes146.0ms (5%)

bsearch1.0ms (0%)

regimes135.0ms (4.6%)

bsearch0.0ms (0%)

regimes121.0ms (4.1%)

bsearch30.0ms (1%)

regimes27.0ms (0.9%)

bsearch0.0ms (0%)

regimes25.0ms (0.9%)

bsearch33.0ms (1.1%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.4s (46.3%)

Profiling