Details

analyze382.0ms (2%)

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 29 to 22 computations (24.1% saved)

sample54.0ms (0.3%)

Algorithm

1×

intervals

Results

21.0ms	256×	body	128	valid
8.0ms	256×	pre	128	true

Compiler

Compiled 46 to 36 computations (21.7% saved)

simplify12.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`sub-neg_binary32`
7×	`+-commutative_binary32`
4×	`*-commutative_binary32`
4×	`div-sub_binary32`
3×	`associate-+l-_binary32`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	26	17
4	32	17
5	40	17
6	49	17
7	63	17
8	70	17
9	73	17
10	74	17
11	54	17

prune2.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

0.3b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.3b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 3537118876014453/562949953421312 u2)))

Compiler

Compiled 28 to 22 computations (21.4% saved)

localize31.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
0.2b	(/.f32 u1 (-.f32 1 u1))
0.2b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 3537118876014453/562949953421312 u2)))
0.4b	(*.f32 3537118876014453/562949953421312 u2)

rewrite263.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

81×	`add-sqr-sqrt_binary32`
69×	`*-un-lft-identity_binary32`
56×	`times-frac_binary32`
50×	`sqrt-prod_binary32`
39×	`add-cube-cbrt_binary32`

Counts

4 → 140

Calls

4 calls:

10.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 3537118876014453/562949953421312 u2)))
5.0ms	(/.f32 u1 (-.f32 1 u1))
5.0ms	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
4.0ms	(*.f32 3537118876014453/562949953421312 u2)

Compiler

Compiled 2417 to 1708 computations (29.3% saved)

series71.0ms (0.4%)

Error

0.2b

Counts

4 → 21

Calls

4 calls:

29.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 3537118876014453/562949953421312 u2)))
12.0ms	(*.f32 3537118876014453/562949953421312 u2)
7.0ms	(/.f32 u1 (-.f32 1 u1))
6.0ms	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))

Compiler

Compiled 758 to 603 computations (20.4% saved)

simplify139.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

825×	`div-sub_binary32`
450×	`associate-/l/_binary32`
358×	`cancel-sign-sub-inv_binary32`
323×	`associate-l_binary32`
257×	`associate-r_binary32`

Counts

161 → 89

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	215	2641
1	401	2489
2	977	2467
3	2287	2461
4	4759	2459
5	6568	2459

prune167.0ms (0.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	78	11	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	11	90

Error

0.0b

Counts

90 → 11

Alt Table

Status	Error	Program
	0.5b	(.f32 (sqrt.f32 (.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (/.f32 (cbrt.f32 u1) (-.f32 1 u1)))) (cos.f32 (.f32 3537118876014453/562949953421312 u2)))
	2.2b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))))
	0.6b	(.f32 (sqrt.f32 (/.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))) (.f32 (cos.f32 (*.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 (cbrt.f32 u1) (cbrt.f32 (-.f32 1 u1))))))
	4.6b	(.f32 (sqrt.f32 (+.f32 u1 (.f32 u1 u1))) (cos.f32 (*.f32 3537118876014453/562949953421312 u2)))
	1.9b	(.f32 (.f32 (sqrt.f32 (cos.f32 (.f32 3537118876014453/562949953421312 u2))) (sqrt.f32 (/.f32 (sqrt.f32 u1) (sqrt.f32 (-.f32 1 u1))))) (.f32 (sqrt.f32 (cos.f32 (*.f32 3537118876014453/562949953421312 u2))) (sqrt.f32 (/.f32 (sqrt.f32 u1) (sqrt.f32 (-.f32 1 u1))))))
	0.4b	(.f32 (sqrt.f32 (/.f32 (/.f32 u1 (+.f32 1 (sqrt.f32 u1))) (-.f32 (sqrt.f32 1) (sqrt.f32 u1)))) (cos.f32 (.f32 3537118876014453/562949953421312 u2)))
	0.5b	(.f32 (sqrt.f32 (/.f32 1 (.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))) (.f32 (cos.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (cbrt.f32 (-.f32 1 u1))))))
	0.7b	(.f32 (sqrt.f32 (/.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (+.f32 1 (sqrt.f32 u1)))) (.f32 (cos.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 (cbrt.f32 u1) (-.f32 1 (sqrt.f32 u1))))))
▶	0.3b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (.f32 u2 (cbrt.f32 3537118876014453/562949953421312)))))
	1.8b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (+.f32 (+.f32 1 (.f32 52176791413089013764466731484482374711763629368301021948215227/803469022129495137770981046170581301261101496891396417650688 (pow.f32 u2 4))) (+.f32 (.f32 (.f32 u2 u2) -12511209943057747334229864889209/633825300114114700748351602688) (*.f32 (pow.f32 u2 6) -217598263841429786655611208889468367692805273193898272005195945749042409828047596163213928481/2546294970418107607835557110511722701314335492082420313295175561692976624704170882729246720))))
	0.5b	(.f32 (sqrt.f32 (/.f32 1 (+.f32 1 (sqrt.f32 u1)))) (.f32 (cos.f32 (*.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 (sqrt.f32 u1))))))

Compiler

Compiled 1879 to 1335 computations (29% saved)

localize46.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
0.2b	(/.f32 u1 (-.f32 1 u1))
0.2b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (.f32 u2 (cbrt.f32 3537118876014453/562949953421312)))))
0.3b	(.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (*.f32 u2 (cbrt.f32 3537118876014453/562949953421312)))

rewrite322.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

77×	`add-sqr-sqrt_binary32`
67×	`*-un-lft-identity_binary32`
56×	`times-frac_binary32`
50×	`sqrt-prod_binary32`
37×	`add-cube-cbrt_binary32`

Counts

4 → 144

Calls

4 calls:

11.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (.f32 u2 (cbrt.f32 3537118876014453/562949953421312)))))
8.0ms	(.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (*.f32 u2 (cbrt.f32 3537118876014453/562949953421312)))
6.0ms	(/.f32 u1 (-.f32 1 u1))
5.0ms	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))

Compiler

Compiled 3448 to 2733 computations (20.7% saved)

series105.0ms (0.5%)

Error

0.0b

Counts

4 → 21

Calls

4 calls:

48.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (.f32 u2 (cbrt.f32 3537118876014453/562949953421312)))))
16.0ms	(.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (*.f32 u2 (cbrt.f32 3537118876014453/562949953421312)))
10.0ms	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
10.0ms	(/.f32 u1 (-.f32 1 u1))

Compiler

Compiled 1013 to 860 computations (15.1% saved)

simplify142.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

835×	`div-sub_binary32`
458×	`associate-/l/_binary32`
336×	`*-commutative_binary32`
256×	`cancel-sign-sub-inv_binary32`
174×	`distribute-rgt-neg-in_binary32`

Counts

165 → 112

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	232	3536
1	463	2517
2	1238	2498
3	2342	2492
4	4724	2490
5	6539	2490

prune189.0ms (1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	110	2	112
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	113	10	123

Error

0.0b

Counts

123 → 10

Alt Table

Status	Error	Program
	0.6b	(.f32 (sqrt.f32 (/.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))) (.f32 (cos.f32 (*.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 (cbrt.f32 u1) (cbrt.f32 (-.f32 1 u1))))))
	4.6b	(.f32 (sqrt.f32 (+.f32 u1 (.f32 u1 u1))) (cos.f32 (*.f32 3537118876014453/562949953421312 u2)))
	1.9b	(.f32 (.f32 (sqrt.f32 (cos.f32 (.f32 3537118876014453/562949953421312 u2))) (sqrt.f32 (/.f32 (sqrt.f32 u1) (sqrt.f32 (-.f32 1 u1))))) (.f32 (sqrt.f32 (cos.f32 (*.f32 3537118876014453/562949953421312 u2))) (sqrt.f32 (/.f32 (sqrt.f32 u1) (sqrt.f32 (-.f32 1 u1))))))
▶	0.4b	(.f32 (sqrt.f32 (/.f32 (/.f32 u1 (+.f32 1 (sqrt.f32 u1))) (-.f32 (sqrt.f32 1) (sqrt.f32 u1)))) (cos.f32 (.f32 3537118876014453/562949953421312 u2)))
	0.5b	(.f32 (sqrt.f32 (/.f32 1 (.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))) (.f32 (cos.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (cbrt.f32 (-.f32 1 u1))))))
	2.2b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))))
	0.5b	(.f32 (sqrt.f32 (.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (/.f32 (cbrt.f32 u1) (-.f32 1 u1)))) (cos.f32 (.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (.f32 u2 (cbrt.f32 3537118876014453/562949953421312)))))
	1.5b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (cos.f32 (.f32 u2 3537118876014453/562949953421312)))) (sqrt.f32 (cos.f32 (.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (.f32 u2 (cbrt.f32 3537118876014453/562949953421312))))))
	1.8b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (+.f32 (+.f32 1 (.f32 52176791413089013764466731484482374711763629368301021948215227/803469022129495137770981046170581301261101496891396417650688 (pow.f32 u2 4))) (+.f32 (.f32 (.f32 u2 u2) -12511209943057747334229864889209/633825300114114700748351602688) (*.f32 (pow.f32 u2 6) -217598263841429786655611208889468367692805273193898272005195945749042409828047596163213928481/2546294970418107607835557110511722701314335492082420313295175561692976624704170882729246720))))
	0.5b	(.f32 (sqrt.f32 (/.f32 1 (+.f32 1 (sqrt.f32 u1)))) (.f32 (cos.f32 (*.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 (sqrt.f32 u1))))))

Compiler

Compiled 2246 to 1682 computations (25.1% saved)

localize48.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f32 (sqrt.f32 (/.f32 (/.f32 u1 (+.f32 1 (sqrt.f32 u1))) (-.f32 (sqrt.f32 1) (sqrt.f32 u1)))) (cos.f32 (.f32 3537118876014453/562949953421312 u2)))
0.3b	(/.f32 (/.f32 u1 (+.f32 1 (sqrt.f32 u1))) (-.f32 (sqrt.f32 1) (sqrt.f32 u1)))
0.3b	(/.f32 u1 (+.f32 1 (sqrt.f32 u1)))
0.4b	(*.f32 3537118876014453/562949953421312 u2)

rewrite994.0ms (5.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

825×	`times-frac_binary32`
785×	`add-sqr-sqrt_binary32`
746×	`*-un-lft-identity_binary32`
700×	`sqrt-prod_binary32`
269×	`add-cube-cbrt_binary32`

Counts

4 → 594

Calls

4 calls:

53.0ms	(.f32 (sqrt.f32 (/.f32 (/.f32 u1 (+.f32 1 (sqrt.f32 u1))) (-.f32 (sqrt.f32 1) (sqrt.f32 u1)))) (cos.f32 (.f32 3537118876014453/562949953421312 u2)))
15.0ms	(/.f32 (/.f32 u1 (+.f32 1 (sqrt.f32 u1))) (-.f32 (sqrt.f32 1) (sqrt.f32 u1)))
4.0ms	(/.f32 u1 (+.f32 1 (sqrt.f32 u1)))
3.0ms	(*.f32 3537118876014453/562949953421312 u2)

Compiler

Compiled 11067 to 7331 computations (33.8% saved)

series102.0ms (0.5%)

Error

0.0b

Counts

4 → 18

Calls

4 calls:

51.0ms	(.f32 (sqrt.f32 (/.f32 (/.f32 u1 (+.f32 1 (sqrt.f32 u1))) (-.f32 (sqrt.f32 1) (sqrt.f32 u1)))) (cos.f32 (.f32 3537118876014453/562949953421312 u2)))
15.0ms	(/.f32 (/.f32 u1 (+.f32 1 (sqrt.f32 u1))) (-.f32 (sqrt.f32 1) (sqrt.f32 u1)))
11.0ms	(/.f32 u1 (+.f32 1 (sqrt.f32 u1)))
9.0ms	(*.f32 3537118876014453/562949953421312 u2)

Compiler

Compiled 1033 to 786 computations (23.9% saved)

simplify556.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

506×	`associate-*l/_binary32`
455×	`associate-/r/_binary32`
334×	`associate-*r/_binary32`
314×	`div-sub_binary32`
238×	`associate-/l/_binary32`

Counts

612 → 565

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	429	18732
1	912	18500
2	2369	18410
3	4527	18410
4	5254	18410

prune674.0ms (3.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	563	2	565
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	567	8	575

Error

0.0b

Counts

575 → 8

Alt Table

Status	Error	Program
	0.6b	(.f32 (sqrt.f32 (/.f32 (.f32 (cbrt.f32 (/.f32 u1 (+.f32 1 (sqrt.f32 u1)))) (cbrt.f32 (/.f32 u1 (+.f32 1 (sqrt.f32 u1))))) 1)) (.f32 (cos.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 (cbrt.f32 (/.f32 u1 (+.f32 1 (sqrt.f32 u1)))) (-.f32 1 (sqrt.f32 u1))))))
	1.5b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (cos.f32 (.f32 u2 3537118876014453/562949953421312)))) (sqrt.f32 (cos.f32 (.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (.f32 u2 (cbrt.f32 3537118876014453/562949953421312))))))
	1.9b	(.f32 (.f32 (sqrt.f32 (cos.f32 (.f32 3537118876014453/562949953421312 u2))) (sqrt.f32 (/.f32 (sqrt.f32 u1) (sqrt.f32 (-.f32 1 u1))))) (.f32 (sqrt.f32 (cos.f32 (*.f32 3537118876014453/562949953421312 u2))) (sqrt.f32 (/.f32 (sqrt.f32 u1) (sqrt.f32 (-.f32 1 u1))))))
	2.2b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))))
▶	0.5b	(.f32 (sqrt.f32 (.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (/.f32 (cbrt.f32 u1) (-.f32 1 u1)))) (cos.f32 (.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (.f32 u2 (cbrt.f32 3537118876014453/562949953421312)))))
	4.6b	(.f32 (sqrt.f32 (+.f32 u1 (.f32 u1 u1))) (cos.f32 (*.f32 3537118876014453/562949953421312 u2)))
	0.8b	(.f32 (sqrt.f32 (/.f32 (/.f32 (sqrt.f32 u1) (.f32 (cbrt.f32 (+.f32 1 (sqrt.f32 u1))) (cbrt.f32 (+.f32 1 (sqrt.f32 u1))))) (sqrt.f32 (-.f32 (sqrt.f32 1) (sqrt.f32 u1))))) (.f32 (cos.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 (/.f32 (sqrt.f32 u1) (cbrt.f32 (+.f32 1 (sqrt.f32 u1)))) (sqrt.f32 (-.f32 1 (sqrt.f32 u1)))))))
	0.5b	(.f32 (sqrt.f32 (/.f32 1 (+.f32 1 (sqrt.f32 u1)))) (.f32 (cos.f32 (*.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 (sqrt.f32 u1))))))

Compiler

Compiled 7988 to 5230 computations (34.5% saved)

localize65.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (*.f32 u2 (cbrt.f32 3537118876014453/562949953421312)))
0.3b	(/.f32 (cbrt.f32 u1) (-.f32 1 u1))
0.4b	(.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (/.f32 (cbrt.f32 u1) (-.f32 1 u1)))
0.5b	(*.f32 (cbrt.f32 u1) (cbrt.f32 u1))

rewrite398.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

104×	`add-sqr-sqrt_binary32`
91×	`*-un-lft-identity_binary32`
74×	`times-frac_binary32`
56×	`cbrt-prod_binary32`
52×	`add-cube-cbrt_binary32`

Counts

4 → 189

Calls

4 calls:

15.0ms	(.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (/.f32 (cbrt.f32 u1) (-.f32 1 u1)))
8.0ms	(.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (*.f32 u2 (cbrt.f32 3537118876014453/562949953421312)))
6.0ms	(*.f32 (cbrt.f32 u1) (cbrt.f32 u1))
5.0ms	(/.f32 (cbrt.f32 u1) (-.f32 1 u1))

Compiler

Compiled 5546 to 3453 computations (37.7% saved)

series95.0ms (0.5%)

Error

0.0b

Counts

4 → 18

Calls

4 calls:

24.0ms	(*.f32 (cbrt.f32 u1) (cbrt.f32 u1))
18.0ms	(/.f32 (cbrt.f32 u1) (-.f32 1 u1))
15.0ms	(.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (*.f32 u2 (cbrt.f32 3537118876014453/562949953421312)))
13.0ms	(.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (/.f32 (cbrt.f32 u1) (-.f32 1 u1)))

Compiler

Compiled 1156 to 941 computations (18.6% saved)

simplify156.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

582×	`associate-/l/_binary32`
564×	`associate-/r*_binary32`
419×	`associate-l_binary32`
281×	`unswap-sqr_binary32`
280×	`log-prod_binary32`

Counts

207 → 163

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	230	3416
1	546	2724
2	2218	2663
3	4127	2556
4	4515	2556
5	4903	2556

prune238.0ms (1.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	160	3	163
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	162	9	171

Error

0.0b

Counts

171 → 9

Alt Table

Status	Error	Program
	0.6b	(.f32 (sqrt.f32 (/.f32 (.f32 (cbrt.f32 (/.f32 u1 (+.f32 1 (sqrt.f32 u1)))) (cbrt.f32 (/.f32 u1 (+.f32 1 (sqrt.f32 u1))))) 1)) (.f32 (cos.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 (cbrt.f32 (/.f32 u1 (+.f32 1 (sqrt.f32 u1)))) (-.f32 1 (sqrt.f32 u1))))))
	1.4b	(.f32 (sqrt.f32 (.f32 (.f32 (pow.f32 u1 2/3) (/.f32 (cbrt.f32 (pow.f32 u1 2/3)) (+.f32 1 (sqrt.f32 u1)))) (/.f32 (cbrt.f32 (cbrt.f32 u1)) (-.f32 1 (sqrt.f32 u1))))) (cos.f32 (.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (.f32 u2 (cbrt.f32 3537118876014453/562949953421312)))))
	0.5b	(.f32 (sqrt.f32 (.f32 (/.f32 u1 (pow.f32 u1 1/6)) (/.f32 (sqrt.f32 (cbrt.f32 u1)) (-.f32 1 u1)))) (cos.f32 (.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (*.f32 u2 (cbrt.f32 3537118876014453/562949953421312)))))
	8.1b	(.f32 (sqrt.f32 (.f32 (log.f32 (exp.f32 (pow.f32 u1 2/3))) (/.f32 (cbrt.f32 u1) (-.f32 1 u1)))) (cos.f32 (.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (*.f32 u2 (cbrt.f32 3537118876014453/562949953421312)))))
	2.2b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))))
	0.5b	(.f32 (sqrt.f32 (.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (/.f32 (cbrt.f32 u1) (-.f32 1 u1)))) (cos.f32 (.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (.f32 u2 (cbrt.f32 3537118876014453/562949953421312)))))
	4.6b	(.f32 (sqrt.f32 (+.f32 u1 (.f32 u1 u1))) (cos.f32 (*.f32 3537118876014453/562949953421312 u2)))
	0.8b	(.f32 (sqrt.f32 (/.f32 (/.f32 (sqrt.f32 u1) (.f32 (cbrt.f32 (+.f32 1 (sqrt.f32 u1))) (cbrt.f32 (+.f32 1 (sqrt.f32 u1))))) (sqrt.f32 (-.f32 (sqrt.f32 1) (sqrt.f32 u1))))) (.f32 (cos.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 (/.f32 (sqrt.f32 u1) (cbrt.f32 (+.f32 1 (sqrt.f32 u1)))) (sqrt.f32 (-.f32 1 (sqrt.f32 u1)))))))
	0.5b	(.f32 (sqrt.f32 (/.f32 1 (+.f32 1 (sqrt.f32 u1)))) (.f32 (cos.f32 (*.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 (sqrt.f32 u1))))))

Compiler

Compiled 3226 to 2258 computations (30% saved)

regimes12.2s (62.4%)

Accuracy

Total 0.2b remaining (75.5%)

Threshold costs 0.2b (75.5%)

Compiler

Compiled 146060 to 111441 computations (23.7% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary32`
2×	`+-commutative_binary32`
2×	`sub-neg_binary32`
1×	`neg-sub0_binary32`
1×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	37
1	24	37
2	28	37
3	30	37
4	31	37
5	30	37

end2.0ms (0%)

Compiler: Compiled 27 to 20 computations (25.9% saved)

sample2.1s (10.6%)

Algorithm

1×

intervals

Results

724.0ms	8000×	body	128	valid
261.0ms	8000×	pre	128	true
0.0ms	7×	pre	128	false

Compiler

Compiled 321 to 247 computations (23.1% saved)

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	26	17
4	32	17
5	40	17
6	49	17
7	63	17
8	70	17
9	73	17
10	74	17
11	54	17

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	26	17
4	32	17
5	40	17
6	49	17
7	63	17
8	70	17
9	73	17
10	74	17
11	54	17

Details

analyze382.0ms (2%)

sample54.0ms (0.3%)

simplify12.0ms (0.1%)

prune2.0ms (0%)

localize31.0ms (0.2%)

rewrite263.0ms (1.3%)

series71.0ms (0.4%)

simplify139.0ms (0.7%)

prune167.0ms (0.9%)

localize46.0ms (0.2%)

rewrite322.0ms (1.7%)

series105.0ms (0.5%)

simplify142.0ms (0.7%)

prune189.0ms (1%)

localize48.0ms (0.2%)

rewrite994.0ms (5.1%)

series102.0ms (0.5%)

simplify556.0ms (2.9%)

prune674.0ms (3.5%)

localize65.0ms (0.3%)

rewrite398.0ms (2%)

series95.0ms (0.5%)

simplify156.0ms (0.8%)

prune238.0ms (1.2%)

regimes12.2s (62.4%)

simplify4.0ms (0%)

end2.0ms (0%)

sample2.1s (10.6%)

Profiling

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	26	17
4	32	17
5	40	17
6	49	17
7	63	17
8	70	17
9	73	17
10	74	17
11	54	17