Details

analyze97.0ms (1.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
50%	46.8%	3.2%	7
56.2%	39%	4.8%	8
62.4%	27.3%	10.2%	9
65.6%	22.2%	12.2%	10
68.7%	14.6%	16.7%	11
70.2%	11.8%	18%	12

Compiler

Compiled 10 to 7 computations (30% saved)

sample1.5s (28.4%)

Results

1.4s	8256×	body	256	valid
94.0ms	787×	body	256	invalid

preprocess15.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

2×	`+-commutative_binary64`
2×	`associate-/r*_binary64`
2×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	20
1	18	20
2	20	20
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`associate-/r*_binary64`
1×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	12	10
2	13	10

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 16 to 8 computations (50% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

3.1b

Counts

3 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

localize51.0ms (0.9%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 20 to 7 computations (65% saved)

series5.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite54.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

568×	`pow1_binary64`
529×	`add-log-exp_binary64`
529×	`log1p-expm1-u_binary64`
529×	`expm1-log1p-u_binary64`
515×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	106	7
2	1449	7

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

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

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

Outputs

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

simplify173.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1140×	`associate-/r*_binary64`
1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	11	168
2	20	168
3	35	168
4	75	168
5	224	168
6	834	168
7	2043	168
8	2209	168
9	2393	168
10	2601	168
11	2898	168
12	3291	168
13	3772	168
14	4340	168
15	5028	168
16	5863	168
17	6255	168
18	6543	168
19	6819	168
20	6891	168
21	6927	168

Stop Event

1×	node limit

Counts

55 → 33

Calls

Call 1

Inputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))

Outputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))

eval7.0ms (0.1%)

Compiler: Compiled 360 to 192 computations (46.7% saved)

prune11.0ms (0.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	27	6	33
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	27	7	34

Error

0.0b

Counts

34 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	3.3b	(-.f64 (*.f64 (pow.f64 y -2) x) 3)
▶	3.3b	(-.f64 (.f64 (neg.f64 x) (/.f64 1 (.f64 y (neg.f64 y)))) 3)
▶	3.4b	(-.f64 (pow.f64 (cbrt.f64 (/.f64 x (*.f64 y y))) 3) 3)
▶	30.9b	(-.f64 (pow.f64 (/.f64 (sqrt.f64 x) y) 2) 3)
✓	3.1b	(-.f64 (/.f64 x (*.f64 y y)) 3)
	0.4b	(-.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) y) (/.f64 (cbrt.f64 x) y)) 3)
▶	0.1b	(-.f64 (*.f64 (/.f64 x y) (/.f64 1 y)) 3)

Compiler

Compiled 149 to 110 computations (26.2% saved)

localize10.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 28 to 15 computations (46.4% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite312.0ms (5.8%)

Algorithm

1×	batch-egg-rewrite

Rules

718×	`pow1_binary64`
665×	`add-log-exp_binary64`
665×	`log1p-expm1-u_binary64`
665×	`expm1-log1p-u_binary64`
651×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	146	7
2	1924	7

Stop Event

1×	node limit

Counts

1 → 42

Calls

Call 1

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

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

Outputs

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

simplify168.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

1140×	`associate-/r*_binary64`
1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	11	168
2	20	168
3	35	168
4	75	168
5	224	168
6	834	168
7	2043	168
8	2209	168
9	2393	168
10	2601	168
11	2898	168
12	3291	168
13	3772	168
14	4340	168
15	5028	168
16	5863	168
17	6255	168
18	6543	168
19	6819	168
20	6891	168
21	6927	168

Stop Event

1×	node limit

Counts

66 → 43

Calls

Call 1

Inputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))

Outputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))

localize14.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 40 to 17 computations (57.5% saved)

series3.0ms (0.1%)

Counts

2 → 36

Calls

9 calls:

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

rewrite64.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

635×	`pow1_binary64`
586×	`add-log-exp_binary64`
586×	`log1p-expm1-u_binary64`
586×	`expm1-log1p-u_binary64`
573×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	187	14
2	2603	14

Stop Event

1×	node limit

Counts

2 → 46

Calls

Call 1

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

Outputs

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

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

simplify183.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
648×	`associate-/l/_binary64`
560×	`cube-prod_binary64`
559×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	252
1	13	252
2	24	252
3	43	252
4	97	252
5	299	252
6	1102	252
7	1947	252
8	2111	252
9	2295	252
10	2503	252
11	2800	252
12	3681	252
13	4164	252
14	4732	252
15	5418	252
16	6253	252
17	6647	252
18	6937	252
19	7215	252
20	7291	252
21	7327	252

Stop Event

1×	node limit

Counts

82 → 49

Calls

Call 1

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

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

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	7.1b	(*.f64 (pow.f64 y -2) x)

Compiler

Compiled 21 to 14 computations (33.3% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(*.f64 (pow.f64 y -2) x)
0.0ms	y	@	inf	(*.f64 (pow.f64 y -2) x)
0.0ms	y	@	-inf	(*.f64 (pow.f64 y -2) x)
0.0ms	x	@	0	(*.f64 (pow.f64 y -2) x)
0.0ms	x	@	inf	(*.f64 (pow.f64 y -2) x)

rewrite53.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

545×	`pow1_binary64`
528×	`add-sqr-sqrt_binary64`
505×	`add-log-exp_binary64`
504×	`log1p-expm1-u_binary64`
504×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	125	7
2	1406	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(*.f64 (pow.f64 y -2) x)

Outputs

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

simplify181.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1140×	`associate-/r*_binary64`
1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	11	168
2	20	168
3	35	168
4	75	168
5	224	168
6	834	168
7	2043	168
8	2209	168
9	2393	168
10	2601	168
11	2898	168
12	3291	168
13	3772	168
14	4340	168
15	5028	168
16	5863	168
17	6255	168
18	6543	168
19	6819	168
20	6891	168
21	6927	168

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

Inputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))

Outputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))

localize12.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (sqrt.f64 x) y)
✓	0.2b	(pow.f64 (/.f64 (sqrt.f64 x) y) 2)

Compiler

Compiled 26 to 12 computations (53.8% saved)

series10.0ms (0.2%)

Counts

2 → 24

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	x	@	0	(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
2.0ms	x	@	-inf	(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
1.0ms	y	@	0	(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
1.0ms	x	@	inf	(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
1.0ms	y	@	-inf	(pow.f64 (/.f64 (sqrt.f64 x) y) 2)

rewrite123.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

669×	`pow1_binary64`
621×	`add-log-exp_binary64`
621×	`log1p-expm1-u_binary64`
621×	`expm1-log1p-u_binary64`
605×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	15
1	148	13
2	1743	13

Stop Event

1×	node limit

Counts

2 → 68

Calls

Call 1

Inputs
(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
(/.f64 (sqrt.f64 x) y)

Outputs

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

simplify269.0ms (5%)

Algorithm

1×	egg-herbie

Rules

782×	`sqr-pow_binary64`
521×	`cube-prod_binary64`
445×	`fabs-mul_binary64`
440×	`unswap-sqr_binary64`
374×	`times-frac_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	192
1	19	156
2	31	156
3	68	156
4	152	156
5	495	156
6	2412	156
7	3536	156
8	3803	156
9	4075	156
10	4360	156
11	4739	156
12	5222	156
13	5820	156
14	6530	156
15	7409	156
16	7870	156

Stop Event

1×	node limit

Counts

92 → 70

Calls

Call 1

Inputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(*.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 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (sqrt.f64 x) y)
(*.f64 (/.f64 1 y) (sqrt.f64 x))
(/.f64 (sqrt.f64 x) y)

localize16.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (cbrt.f64 (/.f64 x (*.f64 y y))) 3)
	7.0b	(/.f64 x (*.f64 y y))
✓	23.3b	(cbrt.f64 (/.f64 x (*.f64 y y)))

Compiler

Compiled 37 to 12 computations (67.6% saved)

series14.0ms (0.3%)

Counts

2 → 0

Calls

12 calls:

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

rewrite108.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

735×	`pow1_binary64`
693×	`add-log-exp_binary64`
693×	`log1p-expm1-u_binary64`
693×	`expm1-log1p-u_binary64`
674×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	174	16
2	1949	16

Stop Event

1×	node limit

Counts

2 → 78

Calls

Call 1

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

Outputs

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

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

simplify14.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

78 → 78

Calls

Call 1

Inputs

Outputs

eval189.0ms (3.5%)

Compiler: Compiled 3443 to 1775 computations (48.4% saved)

prune110.0ms (2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	283	3	286
Fresh	1	0	1
Picked	1	0	1
Done	3	2	5
Total	288	5	293

Error

Counts

293 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(-.f64 (/.f64 1 (/.f64 y (/.f64 x y))) 3)
✓	3.3b	(-.f64 (.f64 (neg.f64 x) (/.f64 1 (.f64 y (neg.f64 y)))) 3)
▶	0.1b	(-.f64 (/.f64 (/.f64 1 y) (/.f64 y x)) 3)
✓	3.1b	(-.f64 (/.f64 x (*.f64 y y)) 3)
▶	0.0b	(-.f64 (/.f64 (/.f64 x y) y) 3)

Compiler

Compiled 53 to 38 computations (28.3% saved)

localize18.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 30 to 12 computations (60% saved)

series7.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite86.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

778×	`pow1_binary64`
722×	`add-log-exp_binary64`
722×	`log1p-expm1-u_binary64`
722×	`expm1-log1p-u_binary64`
705×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	150	14
2	2066	14

Stop Event

1×	node limit

Counts

2 → 77

Calls

Call 1

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

Outputs

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

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

simplify171.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

759×	`sqr-pow_binary64`
436×	`cube-prod_binary64`
434×	`unswap-sqr_binary64`
423×	`associate-*r/_binary64`
423×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	336
1	12	336
2	22	336
3	40	336
4	91	336
5	283	336
6	1133	336
7	3128	336
8	3930	336
9	4115	336
10	4331	336
11	4671	336
12	5096	336
13	5577	336
14	6228	336
15	6919	336
16	7752	336

Stop Event

1×	node limit

Counts

125 → 80

Calls

Call 1

Inputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)
(/.f64 (pow.f64 y 2) x)

Outputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))
(/.f64 (pow.f64 y 2) x)
(/.f64 (*.f64 y y) x)
(/.f64 y (/.f64 x y))
(*.f64 y (/.f64 y x))

localize45.0ms (0.8%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 28 to 15 computations (46.4% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite87.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

810×	`pow1_binary64`
753×	`add-log-exp_binary64`
753×	`log1p-expm1-u_binary64`
753×	`expm1-log1p-u_binary64`
734×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	152	7
2	2156	7

Stop Event

1×	node limit

Counts

1 → 40

Calls

Call 1

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

Outputs

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

simplify188.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1140×	`associate-/r*_binary64`
1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	11	168
2	20	168
3	35	168
4	75	168
5	224	168
6	834	168
7	2043	168
8	2209	168
9	2393	168
10	2601	168
11	2898	168
12	3291	168
13	3772	168
14	4340	168
15	5028	168
16	5863	168
17	6255	168
18	6543	168
19	6819	168
20	6891	168
21	6927	168

Stop Event

1×	node limit

Counts

64 → 42

Calls

Call 1

Inputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))

Outputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))

localize12.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 20 to 7 computations (65% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite95.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

640×	`pow1_binary64`
595×	`add-log-exp_binary64`
595×	`log1p-expm1-u_binary64`
595×	`expm1-log1p-u_binary64`
582×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	109	7
2	1585	7

Stop Event

1×	node limit

Counts

1 → 36

Calls

Call 1

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

Outputs

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

simplify257.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

1140×	`associate-/r*_binary64`
1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	11	168
2	20	168
3	35	168
4	75	168
5	224	168
6	834	168
7	2043	168
8	2209	168
9	2393	168
10	2601	168
11	2898	168
12	3291	168
13	3772	168
14	4340	168
15	5028	168
16	5863	168
17	6255	168
18	6543	168
19	6819	168
20	6891	168
21	6927	168

Stop Event

1×	node limit

Counts

60 → 38

Calls

Call 1

Inputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))

Outputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))
(/.f64 x (pow.f64 y 2))
(/.f64 x (*.f64 y y))

eval113.0ms (2.1%)

Compiler: Compiled 2020 to 1073 computations (46.9% saved)

prune73.0ms (1.4%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	159	1	160
Fresh	0	0	0
Picked	0	1	1
Done	1	3	4
Total	160	5	165

Error

Counts

165 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(-.f64 (/.f64 1 (/.f64 y (/.f64 x y))) 3)
▶	3.3b	(-.f64 (.f64 x (/.f64 1 (.f64 y y))) 3)
✓	0.1b	(-.f64 (/.f64 (/.f64 1 y) (/.f64 y x)) 3)
✓	3.1b	(-.f64 (/.f64 x (*.f64 y y)) 3)
✓	0.0b	(-.f64 (/.f64 (/.f64 x y) y) 3)

Compiler

Compiled 51 to 36 computations (29.4% saved)

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 30 to 15 computations (50% saved)

series3.0ms (0.1%)

Counts

2 → 36

Calls

9 calls:

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

rewrite75.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

618×	`pow1_binary64`
572×	`add-log-exp_binary64`
571×	`log1p-expm1-u_binary64`
571×	`expm1-log1p-u_binary64`
557×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	142	11
2	1721	11

Stop Event

1×	node limit

Counts

2 → 43

Calls

Call 1

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

Outputs

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

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

simplify184.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
645×	`associate-/l/_binary64`
560×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	252
1	14	252
2	23	252
3	42	252
4	96	252
5	299	252
6	1095	252
7	1945	252
8	2109	252
9	2293	252
10	2501	252
11	2798	252
12	3674	252
13	4157	252
14	4725	252
15	5411	252
16	6246	252
17	6636	252
18	6928	252
19	7206	252
20	7278	252
21	7312	252

Stop Event

1×	node limit

Counts

79 → 46

Calls

Call 1

Inputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 1 (pow.f64 y 2))
(/.f64 1 (pow.f64 y 2))
(/.f64 1 (pow.f64 y 2))
(/.f64 1 (pow.f64 y 2))
(/.f64 1 (pow.f64 y 2))
(/.f64 1 (pow.f64 y 2))
(/.f64 1 (pow.f64 y 2))
(/.f64 1 (pow.f64 y 2))
(/.f64 1 (pow.f64 y 2))
(/.f64 1 (pow.f64 y 2))
(/.f64 1 (pow.f64 y 2))
(/.f64 1 (pow.f64 y 2))

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

eval29.0ms (0.5%)

Compiler: Compiled 458 to 322 computations (29.7% saved)

prune8.0ms (0.1%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	46	0	46
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	46	5	51

Error

Counts

51 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(-.f64 (/.f64 1 (/.f64 y (/.f64 x y))) 3)
✓	3.3b	(-.f64 (.f64 x (/.f64 1 (.f64 y y))) 3)
✓	0.1b	(-.f64 (/.f64 (/.f64 1 y) (/.f64 y x)) 3)
✓	3.1b	(-.f64 (/.f64 x (*.f64 y y)) 3)
✓	0.0b	(-.f64 (/.f64 (/.f64 x y) y) 3)

Compiler

Compiled 51 to 36 computations (29.4% saved)

regimes69.0ms (1.3%)

Accuracy

Total -32.7b remaining (-76156.8%)

Threshold costs -32.7b (-76156.8%)

Counts

11 → 1

Calls

Call 1

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

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

Calls

7 calls:

24.0ms	(/.f64 x (*.f64 y y))
11.0ms	(*.f64 y y)
10.0ms	x
6.0ms	y
6.0ms	(*.f64 y y)

Results

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

Compiler

Compiled 140 to 87 computations (37.9% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	10	10
2	11	10

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

soundness0.0ms (0%)

end38.0ms (0.7%)

Compiler: Compiled 9 to 6 computations (33.3% saved)

Details

analyze97.0ms (1.8%)

sample1.5s (28.4%)

preprocess15.0ms (0.3%)

simplify7.0ms (0.1%)

eval1.0ms (0%)

prune1.0ms (0%)

localize51.0ms (0.9%)

series5.0ms (0.1%)

rewrite54.0ms (1%)

simplify173.0ms (3.2%)

eval7.0ms (0.1%)

prune11.0ms (0.2%)

localize10.0ms (0.2%)

series2.0ms (0%)

rewrite312.0ms (5.8%)

simplify168.0ms (3.1%)

localize14.0ms (0.3%)

series3.0ms (0.1%)

rewrite64.0ms (1.2%)

simplify183.0ms (3.4%)

localize9.0ms (0.2%)

series2.0ms (0%)

rewrite53.0ms (1%)

simplify181.0ms (3.4%)

localize12.0ms (0.2%)

series10.0ms (0.2%)

rewrite123.0ms (2.3%)

simplify269.0ms (5%)

localize16.0ms (0.3%)

series14.0ms (0.3%)

rewrite108.0ms (2%)

simplify14.0ms (0.3%)

eval189.0ms (3.5%)

prune110.0ms (2%)

localize18.0ms (0.3%)

series7.0ms (0.1%)

rewrite86.0ms (1.6%)

simplify171.0ms (3.2%)

localize45.0ms (0.8%)

series3.0ms (0.1%)

rewrite87.0ms (1.6%)

simplify188.0ms (3.5%)

localize12.0ms (0.2%)

series3.0ms (0.1%)

rewrite95.0ms (1.8%)

simplify257.0ms (4.8%)

eval113.0ms (2.1%)

prune73.0ms (1.4%)

localize11.0ms (0.2%)

series3.0ms (0.1%)

rewrite75.0ms (1.4%)

simplify184.0ms (3.4%)

eval29.0ms (0.5%)

prune8.0ms (0.1%)

regimes69.0ms (1.3%)

simplify4.0ms (0.1%)

soundness0.0ms (0%)

end38.0ms (0.7%)

Profiling