Details

analyze2.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 17 to 11 computations (35.3% saved)

sample1.1s (13.8%)

Results

856.0ms

8256×

body

128

valid

Compiler

Compiled 44 to 28 computations (36.4% saved)

simplify84.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

649×	`fma-neg_binary64`
504×	`div-sub_binary64`
481×	`fma-def_binary64`
326×	`times-frac_binary64`
174×	`associate-/l/_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	13	10
2	21	10
3	37	10
4	64	10
5	113	10
6	216	10
7	415	10
8	754	10
9	1183	10
10	1537	10
11	1612	10
12	1657	10
13	1684	10
14	1694	10
15	1702	10
16	1702	10
17	1600	10

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

62.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	62.0b	(/.f64 (-.f64 x lo) (-.f64 hi lo))

Compiler

Compiled 30 to 18 computations (40% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	62.0b	(/.f64 (-.f64 x lo) (-.f64 hi lo))

series20.0ms (0.3%)

Counts

1 → 36

Calls

1 calls:

20.0ms

(/.f64 (-.f64 x lo) (-.f64 hi lo))

rewrite12.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

37×	`*-un-lft-identity_binary64`
37×	`add-sqr-sqrt_binary64`
25×	`times-frac_binary64`
13×	`add-cube-cbrt_binary64`
12×	`distribute-lft-out--_binary64`

Counts

1 → 54

Calls

1 calls:

8.0ms

(/.f64 (-.f64 x lo) (-.f64 hi lo))

simplify77.0ms (1%)

Algorithm

1×	egg-herbie

Rules

810×	`fma-neg_binary64`
418×	`fma-def_binary64`
402×	`associate--l+_binary64`
279×	`cancel-sign-sub-inv_binary64`
264×	`times-frac_binary64`

Counts

90 → 84

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	162	2093
1	436	2033
2	1358	1879
3	4643	1879
4	5346	1879

prune42.0ms (0.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	80	4	84
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	4	85

Error

51.2b

Counts

85 → 4

Alt Table

Status	Error	Program
▶	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (pow.f64 (/.f64 lo hi) 3)))
	52.0b	(-.f64 (+.f64 1 (.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))) (+.f64 (/.f64 x lo) (.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
	57.9b	(-.f64 (+.f64 1 (+.f64 (.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (pow.f64 (/.f64 hi lo) 3))) (+.f64 (/.f64 x lo) (.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
	52.0b	(-.f64 (+.f64 1 (.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))) (.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 x lo)))

Compiler

Compiled 1901 to 683 computations (64.1% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))
✓	0.7b	(pow.f64 (/.f64 lo hi) 3)
✓	1.5b	(+.f64 (/.f64 lo hi) 1)
✓	1.5b	(-.f64 -1 (/.f64 lo hi))

series43.0ms (0.6%)

Counts

4 → 96

Calls

4 calls:

17.0ms	(*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))
15.0ms	(pow.f64 (/.f64 lo hi) 3)
6.0ms	(-.f64 -1 (/.f64 lo hi))
4.0ms	(+.f64 (/.f64 lo hi) 1)

rewrite59.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

173×	`add-sqr-sqrt_binary64`
164×	`*-un-lft-identity_binary64`
158×	`add-cube-cbrt_binary64`
147×	`times-frac_binary64`
117×	`prod-diff_binary64`

Counts

4 → 293

Calls

4 calls:

15.0ms	(*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))
6.0ms	(-.f64 -1 (/.f64 lo hi))
5.0ms	(+.f64 (/.f64 lo hi) 1)
3.0ms	(pow.f64 (/.f64 lo hi) 3)

simplify184.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

621×	`fma-neg_binary64`
480×	`associate-l_binary64`
444×	`associate-r_binary64`
380×	`log-prod_binary64`
293×	`*-commutative_binary64`

Counts

389 → 340

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	410	7239
1	1125	5197
2	3283	4476
3	4278	4476
4	4846	4476

prune231.0ms (3%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	331	9	340
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	332	12	344

Error

50.6b

Counts

344 → 12

Alt Table

Status	Error	Program
	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (+.f64 -1 (.f64 (neg.f64 (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) 1)) (/.f64 (cbrt.f64 lo) hi))))) (pow.f64 (/.f64 lo hi) 3)))
	52.0b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 1 (/.f64 lo hi)) (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (pow.f64 (/.f64 lo hi) 3)))
	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 lo (/.f64 (-.f64 -1 (/.f64 lo hi)) hi))) (pow.f64 (/.f64 lo hi) 3)))
	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (+.f64 (fma.f64 1 -1 (neg.f64 (.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi))) (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (.f64 (cbrt.f64 hi) (cbrt.f64 hi))) (.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))))))) (pow.f64 (/.f64 lo hi) 3)))
▶	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (.f64 (pow.f64 (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) 3) (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3))))
	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (.f64 (.f64 (cbrt.f64 (-.f64 -1 (/.f64 lo hi))) (cbrt.f64 (-.f64 -1 (/.f64 lo hi)))) (cbrt.f64 (-.f64 -1 (/.f64 lo hi)))))) (pow.f64 (/.f64 lo hi) 3)))
	52.0b	(-.f64 (+.f64 1 (.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))) (.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 x lo)))
	52.4b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (/.f64 (.f64 lo (-.f64 1 (pow.f64 (/.f64 lo hi) 2))) (*.f64 hi (+.f64 -1 (/.f64 lo hi))))) (pow.f64 (/.f64 lo hi) 3)))
	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (cbrt.f64 (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (cbrt.f64 (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))))) (pow.f64 (/.f64 lo hi) 3)))
	52.0b	(-.f64 (+.f64 1 (.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))) (+.f64 (/.f64 x lo) (.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
	57.9b	(-.f64 (+.f64 1 (+.f64 (.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (pow.f64 (/.f64 hi lo) 3))) (+.f64 (/.f64 x lo) (.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
	58.0b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (neg.f64 (pow.f64 (/.f64 lo hi) 2))) (pow.f64 (/.f64 lo hi) 3)))

Compiler

Compiled 18049 to 6186 computations (65.7% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(pow.f64 (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (.f64 (cbrt.f64 hi) (cbrt.f64 hi))) 3)
✓	0.7b	(pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3)
	1.5b	(+.f64 (/.f64 lo hi) 1)
	1.5b	(-.f64 -1 (/.f64 lo hi))

series1.2s (15.7%)

Counts

2 → 48

Calls

2 calls:

752.0ms	(pow.f64 (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (.f64 (cbrt.f64 hi) (cbrt.f64 hi))) 3)
459.0ms	(pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3)

rewrite26.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

74×	`times-frac_binary64`
72×	`cbrt-prod_binary64`
56×	`*-un-lft-identity_binary64`
56×	`add-sqr-sqrt_binary64`
56×	`add-cube-cbrt_binary64`

Counts

2 → 140

Calls

2 calls:

7.0ms	(pow.f64 (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (.f64 (cbrt.f64 hi) (cbrt.f64 hi))) 3)
6.0ms	(pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3)

simplify131.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

542×	`fma-def_binary64`
364×	`fma-neg_binary64`
326×	`log-div_binary64`
272×	`sqr-pow_binary64`
255×	`log-prod_binary64`

Counts

188 → 151

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	253	3864
1	748	2980
2	2297	2283
3	4133	2283
4	4935	2283
5	5069	2283

prune189.0ms (2.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	267	5	272
Fresh	4	7	11
Picked	1	0	1
Done	0	0	0
Total	272	12	284

Error

50.6b

Counts

284 → 12

Alt Table

Status	Error	Program
	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (*.f64 (pow.f64 (pow.f64 (exp.f64 (-.f64 (neg.f64 (log.f64 hi)) (log.f64 (/.f64 -1 lo)))) 2/3) 3) (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3))))
	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (+.f64 (fma.f64 1 -1 (neg.f64 (.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi))) (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (.f64 (cbrt.f64 hi) (cbrt.f64 hi))) (.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))))))) (pow.f64 (/.f64 lo hi) 3)))
	52.0b	(-.f64 (+.f64 1 (.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))) (.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 x lo)))
	52.4b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (/.f64 (.f64 lo (-.f64 1 (pow.f64 (/.f64 lo hi) 2))) (*.f64 hi (+.f64 -1 (/.f64 lo hi))))) (pow.f64 (/.f64 lo hi) 3)))
	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (.f64 (pow.f64 (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (.f64 (cbrt.f64 hi) (cbrt.f64 hi))) 3) (.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 (cbrt.f64 lo)) (cbrt.f64 (cbrt.f64 lo))) (sqrt.f64 (cbrt.f64 hi))) 3) (pow.f64 (/.f64 (cbrt.f64 (cbrt.f64 lo)) (sqrt.f64 (cbrt.f64 hi))) 3)))))
	58.0b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (neg.f64 (pow.f64 (/.f64 lo hi) 2))) (pow.f64 (/.f64 lo hi) 3)))
	52.0b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 1 (/.f64 lo hi)) (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (pow.f64 (/.f64 lo hi) 3)))
	58.0b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (neg.f64 (/.f64 lo hi)))) (.f64 (pow.f64 (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) 3) (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3))))
▶	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (.f64 (exp.f64 (.f64 (-.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo))) (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) 3)) (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3))))
	52.0b	(-.f64 (+.f64 1 (.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))) (+.f64 (/.f64 x lo) (.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) (cbrt.f64 (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (.f64 (cbrt.f64 hi) (cbrt.f64 hi))))) 3) (pow.f64 (cbrt.f64 (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) 3)) (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3))))
	57.9b	(-.f64 (+.f64 1 (+.f64 (.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (pow.f64 (/.f64 hi lo) 3))) (+.f64 (/.f64 x lo) (.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))

Compiler

Compiled 17136 to 5660 computations (67% saved)

localize28.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.7b	(pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3)
	1.5b	(+.f64 (/.f64 lo hi) 1)
	1.5b	(-.f64 -1 (/.f64 lo hi))
✓	9.9b	(-.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo))) (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi))))

series2.7s (34.9%)

Counts

1 → 24

Calls

1 calls:

2.7s	(-.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo))) (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi))))

rewrite45.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

264×	`log-pow_binary64`
243×	`pow1_binary64`
168×	`pow1/3_binary64`
144×	`prod-diff_binary64`
60×	`pow-prod-down_binary64`

Counts

1 → 202

Calls

1 calls:

16.0ms

(-.f64 (log.f64 (*.f64 (cbrt.f64 lo) (cbrt.f64 lo))) (log.f64 (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))))

simplify190.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

999×	`fma-neg_binary64`
534×	`associate-l_binary64`
424×	`associate-r_binary64`
377×	`fma-def_binary64`
202×	`unswap-sqr_binary64`

Counts

226 → 156

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	163	6291
1	312	4175
2	716	2717
3	3193	2709
4	4586	2709
5	4999	2709
6	4777	2709

prune301.0ms (3.9%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	366	7	373
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	370	15	385

Error

50.6b

Counts

385 → 15

Alt Table

Status	Error	Program
	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (.f64 (exp.f64 (.f64 (+.f64 (fma.f64 (sqrt.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)))) (sqrt.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)))) (neg.f64 (.f64 (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) (.f64 (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))))))) (fma.f64 (neg.f64 (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi))))) (.f64 (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi))))) (.f64 (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) (.f64 (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))))))) 3)) (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3))))
	52.0b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 1 (/.f64 lo hi)) (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (pow.f64 (/.f64 lo hi) 3)))
	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (+.f64 (fma.f64 1 -1 (neg.f64 (.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi))) (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (.f64 (cbrt.f64 hi) (cbrt.f64 hi))) (.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))))))) (pow.f64 (/.f64 lo hi) 3)))
	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (.f64 (exp.f64 (.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)))) (cbrt.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo))))) (cbrt.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)))) (neg.f64 (.f64 (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) (.f64 (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))))))) (fma.f64 (neg.f64 (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi))))) (.f64 (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi))))) (.f64 (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) (.f64 (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))))))) 3)) (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3))))
	57.9b	(-.f64 (+.f64 1 (+.f64 (.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (pow.f64 (/.f64 hi lo) 3))) (+.f64 (/.f64 x lo) (.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (.f64 (exp.f64 (.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo))) (.f64 (neg.f64 (.f64 (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))))) (cbrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))))) 3)) (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3))))
	52.0b	(-.f64 (+.f64 1 (.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))) (.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 x lo)))
	52.4b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (/.f64 (.f64 lo (-.f64 1 (pow.f64 (/.f64 lo hi) 2))) (*.f64 hi (+.f64 -1 (/.f64 lo hi))))) (pow.f64 (/.f64 lo hi) 3)))
	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (.f64 (exp.f64 (.f64 (fma.f64 (sqrt.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)))) (sqrt.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)))) (neg.f64 (log.f64 (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))))) 3)) (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3))))
	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (.f64 (exp.f64 (.f64 (fma.f64 (.f64 (cbrt.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)))) (cbrt.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo))))) (cbrt.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)))) (*.f64 -2/3 (log.f64 hi))) 3)) (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3))))
	58.0b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (neg.f64 (pow.f64 (/.f64 lo hi) 2))) (pow.f64 (/.f64 lo hi) 3)))
	51.9b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (.f64 (exp.f64 (.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)))) (cbrt.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo))))) (cbrt.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)))) (neg.f64 (.f64 (sqrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) (sqrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi))))))) (fma.f64 (neg.f64 (sqrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi))))) (sqrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) (.f64 (sqrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) (sqrt.f64 (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi))))))) 3)) (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3))))
	58.0b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (neg.f64 (/.f64 lo hi)))) (.f64 (pow.f64 (/.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) 3) (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3))))
	52.0b	(-.f64 (+.f64 1 (.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))) (+.f64 (/.f64 x lo) (.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
	58.0b	(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (.f64 (/.f64 lo hi) (neg.f64 (/.f64 lo hi)))) (.f64 (exp.f64 (.f64 (-.f64 (log.f64 (.f64 (cbrt.f64 lo) (cbrt.f64 lo))) (log.f64 (.f64 (cbrt.f64 hi) (cbrt.f64 hi)))) 3)) (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3))))

Compiler

Compiled 25065 to 8411 computations (66.4% saved)

regimes686.0ms (8.9%)

Accuracy

Total 1.2b remaining (2.4%)

Threshold costs 0b (0%)

Counts

110 → 1

Compiler

Compiled 22870 to 10496 computations (54.1% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	110
1	48	110
2	63	110
3	74	110
4	81	110
5	83	110
6	82	110

end337.0ms (4.4%)

Compiler: Compiled 1111 to 445 computations (59.9% saved)

Details

analyze2.0ms (0%)

sample1.1s (13.8%)

simplify84.0ms (1.1%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series20.0ms (0.3%)

rewrite12.0ms (0.2%)

simplify77.0ms (1%)

prune42.0ms (0.5%)

localize13.0ms (0.2%)

series43.0ms (0.6%)

rewrite59.0ms (0.8%)

simplify184.0ms (2.4%)

prune231.0ms (3%)

localize23.0ms (0.3%)

series1.2s (15.7%)

rewrite26.0ms (0.3%)

simplify131.0ms (1.7%)

prune189.0ms (2.5%)

localize28.0ms (0.4%)

series2.7s (34.9%)

rewrite45.0ms (0.6%)

simplify190.0ms (2.5%)

prune301.0ms (3.9%)

regimes686.0ms (8.9%)

simplify5.0ms (0.1%)

end337.0ms (4.4%)

Profiling