Details

analyze468.0ms (9.2%)

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)

sample3.7s (73.4%)

Results

1.1s	2126×	body	1024	invalid
1.1s	2050×	body	1024	valid
563.0ms	4666×	body	128	valid
332.0ms	1052×	body	512	invalid
305.0ms	1018×	body	512	valid
121.0ms	514×	body	256	valid
110.0ms	495×	body	256	invalid
100.0ms	763×	body	128	invalid
9.0ms	8×	body	2048	valid
1.0ms	1×	body	2048	invalid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify33.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

772×	`unswap-sqr_binary64`
510×	`fma-def_binary64`
444×	`associate-/l*_binary64`
363×	`times-frac_binary64`
277×	`associate-/r*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	16	11
2	33	11
3	65	11
4	120	11
5	196	11
6	385	11
7	1108	11
8	3189	11
9	3542	11
10	4066	11

Stop Event

1×	node limit

Counts

1 → 2

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 34 to 20 computations (41.2% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (sin.f64 y) y)

series3.0ms (0.1%)

Counts

1 → 4

Calls

1 calls:

3.0ms

(/.f64 (sin.f64 y) y)

rewrite34.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

434×	`log1p-expm1-u_binary64`
434×	`expm1-log1p-u_binary64`
289×	`unpow-prod-down_binary64`
225×	`log-prod_binary64`
119×	`pow-prod-down_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	6
1	84	6
2	1147	6

Stop Event

1×	node limit

Counts

1 → 68

Calls

1 calls:

32.0ms

(/.f64 (sin.f64 y) y)

simplify22.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1004×	`fma-neg_binary64`
778×	`cancel-sign-sub-inv_binary64`
303×	`distribute-rgt-neg-in_binary64`
285×	`unswap-sqr_binary64`
271×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	20	56
1	53	52
2	135	48
3	440	46
4	1853	46

Stop Event

1×	node limit

Counts

72 → 75

prune57.0ms (1.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	68	7	75
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	68	8	76

Error

0.0b

Counts

76 → 8

Alt Table

Status	Error	Program
✓	0.1b	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
	34.2b	(.f64 (cosh.f64 x) (.f64 (pow.f64 y -1/2) (/.f64 (sin.f64 y) (sqrt.f64 y))))
	32.5b	(.f64 (cosh.f64 x) (.f64 (sqrt.f64 (sin.f64 y)) (*.f64 (sqrt.f64 (sin.f64 y)) (/.f64 1 y))))
	0.2b	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))
	30.2b	(.f64 (cosh.f64 x) (fma.f64 y (.f64 y -1/6) (fma.f64 1/120 (pow.f64 y 4) 1)))
▶	0.2b	(*.f64 (cosh.f64 x) (pow.f64 (/.f64 y (sin.f64 y)) -1))
	15.4b	(*.f64 (cosh.f64 x) (pow.f64 (sqrt.f64 (/.f64 (sin.f64 y) y)) 2))
	1.4b	(.f64 (cosh.f64 x) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (sin.f64 y)) -2) -1) (pow.f64 (/.f64 y (cbrt.f64 (sin.f64 y))) -1)))

Compiler

Compiled 1299 to 634 computations (51.2% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 y (sin.f64 y))
✓	0.1b	(pow.f64 (/.f64 y (sin.f64 y)) -1)

series18.0ms (0.4%)

Counts

2 → 16

Calls

2 calls:

12.0ms	(pow.f64 (/.f64 y (sin.f64 y)) -1)
6.0ms	(/.f64 y (sin.f64 y))

rewrite37.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

582×	`log1p-expm1-u_binary64`
582×	`expm1-log1p-u_binary64`
291×	`log-prod_binary64`
108×	`expm1-udef_binary64`
108×	`log1p-udef_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	15
1	126	12
2	1611	12

Stop Event

1×	node limit

Counts

2 → 81

Calls

2 calls:

36.0ms	(/.f64 y (sin.f64 y))
36.0ms	(pow.f64 (/.f64 y (sin.f64 y)) -1)

simplify25.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1004×	`fma-neg_binary64`
778×	`cancel-sign-sub-inv_binary64`
417×	`fma-def_binary64`
328×	`associate-l_binary64`
285×	`unswap-sqr_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	32	156
1	79	150
2	201	144
3	666	140
4	2612	140

Stop Event

1×	node limit

Counts

97 → 94

prune60.0ms (1.2%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	91	3	94
Fresh	3	3	6
Picked	0	1	1
Done	0	1	1
Total	94	8	102

Error

Counts

102 → 8

Alt Table

Status	Error	Program
✓	0.1b	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
	34.2b	(.f64 (cosh.f64 x) (.f64 (pow.f64 y -1/2) (/.f64 (sin.f64 y) (sqrt.f64 y))))
▶	0.2b	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))
✓	0.2b	(*.f64 (cosh.f64 x) (pow.f64 (/.f64 y (sin.f64 y)) -1))
	1.4b	(.f64 (cosh.f64 x) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (sin.f64 y)) -2) -1) (pow.f64 (/.f64 y (cbrt.f64 (sin.f64 y))) -1)))
	17.6b	(*.f64 (cosh.f64 x) (pow.f64 (cbrt.f64 (pow.f64 (/.f64 y (sin.f64 y)) 3)) -1))
	1.2b	(*.f64 (cosh.f64 x) (/.f64 (/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y)))
	32.5b	(*.f64 (cosh.f64 x) (/.f64 (sqrt.f64 (sin.f64 y)) (/.f64 y (sqrt.f64 (sin.f64 y)))))

Compiler

Compiled 1479 to 714 computations (51.7% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (sin.f64 y) (/.f64 1 y))

series3.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

3.0ms

(*.f64 (sin.f64 y) (/.f64 1 y))

rewrite32.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

503×	`log1p-expm1-u_binary64`
503×	`expm1-log1p-u_binary64`
410×	`unpow-prod-down_binary64`
272×	`log-prod_binary64`
142×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	6
1	120	6
2	1444	6

Stop Event

1×	node limit

Counts

1 → 30

Calls

1 calls:

31.0ms

(*.f64 (sin.f64 y) (/.f64 1 y))

simplify20.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1004×	`fma-neg_binary64`
778×	`cancel-sign-sub-inv_binary64`
304×	`distribute-rgt-neg-in_binary64`
285×	`unswap-sqr_binary64`
272×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	22	104
1	55	100
2	137	96
3	442	94
4	1844	94

Stop Event

1×	node limit

Counts

42 → 37

prune25.0ms (0.5%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	37	0	37
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	37	8	45

Error

Counts

45 → 8

Alt Table

Status	Error	Program
✓	0.1b	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
	34.2b	(.f64 (cosh.f64 x) (.f64 (pow.f64 y -1/2) (/.f64 (sin.f64 y) (sqrt.f64 y))))
✓	0.2b	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))
✓	0.2b	(*.f64 (cosh.f64 x) (pow.f64 (/.f64 y (sin.f64 y)) -1))
	1.4b	(.f64 (cosh.f64 x) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (sin.f64 y)) -2) -1) (pow.f64 (/.f64 y (cbrt.f64 (sin.f64 y))) -1)))
	17.6b	(*.f64 (cosh.f64 x) (pow.f64 (cbrt.f64 (pow.f64 (/.f64 y (sin.f64 y)) 3)) -1))
▶	1.2b	(*.f64 (cosh.f64 x) (/.f64 (/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y)))
	32.5b	(*.f64 (cosh.f64 x) (/.f64 (sqrt.f64 (sin.f64 y)) (/.f64 y (sqrt.f64 (sin.f64 y)))))

Compiler

Compiled 606 to 320 computations (47.2% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
✓	0.3b	(/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 y) 2))
✓	0.4b	(pow.f64 (cbrt.f64 y) 2)
✓	0.5b	(cbrt.f64 y)

series99.0ms (1.9%)

Counts

4 → 12

Calls

4 calls:

46.0ms	(/.f64 (/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
22.0ms	(pow.f64 (cbrt.f64 y) 2)
19.0ms	(/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 y) 2))
13.0ms	(cbrt.f64 y)

rewrite53.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

831×	`log1p-expm1-u_binary64`
831×	`expm1-log1p-u_binary64`
207×	`prod-diff_binary64`
114×	`egg-rr`
83×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	36
1	173	26
2	2309	26

Stop Event

1×	node limit

Counts

4 → 114

Calls

4 calls:

51.0ms	(/.f64 (/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
51.0ms	(/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 y) 2))
51.0ms	(pow.f64 (cbrt.f64 y) 2)
51.0ms	(cbrt.f64 y)

simplify26.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1004×	`fma-neg_binary64`
778×	`cancel-sign-sub-inv_binary64`
304×	`distribute-rgt-neg-in_binary64`
285×	`unswap-sqr_binary64`
272×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	22	104
1	55	100
2	137	96
3	442	94
4	1844	94

Stop Event

1×	node limit

Counts

126 → 122

prune69.0ms (1.4%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	145	8	153

Error

Counts

153 → 8

Alt Table

Status	Error	Program
✓	0.1b	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))
	34.2b	(.f64 (cosh.f64 x) (.f64 (pow.f64 y -1/2) (/.f64 (sin.f64 y) (sqrt.f64 y))))
✓	0.2b	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))
✓	0.2b	(*.f64 (cosh.f64 x) (pow.f64 (/.f64 y (sin.f64 y)) -1))
	1.4b	(.f64 (cosh.f64 x) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (sin.f64 y)) -2) -1) (pow.f64 (/.f64 y (cbrt.f64 (sin.f64 y))) -1)))
	17.6b	(*.f64 (cosh.f64 x) (pow.f64 (cbrt.f64 (pow.f64 (/.f64 y (sin.f64 y)) 3)) -1))
✓	1.2b	(*.f64 (cosh.f64 x) (/.f64 (/.f64 (sin.f64 y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y)))
	32.5b	(*.f64 (cosh.f64 x) (/.f64 (sqrt.f64 (sin.f64 y)) (/.f64 y (sqrt.f64 (sin.f64 y)))))

Compiler

Compiled 2473 to 1126 computations (54.5% saved)

regimes148.0ms (2.9%)

Accuracy

Total 0.1b remaining (74.5%)

Threshold costs 0.1b (74.5%)

Counts

36 → 1

Compiler

Compiled 2650 to 1859 computations (29.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	15
1	10	15

Stop Event

1×

saturated

end97.0ms (1.9%)

Compiler: Compiled 130 to 91 computations (30% saved)

Details

analyze468.0ms (9.2%)

sample3.7s (73.4%)

simplify33.0ms (0.6%)

prune2.0ms (0%)

localize5.0ms (0.1%)

series3.0ms (0.1%)

rewrite34.0ms (0.7%)

simplify22.0ms (0.4%)

prune57.0ms (1.1%)

localize8.0ms (0.2%)

series18.0ms (0.4%)

rewrite37.0ms (0.7%)

simplify25.0ms (0.5%)

prune60.0ms (1.2%)

localize6.0ms (0.1%)

series3.0ms (0.1%)

rewrite32.0ms (0.6%)

simplify20.0ms (0.4%)

prune25.0ms (0.5%)

localize8.0ms (0.2%)

series99.0ms (1.9%)

rewrite53.0ms (1%)

simplify26.0ms (0.5%)

prune69.0ms (1.4%)

regimes148.0ms (2.9%)

simplify2.0ms (0%)

end97.0ms (1.9%)

Profiling