Details

analyze645.0ms (12.9%)

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.7s (54.7%)

Results

1.2s	1995×	body	1024	valid
836.0ms	4694×	body	128	valid
490.0ms	1029×	body	512	valid
188.0ms	534×	body	256	valid
8.0ms	4×	body	2048	valid

preprocess38.0ms (0.8%)

Algorithm

2×	egg-herbie

Rules

516×	`fma-def_binary64`
380×	`fma-neg_binary64`
130×	`cancel-sign-sub-inv_binary64`
69×	`sub-neg_binary64`
64×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	56
1	53	56
2	104	56
3	167	56
4	263	56
5	435	56
6	743	56
7	1134	56
8	1663	56
9	1904	56
10	1930	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 (.f64 y (cos.f64 x)) (.f64 z (sin.f64 x)))
(-.f64 (.f64 z (cos.f64 y)) (.f64 x (sin.f64 y)))
(-.f64 (.f64 (cos.f64 y) z) (.f64 x (sin.f64 y)))
(-.f64 (.f64 x (cos.f64 z)) (.f64 y (sin.f64 z)))
(fma.f64 x (cos.f64 z) (*.f64 (sin.f64 z) (neg.f64 y)))

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify13.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

171×	`fma-def_binary64`
87×	`fma-neg_binary64`
37×	`cancel-sign-sub-inv_binary64`
23×	`distribute-rgt-neg-in_binary64`
20×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	17	14
2	32	14
3	49	14
4	76	14
5	124	14
6	205	14
7	306	14
8	408	14
9	524	14
10	582	14
11	588	14

Stop Event

1×

saturated

Counts

1 → 1

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)))

eval0.0ms (0%)

Compiler: Compiled 12 to 8 computations (33.3% saved)

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 24 to 16 computations (33.3% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series8.0ms (0.2%)

Counts

2 → 28

Calls

12 calls:

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

rewrite41.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

740×	`pow1_binary64`
673×	`add-log-exp_binary64`
673×	`log1p-expm1-u_binary64`
673×	`expm1-log1p-u_binary64`
80×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	155	12
2	1836	12

Stop Event

1×	node limit

Counts

2 → 28

Calls

Call 1

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

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

Outputs

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

simplify75.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

577×	`sqr-pow_binary64`
440×	`*-commutative_binary64`
293×	`pow-sqr_binary64`
273×	`distribute-lft-out_binary64`
270×	`unswap-sqr_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	46	260
1	122	257
2	344	240
3	1168	239
4	1862	239
5	2741	239
6	2927	239
7	3161	239
8	3430	239
9	3789	239
10	4194	239
11	4680	239

Stop Event

1×	node limit

Counts

56 → 43

Calls

Call 1

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

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

eval11.0ms (0.2%)

Compiler: Compiled 615 to 270 computations (56.1% saved)

prune42.0ms (0.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	40	3	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	4	44

Error

0.1b

Counts

44 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
	26.4b	(-.f64 (.f64 x (cos.f64 y)) (pow.f64 (sqrt.f64 (.f64 z (sin.f64 y))) 2))
▶	0.8b	(-.f64 (pow.f64 (cbrt.f64 (.f64 x (cos.f64 y))) 3) (.f64 z (sin.f64 y)))
	26.0b	(-.f64 (.f64 x (cos.f64 y)) (cbrt.f64 (.f64 (pow.f64 z 3) (pow.f64 (sin.f64 y) 3))))

Compiler

Compiled 106 to 78 computations (26.4% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series19.0ms (0.4%)

Counts

2 → 24

Calls

12 calls:

Time	Variable		Point	Expression
4.0ms	y	@	-inf	(pow.f64 (cbrt.f64 (*.f64 x (cos.f64 y))) 3)
4.0ms	y	@	0	(pow.f64 (cbrt.f64 (*.f64 x (cos.f64 y))) 3)
3.0ms	y	@	inf	(pow.f64 (cbrt.f64 (*.f64 x (cos.f64 y))) 3)
2.0ms	x	@	-inf	(pow.f64 (cbrt.f64 (*.f64 x (cos.f64 y))) 3)
1.0ms	x	@	0	(pow.f64 (cbrt.f64 (*.f64 x (cos.f64 y))) 3)

rewrite37.0ms (0.7%)

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
(pow.f64 (cbrt.f64 (*.f64 x (cos.f64 y))) 3)
(cbrt.f64 (*.f64 x (cos.f64 y)))

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

Outputs

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

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

simplify40.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

609×	`fma-def_binary64`
489×	`associate-l_binary64`
452×	`associate-r_binary64`
240×	`associate-+l+_binary64`
227×	`associate-+r+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	85	489
1	251	448
2	872	402
3	4864	396

Stop Event

1×	node limit

Counts

80 → 73

Calls

Call 1

Inputs
x
(+.f64 (.f64 (pow.f64 y 2) (+.f64 (.f64 -1/3 x) (*.f64 -1/6 x))) x)
(+.f64 (.f64 (pow.f64 y 2) (+.f64 (.f64 -1/3 x) (.f64 -1/6 x))) (+.f64 (.f64 (pow.f64 y 4) (+.f64 (.f64 (+.f64 (.f64 2/3 (.f64 (-.f64 (.f64 1/24 x) (.f64 1/12 x)) (pow.f64 (/.f64 1 x) 1/3))) (.f64 1/36 (pow.f64 (pow.f64 x 2) 1/3))) (pow.f64 x 1/3)) (+.f64 (.f64 1/3 (-.f64 (.f64 1/24 x) (.f64 1/12 x))) (.f64 1/18 x)))) x))
(+.f64 (.f64 (pow.f64 y 2) (+.f64 (.f64 -1/3 x) (.f64 -1/6 x))) (+.f64 (.f64 (pow.f64 y 4) (+.f64 (.f64 (+.f64 (.f64 2/3 (.f64 (-.f64 (.f64 1/24 x) (.f64 1/12 x)) (pow.f64 (/.f64 1 x) 1/3))) (.f64 1/36 (pow.f64 (pow.f64 x 2) 1/3))) (pow.f64 x 1/3)) (+.f64 (.f64 1/3 (-.f64 (.f64 1/24 x) (.f64 1/12 x))) (.f64 1/18 x)))) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 2/3 (.f64 (-.f64 (.f64 -1/720 x) (+.f64 (.f64 -1/3 (-.f64 (.f64 1/24 x) (.f64 1/12 x))) (.f64 -1/216 x))) (pow.f64 (/.f64 1 x) 1/3))) (.f64 -1/9 (.f64 (-.f64 (.f64 1/24 x) (.f64 1/12 x)) (pow.f64 (/.f64 1 x) 1/3)))) (pow.f64 x 1/3)) (+.f64 (.f64 -1/9 (-.f64 (.f64 1/24 x) (.f64 1/12 x))) (+.f64 (.f64 -1/6 (.f64 (+.f64 (.f64 2/3 (.f64 (-.f64 (.f64 1/24 x) (.f64 1/12 x)) (pow.f64 (/.f64 1 x) 1/3))) (.f64 1/36 (pow.f64 (pow.f64 x 2) 1/3))) (pow.f64 x 1/3))) (.f64 1/3 (-.f64 (.f64 -1/720 x) (+.f64 (.f64 -1/3 (-.f64 (.f64 1/24 x) (.f64 1/12 x))) (*.f64 -1/216 x))))))) (pow.f64 y 6)) x)))
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(pow.f64 x 1/3)
(+.f64 (pow.f64 x 1/3) (.f64 -1/6 (.f64 (pow.f64 y 2) (pow.f64 x 1/3))))
(+.f64 (pow.f64 x 1/3) (+.f64 (.f64 -1/6 (.f64 (pow.f64 y 2) (pow.f64 x 1/3))) (.f64 1/3 (.f64 (.f64 (pow.f64 y 4) (-.f64 (.f64 1/24 x) (*.f64 1/12 x))) (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3)))))
(+.f64 (pow.f64 x 1/3) (+.f64 (.f64 -1/6 (.f64 (pow.f64 y 2) (pow.f64 x 1/3))) (+.f64 (.f64 1/3 (.f64 (.f64 (pow.f64 y 4) (-.f64 (.f64 1/24 x) (.f64 1/12 x))) (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3))) (.f64 1/3 (.f64 (.f64 (-.f64 (.f64 -1/720 x) (+.f64 (.f64 -1/3 (-.f64 (.f64 1/24 x) (.f64 1/12 x))) (*.f64 -1/216 x))) (pow.f64 y 6)) (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3))))))
(pow.f64 (*.f64 (cos.f64 y) x) 1/3)
(pow.f64 (*.f64 (cos.f64 y) x) 1/3)
(pow.f64 (*.f64 (cos.f64 y) x) 1/3)
(pow.f64 (*.f64 (cos.f64 y) x) 1/3)
(pow.f64 (*.f64 (cos.f64 y) x) 1/3)
(pow.f64 (*.f64 (cos.f64 y) x) 1/3)
(pow.f64 (*.f64 (cos.f64 y) x) 1/3)
(pow.f64 (*.f64 (cos.f64 y) x) 1/3)

Outputs
x
(+.f64 (.f64 (pow.f64 y 2) (+.f64 (.f64 -1/3 x) (*.f64 -1/6 x))) x)
(fma.f64 (.f64 y y) (.f64 x -1/2) x)
(fma.f64 x (.f64 (.f64 y y) -1/2) x)
(+.f64 (.f64 (pow.f64 y 2) (+.f64 (.f64 -1/3 x) (.f64 -1/6 x))) (+.f64 (.f64 (pow.f64 y 4) (+.f64 (.f64 (+.f64 (.f64 2/3 (.f64 (-.f64 (.f64 1/24 x) (.f64 1/12 x)) (pow.f64 (/.f64 1 x) 1/3))) (.f64 1/36 (pow.f64 (pow.f64 x 2) 1/3))) (pow.f64 x 1/3)) (+.f64 (.f64 1/3 (-.f64 (.f64 1/24 x) (.f64 1/12 x))) (.f64 1/18 x)))) x))
(fma.f64 (.f64 y y) (.f64 x -1/2) (fma.f64 (pow.f64 y 4) (fma.f64 (fma.f64 2/3 (.f64 (.f64 x -1/24) (cbrt.f64 (/.f64 1 x))) (.f64 1/36 (cbrt.f64 (.f64 x x)))) (cbrt.f64 x) (fma.f64 1/3 (.f64 x -1/24) (.f64 x 1/18))) x))
(fma.f64 (.f64 y y) (.f64 x -1/2) (fma.f64 (pow.f64 y 4) (fma.f64 (fma.f64 (.f64 2/3 (.f64 x -1/24)) (cbrt.f64 (/.f64 1 x)) (.f64 1/36 (cbrt.f64 (.f64 x x)))) (cbrt.f64 x) (fma.f64 x 1/18 (*.f64 x -1/72))) x))
(fma.f64 (pow.f64 y 4) (fma.f64 (fma.f64 (cbrt.f64 (/.f64 1 x)) (.f64 x -1/36) (.f64 1/36 (cbrt.f64 (.f64 x x)))) (cbrt.f64 x) (.f64 x 1/24)) (fma.f64 x (.f64 (.f64 y y) -1/2) x))
(+.f64 (.f64 (pow.f64 y 2) (+.f64 (.f64 -1/3 x) (.f64 -1/6 x))) (+.f64 (.f64 (pow.f64 y 4) (+.f64 (.f64 (+.f64 (.f64 2/3 (.f64 (-.f64 (.f64 1/24 x) (.f64 1/12 x)) (pow.f64 (/.f64 1 x) 1/3))) (.f64 1/36 (pow.f64 (pow.f64 x 2) 1/3))) (pow.f64 x 1/3)) (+.f64 (.f64 1/3 (-.f64 (.f64 1/24 x) (.f64 1/12 x))) (.f64 1/18 x)))) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 2/3 (.f64 (-.f64 (.f64 -1/720 x) (+.f64 (.f64 -1/3 (-.f64 (.f64 1/24 x) (.f64 1/12 x))) (.f64 -1/216 x))) (pow.f64 (/.f64 1 x) 1/3))) (.f64 -1/9 (.f64 (-.f64 (.f64 1/24 x) (.f64 1/12 x)) (pow.f64 (/.f64 1 x) 1/3)))) (pow.f64 x 1/3)) (+.f64 (.f64 -1/9 (-.f64 (.f64 1/24 x) (.f64 1/12 x))) (+.f64 (.f64 -1/6 (.f64 (+.f64 (.f64 2/3 (.f64 (-.f64 (.f64 1/24 x) (.f64 1/12 x)) (pow.f64 (/.f64 1 x) 1/3))) (.f64 1/36 (pow.f64 (pow.f64 x 2) 1/3))) (pow.f64 x 1/3))) (.f64 1/3 (-.f64 (.f64 -1/720 x) (+.f64 (.f64 -1/3 (-.f64 (.f64 1/24 x) (.f64 1/12 x))) (*.f64 -1/216 x))))))) (pow.f64 y 6)) x)))
(fma.f64 (.f64 y y) (.f64 x -1/2) (fma.f64 (pow.f64 y 4) (fma.f64 (fma.f64 2/3 (.f64 (.f64 x -1/24) (cbrt.f64 (/.f64 1 x))) (.f64 1/36 (cbrt.f64 (.f64 x x)))) (cbrt.f64 x) (fma.f64 1/3 (.f64 x -1/24) (.f64 x 1/18))) (fma.f64 (fma.f64 (fma.f64 2/3 (.f64 (cbrt.f64 (/.f64 1 x)) (-.f64 (.f64 x -1/720) (fma.f64 -1/3 (.f64 x -1/24) (.f64 x -1/216)))) (.f64 (.f64 (.f64 x -1/24) -1/9) (cbrt.f64 (/.f64 1 x)))) (cbrt.f64 x) (fma.f64 -1/9 (.f64 x -1/24) (fma.f64 -1/6 (.f64 (fma.f64 2/3 (.f64 (.f64 x -1/24) (cbrt.f64 (/.f64 1 x))) (.f64 1/36 (cbrt.f64 (.f64 x x)))) (cbrt.f64 x)) (.f64 1/3 (-.f64 (.f64 x -1/720) (fma.f64 -1/3 (.f64 x -1/24) (*.f64 x -1/216))))))) (pow.f64 y 6) x)))
(fma.f64 (.f64 y y) (.f64 x -1/2) (fma.f64 (pow.f64 y 4) (fma.f64 (fma.f64 (.f64 2/3 (.f64 x -1/24)) (cbrt.f64 (/.f64 1 x)) (.f64 1/36 (cbrt.f64 (.f64 x x)))) (cbrt.f64 x) (fma.f64 x 1/18 (.f64 x -1/72))) (fma.f64 (+.f64 (fma.f64 -1/6 (.f64 (fma.f64 (.f64 2/3 (.f64 x -1/24)) (cbrt.f64 (/.f64 1 x)) (.f64 1/36 (cbrt.f64 (.f64 x x)))) (cbrt.f64 x)) (.f64 1/3 (-.f64 (.f64 x -1/720) (fma.f64 x -1/216 (.f64 x 1/72))))) (fma.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (/.f64 1 x)) (+.f64 (.f64 x 1/216) (.f64 2/3 (-.f64 (.f64 x -1/720) (fma.f64 x -1/216 (.f64 x 1/72)))))) (*.f64 x 1/216))) (pow.f64 y 6) x)))
(fma.f64 x (.f64 (.f64 y y) -1/2) (fma.f64 (pow.f64 y 4) (fma.f64 (fma.f64 (cbrt.f64 (/.f64 1 x)) (.f64 x -1/36) (.f64 1/36 (cbrt.f64 (.f64 x x)))) (cbrt.f64 x) (.f64 x 1/24)) (fma.f64 (fma.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (/.f64 1 x)) (fma.f64 x 1/216 (.f64 2/3 (+.f64 (.f64 x 1/216) (.f64 x -11/720))))) (fma.f64 x 1/216 (fma.f64 1/3 (+.f64 (.f64 x 1/216) (.f64 x -11/720)) (.f64 (cbrt.f64 x) (+.f64 (.f64 (cbrt.f64 (/.f64 1 x)) (.f64 x 1/216)) (.f64 (cbrt.f64 (*.f64 x x)) -1/216)))))) (pow.f64 y 6) x)))
(fma.f64 x (.f64 (.f64 y y) -1/2) (fma.f64 (pow.f64 y 4) (fma.f64 (fma.f64 (cbrt.f64 (/.f64 1 x)) (.f64 x -1/36) (.f64 1/36 (cbrt.f64 (.f64 x x)))) (cbrt.f64 x) (.f64 x 1/24)) (fma.f64 (fma.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (/.f64 1 x)) (fma.f64 x 1/216 (.f64 2/3 (fma.f64 x -11/720 (.f64 x 1/216))))) (fma.f64 (cbrt.f64 x) (+.f64 (.f64 (cbrt.f64 (/.f64 1 x)) (.f64 x 1/216)) (.f64 (cbrt.f64 (.f64 x x)) -1/216)) (fma.f64 1/3 (fma.f64 x -11/720 (.f64 x 1/216)) (*.f64 x 1/216)))) (pow.f64 y 6) x)))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(pow.f64 x 1/3)
(cbrt.f64 x)
(+.f64 (pow.f64 x 1/3) (.f64 -1/6 (.f64 (pow.f64 y 2) (pow.f64 x 1/3))))
(+.f64 (cbrt.f64 x) (.f64 -1/6 (.f64 (*.f64 y y) (cbrt.f64 x))))
(fma.f64 -1/6 (.f64 y (.f64 y (cbrt.f64 x))) (cbrt.f64 x))
(.f64 (cbrt.f64 x) (fma.f64 (.f64 y y) -1/6 1))
(+.f64 (pow.f64 x 1/3) (+.f64 (.f64 -1/6 (.f64 (pow.f64 y 2) (pow.f64 x 1/3))) (.f64 1/3 (.f64 (.f64 (pow.f64 y 4) (-.f64 (.f64 1/24 x) (*.f64 1/12 x))) (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3)))))
(+.f64 (cbrt.f64 x) (fma.f64 -1/6 (.f64 (.f64 y y) (cbrt.f64 x)) (.f64 1/3 (.f64 (pow.f64 y 4) (.f64 (.f64 x -1/24) (cbrt.f64 (/.f64 1 (*.f64 x x))))))))
(+.f64 (cbrt.f64 x) (fma.f64 -1/6 (.f64 y (.f64 y (cbrt.f64 x))) (.f64 (cbrt.f64 (/.f64 1 (.f64 x x))) (.f64 (.f64 x -1/72) (pow.f64 y 4)))))
(fma.f64 (pow.f64 y 4) (.f64 (cbrt.f64 (/.f64 1 (.f64 x x))) (.f64 x -1/72)) (.f64 (cbrt.f64 x) (fma.f64 (*.f64 y y) -1/6 1)))
(+.f64 (pow.f64 x 1/3) (+.f64 (.f64 -1/6 (.f64 (pow.f64 y 2) (pow.f64 x 1/3))) (+.f64 (.f64 1/3 (.f64 (.f64 (pow.f64 y 4) (-.f64 (.f64 1/24 x) (.f64 1/12 x))) (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3))) (.f64 1/3 (.f64 (.f64 (-.f64 (.f64 -1/720 x) (+.f64 (.f64 -1/3 (-.f64 (.f64 1/24 x) (.f64 1/12 x))) (*.f64 -1/216 x))) (pow.f64 y 6)) (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3))))))
(+.f64 (cbrt.f64 x) (fma.f64 -1/6 (.f64 (.f64 y y) (cbrt.f64 x)) (.f64 1/3 (+.f64 (.f64 (pow.f64 y 4) (.f64 (.f64 x -1/24) (cbrt.f64 (/.f64 1 (.f64 x x))))) (.f64 (-.f64 (.f64 x -1/720) (fma.f64 -1/3 (.f64 x -1/24) (.f64 x -1/216))) (.f64 (pow.f64 y 6) (cbrt.f64 (/.f64 1 (*.f64 x x)))))))))
(+.f64 (cbrt.f64 x) (fma.f64 -1/6 (.f64 y (.f64 y (cbrt.f64 x))) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (.f64 x x))) (+.f64 (.f64 x (.f64 -1/24 (pow.f64 y 4))) (.f64 (-.f64 (.f64 x -1/720) (fma.f64 x -1/216 (.f64 x 1/72))) (pow.f64 y 6)))))))
(fma.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 x (.f64 (pow.f64 y 4) -1/24) (.f64 (+.f64 (.f64 x 1/216) (.f64 x -11/720)) (pow.f64 y 6)))) (.f64 (cbrt.f64 x) (fma.f64 (.f64 y y) -1/6 1)))
(fma.f64 (fma.f64 (.f64 y y) -1/6 1) (cbrt.f64 x) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 (pow.f64 y 4) (.f64 x -1/24) (.f64 (fma.f64 x -11/720 (*.f64 x 1/216)) (pow.f64 y 6))))))
(pow.f64 (*.f64 (cos.f64 y) x) 1/3)
(cbrt.f64 (*.f64 x (cos.f64 y)))
(pow.f64 (*.f64 (cos.f64 y) x) 1/3)
(cbrt.f64 (*.f64 x (cos.f64 y)))
(pow.f64 (*.f64 (cos.f64 y) x) 1/3)
(cbrt.f64 (*.f64 x (cos.f64 y)))
(pow.f64 (*.f64 (cos.f64 y) x) 1/3)
(cbrt.f64 (*.f64 x (cos.f64 y)))
(pow.f64 (*.f64 (cos.f64 y) x) 1/3)
(cbrt.f64 (*.f64 x (cos.f64 y)))
(pow.f64 (*.f64 (cos.f64 y) x) 1/3)
(cbrt.f64 (*.f64 x (cos.f64 y)))
(pow.f64 (*.f64 (cos.f64 y) x) 1/3)
(cbrt.f64 (*.f64 x (cos.f64 y)))
(pow.f64 (*.f64 (cos.f64 y) x) 1/3)
(cbrt.f64 (*.f64 x (cos.f64 y)))

eval39.0ms (0.8%)

Compiler: Compiled 2314 to 1093 computations (52.8% saved)

prune158.0ms (3.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	114	2	116
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	114	6	120

Error

0.1b

Counts

120 → 6

Alt Table

Click to see full alt table

Status	Error	Program
	26.0b	(-.f64 (.f64 x (cos.f64 y)) (cbrt.f64 (.f64 (pow.f64 z 3) (pow.f64 (sin.f64 y) 3))))
▶	0.7b	(-.f64 (.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (cos.f64 y)) (pow.f64 (cbrt.f64 (.f64 x (cos.f64 y))) 2))) (.f64 z (sin.f64 y)))
✓	0.1b	(-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
	26.4b	(-.f64 (.f64 x (cos.f64 y)) (pow.f64 (sqrt.f64 (.f64 z (sin.f64 y))) 2))
	1.0b	(-.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 x (cos.f64 y))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (cos.f64 y)))) 2)) (cbrt.f64 (cbrt.f64 (.f64 x (cos.f64 y))))) (.f64 z (sin.f64 y)))
✓	0.8b	(-.f64 (pow.f64 (cbrt.f64 (.f64 x (cos.f64 y))) 3) (.f64 z (sin.f64 y)))

Compiler

Compiled 197 to 129 computations (34.5% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series11.0ms (0.2%)

Counts

3 → 36

Calls

15 calls:

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

rewrite48.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

848×	`log1p-expm1-u_binary64`
848×	`expm1-log1p-u_binary64`
110×	`add-sqr-sqrt_binary64`
108×	`pow1_binary64`
107×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	35
1	235	20
2	2609	20

Stop Event

1×	node limit

Counts

3 → 59

Calls

Call 1

Inputs
(cbrt.f64 x)
(pow.f64 (cbrt.f64 (*.f64 x (cos.f64 y))) 2)
(.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (cos.f64 y)) (pow.f64 (cbrt.f64 (*.f64 x (cos.f64 y))) 2)))

Outputs

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

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

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

simplify31.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

414×	`distribute-rgt-in_binary64`
390×	`distribute-lft-in_binary64`
261×	`associate-l_binary64`
259×	`associate-r_binary64`
232×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	62	474
1	171	460
2	504	429
3	2274	422

Stop Event

1×	node limit

Counts

95 → 78

Calls

Call 1

Inputs
(pow.f64 (pow.f64 x 2) 1/3)
(+.f64 (.f64 -1/3 (.f64 (pow.f64 y 2) (pow.f64 (pow.f64 x 2) 1/3))) (pow.f64 (pow.f64 x 2) 1/3))
(+.f64 (.f64 -1/3 (.f64 (pow.f64 y 2) (pow.f64 (pow.f64 x 2) 1/3))) (+.f64 (.f64 (+.f64 (.f64 2/3 (.f64 (-.f64 (.f64 1/24 x) (.f64 1/12 x)) (pow.f64 (/.f64 1 x) 1/3))) (.f64 1/36 (pow.f64 (pow.f64 x 2) 1/3))) (pow.f64 y 4)) (pow.f64 (pow.f64 x 2) 1/3)))
(+.f64 (.f64 (+.f64 (.f64 2/3 (.f64 (-.f64 (.f64 -1/720 x) (+.f64 (.f64 -1/3 (-.f64 (.f64 1/24 x) (.f64 1/12 x))) (.f64 -1/216 x))) (pow.f64 (/.f64 1 x) 1/3))) (.f64 -1/9 (.f64 (-.f64 (.f64 1/24 x) (.f64 1/12 x)) (pow.f64 (/.f64 1 x) 1/3)))) (pow.f64 y 6)) (+.f64 (.f64 -1/3 (.f64 (pow.f64 y 2) (pow.f64 (pow.f64 x 2) 1/3))) (+.f64 (.f64 (+.f64 (.f64 2/3 (.f64 (-.f64 (.f64 1/24 x) (.f64 1/12 x)) (pow.f64 (/.f64 1 x) 1/3))) (.f64 1/36 (pow.f64 (pow.f64 x 2) 1/3))) (pow.f64 y 4)) (pow.f64 (pow.f64 x 2) 1/3))))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/3)
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/3)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
x
(+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)
(+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x))
(+.f64 (.f64 -1/720 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)))
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)

Outputs
(pow.f64 (pow.f64 x 2) 1/3)
(cbrt.f64 (*.f64 x x))
(+.f64 (.f64 -1/3 (.f64 (pow.f64 y 2) (pow.f64 (pow.f64 x 2) 1/3))) (pow.f64 (pow.f64 x 2) 1/3))
(fma.f64 -1/3 (.f64 (cbrt.f64 (.f64 x x)) (.f64 y y)) (cbrt.f64 (.f64 x x)))
(.f64 (+.f64 (.f64 -1/3 (.f64 y y)) 1) (cbrt.f64 (.f64 x x)))
(.f64 (cbrt.f64 (.f64 x x)) (fma.f64 -1/3 (*.f64 y y) 1))
(+.f64 (.f64 -1/3 (.f64 (pow.f64 y 2) (pow.f64 (pow.f64 x 2) 1/3))) (+.f64 (.f64 (+.f64 (.f64 2/3 (.f64 (-.f64 (.f64 1/24 x) (.f64 1/12 x)) (pow.f64 (/.f64 1 x) 1/3))) (.f64 1/36 (pow.f64 (pow.f64 x 2) 1/3))) (pow.f64 y 4)) (pow.f64 (pow.f64 x 2) 1/3)))
(fma.f64 -1/3 (.f64 (cbrt.f64 (.f64 x x)) (.f64 y y)) (fma.f64 (fma.f64 2/3 (.f64 (.f64 x -1/24) (cbrt.f64 (/.f64 1 x))) (.f64 (cbrt.f64 (.f64 x x)) 1/36)) (pow.f64 y 4) (cbrt.f64 (.f64 x x))))
(+.f64 (.f64 (fma.f64 (cbrt.f64 (.f64 x x)) 1/36 (.f64 (cbrt.f64 (/.f64 1 x)) (.f64 2/3 (.f64 x -1/24)))) (pow.f64 y 4)) (.f64 (+.f64 (.f64 -1/3 (.f64 y y)) 1) (cbrt.f64 (*.f64 x x))))
(fma.f64 (fma.f64 (cbrt.f64 (/.f64 1 x)) (.f64 x -1/36) (.f64 (cbrt.f64 (.f64 x x)) 1/36)) (pow.f64 y 4) (.f64 (cbrt.f64 (.f64 x x)) (fma.f64 -1/3 (.f64 y y) 1)))
(+.f64 (.f64 (+.f64 (.f64 2/3 (.f64 (-.f64 (.f64 -1/720 x) (+.f64 (.f64 -1/3 (-.f64 (.f64 1/24 x) (.f64 1/12 x))) (.f64 -1/216 x))) (pow.f64 (/.f64 1 x) 1/3))) (.f64 -1/9 (.f64 (-.f64 (.f64 1/24 x) (.f64 1/12 x)) (pow.f64 (/.f64 1 x) 1/3)))) (pow.f64 y 6)) (+.f64 (.f64 -1/3 (.f64 (pow.f64 y 2) (pow.f64 (pow.f64 x 2) 1/3))) (+.f64 (.f64 (+.f64 (.f64 2/3 (.f64 (-.f64 (.f64 1/24 x) (.f64 1/12 x)) (pow.f64 (/.f64 1 x) 1/3))) (.f64 1/36 (pow.f64 (pow.f64 x 2) 1/3))) (pow.f64 y 4)) (pow.f64 (pow.f64 x 2) 1/3))))
(fma.f64 (fma.f64 2/3 (.f64 (cbrt.f64 (/.f64 1 x)) (-.f64 (.f64 x -1/720) (fma.f64 -1/3 (.f64 x -1/24) (.f64 x -1/216)))) (.f64 (.f64 (.f64 x -1/24) (cbrt.f64 (/.f64 1 x))) -1/9)) (pow.f64 y 6) (fma.f64 -1/3 (.f64 (cbrt.f64 (.f64 x x)) (.f64 y y)) (fma.f64 (fma.f64 2/3 (.f64 (.f64 x -1/24) (cbrt.f64 (/.f64 1 x))) (.f64 (cbrt.f64 (.f64 x x)) 1/36)) (pow.f64 y 4) (cbrt.f64 (*.f64 x x)))))
(fma.f64 (.f64 (cbrt.f64 (/.f64 1 x)) (+.f64 (.f64 2/3 (-.f64 (.f64 x -1/720) (fma.f64 x -1/216 (.f64 x 1/72)))) (.f64 (.f64 x -1/24) -1/9))) (pow.f64 y 6) (+.f64 (.f64 (fma.f64 (cbrt.f64 (.f64 x x)) 1/36 (.f64 (cbrt.f64 (/.f64 1 x)) (.f64 2/3 (.f64 x -1/24)))) (pow.f64 y 4)) (.f64 (+.f64 (.f64 -1/3 (.f64 y y)) 1) (cbrt.f64 (*.f64 x x)))))
(fma.f64 (.f64 (cbrt.f64 (/.f64 1 x)) (fma.f64 2/3 (+.f64 (.f64 x -11/720) (.f64 x 1/216)) (.f64 x 1/216))) (pow.f64 y 6) (fma.f64 (fma.f64 (cbrt.f64 (/.f64 1 x)) (.f64 x -1/36) (.f64 (cbrt.f64 (.f64 x x)) 1/36)) (pow.f64 y 4) (.f64 (cbrt.f64 (.f64 x x)) (fma.f64 -1/3 (.f64 y y) 1))))
(fma.f64 (.f64 (cbrt.f64 (/.f64 1 x)) (fma.f64 2/3 (.f64 x -23/2160) (.f64 x 1/216))) (pow.f64 y 6) (fma.f64 (fma.f64 (cbrt.f64 (/.f64 1 x)) (.f64 x -1/36) (.f64 (cbrt.f64 (.f64 x x)) 1/36)) (pow.f64 y 4) (.f64 (cbrt.f64 (.f64 x x)) (fma.f64 -1/3 (*.f64 y y) 1))))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/3)
(cbrt.f64 (.f64 (.f64 x x) (pow.f64 (cos.f64 y) 2)))
(cbrt.f64 (.f64 x (.f64 x (pow.f64 (cos.f64 y) 2))))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/3)
(cbrt.f64 (.f64 (.f64 x x) (pow.f64 (cos.f64 y) 2)))
(cbrt.f64 (.f64 x (.f64 x (pow.f64 (cos.f64 y) 2))))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/3)
(cbrt.f64 (.f64 (.f64 x x) (pow.f64 (cos.f64 y) 2)))
(cbrt.f64 (.f64 x (.f64 x (pow.f64 (cos.f64 y) 2))))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/3)
(cbrt.f64 (.f64 (.f64 x x) (pow.f64 (cos.f64 y) 2)))
(cbrt.f64 (.f64 x (.f64 x (pow.f64 (cos.f64 y) 2))))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/3)
(cbrt.f64 (.f64 (.f64 x x) (pow.f64 (cos.f64 y) 2)))
(cbrt.f64 (.f64 x (.f64 x (pow.f64 (cos.f64 y) 2))))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/3)
(cbrt.f64 (.f64 (.f64 x x) (pow.f64 (cos.f64 y) 2)))
(cbrt.f64 (.f64 x (.f64 x (pow.f64 (cos.f64 y) 2))))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/3)
(cbrt.f64 (.f64 (.f64 x x) (pow.f64 (cos.f64 y) 2)))
(cbrt.f64 (.f64 x (.f64 x (pow.f64 (cos.f64 y) 2))))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/3)
(cbrt.f64 (.f64 (.f64 x x) (pow.f64 (cos.f64 y) 2)))
(cbrt.f64 (.f64 x (.f64 x (pow.f64 (cos.f64 y) 2))))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
x
(+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)
(fma.f64 -1/2 (.f64 x (.f64 y y)) x)
(fma.f64 x (.f64 y (.f64 y -1/2)) x)
(fma.f64 (.f64 y y) (.f64 x -1/2) x)
(+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x))
(fma.f64 1/24 (.f64 x (pow.f64 y 4)) (fma.f64 -1/2 (.f64 x (*.f64 y y)) x))
(fma.f64 x (fma.f64 1/24 (pow.f64 y 4) (.f64 y (.f64 y -1/2))) x)
(+.f64 (.f64 -1/720 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)))
(fma.f64 -1/720 (.f64 x (pow.f64 y 6)) (fma.f64 1/24 (.f64 x (pow.f64 y 4)) (fma.f64 -1/2 (.f64 x (.f64 y y)) x)))
(fma.f64 x (.f64 -1/720 (pow.f64 y 6)) (fma.f64 x (fma.f64 1/24 (pow.f64 y 4) (.f64 y (*.f64 y -1/2))) x))
(.f64 x (+.f64 (fma.f64 (.f64 y y) -1/2 1) (fma.f64 -1/720 (pow.f64 y 6) (*.f64 1/24 (pow.f64 y 4)))))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))
(*.f64 (cos.f64 y) x)
(*.f64 x (cos.f64 y))

eval37.0ms (0.7%)

Compiler: Compiled 2587 to 1055 computations (59.2% saved)

prune160.0ms (3.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	109	7	116

Error

0.1b

Counts

116 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	1.0b	(-.f64 (.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (cos.f64 y)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (cos.f64 y)))) 2) (.f64 (cbrt.f64 (cbrt.f64 (.f64 x (cos.f64 y)))) (cbrt.f64 (.f64 x (cos.f64 y))))))) (.f64 z (sin.f64 y)))
	1.0b	(-.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 x (cos.f64 y))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (cos.f64 y)))) 2)) (cbrt.f64 (cbrt.f64 (.f64 x (cos.f64 y))))) (.f64 z (sin.f64 y)))
	26.0b	(-.f64 (.f64 x (cos.f64 y)) (cbrt.f64 (.f64 (pow.f64 z 3) (pow.f64 (sin.f64 y) 3))))
✓	0.7b	(-.f64 (.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (cos.f64 y)) (pow.f64 (cbrt.f64 (.f64 x (cos.f64 y))) 2))) (.f64 z (sin.f64 y)))
✓	0.1b	(-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
	26.4b	(-.f64 (.f64 x (cos.f64 y)) (pow.f64 (sqrt.f64 (.f64 z (sin.f64 y))) 2))
✓	0.8b	(-.f64 (pow.f64 (cbrt.f64 (.f64 x (cos.f64 y))) 3) (.f64 z (sin.f64 y)))

Compiler

Compiled 247 to 150 computations (39.3% saved)

localize22.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(cbrt.f64 (*.f64 x (cos.f64 y)))
✓	0.5b	(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (cos.f64 y)))) 2)
	0.6b	(cbrt.f64 x)
✓	0.6b	(cbrt.f64 (cbrt.f64 (*.f64 x (cos.f64 y))))

series87.0ms (1.8%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
30.0ms	x	@	0	(cbrt.f64 (cbrt.f64 (*.f64 x (cos.f64 y))))
28.0ms	y	@	inf	(cbrt.f64 (cbrt.f64 (*.f64 x (cos.f64 y))))
14.0ms	y	@	-inf	(cbrt.f64 (cbrt.f64 (*.f64 x (cos.f64 y))))
8.0ms	x	@	inf	(cbrt.f64 (cbrt.f64 (*.f64 x (cos.f64 y))))
3.0ms	x	@	-inf	(cbrt.f64 (cbrt.f64 (*.f64 x (cos.f64 y))))

rewrite44.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

725×	`pow1_binary64`
667×	`add-log-exp_binary64`
667×	`log1p-expm1-u_binary64`
667×	`expm1-log1p-u_binary64`
83×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	177	23
2	1909	23

Stop Event

1×	node limit

Counts

2 → 41

Calls

Call 1

Inputs
(cbrt.f64 (cbrt.f64 (*.f64 x (cos.f64 y))))
(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (cos.f64 y)))) 2)

Outputs

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

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

simplify54.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

533×	`unswap-sqr_binary64`
415×	`distribute-lft-out_binary64`
400×	`distribute-rgt-out_binary64`
360×	`fma-def_binary64`
320×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	81	1246
1	237	1163
2	708	1090
3	2809	1052

Stop Event

1×	node limit

Counts

89 → 70

Calls

Call 1

Inputs
(exp.f64 (*.f64 1/9 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x))))
(exp.f64 (*.f64 1/9 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x))))
(exp.f64 (*.f64 1/9 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x))))
(exp.f64 (*.f64 1/9 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x))))
(exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (cos.f64 y)))))
(exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (cos.f64 y)))))
(exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (cos.f64 y)))))
(exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (cos.f64 y)))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (cos.f64 y))))) (pow.f64 (cbrt.f64 -1) 1/3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (cos.f64 y))))) (pow.f64 (cbrt.f64 -1) 1/3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (cos.f64 y))))) (pow.f64 (cbrt.f64 -1) 1/3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (cos.f64 y))))) (pow.f64 (cbrt.f64 -1) 1/3))
(pow.f64 x 1/9)
(+.f64 (pow.f64 x 1/9) (.f64 -1/18 (.f64 (pow.f64 y 2) (pow.f64 x 1/9))))
(+.f64 (pow.f64 x 1/9) (+.f64 (.f64 -5/648 (.f64 (pow.f64 y 4) (pow.f64 x 1/9))) (.f64 -1/18 (.f64 (pow.f64 y 2) (pow.f64 x 1/9)))))
(+.f64 (.f64 -347/174960 (.f64 (pow.f64 y 6) (pow.f64 x 1/9))) (+.f64 (pow.f64 x 1/9) (+.f64 (.f64 -5/648 (.f64 (pow.f64 y 4) (pow.f64 x 1/9))) (.f64 -1/18 (.f64 (pow.f64 y 2) (pow.f64 x 1/9))))))
(pow.f64 (*.f64 (cos.f64 y) x) 1/9)
(pow.f64 (*.f64 (cos.f64 y) x) 1/9)
(pow.f64 (*.f64 (cos.f64 y) x) 1/9)
(pow.f64 (*.f64 (cos.f64 y) x) 1/9)
(pow.f64 (*.f64 (cos.f64 y) x) 1/9)
(pow.f64 (*.f64 (cos.f64 y) x) 1/9)
(pow.f64 (*.f64 (cos.f64 y) x) 1/9)
(pow.f64 (*.f64 (cos.f64 y) x) 1/9)
(pow.f64 (exp.f64 (*.f64 1/9 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))) 2)
(pow.f64 (exp.f64 (*.f64 1/9 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))) 2)
(pow.f64 (exp.f64 (*.f64 1/9 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))) 2)
(pow.f64 (exp.f64 (*.f64 1/9 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))) 2)
(pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (cos.f64 y))))) 2)
(pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (cos.f64 y))))) 2)
(pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (cos.f64 y))))) 2)
(pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (cos.f64 y))))) 2)
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (cos.f64 y))))) 2) (pow.f64 (pow.f64 (cbrt.f64 -1) 2) 1/3))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (cos.f64 y))))) 2) (pow.f64 (pow.f64 (cbrt.f64 -1) 2) 1/3))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (cos.f64 y))))) 2) (pow.f64 (pow.f64 (cbrt.f64 -1) 2) 1/3))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (cos.f64 y))))) 2) (pow.f64 (pow.f64 (cbrt.f64 -1) 2) 1/3))
(pow.f64 (pow.f64 x 2) 1/9)
(+.f64 (.f64 -1/9 (.f64 (pow.f64 y 2) (pow.f64 (pow.f64 x 2) 1/9))) (pow.f64 (pow.f64 x 2) 1/9))
(+.f64 (.f64 (pow.f64 y 4) (+.f64 (.f64 -5/324 (pow.f64 (pow.f64 x 2) 1/9)) (.f64 1/324 (pow.f64 (pow.f64 x 2) 1/9)))) (+.f64 (.f64 -1/9 (*.f64 (pow.f64 y 2) (pow.f64 (pow.f64 x 2) 1/9))) (pow.f64 (pow.f64 x 2) 1/9)))
(+.f64 (.f64 (pow.f64 y 4) (+.f64 (.f64 -5/324 (pow.f64 (pow.f64 x 2) 1/9)) (.f64 1/324 (pow.f64 (pow.f64 x 2) 1/9)))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 y 2) (pow.f64 (pow.f64 x 2) 1/9))) (+.f64 (.f64 (pow.f64 y 6) (+.f64 (.f64 -347/87480 (pow.f64 (pow.f64 x 2) 1/9)) (.f64 5/5832 (pow.f64 (pow.f64 x 2) 1/9)))) (pow.f64 (pow.f64 x 2) 1/9))))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/9)
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/9)
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/9)
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/9)
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/9)
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/9)
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/9)
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/9)

Outputs
(exp.f64 (*.f64 1/9 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x))))
(pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))
(exp.f64 (*.f64 1/9 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x))))
(pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))
(exp.f64 (*.f64 1/9 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x))))
(pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))
(exp.f64 (*.f64 1/9 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x))))
(pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))
(exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (cos.f64 y)))))
(pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))
(exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (cos.f64 y)))))
(pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))
(exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (cos.f64 y)))))
(pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))
(exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (cos.f64 y)))))
(pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (cos.f64 y))))) (pow.f64 (cbrt.f64 -1) 1/3))
(*.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (cos.f64 y)))) (cbrt.f64 (cbrt.f64 -1)))
(*.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 (cos.f64 y)) (log.f64 (/.f64 -1 x)))) (cbrt.f64 (cbrt.f64 -1)))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (cos.f64 y))))) (pow.f64 (cbrt.f64 -1) 1/3))
(*.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (cos.f64 y)))) (cbrt.f64 (cbrt.f64 -1)))
(*.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 (cos.f64 y)) (log.f64 (/.f64 -1 x)))) (cbrt.f64 (cbrt.f64 -1)))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (cos.f64 y))))) (pow.f64 (cbrt.f64 -1) 1/3))
(*.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (cos.f64 y)))) (cbrt.f64 (cbrt.f64 -1)))
(*.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 (cos.f64 y)) (log.f64 (/.f64 -1 x)))) (cbrt.f64 (cbrt.f64 -1)))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (cos.f64 y))))) (pow.f64 (cbrt.f64 -1) 1/3))
(*.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (cos.f64 y)))) (cbrt.f64 (cbrt.f64 -1)))
(*.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 (cos.f64 y)) (log.f64 (/.f64 -1 x)))) (cbrt.f64 (cbrt.f64 -1)))
(pow.f64 x 1/9)
(*.f64 (pow.f64 x 1/18) (pow.f64 x 1/18))
(pow.f64 (exp.f64 1/9) (log.f64 x))
(+.f64 (pow.f64 x 1/9) (.f64 -1/18 (.f64 (pow.f64 y 2) (pow.f64 x 1/9))))
(+.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (.f64 -1/18 (.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (*.f64 y y))))
(.f64 (+.f64 (.f64 -1/18 (.f64 y y)) 1) (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)))
(.f64 (pow.f64 (exp.f64 1/9) (log.f64 x)) (fma.f64 -1/18 (.f64 y y) 1))
(+.f64 (pow.f64 x 1/9) (+.f64 (.f64 -5/648 (.f64 (pow.f64 y 4) (pow.f64 x 1/9))) (.f64 -1/18 (.f64 (pow.f64 y 2) (pow.f64 x 1/9)))))
(+.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (fma.f64 -5/648 (.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (pow.f64 y 4)) (.f64 -1/18 (.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (*.f64 y y)))))
(fma.f64 (pow.f64 x 1/18) (pow.f64 x 1/18) (.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (+.f64 (.f64 -5/648 (pow.f64 y 4)) (.f64 -1/18 (*.f64 y y)))))
(.f64 (pow.f64 (exp.f64 1/9) (log.f64 x)) (+.f64 (.f64 y (*.f64 y -1/18)) (fma.f64 -5/648 (pow.f64 y 4) 1)))
(.f64 (pow.f64 (exp.f64 1/9) (log.f64 x)) (+.f64 (.f64 -5/648 (pow.f64 y 4)) (fma.f64 -1/18 (*.f64 y y) 1)))
(+.f64 (.f64 -347/174960 (.f64 (pow.f64 y 6) (pow.f64 x 1/9))) (+.f64 (pow.f64 x 1/9) (+.f64 (.f64 -5/648 (.f64 (pow.f64 y 4) (pow.f64 x 1/9))) (.f64 -1/18 (.f64 (pow.f64 y 2) (pow.f64 x 1/9))))))
(fma.f64 -347/174960 (.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (pow.f64 y 6)) (+.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (fma.f64 -5/648 (.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (pow.f64 y 4)) (.f64 -1/18 (.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (*.f64 y y))))))
(+.f64 (.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (+.f64 (.f64 -5/648 (pow.f64 y 4)) (.f64 -1/18 (.f64 y y)))) (.f64 (+.f64 (.f64 -347/174960 (pow.f64 y 6)) 1) (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18))))
(fma.f64 (fma.f64 -347/174960 (pow.f64 y 6) 1) (pow.f64 (exp.f64 1/9) (log.f64 x)) (.f64 (pow.f64 (exp.f64 1/9) (log.f64 x)) (fma.f64 -5/648 (pow.f64 y 4) (.f64 y (*.f64 y -1/18)))))
(.f64 (pow.f64 (exp.f64 1/9) (log.f64 x)) (+.f64 (fma.f64 -347/174960 (pow.f64 y 6) 1) (fma.f64 -1/18 (.f64 y y) (*.f64 -5/648 (pow.f64 y 4)))))
(pow.f64 (*.f64 (cos.f64 y) x) 1/9)
(pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))
(pow.f64 (*.f64 (cos.f64 y) x) 1/9)
(pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))
(pow.f64 (*.f64 (cos.f64 y) x) 1/9)
(pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))
(pow.f64 (*.f64 (cos.f64 y) x) 1/9)
(pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))
(pow.f64 (*.f64 (cos.f64 y) x) 1/9)
(pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))
(pow.f64 (*.f64 (cos.f64 y) x) 1/9)
(pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))
(pow.f64 (*.f64 (cos.f64 y) x) 1/9)
(pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))
(pow.f64 (*.f64 (cos.f64 y) x) 1/9)
(pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))
(pow.f64 (exp.f64 (*.f64 1/9 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x))) 2)
(exp.f64 (*.f64 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)) 2/9))
(pow.f64 (exp.f64 (*.f64 1/9 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x))) 2)
(exp.f64 (*.f64 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)) 2/9))
(pow.f64 (exp.f64 (*.f64 1/9 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x))) 2)
(exp.f64 (*.f64 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)) 2/9))
(pow.f64 (exp.f64 (*.f64 1/9 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x))) 2)
(exp.f64 (*.f64 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)) 2/9))
(pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (cos.f64 y))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x))) 2)
(exp.f64 (*.f64 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)) 2/9))
(pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (cos.f64 y))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x))) 2)
(exp.f64 (*.f64 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)) 2/9))
(pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (cos.f64 y))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x))) 2)
(exp.f64 (*.f64 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)) 2/9))
(pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (cos.f64 y))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 (cos.f64 y)) (log.f64 x))) 2)
(exp.f64 (*.f64 (+.f64 (log.f64 (cos.f64 y)) (log.f64 x)) 2/9))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (cos.f64 y))))) 2) (pow.f64 (pow.f64 (cbrt.f64 -1) 2) 1/3))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (cos.f64 y)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -1) 2)))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 (cos.f64 y)) (log.f64 (/.f64 -1 x)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -1) 2)))
(.f64 (exp.f64 (.f64 (-.f64 (log.f64 (cos.f64 y)) (log.f64 (/.f64 -1 x))) 2/9)) (cbrt.f64 (pow.f64 (cbrt.f64 -1) 2)))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (cos.f64 y))))) 2) (pow.f64 (pow.f64 (cbrt.f64 -1) 2) 1/3))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (cos.f64 y)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -1) 2)))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 (cos.f64 y)) (log.f64 (/.f64 -1 x)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -1) 2)))
(.f64 (exp.f64 (.f64 (-.f64 (log.f64 (cos.f64 y)) (log.f64 (/.f64 -1 x))) 2/9)) (cbrt.f64 (pow.f64 (cbrt.f64 -1) 2)))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (cos.f64 y))))) 2) (pow.f64 (pow.f64 (cbrt.f64 -1) 2) 1/3))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (cos.f64 y)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -1) 2)))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 (cos.f64 y)) (log.f64 (/.f64 -1 x)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -1) 2)))
(.f64 (exp.f64 (.f64 (-.f64 (log.f64 (cos.f64 y)) (log.f64 (/.f64 -1 x))) 2/9)) (cbrt.f64 (pow.f64 (cbrt.f64 -1) 2)))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (cos.f64 y))))) 2) (pow.f64 (pow.f64 (cbrt.f64 -1) 2) 1/3))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (cos.f64 y)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -1) 2)))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 (cos.f64 y)) (log.f64 (/.f64 -1 x)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -1) 2)))
(.f64 (exp.f64 (.f64 (-.f64 (log.f64 (cos.f64 y)) (log.f64 (/.f64 -1 x))) 2/9)) (cbrt.f64 (pow.f64 (cbrt.f64 -1) 2)))
(pow.f64 (pow.f64 x 2) 1/9)
(.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (*.f64 x x) 1/18))
(+.f64 (.f64 -1/9 (.f64 (pow.f64 y 2) (pow.f64 (pow.f64 x 2) 1/9))) (pow.f64 (pow.f64 x 2) 1/9))
(fma.f64 -1/9 (.f64 (.f64 y y) (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18))) (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18)))
(.f64 (+.f64 (.f64 (.f64 y y) -1/9) 1) (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18)))
(.f64 (.f64 (fma.f64 (.f64 y y) -1/9 1) (pow.f64 (.f64 x x) 1/18)) (pow.f64 (*.f64 x x) 1/18))
(.f64 (pow.f64 (.f64 x x) 1/18) (.f64 (fma.f64 (.f64 y y) -1/9 1) (pow.f64 (*.f64 x x) 1/18)))
(+.f64 (.f64 (pow.f64 y 4) (+.f64 (.f64 -5/324 (pow.f64 (pow.f64 x 2) 1/9)) (.f64 1/324 (pow.f64 (pow.f64 x 2) 1/9)))) (+.f64 (.f64 -1/9 (*.f64 (pow.f64 y 2) (pow.f64 (pow.f64 x 2) 1/9))) (pow.f64 (pow.f64 x 2) 1/9)))
(fma.f64 (pow.f64 y 4) (.f64 (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18)) -1/81) (fma.f64 -1/9 (.f64 (.f64 y y) (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18))) (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18))))
(fma.f64 (pow.f64 y 4) (.f64 (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18)) -1/81) (.f64 (+.f64 (.f64 (.f64 y y) -1/9) 1) (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18))))
(fma.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18) (.f64 (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18)) (+.f64 (.f64 y (.f64 y -1/9)) (*.f64 (pow.f64 y 4) -1/81))))
(.f64 (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18)) (+.f64 (fma.f64 (.f64 y y) -1/9 1) (.f64 (pow.f64 y 4) -1/81)))
(+.f64 (.f64 (pow.f64 y 4) (+.f64 (.f64 -5/324 (pow.f64 (pow.f64 x 2) 1/9)) (.f64 1/324 (pow.f64 (pow.f64 x 2) 1/9)))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 y 2) (pow.f64 (pow.f64 x 2) 1/9))) (+.f64 (.f64 (pow.f64 y 6) (+.f64 (.f64 -347/87480 (pow.f64 (pow.f64 x 2) 1/9)) (.f64 5/5832 (pow.f64 (pow.f64 x 2) 1/9)))) (pow.f64 (pow.f64 x 2) 1/9))))
(fma.f64 (pow.f64 y 4) (.f64 (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18)) -1/81) (fma.f64 -1/9 (.f64 (.f64 y y) (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18))) (fma.f64 (pow.f64 y 6) (.f64 (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18)) -34/10935) (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18)))))
(+.f64 (fma.f64 (pow.f64 y 4) (.f64 (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18)) -1/81) (.f64 (+.f64 (.f64 (.f64 y y) -1/9) 1) (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18)))) (.f64 (pow.f64 y 6) (.f64 (pow.f64 (.f64 x x) 1/18) (.f64 (pow.f64 (*.f64 x x) 1/18) -34/10935))))
(fma.f64 (pow.f64 y 4) (.f64 (pow.f64 (.f64 x x) 1/18) (.f64 (pow.f64 (.f64 x x) 1/18) -1/81)) (fma.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18) (.f64 (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18)) (+.f64 (.f64 y (.f64 y -1/9)) (*.f64 (pow.f64 y 6) -34/10935)))))
(fma.f64 (pow.f64 y 4) (.f64 (pow.f64 (.f64 x x) 1/18) (.f64 (pow.f64 (.f64 x x) 1/18) -1/81)) (.f64 (.f64 (pow.f64 (.f64 x x) 1/18) (pow.f64 (.f64 x x) 1/18)) (+.f64 (fma.f64 (.f64 y y) -1/9 1) (.f64 (pow.f64 y 6) -34/10935))))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/9)
(.f64 (pow.f64 (.f64 (.f64 x x) (pow.f64 (cos.f64 y) 2)) 1/18) (pow.f64 (.f64 (*.f64 x x) (pow.f64 (cos.f64 y) 2)) 1/18))
(.f64 (pow.f64 (.f64 x (.f64 x (pow.f64 (cos.f64 y) 2))) 1/18) (pow.f64 (.f64 x (*.f64 x (pow.f64 (cos.f64 y) 2))) 1/18))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/9)
(.f64 (pow.f64 (.f64 (.f64 x x) (pow.f64 (cos.f64 y) 2)) 1/18) (pow.f64 (.f64 (*.f64 x x) (pow.f64 (cos.f64 y) 2)) 1/18))
(.f64 (pow.f64 (.f64 x (.f64 x (pow.f64 (cos.f64 y) 2))) 1/18) (pow.f64 (.f64 x (*.f64 x (pow.f64 (cos.f64 y) 2))) 1/18))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/9)
(.f64 (pow.f64 (.f64 (.f64 x x) (pow.f64 (cos.f64 y) 2)) 1/18) (pow.f64 (.f64 (*.f64 x x) (pow.f64 (cos.f64 y) 2)) 1/18))
(.f64 (pow.f64 (.f64 x (.f64 x (pow.f64 (cos.f64 y) 2))) 1/18) (pow.f64 (.f64 x (*.f64 x (pow.f64 (cos.f64 y) 2))) 1/18))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/9)
(.f64 (pow.f64 (.f64 (.f64 x x) (pow.f64 (cos.f64 y) 2)) 1/18) (pow.f64 (.f64 (*.f64 x x) (pow.f64 (cos.f64 y) 2)) 1/18))
(.f64 (pow.f64 (.f64 x (.f64 x (pow.f64 (cos.f64 y) 2))) 1/18) (pow.f64 (.f64 x (*.f64 x (pow.f64 (cos.f64 y) 2))) 1/18))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/9)
(.f64 (pow.f64 (.f64 (.f64 x x) (pow.f64 (cos.f64 y) 2)) 1/18) (pow.f64 (.f64 (*.f64 x x) (pow.f64 (cos.f64 y) 2)) 1/18))
(.f64 (pow.f64 (.f64 x (.f64 x (pow.f64 (cos.f64 y) 2))) 1/18) (pow.f64 (.f64 x (*.f64 x (pow.f64 (cos.f64 y) 2))) 1/18))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/9)
(.f64 (pow.f64 (.f64 (.f64 x x) (pow.f64 (cos.f64 y) 2)) 1/18) (pow.f64 (.f64 (*.f64 x x) (pow.f64 (cos.f64 y) 2)) 1/18))
(.f64 (pow.f64 (.f64 x (.f64 x (pow.f64 (cos.f64 y) 2))) 1/18) (pow.f64 (.f64 x (*.f64 x (pow.f64 (cos.f64 y) 2))) 1/18))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/9)
(.f64 (pow.f64 (.f64 (.f64 x x) (pow.f64 (cos.f64 y) 2)) 1/18) (pow.f64 (.f64 (*.f64 x x) (pow.f64 (cos.f64 y) 2)) 1/18))
(.f64 (pow.f64 (.f64 x (.f64 x (pow.f64 (cos.f64 y) 2))) 1/18) (pow.f64 (.f64 x (*.f64 x (pow.f64 (cos.f64 y) 2))) 1/18))
(pow.f64 (*.f64 (pow.f64 (cos.f64 y) 2) (pow.f64 x 2)) 1/9)
(.f64 (pow.f64 (.f64 (.f64 x x) (pow.f64 (cos.f64 y) 2)) 1/18) (pow.f64 (.f64 (*.f64 x x) (pow.f64 (cos.f64 y) 2)) 1/18))
(.f64 (pow.f64 (.f64 x (.f64 x (pow.f64 (cos.f64 y) 2))) 1/18) (pow.f64 (.f64 x (*.f64 x (pow.f64 (cos.f64 y) 2))) 1/18))

eval87.0ms (1.7%)

Compiler: Compiled 8978 to 2802 computations (68.8% saved)

prune436.0ms (8.7%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	225	0	225
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	225	7	232

Error

0.1b

Counts

232 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.0b	(-.f64 (.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (cos.f64 y)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (cos.f64 y)))) 2) (.f64 (cbrt.f64 (cbrt.f64 (.f64 x (cos.f64 y)))) (cbrt.f64 (.f64 x (cos.f64 y))))))) (.f64 z (sin.f64 y)))
	1.0b	(-.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 x (cos.f64 y))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (cos.f64 y)))) 2)) (cbrt.f64 (cbrt.f64 (.f64 x (cos.f64 y))))) (.f64 z (sin.f64 y)))
	26.0b	(-.f64 (.f64 x (cos.f64 y)) (cbrt.f64 (.f64 (pow.f64 z 3) (pow.f64 (sin.f64 y) 3))))
✓	0.7b	(-.f64 (.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (cos.f64 y)) (pow.f64 (cbrt.f64 (.f64 x (cos.f64 y))) 2))) (.f64 z (sin.f64 y)))
✓	0.1b	(-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
	26.4b	(-.f64 (.f64 x (cos.f64 y)) (pow.f64 (sqrt.f64 (.f64 z (sin.f64 y))) 2))
✓	0.8b	(-.f64 (pow.f64 (cbrt.f64 (.f64 x (cos.f64 y))) 3) (.f64 z (sin.f64 y)))

Compiler

Compiled 148 to 92 computations (37.8% saved)

regimes26.0ms (0.5%)

Accuracy

Total -40.2b remaining (-35484.4%)

Threshold costs -40.2b (-35484.4%)

Counts

7 → 1

Calls

Call 1

Inputs
(-.f64 (.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (cos.f64 y)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (cos.f64 y)))) 2) (.f64 (cbrt.f64 (cbrt.f64 (.f64 x (cos.f64 y)))) (cbrt.f64 (.f64 x (cos.f64 y))))))) (.f64 z (sin.f64 y)))
(-.f64 (.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (cos.f64 y)) (pow.f64 (cbrt.f64 (.f64 x (cos.f64 y))) 2))) (.f64 z (sin.f64 y)))
(-.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 x (cos.f64 y))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (cos.f64 y)))) 2)) (cbrt.f64 (cbrt.f64 (.f64 x (cos.f64 y))))) (.f64 z (sin.f64 y)))
(-.f64 (.f64 x (cos.f64 y)) (pow.f64 (sqrt.f64 (.f64 z (sin.f64 y))) 2))
(-.f64 (pow.f64 (cbrt.f64 (.f64 x (cos.f64 y))) 3) (.f64 z (sin.f64 y)))
(-.f64 (.f64 x (cos.f64 y)) (cbrt.f64 (.f64 (pow.f64 z 3) (pow.f64 (sin.f64 y) 3))))
(-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))

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

Results

Time	Error	Segments	Branch
5.0ms	0.1b	1	`x`
5.0ms	0.1b	1	`y`
6.0ms	0.1b	1	`z`
6.0ms	0.1b	1	`(-.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))`

Compiler

Compiled 154 to 62 computations (59.7% saved)

simplify2.0ms (0%)

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)))

end15.0ms (0.3%)

Stop Event

1×

fuel

Compiler

Compiled 24 to 16 computations (33.3% saved)

Iter	Nodes	Cost
0	9	14
1	17	14
2	32	14
3	49	14
4	76	14
5	124	14
6	205	14
7	306	14
8	408	14
9	524	14
10	582	14
11	588	14

Iter	Nodes	Cost
0	9	14
1	17	14
2	32	14
3	49	14
4	76	14
5	124	14
6	205	14
7	306	14
8	408	14
9	524	14
10	582	14
11	588	14

Details

analyze645.0ms (12.9%)

sample2.7s (54.7%)

preprocess38.0ms (0.8%)

simplify13.0ms (0.3%)

eval0.0ms (0%)

prune2.0ms (0%)

localize7.0ms (0.1%)

series8.0ms (0.2%)

rewrite41.0ms (0.8%)

simplify75.0ms (1.5%)

eval11.0ms (0.2%)

prune42.0ms (0.8%)

localize11.0ms (0.2%)

series19.0ms (0.4%)

rewrite37.0ms (0.7%)

simplify40.0ms (0.8%)

eval39.0ms (0.8%)

prune158.0ms (3.2%)

localize14.0ms (0.3%)

series11.0ms (0.2%)

rewrite48.0ms (1%)

simplify31.0ms (0.6%)

eval37.0ms (0.7%)

prune160.0ms (3.2%)

localize22.0ms (0.4%)

series87.0ms (1.8%)

rewrite44.0ms (0.9%)

simplify54.0ms (1.1%)

eval87.0ms (1.7%)

prune436.0ms (8.7%)

regimes26.0ms (0.5%)

simplify2.0ms (0%)

end15.0ms (0.3%)

Profiling

Iter	Nodes	Cost
0	9	14
1	17	14
2	32	14
3	49	14
4	76	14
5	124	14
6	205	14
7	306	14
8	408	14
9	524	14
10	582	14
11	588	14