Details

analyze131.0ms (3.5%)

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)

sample50.0ms (1.3%)

Algorithm

1×

intervals

Results

12.0ms	34×	body	1280	valid
8.0ms	17×	body	1280	invalid
8.0ms	181×	body	80	valid
6.0ms	28×	body	640	valid
2.0ms	14×	body	640	invalid
1.0ms	29×	body	80	invalid
1.0ms	8×	body	320	valid
1.0ms	5×	body	320	invalid
1.0ms	6×	body	160	invalid
0.0ms	5×	body	160	valid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify20.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (5.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

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

rewrite8.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 19

Calls

1 calls:

7.0ms

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

series73.0ms (2%)

Counts

1 → 3

Calls

1 calls:

73.0ms

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

simplify101.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4865	232
1	4865	232

prune16.0ms (0.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	19	3	22
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	19	4	23

Merged error: 0.0b

Counts

23 → 4

Compiler

Compiled 235 to 78 computations (66.8% saved)

localize7.0ms (0.2%)

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

rewrite27.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `sqrt-prod_binary64`
11×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`associate-l_binary64`
8×	`sqrt-pow1_binary64`
7×	`associate-r_binary64`
6×	`exp-prod_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `insert-posit16`
2×	`pow1/2_binary64` `unswap-sqr_binary64` `rem-sqrt-square_binary64` `*-commutative_binary64`

Counts

4 → 79

Calls

4 calls:

12.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
8.0ms	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))
3.0ms	(sqrt.f64 (exp.f64 re))
2.0ms	(sqrt.f64 (exp.f64 re))

series202.0ms (5.4%)

Counts

4 → 12

Calls

4 calls:

82.0ms	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))
67.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
27.0ms	(sqrt.f64 (exp.f64 re))
26.0ms	(sqrt.f64 (exp.f64 re))

simplify127.0ms (3.4%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (101.0ms)

Iter	Nodes	Cost
0	5105	897

prune64.0ms (1.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	91	4	95

Merged error: 0b

Counts

95 → 4

Compiler

Compiled 1215 to 285 computations (76.5% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite41.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`cbrt-prod_binary64`
37×	`add-sqr-sqrt_binary64`
24×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
23×	`sqrt-prod_binary64`
22×	`associate-r_binary64`
20×	`unpow-prod-down_binary64` `cube-prod_binary64`
13×	`pow1_binary64`
12×	`add-exp-log_binary64`
10×	`add-cbrt-cube_binary64`
9×	`associate-l_binary64`
7×	`unswap-sqr_binary64`
6×	`pow-pow_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `sqr-pow_binary64` `sqrt-pow1_binary64` `prod-exp_binary64` `insert-posit16`
3×	`pow-unpow_binary64` `unpow3_binary64` `exp-prod_binary64` `cube-mult_binary64`
2×	`*-commutative_binary64`
1×	`pow-to-exp_binary64` `pow1/2_binary64` `rem-cbrt-cube_binary64` `sqrt-pow2_binary64` `pow1/3_binary64` `rem-cube-cbrt_binary64` `pow-exp_binary64`

Counts

4 → 129

Calls

4 calls:

14.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 re)) 3))))
12.0ms	(*.f64 (sin.f64 im) (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 re)) 3)))
5.0ms	(pow.f64 (sqrt.f64 (exp.f64 re)) 3)
4.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 re)) 3))

series244.0ms (6.6%)

Counts

4 → 12

Calls

4 calls:

89.0ms	(*.f64 (sin.f64 im) (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 re)) 3)))
68.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 re)) 3))))
62.0ms	(pow.f64 (sqrt.f64 (exp.f64 re)) 3)
24.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 re)) 3))

simplify113.0ms (3%)

Algorithm

1×	egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	5531	1524

prune108.0ms (2.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	141	0	141
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	141	4	145

Merged error: 0b

Counts

145 → 4

Compiler

Compiled 2124 to 675 computations (68.2% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (cbrt.f64 (.f64 (exp.f64 re) (sin.f64 im))) (cbrt.f64 (*.f64 (exp.f64 re) (sin.f64 im))))
0.4b	(cbrt.f64 (*.f64 (exp.f64 re) (sin.f64 im)))
0.4b	(cbrt.f64 (*.f64 (exp.f64 re) (sin.f64 im)))
0.4b	(cbrt.f64 (*.f64 (exp.f64 re) (sin.f64 im)))

rewrite22.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`pow1_binary64`
10×	`add-sqr-sqrt_binary64`
9×	`pow1/3_binary64`
8×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
7×	`cbrt-prod_binary64`
6×	`add-exp-log_binary64`
4×	`add-log-exp_binary64` `swap-sqr_binary64` `associate-r_binary64` `add-cbrt-cube_binary64` `associate-l_binary64` `insert-posit16`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 62

Calls

4 calls:

7.0ms	(.f64 (cbrt.f64 (.f64 (exp.f64 re) (sin.f64 im))) (cbrt.f64 (*.f64 (exp.f64 re) (sin.f64 im))))
5.0ms	(cbrt.f64 (*.f64 (exp.f64 re) (sin.f64 im)))
5.0ms	(cbrt.f64 (*.f64 (exp.f64 re) (sin.f64 im)))
5.0ms	(cbrt.f64 (*.f64 (exp.f64 re) (sin.f64 im)))

series676.0ms (18.1%)

Counts

4 → 12

Calls

4 calls:

236.0ms	(.f64 (cbrt.f64 (.f64 (exp.f64 re) (sin.f64 im))) (cbrt.f64 (*.f64 (exp.f64 re) (sin.f64 im))))
148.0ms	(cbrt.f64 (*.f64 (exp.f64 re) (sin.f64 im)))
146.0ms	(cbrt.f64 (*.f64 (exp.f64 re) (sin.f64 im)))
145.0ms	(cbrt.f64 (*.f64 (exp.f64 re) (sin.f64 im)))

simplify109.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4971	840
1	4971	840

prune57.0ms (1.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	74	4	78

Merged error: 0b

Counts

78 → 4

Compiler

Compiled 1553 to 266 computations (82.9% saved)

regimes54.0ms (1.4%)

Compiler: Compiled 252 to 185 computations (26.6% saved)

bsearch0.0ms (0%)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	7	8

end0.0ms (0%)

sample1.4s (38.7%)

Algorithm

1×

intervals

Results

363.0ms	983×	body	1280	valid
258.0ms	5518×	body	80	valid
176.0ms	864×	body	640	valid
128.0ms	489×	body	1280	invalid
69.0ms	366×	body	640	invalid
55.0ms	416×	body	320	valid
32.0ms	689×	body	80	invalid
24.0ms	193×	body	320	invalid
20.0ms	219×	body	160	valid
9.0ms	97×	body	160	invalid

Compiler

Compiled 57 to 44 computations (22.8% saved)

Details

analyze131.0ms (3.5%)

sample50.0ms (1.3%)

simplify20.0ms (0.5%)

prune2.0ms (0.1%)

localize5.0ms (0.1%)

rewrite8.0ms (0.2%)

series73.0ms (2%)

simplify101.0ms (2.7%)

prune16.0ms (0.4%)

localize7.0ms (0.2%)

rewrite27.0ms (0.7%)

series202.0ms (5.4%)

simplify127.0ms (3.4%)

prune64.0ms (1.7%)

localize10.0ms (0.3%)

rewrite41.0ms (1.1%)

series244.0ms (6.6%)

simplify113.0ms (3%)

prune108.0ms (2.9%)

localize9.0ms (0.2%)

rewrite22.0ms (0.6%)

series676.0ms (18.1%)

simplify109.0ms (2.9%)

prune57.0ms (1.5%)

regimes54.0ms (1.4%)

bsearch0.0ms (0%)

simplify6.0ms (0.2%)

end0.0ms (0%)

sample1.4s (38.7%)

Profiling