Details

analyze504.0ms (7.3%)

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 10 to 7 computations (30% saved)

sample97.0ms (1.4%)

Algorithm

1×

intervals

Results

28.0ms	69×	body	1024	invalid
24.0ms	72×	body	1024	valid
9.0ms	138×	body	128	valid
7.0ms	36×	body	512	invalid
6.0ms	34×	body	512	valid
2.0ms	22×	body	128	invalid
1.0ms	12×	body	256	valid
1.0ms	11×	body	256	invalid

Compiler

Compiled 21 to 15 computations (28.6% saved)

simplify94.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

855×	`fma-def_binary64`
772×	`unswap-sqr_binary64`
448×	`associate-/l*_binary64`
363×	`times-frac_binary64`
280×	`associate-/r*_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	16	11
2	32	11
3	60	11
4	107	11
5	169	11
6	327	11
7	806	11
8	2101	11
9	2217	11
10	2592	11
11	4159	11
12	4537	11
13	4915	11
14	4955	11
15	4919	11

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

Error

0.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.1b	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
✓	0.1b	(/.f64 (sin.f64 y) y)

series36.0ms (0.5%)

Counts

2 → 28

Calls

2 calls:

33.0ms	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
3.0ms	(/.f64 (sin.f64 y) y)

rewrite11.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
19×	`times-frac_binary64`
18×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64`
13×	`associate-r_binary64`

Counts

2 → 65

Calls

2 calls:

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

simplify118.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

383×	`associate-*l/_binary64`
364×	`associate-l_binary64`
347×	`associate-*r/_binary64`
318×	`associate-/l*_binary64`
316×	`associate-r_binary64`

Counts

93 → 118

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	172	1673
1	422	1547
2	1344	1529
3	4419	1528
4	4958	1528
5	4996	1528
6	4961	1528

prune81.0ms (1.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	110	8	118
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	110	9	119

Error

0.0b

Counts

119 → 9

Alt Table

Status	Error	Program
✓	0.1b	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
	21.2b	(*.f64 (cosh.f64 x) (cbrt.f64 (pow.f64 (/.f64 (sin.f64 y) y) 3)))
	33.6b	(*.f64 (cosh.f64 x) (/.f64 (sqrt.f64 (sin.f64 y)) (/.f64 y (sqrt.f64 (sin.f64 y)))))
	0.3b	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))
▶	0.2b	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 y (sin.f64 y))))
	1.3b	(.f64 (cosh.f64 x) (.f64 (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (sin.f64 y) (cbrt.f64 y))))
	1.4b	(.f64 (cosh.f64 x) (.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (/.f64 (cbrt.f64 (sin.f64 y)) y)))
	34.9b	(*.f64 (/.f64 (cosh.f64 x) (sqrt.f64 y)) (/.f64 (sin.f64 y) (sqrt.f64 y)))
	16.5b	(.f64 (cosh.f64 x) (.f64 (sqrt.f64 (/.f64 (sin.f64 y) y)) (sqrt.f64 (/.f64 (sin.f64 y) y))))

Compiler

Compiled 2100 to 723 computations (65.6% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 y (sin.f64 y))))
✓	0.1b	(/.f64 1 (/.f64 y (sin.f64 y)))
✓	0.2b	(/.f64 y (sin.f64 y))

series42.0ms (0.6%)

Counts

3 → 40

Calls

3 calls:

32.0ms	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 y (sin.f64 y))))
7.0ms	(/.f64 y (sin.f64 y))
3.0ms	(/.f64 1 (/.f64 y (sin.f64 y)))

rewrite32.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

156×	`times-frac_binary64`
103×	`add-sqr-sqrt_binary64`
91×	`*-un-lft-identity_binary64`
89×	`add-cube-cbrt_binary64`
44×	`associate-r_binary64`

Counts

3 → 184

Calls

3 calls:

12.0ms	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 y (sin.f64 y))))
4.0ms	(/.f64 1 (/.f64 y (sin.f64 y)))
2.0ms	(/.f64 y (sin.f64 y))

simplify132.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

859×	`fma-def_binary64`
490×	`associate-*l/_binary64`
467×	`times-frac_binary64`
388×	`associate-/l*_binary64`
307×	`associate-/r/_binary64`

Counts

224 → 296

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	234	3797
1	543	3411
2	1706	3085
3	4404	3081
4	4975	3081

prune194.0ms (2.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	295	1	296
Fresh	2	5	7
Picked	0	1	1
Done	0	1	1
Total	297	8	305

Error

0.0b

Counts

305 → 8

Alt Table

Status	Error	Program
✓	0.1b	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
	21.2b	(*.f64 (cosh.f64 x) (cbrt.f64 (pow.f64 (/.f64 (sin.f64 y) y) 3)))
	33.6b	(*.f64 (cosh.f64 x) (/.f64 (sqrt.f64 (sin.f64 y)) (/.f64 y (sqrt.f64 (sin.f64 y)))))
▶	0.3b	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))
✓	0.2b	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 y (sin.f64 y))))
	0.3b	(.f64 (cosh.f64 x) (/.f64 1 (.f64 y (/.f64 1 (sin.f64 y)))))
	1.3b	(.f64 (cosh.f64 x) (.f64 (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (sin.f64 y) (cbrt.f64 y))))
	34.9b	(*.f64 (/.f64 (cosh.f64 x) (sqrt.f64 y)) (/.f64 (sin.f64 y) (sqrt.f64 y)))

Compiler

Compiled 5472 to 2115 computations (61.3% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))
✓	0.3b	(*.f64 (sin.f64 y) (/.f64 1 y))

series40.0ms (0.6%)

Counts

2 → 36

Calls

2 calls:

36.0ms	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))
3.0ms	(*.f64 (sin.f64 y) (/.f64 1 y))

rewrite15.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-exp-log_binary64`
18×	`add-sqr-sqrt_binary64`
16×	`add-cbrt-cube_binary64`
14×	`associate-r_binary64`
13×	`prod-exp_binary64`

Counts

2 → 67

Calls

2 calls:

6.0ms	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))
6.0ms	(*.f64 (sin.f64 y) (/.f64 1 y))

simplify88.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

425×	`cancel-sign-sub-inv_binary64`
393×	`fma-neg_binary64`
325×	`fma-def_binary64`
319×	`sub-neg_binary64`
274×	`*-commutative_binary64`

Counts

103 → 121

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	170	1625
1	419	1445
2	1267	1427
3	3701	1426
4	4975	1426
5	4980	1426

prune79.0ms (1.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	120	1	121
Fresh	2	3	5
Picked	0	1	1
Done	0	2	2
Total	122	7	129

Error

0.0b

Counts

129 → 7

Alt Table

Status	Error	Program
✓	0.1b	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
	21.2b	(*.f64 (cosh.f64 x) (cbrt.f64 (pow.f64 (/.f64 (sin.f64 y) y) 3)))
✓	0.3b	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))
✓	0.2b	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 y (sin.f64 y))))
▶	0.3b	(.f64 (cosh.f64 x) (/.f64 1 (.f64 y (/.f64 1 (sin.f64 y)))))
	1.3b	(.f64 (cosh.f64 x) (.f64 (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (sin.f64 y) (cbrt.f64 y))))
	34.9b	(.f64 (cosh.f64 x) (.f64 (*.f64 (sin.f64 y) (sqrt.f64 (/.f64 1 y))) (sqrt.f64 (/.f64 1 y))))

Compiler

Compiled 2117 to 1004 computations (52.6% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (cosh.f64 x) (/.f64 1 (.f64 y (/.f64 1 (sin.f64 y)))))
✓	0.1b	(/.f64 1 (sin.f64 y))
✓	0.1b	(/.f64 1 (*.f64 y (/.f64 1 (sin.f64 y))))
✓	0.2b	(*.f64 y (/.f64 1 (sin.f64 y)))

series51.0ms (0.7%)

Counts

4 → 52

Calls

4 calls:

34.0ms	(.f64 (cosh.f64 x) (/.f64 1 (.f64 y (/.f64 1 (sin.f64 y)))))
8.0ms	(*.f64 y (/.f64 1 (sin.f64 y)))
6.0ms	(/.f64 1 (sin.f64 y))
3.0ms	(/.f64 1 (*.f64 y (/.f64 1 (sin.f64 y))))

rewrite36.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

104×	`add-exp-log_binary64`
44×	`prod-exp_binary64`
36×	`div-exp_binary64`
34×	`add-sqr-sqrt_binary64`
34×	`add-cbrt-cube_binary64`

Counts

4 → 161

Calls

4 calls:

8.0ms	(.f64 (cosh.f64 x) (/.f64 1 (.f64 y (/.f64 1 (sin.f64 y)))))
5.0ms	(*.f64 y (/.f64 1 (sin.f64 y)))
5.0ms	(/.f64 1 (*.f64 y (/.f64 1 (sin.f64 y))))
2.0ms	(/.f64 1 (sin.f64 y))

simplify106.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

860×	`fma-def_binary64`
478×	`associate-*l/_binary64`
432×	`associate-/r*_binary64`
405×	`associate-/l*_binary64`
225×	`associate-/r/_binary64`

Counts

213 → 247

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	237	2851
1	552	2448
2	1750	2201
3	4418	2195
4	4947	2195

prune159.0ms (2.3%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	246	1	247
Fresh	1	2	3
Picked	0	1	1
Done	0	3	3
Total	247	7	254

Error

0.0b

Counts

254 → 7

Alt Table

Status	Error	Program
	19.2b	(.f64 (cosh.f64 x) (/.f64 1 (.f64 y (cbrt.f64 (pow.f64 (/.f64 1 (sin.f64 y)) 3)))))
	21.2b	(*.f64 (cosh.f64 x) (cbrt.f64 (pow.f64 (/.f64 (sin.f64 y) y) 3)))
✓	0.1b	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
✓	0.3b	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))
✓	0.2b	(*.f64 (cosh.f64 x) (/.f64 1 (/.f64 y (sin.f64 y))))
✓	0.3b	(.f64 (cosh.f64 x) (/.f64 1 (.f64 y (/.f64 1 (sin.f64 y)))))
	34.9b	(.f64 (cosh.f64 x) (.f64 (*.f64 (sin.f64 y) (sqrt.f64 (/.f64 1 y))) (sqrt.f64 (/.f64 1 y))))

Compiler

Compiled 4224 to 2242 computations (46.9% saved)

regimes182.0ms (2.6%)

Accuracy

Total 0.1b remaining (63%)

Threshold costs 0.1b (63%)

Counts

42 → 1

Compiler

Compiled 3236 to 1985 computations (38.7% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	8	11
2	8	11

end0.0ms (0%)

Compiler: Compiled 9 to 6 computations (33.3% saved)

sample4.8s (69.1%)

Algorithm

1×

intervals

Results

1.2s	2028×	body	1024	valid
1.2s	2028×	body	1024	invalid
500.0ms	4417×	body	128	valid
374.0ms	1063×	body	512	valid
311.0ms	972×	body	512	invalid
106.0ms	472×	body	256	invalid
105.0ms	490×	body	256	valid
82.0ms	678×	body	128	invalid
3.0ms	2×	body	2048	valid

Compiler

Compiled 110 to 82 computations (25.5% saved)

Details

analyze504.0ms (7.3%)

sample97.0ms (1.4%)

simplify94.0ms (1.4%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series36.0ms (0.5%)

rewrite11.0ms (0.2%)

simplify118.0ms (1.7%)

prune81.0ms (1.2%)

localize7.0ms (0.1%)

series42.0ms (0.6%)

rewrite32.0ms (0.5%)

simplify132.0ms (1.9%)

prune194.0ms (2.8%)

localize7.0ms (0.1%)

series40.0ms (0.6%)

rewrite15.0ms (0.2%)

simplify88.0ms (1.3%)

prune79.0ms (1.2%)

localize8.0ms (0.1%)

series51.0ms (0.7%)

rewrite36.0ms (0.5%)

simplify106.0ms (1.5%)

prune159.0ms (2.3%)

regimes182.0ms (2.6%)

simplify2.0ms (0%)

end0.0ms (0%)

sample4.8s (69.1%)

Profiling