Details

analyze270.0ms (2.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	1.6%	98.4%	0
0%	1.6%	98.4%	1
0%	1.6%	98.4%	2
0.4%	1.2%	98.4%	3
0.6%	1%	98.4%	4
0.9%	0.7%	98.4%	5
1%	0.5%	98.4%	6
1.2%	0.4%	98.4%	7
1.3%	0.3%	98.4%	8
1.4%	0.2%	98.4%	9
1.4%	0.1%	98.4%	10
1.5%	0.1%	98.4%	11
1.5%	0.1%	98.4%	12
1.5%	0%	98.4%	13
1.5%	0%	98.4%	14

Compiler

Compiled 54 to 41 computations (24.1% saved)

sample2.1s (18%)

Results

2.1s

8256×

body

128

valid

Compiler

Compiled 108 to 82 computations (24.1% saved)

preprocess47.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

1040×	`fma-def_binary32`
652×	`fma-neg_binary32`
201×	`associate-l_binary32`
197×	`associate-/l*_binary32`
173×	`distribute-rgt-in_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	118
1	72	118
2	132	118
3	240	102
4	396	96
5	761	92
6	1460	92
7	2661	92
8	4670	92
0	2	2

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 39 to 30 computations (23.1% saved)

simplify35.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

745×	`fma-def_binary32`
441×	`fma-neg_binary32`
420×	`times-frac_binary32`
347×	`associate-l_binary32`
269×	`associate-r_binary32`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	22	59
1	42	59
2	73	59
3	133	51
4	213	48
5	367	46
6	652	46
7	1115	46
8	2001	46
9	4254	46

Stop Event

1×	node limit

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.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.4b	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 -1 (-.f32 (/.f32 (+.f32 u -1) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))) -1)))

Compiler

Compiled 127 to 93 computations (26.8% saved)

localize71.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(exp.f32 (/.f32 (PI.f32) s))
✓	0.3b	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 -1 (-.f32 (/.f32 (+.f32 u -1) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))) -1)))
✓	0.4b	(/.f32 (PI.f32) s)
✓	0.4b	(/.f32 (neg.f32 (PI.f32)) s)

series938.0ms (7.9%)

Counts

4 → 44

Calls

15 calls:

642.0ms	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 -1 (-.f32 (/.f32 (+.f32 u -1) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))) -1)))	s	0
100.0ms	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 -1 (-.f32 (/.f32 (+.f32 u -1) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))) -1)))	u	0
88.0ms	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 -1 (-.f32 (/.f32 (+.f32 u -1) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))) -1)))	s	inf
78.0ms	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 -1 (-.f32 (/.f32 (+.f32 u -1) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))) -1)))	s	-inf
10.0ms	(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 -1 (-.f32 (/.f32 (+.f32 u -1) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))) -1)))	u	inf

rewrite38.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

252×	`add-sqr-sqrt_binary32`
239×	`log1p-expm1-u_binary32`
239×	`expm1-log1p-u_binary32`
238×	`add-cbrt-cube_binary32`
234×	`add-log-exp_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	65
1	500	65

Stop Event

1×	node limit

Counts

4 → 76

simplify68.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

668×	`times-frac_binary32`
443×	`associate-/r*_binary32`
423×	`associate-/l*_binary32`
279×	`fma-def_binary32`
221×	`associate-l_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	388	5142
1	1424	5028

Stop Event

1×	node limit

Counts

120 → 118

prune196.0ms (1.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	112	6	118
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	113	6	119

Error

0.2b

Counts

119 → 6

Alt Table

Status	Error	Program
	1.2b	(expm1.f32 (log1p.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))))))
	18.1b	(cbrt.f32 (*.f32 (pow.f32 (neg.f32 s) 3) (pow.f32 (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))) 3)))
	17.5b	(cbrt.f32 (pow.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s))))))))) 3))
	23.2b	(log.f32 (+.f32 1 (-.f32 (pow.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s))))))) (neg.f32 s)) 1)))
▶	0.8b	(pow.f32 (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))))) 3)
	2.9b	(.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 -1 (-.f32 (/.f32 (+.f32 u -1) (+.f32 1 (+.f32 (/.f32 (PI.f32) s) (fma.f32 1/2 (/.f32 (pow.f32 (PI.f32) 2) (.f32 s s)) 1)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))) -1)))

Compiler

Compiled 8315 to 4811 computations (42.1% saved)

localize78.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))))
	0.4b	(/.f32 (PI.f32) s)
	0.4b	(/.f32 (neg.f32 (PI.f32)) s)
✓	0.7b	(pow.f32 (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))))) 3)

series6.4s (54.5%)

Counts

2 → 48

Calls

12 calls:

3.4s	(pow.f32 (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))))) 3)	u	0
939.0ms	(pow.f32 (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))))) 3)	s	0
703.0ms	(*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))))	s	0
634.0ms	(pow.f32 (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))))) 3)	s	inf
281.0ms	(pow.f32 (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))))) 3)	s	-inf

rewrite38.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

259×	`log1p-expm1-u_binary32`
259×	`expm1-log1p-u_binary32`
257×	`add-cbrt-cube_binary32`
252×	`add-log-exp_binary32`
249×	`add-exp-log_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	92
1	561	92

Stop Event

1×	node limit

Counts

2 → 35

simplify191.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

372×	`*-commutative_binary32`
327×	`+-commutative_binary32`
297×	`associate-+r+_binary32`
239×	`fma-def_binary32`
181×	`distribute-rgt-in_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1030	15620
1	4152	15517

Stop Event

1×	node limit

Counts

83 → 70

prune310.0ms (2.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	114	2	116
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	114	8	122

Error

0.2b

Counts

122 → 8

Alt Table

Status	Error	Program
▶	1.2b	(expm1.f32 (log1p.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))))))
	23.2b	(*.f32 (cbrt.f32 (log.f32 (pow.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s))))))) (neg.f32 s)))) (pow.f32 (cbrt.f32 (log.f32 (pow.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s))))))) (neg.f32 s)))) 2))
	23.2b	(log.f32 (+.f32 1 (-.f32 (pow.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s))))))) (neg.f32 s)) 1)))
	4.2b	(.f32 -1 (pow.f32 (exp.f32 (.f32 1/3 (+.f32 (log.f32 (log.f32 (neg.f32 (+.f32 1 (/.f32 1 (-.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (+.f32 (/.f32 u (+.f32 (exp.f32 (*.f32 -1 (/.f32 (PI.f32) s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (PI.f32) s))))))))))) (log.f32 s)))) 3))
	18.1b	(cbrt.f32 (*.f32 (pow.f32 (neg.f32 s) 3) (pow.f32 (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))) 3)))
	17.5b	(cbrt.f32 (pow.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s))))))))) 3))
✓	0.8b	(pow.f32 (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))))) 3)
	2.9b	(.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 -1 (-.f32 (/.f32 (+.f32 u -1) (+.f32 1 (+.f32 (/.f32 (PI.f32) s) (fma.f32 1/2 (/.f32 (pow.f32 (PI.f32) 2) (.f32 s s)) 1)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))) -1)))

Compiler

Compiled 19335 to 11244 computations (41.8% saved)

localize84.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(exp.f32 (/.f32 (PI.f32) s))
	0.3b	(*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))))
	0.4b	(/.f32 (PI.f32) s)
	0.4b	(/.f32 (neg.f32 (PI.f32)) s)

prune138.0ms (1.2%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	80	8	88

Error

0.2b

Counts

88 → 8

Alt Table

Status	Error	Program
✓	1.2b	(expm1.f32 (log1p.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))))))
	23.2b	(*.f32 (cbrt.f32 (log.f32 (pow.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s))))))) (neg.f32 s)))) (pow.f32 (cbrt.f32 (log.f32 (pow.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s))))))) (neg.f32 s)))) 2))
	23.2b	(log.f32 (+.f32 1 (-.f32 (pow.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s))))))) (neg.f32 s)) 1)))
	4.2b	(.f32 -1 (pow.f32 (exp.f32 (.f32 1/3 (+.f32 (log.f32 (log.f32 (neg.f32 (+.f32 1 (/.f32 1 (-.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (+.f32 (/.f32 u (+.f32 (exp.f32 (*.f32 -1 (/.f32 (PI.f32) s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (PI.f32) s))))))))))) (log.f32 s)))) 3))
	18.1b	(cbrt.f32 (*.f32 (pow.f32 (neg.f32 s) 3) (pow.f32 (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))) 3)))
	17.5b	(cbrt.f32 (pow.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s))))))))) 3))
✓	0.8b	(pow.f32 (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))))) 3)
▶	2.9b	(.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 -1 (-.f32 (/.f32 (+.f32 u -1) (+.f32 1 (+.f32 (/.f32 (PI.f32) s) (fma.f32 1/2 (/.f32 (pow.f32 (PI.f32) 2) (.f32 s s)) 1)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))) -1)))

Compiler

Compiled 6162 to 3571 computations (42% saved)

localize93.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(/.f32 (PI.f32) s)
	0.4b	(/.f32 (neg.f32 (PI.f32)) s)
✓	1.0b	(pow.f32 (PI.f32) 2)
✓	1.2b	(/.f32 (+.f32 u -1) (+.f32 1 (+.f32 (/.f32 (PI.f32) s) (fma.f32 1/2 (/.f32 (pow.f32 (PI.f32) 2) (*.f32 s s)) 1))))

series76.0ms (0.6%)

Counts

2 → 24

Calls

6 calls:

23.0ms	(/.f32 (+.f32 u -1) (+.f32 1 (+.f32 (/.f32 (PI.f32) s) (fma.f32 1/2 (/.f32 (pow.f32 (PI.f32) 2) (*.f32 s s)) 1))))	u	-inf
21.0ms	(/.f32 (+.f32 u -1) (+.f32 1 (+.f32 (/.f32 (PI.f32) s) (fma.f32 1/2 (/.f32 (pow.f32 (PI.f32) 2) (*.f32 s s)) 1))))	u	0
20.0ms	(/.f32 (+.f32 u -1) (+.f32 1 (+.f32 (/.f32 (PI.f32) s) (fma.f32 1/2 (/.f32 (pow.f32 (PI.f32) 2) (*.f32 s s)) 1))))	u	inf
4.0ms	(/.f32 (+.f32 u -1) (+.f32 1 (+.f32 (/.f32 (PI.f32) s) (fma.f32 1/2 (/.f32 (pow.f32 (PI.f32) 2) (*.f32 s s)) 1))))	s	0
4.0ms	(/.f32 (+.f32 u -1) (+.f32 1 (+.f32 (/.f32 (PI.f32) s) (fma.f32 1/2 (/.f32 (pow.f32 (PI.f32) 2) (*.f32 s s)) 1))))	s	inf

rewrite39.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

185×	`add-sqr-sqrt_binary32`
180×	`log1p-expm1-u_binary32`
180×	`expm1-log1p-u_binary32`
178×	`add-cbrt-cube_binary32`
173×	`add-log-exp_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	36
1	382	33

Stop Event

1×	node limit

Counts

2 → 52

simplify36.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

757×	`times-frac_binary32`
450×	`associate-/l*_binary32`
367×	`fma-def_binary32`
325×	`associate-/r*_binary32`
245×	`associate-l_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	103	1258
1	314	1208
2	1205	1154

Stop Event

1×	node limit

Counts

76 → 74

prune163.0ms (1.4%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	120	8	128

Error

0.2b

Counts

128 → 8

Alt Table

Status	Error	Program
✓	1.2b	(expm1.f32 (log1p.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))))))
	23.2b	(*.f32 (cbrt.f32 (log.f32 (pow.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s))))))) (neg.f32 s)))) (pow.f32 (cbrt.f32 (log.f32 (pow.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s))))))) (neg.f32 s)))) 2))
	23.2b	(log.f32 (+.f32 1 (-.f32 (pow.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s))))))) (neg.f32 s)) 1)))
	4.2b	(.f32 -1 (pow.f32 (exp.f32 (.f32 1/3 (+.f32 (log.f32 (log.f32 (neg.f32 (+.f32 1 (/.f32 1 (-.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (+.f32 (/.f32 u (+.f32 (exp.f32 (*.f32 -1 (/.f32 (PI.f32) s))) 1)) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (PI.f32) s))))))))))) (log.f32 s)))) 3))
	18.1b	(cbrt.f32 (*.f32 (pow.f32 (neg.f32 s) 3) (pow.f32 (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))) 3)))
	17.5b	(cbrt.f32 (pow.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s))))))))) 3))
✓	0.8b	(pow.f32 (cbrt.f32 (*.f32 (neg.f32 s) (log.f32 (+.f32 -1 (/.f32 -1 (-.f32 (/.f32 (+.f32 -1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))))))) 3)
✓	2.9b	(.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 -1 (-.f32 (/.f32 (+.f32 u -1) (+.f32 1 (+.f32 (/.f32 (PI.f32) s) (fma.f32 1/2 (/.f32 (pow.f32 (PI.f32) 2) (.f32 s s)) 1)))) (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))))) -1)))

Compiler

Compiled 5691 to 3539 computations (37.8% saved)

regimes131.0ms (1.1%)

Accuracy

Total 0.1b remaining (32.3%)

Threshold costs 0.1b (32.3%)

Counts

31 → 1

Compiler

Compiled 3306 to 2636 computations (20.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

12×	`+-commutative_binary32`
8×	`*-commutative_binary32`
8×	`sub-neg_binary32`
7×	`neg-sub0_binary32`
7×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	46
1	40	46
2	58	46
3	70	46
4	76	46
5	77	46

Stop Event

1×

saturated

end195.0ms (1.7%)

Stop Event

1×

fuel

Compiler

Compiled 377 to 296 computations (21.5% saved)

Details

analyze270.0ms (2.3%)

sample2.1s (18%)

preprocess47.0ms (0.4%)

simplify35.0ms (0.3%)

prune4.0ms (0%)

localize71.0ms (0.6%)

series938.0ms (7.9%)

rewrite38.0ms (0.3%)

simplify68.0ms (0.6%)

prune196.0ms (1.7%)

localize78.0ms (0.7%)

series6.4s (54.5%)

rewrite38.0ms (0.3%)

simplify191.0ms (1.6%)

prune310.0ms (2.6%)

localize84.0ms (0.7%)

prune138.0ms (1.2%)

localize93.0ms (0.8%)

series76.0ms (0.6%)

rewrite39.0ms (0.3%)

simplify36.0ms (0.3%)

prune163.0ms (1.4%)

regimes131.0ms (1.1%)

simplify3.0ms (0%)

end195.0ms (1.7%)

Profiling