Details

analyze1.4s (2.8%)

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
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	68.7%	6.3%	6
43.7%	46.8%	9.5%	7
43.7%	42.1%	14.1%	8
46.8%	36.7%	16.5%	9
46.8%	34%	19.2%	10
48.4%	31%	20.6%	11
48.4%	29.6%	22%	12
49.2%	28%	22.8%	13
49.2%	27.3%	23.5%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample225.0ms (0.4%)

Algorithm

1×

intervals

Results

57.0ms	63×	body	1024	valid
36.0ms	51×	body	1024	invalid
27.0ms	27×	body	512	invalid
21.0ms	30×	body	512	valid
15.0ms	145×	body	128	valid
9.0ms	17×	body	256	valid
8.0ms	16×	body	256	invalid
5.0ms	27×	body	128	invalid
1.0ms	1×	body	2048	valid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify997.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (463.0ms)

Iter	Nodes	Cost
0	4950	11
1	4950	11

prune14.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

Merged error: 0.1b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize30.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
0.0b	(cosh.f64 x)
0.1b	(/.f64 (sin.f64 y) y)

rewrite78.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64_12035`
19×	`times-frac_binary64_12019` `add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
13×	`associate-r_binary64_11953`
10×	`add-cbrt-cube_binary64_12049` `add-exp-log_binary64_12051`
5×	`pow1_binary64_12074`
3×	`cosh-def_binary64_12199` `add-log-exp_binary64_12052` `associate-/r_binary64_11957` `associate-l_binary64_11954` `associate-/l_binary64_11958`
2×	`div-exp_binary64_12064` `unswap-sqr_binary64_11981` `div-inv_binary64_12010` `cbrt-undiv_binary64_12047` `cbrt-unprod_binary64_12046` `prod-exp_binary64_12062`
1×	`-commutative_binary64_11944` `clear-num_binary64_12012` `pow-prod-down_binary64_12084` `associate-l/_binary64_11956` `frac-2neg_binary64_12024` `associate-*r/_binary64_11955` `frac-times_binary64_12023`

Counts

3 → 69

Calls

3 calls:

39.0ms	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
19.0ms	(/.f64 (sin.f64 y) y)
2.0ms	(cosh.f64 x)

series519.0ms (1%)

Counts

3 → 9

Calls

3 calls:

295.0ms	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
133.0ms	(cosh.f64 x)
90.0ms	(/.f64 (sin.f64 y) y)

simplify371.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (312.0ms)

Iter	Nodes	Cost
0	4943	1015
1	4943	1015

prune1.6s (3.1%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	45	33	78
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	46	33	79

Merged error: 0.0b

Counts

79 → 33

Compiler

Compiled 1472 to 549 computations (62.7% saved)

localize43.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
0.0b	(.f64 (sin.f64 y) (.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2))
0.1b	(/.f64 (.f64 (sin.f64 y) (.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2)) y)

rewrite100.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-cbrt-cube_binary64_12049` `add-exp-log_binary64_12051`
8×	`pow1_binary64_12074` `*-un-lft-identity_binary64_12013`
6×	`add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `cbrt-unprod_binary64_12046` `prod-exp_binary64_12062`
5×	`add-log-exp_binary64_12052`
4×	`associate-l/_binary64_11956` `associate-r/_binary64_11955`
3×	`times-frac_binary64_12019` `flip3-+_binary64_12016` `associate-/r_binary64_11957` `div-exp_binary64_12064` `associate-l*_binary64_11954` `pow-prod-down_binary64_12084` `flip-+_binary64_11987` `cbrt-undiv_binary64_12047`
2×	`associate-/l/_binary64_11960`
1×	`distribute-lft-out_binary64_11964` `+-commutative_binary64_11943` `sum-log_binary64_12104` `cosh-undef_binary64_12207` `-commutative_binary64_11944` `clear-num_binary64_12012` `div-inv_binary64_12010` `frac-2neg_binary64_12024` `associate-/l_binary64_11958` `associate-r_binary64_11953`

Counts

3 → 58

Calls

3 calls:

55.0ms	(/.f64 (.f64 (sin.f64 y) (.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2)) y)
21.0ms	(.f64 (sin.f64 y) (.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2))
9.0ms	(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

series639.0ms (1.2%)

Counts

3 → 9

Calls

3 calls:

381.0ms	(.f64 (sin.f64 y) (.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2))
197.0ms	(/.f64 (.f64 (sin.f64 y) (.f64 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2)) y)
61.0ms	(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

simplify169.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (116.0ms)

Iter	Nodes	Cost
0	4943	1298
1	4943	1298

prune2.8s (5.3%)

Pruning

56 alts after pruning (55 fresh and 1 done)

	Pruned	Kept	Total
New	38	29	67
Fresh	6	26	32
Picked	0	1	1
Done	0	0	0
Total	44	56	100

Merged error: 0.0b

Counts

100 → 56

Compiler

Compiled 2199 to 1140 computations (48.2% saved)

localize35.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(cosh.f64 x)
0.0b	(.f64 (sin.f64 y) (.f64 (*.f64 2 (cosh.f64 x)) 1/2))
0.1b	(/.f64 (.f64 (sin.f64 y) (.f64 (*.f64 2 (cosh.f64 x)) 1/2)) y)

rewrite95.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-cbrt-cube_binary64_12049` `add-exp-log_binary64_12051`
12×	`pow1_binary64_12074` `cbrt-unprod_binary64_12046` `prod-exp_binary64_12062`
6×	`add-sqr-sqrt_binary64_12035` `add-cube-cbrt_binary64_12048` `pow-prod-down_binary64_12084` `*-un-lft-identity_binary64_12013`
4×	`div-exp_binary64_12064` `cbrt-undiv_binary64_12047` `associate-*r/_binary64_11955`
3×	`times-frac_binary64_12019` `cosh-def_binary64_12199` `add-log-exp_binary64_12052` `associate-/r_binary64_11957` `associate-l*_binary64_11954`
2×	`associate-*l/_binary64_11956`
1×	`-commutative_binary64_11944` `clear-num_binary64_12012` `div-inv_binary64_12010` `frac-2neg_binary64_12024` `associate-/l_binary64_11958` `associate-r_binary64_11953` `associate-/l/_binary64_11960`

Counts

3 → 56

Calls

3 calls:

39.0ms	(/.f64 (.f64 (sin.f64 y) (.f64 (*.f64 2 (cosh.f64 x)) 1/2)) y)
35.0ms	(.f64 (sin.f64 y) (.f64 (*.f64 2 (cosh.f64 x)) 1/2))
2.0ms	(cosh.f64 x)

series811.0ms (1.6%)

Counts

3 → 9

Calls

3 calls:

373.0ms	(/.f64 (.f64 (sin.f64 y) (.f64 (*.f64 2 (cosh.f64 x)) 1/2)) y)
327.0ms	(.f64 (sin.f64 y) (.f64 (*.f64 2 (cosh.f64 x)) 1/2))
111.0ms	(cosh.f64 x)

simplify290.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (239.0ms)

Iter	Nodes	Cost
0	4967	779
1	4967	779

prune2.0s (3.9%)

Pruning

64 alts after pruning (62 fresh and 2 done)

	Pruned	Kept	Total
New	50	15	65
Fresh	7	47	54
Picked	0	1	1
Done	0	1	1
Total	57	64	121

Merged error: 0.0b

Counts

121 → 64

Compiler

Compiled 1909 to 1052 computations (44.9% saved)

localize42.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(cosh.f64 x)
0.0b	(*.f64 (sin.f64 y) (cosh.f64 x))
0.1b	(/.f64 (*.f64 (sin.f64 y) (cosh.f64 x)) y)

rewrite66.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-cbrt-cube_binary64_12049` `add-exp-log_binary64_12051`
9×	`add-sqr-sqrt_binary64_12035`
7×	`add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
5×	`pow1_binary64_12074`
3×	`times-frac_binary64_12019` `cosh-def_binary64_12199` `add-log-exp_binary64_12052` `associate-/r_binary64_11957` `associate-l_binary64_11954` `associate-r*_binary64_11953`
2×	`div-exp_binary64_12064` `cbrt-undiv_binary64_12047` `cbrt-unprod_binary64_12046` `prod-exp_binary64_12062` `associate-*r/_binary64_11955`
1×	`-commutative_binary64_11944` `clear-num_binary64_12012` `unswap-sqr_binary64_11981` `div-inv_binary64_12010` `pow-prod-down_binary64_12084` `frac-2neg_binary64_12024` `associate-/l_binary64_11958` `associate-/l/_binary64_11960`

Counts

3 → 49

Calls

3 calls:

27.0ms	(/.f64 (*.f64 (sin.f64 y) (cosh.f64 x)) y)
18.0ms	(*.f64 (sin.f64 y) (cosh.f64 x))
2.0ms	(cosh.f64 x)

series907.0ms (1.7%)

Counts

3 → 9

Calls

3 calls:

387.0ms	(/.f64 (*.f64 (sin.f64 y) (cosh.f64 x)) y)
347.0ms	(*.f64 (sin.f64 y) (cosh.f64 x))
173.0ms	(cosh.f64 x)

simplify403.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (334.0ms)

Iter	Nodes	Cost
0	4946	670
1	4946	670

prune1.4s (2.7%)

Pruning

65 alts after pruning (62 fresh and 3 done)

	Pruned	Kept	Total
New	54	4	58
Fresh	3	58	61
Picked	0	1	1
Done	0	2	2
Total	57	65	122

Merged error: 0.0b

Counts

122 → 65

Compiler

Compiled 647 to 189 computations (70.8% saved)

regimes7.1s (13.7%)

Compiler: Compiled 14134 to 10292 computations (27.2% saved)

bsearch9.2s (17.7%)

simplify33.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	26	27
1	26	27

end0.0ms (0%)

sample20.5s (39.5%)

Algorithm

1×

intervals

Results

1.9s	2006×	body	1024	valid
1.6s	1874×	body	1024	invalid
975.0ms	4482×	body	128	valid
807.0ms	1010×	body	512	invalid
648.0ms	1010×	body	512	valid
385.0ms	650×	body	128	invalid
228.0ms	494×	body	256	invalid
174.0ms	493×	body	256	valid
13.0ms	9×	body	2048	valid
1.0ms	1×	body	2048	invalid

Compiler

Compiled 2607 to 1891 computations (27.5% saved)

Pareto

0.012612595924280592

Details

analyze1.4s (2.8%)

sample225.0ms (0.4%)

simplify997.0ms (1.9%)

prune14.0ms (0%)

localize30.0ms (0.1%)

rewrite78.0ms (0.2%)

series519.0ms (1%)

simplify371.0ms (0.7%)

prune1.6s (3.1%)

localize43.0ms (0.1%)

rewrite100.0ms (0.2%)

series639.0ms (1.2%)

simplify169.0ms (0.3%)

prune2.8s (5.3%)

localize35.0ms (0.1%)

rewrite95.0ms (0.2%)

series811.0ms (1.6%)

simplify290.0ms (0.6%)

prune2.0s (3.9%)

localize42.0ms (0.1%)

rewrite66.0ms (0.1%)

series907.0ms (1.7%)

simplify403.0ms (0.8%)

prune1.4s (2.7%)

regimes7.1s (13.7%)

bsearch9.2s (17.7%)

simplify33.0ms (0.1%)

end0.0ms (0%)

sample20.5s (39.5%)

Profiling