Details

analyze183.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 44 to 32 computations (27.3% saved)

sample61.0ms (0.9%)

Algorithm

1×

intervals

Results

35.0ms	256×	body	128	valid
6.0ms	256×	pre	128	true

Compiler

Compiled 81 to 59 computations (27.2% saved)

simplify92.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

634×	`associate-l_binary32`
530×	`associate-r_binary32`
445×	`associate-/r*_binary32`
406×	`*-commutative_binary32`
367×	`associate-/l*_binary32`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	26	53
1	66	45
2	235	35
3	850	32
4	2524	32
5	3762	32
6	4029	32
7	4426	32
8	4756	32
9	4857	32
10	4783	32

prune10.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

2 → 2

Alt Table

Status	Error	Program
	1.4b	(.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.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)))

Status

Error

Program

1.4b

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

Compiler

Compiled 136 to 98 computations (27.9% saved)

localize100.0ms (1.5%)

Local error

Found 4 expressions with local error:

0.2b	(/.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.4b	(.f32 (.f32 2 PI.f32) s)

rewrite237.0ms (3.6%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

32×	`add-cbrt-cube_binary32`
32×	`add-exp-log_binary32`
27×	`pow1_binary32`
16×	`cbrt-unprod_binary32`
16×	`prod-exp_binary32`

Counts

4 → 97

Calls

4 calls:

7.0ms	(.f32 (.f32 (*.f32 2 PI.f32) s) r)
6.0ms	(.f32 (.f32 (*.f32 6 PI.f32) s) r)
6.0ms	(/.f32 (neg.f32 r) (*.f32 3 s))
4.0ms	(.f32 (.f32 2 PI.f32) s)

Compiler

Compiled 3367 to 1941 computations (42.4% saved)

series117.0ms (1.8%)

Error

0.1b

Counts

4 → 21

Calls

4 calls:

33.0ms	(.f32 (.f32 (*.f32 2 PI.f32) s) r)
31.0ms	(.f32 (.f32 (*.f32 6 PI.f32) s) r)
30.0ms	(/.f32 (neg.f32 r) (*.f32 3 s))
14.0ms	(.f32 (.f32 2 PI.f32) s)

Compiler

Compiled 1591 to 1130 computations (29% saved)

simplify102.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

512×	`associate-/l*_binary32`
418×	`associate-l_binary32`
326×	`associate-/r*_binary32`
318×	`distribute-rgt-neg-out_binary32`
310×	`associate-r_binary32`

Counts

118 → 84

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	179	1560
1	434	1267
2	1877	1261
3	4562	1261
4	5000	1261
5	4926	1261

prune148.0ms (2.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	79	5	84
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	80	6	86

Error

0.1b

Counts

86 → 6

Alt Table

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

Compiler

Compiled 2283 to 1331 computations (41.7% saved)

localize108.0ms (1.7%)

Local error

Found 4 expressions with local error:

0.3b	(.f32 (.f32 (*.f32 6 PI.f32) s) r)
0.3b	(.f32 (.f32 (.f32 2 (.f32 s PI.f32)) (sqrt.f32 r)) (sqrt.f32 r))
0.3b	(.f32 (.f32 2 (*.f32 s PI.f32)) (sqrt.f32 r))
0.4b	(*.f32 s PI.f32)

rewrite259.0ms (4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

38×	`add-cbrt-cube_binary32`
38×	`add-exp-log_binary32`
38×	`pow1_binary32`
23×	`cbrt-unprod_binary32`
23×	`prod-exp_binary32`

Counts

4 → 90

Calls

4 calls:

9.0ms	(.f32 (.f32 (.f32 2 (.f32 s PI.f32)) (sqrt.f32 r)) (sqrt.f32 r))
8.0ms	(.f32 (.f32 2 (*.f32 s PI.f32)) (sqrt.f32 r))
7.0ms	(.f32 (.f32 (*.f32 6 PI.f32) s) r)
3.0ms	(*.f32 s PI.f32)

Compiler

Compiled 3396 to 1726 computations (49.2% saved)

series126.0ms (1.9%)

Error

0.1b

Counts

4 → 21

Calls

4 calls:

35.0ms	(.f32 (.f32 2 (*.f32 s PI.f32)) (sqrt.f32 r))
33.0ms	(.f32 (.f32 (.f32 2 (.f32 s PI.f32)) (sqrt.f32 r)) (sqrt.f32 r))
32.0ms	(.f32 (.f32 (*.f32 6 PI.f32) s) r)
15.0ms	(*.f32 s PI.f32)

Compiler

Compiled 1788 to 1240 computations (30.6% saved)

simplify110.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

535×	`associate-l_binary32`
402×	`unswap-sqr_binary32`
397×	`sqr-pow_binary32`
386×	`associate-r_binary32`
236×	`associate-/l*_binary32`

Counts

111 → 76

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	153	1621
1	391	1351
2	1643	1351
3	2105	1351
4	2919	1351
5	4514	1351
6	4985	1351

prune125.0ms (1.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	76	6	82

Error

0.1b

Counts

82 → 6

Alt Table

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

Compiler

Compiled 1913 to 1046 computations (45.3% saved)

localize95.0ms (1.5%)

Local error

Found 4 expressions with local error:

0.3b	(.f32 (.f32 (*.f32 6 PI.f32) s) r)
0.3b	(.f32 (.f32 (*.f32 2 PI.f32) s) r)
0.4b	(.f32 (.f32 2 PI.f32) s)
0.6b	(*.f32 1/3 (/.f32 (neg.f32 r) s))

rewrite331.0ms (5.1%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

43×	`associate-r_binary32`
33×	`add-sqr-sqrt_binary32`
32×	`add-cbrt-cube_binary32`
32×	`add-exp-log_binary32`
31×	`times-frac_binary32`

Counts

4 → 114

Calls

4 calls:

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

Compiler

Compiled 4070 to 2217 computations (45.5% saved)

series116.0ms (1.8%)

Error

0.1b

Counts

4 → 21

Calls

4 calls:

33.0ms	(*.f32 1/3 (/.f32 (neg.f32 r) s))
30.0ms	(.f32 (.f32 (*.f32 2 PI.f32) s) r)
29.0ms	(.f32 (.f32 (*.f32 6 PI.f32) s) r)
13.0ms	(.f32 (.f32 2 PI.f32) s)

Compiler

Compiled 1591 to 1097 computations (31% saved)

simplify90.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

427×	`associate-l_binary32`
400×	`associate-/l*_binary32`
353×	`times-frac_binary32`
305×	`associate-r_binary32`
244×	`div-sub_binary32`

Counts

135 → 102

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	208	1778
1	528	1488
2	2063	1488
3	4496	1488
4	5004	1488

prune190.0ms (2.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	100	2	102
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	102	6	108

Error

0.1b

Counts

108 → 6

Alt Table

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

Compiler

Compiled 2645 to 1483 computations (43.9% saved)

localize122.0ms (1.9%)

Local error

Found 4 expressions with local error:

0.3b	(*.f32 PI.f32 r)
0.3b	(*.f32 PI.f32 r)
0.4b	(.f32 (.f32 (cbrt.f32 (.f32 2 (.f32 s (.f32 PI.f32 r)))) (cbrt.f32 (.f32 2 (.f32 s (.f32 PI.f32 r))))) (cbrt.f32 (.f32 2 (.f32 s (*.f32 PI.f32 r)))))
0.5b	(.f32 (cbrt.f32 (.f32 2 (.f32 s (.f32 PI.f32 r)))) (cbrt.f32 (.f32 2 (.f32 s (*.f32 PI.f32 r)))))

rewrite340.0ms (5.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

34×	`pow1_binary32`
20×	`add-sqr-sqrt_binary32`
15×	`add-exp-log_binary32`
15×	`pow1/3_binary32`
14×	`associate-r_binary32`

Counts

4 → 100

Calls

4 calls:

10.0ms	(.f32 (.f32 (cbrt.f32 (.f32 2 (.f32 s (.f32 PI.f32 r)))) (cbrt.f32 (.f32 2 (.f32 s (.f32 PI.f32 r))))) (cbrt.f32 (.f32 2 (.f32 s (*.f32 PI.f32 r)))))
7.0ms	(.f32 (cbrt.f32 (.f32 2 (.f32 s (.f32 PI.f32 r)))) (cbrt.f32 (.f32 2 (.f32 s (*.f32 PI.f32 r)))))
3.0ms	(*.f32 PI.f32 r)
3.0ms	(*.f32 PI.f32 r)

Compiler

Compiled 4877 to 2481 computations (49.1% saved)

series219.0ms (3.3%)

Error

0.1b

Counts

4 → 18

Calls

4 calls:

94.0ms	(.f32 (cbrt.f32 (.f32 2 (.f32 s (.f32 PI.f32 r)))) (cbrt.f32 (.f32 2 (.f32 s (*.f32 PI.f32 r)))))
62.0ms	(.f32 (.f32 (cbrt.f32 (.f32 2 (.f32 s (.f32 PI.f32 r)))) (cbrt.f32 (.f32 2 (.f32 s (.f32 PI.f32 r))))) (cbrt.f32 (.f32 2 (.f32 s (*.f32 PI.f32 r)))))
16.0ms	(*.f32 PI.f32 r)
16.0ms	(*.f32 PI.f32 r)

Compiler

Compiled 2296 to 1617 computations (29.6% saved)

simplify106.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

425×	`log-prod_binary32`
309×	`unswap-sqr_binary32`
302×	`*-commutative_binary32`
242×	`associate-+l+_binary32`
241×	`exp-prod_binary32`

Counts

118 → 79

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	148	1957
1	334	1662
2	912	1448
3	1788	1348
4	4858	1348
5	5128	1348

prune168.0ms (2.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	79	6	85

Error

0.1b

Counts

85 → 6

Alt Table

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

Compiler

Compiled 2461 to 1420 computations (42.3% saved)

regimes815.0ms (12.4%)

Accuracy

Total 0.1b remaining (43.4%)

Threshold costs 0.1b (43.4%)

Compiler

Compiled 13237 to 9283 computations (29.9% saved)

simplify6.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	31	58
1	50	58
2	56	58
3	61	58
4	63	58
5	60	58

end3.0ms (0%)

Compiler: Compiled 38 to 28 computations (26.3% saved)

sample2.2s (33.2%)

Algorithm

1×

intervals

Results

1.1s	8000×	body	128	valid
191.0ms	8000×	pre	128	true

Compiler

Compiled 332 to 226 computations (31.9% saved)

Details

analyze183.0ms (2.8%)

sample61.0ms (0.9%)

simplify92.0ms (1.4%)

prune10.0ms (0.2%)

localize100.0ms (1.5%)

rewrite237.0ms (3.6%)

series117.0ms (1.8%)

simplify102.0ms (1.6%)

prune148.0ms (2.3%)

localize108.0ms (1.7%)

rewrite259.0ms (4%)

series126.0ms (1.9%)

simplify110.0ms (1.7%)

prune125.0ms (1.9%)

localize95.0ms (1.5%)

rewrite331.0ms (5.1%)

series116.0ms (1.8%)

simplify90.0ms (1.4%)

prune190.0ms (2.9%)

localize122.0ms (1.9%)

rewrite340.0ms (5.2%)

series219.0ms (3.3%)

simplify106.0ms (1.6%)

prune168.0ms (2.6%)

regimes815.0ms (12.4%)

simplify6.0ms (0.1%)

end3.0ms (0%)

sample2.2s (33.2%)

Profiling