Details

analyze1.2s (18.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
37.5%	62.5%	0%	4
43.7%	56.2%	0%	5
46.9%	53.1%	0%	6
48.4%	51.5%	0%	7
49.2%	50.8%	0%	8
49.6%	50.4%	0%	9
49.8%	50.2%	0%	10
49.9%	50.1%	0%	11
49.9%	50%	0%	12
50%	50%	0%	13
50%	49.9%	0%	14

Compiler

Compiled 18 to 15 computations (16.7% saved)

sample3.7s (56%)

Results

2.1s	2160×	body	1024	valid
861.0ms	4551×	body	128	valid
563.0ms	1037×	body	512	valid
184.0ms	502×	body	256	valid
14.0ms	6×	body	2048	valid

Compiler

Compiled 36 to 30 computations (16.7% saved)

preprocess19.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

10×	`*-commutative_binary64`
9×	`associate-/l*_binary64`
9×	`associate-/r/_binary64`
4×	`associate-r_binary64`
4×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	20	22
2	31	22
3	44	22
4	52	22
5	61	22
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(/.f64 (.f64 (.f64 (/.f64 8 3) (sin.f64 (.f64 x 1/2))) (sin.f64 (.f64 x 1/2))) (sin.f64 x))

Outputs
(/.f64 (.f64 (.f64 (/.f64 8 3) (sin.f64 (.f64 x 1/2))) (sin.f64 (.f64 x 1/2))) (sin.f64 x))
(/.f64 (.f64 8/3 (sin.f64 (.f64 x 1/2))) (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))
(/.f64 (sin.f64 (.f64 x 1/2)) (/.f64 (/.f64 (sin.f64 x) (sin.f64 (.f64 x 1/2))) 8/3))
(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (sin.f64 x) 8/3)))
(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (/.f64 8/3 (sin.f64 x)) (sin.f64 (.f64 x 1/2))))
(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))

Compiler

Compiled 17 to 14 computations (17.6% saved)

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`
9×	`associate-/l*_binary64`
9×	`associate-/r/_binary64`
4×	`associate-r_binary64`
4×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	20	22
2	31	22
3	44	22
4	52	22
5	61	22

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(/.f64 (.f64 (.f64 (/.f64 8 3) (sin.f64 (.f64 x 1/2))) (sin.f64 (.f64 x 1/2))) (sin.f64 x))

Outputs
(/.f64 (.f64 (.f64 (/.f64 8 3) (sin.f64 (.f64 x 1/2))) (sin.f64 (.f64 x 1/2))) (sin.f64 x))
(/.f64 (.f64 8/3 (sin.f64 (.f64 x 1/2))) (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))
(/.f64 (sin.f64 (.f64 x 1/2)) (/.f64 (/.f64 (sin.f64 x) (sin.f64 (.f64 x 1/2))) 8/3))
(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (sin.f64 x) 8/3)))
(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (/.f64 8/3 (sin.f64 x)) (sin.f64 (.f64 x 1/2))))
(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))

prune5.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.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	16.4b	(/.f64 (.f64 (.f64 (/.f64 8 3) (sin.f64 (.f64 x 1/2))) (sin.f64 (.f64 x 1/2))) (sin.f64 x))
▶	0.5b	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))

Compiler

Compiled 95 to 76 computations (20% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))
✓	0.3b	(/.f64 8/3 (sin.f64 x))
✓	0.3b	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))

series11.0ms (0.2%)

Counts

3 → 28

Calls

9 calls:

Time	Variable		Point	Expression
3.0ms	x	@	0	(/.f64 8/3 (sin.f64 x))
1.0ms	x	@	inf	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))
1.0ms	x	@	-inf	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))
1.0ms	x	@	inf	(/.f64 8/3 (sin.f64 x))
1.0ms	x	@	0	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))

rewrite54.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

499×	`log-prod_binary64`
261×	`pow2_binary64`
185×	`pow1/3_binary64`
184×	`expm1-udef_binary64`
184×	`log1p-udef_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	42
1	209	37
2	2499	37

Stop Event

1×	node limit

Counts

3 → 82

Calls

Call 1

Inputs
(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))
(/.f64 8/3 (sin.f64 x))
(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))

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

Outputs

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

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

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

simplify51.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

690×	`fma-def_binary64`
517×	`unswap-sqr_binary64`
481×	`associate-l_binary64`
353×	`associate-r_binary64`
232×	`distribute-lft-out_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	62	413
1	147	407
2	346	401
3	986	401
4	3052	401
5	4999	401

Stop Event

1×	node limit

Counts

110 → 107

Calls

Call 1

Inputs
(*.f64 2/3 x)
(+.f64 (.f64 1/18 (pow.f64 x 3)) (.f64 2/3 x))
(+.f64 (.f64 1/180 (pow.f64 x 5)) (+.f64 (.f64 1/18 (pow.f64 x 3)) (*.f64 2/3 x)))
(+.f64 (.f64 1/180 (pow.f64 x 5)) (+.f64 (.f64 17/30240 (pow.f64 x 7)) (+.f64 (.f64 1/18 (pow.f64 x 3)) (.f64 2/3 x))))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(/.f64 8/3 x)
(+.f64 (.f64 8/3 (/.f64 1 x)) (.f64 4/9 x))
(+.f64 (.f64 8/3 (/.f64 1 x)) (+.f64 (.f64 4/9 x) (*.f64 7/135 (pow.f64 x 3))))
(+.f64 (.f64 31/5670 (pow.f64 x 5)) (+.f64 (.f64 8/3 (/.f64 1 x)) (+.f64 (.f64 4/9 x) (.f64 7/135 (pow.f64 x 3)))))
4/3
(+.f64 4/3 (*.f64 1/6 (pow.f64 x 2)))
(+.f64 (.f64 5/288 (pow.f64 x 4)) (+.f64 4/3 (.f64 1/6 (pow.f64 x 2))))
(+.f64 (.f64 5/288 (pow.f64 x 4)) (+.f64 4/3 (+.f64 (.f64 61/34560 (pow.f64 x 6)) (*.f64 1/6 (pow.f64 x 2)))))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))

Outputs
(*.f64 2/3 x)
(+.f64 (.f64 1/18 (pow.f64 x 3)) (.f64 2/3 x))
(fma.f64 1/18 (pow.f64 x 3) (*.f64 2/3 x))
(fma.f64 2/3 x (*.f64 1/18 (pow.f64 x 3)))
(+.f64 (.f64 1/180 (pow.f64 x 5)) (+.f64 (.f64 1/18 (pow.f64 x 3)) (*.f64 2/3 x)))
(fma.f64 1/180 (pow.f64 x 5) (fma.f64 1/18 (pow.f64 x 3) (*.f64 2/3 x)))
(fma.f64 2/3 x (fma.f64 1/18 (pow.f64 x 3) (*.f64 1/180 (pow.f64 x 5))))
(+.f64 (.f64 1/180 (pow.f64 x 5)) (+.f64 (.f64 17/30240 (pow.f64 x 7)) (+.f64 (.f64 1/18 (pow.f64 x 3)) (.f64 2/3 x))))
(fma.f64 1/180 (pow.f64 x 5) (fma.f64 17/30240 (pow.f64 x 7) (fma.f64 1/18 (pow.f64 x 3) (*.f64 2/3 x))))
(fma.f64 17/30240 (pow.f64 x 7) (fma.f64 2/3 x (fma.f64 1/18 (pow.f64 x 3) (*.f64 1/180 (pow.f64 x 5)))))
(fma.f64 1/18 (pow.f64 x 3) (fma.f64 17/30240 (pow.f64 x 7) (fma.f64 1/180 (pow.f64 x 5) (*.f64 2/3 x))))
(fma.f64 x (fma.f64 x (.f64 x 1/18) 2/3) (fma.f64 1/180 (pow.f64 x 5) (.f64 17/30240 (pow.f64 x 7))))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(/.f64 8/3 x)
(+.f64 (.f64 8/3 (/.f64 1 x)) (.f64 4/9 x))
(+.f64 (/.f64 8/3 x) (*.f64 x 4/9))
(fma.f64 x 4/9 (/.f64 8/3 x))
(+.f64 (.f64 8/3 (/.f64 1 x)) (+.f64 (.f64 4/9 x) (*.f64 7/135 (pow.f64 x 3))))
(+.f64 (/.f64 8/3 x) (fma.f64 4/9 x (*.f64 (pow.f64 x 3) 7/135)))
(+.f64 (/.f64 8/3 x) (fma.f64 x 4/9 (*.f64 (pow.f64 x 3) 7/135)))
(fma.f64 x 4/9 (fma.f64 (pow.f64 x 3) 7/135 (/.f64 8/3 x)))
(fma.f64 x (fma.f64 x (*.f64 x 7/135) 4/9) (/.f64 8/3 x))
(+.f64 (.f64 31/5670 (pow.f64 x 5)) (+.f64 (.f64 8/3 (/.f64 1 x)) (+.f64 (.f64 4/9 x) (.f64 7/135 (pow.f64 x 3)))))
(fma.f64 31/5670 (pow.f64 x 5) (+.f64 (/.f64 8/3 x) (fma.f64 4/9 x (*.f64 (pow.f64 x 3) 7/135))))
(+.f64 (fma.f64 x 4/9 (*.f64 (pow.f64 x 3) 7/135)) (fma.f64 (pow.f64 x 5) 31/5670 (/.f64 8/3 x)))
(fma.f64 (pow.f64 x 5) 31/5670 (fma.f64 x 4/9 (fma.f64 (pow.f64 x 3) 7/135 (/.f64 8/3 x))))
(fma.f64 x 4/9 (fma.f64 (pow.f64 x 3) 7/135 (fma.f64 (pow.f64 x 5) 31/5670 (/.f64 8/3 x))))
(fma.f64 x 4/9 (fma.f64 (pow.f64 x 5) 31/5670 (fma.f64 (pow.f64 x 3) 7/135 (/.f64 8/3 x))))
4/3
(+.f64 4/3 (*.f64 1/6 (pow.f64 x 2)))
(+.f64 4/3 (.f64 1/6 (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) 4/3)
(fma.f64 x (*.f64 x 1/6) 4/3)
(+.f64 (.f64 5/288 (pow.f64 x 4)) (+.f64 4/3 (.f64 1/6 (pow.f64 x 2))))
(fma.f64 5/288 (pow.f64 x 4) (+.f64 4/3 (.f64 1/6 (.f64 x x))))
(fma.f64 5/288 (pow.f64 x 4) (fma.f64 1/6 (*.f64 x x) 4/3))
(fma.f64 x (*.f64 x 1/6) (fma.f64 5/288 (pow.f64 x 4) 4/3))
(+.f64 (.f64 5/288 (pow.f64 x 4)) (+.f64 4/3 (+.f64 (.f64 61/34560 (pow.f64 x 6)) (*.f64 1/6 (pow.f64 x 2)))))
(fma.f64 5/288 (pow.f64 x 4) (+.f64 4/3 (fma.f64 61/34560 (pow.f64 x 6) (.f64 1/6 (.f64 x x)))))
(+.f64 (fma.f64 61/34560 (pow.f64 x 6) (.f64 x (.f64 x 1/6))) (fma.f64 5/288 (pow.f64 x 4) 4/3))
(fma.f64 5/288 (pow.f64 x 4) (fma.f64 x (*.f64 x 1/6) (fma.f64 61/34560 (pow.f64 x 6) 4/3)))
(fma.f64 x (*.f64 x 1/6) (fma.f64 5/288 (pow.f64 x 4) (fma.f64 61/34560 (pow.f64 x 6) 4/3)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(/.f64 (.f64 8/3 (sin.f64 (.f64 x 1/2))) (sin.f64 x))
(.f64 8/3 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)))
(/.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (sin.f64 x) 8/3))
(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))
(/.f64 8/3 (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(/.f64 (.f64 8/3 (sin.f64 (.f64 x 1/2))) (sin.f64 x))
(.f64 8/3 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)))
(/.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (sin.f64 x) 8/3))
(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))
(/.f64 8/3 (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(/.f64 (.f64 8/3 (sin.f64 (.f64 x 1/2))) (sin.f64 x))
(.f64 8/3 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)))
(/.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (sin.f64 x) 8/3))
(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))
(/.f64 8/3 (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(/.f64 (.f64 8/3 (sin.f64 (.f64 x 1/2))) (sin.f64 x))
(.f64 8/3 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)))
(/.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (sin.f64 x) 8/3))
(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))
(/.f64 8/3 (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(/.f64 (.f64 8/3 (sin.f64 (.f64 x 1/2))) (sin.f64 x))
(.f64 8/3 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)))
(/.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (sin.f64 x) 8/3))
(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))
(/.f64 8/3 (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(/.f64 (.f64 8/3 (sin.f64 (.f64 x 1/2))) (sin.f64 x))
(.f64 8/3 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)))
(/.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (sin.f64 x) 8/3))
(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))
(/.f64 8/3 (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(/.f64 (.f64 8/3 (sin.f64 (.f64 x 1/2))) (sin.f64 x))
(.f64 8/3 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)))
(/.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (sin.f64 x) 8/3))
(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))
(/.f64 8/3 (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(/.f64 (.f64 8/3 (sin.f64 (.f64 x 1/2))) (sin.f64 x))
(.f64 8/3 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)))
(/.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (sin.f64 x) 8/3))
(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))
(/.f64 8/3 (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))

prune107.0ms (1.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	95	12	107
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	97	12	109

Error

0.1b

Counts

109 → 12

Alt Table

Status	Error	Program
	1.1b	(.f64 (sin.f64 (.f64 x 1/2)) (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))) 3))
	33.1b	(pow.f64 (.f64 (sin.f64 (.f64 x 1/2)) (sqrt.f64 (/.f64 8/3 (sin.f64 x)))) 2)
	16.4b	(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
	17.1b	(pow.f64 (cbrt.f64 (.f64 (/.f64 8/3 (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x 1/2)) 2))) 3)
	34.8b	(fma.f64 2/3 x (*.f64 1/18 (pow.f64 x 3)))
	16.4b	(/.f64 (.f64 (.f64 (sin.f64 (.f64 x 1/2)) 8/3) (sin.f64 (.f64 x 1/2))) (sin.f64 x))
	16.5b	(/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (.f64 (sin.f64 x) 3/8))
	29.3b	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 8/3 (sin.f64 x)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 8/3 (sin.f64 x))))))))
	28.2b	(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2)) (/.f64 8/3 (sin.f64 x)))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2)) (/.f64 8/3 (sin.f64 x))))))
	16.4b	(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
▶	0.5b	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 x) 3/8)))
	23.0b	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (cbrt.f64 (pow.f64 (/.f64 8/3 (sin.f64 x)) 3))))

Compiler

Compiled 2208 to 1711 computations (22.5% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (sin.f64 x) 3/8)
✓	0.3b	(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 x) 3/8)))
✓	0.3b	(/.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 x) 3/8))

series3.0ms (0%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(*.f64 (sin.f64 x) 3/8)
0.0ms	x	@	inf	(*.f64 (sin.f64 x) 3/8)
0.0ms	x	@	-inf	(*.f64 (sin.f64 x) 3/8)
0.0ms	x	@	0	(/.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 x) 3/8))
0.0ms	x	@	inf	(/.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 x) 3/8))

rewrite56.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

531×	`log-prod_binary64`
185×	`expm1-udef_binary64`
185×	`log1p-udef_binary64`
173×	`prod-diff_binary64`
170×	`pow3_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	42
1	208	37
2	2624	37

Stop Event

1×	node limit

Counts

3 → 92

Calls

Call 1

Inputs
(/.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 x) 3/8))
(.f64 (sin.f64 (.f64 x 1/2)) (/.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 x) 3/8)))
(*.f64 (sin.f64 x) 3/8)

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

Outputs

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

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

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (sin.f64 x) 3/8))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (*.f64 (sin.f64 x) 3/8))) (cbrt.f64 (exp.f64 (*.f64 (sin.f64 x) 3/8))))) (log.f64 (cbrt.f64 (exp.f64 (*.f64 (sin.f64 x) 3/8)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (*.f64 (sin.f64 x) 3/8)))) (log.f64 (sqrt.f64 (exp.f64 (*.f64 (sin.f64 x) 3/8)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 x) 3/8))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sin.f64 x) 3/8) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sin.f64 x) 3/8) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (sin.f64 x) 3/8)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (sin.f64 x) 3/8)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 (sin.f64 x) 2) 9/64))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 (sin.f64 x) 3/8)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 x) 3/8))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sin.f64 x) 3/8) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (sin.f64 x) 3/8)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sin.f64 x) 3/8)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sin.f64 x) 3/8)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (sin.f64 x) 3/8)) 1))))))

simplify38.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

826×	`fma-def_binary64`
737×	`fma-neg_binary64`
548×	`associate-l_binary64`
410×	`associate-r_binary64`
178×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	62	470
1	155	462
2	393	458
3	1221	458
4	4191	458

Stop Event

1×	node limit

Counts

128 → 120

Calls

Call 1

Inputs
4/3
(+.f64 4/3 (*.f64 1/6 (pow.f64 x 2)))
(+.f64 (.f64 5/288 (pow.f64 x 4)) (+.f64 4/3 (.f64 1/6 (pow.f64 x 2))))
(+.f64 (.f64 5/288 (pow.f64 x 4)) (+.f64 4/3 (+.f64 (.f64 61/34560 (pow.f64 x 6)) (*.f64 1/6 (pow.f64 x 2)))))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(*.f64 2/3 x)
(+.f64 (.f64 1/18 (pow.f64 x 3)) (.f64 2/3 x))
(+.f64 (.f64 1/180 (pow.f64 x 5)) (+.f64 (.f64 1/18 (pow.f64 x 3)) (*.f64 2/3 x)))
(+.f64 (.f64 1/180 (pow.f64 x 5)) (+.f64 (.f64 17/30240 (pow.f64 x 7)) (+.f64 (.f64 1/18 (pow.f64 x 3)) (.f64 2/3 x))))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(*.f64 3/8 x)
(-.f64 (.f64 3/8 x) (.f64 1/16 (pow.f64 x 3)))
(-.f64 (+.f64 (.f64 1/320 (pow.f64 x 5)) (.f64 3/8 x)) (*.f64 1/16 (pow.f64 x 3)))
(-.f64 (+.f64 (.f64 1/320 (pow.f64 x 5)) (.f64 3/8 x)) (+.f64 (.f64 1/13440 (pow.f64 x 7)) (.f64 1/16 (pow.f64 x 3))))
(*.f64 3/8 (sin.f64 x))
(*.f64 3/8 (sin.f64 x))
(*.f64 3/8 (sin.f64 x))
(*.f64 3/8 (sin.f64 x))
(*.f64 3/8 (sin.f64 x))
(*.f64 3/8 (sin.f64 x))
(*.f64 3/8 (sin.f64 x))
(*.f64 3/8 (sin.f64 x))

Outputs
4/3
(+.f64 4/3 (*.f64 1/6 (pow.f64 x 2)))
(+.f64 4/3 (.f64 1/6 (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) 4/3)
(+.f64 (.f64 5/288 (pow.f64 x 4)) (+.f64 4/3 (.f64 1/6 (pow.f64 x 2))))
(fma.f64 5/288 (pow.f64 x 4) (+.f64 4/3 (.f64 1/6 (.f64 x x))))
(fma.f64 5/288 (pow.f64 x 4) (fma.f64 1/6 (*.f64 x x) 4/3))
(fma.f64 1/6 (*.f64 x x) (fma.f64 5/288 (pow.f64 x 4) 4/3))
(+.f64 (.f64 5/288 (pow.f64 x 4)) (+.f64 4/3 (+.f64 (.f64 61/34560 (pow.f64 x 6)) (*.f64 1/6 (pow.f64 x 2)))))
(fma.f64 5/288 (pow.f64 x 4) (+.f64 4/3 (fma.f64 61/34560 (pow.f64 x 6) (.f64 1/6 (.f64 x x)))))
(+.f64 (fma.f64 61/34560 (pow.f64 x 6) (.f64 1/6 (.f64 x x))) (fma.f64 5/288 (pow.f64 x 4) 4/3))
(fma.f64 5/288 (pow.f64 x 4) (fma.f64 1/6 (*.f64 x x) (fma.f64 61/34560 (pow.f64 x 6) 4/3)))
(fma.f64 1/6 (*.f64 x x) (fma.f64 61/34560 (pow.f64 x 6) (fma.f64 5/288 (pow.f64 x 4) 4/3)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 1/2 x)) (sin.f64 x)))
(.f64 8/3 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)))
(*.f64 2/3 x)
(*.f64 x 2/3)
(+.f64 (.f64 1/18 (pow.f64 x 3)) (.f64 2/3 x))
(fma.f64 1/18 (pow.f64 x 3) (*.f64 x 2/3))
(fma.f64 x 2/3 (*.f64 1/18 (pow.f64 x 3)))
(+.f64 (.f64 1/180 (pow.f64 x 5)) (+.f64 (.f64 1/18 (pow.f64 x 3)) (*.f64 2/3 x)))
(fma.f64 1/180 (pow.f64 x 5) (fma.f64 1/18 (pow.f64 x 3) (*.f64 x 2/3)))
(fma.f64 1/180 (pow.f64 x 5) (fma.f64 x 2/3 (*.f64 1/18 (pow.f64 x 3))))
(fma.f64 1/18 (pow.f64 x 3) (fma.f64 x 2/3 (*.f64 1/180 (pow.f64 x 5))))
(fma.f64 x (fma.f64 x (.f64 x 1/18) 2/3) (.f64 1/180 (pow.f64 x 5)))
(+.f64 (.f64 1/180 (pow.f64 x 5)) (+.f64 (.f64 17/30240 (pow.f64 x 7)) (+.f64 (.f64 1/18 (pow.f64 x 3)) (.f64 2/3 x))))
(fma.f64 1/180 (pow.f64 x 5) (fma.f64 17/30240 (pow.f64 x 7) (fma.f64 1/18 (pow.f64 x 3) (*.f64 x 2/3))))
(fma.f64 1/180 (pow.f64 x 5) (fma.f64 17/30240 (pow.f64 x 7) (fma.f64 x 2/3 (*.f64 1/18 (pow.f64 x 3)))))
(fma.f64 1/180 (pow.f64 x 5) (fma.f64 1/18 (pow.f64 x 3) (fma.f64 x 2/3 (*.f64 17/30240 (pow.f64 x 7)))))
(fma.f64 1/180 (pow.f64 x 5) (fma.f64 x 2/3 (fma.f64 1/18 (pow.f64 x 3) (*.f64 17/30240 (pow.f64 x 7)))))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(*.f64 3/8 x)
(*.f64 x 3/8)
(-.f64 (.f64 3/8 x) (.f64 1/16 (pow.f64 x 3)))
(+.f64 (.f64 x 3/8) (.f64 -1/16 (pow.f64 x 3)))
(fma.f64 x 3/8 (*.f64 (pow.f64 x 3) -1/16))
(.f64 x (fma.f64 (.f64 x -1/16) x 3/8))
(-.f64 (+.f64 (.f64 1/320 (pow.f64 x 5)) (.f64 3/8 x)) (*.f64 1/16 (pow.f64 x 3)))
(+.f64 (fma.f64 1/320 (pow.f64 x 5) (.f64 x 3/8)) (.f64 -1/16 (pow.f64 x 3)))
(fma.f64 (pow.f64 x 5) 1/320 (fma.f64 x 3/8 (*.f64 (pow.f64 x 3) -1/16)))
(fma.f64 x 3/8 (fma.f64 (pow.f64 x 5) 1/320 (*.f64 (pow.f64 x 3) -1/16)))
(-.f64 (+.f64 (.f64 1/320 (pow.f64 x 5)) (.f64 3/8 x)) (+.f64 (.f64 1/13440 (pow.f64 x 7)) (.f64 1/16 (pow.f64 x 3))))
(-.f64 (fma.f64 1/320 (pow.f64 x 5) (.f64 x 3/8)) (fma.f64 1/13440 (pow.f64 x 7) (.f64 (pow.f64 x 3) 1/16)))
(-.f64 (fma.f64 (pow.f64 x 5) 1/320 (fma.f64 x 3/8 (.f64 (pow.f64 x 3) -1/16))) (.f64 (pow.f64 x 7) 1/13440))
(fma.f64 x 3/8 (fma.f64 (pow.f64 x 5) 1/320 (fma.f64 (pow.f64 x 3) -1/16 (*.f64 (pow.f64 x 7) -1/13440))))
(fma.f64 x 3/8 (fma.f64 (pow.f64 x 5) 1/320 (fma.f64 (pow.f64 x 7) -1/13440 (*.f64 (pow.f64 x 3) -1/16))))
(*.f64 3/8 (sin.f64 x))
(*.f64 (sin.f64 x) 3/8)
(*.f64 3/8 (sin.f64 x))
(*.f64 (sin.f64 x) 3/8)
(*.f64 3/8 (sin.f64 x))
(*.f64 (sin.f64 x) 3/8)
(*.f64 3/8 (sin.f64 x))
(*.f64 (sin.f64 x) 3/8)
(*.f64 3/8 (sin.f64 x))
(*.f64 (sin.f64 x) 3/8)
(*.f64 3/8 (sin.f64 x))
(*.f64 (sin.f64 x) 3/8)
(*.f64 3/8 (sin.f64 x))
(*.f64 (sin.f64 x) 3/8)
(*.f64 3/8 (sin.f64 x))
(*.f64 (sin.f64 x) 3/8)

prune120.0ms (1.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	115	5	120
Fresh	8	3	11
Picked	1	0	1
Done	0	0	0
Total	124	8	132

Error

Counts

132 → 8

Alt Table

Status	Error	Program
▶	0.4b	(/.f64 (.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)) (sin.f64 (*.f64 x 1/2))) 3/8)
	29.3b	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 8/3 (sin.f64 x)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 8/3 (sin.f64 x))))))))
	16.4b	(/.f64 (.f64 (.f64 (sin.f64 (.f64 x 1/2)) 8/3) (sin.f64 (.f64 x 1/2))) (sin.f64 x))
	21.5b	(cbrt.f64 (pow.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (.f64 (sin.f64 x) 3/8)) 3))
	16.7b	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (/.f64 (cbrt.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2)) (sin.f64 x)) (/.f64 (cbrt.f64 (sin.f64 (*.f64 x 1/2))) 3/8)))
	27.6b	(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (.f64 (sin.f64 x) 3/8)))) (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (.f64 (sin.f64 x) 3/8)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (*.f64 (sin.f64 x) 3/8))))))
	23.0b	(.f64 (sin.f64 (.f64 x 1/2)) (cbrt.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 3) (pow.f64 (.f64 (sin.f64 x) 3/8) 3))))
	33.1b	(pow.f64 (.f64 (sin.f64 (.f64 x 1/2)) (sqrt.f64 (/.f64 8/3 (sin.f64 x)))) 2)

Compiler

Compiled 2468 to 1908 computations (22.7% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

New

Error

Program

✓

0.1b

(/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x))

✓

0.2b

(/.f64 (*.f64 (/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x)) (sin.f64 (*.f64 x 1/2))) 3/8)

✓

0.2b

(*.f64 (/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x)) (sin.f64 (*.f64 x 1/2)))

series3.0ms (0%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)) (sin.f64 (*.f64 x 1/2)))
0.0ms	x	@	0	(/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x))
0.0ms	x	@	inf	(.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)) (sin.f64 (*.f64 x 1/2)))
0.0ms	x	@	inf	(/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x))
0.0ms	x	@	0	(/.f64 (.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)) (sin.f64 (*.f64 x 1/2))) 3/8)

rewrite59.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

518×	`log-prod_binary64`
191×	`expm1-udef_binary64`
191×	`log1p-udef_binary64`
173×	`prod-diff_binary64`
156×	`log-pow_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	52
1	216	42
2	2728	42

Stop Event

1×	node limit

Counts

3 → 95

Calls

Call 1

Inputs

(*.f64 (/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x)) (sin.f64 (*.f64 x 1/2)))

(/.f64 (*.f64 (/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x)) (sin.f64 (*.f64 x 1/2))) 3/8)

(/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x))

Outputs

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

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

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

simplify53.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

736×	`fma-def_binary64`
517×	`unswap-sqr_binary64`
466×	`associate-l_binary64`
346×	`associate-r_binary64`
232×	`distribute-lft-out_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	58	504
1	141	500
2	350	498
3	1020	498
4	3035	498
5	4941	498

Stop Event

1×	node limit

Counts

131 → 122

Calls

Call 1

Inputs
(*.f64 1/4 x)
(+.f64 (.f64 1/48 (pow.f64 x 3)) (.f64 1/4 x))
(+.f64 (.f64 1/480 (pow.f64 x 5)) (+.f64 (.f64 1/48 (pow.f64 x 3)) (*.f64 1/4 x)))
(+.f64 (.f64 1/480 (pow.f64 x 5)) (+.f64 (.f64 17/80640 (pow.f64 x 7)) (+.f64 (.f64 1/48 (pow.f64 x 3)) (.f64 1/4 x))))
(/.f64 (pow.f64 (sin.f64 (*.f64 1/2 x)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 1/2 x)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 1/2 x)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 1/2 x)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 1/2 x)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 1/2 x)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 1/2 x)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 1/2 x)) 2) (sin.f64 x))
(*.f64 2/3 x)
(+.f64 (.f64 1/18 (pow.f64 x 3)) (.f64 2/3 x))
(+.f64 (.f64 1/180 (pow.f64 x 5)) (+.f64 (.f64 1/18 (pow.f64 x 3)) (*.f64 2/3 x)))
(+.f64 (.f64 1/180 (pow.f64 x 5)) (+.f64 (.f64 17/30240 (pow.f64 x 7)) (+.f64 (.f64 1/18 (pow.f64 x 3)) (.f64 2/3 x))))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
1/2
(+.f64 1/2 (*.f64 1/16 (pow.f64 x 2)))
(+.f64 (.f64 5/768 (pow.f64 x 4)) (+.f64 1/2 (.f64 1/16 (pow.f64 x 2))))
(+.f64 (.f64 5/768 (pow.f64 x 4)) (+.f64 1/2 (+.f64 (.f64 61/92160 (pow.f64 x 6)) (*.f64 1/16 (pow.f64 x 2)))))
(/.f64 (sin.f64 (*.f64 1/2 x)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 1/2 x)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 1/2 x)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 1/2 x)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 1/2 x)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 1/2 x)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 1/2 x)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 1/2 x)) (sin.f64 x))

Outputs
(*.f64 1/4 x)
(+.f64 (.f64 1/48 (pow.f64 x 3)) (.f64 1/4 x))
(fma.f64 1/48 (pow.f64 x 3) (*.f64 1/4 x))
(fma.f64 1/4 x (*.f64 1/48 (pow.f64 x 3)))
(.f64 x (fma.f64 1/48 (.f64 x x) 1/4))
(.f64 x (fma.f64 x (.f64 x 1/48) 1/4))
(+.f64 (.f64 1/480 (pow.f64 x 5)) (+.f64 (.f64 1/48 (pow.f64 x 3)) (*.f64 1/4 x)))
(fma.f64 1/480 (pow.f64 x 5) (fma.f64 1/48 (pow.f64 x 3) (*.f64 1/4 x)))
(fma.f64 1/4 x (fma.f64 1/480 (pow.f64 x 5) (*.f64 1/48 (pow.f64 x 3))))
(fma.f64 x (fma.f64 x (.f64 x 1/48) 1/4) (.f64 1/480 (pow.f64 x 5)))
(+.f64 (.f64 1/480 (pow.f64 x 5)) (+.f64 (.f64 17/80640 (pow.f64 x 7)) (+.f64 (.f64 1/48 (pow.f64 x 3)) (.f64 1/4 x))))
(fma.f64 1/480 (pow.f64 x 5) (fma.f64 17/80640 (pow.f64 x 7) (fma.f64 1/48 (pow.f64 x 3) (*.f64 1/4 x))))
(fma.f64 17/80640 (pow.f64 x 7) (fma.f64 1/4 x (fma.f64 1/480 (pow.f64 x 5) (*.f64 1/48 (pow.f64 x 3)))))
(fma.f64 1/48 (pow.f64 x 3) (fma.f64 17/80640 (pow.f64 x 7) (fma.f64 1/480 (pow.f64 x 5) (*.f64 1/4 x))))
(fma.f64 x (fma.f64 x (.f64 x 1/48) 1/4) (fma.f64 1/480 (pow.f64 x 5) (.f64 17/80640 (pow.f64 x 7))))
(/.f64 (pow.f64 (sin.f64 (*.f64 1/2 x)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 x 1/2)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 1/2 x)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 x 1/2)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 1/2 x)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 x 1/2)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 1/2 x)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 x 1/2)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 1/2 x)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 x 1/2)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 1/2 x)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 x 1/2)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 1/2 x)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 x 1/2)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 1/2 x)) 2) (sin.f64 x))
(/.f64 (pow.f64 (sin.f64 (*.f64 x 1/2)) 2) (sin.f64 x))
(*.f64 2/3 x)
(*.f64 x 2/3)
(+.f64 (.f64 1/18 (pow.f64 x 3)) (.f64 2/3 x))
(fma.f64 1/18 (pow.f64 x 3) (*.f64 x 2/3))
(fma.f64 (pow.f64 x 3) 1/18 (*.f64 x 2/3))
(fma.f64 x 2/3 (*.f64 (pow.f64 x 3) 1/18))
(.f64 x (fma.f64 x (.f64 x 1/18) 2/3))
(+.f64 (.f64 1/180 (pow.f64 x 5)) (+.f64 (.f64 1/18 (pow.f64 x 3)) (*.f64 2/3 x)))
(fma.f64 1/180 (pow.f64 x 5) (fma.f64 1/18 (pow.f64 x 3) (*.f64 x 2/3)))
(fma.f64 (pow.f64 x 5) 1/180 (fma.f64 (pow.f64 x 3) 1/18 (*.f64 x 2/3)))
(fma.f64 (pow.f64 x 3) 1/18 (fma.f64 x 2/3 (*.f64 (pow.f64 x 5) 1/180)))
(fma.f64 x 2/3 (fma.f64 (pow.f64 x 3) 1/18 (*.f64 (pow.f64 x 5) 1/180)))
(+.f64 (.f64 1/180 (pow.f64 x 5)) (+.f64 (.f64 17/30240 (pow.f64 x 7)) (+.f64 (.f64 1/18 (pow.f64 x 3)) (.f64 2/3 x))))
(fma.f64 1/180 (pow.f64 x 5) (fma.f64 17/30240 (pow.f64 x 7) (fma.f64 1/18 (pow.f64 x 3) (*.f64 x 2/3))))
(fma.f64 (pow.f64 x 5) 1/180 (fma.f64 (pow.f64 x 7) 17/30240 (fma.f64 (pow.f64 x 3) 1/18 (*.f64 x 2/3))))
(fma.f64 (pow.f64 x 5) 1/180 (fma.f64 (pow.f64 x 3) 1/18 (fma.f64 (pow.f64 x 7) 17/30240 (*.f64 x 2/3))))
(fma.f64 x 2/3 (fma.f64 (pow.f64 x 3) 1/18 (fma.f64 (pow.f64 x 7) 17/30240 (*.f64 (pow.f64 x 5) 1/180))))
(fma.f64 x 2/3 (fma.f64 (pow.f64 x 3) 1/18 (fma.f64 (pow.f64 x 5) 1/180 (*.f64 (pow.f64 x 7) 17/30240))))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)) 8/3)
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)) 8/3)
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)) 8/3)
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)) 8/3)
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)) 8/3)
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)) 8/3)
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)) 8/3)
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)) 8/3)
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
1/2
(+.f64 1/2 (*.f64 1/16 (pow.f64 x 2)))
(+.f64 1/2 (.f64 1/16 (.f64 x x)))
(fma.f64 1/16 (*.f64 x x) 1/2)
(fma.f64 x (*.f64 x 1/16) 1/2)
(+.f64 (.f64 5/768 (pow.f64 x 4)) (+.f64 1/2 (.f64 1/16 (pow.f64 x 2))))
(fma.f64 5/768 (pow.f64 x 4) (+.f64 1/2 (.f64 1/16 (.f64 x x))))
(fma.f64 5/768 (pow.f64 x 4) (fma.f64 1/16 (*.f64 x x) 1/2))
(fma.f64 1/16 (*.f64 x x) (fma.f64 5/768 (pow.f64 x 4) 1/2))
(fma.f64 (.f64 x x) (fma.f64 x (.f64 x 5/768) 1/16) 1/2)
(fma.f64 x (*.f64 x 1/16) (fma.f64 5/768 (pow.f64 x 4) 1/2))
(+.f64 (.f64 5/768 (pow.f64 x 4)) (+.f64 1/2 (+.f64 (.f64 61/92160 (pow.f64 x 6)) (*.f64 1/16 (pow.f64 x 2)))))
(fma.f64 5/768 (pow.f64 x 4) (+.f64 1/2 (fma.f64 61/92160 (pow.f64 x 6) (.f64 1/16 (.f64 x x)))))
(+.f64 (fma.f64 1/16 (.f64 x x) (.f64 61/92160 (pow.f64 x 6))) (fma.f64 5/768 (pow.f64 x 4) 1/2))
(fma.f64 5/768 (pow.f64 x 4) (fma.f64 x (*.f64 x 1/16) (fma.f64 61/92160 (pow.f64 x 6) 1/2)))
(fma.f64 x (*.f64 x 1/16) (fma.f64 5/768 (pow.f64 x 4) (fma.f64 61/92160 (pow.f64 x 6) 1/2)))
(fma.f64 (.f64 x x) (fma.f64 x (.f64 x 5/768) 1/16) (fma.f64 61/92160 (pow.f64 x 6) 1/2))
(/.f64 (sin.f64 (*.f64 1/2 x)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 1/2 x)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 1/2 x)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 1/2 x)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 1/2 x)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 1/2 x)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 1/2 x)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 1/2 x)) (sin.f64 x))
(/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x))

prune123.0ms (1.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	121	1	122
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	122	8	130

Error

Counts

130 → 8

Alt Table

Status	Error	Program
✓	0.4b	(/.f64 (.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)) (sin.f64 (*.f64 x 1/2))) 3/8)
	29.3b	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 8/3 (sin.f64 x)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 8/3 (sin.f64 x))))))))
▶	16.4b	(/.f64 (.f64 (.f64 (sin.f64 (.f64 x 1/2)) 8/3) (sin.f64 (.f64 x 1/2))) (sin.f64 x))
	21.5b	(cbrt.f64 (pow.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (.f64 (sin.f64 x) 3/8)) 3))
	16.6b	(/.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2)) (.f64 (cbrt.f64 (sin.f64 (.f64 x 1/2))) (/.f64 1 (sin.f64 x)))) (sin.f64 (.f64 x 1/2))) 3/8)
	27.6b	(+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (.f64 (sin.f64 x) 3/8)))) (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (.f64 (sin.f64 x) 3/8)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (*.f64 (sin.f64 x) 3/8))))))
	23.0b	(.f64 (sin.f64 (.f64 x 1/2)) (cbrt.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 3) (pow.f64 (.f64 (sin.f64 x) 3/8) 3))))
	33.1b	(pow.f64 (.f64 (sin.f64 (.f64 x 1/2)) (sqrt.f64 (/.f64 8/3 (sin.f64 x)))) 2)

Compiler

Compiled 2403 to 1841 computations (23.4% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (sin.f64 (.f64 x 1/2)) 8/3) (sin.f64 (.f64 x 1/2)))
✓	0.3b	(.f64 (sin.f64 (.f64 x 1/2)) 8/3)
✓	16.3b	(/.f64 (.f64 (.f64 (sin.f64 (.f64 x 1/2)) 8/3) (sin.f64 (.f64 x 1/2))) (sin.f64 x))

series6.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(.f64 (sin.f64 (.f64 x 1/2)) 8/3)
1.0ms	x	@	0	(.f64 (.f64 (sin.f64 (.f64 x 1/2)) 8/3) (sin.f64 (.f64 x 1/2)))
0.0ms	x	@	-inf	(.f64 (.f64 (sin.f64 (.f64 x 1/2)) 8/3) (sin.f64 (.f64 x 1/2)))
0.0ms	x	@	inf	(.f64 (.f64 (sin.f64 (.f64 x 1/2)) 8/3) (sin.f64 (.f64 x 1/2)))
0.0ms	x	@	inf	(.f64 (sin.f64 (.f64 x 1/2)) 8/3)

rewrite59.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

531×	`log-prod_binary64`
185×	`expm1-udef_binary64`
185×	`log1p-udef_binary64`
173×	`prod-diff_binary64`
170×	`pow3_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	48
1	208	38
2	2603	38

Stop Event

1×	node limit

Counts

3 → 81

Calls

Call 1

Inputs
(/.f64 (.f64 (.f64 (sin.f64 (.f64 x 1/2)) 8/3) (sin.f64 (.f64 x 1/2))) (sin.f64 x))
(.f64 (sin.f64 (.f64 x 1/2)) 8/3)
(.f64 (.f64 (sin.f64 (.f64 x 1/2)) 8/3) (sin.f64 (.f64 x 1/2)))

Outputs

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

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 8/3) (sin.f64 (*.f64 x 1/2)))) (cbrt.f64 (pow.f64 (exp.f64 8/3) (sin.f64 (*.f64 x 1/2)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 8/3) (sin.f64 (*.f64 x 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 8/3) (sin.f64 (*.f64 x 1/2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 8/3) (sin.f64 (*.f64 x 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 (sin.f64 (*.f64 x 1/2)) 2) 64/9))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 8/3) (sin.f64 (*.f64 x 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3)) 1))))))

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

simplify39.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

475×	`distribute-rgt-neg-in_binary64`
440×	`cancel-sign-sub-inv_binary64`
393×	`unswap-sqr_binary64`
320×	`fma-neg_binary64`
225×	`sub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	60	502
1	156	494
2	411	490
3	1403	490
4	3581	490

Stop Event

1×	node limit

Counts

117 → 110

Calls

Call 1

Inputs
(*.f64 2/3 x)
(+.f64 (.f64 1/18 (pow.f64 x 3)) (.f64 2/3 x))
(+.f64 (.f64 1/180 (pow.f64 x 5)) (+.f64 (.f64 1/18 (pow.f64 x 3)) (*.f64 2/3 x)))
(+.f64 (.f64 1/180 (pow.f64 x 5)) (+.f64 (.f64 17/30240 (pow.f64 x 7)) (+.f64 (.f64 1/18 (pow.f64 x 3)) (.f64 2/3 x))))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(*.f64 4/3 x)
(-.f64 (.f64 4/3 x) (.f64 1/18 (pow.f64 x 3)))
(-.f64 (+.f64 (.f64 1/1440 (pow.f64 x 5)) (.f64 4/3 x)) (*.f64 1/18 (pow.f64 x 3)))
(-.f64 (+.f64 (.f64 1/1440 (pow.f64 x 5)) (.f64 4/3 x)) (+.f64 (.f64 1/241920 (pow.f64 x 7)) (.f64 1/18 (pow.f64 x 3))))
(.f64 8/3 (sin.f64 (.f64 1/2 x)))
(.f64 8/3 (sin.f64 (.f64 1/2 x)))
(.f64 8/3 (sin.f64 (.f64 1/2 x)))
(.f64 8/3 (sin.f64 (.f64 1/2 x)))
(.f64 8/3 (sin.f64 (.f64 1/2 x)))
(.f64 8/3 (sin.f64 (.f64 1/2 x)))
(.f64 8/3 (sin.f64 (.f64 1/2 x)))
(.f64 8/3 (sin.f64 (.f64 1/2 x)))
(*.f64 2/3 (pow.f64 x 2))
(-.f64 (.f64 2/3 (pow.f64 x 2)) (.f64 1/18 (pow.f64 x 4)))
(-.f64 (+.f64 (.f64 1/540 (pow.f64 x 6)) (.f64 2/3 (pow.f64 x 2))) (*.f64 1/18 (pow.f64 x 4)))
(-.f64 (+.f64 (.f64 1/540 (pow.f64 x 6)) (.f64 2/3 (pow.f64 x 2))) (+.f64 (.f64 1/18 (pow.f64 x 4)) (.f64 1/30240 (pow.f64 x 8))))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 1/2 x)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 1/2 x)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 1/2 x)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 1/2 x)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 1/2 x)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 1/2 x)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 1/2 x)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 1/2 x)) 2))

Outputs
(*.f64 2/3 x)
(+.f64 (.f64 1/18 (pow.f64 x 3)) (.f64 2/3 x))
(fma.f64 1/18 (pow.f64 x 3) (*.f64 2/3 x))
(fma.f64 2/3 x (*.f64 1/18 (pow.f64 x 3)))
(+.f64 (.f64 1/180 (pow.f64 x 5)) (+.f64 (.f64 1/18 (pow.f64 x 3)) (*.f64 2/3 x)))
(fma.f64 1/180 (pow.f64 x 5) (fma.f64 1/18 (pow.f64 x 3) (*.f64 2/3 x)))
(fma.f64 1/18 (pow.f64 x 3) (fma.f64 1/180 (pow.f64 x 5) (*.f64 2/3 x)))
(fma.f64 1/18 (pow.f64 x 3) (fma.f64 2/3 x (*.f64 1/180 (pow.f64 x 5))))
(+.f64 (.f64 1/180 (pow.f64 x 5)) (+.f64 (.f64 17/30240 (pow.f64 x 7)) (+.f64 (.f64 1/18 (pow.f64 x 3)) (.f64 2/3 x))))
(fma.f64 1/180 (pow.f64 x 5) (fma.f64 17/30240 (pow.f64 x 7) (fma.f64 1/18 (pow.f64 x 3) (*.f64 2/3 x))))
(fma.f64 17/30240 (pow.f64 x 7) (fma.f64 1/18 (pow.f64 x 3) (fma.f64 1/180 (pow.f64 x 5) (*.f64 2/3 x))))
(fma.f64 1/180 (pow.f64 x 5) (fma.f64 17/30240 (pow.f64 x 7) (fma.f64 2/3 x (*.f64 1/18 (pow.f64 x 3)))))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 (/.f64 8/3 (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x 1/2)) 2))
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 (/.f64 8/3 (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x 1/2)) 2))
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 (/.f64 8/3 (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x 1/2)) 2))
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 (/.f64 8/3 (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x 1/2)) 2))
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 (/.f64 8/3 (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x 1/2)) 2))
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 (/.f64 8/3 (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x 1/2)) 2))
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 (/.f64 8/3 (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x 1/2)) 2))
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 1/2 x)) 2) (sin.f64 x)))
(.f64 8/3 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (sin.f64 x)))
(.f64 (/.f64 8/3 (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x 1/2)) 2))
(.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (/.f64 8/3 (sin.f64 x)))
(*.f64 4/3 x)
(*.f64 x 4/3)
(-.f64 (.f64 4/3 x) (.f64 1/18 (pow.f64 x 3)))
(+.f64 (.f64 x 4/3) (.f64 -1/18 (pow.f64 x 3)))
(fma.f64 x 4/3 (*.f64 (pow.f64 x 3) -1/18))
(fma.f64 (pow.f64 x 3) -1/18 (*.f64 x 4/3))
(-.f64 (+.f64 (.f64 1/1440 (pow.f64 x 5)) (.f64 4/3 x)) (*.f64 1/18 (pow.f64 x 3)))
(+.f64 (fma.f64 1/1440 (pow.f64 x 5) (.f64 x 4/3)) (.f64 -1/18 (pow.f64 x 3)))
(fma.f64 (pow.f64 x 5) 1/1440 (fma.f64 x 4/3 (*.f64 (pow.f64 x 3) -1/18)))
(fma.f64 (pow.f64 x 5) 1/1440 (fma.f64 (pow.f64 x 3) -1/18 (*.f64 x 4/3)))
(fma.f64 (pow.f64 x 3) -1/18 (fma.f64 x 4/3 (*.f64 (pow.f64 x 5) 1/1440)))
(fma.f64 x 4/3 (fma.f64 (pow.f64 x 5) 1/1440 (*.f64 (pow.f64 x 3) -1/18)))
(-.f64 (+.f64 (.f64 1/1440 (pow.f64 x 5)) (.f64 4/3 x)) (+.f64 (.f64 1/241920 (pow.f64 x 7)) (.f64 1/18 (pow.f64 x 3))))
(-.f64 (fma.f64 1/1440 (pow.f64 x 5) (.f64 x 4/3)) (fma.f64 1/241920 (pow.f64 x 7) (.f64 1/18 (pow.f64 x 3))))
(-.f64 (fma.f64 (pow.f64 x 5) 1/1440 (.f64 x 4/3)) (fma.f64 1/18 (pow.f64 x 3) (.f64 (pow.f64 x 7) 1/241920)))
(fma.f64 x 4/3 (fma.f64 (pow.f64 x 5) 1/1440 (fma.f64 (pow.f64 x 3) -1/18 (*.f64 (pow.f64 x 7) -1/241920))))
(fma.f64 (pow.f64 x 5) 1/1440 (fma.f64 x 4/3 (fma.f64 (pow.f64 x 3) -1/18 (*.f64 (pow.f64 x 7) -1/241920))))
(.f64 8/3 (sin.f64 (.f64 1/2 x)))
(.f64 8/3 (sin.f64 (.f64 x 1/2)))
(.f64 8/3 (sin.f64 (.f64 1/2 x)))
(.f64 8/3 (sin.f64 (.f64 x 1/2)))
(.f64 8/3 (sin.f64 (.f64 1/2 x)))
(.f64 8/3 (sin.f64 (.f64 x 1/2)))
(.f64 8/3 (sin.f64 (.f64 1/2 x)))
(.f64 8/3 (sin.f64 (.f64 x 1/2)))
(.f64 8/3 (sin.f64 (.f64 1/2 x)))
(.f64 8/3 (sin.f64 (.f64 x 1/2)))
(.f64 8/3 (sin.f64 (.f64 1/2 x)))
(.f64 8/3 (sin.f64 (.f64 x 1/2)))
(.f64 8/3 (sin.f64 (.f64 1/2 x)))
(.f64 8/3 (sin.f64 (.f64 x 1/2)))
(.f64 8/3 (sin.f64 (.f64 1/2 x)))
(.f64 8/3 (sin.f64 (.f64 x 1/2)))
(*.f64 2/3 (pow.f64 x 2))
(.f64 2/3 (.f64 x x))
(-.f64 (.f64 2/3 (pow.f64 x 2)) (.f64 1/18 (pow.f64 x 4)))
(+.f64 (.f64 2/3 (.f64 x x)) (*.f64 -1/18 (pow.f64 x 4)))
(fma.f64 2/3 (.f64 x x) (.f64 (pow.f64 x 4) -1/18))
(fma.f64 (pow.f64 x 4) -1/18 (.f64 2/3 (.f64 x x)))
(-.f64 (+.f64 (.f64 1/540 (pow.f64 x 6)) (.f64 2/3 (pow.f64 x 2))) (*.f64 1/18 (pow.f64 x 4)))
(+.f64 (fma.f64 1/540 (pow.f64 x 6) (.f64 2/3 (.f64 x x))) (*.f64 -1/18 (pow.f64 x 4)))
(fma.f64 1/540 (pow.f64 x 6) (fma.f64 2/3 (.f64 x x) (.f64 (pow.f64 x 4) -1/18)))
(fma.f64 2/3 (.f64 x x) (fma.f64 1/540 (pow.f64 x 6) (.f64 (pow.f64 x 4) -1/18)))
(fma.f64 (pow.f64 x 4) -1/18 (fma.f64 1/540 (pow.f64 x 6) (.f64 2/3 (.f64 x x))))
(fma.f64 (pow.f64 x 4) -1/18 (fma.f64 2/3 (.f64 x x) (.f64 1/540 (pow.f64 x 6))))
(-.f64 (+.f64 (.f64 1/540 (pow.f64 x 6)) (.f64 2/3 (pow.f64 x 2))) (+.f64 (.f64 1/18 (pow.f64 x 4)) (.f64 1/30240 (pow.f64 x 8))))
(-.f64 (fma.f64 1/540 (pow.f64 x 6) (.f64 2/3 (.f64 x x))) (fma.f64 1/18 (pow.f64 x 4) (*.f64 1/30240 (pow.f64 x 8))))
(+.f64 (fma.f64 1/540 (pow.f64 x 6) (fma.f64 2/3 (.f64 x x) (.f64 (pow.f64 x 4) -1/18))) (*.f64 -1/30240 (pow.f64 x 8)))
(fma.f64 2/3 (.f64 x x) (fma.f64 1/540 (pow.f64 x 6) (fma.f64 (pow.f64 x 4) -1/18 (.f64 (pow.f64 x 8) -1/30240))))
(fma.f64 1/540 (pow.f64 x 6) (fma.f64 2/3 (.f64 x x) (fma.f64 (pow.f64 x 8) -1/30240 (.f64 (pow.f64 x 4) -1/18))))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 1/2 x)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 x 1/2)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 1/2 x)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 x 1/2)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 1/2 x)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 x 1/2)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 1/2 x)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 x 1/2)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 1/2 x)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 x 1/2)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 1/2 x)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 x 1/2)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 1/2 x)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 x 1/2)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 1/2 x)) 2))
(.f64 8/3 (pow.f64 (sin.f64 (.f64 x 1/2)) 2))

prune101.0ms (1.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	110	8	118

Error

Counts

118 → 8

Alt Table

Status	Error	Program
	24.4b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (.f64 8/3 (pow.f64 (sin.f64 (.f64 x 1/2)) 2)) 2)) (cbrt.f64 (pow.f64 (sin.f64 x) 2))) (cbrt.f64 (/.f64 (.f64 8/3 (pow.f64 (sin.f64 (*.f64 x 1/2)) 2)) (sin.f64 x))))
✓	0.4b	(/.f64 (.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)) (sin.f64 (*.f64 x 1/2))) 3/8)
	29.3b	(.f64 (sin.f64 (.f64 x 1/2)) (.f64 (sin.f64 (.f64 x 1/2)) (+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 8/3 (sin.f64 x)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 8/3 (sin.f64 x))))))))
✓	16.4b	(/.f64 (.f64 (.f64 (sin.f64 (.f64 x 1/2)) 8/3) (sin.f64 (.f64 x 1/2))) (sin.f64 x))
	21.5b	(cbrt.f64 (pow.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2) (.f64 (sin.f64 x) 3/8)) 3))
	16.6b	(/.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 2)) (.f64 (cbrt.f64 (sin.f64 (.f64 x 1/2))) (/.f64 1 (sin.f64 x)))) (sin.f64 (.f64 x 1/2))) 3/8)
	23.0b	(.f64 (sin.f64 (.f64 x 1/2)) (cbrt.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x 1/2)) 3) (pow.f64 (.f64 (sin.f64 x) 3/8) 3))))
	33.1b	(pow.f64 (.f64 (sin.f64 (.f64 x 1/2)) (sqrt.f64 (/.f64 8/3 (sin.f64 x)))) 2)

Compiler

Compiled 2070 to 1587 computations (23.3% saved)

regimes584.0ms (8.8%)

Accuracy

Total 0.3b remaining (85.5%)

Threshold costs 0.3b (85.5%)

Counts

269 → 1

Compiler

Compiled 4292 to 3254 computations (24.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	22
1	11	22

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (/.f64 (sin.f64 x) (sin.f64 (.f64 x 1/2)))) 3/8)

Outputs
(/.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (/.f64 (sin.f64 x) (sin.f64 (.f64 x 1/2)))) 3/8)

end162.0ms (2.4%)

Stop Event

1×

fuel

Compiler

Compiled 193 to 160 computations (17.1% saved)

Details

analyze1.2s (18.4%)

sample3.7s (56%)

preprocess19.0ms (0.3%)

simplify12.0ms (0.2%)

prune5.0ms (0.1%)

localize8.0ms (0.1%)

series11.0ms (0.2%)

rewrite54.0ms (0.8%)

simplify51.0ms (0.8%)

prune107.0ms (1.6%)

localize10.0ms (0.2%)

series3.0ms (0%)

rewrite56.0ms (0.8%)

simplify38.0ms (0.6%)

prune120.0ms (1.8%)

localize8.0ms (0.1%)

series3.0ms (0%)

rewrite59.0ms (0.9%)

simplify53.0ms (0.8%)

prune123.0ms (1.9%)

localize8.0ms (0.1%)

series6.0ms (0.1%)

rewrite59.0ms (0.9%)

simplify39.0ms (0.6%)

prune101.0ms (1.5%)

regimes584.0ms (8.8%)

simplify3.0ms (0%)

end162.0ms (2.4%)

Profiling