Details

analyze53.0ms (1.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0.1%	99.9%	0
0.1%	0%	99.9%	1

Compiler

Compiled 23 to 17 computations (26.1% saved)

sample39.0ms (1.4%)

Algorithm

1×

intervals

Results

13.0ms	255×	body	128	valid
8.0ms	256×	pre	128	true
0.0ms	1×	body	256	valid

Compiler

Compiled 36 to 27 computations (25% saved)

simplify16.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

47×	`cancel-sign-sub-inv_binary32`
43×	`sub-neg_binary32`
27×	`unsub-neg_binary32`
23×	`associate--r+_binary32`
20×	`distribute-rgt-neg-in_binary32`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	15	10
2	33	10
3	57	10
4	122	10
5	212	10
6	256	10
7	256	10
8	257	10
9	222	10

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.0b	(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))

Compiler

Compiled 20 to 14 computations (30% saved)

localize16.0ms (0.6%)

Local error

Found 2 expressions with local error:

0.0b	(*.f32 ux maxCos)
0.0b	(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))

rewrite165.0ms (5.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

7×	`add-sqr-sqrt_binary32`
7×	`add-log-exp_binary32`
5×	`*-un-lft-identity_binary32`
5×	`add-cube-cbrt_binary32`
4×	`associate-+l+_binary32`

Counts

2 → 35

Calls

2 calls:

6.0ms	(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
3.0ms	(*.f32 ux maxCos)

Compiler

Compiled 434 to 218 computations (49.8% saved)

series32.0ms (1.2%)

Error

0.0b

Counts

2 → 18

Calls

2 calls:

17.0ms	(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
10.0ms	(*.f32 ux maxCos)

Compiler

Compiled 316 to 220 computations (30.4% saved)

simplify73.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

362×	`associate-l_binary32`
347×	`cancel-sign-sub-inv_binary32`
297×	`associate-r_binary32`
253×	`exp-prod_binary32`
248×	`distribute-rgt-out_binary32`

Counts

53 → 34

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	79	520
1	193	499
2	496	499
3	1893	499
4	4219	499
5	4949	499

prune25.0ms (0.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	32	2	34
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	33	2	35

Error

Counts

35 → 2

Alt Table

Status	Error	Program
▶	0.0b	(-.f32 1 (-.f32 ux (*.f32 maxCos ux)))
	0.6b	(.f32 (.f32 (cbrt.f32 (-.f32 (+.f32 1 (.f32 maxCos ux)) ux)) (cbrt.f32 (-.f32 (+.f32 1 (.f32 maxCos ux)) ux))) (cbrt.f32 (-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)))

Status

Error

Program

▶

0.0b

(-.f32 1 (-.f32 ux (*.f32 maxCos ux)))

0.6b

(*.f32 (*.f32 (cbrt.f32 (-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)) (cbrt.f32 (-.f32 (+.f32 1 (*.f32 maxCos ux)) ux))) (cbrt.f32 (-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)))

Compiler

Compiled 341 to 187 computations (45.2% saved)

localize16.0ms (0.6%)

Local error

Found 3 expressions with local error:

0.0b	(*.f32 maxCos ux)
0.0b	(-.f32 1 (-.f32 ux (*.f32 maxCos ux)))
0.0b	(-.f32 ux (*.f32 maxCos ux))

rewrite50.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

11×	`*-un-lft-identity_binary32`
11×	`add-sqr-sqrt_binary32`
10×	`add-log-exp_binary32`
6×	`cancel-sign-sub-inv_binary32`
6×	`add-cube-cbrt_binary32`

Counts

3 → 53

Calls

3 calls:

5.0ms	(-.f32 1 (-.f32 ux (*.f32 maxCos ux)))
3.0ms	(*.f32 maxCos ux)
2.0ms	(-.f32 ux (*.f32 maxCos ux))

Compiler

Compiled 673 to 279 computations (58.5% saved)

series48.0ms (1.7%)

Error

Counts

3 → 27

Calls

3 calls:

16.0ms	(-.f32 1 (-.f32 ux (*.f32 maxCos ux)))
15.0ms	(-.f32 ux (*.f32 maxCos ux))
11.0ms	(*.f32 maxCos ux)

Compiler

Compiled 489 to 351 computations (28.2% saved)

simplify81.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

473×	`neg-sub0_binary32`
455×	`neg-mul-1_binary32`
396×	`associate-l_binary32`
348×	`associate-r_binary32`
338×	`distribute-rgt-neg-out_binary32`

Counts

80 → 53

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	99	815
1	231	787
2	593	784
3	2153	780
4	4039	780
5	5205	780

prune30.0ms (1.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	52	1	53
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	53	2	55

Error

Counts

55 → 2

Alt Table

Status	Error	Program
▶	0.4b	(-.f32 1 (log.f32 (pow.f32 (exp.f32 ux) (-.f32 1 maxCos))))
✓	0.0b	(-.f32 1 (-.f32 ux (*.f32 maxCos ux)))

Compiler

Compiled 374 to 257 computations (31.3% saved)

localize28.0ms (1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f32 1 (log.f32 (pow.f32 (exp.f32 ux) (-.f32 1 maxCos))))
0.0b	(pow.f32 (exp.f32 ux) (-.f32 1 maxCos))
15.4b	(log.f32 (pow.f32 (exp.f32 ux) (-.f32 1 maxCos)))

rewrite100.0ms (3.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

22×	`log-prod_binary32`
20×	`*-un-lft-identity_binary32`
20×	`add-sqr-sqrt_binary32`
14×	`add-cube-cbrt_binary32`
13×	`cancel-sign-sub-inv_binary32`

Counts

3 → 81

Calls

3 calls:

6.0ms	(-.f32 1 (log.f32 (pow.f32 (exp.f32 ux) (-.f32 1 maxCos))))
4.0ms	(pow.f32 (exp.f32 ux) (-.f32 1 maxCos))
3.0ms	(log.f32 (pow.f32 (exp.f32 ux) (-.f32 1 maxCos)))

Compiler

Compiled 1328 to 862 computations (35.1% saved)

series237.0ms (8.5%)

Error

Counts

3 → 27

Calls

3 calls:

122.0ms	(log.f32 (pow.f32 (exp.f32 ux) (-.f32 1 maxCos)))
71.0ms	(-.f32 1 (log.f32 (pow.f32 (exp.f32 ux) (-.f32 1 maxCos))))
29.0ms	(pow.f32 (exp.f32 ux) (-.f32 1 maxCos))

Compiler

Compiled 941 to 661 computations (29.8% saved)

simplify108.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

307×	`associate-+l+_binary32`
287×	`*-commutative_binary32`
261×	`cancel-sign-sub-inv_binary32`
212×	`distribute-rgt-in_binary32`
206×	`associate--l+_binary32`

Counts

108 → 90

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	194	1481
1	438	1410
2	1257	1346
3	4270	1344
4	4923	1344
5	4938	1344

prune51.0ms (1.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	90	2	92

Error

Counts

92 → 2

Alt Table

Status	Error	Program
✓	0.4b	(-.f32 1 (log.f32 (pow.f32 (exp.f32 ux) (-.f32 1 maxCos))))
✓	0.0b	(-.f32 1 (-.f32 ux (*.f32 maxCos ux)))

Compiler

Compiled 776 to 522 computations (32.7% saved)

regimes170.0ms (6.1%)

Accuracy

Total 0.0b remaining (23.5%)

Threshold costs 0.0b (23.5%)

Compiler

Compiled 1013 to 754 computations (25.6% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

19×	`cancel-sign-sub-inv_binary32`
18×	`distribute-rgt-neg-in_binary32`
11×	`distribute-lft-neg-in_binary32`
10×	`distribute-neg-in_binary32`
8×	`distribute-lft-neg-out_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	17	10
2	31	10
3	53	10
4	70	10
5	82	10
6	91	10
7	93	10
8	89	10

end1.0ms (0%)

Compiler: Compiled 10 to 7 computations (30% saved)

sample1.4s (51.7%)

Algorithm

1×

intervals

Results

377.0ms	7997×	body	128	valid
354.0ms	8000×	pre	128	true
0.0ms	3×	body	256	valid

Compiler

Compiled 58 to 44 computations (24.1% saved)

Details

analyze53.0ms (1.9%)

sample39.0ms (1.4%)

simplify16.0ms (0.6%)

prune2.0ms (0.1%)

localize16.0ms (0.6%)

rewrite165.0ms (5.9%)

series32.0ms (1.2%)

simplify73.0ms (2.6%)

prune25.0ms (0.9%)

localize16.0ms (0.6%)

rewrite50.0ms (1.8%)

series48.0ms (1.7%)

simplify81.0ms (2.9%)

prune30.0ms (1.1%)

localize28.0ms (1%)

rewrite100.0ms (3.6%)

series237.0ms (8.5%)

simplify108.0ms (3.9%)

prune51.0ms (1.8%)

regimes170.0ms (6.1%)

simplify5.0ms (0.2%)

end1.0ms (0%)

sample1.4s (51.7%)

Profiling