Details

analyze474.0ms (7.7%)

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.9s (63.1%)

Results

1.1s	2086×	body	1024	valid
1.1s	2105×	body	1024	invalid
614.0ms	4588×	body	128	valid
385.0ms	1028×	body	512	invalid
347.0ms	1063×	body	512	valid
113.0ms	505×	body	256	valid
108.0ms	505×	body	256	invalid
92.0ms	704×	body	128	invalid
19.0ms	14×	body	2048	valid

Compiler

Compiled 20 to 14 computations (30% saved)

preprocess44.0ms (0.7%)

Algorithm

2×	egg-herbie

Rules

824×	`fma-def_binary64`
408×	`associate-/r/_binary64`
389×	`associate-*l/_binary64`
350×	`associate-/l/_binary64`
237×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	22
1	28	22
2	59	22
3	121	22
4	226	22
5	375	22
6	745	22
7	2242	22
8	4624	22
0	2	2

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify35.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 3 expressions with local error:

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

series44.0ms (0.7%)

Counts

3 → 40

Calls

12 calls:

12.0ms	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))	y	-inf
7.0ms	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))	x	inf
6.0ms	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))	x	-inf
4.0ms	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))	y	inf
3.0ms	(*.f64 (cosh.f64 x) (/.f64 (sin.f64 y) y))	y	0

rewrite55.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

776×	`log1p-expm1-u_binary64`
776×	`expm1-log1p-u_binary64`
144×	`log1p-udef_binary64`
87×	`egg-rr`
79×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	149	20
2	2050	20

Stop Event

1×	node limit

Counts

3 → 87

simplify44.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

549×	`times-frac_binary64`
447×	`fma-neg_binary64`
343×	`fma-def_binary64`
298×	`sub-neg_binary64`
179×	`associate-+l+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	92	867
1	268	824
2	807	804
3	3160	803

Stop Event

1×	node limit

Counts

127 → 119

prune100.0ms (1.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	111	8	119
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	112	8	120

Error

0.0b

Counts

120 → 8

Alt Table

Status	Error	Program
	0.3b	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))
▶	0.1b	(*.f64 (exp.f64 (log.f64 (cosh.f64 x))) (/.f64 (sin.f64 y) y))
	31.6b	(.f64 (cosh.f64 x) (.f64 (sqrt.f64 (sin.f64 y)) (*.f64 (sqrt.f64 (sin.f64 y)) (/.f64 1 y))))
	29.8b	(/.f64 (/.f64 (*.f64 (sin.f64 y) (cosh.f64 x)) (sqrt.f64 y)) (sqrt.f64 y))
	39.1b	(*.f64 (cosh.f64 x) (cbrt.f64 (/.f64 (pow.f64 (sin.f64 y) 3) (pow.f64 y 3))))
	15.4b	(*.f64 (cosh.f64 x) (pow.f64 (sqrt.f64 (/.f64 (sin.f64 y) y)) 2))
	1.4b	(.f64 (cosh.f64 x) (.f64 (/.f64 (pow.f64 (cbrt.f64 (sin.f64 y)) 2) 1) (/.f64 (cbrt.f64 (sin.f64 y)) y)))
	0.7b	(.f64 (cosh.f64 x) (.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) (pow.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) 2)))

Compiler

Compiled 1866 to 877 computations (53% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series247.0ms (4%)

Counts

2 → 36

Calls

9 calls:

116.0ms	(log.f64 (cosh.f64 x))	x	inf
99.0ms	(log.f64 (cosh.f64 x))	x	-inf
9.0ms	(*.f64 (exp.f64 (log.f64 (cosh.f64 x))) (/.f64 (sin.f64 y) y))	x	-inf
6.0ms	(*.f64 (exp.f64 (log.f64 (cosh.f64 x))) (/.f64 (sin.f64 y) y))	x	inf
6.0ms	(*.f64 (exp.f64 (log.f64 (cosh.f64 x))) (/.f64 (sin.f64 y) y))	y	-inf

rewrite45.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

838×	`log1p-expm1-u_binary64`
838×	`expm1-log1p-u_binary64`
87×	`add-sqr-sqrt_binary64`
80×	`add-log-exp_binary64`
79×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	171	16
2	2236	16

Stop Event

1×	node limit

Counts

2 → 52

simplify41.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

549×	`times-frac_binary64`
491×	`fma-neg_binary64`
301×	`sub-neg_binary64`
301×	`fma-def_binary64`
172×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	87	851
1	255	812
2	765	796
3	3096	795

Stop Event

1×	node limit

Counts

88 → 80

prune142.0ms (2.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	149	0	149
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	149	8	157

Error

0.0b

Counts

157 → 8

Alt Table

Status	Error	Program
▶	0.3b	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))
✓	0.1b	(*.f64 (exp.f64 (log.f64 (cosh.f64 x))) (/.f64 (sin.f64 y) y))
	31.6b	(.f64 (cosh.f64 x) (.f64 (sqrt.f64 (sin.f64 y)) (*.f64 (sqrt.f64 (sin.f64 y)) (/.f64 1 y))))
	29.8b	(/.f64 (/.f64 (*.f64 (sin.f64 y) (cosh.f64 x)) (sqrt.f64 y)) (sqrt.f64 y))
	39.1b	(*.f64 (cosh.f64 x) (cbrt.f64 (/.f64 (pow.f64 (sin.f64 y) 3) (pow.f64 y 3))))
	15.4b	(*.f64 (cosh.f64 x) (pow.f64 (sqrt.f64 (/.f64 (sin.f64 y) y)) 2))
	1.4b	(.f64 (cosh.f64 x) (.f64 (/.f64 (pow.f64 (cbrt.f64 (sin.f64 y)) 2) 1) (/.f64 (cbrt.f64 (sin.f64 y)) y)))
	0.7b	(.f64 (cosh.f64 x) (.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) (pow.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) 2)))

Compiler

Compiled 2437 to 1135 computations (53.4% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series33.0ms (0.5%)

Counts

2 → 36

Calls

9 calls:

8.0ms	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))	y	-inf
6.0ms	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))	x	-inf
6.0ms	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))	x	inf
4.0ms	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))	y	inf
3.0ms	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))	y	0

rewrite40.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

830×	`log1p-expm1-u_binary64`
830×	`expm1-log1p-u_binary64`
93×	`add-sqr-sqrt_binary64`
85×	`add-cbrt-cube_binary64`
85×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	185	17
2	2330	17

Stop Event

1×	node limit

Counts

2 → 48

simplify38.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

528×	`times-frac_binary64`
447×	`fma-neg_binary64`
298×	`sub-neg_binary64`
287×	`fma-def_binary64`
161×	`associate--l+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	83	759
1	242	728
2	737	710
3	2959	694

Stop Event

1×	node limit

Counts

84 → 72

prune83.0ms (1.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	99	2	101
Fresh	2	4	6
Picked	0	1	1
Done	0	1	1
Total	101	8	109

Error

0.0b

Counts

109 → 8

Alt Table

Status	Error	Program
✓	0.3b	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))
	31.6b	(*.f64 (cosh.f64 x) (/.f64 (sqrt.f64 (sin.f64 y)) (/.f64 y (sqrt.f64 (sin.f64 y)))))
✓	0.1b	(*.f64 (exp.f64 (log.f64 (cosh.f64 x))) (/.f64 (sin.f64 y) y))
	1.4b	(*.f64 (cosh.f64 x) (/.f64 (pow.f64 (cbrt.f64 (sin.f64 y)) 2) (/.f64 y (cbrt.f64 (sin.f64 y)))))
	39.1b	(*.f64 (cosh.f64 x) (cbrt.f64 (/.f64 (pow.f64 (sin.f64 y) 3) (pow.f64 y 3))))
	15.4b	(*.f64 (cosh.f64 x) (pow.f64 (sqrt.f64 (/.f64 (sin.f64 y) y)) 2))
	29.8b	(/.f64 (/.f64 (*.f64 (sin.f64 y) (cosh.f64 x)) (sqrt.f64 y)) (sqrt.f64 y))
▶	0.7b	(.f64 (cosh.f64 x) (.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) (pow.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) 2)))

Compiler

Compiled 1650 to 867 computations (47.5% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series85.0ms (1.4%)

Counts

3 → 20

Calls

9 calls:

51.0ms	(*.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) (pow.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) 2))	y	-inf
17.0ms	(pow.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) 2)	y	-inf
8.0ms	(cbrt.f64 (/.f64 (sin.f64 y) y))	y	-inf
2.0ms	(pow.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) 2)	y	inf
2.0ms	(*.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) (pow.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) 2))	y	0

rewrite44.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

629×	`log1p-expm1-u_binary64`
629×	`expm1-log1p-u_binary64`
316×	`log-prod_binary64`
119×	`expm1-udef_binary64`
119×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	25
1	167	25
2	1792	25

Stop Event

1×	node limit

Counts

3 → 90

simplify22.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

724×	`fma-def_binary64`
579×	`associate-l_binary64`
500×	`associate-r_binary64`
414×	`cancel-sign-sub-inv_binary64`
337×	`fma-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	45	212
1	121	204
2	335	194
3	1203	188

Stop Event

1×	node limit

Counts

110 → 109

prune214.0ms (3.5%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	228	2	230
Fresh	1	4	5
Picked	0	1	1
Done	0	2	2
Total	229	9	238

Error

0.0b

Counts

238 → 9

Alt Table

Status	Error	Program
✓	0.3b	(.f64 (cosh.f64 x) (.f64 (sin.f64 y) (/.f64 1 y)))
✓	0.1b	(*.f64 (exp.f64 (log.f64 (cosh.f64 x))) (/.f64 (sin.f64 y) y))
	15.4b	(*.f64 (cosh.f64 x) (pow.f64 (sqrt.f64 (/.f64 (sin.f64 y) y)) 2))
	0.7b	(.f64 (cosh.f64 x) (.f64 (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 y)) (pow.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) 2)))
	1.4b	(*.f64 (cosh.f64 x) (/.f64 (pow.f64 (cbrt.f64 (sin.f64 y)) 2) (/.f64 y (cbrt.f64 (sin.f64 y)))))
	39.1b	(*.f64 (cosh.f64 x) (cbrt.f64 (/.f64 (pow.f64 (sin.f64 y) 3) (pow.f64 y 3))))
	0.8b	(.f64 (cosh.f64 x) (.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) (pow.f64 (/.f64 1 (/.f64 (cbrt.f64 y) (cbrt.f64 (sin.f64 y)))) 2)))
	29.8b	(/.f64 (/.f64 (*.f64 (sin.f64 y) (cosh.f64 x)) (sqrt.f64 y)) (sqrt.f64 y))
✓	0.7b	(.f64 (cosh.f64 x) (.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) (pow.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) 2)))

Compiler

Compiled 4638 to 1852 computations (60.1% saved)

regimes274.0ms (4.5%)

Accuracy

Total 0.1b remaining (72.2%)

Threshold costs 0.1b (72.2%)

Counts

65 → 1

Compiler

Compiled 4359 to 3096 computations (29% 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

end123.0ms (2%)

Stop Event

1×

fuel

Compiler

Compiled 157 to 108 computations (31.2% saved)

Details

analyze474.0ms (7.7%)

sample3.9s (63.1%)

preprocess44.0ms (0.7%)

simplify35.0ms (0.6%)

prune2.0ms (0%)

localize5.0ms (0.1%)

series44.0ms (0.7%)

rewrite55.0ms (0.9%)

simplify44.0ms (0.7%)

prune100.0ms (1.6%)

localize7.0ms (0.1%)

series247.0ms (4%)

rewrite45.0ms (0.7%)

simplify41.0ms (0.7%)

prune142.0ms (2.3%)

localize9.0ms (0.1%)

series33.0ms (0.5%)

rewrite40.0ms (0.7%)

simplify38.0ms (0.6%)

prune83.0ms (1.4%)

localize8.0ms (0.1%)

series85.0ms (1.4%)

rewrite44.0ms (0.7%)

simplify22.0ms (0.4%)

prune214.0ms (3.5%)

regimes274.0ms (4.5%)

simplify2.0ms (0%)

end123.0ms (2%)

Profiling