Details

analyze73.0ms (2%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
43.8%	43.7%	56.2%	0.1%	0%	0%	0%	6
59.4%	59.3%	40.6%	0.1%	0%	0%	0%	7
68.3%	67.1%	31.2%	0.1%	1.6%	0%	0%	8
76.6%	74.1%	22.6%	0.1%	3.1%	0%	0%	9
81.9%	77.7%	17.2%	0.1%	5.1%	0%	0%	10
87.2%	81%	11.9%	0.1%	7%	0%	0%	11
90.2%	82.6%	9%	0.1%	8.3%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample1.5s (42.5%)

Results

1.4s	8256×	body	256	valid
55.0ms	398×	body	256	infinite

Bogosity

preprocess30.0ms (0.8%)

Algorithm

2×	egg-herbie

Rules

4×	`associate-/r*_binary64`
2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	14	14
2	18	14
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(/.f64 x (*.f64 y 3))
(/.f64 y (*.f64 x 3))

Outputs
(/.f64 x (*.f64 y 3))
(/.f64 y (*.f64 x 3))
(/.f64 (/.f64 y x) 3)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`associate-/r*_binary64`
1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	11	7

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 x (*.f64 y 3))

Outputs
(/.f64 x (*.f64 y 3))

eval0.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

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

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.5b	(/.f64 x (*.f64 y 3))

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.5b	(/.f64 x (*.f64 y 3))

Compiler

Compiled 13 to 8 computations (38.5% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	y	@	0	(/.f64 x (*.f64 y 3))
1.0ms	x	@	0	(/.f64 x (*.f64 y 3))
1.0ms	x	@	inf	(/.f64 x (*.f64 y 3))
1.0ms	y	@	inf	(/.f64 x (*.f64 y 3))
1.0ms	x	@	-inf	(/.f64 x (*.f64 y 3))

rewrite69.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

683×	`pow1_binary64`
637×	`add-log-exp_binary64`
637×	`log1p-expm1-u_binary64`
637×	`expm1-log1p-u_binary64`
624×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	127	7
2	1675	7

Stop Event

1×	node limit

Counts

1 → 38

Calls

Call 1

Inputs
(/.f64 x (*.f64 y 3))

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

Outputs

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

simplify13.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	9	168
2	13	168
3	17	168
4	18	168

Stop Event

1×

saturated

Counts

62 → 38

Calls

Call 1

Inputs
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

Outputs
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

eval12.0ms (0.3%)

Compiler: Compiled 365 to 226 computations (38.1% saved)

prune11.0ms (0.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	33	5	38
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	33	6	39

Error

Counts

39 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.4b	(*.f64 (/.f64 x y) 1/3)
✓	0.5b	(/.f64 x (*.f64 y 3))
▶	0.3b	(*.f64 (/.f64 1 y) (/.f64 x 3))
▶	31.3b	(*.f64 (/.f64 (sqrt.f64 x) y) (/.f64 (sqrt.f64 x) 3))
▶	0.3b	(pow.f64 (*.f64 3 (/.f64 y x)) -1)
▶	0.4b	(*.f64 (/.f64 1/3 y) x)

Compiler

Compiled 93 to 67 computations (28% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (/.f64 1 y) (/.f64 x 3))

Compiler

Compiled 19 to 13 computations (31.6% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(*.f64 (/.f64 1 y) (/.f64 x 3))
0.0ms	y	@	0	(*.f64 (/.f64 1 y) (/.f64 x 3))
0.0ms	y	@	inf	(*.f64 (/.f64 1 y) (/.f64 x 3))
0.0ms	y	@	-inf	(*.f64 (/.f64 1 y) (/.f64 x 3))
0.0ms	x	@	inf	(*.f64 (/.f64 1 y) (/.f64 x 3))

rewrite57.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

828×	`pow1_binary64`
774×	`add-log-exp_binary64`
774×	`log1p-expm1-u_binary64`
774×	`expm1-log1p-u_binary64`
760×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	7
1	171	7
2	2134	7

Stop Event

1×	node limit

Counts

1 → 46

Calls

Call 1

Inputs
(*.f64 (/.f64 1 y) (/.f64 x 3))

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

Outputs

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

simplify22.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	9	168
2	13	168
3	17	168
4	18	168

Stop Event

1×

saturated

Counts

70 → 47

Calls

Call 1

Inputs
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

Outputs
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

localize10.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (/.f64 1/3 y) x)
✓	0.4b	(/.f64 1/3 y)

Compiler

Compiled 13 to 8 computations (38.5% saved)

series5.0ms (0.1%)

Counts

2 → 24

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	y	@	0	(/.f64 1/3 y)
1.0ms	y	@	inf	(/.f64 1/3 y)
1.0ms	y	@	-inf	(/.f64 1/3 y)
0.0ms	x	@	-inf	(*.f64 (/.f64 1/3 y) x)
0.0ms	y	@	inf	(*.f64 (/.f64 1/3 y) x)

rewrite85.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

617×	`pow1_binary64`
573×	`add-log-exp_binary64`
573×	`log1p-expm1-u_binary64`
573×	`expm1-log1p-u_binary64`
562×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	128	11
2	1560	11

Stop Event

1×	node limit

Counts

2 → 41

Calls

Call 1

Inputs
(/.f64 1/3 y)
(*.f64 (/.f64 1/3 y) x)

Outputs

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

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

simplify13.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	9	168
2	13	168
3	17	168
4	18	168

Stop Event

1×

saturated

Counts

65 → 42

Calls

Call 1

Inputs
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

Outputs
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 (/.f64 x y) 1/3)

Compiler

Compiled 13 to 6 computations (53.8% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite52.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

655×	`pow1_binary64`
608×	`add-log-exp_binary64`
608×	`log1p-expm1-u_binary64`
608×	`expm1-log1p-u_binary64`
596×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	127	7
2	1613	7

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

Inputs
(*.f64 (/.f64 x y) 1/3)

Outputs

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

simplify12.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	9	168
2	13	168
3	17	168
4	18	168

Stop Event

1×

saturated

Counts

45 → 22

Calls

Call 1

Inputs
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

Outputs
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

localize15.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(pow.f64 (*.f64 3 (/.f64 y x)) -1)
✓	0.3b	(*.f64 3 (/.f64 y x))

Compiler

Compiled 21 to 11 computations (47.6% saved)

series15.0ms (0.4%)

Counts

2 → 24

Calls

12 calls:

Time	Variable		Point	Expression
4.0ms	y	@	0	(*.f64 3 (/.f64 y x))
1.0ms	x	@	0	(*.f64 3 (/.f64 y x))
1.0ms	y	@	0	(pow.f64 (*.f64 3 (/.f64 y x)) -1)
1.0ms	y	@	-inf	(pow.f64 (*.f64 3 (/.f64 y x)) -1)
1.0ms	x	@	-inf	(pow.f64 (*.f64 3 (/.f64 y x)) -1)

rewrite101.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

833×	`pow1_binary64`
777×	`add-log-exp_binary64`
777×	`log1p-expm1-u_binary64`
777×	`expm1-log1p-u_binary64`
760×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	173	14
2	2125	14

Stop Event

1×	node limit

Counts

2 → 44

Calls

Call 1

Inputs
(*.f64 3 (/.f64 y x))
(pow.f64 (*.f64 3 (/.f64 y x)) -1)

Outputs

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

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

simplify18.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	9	168
2	13	168
3	17	168
4	18	168

Stop Event

1×

saturated

Counts

68 → 44

Calls

Call 1

Inputs
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

Outputs
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

localize15.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (sqrt.f64 x) 3)
✓	0.1b	(/.f64 (sqrt.f64 x) y)
✓	0.2b	(*.f64 (/.f64 (sqrt.f64 x) y) (/.f64 (sqrt.f64 x) 3))

Compiler

Compiled 24 to 10 computations (58.3% saved)

series18.0ms (0.5%)

Counts

3 → 36

Calls

15 calls:

Time	Variable		Point	Expression
5.0ms	x	@	-inf	(*.f64 (/.f64 (sqrt.f64 x) y) (/.f64 (sqrt.f64 x) 3))
2.0ms	x	@	inf	(/.f64 (sqrt.f64 x) 3)
2.0ms	x	@	0	(/.f64 (sqrt.f64 x) y)
1.0ms	y	@	0	(/.f64 (sqrt.f64 x) y)
1.0ms	x	@	-inf	(/.f64 (sqrt.f64 x) y)

rewrite135.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

932×	`pow1_binary64`
873×	`add-log-exp_binary64`
873×	`log1p-expm1-u_binary64`
873×	`expm1-log1p-u_binary64`
854×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	178	19
2	2381	19

Stop Event

1×	node limit

Counts

3 → 104

Calls

Call 1

Inputs
(*.f64 (/.f64 (sqrt.f64 x) y) (/.f64 (sqrt.f64 x) 3))
(/.f64 (sqrt.f64 x) y)
(/.f64 (sqrt.f64 x) 3)

Outputs

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

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

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

simplify145.0ms (4%)

Algorithm

1×	egg-herbie

Rules

879×	`associate-*l/_binary64`
477×	`*-commutative_binary64`
458×	`associate-/r*_binary64`
428×	`associate-/l*_binary64`
424×	`unswap-sqr_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	276
1	36	240
2	68	240
3	143	240
4	369	240
5	1313	240
6	3494	240
7	3958	240
8	4979	240
9	5338	240
10	6513	240
11	6989	240

Stop Event

1×	node limit

Counts

140 → 108

Calls

Call 1

Inputs
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(.f64 -1/3 (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) x) y))
(.f64 -1/3 (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) x) y))
(.f64 -1/3 (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) x) y))
(.f64 -1/3 (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) x) y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(*.f64 (/.f64 1 y) (sqrt.f64 x))

Outputs
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(.f64 -1/3 (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) x) y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(.f64 -1/3 (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) x) y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(.f64 -1/3 (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) x) y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(.f64 -1/3 (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) x) y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(*.f64 x (/.f64 1/3 y))
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (*.f64 1 (sqrt.f64 x)) y)
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (*.f64 1 (sqrt.f64 x)) y)
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (*.f64 1 (sqrt.f64 x)) y)
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (*.f64 1 (sqrt.f64 x)) y)
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (*.f64 1 (sqrt.f64 x)) y)
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (*.f64 1 (sqrt.f64 x)) y)
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (*.f64 1 (sqrt.f64 x)) y)
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (*.f64 1 (sqrt.f64 x)) y)
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (*.f64 1 (sqrt.f64 x)) y)
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (*.f64 1 (sqrt.f64 x)) y)
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (*.f64 1 (sqrt.f64 x)) y)
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (*.f64 1 (sqrt.f64 x)) y)
(/.f64 (sqrt.f64 x) y)

eval57.0ms (1.6%)

Compiler: Compiled 2444 to 1369 computations (44% saved)

prune42.0ms (1.2%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	258	5	263
Fresh	0	0	0
Picked	1	0	1
Done	2	3	5
Total	261	8	269

Error

Counts

269 → 8

Alt Table

Click to see full alt table

Status	Error	Program
▶	32.8b	(*.f64 (cbrt.f64 (pow.f64 (/.f64 1/3 y) 3)) x)
✓	0.5b	(/.f64 x (*.f64 y 3))
▶	0.3b	(/.f64 1 (*.f64 3 (/.f64 y x)))
✓	0.4b	(*.f64 (/.f64 1/3 y) x)
✓	0.3b	(*.f64 (/.f64 1 y) (/.f64 x 3))
▶	0.2b	(/.f64 (/.f64 x y) 3)
▶	0.4b	(/.f64 1/3 (/.f64 y x))
▶	0.4b	(/.f64 (*.f64 x 1/3) y)

Compiler

Compiled 103 to 77 computations (25.2% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (/.f64 x y) 3)

Compiler

Compiled 13 to 6 computations (53.8% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(/.f64 (/.f64 x y) 3)
0.0ms	x	@	inf	(/.f64 (/.f64 x y) 3)
0.0ms	y	@	0	(/.f64 (/.f64 x y) 3)
0.0ms	x	@	-inf	(/.f64 (/.f64 x y) 3)
0.0ms	y	@	inf	(/.f64 (/.f64 x y) 3)

rewrite58.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

715×	`pow1_binary64`
670×	`add-log-exp_binary64`
670×	`log1p-expm1-u_binary64`
670×	`expm1-log1p-u_binary64`
658×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	135	7
2	1786	7

Stop Event

1×	node limit

Counts

1 → 27

Calls

Call 1

Inputs
(/.f64 (/.f64 x y) 3)

Outputs

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

simplify18.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	9	168
2	13	168
3	17	168
4	18	168

Stop Event

1×

saturated

Counts

51 → 27

Calls

Call 1

Inputs
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

Outputs
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

localize9.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 1/3 (/.f64 y x))

Compiler

Compiled 13 to 6 computations (53.8% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	y	@	0	(/.f64 1/3 (/.f64 y x))
0.0ms	y	@	inf	(/.f64 1/3 (/.f64 y x))
0.0ms	y	@	-inf	(/.f64 1/3 (/.f64 y x))
0.0ms	x	@	inf	(/.f64 1/3 (/.f64 y x))
0.0ms	x	@	-inf	(/.f64 1/3 (/.f64 y x))

rewrite64.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

699×	`pow1_binary64`
652×	`add-log-exp_binary64`
652×	`log1p-expm1-u_binary64`
652×	`expm1-log1p-u_binary64`
639×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	134	7
2	1770	7

Stop Event

1×	node limit

Counts

1 → 26

Calls

Call 1

Inputs
(/.f64 1/3 (/.f64 y x))

Outputs

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

simplify19.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	9	168
2	13	168
3	17	168
4	18	168

Stop Event

1×

saturated

Counts

50 → 26

Calls

Call 1

Inputs
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

Outputs
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

localize15.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (*.f64 x 1/3) y)
✓	0.3b	(*.f64 x 1/3)

Compiler

Compiled 13 to 8 computations (38.5% saved)

series5.0ms (0.1%)

Counts

2 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(*.f64 x 1/3)
1.0ms	x	@	0	(*.f64 x 1/3)
1.0ms	x	@	inf	(*.f64 x 1/3)
0.0ms	x	@	inf	(/.f64 (*.f64 x 1/3) y)
0.0ms	y	@	-inf	(/.f64 (*.f64 x 1/3) y)

rewrite70.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

673×	`pow1_binary64`
627×	`add-log-exp_binary64`
627×	`log1p-expm1-u_binary64`
627×	`expm1-log1p-u_binary64`
615×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	127	11
2	1655	11

Stop Event

1×	node limit

Counts

2 → 52

Calls

Call 1

Inputs
(*.f64 x 1/3)
(/.f64 (*.f64 x 1/3) y)

Outputs

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

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

simplify22.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	216
1	10	216
2	14	216
3	16	216
4	17	216

Stop Event

1×

saturated

Counts

88 → 54

Calls

Call 1

Inputs
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

Outputs
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))
(*.f64 1/3 (/.f64 x y))
(*.f64 (/.f64 1/3 y) x)
(*.f64 x (/.f64 1/3 y))

localize13.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 1 (*.f64 3 (/.f64 y x)))
	0.3b	(*.f64 3 (/.f64 y x))

Compiler

Compiled 21 to 11 computations (47.6% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	y	@	0	(/.f64 1 (*.f64 3 (/.f64 y x)))
0.0ms	x	@	0	(/.f64 1 (*.f64 3 (/.f64 y x)))
0.0ms	x	@	-inf	(/.f64 1 (*.f64 3 (/.f64 y x)))
0.0ms	y	@	inf	(/.f64 1 (*.f64 3 (/.f64 y x)))
0.0ms	y	@	-inf	(/.f64 1 (*.f64 3 (/.f64 y x)))

rewrite69.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

819×	`pow1_binary64`
763×	`add-log-exp_binary64`
763×	`log1p-expm1-u_binary64`
763×	`expm1-log1p-u_binary64`
748×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	7
1	169	7
2	2100	7

Stop Event

1×	node limit

Counts

1 → 26

Calls

Call 1

Inputs
(/.f64 1 (*.f64 3 (/.f64 y x)))

Outputs

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

simplify19.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	9	168
2	13	168
3	17	168
4	18	168

Stop Event

1×

saturated

Counts

50 → 26

Calls

Call 1

Inputs
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

Outputs
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

localize24.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (cbrt.f64 (pow.f64 (/.f64 1/3 y) 3)) x)
✓	0.2b	(pow.f64 (/.f64 1/3 y) 3)
	0.4b	(/.f64 1/3 y)
✓	38.7b	(cbrt.f64 (pow.f64 (/.f64 1/3 y) 3))

Compiler

Compiled 28 to 21 computations (25% saved)

series12.0ms (0.3%)

Counts

3 → 48

Calls

12 calls:

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

rewrite95.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

777×	`pow1_binary64`
731×	`add-log-exp_binary64`
731×	`log1p-expm1-u_binary64`
731×	`expm1-log1p-u_binary64`
714×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	18
1	197	18
2	2059	18

Stop Event

1×	node limit

Counts

3 → 83

Calls

Call 1

Inputs
(cbrt.f64 (pow.f64 (/.f64 1/3 y) 3))
(pow.f64 (/.f64 1/3 y) 3)
(*.f64 (cbrt.f64 (pow.f64 (/.f64 1/3 y) 3)) x)

Outputs

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

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

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

simplify234.0ms (6.5%)

Algorithm

1×	egg-herbie

Rules

1005×	`sqr-pow_binary64`
529×	`cube-prod_binary64`
500×	`pow-sqr_binary64`
458×	`associate-/r*_binary64`
416×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	332
1	41	332
2	75	332
3	121	332
4	195	332
5	389	332
6	1007	332
7	2521	332
8	2665	332
9	2911	332
10	3145	332
11	3403	332
12	3731	332
13	4153	332
14	4654	332
15	5253	332
16	5971	332
17	6292	332
18	6578	332
19	6798	332
20	6976	332
21	7056	332
22	7996	332

Stop Event

1×	node limit

Counts

131 → 89

Calls

Call 1

Inputs
(/.f64 1/3 y)
(/.f64 1/3 y)
(/.f64 1/3 y)
(/.f64 1/3 y)
(/.f64 1/3 y)
(/.f64 1/3 y)
(/.f64 1/3 y)
(/.f64 1/3 y)
(*.f64 -1 (/.f64 (cbrt.f64 -1/27) y))
(*.f64 -1 (/.f64 (cbrt.f64 -1/27) y))
(*.f64 -1 (/.f64 (cbrt.f64 -1/27) y))
(*.f64 -1 (/.f64 (cbrt.f64 -1/27) y))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(.f64 -1 (/.f64 (.f64 (cbrt.f64 -1/27) x) y))
(.f64 -1 (/.f64 (.f64 (cbrt.f64 -1/27) x) y))
(.f64 -1 (/.f64 (.f64 (cbrt.f64 -1/27) x) y))
(.f64 -1 (/.f64 (.f64 (cbrt.f64 -1/27) x) y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))
(*.f64 1/3 (/.f64 x y))

Outputs
(/.f64 1/3 y)
(/.f64 1/3 y)
(/.f64 1/3 y)
(/.f64 1/3 y)
(/.f64 1/3 y)
(/.f64 1/3 y)
(/.f64 1/3 y)
(/.f64 1/3 y)
(*.f64 -1 (/.f64 (cbrt.f64 -1/27) y))
(neg.f64 (/.f64 (cbrt.f64 -1/27) y))
(/.f64 (neg.f64 (cbrt.f64 -1/27)) y)
(*.f64 -1 (/.f64 (cbrt.f64 -1/27) y))
(neg.f64 (/.f64 (cbrt.f64 -1/27) y))
(/.f64 (neg.f64 (cbrt.f64 -1/27)) y)
(*.f64 -1 (/.f64 (cbrt.f64 -1/27) y))
(neg.f64 (/.f64 (cbrt.f64 -1/27) y))
(/.f64 (neg.f64 (cbrt.f64 -1/27)) y)
(*.f64 -1 (/.f64 (cbrt.f64 -1/27) y))
(neg.f64 (/.f64 (cbrt.f64 -1/27) y))
(/.f64 (neg.f64 (cbrt.f64 -1/27)) y)
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(/.f64 1/27 (pow.f64 y 3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(.f64 -1 (/.f64 (.f64 (cbrt.f64 -1/27) x) y))
(neg.f64 (/.f64 (cbrt.f64 -1/27) (/.f64 y x)))
(/.f64 (neg.f64 (cbrt.f64 -1/27)) (/.f64 y x))
(*.f64 (/.f64 (cbrt.f64 -1/27) y) (neg.f64 x))
(*.f64 (cbrt.f64 -1/27) (/.f64 (neg.f64 x) y))
(*.f64 (/.f64 x y) (neg.f64 (cbrt.f64 -1/27)))
(.f64 -1 (/.f64 (.f64 (cbrt.f64 -1/27) x) y))
(neg.f64 (/.f64 (cbrt.f64 -1/27) (/.f64 y x)))
(/.f64 (neg.f64 (cbrt.f64 -1/27)) (/.f64 y x))
(*.f64 (/.f64 (cbrt.f64 -1/27) y) (neg.f64 x))
(*.f64 (cbrt.f64 -1/27) (/.f64 (neg.f64 x) y))
(*.f64 (/.f64 x y) (neg.f64 (cbrt.f64 -1/27)))
(.f64 -1 (/.f64 (.f64 (cbrt.f64 -1/27) x) y))
(neg.f64 (/.f64 (cbrt.f64 -1/27) (/.f64 y x)))
(/.f64 (neg.f64 (cbrt.f64 -1/27)) (/.f64 y x))
(*.f64 (/.f64 (cbrt.f64 -1/27) y) (neg.f64 x))
(*.f64 (cbrt.f64 -1/27) (/.f64 (neg.f64 x) y))
(*.f64 (/.f64 x y) (neg.f64 (cbrt.f64 -1/27)))
(.f64 -1 (/.f64 (.f64 (cbrt.f64 -1/27) x) y))
(neg.f64 (/.f64 (cbrt.f64 -1/27) (/.f64 y x)))
(/.f64 (neg.f64 (cbrt.f64 -1/27)) (/.f64 y x))
(*.f64 (/.f64 (cbrt.f64 -1/27) y) (neg.f64 x))
(*.f64 (cbrt.f64 -1/27) (/.f64 (neg.f64 x) y))
(*.f64 (/.f64 x y) (neg.f64 (cbrt.f64 -1/27)))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))
(*.f64 1/3 (/.f64 x y))
(/.f64 (*.f64 1/3 x) y)
(/.f64 x (/.f64 y 1/3))

eval114.0ms (3.2%)

Compiler: Compiled 2447 to 1672 computations (31.7% saved)

prune72.0ms (2%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	262	0	262
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	262	8	270

Error

Counts

270 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	32.8b	(*.f64 (cbrt.f64 (pow.f64 (/.f64 1/3 y) 3)) x)
✓	0.5b	(/.f64 x (*.f64 y 3))
✓	0.3b	(/.f64 1 (*.f64 3 (/.f64 y x)))
✓	0.4b	(*.f64 (/.f64 1/3 y) x)
✓	0.3b	(*.f64 (/.f64 1 y) (/.f64 x 3))
✓	0.2b	(/.f64 (/.f64 x y) 3)
✓	0.4b	(/.f64 1/3 (/.f64 y x))
✓	0.4b	(/.f64 (*.f64 x 1/3) y)

Compiler

Compiled 63 to 47 computations (25.4% saved)

regimes57.0ms (1.6%)

Accuracy

Total -48.0b remaining (-21940.7%)

Threshold costs -48.0b (-21940.7%)

Counts

11 → 1

Calls

Call 1

Inputs
(/.f64 (/.f64 x y) 3)
(/.f64 1/3 (/.f64 y x))
(/.f64 (*.f64 x 1/3) y)
(*.f64 (/.f64 x y) 1/3)
(*.f64 (/.f64 1/3 y) x)
(/.f64 x (*.f64 y 3))
(/.f64 1 (*.f64 3 (/.f64 y x)))
(*.f64 (/.f64 1 y) (/.f64 x 3))
(pow.f64 (*.f64 3 (/.f64 y x)) -1)
(*.f64 (cbrt.f64 (pow.f64 (/.f64 1/3 y) 3)) x)
(*.f64 (/.f64 (sqrt.f64 x) y) (/.f64 (sqrt.f64 x) 3))

Outputs
(/.f64 (/.f64 x y) 3)

Calls

4 calls:

13.0ms	(*.f64 y 3)
13.0ms	x
13.0ms	y
12.0ms	(/.f64 x (*.f64 y 3))

Results

Error	Segments	Branch
0.2b	1	`x`
0.2b	1	`y`
0.2b	1	`(/.f64 x (*.f64 y 3))`
0.2b	1	`(*.f64 y 3)`

Compiler

Compiled 88 to 56 computations (36.4% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f64 (/.f64 x y) 3)

Outputs
(/.f64 (/.f64 x y) 3)

Compiler

Compiled 7 to 5 computations (28.6% saved)

soundness0.0ms (0%)

end22.0ms (0.6%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

Details

analyze73.0ms (2%)

sample1.5s (42.5%)

preprocess30.0ms (0.8%)

simplify8.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series4.0ms (0.1%)

rewrite69.0ms (1.9%)

simplify13.0ms (0.3%)

eval12.0ms (0.3%)

prune11.0ms (0.3%)

localize7.0ms (0.2%)

series2.0ms (0.1%)

rewrite57.0ms (1.6%)

simplify22.0ms (0.6%)

localize10.0ms (0.3%)

series5.0ms (0.1%)

rewrite85.0ms (2.3%)

simplify13.0ms (0.4%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite52.0ms (1.4%)

simplify12.0ms (0.3%)

localize15.0ms (0.4%)

series15.0ms (0.4%)

rewrite101.0ms (2.8%)

simplify18.0ms (0.5%)

localize15.0ms (0.4%)

series18.0ms (0.5%)

rewrite135.0ms (3.7%)

simplify145.0ms (4%)

eval57.0ms (1.6%)

prune42.0ms (1.2%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite58.0ms (1.6%)

simplify18.0ms (0.5%)

localize9.0ms (0.3%)

series3.0ms (0.1%)

rewrite64.0ms (1.8%)

simplify19.0ms (0.5%)

localize15.0ms (0.4%)

series5.0ms (0.1%)

rewrite70.0ms (1.9%)

simplify22.0ms (0.6%)

localize13.0ms (0.4%)

series3.0ms (0.1%)

rewrite69.0ms (1.9%)

simplify19.0ms (0.5%)

localize24.0ms (0.7%)

series12.0ms (0.3%)

rewrite95.0ms (2.6%)

simplify234.0ms (6.5%)

eval114.0ms (3.2%)

prune72.0ms (2%)

regimes57.0ms (1.6%)

simplify6.0ms (0.2%)

soundness0.0ms (0%)

end22.0ms (0.6%)

Profiling