Details

analyze988.0ms (9.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)

sample49.0ms (0.5%)

Algorithm

1×

intervals

Results

22.0ms	256×	body	128	valid
9.0ms	138×	body	128	invalid

Compiler

Compiled 68 to 52 computations (23.5% saved)

simplify50.0ms (0.5%)

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

prune9.0ms (0.1%)

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

9.3b

Counts

2 → 2

Alt Table

Status	Error	Program
	13.8b	(-.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)
▶	9.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 r (*.f64 w w))))))

Status

Error

Program

13.8b

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

▶

9.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 r (*.f64 w w))))))

Compiler

Compiled 148 to 108 computations (27% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.0b	(/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))
6.2b	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))))
6.5b	(/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w))))
9.9b	(.f64 r (.f64 w w))

rewrite395.0ms (3.9%)

Algorithm

1×	rewrite-expression-head

Error

2.5b

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:

26.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))))
11.0ms	(/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w))))
9.0ms	(/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))
7.0ms	(.f64 r (.f64 w w))

Compiler

Compiled 5802 to 3251 computations (44% saved)

series226.0ms (2.2%)

Error

9.2b

Counts

4 → 50

Calls

4 calls:

63.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))))
55.0ms	(/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w))))
47.0ms	(/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))
29.0ms	(.f64 r (.f64 w w))

Compiler

Compiled 3080 to 2339 computations (24.1% saved)

simplify177.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

285×	`associate-r_binary64`
257×	`associate-l_binary64`
193×	`*-commutative_binary64`
187×	`associate-/l*_binary64`
176×	`associate-/r/_binary64`

Counts

227 → 206

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	290	5632
1	775	4980
2	3481	4980
3	4707	4950
4	4965	4950

prune289.0ms (2.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	197	9	206
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	199	9	208

Error

2.3b

Counts

208 → 9

Alt Table

Status	Error	Program
	25.4b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (.f64 w (.f64 w (.f64 (+.f64 1 v) (*.f64 r r))))))
	31.7b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (sqrt.f64 r) (.f64 w (.f64 w (sqrt.f64 r))))))))
	17.5b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 w w) (.f64 r r)) (-.f64 1 v)) (-.f64 3/8 (.f64 v 1/4)))) (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 w w) (.f64 r r)) (-.f64 1 v)) (-.f64 3/8 (.f64 v 1/4))))))
	8.8b	(-.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))))))
	33.9b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 (/.f64 r (sqrt.f64 (/.f64 (-.f64 1 v) (.f64 (.f64 w w) r)))) (sqrt.f64 (/.f64 (-.f64 1 v) (.f64 r (*.f64 w w)))))))
	15.7b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (/.f64 (.f64 r (-.f64 3/8 (.f64 v 1/4))) (/.f64 (-.f64 1 v) (.f64 r (*.f64 w w)))))
	8.8b	(-.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))))
▶	3.6b	(-.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)))))
	12.0b	(-.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))))))

Compiler

Compiled 4974 to 2789 computations (43.9% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 2 (*.f64 r r))
1.0b	(/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))
6.2b	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))))
6.5b	(/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w)))

rewrite470.0ms (4.6%)

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:

20.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))))
10.0ms	(/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w)))
8.0ms	(/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))
4.0ms	(/.f64 2 (*.f64 r r))

Compiler

Compiled 5917 to 3364 computations (43.1% saved)

series212.0ms (2.1%)

Error

2.3b

Counts

4 → 47

Calls

4 calls:

64.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))))
54.0ms	(/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 w r) w)))
48.0ms	(/.f64 (-.f64 1 v) (.f64 (.f64 w r) w))
8.0ms	(/.f64 2 (*.f64 r r))

Compiler

Compiled 2937 to 2231 computations (24% saved)

simplify182.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

312×	`associate-r_binary64`
311×	`associate-l_binary64`
221×	`associate-/l*_binary64`
190×	`associate-/r/_binary64`
174×	`*-commutative_binary64`

Counts

226 → 195

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	320	5733
1	864	5066
2	3628	5057
3	4752	5027
4	4956	5027

prune282.0ms (2.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	183	12	195
Fresh	7	1	8
Picked	1	0	1
Done	0	0	0
Total	191	13	204

Error

0.1b

Counts

204 → 13

Alt Table

Status	Error	Program
	3.6b	(-.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)))))
	18.2b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 (.f64 (/.f64 r (/.f64 (sqrt.f64 (-.f64 1 v)) w)) r) (/.f64 (sqrt.f64 (-.f64 1 v)) w))))
	4.5b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (.f64 r (*.f64 (/.f64 r (/.f64 (-.f64 1 v) w)) w))))
	3.8b	(-.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)))))
	33.7b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 (sqrt.f64 r) (/.f64 (-.f64 1 v) (.f64 (*.f64 (pow.f64 r 3/2) w) w)))))
	15.7b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (/.f64 (.f64 r (-.f64 3/8 (.f64 v 1/4))) (/.f64 (-.f64 1 v) (.f64 r (*.f64 w w)))))
	22.4b	(-.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)))))
	3.8b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (.f64 (*.f64 w r) (/.f64 r (/.f64 (-.f64 1 v) w)))))
	9.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))))
▶	0.6b	(-.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.1b	(-.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)))))
	1.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 (*.f64 w r) w)))))
	1.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 (.f64 w r) w)))

Compiler

Compiled 5001 to 2899 computations (42% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite878.0ms (8.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

205×	`times-frac_binary64`
170×	`add-sqr-sqrt_binary64`
166×	`*-un-lft-identity_binary64`
112×	`add-cube-cbrt_binary64`
104×	`cbrt-prod_binary64`

Counts

4 → 263

Calls

4 calls:

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)))))
12.0ms	(*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))
10.0ms	(/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))
4.0ms	(/.f64 2 (*.f64 r r))

Compiler

Compiled 11471 to 7601 computations (33.7% saved)

series278.0ms (2.7%)

Error

0.1b

Counts

4 → 38

Calls

4 calls:

113.0ms	(.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))))
68.0ms	(/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))
26.0ms	(*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))
10.0ms	(/.f64 2 (*.f64 r r))

Compiler

Compiled 3445 to 2537 computations (26.4% saved)

simplify239.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

343×	`associate-r_binary64`
308×	`associate-l_binary64`
287×	`*-commutative_binary64`
263×	`associate-*l/_binary64`
232×	`associate-/r/_binary64`

Counts

301 → 238

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	503	7658
1	1194	6985
2	4167	6787
3	4882	6786
4	4949	6786

prune473.0ms (4.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	236	2	238
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	239	12	251

Error

0.1b

Counts

251 → 12

Alt Table

Status	Error	Program
	3.6b	(-.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)))))
	18.2b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 (.f64 (/.f64 r (/.f64 (sqrt.f64 (-.f64 1 v)) w)) r) (/.f64 (sqrt.f64 (-.f64 1 v)) w))))
	4.5b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (.f64 r (*.f64 (/.f64 r (/.f64 (-.f64 1 v) w)) w))))
	3.8b	(-.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)))))
	33.7b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 (sqrt.f64 r) (/.f64 (-.f64 1 v) (.f64 (*.f64 (pow.f64 r 3/2) w) w)))))
	15.7b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (/.f64 (.f64 r (-.f64 3/8 (.f64 v 1/4))) (/.f64 (-.f64 1 v) (.f64 r (*.f64 w w)))))
	22.4b	(-.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)))))
▶	0.6b	(-.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 (cbrt.f64 w) (cbrt.f64 w)) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 w))))))
	5.7b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (*.f64 w r) (cbrt.f64 (pow.f64 (-.f64 1 v) 2)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))
	3.8b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (.f64 (*.f64 w r) (/.f64 r (/.f64 (-.f64 1 v) w)))))
	2.1b	(-.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)))))
	1.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 (.f64 w r) w)))

Compiler

Compiled 7332 to 4884 computations (33.4% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 w)
0.6b	(cbrt.f64 w)
0.6b	(cbrt.f64 w)
4.8b	(.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))))

rewrite251.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

22×	`add-exp-log_binary64`
18×	`add-cbrt-cube_binary64`
13×	`associate-r_binary64`
12×	`cbrt-div_binary64`
11×	`add-sqr-sqrt_binary64`

Counts

4 → 74

Calls

4 calls:

19.0ms	(.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))))
1.0ms	(cbrt.f64 w)
1.0ms	(cbrt.f64 w)
1.0ms	(cbrt.f64 w)

Compiler

Compiled 3857 to 2332 computations (39.5% saved)

series203.0ms (2%)

Error

0.1b

Counts

4 → 23

Calls

4 calls:

113.0ms	(.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (.f64 w r) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))))
19.0ms	(cbrt.f64 w)
18.0ms	(cbrt.f64 w)
17.0ms	(cbrt.f64 w)

Compiler

Compiled 2702 to 1879 computations (30.5% saved)

simplify72.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

650×	`associate-/r*_binary64`
240×	`associate-l_binary64`
239×	`associate-r_binary64`
239×	`distribute-rgt-in_binary64`
238×	`distribute-lft-in_binary64`

Counts

97 → 63

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	197	2390
1	527	1904
2	2207	1829
3	5513	1829

prune117.0ms (1.1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	63	12	75

Error

0.1b

Counts

75 → 12

Alt Table

Status	Error	Program
	3.6b	(-.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)))))
	18.2b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 (.f64 (/.f64 r (/.f64 (sqrt.f64 (-.f64 1 v)) w)) r) (/.f64 (sqrt.f64 (-.f64 1 v)) w))))
	4.5b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (.f64 r (*.f64 (/.f64 r (/.f64 (-.f64 1 v) w)) w))))
	3.8b	(-.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)))))
	33.7b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 (sqrt.f64 r) (/.f64 (-.f64 1 v) (.f64 (*.f64 (pow.f64 r 3/2) w) w)))))
	15.7b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (/.f64 (.f64 r (-.f64 3/8 (.f64 v 1/4))) (/.f64 (-.f64 1 v) (.f64 r (*.f64 w w)))))
	22.4b	(-.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)))))
	0.6b	(-.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 (cbrt.f64 w) (cbrt.f64 w)) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 w))))))
	5.7b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (.f64 (-.f64 3/8 (.f64 v 1/4)) (/.f64 (*.f64 w r) (cbrt.f64 (pow.f64 (-.f64 1 v) 2)))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))))
	3.8b	(-.f64 (+.f64 (/.f64 2 (.f64 r r)) -3/2) (.f64 (+.f64 3/8 (.f64 v -1/4)) (.f64 (*.f64 w r) (/.f64 r (/.f64 (-.f64 1 v) w)))))
	2.1b	(-.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)))))
	1.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 (.f64 w r) w)))

Compiler

Compiled 2074 to 1312 computations (36.7% saved)

regimes2.6s (25.5%)

Accuracy

Total 0.5b remaining (86.2%)

Threshold costs 0.5b (86.2%)

Compiler

Compiled 59820 to 42318 computations (29.3% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

20×	`distribute-rgt-neg-in_binary64`
18×	`*-commutative_binary64`
17×	`+-commutative_binary64`
16×	`sub-neg_binary64`
15×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	67
1	46	67
2	71	67
3	98	67
4	139	67
5	163	67
6	174	67
7	177	67
8	170	67

end2.0ms (0%)

Compiler: Compiled 46 to 32 computations (30.4% saved)

sample1.7s (16.4%)

Algorithm

1×

intervals

Results

554.0ms	8000×	body	128	valid
349.0ms	4958×	body	128	invalid

Compiler

Compiled 469 to 340 computations (27.5% saved)

Details

analyze988.0ms (9.7%)

sample49.0ms (0.5%)

simplify50.0ms (0.5%)

prune9.0ms (0.1%)

localize17.0ms (0.2%)

rewrite395.0ms (3.9%)

series226.0ms (2.2%)

simplify177.0ms (1.7%)

prune289.0ms (2.8%)

localize15.0ms (0.2%)

rewrite470.0ms (4.6%)

series212.0ms (2.1%)

simplify182.0ms (1.8%)

prune282.0ms (2.8%)

localize20.0ms (0.2%)

rewrite878.0ms (8.6%)

series278.0ms (2.7%)

simplify239.0ms (2.3%)

prune473.0ms (4.6%)

localize25.0ms (0.2%)

rewrite251.0ms (2.5%)

series203.0ms (2%)

simplify72.0ms (0.7%)

prune117.0ms (1.1%)

regimes2.6s (25.5%)

simplify7.0ms (0.1%)

end2.0ms (0%)

sample1.7s (16.4%)

Profiling