Details

analyze3.0ms (0%)

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)

sample1.4s (14.3%)

Symmetry

(sort alpha beta)

Results

1.2s

8256×

body

128

valid

Compiler

Compiled 125 to 82 computations (34.4% saved)

simplify250.0ms (2.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

prune6.0ms (0.1%)

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
	4.4b	(/.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.8b	(/.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

4.4b

(/.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.8b

(/.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.1b	(.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)))
✓	15.6b	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))

series265.0ms (2.7%)

Counts

4 → 96

Calls

4 calls:

143.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)))
65.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
50.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))
7.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))

rewrite317.0ms (3.2%)

Algorithm

4×	egg-rewrite

Rules

71×	`egg`
66×	`egg`
58×	`egg`
41×	`egg`

Counts

4 → 236

Calls

4 calls:

86.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))
81.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
75.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)))
69.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	16
1	237	16
2	3257	16
3	5193	16
0	16	31
1	394	31
2	4840	31
3	5273	31
0	12	22
1	287	22
2	4067	22
3	5835	22
0	7	10
1	167	10
2	2238	10
3	4808	10
4	4944	10

simplify163.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

824×	`times-frac_binary64`
352×	`+-commutative_binary64`
290×	`associate-+r+_binary64`
263×	`fma-def_binary64`
209×	`*-commutative_binary64`

Counts

332 → 339

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	856	9844
1	3106	9844
2	4969	9844

prune685.0ms (7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	332	7	339
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	334	7	341

Error

Counts

341 → 7

Alt Table

Status	Error	Program
	5.1b	(.f64 (/.f64 (/.f64 (sqrt.f64 (.f64 (+.f64 alpha 1) (+.f64 1 beta))) (+.f64 (+.f64 alpha beta) 2)) (pow.f64 (cbrt.f64 (+.f64 alpha (+.f64 beta 3))) 2)) (/.f64 (/.f64 (sqrt.f64 (*.f64 (+.f64 alpha 1) (+.f64 1 beta))) (+.f64 (+.f64 alpha beta) 2)) (cbrt.f64 (+.f64 alpha (+.f64 beta 3)))))
	1.4b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
	1.8b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 (sqrt.f64 (fma.f64 (+.f64 alpha beta) 2 4)) (sqrt.f64 (fma.f64 (+.f64 alpha beta) 2 4)) (.f64 (+.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2))))) (+.f64 alpha (+.f64 beta 3)))
	2.5b	(*.f64 (/.f64 (+.f64 alpha 1) (pow.f64 (cbrt.f64 (+.f64 alpha (+.f64 beta 3))) 2)) (/.f64 (/.f64 (+.f64 1 beta) (pow.f64 (+.f64 (+.f64 alpha beta) 2) 2)) (cbrt.f64 (+.f64 alpha (+.f64 beta 3)))))
▶	0.1b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)) (+.f64 (+.f64 beta alpha) 2))) (+.f64 alpha (+.f64 beta 3)))
	1.9b	(/.f64 (+.f64 alpha 1) (/.f64 (+.f64 alpha (+.f64 beta 3)) (/.f64 (+.f64 1 beta) (pow.f64 (+.f64 (+.f64 alpha beta) 2) 2))))
	7.9b	(/.f64 (cbrt.f64 (pow.f64 (*.f64 (+.f64 alpha 1) (/.f64 (+.f64 1 beta) (pow.f64 (+.f64 (+.f64 alpha beta) 2) 2))) 3)) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 18950 to 13346 computations (29.6% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series275.0ms (2.8%)

Counts

4 → 96

Calls

4 calls:

136.0ms	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)) (+.f64 (+.f64 beta alpha) 2))) (+.f64 alpha (+.f64 beta 3)))
69.0ms	(*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)) (+.f64 (+.f64 beta alpha) 2)))
48.0ms	(/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)) (+.f64 (+.f64 beta alpha) 2))
21.0ms	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2))

rewrite293.0ms (3%)

Algorithm

4×	egg-rewrite

Rules

73×	`egg`
63×	`egg`
51×	`egg`
43×	`egg`

Counts

4 → 230

Calls

4 calls:

85.0ms	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)) (+.f64 (+.f64 beta alpha) 2))) (+.f64 alpha (+.f64 beta 3)))
79.0ms	(*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)) (+.f64 (+.f64 beta alpha) 2)))
66.0ms	(/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)) (+.f64 (+.f64 beta alpha) 2))
57.0ms	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	37
1	392	31
2	4894	31
3	5325	31
0	12	28
1	285	22
2	4105	22
3	5613	22
0	9	13
1	210	13
2	2843	13
3	4969	13
0	10	22
1	235	16
2	3298	16
3	4997	16

simplify324.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

862×	`times-frac_binary64`
373×	`+-commutative_binary64`
303×	`associate-+r+_binary64`
270×	`fma-def_binary64`
219×	`*-commutative_binary64`

Counts

326 → 336

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	912	10607
1	3319	10607
2	4980	10607

prune1.3s (13%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	335	1	336
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	337	6	343

Error

Counts

343 → 6

Alt Table

Status	Error	Program
	5.1b	(.f64 (/.f64 (/.f64 (sqrt.f64 (.f64 (+.f64 alpha 1) (+.f64 1 beta))) (+.f64 (+.f64 alpha beta) 2)) (pow.f64 (cbrt.f64 (+.f64 alpha (+.f64 beta 3))) 2)) (/.f64 (/.f64 (sqrt.f64 (*.f64 (+.f64 alpha 1) (+.f64 1 beta))) (+.f64 (+.f64 alpha beta) 2)) (cbrt.f64 (+.f64 alpha (+.f64 beta 3)))))
	1.4b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
▶	0.1b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (log.f64 (exp.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)))) (+.f64 (+.f64 beta alpha) 2))) (+.f64 alpha (+.f64 beta 3)))
	2.5b	(*.f64 (/.f64 (+.f64 alpha 1) (pow.f64 (cbrt.f64 (+.f64 alpha (+.f64 beta 3))) 2)) (/.f64 (/.f64 (+.f64 1 beta) (pow.f64 (+.f64 (+.f64 alpha beta) 2) 2)) (cbrt.f64 (+.f64 alpha (+.f64 beta 3)))))
	1.9b	(/.f64 (+.f64 alpha 1) (/.f64 (+.f64 alpha (+.f64 beta 3)) (/.f64 (+.f64 1 beta) (pow.f64 (+.f64 (+.f64 alpha beta) 2) 2))))
	7.9b	(/.f64 (cbrt.f64 (pow.f64 (*.f64 (+.f64 alpha 1) (/.f64 (+.f64 1 beta) (pow.f64 (+.f64 (+.f64 alpha beta) 2) 2))) 3)) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 19673 to 13889 computations (29.4% saved)

localize38.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series368.0ms (3.7%)

Counts

3 → 72

Calls

3 calls:

274.0ms

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

71.0ms

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

22.0ms

(log.f64 (exp.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2))))

rewrite294.0ms (3%)

Algorithm

3×	egg-rewrite

Rules

67×	`egg`
55×	`egg`
41×	`egg`

Counts

3 → 163

Calls

3 calls:

127.0ms

(log.f64 (exp.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2))))

83.0ms

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

80.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	37
1	407	34
2	4973	34
3	5403	34
0	14	28
1	300	22
2	4228	22
3	5735	22
0	11	13
1	226	13
2	3014	13
3	4999	13
4	4694	13
5	5015	13

simplify247.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

830×	`times-frac_binary64`
822×	`fma-def_binary64`
299×	`+-commutative_binary64`
245×	`associate-+r+_binary64`
191×	`*-commutative_binary64`

Counts

235 → 243

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	789	8511
1	2821	8483
2	4976	8483

prune700.0ms (7.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	319	0	319
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	319	6	325

Error

Counts

325 → 6

Alt Table

Status	Error	Program
	5.1b	(.f64 (/.f64 (/.f64 (sqrt.f64 (.f64 (+.f64 alpha 1) (+.f64 1 beta))) (+.f64 (+.f64 alpha beta) 2)) (pow.f64 (cbrt.f64 (+.f64 alpha (+.f64 beta 3))) 2)) (/.f64 (/.f64 (sqrt.f64 (*.f64 (+.f64 alpha 1) (+.f64 1 beta))) (+.f64 (+.f64 alpha beta) 2)) (cbrt.f64 (+.f64 alpha (+.f64 beta 3)))))
▶	1.4b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
✓	0.1b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (log.f64 (exp.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)))) (+.f64 (+.f64 beta alpha) 2))) (+.f64 alpha (+.f64 beta 3)))
	2.5b	(*.f64 (/.f64 (+.f64 alpha 1) (pow.f64 (cbrt.f64 (+.f64 alpha (+.f64 beta 3))) 2)) (/.f64 (/.f64 (+.f64 1 beta) (pow.f64 (+.f64 (+.f64 alpha beta) 2) 2)) (cbrt.f64 (+.f64 alpha (+.f64 beta 3)))))
	1.9b	(/.f64 (+.f64 alpha 1) (/.f64 (+.f64 alpha (+.f64 beta 3)) (/.f64 (+.f64 1 beta) (pow.f64 (+.f64 (+.f64 alpha beta) 2) 2))))
	7.9b	(/.f64 (cbrt.f64 (pow.f64 (*.f64 (+.f64 alpha 1) (/.f64 (+.f64 1 beta) (pow.f64 (+.f64 (+.f64 alpha beta) 2) 2))) 3)) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 18566 to 13047 computations (29.7% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series466.0ms (4.7%)

Counts

4 → 96

Calls

4 calls:

282.0ms	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
75.0ms	(.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2)))
57.0ms	(pow.f64 (+.f64 (+.f64 beta alpha) 2) -2)
51.0ms	(*.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))

rewrite398.0ms (4%)

Algorithm

4×	egg-rewrite

Rules

47×	`egg`
46×	`egg`
37×	`egg`
24×	`egg`

Counts

4 → 154

Calls

4 calls:

132.0ms	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
126.0ms	(*.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))
76.0ms	(.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2)))
60.0ms	(pow.f64 (+.f64 (+.f64 beta alpha) 2) -2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	249	16
2	3006	16
3	4861	16
4	4810	16
5	4916	16
0	17	31
1	406	31
2	4791	31
3	5467	31
0	13	22
1	299	22
2	3756	22
3	5124	22
0	8	10
1	187	10
2	2295	10
3	5058	10

simplify305.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

852×	`times-frac_binary64`
362×	`+-commutative_binary64`
291×	`associate-+r+_binary64`
279×	`fma-def_binary64`
227×	`*-commutative_binary64`

Counts

250 → 269

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	904	10388
1	3299	10388
2	5178	10388

prune772.0ms (7.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	268	1	269
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	269	6	275

Error

Counts

275 → 6

Alt Table

Status	Error	Program
	1.9b	(/.f64 (+.f64 alpha 1) (/.f64 (+.f64 alpha (+.f64 beta 3)) (/.f64 (+.f64 1 beta) (pow.f64 (+.f64 (+.f64 alpha beta) 2) 2))))
	1.8b	(/.f64 (+.f64 alpha 1) (/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (+.f64 1 beta) (pow.f64 (+.f64 (+.f64 alpha beta) 2) -2))))
✓	0.1b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (log.f64 (exp.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)))) (+.f64 (+.f64 beta alpha) 2))) (+.f64 alpha (+.f64 beta 3)))
	2.5b	(*.f64 (/.f64 (+.f64 alpha 1) (pow.f64 (cbrt.f64 (+.f64 alpha (+.f64 beta 3))) 2)) (/.f64 (/.f64 (+.f64 1 beta) (pow.f64 (+.f64 (+.f64 alpha beta) 2) 2)) (cbrt.f64 (+.f64 alpha (+.f64 beta 3)))))
✓	1.4b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
	7.9b	(/.f64 (cbrt.f64 (pow.f64 (*.f64 (+.f64 alpha 1) (/.f64 (+.f64 1 beta) (pow.f64 (+.f64 (+.f64 alpha beta) 2) 2))) 3)) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 16811 to 12219 computations (27.3% saved)

regimes667.0ms (6.8%)

Accuracy

Total 0.1b remaining (69.4%)

Threshold costs 0.1b (69.4%)

Counts

176 → 1

Compiler

Compiled 17150 to 12584 computations (26.6% 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	18	41
1	27	41
2	26	41

end269.0ms (2.7%)

Compiler: Compiled 273 to 196 computations (28.2% saved)

Details

analyze3.0ms (0%)

sample1.4s (14.3%)

simplify250.0ms (2.5%)

prune6.0ms (0.1%)

localize12.0ms (0.1%)

series265.0ms (2.7%)

rewrite317.0ms (3.2%)

simplify163.0ms (1.7%)

prune685.0ms (7%)

localize12.0ms (0.1%)

series275.0ms (2.8%)

rewrite293.0ms (3%)

simplify324.0ms (3.3%)

prune1.3s (13%)

localize38.0ms (0.4%)

series368.0ms (3.7%)

rewrite294.0ms (3%)

simplify247.0ms (2.5%)

prune700.0ms (7.1%)

localize14.0ms (0.1%)

series466.0ms (4.7%)

rewrite398.0ms (4%)

simplify305.0ms (3.1%)

prune772.0ms (7.9%)

regimes667.0ms (6.8%)

simplify3.0ms (0%)

end269.0ms (2.7%)

Profiling