Details

analyze672.0ms (2.6%)

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)

sample74.0ms (0.3%)

Algorithm

1×

intervals

Results

57.0ms	249×	body	256	valid
4.0ms	40×	body	128	nan
1.0ms	7×	body	128	valid

Compiler

Compiled 84 to 50 computations (40.5% saved)

simplify200.0ms (0.8%)

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`

Counts

1 → 2

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

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

34.7b

Counts

3 → 2

Alt Table

Status	Error	Program
	34.9b	(+.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)))))))
▶	34.7b	(+.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)))

Status

Error

Program

34.9b

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

▶

34.7b

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

Compiler

Compiled 219 to 116 computations (47% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.4b	(-.f64 (.f64 g g) (.f64 h h))
✓	5.8b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
✓	8.9b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
✓	27.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series1.9s (7.6%)

Counts

4 → 120

Calls

4 calls:

1.2s	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
738.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
17.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
15.0ms	(-.f64 (.f64 g g) (.f64 h h))

rewrite47.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64`
11×	`cbrt-prod_binary64`
9×	`*-un-lft-identity_binary64`
7×	`add-cube-cbrt_binary64`
6×	`times-frac_binary64`

Counts

4 → 68

Calls

4 calls:

14.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
13.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
7.0ms	(-.f64 (.f64 g g) (.f64 h h))
6.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

simplify286.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

502×	`times-frac_binary64`
427×	`associate-r_binary64`
289×	`associate-/r*_binary64`
268×	`fma-def_binary64`
264×	`associate-/l*_binary64`

Counts

188 → 237

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	513	7190
1	1435	6951
2	5076	6951

prune1.3s (5%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	310	16	326
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	311	17	328

Error

29.1b

Counts

328 → 17

Alt Table

Status	Error	Program
	50.6b	(+.f64 (.f64 (cbrt.f64 1/2) (pow.f64 (exp.f64 1/3) (-.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)))
	32.0b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	49.0b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (neg.f64 g)) a) -1/2)))
	34.7b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	40.7b	(+.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 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) a) -1/2)))
	33.4b	(+.f64 (.f64 (cbrt.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) 2)) (cbrt.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	46.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 (sqrt.f64 (-.f64 (pow.f64 g 2) (pow.f64 h 2))) g)) (log.f64 a))))))
	34.9b	(+.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)))))))
▶	32.0b	(+.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)))
	34.7b	(+.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)))) a)) (cbrt.f64 -1/2)))
	40.9b	(+.f64 (exp.f64 (log.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)))
	32.9b	(+.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) 2)) (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	34.7b	(+.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a)))) (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)))
	32.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)))
	34.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))))
	60.5b	(+.f64 (.f64 (cbrt.f64 1/2) (exp.f64 (.f64 1/3 (fma.f64 2 (log.f64 h) (log.f64 (/.f64 -1/2 (.f64 g a))))))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	54.8b	(+.f64 (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 -1 g))))) (cbrt.f64 1/2)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))

Compiler

Compiled 17171 to 8875 computations (48.3% saved)

localize35.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
	2.4b	(-.f64 (.f64 g g) (.f64 h h))
	5.8b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
	27.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series32.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

31.0ms

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

rewrite22.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary64`
21×	`prod-diff_binary64`
19×	`*-un-lft-identity_binary64`
17×	`sqrt-prod_binary64`
17×	`add-cube-cbrt_binary64`

Counts

1 → 47

Calls

1 calls:

14.0ms

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

simplify196.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

689×	`fma-def_binary64`
458×	`associate-/l*_binary64`
427×	`associate-/r*_binary64`
424×	`fma-neg_binary64`
237×	`cancel-sign-sub-inv_binary64`

Counts

71 → 95

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	158	2090
1	371	1451
2	1281	1337
3	4495	1337
4	4929	1337
5	4990	1337
6	5000	1337
7	4866	1337

prune2.3s (8.8%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	341	5	346
Fresh	3	13	16
Picked	1	0	1
Done	0	0	0
Total	345	18	363

Error

28.5b

Counts

363 → 18

Alt Table

Status	Error	Program
	49.0b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (neg.f64 g)) a) -1/2)))
	34.7b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	40.7b	(+.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 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) a) -1/2)))
	33.4b	(+.f64 (.f64 (cbrt.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) 2)) (cbrt.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) 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 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)))))))
	46.3b	(+.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)))
	34.7b	(+.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)))) a)) (cbrt.f64 -1/2)))
	40.9b	(+.f64 (exp.f64 (log.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)))
	48.3b	(+.f64 (/.f64 (cbrt.f64 (+.f64 (fma.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h)) (neg.f64 (.f64 (sqrt.f64 g) (sqrt.f64 g)))) (fma.f64 (neg.f64 (sqrt.f64 g)) (sqrt.f64 g) (.f64 (sqrt.f64 g) (sqrt.f64 g))))) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	32.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)))
	38.2b	(+.f64 (/.f64 (cbrt.f64 (+.f64 (fma.f64 (sqrt.f64 (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (neg.f64 (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (fma.f64 (neg.f64 (cbrt.f64 g)) (.f64 (cbrt.f64 g) (cbrt.f64 g)) (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g)))))) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	47.0b	(+.f64 (/.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) g))) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
▶	32.0b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	32.9b	(+.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) 2)) (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	43.1b	(+.f64 (/.f64 (cbrt.f64 (.f64 -2 g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	34.7b	(+.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a)))) (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)))
	34.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))))
	60.5b	(+.f64 (.f64 (cbrt.f64 1/2) (exp.f64 (.f64 1/3 (fma.f64 2 (log.f64 h) (log.f64 (/.f64 -1/2 (.f64 g a))))))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))

Compiler

Compiled 17216 to 7958 computations (53.8% saved)

localize38.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
	2.4b	(-.f64 (.f64 g g) (.f64 h h))
	5.8b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
	27.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

prune2.3s (9.1%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	345	1	346
Fresh	0	17	17
Picked	1	0	1
Done	0	0	0
Total	346	18	364

Error

28.5b

Counts

364 → 18

Alt Table

Status	Error	Program
	49.0b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (neg.f64 g)) a) -1/2)))
	34.7b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	40.7b	(+.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 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) a) -1/2)))
	33.4b	(+.f64 (.f64 (cbrt.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) 2)) (cbrt.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) 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 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)))))))
	46.3b	(+.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)))
	34.7b	(+.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)))) a)) (cbrt.f64 -1/2)))
	40.9b	(+.f64 (exp.f64 (log.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)))
	48.3b	(+.f64 (/.f64 (cbrt.f64 (+.f64 (fma.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h)) (neg.f64 (.f64 (sqrt.f64 g) (sqrt.f64 g)))) (fma.f64 (neg.f64 (sqrt.f64 g)) (sqrt.f64 g) (.f64 (sqrt.f64 g) (sqrt.f64 g))))) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	32.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)))
	46.3b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (neg.f64 g)) a) -1/2)))
	38.2b	(+.f64 (/.f64 (cbrt.f64 (+.f64 (fma.f64 (sqrt.f64 (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (neg.f64 (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (fma.f64 (neg.f64 (cbrt.f64 g)) (.f64 (cbrt.f64 g) (cbrt.f64 g)) (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g)))))) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	47.0b	(+.f64 (/.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) g))) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
▶	32.9b	(+.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) 2)) (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	43.1b	(+.f64 (/.f64 (cbrt.f64 (.f64 -2 g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	34.7b	(+.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a)))) (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)))
	34.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))))
	60.5b	(+.f64 (.f64 (cbrt.f64 1/2) (exp.f64 (.f64 1/3 (fma.f64 2 (log.f64 h) (log.f64 (/.f64 -1/2 (.f64 g a))))))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))

Compiler

Compiled 17204 to 7960 computations (53.7% saved)

localize119.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
	2.4b	(-.f64 (.f64 g g) (.f64 h h))
✓	3.4b	(cbrt.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) a))
	5.8b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
	27.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series1.4s (5.5%)

Counts

1 → 36

Calls

1 calls:

1.4s	(cbrt.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) a))

rewrite28.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

49×	`cbrt-prod_binary64`
29×	`add-sqr-sqrt_binary64`
27×	`times-frac_binary64`
23×	`*-un-lft-identity_binary64`
17×	`add-cube-cbrt_binary64`

Counts

1 → 42

Calls

1 calls:

15.0ms

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

simplify228.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

794×	`fma-def_binary64`
281×	`fma-neg_binary64`
228×	`cancel-sign-sub-inv_binary64`
208×	`unswap-sqr_binary64`
190×	`associate-r_binary64`

Counts

78 → 117

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	301	4197
1	750	4037
2	2523	3620
3	4812	3598
4	4938	3598

prune4.4s (17%)

Pruning

20 alts after pruning (19 fresh and 1 done)

	Pruned	Kept	Total
New	543	3	546
Fresh	1	16	17
Picked	0	1	1
Done	0	0	0
Total	544	20	564

Error

28.5b

Counts

564 → 20

Alt Table

Status	Error	Program
	49.0b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (neg.f64 g)) a) -1/2)))
	34.7b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	40.7b	(+.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 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) a) -1/2)))
	32.1b	(+.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) 2)) (.f64 (cbrt.f64 (/.f64 (cbrt.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)))) (.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 (/.f64 (cbrt.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) (cbrt.f64 a))))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	33.4b	(+.f64 (.f64 (cbrt.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) 2)) (cbrt.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	47.4b	(+.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) 2)) (log.f64 (exp.f64 (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) 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 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)))))))
	46.3b	(+.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)))
	48.3b	(+.f64 (/.f64 (cbrt.f64 (+.f64 (fma.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h)) (neg.f64 (.f64 (sqrt.f64 g) (sqrt.f64 g)))) (fma.f64 (neg.f64 (sqrt.f64 g)) (sqrt.f64 g) (.f64 (sqrt.f64 g) (sqrt.f64 g))))) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	32.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)))
	46.3b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (neg.f64 g)) a) -1/2)))
	38.2b	(+.f64 (/.f64 (cbrt.f64 (+.f64 (fma.f64 (sqrt.f64 (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (neg.f64 (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g))))) (fma.f64 (neg.f64 (cbrt.f64 g)) (.f64 (cbrt.f64 g) (cbrt.f64 g)) (.f64 (cbrt.f64 g) (.f64 (cbrt.f64 g) (cbrt.f64 g)))))) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	47.0b	(+.f64 (/.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) g))) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
✓	32.9b	(+.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) 2)) (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	43.1b	(+.f64 (/.f64 (cbrt.f64 (.f64 -2 g)) (cbrt.f64 (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	63.2b	(+.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g))) 2)) (.f64 (cbrt.f64 (/.f64 1 a)) (.f64 (pow.f64 h 2/9) (pow.f64 (/.f64 -1/2 g) 1/9)))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	34.7b	(+.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a)))) (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)))
	34.7b	(+.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)))) a)) (cbrt.f64 -1/2)))
	34.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))) (cbrt.f64 (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))))
	60.5b	(+.f64 (.f64 (cbrt.f64 1/2) (exp.f64 (.f64 1/3 (fma.f64 2 (log.f64 h) (log.f64 (/.f64 -1/2 (.f64 g a))))))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))

Compiler

Compiled 40001 to 13107 computations (67.2% saved)

regimes4.8s (18.5%)

Accuracy

Total 0.8b remaining (2.7%)

Threshold costs 0.8b (2.7%)

Counts

197 → 2

Compiler

Compiled 60295 to 31911 computations (47.1% saved)

bsearch246.0ms (1%)

Steps

Iters	Range		Point
10	3.36910828502757e-169	4.5003385187923873e-159	8.490280041630018e-160

Compiler

Compiled 4 to 3 computations (25% saved)

simplify12.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative_binary64`
7×	`*-commutative_binary64`
5×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	95
1	47	95
2	57	95
3	63	95
4	66	95
5	66	95

end2.0ms (0%)

Compiler: Compiled 64 to 34 computations (46.9% saved)

sample5.1s (19.7%)

Algorithm

1×

intervals

Results

3.3s	7586×	body	256	valid
260.0ms	1247×	body	128	nan
89.0ms	414×	body	128	valid

Compiler

Compiled 1081 to 534 computations (50.6% saved)

Details

analyze672.0ms (2.6%)

sample74.0ms (0.3%)

simplify200.0ms (0.8%)

prune4.0ms (0%)

localize18.0ms (0.1%)

series1.9s (7.6%)

rewrite47.0ms (0.2%)

simplify286.0ms (1.1%)

prune1.3s (5%)

localize35.0ms (0.1%)

series32.0ms (0.1%)

rewrite22.0ms (0.1%)

simplify196.0ms (0.8%)

prune2.3s (8.8%)

localize38.0ms (0.1%)

prune2.3s (9.1%)

localize119.0ms (0.5%)

series1.4s (5.5%)

rewrite28.0ms (0.1%)

simplify228.0ms (0.9%)

prune4.4s (17%)

regimes4.8s (18.5%)

bsearch246.0ms (1%)

simplify12.0ms (0%)

end2.0ms (0%)

sample5.1s (19.7%)

Profiling