Details

analyze92.0ms (1.7%)

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.3s (42.9%)

Results

2.3s

8256×

body

128

valid

Compiler

Compiled 135 to 97 computations (28.1% saved)

simplify26.0ms (0.5%)

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

prune4.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)))
	1.0b	(*.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))))

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)))

1.0b

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

Compiler

Compiled 169 to 117 computations (30.8% saved)

localize115.0ms (2.1%)

Local error

Found 4 expressions with local error:

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

series37.0ms (0.7%)

Counts

4 → 84

Calls

4 calls:

13.0ms	(.f32 (.f32 2 (PI.f32)) s)
9.0ms	(.f32 (.f32 (*.f32 2 (PI.f32)) s) r)
8.0ms	(.f32 (.f32 (*.f32 6 (PI.f32)) s) r)
7.0ms	(/.f32 (neg.f32 r) (*.f32 3 s))

rewrite63.0ms (1.2%)

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	4452	37

Stop Event

1×	node limit

Counts

4 → 92

Calls

4 calls:

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

simplify27.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

50×	`associate-l_binary32`
34×	`associate-r_binary32`
28×	`*-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	156	792

Stop Event

1×

saturated

Counts

176 → 98

prune704.0ms (13%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	92	6	98
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	93	7	100

Error

0.0b

Counts

100 → 7

Alt Table

Status	Error	Program
	17.8b	(+.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)))) (cbrt.f32 (.f32 (pow.f32 r 3) (pow.f32 (.f32 (PI.f32) (*.f32 6 s)) 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 (/.f32 -1 s) (.f32 r 1/3)))) (.f32 (.f32 (.f32 6 (PI.f32)) s) r)))
	17.3b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (cbrt.f32 (.f32 (pow.f32 (.f32 2 (PI.f32)) 3) (pow.f32 s 3))) 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 r 6) (*.f32 (PI.f32) s))) 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)))) (expm1.f32 (log1p.f32 (.f32 (.f32 r 6) (*.f32 (PI.f32) s))))))
	1.0b	(*.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)))) (exp.f32 (log.f32 (.f32 (.f32 r 6) (*.f32 (PI.f32) s))))))

Compiler

Compiled 4045 to 2528 computations (37.5% saved)

localize92.0ms (1.7%)

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 2 (PI.f32)) s)
✓	0.3b	(*.f32 r 1/3)
✓	0.4b	(.f32 (/.f32 -1 s) (.f32 r 1/3))

series12.0ms (0.2%)

Counts

2 → 36

Calls

2 calls:

11.0ms	(.f32 (/.f32 -1 s) (.f32 r 1/3))
1.0ms	(*.f32 r 1/3)

rewrite36.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

709×	`log1p-expm1-u_binary32`
709×	`expm1-log1p-u_binary32`
143×	`expm1-udef_binary32`
143×	`log1p-udef_binary32`
80×	`add-sqr-sqrt_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	164	11
2	1954	11

Stop Event

1×	node limit

Counts

2 → 37

Calls

2 calls:

35.0ms	(*.f32 r 1/3)
35.0ms	(.f32 (/.f32 -1 s) (.f32 r 1/3))

simplify13.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary32`
2×	`associate-/l*_binary32`
1×	`associate-*r/_binary32`
1×	`associate-*l/_binary32`
1×	`associate-/r/_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	216
1	12	216
2	16	216
3	20	216
4	21	216

Stop Event

1×

saturated

Counts

73 → 41

prune166.0ms (3.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	74	7	81

Error

0.0b

Counts

81 → 7

Alt Table

Status	Error	Program
	17.8b	(+.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)))) (cbrt.f32 (.f32 (pow.f32 r 3) (pow.f32 (.f32 (PI.f32) (*.f32 6 s)) 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 (/.f32 -1 s) (.f32 r 1/3)))) (.f32 (.f32 (.f32 6 (PI.f32)) s) r)))
	17.3b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (cbrt.f32 (.f32 (pow.f32 (.f32 2 (PI.f32)) 3) (pow.f32 s 3))) 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 r 6) (*.f32 (PI.f32) s))) 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)))) (expm1.f32 (log1p.f32 (.f32 (.f32 r 6) (*.f32 (PI.f32) s))))))
	1.0b	(*.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)))) (exp.f32 (log.f32 (.f32 (.f32 r 6) (*.f32 (PI.f32) s))))))

Compiler

Compiled 3137 to 2051 computations (34.6% saved)

localize121.0ms (2.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f32 (PI.f32) s)
	0.3b	(.f32 (.f32 2 (PI.f32)) s)
✓	0.4b	(.f32 (.f32 r 6) (*.f32 (PI.f32) s))
✓	0.7b	(pow.f32 (cbrt.f32 (.f32 (.f32 r 6) (*.f32 (PI.f32) s))) 3)

series556.0ms (10.2%)

Counts

3 → 60

Calls

3 calls:

545.0ms	(pow.f32 (cbrt.f32 (.f32 (.f32 r 6) (*.f32 (PI.f32) s))) 3)
8.0ms	(.f32 (.f32 r 6) (*.f32 (PI.f32) s))
3.0ms	(*.f32 (PI.f32) s)

rewrite46.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

885×	`log1p-expm1-u_binary32`
885×	`expm1-log1p-u_binary32`
100×	`add-sqr-sqrt_binary32`
96×	`associate-r_binary32`
94×	`add-cbrt-cube_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	27
1	224	27
2	2468	27

Stop Event

1×	node limit

Counts

3 → 79

Calls

3 calls:

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

simplify36.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

664×	`associate-l_binary32`
508×	`associate-r_binary32`
259×	`fma-def_binary32`
182×	`*-commutative_binary32`
176×	`associate-+l+_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	61	1188
1	162	1188
2	439	1140
3	1207	612

Stop Event

1×	node limit

Counts

139 → 79

prune225.0ms (4.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	91	4	95
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	94	8	102

Error

0.0b

Counts

102 → 8

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 (/.f32 -1 s) (.f32 r 1/3)))) (.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 (pow.f32 (pow.f32 (.f32 r (.f32 (.f32 6 s) (PI.f32))) 1/6) 3) (pow.f32 (pow.f32 (.f32 r (.f32 (*.f32 6 s) (PI.f32))) 1/6) 3))))
	17.3b	(+.f32 (/.f32 (.f32 1/4 (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (cbrt.f32 (.f32 (pow.f32 (.f32 2 (PI.f32)) 3) (pow.f32 s 3))) 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)))) (.f32 (.f32 (*.f32 6 s) (PI.f32)) r)))
	1.0b	(*.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.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 (pow.f32 (cbrt.f32 r) 2) (.f32 (cbrt.f32 r) (.f32 (.f32 6 s) (PI.f32))))))
	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)))) (exp.f32 (log.f32 (.f32 (.f32 r 6) (*.f32 (PI.f32) 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)))) (pow.f32 (cbrt.f32 (.f32 (.f32 r 6) (pow.f32 (cbrt.f32 (*.f32 (PI.f32) s)) 3))) 3)))

Compiler

Compiled 4319 to 2692 computations (37.7% saved)

localize77.0ms (1.4%)

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 2 (PI.f32)) s) r)
	0.3b	(.f32 (.f32 2 (PI.f32)) s)
✓	0.4b	(.f32 (.f32 6 s) (PI.f32))

series3.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

3.0ms

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

rewrite31.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

514×	`log1p-expm1-u_binary32`
514×	`expm1-log1p-u_binary32`
379×	`unpow-prod-down_binary32`
298×	`log-prod_binary32`
154×	`pow2_binary32`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 17

Calls

1 calls:

31.0ms

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

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

prune162.0ms (3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	99	1	100
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	100	8	108

Error

0.0b

Counts

108 → 8

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 (/.f32 -1 s) (.f32 r 1/3)))) (.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 (pow.f32 (pow.f32 (.f32 r (.f32 (.f32 6 s) (PI.f32))) 1/6) 3) (pow.f32 (pow.f32 (.f32 r (.f32 (*.f32 6 s) (PI.f32))) 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)))) (.f32 (.f32 (*.f32 6 s) (PI.f32)) r)))
	1.0b	(*.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.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 (pow.f32 (cbrt.f32 (.f32 s (*.f32 6 (PI.f32)))) 3) 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 (pow.f32 (cbrt.f32 r) 2) (.f32 (cbrt.f32 r) (.f32 (.f32 6 s) (PI.f32))))))
	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)))) (exp.f32 (log.f32 (.f32 (.f32 r 6) (*.f32 (PI.f32) 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)))) (pow.f32 (cbrt.f32 (.f32 (.f32 r 6) (pow.f32 (cbrt.f32 (*.f32 (PI.f32) s)) 3))) 3)))

Compiler

Compiled 3934 to 2443 computations (37.9% saved)

regimes270.0ms (5%)

Accuracy

Total 0.1b remaining (47.6%)

Threshold costs 0.1b (47.6%)

Counts

75 → 1

Compiler

Compiled 8455 to 6211 computations (26.5% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	58
1	46	58
2	50	58
3	53	58
4	54	58

Stop Event

1×

saturated

end175.0ms (3.2%)

Compiler: Compiled 377 to 279 computations (26% saved)

Details

analyze92.0ms (1.7%)

sample2.3s (42.9%)

simplify26.0ms (0.5%)

prune4.0ms (0.1%)

localize115.0ms (2.1%)

series37.0ms (0.7%)

rewrite63.0ms (1.2%)

simplify27.0ms (0.5%)

prune704.0ms (13%)

localize92.0ms (1.7%)

series12.0ms (0.2%)

rewrite36.0ms (0.7%)

simplify13.0ms (0.2%)

prune166.0ms (3.1%)

localize121.0ms (2.2%)

series556.0ms (10.2%)

rewrite46.0ms (0.9%)

simplify36.0ms (0.7%)

prune225.0ms (4.1%)

localize77.0ms (1.4%)

series3.0ms (0.1%)

rewrite31.0ms (0.6%)

simplify8.0ms (0.2%)

prune162.0ms (3%)

regimes270.0ms (5%)

simplify3.0ms (0.1%)

end175.0ms (3.2%)

Profiling