Details

analyze1.3s (6.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	74.7%	25.3%	8
0%	74.7%	25.3%	9
0%	65.4%	34.6%	10
0%	51.4%	48.6%	11
0%	51.4%	48.6%	12
0%	51.4%	48.6%	13
0%	51.4%	48.6%	14

Compiler

Compiled 30 to 21 computations (30% saved)

sample4.0s (18.2%)

Symmetry

(sort z t a)

Results

2.2s	11310×	body	128	invalid
1.7s	8254×	body	128	valid
1.0ms	2×	body	512	valid

Compiler

Compiled 89 to 62 computations (30.3% saved)

simplify60.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1877×	`associate-+l+_binary64`
859×	`associate-+r+_binary64`
762×	`+-commutative_binary64`
750×	`fma-def_binary64`
5×	`*-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	30
1	41	26
2	113	26
3	493	26
4	1588	26
5	2153	26
6	2259	26
7	2259	26
8	2259	26
9	2259	26
10	4029	26
11	4281	26
12	4281	26
13	4506	26
14	4506	26
15	4705	26

Stop Event

1×

saturated

Counts

1 → 2

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.1b	(+.f64 z (+.f64 t (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))

Compiler

Compiled 99 to 61 computations (38.4% saved)

localize16.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))
✓	0.1b	(fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))
✓	0.1b	(fma.f64 (+.f64 b -1/2) (log.f64 c) a)

series737.0ms (3.4%)

Counts

3 → 168

Calls

3 calls:

469.0ms	(fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))
157.0ms	(fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))
109.0ms	(fma.f64 (+.f64 b -1/2) (log.f64 c) a)

rewrite51.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

264×	`prod-diff_binary64`
261×	`expm1-udef_binary64`
261×	`log1p-udef_binary64`
186×	`fma-def_binary64`
146×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	44
1	283	44
2	3424	44

Stop Event

1×	node limit

Counts

3 → 71

Calls

3 calls:

49.0ms	(fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))
49.0ms	(fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))
49.0ms	(fma.f64 (+.f64 b -1/2) (log.f64 c) a)

simplify86.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

723×	`sub-neg_binary64`
398×	`fma-neg_binary64`
327×	`associate--r+_binary64`
307×	`associate--l+_binary64`
303×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	91	3345
1	293	2748
2	756	2556
3	2404	2458
4	4314	2458

Stop Event

1×	node limit

Counts

239 → 107

prune104.0ms (0.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	104	3	107
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	104	4	108

Error

0.1b

Counts

108 → 4

Alt Table

Status	Error	Program
	51.8b	(+.f64 z (+.f64 t (cbrt.f64 (pow.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))) 3))))
	21.0b	(+.f64 z (+.f64 t (pow.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 2)))
▶	0.9b	(+.f64 z (+.f64 t (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 3)))
✓	0.1b	(+.f64 z (+.f64 t (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))

Compiler

Compiled 2668 to 1247 computations (53.3% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))
	0.1b	(fma.f64 (+.f64 b -1/2) (log.f64 c) a)
✓	0.5b	(cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))
✓	0.7b	(pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 3)

series849.0ms (3.9%)

Counts

2 → 64

Calls

2 calls:

537.0ms	(pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 3)
312.0ms	(cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))

rewrite52.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

290×	`expm1-udef_binary64`
290×	`log1p-udef_binary64`
264×	`prod-diff_binary64`
163×	`add-sqr-sqrt_binary64`
154×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	42
1	343	42
2	3902	42

Stop Event

1×	node limit

Counts

2 → 50

Calls

2 calls:

51.0ms	(cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))
51.0ms	(pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 3)

simplify96.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

544×	`associate-r_binary64`
382×	`fma-def_binary64`
361×	`associate-l_binary64`
204×	`associate-+r+_binary64`
185×	`sqr-pow_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	455	9600
1	1626	8535

Stop Event

1×	node limit

Counts

114 → 132

prune253.0ms (1.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	206	2	208
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	206	6	212

Error

0.0b

Counts

212 → 6

Alt Table

Status	Error	Program
	21.0b	(+.f64 z (+.f64 t (pow.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 2)))
	1.5b	(+.f64 z (+.f64 t (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) 2) 3) (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))))
✓	0.9b	(+.f64 z (+.f64 t (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 3)))
▶	1.1b	(+.f64 z (+.f64 t (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) 2) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 2)))))
	51.8b	(+.f64 z (+.f64 t (cbrt.f64 (pow.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))) 3))))
✓	0.1b	(+.f64 z (+.f64 t (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))

Compiler

Compiled 13108 to 6045 computations (53.9% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) 2)
✓	0.5b	(pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 2)
✓	0.5b	(cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))
	0.5b	(cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))

series5.2s (23.9%)

Counts

3 → 176

Calls

3 calls:

2.8s

(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) 2)

2.0s

(cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))

376.0ms

(pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 2)

rewrite62.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

319×	`log1p-udef_binary64`
264×	`prod-diff_binary64`
183×	`add-sqr-sqrt_binary64`
174×	`log1p-expm1-u_binary64`
174×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	76
1	382	76
2	4368	76

Stop Event

1×	node limit

Counts

3 → 62

Calls

3 calls:

60.0ms

(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) 2)

60.0ms

(pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 2)

60.0ms

(cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))

simplify421.0ms (1.9%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5218	446676653545

Stop Event

1×	node limit

Counts

238 → 208

prune1.6s (7.5%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	481	2	483
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	481	8	489

Error

0.0b

Counts

489 → 8

Alt Table

Status	Error	Program
	51.8b	(+.f64 z (+.f64 t (cbrt.f64 (pow.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))) 3))))
▶	1.3b	(+.f64 z (+.f64 t (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) 2) (.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))) 2) (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))))) (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 2)))))
	21.0b	(+.f64 z (+.f64 t (pow.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 2)))
	1.5b	(+.f64 z (+.f64 t (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) 2) 3) (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))))
✓	0.9b	(+.f64 z (+.f64 t (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 3)))
✓	1.1b	(+.f64 z (+.f64 t (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) 2) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 2)))))
	42.7b	(+.f64 z (+.f64 t (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) 2) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) (cbrt.f64 (pow.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))) 2))))))
✓	0.1b	(+.f64 z (+.f64 t (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))

Compiler

Compiled 94295 to 56076 computations (40.5% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 2)
	0.5b	(cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))
	0.5b	(cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))
✓	0.6b	(pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))) 2)

series2.7s (12.3%)

Counts

1 → 72

Calls

1 calls:

2.7s	(pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))) 2)

rewrite55.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

323×	`log1p-udef_binary64`
264×	`prod-diff_binary64`
184×	`add-sqr-sqrt_binary64`
172×	`add-cbrt-cube_binary64`
171×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	29
1	378	29
2	4348	29

Stop Event

1×	node limit

Counts

1 → 18

Calls

1 calls:

54.0ms

(pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))) 2)

simplify212.0ms (1%)

Algorithm

1×	egg-herbie

Rules

596×	`fma-def_binary64`
425×	`associate-/l*_binary64`
371×	`times-frac_binary64`
74×	`sqr-pow_binary64`
56×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2622	34143

Stop Event

1×	node limit

Counts

90 → 142

prune2.8s (13%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	693	1	694
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	693	9	702

Error

0.0b

Counts

702 → 9

Alt Table

Status	Error	Program
	51.8b	(+.f64 z (+.f64 t (cbrt.f64 (pow.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))) 3))))
✓	1.3b	(+.f64 z (+.f64 t (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) 2) (.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))) 2) (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))))) (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 2)))))
	21.0b	(+.f64 z (+.f64 t (pow.f64 (sqrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 2)))
	1.5b	(+.f64 z (+.f64 t (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) 2) 3) (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))))
✓	0.9b	(+.f64 z (+.f64 t (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 3)))
✓	1.1b	(+.f64 z (+.f64 t (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) 2) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 2)))))
	42.7b	(+.f64 z (+.f64 t (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) 2) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) (cbrt.f64 (pow.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))) 2))))))
	1.5b	(+.f64 z (+.f64 t (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))) 2) (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))) 2) (cbrt.f64 (cbrt.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a))))))))) (pow.f64 (cbrt.f64 (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))) 2)))))
✓	0.1b	(+.f64 z (+.f64 t (fma.f64 x (log.f64 y) (fma.f64 y i (fma.f64 (+.f64 b -1/2) (log.f64 c) a)))))

Compiler

Compiled 160807 to 93884 computations (41.6% saved)

regimes748.0ms (3.4%)

Accuracy

Total 0.0b remaining (48.1%)

Threshold costs 0.0b (48.1%)

Counts

47 → 1

Compiler

Compiled 19471 to 12829 computations (34.1% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	26
1	21	26

Stop Event

1×

saturated

end289.0ms (1.3%)

Remove: (sort z t a)
Compiler: Compiled 588 to 363 computations (38.3% saved)

Details

analyze1.3s (6.2%)

sample4.0s (18.2%)

simplify60.0ms (0.3%)

prune4.0ms (0%)

localize16.0ms (0.1%)

series737.0ms (3.4%)

rewrite51.0ms (0.2%)

simplify86.0ms (0.4%)

prune104.0ms (0.5%)

localize20.0ms (0.1%)

series849.0ms (3.9%)

rewrite52.0ms (0.2%)

simplify96.0ms (0.4%)

prune253.0ms (1.2%)

localize22.0ms (0.1%)

series5.2s (23.9%)

rewrite62.0ms (0.3%)

simplify421.0ms (1.9%)

prune1.6s (7.5%)

localize26.0ms (0.1%)

series2.7s (12.3%)

rewrite55.0ms (0.3%)

simplify212.0ms (1%)

prune2.8s (13%)

regimes748.0ms (3.4%)

simplify2.0ms (0%)

end289.0ms (1.3%)

Profiling