Details

analyze708.0ms (11.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	93.6%	6.4%	7
3.1%	84.2%	12.7%	8
12.5%	67.1%	20.5%	9
16%	63.5%	20.5%	10
17.9%	57.7%	24.4%	11
22.6%	48.7%	28.7%	12
28.7%	37.8%	33.6%	13
30.4%	35.9%	33.7%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample1.5s (24.1%)

Symmetry

(sort V l)

Results

1.0s	8256×	body	128	valid
490.0ms	3950×	body	128	invalid

Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify11.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
2×	`associate-/r*_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	12
1	13	12
2	15	12
3	15	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

18.8b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	18.8b	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	1.1b	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
✓	6.2b	(/.f64 A (*.f64 V l))
✓	15.1b	(sqrt.f64 (/.f64 A (*.f64 V l)))

series123.0ms (1.9%)

Counts

3 → 12

Calls

3 calls:

65.0ms	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
41.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))
16.0ms	(/.f64 A (*.f64 V l))

rewrite17.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64`
15×	`sqrt-prod_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
10×	`associate-r_binary64`

Counts

3 → 72

Calls

3 calls:

6.0ms	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
6.0ms	(/.f64 A (*.f64 V l))
2.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))

simplify102.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

893×	`fma-neg_binary64`
679×	`associate-/r/_binary64`
449×	`div-sub_binary64`
262×	`times-frac_binary64`
261×	`sub-neg_binary64`

Counts

84 → 86

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	103	1084
1	194	1009
2	561	1009
3	1631	1009
4	2187	1009
5	2446	1009
6	3196	1009
7	4340	1009
8	4698	1009

prune80.0ms (1.3%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	70	16	86
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	16	87

Error

7.5b

Counts

87 → 16

Alt Table

Status	Error	Program
	36.4b	(.f64 (.f64 c0 (sqrt.f64 A)) (sqrt.f64 (/.f64 1 (*.f64 V l))))
	16.7b	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
	52.5b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 1 V))) (sqrt.f64 (/.f64 A l)))
	18.6b	(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
	19.2b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (.f64 V l)))))
	39.9b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l))))
	36.1b	(/.f64 (.f64 c0 (sqrt.f64 A)) (sqrt.f64 (.f64 V l)))
	39.3b	(.f64 (.f64 (sqrt.f64 c0) (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) (.f64 (sqrt.f64 c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))
	35.1b	(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
	41.2b	(cbrt.f64 (.f64 (.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))))
	52.1b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 (sqrt.f64 A) V))) (sqrt.f64 (/.f64 (sqrt.f64 A) l)))
	52.1b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V))) (sqrt.f64 (/.f64 (cbrt.f64 A) l)))
▶	16.1b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
	19.0b	(.f64 (.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))
	39.3b	(.f64 (sqrt.f64 c0) (.f64 (sqrt.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l)))))
	19.5b	(.f64 (.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (.f64 (cbrt.f64 c0) (sqrt.f64 (/.f64 A (.f64 V l)))))

Compiler

Compiled 1758 to 639 computations (63.7% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 A)
✓	1.1b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
✓	3.4b	(.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))
✓	15.1b	(sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))

series179.0ms (2.8%)

Counts

4 → 60

Calls

4 calls:

75.0ms	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
40.0ms	(sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))
35.0ms	(cbrt.f64 A)
28.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))

rewrite35.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`add-sqr-sqrt_binary64`
28×	`times-frac_binary64`
27×	`add-exp-log_binary64`
26×	`associate-r_binary64`
22×	`*-un-lft-identity_binary64`

Counts

4 → 114

Calls

4 calls:

11.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))
10.0ms	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
6.0ms	(sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))
1.0ms	(cbrt.f64 A)

simplify131.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

589×	`times-frac_binary64`
401×	`*-commutative_binary64`
383×	`associate-/l/_binary64`
276×	`unswap-sqr_binary64`
275×	`associate-/r*_binary64`

Counts

174 → 187

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	181	2248
1	429	1954
2	1568	1941
3	3749	1927
4	4729	1927
5	4945	1927
6	4963	1927

prune169.0ms (2.6%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	213	10	223
Fresh	4	11	15
Picked	1	0	1
Done	0	0	0
Total	218	21	239

Error

3.8b

Counts

239 → 21

Alt Table

Status	Error	Program
	18.6b	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A l) V)))
	36.1b	(/.f64 (.f64 c0 (sqrt.f64 A)) (sqrt.f64 (.f64 V l)))
	54.0b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (log.f64 (exp.f64 (cbrt.f64 A))) l))))
	25.1b	(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
	16.2b	(.f64 (.f64 c0 (sqrt.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))) (sqrt.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))))
	35.1b	(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
	36.4b	(.f64 (.f64 c0 (sqrt.f64 A)) (sqrt.f64 (/.f64 1 (*.f64 V l))))
	16.7b	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
	27.0b	(/.f64 (.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (cbrt.f64 A)))) (sqrt.f64 l))
	52.5b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 1 V))) (sqrt.f64 (/.f64 A l)))
	52.5b	(/.f64 (*.f64 c0 (sqrt.f64 (/.f64 A l))) (sqrt.f64 V))
	52.1b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 (sqrt.f64 A) V))) (sqrt.f64 (/.f64 (sqrt.f64 A) l)))
	35.3b	(.f64 (sqrt.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) c0)) (sqrt.f64 (.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))
	52.1b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V))) (sqrt.f64 (/.f64 (cbrt.f64 A) l)))
▶	14.7b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (cbrt.f64 A) (.f64 (cbrt.f64 V) (cbrt.f64 V))) (.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l)))))
	19.5b	(.f64 (.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (.f64 (cbrt.f64 c0) (sqrt.f64 (/.f64 A (.f64 V l)))))
	26.8b	(/.f64 (*.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 l))
	19.2b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (.f64 V l)))))
	15.2b	(.f64 c0 (sqrt.f64 (.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 1 (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (/.f64 (cbrt.f64 A) (cbrt.f64 l)))))
	19.0b	(.f64 (.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))
	39.3b	(.f64 (sqrt.f64 c0) (.f64 (sqrt.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l)))))

Compiler

Compiled 5324 to 1584 computations (70.2% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 V)
✓	1.1b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (cbrt.f64 A) (.f64 (cbrt.f64 V) (cbrt.f64 V))) (.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l)))))
✓	1.3b	(.f64 (/.f64 (cbrt.f64 A) (.f64 (cbrt.f64 V) (cbrt.f64 V))) (*.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l)))
✓	15.1b	(sqrt.f64 (.f64 (/.f64 (cbrt.f64 A) (.f64 (cbrt.f64 V) (cbrt.f64 V))) (*.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l))))

series188.0ms (3%)

Counts

4 → 60

Calls

4 calls:

72.0ms	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (cbrt.f64 A) (.f64 (cbrt.f64 V) (cbrt.f64 V))) (.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l)))))
44.0ms	(sqrt.f64 (.f64 (/.f64 (cbrt.f64 A) (.f64 (cbrt.f64 V) (cbrt.f64 V))) (*.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l))))
42.0ms	(.f64 (/.f64 (cbrt.f64 A) (.f64 (cbrt.f64 V) (cbrt.f64 V))) (*.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l)))
29.0ms	(cbrt.f64 V)

rewrite57.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`add-exp-log_binary64`
37×	`add-cbrt-cube_binary64`
33×	`cbrt-unprod_binary64`
33×	`prod-exp_binary64`
22×	`cbrt-undiv_binary64`

Counts

4 → 122

Calls

4 calls:

16.0ms	(.f64 (/.f64 (cbrt.f64 A) (.f64 (cbrt.f64 V) (cbrt.f64 V))) (*.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l)))
14.0ms	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (cbrt.f64 A) (.f64 (cbrt.f64 V) (cbrt.f64 V))) (.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l)))))
11.0ms	(sqrt.f64 (.f64 (/.f64 (cbrt.f64 A) (.f64 (cbrt.f64 V) (cbrt.f64 V))) (*.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l))))
1.0ms	(cbrt.f64 V)

simplify101.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

766×	`associate-/l*_binary64`
565×	`associate-/r*_binary64`
503×	`*-commutative_binary64`
347×	`log-div_binary64`
342×	`associate-/l/_binary64`

Counts

182 → 185

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	201	4922
1	420	1833
2	1454	1806
3	4407	1806
4	4986	1806

prune163.0ms (2.6%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	215	6	221
Fresh	10	10	20
Picked	0	1	1
Done	0	0	0
Total	225	17	242

Error

1.5b

Counts

242 → 17

Alt Table

Status	Error	Program
	18.6b	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A l) V)))
	36.1b	(/.f64 (.f64 c0 (sqrt.f64 A)) (sqrt.f64 (.f64 V l)))
	27.0b	(/.f64 (.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (cbrt.f64 A)))) (sqrt.f64 l))
	36.5b	(/.f64 (.f64 c0 (sqrt.f64 (.f64 (/.f64 (cbrt.f64 A) (.f64 (cbrt.f64 V) (cbrt.f64 V))) (.f64 (cbrt.f64 A) (cbrt.f64 A))))) (sqrt.f64 (*.f64 (cbrt.f64 V) l)))
▶	11.2b	(.f64 c0 (/.f64 (sqrt.f64 (.f64 (cbrt.f64 A) (.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l)))) (sqrt.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)))))
	52.5b	(/.f64 (*.f64 c0 (sqrt.f64 (/.f64 A l))) (sqrt.f64 V))
	14.7b	(/.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 l (cbrt.f64 V))))) (sqrt.f64 (*.f64 (cbrt.f64 V) (cbrt.f64 V))))
	35.3b	(.f64 (sqrt.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) c0)) (sqrt.f64 (.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))
	24.8b	(/.f64 (.f64 c0 (sqrt.f64 (/.f64 A (cbrt.f64 V)))) (sqrt.f64 (.f64 (*.f64 (cbrt.f64 V) (cbrt.f64 V)) l)))
	25.1b	(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
	16.2b	(.f64 (.f64 c0 (sqrt.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))) (sqrt.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))))
	34.6b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 (cbrt.f64 A) (.f64 (cbrt.f64 V) (cbrt.f64 V)))) (sqrt.f64 (.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l)))))
	26.8b	(/.f64 (*.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 l))
	24.9b	(/.f64 (.f64 c0 (sqrt.f64 (.f64 (cbrt.f64 A) (.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 A))))) (sqrt.f64 (.f64 (*.f64 (cbrt.f64 V) (cbrt.f64 V)) l)))
	19.0b	(.f64 (.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))
	39.3b	(.f64 (sqrt.f64 c0) (.f64 (sqrt.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l)))))
✓	14.7b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (cbrt.f64 A) (.f64 (cbrt.f64 V) (cbrt.f64 V))) (.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l)))))

Compiler

Compiled 6392 to 1438 computations (77.5% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 A)
	0.6b	(cbrt.f64 V)
✓	1.1b	(.f64 c0 (/.f64 (sqrt.f64 (.f64 (cbrt.f64 A) (.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l)))) (sqrt.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)))))
✓	12.8b	(sqrt.f64 (.f64 (cbrt.f64 A) (.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l))))

series206.0ms (3.2%)

Counts

2 → 24

Calls

2 calls:

116.0ms

(sqrt.f64 (*.f64 (cbrt.f64 A) (*.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l))))

90.0ms

(*.f64 c0 (/.f64 (sqrt.f64 (*.f64 (cbrt.f64 A) (*.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l)))) (sqrt.f64 (*.f64 (cbrt.f64 V) (cbrt.f64 V)))))

rewrite31.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`associate-r_binary64`
19×	`add-sqr-sqrt_binary64`
18×	`times-frac_binary64`
12×	`*-un-lft-identity_binary64`
12×	`add-cube-cbrt_binary64`

Counts

2 → 59

Calls

2 calls:

16.0ms

(*.f64 c0 (/.f64 (sqrt.f64 (*.f64 (cbrt.f64 A) (*.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l)))) (sqrt.f64 (*.f64 (cbrt.f64 V) (cbrt.f64 V)))))

8.0ms

(sqrt.f64 (*.f64 (cbrt.f64 A) (*.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l))))

simplify141.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

401×	`unswap-sqr_binary64`
364×	`associate-/l*_binary64`
345×	`associate-l_binary64`
321×	`times-frac_binary64`
304×	`associate-r_binary64`

Counts

83 → 102

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	134	2377
1	276	1544
2	844	1544
3	2991	1544
4	2985	1544
5	3166	1355
6	3403	1355
7	3753	1355
8	4756	1355
9	4963	1355

prune179.0ms (2.8%)

Pruning

21 alts after pruning (20 fresh and 1 done)

	Pruned	Kept	Total
New	204	6	210
Fresh	1	14	15
Picked	1	0	1
Done	0	1	1
Total	206	21	227

Error

1.1b

Counts

227 → 21

Alt Table

Status	Error	Program
	25.7b	(.f64 c0 (/.f64 (.f64 (pow.f64 (/.f64 -1 V) 1/6) (sqrt.f64 (/.f64 A (.f64 (cbrt.f64 -1) l)))) (sqrt.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)))))
	18.6b	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A l) V)))
	36.1b	(/.f64 (.f64 c0 (sqrt.f64 A)) (sqrt.f64 (.f64 V l)))
	27.0b	(/.f64 (.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (cbrt.f64 A)))) (sqrt.f64 l))
	36.5b	(/.f64 (.f64 c0 (sqrt.f64 (.f64 (/.f64 (cbrt.f64 A) (.f64 (cbrt.f64 V) (cbrt.f64 V))) (.f64 (cbrt.f64 A) (cbrt.f64 A))))) (sqrt.f64 (*.f64 (cbrt.f64 V) l)))
	52.5b	(/.f64 (*.f64 c0 (sqrt.f64 (/.f64 A l))) (sqrt.f64 V))
	14.7b	(/.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 l (cbrt.f64 V))))) (sqrt.f64 (*.f64 (cbrt.f64 V) (cbrt.f64 V))))
	20.2b	(.f64 c0 (/.f64 (/.f64 (sqrt.f64 (/.f64 A (cbrt.f64 V))) (sqrt.f64 l)) (sqrt.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)))))
	35.3b	(.f64 (sqrt.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) c0)) (sqrt.f64 (.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))
	24.8b	(/.f64 (.f64 c0 (sqrt.f64 (/.f64 A (cbrt.f64 V)))) (sqrt.f64 (.f64 (*.f64 (cbrt.f64 V) (cbrt.f64 V)) l)))
	32.8b	(.f64 c0 (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 l (cbrt.f64 V)))) (sqrt.f64 (*.f64 (cbrt.f64 V) (cbrt.f64 V)))))
	11.7b	(.f64 (.f64 c0 (/.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (cbrt.f64 A) (.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l))))) (cbrt.f64 (sqrt.f64 (.f64 (cbrt.f64 A) (.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l)))))) (.f64 (cbrt.f64 (sqrt.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)))) (cbrt.f64 (sqrt.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V))))))) (/.f64 (cbrt.f64 (sqrt.f64 (.f64 (cbrt.f64 A) (.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l))))) (cbrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 V) (cbrt.f64 V))))))
	24.9b	(/.f64 (.f64 c0 (sqrt.f64 (.f64 (cbrt.f64 A) (.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (cbrt.f64 A))))) (sqrt.f64 (.f64 (*.f64 (cbrt.f64 V) (cbrt.f64 V)) l)))
	13.8b	(.f64 c0 (/.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) (cbrt.f64 V)))) (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) (cbrt.f64 V))))) (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) (cbrt.f64 V))))) (sqrt.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)))))
	19.0b	(.f64 (.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))
	25.1b	(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
	16.2b	(.f64 (.f64 c0 (sqrt.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))) (sqrt.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))))
	26.8b	(/.f64 (*.f64 c0 (sqrt.f64 (/.f64 A V))) (sqrt.f64 l))
	13.5b	(.f64 c0 (/.f64 (.f64 (sqrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) (cbrt.f64 V)))) (sqrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) (cbrt.f64 V))))) (sqrt.f64 (*.f64 (cbrt.f64 V) (cbrt.f64 V)))))
	39.3b	(.f64 (sqrt.f64 c0) (.f64 (sqrt.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l)))))
✓	14.7b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (cbrt.f64 A) (.f64 (cbrt.f64 V) (cbrt.f64 V))) (.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)) (/.f64 (cbrt.f64 A) l)))))

Compiler

Compiled 6676 to 1376 computations (79.4% saved)

regimes1.7s (26.6%)

Accuracy

Total 3.2b remaining (66.4%)

Threshold costs 0b (0%)

Counts

121 → 2

Compiler

Compiled 25332 to 14007 computations (44.7% saved)

bsearch75.0ms (1.2%)

Steps

Iters	Range		Point
9	3.324015617686314e-296	9.475768149755851e-291	3.3673042949411714e-296

Compiler

Compiled 5 to 4 computations (20% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	62
1	27	62
2	27	62

end390.0ms (6.1%)

Compiler: Compiled 681 to 350 computations (48.6% saved)

Details

analyze708.0ms (11.1%)

sample1.5s (24.1%)

simplify11.0ms (0.2%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series123.0ms (1.9%)

rewrite17.0ms (0.3%)

simplify102.0ms (1.6%)

prune80.0ms (1.3%)

localize10.0ms (0.2%)

series179.0ms (2.8%)

rewrite35.0ms (0.5%)

simplify131.0ms (2.1%)

prune169.0ms (2.6%)

localize14.0ms (0.2%)

series188.0ms (3%)

rewrite57.0ms (0.9%)

simplify101.0ms (1.6%)

prune163.0ms (2.6%)

localize14.0ms (0.2%)

series206.0ms (3.2%)

rewrite31.0ms (0.5%)

simplify141.0ms (2.2%)

prune179.0ms (2.8%)

regimes1.7s (26.6%)

bsearch75.0ms (1.2%)

simplify3.0ms (0%)

end390.0ms (6.1%)

Profiling