Details

analyze136.0ms (0.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	56.2%	43.8%	0
0%	56.2%	43.8%	1
0%	56.2%	43.8%	2
42.1%	14%	43.8%	3
42.1%	14%	43.8%	4
52.7%	3.5%	43.8%	5
56.2%	0%	43.8%	6

Compiler

Compiled 44 to 29 computations (34.1% saved)

sample60.0ms (0.4%)

Algorithm

1×

intervals

Results

29.0ms	256×	body	128	valid
6.0ms	256×	pre	128	true

Compiler

Compiled 83 to 55 computations (33.7% saved)

simplify217.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

1227×	`associate-/l*_binary64`
689×	`distribute-rgt-in_binary64`
661×	`distribute-lft-in_binary64`
481×	`associate-/l/_binary64`
450×	`associate-l_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	15	40
1	36	38
2	114	38
3	468	37
4	2359	37
5	2330	37
6	2458	37
7	2717	37
8	3067	37
9	3038	37
10	3136	37
11	3263	37
12	3406	37
13	3706	37
14	4273	37
15	4084	37
16	4107	37
17	4114	37
18	4121	37
19	4128	37
20	4135	37
21	4142	37
22	4149	37
23	4156	37
24	5226	37

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

1.4b

Counts

3 → 2

Alt Table

Status	Error	Program
	3.3b	(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha beta) (.f64 beta alpha)) 1) (+.f64 (+.f64 alpha beta) (.f64 2 1))) (+.f64 (+.f64 alpha beta) (.f64 2 1))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 2 1)) 1))
▶	1.9b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))

Status

Error

Program

3.3b

(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 beta alpha)) 1) (+.f64 (+.f64 alpha beta) (*.f64 2 1))) (+.f64 (+.f64 alpha beta) (*.f64 2 1))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 1)) 1))

▶

1.9b

(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 190 to 123 computations (35.3% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))
✓	0.0b	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
✓	0.1b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
✓	18.6b	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))

series289.0ms (1.9%)

Counts

4 → 96

Calls

4 calls:

150.0ms	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
72.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
58.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))
9.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))

rewrite83.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

77×	`*-un-lft-identity_binary64`
34×	`distribute-lft-out_binary64`
34×	`add-cbrt-cube_binary64`
34×	`add-exp-log_binary64`
24×	`flip-+_binary64`

Counts

4 → 166

Calls

4 calls:

20.0ms	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
19.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
16.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))
11.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))

simplify205.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

363×	`+-commutative_binary64`
342×	`distribute-rgt-in_binary64`
291×	`associate-+r+_binary64`
266×	`fma-def_binary64`
257×	`*-commutative_binary64`

Counts

262 → 350

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1061	15235
1	3719	14320
2	5141	14320

prune631.0ms (4.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	344	6	350
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	346	6	352

Error

0.0b

Counts

352 → 6

Alt Table

Status	Error	Program
	1.9b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (/.f64 1 (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))) (+.f64 alpha (+.f64 beta 3)))
▶	0.1b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))
	0.2b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
	6.5b	(/.f64 (cbrt.f64 (pow.f64 (.f64 (+.f64 1 alpha) (/.f64 (+.f64 1 beta) (.f64 (+.f64 2 (+.f64 alpha beta)) (+.f64 2 (+.f64 alpha beta))))) 3)) (+.f64 alpha (+.f64 beta 3)))
	2.8b	(.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))) (cbrt.f64 (/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3))))) (cbrt.f64 (/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))))
	1.9b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 (.f64 alpha alpha) (+.f64 4 (+.f64 (.f64 beta beta) (.f64 alpha (+.f64 (*.f64 2 beta) 4)))))))) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 21317 to 14446 computations (32.2% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))
✓	0.0b	(/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))))
✓	0.0b	(*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))))))
✓	0.1b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))

series291.0ms (2%)

Counts

4 → 96

Calls

4 calls:

171.0ms	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))
74.0ms	(*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))))))
25.0ms	(/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))
21.0ms	(/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))))

rewrite342.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Rules

1679×	`*-un-lft-identity_binary64`
1382×	`times-frac_binary64`
700×	`distribute-lft-out_binary64`
495×	`add-sqr-sqrt_binary64`
472×	`add-cube-cbrt_binary64`

Counts

4 → 726

Calls

4 calls:

92.0ms	(*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))))))
44.0ms	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))
17.0ms	(/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))))
9.0ms	(/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))

simplify457.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

364×	`distribute-rgt-in_binary64`
352×	`+-commutative_binary64`
279×	`*-commutative_binary64`
276×	`associate-+r+_binary64`
235×	`associate-*r/_binary64`

Counts

822 → 750

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1248	31404
1	4021	30193
2	5469	30193

prune1.3s (8.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	746	4	750
Fresh	2	3	5
Picked	1	0	1
Done	0	0	0
Total	749	7	756

Error

Counts

756 → 7

Alt Table

Status	Error	Program
	1.9b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (/.f64 1 (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))) (+.f64 alpha (+.f64 beta 3)))
	5.0b	(/.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 1 alpha) (/.f64 (+.f64 2 (+.f64 beta alpha)) (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))))) 3)) (+.f64 alpha (+.f64 beta 3)))
	0.1b	(.f64 (.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))) (/.f64 1 (+.f64 alpha (+.f64 beta 3))))
	0.2b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
	0.6b	(/.f64 (/.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3))))
	2.8b	(.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))) (cbrt.f64 (/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3))))) (cbrt.f64 (/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))))
▶	0.1b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 1 (/.f64 (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 40690 to 27323 computations (32.9% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))) (+.f64 2 (+.f64 alpha beta)))
✓	0.0b	(*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 1 (/.f64 (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))) (+.f64 2 (+.f64 alpha beta))))))
✓	0.1b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 1 (/.f64 (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))
✓	0.1b	(/.f64 1 (/.f64 (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))) (+.f64 2 (+.f64 alpha beta))))

series301.0ms (2%)

Counts

4 → 96

Calls

4 calls:

156.0ms	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 1 (/.f64 (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))
74.0ms	(*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 1 (/.f64 (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))) (+.f64 2 (+.f64 alpha beta))))))
52.0ms	(/.f64 (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))) (+.f64 2 (+.f64 alpha beta)))
18.0ms	(/.f64 1 (/.f64 (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))) (+.f64 2 (+.f64 alpha beta))))

rewrite1.2s (7.9%)

Algorithm

1×	rewrite-expression-head

Rules

6154×	`times-frac_binary64`
6037×	`*-un-lft-identity_binary64`
2309×	`distribute-lft-out_binary64`
2112×	`add-sqr-sqrt_binary64`
2057×	`add-cube-cbrt_binary64`

Counts

4 → 2139

Calls

4 calls:

250.0ms	(*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 1 (/.f64 (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))) (+.f64 2 (+.f64 alpha beta))))))
104.0ms	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 1 (/.f64 (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))
31.0ms	(/.f64 1 (/.f64 (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))) (+.f64 2 (+.f64 alpha beta))))
26.0ms	(/.f64 (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))) (+.f64 2 (+.f64 alpha beta)))

simplify1.4s (9.6%)

Algorithm

1×	egg-herbie

Rules

390×	`+-commutative_binary64`
308×	`associate-+r+_binary64`
293×	`*-commutative_binary64`
278×	`fma-def_binary64`
255×	`associate-*r/_binary64`

Counts

2235 → 1687

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1425	76589
1	4356	74126
2	4975	74126

prune3.1s (21.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	1686	1	1687
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	1688	6	1694

Error

Counts

1694 → 6

Alt Table

Status	Error	Program
	1.9b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (/.f64 1 (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))) (+.f64 alpha (+.f64 beta 3)))
	5.0b	(/.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 1 alpha) (/.f64 (+.f64 2 (+.f64 beta alpha)) (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))))) 3)) (+.f64 alpha (+.f64 beta 3)))
▶	0.1b	(.f64 (.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))) (/.f64 1 (+.f64 alpha (+.f64 beta 3))))
	0.2b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
	2.8b	(.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))) (cbrt.f64 (/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3))))) (cbrt.f64 (/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))))
	0.6b	(/.f64 (/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 alpha beta))) (+.f64 2 (+.f64 alpha beta)))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3))))

Compiler

Compiled 93392 to 63941 computations (31.5% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 1 (+.f64 alpha (+.f64 beta 3)))
	0.0b	(/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))))
	0.0b	(*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))))))
✓	0.1b	(.f64 (.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))) (/.f64 1 (+.f64 alpha (+.f64 beta 3))))

series176.0ms (1.2%)

Counts

2 → 48

Calls

2 calls:

158.0ms

(*.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))) (/.f64 1 (+.f64 alpha (+.f64 beta 3))))

18.0ms

(/.f64 1 (+.f64 alpha (+.f64 beta 3)))

rewrite87.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

193×	`add-exp-log_binary64`
84×	`prod-exp_binary64`
84×	`div-exp_binary64`
56×	`*-un-lft-identity_binary64`
49×	`add-cbrt-cube_binary64`

Counts

2 → 145

Calls

2 calls:

51.0ms

(*.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))) (/.f64 1 (+.f64 alpha (+.f64 beta 3))))

6.0ms

(/.f64 1 (+.f64 alpha (+.f64 beta 3)))

simplify178.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

822×	`times-frac_binary64`
564×	`fma-def_binary64`
194×	`distribute-rgt-in_binary64`
190×	`+-commutative_binary64`
189×	`distribute-lft-in_binary64`

Counts

193 → 241

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	689	10731
1	2370	9828
2	5059	9828

prune1.5s (9.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	802	1	803
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	803	6	809

Error

Counts

809 → 6

Alt Table

Status	Error	Program
	1.9b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (/.f64 1 (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))) (+.f64 alpha (+.f64 beta 3)))
	5.0b	(/.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 1 alpha) (/.f64 (+.f64 2 (+.f64 beta alpha)) (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))))) 3)) (+.f64 alpha (+.f64 beta 3)))
	1.9b	(.f64 (.f64 (*.f64 (+.f64 1 alpha) (sqrt.f64 (+.f64 beta 1))) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 2 (+.f64 alpha beta)))))) (/.f64 1 (+.f64 alpha (+.f64 beta 3))))
	0.2b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
✓	0.1b	(.f64 (.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))) (/.f64 1 (+.f64 alpha (+.f64 beta 3))))
	0.6b	(/.f64 (/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 alpha beta))) (+.f64 2 (+.f64 alpha beta)))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3))))

Compiler

Compiled 43428 to 29699 computations (31.6% saved)

regimes1.4s (9.1%)

Accuracy

Total 0.1b remaining (73%)

Threshold costs 0.1b (73%)

Counts

326 → 1

Compiler

Compiled 35894 to 25748 computations (28.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	40
1	26	40
2	25	40

end7.0ms (0%)

Compiler: Compiled 87 to 60 computations (31% saved)

sample1.5s (9.9%)

Algorithm

1×

intervals

Results

676.0ms	8000×	body	128	valid
149.0ms	8000×	pre	128	true

Compiler

Compiled 270 to 188 computations (30.4% saved)

Details

analyze136.0ms (0.9%)

sample60.0ms (0.4%)

simplify217.0ms (1.5%)

prune4.0ms (0%)

localize12.0ms (0.1%)

series289.0ms (1.9%)

rewrite83.0ms (0.6%)

simplify205.0ms (1.4%)

prune631.0ms (4.3%)

localize13.0ms (0.1%)

series291.0ms (2%)

rewrite342.0ms (2.3%)

simplify457.0ms (3.1%)

prune1.3s (8.6%)

localize16.0ms (0.1%)

series301.0ms (2%)

rewrite1.2s (7.9%)

simplify1.4s (9.6%)

prune3.1s (21.2%)

localize14.0ms (0.1%)

series176.0ms (1.2%)

rewrite87.0ms (0.6%)

simplify178.0ms (1.2%)

prune1.5s (9.9%)

regimes1.4s (9.1%)

simplify3.0ms (0%)

end7.0ms (0%)

sample1.5s (9.9%)

Profiling