Details

analyze1.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 38 to 21 computations (44.7% saved)

sample2.0s (35.8%)

Results

2.0s

8256×

body

128

valid

Compiler

Compiled 76 to 42 computations (44.7% saved)

preprocess77.0ms (1.4%)

Algorithm

2×	egg-herbie

Rules

967×	`associate-/l/_binary32`
808×	`associate-/l*_binary32`
710×	`times-frac_binary32`
520×	`associate-/r/_binary32`
385×	`associate-*r/_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	72
1	49	72
2	173	72
3	733	72
4	2487	72
5	3267	72
6	3267	72
7	4554	72
8	4807	72
9	4927	72
10	4939	72
11	4939	72
12	4941	72
13	4941	72
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs

(*.f32 (/.f32 (sin.f32 (*.f32 (*.f32 x (PI.f32)) tau)) (*.f32 (*.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32))))

(*.f32 (/.f32 (sin.f32 (*.f32 (*.f32 tau (PI.f32)) x)) (*.f32 (*.f32 tau (PI.f32)) x)) (/.f32 (sin.f32 (*.f32 tau (PI.f32))) (*.f32 tau (PI.f32))))

Outputs
(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
(.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))) (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (*.f32 (PI.f32) tau))))
(.f32 (sin.f32 (.f32 x (PI.f32))) (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 (PI.f32) (.f32 (.f32 x x) (.f32 (PI.f32) tau)))))
(.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (/.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))) (.f32 x (*.f32 (PI.f32) tau))))
(.f32 (sin.f32 (.f32 x (PI.f32))) (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 (PI.f32) (.f32 tau (.f32 x (.f32 x (PI.f32)))))))
(.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 (PI.f32) (.f32 tau (.f32 x (.f32 x (PI.f32)))))))
(.f32 (/.f32 (sin.f32 (.f32 (.f32 tau (PI.f32)) x)) (.f32 (.f32 tau (PI.f32)) x)) (/.f32 (sin.f32 (.f32 tau (PI.f32))) (*.f32 tau (PI.f32))))
(.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau))) (/.f32 (sin.f32 (.f32 (PI.f32) tau)) (*.f32 (PI.f32) tau)))
(.f32 (sin.f32 (.f32 (PI.f32) tau)) (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 tau (.f32 (PI.f32) (.f32 (PI.f32) tau))))))
(.f32 (/.f32 (sin.f32 (.f32 (PI.f32) tau)) (.f32 x (.f32 tau (.f32 (PI.f32) (.f32 (PI.f32) tau))))) (sin.f32 (.f32 x (.f32 (PI.f32) tau))))
(.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (/.f32 (sin.f32 (.f32 (PI.f32) tau)) (.f32 x (.f32 tau (.f32 (PI.f32) (.f32 (PI.f32) tau))))))

Compiler

Compiled 23 to 10 computations (56.5% saved)

simplify39.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

745×	`associate-/l/_binary32`
396×	`associate-/l*_binary32`
281×	`times-frac_binary32`
253×	`associate-/r/_binary32`
154×	`associate-*l/_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	36
1	24	36
2	83	36
3	333	36
4	1180	36
5	2559	36
6	2687	36
7	2717	36
8	2727	36
9	2731	36
10	2733	36
11	2733	36

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))

Outputs
(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
(.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 x (PI.f32))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 (*.f32 x (PI.f32)) tau)))
(.f32 (/.f32 (sin.f32 (.f32 (PI.f32) (.f32 x tau))) (.f32 (PI.f32) (.f32 x tau))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
(.f32 (/.f32 (sin.f32 (.f32 (PI.f32) (.f32 x tau))) (PI.f32)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (.f32 (PI.f32) (*.f32 x tau)))))
(.f32 (sin.f32 (.f32 (PI.f32) (.f32 x tau))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (.f32 (PI.f32) (.f32 (PI.f32) (.f32 x tau))))))
(.f32 (sin.f32 (.f32 x (PI.f32))) (/.f32 (/.f32 (sin.f32 (.f32 (PI.f32) (.f32 x tau))) (.f32 (PI.f32) (PI.f32))) (.f32 x (*.f32 x tau))))
(.f32 (sin.f32 (.f32 (PI.f32) (.f32 x tau))) (/.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 (PI.f32) tau)) (.f32 x (*.f32 x (PI.f32)))))

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

0.6b

Counts

3 → 2

Alt Table

Status	Error	Program
	1.0b	(.f32 (sin.f32 (.f32 (PI.f32) (.f32 x tau))) (/.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 (PI.f32) tau)) (.f32 x (*.f32 x (PI.f32)))))
▶	0.7b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))

Status

Error

Program

1.0b

(*.f32 (sin.f32 (*.f32 (PI.f32) (*.f32 x tau))) (/.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 (PI.f32) tau)) (*.f32 x (*.f32 x (PI.f32)))))

▶

0.7b

(*.f32 (/.f32 (sin.f32 (*.f32 (*.f32 x (PI.f32)) tau)) (*.f32 (*.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32))))

Compiler

Compiled 136 to 64 computations (52.9% saved)

localize32.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f32 x (PI.f32))
✓	0.3b	(/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))
✓	0.4b	(/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau))
✓	0.5b	(sin.f32 (.f32 (.f32 x (PI.f32)) tau))

series17.0ms (0.3%)

Counts

4 → 72

Calls

18 calls:

Time	Variable		Point	Expression
3.0ms	tau	@	inf	(/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau))
2.0ms	x	@	0	(*.f32 x (PI.f32))
2.0ms	x	@	0	(sin.f32 (.f32 (.f32 x (PI.f32)) tau))
1.0ms	x	@	-inf	(/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau))
1.0ms	tau	@	0	(/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau))

rewrite60.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

720×	`prod-diff_binary32`
203×	`expm1-udef_binary32`
203×	`log1p-udef_binary32`
111×	`*-un-lft-identity_binary32`
111×	`add-sqr-sqrt_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	49
1	213	49
2	3114	49

Stop Event

1×	node limit

Counts

4 → 116

Calls

Call 1

Inputs
(sin.f32 (.f32 (.f32 x (PI.f32)) tau))
(/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau))
(/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))
(*.f32 x (PI.f32))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (sin.f32 (.f32 x (.f32 (PI.f32) tau))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) 2) (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (sqrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (/.f32 (/.f32 (/.f32 1 x) (PI.f32)) tau))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))) (cbrt.f32 (pow.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (pow.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau))) 2)) (cbrt.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) 2) (.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (/.f32 (/.f32 (/.f32 1 x) (PI.f32)) tau)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))) (sqrt.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (.f32 (sqrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (/.f32 (/.f32 (/.f32 1 x) (PI.f32)) tau)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (neg.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (/.f32 1 (.f32 (.f32 x (PI.f32)) (neg.f32 tau))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (/.f32 1 x) (PI.f32)) (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) tau))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (/.f32 (/.f32 1 x) (PI.f32)) tau) (sin.f32 (.f32 x (.f32 (PI.f32) tau))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (PI.f32))) (/.f32 1 tau))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 x) (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 (PI.f32) tau)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) 2) x) (/.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (.f32 (PI.f32) tau)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) x) (/.f32 (sqrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (.f32 (PI.f32) tau)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) 2) (.f32 x (PI.f32))) (/.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) tau))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (.f32 x (PI.f32))) (/.f32 (sqrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) tau))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) tau) (/.f32 (sqrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 tau) (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) 2) tau) (/.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) 2) 1) (/.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (.f32 x (.f32 (PI.f32) tau))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) 1) (/.f32 (sqrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (.f32 x (.f32 (PI.f32) tau))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (pow.f32 (cbrt.f32 (.f32 x (.f32 (PI.f32) tau))) 2)) (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (cbrt.f32 (.f32 x (.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) 2) (pow.f32 (cbrt.f32 (.f32 x (.f32 (PI.f32) tau))) 2)) (cbrt.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (pow.f32 (cbrt.f32 (.f32 x (.f32 (PI.f32) tau))) 2)) (/.f32 (sqrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (cbrt.f32 (.f32 x (.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (sqrt.f32 (.f32 x (.f32 (PI.f32) tau)))) (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (sqrt.f32 (.f32 x (.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) 2) (sqrt.f32 (.f32 x (.f32 (PI.f32) tau)))) (/.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (sqrt.f32 (.f32 x (.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 x (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 (PI.f32) tau))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 (.f32 x (PI.f32)) (neg.f32 tau))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (/.f32 (pow.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) 3) (pow.f32 (.f32 x (.f32 (PI.f32) tau)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sin.f32 (.f32 x (PI.f32))) (/.f32 (/.f32 1 x) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) 2) (.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) (/.f32 (/.f32 1 x) (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))) (pow.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))) 2) (cbrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (/.f32 (/.f32 1 x) (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))) (sqrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (neg.f32 (sin.f32 (.f32 x (PI.f32)))) (/.f32 1 (.f32 (PI.f32) (neg.f32 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (/.f32 1 x) (PI.f32)) (sin.f32 (.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) x) (/.f32 1 (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) 2) 1) (/.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) (.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) 1) (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) x) (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 x) (/.f32 (sin.f32 (.f32 x (PI.f32))) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (PI.f32)) (/.f32 (sin.f32 (.f32 x (PI.f32))) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (pow.f32 (cbrt.f32 (.f32 x (PI.f32))) 2)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (cbrt.f32 (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (sqrt.f32 (.f32 x (PI.f32)))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (sqrt.f32 (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) 2) x) (/.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (PI.f32)) (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) 2) (PI.f32)) (/.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) 2) (pow.f32 (cbrt.f32 (.f32 x (PI.f32))) 2)) (cbrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (pow.f32 (cbrt.f32 (.f32 x (PI.f32))) 2)) (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (cbrt.f32 (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) 2) (sqrt.f32 (.f32 x (PI.f32)))) (/.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) (sqrt.f32 (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 (.f32 x (PI.f32)) (sin.f32 (.f32 x (PI.f32)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 (PI.f32) (neg.f32 x))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (/.f32 (pow.f32 (sin.f32 (.f32 x (PI.f32))) 3) (pow.f32 (.f32 x (PI.f32)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (.f32 x (PI.f32)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 x (PI.f32)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (.f32 x (PI.f32)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (.f32 x (PI.f32))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (.f32 x (PI.f32))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (.f32 x (PI.f32)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (.f32 x (PI.f32)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 x 3) (pow.f32 (PI.f32) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (.f32 x (PI.f32))) 1))))))

simplify62.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

473×	`fma-neg_binary32`
449×	`distribute-rgt-neg-in_binary32`
440×	`distribute-lft-neg-in_binary32`
299×	`*-commutative_binary32`
293×	`fma-def_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	78	1330
1	245	1314
2	922	1298
3	2785	1298
4	4767	1298

Stop Event

1×	node limit

Counts

188 → 143

Calls

Call 1

Inputs
(.f32 (PI.f32) (.f32 tau x))
(-.f32 (.f32 (PI.f32) (.f32 tau x)) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5)))) (.f32 (PI.f32) (.f32 tau x))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5)))) (.f32 (PI.f32) (.f32 tau x))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 7) (.f32 (pow.f32 tau 7) (pow.f32 x 7)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 tau 3) (pow.f32 x 3))))))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(.f32 (PI.f32) (.f32 tau x))
(-.f32 (.f32 (PI.f32) (.f32 tau x)) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5)))) (.f32 (PI.f32) (.f32 tau x))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5)))) (.f32 (PI.f32) (.f32 tau x))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 7) (.f32 (pow.f32 tau 7) (pow.f32 x 7)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 tau 3) (pow.f32 x 3))))))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
1
(-.f32 1 (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (*.f32 (pow.f32 tau 2) (pow.f32 x 2)))))
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 (pow.f32 tau 2) (pow.f32 x 2)))))
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 tau 6) (pow.f32 x 6)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (*.f32 (pow.f32 tau 2) (pow.f32 x 2))))))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
1
(-.f32 1 (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (*.f32 (pow.f32 tau 2) (pow.f32 x 2)))))
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 (pow.f32 tau 2) (pow.f32 x 2)))))
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 tau 6) (pow.f32 x 6)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (*.f32 (pow.f32 tau 2) (pow.f32 x 2))))))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
1
(-.f32 1 (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (pow.f32 x 2))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) 1) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (pow.f32 x 2))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) 1) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (pow.f32 x 6))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (pow.f32 x 2)))))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)

Outputs
(.f32 (PI.f32) (.f32 tau x))
(.f32 x (.f32 (PI.f32) tau))
(-.f32 (.f32 (PI.f32) (.f32 tau x)) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(-.f32 (.f32 (PI.f32) (.f32 tau x)) (.f32 (.f32 1/6 (pow.f32 (PI.f32) 3)) (*.f32 (pow.f32 tau 3) (pow.f32 x 3))))
(fma.f32 (PI.f32) (.f32 tau x) (.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3))) -1/6))
(fma.f32 (.f32 (pow.f32 tau 3) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))) -1/6 (.f32 x (.f32 (PI.f32) tau)))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5)))) (.f32 (PI.f32) (.f32 tau x))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(-.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (.f32 (PI.f32) (.f32 tau x))) (.f32 (.f32 1/6 (pow.f32 (PI.f32) 3)) (*.f32 (pow.f32 tau 3) (pow.f32 x 3))))
(fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (fma.f32 (PI.f32) (.f32 tau x) (.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3))) -1/6)))
(fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (fma.f32 (.f32 (pow.f32 tau 3) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))) -1/6 (.f32 x (.f32 (PI.f32) tau))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5)))) (.f32 (PI.f32) (.f32 tau x))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 7) (.f32 (pow.f32 tau 7) (pow.f32 x 7)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 tau 3) (pow.f32 x 3))))))
(-.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (.f32 (PI.f32) (.f32 tau x))) (fma.f32 1/5040 (.f32 (.f32 (pow.f32 (PI.f32) 7) (pow.f32 tau 7)) (pow.f32 x 7)) (.f32 (.f32 1/6 (pow.f32 (PI.f32) 3)) (*.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(-.f32 (fma.f32 (PI.f32) (.f32 tau x) (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))))) (fma.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3))) (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 7) (*.f32 (pow.f32 tau 7) (pow.f32 x 7))))))
(fma.f32 (PI.f32) (.f32 tau x) (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (fma.f32 (.f32 (pow.f32 tau 3) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))) -1/6 (.f32 (.f32 (pow.f32 x 7) (.f32 (pow.f32 (PI.f32) 7) (pow.f32 tau 7))) -1/5040))))
(fma.f32 (PI.f32) (.f32 tau x) (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (fma.f32 (pow.f32 (PI.f32) 3) (.f32 (.f32 (pow.f32 tau 3) (pow.f32 x 3)) -1/6) (.f32 (pow.f32 x 7) (.f32 (.f32 (pow.f32 (PI.f32) 7) (pow.f32 tau 7)) -1/5040)))))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 x (.f32 (PI.f32) tau)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 x (.f32 (PI.f32) tau)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 x (.f32 (PI.f32) tau)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 x (.f32 (PI.f32) tau)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 x (.f32 (PI.f32) tau)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 x (.f32 (PI.f32) tau)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 x (.f32 (PI.f32) tau)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 x (.f32 (PI.f32) tau)))
(.f32 (PI.f32) (.f32 tau x))
(.f32 x (.f32 (PI.f32) tau))
(-.f32 (.f32 (PI.f32) (.f32 tau x)) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(-.f32 (.f32 (PI.f32) (.f32 tau x)) (.f32 (.f32 1/6 (pow.f32 (PI.f32) 3)) (*.f32 (pow.f32 tau 3) (pow.f32 x 3))))
(fma.f32 (PI.f32) (.f32 tau x) (.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3))) -1/6))
(fma.f32 (.f32 (pow.f32 tau 3) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))) -1/6 (.f32 x (.f32 (PI.f32) tau)))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5)))) (.f32 (PI.f32) (.f32 tau x))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(-.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (.f32 (PI.f32) (.f32 tau x))) (.f32 (.f32 1/6 (pow.f32 (PI.f32) 3)) (*.f32 (pow.f32 tau 3) (pow.f32 x 3))))
(fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (fma.f32 (PI.f32) (.f32 tau x) (.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3))) -1/6)))
(fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (fma.f32 (.f32 (pow.f32 tau 3) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))) -1/6 (.f32 x (.f32 (PI.f32) tau))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5)))) (.f32 (PI.f32) (.f32 tau x))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 7) (.f32 (pow.f32 tau 7) (pow.f32 x 7)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 tau 3) (pow.f32 x 3))))))
(-.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (.f32 (PI.f32) (.f32 tau x))) (fma.f32 1/5040 (.f32 (.f32 (pow.f32 (PI.f32) 7) (pow.f32 tau 7)) (pow.f32 x 7)) (.f32 (.f32 1/6 (pow.f32 (PI.f32) 3)) (*.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(-.f32 (fma.f32 (PI.f32) (.f32 tau x) (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))))) (fma.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3))) (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 7) (*.f32 (pow.f32 tau 7) (pow.f32 x 7))))))
(fma.f32 (PI.f32) (.f32 tau x) (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (fma.f32 (.f32 (pow.f32 tau 3) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))) -1/6 (.f32 (.f32 (pow.f32 x 7) (.f32 (pow.f32 (PI.f32) 7) (pow.f32 tau 7))) -1/5040))))
(fma.f32 (PI.f32) (.f32 tau x) (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (fma.f32 (pow.f32 (PI.f32) 3) (.f32 (.f32 (pow.f32 tau 3) (pow.f32 x 3)) -1/6) (.f32 (pow.f32 x 7) (.f32 (.f32 (pow.f32 (PI.f32) 7) (pow.f32 tau 7)) -1/5040)))))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 x (.f32 (PI.f32) tau)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 x (.f32 (PI.f32) tau)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 x (.f32 (PI.f32) tau)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 x (.f32 (PI.f32) tau)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 x (.f32 (PI.f32) tau)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 x (.f32 (PI.f32) tau)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 x (.f32 (PI.f32) tau)))
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(sin.f32 (.f32 x (.f32 (PI.f32) tau)))
1
(-.f32 1 (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (*.f32 (pow.f32 tau 2) (pow.f32 x 2)))))
(+.f32 1 (.f32 -1/6 (.f32 (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau)) (*.f32 x x))))
(+.f32 1 (.f32 (.f32 (pow.f32 (PI.f32) 2) (.f32 x (.f32 x (*.f32 tau tau)))) -1/6))
(fma.f32 (.f32 -1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau))) (.f32 x x) 1)
(fma.f32 (.f32 (.f32 x x) (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau))) -1/6 1)
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 (pow.f32 tau 2) (pow.f32 x 2)))))
(+.f32 1 (-.f32 (.f32 1/120 (.f32 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 tau 4)) (pow.f32 x 4))) (.f32 1/6 (.f32 (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau)) (.f32 x x)))))
(+.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))) 1) (.f32 (.f32 (pow.f32 (PI.f32) 2) (.f32 x (.f32 x (*.f32 tau tau)))) -1/6))
(fma.f32 1/120 (.f32 (pow.f32 tau 4) (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) (fma.f32 (.f32 -1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau))) (.f32 x x) 1))
(fma.f32 (.f32 (.f32 x x) (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau))) -1/6 (fma.f32 1/120 (.f32 (pow.f32 tau 4) (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) 1))
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 tau 6) (pow.f32 x 6)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (*.f32 (pow.f32 tau 2) (pow.f32 x 2))))))
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 tau 4)) (pow.f32 x 4)))) (fma.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 tau 6) (pow.f32 x 6))) (.f32 1/6 (.f32 (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau)) (.f32 x x)))))
(-.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))) 1) (fma.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 x (.f32 x (.f32 tau tau)))) (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (*.f32 (pow.f32 tau 6) (pow.f32 x 6))))))
(+.f32 (.f32 (.f32 (pow.f32 tau 6) (.f32 (pow.f32 (PI.f32) 6) (pow.f32 x 6))) -1/5040) (fma.f32 1/120 (.f32 (pow.f32 tau 4) (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) (fma.f32 (.f32 -1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau))) (*.f32 x x) 1)))
(+.f32 (.f32 (pow.f32 tau 6) (.f32 (pow.f32 x 6) (.f32 (pow.f32 (PI.f32) 6) -1/5040))) (fma.f32 (.f32 (.f32 x x) (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau))) -1/6 (fma.f32 1/120 (.f32 (pow.f32 tau 4) (*.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) 1)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))
1
(-.f32 1 (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (*.f32 (pow.f32 tau 2) (pow.f32 x 2)))))
(+.f32 1 (.f32 -1/6 (.f32 (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau)) (*.f32 x x))))
(+.f32 1 (.f32 (.f32 (pow.f32 (PI.f32) 2) (.f32 x (.f32 x (*.f32 tau tau)))) -1/6))
(fma.f32 (.f32 -1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau))) (.f32 x x) 1)
(fma.f32 (.f32 (.f32 x x) (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau))) -1/6 1)
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 (pow.f32 tau 2) (pow.f32 x 2)))))
(+.f32 1 (-.f32 (.f32 1/120 (.f32 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 tau 4)) (pow.f32 x 4))) (.f32 1/6 (.f32 (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau)) (.f32 x x)))))
(+.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))) 1) (.f32 (.f32 (pow.f32 (PI.f32) 2) (.f32 x (.f32 x (*.f32 tau tau)))) -1/6))
(fma.f32 1/120 (.f32 (pow.f32 tau 4) (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) (fma.f32 (.f32 -1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau))) (.f32 x x) 1))
(fma.f32 (.f32 (.f32 x x) (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau))) -1/6 (fma.f32 1/120 (.f32 (pow.f32 tau 4) (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) 1))
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 tau 6) (pow.f32 x 6)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (*.f32 (pow.f32 tau 2) (pow.f32 x 2))))))
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 tau 4)) (pow.f32 x 4)))) (fma.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 tau 6) (pow.f32 x 6))) (.f32 1/6 (.f32 (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau)) (.f32 x x)))))
(-.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))) 1) (fma.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 x (.f32 x (.f32 tau tau)))) (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (*.f32 (pow.f32 tau 6) (pow.f32 x 6))))))
(+.f32 (.f32 (.f32 (pow.f32 tau 6) (.f32 (pow.f32 (PI.f32) 6) (pow.f32 x 6))) -1/5040) (fma.f32 1/120 (.f32 (pow.f32 tau 4) (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) (fma.f32 (.f32 -1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau))) (*.f32 x x) 1)))
(+.f32 (.f32 (pow.f32 tau 6) (.f32 (pow.f32 x 6) (.f32 (pow.f32 (PI.f32) 6) -1/5040))) (fma.f32 (.f32 (.f32 x x) (.f32 (pow.f32 (PI.f32) 2) (.f32 tau tau))) -1/6 (fma.f32 1/120 (.f32 (pow.f32 tau 4) (*.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) 1)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))
1
(-.f32 1 (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (pow.f32 x 2))))
(-.f32 1 (.f32 (.f32 1/6 (pow.f32 (PI.f32) 2)) (*.f32 x x)))
(-.f32 1 (.f32 (.f32 x x) (*.f32 1/6 (pow.f32 (PI.f32) 2))))
(fma.f32 (.f32 x (.f32 x (pow.f32 (PI.f32) 2))) -1/6 1)
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) 1) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (pow.f32 x 2))))
(-.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4)) 1) (.f32 (.f32 1/6 (pow.f32 (PI.f32) 2)) (.f32 x x)))
(-.f32 (fma.f32 (.f32 1/120 (pow.f32 (PI.f32) 4)) (pow.f32 x 4) 1) (.f32 (.f32 x x) (.f32 1/6 (pow.f32 (PI.f32) 2))))
(fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4)) (fma.f32 (.f32 x (*.f32 x (pow.f32 (PI.f32) 2))) -1/6 1))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) 1) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (pow.f32 x 6))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (pow.f32 x 2)))))
(-.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4)) 1) (fma.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (pow.f32 x 6)) (.f32 (.f32 1/6 (pow.f32 (PI.f32) 2)) (*.f32 x x))))
(-.f32 (fma.f32 (.f32 1/120 (pow.f32 (PI.f32) 4)) (pow.f32 x 4) 1) (fma.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (pow.f32 x 6)) (.f32 (.f32 x x) (*.f32 1/6 (pow.f32 (PI.f32) 2)))))
(+.f32 (fma.f32 (.f32 x (.f32 x (pow.f32 (PI.f32) 2))) -1/6 1) (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4)) (.f32 (pow.f32 x 6) (*.f32 (pow.f32 (PI.f32) 6) -1/5040))))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)
(*.f32 (PI.f32) x)

prune258.0ms (4.6%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	175	16	191
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	176	17	193

Error

0.2b

Counts

193 → 17

Alt Table

Status	Error	Program
	1.0b	(.f32 (/.f32 (sin.f32 (.f32 (pow.f32 (sqrt.f32 (.f32 x (PI.f32))) 2) tau)) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	1.3b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (.f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) 2) (sqrt.f32 (.f32 x (PI.f32)))) (/.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) (sqrt.f32 (.f32 x (PI.f32))))))
	1.0b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (pow.f32 (sqrt.f32 (.f32 x (PI.f32))) 2) tau)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	0.9b	(.f32 (-.f32 (exp.f32 (log1p.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau))))) 1) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	1.0b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (.f32 (/.f32 1 (sqrt.f32 (.f32 x (PI.f32)))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (sqrt.f32 (*.f32 x (PI.f32))))))
	4.9b	(.f32 (/.f32 (log.f32 (exp.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))))) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	4.2b	(.f32 (-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 tau 6) (pow.f32 x 6)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 (pow.f32 tau 2) (pow.f32 x 2)))))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))))
	0.9b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (log.f32 (exp.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))))
	1.0b	(.f32 (sin.f32 (.f32 (PI.f32) (.f32 x tau))) (/.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 (PI.f32) tau)) (.f32 x (*.f32 x (PI.f32)))))
	1.3b	(.f32 (.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) 2) (.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (/.f32 (/.f32 (/.f32 1 x) (PI.f32)) tau))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	0.9b	(.f32 (/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	1.0b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (pow.f32 (sqrt.f32 (.f32 x (PI.f32))) 2)) (*.f32 x (PI.f32))))
	1.0b	(.f32 (pow.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))) 3) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
▶	0.7b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (*.f32 x (PI.f32))))))
	1.0b	(.f32 (log.f32 (+.f32 1 (expm1.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	1.0b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (.f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) 1) (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (*.f32 x (PI.f32)))))
	2.3b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) 1) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (pow.f32 x 6))) (.f32 1/6 (*.f32 (pow.f32 (PI.f32) 2) (pow.f32 x 2))))))

Compiler

Compiled 6165 to 1788 computations (71% saved)

localize40.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f32 x (PI.f32))
✓	0.3b	(/.f32 (sin.f32 (.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (.f32 x (PI.f32)))))
	0.4b	(/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau))
	0.5b	(sin.f32 (.f32 (.f32 x (PI.f32)) tau))

series3.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(/.f32 (sin.f32 (.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (.f32 x (PI.f32)))))
0.0ms	x	@	0	(/.f32 (sin.f32 (.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (.f32 x (PI.f32)))))
0.0ms	x	@	-inf	(/.f32 (sin.f32 (.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (.f32 x (PI.f32)))))

Time

Variable

Point

Expression

2.0ms

inf

(/.f32 (sin.f32 (*.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (*.f32 x (PI.f32)))))

0.0ms

(/.f32 (sin.f32 (*.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (*.f32 x (PI.f32)))))

0.0ms

-inf

(/.f32 (sin.f32 (*.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (*.f32 x (PI.f32)))))

rewrite38.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

761×	`pow1_binary32`
703×	`expm1-log1p-u_binary32`
702×	`log1p-expm1-u_binary32`
72×	`*-un-lft-identity_binary32`
72×	`add-sqr-sqrt_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	146	14
2	1863	14

Stop Event

1×	node limit

Counts

1 → 39

Calls

Call 1

Inputs
(/.f32 (sin.f32 (.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (.f32 x (PI.f32)))))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sin.f32 (.f32 x (PI.f32))) (/.f32 (/.f32 1 (PI.f32)) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))) (pow.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))) 2) (cbrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) 2) (.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) (/.f32 (/.f32 1 (PI.f32)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))) (sqrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (/.f32 (/.f32 1 (PI.f32)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (neg.f32 (sin.f32 (.f32 x (PI.f32)))) (/.f32 1 (.f32 x (neg.f32 (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (/.f32 1 (PI.f32)) x) (sin.f32 (.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 x) (/.f32 (sin.f32 (.f32 x (PI.f32))) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) 2) x) (/.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) x) (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (PI.f32)) (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (PI.f32)) (/.f32 (sin.f32 (.f32 x (PI.f32))) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) 2) (PI.f32)) (/.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) 2) 1) (/.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) (.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) 1) (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (pow.f32 (cbrt.f32 (.f32 x (PI.f32))) 2)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (cbrt.f32 (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) 2) (pow.f32 (cbrt.f32 (.f32 x (PI.f32))) 2)) (cbrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (pow.f32 (cbrt.f32 (.f32 x (PI.f32))) 2)) (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (cbrt.f32 (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (sqrt.f32 (.f32 x (PI.f32)))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (sqrt.f32 (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) 2) (sqrt.f32 (.f32 x (PI.f32)))) (/.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) (sqrt.f32 (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 x (/.f32 (sin.f32 (.f32 x (PI.f32))) (PI.f32))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (neg.f32 (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (/.f32 (pow.f32 (sin.f32 (.f32 x (PI.f32))) 3) (pow.f32 (.f32 x (PI.f32)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (.f32 (log.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32)))) 1))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sin.f32 (*.f32 x (PI.f32))) (/.f32 (/.f32 1 (PI.f32)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32)))) (pow.f32 (cbrt.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32)))) 2) (cbrt.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (PI.f32)))) 2) (*.f32 (cbrt.f32 (sin.f32 (*.f32 x (PI.f32)))) (/.f32 (/.f32 1 (PI.f32)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32)))) (sqrt.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (sin.f32 (*.f32 x (PI.f32)))) (*.f32 (sqrt.f32 (sin.f32 (*.f32 x (PI.f32)))) (/.f32 (/.f32 1 (PI.f32)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (neg.f32 (sin.f32 (*.f32 x (PI.f32)))) (/.f32 1 (*.f32 x (neg.f32 (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (/.f32 1 (PI.f32)) x) (sin.f32 (*.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 x) (/.f32 (sin.f32 (*.f32 x (PI.f32))) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (PI.f32)))) 2) x) (/.f32 (cbrt.f32 (sin.f32 (*.f32 x (PI.f32)))) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (PI.f32)))) x) (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (PI.f32)))) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (PI.f32)))) (PI.f32)) (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (PI.f32)))) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (PI.f32)) (/.f32 (sin.f32 (*.f32 x (PI.f32))) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (PI.f32)))) 2) (PI.f32)) (/.f32 (cbrt.f32 (sin.f32 (*.f32 x (PI.f32)))) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (PI.f32)))) 2) 1) (/.f32 (cbrt.f32 (sin.f32 (*.f32 x (PI.f32)))) (*.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (PI.f32)))) 1) (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (PI.f32)))) (*.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (pow.f32 (cbrt.f32 (*.f32 x (PI.f32))) 2)) (/.f32 (sin.f32 (*.f32 x (PI.f32))) (cbrt.f32 (*.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (PI.f32)))) 2) (pow.f32 (cbrt.f32 (*.f32 x (PI.f32))) 2)) (cbrt.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (PI.f32)))) (pow.f32 (cbrt.f32 (*.f32 x (PI.f32))) 2)) (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (PI.f32)))) (cbrt.f32 (*.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (sqrt.f32 (*.f32 x (PI.f32)))) (/.f32 (sin.f32 (*.f32 x (PI.f32))) (sqrt.f32 (*.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (PI.f32)))) 2) (sqrt.f32 (*.f32 x (PI.f32)))) (/.f32 (cbrt.f32 (sin.f32 (*.f32 x (PI.f32)))) (sqrt.f32 (*.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 x (/.f32 (sin.f32 (*.f32 x (PI.f32))) (PI.f32))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (neg.f32 (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (/.f32 (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 3) (pow.f32 (*.f32 x (PI.f32)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32)))) 1))))))

simplify33.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

836×	`distribute-rgt-neg-in_binary32`
487×	`fma-def_binary32`
475×	`cancel-sign-sub-inv_binary32`
290×	`*-commutative_binary32`
274×	`fma-neg_binary32`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	30	206
1	82	206
2	243	202
3	1148	200
4	4116	194

Stop Event

1×	node limit

Counts

51 → 47

Calls

Call 1

Inputs
1
(-.f32 1 (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (pow.f32 x 2))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) 1) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (pow.f32 x 2))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) 1) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (pow.f32 x 6))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (pow.f32 x 2)))))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))

Outputs
1
(-.f32 1 (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (pow.f32 x 2))))
(-.f32 1 (.f32 (.f32 1/6 (pow.f32 (PI.f32) 2)) (*.f32 x x)))
(-.f32 1 (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (*.f32 x x))))
(fma.f32 (.f32 (pow.f32 (PI.f32) 2) -1/6) (.f32 x x) 1)
(fma.f32 (pow.f32 (PI.f32) 2) (.f32 (.f32 x x) -1/6) 1)
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) 1) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (pow.f32 x 2))))
(+.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4)) 1) (.f32 -1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 x x))))
(+.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4)) 1) (.f32 (.f32 (pow.f32 (PI.f32) 2) (.f32 x x)) -1/6))
(fma.f32 (.f32 (pow.f32 (PI.f32) 2) -1/6) (.f32 x x) (fma.f32 (pow.f32 (PI.f32) 4) (*.f32 1/120 (pow.f32 x 4)) 1))
(fma.f32 (.f32 x x) (fma.f32 (.f32 x x) (.f32 1/120 (pow.f32 (PI.f32) 4)) (.f32 (pow.f32 (PI.f32) 2) -1/6)) 1)
(fma.f32 1/120 (pow.f32 (.f32 (PI.f32) x) 4) (fma.f32 (pow.f32 (PI.f32) 2) (.f32 (*.f32 x x) -1/6) 1))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) 1) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (pow.f32 x 6))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (pow.f32 x 2)))))
(-.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4)) 1) (fma.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (pow.f32 x 6)) (.f32 (.f32 1/6 (pow.f32 (PI.f32) 2)) (*.f32 x x))))
(-.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4)) 1) (fma.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 x x)) (.f32 1/5040 (*.f32 (pow.f32 (PI.f32) 6) (pow.f32 x 6)))))
(+.f32 (fma.f32 (pow.f32 (PI.f32) 4) (.f32 1/120 (pow.f32 x 4)) 1) (fma.f32 (.f32 (pow.f32 (PI.f32) 2) (.f32 x x)) -1/6 (.f32 (pow.f32 x 6) (*.f32 (pow.f32 (PI.f32) 6) -1/5040))))
(fma.f32 (pow.f32 (PI.f32) 2) (.f32 (.f32 x x) -1/6) (fma.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 x 6) -1/5040) (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4)) 1)))
(fma.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 x 6) -1/5040) (fma.f32 1/120 (pow.f32 (.f32 (PI.f32) x) 4) (fma.f32 (pow.f32 (PI.f32) 2) (.f32 (.f32 x x) -1/6) 1)))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))
(/.f32 (sin.f32 (.f32 (PI.f32) x)) (.f32 (PI.f32) x))

prune242.0ms (4.3%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	188	3	191
Fresh	3	13	16
Picked	1	0	1
Done	0	0	0
Total	192	16	208

Error

0.2b

Counts

208 → 16

Alt Table

Status	Error	Program
	1.0b	(.f32 (/.f32 (sin.f32 (.f32 (pow.f32 (sqrt.f32 (.f32 x (PI.f32))) 2) tau)) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	1.3b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (.f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) 2) (sqrt.f32 (.f32 x (PI.f32)))) (/.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) (sqrt.f32 (.f32 x (PI.f32))))))
	1.0b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (.f32 (/.f32 1 (sqrt.f32 (.f32 x (PI.f32)))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (sqrt.f32 (*.f32 x (PI.f32))))))
	4.9b	(.f32 (/.f32 (log.f32 (exp.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))))) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	4.2b	(.f32 (-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 tau 6) (pow.f32 x 6)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 (pow.f32 tau 2) (pow.f32 x 2)))))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))))
	0.9b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (log.f32 (exp.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))))
	0.9b	(.f32 (.f32 (/.f32 1 tau) (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (PI.f32)))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (*.f32 x (PI.f32))))))
	0.8b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (.f32 (neg.f32 (sin.f32 (.f32 x (PI.f32)))) (/.f32 1 (.f32 x (neg.f32 (PI.f32))))))
	1.3b	(.f32 (.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) 2) (.f32 (cbrt.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau)))) (/.f32 (/.f32 (/.f32 1 x) (PI.f32)) tau))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	0.9b	(.f32 (/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	0.9b	(.f32 (-.f32 (exp.f32 (log1p.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau))))) 1) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	1.0b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (pow.f32 (sqrt.f32 (.f32 x (PI.f32))) 2)) (*.f32 x (PI.f32))))
	1.0b	(.f32 (log.f32 (+.f32 1 (expm1.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	1.0b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (.f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) 1) (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (*.f32 x (PI.f32)))))
▶	0.7b	(.f32 (/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (*.f32 x (PI.f32))))))
	2.3b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) 1) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (pow.f32 x 6))) (.f32 1/6 (*.f32 (pow.f32 (PI.f32) 2) (pow.f32 x 2))))))

Compiler

Compiled 6397 to 1791 computations (72% saved)

localize44.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(/.f32 (sin.f32 (.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (.f32 x (PI.f32)))))
✓	0.4b	(.f32 (PI.f32) (.f32 tau x))
✓	0.4b	(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
✓	0.5b	(sin.f32 (.f32 (PI.f32) (.f32 tau x)))

series6.0ms (0.1%)

Counts

3 → 16

Calls

18 calls:

Time	Variable		Point	Expression
1.0ms	tau	@	0	(.f32 (PI.f32) (.f32 tau x))
1.0ms	x	@	0	(.f32 (PI.f32) (.f32 tau x))
0.0ms	tau	@	inf	(.f32 (PI.f32) (.f32 tau x))
0.0ms	x	@	inf	(.f32 (PI.f32) (.f32 tau x))
0.0ms	tau	@	-inf	(.f32 (PI.f32) (.f32 tau x))

rewrite50.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

879×	`log1p-expm1-u_binary32`
879×	`expm1-log1p-u_binary32`
86×	`*-un-lft-identity_binary32`
86×	`add-sqr-sqrt_binary32`
86×	`pow1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	38
1	166	38
2	2301	38

Stop Event

1×	node limit

Counts

3 → 76

Calls

Call 1

Inputs
(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
(.f32 (PI.f32) (.f32 tau x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) 2) (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (sqrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) 1))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (/.f32 1 (*.f32 x (*.f32 (PI.f32) tau))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (cbrt.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau)))) (pow.f32 (cbrt.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau)))) 2) (cbrt.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) 2) (*.f32 (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (/.f32 1 (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau)))) (sqrt.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (*.f32 (sqrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (/.f32 1 (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (neg.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (/.f32 1 (*.f32 (*.f32 tau x) (neg.f32 (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (*.f32 x (*.f32 (PI.f32) tau))) (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (PI.f32)) (/.f32 1 (*.f32 tau x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) 2) 1) (/.f32 (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (*.f32 x (*.f32 (PI.f32) tau))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) 1) (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (*.f32 x (*.f32 (PI.f32) tau))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (PI.f32)) (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (*.f32 tau x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (PI.f32)) (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 tau x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) 2) (PI.f32)) (/.f32 (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (*.f32 tau x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (*.f32 tau x)) (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (*.f32 tau x)) (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) 2) (*.f32 tau x)) (/.f32 (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (pow.f32 (cbrt.f32 (*.f32 x (*.f32 (PI.f32) tau))) 2)) (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (cbrt.f32 (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) 2) (pow.f32 (cbrt.f32 (*.f32 x (*.f32 (PI.f32) tau))) 2)) (cbrt.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (pow.f32 (cbrt.f32 (*.f32 x (*.f32 (PI.f32) tau))) 2)) (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (cbrt.f32 (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (sqrt.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (sqrt.f32 (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) 2) (sqrt.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (/.f32 (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (sqrt.f32 (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (*.f32 (PI.f32) tau)) (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) 2) (*.f32 (PI.f32) tau)) (/.f32 (cbrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) (*.f32 (PI.f32) tau)) (/.f32 (sqrt.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 (*.f32 x (*.f32 (PI.f32) tau)) (sin.f32 (*.f32 x (*.f32 (PI.f32) tau)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 (*.f32 tau x) (neg.f32 (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (/.f32 (pow.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) 3) (pow.f32 (*.f32 x (*.f32 (PI.f32) tau)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (/.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) (*.f32 x (*.f32 (PI.f32) tau)))) 1))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (*.f32 x (*.f32 (PI.f32) tau)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 x (*.f32 (PI.f32) tau)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (pow.f32 (*.f32 x (*.f32 (PI.f32) tau)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (cbrt.f32 (*.f32 x (*.f32 (PI.f32) tau))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (sqrt.f32 (*.f32 x (*.f32 (PI.f32) tau))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 x (*.f32 (PI.f32) tau)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (pow.f32 (pow.f32 (exp.f32 tau) x) (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (*.f32 x (*.f32 (PI.f32) tau)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (*.f32 x (*.f32 (PI.f32) tau)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 (*.f32 tau x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (*.f32 (pow.f32 (*.f32 tau x) 3) (pow.f32 (PI.f32) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (*.f32 x (*.f32 (PI.f32) tau))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (*.f32 x (*.f32 (PI.f32) tau))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (log.f32 (*.f32 x (*.f32 (PI.f32) tau))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 (log.f32 (*.f32 x (*.f32 (PI.f32) tau))) 1))))))

simplify45.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

697×	`fma-def_binary32`
497×	`cancel-sign-sub-inv_binary32`
405×	`distribute-rgt-neg-in_binary32`
398×	`distribute-lft-neg-in_binary32`
372×	`fma-neg_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	62	584
1	197	568
2	759	556
3	2293	552
4	4792	552

Stop Event

1×	node limit

Counts

92 → 90

Calls

Call 1

Inputs
(.f32 (PI.f32) (.f32 tau x))
(-.f32 (.f32 (PI.f32) (.f32 tau x)) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5)))) (.f32 (PI.f32) (.f32 tau x))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5)))) (.f32 (PI.f32) (.f32 tau x))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 7) (.f32 (pow.f32 tau 7) (pow.f32 x 7)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 tau 3) (pow.f32 x 3))))))
(.f32 (PI.f32) (.f32 tau x))
(-.f32 (.f32 (PI.f32) (.f32 tau x)) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5)))) (.f32 (PI.f32) (.f32 tau x))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5)))) (.f32 (PI.f32) (.f32 tau x))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 7) (.f32 (pow.f32 tau 7) (pow.f32 x 7)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 tau 3) (pow.f32 x 3))))))
1
(-.f32 1 (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (*.f32 (pow.f32 tau 2) (pow.f32 x 2)))))
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 (pow.f32 tau 2) (pow.f32 x 2)))))
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 tau 6) (pow.f32 x 6)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (*.f32 (pow.f32 tau 2) (pow.f32 x 2))))))
1
(-.f32 1 (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (*.f32 (pow.f32 tau 2) (pow.f32 x 2)))))
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 (pow.f32 tau 2) (pow.f32 x 2)))))
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 tau 6) (pow.f32 x 6)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (*.f32 (pow.f32 tau 2) (pow.f32 x 2))))))

Outputs
(.f32 (PI.f32) (.f32 tau x))
(-.f32 (.f32 (PI.f32) (.f32 tau x)) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(+.f32 (.f32 (PI.f32) (.f32 tau x)) (.f32 -1/6 (.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 tau 3)) (pow.f32 x 3))))
(fma.f32 (PI.f32) (.f32 tau x) (.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3))) -1/6))
(fma.f32 (PI.f32) (.f32 tau x) (.f32 (pow.f32 x 3) (.f32 -1/6 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 tau 3)))))
(fma.f32 (PI.f32) (.f32 tau x) (.f32 (pow.f32 tau 3) (.f32 (pow.f32 x 3) (.f32 (pow.f32 (PI.f32) 3) -1/6))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5)))) (.f32 (PI.f32) (.f32 tau x))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(+.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (.f32 (PI.f32) (.f32 tau x))) (.f32 -1/6 (.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 tau 3)) (pow.f32 x 3))))
(fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (fma.f32 (PI.f32) (.f32 tau x) (.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3))) -1/6)))
(fma.f32 (PI.f32) (.f32 tau x) (fma.f32 1/120 (.f32 (pow.f32 x 5) (.f32 (pow.f32 (PI.f32) 5) (pow.f32 tau 5))) (.f32 (pow.f32 x 3) (.f32 -1/6 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 tau 3))))))
(fma.f32 (PI.f32) (.f32 tau x) (fma.f32 (pow.f32 x 3) (.f32 -1/6 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 tau 3))) (.f32 1/120 (.f32 (pow.f32 x 5) (.f32 (pow.f32 (PI.f32) 5) (pow.f32 tau 5))))))
(fma.f32 (PI.f32) (.f32 tau x) (fma.f32 (pow.f32 x 3) (.f32 -1/6 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 tau 3))) (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5)))) (.f32 (PI.f32) (.f32 tau x))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 7) (.f32 (pow.f32 tau 7) (pow.f32 x 7)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 tau 3) (pow.f32 x 3))))))
(-.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (.f32 (PI.f32) (.f32 tau x))) (fma.f32 1/5040 (.f32 (pow.f32 (PI.f32) 7) (.f32 (pow.f32 tau 7) (pow.f32 x 7))) (.f32 1/6 (.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 tau 3)) (pow.f32 x 3)))))
(-.f32 (fma.f32 (PI.f32) (.f32 tau x) (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))))) (fma.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3))) (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 7) (*.f32 (pow.f32 tau 7) (pow.f32 x 7))))))
(fma.f32 (PI.f32) (.f32 tau x) (fma.f32 1/120 (.f32 (pow.f32 x 5) (.f32 (pow.f32 (PI.f32) 5) (pow.f32 tau 5))) (fma.f32 (.f32 (pow.f32 x 3) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 tau 3))) -1/6 (.f32 (.f32 (pow.f32 tau 7) (pow.f32 x 7)) (.f32 (pow.f32 (PI.f32) 7) -1/5040)))))
(fma.f32 (PI.f32) (.f32 tau x) (fma.f32 1/120 (.f32 (pow.f32 x 5) (.f32 (pow.f32 (PI.f32) 5) (pow.f32 tau 5))) (fma.f32 (.f32 (pow.f32 x 7) (.f32 (pow.f32 (PI.f32) 7) (pow.f32 tau 7))) -1/5040 (.f32 (pow.f32 tau 3) (.f32 (pow.f32 x 3) (.f32 (pow.f32 (PI.f32) 3) -1/6))))))
(fma.f32 (PI.f32) (.f32 tau x) (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (fma.f32 (pow.f32 (PI.f32) 7) (.f32 (.f32 (pow.f32 tau 7) (pow.f32 x 7)) -1/5040) (.f32 (pow.f32 tau 3) (.f32 (pow.f32 x 3) (.f32 (pow.f32 (PI.f32) 3) -1/6))))))
(.f32 (PI.f32) (.f32 tau x))
(-.f32 (.f32 (PI.f32) (.f32 tau x)) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(+.f32 (.f32 (PI.f32) (.f32 tau x)) (.f32 -1/6 (.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 tau 3)) (pow.f32 x 3))))
(fma.f32 (PI.f32) (.f32 tau x) (.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3))) -1/6))
(fma.f32 (PI.f32) (.f32 tau x) (.f32 (pow.f32 x 3) (.f32 -1/6 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 tau 3)))))
(fma.f32 (PI.f32) (.f32 tau x) (.f32 (pow.f32 tau 3) (.f32 (pow.f32 x 3) (.f32 (pow.f32 (PI.f32) 3) -1/6))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5)))) (.f32 (PI.f32) (.f32 tau x))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3)))))
(+.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (.f32 (PI.f32) (.f32 tau x))) (.f32 -1/6 (.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 tau 3)) (pow.f32 x 3))))
(fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (fma.f32 (PI.f32) (.f32 tau x) (.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3))) -1/6)))
(fma.f32 (PI.f32) (.f32 tau x) (fma.f32 1/120 (.f32 (pow.f32 x 5) (.f32 (pow.f32 (PI.f32) 5) (pow.f32 tau 5))) (.f32 (pow.f32 x 3) (.f32 -1/6 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 tau 3))))))
(fma.f32 (PI.f32) (.f32 tau x) (fma.f32 (pow.f32 x 3) (.f32 -1/6 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 tau 3))) (.f32 1/120 (.f32 (pow.f32 x 5) (.f32 (pow.f32 (PI.f32) 5) (pow.f32 tau 5))))))
(fma.f32 (PI.f32) (.f32 tau x) (fma.f32 (pow.f32 x 3) (.f32 -1/6 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 tau 3))) (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))))))
(-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5)))) (.f32 (PI.f32) (.f32 tau x))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 7) (.f32 (pow.f32 tau 7) (pow.f32 x 7)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 tau 3) (pow.f32 x 3))))))
(-.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (.f32 (PI.f32) (.f32 tau x))) (fma.f32 1/5040 (.f32 (pow.f32 (PI.f32) 7) (.f32 (pow.f32 tau 7) (pow.f32 x 7))) (.f32 1/6 (.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 tau 3)) (pow.f32 x 3)))))
(-.f32 (fma.f32 (PI.f32) (.f32 tau x) (.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))))) (fma.f32 1/6 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 tau 3) (pow.f32 x 3))) (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 7) (*.f32 (pow.f32 tau 7) (pow.f32 x 7))))))
(fma.f32 (PI.f32) (.f32 tau x) (fma.f32 1/120 (.f32 (pow.f32 x 5) (.f32 (pow.f32 (PI.f32) 5) (pow.f32 tau 5))) (fma.f32 (.f32 (pow.f32 x 3) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 tau 3))) -1/6 (.f32 (.f32 (pow.f32 tau 7) (pow.f32 x 7)) (.f32 (pow.f32 (PI.f32) 7) -1/5040)))))
(fma.f32 (PI.f32) (.f32 tau x) (fma.f32 1/120 (.f32 (pow.f32 x 5) (.f32 (pow.f32 (PI.f32) 5) (pow.f32 tau 5))) (fma.f32 (.f32 (pow.f32 x 7) (.f32 (pow.f32 (PI.f32) 7) (pow.f32 tau 7))) -1/5040 (.f32 (pow.f32 tau 3) (.f32 (pow.f32 x 3) (.f32 (pow.f32 (PI.f32) 3) -1/6))))))
(fma.f32 (PI.f32) (.f32 tau x) (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 tau 5) (pow.f32 x 5))) (fma.f32 (pow.f32 (PI.f32) 7) (.f32 (.f32 (pow.f32 tau 7) (pow.f32 x 7)) -1/5040) (.f32 (pow.f32 tau 3) (.f32 (pow.f32 x 3) (.f32 (pow.f32 (PI.f32) 3) -1/6))))))
1
(-.f32 1 (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (*.f32 (pow.f32 tau 2) (pow.f32 x 2)))))
(-.f32 1 (.f32 (.f32 1/6 (pow.f32 (PI.f32) 2)) (.f32 (.f32 x x) (*.f32 tau tau))))
(+.f32 1 (.f32 (.f32 (.f32 x (.f32 x (*.f32 tau tau))) (pow.f32 (PI.f32) 2)) -1/6))
(fma.f32 (.f32 (pow.f32 (PI.f32) 2) -1/6) (.f32 x (.f32 x (.f32 tau tau))) 1)
(fma.f32 (.f32 x (.f32 x (.f32 tau tau))) (.f32 (pow.f32 (PI.f32) 2) -1/6) 1)
(fma.f32 (.f32 x (.f32 x (.f32 tau (.f32 tau (pow.f32 (PI.f32) 2))))) -1/6 1)
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 (pow.f32 tau 2) (pow.f32 x 2)))))
(+.f32 1 (-.f32 (.f32 1/120 (.f32 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 tau 4)) (pow.f32 x 4))) (.f32 (.f32 1/6 (pow.f32 (PI.f32) 2)) (.f32 (.f32 x x) (.f32 tau tau)))))
(+.f32 1 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))) (.f32 (.f32 (.f32 x (.f32 x (*.f32 tau tau))) (pow.f32 (PI.f32) 2)) -1/6)))
(fma.f32 1/120 (.f32 (pow.f32 x 4) (.f32 (pow.f32 (PI.f32) 4) (pow.f32 tau 4))) (fma.f32 (.f32 (pow.f32 (PI.f32) 2) -1/6) (.f32 x (.f32 x (.f32 tau tau))) 1))
(fma.f32 1/120 (.f32 (pow.f32 x 4) (.f32 (pow.f32 (PI.f32) 4) (pow.f32 tau 4))) (fma.f32 (.f32 x (.f32 x (.f32 tau tau))) (.f32 (pow.f32 (PI.f32) 2) -1/6) 1))
(fma.f32 (.f32 (pow.f32 tau 4) (pow.f32 x 4)) (.f32 1/120 (pow.f32 (PI.f32) 4)) (fma.f32 (.f32 x (.f32 x (.f32 tau (.f32 tau (pow.f32 (PI.f32) 2))))) -1/6 1))
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 tau 6) (pow.f32 x 6)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (*.f32 (pow.f32 tau 2) (pow.f32 x 2))))))
(+.f32 1 (-.f32 (.f32 1/120 (.f32 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 tau 4)) (pow.f32 x 4))) (fma.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 tau 6) (pow.f32 x 6))) (.f32 (.f32 1/6 (pow.f32 (PI.f32) 2)) (.f32 (.f32 x x) (.f32 tau tau))))))
(-.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))) 1) (fma.f32 1/6 (.f32 (.f32 x (.f32 x (.f32 tau tau))) (pow.f32 (PI.f32) 2)) (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (*.f32 (pow.f32 tau 6) (pow.f32 x 6))))))
(+.f32 (.f32 (.f32 (pow.f32 tau 6) (pow.f32 x 6)) (.f32 (pow.f32 (PI.f32) 6) -1/5040)) (fma.f32 1/120 (.f32 (pow.f32 x 4) (.f32 (pow.f32 (PI.f32) 4) (pow.f32 tau 4))) (fma.f32 (.f32 (pow.f32 (PI.f32) 2) -1/6) (.f32 x (.f32 x (*.f32 tau tau))) 1)))
(fma.f32 (.f32 x (.f32 x (.f32 tau tau))) (.f32 (pow.f32 (PI.f32) 2) -1/6) (fma.f32 (pow.f32 (PI.f32) 6) (.f32 (.f32 (pow.f32 tau 6) (pow.f32 x 6)) -1/5040) (fma.f32 1/120 (.f32 (pow.f32 x 4) (.f32 (pow.f32 (PI.f32) 4) (pow.f32 tau 4))) 1)))
(fma.f32 (pow.f32 (PI.f32) 6) (.f32 (.f32 (pow.f32 tau 6) (pow.f32 x 6)) -1/5040) (fma.f32 (.f32 (pow.f32 tau 4) (pow.f32 x 4)) (.f32 1/120 (pow.f32 (PI.f32) 4)) (fma.f32 (.f32 x (.f32 x (.f32 tau (.f32 tau (pow.f32 (PI.f32) 2))))) -1/6 1)))
1
(-.f32 1 (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (*.f32 (pow.f32 tau 2) (pow.f32 x 2)))))
(-.f32 1 (.f32 (.f32 1/6 (pow.f32 (PI.f32) 2)) (.f32 (.f32 x x) (*.f32 tau tau))))
(+.f32 1 (.f32 (.f32 (.f32 x (.f32 x (*.f32 tau tau))) (pow.f32 (PI.f32) 2)) -1/6))
(fma.f32 (.f32 (pow.f32 (PI.f32) 2) -1/6) (.f32 x (.f32 x (.f32 tau tau))) 1)
(fma.f32 (.f32 x (.f32 x (.f32 tau tau))) (.f32 (pow.f32 (PI.f32) 2) -1/6) 1)
(fma.f32 (.f32 x (.f32 x (.f32 tau (.f32 tau (pow.f32 (PI.f32) 2))))) -1/6 1)
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 (pow.f32 tau 2) (pow.f32 x 2)))))
(+.f32 1 (-.f32 (.f32 1/120 (.f32 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 tau 4)) (pow.f32 x 4))) (.f32 (.f32 1/6 (pow.f32 (PI.f32) 2)) (.f32 (.f32 x x) (.f32 tau tau)))))
(+.f32 1 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))) (.f32 (.f32 (.f32 x (.f32 x (*.f32 tau tau))) (pow.f32 (PI.f32) 2)) -1/6)))
(fma.f32 1/120 (.f32 (pow.f32 x 4) (.f32 (pow.f32 (PI.f32) 4) (pow.f32 tau 4))) (fma.f32 (.f32 (pow.f32 (PI.f32) 2) -1/6) (.f32 x (.f32 x (.f32 tau tau))) 1))
(fma.f32 1/120 (.f32 (pow.f32 x 4) (.f32 (pow.f32 (PI.f32) 4) (pow.f32 tau 4))) (fma.f32 (.f32 x (.f32 x (.f32 tau tau))) (.f32 (pow.f32 (PI.f32) 2) -1/6) 1))
(fma.f32 (.f32 (pow.f32 tau 4) (pow.f32 x 4)) (.f32 1/120 (pow.f32 (PI.f32) 4)) (fma.f32 (.f32 x (.f32 x (.f32 tau (.f32 tau (pow.f32 (PI.f32) 2))))) -1/6 1))
(-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 tau 6) (pow.f32 x 6)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (*.f32 (pow.f32 tau 2) (pow.f32 x 2))))))
(+.f32 1 (-.f32 (.f32 1/120 (.f32 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 tau 4)) (pow.f32 x 4))) (fma.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 tau 6) (pow.f32 x 6))) (.f32 (.f32 1/6 (pow.f32 (PI.f32) 2)) (.f32 (.f32 x x) (.f32 tau tau))))))
(-.f32 (fma.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))) 1) (fma.f32 1/6 (.f32 (.f32 x (.f32 x (.f32 tau tau))) (pow.f32 (PI.f32) 2)) (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (*.f32 (pow.f32 tau 6) (pow.f32 x 6))))))
(+.f32 (.f32 (.f32 (pow.f32 tau 6) (pow.f32 x 6)) (.f32 (pow.f32 (PI.f32) 6) -1/5040)) (fma.f32 1/120 (.f32 (pow.f32 x 4) (.f32 (pow.f32 (PI.f32) 4) (pow.f32 tau 4))) (fma.f32 (.f32 (pow.f32 (PI.f32) 2) -1/6) (.f32 x (.f32 x (*.f32 tau tau))) 1)))
(fma.f32 (.f32 x (.f32 x (.f32 tau tau))) (.f32 (pow.f32 (PI.f32) 2) -1/6) (fma.f32 (pow.f32 (PI.f32) 6) (.f32 (.f32 (pow.f32 tau 6) (pow.f32 x 6)) -1/5040) (fma.f32 1/120 (.f32 (pow.f32 x 4) (.f32 (pow.f32 (PI.f32) 4) (pow.f32 tau 4))) 1)))
(fma.f32 (pow.f32 (PI.f32) 6) (.f32 (.f32 (pow.f32 tau 6) (pow.f32 x 6)) -1/5040) (fma.f32 (.f32 (pow.f32 tau 4) (pow.f32 x 4)) (.f32 1/120 (pow.f32 (PI.f32) 4)) (fma.f32 (.f32 x (.f32 x (.f32 tau (.f32 tau (pow.f32 (PI.f32) 2))))) -1/6 1)))

prune190.0ms (3.4%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	147	5	152
Fresh	4	11	15
Picked	1	0	1
Done	0	0	0
Total	152	16	168

Error

0.1b

Counts

168 → 16

Alt Table

Status	Error	Program
	1.0b	(.f32 (/.f32 (sin.f32 (.f32 (pow.f32 (sqrt.f32 (.f32 x (PI.f32))) 2) tau)) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	1.3b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (.f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) 2) (sqrt.f32 (.f32 x (PI.f32)))) (/.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) (sqrt.f32 (.f32 x (PI.f32))))))
	1.0b	(.f32 (/.f32 (sin.f32 (expm1.f32 (log1p.f32 (.f32 x (.f32 (PI.f32) tau))))) (.f32 (PI.f32) (.f32 tau x))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (*.f32 x (PI.f32))))))
	4.9b	(.f32 (/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (-.f32 (exp.f32 (log1p.f32 (.f32 x (.f32 (PI.f32) tau)))) 1)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (*.f32 x (PI.f32))))))
	4.9b	(.f32 (/.f32 (log.f32 (exp.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))))) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	4.2b	(.f32 (-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 tau 6) (pow.f32 x 6)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 (pow.f32 tau 2) (pow.f32 x 2)))))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))))
	0.9b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (log.f32 (exp.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))))
▶	0.8b	(.f32 (/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x))) (cbrt.f32 (/.f32 (pow.f32 (sin.f32 (.f32 x (PI.f32))) 3) (pow.f32 (*.f32 x (PI.f32)) 3))))
	1.5b	(.f32 (/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (pow.f32 (pow.f32 (.f32 x (.f32 (PI.f32) tau)) 3) 1/3)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (*.f32 x (PI.f32))))))
	2.3b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) 1) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (pow.f32 x 6))) (.f32 1/6 (*.f32 (pow.f32 (PI.f32) 2) (pow.f32 x 2))))))
	0.8b	(.f32 (/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x))) (.f32 (/.f32 1 x) (/.f32 (sin.f32 (*.f32 x (PI.f32))) (PI.f32))))
	0.9b	(.f32 (-.f32 (exp.f32 (log1p.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau))))) 1) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	1.0b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (pow.f32 (sqrt.f32 (.f32 x (PI.f32))) 2)) (*.f32 x (PI.f32))))
	1.0b	(.f32 (log.f32 (+.f32 1 (expm1.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	1.0b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (.f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) 1) (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (*.f32 x (PI.f32)))))
	0.9b	(.f32 (/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))

Compiler

Compiled 5388 to 1579 computations (70.7% saved)

localize50.0ms (0.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x)))
	0.5b	(sin.f32 (.f32 (PI.f32) (.f32 tau x)))
✓	0.7b	(pow.f32 (sin.f32 (*.f32 x (PI.f32))) 3)
✓	0.8b	(pow.f32 (*.f32 x (PI.f32)) 3)

series5.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(pow.f32 (sin.f32 (*.f32 x (PI.f32))) 3)
1.0ms	x	@	0	(pow.f32 (*.f32 x (PI.f32)) 3)
1.0ms	x	@	inf	(pow.f32 (sin.f32 (*.f32 x (PI.f32))) 3)
1.0ms	x	@	-inf	(pow.f32 (*.f32 x (PI.f32)) 3)
1.0ms	x	@	-inf	(pow.f32 (sin.f32 (*.f32 x (PI.f32))) 3)

rewrite44.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

705×	`pow1_binary32`
654×	`add-log-exp_binary32`
654×	`log1p-expm1-u_binary32`
654×	`expm1-log1p-u_binary32`
79×	`add-sqr-sqrt_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	174	18
2	1882	18

Stop Event

1×	node limit

Counts

2 → 46

Calls

Call 1

Inputs
(pow.f32 (*.f32 x (PI.f32)) 3)
(pow.f32 (sin.f32 (*.f32 x (PI.f32))) 3)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (pow.f32 (*.f32 x (PI.f32)) 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 x (*.f32 (PI.f32) (pow.f32 (*.f32 x (PI.f32)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (PI.f32) (*.f32 x (pow.f32 (*.f32 x (PI.f32)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x (PI.f32)) (pow.f32 (*.f32 x (PI.f32)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (*.f32 x (PI.f32)) 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (pow.f32 (*.f32 x (PI.f32)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (*.f32 x (PI.f32)) 2) (*.f32 x (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (*.f32 x (PI.f32))) 2) (*.f32 (cbrt.f32 (*.f32 x (PI.f32))) (pow.f32 (*.f32 x (PI.f32)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (*.f32 x (PI.f32))) (*.f32 (sqrt.f32 (*.f32 x (PI.f32))) (pow.f32 (*.f32 x (PI.f32)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 x 3) (pow.f32 (PI.f32) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (*.f32 x (PI.f32)) 3/2) (pow.f32 (*.f32 x (PI.f32)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (pow.f32 (cbrt.f32 (*.f32 x (PI.f32))) 2) 3) (*.f32 x (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (sqrt.f32 (*.f32 x (PI.f32))) 3) (pow.f32 (sqrt.f32 (*.f32 x (PI.f32))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (*.f32 x (PI.f32)) 2) x) (PI.f32))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (*.f32 x (PI.f32)) 2) (PI.f32)) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (*.f32 x (PI.f32)) 2) 1) (*.f32 x (PI.f32)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (*.f32 x (PI.f32)) 2) (pow.f32 (cbrt.f32 (*.f32 x (PI.f32))) 2)) (cbrt.f32 (*.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (*.f32 x (PI.f32)) 2) (sqrt.f32 (*.f32 x (PI.f32)))) (sqrt.f32 (*.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (*.f32 x (PI.f32)) 6))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (pow.f32 (*.f32 x (PI.f32)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (pow.f32 (*.f32 x (PI.f32)) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (pow.f32 (*.f32 x (PI.f32)) 3) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (pow.f32 (*.f32 x (PI.f32)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (pow.f32 (*.f32 x (PI.f32)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 3 (log.f32 (*.f32 x (PI.f32)))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (exp.f32 (log1p.f32 (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sin.f32 (*.f32 x (PI.f32))) (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 2) (sin.f32 (*.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (PI.f32)))) 2) (*.f32 (cbrt.f32 (sin.f32 (*.f32 x (PI.f32)))) (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (sqrt.f32 (sin.f32 (*.f32 x (PI.f32)))) (*.f32 (sqrt.f32 (sin.f32 (*.f32 x (PI.f32)))) (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 3/2) (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (PI.f32)))) 2) 3) (sin.f32 (*.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (pow.f32 (sqrt.f32 (sin.f32 (*.f32 x (PI.f32)))) 3) (pow.f32 (sqrt.f32 (sin.f32 (*.f32 x (PI.f32)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 2) 1) (sin.f32 (*.f32 x (PI.f32))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 2) (pow.f32 (cbrt.f32 (sin.f32 (*.f32 x (PI.f32)))) 2)) (cbrt.f32 (sin.f32 (*.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 2) (sqrt.f32 (sin.f32 (*.f32 x (PI.f32))))) (sqrt.f32 (sin.f32 (*.f32 x (PI.f32)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f32 (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 6))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (exp.f32 (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f32 (+.f32 1 (expm1.f32 (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f32 (pow.f32 (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 3) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f32 (log1p.f32 (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f32 (expm1.f32 (pow.f32 (sin.f32 (*.f32 x (PI.f32))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f32 (*.f32 3 (log.f32 (sin.f32 (*.f32 x (PI.f32))))))))))

simplify31.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

983×	`fma-neg_binary32`
603×	`fma-def_binary32`
538×	`unswap-sqr_binary32`
407×	`cancel-sign-sub-inv_binary32`
265×	`*-commutative_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	33	346
1	102	342
2	307	340
3	1333	340
4	3688	340

Stop Event

1×	node limit

Counts

70 → 53

Calls

Call 1

Inputs
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(-.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3)) (.f32 1/2 (*.f32 (pow.f32 (PI.f32) 5) (pow.f32 x 5))))
(-.f32 (+.f32 (.f32 13/120 (.f32 (pow.f32 (PI.f32) 7) (pow.f32 x 7))) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))) (.f32 1/2 (*.f32 (pow.f32 (PI.f32) 5) (pow.f32 x 5))))
(-.f32 (+.f32 (.f32 13/120 (.f32 (pow.f32 (PI.f32) 7) (pow.f32 x 7))) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))) (+.f32 (.f32 1/2 (.f32 (pow.f32 (PI.f32) 5) (pow.f32 x 5))) (.f32 41/3024 (*.f32 (pow.f32 (PI.f32) 9) (pow.f32 x 9)))))
(pow.f32 (sin.f32 (*.f32 (PI.f32) x)) 3)
(pow.f32 (sin.f32 (*.f32 (PI.f32) x)) 3)
(pow.f32 (sin.f32 (*.f32 (PI.f32) x)) 3)
(pow.f32 (sin.f32 (*.f32 (PI.f32) x)) 3)
(pow.f32 (sin.f32 (*.f32 (PI.f32) x)) 3)
(pow.f32 (sin.f32 (*.f32 (PI.f32) x)) 3)
(pow.f32 (sin.f32 (*.f32 (PI.f32) x)) 3)
(pow.f32 (sin.f32 (*.f32 (PI.f32) x)) 3)

Outputs
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))
(-.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3)) (.f32 1/2 (*.f32 (pow.f32 (PI.f32) 5) (pow.f32 x 5))))
(+.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3)) (.f32 -1/2 (*.f32 (pow.f32 (PI.f32) 5) (pow.f32 x 5))))
(fma.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3) (.f32 (.f32 (pow.f32 (PI.f32) 5) (pow.f32 x 5)) -1/2))
(fma.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3) (.f32 (pow.f32 x 5) (.f32 (pow.f32 (PI.f32) 5) -1/2)))
(fma.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3) (.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 x 5) -1/2)))
(-.f32 (+.f32 (.f32 13/120 (.f32 (pow.f32 (PI.f32) 7) (pow.f32 x 7))) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))) (.f32 1/2 (*.f32 (pow.f32 (PI.f32) 5) (pow.f32 x 5))))
(+.f32 (fma.f32 13/120 (.f32 (pow.f32 (PI.f32) 7) (pow.f32 x 7)) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))) (.f32 -1/2 (.f32 (pow.f32 (PI.f32) 5) (pow.f32 x 5))))
(fma.f32 13/120 (.f32 (pow.f32 (PI.f32) 7) (pow.f32 x 7)) (fma.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3) (.f32 (*.f32 (pow.f32 (PI.f32) 5) (pow.f32 x 5)) -1/2)))
(fma.f32 (.f32 (pow.f32 (PI.f32) 5) (pow.f32 x 5)) -1/2 (fma.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3) (.f32 13/120 (*.f32 (pow.f32 (PI.f32) 7) (pow.f32 x 7)))))
(fma.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 x 5) -1/2) (fma.f32 13/120 (.f32 (pow.f32 (PI.f32) 7) (pow.f32 x 7)) (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))))
(fma.f32 13/120 (.f32 (pow.f32 (PI.f32) 7) (pow.f32 x 7)) (fma.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3) (.f32 (pow.f32 (PI.f32) 5) (*.f32 (pow.f32 x 5) -1/2))))
(-.f32 (+.f32 (.f32 13/120 (.f32 (pow.f32 (PI.f32) 7) (pow.f32 x 7))) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))) (+.f32 (.f32 1/2 (.f32 (pow.f32 (PI.f32) 5) (pow.f32 x 5))) (.f32 41/3024 (*.f32 (pow.f32 (PI.f32) 9) (pow.f32 x 9)))))
(-.f32 (fma.f32 13/120 (.f32 (pow.f32 (PI.f32) 7) (pow.f32 x 7)) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3))) (fma.f32 1/2 (.f32 (pow.f32 (PI.f32) 5) (pow.f32 x 5)) (.f32 41/3024 (*.f32 (pow.f32 (PI.f32) 9) (pow.f32 x 9)))))
(fma.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3) (fma.f32 13/120 (.f32 (pow.f32 (PI.f32) 7) (pow.f32 x 7)) (fma.f32 (.f32 (pow.f32 (PI.f32) 5) (pow.f32 x 5)) -1/2 (.f32 (.f32 -41/3024 (pow.f32 x 9)) (pow.f32 (PI.f32) 9)))))
(fma.f32 (pow.f32 (PI.f32) 9) (.f32 (pow.f32 x 9) -41/3024) (fma.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 x 5) -1/2) (fma.f32 13/120 (.f32 (pow.f32 (PI.f32) 7) (pow.f32 x 7)) (.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3)))))
(fma.f32 (pow.f32 (PI.f32) 3) (pow.f32 x 3) (fma.f32 13/120 (.f32 (pow.f32 (PI.f32) 7) (pow.f32 x 7)) (fma.f32 (pow.f32 (PI.f32) 5) (.f32 (pow.f32 x 5) -1/2) (.f32 (pow.f32 (PI.f32) 9) (.f32 (pow.f32 x 9) -41/3024)))))
(pow.f32 (sin.f32 (*.f32 (PI.f32) x)) 3)
(pow.f32 (sin.f32 (*.f32 (PI.f32) x)) 3)
(pow.f32 (sin.f32 (*.f32 (PI.f32) x)) 3)
(pow.f32 (sin.f32 (*.f32 (PI.f32) x)) 3)
(pow.f32 (sin.f32 (*.f32 (PI.f32) x)) 3)
(pow.f32 (sin.f32 (*.f32 (PI.f32) x)) 3)
(pow.f32 (sin.f32 (*.f32 (PI.f32) x)) 3)
(pow.f32 (sin.f32 (*.f32 (PI.f32) x)) 3)

prune188.0ms (3.3%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	126	2	128
Fresh	2	13	15
Picked	1	0	1
Done	0	0	0
Total	129	15	144

Error

0.1b

Counts

144 → 15

Alt Table

Status	Error	Program
	1.0b	(.f32 (/.f32 (sin.f32 (.f32 (pow.f32 (sqrt.f32 (.f32 x (PI.f32))) 2) tau)) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	1.3b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (.f32 (/.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) 2) (sqrt.f32 (.f32 x (PI.f32)))) (/.f32 (cbrt.f32 (sin.f32 (.f32 x (PI.f32)))) (sqrt.f32 (.f32 x (PI.f32))))))
	1.0b	(.f32 (/.f32 (sin.f32 (expm1.f32 (log1p.f32 (.f32 x (.f32 (PI.f32) tau))))) (.f32 (PI.f32) (.f32 tau x))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (*.f32 x (PI.f32))))))
	4.9b	(.f32 (/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (-.f32 (exp.f32 (log1p.f32 (.f32 x (.f32 (PI.f32) tau)))) 1)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (*.f32 x (PI.f32))))))
	1.5b	(.f32 (/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (pow.f32 (pow.f32 (.f32 x (.f32 (PI.f32) tau)) 3) 1/3)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (*.f32 x (PI.f32))))))
	2.3b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 x 4))) 1) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (pow.f32 x 6))) (.f32 1/6 (*.f32 (pow.f32 (PI.f32) 2) (pow.f32 x 2))))))
	4.9b	(.f32 (/.f32 (log.f32 (exp.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))))) (.f32 (PI.f32) (.f32 tau x))) (cbrt.f32 (/.f32 (pow.f32 (sin.f32 (.f32 x (PI.f32))) 3) (pow.f32 (*.f32 x (PI.f32)) 3))))
	0.8b	(.f32 (/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (PI.f32) (.f32 tau x))) (cbrt.f32 (/.f32 (.f32 (pow.f32 (sin.f32 (.f32 x (PI.f32))) 3/2) (pow.f32 (sin.f32 (.f32 x (PI.f32))) 3/2)) (pow.f32 (*.f32 x (PI.f32)) 3))))
	0.9b	(.f32 (-.f32 (exp.f32 (log1p.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau))))) 1) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	1.0b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (pow.f32 (sqrt.f32 (.f32 x (PI.f32))) 2)) (*.f32 x (PI.f32))))
	4.2b	(.f32 (-.f32 (+.f32 1 (.f32 1/120 (.f32 (pow.f32 (PI.f32) 4) (.f32 (pow.f32 tau 4) (pow.f32 x 4))))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 tau 6) (pow.f32 x 6)))) (.f32 1/6 (.f32 (pow.f32 (PI.f32) 2) (.f32 (pow.f32 tau 2) (pow.f32 x 2)))))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (.f32 x (PI.f32))))
	0.9b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (log.f32 (exp.f32 (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))))
	1.0b	(.f32 (log.f32 (+.f32 1 (expm1.f32 (/.f32 (sin.f32 (.f32 x (.f32 (PI.f32) tau))) (.f32 x (.f32 (PI.f32) tau)))))) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))
	1.0b	(.f32 (/.f32 (sin.f32 (.f32 (.f32 x (PI.f32)) tau)) (.f32 (.f32 x (PI.f32)) tau)) (.f32 (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) 1) (/.f32 (sqrt.f32 (sin.f32 (.f32 x (PI.f32)))) (*.f32 x (PI.f32)))))
	0.9b	(.f32 (/.f32 (sin.f32 (.f32 (PI.f32) (.f32 tau x))) (.f32 (.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (.f32 x (PI.f32))) (*.f32 x (PI.f32))))

Compiler

Compiled 4781 to 1897 computations (60.3% saved)

regimes1.8s (32%)

Accuracy

Total 0.5b remaining (77.8%)

Threshold costs 0.5b (77.8%)

Counts

403 → 1

Compiler

Compiled 11443 to 2867 computations (74.9% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	48
1	22	48

Stop Event

1×

saturated

Calls

Call 1

Inputs

(*.f32 (cbrt.f32 (/.f32 (pow.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) 3) (pow.f32 (*.f32 x (*.f32 (PI.f32) tau)) 3))) (/.f32 (sin.f32 (*.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (*.f32 x (PI.f32))))))

Outputs

(*.f32 (cbrt.f32 (/.f32 (pow.f32 (sin.f32 (*.f32 x (*.f32 (PI.f32) tau))) 3) (pow.f32 (*.f32 x (*.f32 (PI.f32) tau)) 3))) (/.f32 (sin.f32 (*.f32 x (PI.f32))) (log1p.f32 (expm1.f32 (*.f32 x (PI.f32))))))

end259.0ms (4.6%)

Stop Event

1×

fuel

Compiler

Compiled 534 to 315 computations (41% saved)

Details

analyze1.0ms (0%)

sample2.0s (35.8%)

preprocess77.0ms (1.4%)

simplify39.0ms (0.7%)

prune3.0ms (0.1%)

localize32.0ms (0.6%)

series17.0ms (0.3%)

rewrite60.0ms (1.1%)

simplify62.0ms (1.1%)

prune258.0ms (4.6%)

localize40.0ms (0.7%)

series3.0ms (0%)

rewrite38.0ms (0.7%)

simplify33.0ms (0.6%)

prune242.0ms (4.3%)

localize44.0ms (0.8%)

series6.0ms (0.1%)

rewrite50.0ms (0.9%)

simplify45.0ms (0.8%)

prune190.0ms (3.4%)

localize50.0ms (0.9%)

series5.0ms (0.1%)

rewrite44.0ms (0.8%)

simplify31.0ms (0.6%)

prune188.0ms (3.3%)

regimes1.8s (32%)

simplify2.0ms (0%)

end259.0ms (4.6%)

Profiling