Details

analyze115.0ms (1.9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
51.6%	50%	46.8%	0.1%	3.1%	0%	0%	7
59%	56.2%	39%	0.1%	4.7%	0%	0%	8
69.6%	62.4%	27.3%	0.1%	10.1%	0%	0%	9
74.7%	65.6%	22.2%	0.1%	12.1%	0%	0%	10
82.4%	68.7%	14.6%	0.1%	16.6%	0%	0%	11
85.6%	70.2%	11.8%	0.1%	17.9%	0%	0%	12

Compiler

Compiled 10 to 7 computations (30% saved)

sample1.4s (22.4%)

Results

1.3s	8256×	body	256	valid
73.0ms	735×	body	256	infinite

Bogosity

preprocess33.0ms (0.5%)

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)

simplify15.0ms (0.3%)

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)

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

4.7b

Counts

3 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

localize15.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 20 to 7 computations (65% saved)

series20.0ms (0.3%)

Counts

1 → 24

Calls

6 calls:

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

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

simplify211.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

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

eval16.0ms (0.3%)

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

prune21.0ms (0.3%)

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
✓	4.7b	(+.f64 (/.f64 x (*.f64 y y)) -3)
▶	0.1b	(+.f64 (*.f64 (/.f64 1 y) (/.f64 x y)) -3)
▶	4.8b	(+.f64 (*.f64 (pow.f64 y -2) x) -3)
▶	4.8b	(+.f64 (.f64 (neg.f64 x) (/.f64 1 (.f64 y (neg.f64 y)))) -3)
▶	4.7b	(+.f64 (pow.f64 (/.f64 (*.f64 y y) x) -1) -3)
▶	30.6b	(+.f64 (pow.f64 (/.f64 (sqrt.f64 x) y) 2) -3)
	12.7b	(+.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (pow.f64 y 4))) (cbrt.f64 (/.f64 x (.f64 y y)))) -3)

Compiler

Compiled 157 to 118 computations (24.8% saved)

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.3b	(*.f64 (/.f64 1 y) (/.f64 x y))
✓	0.3b	(*.f64 (/.f64 1 y) (/.f64 x 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	y	@	0	(*.f64 (/.f64 1 y) (/.f64 x y))
0.0ms	x	@	inf	(*.f64 (/.f64 1 y) (/.f64 x y))
0.0ms	y	@	-inf	(*.f64 (/.f64 1 y) (/.f64 x y))
0.0ms	x	@	-inf	(*.f64 (/.f64 1 y) (/.f64 x y))
0.0ms	y	@	inf	(*.f64 (/.f64 1 y) (/.f64 x y))

rewrite64.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

724×	`pow1_binary64`
671×	`add-log-exp_binary64`
671×	`log1p-expm1-u_binary64`
671×	`expm1-log1p-u_binary64`
656×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	145	7
2	1909	7

Stop Event

1×	node limit

Counts

1 → 43

Calls

Call 1

Inputs
(*.f64 (/.f64 1 y) (/.f64 x 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 1 (.f64 y (/.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (.f64 (/.f64 y x) y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (.f64 y y) x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 y (/.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 y) (/.f64 y x))))) (#(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 (/.f64 x y) y)))) (#(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 (pow.f64 (cbrt.f64 x) 2) (/.f64 (.f64 y y) (cbrt.f64 x)))))) (#(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 (sqrt.f64 x) (/.f64 (.f64 y y) (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (.f64 (neg.f64 y) (/.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (.f64 (/.f64 y x) (neg.f64 y)))))) (#(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 -1 (neg.f64 x)) (.f64 (neg.f64 y) (neg.f64 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 (/.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 -1 (/.f64 x y)) (neg.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 (/.f64 1 y) (neg.f64 x)) (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 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 (/.f64 (pow.f64 y -2) y) (pow.f64 (/.f64 x 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 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 1 (*.f64 y (/.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (*.f64 (/.f64 y x) y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 y y) x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 y (/.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 y) (/.f64 y x))))) (#(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 (/.f64 x y) y)))) (#(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 (pow.f64 (cbrt.f64 x) 2) (/.f64 (*.f64 y y) (cbrt.f64 x)))))) (#(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 (sqrt.f64 x) (/.f64 (*.f64 y y) (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (*.f64 (neg.f64 y) (/.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (*.f64 (/.f64 y x) (neg.f64 y)))))) (#(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 -1 (neg.f64 x)) (*.f64 (neg.f64 y) (neg.f64 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 (/.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 -1 (/.f64 x y)) (neg.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 (/.f64 1 y) (neg.f64 x)) (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 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 (/.f64 (pow.f64 y -2) y) (pow.f64 (/.f64 x 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 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))))))))

simplify191.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

67 → 44

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

localize35.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
	11.9b	(.f64 (neg.f64 x) (/.f64 1 (.f64 y (neg.f64 y))))
	0.5b	(/.f64 1 (*.f64 y (neg.f64 y)))
✓	0.5b	(/.f64 1 (*.f64 y (neg.f64 y)))
✓	11.9b	(.f64 (neg.f64 x) (/.f64 1 (.f64 y (neg.f64 y))))

Compiler

Compiled 40 to 17 computations (57.5% saved)

series6.0ms (0.1%)

Counts

2 → 36

Calls

9 calls:

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

rewrite81.0ms (1.3%)

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

simplify199.0ms (3.3%)

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)

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
	11.9b	(*.f64 (pow.f64 y -2) x)
✓	11.9b	(*.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	@	-inf	(*.f64 (pow.f64 y -2) x)
0.0ms	y	@	0	(*.f64 (pow.f64 y -2) x)
0.0ms	y	@	inf	(*.f64 (pow.f64 y -2) x)
0.0ms	x	@	-inf	(*.f64 (pow.f64 y -2) x)
0.0ms	x	@	inf	(*.f64 (pow.f64 y -2) x)

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

simplify171.0ms (2.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

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

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 30 to 12 computations (60% saved)

series6.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite62.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

716×	`pow1_binary64`
667×	`add-log-exp_binary64`
667×	`log1p-expm1-u_binary64`
667×	`expm1-log1p-u_binary64`
649×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	147	14
2	1882	14

Stop Event

1×	node limit

Counts

2 → 73

Calls

Call 1

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

Outputs

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

simplify136.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

759×	`sqr-pow_binary64`
436×	`cube-prod_binary64`
434×	`unswap-sqr_binary64`
423×	`*-commutative_binary64`
423×	`associate-*r/_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	286	336
6	1137	336
7	3130	336
8	3932	336
9	4117	336
10	4333	336
11	4674	336
12	5101	336
13	5580	336
14	6229	336
15	6918	336
16	7753	336

Stop Event

1×	node limit

Counts

121 → 76

Calls

Call 1

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

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
	0.1b	(/.f64 (sqrt.f64 x) y)
✓	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)

series14.0ms (0.2%)

Counts

2 → 24

Calls

12 calls:

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

rewrite80.0ms (1.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)))))))

simplify132.0ms (2.2%)

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)

eval61.0ms (1%)

Compiler: Compiled 2915 to 1541 computations (47.1% saved)

prune41.0ms (0.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	247	5	252
Fresh	1	0	1
Picked	1	0	1
Done	4	1	5
Total	253	6	259

Error

Counts

259 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	4.7b	(+.f64 (/.f64 x (*.f64 y y)) -3)
▶	0.1b	(+.f64 (/.f64 (/.f64 x y) y) -3)
▶	27.4b	(+.f64 (/.f64 (sqrt.f64 (/.f64 x y)) (/.f64 y (sqrt.f64 (/.f64 x y)))) -3)
▶	30.7b	(+.f64 (pow.f64 (*.f64 (/.f64 (pow.f64 x 1/4) 1) (/.f64 (pow.f64 x 1/4) y)) 2) -3)
▶	0.1b	(+.f64 (/.f64 1 (*.f64 y (/.f64 y x))) -3)
▶	4.8b	(+.f64 (.f64 (/.f64 1 (.f64 y y)) x) -3)

Compiler

Compiled 135 to 94 computations (30.4% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 20 to 7 computations (65% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.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)

rewrite63.0ms (1%)

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

simplify176.0ms (2.9%)

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

localize38.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 30 to 15 computations (50% saved)

series3.0ms (0%)

Counts

2 → 36

Calls

9 calls:

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

rewrite60.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

615×	`pow1_binary64`
569×	`add-log-exp_binary64`
568×	`log1p-expm1-u_binary64`
568×	`expm1-log1p-u_binary64`
554×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	140	11
2	1684	11

Stop Event

1×	node limit

Counts

2 → 43

Calls

Call 1

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

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 /.f64 1 (/.f64 (*.f64 y y) x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (*.f64 y y))))) (#(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 (/.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 -1 x) (*.f64 y (neg.f64 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) (*.f64 y (neg.f64 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 (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) 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 (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)))))))

((#(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)) (pow.f64 (cbrt.f64 (pow.f64 y -2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 y -2)) 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 (*.f64 y (neg.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 y 4)) -1) (pow.f64 (cbrt.f64 (*.f64 y y)) -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%)

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)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 30 to 12 computations (60% saved)

series3.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite73.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

740×	`pow1_binary64`
684×	`add-log-exp_binary64`
684×	`log1p-expm1-u_binary64`
684×	`expm1-log1p-u_binary64`
668×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	146	14
2	1900	14

Stop Event

1×	node limit

Counts

2 → 55

Calls

Call 1

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

Outputs

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

simplify174.0ms (2.9%)

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

103 → 59

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

localize42.0ms (0.7%)

Local error

Found 6 expressions with local error:

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

Compiler

Compiled 42 to 9 computations (78.6% saved)

series15.0ms (0.2%)

Counts

3 → 24

Calls

18 calls:

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

rewrite95.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

897×	`pow1_binary64`
837×	`add-log-exp_binary64`
837×	`log1p-expm1-u_binary64`
837×	`expm1-log1p-u_binary64`
816×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	32
1	156	22
2	2288	22

Stop Event

1×	node limit

Counts

3 → 99

Calls

Call 1

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

Outputs

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

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

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

simplify107.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

594×	`associate-/r/_binary64`
588×	`div-sub_binary64`
577×	`distribute-rgt-neg-in_binary64`
449×	`distribute-lft-neg-in_binary64`
347×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	168
1	27	168
2	78	168
3	244	168
4	1597	168
5	3881	168
6	7081	168

Stop Event

1×	node limit

Counts

123 → 102

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

localize41.0ms (0.7%)

Local error

Found 6 expressions with local error:

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

Compiler

Compiled 60 to 45 computations (25% saved)

series156.0ms (2.6%)

Counts

3 → 48

Calls

18 calls:

Time	Variable		Point	Expression
57.0ms	x	@	inf	(/.f64 (pow.f64 x 1/4) y)
31.0ms	y	@	inf	(/.f64 (pow.f64 x 1/4) y)
29.0ms	x	@	0	(/.f64 (pow.f64 x 1/4) y)
20.0ms	y	@	0	(/.f64 (pow.f64 x 1/4) y)
12.0ms	x	@	-inf	(/.f64 (pow.f64 x 1/4) y)

rewrite705.0ms (11.6%)

Algorithm

1×	batch-egg-rewrite

Rules

932×	`pow1_binary64`
867×	`add-log-exp_binary64`
867×	`log1p-expm1-u_binary64`
867×	`expm1-log1p-u_binary64`
100×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	36
1	244	20
2	2586	20

Stop Event

1×	node limit

Counts

3 → 104

Calls

Call 1

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

Outputs

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

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

simplify77.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

689×	`times-frac_binary64`
648×	`fma-def_binary64`
498×	`fma-neg_binary64`
362×	`associate-/l*_binary64`
294×	`associate-l_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	432
1	56	324
2	129	324
3	323	324
4	1074	324
5	4979	324
6	7212	324

Stop Event

1×	node limit

Counts

152 → 109

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))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(/.f64 (exp.f64 (.f64 1/4 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) y)
(/.f64 (exp.f64 (.f64 1/4 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) y)
(/.f64 (exp.f64 (.f64 1/4 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) y)
(/.f64 (exp.f64 (.f64 1/4 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))

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)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(/.f64 (exp.f64 (.f64 1/4 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) y)
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(/.f64 (exp.f64 (.f64 1/4 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) y)
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(/.f64 (exp.f64 (.f64 1/4 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) y)
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(/.f64 (exp.f64 (.f64 1/4 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) y)
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)
(.f64 (pow.f64 (.f64 1 x) 1/4) (/.f64 1 y))
(*.f64 (/.f64 1 y) (pow.f64 x 1/4))
(/.f64 (pow.f64 x 1/4) y)

eval139.0ms (2.3%)

Compiler: Compiled 5355 to 2731 computations (49% saved)

prune67.0ms (1.1%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	381	1	382
Fresh	0	0	0
Picked	1	0	1
Done	0	5	5
Total	382	6	388

Error

Counts

388 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	30.6b	(+.f64 (pow.f64 (/.f64 (/.f64 (pow.f64 x 1/4) y) (pow.f64 x -1/4)) 2) -3)
✓	0.1b	(+.f64 (/.f64 (/.f64 x y) y) -3)
✓	4.7b	(+.f64 (/.f64 x (*.f64 y y)) -3)
✓	27.4b	(+.f64 (/.f64 (sqrt.f64 (/.f64 x y)) (/.f64 y (sqrt.f64 (/.f64 x y)))) -3)
✓	0.1b	(+.f64 (/.f64 1 (*.f64 y (/.f64 y x))) -3)
✓	4.8b	(+.f64 (.f64 (/.f64 1 (.f64 y y)) x) -3)

Compiler

Compiled 70 to 48 computations (31.4% saved)

localize33.0ms (0.6%)

Local error

Found 6 expressions with local error:

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

Compiler

Compiled 52 to 37 computations (28.8% saved)

series4.0ms (0.1%)

Counts

2 → 24

Calls

12 calls:

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

rewrite87.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

531×	`log-prod_binary64`
409×	`exp-prod_binary64`
307×	`pow-prod-down_binary64`
289×	`pow2_binary64`
197×	`pow1/3_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	29
1	248	15
2	3035	15

Stop Event

1×	node limit

Counts

2 → 113

Calls

Call 1

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

Outputs

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

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

simplify136.0ms (2.2%)

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

137 → 117

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)

eval54.0ms (0.9%)

Compiler: Compiled 2385 to 1599 computations (33% saved)

prune26.0ms (0.4%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	153	1	154
Fresh	0	0	0
Picked	1	0	1
Done	0	5	5
Total	154	6	160

Error

Counts

160 → 6

Alt Table

Click to see full alt table

Status	Error	Program
	30.6b	(+.f64 (/.f64 (/.f64 (sqrt.f64 x) y) (*.f64 (pow.f64 x -1/2) y)) -3)
✓	4.8b	(+.f64 (.f64 (/.f64 1 (.f64 y y)) x) -3)
✓	4.7b	(+.f64 (/.f64 x (*.f64 y y)) -3)
✓	0.1b	(+.f64 (/.f64 (/.f64 x y) y) -3)
✓	27.4b	(+.f64 (/.f64 (sqrt.f64 (/.f64 x y)) (/.f64 y (sqrt.f64 (/.f64 x y)))) -3)
✓	0.1b	(+.f64 (/.f64 1 (*.f64 y (/.f64 y x))) -3)

Compiler

Compiled 69 to 46 computations (33.3% saved)

regimes61.0ms (1%)

Accuracy

Total -49.0b remaining (-59695.4%)

Threshold costs -49.0b (-59695.4%)

Counts

15 → 1

Calls

Call 1

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

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

Calls

7 calls:

14.0ms	(*.f64 y y)
9.0ms	x
9.0ms	y
7.0ms	(*.f64 y y)
6.0ms	(/.f64 x (*.f64 y y))

Results

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

Compiler

Compiled 195 to 120 computations (38.5% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	8	10

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

soundness168.0ms (2.8%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	12	10
2	13	10
0	7	336
1	12	336
2	22	336
3	40	336
4	91	336
5	286	336
6	1137	336
7	3130	336
8	3932	336
9	4117	336
10	4333	336
11	4674	336
12	5101	336
13	5580	336
14	6229	336
15	6918	336
16	7753	336

Stop Event

1×	node limit
1×	saturated

Compiler

Compiled 49 to 32 computations (34.7% saved)

end14.0ms (0.2%)

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

Details

analyze115.0ms (1.9%)

sample1.4s (22.4%)

preprocess33.0ms (0.5%)

simplify15.0ms (0.3%)

eval1.0ms (0%)

prune2.0ms (0%)

localize15.0ms (0.2%)

series20.0ms (0.3%)

rewrite58.0ms (1%)

simplify211.0ms (3.5%)

eval16.0ms (0.3%)

prune21.0ms (0.3%)

localize11.0ms (0.2%)

series2.0ms (0%)

rewrite64.0ms (1%)

simplify191.0ms (3.1%)

localize35.0ms (0.6%)

series6.0ms (0.1%)

rewrite81.0ms (1.3%)

simplify199.0ms (3.3%)

localize11.0ms (0.2%)

series2.0ms (0%)

rewrite62.0ms (1%)

simplify171.0ms (2.8%)

localize11.0ms (0.2%)

series6.0ms (0.1%)

rewrite62.0ms (1%)

simplify136.0ms (2.2%)

localize9.0ms (0.2%)

series14.0ms (0.2%)

rewrite80.0ms (1.3%)

simplify132.0ms (2.2%)

eval61.0ms (1%)

prune41.0ms (0.7%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite63.0ms (1%)

simplify176.0ms (2.9%)

localize38.0ms (0.6%)

series3.0ms (0%)

rewrite60.0ms (1%)

simplify184.0ms (3%)

localize9.0ms (0.2%)

series3.0ms (0.1%)

rewrite73.0ms (1.2%)

simplify174.0ms (2.9%)

localize42.0ms (0.7%)

series15.0ms (0.2%)

rewrite95.0ms (1.6%)

simplify107.0ms (1.8%)

localize41.0ms (0.7%)

series156.0ms (2.6%)

rewrite705.0ms (11.6%)

simplify77.0ms (1.3%)

eval139.0ms (2.3%)

prune67.0ms (1.1%)

localize33.0ms (0.6%)

series4.0ms (0.1%)

rewrite87.0ms (1.4%)

simplify136.0ms (2.2%)

eval54.0ms (0.9%)

prune26.0ms (0.4%)

regimes61.0ms (1%)

simplify4.0ms (0.1%)

soundness168.0ms (2.8%)

end14.0ms (0.2%)

Profiling