Details

analyze343.0ms (6.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
25%	74.9%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	37.5%	0.1%	6
62.4%	31.2%	6.3%	7
62.4%	31.2%	6.3%	8
62.4%	28.1%	9.5%	9
62.4%	28.1%	9.5%	10
62.4%	26.5%	11%	11
62.4%	26.5%	11%	12
62.4%	25.8%	11.8%	13
62.4%	25.8%	11.8%	14

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample87.0ms (1.7%)

Algorithm

1×

intervals

Results

26.0ms	59×	body	1024	valid
18.0ms	62×	body	1024	invalid
10.0ms	153×	body	128	valid
7.0ms	32×	body	512	valid
5.0ms	30×	body	512	invalid
5.0ms	70×	body	128	invalid
2.0ms	12×	body	256	valid
1.0ms	12×	body	256	invalid

Compiler

Compiled 25 to 25 computations (0% saved)

simplify58.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5249	18

prune8.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

Compiler

Compiled 45 to 41 computations (8.9% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite20.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`*-un-lft-identity_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`add-log-exp_binary64` `associate-r_binary64`
3×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `add-cube-cbrt_binary64` `prod-exp_binary64` `add-sqr-sqrt_binary64`
2×	`flip3-+_binary64` `distribute-lft-out_binary64` `associate-*r/_binary64` `flip-+_binary64`
1×	`distribute-lft-in_binary64` `associate-l_binary64` `distribute-rgt-in_binary64` `+-commutative_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

2 → 35

Calls

2 calls:

11.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
6.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series157.0ms (3.1%)

Counts

2 → 6

Calls

2 calls:

126.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
30.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

simplify73.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4908	719
1	4908	719

prune38.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	39	2	41
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	39	3	42

Merged error: 0b

Counts

42 → 3

Compiler

Compiled 766 to 324 computations (57.7% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite30.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
8×	`pow1_binary64`
6×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
5×	`add-log-exp_binary64`
4×	`cbrt-unprod_binary64` `prod-exp_binary64`
3×	`pow-prod-down_binary64` `associate-/r_binary64` `associate-r*_binary64` `times-frac_binary64`
2×	`cbrt-undiv_binary64` `div-inv_binary64` `div-exp_binary64`
1×	`flip3-+_binary64` `distribute-lft-out_binary64` `associate-l_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

3 → 51

Calls

3 calls:

10.0ms	(+.f64 (/.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im)) (.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)))
9.0ms	(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
7.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))

series333.0ms (6.5%)

Counts

3 → 9

Calls

3 calls:

165.0ms	(+.f64 (/.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im)) (.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)))
91.0ms	(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
77.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im))

simplify70.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4962	984
1	4962	984

prune60.0ms (1.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	59	1	60
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	60	3	63

Merged error: 0b

Counts

63 → 3

Compiler

Compiled 1218 to 636 computations (47.8% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (sin.f64 re) (exp.f64 im))))) (.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im)))
0.1b	(sqrt.f64 (exp.f64 (/.f64 (sin.f64 re) (exp.f64 im))))
0.1b	(exp.f64 (/.f64 (sin.f64 re) (exp.f64 im)))
3.8b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (sin.f64 re) (exp.f64 im)))))

rewrite45.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

39×	`exp-prod_binary64`
31×	`add-sqr-sqrt_binary64`
30×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
28×	`sqrt-pow1_binary64`
27×	`times-frac_binary64`
16×	`log-pow_binary64`
12×	`log-prod_binary64`
9×	`sqrt-prod_binary64`
7×	`pow1_binary64`
6×	`add-log-exp_binary64` `associate-+l+_binary64`
5×	`add-exp-log_binary64`
4×	`add-cbrt-cube_binary64`
3×	`div-inv_binary64`
2×	`pow1/2_binary64`
1×	`flip3-+_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `rem-sqrt-square_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 94

Calls

4 calls:

16.0ms	(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (sin.f64 re) (exp.f64 im))))) (.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im)))
7.0ms	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (sin.f64 re) (exp.f64 im)))))
6.0ms	(sqrt.f64 (exp.f64 (/.f64 (sin.f64 re) (exp.f64 im))))
5.0ms	(exp.f64 (/.f64 (sin.f64 re) (exp.f64 im)))

series650.0ms (12.7%)

Counts

4 → 12

Calls

4 calls:

258.0ms	(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (sin.f64 re) (exp.f64 im))))) (.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im)))
176.0ms	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (sin.f64 re) (exp.f64 im)))))
129.0ms	(sqrt.f64 (exp.f64 (/.f64 (sin.f64 re) (exp.f64 im))))
87.0ms	(exp.f64 (/.f64 (sin.f64 re) (exp.f64 im)))

simplify101.0ms (2%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4908	1896
1	4908	1896

prune102.0ms (2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	106	3	109

Merged error: 0b

Counts

109 → 3

Compiler

Compiled 2462 to 826 computations (66.5% saved)

regimes42.0ms (0.8%)

Compiler: Compiled 184 to 156 computations (15.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	18
1	21	18

end0.0ms (0%)

sample2.9s (56%)

Algorithm

1×

intervals

Results

861.0ms	1983×	body	1024	valid
594.0ms	2114×	body	1024	invalid
302.0ms	4524×	body	128	valid
217.0ms	980×	body	512	valid
175.0ms	941×	body	512	invalid
165.0ms	2540×	body	128	invalid
71.0ms	510×	body	256	valid
64.0ms	481×	body	256	invalid
2.0ms	3×	body	2048	valid

Compiler

Compiled 66 to 57 computations (13.6% saved)

Details

analyze343.0ms (6.7%)

sample87.0ms (1.7%)

simplify58.0ms (1.1%)

prune8.0ms (0.2%)

localize10.0ms (0.2%)

rewrite20.0ms (0.4%)

series157.0ms (3.1%)

simplify73.0ms (1.4%)

prune38.0ms (0.7%)

localize9.0ms (0.2%)

rewrite30.0ms (0.6%)

series333.0ms (6.5%)

simplify70.0ms (1.4%)

prune60.0ms (1.2%)

localize13.0ms (0.3%)

rewrite45.0ms (0.9%)

series650.0ms (12.7%)

simplify101.0ms (2%)

prune102.0ms (2%)

regimes42.0ms (0.8%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.9s (56%)

Profiling