Details

analyze145.0ms (3.2%)

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)

sample40.0ms (0.9%)

Algorithm

1×

intervals

Results

9.0ms	39×	body	1024	valid
9.0ms	185×	body	128	valid
4.0ms	22×	body	1024	invalid
3.0ms	23×	body	512	valid
2.0ms	14×	body	512	invalid
1.0ms	24×	body	128	invalid
1.0ms	9×	body	256	valid
1.0ms	6×	body	256	invalid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify97.0ms (2.1%)

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%)

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.1%)

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.1%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64_1425`
3×	`-un-lft-identity_binary64_1403` `associate-l_binary64_1344` `pow1_binary64_1464` `add-cube-cbrt_binary64_1438` `associate-r*_binary64_1343` `add-cbrt-cube_binary64_1439`
2×	`add-exp-log_binary64_1441`
1×	`unswap-sqr_binary64_1371` `prod-exp_binary64_1452` `add-log-exp_binary64_1442` `pow-prod-down_binary64_1474` `*-commutative_binary64_1334` `cbrt-unprod_binary64_1436`

Counts

1 → 18

Calls

2 calls:

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

series74.0ms (1.6%)

Counts

1 → 11

Calls

1 calls:

74.0ms

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

Compiler

Compiled 160 to 128 computations (20% saved)

simplify84.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

29 → 29

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4902	321
1	4902	321

prune39.0ms (0.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	25	4	29
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	25	5	30

Error

0.0b

Counts

30 → 5

Compiler

Compiled 307 to 114 computations (62.9% saved)

localize8.0ms (0.2%)

Local error

Found 8 expressions with local error:

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

rewrite28.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_1425`
13×	`*-un-lft-identity_binary64_1403` `pow1_binary64_1464` `add-cube-cbrt_binary64_1438` `sqrt-prod_binary64_1419`
11×	`add-exp-log_binary64_1441` `add-cbrt-cube_binary64_1439`
9×	`associate-l_binary64_1344`
8×	`sqrt-pow1_binary64_1421`
7×	`associate-r_binary64_1343`
6×	`exp-prod_binary64_1455`
4×	`prod-exp_binary64_1452` `add-log-exp_binary64_1442` `pow-prod-down_binary64_1474` `cbrt-unprod_binary64_1436`
2×	`unswap-sqr_binary64_1371` `pow1/2_binary64_1483` `*-commutative_binary64_1334` `rem-sqrt-square_binary64_1416`

Counts

4 → 75

Calls

8 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))
0.0ms	(sqrt.f64 (exp.f64 re))

series223.0ms (4.9%)

Counts

4 → 34

Calls

4 calls:

103.0ms	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))
79.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
21.0ms	(sqrt.f64 (exp.f64 re))
21.0ms	(sqrt.f64 (exp.f64 re))

Compiler

Compiled 612 to 466 computations (23.9% saved)

simplify82.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4856	1123
1	4856	1123

prune94.0ms (2.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	108	1	109
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	109	5	114

Error

0.0b

Counts

114 → 5

Compiler

Compiled 1435 to 411 computations (71.4% saved)

localize10.0ms (0.2%)

Local error

Found 6 expressions with local error:

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

rewrite21.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64_1425`
11×	`pow1_binary64_1464`
10×	`add-cbrt-cube_binary64_1439`
9×	`-un-lft-identity_binary64_1403` `associate-l*_binary64_1344` `add-cube-cbrt_binary64_1438`
8×	`add-exp-log_binary64_1441`
6×	`sqrt-prod_binary64_1419`
4×	`prod-exp_binary64_1452` `associate-r_binary64_1343` `sqrt-pow1_binary64_1421` `pow-prod-down_binary64_1474` `cbrt-unprod_binary64_1436`
3×	`exp-prod_binary64_1455` `add-log-exp_binary64_1442`
2×	`*-commutative_binary64_1334`
1×	`unswap-sqr_binary64_1371` `pow1/2_binary64_1483` `rem-sqrt-square_binary64_1416`

Counts

3 → 55

Calls

6 calls:

10.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (exp.f64 (*.f64 re 1/2))))
5.0ms	(.f64 (sin.f64 im) (exp.f64 (.f64 re 1/2)))
2.0ms	(sqrt.f64 (exp.f64 re))
0.0ms	(sqrt.f64 (exp.f64 re))
0.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (exp.f64 (*.f64 re 1/2))))

series277.0ms (6.1%)

Counts

3 → 28

Calls

3 calls:

157.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (exp.f64 (*.f64 re 1/2))))
97.0ms	(.f64 (sin.f64 im) (exp.f64 (.f64 re 1/2)))
23.0ms	(sqrt.f64 (exp.f64 re))

Compiler

Compiled 644 to 536 computations (16.8% saved)

simplify84.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4886	901
1	4886	901

prune71.0ms (1.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	82	1	83
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	82	6	88

Error

Counts

88 → 6

Compiler

Compiled 1108 to 479 computations (56.8% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite17.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`pow1_binary64_1464` `add-cbrt-cube_binary64_1439`
7×	`add-sqr-sqrt_binary64_1425`
6×	`associate-l_binary64_1344`
5×	`*-un-lft-identity_binary64_1403` `add-exp-log_binary64_1441` `add-cube-cbrt_binary64_1438`
4×	`prod-exp_binary64_1452` `associate-r_binary64_1343` `pow-prod-down_binary64_1474` `cbrt-unprod_binary64_1436`
2×	`add-log-exp_binary64_1442` `*-commutative_binary64_1334`
1×	`unswap-sqr_binary64_1371`

Counts

2 → 36

Calls

4 calls:

8.0ms	(.f64 (exp.f64 (.f64 re 1/2)) (.f64 (sin.f64 im) (exp.f64 (.f64 re 1/2))))
5.0ms	(.f64 (sin.f64 im) (exp.f64 (.f64 re 1/2)))
0.0ms	(.f64 (exp.f64 (.f64 re 1/2)) (.f64 (sin.f64 im) (exp.f64 (.f64 re 1/2))))
0.0ms	(.f64 (sin.f64 im) (exp.f64 (.f64 re 1/2)))

series237.0ms (5.2%)

Counts

2 → 22

Calls

2 calls:

139.0ms	(.f64 (exp.f64 (.f64 re 1/2)) (.f64 (sin.f64 im) (exp.f64 (.f64 re 1/2))))
98.0ms	(.f64 (sin.f64 im) (exp.f64 (.f64 re 1/2)))

Compiler

Compiled 514 to 446 computations (13.2% saved)

simplify82.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4983	701
1	4983	701

prune45.0ms (1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	58	0	58
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	58	6	64

Error

Counts

64 → 6

Compiler

Compiled 726 to 358 computations (50.7% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	107	409
1	107	409

regimes165.0ms (3.6%)

Accuracy

Total 0.0b remaining (92.6%)

Threshold costs 0.0b (92.6%)

Compiler

Compiled 1152 to 944 computations (18.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	19
1	12	19

end0.0ms (0%)

sample2.6s (56.9%)

Algorithm

1×

intervals

Results

348.0ms	1414×	body	1024	valid
274.0ms	5607×	body	128	valid
110.0ms	608×	body	1024	invalid
96.0ms	664×	body	512	valid
40.0ms	838×	body	128	invalid
40.0ms	317×	body	512	invalid
29.0ms	314×	body	256	valid
18.0ms	162×	body	256	invalid
0.0ms	1×	body	2048	valid

Compiler

Compiled 765 to 630 computations (17.6% saved)

Pareto

0.6721101548397538

Details

analyze145.0ms (3.2%)

sample40.0ms (0.9%)

simplify97.0ms (2.1%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite7.0ms (0.1%)

series74.0ms (1.6%)

simplify84.0ms (1.9%)

prune39.0ms (0.9%)

localize8.0ms (0.2%)

rewrite28.0ms (0.6%)

series223.0ms (4.9%)

simplify82.0ms (1.8%)

prune94.0ms (2.1%)

localize10.0ms (0.2%)

rewrite21.0ms (0.5%)

series277.0ms (6.1%)

simplify84.0ms (1.9%)

prune71.0ms (1.6%)

localize7.0ms (0.2%)

rewrite17.0ms (0.4%)

series237.0ms (5.2%)

simplify82.0ms (1.8%)

prune45.0ms (1%)

simplify8.0ms (0.2%)

regimes165.0ms (3.6%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.6s (56.9%)

Profiling