Details

analyze114.0ms (1.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0.1%	99.9%	0
0%	0.1%	99.9%	1
0%	0.1%	99.9%	2
0.1%	0.1%	99.9%	3
0.1%	0.1%	99.9%	4
0.1%	0%	99.9%	5
0.1%	0%	99.9%	6
0.1%	0%	99.9%	7
0.1%	0%	99.9%	8
0.1%	0%	99.9%	9
0.1%	0%	99.9%	10
0.1%	0%	99.9%	11
0.1%	0%	99.9%	12
0.1%	0%	99.9%	13
0.1%	0%	99.9%	14

Compiler

Compiled 31 to 25 computations (19.4% saved)

sample1.9s (25%)

Results

1.7s

8256×

body

128

valid

Compiler

Compiled 78 to 64 computations (17.9% saved)

simplify57.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

782×	`fma-def_binary32`
494×	`fma-neg_binary32`
126×	`cancel-sign-sub-inv_binary32`
102×	`distribute-rgt-in_binary32`
87×	`sub-neg_binary32`

Counts

1 → 2

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	14	20
1	33	19
2	60	17
3	127	15
4	193	15
5	275	15
6	358	13
7	460	13
8	618	13
9	781	13
10	829	13
11	992	13
12	1022	13
13	1256	13
14	1289	13
15	1290	13
16	1290	13
17	1164	13

prune5.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.8b

Counts

3 → 2

Alt Table

Status	Error	Program
	1.4b	(.f32 (.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))))
▶	1.1b	(.f32 s (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))

Compiler

Compiled 79 to 67 computations (15.2% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3)
✓	0.2b	(.f32 s (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))
✓	0.3b	(fma.f32 u -4/3 4/3)
✓	0.9b	(log.f32 (fma.f32 u -4/3 4/3))

series368.0ms (5%)

Counts

4 → 60

Calls

4 calls:

360.0ms	(.f32 s (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))
3.0ms	(*.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3)
3.0ms	(log.f32 (fma.f32 u -4/3 4/3))
2.0ms	(fma.f32 u -4/3 4/3)

rewrite13.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`pow1_binary32`
12×	`add-exp-log_binary32`
11×	`add-cbrt-cube_binary32`
10×	`add-sqr-sqrt_binary32`
8×	`*-un-lft-identity_binary32`

Counts

4 → 65

Calls

4 calls:

6.0ms	(.f32 s (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))
3.0ms	(*.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3)
1.0ms	(log.f32 (fma.f32 u -4/3 4/3))
0.0ms	(fma.f32 u -4/3 4/3)

simplify87.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

802×	`fma-def_binary32`
560×	`fma-neg_binary32`
512×	`associate-l_binary32`
411×	`associate-r_binary32`
321×	`associate-+l+_binary32`

Counts

125 → 161

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	205	2011
1	559	1743
2	1603	1706
3	4624	1706
4	5083	1706

prune143.0ms (1.9%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	145	16	161
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	146	17	163

Error

0.4b

Counts

163 → 17

Alt Table

Status	Error	Program
	1.4b	(.f32 s (.f32 (.f32 (cbrt.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3)) (cbrt.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))) (cbrt.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))))
	1.4b	(.f32 s (.f32 (+.f32 (log.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) (log.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)))) -3))
	1.2b	(*.f32 s (log.f32 (pow.f32 (fma.f32 u -4/3 4/3) -3)))
	1.7b	(.f32 s (.f32 (+.f32 (*.f32 2 (log.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)))) (log.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)))) -3))
	1.2b	(.f32 s (log.f32 (exp.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))))
	1.7b	(.f32 s (.f32 (+.f32 (log.f32 (*.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)) (cbrt.f32 (fma.f32 u -4/3 4/3)))) (log.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)))) -3))
	1.2b	(.f32 s (expm1.f32 (log1p.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))))
	1.5b	(.f32 s (.f32 (log.f32 (*.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3)))) -3))
▶	1.1b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (.f32 -3 -3) -3))))
	1.4b	(.f32 (.f32 (cbrt.f32 (.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3))))) (cbrt.f32 (.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3)))))) (cbrt.f32 (.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3))))))
	1.4b	(.f32 s (.f32 (.f32 (.f32 (cbrt.f32 (log.f32 (fma.f32 u -4/3 4/3))) (cbrt.f32 (log.f32 (fma.f32 u -4/3 4/3)))) (cbrt.f32 (log.f32 (fma.f32 u -4/3 4/3)))) -3))
	3.1b	(exp.f32 (log.f32 (.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3))))))
	1.1b	(.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3))))
	1.4b	(.f32 (.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))))
	1.3b	(.f32 (.f32 (cbrt.f32 s) (cbrt.f32 s)) (.f32 (cbrt.f32 s) (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3)))
	1.6b	(.f32 s (.f32 (log.f32 (log.f32 (exp.f32 (fma.f32 u -4/3 4/3)))) -3))
	1.2b	(.f32 (sqrt.f32 (.f32 s (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))) (sqrt.f32 (.f32 s (*.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))))

Compiler

Compiled 3226 to 2555 computations (20.8% saved)

localize49.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (*.f32 -3 -3) -3))
	0.3b	(fma.f32 u -4/3 4/3)
✓	0.5b	(*.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3)))
	0.9b	(log.f32 (fma.f32 u -4/3 4/3))

series33.0ms (0.4%)

Counts

2 → 24

Calls

2 calls:

26.0ms

(*.f32 (*.f32 (*.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3))) (log.f32 (fma.f32 u -4/3 4/3))) (*.f32 (*.f32 -3 -3) -3))

7.0ms

(*.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3)))

rewrite37.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

139×	`pow1_binary32`
53×	`pow-prod-down_binary32`
41×	`pow-plus_binary32`
41×	`pow-prod-up_binary32`
40×	`add-cbrt-cube_binary32`

Counts

2 → 102

Calls

2 calls:

16.0ms

(*.f32 (*.f32 (*.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3))) (log.f32 (fma.f32 u -4/3 4/3))) (*.f32 (*.f32 -3 -3) -3))

6.0ms

(*.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3)))

simplify111.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

466×	`times-frac_binary32`
437×	`fma-def_binary32`
369×	`associate-+r+_binary32`
300×	`+-commutative_binary32`
265×	`associate-+l+_binary32`

Counts

126 → 129

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	352	4672
1	1084	3376
2	4203	3292
3	5059	3292

prune414.0ms (5.6%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	282	6	288
Fresh	3	13	16
Picked	1	0	1
Done	0	0	0
Total	286	19	305

Error

0.2b

Counts

305 → 19

Alt Table

Status	Error	Program
	1.4b	(.f32 s (.f32 (.f32 (cbrt.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3)) (cbrt.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))) (cbrt.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))))
	1.4b	(.f32 s (.f32 (+.f32 (log.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) (log.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)))) -3))
	1.2b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3))) (log.f32 (.f32 (.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)) (cbrt.f32 (fma.f32 u -4/3 4/3))) (cbrt.f32 (fma.f32 u -4/3 4/3))))) (.f32 (.f32 -3 -3) -3))))
	3.1b	(exp.f32 (log.f32 (.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3))))))
	1.1b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3))) (log.f32 (expm1.f32 (log1p.f32 (fma.f32 u -4/3 4/3))))) (.f32 (.f32 -3 -3) -3))))
▶	1.1b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3))))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (*.f32 -3 -3) -3))))
	1.2b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (+.f32 (log.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) (log.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (.f32 -3 -3) -3))))
	1.1b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3))) (log.f32 (log1p.f32 (expm1.f32 (fma.f32 u -4/3 4/3))))) (.f32 (.f32 -3 -3) -3))))
	1.1b	(.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3))))
	1.2b	(.f32 s (expm1.f32 (log1p.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))))
	1.5b	(.f32 s (.f32 (log.f32 (*.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3)))) -3))
	1.7b	(.f32 s (.f32 (+.f32 (*.f32 2 (log.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)))) (log.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)))) -3))
	1.7b	(.f32 s (.f32 (+.f32 (log.f32 (*.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)) (cbrt.f32 (fma.f32 u -4/3 4/3)))) (log.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)))) -3))
	2.0b	(.f32 s (cbrt.f32 (.f32 (.f32 (log.f32 (exp.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3))))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (.f32 -3 -3) -3))))
	1.4b	(.f32 (.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))))
	1.3b	(.f32 (.f32 (cbrt.f32 s) (cbrt.f32 s)) (.f32 (cbrt.f32 s) (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3)))
	1.6b	(.f32 s (.f32 (log.f32 (log.f32 (exp.f32 (fma.f32 u -4/3 4/3)))) -3))
	1.2b	(.f32 (sqrt.f32 (.f32 s (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))) (sqrt.f32 (.f32 s (*.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))))
	1.4b	(.f32 (.f32 (cbrt.f32 (.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3))))) (cbrt.f32 (.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3)))))) (cbrt.f32 (.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3))))))

Compiler

Compiled 11740 to 9809 computations (16.4% saved)

localize63.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(*.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3)))
✓	0.5b	(.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3)))))
✓	0.9b	(log.f32 (*.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3))))
	0.9b	(log.f32 (fma.f32 u -4/3 4/3))

series11.0ms (0.2%)

Counts

3 → 36

Calls

3 calls:

6.0ms

(*.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (*.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3)))))

3.0ms

(log.f32 (*.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3))))

2.0ms

(*.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3)))

rewrite26.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

53×	`pow1_binary32`
31×	`add-sqr-sqrt_binary32`
29×	`log-pow_binary32`
24×	`sqrt-pow1_binary32`
24×	`pow1/2_binary32`

Counts

3 → 116

Calls

3 calls:

8.0ms

(*.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (*.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3)))))

5.0ms

(log.f32 (*.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3))))

5.0ms

(*.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3)))

simplify140.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

647×	`fma-def_binary32`
376×	`cancel-sign-sub-inv_binary32`
291×	`fma-neg_binary32`
275×	`distribute-rgt-in_binary32`
258×	`sub-neg_binary32`

Counts

152 → 186

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	215	2392
1	562	2111
2	1986	1993
3	4611	1982
4	4990	1982
5	4999	1982
6	4958	1982

prune830.0ms (11.2%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	254	6	260
Fresh	4	14	18
Picked	1	0	1
Done	0	0	0
Total	259	20	279

Error

0.1b

Counts

279 → 20

Alt Table

Status	Error	Program
	1.5b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (.f32 (pow.f32 (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) 4) (.f32 (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))))))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (.f32 -3 -3) -3))))
	1.4b	(.f32 s (.f32 (.f32 (cbrt.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3)) (cbrt.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))) (cbrt.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))))
	1.4b	(.f32 s (.f32 (+.f32 (log.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) (log.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)))) -3))
	1.5b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (.f32 (.f32 (.f32 (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)))) (.f32 (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))))) (.f32 (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))))))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (*.f32 -3 -3) -3))))
	1.7b	(.f32 s (.f32 (+.f32 (*.f32 2 (log.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)))) (log.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)))) -3))
	1.2b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3))) (log.f32 (.f32 (.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)) (cbrt.f32 (fma.f32 u -4/3 4/3))) (cbrt.f32 (fma.f32 u -4/3 4/3))))) (.f32 (.f32 -3 -3) -3))))
	3.1b	(exp.f32 (log.f32 (.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3))))))
	1.1b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3))) (log.f32 (log1p.f32 (expm1.f32 (fma.f32 u -4/3 4/3))))) (.f32 (.f32 -3 -3) -3))))
	1.1b	(.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3))))
	1.2b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (+.f32 (log.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) (log.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)))) (log.f32 (.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3))))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (*.f32 -3 -3) -3))))
	2.0b	(.f32 s (cbrt.f32 (.f32 (.f32 (log.f32 (exp.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3))))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (.f32 -3 -3) -3))))
	1.2b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (.f32 (sqrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) (pow.f32 (sqrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) 3)))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (*.f32 -3 -3) -3))))
▶	1.1b	(.f32 s (cbrt.f32 (.f32 (.f32 (exp.f32 (log.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3))))))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (*.f32 -3 -3) -3))))
	1.2b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (.f32 (.f32 (sqrt.f32 (.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)) (cbrt.f32 (fma.f32 u -4/3 4/3)))) (sqrt.f32 (.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)) (cbrt.f32 (fma.f32 u -4/3 4/3))))) (.f32 (sqrt.f32 (cbrt.f32 (fma.f32 u -4/3 4/3))) (sqrt.f32 (cbrt.f32 (fma.f32 u -4/3 4/3))))))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (*.f32 -3 -3) -3))))
	1.4b	(.f32 (.f32 (cbrt.f32 (.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3))))) (cbrt.f32 (.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3)))))) (cbrt.f32 (.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3))))))
	1.1b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3))) (log.f32 (expm1.f32 (log1p.f32 (fma.f32 u -4/3 4/3))))) (.f32 (.f32 -3 -3) -3))))
	1.4b	(.f32 (.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))))
	1.5b	(.f32 s (.f32 (log.f32 (*.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3)))) -3))
	1.3b	(.f32 (.f32 (cbrt.f32 s) (cbrt.f32 s)) (.f32 (cbrt.f32 s) (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3)))
	1.2b	(.f32 (sqrt.f32 (.f32 s (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))) (sqrt.f32 (.f32 s (*.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))))

Compiler

Compiled 11321 to 9572 computations (15.4% saved)

localize75.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3)))))
✓	0.6b	(exp.f32 (log.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3)))))))
	0.9b	(log.f32 (*.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3))))
	0.9b	(log.f32 (fma.f32 u -4/3 4/3))

series7.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

7.0ms

(exp.f32 (log.f32 (*.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (*.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3)))))))

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`exp-prod_binary32`
4×	`pow1_binary32`
2×	`*-un-lft-identity_binary32`
2×	`add-sqr-sqrt_binary32`
2×	`add-cube-cbrt_binary32`

Counts

1 → 16

Calls

1 calls:

6.0ms

(exp.f32 (log.f32 (*.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (*.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3)))))))

simplify60.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

849×	`fma-neg_binary32`
578×	`associate--l+_binary32`
483×	`fma-def_binary32`
370×	`associate--r+_binary32`
303×	`cancel-sign-sub-inv_binary32`

Counts

28 → 47

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	133	959
1	377	840
2	1331	782
3	4611	782
4	5375	782

prune440.0ms (5.9%)

Pruning

20 alts after pruning (19 fresh and 1 done)

	Pruned	Kept	Total
New	243	0	243
Fresh	0	19	19
Picked	0	1	1
Done	0	0	0
Total	243	20	263

Error

0.1b

Counts

263 → 20

Alt Table

Status	Error	Program
	1.5b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (.f32 (pow.f32 (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) 4) (.f32 (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))))))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (.f32 -3 -3) -3))))
	1.4b	(.f32 s (.f32 (.f32 (cbrt.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3)) (cbrt.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))) (cbrt.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))))
	1.4b	(.f32 s (.f32 (+.f32 (log.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) (log.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)))) -3))
	1.5b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (.f32 (.f32 (.f32 (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)))) (.f32 (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))))) (.f32 (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) (cbrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))))))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (*.f32 -3 -3) -3))))
	1.7b	(.f32 s (.f32 (+.f32 (*.f32 2 (log.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)))) (log.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)))) -3))
	1.2b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3))) (log.f32 (.f32 (.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)) (cbrt.f32 (fma.f32 u -4/3 4/3))) (cbrt.f32 (fma.f32 u -4/3 4/3))))) (.f32 (.f32 -3 -3) -3))))
	3.1b	(exp.f32 (log.f32 (.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3))))))
	1.1b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3))) (log.f32 (log1p.f32 (expm1.f32 (fma.f32 u -4/3 4/3))))) (.f32 (.f32 -3 -3) -3))))
	1.1b	(.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3))))
	1.2b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (+.f32 (log.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) (log.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)))) (log.f32 (.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3))))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (*.f32 -3 -3) -3))))
	2.0b	(.f32 s (cbrt.f32 (.f32 (.f32 (log.f32 (exp.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3))))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (.f32 -3 -3) -3))))
	1.2b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (.f32 (sqrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) (pow.f32 (sqrt.f32 (sqrt.f32 (fma.f32 u -4/3 4/3))) 3)))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (*.f32 -3 -3) -3))))
✓	1.1b	(.f32 s (cbrt.f32 (.f32 (.f32 (exp.f32 (log.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3))))))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (*.f32 -3 -3) -3))))
	1.2b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (.f32 (.f32 (sqrt.f32 (.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)) (cbrt.f32 (fma.f32 u -4/3 4/3)))) (sqrt.f32 (.f32 (cbrt.f32 (fma.f32 u -4/3 4/3)) (cbrt.f32 (fma.f32 u -4/3 4/3))))) (.f32 (sqrt.f32 (cbrt.f32 (fma.f32 u -4/3 4/3))) (sqrt.f32 (cbrt.f32 (fma.f32 u -4/3 4/3))))))) (log.f32 (fma.f32 u -4/3 4/3))) (.f32 (*.f32 -3 -3) -3))))
	1.4b	(.f32 (.f32 (cbrt.f32 (.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3))))) (cbrt.f32 (.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3)))))) (cbrt.f32 (.f32 -3 (.f32 s (log.f32 (fma.f32 u -4/3 4/3))))))
	1.1b	(.f32 s (cbrt.f32 (.f32 (.f32 (.f32 (log.f32 (fma.f32 u -4/3 4/3)) (log.f32 (fma.f32 u -4/3 4/3))) (log.f32 (expm1.f32 (log1p.f32 (fma.f32 u -4/3 4/3))))) (.f32 (.f32 -3 -3) -3))))
	1.4b	(.f32 (.f32 3 s) (log.f32 (/.f32 1 (-.f32 1 (/.f32 (-.f32 u 1/4) 3/4)))))
	1.5b	(.f32 s (.f32 (log.f32 (*.f32 (sqrt.f32 (fma.f32 u -4/3 4/3)) (sqrt.f32 (fma.f32 u -4/3 4/3)))) -3))
	1.3b	(.f32 (.f32 (cbrt.f32 s) (cbrt.f32 s)) (.f32 (cbrt.f32 s) (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3)))
	1.2b	(.f32 (sqrt.f32 (.f32 s (.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))) (sqrt.f32 (.f32 s (*.f32 (log.f32 (fma.f32 u -4/3 4/3)) -3))))

Compiler

Compiled 10934 to 9250 computations (15.4% saved)

regimes2.0s (26.9%)

Accuracy

Total 0.9b remaining (83%)

Threshold costs 0.9b (83%)

Counts

145 → 1

Compiler

Compiled 36529 to 31460 computations (13.9% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	48
1	26	48
2	24	48

end444.0ms (6%)

Compiler: Compiled 693 to 590 computations (14.9% saved)

Details

analyze114.0ms (1.5%)

sample1.9s (25%)

simplify57.0ms (0.8%)

prune5.0ms (0.1%)

localize23.0ms (0.3%)

series368.0ms (5%)

rewrite13.0ms (0.2%)

simplify87.0ms (1.2%)

prune143.0ms (1.9%)

localize49.0ms (0.7%)

series33.0ms (0.4%)

rewrite37.0ms (0.5%)

simplify111.0ms (1.5%)

prune414.0ms (5.6%)

localize63.0ms (0.8%)

series11.0ms (0.2%)

rewrite26.0ms (0.4%)

simplify140.0ms (1.9%)

prune830.0ms (11.2%)

localize75.0ms (1%)

series7.0ms (0.1%)

rewrite8.0ms (0.1%)

simplify60.0ms (0.8%)

prune440.0ms (5.9%)

regimes2.0s (26.9%)

simplify3.0ms (0%)

end444.0ms (6%)

Profiling