Details

analyze592.0ms (14.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
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
6.2%	79.6%	14.2%	8
7.8%	75.7%	16.5%	9
11.7%	68.6%	19.6%	10
20.3%	49.3%	30.4%	11
22.2%	44.4%	33.4%	12
25.2%	37.3%	37.5%	13
28%	27.3%	44.7%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.5s (37.5%)

Results

928.0ms	8256×	body	128	valid
536.0ms	4583×	body	128	invalid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify85.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1052×	`fma-def_binary64`
423×	`fabs-mul_binary64`
333×	`distribute-rgt-in_binary64`
319×	`div-sub_binary64`
307×	`*-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	19	12
2	45	12
3	105	12
4	219	12
5	360	12
6	617	12
7	1698	12
8	2037	12
9	2629	12
10	3437	12
11	3909	12
12	4557	12
13	5039	12

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

7.7b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	7.7b	(/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z)

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (cosh.f64 x) (/.f64 y x))
✓	7.2b	(/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z)

series95.0ms (2.3%)

Counts

2 → 60

Calls

2 calls:

64.0ms	(/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z)
31.0ms	(*.f64 (cosh.f64 x) (/.f64 y x))

rewrite14.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64`
16×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
13×	`associate-r_binary64`
13×	`times-frac_binary64`

Counts

2 → 64

Calls

2 calls:

6.0ms	(/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z)
5.0ms	(*.f64 (cosh.f64 x) (/.f64 y x))

simplify88.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

860×	`times-frac_binary64`
530×	`fma-def_binary64`
444×	`associate-l_binary64`
362×	`associate-r_binary64`
348×	`associate-/r/_binary64`

Counts

124 → 120

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	172	2288
1	432	2019
2	1488	2017
3	4433	2011
4	4988	2011

prune80.0ms (1.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	112	8	120
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	113	8	121

Error

0.0b

Counts

121 → 8

Alt Table

Status	Error	Program
▶	6.2b	(.f64 (cosh.f64 x) (/.f64 y (.f64 z x)))
	32.8b	(.f64 (sqrt.f64 (/.f64 (.f64 (cosh.f64 x) (/.f64 y x)) z)) (sqrt.f64 (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z)))
	7.1b	(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 y (.f64 z x)) (cosh.f64 x))) (cbrt.f64 (.f64 (/.f64 y (.f64 z x)) (cosh.f64 x)))) (cbrt.f64 (.f64 (/.f64 y (.f64 z x)) (cosh.f64 x))))
	34.9b	(/.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 y x) (cosh.f64 x)) 3)) z)
	34.0b	(/.f64 (*.f64 (/.f64 y x) (/.f64 (cosh.f64 x) (sqrt.f64 z))) (sqrt.f64 z))
	7.8b	(/.f64 (.f64 (.f64 (cosh.f64 x) y) (/.f64 1 x)) z)
	8.0b	(/.f64 (cosh.f64 x) (/.f64 z (/.f64 y x)))
	7.8b	(.f64 (.f64 (cosh.f64 x) (/.f64 y x)) (/.f64 1 z))

Compiler

Compiled 2009 to 661 computations (67.1% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (cosh.f64 x) (/.f64 y (.f64 z x)))
✓	5.8b	(/.f64 y (*.f64 z x))

series116.0ms (2.8%)

Counts

2 → 36

Calls

2 calls:

62.0ms	(.f64 (cosh.f64 x) (/.f64 y (.f64 z x)))
54.0ms	(/.f64 y (*.f64 z x))

rewrite13.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
9×	`add-sqr-sqrt_binary64`
7×	`associate-r_binary64`
7×	`*-un-lft-identity_binary64`

Counts

2 → 54

Calls

2 calls:

7.0ms	(.f64 (cosh.f64 x) (/.f64 y (.f64 z x)))
3.0ms	(/.f64 y (*.f64 z x))

simplify70.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

807×	`times-frac_binary64`
523×	`associate-*r/_binary64`
521×	`associate-*l/_binary64`
483×	`associate-/l*_binary64`
396×	`associate-/r*_binary64`

Counts

90 → 89

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	130	1642
1	321	1429
2	1080	1427
3	4803	1427
4	5068	1427

prune52.0ms (1.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	86	3	89
Fresh	4	3	7
Picked	0	1	1
Done	0	0	0
Total	90	7	97

Error

0.0b

Counts

97 → 7

Alt Table

Status	Error	Program
✓	6.2b	(.f64 (cosh.f64 x) (/.f64 y (.f64 z x)))
	7.5b	(*.f64 (cosh.f64 x) (/.f64 (/.f64 y z) x))
▶	6.4b	(.f64 (cosh.f64 x) (/.f64 1 (/.f64 (.f64 z x) y)))
	7.1b	(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 y (.f64 z x)) (cosh.f64 x))) (cbrt.f64 (.f64 (/.f64 y (.f64 z x)) (cosh.f64 x)))) (cbrt.f64 (.f64 (/.f64 y (.f64 z x)) (cosh.f64 x))))
	34.9b	(/.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 y x) (cosh.f64 x)) 3)) z)
	7.8b	(/.f64 (.f64 (.f64 (cosh.f64 x) y) (/.f64 1 x)) z)
	7.8b	(.f64 (.f64 (cosh.f64 x) (/.f64 1 z)) (/.f64 y x))

Compiler

Compiled 1499 to 444 computations (70.4% saved)

localize12.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (cosh.f64 x) (/.f64 1 (/.f64 (.f64 z x) y)))
✓	0.5b	(/.f64 1 (/.f64 (*.f64 z x) y))
✓	5.8b	(/.f64 (*.f64 z x) y)

series99.0ms (2.4%)

Counts

3 → 72

Calls

3 calls:

68.0ms	(.f64 (cosh.f64 x) (/.f64 1 (/.f64 (.f64 z x) y)))
18.0ms	(/.f64 1 (/.f64 (*.f64 z x) y))
13.0ms	(/.f64 (*.f64 z x) y)

rewrite33.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

68×	`times-frac_binary64`
61×	`add-exp-log_binary64`
43×	`add-sqr-sqrt_binary64`
37×	`*-un-lft-identity_binary64`
36×	`add-cube-cbrt_binary64`

Counts

3 → 142

Calls

3 calls:

9.0ms	(.f64 (cosh.f64 x) (/.f64 1 (/.f64 (.f64 z x) y)))
6.0ms	(/.f64 (*.f64 z x) y)
5.0ms	(/.f64 1 (/.f64 (*.f64 z x) y))

simplify102.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

765×	`associate-/l*_binary64`
551×	`associate-/r/_binary64`
542×	`associate-/r*_binary64`
461×	`fma-def_binary64`
399×	`*-commutative_binary64`

Counts

214 → 211

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	179	3208
1	410	2792
2	1450	2444
3	4112	2444
4	5002	2444

prune117.0ms (2.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	208	3	211
Fresh	3	2	5
Picked	1	0	1
Done	0	1	1
Total	212	6	218

Error

0.0b

Counts

218 → 6

Alt Table

Status	Error	Program
✓	6.2b	(.f64 (cosh.f64 x) (/.f64 y (.f64 z x)))
	7.5b	(*.f64 (cosh.f64 x) (/.f64 (/.f64 y z) x))
▶	6.4b	(/.f64 (cosh.f64 x) (/.f64 (*.f64 z x) y))
	7.0b	(.f64 (cosh.f64 x) (/.f64 1 (.f64 z (/.f64 x y))))
	7.8b	(/.f64 (.f64 (.f64 (cosh.f64 x) y) (/.f64 1 x)) z)
	6.8b	(*.f64 (cosh.f64 x) (/.f64 (/.f64 1 z) (/.f64 x y)))

Compiler

Compiled 3639 to 1345 computations (63% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.5b	(/.f64 (cosh.f64 x) (/.f64 (*.f64 z x) y))
	5.8b	(/.f64 (*.f64 z x) y)

series64.0ms (1.5%)

Counts

1 → 36

Calls

1 calls:

64.0ms

(/.f64 (cosh.f64 x) (/.f64 (*.f64 z x) y))

rewrite8.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`times-frac_binary64`
17×	`*-un-lft-identity_binary64`
17×	`add-sqr-sqrt_binary64`
17×	`add-cube-cbrt_binary64`
10×	`add-cbrt-cube_binary64`

Counts

1 → 51

Calls

1 calls:

5.0ms

(/.f64 (cosh.f64 x) (/.f64 (*.f64 z x) y))

simplify108.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

759×	`times-frac_binary64`
717×	`associate-/l*_binary64`
511×	`associate-/l/_binary64`
475×	`associate-/r*_binary64`
454×	`associate-/r/_binary64`

Counts

87 → 79

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	160	1920
1	389	1749
2	1275	1743
3	5032	1743

prune54.0ms (1.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	105	2	107
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	107	6	113

Error

0.0b

Counts

113 → 6

Alt Table

Status	Error	Program
✓	6.2b	(.f64 (cosh.f64 x) (/.f64 y (.f64 z x)))
	7.5b	(*.f64 (cosh.f64 x) (/.f64 (/.f64 y z) x))
✓	6.4b	(/.f64 (cosh.f64 x) (/.f64 (*.f64 z x) y))
	7.0b	(/.f64 (cosh.f64 x) (*.f64 z (/.f64 x y)))
	6.8b	(/.f64 (/.f64 (cosh.f64 x) z) (/.f64 x y))
	7.8b	(/.f64 (.f64 (.f64 (cosh.f64 x) y) (/.f64 1 x)) z)

Compiler

Compiled 1681 to 445 computations (73.5% saved)

regimes672.0ms (16.3%)

Accuracy

Total 0.3b remaining (86.2%)

Threshold costs 0.3b (86.2%)

Counts

73 → 3

Compiler

Compiled 6281 to 3579 computations (43% saved)

bsearch2.0ms (0.1%)

Compiler: Compiled 11 to 7 computations (36.4% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
1×	`/-rgt-identity_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	70
1	31	70
2	30	70

end76.0ms (1.8%)

Compiler: Compiled 166 to 86 computations (48.2% saved)

Details

analyze592.0ms (14.4%)

sample1.5s (37.5%)

simplify85.0ms (2.1%)

prune2.0ms (0%)

localize6.0ms (0.2%)

series95.0ms (2.3%)

rewrite14.0ms (0.3%)

simplify88.0ms (2.1%)

prune80.0ms (1.9%)

localize5.0ms (0.1%)

series116.0ms (2.8%)

rewrite13.0ms (0.3%)

simplify70.0ms (1.7%)

prune52.0ms (1.3%)

localize12.0ms (0.3%)

series99.0ms (2.4%)

rewrite33.0ms (0.8%)

simplify102.0ms (2.5%)

prune117.0ms (2.8%)

localize7.0ms (0.2%)

series64.0ms (1.5%)

rewrite8.0ms (0.2%)

simplify108.0ms (2.6%)

prune54.0ms (1.3%)

regimes672.0ms (16.3%)

bsearch2.0ms (0.1%)

simplify3.0ms (0.1%)

end76.0ms (1.8%)

Profiling