Details

analyze114.0ms (2.2%)

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)

sample2.1s (41.9%)

Results

2.1s

8256×

body

128

valid

Compiler

Compiled 135 to 97 computations (28.1% saved)

simplify59.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

672×	`fma-neg_binary32`
634×	`associate-l_binary32`
530×	`associate-r_binary32`
445×	`associate-/r*_binary32`
406×	`*-commutative_binary32`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	26	53
1	66	43
2	237	35
3	864	32
4	2572	32
5	3890	32
6	4293	32
7	4871	32
8	4870	32

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
▶	0.1b	(+.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)))
	0.8b	(.f32 (/.f32 (/.f32 1/8 (.f32 s (PI.f32))) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/3)))

Status

Error

Program

▶

0.1b

(+.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)))

0.8b

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

Compiler

Compiled 169 to 117 computations (30.8% saved)

localize92.0ms (1.8%)

Local error

Found 4 expressions with local error:

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

series29.0ms (0.6%)

Counts

4 → 84

Calls

4 calls:

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

rewrite70.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

93× egg-rr

Counts

4 → 93

Calls

2 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	39
1	339	37
2	3871	37
3	4992	37
0	0	0
1	0	0

simplify29.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

51×	`associate-l_binary32`
35×	`associate-r_binary32`
29×	`*-commutative_binary32`
2×	`associate-/l*_binary32`
1×	`associate-*r/_binary32`

Counts

177 → 96

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	792
1	30	792
2	69	792
3	107	792
4	108	792
5	108	792

prune125.0ms (2.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	93	3	96
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	93	5	98

Error

0.1b

Counts

98 → 5

Alt Table

Status	Error	Program
✓	0.1b	(+.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)))
▶	0.1b	(+.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 s (*.f32 (PI.f32) 6)) r)) 3)))
	17.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)))) (pow.f32 (pow.f32 (.f32 (.f32 s (*.f32 (PI.f32) 6)) r) 3) 1/3)))
	0.8b	(.f32 (/.f32 (/.f32 1/8 (.f32 s (PI.f32))) r) (+.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (pow.f32 (exp.f32 (/.f32 r s)) -1/3)))
	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 6 (.f32 s (*.f32 (PI.f32) r)))))

Compiler

Compiled 3788 to 2366 computations (37.5% saved)

localize104.0ms (2%)

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 s (*.f32 (PI.f32) 6)) r)
	0.4b	(.f32 (.f32 2 (PI.f32)) s)
✓	0.7b	(pow.f32 (cbrt.f32 (.f32 (.f32 s (*.f32 (PI.f32) 6)) r)) 3)

series636.0ms (12.5%)

Counts

2 → 48

Calls

2 calls:

619.0ms	(pow.f32 (cbrt.f32 (.f32 (.f32 s (*.f32 (PI.f32) 6)) r)) 3)
17.0ms	(.f32 (.f32 s (*.f32 (PI.f32) 6)) r)

rewrite53.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

59× egg-rr

Counts

2 → 59

Calls

2 calls:

52.0ms	((pow.f32 (cbrt.f32 (.f32 (.f32 s (.f32 (PI.f32) 6)) r)) 3) (.f32 (.f32 s (.f32 (PI.f32) 6)) r))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	22
1	211	22
2	2346	22
3	5332	22
0	0	0
1	0	0

simplify93.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

629×	`associate-l_binary32`
575×	`fma-neg_binary32`
467×	`associate-r_binary32`
374×	`exp-sum_binary32`
264×	`unsub-neg_binary32`

Counts

107 → 57

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	61	1888
1	155	1128
2	299	1000
3	935	552
4	3334	552
5	4519	552
6	4980	552
7	4797	552

prune228.0ms (4.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	83	6	89
Fresh	3	0	3
Picked	0	1	1
Done	1	0	1
Total	87	7	94

Error

0.1b

Counts

94 → 7

Alt Table

Status	Error	Program
	0.1b	(+.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 (sqrt.f32 s) (.f32 (sqrt.f32 s) (.f32 (.f32 (PI.f32) 6) 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 (cbrt.f32 (pow.f32 (.f32 (.f32 s (.f32 (PI.f32) 6)) r) 2/3)) (.f32 (cbrt.f32 (cbrt.f32 (.f32 (.f32 s (.f32 (PI.f32) 6)) r))) (pow.f32 (.f32 (.f32 s (*.f32 (PI.f32) 6)) r) 2/3)))))
	0.1b	(+.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 (cbrt.f32 (.f32 r r)) (.f32 (cbrt.f32 r) (.f32 s (*.f32 (PI.f32) 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 6 (.f32 (exp.f32 (.f32 1/3 (+.f32 (log.f32 s) (log.f32 (.f32 (PI.f32) r))))) (pow.f32 (exp.f32 (.f32 1/3 (+.f32 (log.f32 (.f32 (PI.f32) r)) (log.f32 s)))) 2)))))
	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 (pow.f32 (pow.f32 (.f32 (.f32 s (.f32 (PI.f32) 6)) r) 1/6) 3) (pow.f32 (pow.f32 (.f32 (.f32 s (*.f32 (PI.f32) 6)) r) 1/6) 3))))
✓	0.1b	(+.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 s (*.f32 (PI.f32) 6)) r)) 3)))
▶	0.1b	(+.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 (PI.f32) 6) r) s)))

Compiler

Compiled 4121 to 2614 computations (36.6% saved)

localize112.0ms (2.2%)

Local error

Found 4 expressions with local error:

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

series11.0ms (0.2%)

Counts

1 → 24

Calls

1 calls:

11.0ms

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

rewrite39.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

15× egg-rr

Counts

1 → 15

Calls

2 calls:

39.0ms	((.f32 (.f32 (*.f32 (PI.f32) 6) r) s))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	162	11
2	1878	11
3	4960	11
0	0	0
1	0	0

simplify14.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

26×	`associate-l_binary32`
20×	`associate-r_binary32`
17×	`*-commutative_binary32`

Counts

39 → 16

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	264
1	15	264
2	35	264
3	55	264
4	55	264
5	55	264

prune145.0ms (2.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	94	2	96
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	96	7	103

Error

0.1b

Counts

103 → 7

Alt Table

Status	Error	Program
▶	0.1b	(+.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 (sqrt.f32 s) (.f32 (sqrt.f32 s) (.f32 (.f32 (PI.f32) 6) r)))))
	0.1b	(+.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 (cbrt.f32 (.f32 r r)) (.f32 (cbrt.f32 r) (.f32 s (*.f32 (PI.f32) 6))))))
	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (pow.f32 (cbrt.f32 (.f32 (.f32 2 (PI.f32)) s)) 3) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 (PI.f32) 6) r) 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 6 (.f32 (exp.f32 (.f32 1/3 (+.f32 (log.f32 s) (log.f32 (.f32 (PI.f32) r))))) (pow.f32 (exp.f32 (.f32 1/3 (+.f32 (log.f32 (.f32 (PI.f32) r)) (log.f32 s)))) 2)))))
	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 (pow.f32 (pow.f32 (.f32 (.f32 s (.f32 (PI.f32) 6)) r) 1/6) 3) (pow.f32 (pow.f32 (.f32 (.f32 s (*.f32 (PI.f32) 6)) r) 1/6) 3))))
	24.0b	(+.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 (exp.f32 (log1p.f32 (.f32 (.f32 (*.f32 (PI.f32) 6) r) s))) 1)))
✓	0.1b	(+.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 s (*.f32 (PI.f32) 6)) r)) 3)))

Compiler

Compiled 4045 to 2549 computations (37% saved)

localize103.0ms (2%)

Local error

Found 4 expressions with local error:

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

series33.0ms (0.6%)

Counts

2 → 32

Calls

2 calls:

19.0ms	(.f32 (sqrt.f32 s) (.f32 (*.f32 (PI.f32) 6) r))
13.0ms	(.f32 (sqrt.f32 s) (.f32 (sqrt.f32 s) (.f32 (.f32 (PI.f32) 6) r)))

rewrite48.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

31× egg-rr

Counts

2 → 31

Calls

2 calls:

47.0ms	((.f32 (sqrt.f32 s) (.f32 (sqrt.f32 s) (.f32 (.f32 (PI.f32) 6) r))) (.f32 (sqrt.f32 s) (.f32 (*.f32 (PI.f32) 6) r)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	24
1	202	24
2	2345	24
3	5403	24
0	0	0
1	0	0

simplify17.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

49×	`associate-l_binary32`
37×	`associate-r_binary32`
30×	`*-commutative_binary32`

Counts

63 → 34

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	376
1	24	376
2	61	376
3	94	376
4	94	376
5	94	376

prune156.0ms (3.1%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	63	3	66
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	64	9	73

Error

0.0b

Counts

73 → 9

Alt Table

Status	Error	Program
✓	0.1b	(+.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 (sqrt.f32 s) (.f32 (sqrt.f32 s) (.f32 (.f32 (PI.f32) 6) r)))))
	0.1b	(+.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 (cbrt.f32 (.f32 r r)) (.f32 (cbrt.f32 r) (.f32 s (*.f32 (PI.f32) 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 (sqrt.f32 s) (exp.f32 (log.f32 (.f32 (sqrt.f32 s) (.f32 (.f32 (PI.f32) 6) r)))))))
	21.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)))) (.f32 (sqrt.f32 s) (log.f32 (pow.f32 (exp.f32 (sqrt.f32 s)) (.f32 (*.f32 (PI.f32) 6) r))))))
	0.1b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (pow.f32 (cbrt.f32 (.f32 (.f32 2 (PI.f32)) s)) 3) r)) (/.f32 (.f32 3/4 (exp.f32 (/.f32 (neg.f32 r) (.f32 3 s)))) (.f32 (.f32 (*.f32 (PI.f32) 6) r) s)))
	0.1b	(+.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 s (.f32 (*.f32 (PI.f32) 6) 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 6 (.f32 (exp.f32 (.f32 1/3 (+.f32 (log.f32 s) (log.f32 (.f32 (PI.f32) r))))) (pow.f32 (exp.f32 (.f32 1/3 (+.f32 (log.f32 (.f32 (PI.f32) r)) (log.f32 s)))) 2)))))
	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 (pow.f32 (pow.f32 (.f32 (.f32 s (.f32 (PI.f32) 6)) r) 1/6) 3) (pow.f32 (pow.f32 (.f32 (.f32 s (*.f32 (PI.f32) 6)) r) 1/6) 3))))
✓	0.1b	(+.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 s (*.f32 (PI.f32) 6)) r)) 3)))

Compiler

Compiled 2955 to 1777 computations (39.9% saved)

regimes402.0ms (7.9%)

Accuracy

Total 0.0b remaining (36.3%)

Threshold costs 0.0b (36.3%)

Counts

102 → 1

Compiler

Compiled 11932 to 8773 computations (26.5% saved)

simplify4.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
5	57	53

end240.0ms (4.7%)

Compiler: Compiled 449 to 322 computations (28.3% saved)

Details

analyze114.0ms (2.2%)

sample2.1s (41.9%)

simplify59.0ms (1.2%)

prune5.0ms (0.1%)

localize92.0ms (1.8%)

series29.0ms (0.6%)

rewrite70.0ms (1.4%)

simplify29.0ms (0.6%)

prune125.0ms (2.4%)

localize104.0ms (2%)

series636.0ms (12.5%)

rewrite53.0ms (1%)

simplify93.0ms (1.8%)

prune228.0ms (4.5%)

localize112.0ms (2.2%)

series11.0ms (0.2%)

rewrite39.0ms (0.8%)

simplify14.0ms (0.3%)

prune145.0ms (2.8%)

localize103.0ms (2%)

series33.0ms (0.6%)

rewrite48.0ms (0.9%)

simplify17.0ms (0.3%)

prune156.0ms (3.1%)

regimes402.0ms (7.9%)

simplify4.0ms (0.1%)

end240.0ms (4.7%)

Profiling