Details

analyze564.0ms (3.5%)

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)

sample2.9s (18.5%)

Alt Table

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

▶

35.2b

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

Results

2.6s	7817×	body	256	valid
192.0ms	1196×	body	128	invalid
76.0ms	439×	body	128	valid

Compiler

Compiled 202 to 117 computations (42.1% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.2b	(-.f64 (.f64 g g) (.f64 h h))
✓	7.2b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
✓	8.2b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
✓	28.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series1.5s (9.5%)

Counts

4 → 120

Calls

4 calls:

757.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
734.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
16.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
7.0ms	(-.f64 (.f64 g g) (.f64 h h))

rewrite85.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

622×	`prod-diff_binary64`
200×	`add-sqr-sqrt_binary64`
191×	`log1p-expm1-u_binary64`
191×	`expm1-log1p-u_binary64`
188×	`add-cbrt-cube_binary64`

Counts

4 → 119

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	72
1	416	68
2	4524	68
3	5762	68
0	0	0
1	0	0

prune895.0ms (5.6%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	346	16	362
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	347	16	363

Error

30.9b

Counts

363 → 16

Alt Table

Status	Error	Program
	43.2b	(+.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) (exp.f64 (log.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))))
	55.3b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (+.f64 (.f64 5/144 (/.f64 (.f64 (cbrt.f64 1/2) (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 -1 g)) (log.f64 (.f64 1/2 (/.f64 (pow.f64 h 2) a)))))) (pow.f64 h 4))) (pow.f64 g 4))) (+.f64 (.f64 (cbrt.f64 1/2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 -1 g)) (log.f64 (.f64 1/2 (/.f64 (pow.f64 h 2) a))))))) (.f64 1/12 (/.f64 (.f64 (cbrt.f64 1/2) (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 -1 g)) (log.f64 (*.f64 1/2 (/.f64 (pow.f64 h 2) a)))))) (pow.f64 h 2))) (pow.f64 g 2))))))
	53.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	47.2b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.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)))))))
▶	40.6b	(+.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) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 2)) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	60.1b	(+.f64 (.f64 (exp.f64 (.f64 1/3 (+.f64 (.f64 2 (log.f64 h)) (log.f64 (/.f64 -1/2 (.f64 a g)))))) (cbrt.f64 1/2)) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	41.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) (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3)))))
	48.4b	(+.f64 (.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)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	40.6b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (expm1.f64 (log1p.f64 (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)))))))
	57.7b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 -1/2) (exp.f64 (.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 1 g)))))))
	51.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.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))))))
	56.7b	(+.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 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	52.5b	(+.f64 (+.f64 (.f64 1/12 (/.f64 (.f64 (cbrt.f64 1/2) (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 1 g)) (log.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) a)))))) (pow.f64 h 2))) (pow.f64 g 2))) (.f64 (cbrt.f64 1/2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 1 g)) (log.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) a)))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	41.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	48.1b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 3/2) 1/3)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	48.3b	(+.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) (*.f64 -1 g)))))

Compiler

Compiled 18715 to 10184 computations (45.6% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	13.8b	(-.f64 (neg.f64 g) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 2)) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h))))))
✓	15.0b	(sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 2))
✓	28.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
✓	29.7b	(cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series107.0ms (0.7%)

Counts

4 → 96

Calls

4 calls:

39.0ms	(cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
36.0ms	(sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 2))
16.0ms	(-.f64 (neg.f64 g) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 2)) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h))))))
15.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite77.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

812×	`fma-def_binary64`
355×	`fma-neg_binary64`
217×	`expm1-udef_binary64`
217×	`log1p-udef_binary64`
189×	`egg-rr`

Counts

4 → 189

Calls

4 calls:

71.0ms	(-.f64 (neg.f64 g) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 2)) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h))))))
71.0ms	(sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 2))
71.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
71.0ms	(cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	53
1	290	51
2	3204	51
3	4856	51
0	0	0
1	0	0

prune1.2s (7.5%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	334	8	342
Fresh	4	11	15
Picked	1	0	1
Done	0	0	0
Total	339	19	358

Error

30.7b

Counts

358 → 19

Alt Table

Status	Error	Program
	41.6b	(+.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) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	47.2b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.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)))))))
	41.4b	(+.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) (.f64 (.f64 (cbrt.f64 (+.f64 g h)) (cbrt.f64 (-.f64 g h))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))))
	56.7b	(+.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 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	46.0b	(+.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) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 2)) (sqrt.f64 (.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 4))) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 2/3))))))))))
	52.5b	(+.f64 (+.f64 (.f64 1/12 (/.f64 (.f64 (cbrt.f64 1/2) (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 1 g)) (log.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) a)))))) (pow.f64 h 2))) (pow.f64 g 2))) (.f64 (cbrt.f64 1/2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 1 g)) (log.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) a)))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	53.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 2)) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))))
	41.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	47.3b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (cbrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/6)) (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 2)) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	48.4b	(+.f64 (.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)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	42.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)) (fma.f64 (pow.f64 (cbrt.f64 g) 2) (neg.f64 (cbrt.f64 g)) (neg.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))))
	48.1b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 3/2) 1/3)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	47.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 -1/2 (/.f64 (pow.f64 h 2) g)))))
	55.3b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (+.f64 (.f64 5/144 (/.f64 (.f64 (cbrt.f64 1/2) (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 -1 g)) (log.f64 (.f64 1/2 (/.f64 (pow.f64 h 2) a)))))) (pow.f64 h 4))) (pow.f64 g 4))) (+.f64 (.f64 (cbrt.f64 1/2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 -1 g)) (log.f64 (.f64 1/2 (/.f64 (pow.f64 h 2) a))))))) (.f64 1/12 (/.f64 (.f64 (cbrt.f64 1/2) (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 -1 g)) (log.f64 (*.f64 1/2 (/.f64 (pow.f64 h 2) a)))))) (pow.f64 h 2))) (pow.f64 g 2))))))
▶	40.6b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (expm1.f64 (log1p.f64 (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)))))))
	57.7b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 -1/2) (exp.f64 (.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 1 g)))))))
	51.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.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))))))
	60.1b	(+.f64 (.f64 (exp.f64 (.f64 1/3 (+.f64 (.f64 2 (log.f64 h)) (log.f64 (/.f64 -1/2 (.f64 a g)))))) (cbrt.f64 1/2)) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	47.7b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/6))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 2)) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))))

Compiler

Compiled 21631 to 10476 computations (51.6% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	7.2b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
✓	13.2b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (expm1.f64 (log1p.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))))
✓	23.7b	(+.f64 (neg.f64 g) (expm1.f64 (log1p.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
✓	28.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series1.6s (10.2%)

Counts

4 → 120

Calls

4 calls:

831.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
754.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (expm1.f64 (log1p.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))))
16.0ms	(+.f64 (neg.f64 g) (expm1.f64 (log1p.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
16.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite84.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

292×	`prod-diff_binary64`
208×	`add-sqr-sqrt_binary64`
200×	`expm1-log1p-u_binary64`
199×	`log1p-expm1-u_binary64`
195×	`add-cbrt-cube_binary64`

Counts

4 → 99

Calls

4 calls:

81.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
81.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (expm1.f64 (log1p.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))))
81.0ms	(+.f64 (neg.f64 g) (expm1.f64 (log1p.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
81.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	79
1	435	73
2	4589	73
3	5030	73
0	0	0
1	0	0

prune1.0s (6.4%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	268	1	269
Fresh	1	17	18
Picked	0	1	1
Done	0	0	0
Total	269	19	288

Error

30.7b

Counts

288 → 19

Alt Table

Status	Error	Program
	49.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (.f64 -1/2 (/.f64 (pow.f64 h 2) g)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
✓	40.6b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (expm1.f64 (log1p.f64 (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)))))))
	41.6b	(+.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) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	47.2b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.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)))))))
	41.4b	(+.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) (.f64 (.f64 (cbrt.f64 (+.f64 g h)) (cbrt.f64 (-.f64 g h))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))))
	56.7b	(+.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 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	46.0b	(+.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) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 2)) (sqrt.f64 (.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 4))) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 2/3))))))))))
	52.5b	(+.f64 (+.f64 (.f64 1/12 (/.f64 (.f64 (cbrt.f64 1/2) (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 1 g)) (log.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) a)))))) (pow.f64 h 2))) (pow.f64 g 2))) (.f64 (cbrt.f64 1/2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 1 g)) (log.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) a)))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	53.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (sqrt.f64 (+.f64 g h)) (sqrt.f64 (-.f64 g h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 2)) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))))
▶	41.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	47.3b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (cbrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/6)) (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 2)) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	48.4b	(+.f64 (.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)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	42.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)) (fma.f64 (pow.f64 (cbrt.f64 g) 2) (neg.f64 (cbrt.f64 g)) (neg.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))))
	48.1b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 3/2) 1/3)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	47.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 -1/2 (/.f64 (pow.f64 h 2) g)))))
	55.3b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (+.f64 (.f64 5/144 (/.f64 (.f64 (cbrt.f64 1/2) (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 -1 g)) (log.f64 (.f64 1/2 (/.f64 (pow.f64 h 2) a)))))) (pow.f64 h 4))) (pow.f64 g 4))) (+.f64 (.f64 (cbrt.f64 1/2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 -1 g)) (log.f64 (.f64 1/2 (/.f64 (pow.f64 h 2) a))))))) (.f64 1/12 (/.f64 (.f64 (cbrt.f64 1/2) (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 -1 g)) (log.f64 (*.f64 1/2 (/.f64 (pow.f64 h 2) a)))))) (pow.f64 h 2))) (pow.f64 g 2))))))
	57.7b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 -1/2) (exp.f64 (.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 1 g)))))))
	51.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.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))))))
	47.7b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/6))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 2)) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))))

Compiler

Compiled 15410 to 8644 computations (43.9% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	7.2b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
✓	11.2b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3))))
✓	18.2b	(+.f64 (neg.f64 g) (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3))
✓	28.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series1.5s (9.5%)

Counts

4 → 120

Calls

4 calls:

759.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
721.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3))))
17.0ms	(+.f64 (neg.f64 g) (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3))
14.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite74.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

362×	`log1p-udef_binary64`
225×	`prod-diff_binary64`
215×	`add-sqr-sqrt_binary64`
209×	`log1p-expm1-u_binary64`
209×	`expm1-log1p-u_binary64`

Counts

4 → 102

Calls

4 calls:

70.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
70.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3))))
70.0ms	(+.f64 (neg.f64 g) (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3))
70.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	79
1	461	73
2	4531	73
3	5349	73
0	0	0
1	0	0

prune1.0s (6.5%)

Pruning

20 alts after pruning (18 fresh and 2 done)

	Pruned	Kept	Total
New	271	4	275
Fresh	3	14	17
Picked	0	1	1
Done	0	1	1
Total	274	20	294

Error

30.7b

Counts

294 → 20

Alt Table

Status	Error	Program
	41.1b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3/2)) 3)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	55.3b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (+.f64 (.f64 5/144 (/.f64 (.f64 (cbrt.f64 1/2) (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 -1 g)) (log.f64 (.f64 1/2 (/.f64 (pow.f64 h 2) a)))))) (pow.f64 h 4))) (pow.f64 g 4))) (+.f64 (.f64 (cbrt.f64 1/2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 -1 g)) (log.f64 (.f64 1/2 (/.f64 (pow.f64 h 2) a))))))) (.f64 1/12 (/.f64 (.f64 (cbrt.f64 1/2) (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 -1 g)) (log.f64 (*.f64 1/2 (/.f64 (pow.f64 h 2) a)))))) (pow.f64 h 2))) (pow.f64 g 2))))))
	49.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (.f64 -1/2 (/.f64 (pow.f64 h 2) g)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
✓	40.6b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (expm1.f64 (log1p.f64 (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)))))))
	41.6b	(+.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) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	47.2b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.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)))))))
	41.4b	(+.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) (.f64 (.f64 (cbrt.f64 (+.f64 g h)) (cbrt.f64 (-.f64 g h))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))))
	56.7b	(+.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 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	46.0b	(+.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) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 2)) (sqrt.f64 (.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 4))) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 2/3))))))))))
	52.5b	(+.f64 (+.f64 (.f64 1/12 (/.f64 (.f64 (cbrt.f64 1/2) (.f64 (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 1 g)) (log.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) a)))))) (pow.f64 h 2))) (pow.f64 g 2))) (.f64 (cbrt.f64 1/2) (exp.f64 (.f64 1/3 (+.f64 (log.f64 (/.f64 1 g)) (log.f64 (.f64 -1/2 (/.f64 (pow.f64 h 2) a)))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	42.7b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (pow.f64 (cbrt.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) 3)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
✓	41.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	42.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)) (fma.f64 (pow.f64 (cbrt.f64 g) 2) (neg.f64 (cbrt.f64 g)) (neg.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))))
	48.1b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 3/2) 1/3)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	47.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 -1/2 (/.f64 (pow.f64 h 2) g)))))
	57.7b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.f64 (cbrt.f64 -1/2) (exp.f64 (.f64 1/3 (-.f64 (log.f64 (/.f64 2 a)) (log.f64 (/.f64 1 g)))))))
	51.0b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (.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))))))
	42.4b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (pow.f64 (cbrt.f64 (.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/6) (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) 3)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))
	48.4b	(+.f64 (.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)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	54.8b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (pow.f64 (cbrt.f64 g) 3)))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))

Compiler

Compiled 14833 to 8513 computations (42.6% saved)

regimes2.6s (16%)

Accuracy

Total 4.2b remaining (11.8%)

Threshold costs 0b (0%)

Counts

171 → 3

Compiler

Compiled 73675 to 46445 computations (37% saved)

bsearch10.0ms (0.1%)

Compiler: Compiled 6 to 5 computations (16.7% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

22×	`+-commutative_binary64`
19×	`*-commutative_binary64`
15×	`sub-neg_binary64`
10×	`neg-sub0_binary64`
10×	`neg-mul-1_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	58	207
1	90	203
2	111	203
3	130	203
4	141	201
5	148	201
6	151	201
7	152	201
8	150	201

end519.0ms (3.3%)

Compiler: Compiled 1236 to 846 computations (31.6% saved)

Iter	Nodes	Cost
0	58	207
1	90	203
2	111	203
3	130	203
4	141	201
5	148	201
6	151	201
7	152	201
8	150	201

Iter	Nodes	Cost
0	58	207
1	90	203
2	111	203
3	130	203
4	141	201
5	148	201
6	151	201
7	152	201
8	150	201

Details

analyze564.0ms (3.5%)

sample2.9s (18.5%)

localize16.0ms (0.1%)

series1.5s (9.5%)

rewrite85.0ms (0.5%)

prune895.0ms (5.6%)

localize24.0ms (0.1%)

series107.0ms (0.7%)

rewrite77.0ms (0.5%)

prune1.2s (7.5%)

localize20.0ms (0.1%)

series1.6s (10.2%)

rewrite84.0ms (0.5%)

prune1.0s (6.4%)

localize19.0ms (0.1%)

series1.5s (9.5%)

rewrite74.0ms (0.5%)

prune1.0s (6.5%)

regimes2.6s (16%)

bsearch10.0ms (0.1%)

simplify10.0ms (0.1%)

end519.0ms (3.3%)

Profiling

Iter	Nodes	Cost
0	58	207
1	90	203
2	111	203
3	130	203
4	141	201
5	148	201
6	151	201
7	152	201
8	150	201