Details

analyze198.0ms (7.4%)

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

sample50.0ms (1.9%)

Algorithm

1×

intervals

Results

13.0ms	39×	body	1024	valid
9.0ms	179×	body	128	valid
8.0ms	20×	body	512	valid
7.0ms	23×	body	1024	invalid
2.0ms	18×	body	256	valid
1.0ms	10×	body	512	invalid
0.0ms	7×	body	128	invalid
0.0ms	3×	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

prune1.0ms (0%)

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) (cos.f64 im))

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite13.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

5×	`add-sqr-sqrt_binary64`
3×	`associate-r_binary64`
3×	`associate-l_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 18

Calls

1 calls:

4.0ms

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

Compiler

Compiled 180 to 50 computations (72.2% saved)

series25.0ms (0.9%)

Error

0.0b

Counts

1 → 10

Calls

1 calls:

21.0ms

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

Compiler

Compiled 223 to 136 computations (39% saved)

simplify84.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

561×	`associate-*l/_binary64`
313×	`unswap-sqr_binary64`
282×	`associate-/l*_binary64`
281×	`*-commutative_binary64`
183×	`distribute-rgt-in_binary64`

Counts

28 → 19

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	51	350
1	123	314
2	319	302
3	721	294
4	1098	294
5	1730	294
6	2302	294
7	4732	294
8	4781	294

prune9.0ms (0.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

0.0b

Counts

20 → 3

Alt Table

Status	Error	Program
▶	0.1b	(.f64 (.f64 (cbrt.f64 (exp.f64 re)) (cbrt.f64 (exp.f64 re))) (*.f64 (cos.f64 im) (cbrt.f64 (exp.f64 re))))
	0.3b	(cbrt.f64 (pow.f64 (*.f64 (cos.f64 im) (exp.f64 re)) 3))
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 207 to 92 computations (55.6% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (cbrt.f64 (exp.f64 re)) (cbrt.f64 (exp.f64 re)))
0.2b	(cbrt.f64 (exp.f64 re))
0.2b	(cbrt.f64 (exp.f64 re))
0.2b	(cbrt.f64 (exp.f64 re))

rewrite55.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`
11×	`pow1_binary64`

Counts

4 → 73

Calls

4 calls:

6.0ms	(*.f64 (cbrt.f64 (exp.f64 re)) (cbrt.f64 (exp.f64 re)))
2.0ms	(cbrt.f64 (exp.f64 re))
1.0ms	(cbrt.f64 (exp.f64 re))
1.0ms	(cbrt.f64 (exp.f64 re))

Compiler

Compiled 1342 to 234 computations (82.6% saved)

series65.0ms (2.4%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

17.0ms	(cbrt.f64 (exp.f64 re))
13.0ms	(*.f64 (cbrt.f64 (exp.f64 re)) (cbrt.f64 (exp.f64 re)))
11.0ms	(cbrt.f64 (exp.f64 re))
11.0ms	(cbrt.f64 (exp.f64 re))

Compiler

Compiled 948 to 564 computations (40.5% saved)

simplify118.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

983×	`log-prod_binary64`
463×	`unswap-sqr_binary64`
410×	`exp-prod_binary64`
325×	`cube-prod_binary64`
269×	`log-pow_binary64`

Counts

97 → 74

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	67	1012
1	128	942
2	371	879
3	840	849
4	2373	689
5	3509	689
6	4577	689
7	5010	689

prune25.0ms (0.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	1	0	1
Picked	1	0	1
Done	0	1	1
Total	75	2	77

Error

0.0b

Counts

77 → 2

Alt Table

Status	Error	Program
▶	0.0b	(.f64 (pow.f64 (exp.f64 re) 2/3) (.f64 (cos.f64 im) (cbrt.f64 (exp.f64 re))))
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 699 to 257 computations (63.2% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(pow.f64 (exp.f64 re) 2/3)
0.0b	(*.f64 (cos.f64 im) (cbrt.f64 (exp.f64 re)))
0.0b	(.f64 (pow.f64 (exp.f64 re) 2/3) (.f64 (cos.f64 im) (cbrt.f64 (exp.f64 re))))
0.2b	(cbrt.f64 (exp.f64 re))

rewrite66.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`add-sqr-sqrt_binary64`
17×	`add-exp-log_binary64`
13×	`*-un-lft-identity_binary64`
13×	`add-cube-cbrt_binary64`
10×	`associate-l_binary64`

Counts

4 → 77

Calls

4 calls:

6.0ms	(.f64 (pow.f64 (exp.f64 re) 2/3) (.f64 (cos.f64 im) (cbrt.f64 (exp.f64 re))))
4.0ms	(*.f64 (cos.f64 im) (cbrt.f64 (exp.f64 re)))
2.0ms	(pow.f64 (exp.f64 re) 2/3)
1.0ms	(cbrt.f64 (exp.f64 re))

Compiler

Compiled 1285 to 477 computations (62.9% saved)

series81.0ms (3%)

Error

0.0b

Counts

4 → 32

Calls

4 calls:

29.0ms	(*.f64 (cos.f64 im) (cbrt.f64 (exp.f64 re)))
13.0ms	(.f64 (pow.f64 (exp.f64 re) 2/3) (.f64 (cos.f64 im) (cbrt.f64 (exp.f64 re))))
11.0ms	(cbrt.f64 (exp.f64 re))
11.0ms	(pow.f64 (exp.f64 re) 2/3)

Compiler

Compiled 1015 to 674 computations (33.6% saved)

simplify157.0ms (5.8%)

Algorithm

1×	egg-herbie

Rules

428×	`unswap-sqr_binary64`
375×	`*-commutative_binary64`
358×	`log-prod_binary64`
331×	`exp-prod_binary64`
272×	`sqr-pow_binary64`

Counts

109 → 82

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	143	1486
1	314	1180
2	972	1119
3	2061	1107
4	3399	1061
5	4386	1061
6	4729	1061
7	4982	1061
8	4860	1061

prune32.0ms (1.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

84 → 2

Alt Table

Status	Error	Program
	0.0b	(.f64 (pow.f64 (exp.f64 re) 2/3) (.f64 (cos.f64 im) (cbrt.f64 (exp.f64 re))))
	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 825 to 364 computations (55.9% saved)

regimes102.0ms (3.8%)

Accuracy

Total 0.0b remaining (30.5%)

Threshold costs 0.0b (30.5%)

Compiler

Compiled 1482 to 955 computations (35.6% 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

end0.0ms (0%)

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

sample1.6s (58.4%)

Algorithm

1×

intervals

Results

454.0ms	1348×	body	1024	valid
310.0ms	5596×	body	128	valid
219.0ms	667×	body	1024	invalid
113.0ms	722×	body	512	valid
54.0ms	348×	body	512	invalid
40.0ms	331×	body	256	valid
22.0ms	206×	body	128	invalid
16.0ms	161×	body	256	invalid
3.0ms	3×	body	2048	valid

Compiler

Compiled 37 to 27 computations (27% saved)

Details

analyze198.0ms (7.4%)

sample50.0ms (1.9%)

simplify8.0ms (0.3%)

prune1.0ms (0%)

localize4.0ms (0.2%)

rewrite13.0ms (0.5%)

series25.0ms (0.9%)

simplify84.0ms (3.1%)

prune9.0ms (0.3%)

localize10.0ms (0.4%)

rewrite55.0ms (2%)

series65.0ms (2.4%)

simplify118.0ms (4.4%)

prune25.0ms (0.9%)

localize8.0ms (0.3%)

rewrite66.0ms (2.5%)

series81.0ms (3%)

simplify157.0ms (5.8%)

prune32.0ms (1.2%)

regimes102.0ms (3.8%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.6s (58.4%)

Profiling