Details

analyze651.0ms (4.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
12.5%	68.6%	18.9%	6
18.7%	62.4%	18.9%	7
18.7%	59.3%	22%	8
28.1%	39%	32.9%	9
32.8%	34.3%	32.9%	10
32.8%	32%	35.3%	11
38.2%	20.7%	41.1%	12
41%	17.9%	41.1%	13
41%	16.6%	42.5%	14

Compiler

Compiled 41 to 24 computations (41.5% saved)

sample3.1s (22.6%)

Results

2.7s	7795×	body	256	valid
249.0ms	1268×	body	128	invalid
87.0ms	461×	body	128	valid

Compiler

Compiled 122 to 71 computations (41.8% saved)

simplify192.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

729×	`fma-neg_binary64`
636×	`times-frac_binary64`
620×	`div-sub_binary64`
565×	`unsub-neg_binary64`
481×	`sub-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	20	52
1	54	50
2	144	50
3	406	48
4	826	48
5	1523	48
6	1911	48
7	2632	48
8	2589	48
9	2971	48
10	3625	48
11	4193	48
12	4375	48
13	4485	48
14	4533	48
15	4557	48
16	4607	48
17	4882	48
18	4848	48

Stop Event

node limit

Counts

1 → 2

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

36.8b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	36.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	36.8b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))

Status

Error

Program

▶

36.8b

(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))) g) (*.f64 2 a))) (cbrt.f64 (*.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))) a) -1/2)))

36.8b

(+.f64 (cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))) (cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))))

Compiler

Compiled 219 to 116 computations (47% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.8b	(-.f64 (.f64 g g) (.f64 h h))
✓	8.1b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
✓	8.8b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
✓	30.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series1.3s (9.3%)

Counts

4 → 120

Calls

4 calls:

645.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
616.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
12.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
9.0ms	(-.f64 (.f64 g g) (.f64 h h))

rewrite84.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

671×	`prod-diff_binary64`
204×	`add-sqr-sqrt_binary64`
196×	`log1p-expm1-u_binary64`
196×	`expm1-log1p-u_binary64`
193×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	68
1	409	68
2	4843	68
3	6030	68

Stop Event

node limit

Counts

4 → 117

simplify130.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

350×	`associate-r_binary64`
325×	`times-frac_binary64`
273×	`fma-neg_binary64`
247×	`*-commutative_binary64`
243×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	405	5670
1	1260	5468
2	4531	5278
3	5054	5278

Stop Event

node limit

Counts

237 → 268

prune908.0ms (6.6%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	363	19	382
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	365	19	384

Error

31.7b

Counts

384 → 19

Alt Table

Status	Error	Program
	36.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) 3))
	48.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (-.f64 (*.f64 1/2 (/.f64 (pow.f64 h 2) g)) g)) a) -1/2)))
	42.5b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	55.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (pow.f64 (/.f64 (*.f64 2 g) a) 1/3)))
▶	34.7b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	40.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4) 2)) a) -1/2)))
	55.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 1 g)))))))
	36.8b	(+.f64 (/.f64 1 (cbrt.f64 (/.f64 (.f64 2 a) (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	43.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3)) a) -1/2)))
	34.7b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1 (.f64 2 a)))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	41.4b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (expm1.f64 (log1p.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) a) -1/2)))
	53.5b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	34.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) -1/2)) (cbrt.f64 a)))
	52.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (fma.f64 (cbrt.f64 -1/2) (cbrt.f64 (.f64 (/.f64 2 a) g)) (.f64 (.f64 (.f64 (.f64 h h) (cbrt.f64 -1/2)) (cbrt.f64 (/.f64 2 (*.f64 (pow.f64 g 5) a)))) -1/12)))
	34.7b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	42.2b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) a) -1/2)))
	49.4b	(+.f64 (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 (-.f64 (sqrt.f64 (-.f64 (pow.f64 g 2) (pow.f64 h 2))) g)) (log.f64 a)))) (cbrt.f64 1/2)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	52.4b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 1/2) (exp.f64 (*.f64 1/3 (+.f64 (log.f64 (+.f64 (sqrt.f64 (-.f64 (pow.f64 g 2) (pow.f64 h 2))) g)) (log.f64 (/.f64 -1 a)))))))
	53.4b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (exp.f64 (-.f64 (log.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (log.f64 g))))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))

Compiler

Compiled 19110 to 9952 computations (47.9% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
	2.8b	(-.f64 (.f64 g g) (.f64 h h))
	8.1b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
	30.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series13.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

13.0ms

(-.f64 (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))) g)

rewrite63.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

747×	`fma-def_binary64`
443×	`log-prod_binary64`
325×	`fma-neg_binary64`
166×	`expm1-udef_binary64`
166×	`log1p-udef_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	188	15
2	2466	14
3	5332	14

Stop Event

node limit

Counts

1 → 99

simplify67.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

447×	`distribute-neg-frac_binary64`
443×	`times-frac_binary64`
253×	`div-sub_binary64`
232×	`associate-/l*_binary64`
229×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	83	618
1	249	598
2	787	584
3	3540	584
4	4802	584
5	5086	584

Stop Event

node limit

Counts

123 → 139

prune1.5s (10.5%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	431	11	442
Fresh	5	13	18
Picked	1	0	1
Done	0	0	0
Total	437	24	461

Error

31.2b

Counts

461 → 24

Alt Table

Status	Error	Program
	36.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) 3))
	48.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (-.f64 (*.f64 1/2 (/.f64 (pow.f64 h 2) g)) g)) a) -1/2)))
	42.5b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	46.9b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 2)) (cbrt.f64 a)) (cbrt.f64 (*.f64 (/.f64 (+.f64 g (neg.f64 g)) a) -1/2)))
	34.7b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	49.8b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (pow.f64 (sqrt.f64 (-.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h)))) g)) 2) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	40.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4) 2)) a) -1/2)))
	55.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 1 g)))))))
	36.8b	(+.f64 (/.f64 1 (cbrt.f64 (/.f64 (.f64 2 a) (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	43.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3)) a) -1/2)))
	34.7b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1 (.f64 2 a)))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	48.4b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 3/2) 1/3) g) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	42.2b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) a) -1/2)))
	60.6b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (fma.f64 (sqrt.f64 g) (neg.f64 (sqrt.f64 g)) (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h))))) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	43.6b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (.f64 -2 g) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	41.4b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (expm1.f64 (log1p.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) a) -1/2)))
	53.5b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	49.8b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h)))) g)) 3) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	34.7b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 2)) (cbrt.f64 a)) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a))))
▶	33.2b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 2)) (cbrt.f64 a)) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))
	48.9b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) g)) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	57.0b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (fma.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h)) (neg.f64 g)) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	49.4b	(+.f64 (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 (-.f64 (sqrt.f64 (-.f64 (pow.f64 g 2) (pow.f64 h 2))) g)) (log.f64 a)))) (cbrt.f64 1/2)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	52.8b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (fma.f64 (pow.f64 (cbrt.f64 g) 2) (neg.f64 (cbrt.f64 g)) (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h))))) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))

Compiler

Compiled 20967 to 9582 computations (54.3% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.3b	(+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))
	2.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
	2.8b	(-.f64 (.f64 g g) (.f64 h h))
	30.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series12.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

12.0ms

(+.f64 g (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))

rewrite64.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

693×	`fma-def_binary64`
435×	`log-prod_binary64`
336×	`fma-neg_binary64`
164×	`expm1-udef_binary64`
164×	`log1p-udef_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	187	15
2	2454	14
3	5280	14

Stop Event

node limit

Counts

1 → 51

simplify61.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

539×	`fma-neg_binary64`
463×	`times-frac_binary64`
439×	`distribute-neg-frac_binary64`
284×	`div-sub_binary64`
235×	`associate-/r*_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	73	575
1	223	557
2	661	547
3	3225	543
4	4904	543
5	5238	543

Stop Event

node limit

Counts

75 → 90

prune1.8s (13.3%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	452	5	457
Fresh	2	21	23
Picked	1	0	1
Done	0	0	0
Total	455	26	481

Error

31.0b

Counts

481 → 26

Alt Table

Status	Error	Program
	49.8b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h)))) g)) 3) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	45.5b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 2)) (cbrt.f64 a)) (/.f64 (cbrt.f64 (.f64 (.f64 2 g) -1/2)) (cbrt.f64 a)))
	36.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) 3))
	48.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (-.f64 (*.f64 1/2 (/.f64 (pow.f64 h 2) g)) g)) a) -1/2)))
	42.5b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	46.9b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (.f64 -1/2 (/.f64 (.f64 h h) g)) 2)) (cbrt.f64 a)) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))
	48.9b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) g)) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	49.8b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (pow.f64 (sqrt.f64 (-.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h)))) g)) 2) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	60.0b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (fma.f64 (neg.f64 (sqrt.f64 g)) (sqrt.f64 g) (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h))))) 2)) (cbrt.f64 a)) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) -1/2)) (cbrt.f64 a)))
	40.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4) 2)) a) -1/2)))
	55.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 1 g)))))))
	36.8b	(+.f64 (/.f64 1 (cbrt.f64 (/.f64 (.f64 2 a) (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	43.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3)) a) -1/2)))
	34.7b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1 (.f64 2 a)))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	48.4b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 3/2) 1/3) g) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	42.2b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) a) -1/2)))
	43.6b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (.f64 -2 g) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	52.9b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 2)) (cbrt.f64 a)) (/.f64 (cbrt.f64 (.f64 (fma.f64 (cbrt.f64 g) (pow.f64 (cbrt.f64 g) 2) (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h))))) -1/2)) (cbrt.f64 a)))
	41.4b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (expm1.f64 (log1p.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) a) -1/2)))
	53.5b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	34.7b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 2)) (cbrt.f64 a)) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a))))
▶	34.7b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	57.0b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (fma.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h)) (neg.f64 g)) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	49.4b	(+.f64 (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 (-.f64 (sqrt.f64 (-.f64 (pow.f64 g 2) (pow.f64 h 2))) g)) (log.f64 a)))) (cbrt.f64 1/2)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	52.8b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (fma.f64 (pow.f64 (cbrt.f64 g) 2) (neg.f64 (cbrt.f64 g)) (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h))))) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	46.4b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 2)) (cbrt.f64 a)) (/.f64 (cbrt.f64 (.f64 (.f64 1/2 (/.f64 (pow.f64 h 2) g)) -1/2)) (cbrt.f64 a)))

Compiler

Compiled 20838 to 8881 computations (57.4% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	2.2b	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
	2.8b	(-.f64 (.f64 g g) (.f64 h h))
	8.1b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
	30.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

prune1.8s (13.1%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	439	3	442
Fresh	1	24	25
Picked	1	0	1
Done	0	0	0
Total	441	27	468

Error

31.0b

Counts

468 → 27

Alt Table

Status	Error	Program
	49.8b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h)))) g)) 3) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	45.5b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 2)) (cbrt.f64 a)) (/.f64 (cbrt.f64 (.f64 (.f64 2 g) -1/2)) (cbrt.f64 a)))
	36.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) 3))
	48.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (-.f64 (*.f64 1/2 (/.f64 (pow.f64 h 2) g)) g)) a) -1/2)))
	42.5b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	46.9b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (neg.f64 g)) a) -1/2)))
	46.9b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (.f64 -1/2 (/.f64 (.f64 h h) g)) 2)) (cbrt.f64 a)) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) -1/2)) (cbrt.f64 a)))
	48.9b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) g)) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	49.8b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (pow.f64 (sqrt.f64 (-.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h)))) g)) 2) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	60.0b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (fma.f64 (neg.f64 (sqrt.f64 g)) (sqrt.f64 g) (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h))))) 2)) (cbrt.f64 a)) (/.f64 (cbrt.f64 (.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) -1/2)) (cbrt.f64 a)))
	40.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4) 2)) a) -1/2)))
	55.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 1 g)))))))
	36.8b	(+.f64 (/.f64 1 (cbrt.f64 (/.f64 (.f64 2 a) (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	43.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3)) a) -1/2)))
	34.7b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1 (.f64 2 a)))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	48.4b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (-.f64 (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 3/2) 1/3) g) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	42.2b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) a) -1/2)))
	57.0b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (fma.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h)) (neg.f64 g)) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	40.3b	(+.f64 (/.f64 (cbrt.f64 (-.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3) g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	43.6b	(+.f64 (/.f64 (cbrt.f64 (.f64 g -2)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	43.6b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (.f64 -2 g) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	52.9b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 2)) (cbrt.f64 a)) (/.f64 (cbrt.f64 (.f64 (fma.f64 (cbrt.f64 g) (pow.f64 (cbrt.f64 g) 2) (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h))))) -1/2)) (cbrt.f64 a)))
	41.4b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (expm1.f64 (log1p.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) a) -1/2)))
	53.5b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	34.7b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 2)) (cbrt.f64 a)) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a))))
	52.8b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (fma.f64 (pow.f64 (cbrt.f64 g) 2) (neg.f64 (cbrt.f64 g)) (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h))))) 2)) (cbrt.f64 a)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	46.4b	(+.f64 (/.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 2)) (cbrt.f64 a)) (/.f64 (cbrt.f64 (.f64 (.f64 1/2 (/.f64 (pow.f64 h 2) g)) -1/2)) (cbrt.f64 a)))

Compiler

Compiled 20200 to 9359 computations (53.7% saved)

regimes1.4s (10%)

Accuracy

Total 0.9b remaining (2.7%)

Threshold costs 0.9b (2.7%)

Counts

142 → 2

Compiler

Compiled 34836 to 22027 computations (36.8% saved)

bsearch116.0ms (0.8%)

Steps

Iters	Range		Point
10	1.4474771549517493e-158	1.2544036835929579e-142	1.4710116353411875e-158

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`+-commutative_binary64`
8×	`*-commutative_binary64`
6×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	104
1	53	104
2	64	104
3	70	104
4	73	104
5	73	104

Stop Event

saturated

end477.0ms (3.5%)

Compiler: Compiled 1091 to 678 computations (37.9% saved)

Details

analyze651.0ms (4.7%)

sample3.1s (22.6%)

simplify192.0ms (1.4%)

prune4.0ms (0%)

localize18.0ms (0.1%)

series1.3s (9.3%)

rewrite84.0ms (0.6%)

simplify130.0ms (0.9%)

prune908.0ms (6.6%)

localize17.0ms (0.1%)

series13.0ms (0.1%)

rewrite63.0ms (0.5%)

simplify67.0ms (0.5%)

prune1.5s (10.5%)

localize20.0ms (0.1%)

series12.0ms (0.1%)

rewrite64.0ms (0.5%)

simplify61.0ms (0.4%)

prune1.8s (13.3%)

localize20.0ms (0.1%)

prune1.8s (13.1%)

regimes1.4s (10%)

bsearch116.0ms (0.8%)

simplify5.0ms (0%)

end477.0ms (3.5%)

Profiling