Details

analyze636.0ms (15.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
25%	74.9%	0.1%	7
37.4%	62.4%	0.1%	8
37.4%	62.4%	0.1%	9
56.2%	43.7%	0.1%	10
65.5%	34.3%	0.1%	11
65.5%	34.3%	0.1%	12
76.5%	23.4%	0.1%	13
81.9%	17.9%	0.1%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample2.4s (58.7%)

Results

976.0ms	1335×	body	1024	valid
937.0ms	5894×	body	128	valid
320.0ms	691×	body	512	valid
116.0ms	334×	body	256	valid
3.0ms	2×	body	2048	valid

Compiler

Compiled 26 to 18 computations (30.8% saved)

preprocess46.0ms (1.1%)

Algorithm

2×	egg-herbie

Rules

792×	`fma-neg_binary64`
611×	`fma-def_binary64`
200×	`cancel-sign-sub-inv_binary64`
156×	`distribute-rgt-in_binary64`
142×	`associate--r+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	56
1	57	56
2	128	56
3	237	56
4	428	56
5	697	56
6	1220	56
7	2086	56
8	2733	56
9	3116	56
10	3148	56
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

Inputs
(-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
(-.f64 (+.f64 y (cos.f64 x)) (*.f64 z (sin.f64 x)))
(-.f64 (+.f64 z (cos.f64 y)) (*.f64 x (sin.f64 y)))
(-.f64 (+.f64 x (cos.f64 z)) (*.f64 y (sin.f64 z)))

Outputs
(-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
(+.f64 x (-.f64 (cos.f64 y) (*.f64 z (sin.f64 y))))
(-.f64 x (-.f64 (*.f64 z (sin.f64 y)) (cos.f64 y)))
(-.f64 (+.f64 y (cos.f64 x)) (*.f64 z (sin.f64 x)))
(+.f64 y (-.f64 (cos.f64 x) (*.f64 z (sin.f64 x))))
(-.f64 (+.f64 z (cos.f64 y)) (*.f64 x (sin.f64 y)))
(+.f64 z (-.f64 (cos.f64 y) (*.f64 x (sin.f64 y))))
(+.f64 (cos.f64 y) (-.f64 z (*.f64 x (sin.f64 y))))
(fma.f64 (sin.f64 y) (neg.f64 x) (+.f64 (cos.f64 y) z))
(+.f64 (cos.f64 y) (fma.f64 (sin.f64 y) (neg.f64 x) z))
(-.f64 (+.f64 x (cos.f64 z)) (*.f64 y (sin.f64 z)))
(+.f64 x (-.f64 (cos.f64 z) (*.f64 y (sin.f64 z))))
(+.f64 (cos.f64 z) (-.f64 x (*.f64 y (sin.f64 z))))
(-.f64 (cos.f64 z) (fma.f64 y (sin.f64 z) (neg.f64 x)))
(+.f64 (cos.f64 z) (fma.f64 (sin.f64 z) (neg.f64 y) x))

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify17.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

228×	`fma-def_binary64`
171×	`fma-neg_binary64`
68×	`cancel-sign-sub-inv_binary64`
44×	`distribute-rgt-in_binary64`
42×	`associate--r+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	18	14
2	38	14
3	67	14
4	118	14
5	183	14
6	324	14
7	531	14
8	681	14
9	846	14
10	950	14
11	960	14

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))

Outputs
(-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
(+.f64 x (-.f64 (cos.f64 y) (*.f64 z (sin.f64 y))))

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))

Compiler

Compiled 45 to 26 computations (42.2% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(cos.f64 y)
✓	0.1b	(*.f64 z (sin.f64 y))

series5.0ms (0.1%)

Counts

2 → 28

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	z	@	0	(*.f64 z (sin.f64 y))
1.0ms	y	@	0	(*.f64 z (sin.f64 y))
1.0ms	z	@	inf	(*.f64 z (sin.f64 y))
0.0ms	y	@	inf	(*.f64 z (sin.f64 y))
0.0ms	y	@	0	(cos.f64 y)

rewrite33.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

550×	`pow1_binary64`
501×	`add-log-exp_binary64`
501×	`log1p-expm1-u_binary64`
501×	`expm1-log1p-u_binary64`
489×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	116	9
2	1363	9

Stop Event

1×	node limit

Counts

2 → 29

Calls

Call 1

Inputs
(*.f64 z (sin.f64 y))
(cos.f64 y)

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

Outputs

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

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

simplify40.0ms (1%)

Algorithm

1×	egg-herbie

Rules

724×	`fma-def_binary64`
654×	`cancel-sign-sub-inv_binary64`
415×	`fma-neg_binary64`
244×	`*-commutative_binary64`
234×	`sub-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	44	258
1	124	246
2	365	232
3	1372	226
4	4583	226

Stop Event

1×	node limit

Counts

57 → 44

Calls

Call 1

Inputs
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 y z)
(-.f64 (.f64 y z) (.f64 1/6 (*.f64 (pow.f64 y 3) z)))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 y 5) z)) (.f64 y z)) (.f64 1/6 (*.f64 (pow.f64 y 3) z)))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 y 5) z)) (.f64 y z)) (+.f64 (.f64 1/5040 (.f64 (pow.f64 y 7) z)) (.f64 1/6 (*.f64 (pow.f64 y 3) z))))
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
1
(-.f64 1 (*.f64 1/2 (pow.f64 y 2)))
(-.f64 (+.f64 1 (.f64 1/24 (pow.f64 y 4))) (.f64 1/2 (pow.f64 y 2)))
(-.f64 (+.f64 1 (.f64 1/24 (pow.f64 y 4))) (+.f64 (.f64 1/2 (pow.f64 y 2)) (*.f64 1/720 (pow.f64 y 6))))

Outputs
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 y z)
(-.f64 (.f64 y z) (.f64 1/6 (*.f64 (pow.f64 y 3) z)))
(+.f64 (.f64 y z) (.f64 -1/6 (*.f64 z (pow.f64 y 3))))
(.f64 z (-.f64 y (.f64 1/6 (pow.f64 y 3))))
(.f64 z (+.f64 (.f64 (pow.f64 y 3) -1/6) y))
(*.f64 z (fma.f64 (pow.f64 y 3) -1/6 y))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 y 5) z)) (.f64 y z)) (.f64 1/6 (*.f64 (pow.f64 y 3) z)))
(+.f64 (fma.f64 1/120 (.f64 z (pow.f64 y 5)) (.f64 y z)) (.f64 -1/6 (.f64 z (pow.f64 y 3))))
(fma.f64 1/120 (.f64 z (pow.f64 y 5)) (.f64 z (-.f64 y (*.f64 1/6 (pow.f64 y 3)))))
(.f64 z (-.f64 (fma.f64 1/120 (pow.f64 y 5) y) (.f64 1/6 (pow.f64 y 3))))
(*.f64 z (fma.f64 1/120 (pow.f64 y 5) (fma.f64 (pow.f64 y 3) -1/6 y)))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 y 5) z)) (.f64 y z)) (+.f64 (.f64 1/5040 (.f64 (pow.f64 y 7) z)) (.f64 1/6 (*.f64 (pow.f64 y 3) z))))
(-.f64 (fma.f64 1/120 (.f64 z (pow.f64 y 5)) (.f64 y z)) (fma.f64 1/5040 (.f64 z (pow.f64 y 7)) (.f64 1/6 (*.f64 z (pow.f64 y 3)))))
(-.f64 (.f64 z (+.f64 y (.f64 1/120 (pow.f64 y 5)))) (.f64 z (+.f64 (.f64 1/6 (pow.f64 y 3)) (*.f64 1/5040 (pow.f64 y 7)))))
(.f64 z (-.f64 (fma.f64 1/120 (pow.f64 y 5) y) (fma.f64 1/6 (pow.f64 y 3) (.f64 1/5040 (pow.f64 y 7)))))
(.f64 z (+.f64 (fma.f64 (pow.f64 y 3) -1/6 y) (fma.f64 1/120 (pow.f64 y 5) (.f64 (pow.f64 y 7) -1/5040))))
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
1
(-.f64 1 (*.f64 1/2 (pow.f64 y 2)))
(-.f64 1 (.f64 1/2 (.f64 y y)))
(+.f64 1 (.f64 (.f64 y y) -1/2))
(fma.f64 (*.f64 y y) -1/2 1)
(fma.f64 y (*.f64 y -1/2) 1)
(-.f64 (+.f64 1 (.f64 1/24 (pow.f64 y 4))) (.f64 1/2 (pow.f64 y 2)))
(+.f64 1 (-.f64 (.f64 1/24 (pow.f64 y 4)) (.f64 1/2 (*.f64 y y))))
(+.f64 1 (fma.f64 1/24 (pow.f64 y 4) (.f64 (.f64 y y) -1/2)))
(fma.f64 (*.f64 y y) -1/2 (fma.f64 1/24 (pow.f64 y 4) 1))
(fma.f64 (.f64 y y) (fma.f64 (.f64 y y) 1/24 -1/2) 1)
(-.f64 (+.f64 1 (.f64 1/24 (pow.f64 y 4))) (+.f64 (.f64 1/2 (pow.f64 y 2)) (*.f64 1/720 (pow.f64 y 6))))
(+.f64 1 (-.f64 (.f64 1/24 (pow.f64 y 4)) (fma.f64 1/2 (.f64 y y) (*.f64 1/720 (pow.f64 y 6)))))
(-.f64 (fma.f64 1/24 (pow.f64 y 4) 1) (fma.f64 1/2 (.f64 y y) (.f64 1/720 (pow.f64 y 6))))
(+.f64 (fma.f64 1/24 (pow.f64 y 4) 1) (fma.f64 (.f64 y y) -1/2 (.f64 (pow.f64 y 6) -1/720)))
(fma.f64 (pow.f64 y 6) -1/720 (fma.f64 (.f64 y y) (fma.f64 (.f64 y y) 1/24 -1/2) 1))

prune29.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	42	2	44
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	42	3	45

Error

0.0b

Counts

45 → 3

Alt Table

Status	Error	Program
	20.3b	(-.f64 (+.f64 x (cos.f64 y)) (cbrt.f64 (pow.f64 (*.f64 z (sin.f64 y)) 3)))
▶	0.4b	(-.f64 (+.f64 x (cos.f64 y)) (pow.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) 3))
✓	0.1b	(-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))

Compiler

Compiled 695 to 331 computations (52.4% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(cos.f64 y)
	0.1b	(*.f64 z (sin.f64 y))
✓	0.7b	(pow.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) 3)
✓	6.4b	(cbrt.f64 (*.f64 z (sin.f64 y)))

series18.0ms (0.5%)

Counts

2 → 16

Calls

12 calls:

Time	Variable		Point	Expression
5.0ms	z	@	-inf	(pow.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) 3)
2.0ms	z	@	-inf	(cbrt.f64 (*.f64 z (sin.f64 y)))
2.0ms	y	@	inf	(cbrt.f64 (*.f64 z (sin.f64 y)))
2.0ms	y	@	0	(pow.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) 3)
2.0ms	y	@	-inf	(cbrt.f64 (*.f64 z (sin.f64 y)))

rewrite39.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

638×	`pow1_binary64`
596×	`add-log-exp_binary64`
596×	`log1p-expm1-u_binary64`
596×	`expm1-log1p-u_binary64`
71×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	166	14
2	1669	14

Stop Event

1×	node limit

Counts

2 → 56

Calls

Call 1

Inputs
(cbrt.f64 (*.f64 z (sin.f64 y)))
(pow.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) 3)

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

Outputs

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

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

simplify71.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

730×	`sqr-pow_binary64`
370×	`cube-prod_binary64`
362×	`unswap-sqr_binary64`
313×	`pow-sqr_binary64`
283×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	112
1	14	112
2	19	112
3	28	112
4	50	112
5	139	112
6	519	112
7	1180	112
8	1270	112
9	1406	112
10	1567	112
11	1798	112
12	2123	112
13	2547	112
14	3050	112
15	3650	112
16	4375	112
17	4698	112
18	4984	112

Stop Event

1×	node limit

Counts

72 → 58

Calls

Call 1

Inputs
(pow.f64 (*.f64 (sin.f64 y) z) 1/3)
(pow.f64 (*.f64 (sin.f64 y) z) 1/3)
(pow.f64 (*.f64 (sin.f64 y) z) 1/3)
(pow.f64 (*.f64 (sin.f64 y) z) 1/3)
(pow.f64 (*.f64 (sin.f64 y) z) 1/3)
(pow.f64 (*.f64 (sin.f64 y) z) 1/3)
(pow.f64 (*.f64 (sin.f64 y) z) 1/3)
(pow.f64 (*.f64 (sin.f64 y) z) 1/3)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)

Outputs
(pow.f64 (*.f64 (sin.f64 y) z) 1/3)
(cbrt.f64 (*.f64 (sin.f64 y) z))
(pow.f64 (*.f64 (sin.f64 y) z) 1/3)
(cbrt.f64 (*.f64 (sin.f64 y) z))
(pow.f64 (*.f64 (sin.f64 y) z) 1/3)
(cbrt.f64 (*.f64 (sin.f64 y) z))
(pow.f64 (*.f64 (sin.f64 y) z) 1/3)
(cbrt.f64 (*.f64 (sin.f64 y) z))
(pow.f64 (*.f64 (sin.f64 y) z) 1/3)
(cbrt.f64 (*.f64 (sin.f64 y) z))
(pow.f64 (*.f64 (sin.f64 y) z) 1/3)
(cbrt.f64 (*.f64 (sin.f64 y) z))
(pow.f64 (*.f64 (sin.f64 y) z) 1/3)
(cbrt.f64 (*.f64 (sin.f64 y) z))
(pow.f64 (*.f64 (sin.f64 y) z) 1/3)
(cbrt.f64 (*.f64 (sin.f64 y) z))
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)

prune97.0ms (2.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	97	5	102
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	98	7	105

Error

Counts

105 → 7

Alt Table

Status	Error	Program
	0.4b	(-.f64 (+.f64 x (cos.f64 y)) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) 3)) 3))
✓	0.1b	(-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
	20.3b	(-.f64 (+.f64 x (cos.f64 y)) (cbrt.f64 (pow.f64 (*.f64 z (sin.f64 y)) 3)))
	0.5b	(-.f64 (+.f64 x (cos.f64 y)) (pow.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 (sin.f64 y))) 3))
	31.8b	(-.f64 (+.f64 x (cos.f64 y)) (.f64 (sqrt.f64 z) (.f64 (sqrt.f64 z) (sin.f64 y))))
	0.4b	(-.f64 (+.f64 x (cos.f64 y)) (.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 z) (sin.f64 y))))
▶	0.4b	(-.f64 (+.f64 x (cos.f64 y)) (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 (sin.f64 y)) (pow.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) 2))))

Compiler

Compiled 1903 to 834 computations (56.2% saved)

localize15.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) 2)
✓	0.6b	(cbrt.f64 z)
✓	0.6b	(cbrt.f64 (sin.f64 y))
	6.4b	(cbrt.f64 (*.f64 z (sin.f64 y)))

series11.0ms (0.3%)

Counts

3 → 16

Calls

12 calls:

Time	Variable		Point	Expression
3.0ms	y	@	inf	(cbrt.f64 (sin.f64 y))
1.0ms	y	@	-inf	(cbrt.f64 (sin.f64 y))
1.0ms	z	@	-inf	(pow.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) 2)
1.0ms	y	@	0	(cbrt.f64 (sin.f64 y))
1.0ms	y	@	0	(pow.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) 2)

rewrite46.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

790×	`pow1_binary64`
726×	`log1p-expm1-u_binary64`
726×	`expm1-log1p-u_binary64`
90×	`add-sqr-sqrt_binary64`
87×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	194	19
2	2078	19

Stop Event

1×	node limit

Counts

3 → 63

Calls

Call 1

Inputs
(cbrt.f64 (sin.f64 y))
(cbrt.f64 z)
(pow.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) 2)

Outputs

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

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

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

simplify96.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

2215×	`associate-l_binary64`
724×	`sqr-pow_binary64`
290×	`pow-sqr_binary64`
276×	`unswap-sqr_binary64`
248×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	152
1	28	152
2	56	152
3	137	152
4	512	152
5	1058	152
6	1149	152
7	1288	152
8	1461	152
9	1650	152
10	1886	152
11	2163	152
12	2483	152
13	2855	152
14	3264	152
15	3697	152
16	3893	152
17	3997	152
18	4069	152
19	4123	152

Stop Event

1×	node limit

Counts

79 → 66

Calls

Call 1

Inputs
(pow.f64 (sin.f64 y) 1/3)
(pow.f64 (sin.f64 y) 1/3)
(pow.f64 (sin.f64 y) 1/3)
(pow.f64 (sin.f64 y) 1/3)
(pow.f64 (sin.f64 y) 1/3)
(pow.f64 (sin.f64 y) 1/3)
(pow.f64 (sin.f64 y) 1/3)
(pow.f64 (sin.f64 y) 1/3)
(pow.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 2)) 1/3)

Outputs
(pow.f64 (sin.f64 y) 1/3)
(cbrt.f64 (sin.f64 y))
(pow.f64 (sin.f64 y) 1/3)
(cbrt.f64 (sin.f64 y))
(pow.f64 (sin.f64 y) 1/3)
(cbrt.f64 (sin.f64 y))
(pow.f64 (sin.f64 y) 1/3)
(cbrt.f64 (sin.f64 y))
(pow.f64 (sin.f64 y) 1/3)
(cbrt.f64 (sin.f64 y))
(pow.f64 (sin.f64 y) 1/3)
(cbrt.f64 (sin.f64 y))
(pow.f64 (sin.f64 y) 1/3)
(cbrt.f64 (sin.f64 y))
(pow.f64 (sin.f64 y) 1/3)
(cbrt.f64 (sin.f64 y))
(pow.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 2)) 1/3)
(cbrt.f64 (.f64 (pow.f64 (sin.f64 y) 2) (.f64 z z)))
(pow.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 2)) 1/3)
(cbrt.f64 (.f64 (pow.f64 (sin.f64 y) 2) (.f64 z z)))
(pow.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 2)) 1/3)
(cbrt.f64 (.f64 (pow.f64 (sin.f64 y) 2) (.f64 z z)))
(pow.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 2)) 1/3)
(cbrt.f64 (.f64 (pow.f64 (sin.f64 y) 2) (.f64 z z)))
(pow.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 2)) 1/3)
(cbrt.f64 (.f64 (pow.f64 (sin.f64 y) 2) (.f64 z z)))
(pow.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 2)) 1/3)
(cbrt.f64 (.f64 (pow.f64 (sin.f64 y) 2) (.f64 z z)))
(pow.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 2)) 1/3)
(cbrt.f64 (.f64 (pow.f64 (sin.f64 y) 2) (.f64 z z)))
(pow.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 z 2)) 1/3)
(cbrt.f64 (.f64 (pow.f64 (sin.f64 y) 2) (.f64 z z)))

prune94.0ms (2.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	90	7	97

Error

Counts

97 → 7

Alt Table

Status	Error	Program
	0.4b	(-.f64 (+.f64 x (cos.f64 y)) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) 3)) 3))
✓	0.1b	(-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
	20.3b	(-.f64 (+.f64 x (cos.f64 y)) (cbrt.f64 (pow.f64 (*.f64 z (sin.f64 y)) 3)))
	0.5b	(-.f64 (+.f64 x (cos.f64 y)) (pow.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 (sin.f64 y))) 3))
	31.8b	(-.f64 (+.f64 x (cos.f64 y)) (.f64 (sqrt.f64 z) (.f64 (sqrt.f64 z) (sin.f64 y))))
▶	0.4b	(-.f64 (+.f64 x (cos.f64 y)) (.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 z) (sin.f64 y))))
✓	0.4b	(-.f64 (+.f64 x (cos.f64 y)) (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 (sin.f64 y)) (pow.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) 2))))

Compiler

Compiled 2283 to 846 computations (62.9% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (cbrt.f64 z) (sin.f64 y))
✓	0.3b	(.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 z) (sin.f64 y)))
✓	0.5b	(pow.f64 (cbrt.f64 z) 2)
	0.6b	(cbrt.f64 z)

series14.0ms (0.4%)

Counts

3 → 36

Calls

15 calls:

Time	Variable		Point	Expression
4.0ms	y	@	inf	(.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 z) (sin.f64 y)))
2.0ms	z	@	-inf	(.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 z) (sin.f64 y)))
1.0ms	y	@	inf	(*.f64 (cbrt.f64 z) (sin.f64 y))
1.0ms	z	@	-inf	(*.f64 (cbrt.f64 z) (sin.f64 y))
1.0ms	y	@	0	(*.f64 (cbrt.f64 z) (sin.f64 y))

rewrite44.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

769×	`pow1_binary64`
708×	`log1p-expm1-u_binary64`
708×	`expm1-log1p-u_binary64`
86×	`add-sqr-sqrt_binary64`
83×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	181	20
2	2013	20

Stop Event

1×	node limit

Counts

3 → 49

Calls

Call 1

Inputs
(pow.f64 (cbrt.f64 z) 2)
(.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 z) (sin.f64 y)))
(*.f64 (cbrt.f64 z) (sin.f64 y))

Outputs

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

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

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

simplify36.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

685×	`fma-neg_binary64`
369×	`*-commutative_binary64`
291×	`distribute-lft-neg-in_binary64`
284×	`distribute-rgt-neg-in_binary64`
266×	`sub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	41	368
1	124	344
2	437	320
3	1942	320
4	4590	320

Stop Event

1×	node limit

Counts

85 → 67

Calls

Call 1

Inputs
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 y z)
(-.f64 (.f64 y z) (.f64 1/6 (*.f64 (pow.f64 y 3) z)))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 y 5) z)) (.f64 y z)) (.f64 1/6 (*.f64 (pow.f64 y 3) z)))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 y 5) z)) (.f64 y z)) (+.f64 (.f64 1/5040 (.f64 (pow.f64 y 7) z)) (.f64 1/6 (*.f64 (pow.f64 y 3) z))))
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 y (pow.f64 z 1/3))
(-.f64 (.f64 y (pow.f64 z 1/3)) (.f64 1/6 (*.f64 (pow.f64 y 3) (pow.f64 z 1/3))))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 y 5) (pow.f64 z 1/3))) (.f64 y (pow.f64 z 1/3))) (.f64 1/6 (*.f64 (pow.f64 y 3) (pow.f64 z 1/3))))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 y 5) (pow.f64 z 1/3))) (.f64 y (pow.f64 z 1/3))) (+.f64 (.f64 1/5040 (.f64 (pow.f64 y 7) (pow.f64 z 1/3))) (.f64 1/6 (*.f64 (pow.f64 y 3) (pow.f64 z 1/3)))))
(*.f64 (sin.f64 y) (pow.f64 z 1/3))
(*.f64 (sin.f64 y) (pow.f64 z 1/3))
(*.f64 (sin.f64 y) (pow.f64 z 1/3))
(*.f64 (sin.f64 y) (pow.f64 z 1/3))
(*.f64 (sin.f64 y) (pow.f64 z 1/3))
(*.f64 (sin.f64 y) (pow.f64 z 1/3))
(*.f64 (sin.f64 y) (pow.f64 z 1/3))
(*.f64 (sin.f64 y) (pow.f64 z 1/3))

Outputs
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 y z)
(-.f64 (.f64 y z) (.f64 1/6 (*.f64 (pow.f64 y 3) z)))
(+.f64 (.f64 y z) (.f64 -1/6 (*.f64 z (pow.f64 y 3))))
(.f64 z (-.f64 y (.f64 1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 (pow.f64 y 3) -1/6)))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 y 5) z)) (.f64 y z)) (.f64 1/6 (*.f64 (pow.f64 y 3) z)))
(+.f64 (fma.f64 1/120 (.f64 z (pow.f64 y 5)) (.f64 y z)) (.f64 -1/6 (.f64 z (pow.f64 y 3))))
(fma.f64 1/120 (.f64 z (pow.f64 y 5)) (.f64 z (-.f64 y (*.f64 1/6 (pow.f64 y 3)))))
(.f64 z (-.f64 (fma.f64 1/120 (pow.f64 y 5) y) (.f64 1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (fma.f64 1/120 (pow.f64 y 5) (.f64 (pow.f64 y 3) -1/6))))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 y 5) z)) (.f64 y z)) (+.f64 (.f64 1/5040 (.f64 (pow.f64 y 7) z)) (.f64 1/6 (*.f64 (pow.f64 y 3) z))))
(-.f64 (fma.f64 1/120 (.f64 z (pow.f64 y 5)) (.f64 y z)) (fma.f64 1/5040 (.f64 z (pow.f64 y 7)) (.f64 1/6 (*.f64 z (pow.f64 y 3)))))
(-.f64 (.f64 z (+.f64 y (.f64 1/120 (pow.f64 y 5)))) (.f64 z (+.f64 (.f64 1/6 (pow.f64 y 3)) (*.f64 1/5040 (pow.f64 y 7)))))
(.f64 z (-.f64 (fma.f64 1/120 (pow.f64 y 5) y) (fma.f64 1/6 (pow.f64 y 3) (.f64 1/5040 (pow.f64 y 7)))))
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 (sin.f64 y) z)
(*.f64 y (pow.f64 z 1/3))
(*.f64 y (cbrt.f64 z))
(-.f64 (.f64 y (pow.f64 z 1/3)) (.f64 1/6 (*.f64 (pow.f64 y 3) (pow.f64 z 1/3))))
(+.f64 (.f64 y (cbrt.f64 z)) (.f64 -1/6 (*.f64 (pow.f64 y 3) (cbrt.f64 z))))
(.f64 (cbrt.f64 z) (-.f64 y (.f64 1/6 (pow.f64 y 3))))
(.f64 (cbrt.f64 z) (+.f64 y (.f64 (pow.f64 y 3) -1/6)))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 y 5) (pow.f64 z 1/3))) (.f64 y (pow.f64 z 1/3))) (.f64 1/6 (*.f64 (pow.f64 y 3) (pow.f64 z 1/3))))
(+.f64 (fma.f64 1/120 (.f64 (pow.f64 y 5) (cbrt.f64 z)) (.f64 y (cbrt.f64 z))) (.f64 -1/6 (.f64 (pow.f64 y 3) (cbrt.f64 z))))
(fma.f64 1/120 (.f64 (pow.f64 y 5) (cbrt.f64 z)) (.f64 (cbrt.f64 z) (-.f64 y (*.f64 1/6 (pow.f64 y 3)))))
(.f64 (cbrt.f64 z) (-.f64 (fma.f64 1/120 (pow.f64 y 5) y) (.f64 1/6 (pow.f64 y 3))))
(.f64 (cbrt.f64 z) (+.f64 y (fma.f64 1/120 (pow.f64 y 5) (.f64 (pow.f64 y 3) -1/6))))
(-.f64 (+.f64 (.f64 1/120 (.f64 (pow.f64 y 5) (pow.f64 z 1/3))) (.f64 y (pow.f64 z 1/3))) (+.f64 (.f64 1/5040 (.f64 (pow.f64 y 7) (pow.f64 z 1/3))) (.f64 1/6 (*.f64 (pow.f64 y 3) (pow.f64 z 1/3)))))
(-.f64 (fma.f64 1/120 (.f64 (pow.f64 y 5) (cbrt.f64 z)) (.f64 y (cbrt.f64 z))) (fma.f64 1/5040 (.f64 (pow.f64 y 7) (cbrt.f64 z)) (.f64 1/6 (*.f64 (pow.f64 y 3) (cbrt.f64 z)))))
(-.f64 (.f64 (cbrt.f64 z) (+.f64 y (.f64 1/120 (pow.f64 y 5)))) (.f64 (cbrt.f64 z) (+.f64 (.f64 1/6 (pow.f64 y 3)) (*.f64 1/5040 (pow.f64 y 7)))))
(.f64 (cbrt.f64 z) (-.f64 (fma.f64 1/120 (pow.f64 y 5) y) (fma.f64 1/6 (pow.f64 y 3) (.f64 1/5040 (pow.f64 y 7)))))
(*.f64 (sin.f64 y) (pow.f64 z 1/3))
(*.f64 (sin.f64 y) (cbrt.f64 z))
(*.f64 (sin.f64 y) (pow.f64 z 1/3))
(*.f64 (sin.f64 y) (cbrt.f64 z))
(*.f64 (sin.f64 y) (pow.f64 z 1/3))
(*.f64 (sin.f64 y) (cbrt.f64 z))
(*.f64 (sin.f64 y) (pow.f64 z 1/3))
(*.f64 (sin.f64 y) (cbrt.f64 z))
(*.f64 (sin.f64 y) (pow.f64 z 1/3))
(*.f64 (sin.f64 y) (cbrt.f64 z))
(*.f64 (sin.f64 y) (pow.f64 z 1/3))
(*.f64 (sin.f64 y) (cbrt.f64 z))
(*.f64 (sin.f64 y) (pow.f64 z 1/3))
(*.f64 (sin.f64 y) (cbrt.f64 z))
(*.f64 (sin.f64 y) (pow.f64 z 1/3))
(*.f64 (sin.f64 y) (cbrt.f64 z))

prune92.0ms (2.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	108	1	109
Fresh	2	2	4
Picked	0	1	1
Done	0	2	2
Total	110	6	116

Error

Counts

116 → 6

Alt Table

Status	Error	Program
	0.5b	(-.f64 (+.f64 x (cos.f64 y)) (pow.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 (sin.f64 y))) 3))
	2.1b	(-.f64 (+.f64 x (cos.f64 y)) (.f64 (pow.f64 (cbrt.f64 z) 2) (cbrt.f64 (.f64 z (pow.f64 (sin.f64 y) 3)))))
✓	0.1b	(-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
	31.8b	(-.f64 (+.f64 x (cos.f64 y)) (.f64 (sqrt.f64 z) (.f64 (sqrt.f64 z) (sin.f64 y))))
✓	0.4b	(-.f64 (+.f64 x (cos.f64 y)) (.f64 (pow.f64 (cbrt.f64 z) 2) (.f64 (cbrt.f64 z) (sin.f64 y))))
✓	0.4b	(-.f64 (+.f64 x (cos.f64 y)) (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 (sin.f64 y)) (pow.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) 2))))

Compiler

Compiled 2081 to 858 computations (58.8% saved)

regimes53.0ms (1.3%)

Accuracy

Total 0.0b remaining (48.5%)

Threshold costs 0.0b (48.5%)

Counts

22 → 1

Compiler

Compiled 322 to 135 computations (58.1% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative_binary64`
4×	`*-commutative_binary64`
4×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	16	14
2	28	14
3	34	14
4	38	14
5	39	14

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))

Outputs
(-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))

end98.0ms (2.4%)

Stop Event

1×

fuel

Compiler

Compiled 128 to 88 computations (31.3% saved)

Iter	Nodes	Cost
0	9	14
1	18	14
2	38	14
3	67	14
4	118	14
5	183	14
6	324	14
7	531	14
8	681	14
9	846	14
10	950	14
11	960	14

Iter	Nodes	Cost
0	9	14
1	18	14
2	38	14
3	67	14
4	118	14
5	183	14
6	324	14
7	531	14
8	681	14
9	846	14
10	950	14
11	960	14

Details

analyze636.0ms (15.8%)

sample2.4s (58.7%)

preprocess46.0ms (1.1%)

simplify17.0ms (0.4%)

prune2.0ms (0%)

localize7.0ms (0.2%)

series5.0ms (0.1%)

rewrite33.0ms (0.8%)

simplify40.0ms (1%)

prune29.0ms (0.7%)

localize11.0ms (0.3%)

series18.0ms (0.5%)

rewrite39.0ms (1%)

simplify71.0ms (1.8%)

prune97.0ms (2.4%)

localize15.0ms (0.4%)

series11.0ms (0.3%)

rewrite46.0ms (1.2%)

simplify96.0ms (2.4%)

prune94.0ms (2.3%)

localize10.0ms (0.3%)

series14.0ms (0.4%)

rewrite44.0ms (1.1%)

simplify36.0ms (0.9%)

prune92.0ms (2.3%)

regimes53.0ms (1.3%)

simplify2.0ms (0.1%)

end98.0ms (2.4%)

Profiling

Iter	Nodes	Cost
0	9	14
1	18	14
2	38	14
3	67	14
4	118	14
5	183	14
6	324	14
7	531	14
8	681	14
9	846	14
10	950	14
11	960	14