Details

analyze836.0ms (5.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 31 to 25 computations (19.4% saved)

sample99.0ms (0.6%)

Algorithm

1×

intervals

Results

48.0ms	256×	body	128	valid
16.0ms	256×	pre	128	true

Compiler

Compiled 50 to 42 computations (16% saved)

simplify29.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

23×	`sub-neg_binary32`
17×	`cancel-sign-sub-inv_binary32`
11×	`*-commutative_binary32`
9×	`distribute-rgt-neg-in_binary32`
8×	`+-commutative_binary32`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	22
1	26	22
2	37	22
3	44	22
4	51	22
5	60	22
6	74	22
7	97	22
8	108	22
9	110	22
10	127	22
11	123	22
12	134	22
13	137	22
14	138	22
15	116	22

prune4.0ms (0%)

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

14.9b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	14.9b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))

Compiler

Compiled 32 to 28 computations (12.5% saved)

localize76.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.1b	(cos.f32 (.f32 (.f32 2 PI.f32) u2))
0.2b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))
0.3b	(.f32 (.f32 2 PI.f32) u2)
15.5b	(log.f32 (-.f32 1 u1))

rewrite235.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

9.9b

Rules

18×	`add-sqr-sqrt_binary32`
16×	`associate-l_binary32`
14×	`*-un-lft-identity_binary32`
14×	`pow1_binary32`
13×	`sqrt-prod_binary32`

Counts

4 → 73

Calls

4 calls:

13.0ms	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))
7.0ms	(.f32 (.f32 2 PI.f32) u2)
7.0ms	(log.f32 (-.f32 1 u1))
3.0ms	(cos.f32 (.f32 (.f32 2 PI.f32) u2))

Compiler

Compiled 1307 to 1025 computations (21.6% saved)

series204.0ms (1.3%)

Error

0.4b

Counts

4 → 24

Calls

4 calls:

76.0ms	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))
29.0ms	(log.f32 (-.f32 1 u1))
28.0ms	(cos.f32 (.f32 (.f32 2 PI.f32) u2))
18.0ms	(.f32 (.f32 2 PI.f32) u2)

Compiler

Compiled 1189 to 997 computations (16.1% saved)

simplify215.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

431×	`*-commutative_binary32`
427×	`unsub-neg_binary32`
391×	`sub-neg_binary32`
351×	`distribute-rgt-neg-in_binary32`
331×	`neg-mul-1_binary32`

Counts

97 → 63

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	218	2184
1	470	1934
2	1427	1888
3	2789	1888
4	4242	1882
5	4659	1882
6	5097	1882

prune152.0ms (1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	53	10	63
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	53	11	64

Error

0.3b

Counts

64 → 11

Alt Table

Status	Error	Program
	15.7b	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (pow.f32 u1 3))) (log.f32 (+.f32 1 (+.f32 u1 (.f32 u1 u1))))))) (cos.f32 (.f32 (.f32 2 PI.f32) u2)))
▶	1.4b	(.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3)))))))
	1.9b	(.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (+.f32 u1 (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))
	3.0b	(.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (+.f32 u1 (.f32 1/2 (*.f32 u1 u1)))))
	6.5b	(.f32 (sqrt.f32 u1) (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))
✓	14.9b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))
	14.9b	(.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))) (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
	14.9b	(.f32 (.f32 (cbrt.f32 (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))) (cbrt.f32 (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))) (cbrt.f32 (.f32 (cos.f32 (.f32 (*.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
	11.0b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 (+.f32 (sqrt.f32 u1) 1)) (log.f32 (-.f32 1 (sqrt.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))
	16.2b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (.f32 2 (log.f32 (cbrt.f32 (-.f32 1 u1)))) (log.f32 (cbrt.f32 (-.f32 1 u1)))))) (cos.f32 (.f32 (.f32 2 PI.f32) u2)))
	15.8b	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (.f32 u1 u1))) (log.f32 (+.f32 u1 1))))) (cos.f32 (.f32 (.f32 2 PI.f32) u2)))

Compiler

Compiled 1250 to 999 computations (20.1% saved)

localize329.0ms (2.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3)))))))
0.2b	(.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3)))
0.3b	(.f32 (.f32 2 PI.f32) u2)
0.4b	(*.f32 u1 1/3)

rewrite411.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

18×	`add-sqr-sqrt_binary32`
18×	`add-cbrt-cube_binary32`
18×	`add-exp-log_binary32`
18×	`pow1_binary32`
16×	`associate-r_binary32`

Counts

4 → 84

Calls

4 calls:

18.0ms	(.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3)))))))
12.0ms	(.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3)))
7.0ms	(.f32 (.f32 2 PI.f32) u2)
6.0ms	(*.f32 u1 1/3)

Compiler

Compiled 2643 to 1834 computations (30.6% saved)

series259.0ms (1.6%)

Error

0.2b

Counts

4 → 25

Calls

4 calls:

131.0ms	(.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3)))))))
35.0ms	(.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3)))
20.0ms	(.f32 (.f32 2 PI.f32) u2)
18.0ms	(*.f32 u1 1/3)

Compiler

Compiled 1768 to 1399 computations (20.9% saved)

simplify191.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

694×	`distribute-rgt-in_binary32`
684×	`distribute-lft-in_binary32`
344×	`associate-l_binary32`
281×	`associate-r_binary32`
164×	`*-commutative_binary32`

Counts

109 → 58

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	229	3063
1	528	2864
2	1807	2700
3	4946	2700
4	4945	2700

prune179.0ms (1.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	54	4	58
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	56	13	69

Error

0.2b

Counts

69 → 13

Alt Table

Status	Error	Program
	2.6b	(.f32 (sqrt.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2))) (.f32 (sqrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))))) (sqrt.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)))))
	1.9b	(.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (+.f32 u1 (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))
	2.7b	(-.f32 (.f32 (+.f32 (.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 PI.f32 4))) 1) (sqrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))) (.f32 (sqrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))))) (+.f32 (.f32 2 (.f32 (.f32 u2 u2) (pow.f32 PI.f32 2))) (.f32 4/45 (*.f32 (pow.f32 u2 6) (pow.f32 PI.f32 6))))))
	14.9b	(.f32 (.f32 (cbrt.f32 (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))) (cbrt.f32 (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))) (cbrt.f32 (.f32 (cos.f32 (.f32 (*.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
▶	1.6b	(.f32 (.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2))) (cbrt.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)))) (.f32 (sqrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))))) (cbrt.f32 (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))))
	15.8b	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (.f32 u1 u1))) (log.f32 (+.f32 u1 1))))) (cos.f32 (.f32 (.f32 2 PI.f32) u2)))
	15.7b	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (pow.f32 u1 3))) (log.f32 (+.f32 1 (+.f32 u1 (.f32 u1 u1))))))) (cos.f32 (.f32 (.f32 2 PI.f32) u2)))
	1.6b	(.f32 (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (fabs.f32 (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))))))) (sqrt.f32 (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))))
	6.5b	(.f32 (sqrt.f32 u1) (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))
✓	14.9b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))
	14.9b	(.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))) (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
	11.0b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 (+.f32 (sqrt.f32 u1) 1)) (log.f32 (-.f32 1 (sqrt.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))
	16.2b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (.f32 2 (log.f32 (cbrt.f32 (-.f32 1 u1)))) (log.f32 (cbrt.f32 (-.f32 1 u1)))))) (cos.f32 (.f32 (.f32 2 PI.f32) u2)))

Compiler

Compiled 1692 to 1271 computations (24.9% saved)

localize193.0ms (1.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f32 (.f32 2 PI.f32) u2)
0.3b	(.f32 (.f32 2 PI.f32) u2)
0.3b	(.f32 (.f32 2 PI.f32) u2)
0.4b	(*.f32 u1 1/3)

rewrite397.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

21×	`add-cbrt-cube_binary32`
21×	`add-exp-log_binary32`
21×	`pow1_binary32`
12×	`associate-r_binary32`
11×	`add-sqr-sqrt_binary32`

Counts

4 → 72

Calls

4 calls:

10.0ms	(.f32 (.f32 2 PI.f32) u2)
7.0ms	(.f32 (.f32 2 PI.f32) u2)
7.0ms	(.f32 (.f32 2 PI.f32) u2)
6.0ms	(*.f32 u1 1/3)

Compiler

Compiled 3039 to 2155 computations (29.1% saved)

series121.0ms (0.8%)

Error

0.2b

Counts

4 → 12

Calls

4 calls:

28.0ms	(.f32 (.f32 2 PI.f32) u2)
25.0ms	(.f32 (.f32 2 PI.f32) u2)
23.0ms	(.f32 (.f32 2 PI.f32) u2)
23.0ms	(*.f32 u1 1/3)

Compiler

Compiled 1251 to 963 computations (23% saved)

simplify210.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

302×	`*-commutative_binary32`
294×	`distribute-rgt-out_binary32`
234×	`log-div_binary32`
208×	`associate-*l/_binary32`
207×	`sqr-pow_binary32`

Counts

84 → 37

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	103	1612
1	192	1473
2	588	1113
3	817	1113
4	1016	1113
5	1304	1113
6	2652	1113
7	4094	1113
8	4807	1113
9	4914	1113

prune180.0ms (1.1%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	37	0	37
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	37	13	50

Error

0.2b

Counts

50 → 13

Alt Table

Status	Error	Program
	2.6b	(.f32 (sqrt.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2))) (.f32 (sqrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))))) (sqrt.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)))))
	1.9b	(.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (+.f32 u1 (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))
	2.7b	(-.f32 (.f32 (+.f32 (.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 PI.f32 4))) 1) (sqrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))) (.f32 (sqrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))))) (+.f32 (.f32 2 (.f32 (.f32 u2 u2) (pow.f32 PI.f32 2))) (.f32 4/45 (*.f32 (pow.f32 u2 6) (pow.f32 PI.f32 6))))))
	14.9b	(.f32 (.f32 (cbrt.f32 (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))) (cbrt.f32 (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))) (cbrt.f32 (.f32 (cos.f32 (.f32 (*.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
✓	1.6b	(.f32 (.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2))) (cbrt.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)))) (.f32 (sqrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))))) (cbrt.f32 (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))))
	15.8b	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (.f32 u1 u1))) (log.f32 (+.f32 u1 1))))) (cos.f32 (.f32 (.f32 2 PI.f32) u2)))
	15.7b	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (pow.f32 u1 3))) (log.f32 (+.f32 1 (+.f32 u1 (.f32 u1 u1))))))) (cos.f32 (.f32 (.f32 2 PI.f32) u2)))
▶	1.6b	(.f32 (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (fabs.f32 (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))))))) (sqrt.f32 (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))))
	6.5b	(.f32 (sqrt.f32 u1) (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))
✓	14.9b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))
	14.9b	(.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))) (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
	11.0b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 (+.f32 (sqrt.f32 u1) 1)) (log.f32 (-.f32 1 (sqrt.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))
	16.2b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (.f32 2 (log.f32 (cbrt.f32 (-.f32 1 u1)))) (log.f32 (cbrt.f32 (-.f32 1 u1)))))) (cos.f32 (.f32 (.f32 2 PI.f32) u2)))

Compiler

Compiled 1349 to 1037 computations (23.1% saved)

localize185.0ms (1.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f32 (.f32 2 PI.f32) u2)
0.4b	(.f32 (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (fabs.f32 (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))))))) (sqrt.f32 (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))))
0.4b	(*.f32 u1 1/3)
0.4b	(*.f32 u1 1/3)

rewrite594.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

19×	`associate-r_binary32`
18×	`add-cbrt-cube_binary32`
18×	`add-exp-log_binary32`
18×	`pow1_binary32`
16×	`add-sqr-sqrt_binary32`

Counts

4 → 87

Calls

4 calls:

35.0ms	(.f32 (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (fabs.f32 (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))))))) (sqrt.f32 (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))))
9.0ms	(.f32 (.f32 2 PI.f32) u2)
6.0ms	(*.f32 u1 1/3)
6.0ms	(*.f32 u1 1/3)

Compiler

Compiled 5004 to 3496 computations (30.1% saved)

series562.0ms (3.6%)

Error

0.1b

Counts

4 → 23

Calls

4 calls:

345.0ms	(.f32 (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (fabs.f32 (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))))))) (sqrt.f32 (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))))
32.0ms	(*.f32 u1 1/3)
29.0ms	(*.f32 u1 1/3)
28.0ms	(.f32 (.f32 2 PI.f32) u2)

Compiler

Compiled 3962 to 3168 computations (20% saved)

simplify180.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

391×	`associate-l_binary32`
349×	`associate-r_binary32`
235×	`*-commutative_binary32`
233×	`times-frac_binary32`
210×	`distribute-rgt-in_binary32`

Counts

110 → 73

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	278	6279
1	669	4981
2	2104	4410
3	4679	4370
4	4911	4370

prune188.0ms (1.2%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	66	7	73
Fresh	3	7	10
Picked	1	0	1
Done	0	2	2
Total	70	16	86

Error

0.1b

Counts

86 → 16

Alt Table

Status	Error	Program
	1.9b	(/.f32 (.f32 (sqrt.f32 (cbrt.f32 (-.f32 (.f32 u1 u1) (.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))) (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))))))) (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (fabs.f32 (cbrt.f32 (-.f32 (.f32 u1 u1) (.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))) (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))))))))) (.f32 (sqrt.f32 (cbrt.f32 (-.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))) (fabs.f32 (cbrt.f32 (-.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3)))))))))
✓	14.9b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))
	2.7b	(-.f32 (.f32 (+.f32 (.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 PI.f32 4))) 1) (sqrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))) (.f32 (sqrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))))) (+.f32 (.f32 2 (.f32 (.f32 u2 u2) (pow.f32 PI.f32 2))) (.f32 4/45 (*.f32 (pow.f32 u2 6) (pow.f32 PI.f32 6))))))
	14.9b	(.f32 (.f32 (cbrt.f32 (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))) (cbrt.f32 (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))) (cbrt.f32 (.f32 (cos.f32 (.f32 (*.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
	1.8b	(.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))) (sqrt.f32 (cbrt.f32 (sqrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))))) (sqrt.f32 (cbrt.f32 (sqrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3)))))))))
	3.7b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (pow.f32 (pow.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))))) 1/6) 3))))
	1.7b	(/.f32 (.f32 (sqrt.f32 (cbrt.f32 (+.f32 (pow.f32 u1 3) (pow.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))) 3)))) (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (fabs.f32 (cbrt.f32 (-.f32 (.f32 u1 u1) (.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))) (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))))))))) (.f32 (sqrt.f32 (cbrt.f32 (+.f32 (.f32 u1 u1) (.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))) (-.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))) u1))))) (fabs.f32 (cbrt.f32 (-.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3)))))))))
	11.0b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 (+.f32 (sqrt.f32 u1) 1)) (log.f32 (-.f32 1 (sqrt.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))
✓	1.6b	(.f32 (.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2))) (cbrt.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)))) (.f32 (sqrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))))) (cbrt.f32 (cos.f32 (.f32 (*.f32 2 PI.f32) u2)))))
	15.8b	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (.f32 u1 u1))) (log.f32 (+.f32 u1 1))))) (cos.f32 (.f32 (.f32 2 PI.f32) u2)))
	15.7b	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (pow.f32 u1 3))) (log.f32 (+.f32 1 (+.f32 u1 (.f32 u1 u1))))))) (cos.f32 (.f32 (.f32 2 PI.f32) u2)))
	1.7b	(.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))) (fabs.f32 (cbrt.f32 (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))))) (sqrt.f32 (cbrt.f32 (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3)))))))))
	1.9b	(.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (+.f32 u1 (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))
	1.9b	(/.f32 (.f32 (pow.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))) 1/6) (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (fabs.f32 (cbrt.f32 (+.f32 (pow.f32 u1 3) (pow.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))) 3)))))) (fabs.f32 (cbrt.f32 (+.f32 (.f32 u1 u1) (-.f32 (.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))) (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))) (.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3))))))))))
	1.8b	(.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 2 PI.f32) u2)) (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))))) (sqrt.f32 (cbrt.f32 (pow.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3))))) 2/3)))) (sqrt.f32 (cbrt.f32 (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3)))))))))
	16.2b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (.f32 2 (log.f32 (cbrt.f32 (-.f32 1 u1)))) (log.f32 (cbrt.f32 (-.f32 1 u1)))))) (cos.f32 (.f32 (.f32 2 PI.f32) u2)))

Compiler

Compiled 3843 to 2743 computations (28.6% saved)

regimes6.7s (42.4%)

Accuracy

Total 0.3b remaining (70.1%)

Threshold costs 0.3b (70.1%)

Compiler

Compiled 93406 to 72165 computations (22.7% saved)

bsearch16.0ms (0.1%)

Compiler: Compiled 6 to 5 computations (16.7% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	84
1	52	84
2	57	84
3	60	84
4	61	84
5	60	84

end2.0ms (0%)

Compiler: Compiled 55 to 43 computations (21.8% saved)

sample3.1s (19.4%)

Algorithm

1×

intervals

Results

983.0ms	8000×	body	128	valid
260.0ms	8000×	pre	128	true
0.0ms	3×	pre	128	false

Compiler

Compiled 998 to 754 computations (24.4% saved)

Iter	Nodes	Cost
0	14	22
1	26	22
2	37	22
3	44	22
4	51	22
5	60	22
6	74	22
7	97	22
8	108	22
9	110	22
10	127	22
11	123	22
12	134	22
13	137	22
14	138	22
15	116	22

Iter	Nodes	Cost
0	14	22
1	26	22
2	37	22
3	44	22
4	51	22
5	60	22
6	74	22
7	97	22
8	108	22
9	110	22
10	127	22
11	123	22
12	134	22
13	137	22
14	138	22
15	116	22

Details

analyze836.0ms (5.3%)

sample99.0ms (0.6%)

simplify29.0ms (0.2%)

prune4.0ms (0%)

localize76.0ms (0.5%)

rewrite235.0ms (1.5%)

series204.0ms (1.3%)

simplify215.0ms (1.4%)

prune152.0ms (1%)

localize329.0ms (2.1%)

rewrite411.0ms (2.6%)

series259.0ms (1.6%)

simplify191.0ms (1.2%)

prune179.0ms (1.1%)

localize193.0ms (1.2%)

rewrite397.0ms (2.5%)

series121.0ms (0.8%)

simplify210.0ms (1.3%)

prune180.0ms (1.1%)

localize185.0ms (1.2%)

rewrite594.0ms (3.8%)

series562.0ms (3.6%)

simplify180.0ms (1.1%)

prune188.0ms (1.2%)

regimes6.7s (42.4%)

bsearch16.0ms (0.1%)

simplify6.0ms (0%)

end2.0ms (0%)

sample3.1s (19.4%)

Profiling

Iter	Nodes	Cost
0	14	22
1	26	22
2	37	22
3	44	22
4	51	22
5	60	22
6	74	22
7	97	22
8	108	22
9	110	22
10	127	22
11	123	22
12	134	22
13	137	22
14	138	22
15	116	22