Details

analyze221.0ms (6.2%)

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

sample41.0ms (1.1%)

Algorithm

1×

intervals

Results

10.0ms	43×	body	1024	valid
7.0ms	174×	body	128	valid
4.0ms	28×	body	512	valid
3.0ms	19×	body	1024	invalid
2.0ms	15×	body	512	invalid
1.0ms	30×	body	128	invalid
1.0ms	11×	body	256	valid
0.0ms	3×	body	256	invalid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify7.0ms (0.2%)

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)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite22.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

5×	`add-sqr-sqrt_binary64_1464`
3×	`pow1_binary64_1503` `add-cbrt-cube_binary64_1478` `add-cube-cbrt_binary64_1477` `-un-lft-identity_binary64_1442` `associate-l_binary64_1383` `associate-r*_binary64_1382`
2×	`add-exp-log_binary64_1480`
1×	`pow-prod-down_binary64_1513` `prod-exp_binary64_1491` `add-log-exp_binary64_1481` `cbrt-unprod_binary64_1475` `unswap-sqr_binary64_1410` `*-commutative_binary64_1373`

Counts

1 → 18

Calls

1 calls:

5.0ms

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

Compiler

Compiled 192 to 54 computations (71.9% saved)

series77.0ms (2.2%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

68.0ms

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

Compiler

Compiled 300 to 192 computations (36% saved)

simplify100.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	4876	354
1	4876	354

prune20.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

0.0b

Counts

31 → 3

Compiler

Compiled 301 to 114 computations (62.1% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (sin.f64 im)) (cbrt.f64 (sin.f64 im)))
0.6b	(cbrt.f64 (sin.f64 im))
0.6b	(cbrt.f64 (sin.f64 im))
0.6b	(cbrt.f64 (sin.f64 im))

rewrite67.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`cbrt-prod_binary64_1473`
23×	`add-sqr-sqrt_binary64_1464`
15×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
11×	`pow1_binary64_1503`
9×	`pow1/3_binary64_1524`
6×	`add-exp-log_binary64_1480` `swap-sqr_binary64_1409` `associate-l_binary64_1383` `associate-r_binary64_1382`
4×	`add-log-exp_binary64_1481` `add-cbrt-cube_binary64_1478` `unswap-sqr_binary64_1410`
2×	`pow-prod-down_binary64_1513` `pow-prod-up_binary64_1512` `pow-sqr_binary64_1415`
1×	`pow2_binary64_1523` `pow-plus_binary64_1505` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `*-commutative_binary64_1373`

Counts

4 → 73

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 (sin.f64 im)) (cbrt.f64 (sin.f64 im)))
2.0ms	(cbrt.f64 (sin.f64 im))
1.0ms	(cbrt.f64 (sin.f64 im))
1.0ms	(cbrt.f64 (sin.f64 im))

Compiler

Compiled 1438 to 293 computations (79.6% saved)

series362.0ms (10.1%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

99.0ms	(*.f64 (cbrt.f64 (sin.f64 im)) (cbrt.f64 (sin.f64 im)))
83.0ms	(cbrt.f64 (sin.f64 im))
77.0ms	(cbrt.f64 (sin.f64 im))
77.0ms	(cbrt.f64 (sin.f64 im))

Compiler

Compiled 1164 to 785 computations (32.6% saved)

simplify87.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4864	1020
1	4864	1020

prune76.0ms (2.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	95	2	97
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	95	5	100

Error

Counts

100 → 5

Compiler

Compiled 1743 to 537 computations (69.2% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 (exp.f64 re) (cbrt.f64 (pow.f64 (sin.f64 im) 2))) (cbrt.f64 (sin.f64 im)))
0.3b	(pow.f64 (sin.f64 im) 2)
0.6b	(cbrt.f64 (sin.f64 im))
14.4b	(cbrt.f64 (pow.f64 (sin.f64 im) 2))

rewrite78.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

14×	`cbrt-prod_binary64_1473`
11×	`add-cube-cbrt_binary64_1477` `add-sqr-sqrt_binary64_1464` `*-un-lft-identity_binary64_1442`
10×	`pow1_binary64_1503`
9×	`add-exp-log_binary64_1480`
6×	`add-cbrt-cube_binary64_1478` `unpow-prod-down_binary64_1521` `associate-r_binary64_1382`
4×	`add-log-exp_binary64_1481`
3×	`pow-unpow_binary64_1519` `pow-prod-down_binary64_1513` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475`
2×	`pow1/3_binary64_1524` `unpow2_binary64_1507` `sqr-pow_binary64_1414`
1×	`pow-pow_binary64_1514` `pow-to-exp_binary64_1511` `pow-exp_binary64_1510` `associate-l_binary64_1383` `*-commutative_binary64_1373`

Counts

4 → 66

Calls

4 calls:

10.0ms	(.f64 (.f64 (exp.f64 re) (cbrt.f64 (pow.f64 (sin.f64 im) 2))) (cbrt.f64 (sin.f64 im)))
3.0ms	(pow.f64 (sin.f64 im) 2)
2.0ms	(cbrt.f64 (pow.f64 (sin.f64 im) 2))
1.0ms	(cbrt.f64 (sin.f64 im))

Compiler

Compiled 1192 to 570 computations (52.2% saved)

series315.0ms (8.8%)

Error

Counts

4 → 30

Calls

4 calls:

103.0ms	(cbrt.f64 (pow.f64 (sin.f64 im) 2))
89.0ms	(cbrt.f64 (sin.f64 im))
67.0ms	(.f64 (.f64 (exp.f64 re) (cbrt.f64 (pow.f64 (sin.f64 im) 2))) (cbrt.f64 (sin.f64 im)))
28.0ms	(pow.f64 (sin.f64 im) 2)

Compiler

Compiled 1072 to 785 computations (26.8% saved)

simplify87.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4880	1057
1	4880	1057

prune70.0ms (1.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	96	5	101

Error

Counts

101 → 5

Compiler

Compiled 1371 to 605 computations (55.9% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite68.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

17×	`add-sqr-sqrt_binary64_1464`
13×	`pow1_binary64_1503` `sqrt-prod_binary64_1458`
12×	`associate-r_binary64_1382`
11×	`add-cbrt-cube_binary64_1478` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
9×	`add-exp-log_binary64_1480`
4×	`pow-prod-down_binary64_1513` `prod-exp_binary64_1491` `add-log-exp_binary64_1481` `cbrt-unprod_binary64_1475` `associate-l_binary64_1383`
2×	`*-commutative_binary64_1373` `pow1/2_binary64_1522` `sqrt-pow1_binary64_1460` `rem-sqrt-square_binary64_1455` `unswap-sqr_binary64_1410`

Counts

4 → 69

Calls

4 calls:

10.0ms	(.f64 (.f64 (exp.f64 re) (sqrt.f64 (sin.f64 im))) (sqrt.f64 (sin.f64 im)))
7.0ms	(*.f64 (exp.f64 re) (sqrt.f64 (sin.f64 im)))
1.0ms	(sqrt.f64 (sin.f64 im))
1.0ms	(sqrt.f64 (sin.f64 im))

Compiler

Compiled 1111 to 199 computations (82.1% saved)

series196.0ms (5.5%)

Error

Counts

4 → 27

Calls

4 calls:

74.0ms	(*.f64 (exp.f64 re) (sqrt.f64 (sin.f64 im)))
71.0ms	(.f64 (.f64 (exp.f64 re) (sqrt.f64 (sin.f64 im))) (sqrt.f64 (sin.f64 im)))
19.0ms	(sqrt.f64 (sin.f64 im))
15.0ms	(sqrt.f64 (sin.f64 im))

Compiler

Compiled 809 to 457 computations (43.5% saved)

simplify70.0ms (2%)

Algorithm

1×	egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4999	1026
1	4999	1026

prune52.0ms (1.5%)

Pruning

5 alts after pruning (1 fresh and 4 done)

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

Error

Counts

101 → 5

Compiler

Compiled 1181 to 259 computations (78.1% saved)

regimes114.0ms (3.2%)

Accuracy

Total 0.0b remaining (45%)

Threshold costs 0.0b (45%)

Compiler

Compiled 797 to 555 computations (30.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.4s (39.5%)

Algorithm

1×

intervals

Results

309.0ms	1337×	body	1024	valid
257.0ms	5638×	body	128	valid
118.0ms	646×	body	1024	invalid
90.0ms	705×	body	512	valid
40.0ms	905×	body	128	invalid
32.0ms	278×	body	512	invalid
27.0ms	318×	body	256	valid
13.0ms	159×	body	256	invalid
1.0ms	2×	body	2048	valid

Compiler

Compiled 166 to 118 computations (28.9% saved)

Details

analyze221.0ms (6.2%)

sample41.0ms (1.1%)

simplify7.0ms (0.2%)

prune2.0ms (0.1%)

localize5.0ms (0.1%)

rewrite22.0ms (0.6%)

series77.0ms (2.2%)

simplify100.0ms (2.8%)

prune20.0ms (0.6%)

localize9.0ms (0.2%)

rewrite67.0ms (1.9%)

series362.0ms (10.1%)

simplify87.0ms (2.4%)

prune76.0ms (2.1%)

localize9.0ms (0.3%)

rewrite78.0ms (2.2%)

series315.0ms (8.8%)

simplify87.0ms (2.4%)

prune70.0ms (1.9%)

localize7.0ms (0.2%)

rewrite68.0ms (1.9%)

series196.0ms (5.5%)

simplify70.0ms (2%)

prune52.0ms (1.5%)

regimes114.0ms (3.2%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.4s (39.5%)

Profiling