Details

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

sample58.0ms (0.6%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 46 to 36 computations (21.7% saved)

simplify11.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 → 0

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

prune1.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.6b

Counts

1 → 1

Alt Table

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

Compiler

Compiled 28 to 22 computations (21.4% saved)

localize31.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite148.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

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:

10.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 3537118876014453/562949953421312 u2)))
4.0ms	(/.f32 u1 (-.f32 1 u1))
3.0ms	(*.f32 3537118876014453/562949953421312 u2)
1.0ms	(sin.f32 (*.f32 3537118876014453/562949953421312 u2))

Compiler

Compiled 2001 to 1434 computations (28.3% saved)

series56.0ms (0.6%)

Error

0.3b

Counts

4 → 24

Calls

4 calls:

22.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 3537118876014453/562949953421312 u2)))
9.0ms	(/.f32 u1 (-.f32 1 u1))
6.0ms	(sin.f32 (*.f32 3537118876014453/562949953421312 u2))
4.0ms	(*.f32 3537118876014453/562949953421312 u2)

Compiler

Compiled 923 to 725 computations (21.5% saved)

simplify154.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

835×	`fma-neg_binary32`
377×	`associate-l_binary32`
330×	`fma-def_binary32`
272×	`associate-r_binary32`
183×	`distribute-rgt-in_binary32`

Counts

143 → 77

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	218	2233
1	434	2078
2	1142	2048
3	2840	2045
4	4638	2045
5	4992	2045
6	4884	2045

prune82.0ms (0.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	66	11	77
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	67	11	78

Error

0.1b

Counts

78 → 11

Alt Table

Status	Error	Program
	0.7b	(.f32 (sqrt.f32 (.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (/.f32 (cbrt.f32 u1) (-.f32 1 u1)))) (sin.f32 (.f32 3537118876014453/562949953421312 u2)))
	0.7b	(.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) 1)) (.f32 (sin.f32 (*.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 (sqrt.f32 u1) (-.f32 1 u1)))))
	0.6b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312)) (.f32 u2 (cbrt.f32 3537118876014453/562949953421312)))))
	0.7b	(.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (+.f32 1 (sqrt.f32 u1)))) (.f32 (sin.f32 (*.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 (sqrt.f32 u1) (-.f32 1 (sqrt.f32 u1))))))
	3.0b	(exp.f32 (log.f32 (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))))
▶	0.6b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 (sqrt.f32 3537118876014453/562949953421312) (*.f32 u2 (sqrt.f32 3537118876014453/562949953421312)))))
	0.8b	(.f32 (sqrt.f32 (/.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (+.f32 1 (sqrt.f32 u1)))) (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 (cbrt.f32 u1) (-.f32 1 (sqrt.f32 u1))))))
	0.6b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 (pow.f32 1 3) (pow.f32 u1 3)))) (.f32 (sin.f32 (*.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (+.f32 1 (fma.f32 u1 u1 u1)))))
	0.9b	(.f32 (.f32 (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))))
	0.7b	(/.f32 (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 u1)) (sqrt.f32 (-.f32 1 u1)))
	0.9b	(.f32 (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cbrt.f32 (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))) (cbrt.f32 (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))))

Compiler

Compiled 1664 to 1194 computations (28.2% saved)

localize38.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite183.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

57×	`add-sqr-sqrt_binary32`
50×	`*-un-lft-identity_binary32`
37×	`times-frac_binary32`
33×	`associate-l_binary32`
29×	`sqrt-prod_binary32`

Counts

4 → 122

Calls

4 calls:

11.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 (sqrt.f32 3537118876014453/562949953421312) (*.f32 u2 (sqrt.f32 3537118876014453/562949953421312)))))
6.0ms	(.f32 (sqrt.f32 3537118876014453/562949953421312) (.f32 u2 (sqrt.f32 3537118876014453/562949953421312)))
5.0ms	(/.f32 u1 (-.f32 1 u1))
2.0ms	(sin.f32 (.f32 (sqrt.f32 3537118876014453/562949953421312) (.f32 u2 (sqrt.f32 3537118876014453/562949953421312))))

Compiler

Compiled 2546 to 1983 computations (22.1% saved)

series76.0ms (0.8%)

Error

0.1b

Counts

4 → 24

Calls

4 calls:

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

Compiler

Compiled 1234 to 1035 computations (16.1% saved)

simplify140.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

532×	`fma-neg_binary32`
416×	`cancel-sign-sub-inv_binary32`
374×	`distribute-rgt-neg-in_binary32`
353×	`*-commutative_binary32`
333×	`fma-def_binary32`

Counts

146 → 111

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	233	2902
1	495	2179
2	1382	2129
3	2977	2121
4	4898	2119
5	4903	2119

prune88.0ms (0.9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	107	4	111
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	109	13	122

Error

0.1b

Counts

122 → 13

Alt Table

Status	Error	Program
	0.8b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (.f32 (cbrt.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2))) (cbrt.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2))))) (cbrt.f32 (sin.f32 (.f32 (sqrt.f32 3537118876014453/562949953421312) (*.f32 u2 (sqrt.f32 3537118876014453/562949953421312))))))
	0.7b	(.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) 1)) (.f32 (sin.f32 (*.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 (sqrt.f32 u1) (-.f32 1 u1)))))
	0.7b	(.f32 (sqrt.f32 (.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (/.f32 (cbrt.f32 u1) (-.f32 1 u1)))) (sin.f32 (.f32 3537118876014453/562949953421312 u2)))
	0.7b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 (sqrt.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312))) (.f32 (*.f32 (sqrt.f32 3537118876014453/562949953421312) u2) (sqrt.f32 (cbrt.f32 3537118876014453/562949953421312))))))
	0.9b	(.f32 (.f32 (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (cbrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))))
	0.7b	(.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (+.f32 1 (sqrt.f32 u1)))) (.f32 (sin.f32 (*.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 (sqrt.f32 u1) (-.f32 1 (sqrt.f32 u1))))))
	3.0b	(exp.f32 (log.f32 (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))))
	1.6b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)))) (sqrt.f32 (sin.f32 (.f32 (sqrt.f32 3537118876014453/562949953421312) (*.f32 u2 (sqrt.f32 3537118876014453/562949953421312))))))
	0.8b	(.f32 (sqrt.f32 (/.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (+.f32 1 (sqrt.f32 u1)))) (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 (cbrt.f32 u1) (-.f32 1 (sqrt.f32 u1))))))
	0.6b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 (pow.f32 1 3) (pow.f32 u1 3)))) (.f32 (sin.f32 (*.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (+.f32 1 (fma.f32 u1 u1 u1)))))
	0.7b	(/.f32 (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 u1)) (sqrt.f32 (-.f32 1 u1)))
▶	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3)))))
	0.9b	(.f32 (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cbrt.f32 (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))) (cbrt.f32 (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))))

Compiler

Compiled 2235 to 1666 computations (25.5% saved)

localize38.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.2b	(/.f32 u1 (-.f32 1 u1))
0.2b	(sin.f32 (cbrt.f32 (*.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3))))
0.3b	(*.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3))
0.3b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3)))))

rewrite190.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

66×	`add-sqr-sqrt_binary32`
52×	`*-un-lft-identity_binary32`
37×	`times-frac_binary32`
31×	`add-cube-cbrt_binary32`
30×	`associate-l_binary32`

Counts

4 → 132

Calls

4 calls:

13.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3)))))
5.0ms	(*.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3))
5.0ms	(/.f32 u1 (-.f32 1 u1))
2.0ms	(sin.f32 (cbrt.f32 (*.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3))))

Compiler

Compiled 2571 to 1966 computations (23.5% saved)

series78.0ms (0.8%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

30.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3)))))
13.0ms	(sin.f32 (cbrt.f32 (*.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3))))
6.0ms	(/.f32 u1 (-.f32 1 u1))
6.0ms	(*.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3))

Compiler

Compiled 1173 to 969 computations (17.4% saved)

simplify218.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

538×	`unswap-sqr_binary32`
496×	`fma-neg_binary32`
385×	`*-commutative_binary32`
382×	`fma-def_binary32`
175×	`cancel-sign-sub-inv_binary32`

Counts

156 → 83

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	249	2884
1	517	2653
2	1474	2611
3	3157	2611
4	4689	2603
5	4926	2603
6	4994	2603
7	4884	2603

prune98.0ms (1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	77	6	83
Fresh	7	5	12
Picked	1	0	1
Done	0	0	0
Total	85	11	96

Error

0.0b

Counts

96 → 11

Alt Table

Status	Error	Program
	0.6b	(.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) 1)) (.f32 (sin.f32 (cbrt.f32 (*.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3)))) (sqrt.f32 (/.f32 (sqrt.f32 u1) (-.f32 1 u1)))))
	0.7b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 (sqrt.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312))) (.f32 (*.f32 (sqrt.f32 3537118876014453/562949953421312) u2) (sqrt.f32 (cbrt.f32 3537118876014453/562949953421312))))))
	0.5b	(/.f32 (.f32 (sin.f32 (cbrt.f32 (.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3)))) (sqrt.f32 u1)) (sqrt.f32 (-.f32 1 u1)))
	0.7b	(.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (+.f32 1 (sqrt.f32 u1)))) (.f32 (sin.f32 (*.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 (sqrt.f32 u1) (-.f32 1 (sqrt.f32 u1))))))
	1.6b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)))) (sqrt.f32 (sin.f32 (.f32 (sqrt.f32 3537118876014453/562949953421312) (*.f32 u2 (sqrt.f32 3537118876014453/562949953421312))))))
	0.8b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (.f32 (cbrt.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2))) (cbrt.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2))))) (cbrt.f32 (sin.f32 (.f32 (sqrt.f32 3537118876014453/562949953421312) (*.f32 u2 (sqrt.f32 3537118876014453/562949953421312))))))
	0.6b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (.f32 (.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (.f32 u2 u2)) (pow.f32 (cbrt.f32 u2) 3)))))
▶	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (.f32 (.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2)) (.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2))))))
	0.6b	(.f32 (sqrt.f32 (/.f32 1 (+.f32 1 (sqrt.f32 u1)))) (.f32 (sin.f32 (cbrt.f32 (*.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3)))) (sqrt.f32 (/.f32 u1 (-.f32 1 (sqrt.f32 u1))))))
	0.7b	(.f32 (sqrt.f32 (/.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (+.f32 1 (sqrt.f32 u1)))) (.f32 (sin.f32 (cbrt.f32 (.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3)))) (sqrt.f32 (/.f32 (cbrt.f32 u1) (-.f32 1 (sqrt.f32 u1))))))
	0.9b	(.f32 (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cbrt.f32 (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))) (cbrt.f32 (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))))

Compiler

Compiled 1893 to 1411 computations (25.5% saved)

localize50.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.3b	(*.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2))
0.3b	(*.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2))
0.3b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (.f32 (.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2)) (.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2))))))
0.5b	(.f32 (.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2)) (*.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2)))

rewrite230.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

64×	`add-exp-log_binary32`
60×	`add-sqr-sqrt_binary32`
47×	`prod-exp_binary32`
40×	`associate-l_binary32`
38×	`sqrt-prod_binary32`

Counts

4 → 151

Calls

4 calls:

12.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (.f32 (.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2)) (.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2))))))
8.0ms	(.f32 (.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2)) (*.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2)))
6.0ms	(*.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2))
6.0ms	(*.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2))

Compiler

Compiled 3849 to 3149 computations (18.2% saved)

series135.0ms (1.4%)

Error

0.0b

Counts

4 → 18

Calls

4 calls:

52.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (.f32 (.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2)) (.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2))))))
50.0ms	(*.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2))
13.0ms	(.f32 (.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2)) (*.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2)))
8.0ms	(*.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2))

Compiler

Compiled 1225 to 1044 computations (14.8% saved)

simplify174.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

601×	`fma-def_binary32`
479×	`*-commutative_binary32`
350×	`unswap-sqr_binary32`
268×	`fma-neg_binary32`
267×	`cancel-sign-sub-inv_binary32`

Counts

169 → 132

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	239	3012
1	485	2827
2	1382	2742
3	2544	2728
4	4902	2728
5	4953	2728

prune125.0ms (1.3%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	130	2	132
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	130	13	143

Error

0.0b

Counts

143 → 13

Alt Table

Status	Error	Program
	0.6b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (.f32 (.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (.f32 u2 u2)) (pow.f32 (cbrt.f32 u2) 3)))))
	3.0b	(exp.f32 (log.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (.f32 (pow.f32 u2 3) 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328))))))
	0.6b	(.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) 1)) (.f32 (sin.f32 (cbrt.f32 (*.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3)))) (sqrt.f32 (/.f32 (sqrt.f32 u1) (-.f32 1 u1)))))
	0.7b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 (sqrt.f32 (.f32 (cbrt.f32 3537118876014453/562949953421312) (cbrt.f32 3537118876014453/562949953421312))) (.f32 (*.f32 (sqrt.f32 3537118876014453/562949953421312) u2) (sqrt.f32 (cbrt.f32 3537118876014453/562949953421312))))))
	0.9b	(.f32 (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cbrt.f32 (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))) (cbrt.f32 (.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))))
	2.4b	(fma.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (fma.f32 (pow.f32 u2 3) -14751212283789755923750049881590808948775912559/356811923176489970264571492362373784095686656 (.f32 (cbrt.f32 (pow.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) 14)) (.f32 (pow.f32 u2 7) -1/5040))) (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (fma.f32 u2 (cbrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (.f32 (cbrt.f32 (pow.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) 10)) (*.f32 1/120 (pow.f32 u2 5))))))
	0.5b	(/.f32 (.f32 (sin.f32 (cbrt.f32 (.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3)))) (sqrt.f32 u1)) (sqrt.f32 (-.f32 1 u1)))
	0.7b	(.f32 (sqrt.f32 (/.f32 (sqrt.f32 u1) (+.f32 1 (sqrt.f32 u1)))) (.f32 (sin.f32 (*.f32 3537118876014453/562949953421312 u2)) (sqrt.f32 (/.f32 (sqrt.f32 u1) (-.f32 1 (sqrt.f32 u1))))))
	1.6b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2)))) (sqrt.f32 (sin.f32 (.f32 (sqrt.f32 3537118876014453/562949953421312) (*.f32 u2 (sqrt.f32 3537118876014453/562949953421312))))))
	0.8b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (.f32 (cbrt.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2))) (cbrt.f32 (sin.f32 (.f32 3537118876014453/562949953421312 u2))))) (cbrt.f32 (sin.f32 (.f32 (sqrt.f32 3537118876014453/562949953421312) (*.f32 u2 (sqrt.f32 3537118876014453/562949953421312))))))
	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (.f32 (.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2)) (.f32 (sqrt.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328) (pow.f32 u2 3/2))))))
	0.6b	(.f32 (sqrt.f32 (/.f32 1 (+.f32 1 (sqrt.f32 u1)))) (.f32 (sin.f32 (cbrt.f32 (*.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3)))) (sqrt.f32 (/.f32 u1 (-.f32 1 (sqrt.f32 u1))))))
	0.7b	(.f32 (sqrt.f32 (/.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (+.f32 1 (sqrt.f32 u1)))) (.f32 (sin.f32 (cbrt.f32 (.f32 44253636851369267771250149644772426846327737677/178405961588244985132285746181186892047843328 (pow.f32 u2 3)))) (sqrt.f32 (/.f32 (cbrt.f32 u1) (-.f32 1 (sqrt.f32 u1))))))

Compiler

Compiled 2163 to 1721 computations (20.4% saved)

regimes5.0s (50.6%)

Accuracy

Total 0.4b remaining (88.1%)

Threshold costs 0.4b (88.1%)

Compiler

Compiled 75119 to 60040 computations (20.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-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	27
1	22	27
2	26	27
3	28	27
4	29	27
5	28	27

end1.0ms (0%)

Compiler: Compiled 20 to 17 computations (15% saved)

sample2.1s (21%)

Algorithm

1×

intervals

Results

947.0ms	8000×	body	128	valid
263.0ms	8000×	pre	128	true
0.0ms	4×	pre	128	false

Compiler

Compiled 413 to 332 computations (19.6% 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

analyze393.0ms (4%)

sample58.0ms (0.6%)

simplify11.0ms (0.1%)

prune1.0ms (0%)

localize31.0ms (0.3%)

rewrite148.0ms (1.5%)

series56.0ms (0.6%)

simplify154.0ms (1.6%)

prune82.0ms (0.8%)

localize38.0ms (0.4%)

rewrite183.0ms (1.9%)

series76.0ms (0.8%)

simplify140.0ms (1.4%)

prune88.0ms (0.9%)

localize38.0ms (0.4%)

rewrite190.0ms (1.9%)

series78.0ms (0.8%)

simplify218.0ms (2.2%)

prune98.0ms (1%)

localize50.0ms (0.5%)

rewrite230.0ms (2.3%)

series135.0ms (1.4%)

simplify174.0ms (1.8%)

prune125.0ms (1.3%)

regimes5.0s (50.6%)

simplify4.0ms (0%)

end1.0ms (0%)

sample2.1s (21%)

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