Details

analyze98.0ms (2.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	2.1%	97.9%	0
0%	2.1%	97.9%	1
1%	1%	97.9%	2
1%	1%	97.9%	3
1.5%	0.5%	97.9%	4
1.5%	0.5%	97.9%	5
1.8%	0.3%	97.9%	6
1.8%	0.3%	97.9%	7
1.9%	0.1%	97.9%	8
1.9%	0.1%	97.9%	9
2%	0.1%	97.9%	10
2%	0.1%	97.9%	11
2%	0%	97.9%	12
2%	0%	97.9%	13
2%	0%	97.9%	14

Compiler

Compiled 50 to 36 computations (28% saved)

sample1.9s (52.3%)

Results

1.8s

8256×

body

128

valid

Compiler

Compiled 135 to 97 computations (28.1% saved)

simplify23.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

622×	`associate-l_binary32`
523×	`associate-r_binary32`
423×	`associate-/r*_binary32`
364×	`associate-/l*_binary32`
320×	`associate-/l/_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	26	53
1	66	43
2	244	35
3	1026	32
4	3417	32

Stop Event

1×	node limit

Counts

1 → 2

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

Counts

3 → 2

Alt Table

Status	Error	Program
	1.3b	(*.f32 (/.f32 (/.f32 (/.f32 1/8 s) (PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 r) (/.f32 -1/3 s))))
▶	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))

Status

Error

Program

1.3b

(*.f32 (/.f32 (/.f32 (/.f32 1/8 s) (PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 r) (/.f32 -1/3 s))))

▶

0.2b

(+.f32 (/.f32 (*.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 2 (PI.f32)) s) r)) (/.f32 (*.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (*.f32 3 s)))) (*.f32 (*.f32 (*.f32 6 (PI.f32)) s) r)))

Compiler

Compiled 169 to 117 computations (30.8% saved)

localize79.0ms (2.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f32 (neg.f32 r) (*.f32 3 s))
✓	0.3b	(.f32 (.f32 (*.f32 6 (PI.f32)) s) r)
✓	0.3b	(.f32 (.f32 (*.f32 2 (PI.f32)) s) r)
✓	0.3b	(.f32 (.f32 2 (PI.f32)) s)

series27.0ms (0.7%)

Counts

4 → 84

Calls

4 calls:

10.0ms	(.f32 (.f32 (*.f32 6 (PI.f32)) s) r)
8.0ms	(.f32 (.f32 (*.f32 2 (PI.f32)) s) r)
6.0ms	(/.f32 (neg.f32 r) (*.f32 3 s))
3.0ms	(.f32 (.f32 2 (PI.f32)) s)

rewrite55.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

276×	`expm1-udef_binary32`
276×	`log1p-udef_binary32`
166×	`associate-r_binary32`
166×	`add-sqr-sqrt_binary32`
155×	`log1p-expm1-u_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	39
1	339	37
2	4453	37

Stop Event

1×	node limit

Counts

4 → 92

Calls

4 calls:

54.0ms	(/.f32 (neg.f32 r) (*.f32 3 s))
54.0ms	(.f32 (.f32 (*.f32 6 (PI.f32)) s) r)
54.0ms	(.f32 (.f32 (*.f32 2 (PI.f32)) s) r)
54.0ms	(.f32 (.f32 2 (PI.f32)) s)

simplify25.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

48×	`associate-l_binary32`
34×	`associate-r_binary32`
26×	`*-commutative_binary32`
2×	`associate-/l*_binary32`
1×	`associate-*r/_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	792
1	30	792
2	73	792
3	142	792
4	155	792

Stop Event

1×

saturated

Counts

176 → 98

prune126.0ms (3.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	91	7	98
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	92	8	100

Error

0.1b

Counts

100 → 8

Alt Table

Status	Error	Program
	18.3b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (pow.f32 (pow.f32 (.f32 (.f32 r (*.f32 (PI.f32) 6)) s) 3) 1/3)))
	1.3b	(*.f32 (/.f32 (/.f32 (/.f32 1/8 s) (PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 r) (/.f32 -1/3 s))))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (pow.f32 (sqrt.f32 (.f32 (PI.f32) (.f32 2 s))) 2) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 s (.f32 (*.f32 (PI.f32) r) 6))))
▶	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 2 (.f32 s (.f32 (PI.f32) r)))) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
	0.3b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (exp.f32 (log.f32 (.f32 (.f32 r (*.f32 (PI.f32) 6)) s)))))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (expm1.f32 (log1p.f32 (.f32 (.f32 r (*.f32 (PI.f32) 6)) s)))))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (pow.f32 (cbrt.f32 (.f32 (.f32 r (*.f32 (PI.f32) 6)) s)) 3)))

Compiler

Compiled 4107 to 2565 computations (37.5% saved)

localize74.0ms (2.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(/.f32 (neg.f32 r) (*.f32 3 s))
	0.3b	(.f32 (.f32 (*.f32 6 (PI.f32)) s) r)
✓	0.3b	(.f32 s (.f32 (PI.f32) r))
✓	0.3b	(*.f32 (PI.f32) r)

series10.0ms (0.3%)

Counts

2 → 0

Calls

2 calls:

6.0ms	(.f32 s (.f32 (PI.f32) r))
3.0ms	(*.f32 (PI.f32) r)

rewrite32.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

532×	`log1p-expm1-u_binary32`
532×	`expm1-log1p-u_binary32`
437×	`unpow-prod-down_binary32`
330×	`log-prod_binary32`
160×	`pow2_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	119	13
2	1467	13

Stop Event

1×	node limit

Counts

2 → 34

Calls

2 calls:

32.0ms	(.f32 s (.f32 (PI.f32) r))
32.0ms	(*.f32 (PI.f32) r)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

34 → 34

prune163.0ms (4.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	99	8	107

Error

0.1b

Counts

107 → 8

Alt Table

Status	Error	Program
	18.3b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (pow.f32 (pow.f32 (.f32 (.f32 r (*.f32 (PI.f32) 6)) s) 3) 1/3)))
	1.3b	(*.f32 (/.f32 (/.f32 (/.f32 1/8 s) (PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 r) (/.f32 -1/3 s))))
▶	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (pow.f32 (sqrt.f32 (.f32 (PI.f32) (.f32 2 s))) 2) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 s (.f32 (*.f32 (PI.f32) r) 6))))
✓	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 2 (.f32 s (.f32 (PI.f32) r)))) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
	0.3b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (exp.f32 (log.f32 (.f32 (.f32 r (*.f32 (PI.f32) 6)) s)))))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (expm1.f32 (log1p.f32 (.f32 (.f32 r (*.f32 (PI.f32) 6)) s)))))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (pow.f32 (cbrt.f32 (.f32 (.f32 r (*.f32 (PI.f32) 6)) s)) 3)))

Compiler

Compiled 4145 to 2401 computations (42.1% saved)

localize85.0ms (2.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(.f32 (.f32 (*.f32 6 (PI.f32)) s) r)
✓	0.3b	(.f32 (pow.f32 (sqrt.f32 (.f32 (PI.f32) (*.f32 2 s))) 2) r)
✓	0.3b	(.f32 (PI.f32) (.f32 2 s))
✓	0.6b	(pow.f32 (sqrt.f32 (.f32 (PI.f32) (.f32 2 s))) 2)

series48.0ms (1.4%)

Counts

3 → 32

Calls

3 calls:

28.0ms	(.f32 (pow.f32 (sqrt.f32 (.f32 (PI.f32) (*.f32 2 s))) 2) r)
18.0ms	(pow.f32 (sqrt.f32 (.f32 (PI.f32) (.f32 2 s))) 2)
3.0ms	(.f32 (PI.f32) (.f32 2 s))

rewrite43.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

765×	`log1p-expm1-u_binary32`
765×	`expm1-log1p-u_binary32`
157×	`log1p-udef_binary32`
89×	`add-sqr-sqrt_binary32`
86×	`associate-r_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	27
1	204	27
2	2177	27

Stop Event

1×	node limit

Counts

3 → 70

Calls

3 calls:

42.0ms	(.f32 (pow.f32 (sqrt.f32 (.f32 (PI.f32) (*.f32 2 s))) 2) r)
42.0ms	(.f32 (PI.f32) (.f32 2 s))
42.0ms	(pow.f32 (sqrt.f32 (.f32 (PI.f32) (.f32 2 s))) 2)

simplify73.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

510×	`associate-l_binary32`
471×	`sqr-pow_binary32`
428×	`*-commutative_binary32`
411×	`fabs-mul_binary32`
381×	`cube-prod_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	416
1	27	316
2	71	316
3	156	316
4	408	316
5	1384	316
6	1668	316
7	1825	316
8	2302	316
9	2491	316
10	2753	316
11	3105	316
12	3481	316
13	3938	316
14	4418	316

Stop Event

1×	node limit

Counts

102 → 61

prune168.0ms (4.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	78	8	86

Error

0.1b

Counts

86 → 8

Alt Table

Status	Error	Program
	18.3b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (pow.f32 (pow.f32 (.f32 (.f32 r (*.f32 (PI.f32) 6)) s) 3) 1/3)))
	1.3b	(*.f32 (/.f32 (/.f32 (/.f32 1/8 s) (PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 r) (/.f32 -1/3 s))))
✓	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (pow.f32 (sqrt.f32 (.f32 (PI.f32) (.f32 2 s))) 2) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
▶	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 s (.f32 (*.f32 (PI.f32) r) 6))))
✓	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 2 (.f32 s (.f32 (PI.f32) r)))) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
	0.3b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (exp.f32 (log.f32 (.f32 (.f32 r (*.f32 (PI.f32) 6)) s)))))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (expm1.f32 (log1p.f32 (.f32 (.f32 r (*.f32 (PI.f32) 6)) s)))))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (pow.f32 (cbrt.f32 (.f32 (.f32 r (*.f32 (PI.f32) 6)) s)) 3)))

Compiler

Compiled 3464 to 2145 computations (38.1% saved)

localize76.0ms (2.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(.f32 (.f32 (*.f32 2 (PI.f32)) s) r)
✓	0.3b	(.f32 (.f32 (PI.f32) r) 6)
	0.3b	(.f32 (.f32 2 (PI.f32)) s)
	0.3b	(*.f32 (PI.f32) r)

series3.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

3.0ms

(*.f32 (*.f32 (PI.f32) r) 6)

rewrite29.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

511×	`log1p-expm1-u_binary32`
511×	`expm1-log1p-u_binary32`
385×	`unpow-prod-down_binary32`
298×	`log-prod_binary32`
153×	`pow2_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	121	8
2	1403	8

Stop Event

1×	node limit

Counts

1 → 17

Calls

1 calls:

29.0ms

(*.f32 (*.f32 (PI.f32) r) 6)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary32`
3×	`associate-r_binary32`
3×	`associate-l_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	96
1	10	96
2	17	96
3	19	96

Stop Event

1×

saturated

Counts

29 → 19

prune158.0ms (4.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	65	4	69
Fresh	2	3	5
Picked	1	0	1
Done	1	1	2
Total	69	8	77

Error

0.1b

Counts

77 → 8

Alt Table

Status	Error	Program
✓	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 2 (.f32 s (.f32 (PI.f32) r)))) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 6 (PI.f32)) s) r)))
	1.5b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 s (+.f32 (log.f32 (sqrt.f32 (pow.f32 (exp.f32 6) (.f32 (PI.f32) r)))) (log.f32 (sqrt.f32 (pow.f32 (exp.f32 6) (*.f32 (PI.f32) r))))))))
	1.3b	(*.f32 (/.f32 (/.f32 (/.f32 1/8 s) (PI.f32)) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 r) (/.f32 -1/3 s))))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 s (.f32 (exp.f32 (log.f32 (*.f32 (PI.f32) r))) 6))))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 s (exp.f32 (log.f32 (.f32 (*.f32 (PI.f32) r) 6))))))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 s (pow.f32 (sqrt.f32 (.f32 (*.f32 (PI.f32) r) 6)) 2))))
	0.3b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (exp.f32 (log.f32 (.f32 (.f32 r (*.f32 (PI.f32) 6)) s)))))
	0.2b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 2 (PI.f32)) s) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (expm1.f32 (log1p.f32 (.f32 (.f32 r (*.f32 (PI.f32) 6)) s)))))

Compiler

Compiled 2801 to 1658 computations (40.8% saved)

regimes99.0ms (2.8%)

Accuracy

Total 0.1b remaining (35.3%)

Threshold costs 0.1b (35.3%)

Counts

26 → 1

Compiler

Compiled 2926 to 2137 computations (27% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

12×	`*-commutative_binary32`
4×	`+-commutative_binary32`
3×	`sub-neg_binary32`
3×	`neg-sub0_binary32`
3×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	53
1	44	53
2	50	53
3	55	53
4	57	53

Stop Event

1×

saturated

end172.0ms (4.8%)

Compiler: Compiled 360 to 261 computations (27.5% saved)

Details

analyze98.0ms (2.8%)

sample1.9s (52.3%)

simplify23.0ms (0.6%)

prune5.0ms (0.1%)

localize79.0ms (2.2%)

series27.0ms (0.7%)

rewrite55.0ms (1.6%)

simplify25.0ms (0.7%)

prune126.0ms (3.6%)

localize74.0ms (2.1%)

series10.0ms (0.3%)

rewrite32.0ms (0.9%)

simplify8.0ms (0.2%)

prune163.0ms (4.6%)

localize85.0ms (2.4%)

series48.0ms (1.4%)

rewrite43.0ms (1.2%)

simplify73.0ms (2.1%)

prune168.0ms (4.7%)

localize76.0ms (2.1%)

series3.0ms (0.1%)

rewrite29.0ms (0.8%)

simplify8.0ms (0.2%)

prune158.0ms (4.5%)

regimes99.0ms (2.8%)

simplify3.0ms (0.1%)

end172.0ms (4.8%)

Profiling