Details

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

sample36.0ms (0.9%)

Algorithm

1×

intervals

Results

10.0ms	42×	body	1024	valid
8.0ms	184×	body	128	valid
4.0ms	22×	body	1024	invalid
3.0ms	20×	body	512	valid
1.0ms	22×	body	128	invalid
1.0ms	8×	body	512	invalid
1.0ms	10×	body	256	valid
0.0ms	3×	body	256	invalid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify93.0ms (2.4%)

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)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite6.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64_1123`
3×	`-un-lft-identity_binary64_1101` `pow1_binary64_1162` `add-cube-cbrt_binary64_1136` `add-cbrt-cube_binary64_1137` `associate-r_binary64_1041` `associate-l*_binary64_1042`
2×	`add-exp-log_binary64_1139`
1×	`*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `add-log-exp_binary64_1140` `prod-exp_binary64_1150` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069`

Counts

1 → 18

Calls

1 calls:

5.0ms

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

series110.0ms (2.9%)

Counts

1 → 11

Calls

1 calls:

110.0ms

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

Compiler

Compiled 176 to 144 computations (18.2% saved)

simplify84.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

29 → 29

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4919	333
1	4919	333

prune23.0ms (0.6%)

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

Counts

30 → 5

Compiler

Compiled 302 to 129 computations (57.3% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite26.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_1123`
13×	`*-un-lft-identity_binary64_1101` `pow1_binary64_1162` `sqrt-prod_binary64_1117` `add-cube-cbrt_binary64_1136`
11×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
9×	`associate-l_binary64_1042`
8×	`sqrt-pow1_binary64_1119`
7×	`associate-r_binary64_1041`
6×	`exp-prod_binary64_1153`
4×	`cbrt-unprod_binary64_1134` `add-log-exp_binary64_1140` `prod-exp_binary64_1150` `pow-prod-down_binary64_1172`
2×	`*-commutative_binary64_1032` `rem-sqrt-square_binary64_1114` `unswap-sqr_binary64_1069` `pow1/2_binary64_1181`

Counts

4 → 75

Calls

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

series282.0ms (7.4%)

Counts

4 → 34

Calls

4 calls:

125.0ms	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))
112.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
23.0ms	(sqrt.f64 (exp.f64 re))
22.0ms	(sqrt.f64 (exp.f64 re))

Compiler

Compiled 660 to 538 computations (18.5% saved)

simplify115.0ms (3%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	4905	1159
1	4905	1159

prune70.0ms (1.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

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

Error

Counts

114 → 5

Compiler

Compiled 1435 to 461 computations (67.9% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite33.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64_1123`
25×	`pow1_binary64_1162`
23×	`cbrt-prod_binary64_1132`
20×	`add-exp-log_binary64_1139`
16×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
13×	`associate-r_binary64_1041`
11×	`add-cbrt-cube_binary64_1137` `pow-prod-down_binary64_1172`
10×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `associate-l_binary64_1042`
7×	`pow1/3_binary64_1183`
6×	`swap-sqr_binary64_1068` `unswap-sqr_binary64_1069`
4×	`add-log-exp_binary64_1140`
3×	`*-commutative_binary64_1032`
2×	`pow-prod-up_binary64_1171` `pow-sqr_binary64_1074`
1×	`pow-plus_binary64_1164` `pow2_binary64_1182`

Counts

4 → 95

Calls

4 calls:

11.0ms	(.f64 (.f64 (cbrt.f64 (exp.f64 re)) (cbrt.f64 (exp.f64 re))) (*.f64 (sin.f64 im) (cbrt.f64 (exp.f64 re))))
7.0ms	(*.f64 (cbrt.f64 (exp.f64 re)) (cbrt.f64 (exp.f64 re)))
6.0ms	(*.f64 (sin.f64 im) (cbrt.f64 (exp.f64 re)))
2.0ms	(cbrt.f64 (exp.f64 re))

series540.0ms (14.2%)

Counts

4 → 34

Calls

4 calls:

262.0ms	(*.f64 (sin.f64 im) (cbrt.f64 (exp.f64 re)))
119.0ms	(.f64 (.f64 (cbrt.f64 (exp.f64 re)) (cbrt.f64 (exp.f64 re))) (*.f64 (sin.f64 im) (cbrt.f64 (exp.f64 re))))
88.0ms	(*.f64 (cbrt.f64 (exp.f64 re)) (cbrt.f64 (exp.f64 re)))
71.0ms	(cbrt.f64 (exp.f64 re))

Compiler

Compiled 790 to 610 computations (22.8% saved)

simplify75.0ms (2%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4942	1429
1	4942	1429

prune89.0ms (2.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	129	5	134

Error

Counts

134 → 5

Compiler

Compiled 1978 to 565 computations (71.4% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
0.2b	(pow.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 3)
12.7b	(cbrt.f64 (pow.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 3))

rewrite17.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary64_1123`
8×	`pow1_binary64_1162` `add-cbrt-cube_binary64_1137` `cbrt-prod_binary64_1132`
7×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
6×	`add-exp-log_binary64_1139`
3×	`add-log-exp_binary64_1140` `pow-unpow_binary64_1178` `associate-r_binary64_1041` `associate-l_binary64_1042`
2×	`pow-exp_binary64_1169` `cube-prod_binary64_1129` `cube-mult_binary64_1131` `rem-cube-cbrt_binary64_1124` `cbrt-unprod_binary64_1134` `unpow-prod-down_binary64_1180` `prod-exp_binary64_1150` `pow-pow_binary64_1173` `unpow3_binary64_1167` `pow-prod-down_binary64_1172` `sqr-pow_binary64_1073`
1×	`*-commutative_binary64_1032` `pow1/3_binary64_1183` `unswap-sqr_binary64_1069` `pow-to-exp_binary64_1170` `rem-cbrt-cube_binary64_1125`

Counts

3 → 57

Calls

3 calls:

6.0ms	(*.f64 (exp.f64 re) (sin.f64 im))
5.0ms	(pow.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 3)
3.0ms	(cbrt.f64 (pow.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 3))

series550.0ms (14.5%)

Counts

3 → 34

Calls

3 calls:

329.0ms	(pow.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 3)
113.0ms	(*.f64 (exp.f64 re) (sin.f64 im))
108.0ms	(cbrt.f64 (pow.f64 (*.f64 (exp.f64 re) (sin.f64 im)) 3))

Compiler

Compiled 678 to 582 computations (14.2% saved)

simplify69.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4945	1219
1	4945	1219

prune58.0ms (1.5%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	91	5	96

Error

Counts

96 → 5

Compiler

Compiled 1092 to 532 computations (51.3% saved)

regimes78.0ms (2.1%)

Accuracy

Total 0.0b remaining (63.1%)

Threshold costs 0.0b (63.1%)

Compiler

Compiled 432 to 360 computations (16.7% 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.3s (33.6%)

Algorithm

1×

intervals

Results

325.0ms	1359×	body	1024	valid
258.0ms	5585×	body	128	valid
106.0ms	634×	body	1024	invalid
94.0ms	689×	body	512	valid
44.0ms	848×	body	128	invalid
37.0ms	305×	body	512	invalid
32.0ms	362×	body	256	valid
17.0ms	152×	body	256	invalid
3.0ms	5×	body	2048	valid

Compiler

Compiled 93 to 79 computations (15.1% saved)

Details

analyze135.0ms (3.6%)

sample36.0ms (0.9%)

simplify93.0ms (2.4%)

prune2.0ms (0.1%)

localize8.0ms (0.2%)

rewrite6.0ms (0.2%)

series110.0ms (2.9%)

simplify84.0ms (2.2%)

prune23.0ms (0.6%)

localize7.0ms (0.2%)

rewrite26.0ms (0.7%)

series282.0ms (7.4%)

simplify115.0ms (3%)

prune70.0ms (1.8%)

localize8.0ms (0.2%)

rewrite33.0ms (0.9%)

series540.0ms (14.2%)

simplify75.0ms (2%)

prune89.0ms (2.3%)

localize8.0ms (0.2%)

rewrite17.0ms (0.4%)

series550.0ms (14.5%)

simplify69.0ms (1.8%)

prune58.0ms (1.5%)

regimes78.0ms (2.1%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.3s (33.6%)

Profiling