Details

analyze769.0ms (3%)

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)

sample54.0ms (0.2%)

Algorithm

1×

intervals

Results

18.0ms	256×	body	128	valid
9.0ms	107×	body	128	nan
1.0ms	27×	body	128	invalid

Compiler

Compiled 29 to 21 computations (27.6% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	12
1	13	12
2	15	12
3	15	12

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

18.3b

Counts

1 → 1

Alt Table

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

Compiler

Compiled 24 to 16 computations (33.3% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

1.4b	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
5.4b	(/.f64 A (*.f64 V l))
15.8b	(sqrt.f64 (/.f64 A (*.f64 V l)))

rewrite69.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

8.3b

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 → 66

Calls

3 calls:

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

Compiler

Compiled 856 to 236 computations (72.4% saved)

series71.0ms (0.3%)

Error

18.3b

Counts

3 → 30

Calls

3 calls:

32.0ms	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
20.0ms	(/.f64 A (*.f64 V l))
17.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))

Compiler

Compiled 1042 to 726 computations (30.3% saved)

simplify154.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

734×	`div-sub_binary64`
460×	`sub-neg_binary64`
372×	`times-frac_binary64`
318×	`associate-/l*_binary64`
267×	`associate-l_binary64`

Counts

96 → 40

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	112	1180
1	240	1105
2	760	1105
3	2270	1105
4	2618	1105
5	3063	1105
6	3756	1105
7	4283	1105
8	4652	1105
9	4916	1105
10	4667	1105

prune27.0ms (0.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	30	10	40
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	30	11	41

Error

13.3b

Counts

41 → 11

Alt Table

Status	Error	Program
✓	18.3b	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
	42.5b	(.f64 (sqrt.f64 c0) (.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0)))
	36.8b	(.f64 (sqrt.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) c0)) (sqrt.f64 (.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))
	18.9b	(.f64 (.f64 (cbrt.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) c0)) (cbrt.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) c0))) (cbrt.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) c0)))
	38.5b	(cbrt.f64 (pow.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) c0) 3))
	38.1b	(exp.f64 (log.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) c0)))
▶	18.2b	(.f64 c0 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))))
	19.5b	(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
	18.7b	(.f64 c0 (.f64 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (.f64 V l))))))
	25.5b	(.f64 c0 (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 A (.f64 V l))) 3)))
	18.7b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (.f64 V l)))))

Compiler

Compiled 675 to 301 computations (55.4% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

1.4b	(.f64 c0 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))))
2.9b	(/.f64 V (/.f64 (cbrt.f64 A) l))
3.0b	(/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))
15.8b	(sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l))))

rewrite634.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

2.2b

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 → 463

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))))
13.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))

Compiler

Compiled 12471 to 2763 computations (77.8% saved)

series150.0ms (0.6%)

Error

13.3b

Counts

4 → 39

Calls

4 calls:

53.0ms	(/.f64 V (/.f64 (cbrt.f64 A) l))
42.0ms	(.f64 c0 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))))
27.0ms	(/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))
24.0ms	(sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l))))

Compiler

Compiled 1560 to 1085 computations (30.4% saved)

simplify423.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

536×	`associate-/r/_binary64`
501×	`associate-/l/_binary64`
362×	`*-commutative_binary64`
357×	`associate-*l/_binary64`
333×	`associate-l_binary64`

Counts

502 → 375

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	622	13520
1	1317	12378
2	4586	12349
3	4401	12349
4	4970	12349
5	4960	12349

prune266.0ms (1%)

Pruning

23 alts after pruning (22 fresh and 1 done)

	Pruned	Kept	Total
New	356	19	375
Fresh	6	3	9
Picked	1	0	1
Done	0	1	1
Total	363	23	386

Error

1.9b

Counts

386 → 23

Alt Table

Status	Error	Program
	15.0b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 A))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 (cbrt.f64 A) l)))))
	34.9b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 (cbrt.f64 l) (cbrt.f64 l))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 V (/.f64 (cbrt.f64 A) (cbrt.f64 l))))))
	36.8b	(.f64 (sqrt.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) c0)) (sqrt.f64 (.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))
	13.7b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 A))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 V (/.f64 1 l)))))
	33.6b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 (cbrt.f64 A) (.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 A) (cbrt.f64 l))))))
▶	5.9b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V))))))
	18.4b	(*.f64 c0 (sqrt.f64 (/.f64 A (/.f64 V (/.f64 1 l)))))
	53.4b	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A (sqrt.f64 V)) (/.f64 (sqrt.f64 V) (/.f64 1 l)))))
	12.8b	(.f64 c0 (.f64 (fabs.f64 (cbrt.f64 A)) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)))))
	49.6b	(.f64 c0 (.f64 (sqrt.f64 (.f64 (/.f64 (sqrt.f64 (cbrt.f64 A)) (sqrt.f64 l)) (/.f64 (cbrt.f64 A) (sqrt.f64 V)))) (sqrt.f64 (.f64 (/.f64 (sqrt.f64 (cbrt.f64 A)) (sqrt.f64 l)) (/.f64 (cbrt.f64 A) (sqrt.f64 V))))))
	14.4b	(.f64 c0 (sqrt.f64 (.f64 (.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A))) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (/.f64 (cbrt.f64 A) (/.f64 V (/.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 l)))))))
	14.4b	(/.f64 (*.f64 c0 (fabs.f64 (cbrt.f64 A))) (sqrt.f64 (/.f64 V (/.f64 (cbrt.f64 A) l))))
	19.5b	(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
	15.6b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (cbrt.f64 A) (*.f64 (cbrt.f64 V) (cbrt.f64 V))) (/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 A) l))))))
	20.5b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l))))))
	34.5b	(.f64 c0 (.f64 (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)))))))
	32.7b	(.f64 c0 (.f64 (sqrt.f64 (.f64 (/.f64 (cbrt.f64 A) (.f64 (cbrt.f64 V) (cbrt.f64 V))) (/.f64 (sqrt.f64 (cbrt.f64 A)) (*.f64 (cbrt.f64 l) (cbrt.f64 l))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (/.f64 (sqrt.f64 (cbrt.f64 A)) (cbrt.f64 l)))))))
✓	18.3b	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
	18.3b	(.f64 c0 (sqrt.f64 (.f64 (.f64 (cbrt.f64 A) (cbrt.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)))) (/.f64 (cbrt.f64 A) (/.f64 V (/.f64 (cbrt.f64 (cbrt.f64 A)) l))))))
	25.7b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 (cbrt.f64 A) V)) (sqrt.f64 (*.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 A) l)))))
	6.2b	(.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)))))
	34.5b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)) (.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 (cbrt.f64 A)))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 (cbrt.f64 A)) l))))))
	18.7b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (.f64 V l)))))

Compiler

Compiled 7379 to 1760 computations (76.1% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 A)
1.2b	(/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V)))
1.4b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V))))))
5.1b	(sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V))))

rewrite122.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

1.0b

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 → 80

Calls

4 calls:

13.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 A)

Compiler

Compiled 1796 to 384 computations (78.6% saved)

series286.0ms (1.1%)

Error

1.2b

Counts

4 → 33

Calls

4 calls:

117.0ms	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V))))))
71.0ms	(sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V))))
67.0ms	(/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V)))
12.0ms	(cbrt.f64 A)

Compiler

Compiled 2349 to 1703 computations (27.5% saved)

simplify152.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

556×	`times-frac_binary64`
472×	`*-commutative_binary64`
428×	`associate-/l*_binary64`
326×	`associate-*l/_binary64`
303×	`associate-*r/_binary64`

Counts

113 → 89

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	226	2312
1	482	2077
2	1323	1999
3	4350	1892
4	4835	1716
5	4904	1704
6	4980	1704

prune90.0ms (0.4%)

Pruning

24 alts after pruning (23 fresh and 1 done)

	Pruned	Kept	Total
New	80	9	89
Fresh	7	14	21
Picked	0	1	1
Done	1	0	1
Total	88	24	112

Error

0.5b

Counts

112 → 24

Alt Table

Status	Error	Program
	15.0b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 A))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 (cbrt.f64 A) l)))))
	36.8b	(.f64 (sqrt.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) c0)) (sqrt.f64 (.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))
	13.7b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 A))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 V (/.f64 1 l)))))
	33.6b	(.f64 (.f64 c0 (sqrt.f64 (/.f64 (cbrt.f64 A) (.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V)) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 A) (cbrt.f64 l))))))
✓	5.9b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 l (cbrt.f64 V))))))
	18.4b	(*.f64 c0 (sqrt.f64 (/.f64 A (/.f64 V (/.f64 1 l)))))
	49.6b	(.f64 c0 (.f64 (sqrt.f64 (.f64 (/.f64 (sqrt.f64 (cbrt.f64 A)) (sqrt.f64 l)) (/.f64 (cbrt.f64 A) (sqrt.f64 V)))) (sqrt.f64 (.f64 (/.f64 (sqrt.f64 (cbrt.f64 A)) (sqrt.f64 l)) (/.f64 (cbrt.f64 A) (sqrt.f64 V))))))
	49.4b	(.f64 (pow.f64 (/.f64 (neg.f64 A) V) 1/6) (.f64 (sqrt.f64 (/.f64 (cbrt.f64 -1) l)) (.f64 c0 (fabs.f64 (.f64 (cbrt.f64 -1) (cbrt.f64 (/.f64 (neg.f64 A) V)))))))
▶	6.2b	(.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)))))
	14.4b	(.f64 c0 (sqrt.f64 (.f64 (.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A))) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (/.f64 (cbrt.f64 A) (/.f64 V (/.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 l)))))))
	19.5b	(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
	24.8b	(.f64 (.f64 (cbrt.f64 (.f64 c0 (.f64 (cbrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 (cbrt.f64 (/.f64 A V)) l))))) (cbrt.f64 (.f64 c0 (.f64 (cbrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 (cbrt.f64 (/.f64 A V)) l)))))) (cbrt.f64 (.f64 c0 (.f64 (cbrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 (cbrt.f64 (/.f64 A V)) l))))))
	15.6b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (cbrt.f64 A) (*.f64 (cbrt.f64 V) (cbrt.f64 V))) (/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (/.f64 (cbrt.f64 A) l))))))
	20.5b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l))))))
	34.5b	(.f64 c0 (.f64 (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)))))))
	12.5b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (*.f64 (fabs.f64 (cbrt.f64 (/.f64 (cbrt.f64 (/.f64 A V)) l))) (sqrt.f64 (cbrt.f64 (/.f64 (cbrt.f64 (/.f64 A V)) l))))))
	25.7b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 (cbrt.f64 A) V)) (sqrt.f64 (*.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 A) l)))))
	49.2b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (*.f64 (pow.f64 (/.f64 (neg.f64 A) V) 1/6) (sqrt.f64 (/.f64 (cbrt.f64 -1) l)))))
	33.5b	(/.f64 (.f64 c0 (/.f64 (sqrt.f64 A) (fabs.f64 (cbrt.f64 V)))) (sqrt.f64 (.f64 l (cbrt.f64 V))))
	33.3b	(/.f64 (.f64 c0 (.f64 (cbrt.f64 A) (sqrt.f64 (/.f64 (cbrt.f64 (/.f64 A V)) l)))) (fabs.f64 (cbrt.f64 V)))
	33.6b	(/.f64 (.f64 c0 (sqrt.f64 A)) (.f64 (fabs.f64 (cbrt.f64 V)) (sqrt.f64 (*.f64 l (cbrt.f64 V)))))
	24.6b	(pow.f64 (.f64 c0 (.f64 (cbrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 (cbrt.f64 (/.f64 A V)) l)))) 1)
	18.7b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (.f64 V l)))))
	25.4b	(.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))))))

Compiler

Compiled 2320 to 1014 computations (56.3% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 A)
1.0b	(.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)))))
1.2b	(/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (/.f64 1 l)))
5.1b	(sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (/.f64 1 l))))

rewrite2.8s (11.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

4036×	`times-frac_binary64`
1864×	`add-sqr-sqrt_binary64`
1823×	`*-un-lft-identity_binary64`
1819×	`add-cube-cbrt_binary64`
1507×	`cbrt-prod_binary64`

Counts

4 → 1669

Calls

4 calls:

93.0ms	(.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)))))
46.0ms	(sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (/.f64 1 l))))
21.0ms	(/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (/.f64 1 l)))
1.0ms	(cbrt.f64 A)

Compiler

Compiled 57315 to 22734 computations (60.3% saved)

series286.0ms (1.1%)

Error

0.4b

Counts

4 → 33

Calls

4 calls:

115.0ms	(.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)))))
67.0ms	(/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (/.f64 1 l)))
65.0ms	(sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 V) (/.f64 1 l))))
13.0ms	(cbrt.f64 A)

Compiler

Compiled 2341 to 1696 computations (27.6% saved)

simplify1.2s (4.7%)

Algorithm

1×	egg-herbie

Rules

750×	`times-frac_binary64`
457×	`associate-*l/_binary64`
400×	`associate-/r/_binary64`
305×	`associate-/l/_binary64`
212×	`*-commutative_binary64`

Counts

1702 → 1630

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	908	55584
1	1907	53165
2	4032	52199
3	5141	52199

prune865.0ms (3.4%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	1619	11	1630
Fresh	12	10	22
Picked	1	0	1
Done	1	0	1
Total	1633	21	1654

Error

0.0b

Counts

1654 → 21

Alt Table

Status	Error	Program
	15.0b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 A))) (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 (cbrt.f64 A) l)))))
	36.8b	(.f64 (sqrt.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) c0)) (sqrt.f64 (.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))
	1.9b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)))) (.f64 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 (/.f64 1 l)) (cbrt.f64 (/.f64 1 l))) (*.f64 (cbrt.f64 (cbrt.f64 V)) (cbrt.f64 (cbrt.f64 V))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 (cbrt.f64 V)) (cbrt.f64 (/.f64 1 l)))))))
	14.4b	(.f64 c0 (sqrt.f64 (.f64 (.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A))) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (/.f64 (cbrt.f64 A) (/.f64 V (/.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 l)))))))
	19.5b	(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 V (/.f64 A l)))))
	33.5b	(/.f64 (.f64 c0 (/.f64 (sqrt.f64 A) (fabs.f64 (cbrt.f64 V)))) (sqrt.f64 (.f64 l (cbrt.f64 V))))
	32.3b	(.f64 (.f64 (sqrt.f64 (.f64 (pow.f64 A 1/6) (.f64 (cbrt.f64 (/.f64 1 l)) (cbrt.f64 (/.f64 1 l))))) (*.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))))) (sqrt.f64 (/.f64 (sqrt.f64 (cbrt.f64 A)) (/.f64 (cbrt.f64 V) (cbrt.f64 (/.f64 1 l))))))
	13.1b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)))) (sqrt.f64 (/.f64 (cbrt.f64 (/.f64 A V)) l)))
	20.5b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l))))))
	3.9b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 (.f64 (cbrt.f64 V) l)) (cbrt.f64 (.f64 (cbrt.f64 V) l))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 (*.f64 (cbrt.f64 V) l))))))
	2.0b	(.f64 (.f64 (fabs.f64 (/.f64 (cbrt.f64 (cbrt.f64 A)) (/.f64 (cbrt.f64 (cbrt.f64 V)) (cbrt.f64 (/.f64 1 l))))) (*.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))))) (sqrt.f64 (/.f64 (cbrt.f64 (cbrt.f64 A)) (/.f64 (cbrt.f64 (cbrt.f64 V)) (cbrt.f64 (/.f64 1 l))))))
	31.5b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)))) (.f64 (sqrt.f64 (/.f64 (cbrt.f64 (sqrt.f64 A)) (cbrt.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V))))) (sqrt.f64 (/.f64 (cbrt.f64 (sqrt.f64 A)) (*.f64 (cbrt.f64 (cbrt.f64 V)) l)))))
	12.5b	(.f64 c0 (.f64 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))) (*.f64 (fabs.f64 (cbrt.f64 (/.f64 (cbrt.f64 (/.f64 A V)) l))) (sqrt.f64 (cbrt.f64 (/.f64 (cbrt.f64 (/.f64 A V)) l))))))
	1.9b	(.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V))) (.f64 (cbrt.f64 l) (cbrt.f64 l))))) (.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 (cbrt.f64 V)) (/.f64 1 (cbrt.f64 l))))))
	25.7b	(.f64 c0 (.f64 (sqrt.f64 (/.f64 (cbrt.f64 A) V)) (sqrt.f64 (*.f64 (cbrt.f64 A) (/.f64 (cbrt.f64 A) l)))))
	4.8b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)))) (.f64 (sqrt.f64 (/.f64 1 (cbrt.f64 (.f64 (cbrt.f64 V) (cbrt.f64 V))))) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 (cbrt.f64 (cbrt.f64 V)) l)))))
	2.4b	(.f64 (.f64 (fabs.f64 (.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 (/.f64 1 l)))) (.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))))) (sqrt.f64 (/.f64 (cbrt.f64 (cbrt.f64 A)) (/.f64 (cbrt.f64 V) (cbrt.f64 (/.f64 1 l))))))
	49.2b	(.f64 (.f64 (sqrt.f64 (/.f64 (cbrt.f64 (sqrt.f64 A)) (/.f64 (cbrt.f64 (sqrt.f64 V)) (sqrt.f64 (/.f64 1 l))))) (*.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V))))) (sqrt.f64 (/.f64 (cbrt.f64 (sqrt.f64 A)) (/.f64 (cbrt.f64 (sqrt.f64 V)) (sqrt.f64 (/.f64 1 l))))))
	1.9b	(.f64 (.f64 c0 (fabs.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 V)))) (.f64 (fabs.f64 (/.f64 (cbrt.f64 (cbrt.f64 A)) (cbrt.f64 l))) (sqrt.f64 (/.f64 (cbrt.f64 (cbrt.f64 A)) (.f64 (cbrt.f64 V) (cbrt.f64 l))))))
	24.6b	(pow.f64 (.f64 c0 (.f64 (cbrt.f64 (/.f64 A V)) (sqrt.f64 (/.f64 (cbrt.f64 (/.f64 A V)) l)))) 1)
	18.7b	(.f64 (.f64 c0 (fabs.f64 (cbrt.f64 (/.f64 A (.f64 V l))))) (sqrt.f64 (cbrt.f64 (/.f64 A (.f64 V l)))))

Compiler

Compiled 21829 to 6612 computations (69.7% saved)

regimes15.0s (59.4%)

Accuracy

Total 2.2b remaining (95.2%)

Threshold costs 0b (0%)

Compiler

Compiled 280132 to 174799 computations (37.6% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	48
1	29	48
2	28	48

end7.0ms (0%)

Compiler: Compiled 99 to 63 computations (36.4% saved)

sample1.8s (6.9%)

Algorithm

1×

intervals

Results

401.0ms	8000×	body	128	valid
142.0ms	3120×	body	128	nan
40.0ms	907×	body	128	invalid

Compiler

Compiled 672 to 415 computations (38.2% saved)

Details

analyze769.0ms (3%)

sample54.0ms (0.2%)

simplify8.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0%)

rewrite69.0ms (0.3%)

series71.0ms (0.3%)

simplify154.0ms (0.6%)

prune27.0ms (0.1%)

localize10.0ms (0%)

rewrite634.0ms (2.5%)

series150.0ms (0.6%)

simplify423.0ms (1.7%)

prune266.0ms (1%)

localize13.0ms (0.1%)

rewrite122.0ms (0.5%)

series286.0ms (1.1%)

simplify152.0ms (0.6%)

prune90.0ms (0.4%)

localize15.0ms (0.1%)

rewrite2.8s (11.2%)

series286.0ms (1.1%)

simplify1.2s (4.7%)

prune865.0ms (3.4%)

regimes15.0s (59.4%)

simplify4.0ms (0%)

end7.0ms (0%)

sample1.8s (6.9%)

Profiling