Details

analyze1.6s (13.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
0%	96.7%	3.3%	9
16.4%	74.9%	8.7%	10
17.6%	71.8%	10.7%	11
26.3%	59.5%	14.2%	12
30.7%	45.7%	23.5%	13
31.7%	43.5%	24.7%	14

Compiler

Compiled 33 to 25 computations (24.2% saved)

sample135.0ms (1.2%)

Algorithm

1×

intervals

Results

106.0ms	256×	body	128	valid
15.0ms	169×	body	128	invalid

Compiler

Compiled 68 to 52 computations (23.5% saved)

simplify51.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

613×	`distribute-rgt-neg-in_binary64`
464×	`div-sub_binary64`
442×	`neg-mul-1_binary64`
380×	`associate-l_binary64`
365×	`associate-r_binary64`

Counts

1 → 1

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	23	43
1	59	43
2	163	37
3	598	37
4	2634	37
5	4741	37
6	4999	37

prune4.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

7.7b

Counts

2 → 2

Alt Table

Status	Error	Program
	10.5b	(-.f64 (-.f64 (+.f64 3 (/.f64 2 (.f64 r r))) (/.f64 (.f64 (.f64 1/8 (-.f64 3 (.f64 2 v))) (.f64 (.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)
▶	8.0b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 r (*.f64 w w))))))

Status

Error

Program

10.5b

(-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (/.f64 (*.f64 (*.f64 1/8 (-.f64 3 (*.f64 2 v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2)

▶

8.0b

(-.f64 (+.f64 (/.f64 2 (*.f64 r r)) -3/2) (*.f64 (+.f64 3/8 (*.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (*.f64 r (*.f64 w w))))))

Compiler

Compiled 148 to 108 computations (27% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))
3.1b	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))))
8.1b	(/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w))))
9.0b	(.f64 r (.f64 w w))

rewrite306.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

2.7b

Rules

109×	`times-frac_binary64`
77×	`add-sqr-sqrt_binary64`
71×	`*-un-lft-identity_binary64`
52×	`add-cbrt-cube_binary64`
52×	`add-exp-log_binary64`

Counts

4 → 177

Calls

4 calls:

17.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))))
8.0ms	(/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w))))
7.0ms	(/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))
6.0ms	(.f64 r (.f64 w w))

Compiler

Compiled 5802 to 3251 computations (44% saved)

series137.0ms (1.2%)

Error

7.7b

Counts

4 → 38

Calls

4 calls:

53.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))))
32.0ms	(/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))
27.0ms	(/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w))))
12.0ms	(.f64 r (.f64 w w))

Compiler

Compiled 2367 to 1798 computations (24% saved)

simplify128.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

687×	`distribute-rgt-in_binary64`
284×	`associate-r_binary64`
253×	`associate-l_binary64`
184×	`*-commutative_binary64`
170×	`associate-/r/_binary64`

Counts

215 → 191

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	265	5023
1	687	4368
2	3189	4365
3	5302	4365

prune201.0ms (1.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	184	7	191
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	186	7	193

Error

4.0b

Counts

193 → 7

Alt Table

Status	Error	Program
▶	4.5b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (*.f64 w r) w)))))
	8.8b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (.f64 r (/.f64 r (/.f64 (-.f64 1 v) (*.f64 w w))))))
	7.7b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (/.f64 (-.f64 3/8 (.f64 v 1/4)) (-.f64 1 v)) (/.f64 r (/.f64 1 (.f64 r (*.f64 w w))))))
	7.7b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 r (-.f64 1 v))) (.f64 r (.f64 w w))))
	8.2b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 w w) r)) (cbrt.f64 (.f64 (.f64 w w) r))) (cbrt.f64 (.f64 (*.f64 w w) r)))))))
	40.3b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 r (+.f64 1 (sqrt.f64 v)))) (/.f64 r (/.f64 (-.f64 1 (sqrt.f64 v)) (*.f64 w w)))))
	19.8b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (-.f64 3/8 (.f64 v 1/4)))) (-.f64 1 v)))

Compiler

Compiled 4492 to 2549 computations (43.3% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(/.f64 2 (*.f64 r r))
0.6b	(/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))
3.1b	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))))
8.1b	(/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w)))

rewrite346.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

112×	`times-frac_binary64`
77×	`add-sqr-sqrt_binary64`
72×	`*-un-lft-identity_binary64`
52×	`add-cbrt-cube_binary64`
52×	`add-exp-log_binary64`

Counts

4 → 179

Calls

4 calls:

17.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))))
8.0ms	(/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w)))
7.0ms	(/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))
3.0ms	(/.f64 2 (*.f64 r r))

Compiler

Compiled 5917 to 3364 computations (43.1% saved)

series159.0ms (1.4%)

Error

4.0b

Counts

4 → 35

Calls

4 calls:

70.0ms	(/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w)))
35.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))))
34.0ms	(/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))
5.0ms	(/.f64 2 (*.f64 r r))

Compiler

Compiled 2224 to 1690 computations (24% saved)

simplify131.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

665×	`distribute-rgt-in_binary64`
314×	`associate-r_binary64`
306×	`associate-l_binary64`
194×	`associate-/l*_binary64`
187×	`associate-/r/_binary64`

Counts

214 → 180

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	296	5124
1	777	4454
2	3301	4442
3	5301	4442

prune216.0ms (1.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	171	9	180
Fresh	5	1	6
Picked	1	0	1
Done	0	0	0
Total	177	10	187

Error

0.1b

Counts

187 → 10

Alt Table

Status	Error	Program
▶	1.3b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))
	2.8b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (-.f64 1 v))) (/.f64 (cbrt.f64 r) (/.f64 1 (.f64 (*.f64 w r) w)))))
	5.5b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 w (.f64 r (-.f64 3/8 (*.f64 v 1/4)))) (/.f64 r (/.f64 (-.f64 1 v) w))))
	4.7b	(-.f64 (+.f64 (/.f64 (sqrt.f64 2) (/.f64 r (/.f64 (sqrt.f64 2) r))) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w)))))
	1.3b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (.f64 (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))))
	34.5b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (sqrt.f64 r) (-.f64 1 v))) (/.f64 (sqrt.f64 r) (/.f64 1 (.f64 (.f64 w r) w)))))
	4.5b	(-.f64 (+.f64 (/.f64 1 (/.f64 r (/.f64 2 r))) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w)))))
	2.5b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (/.f64 (-.f64 3/8 (.f64 v 1/4)) (-.f64 1 v)) (/.f64 r (/.f64 1 (.f64 (*.f64 w r) w)))))
	23.5b	(-.f64 (+.f64 (cbrt.f64 (/.f64 8 (pow.f64 r 6))) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w)))))
	19.8b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (-.f64 3/8 (.f64 v 1/4)))) (-.f64 1 v)))

Compiler

Compiled 4509 to 2628 computations (41.7% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
0.6b	(/.f64 2 (*.f64 r r))
1.5b	(/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))
4.6b	(.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))))

rewrite1.3s (11.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

379×	`times-frac_binary64`
249×	`add-sqr-sqrt_binary64`
247×	`*-un-lft-identity_binary64`
184×	`add-cube-cbrt_binary64`
126×	`cbrt-prod_binary64`

Counts

4 → 360

Calls

4 calls:

39.0ms	(.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
18.0ms	(.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))))
11.0ms	(/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))
3.0ms	(/.f64 2 (*.f64 r r))

Compiler

Compiled 17060 to 11085 computations (35% saved)

series314.0ms (2.7%)

Error

0.1b

Counts

4 → 34

Calls

4 calls:

166.0ms	(/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))
72.0ms	(.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))))
40.0ms	(.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
8.0ms	(/.f64 2 (*.f64 r r))

Compiler

Compiled 2976 to 2211 computations (25.7% saved)

simplify294.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

636×	`associate-*l/_binary64`
532×	`associate-*r/_binary64`
431×	`associate-/l*_binary64`
338×	`associate-/r/_binary64`
248×	`associate-/l/_binary64`

Counts

394 → 287

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	567	15142
1	1580	12987
2	5170	12987

prune369.0ms (3.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	281	6	287
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	285	12	297

Error

0.1b

Counts

297 → 12

Alt Table

Status	Error	Program
	2.5b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (/.f64 (-.f64 3/8 (.f64 v 1/4)) (-.f64 1 v)) (/.f64 r (/.f64 1 (.f64 (*.f64 w r) w)))))
	1.3b	(-.f64 (+.f64 (/.f64 1 (/.f64 r (/.f64 2 r))) -3/2) (.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))
	2.8b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (-.f64 1 v))) (/.f64 (cbrt.f64 r) (/.f64 1 (.f64 (*.f64 w r) w)))))
	4.8b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (/.f64 (.f64 r (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))))) (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
▶	0.4b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (.f64 (.f64 w r) (cbrt.f64 (/.f64 1 (-.f64 1 v))))))
	13.2b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 -1/4 (.f64 (*.f64 w r) (cbrt.f64 v))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))
	1.5b	(-.f64 (+.f64 (/.f64 (sqrt.f64 2) (/.f64 r (/.f64 (sqrt.f64 2) r))) -3/2) (.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))
	5.5b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 w (.f64 r (-.f64 3/8 (*.f64 v 1/4)))) (/.f64 r (/.f64 (-.f64 1 v) w))))
	1.3b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (.f64 (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))))
	23.5b	(-.f64 (+.f64 (cbrt.f64 (/.f64 8 (pow.f64 r 6))) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w)))))
	19.8b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (-.f64 3/8 (.f64 v 1/4)))) (-.f64 1 v)))
	32.9b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (.f64 (sqrt.f64 r) (*.f64 (cbrt.f64 w) (cbrt.f64 w)))) (/.f64 (sqrt.f64 r) (/.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 w)))))

Compiler

Compiled 8284 to 5455 computations (34.2% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (.f64 (*.f64 w r) (cbrt.f64 (/.f64 1 (-.f64 1 v)))))
0.3b	(cbrt.f64 (/.f64 1 (-.f64 1 v)))
0.6b	(/.f64 2 (*.f64 r r))
4.6b	(.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))))

rewrite413.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

120×	`add-exp-log_binary64`
92×	`add-cbrt-cube_binary64`
73×	`cbrt-unprod_binary64`
73×	`prod-exp_binary64`
29×	`add-sqr-sqrt_binary64`

Counts

4 → 158

Calls

4 calls:

24.0ms	(.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (.f64 (*.f64 w r) (cbrt.f64 (/.f64 1 (-.f64 1 v)))))
17.0ms	(.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))))
6.0ms	(cbrt.f64 (/.f64 1 (-.f64 1 v)))
3.0ms	(/.f64 2 (*.f64 r r))

Compiler

Compiled 7768 to 5193 computations (33.1% saved)

series167.0ms (1.4%)

Error

0.1b

Counts

4 → 28

Calls

4 calls:

83.0ms	(.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))))
39.0ms	(.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (.f64 (*.f64 w r) (cbrt.f64 (/.f64 1 (-.f64 1 v)))))
9.0ms	(cbrt.f64 (/.f64 1 (-.f64 1 v)))
7.0ms	(/.f64 2 (*.f64 r r))

Compiler

Compiled 2485 to 1858 computations (25.2% saved)

simplify159.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

631×	`associate-l_binary64`
555×	`associate-r_binary64`
503×	`distribute-rgt-in_binary64`
269×	`times-frac_binary64`
220×	`*-commutative_binary64`

Counts

186 → 137

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	336	7782
1	821	5516
2	3480	5187
3	5636	5187

prune134.0ms (1.1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	137	0	137
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	137	12	149

Error

0.1b

Counts

149 → 12

Alt Table

Status	Error	Program
	2.5b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (/.f64 (-.f64 3/8 (.f64 v 1/4)) (-.f64 1 v)) (/.f64 r (/.f64 1 (.f64 (*.f64 w r) w)))))
	1.3b	(-.f64 (+.f64 (/.f64 1 (/.f64 r (/.f64 2 r))) -3/2) (.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))
	2.8b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 (cbrt.f64 r) (cbrt.f64 r)) (-.f64 1 v))) (/.f64 (cbrt.f64 r) (/.f64 1 (.f64 (*.f64 w r) w)))))
	4.8b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (/.f64 (.f64 r (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))))) (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
	0.4b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (.f64 (.f64 w r) (cbrt.f64 (/.f64 1 (-.f64 1 v))))))
	13.2b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 -1/4 (.f64 (*.f64 w r) (cbrt.f64 v))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))
	1.5b	(-.f64 (+.f64 (/.f64 (sqrt.f64 2) (/.f64 r (/.f64 (sqrt.f64 2) r))) -3/2) (.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))
	5.5b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 w (.f64 r (-.f64 3/8 (*.f64 v 1/4)))) (/.f64 r (/.f64 (-.f64 1 v) w))))
	1.3b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (.f64 (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))))
	23.5b	(-.f64 (+.f64 (cbrt.f64 (/.f64 8 (pow.f64 r 6))) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w)))))
	19.8b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (/.f64 (.f64 (.f64 w w) (.f64 (.f64 r r) (-.f64 3/8 (.f64 v 1/4)))) (-.f64 1 v)))
	32.9b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (.f64 (sqrt.f64 r) (*.f64 (cbrt.f64 w) (cbrt.f64 w)))) (/.f64 (sqrt.f64 r) (/.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 w)))))

Compiler

Compiled 2715 to 1854 computations (31.7% saved)

regimes3.1s (26.2%)

Accuracy

Total 0.3b remaining (79%)

Threshold costs 0.3b (79%)

Compiler

Compiled 85281 to 60379 computations (29.2% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

19×	`distribute-rgt-neg-in_binary64`
16×	`*-commutative_binary64`
15×	`+-commutative_binary64`
14×	`sub-neg_binary64`
13×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	58
1	44	58
2	69	58
3	95	58
4	130	58
5	150	58
6	158	58
7	160	58
8	153	58

end1.0ms (0%)

Compiler: Compiled 41 to 30 computations (26.8% saved)

sample2.0s (16.8%)

Algorithm

1×

intervals

Results

809.0ms	8000×	body	128	valid
424.0ms	4740×	body	128	invalid

Compiler

Compiled 510 to 372 computations (27.1% saved)

Details

analyze1.6s (13.7%)

sample135.0ms (1.2%)

simplify51.0ms (0.4%)

prune4.0ms (0%)

localize15.0ms (0.1%)

rewrite306.0ms (2.6%)

series137.0ms (1.2%)

simplify128.0ms (1.1%)

prune201.0ms (1.7%)

localize17.0ms (0.1%)

rewrite346.0ms (3%)

series159.0ms (1.4%)

simplify131.0ms (1.1%)

prune216.0ms (1.8%)

localize23.0ms (0.2%)

rewrite1.3s (11.2%)

series314.0ms (2.7%)

simplify294.0ms (2.5%)

prune369.0ms (3.2%)

localize21.0ms (0.2%)

rewrite413.0ms (3.5%)

series167.0ms (1.4%)

simplify159.0ms (1.4%)

prune134.0ms (1.1%)

regimes3.1s (26.2%)

simplify7.0ms (0.1%)

end1.0ms (0%)

sample2.0s (16.8%)

Profiling