Details

analyze782.0ms (2.4%)

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)

sample134.0ms (0.4%)

Algorithm

1×

intervals

Results

68.0ms	256×	body	128	valid
18.0ms	256×	pre	128	true

Compiler

Compiled 50 to 42 computations (16% saved)

simplify32.0ms (0.1%)

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

prune6.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.8b

Counts

1 → 1

Alt Table

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

Compiler

Compiled 32 to 28 computations (12.5% saved)

localize95.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite261.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

9.8b

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:

16.0ms	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (.f32 (*.f32 2 PI.f32) u2)))
8.0ms	(.f32 (.f32 2 PI.f32) u2)
6.0ms	(log.f32 (-.f32 1 u1))
3.0ms	(sin.f32 (.f32 (.f32 2 PI.f32) u2))

Compiler

Compiled 1307 to 1025 computations (21.6% saved)

series244.0ms (0.8%)

Error

0.5b

Counts

4 → 24

Calls

4 calls:

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

Compiler

Compiled 1269 to 1043 computations (17.8% saved)

simplify236.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

506×	`*-commutative_binary32`
414×	`unsub-neg_binary32`
408×	`sub-neg_binary32`
380×	`distribute-rgt-neg-in_binary32`
340×	`neg-mul-1_binary32`

Counts

97 → 63

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	224	2267
1	489	1996
2	1550	1950
3	2950	1932
4	4256	1932
5	4742	1932
6	4870	1932

prune203.0ms (0.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	54	9	63
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	54	10	64

Error

0.4b

Counts

64 → 10

Alt Table

Status	Error	Program
	15.0b	(.f32 (sqrt.f32 (.f32 (sin.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))) (sqrt.f32 (.f32 (sin.f32 (.f32 (*.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
	6.5b	(.f32 (sqrt.f32 u1) (sin.f32 (.f32 (*.f32 2 PI.f32) u2)))
	15.2b	(exp.f32 (log.f32 (.f32 (sin.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)))))) (sin.f32 (.f32 (*.f32 2 PI.f32) u2)))
	15.6b	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (pow.f32 u1 3))) (log.f32 (+.f32 1 (+.f32 u1 (.f32 u1 u1))))))) (sin.f32 (.f32 (.f32 2 PI.f32) u2)))
▶	1.5b	(.f32 (sin.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)))))))
✓	14.8b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (.f32 (*.f32 2 PI.f32) u2)))
	3.1b	(.f32 (sin.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (+.f32 u1 (.f32 1/2 (*.f32 u1 u1)))))
	14.8b	(.f32 (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))) (cbrt.f32 (.f32 (sin.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))) (cbrt.f32 (.f32 (sin.f32 (.f32 (*.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
	22.6b	(log.f32 (exp.f32 (.f32 (sin.f32 (.f32 (*.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))

Compiler

Compiled 1210 to 966 computations (20.2% saved)

localize169.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.2b	(.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3)))
0.3b	(.f32 (.f32 2 PI.f32) u2)
0.4b	(.f32 (sin.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.4b	(*.f32 u1 1/3)

rewrite424.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

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:

23.0ms	(.f32 (sin.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)))))))
14.0ms	(.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3)))
8.0ms	(.f32 (.f32 2 PI.f32) u2)
7.0ms	(*.f32 u1 1/3)

Compiler

Compiled 2643 to 1834 computations (30.6% saved)

series356.0ms (1.1%)

Error

0.4b

Counts

4 → 25

Calls

4 calls:

211.0ms	(.f32 (sin.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)))))))
41.0ms	(.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 u1 1/3)))
22.0ms	(.f32 (.f32 2 PI.f32) u2)
19.0ms	(*.f32 u1 1/3)

Compiler

Compiled 1816 to 1428 computations (21.4% saved)

simplify174.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

694×	`distribute-rgt-in_binary32`
684×	`distribute-lft-in_binary32`
351×	`associate-l_binary32`
297×	`associate-r_binary32`
168×	`*-commutative_binary32`

Counts

109 → 58

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	232	3106
1	540	2904
2	1890	2734
3	4964	2734

prune198.0ms (0.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	53	5	58
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	55	13	68

Error

0.1b

Counts

68 → 13

Alt Table

Status	Error	Program
	2.3b	(.f32 (sqrt.f32 (sin.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 (sin.f32 (.f32 (.f32 2 PI.f32) u2)))))
	6.1b	(.f32 2 (.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 PI.f32 u2)))
	15.6b	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (pow.f32 u1 3))) (log.f32 (+.f32 1 (+.f32 u1 (.f32 u1 u1))))))) (sin.f32 (.f32 (.f32 2 PI.f32) u2)))
	1.9b	(.f32 (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 2 PI.f32) u2))) (cbrt.f32 (sin.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 (sin.f32 (.f32 (*.f32 2 PI.f32) u2)))))
	15.0b	(.f32 (sqrt.f32 (.f32 (sin.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))) (sqrt.f32 (.f32 (sin.f32 (.f32 (*.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
	6.5b	(.f32 (sqrt.f32 u1) (sin.f32 (.f32 (*.f32 2 PI.f32) u2)))
	22.6b	(log.f32 (exp.f32 (.f32 (sin.f32 (.f32 (*.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
▶	1.6b	(.f32 (.f32 (sin.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))))))))
	15.2b	(exp.f32 (log.f32 (.f32 (sin.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)))))) (sin.f32 (.f32 (*.f32 2 PI.f32) u2)))
✓	14.8b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (.f32 (*.f32 2 PI.f32) u2)))
	3.1b	(.f32 (sin.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (+.f32 u1 (.f32 1/2 (*.f32 u1 u1)))))
	3.1b	(+.f32 (.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 (.f32 2 PI.f32) u2) (.f32 4/3 (.f32 (pow.f32 u2 3) (pow.f32 PI.f32 3))))) (.f32 4/15 (.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 (pow.f32 u2 5) (pow.f32 PI.f32 5)))))

Compiler

Compiled 1642 to 1228 computations (25.2% saved)

localize207.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.3b	(.f32 (.f32 2 PI.f32) u2)
0.4b	(*.f32 u1 1/3)
0.4b	(*.f32 u1 1/3)
0.4b	(.f32 (.f32 (sin.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))))))))

rewrite707.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

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:

41.0ms	(.f32 (.f32 (sin.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)
8.0ms	(*.f32 u1 1/3)
7.0ms	(*.f32 u1 1/3)

Compiler

Compiled 5004 to 3496 computations (30.1% saved)

series596.0ms (1.9%)

Error

0.1b

Counts

4 → 23

Calls

4 calls:

391.0ms	(.f32 (.f32 (sin.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))))))))
28.0ms	(.f32 (.f32 2 PI.f32) u2)
28.0ms	(*.f32 u1 1/3)
27.0ms	(*.f32 u1 1/3)

Compiler

Compiled 4010 to 3201 computations (20.2% saved)

simplify376.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

408×	`associate-l_binary32`
375×	`associate-r_binary32`
241×	`*-commutative_binary32`
233×	`times-frac_binary32`
210×	`distribute-rgt-in_binary32`

Counts

110 → 90

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	281	6382
1	685	5321
2	2226	4450
3	4614	4401
4	4995	4401
5	4910	4401

prune630.0ms (2%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	84	6	90
Fresh	4	7	11
Picked	0	1	1
Done	0	1	1
Total	88	15	103

Error

0.0b

Counts

103 → 15

Alt Table

Status	Error	Program
	2.3b	(.f32 (sqrt.f32 (sin.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 (sin.f32 (.f32 (.f32 2 PI.f32) u2)))))
	15.6b	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (pow.f32 u1 3))) (log.f32 (+.f32 1 (+.f32 u1 (.f32 u1 u1))))))) (sin.f32 (.f32 (.f32 2 PI.f32) u2)))
✓	14.8b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (.f32 (*.f32 2 PI.f32) u2)))
▶	1.7b	(/.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 u2 PI.f32))) (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 1/3 u1)))) 3))))) (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 1/3 u1)))) (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1))))))))) (.f32 (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 1/3 u1)))) (-.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))) u1))))) (sqrt.f32 (cbrt.f32 (-.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 1/3 u1)))))))))
	1.7b	(.f32 (.f32 (.f32 (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))))) (sin.f32 (.f32 2 (.f32 u2 PI.f32)))) (sqrt.f32 (cbrt.f32 (pow.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1))))) 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)))))))))
	15.0b	(.f32 (sqrt.f32 (.f32 (sin.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))) (sqrt.f32 (.f32 (sin.f32 (.f32 (*.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
	3.1b	(+.f32 (.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 (.f32 2 PI.f32) u2) (.f32 4/3 (.f32 (pow.f32 u2 3) (pow.f32 PI.f32 3))))) (.f32 4/15 (.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 (pow.f32 u2 5) (pow.f32 PI.f32 5)))))
	1.7b	(.f32 (.f32 (.f32 (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))))) (sin.f32 (.f32 2 (.f32 u2 PI.f32)))) (pow.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1))))) 1/12)) (sqrt.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)))))))))
	22.6b	(log.f32 (exp.f32 (.f32 (sin.f32 (.f32 (*.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
✓	1.6b	(.f32 (.f32 (sin.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))))))))
	15.2b	(exp.f32 (log.f32 (.f32 (sin.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)))))) (sin.f32 (.f32 (*.f32 2 PI.f32) u2)))
	1.7b	(/.f32 (.f32 (pow.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1))))) 1/6) (.f32 (sin.f32 (.f32 2 (.f32 u2 PI.f32))) (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 1/3 u1)))) 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.7b	(/.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 u2 PI.f32))) (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 1/3 u1)))) 3))))) (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 1/3 u1)))) 3))))) (.f32 (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 1/3 u1)))) (-.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))) u1))))) (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 1/3 u1)))) (-.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 1/3 u1)))) u1)))))))
	2.4b	(.f32 (sin.f32 (.f32 2 (.f32 u2 PI.f32))) (pow.f32 (pow.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 1/3 u1))))) 1/6) 3))

Compiler

Compiled 5250 to 3717 computations (29.2% saved)

localize396.0ms (1.2%)

Local error

Found 4 expressions with local error:

0.4b	(/.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 u2 PI.f32))) (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 1/3 u1)))) 3))))) (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 1/3 u1)))) (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1))))))))) (.f32 (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 1/3 u1)))) (-.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))) u1))))) (sqrt.f32 (cbrt.f32 (-.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 1/3 u1)))))))))
0.4b	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 u2 PI.f32))) (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 1/3 u1)))) 3))))) (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 1/3 u1)))) (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))))))))
0.4b	(pow.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))) 3)
0.5b	(.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))) (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 1/3 u1)))))

rewrite2.6s (8.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

36×	`cbrt-div_binary32`
33×	`add-cbrt-cube_binary32`
33×	`add-exp-log_binary32`
20×	`associate-*r/_binary32`
18×	`fabs-div_binary32`

Counts

4 → 134

Calls

4 calls:

83.0ms	(/.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 u2 PI.f32))) (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 1/3 u1)))) 3))))) (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 1/3 u1)))) (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1))))))))) (.f32 (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 1/3 u1)))) (-.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))) u1))))) (sqrt.f32 (cbrt.f32 (-.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 1/3 u1)))))))))
53.0ms	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 u2 PI.f32))) (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 1/3 u1)))) 3))))) (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 1/3 u1)))) (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))))))))
26.0ms	(.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))) (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 1/3 u1)))))
14.0ms	(pow.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))) 3)

Compiler

Compiled 22868 to 15474 computations (32.3% saved)

series3.3s (10.1%)

Error

0.0b

Counts

4 → 33

Calls

4 calls:

1.6s	(/.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 u2 PI.f32))) (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 1/3 u1)))) 3))))) (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 1/3 u1)))) (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1))))))))) (.f32 (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 1/3 u1)))) (-.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))) u1))))) (sqrt.f32 (cbrt.f32 (-.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 1/3 u1)))))))))
874.0ms	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 u2 PI.f32))) (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 1/3 u1)))) 3))))) (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 1/3 u1)))) (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))))))))
76.0ms	(pow.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))) 3)
74.0ms	(.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))) (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 1/3 u1)))))

Compiler

Compiled 16085 to 12819 computations (20.3% saved)

simplify944.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

458×	`times-frac_binary32`
411×	`associate-/l*_binary32`
201×	`associate-/r*_binary32`
170×	`distribute-rgt-in_binary32`
167×	`distribute-lft-in_binary32`

Counts

167 → 155

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	548	28042
1	1660	22575
2	4888	22575
3	4955	22575

prune2.1s (6.6%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	153	2	155
Fresh	2	10	12
Picked	0	1	1
Done	0	2	2
Total	155	15	170

Error

0.0b

Counts

170 → 15

Alt Table

Status	Error	Program
	1.7b	(/.f32 (.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 u2 PI.f32))) (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))))) (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)))))))) (sqrt.f32 (cbrt.f32 (-.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))))))) (.f32 (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 1/3 u1)))) (-.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))) u1))))) (sqrt.f32 (cbrt.f32 (-.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))))))))
	15.2b	(exp.f32 (log.f32 (.f32 (sin.f32 (.f32 (*.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
	2.3b	(.f32 (sqrt.f32 (sin.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 (sin.f32 (.f32 (.f32 2 PI.f32) u2)))))
	15.6b	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log.f32 (-.f32 1 (pow.f32 u1 3))) (log.f32 (+.f32 1 (+.f32 u1 (.f32 u1 u1))))))) (sin.f32 (.f32 (.f32 2 PI.f32) u2)))
✓	14.8b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (.f32 (*.f32 2 PI.f32) u2)))
✓	1.7b	(/.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 u2 PI.f32))) (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 1/3 u1)))) 3))))) (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 1/3 u1)))) (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1))))))))) (.f32 (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 1/3 u1)))) (-.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))) u1))))) (sqrt.f32 (cbrt.f32 (-.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 1/3 u1)))))))))
	2.0b	(/.f32 (.f32 (pow.f32 (-.f32 (.f32 u1 u1) (+.f32 (.f32 (pow.f32 u1 7) 1/6) (+.f32 (.f32 (pow.f32 u1 6) 13/36) (+.f32 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 1/3 (pow.f32 u1 5))) (.f32 1/16 (pow.f32 u1 8)))))) 1/6) (.f32 (sin.f32 (.f32 2 (.f32 u2 PI.f32))) (cbrt.f32 (+.f32 (.f32 1/4 (pow.f32 u1 7)) (+.f32 (.f32 1/8 (pow.f32 u1 6)) (+.f32 (.f32 31/108 (pow.f32 u1 9)) (+.f32 (.f32 (pow.f32 u1 8) 17/48) (+.f32 (.f32 1/16 (pow.f32 u1 11)) (+.f32 (pow.f32 u1 3) (+.f32 (.f32 1/64 (pow.f32 u1 12)) (.f32 17/96 (pow.f32 u1 10)))))))))))) (.f32 (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 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 u1 1/3)))) u1))))) (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)))))))))
	1.7b	(.f32 (.f32 (.f32 (cbrt.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1)))))) (sin.f32 (.f32 2 (.f32 u2 PI.f32)))) (sqrt.f32 (cbrt.f32 (pow.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1))))) 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)))))))))
	15.0b	(.f32 (sqrt.f32 (.f32 (sin.f32 (.f32 (.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))) (sqrt.f32 (.f32 (sin.f32 (.f32 (*.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
	22.6b	(log.f32 (exp.f32 (.f32 (sin.f32 (.f32 (*.f32 2 PI.f32) u2)) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))
✓	1.6b	(.f32 (.f32 (sin.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))))))))
	11.0b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (log.f32 (+.f32 (sqrt.f32 u1) 1)) (log.f32 (-.f32 1 (sqrt.f32 u1)))))) (sin.f32 (.f32 (*.f32 2 PI.f32) u2)))
	1.7b	(/.f32 (.f32 (pow.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (.f32 1/3 u1))))) 1/6) (.f32 (sin.f32 (.f32 2 (.f32 u2 PI.f32))) (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 1/3 u1)))) 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))))))))))
	2.4b	(.f32 (sin.f32 (.f32 2 (.f32 u2 PI.f32))) (pow.f32 (pow.f32 (+.f32 u1 (+.f32 (.f32 1/4 (pow.f32 u1 4)) (.f32 (.f32 u1 u1) (+.f32 1/2 (*.f32 1/3 u1))))) 1/6) 3))
	3.1b	(+.f32 (.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 (.f32 2 PI.f32) u2) (.f32 4/3 (.f32 (pow.f32 u2 3) (pow.f32 PI.f32 3))))) (.f32 4/15 (.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 (pow.f32 u2 5) (pow.f32 PI.f32 5)))))

Compiler

Compiled 20861 to 14822 computations (28.9% saved)

regimes13.5s (42.1%)

Accuracy

Total 1.9b remaining (93%)

Threshold costs 0b (0%)

Compiler

Compiled 171160 to 128785 computations (24.8% saved)

simplify11.0ms (0%)

Algorithm

1×	egg-herbie

Rules

21×	`*-commutative_binary32`
19×	`+-commutative_binary32`
14×	`sub-neg_binary32`
11×	`neg-sub0_binary32`
11×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	167
1	65	167
2	83	167
3	119	167
4	143	167
5	161	167
6	167	167
7	168	167
8	165	167

end4.0ms (0%)

Compiler: Compiled 111 to 80 computations (27.9% saved)

sample3.4s (10.5%)

Algorithm

1×

intervals

Results

1.1s	8000×	body	128	valid
292.0ms	8000×	pre	128	true
0.0ms	3×	pre	128	false

Compiler

Compiled 1058 to 797 computations (24.7% 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	44	167
1	65	167
2	83	167
3	119	167
4	143	167
5	161	167
6	167	167
7	168	167
8	165	167

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	44	167
1	65	167
2	83	167
3	119	167
4	143	167
5	161	167
6	167	167
7	168	167
8	165	167

Details

analyze782.0ms (2.4%)

sample134.0ms (0.4%)

simplify32.0ms (0.1%)

prune6.0ms (0%)

localize95.0ms (0.3%)

rewrite261.0ms (0.8%)

series244.0ms (0.8%)

simplify236.0ms (0.7%)

prune203.0ms (0.6%)

localize169.0ms (0.5%)

rewrite424.0ms (1.3%)

series356.0ms (1.1%)

simplify174.0ms (0.5%)

prune198.0ms (0.6%)

localize207.0ms (0.6%)

rewrite707.0ms (2.2%)

series596.0ms (1.9%)

simplify376.0ms (1.2%)

prune630.0ms (2%)

localize396.0ms (1.2%)

rewrite2.6s (8.2%)

series3.3s (10.1%)

simplify944.0ms (2.9%)

prune2.1s (6.6%)

regimes13.5s (42.1%)

simplify11.0ms (0%)

end4.0ms (0%)

sample3.4s (10.5%)

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

Iter	Nodes	Cost
0	44	167
1	65	167
2	83	167
3	119	167
4	143	167
5	161	167
6	167	167
7	168	167
8	165	167