Details

analyze499.0ms (10.4%)

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
12.5%	87.4%	0.1%	4
18.7%	81.2%	0.1%	5
21.9%	78%	0.1%	6
50%	43.7%	6.3%	7
50%	43.7%	6.3%	8
56.2%	34.3%	9.5%	9
56.2%	34.3%	9.5%	10
59.3%	29.7%	11%	11
59.3%	29.7%	11%	12
60.9%	27.3%	11.8%	13
60.9%	27.3%	11.8%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample89.0ms (1.8%)

Algorithm

1×

intervals

Results

21.0ms	63×	body	1024	valid
18.0ms	59×	body	1024	invalid
10.0ms	38×	body	512	invalid
8.0ms	35×	body	512	valid
8.0ms	140×	body	128	valid
5.0ms	84×	body	128	invalid
2.0ms	18×	body	256	valid
1.0ms	12×	body	256	invalid

Compiler

Compiled 21 to 15 computations (28.6% saved)

simplify57.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

624×	`div-sub_binary64`
491×	`times-frac_binary64`
410×	`associate-/l*_binary64`
354×	`cancel-sign-sub-inv_binary64`
341×	`unsub-neg_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	16	11
2	34	11
3	73	11
4	157	11
5	344	11
6	932	11
7	2927	11
8	4087	11
9	5030	11

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite52.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

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

Counts

3 → 68

Calls

3 calls:

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

Compiler

Compiled 917 to 229 computations (75% saved)

series78.0ms (1.6%)

Error

0.0b

Counts

3 → 22

Calls

3 calls:

37.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
16.0ms	(/.f64 (sinh.f64 y) y)
10.0ms	(sinh.f64 y)

Compiler

Compiled 948 to 644 computations (32.1% saved)

simplify79.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

501×	`associate-r_binary64`
358×	`associate-/l*_binary64`
314×	`times-frac_binary64`
299×	`div-sub_binary64`
291×	`associate-*r/_binary64`

Counts

90 → 42

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	181	1404
1	431	1289
2	1343	1210
3	3949	1210
4	4936	1210

prune17.0ms (0.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	39	3	42
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	40	3	43

Error

Counts

43 → 3

Alt Table

Status	Error	Program
	19.7b	(cbrt.f64 (pow.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)) 3))
▶	0.0b	(*.f64 (sin.f64 x) (cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3)))
	0.5b	(.f64 (sin.f64 x) (+.f64 1 (.f64 1/6 (*.f64 y y))))

Compiler

Compiled 468 to 203 computations (56.6% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))
0.0b	(sinh.f64 y)
0.0b	(/.f64 (sinh.f64 y) y)
0.0b	(pow.f64 (/.f64 (sinh.f64 y) y) 3)

rewrite76.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

45×	`times-frac_binary64`
42×	`*-un-lft-identity_binary64`
42×	`add-sqr-sqrt_binary64`
42×	`add-cube-cbrt_binary64`
32×	`cbrt-prod_binary64`

Counts

4 → 124

Calls

4 calls:

9.0ms	(/.f64 (sinh.f64 y) y)
4.0ms	(cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))
3.0ms	(pow.f64 (/.f64 (sinh.f64 y) y) 3)
1.0ms	(sinh.f64 y)

Compiler

Compiled 1636 to 702 computations (57.1% saved)

series75.0ms (1.6%)

Error

Counts

4 → 24

Calls

4 calls:

17.0ms	(pow.f64 (/.f64 (sinh.f64 y) y) 3)
15.0ms	(cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3))
15.0ms	(/.f64 (sinh.f64 y) y)
9.0ms	(sinh.f64 y)

Compiler

Compiled 1016 to 788 computations (22.4% saved)

simplify108.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

760×	`associate-/l*_binary64`
509×	`log-div_binary64`
344×	`unswap-sqr_binary64`
281×	`associate-/l/_binary64`
182×	`associate-/r/_binary64`

Counts

148 → 104

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	200	2141
1	471	1959
2	1522	1941
3	4909	1941
4	5609	1941

prune37.0ms (0.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	104	3	107

Error

Counts

107 → 3

Alt Table

Status	Error	Program
	19.7b	(cbrt.f64 (pow.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)) 3))
✓	0.0b	(*.f64 (sin.f64 x) (cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3)))
▶	0.5b	(.f64 (sin.f64 x) (+.f64 1 (.f64 1/6 (*.f64 y y))))

Compiler

Compiled 952 to 460 computations (51.7% saved)

localize17.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 (sin.f64 x) (+.f64 1 (.f64 1/6 (*.f64 y y))))
0.2b	(.f64 1/6 (.f64 y y))

rewrite37.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
9×	`pow1_binary64`
8×	`add-sqr-sqrt_binary64`
6×	`associate-l_binary64`

Counts

2 → 41

Calls

2 calls:

4.0ms	(.f64 (sin.f64 x) (+.f64 1 (.f64 1/6 (*.f64 y y))))
4.0ms	(.f64 1/6 (.f64 y y))

Compiler

Compiled 659 to 377 computations (42.8% saved)

series49.0ms (1%)

Error

Counts

2 → 15

Calls

2 calls:

37.0ms	(.f64 (sin.f64 x) (+.f64 1 (.f64 1/6 (*.f64 y y))))
5.0ms	(.f64 1/6 (.f64 y y))

Compiler

Compiled 537 to 415 computations (22.7% saved)

simplify58.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

567×	`associate--r+_binary64`
340×	`associate-+l-_binary64`
296×	`associate-+r-_binary64`
294×	`*-commutative_binary64`
273×	`sub-neg_binary64`

Counts

56 → 41

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	116	945
1	290	853
2	988	829
3	2539	829
4	5059	829

prune20.0ms (0.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	41	0	41
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	41	3	44

Error

Counts

44 → 3

Alt Table

Status	Error	Program
▶	19.7b	(cbrt.f64 (pow.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)) 3))
✓	0.0b	(*.f64 (sin.f64 x) (cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3)))
✓	0.5b	(.f64 (sin.f64 x) (+.f64 1 (.f64 1/6 (*.f64 y y))))

Compiler

Compiled 544 to 334 computations (38.6% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(sinh.f64 y)
0.0b	(/.f64 (sinh.f64 y) y)
0.4b	(pow.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)) 3)
19.7b	(cbrt.f64 (pow.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)) 3))

rewrite47.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

14×	`*-un-lft-identity_binary64`
14×	`add-sqr-sqrt_binary64`
14×	`add-cube-cbrt_binary64`
12×	`add-cbrt-cube_binary64`
12×	`add-exp-log_binary64`

Counts

4 → 79

Calls

4 calls:

4.0ms	(pow.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)) 3)
3.0ms	(sinh.f64 y)
2.0ms	(/.f64 (sinh.f64 y) y)
2.0ms	(cbrt.f64 (pow.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)) 3))

Compiler

Compiled 1233 to 485 computations (60.7% saved)

series138.0ms (2.9%)

Error

Counts

4 → 31

Calls

4 calls:

60.0ms	(pow.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)) 3)
39.0ms	(cbrt.f64 (pow.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)) 3))
12.0ms	(/.f64 (sinh.f64 y) y)
9.0ms	(sinh.f64 y)

Compiler

Compiled 1677 to 1201 computations (28.4% saved)

simplify67.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

765×	`associate-/l*_binary64`
174×	`distribute-rgt-in_binary64`
170×	`distribute-lft-in_binary64`
156×	`associate-/l/_binary64`
148×	`associate-r_binary64`

Counts

110 → 58

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	227	1826
1	530	1688
2	1872	1640
3	5140	1640

prune20.0ms (0.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	58	0	58
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	58	3	61

Error

Counts

61 → 3

Alt Table

Status	Error	Program
	19.7b	(cbrt.f64 (pow.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)) 3))
	0.0b	(*.f64 (sin.f64 x) (cbrt.f64 (pow.f64 (/.f64 (sinh.f64 y) y) 3)))
	0.5b	(.f64 (sin.f64 x) (+.f64 1 (.f64 1/6 (*.f64 y y))))

Compiler

Compiled 718 to 338 computations (52.9% saved)

regimes246.0ms (5.1%)

Accuracy

Total -0.1b remaining (-108.3%)

Threshold costs -0.1b (-108.3%)

Compiler

Compiled 3202 to 2125 computations (33.6% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	12	14
2	11	14

end0.0ms (0%)

Compiler: Compiled 11 to 8 computations (27.3% saved)

sample2.9s (60.5%)

Algorithm

1×

intervals

Results

682.0ms	1994×	body	1024	invalid
679.0ms	1938×	body	1024	valid
279.0ms	4512×	body	128	valid
187.0ms	1000×	body	512	valid
185.0ms	1006×	body	512	invalid
174.0ms	2506×	body	128	invalid
67.0ms	544×	body	256	valid
58.0ms	493×	body	256	invalid
7.0ms	6×	body	2048	valid

Compiler

Compiled 59 to 44 computations (25.4% saved)

Details

analyze499.0ms (10.4%)

sample89.0ms (1.8%)

simplify57.0ms (1.2%)

prune1.0ms (0%)

localize6.0ms (0.1%)

rewrite52.0ms (1.1%)

series78.0ms (1.6%)

simplify79.0ms (1.7%)

prune17.0ms (0.3%)

localize8.0ms (0.2%)

rewrite76.0ms (1.6%)

series75.0ms (1.6%)

simplify108.0ms (2.3%)

prune37.0ms (0.8%)

localize17.0ms (0.3%)

rewrite37.0ms (0.8%)

series49.0ms (1%)

simplify58.0ms (1.2%)

prune20.0ms (0.4%)

localize8.0ms (0.2%)

rewrite47.0ms (1%)

series138.0ms (2.9%)

simplify67.0ms (1.4%)

prune20.0ms (0.4%)

regimes246.0ms (5.1%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample2.9s (60.5%)

Profiling