Details

analyze224.0ms (9.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	11	16
0	2	2
1	2	2

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
74.9%	25%	0.1%	5
74.9%	18.7%	6.3%	6
74.9%	18.7%	6.3%	7
74.9%	15.6%	9.5%	8
74.9%	15.6%	9.5%	9
74.9%	14%	11%	10
74.9%	14%	11%	11
74.9%	13.3%	11.8%	12
74.9%	13.3%	11.8%	13
74.9%	12.9%	12.2%	14

Compiler

Compiled 6 to 6 computations (0% saved)

sample38.0ms (1.7%)

Algorithm

1×

intervals

Results

12.0ms	56×	body	1024	valid
6.0ms	164×	body	128	valid
3.0ms	28×	body	512	valid
2.0ms	16×	body	1024	invalid
1.0ms	10×	body	512	invalid
1.0ms	8×	body	256	invalid
1.0ms	8×	body	256	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify7.0ms (0.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)

localize9.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

rewrite17.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

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

Counts

1 → 18

Calls

1 calls:

5.0ms

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

Compiler

Compiled 192 to 54 computations (71.9% saved)

series81.0ms (3.6%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

72.0ms

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

Compiler

Compiled 284 to 186 computations (34.5% saved)

simplify88.0ms (3.9%)

Algorithm

1×	egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4907	351
1	4907	351

prune19.0ms (0.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

31 → 2

Compiler

Compiled 285 to 104 computations (63.5% saved)

localize6.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite70.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

19×	`add-sqr-sqrt_binary64_782`
13×	`pow1_binary64_821` `add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760` `sqrt-prod_binary64_776`
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×	`pow-prod-down_binary64_831` `prod-exp_binary64_809` `add-log-exp_binary64_799` `cbrt-unprod_binary64_793`
2×	`*-commutative_binary64_691` `unswap-sqr_binary64_728` `pow1/2_binary64_840` `rem-sqrt-square_binary64_773`

Counts

4 → 75

Calls

4 calls:

10.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))
6.0ms	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
2.0ms	(sqrt.f64 (exp.f64 re))
2.0ms	(sqrt.f64 (exp.f64 re))

Compiler

Compiled 1207 to 234 computations (80.6% saved)

series236.0ms (10.5%)

Error

Counts

4 → 36

Calls

4 calls:

92.0ms	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
76.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))
26.0ms	(sqrt.f64 (exp.f64 re))
18.0ms	(sqrt.f64 (exp.f64 re))

Compiler

Compiled 1092 to 663 computations (39.3% saved)

simplify154.0ms (6.8%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (137.0ms)

Iter	Nodes	Cost
0	4754	1182
1	4754	1182

prune65.0ms (2.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

113 → 2

Compiler

Compiled 1425 to 402 computations (71.8% saved)

regimes58.0ms (2.6%)

Accuracy

Total 0.0b remaining (46.1%)

Threshold costs 0.0b (46.1%)

Compiler

Compiled 242 to 195 computations (19.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.2s (52.4%)

Algorithm

1×

intervals

Results

309.0ms	1388×	body	1024	valid
208.0ms	5580×	body	128	valid
98.0ms	635×	body	1024	invalid
88.0ms	684×	body	512	valid
32.0ms	300×	body	512	invalid
26.0ms	343×	body	256	valid
11.0ms	151×	body	256	invalid
8.0ms	175×	body	128	invalid
2.0ms	5×	body	2048	valid

Compiler

Compiled 55 to 46 computations (16.4% saved)

Details

analyze224.0ms (9.9%)

sample38.0ms (1.7%)

simplify7.0ms (0.3%)

prune2.0ms (0.1%)

localize9.0ms (0.4%)

rewrite17.0ms (0.7%)

series81.0ms (3.6%)

simplify88.0ms (3.9%)

prune19.0ms (0.8%)

localize6.0ms (0.3%)

rewrite70.0ms (3.1%)

series236.0ms (10.5%)

simplify154.0ms (6.8%)

prune65.0ms (2.9%)

regimes58.0ms (2.6%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.2s (52.4%)

Profiling