Details

analyze672.0ms (5%)

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 (11.3%)

Symmetry

(sort V l)

Results

1.0s	8256×	body	128	valid
455.0ms	3917×	body	128	invalid

Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify9.0ms (0.1%)

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

22.2b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	1.7b	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
✓	5.4b	(/.f64 A (*.f64 V l))
✓	17.3b	(sqrt.f64 (/.f64 A (*.f64 V l)))

series125.0ms (0.9%)

Counts

3 → 12

Calls

3 calls:

69.0ms	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
36.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))
20.0ms	(/.f64 A (*.f64 V l))

rewrite15.0ms (0.1%)

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))))
3.0ms	(/.f64 A (*.f64 V l))
3.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))

simplify103.0ms (0.8%)

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

prune98.0ms (0.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	76	10	86
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	77	10	87

Error

12.0b

Counts

87 → 10

Alt Table

Status	Error	Program
	51.4b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 (sqrt.f64 A) V))) (sqrt.f64 (/.f64 (sqrt.f64 A) l)))
	38.6b	(.f64 c0 (.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (*.f64 V l)))))
	22.5b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (.f64 V l)))))
▶	19.5b	(.f64 c0 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))))
	39.7b	(/.f64 (.f64 c0 (sqrt.f64 A)) (sqrt.f64 (.f64 V l)))
	22.2b	(.f64 1 (.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))))
	22.5b	(.f64 c0 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (/.f64 A (.f64 V l))) (cbrt.f64 (/.f64 A (.f64 V l)))) (cbrt.f64 (/.f64 A (.f64 V l))))))
	22.9b	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
	51.4b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)) (sqrt.f64 (/.f64 (cbrt.f64 A) l))))
	22.3b	(.f64 (.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))

Compiler

Compiled 1542 to 515 computations (66.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.9b	(/.f64 V (/.f64 (cbrt.f64 A) l))
✓	1.7b	(.f64 c0 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))))
✓	2.3b	(/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))
✓	17.3b	(sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l))))

series688.0ms (5.2%)

Counts

4 → 84

Calls

4 calls:

551.0ms	(/.f64 V (/.f64 (cbrt.f64 A) l))
68.0ms	(.f64 c0 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))))
39.0ms	(sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l))))
29.0ms	(/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))

rewrite141.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

849×	`times-frac_binary64`
358×	`add-sqr-sqrt_binary64`
331×	`*-un-lft-identity_binary64`
331×	`add-cube-cbrt_binary64`
157×	`sqrt-prod_binary64`

Counts

4 → 471

Calls

4 calls:

25.0ms	(.f64 c0 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))))
14.0ms	(sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l))))
12.0ms	(/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))
5.0ms	(/.f64 V (/.f64 (cbrt.f64 A) l))

simplify647.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

509×	`associate-/r/_binary64`
492×	`associate-/l/_binary64`
347×	`*-commutative_binary64`
345×	`associate-*l/_binary64`
322×	`associate-l_binary64`

Counts

555 → 735

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	606	14103
1	1231	12891
2	4224	12862
3	4063	12862
4	4746	12862
5	4974	12862
6	4973	12862

prune509.0ms (3.8%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	724	11	735
Fresh	4	5	9
Picked	1	0	1
Done	0	0	0
Total	729	16	745

Error

3.8b

Counts

745 → 16

Alt Table

Status	Error	Program
	39.7b	(/.f64 (.f64 c0 (sqrt.f64 A)) (sqrt.f64 (.f64 V l)))
	22.2b	(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) c0)
	14.0b	(/.f64 (*.f64 c0 (fabs.f64 (cbrt.f64 A))) (sqrt.f64 (/.f64 V (/.f64 (cbrt.f64 A) l))))
	25.3b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 (cbrt.f64 A) V)) (sqrt.f64 (*.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 A) l)))))
	36.0b	(.f64 c0 (.f64 (sqrt.f64 (.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 (sqrt.f64 A)) (.f64 (cbrt.f64 l) (cbrt.f64 l))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 V (/.f64 (cbrt.f64 (sqrt.f64 A)) (cbrt.f64 l)))))))
	51.4b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 (sqrt.f64 A) V))) (sqrt.f64 (/.f64 (sqrt.f64 A) l)))
	36.4b	(.f64 (.f64 c0 (sqrt.f64 (.f64 (cbrt.f64 A) (.f64 (cbrt.f64 (/.f64 (cbrt.f64 A) l)) (cbrt.f64 (/.f64 (cbrt.f64 A) l)))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 V (cbrt.f64 (/.f64 (cbrt.f64 A) l))))))
	15.8b	(.f64 c0 (.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)))))
	22.5b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (.f64 V l)))))
	22.3b	(.f64 (.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))
	14.7b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 A))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 (cbrt.f64 A) l)))))
	35.3b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)) (/.f64 (cbrt.f64 (sqrt.f64 A)) (.f64 (cbrt.f64 l) (cbrt.f64 l))))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 (sqrt.f64 A)) (cbrt.f64 l))))))
	49.1b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (sqrt.f64 V) (/.f64 (cbrt.f64 (sqrt.f64 A)) (sqrt.f64 l))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (sqrt.f64 V) (/.f64 (cbrt.f64 (sqrt.f64 A)) (sqrt.f64 l)))))))
▶	7.1b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V))))))
	22.9b	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
	8.3b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (/.f64 1 l)))))

Compiler

Compiled 19689 to 4201 computations (78.7% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 V)
✓	1.0b	(/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V)))
✓	1.7b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V))))))
✓	6.4b	(sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V))))

series2.3s (17%)

Counts

4 → 108

Calls

4 calls:

884.0ms	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V))))))
800.0ms	(/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V)))
550.0ms	(sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V))))
34.0ms	(cbrt.f64 V)

rewrite28.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
14×	`add-exp-log_binary64`
13×	`*-un-lft-identity_binary64`
13×	`add-cube-cbrt_binary64`
12×	`cbrt-prod_binary64`

Counts

4 → 88

Calls

4 calls:

14.0ms	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V))))))
4.0ms	(/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V)))
4.0ms	(sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V))))
1.0ms	(cbrt.f64 V)

simplify148.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

529×	`fma-def_binary64`
435×	`*-commutative_binary64`
295×	`associate-*l/_binary64`
291×	`associate-*r/_binary64`
246×	`associate-/r*_binary64`

Counts

196 → 157

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	230	4173
1	461	3902
2	1180	3686
3	3395	3104
4	4644	3104
5	4977	3104

prune173.0ms (1.3%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	167	8	175
Fresh	3	12	15
Picked	1	0	1
Done	0	0	0
Total	171	20	191

Error

1.3b

Counts

191 → 20

Alt Table

Status	Error	Program
	39.7b	(/.f64 (.f64 c0 (sqrt.f64 A)) (sqrt.f64 (.f64 V l)))
	17.6b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (*.f64 (sqrt.f64 (/.f64 1 l)) (sqrt.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))))))
	8.7b	(/.f64 (.f64 c0 (.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V)))))) (fabs.f64 (cbrt.f64 V)))
	22.2b	(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) c0)
	14.0b	(/.f64 (*.f64 c0 (fabs.f64 (cbrt.f64 A))) (sqrt.f64 (/.f64 V (/.f64 (cbrt.f64 A) l))))
	25.3b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 (cbrt.f64 A) V)) (sqrt.f64 (*.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 A) l)))))
	36.0b	(.f64 c0 (.f64 (sqrt.f64 (.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 (sqrt.f64 A)) (.f64 (cbrt.f64 l) (cbrt.f64 l))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 V (/.f64 (cbrt.f64 (sqrt.f64 A)) (cbrt.f64 l)))))))
	51.4b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 (sqrt.f64 A) V))) (sqrt.f64 (/.f64 (sqrt.f64 A) l)))
	36.4b	(.f64 (.f64 c0 (sqrt.f64 (.f64 (cbrt.f64 A) (.f64 (cbrt.f64 (/.f64 (cbrt.f64 A) l)) (cbrt.f64 (/.f64 (cbrt.f64 A) l)))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 V (cbrt.f64 (/.f64 (cbrt.f64 A) l))))))
	22.3b	(.f64 (.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))
	14.7b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 A))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 (cbrt.f64 A) l)))))
	28.9b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (*.f64 (sqrt.f64 (/.f64 1 l)) (sqrt.f64 (cbrt.f64 (/.f64 A V))))))
	35.8b	(/.f64 (.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (sqrt.f64 (cbrt.f64 A)))) (sqrt.f64 (*.f64 l (cbrt.f64 V))))
	8.3b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)))) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V)))))
	18.7b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (.f64 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 (cbrt.f64 A))) l)) (sqrt.f64 (/.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 V))))))
	49.1b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (sqrt.f64 V) (/.f64 (cbrt.f64 (sqrt.f64 A)) (sqrt.f64 l))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (sqrt.f64 V) (/.f64 (cbrt.f64 (sqrt.f64 A)) (sqrt.f64 l)))))))
	22.9b	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
	15.8b	(.f64 c0 (.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)))))
▶	7.1b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (sqrt.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (cbrt.f64 A) (.f64 l (cbrt.f64 V)))) (cbrt.f64 (/.f64 (cbrt.f64 A) (.f64 l (cbrt.f64 V))))) (cbrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V))))))))
	30.3b	(.f64 (.f64 (cbrt.f64 (/.f64 A V)) c0) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V)))))

Compiler

Compiled 4828 to 1655 computations (65.7% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.0b	(/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V)))
✓	1.7b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (sqrt.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (cbrt.f64 A) (.f64 l (cbrt.f64 V)))) (cbrt.f64 (/.f64 (cbrt.f64 A) (.f64 l (cbrt.f64 V))))) (cbrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V))))))))
✓	6.4b	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (cbrt.f64 A) (.f64 l (cbrt.f64 V)))) (cbrt.f64 (/.f64 (cbrt.f64 A) (.f64 l (cbrt.f64 V))))) (cbrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V))))))
✓	6.9b	(cbrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V))))

series3.0s (22.4%)

Counts

3 → 96

Calls

3 calls:

1.7s

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

821.0ms

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

487.0ms

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

rewrite51.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

37×	`cbrt-div_binary64`
31×	`associate-*r/_binary64`
28×	`pow1_binary64`
22×	`frac-times_binary64`
21×	`sqrt-div_binary64`

Counts

3 → 89

Calls

3 calls:

24.0ms

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

12.0ms

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

3.0ms

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

simplify134.0ms (1%)

Algorithm

1×	egg-herbie

Rules

448×	`*-commutative_binary64`
418×	`times-frac_binary64`
361×	`associate-/r/_binary64`
291×	`associate-*r/_binary64`
280×	`associate-*l/_binary64`

Counts

185 → 143

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	263	4741
1	458	4547
2	1061	4371
3	2651	3985
4	4991	3985

prune314.0ms (2.4%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	365	2	367
Fresh	0	19	19
Picked	1	0	1
Done	0	0	0
Total	366	21	387

Error

1.3b

Counts

387 → 21

Alt Table

Status	Error	Program
	39.7b	(/.f64 (.f64 c0 (sqrt.f64 A)) (sqrt.f64 (.f64 V l)))
	17.6b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (*.f64 (sqrt.f64 (/.f64 1 l)) (sqrt.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))))))
	8.7b	(/.f64 (.f64 c0 (.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V)))))) (fabs.f64 (cbrt.f64 V)))
	22.2b	(.f64 (sqrt.f64 (/.f64 A (.f64 V l))) c0)
	14.0b	(/.f64 (*.f64 c0 (fabs.f64 (cbrt.f64 A))) (sqrt.f64 (/.f64 V (/.f64 (cbrt.f64 A) l))))
	25.3b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 (cbrt.f64 A) V)) (sqrt.f64 (*.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 A) l)))))
	36.0b	(.f64 c0 (.f64 (sqrt.f64 (.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 (sqrt.f64 A)) (.f64 (cbrt.f64 l) (cbrt.f64 l))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 V (/.f64 (cbrt.f64 (sqrt.f64 A)) (cbrt.f64 l)))))))
	51.4b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 (sqrt.f64 A) V))) (sqrt.f64 (/.f64 (sqrt.f64 A) l)))
	36.4b	(.f64 (.f64 c0 (sqrt.f64 (.f64 (cbrt.f64 A) (.f64 (cbrt.f64 (/.f64 (cbrt.f64 A) l)) (cbrt.f64 (/.f64 (cbrt.f64 A) l)))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 V (cbrt.f64 (/.f64 (cbrt.f64 A) l))))))
	9.3b	(/.f64 (.f64 c0 (.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 (/.f64 (cbrt.f64 A) (.f64 l (cbrt.f64 V))))) (cbrt.f64 (cbrt.f64 A)))))) (.f64 (fabs.f64 (cbrt.f64 V)) (sqrt.f64 (.f64 (cbrt.f64 (.f64 l (cbrt.f64 V))) (cbrt.f64 (*.f64 l (cbrt.f64 V)))))))
	22.3b	(.f64 (.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (sqrt.f64 (/.f64 A (.f64 V l)))))
	14.7b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 A))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 (cbrt.f64 A) l)))))
	28.9b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (*.f64 (sqrt.f64 (/.f64 1 l)) (sqrt.f64 (cbrt.f64 (/.f64 A V))))))
	35.8b	(/.f64 (.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (sqrt.f64 (cbrt.f64 A)))) (sqrt.f64 (*.f64 l (cbrt.f64 V))))
	8.3b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)))) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V)))))
	18.7b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (.f64 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 (cbrt.f64 A))) l)) (sqrt.f64 (/.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 V))))))
	49.1b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (sqrt.f64 V) (/.f64 (cbrt.f64 (sqrt.f64 A)) (sqrt.f64 l))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (sqrt.f64 V) (/.f64 (cbrt.f64 (sqrt.f64 A)) (sqrt.f64 l)))))))
	22.9b	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
	15.8b	(.f64 c0 (.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)))))
	8.9b	(/.f64 (.f64 c0 (.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (cbrt.f64 A) (.f64 l (cbrt.f64 V)))) (cbrt.f64 (/.f64 (cbrt.f64 A) (.f64 l (cbrt.f64 V))))) (cbrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V)))))))) (fabs.f64 (cbrt.f64 V)))
	30.3b	(.f64 (.f64 (cbrt.f64 (/.f64 A V)) c0) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V)))))

Compiler

Compiled 15128 to 3097 computations (79.5% saved)

regimes2.2s (16.3%)

Accuracy

Total 1.9b remaining (60.8%)

Threshold costs 0b (0%)

Counts

203 → 2

Compiler

Compiled 43901 to 25005 computations (43% saved)

bsearch85.0ms (0.6%)

Steps

Iters	Range		Point
10	-1.9906405476713014e-292	9.681641837429147e-307	5.791585286599143e-309

Compiler

Compiled 5 to 4 computations (20% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
1×	`fabs-div_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	98
1	45	98
2	44	98

end402.0ms (3%)

Compiler: Compiled 745 to 415 computations (44.3% saved)

Details

analyze672.0ms (5%)

sample1.5s (11.3%)

simplify9.0ms (0.1%)

prune2.0ms (0%)

localize6.0ms (0%)

series125.0ms (0.9%)

rewrite15.0ms (0.1%)

simplify103.0ms (0.8%)

prune98.0ms (0.7%)

localize11.0ms (0.1%)

series688.0ms (5.2%)

rewrite141.0ms (1.1%)

simplify647.0ms (4.9%)

prune509.0ms (3.8%)

localize12.0ms (0.1%)

series2.3s (17%)

rewrite28.0ms (0.2%)

simplify148.0ms (1.1%)

prune173.0ms (1.3%)

localize17.0ms (0.1%)

series3.0s (22.4%)

rewrite51.0ms (0.4%)

simplify134.0ms (1%)

prune314.0ms (2.4%)

regimes2.2s (16.3%)

bsearch85.0ms (0.6%)

simplify4.0ms (0%)

end402.0ms (3%)

Profiling