Details

analyze612.0ms (3.9%)

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 37 to 28 computations (24.3% saved)

sample102.0ms (0.7%)

Algorithm

1×

intervals

Results

45.0ms	256×	body	128	valid
17.0ms	256×	pre	128	true

Compiler

Compiled 54 to 42 computations (22.2% saved)

simplify20.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`sub-neg_binary32`
7×	`+-commutative_binary32`
6×	`fma-def_binary32`
4×	`*-commutative_binary32`
4×	`div-sub_binary32`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	27	17
4	34	17
5	44	17
6	54	17
7	69	17
8	76	17
9	79	17
10	80	17
11	60	17

prune3.0ms (0%)

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.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.4b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))

Compiler

Compiled 42 to 33 computations (21.4% saved)

localize66.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(cos.f32 (*.f32 314159265359/50000000000 u2))
✓	0.2b	(/.f32 u1 (-.f32 1 u1))
✓	0.2b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
✓	0.3b	(*.f32 314159265359/50000000000 u2)

series66.0ms (0.4%)

Counts

4 → 36

Calls

4 calls:

54.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
4.0ms	(/.f32 u1 (-.f32 1 u1))
3.0ms	(cos.f32 (*.f32 314159265359/50000000000 u2))
3.0ms	(*.f32 314159265359/50000000000 u2)

rewrite98.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

59×	`add-sqr-sqrt_binary32`
50×	`*-un-lft-identity_binary32`
37×	`times-frac_binary32`
30×	`associate-l_binary32`
29×	`add-cube-cbrt_binary32`

Counts

4 → 119

Calls

4 calls:

25.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
9.0ms	(/.f32 u1 (-.f32 1 u1))
7.0ms	(*.f32 314159265359/50000000000 u2)
2.0ms	(cos.f32 (*.f32 314159265359/50000000000 u2))

simplify201.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

452×	`associate-l_binary32`
431×	`fma-def_binary32`
378×	`associate-/r*_binary32`
357×	`times-frac_binary32`
249×	`associate-/l*_binary32`

Counts

155 → 194

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	260	2854
1	565	2690
2	1637	2568
3	4598	2568
4	4961	2568

prune502.0ms (3.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	182	12	194
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	183	12	195

Error

0.1b

Counts

195 → 12

Alt Table

Status	Error	Program
	0.6b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (/.f32 u1 (-.f32 1 u1))) (cbrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 (sqrt.f32 (cbrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2))))
▶	0.4b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (.f32 314159265359/50000000000 u2))) (cos.f32 (.f32 314159265359/50000000000 u2)))))
	0.5b	(.f32 (sqrt.f32 (.f32 (/.f32 1 (+.f32 1 (sqrt.f32 u1))) (/.f32 u1 (-.f32 1 (sqrt.f32 u1))))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	2.5b	(.f32 (.f32 (sqrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (sqrt.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))) (.f32 (sqrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (sqrt.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))))
	0.4b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 (.f32 (sqrt.f32 314159265359/50000000000) (sqrt.f32 u2)) (.f32 (sqrt.f32 314159265359/50000000000) (sqrt.f32 u2)))))
	0.5b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (.f32 (cbrt.f32 (cos.f32 (.f32 314159265359/50000000000 u2))) (cbrt.f32 (cos.f32 (.f32 314159265359/50000000000 u2))))) (cbrt.f32 (cos.f32 (.f32 314159265359/50000000000 u2))))
	0.4b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (expm1.f32 (log1p.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))))
	0.8b	(.f32 (.f32 (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2))))
	0.7b	(.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (sqrt.f32 (-.f32 1 u1)))) (.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (sqrt.f32 (-.f32 1 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2))))
	0.4b	(.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 1 u1) -1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
	0.9b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (log.f32 (exp.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))))
	3.0b	(exp.f32 (+.f32 (log.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (log.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))))

Compiler

Compiled 4491 to 3310 computations (26.3% saved)

localize102.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (*.f32 314159265359/50000000000 u2)))
✓	0.3b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))
	0.3b	(*.f32 314159265359/50000000000 u2)
✓	0.5b	(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))

series29.0ms (0.2%)

Counts

3 → 32

Calls

3 calls:

17.0ms

(*.f32 (*.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))

7.0ms

(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))

4.0ms

(*.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)) (cos.f32 (*.f32 314159265359/50000000000 u2)))

rewrite100.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

199×	`add-sqr-sqrt_binary32`
148×	`sqrt-prod_binary32`
129×	`*-un-lft-identity_binary32`
127×	`times-frac_binary32`
66×	`add-cube-cbrt_binary32`

Counts

3 → 250

Calls

3 calls:

31.0ms

(*.f32 (*.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))

25.0ms

(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))

5.0ms

(*.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)) (cos.f32 (*.f32 314159265359/50000000000 u2)))

simplify270.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

477×	`fma-def_binary32`
387×	`times-frac_binary32`
313×	`associate-l_binary32`
269×	`associate-r_binary32`
241×	`unswap-sqr_binary32`

Counts

282 → 359

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	360	4801
1	755	4214
2	2565	4118
3	4536	4064
4	4910	4064

prune1.5s (9.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	421	4	425
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	424	13	437

Error

0.1b

Counts

437 → 13

Alt Table

Status	Error	Program
	0.9b	(cbrt.f32 (.f32 (.f32 (exp.f32 (+.f32 (log.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (log.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (.f32 314159265359/50000000000 u2))) (cos.f32 (*.f32 314159265359/50000000000 u2)))))
	0.7b	(.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (sqrt.f32 (-.f32 1 u1)))) (.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (sqrt.f32 (-.f32 1 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2))))
	0.4b	(cbrt.f32 (.f32 (.f32 (.f32 (/.f32 1 (+.f32 1 (sqrt.f32 u1))) (/.f32 u1 (-.f32 1 (sqrt.f32 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (.f32 314159265359/50000000000 u2))) (cos.f32 (.f32 314159265359/50000000000 u2)))))
	0.9b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (log.f32 (exp.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))))
	0.4b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 (.f32 (sqrt.f32 314159265359/50000000000) (sqrt.f32 u2)) (.f32 (sqrt.f32 314159265359/50000000000) (sqrt.f32 u2)))))
	0.5b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (.f32 (cbrt.f32 (cos.f32 (.f32 314159265359/50000000000 u2))) (cbrt.f32 (cos.f32 (.f32 314159265359/50000000000 u2))))) (cbrt.f32 (cos.f32 (.f32 314159265359/50000000000 u2))))
	0.6b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (/.f32 u1 (-.f32 1 u1))) (cbrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 (sqrt.f32 (cbrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2))))
	0.8b	(.f32 (.f32 (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2))))
▶	0.3b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (*.f32 314159265359/50000000000 u2))) (cos.f32 (exp.f32 (+.f32 (log.f32 314159265359/50000000000) (log.f32 u2)))))))
	0.4b	(.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 1 u1) -1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
	3.0b	(exp.f32 (+.f32 (log.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (log.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))))
	2.5b	(.f32 (.f32 (sqrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (sqrt.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))) (.f32 (sqrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (sqrt.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))))
	0.4b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (.f32 314159265359/50000000000 u2))) (cos.f32 (.f32 (.f32 (cbrt.f32 (.f32 314159265359/50000000000 u2)) (cbrt.f32 (.f32 314159265359/50000000000 u2))) (cbrt.f32 (.f32 314159265359/50000000000 u2)))))))

Compiler

Compiled 18336 to 13737 computations (25.1% saved)

localize165.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f32 314159265359/50000000000 u2)
✓	0.4b	(+.f32 (log.f32 314159265359/50000000000) (log.f32 u2))
	0.5b	(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))
✓	1.4b	(exp.f32 (+.f32 (log.f32 314159265359/50000000000) (log.f32 u2)))

series264.0ms (1.7%)

Counts

2 → 16

Calls

2 calls:

141.0ms	(exp.f32 (+.f32 (log.f32 314159265359/50000000000) (log.f32 u2)))
123.0ms	(+.f32 (log.f32 314159265359/50000000000) (log.f32 u2))

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`*-un-lft-identity_binary32`
11×	`pow1_binary32`
9×	`log-pow_binary32`
8×	`distribute-lft-out_binary32`
7×	`exp-prod_binary32`

Counts

2 → 46

Calls

2 calls:

8.0ms	(+.f32 (log.f32 314159265359/50000000000) (log.f32 u2))
8.0ms	(exp.f32 (+.f32 (log.f32 314159265359/50000000000) (log.f32 u2)))

simplify88.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

604×	`times-frac_binary32`
520×	`fma-neg_binary32`
510×	`fma-def_binary32`
343×	`distribute-rgt-in_binary32`
273×	`distribute-lft-in_binary32`

Counts

62 → 66

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	69	543
1	145	403
2	348	401
3	882	401
4	3395	401
5	4942	401

prune880.0ms (5.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	287	4	291
Fresh	5	7	12
Picked	1	0	1
Done	0	0	0
Total	293	11	304

Error

0.0b

Counts

304 → 11

Alt Table

Status	Error	Program
	0.3b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (*.f32 314159265359/50000000000 u2))) (cos.f32 (pow.f32 (E.f32) (+.f32 (log.f32 314159265359/50000000000) (log.f32 u2)))))))
	0.6b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (/.f32 u1 (-.f32 1 u1))) (cbrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 (sqrt.f32 (cbrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2))))
	0.9b	(cbrt.f32 (.f32 (.f32 (exp.f32 (+.f32 (log.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (log.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (.f32 314159265359/50000000000 u2))) (cos.f32 (*.f32 314159265359/50000000000 u2)))))
	0.7b	(.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (sqrt.f32 (-.f32 1 u1)))) (.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (sqrt.f32 (-.f32 1 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2))))
	0.4b	(.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 1 u1) -1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
	0.8b	(cbrt.f32 (.f32 (.f32 (exp.f32 (log.f32 (/.f32 u1 (-.f32 1 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (.f32 314159265359/50000000000 u2))) (cos.f32 (exp.f32 (+.f32 (log.f32 314159265359/50000000000) (log.f32 u2)))))))
	0.8b	(.f32 (.f32 (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2))))
	0.4b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (exp.f32 (+.f32 (log.f32 314159265359/50000000000) (log.f32 u2))))) (cos.f32 (exp.f32 (+.f32 (log.f32 314159265359/50000000000) (log.f32 u2)))))))
	0.4b	(cbrt.f32 (.f32 (.f32 (.f32 (/.f32 1 (+.f32 1 (sqrt.f32 u1))) (/.f32 u1 (-.f32 1 (sqrt.f32 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (.f32 314159265359/50000000000 u2))) (cos.f32 (.f32 314159265359/50000000000 u2)))))
	3.0b	(exp.f32 (+.f32 (log.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (log.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))))
▶	0.3b	(cbrt.f32 (.f32 (.f32 (.f32 (/.f32 u1 (-.f32 1 (.f32 u1 u1))) (+.f32 u1 1)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (.f32 314159265359/50000000000 u2))) (cos.f32 (exp.f32 (+.f32 (log.f32 314159265359/50000000000) (log.f32 u2)))))))

Compiler

Compiled 13994 to 10347 computations (26.1% saved)

localize146.0ms (0.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f32 (/.f32 u1 (-.f32 1 (.f32 u1 u1))) (+.f32 u1 1))
	0.3b	(*.f32 314159265359/50000000000 u2)
	0.4b	(+.f32 (log.f32 314159265359/50000000000) (log.f32 u2))
	1.4b	(exp.f32 (+.f32 (log.f32 314159265359/50000000000) (log.f32 u2)))

series5.0ms (0%)

Counts

1 → 12

Calls

1 calls:

5.0ms

(*.f32 (/.f32 u1 (-.f32 1 (*.f32 u1 u1))) (+.f32 u1 1))

rewrite32.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`associate-l_binary32`
19×	`add-sqr-sqrt_binary32`
16×	`times-frac_binary32`
16×	`*-un-lft-identity_binary32`
11×	`add-cube-cbrt_binary32`

Counts

1 → 49

Calls

1 calls:

23.0ms

(*.f32 (/.f32 u1 (-.f32 1 (*.f32 u1 u1))) (+.f32 u1 1))

simplify125.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

483×	`associate-/l/_binary32`
480×	`fma-def_binary32`
416×	`distribute-rgt-in_binary32`
362×	`distribute-lft-in_binary32`
299×	`associate-*l/_binary32`

Counts

61 → 97

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	123	1155
1	401	987
2	1207	978
3	3481	978
4	5037	978

prune864.0ms (5.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	206	1	207
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	207	11	218

Error

0.0b

Counts

218 → 11

Alt Table

Status	Error	Program
	0.6b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (/.f32 u1 (-.f32 1 u1))) (cbrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 (sqrt.f32 (cbrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2))))
	0.3b	(cbrt.f32 (.f32 (.f32 (.f32 (/.f32 u1 (-.f32 1 (.f32 u1 u1))) (+.f32 u1 1)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (.f32 314159265359/50000000000 u2))) (cos.f32 (*.f32 (exp.f32 (log.f32 314159265359/50000000000)) (exp.f32 (log.f32 u2)))))))
	0.9b	(cbrt.f32 (.f32 (.f32 (exp.f32 (+.f32 (log.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (log.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (.f32 314159265359/50000000000 u2))) (cos.f32 (*.f32 314159265359/50000000000 u2)))))
	0.7b	(.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (sqrt.f32 (-.f32 1 u1)))) (.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (sqrt.f32 (-.f32 1 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2))))
	0.4b	(.f32 (sqrt.f32 (/.f32 1 (+.f32 (/.f32 1 u1) -1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
	0.8b	(cbrt.f32 (.f32 (.f32 (exp.f32 (log.f32 (/.f32 u1 (-.f32 1 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (.f32 314159265359/50000000000 u2))) (cos.f32 (exp.f32 (+.f32 (log.f32 314159265359/50000000000) (log.f32 u2)))))))
	0.8b	(.f32 (.f32 (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cos.f32 (.f32 314159265359/50000000000 u2))))
	0.4b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (exp.f32 (+.f32 (log.f32 314159265359/50000000000) (log.f32 u2))))) (cos.f32 (exp.f32 (+.f32 (log.f32 314159265359/50000000000) (log.f32 u2)))))))
	0.4b	(cbrt.f32 (.f32 (.f32 (.f32 (/.f32 1 (+.f32 1 (sqrt.f32 u1))) (/.f32 u1 (-.f32 1 (sqrt.f32 u1)))) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (.f32 314159265359/50000000000 u2))) (cos.f32 (.f32 314159265359/50000000000 u2)))))
	3.0b	(exp.f32 (+.f32 (log.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (log.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))))
✓	0.3b	(cbrt.f32 (.f32 (.f32 (.f32 (/.f32 u1 (-.f32 1 (.f32 u1 u1))) (+.f32 u1 1)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) (cos.f32 (.f32 314159265359/50000000000 u2))) (cos.f32 (exp.f32 (+.f32 (log.f32 314159265359/50000000000) (log.f32 u2)))))))

Compiler

Compiled 9272 to 6533 computations (29.5% saved)

regimes6.3s (40.3%)

Accuracy

Total 0.2b remaining (81.4%)

Threshold costs 0.2b (81.4%)

Counts

275 → 1

Compiler

Compiled 87698 to 69211 computations (21.1% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary32`
6×	`+-commutative_binary32`
4×	`sub-neg_binary32`
2×	`neg-sub0_binary32`
2×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	66
1	47	66
2	54	66
3	58	66
4	60	66
5	59	66

end3.0ms (0%)

Compiler: Compiled 44 to 35 computations (20.5% saved)

sample3.1s (19.5%)

Algorithm

1×

intervals

Results

1.3s	8000×	body	128	valid
485.0ms	8000×	pre	128	true
0.0ms	6×	pre	128	false

Compiler

Compiled 446 to 350 computations (21.5% saved)

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	27	17
4	34	17
5	44	17
6	54	17
7	69	17
8	76	17
9	79	17
10	80	17
11	60	17

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	27	17
4	34	17
5	44	17
6	54	17
7	69	17
8	76	17
9	79	17
10	80	17
11	60	17

Details

analyze612.0ms (3.9%)

sample102.0ms (0.7%)

simplify20.0ms (0.1%)

prune3.0ms (0%)

localize66.0ms (0.4%)

series66.0ms (0.4%)

rewrite98.0ms (0.6%)

simplify201.0ms (1.3%)

prune502.0ms (3.2%)

localize102.0ms (0.7%)

series29.0ms (0.2%)

rewrite100.0ms (0.6%)

simplify270.0ms (1.7%)

prune1.5s (9.5%)

localize165.0ms (1.1%)

series264.0ms (1.7%)

rewrite20.0ms (0.1%)

simplify88.0ms (0.6%)

prune880.0ms (5.6%)

localize146.0ms (0.9%)

series5.0ms (0%)

rewrite32.0ms (0.2%)

simplify125.0ms (0.8%)

prune864.0ms (5.5%)

regimes6.3s (40.3%)

simplify8.0ms (0%)

end3.0ms (0%)

sample3.1s (19.5%)

Profiling

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	27	17
4	34	17
5	44	17
6	54	17
7	69	17
8	76	17
9	79	17
10	80	17
11	60	17