Details

analyze672.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.0s (21.3%)

Results

2.6s	7843×	body	256	valid
262.0ms	1235×	body	128	invalid
75.0ms	413×	body	128	valid

Compiler

Compiled 122 to 71 computations (41.8% saved)

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

37.8b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	37.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

▶

37.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 120 to 69 computations (42.5% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.0b	(-.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))))))
✓	10.2b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
✓	30.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series1.2s (8.4%)

Counts

4 → 120

Calls

4 calls:

611.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
573.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
13.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
6.0ms	(-.f64 (.f64 g g) (.f64 h h))

rewrite85.0ms (0.6%)

Algorithm

1×	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: 1 (0.0ms)

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

prune944.0ms (6.6%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	341	21	362
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	342	21	363

Error

32.3b

Counts

363 → 21

Alt Table

Status	Error	Program
	44.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)))))))))
	56.3b	(+.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) (pow.f64 (/.f64 (.f64 2 g) a) 1/3)))
	49.5b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (.f64 (-.f64 (pow.f64 g 4) (pow.f64 h 4)) (/.f64 1 (fma.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)))))))
	47.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) (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 3/2))))))
	50.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 (sqrt.f64 (-.f64 (pow.f64 g 2) (pow.f64 h 2))) g)) (log.f64 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) (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4) 2)))))
	42.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (cbrt.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)))))))
	43.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)))))))
	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 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))))
	50.6b	(+.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)) (-.f64 (neg.f64 g) (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3)))))
	50.3b	(+.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 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	55.5b	(+.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 -1 g)) (log.f64 (*.f64 1/2 (/.f64 (pow.f64 h 2) a))))))))
	49.7b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (/.f64 (sqrt.f64 (-.f64 (pow.f64 g 4) (pow.f64 h 4))) (sqrt.f64 (fma.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)))))))
	53.2b	(+.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)))))))
	50.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 (sqrt.f64 (-.f64 (pow.f64 g 2) (pow.f64 h 2))) g)) (log.f64 (/.f64 -1 a)))))))
	56.4b	(+.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.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) (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))))))
	51.5b	(+.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)))))
	45.3b	(+.f64 (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)))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))

Compiler

Compiled 19055 to 10366 computations (45.6% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	12.0b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4) 2))))
✓	16.5b	(-.f64 (neg.f64 g) (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4) 2))
✓	30.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
✓	31.4b	(pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)

series679.0ms (4.8%)

Counts

4 → 108

Calls

4 calls:

625.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4) 2))))
28.0ms	(pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)
13.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
12.0ms	(-.f64 (neg.f64 g) (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4) 2))

rewrite82.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

299×	`expm1-udef_binary64`
299×	`log1p-udef_binary64`
183×	`add-sqr-sqrt_binary64`
182×	`log1p-expm1-u_binary64`
182×	`expm1-log1p-u_binary64`

Counts

4 → 114

Calls

4 calls:

78.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4) 2))))
78.0ms	(-.f64 (neg.f64 g) (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4) 2))
77.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
77.0ms	(pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	67
1	399	63
2	4461	63
3	5145	63

prune833.0ms (5.8%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	218	4	222
Fresh	4	16	20
Picked	1	0	1
Done	0	0	0
Total	223	20	243

Error

32.2b

Counts

243 → 20

Alt Table

Status	Error	Program
	44.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)))))))))
	56.3b	(+.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) (pow.f64 (/.f64 (.f64 2 g) a) 1/3)))
	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) (pow.f64 (.f64 (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) 2)))))
	50.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 (sqrt.f64 (-.f64 (pow.f64 g 2) (pow.f64 h 2))) g)) (log.f64 (/.f64 -1 a)))))))
	49.5b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (.f64 (-.f64 (pow.f64 g 4) (pow.f64 h 4)) (/.f64 1 (fma.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)))))))
	47.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) (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 3/2))))))
	50.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 (sqrt.f64 (-.f64 (pow.f64 g 2) (pow.f64 h 2))) g)) (log.f64 a))))))
	42.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (cbrt.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)))))))
	51.1b	(+.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)))))
	43.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)))))))
	50.6b	(+.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)) (-.f64 (neg.f64 g) (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3)))))
	50.3b	(+.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 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	45.3b	(+.f64 (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)))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	45.2b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4) 2)))))
	53.2b	(+.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)))))))
	56.4b	(+.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)))))))
	42.7b	(+.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 (.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h))))) 2)))))
▶	41.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) (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))))))

Compiler

Compiled 13086 to 7431 computations (43.2% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	13.4b	(-.f64 (neg.f64 g) (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3)))
✓	30.6b	(sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))
✓	30.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
✓	31.5b	(cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series66.0ms (0.5%)

Counts

4 → 96

Calls

4 calls:

29.0ms	(cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
13.0ms	(-.f64 (neg.f64 g) (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3)))
11.0ms	(sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))
11.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite80.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

830×	`fma-def_binary64`
352×	`fma-neg_binary64`
204×	`egg-rr`
196×	`expm1-udef_binary64`
196×	`log1p-udef_binary64`

Counts

4 → 204

Calls

4 calls:

74.0ms	(-.f64 (neg.f64 g) (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3)))
74.0ms	(sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))
74.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
74.0ms	(cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	13	53
1	257	51
2	2944	48
3	4882	48

prune1.3s (9.3%)

Pruning

24 alts after pruning (23 fresh and 1 done)

	Pruned	Kept	Total
New	293	7	300
Fresh	3	16	19
Picked	0	1	1
Done	0	0	0
Total	296	24	320

Error

32.2b

Counts

320 → 24

Alt Table

Status	Error	Program
	53.1b	(+.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 (hypot.f64 g (sqrt.f64 (neg.f64 (*.f64 h h)))))))))
	55.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (exp.f64 (log.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h))))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h))) 3))))))
	44.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) (sqrt.f64 (pow.f64 (exp.f64 (log.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) 3))))))
	50.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 (sqrt.f64 (-.f64 (pow.f64 g 2) (pow.f64 h 2))) g)) (log.f64 (/.f64 -1 a)))))))
	49.5b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (.f64 (-.f64 (pow.f64 g 4) (pow.f64 h 4)) (/.f64 1 (fma.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)))))))
	47.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) (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 3/2))))))
	50.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 (sqrt.f64 (-.f64 (pow.f64 g 2) (pow.f64 h 2))) g)) (log.f64 a))))))
	62.7b	(+.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 (cbrt.f64 g) (pow.f64 (cbrt.f64 g) 2) (neg.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (*.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)))))))
	42.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (cbrt.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)))))))
	51.1b	(+.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)))))
	43.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)))))))
	50.6b	(+.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)))))))
	62.7b	(+.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 (.f64 (cbrt.f64 (neg.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h)))))) (cbrt.f64 (neg.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h))))))) (cbrt.f64 (neg.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h)))))) g))))
	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)) (-.f64 (neg.f64 g) (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3)))))
	50.3b	(+.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 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	45.3b	(+.f64 (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)))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	45.2b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4) 2)))))
	56.3b	(+.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) (pow.f64 (/.f64 (.f64 2 g) a) 1/3)))
	44.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) (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (pow.f64 (-.f64 (.f64 g g) (*.f64 h h)) 1/6))))))
	53.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) (exp.f64 (log.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (*.f64 h h))))))))))
	56.4b	(+.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)))))))
▶	42.7b	(+.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 (.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h))))) 2)))))
✓	41.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) (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))))))

Compiler

Compiled 16614 to 8429 computations (49.3% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	12.3b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (pow.f64 (.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h))))) 2))))
✓	19.9b	(-.f64 (neg.f64 g) (pow.f64 (.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h))))) 2))
✓	30.6b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
✓	31.4b	(pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)

series672.0ms (4.7%)

Counts

4 → 108

Calls

4 calls:

616.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (pow.f64 (.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h))))) 2))))
31.0ms	(pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)
14.0ms	(-.f64 (neg.f64 g) (pow.f64 (.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h))))) 2))
11.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite78.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

327×	`log1p-udef_binary64`
229×	`prod-diff_binary64`
214×	`log1p-expm1-u_binary64`
214×	`expm1-log1p-u_binary64`
212×	`add-sqr-sqrt_binary64`

Counts

4 → 128

Calls

4 calls:

73.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (pow.f64 (.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h))))) 2))))
73.0ms	(-.f64 (neg.f64 g) (pow.f64 (.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h))))) 2))
73.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
73.0ms	(pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	107
1	473	63
2	4083	63
3	4878	63

prune1.3s (9.3%)

Pruning

26 alts after pruning (24 fresh and 2 done)

	Pruned	Kept	Total
New	285	2	287
Fresh	0	22	22
Picked	0	1	1
Done	0	1	1
Total	285	26	311

Error

32.2b

Counts

311 → 26

Alt Table

Status	Error	Program
	55.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (exp.f64 (log.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h))))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h))) 3))))))
	62.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 (fma.f64 (pow.f64 (cbrt.f64 g) 2) (cbrt.f64 g) (neg.f64 (.f64 (sqrt.f64 (-.f64 g h)) (sqrt.f64 (+.f64 g h))))) (fma.f64 (neg.f64 (sqrt.f64 (-.f64 g h))) (sqrt.f64 (+.f64 g h)) (.f64 (sqrt.f64 (-.f64 g h)) (sqrt.f64 (+.f64 g h))))))))
	53.1b	(+.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 (hypot.f64 g (sqrt.f64 (neg.f64 (*.f64 h h)))))))))
	44.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) (sqrt.f64 (pow.f64 (exp.f64 (log.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) 3))))))
	50.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 (sqrt.f64 (-.f64 (pow.f64 g 2) (pow.f64 h 2))) g)) (log.f64 (/.f64 -1 a)))))))
	49.5b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (.f64 (-.f64 (pow.f64 g 4) (pow.f64 h 4)) (/.f64 1 (fma.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)))))))
	47.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) (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 3/2))))))
	50.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 (sqrt.f64 (-.f64 (pow.f64 g 2) (pow.f64 h 2))) g)) (log.f64 a))))))
	62.7b	(+.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 (cbrt.f64 g) (pow.f64 (cbrt.f64 g) 2) (neg.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (*.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)))))))
	42.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (cbrt.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)))))))
	51.1b	(+.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)))))
	43.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)))))))
	50.6b	(+.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)))))))
	43.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 (.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)) (cbrt.f64 (.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/6) (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) 2)))))
	62.7b	(+.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 (.f64 (cbrt.f64 (neg.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h)))))) (cbrt.f64 (neg.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h))))))) (cbrt.f64 (neg.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (.f64 h h)))))) g))))
	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)) (-.f64 (neg.f64 g) (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) 3)))))
	50.3b	(+.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 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	45.3b	(+.f64 (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)))))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	45.2b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (.f64 (.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))) (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (pow.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4) 2)))))
	56.3b	(+.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) (pow.f64 (/.f64 (.f64 2 g) a) 1/3)))
	44.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) (.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) (pow.f64 (-.f64 (.f64 g g) (*.f64 h h)) 1/6))))))
	53.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) (exp.f64 (log.f64 (hypot.f64 g (sqrt.f64 (neg.f64 (*.f64 h h))))))))))
	56.4b	(+.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)))))))
✓	42.7b	(+.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 (.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 g g) (.f64 h h)) 1/4)) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h))))) 2)))))
✓	41.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) (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))))))

Compiler

Compiled 18020 to 9339 computations (48.2% saved)

regimes2.5s (17.4%)

Accuracy

Total 3.6b remaining (10.1%)

Threshold costs 0b (0%)

Counts

157 → 2

Compiler

Compiled 60724 to 39362 computations (35.2% saved)

bsearch11.0ms (0.1%)

Compiler: Compiled 40 to 23 computations (42.5% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

19×	`+-commutative_binary64`
16×	`*-commutative_binary64`
14×	`sub-neg_binary64`
10×	`neg-sub0_binary64`
10×	`neg-mul-1_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	45	184
1	72	180
2	92	180
3	110	180
4	120	176
5	127	176
6	130	176
7	131	176
8	129	176

end589.0ms (4.1%)

Compiler: Compiled 1469 to 925 computations (37% saved)

Iter	Nodes	Cost
0	45	184
1	72	180
2	92	180
3	110	180
4	120	176
5	127	176
6	130	176
7	131	176
8	129	176

Iter	Nodes	Cost
0	45	184
1	72	180
2	92	180
3	110	180
4	120	176
5	127	176
6	130	176
7	131	176
8	129	176

Details

analyze672.0ms (4.7%)

sample3.0s (21.3%)

prune2.0ms (0%)

localize17.0ms (0.1%)

series1.2s (8.4%)

rewrite85.0ms (0.6%)

prune944.0ms (6.6%)

localize21.0ms (0.1%)

series679.0ms (4.8%)

rewrite82.0ms (0.6%)

prune833.0ms (5.8%)

localize22.0ms (0.2%)

series66.0ms (0.5%)

rewrite80.0ms (0.6%)

prune1.3s (9.3%)

localize27.0ms (0.2%)

series672.0ms (4.7%)

rewrite78.0ms (0.5%)

prune1.3s (9.3%)

regimes2.5s (17.4%)

bsearch11.0ms (0.1%)

simplify8.0ms (0.1%)

end589.0ms (4.1%)

Profiling

Iter	Nodes	Cost
0	45	184
1	72	180
2	92	180
3	110	180
4	120	176
5	127	176
6	130	176
7	131	176
8	129	176