Details

analyze634.0ms (8.9%)

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
43.7%	56.2%	0.1%	6
43.7%	46.8%	9.5%	7
46.8%	42.1%	11%	8
46.8%	36.7%	16.5%	9
48.4%	34%	17.7%	10
48.4%	31%	20.6%	11
49.2%	29.6%	21.3%	12
49.2%	28%	22.8%	13
49.6%	27.3%	23.1%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample89.0ms (1.3%)

Algorithm

1×

intervals

Results

22.0ms	58×	body	1024	invalid
18.0ms	196×	body	128	valid
9.0ms	19×	body	1024	valid
7.0ms	25×	body	512	invalid
5.0ms	18×	body	512	valid
4.0ms	23×	body	256	valid
4.0ms	20×	body	256	invalid
3.0ms	27×	body	128	invalid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify253.0ms (3.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	4943	11
1	4943	11

prune11.0ms (0.2%)

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: 12.9b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize13.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite25.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
9×	`add-sqr-sqrt_binary64_11353`
7×	`*-un-lft-identity_binary64_11331` `add-cube-cbrt_binary64_11366`
5×	`pow1_binary64_11392`
3×	`associate-r_binary64_11271` `add-log-exp_binary64_11370` `associate-/r_binary64_11275` `associate-l*_binary64_11272` `sinh-def_binary64_11516` `times-frac_binary64_11337`
2×	`cbrt-unprod_binary64_11364` `div-exp_binary64_11382` `cbrt-undiv_binary64_11365` `prod-exp_binary64_11380` `associate-*r/_binary64_11273`
1×	`-commutative_binary64_11262` `associate-/l/_binary64_11278` `associate-/l_binary64_11276` `div-inv_binary64_11328` `unswap-sqr_binary64_11299` `frac-2neg_binary64_11342` `pow-prod-down_binary64_11402` `clear-num_binary64_11330`

Counts

3 → 49

Calls

3 calls:

9.0ms	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
8.0ms	(*.f64 (sin.f64 x) (sinh.f64 y))
2.0ms	(sinh.f64 y)

series382.0ms (5.4%)

Counts

3 → 9

Calls

3 calls:

163.0ms	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
146.0ms	(*.f64 (sin.f64 x) (sinh.f64 y))
74.0ms	(sinh.f64 y)

simplify102.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5717	673

prune94.0ms (1.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	50	8	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	51	8	59

Merged error: 0b

Counts

59 → 8

Compiler

Compiled 754 to 258 computations (65.8% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite29.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64_11353`
19×	`*-un-lft-identity_binary64_11331` `add-cube-cbrt_binary64_11366` `times-frac_binary64_11337`
13×	`associate-r_binary64_11271`
10×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
5×	`pow1_binary64_11392`
3×	`associate-/l_binary64_11276` `add-log-exp_binary64_11370` `associate-/r_binary64_11275` `associate-l_binary64_11272`
2×	`cbrt-unprod_binary64_11364` `div-exp_binary64_11382` `div-inv_binary64_11328` `cbrt-undiv_binary64_11365` `unswap-sqr_binary64_11299` `prod-exp_binary64_11380` `sinh-def_binary64_11516`
1×	`-commutative_binary64_11262` `associate-/l/_binary64_11278` `frac-2neg_binary64_11342` `associate-r/_binary64_11273` `pow-prod-down_binary64_11402` `clear-num_binary64_11330`

Counts

3 → 68

Calls

3 calls:

13.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))
6.0ms	(/.f64 (sinh.f64 y) x)
2.0ms	(sinh.f64 y)

series325.0ms (4.6%)

Counts

3 → 9

Calls

3 calls:

155.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))
110.0ms	(/.f64 (sinh.f64 y) x)
60.0ms	(sinh.f64 y)

simplify125.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	6276	1011

prune101.0ms (1.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	76	1	77
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	78	7	85

Merged error: 0b

Counts

85 → 7

Compiler

Compiled 1075 to 316 computations (70.6% saved)

localize16.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(sinh.f64 y)
0.1b	(.f64 (sin.f64 x) (.f64 (sinh.f64 y) (/.f64 1 x)))
0.2b	(*.f64 (sinh.f64 y) (/.f64 1 x))

rewrite48.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-exp-log_binary64_11369`
19×	`add-sqr-sqrt_binary64_11353`
17×	`add-cbrt-cube_binary64_11367`
14×	`associate-r_binary64_11271`
13×	`*-un-lft-identity_binary64_11331` `prod-exp_binary64_11380`
12×	`add-cube-cbrt_binary64_11366`
11×	`times-frac_binary64_11337`
10×	`pow1_binary64_11392`
7×	`cbrt-unprod_binary64_11364`
6×	`associate-l_binary64_11272` `associate-*r/_binary64_11273`
5×	`sinh-def_binary64_11516`
4×	`div-exp_binary64_11382` `pow-prod-down_binary64_11402`
3×	`add-log-exp_binary64_11370` `unswap-sqr_binary64_11299`
2×	`-commutative_binary64_11262` `1-exp_binary64_11375` `rec-exp_binary64_11381` `cbrt-undiv_binary64_11365` `associate-l/_binary64_11274` `frac-times_binary64_11341` `un-div-inv_binary64_11329`
1×	`div-inv_binary64_11328`

Counts

3 → 72

Calls

3 calls:

18.0ms	(.f64 (sin.f64 x) (.f64 (sinh.f64 y) (/.f64 1 x)))
17.0ms	(*.f64 (sinh.f64 y) (/.f64 1 x))
2.0ms	(sinh.f64 y)

series375.0ms (5.3%)

Counts

3 → 9

Calls

3 calls:

168.0ms	(.f64 (sin.f64 x) (.f64 (sinh.f64 y) (/.f64 1 x)))
139.0ms	(*.f64 (sinh.f64 y) (/.f64 1 x))
68.0ms	(sinh.f64 y)

simplify119.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	4972	868
1	4972	868

prune94.0ms (1.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	81	7	88

Merged error: 0b

Counts

88 → 7

Compiler

Compiled 1044 to 389 computations (62.7% saved)

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(sinh.f64 y)
0.0b	(/.f64 x (sinh.f64 y))
0.6b	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

rewrite41.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

87×	`times-frac_binary64_11337`
54×	`*-un-lft-identity_binary64_11331` `add-cube-cbrt_binary64_11366` `add-sqr-sqrt_binary64_11353`
17×	`associate-/r*_binary64_11275`
10×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
6×	`associate-/l*_binary64_11276` `div-inv_binary64_11328` `associate-/r/_binary64_11277` `sinh-def_binary64_11516`
4×	`div-exp_binary64_11382` `cbrt-undiv_binary64_11365`
3×	`pow1_binary64_11392` `add-log-exp_binary64_11370`
2×	`frac-2neg_binary64_11342` `clear-num_binary64_11330`

Counts

3 → 110

Calls

3 calls:

13.0ms	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))
7.0ms	(/.f64 x (sinh.f64 y))
2.0ms	(sinh.f64 y)

series463.0ms (6.5%)

Counts

3 → 9

Calls

3 calls:

233.0ms	(/.f64 x (sinh.f64 y))
160.0ms	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))
70.0ms	(sinh.f64 y)

simplify184.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (132.0ms)

Iter	Nodes	Cost
0	4914	2253
1	4914	2253

prune141.0ms (2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	117	2	119
Fresh	3	2	5
Picked	1	0	1
Done	0	1	1
Total	121	5	126

Merged error: 0b

Counts

126 → 5

Compiler

Compiled 1764 to 370 computations (79% saved)

regimes229.0ms (3.2%)

Compiler: Compiled 885 to 614 computations (30.6% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	11
1	8	11

end0.0ms (0%)

sample3.2s (44.9%)

Algorithm

1×

intervals

Results

732.0ms	1948×	body	1024	invalid
555.0ms	6309×	body	128	valid
266.0ms	612×	body	1024	valid
240.0ms	929×	body	512	invalid
175.0ms	639×	body	512	valid
91.0ms	519×	body	256	invalid
85.0ms	773×	body	128	invalid
77.0ms	440×	body	256	valid

Compiler

Compiled 217 to 155 computations (28.6% saved)

Details

analyze634.0ms (8.9%)

sample89.0ms (1.3%)

simplify253.0ms (3.6%)

prune11.0ms (0.2%)

localize13.0ms (0.2%)

rewrite25.0ms (0.3%)

series382.0ms (5.4%)

simplify102.0ms (1.4%)

prune94.0ms (1.3%)

localize11.0ms (0.2%)

rewrite29.0ms (0.4%)

series325.0ms (4.6%)

simplify125.0ms (1.8%)

prune101.0ms (1.4%)

localize16.0ms (0.2%)

rewrite48.0ms (0.7%)

series375.0ms (5.3%)

simplify119.0ms (1.7%)

prune94.0ms (1.3%)

localize14.0ms (0.2%)

rewrite41.0ms (0.6%)

series463.0ms (6.5%)

simplify184.0ms (2.6%)

prune141.0ms (2%)

regimes229.0ms (3.2%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample3.2s (44.9%)

Profiling