Details

analyze152.0ms (5.3%)

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 8 to 6 computations (25% saved)

sample44.0ms (1.5%)

Algorithm

1×

intervals

Results

11.0ms	46×	body	1024	valid
8.0ms	179×	body	128	valid
7.0ms	20×	body	512	valid
2.0ms	10×	body	1024	invalid
1.0ms	24×	body	128	invalid
1.0ms	9×	body	512	invalid
1.0ms	11×	body	256	valid
0.0ms	5×	body	256	invalid

Compiler

Compiled 17 to 13 computations (23.5% saved)

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	7	8
2	7	8

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite19.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

5×	`add-sqr-sqrt_binary64`
3×	`pow1_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `-un-lft-identity_binary64` `associate-l_binary64` `associate-r*_binary64`
2×	`add-exp-log_binary64`
1×	`pow-prod-down_binary64` `prod-exp_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `*-commutative_binary64`

Counts

1 → 18

Calls

1 calls:

6.0ms

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

Compiler

Compiled 180 to 50 computations (72.2% saved)

series34.0ms (1.2%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

25.0ms

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

Compiler

Compiled 319 to 192 computations (39.8% saved)

simplify132.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

601×	`cancel-sign-sub-inv_binary64`
538×	`distribute-rgt-neg-in_binary64`
423×	`unswap-sqr_binary64`
352×	`distribute-lft-neg-in_binary64`
287×	`*-commutative_binary64`

Counts

30 → 18

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	69	438
1	174	402
2	471	372
3	1179	354
4	2008	354
5	3249	354
6	4318	354
7	4884	354
8	4954	354
9	4777	354

prune16.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	17	1	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	17	2	19

Error

0.0b

Counts

19 → 2

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
▶	0.0b	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))

Compiler

Compiled 216 to 102 computations (52.8% saved)

localize7.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 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
0.0b	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))

rewrite82.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

19×	`add-sqr-sqrt_binary64`
13×	`pow1_binary64` `add-cube-cbrt_binary64` `*-un-lft-identity_binary64` `sqrt-prod_binary64`
11×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`associate-l_binary64`
8×	`sqrt-pow1_binary64`

Counts

4 → 75

Calls

4 calls:

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

Compiler

Compiled 1064 to 222 computations (79.1% saved)

series81.0ms (2.8%)

Error

0.0b

Counts

4 → 36

Calls

4 calls:

25.0ms	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))
19.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
8.0ms	(sqrt.f64 (exp.f64 re))
8.0ms	(sqrt.f64 (exp.f64 re))

Compiler

Compiled 1137 to 673 computations (40.8% saved)

simplify188.0ms (6.5%)

Algorithm

1×	egg-herbie

Rules

594×	`cancel-sign-sub-inv_binary64`
396×	`sub-neg_binary64`
332×	`*-commutative_binary64`
329×	`unswap-sqr_binary64`
294×	`distribute-lft-out_binary64`

Counts

111 → 69

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	130	1534
1	316	1341
2	870	1251
3	1489	1209
4	2398	1209
5	3920	1195
6	4377	1183
7	4799	1183
8	4996	1183
9	4801	1183

prune42.0ms (1.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	68	1	69
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	69	2	71

Error

Counts

71 → 2

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
▶	0.0b	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (pow.f64 (exp.f64 1) (*.f64 re 1/2))))

Compiler

Compiled 749 to 306 computations (59.1% saved)

localize11.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite98.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

19×	`add-sqr-sqrt_binary64`
17×	`add-exp-log_binary64`
13×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
11×	`add-cbrt-cube_binary64`
10×	`prod-exp_binary64`

Counts

4 → 81

Calls

4 calls:

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

Compiler

Compiled 1550 to 928 computations (40.1% saved)

series122.0ms (4.3%)

Error

Counts

4 → 36

Calls

4 calls:

43.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (pow.f64 (exp.f64 1) (*.f64 re 1/2))))
32.0ms	(.f64 (sin.f64 im) (pow.f64 (exp.f64 1) (.f64 re 1/2)))
9.0ms	(sqrt.f64 (exp.f64 re))
8.0ms	(pow.f64 (exp.f64 1) (*.f64 re 1/2))

Compiler

Compiled 1404 to 974 computations (30.6% saved)

simplify193.0ms (6.7%)

Algorithm

1×	egg-herbie

Rules

453×	`*-commutative_binary64`
436×	`unswap-sqr_binary64`
326×	`cancel-sign-sub-inv_binary64`
296×	`associate-+l+_binary64`
267×	`exp-prod_binary64`

Counts

117 → 97

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	165	2064
1	387	1787
2	1121	1363
3	1782	1310
4	4161	1308
5	4711	1308
6	4895	1308
7	4927	1308
8	4893	1308

prune55.0ms (1.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

99 → 2

Alt Table

Status	Error	Program
	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
	0.0b	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (pow.f64 (exp.f64 1) (*.f64 re 1/2))))

Compiler

Compiled 1046 to 501 computations (52.1% saved)

regimes241.0ms (8.4%)

Accuracy

Total 0.0b remaining (33.7%)

Threshold costs 0.0b (33.7%)

Compiler

Compiled 2837 to 1820 computations (35.8% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	7	8
2	7	8

end1.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

sample1.3s (46.6%)

Algorithm

1×

intervals

Results

330.0ms	1356×	body	1024	valid
258.0ms	5661×	body	128	valid
118.0ms	663×	body	1024	invalid
90.0ms	642×	body	512	valid
44.0ms	327×	body	512	invalid
43.0ms	825×	body	128	invalid
30.0ms	338×	body	256	valid
18.0ms	208×	body	256	invalid
1.0ms	3×	body	2048	valid

Compiler

Compiled 39 to 30 computations (23.1% saved)

Details

analyze152.0ms (5.3%)

sample44.0ms (1.5%)

simplify8.0ms (0.3%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

rewrite19.0ms (0.7%)

series34.0ms (1.2%)

simplify132.0ms (4.6%)

prune16.0ms (0.6%)

localize7.0ms (0.3%)

rewrite82.0ms (2.9%)

series81.0ms (2.8%)

simplify188.0ms (6.5%)

prune42.0ms (1.5%)

localize11.0ms (0.4%)

rewrite98.0ms (3.4%)

series122.0ms (4.3%)

simplify193.0ms (6.7%)

prune55.0ms (1.9%)

regimes241.0ms (8.4%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample1.3s (46.6%)

Profiling