Details

analyze75.0ms (1.2%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
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 8 to 5 computations (37.5% saved)

sample2.5s (41.2%)

Results

2.4s	8256×	body	256	valid
104.0ms	775×	body	256	infinite

Bogosity

preprocess21.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

8×	`rational.json-simplify-54`
8×	`rational.json-simplify-55`
4×	`rational.json-simplify-73`
4×	`rational.json-simplify-71`
4×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	26
1	11	26
2	15	26
3	19	26
4	27	26
5	27	26
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify28.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

4×	`rational.json-simplify-54`
4×	`rational.json-simplify-55`
2×	`rational.json-simplify-73`
2×	`rational.json-simplify-71`
2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	8	13
2	10	13
3	12	13
4	16	13
5	16	13

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 7 to 4 computations (42.9% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

8.7b

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 4 computations (42.9% saved)

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 4 computations (66.7% saved)

series6.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.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	x	@	-inf	(/.f64 x (*.f64 y y))
0.0ms	y	@	inf	(/.f64 x (*.f64 y y))

rewrite125.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1470×	`rational.json-5`
1468×	`exponential.json-3`
1468×	`rational.json-1`
1468×	`rational.json-2`
1468×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	52	13
2	190	13
3	693	13
4	2863	13

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 x (.f64 y y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 x (.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x (.f64 y y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 x (.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (/.f64 x (.f64 y y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 x (.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 x (.f64 y y)) (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 x (.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 x (.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 x (.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (/.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))))) (/.f64 (/.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 x (.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 x (*.f64 y y))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 x (*.f64 y y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x (*.f64 y y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (/.f64 x (*.f64 y y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (*.f64 y y)) (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (/.f64 x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (/.f64 1 (/.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (/.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (/.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 x (*.f64 y y))) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))) (/.f64 (/.f64 1 (/.f64 x (*.f64 y y))) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (/.f64 x (*.f64 y y))) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))) (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))) (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))) (/.f64 (/.f64 (/.f64 1 (/.f64 x (*.f64 y y))) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))) (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 x (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 x (*.f64 y y))))))))

simplify226.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1030×	`rational.json-simplify-47`
866×	`rational.json-simplify-1`
782×	`rational.json-simplify-2`
716×	`rational.json-simplify-111`
622×	`rational.json-simplify-54`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	533
1	79	533
2	174	533
3	926	533
4	4227	533
5	7026	533

Stop Event

1×	node limit

Counts

41 → 19

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 (/.f64 x (*.f64 y y)) 0)
(+.f64 0 (/.f64 x (*.f64 y y)))
(-.f64 (/.f64 x (*.f64 y y)) 0)
(-.f64 0 (neg.f64 (/.f64 x (*.f64 y y))))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 x (*.f64 y y)))) 1)
(.f64 (/.f64 x (.f64 y y)) 1)
(.f64 (/.f64 x (.f64 y y)) (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))
(.f64 1 (/.f64 x (.f64 y y)))
(.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 x (.f64 y y)))
(.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (*.f64 y y))))
(.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 x (*.f64 y y))))
(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
(.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (/.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))))
(.f64 (/.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))
(.f64 (.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))))) (/.f64 (/.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(pow.f64 (/.f64 x (*.f64 y y)) 1)
(neg.f64 (neg.f64 (/.f64 x (*.f64 y y))))

Outputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 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 x (*.f64 y y)) 0)
(/.f64 x (*.f64 y y))
(+.f64 0 (/.f64 x (*.f64 y y)))
(/.f64 x (*.f64 y y))
(-.f64 (/.f64 x (*.f64 y y)) 0)
(/.f64 x (*.f64 y y))
(-.f64 0 (neg.f64 (/.f64 x (*.f64 y y))))
(/.f64 x (*.f64 y y))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 x (*.f64 y y)))) 1)
(/.f64 x (*.f64 y y))
(.f64 (/.f64 x (.f64 y y)) 1)
(/.f64 x (*.f64 y y))
(.f64 (/.f64 x (.f64 y y)) (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))
(/.f64 x (*.f64 y y))
(.f64 1 (/.f64 x (.f64 y y)))
(/.f64 x (*.f64 y y))
(.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 x (.f64 y y)))
(/.f64 x (*.f64 y y))
(.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (*.f64 y y))))
(/.f64 x (*.f64 y y))
(.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 x (*.f64 y y))))
(/.f64 x (*.f64 y y))
(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
(/.f64 x (*.f64 y y))
(.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (/.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))))
(/.f64 x (*.f64 y y))
(.f64 (/.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))
(/.f64 x (*.f64 y y))
(.f64 (.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))))) (/.f64 (/.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(/.f64 x (*.f64 y y))
(pow.f64 (/.f64 x (*.f64 y y)) 1)
(/.f64 x (*.f64 y y))
(neg.f64 (neg.f64 (/.f64 x (*.f64 y y))))
(/.f64 x (*.f64 y y))

eval3.0ms (0%)

Compiler: Compiled 358 to 57 computations (84.1% saved)

prune4.0ms (0.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	18	1	19
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	2	20

Error

8.7b

Counts

20 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	8.7b	(/.f64 x (*.f64 y y))
▶	43.7b	(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))

Compiler

Compiled 28 to 12 computations (57.1% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 50 to 11 computations (78% saved)

series6.0ms (0.1%)

Counts

3 → 72

Calls

18 calls:

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

rewrite156.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1444×	`rational.json-simplify-47`
786×	`rational.json-simplify-58`
780×	`rational.json-simplify-55`
484×	`rational.json-5`
482×	`exponential.json-3`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	105
1	87	63
2	281	63
3	1020	63
4	4833	63

Stop Event

1×	node limit

Counts

3 → 83

Calls

Call 1

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

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

Outputs

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

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

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (neg.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (fabs.f64 (/.f64 x (*.f64 y y))) (/.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (*.f64 y y)) (fabs.f64 (/.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (/.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (neg.f64 (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 (/.f64 x (*.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (fabs.f64 (/.f64 x (*.f64 y y))) (neg.f64 (/.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (fabs.f64 (/.f64 x (*.f64 y y))) (/.f64 x (neg.f64 (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (fabs.f64 (/.f64 x (*.f64 y y))) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (fabs.f64 (/.f64 x (*.f64 y y))) (/.f64 (/.f64 x (*.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 (/.f64 x (*.f64 y y))) (/.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 (/.f64 x (*.f64 y y))) (fabs.f64 (/.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 (/.f64 x (*.f64 y y))) (/.f64 x (neg.f64 (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 (/.f64 x (*.f64 y y))) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 (/.f64 x (*.f64 y y))) (/.f64 (/.f64 x (*.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (neg.f64 (*.f64 y y))) (/.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (neg.f64 (*.f64 y y))) (fabs.f64 (/.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (neg.f64 (*.f64 y y))) (neg.f64 (/.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (neg.f64 (*.f64 y y))) (/.f64 x (neg.f64 (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (neg.f64 (*.f64 y y))) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (neg.f64 (*.f64 y y))) (/.f64 (/.f64 x (*.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y)))) (/.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y)))) (fabs.f64 (/.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y)))) (neg.f64 (/.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y)))) (/.f64 x (neg.f64 (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y)))) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y)))) (/.f64 (/.f64 x (*.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 (/.f64 x (*.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))) (/.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 (/.f64 x (*.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))) (fabs.f64 (/.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 (/.f64 x (*.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))) (neg.f64 (/.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 (/.f64 x (*.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))) (/.f64 x (neg.f64 (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 (/.f64 x (*.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 (/.f64 x (*.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))) (/.f64 (/.f64 x (*.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (/.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (neg.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (/.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (/.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (/.f64 (/.f64 x (*.f64 y y)) (fabs.f64 (/.f64 x (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (/.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (fabs.f64 (/.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (/.f64 (fabs.f64 (/.f64 x (*.f64 y y))) (neg.f64 (/.f64 x (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (/.f64 (*.f64 (/.f64 x (*.f64 y y)) 2) (*.f64 (fabs.f64 (/.f64 x (*.f64 y y))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (neg.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (/.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))) (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (neg.f64 (fabs.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 0 (/.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (neg.f64 (/.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))))))

simplify254.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

1162×	`rational.json-simplify-47`
900×	`rational.json-simplify-104`
858×	`rational.json-simplify-55`
832×	`rational.json-simplify-76`
828×	`rational.json-simplify-54`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	189	3269
1	395	3269
2	664	3269
3	2756	3269
4	7453	3269

Stop Event

1×	node limit

Counts

155 → 88

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)
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(+.f64 (/.f64 x (*.f64 y y)) 0)
(+.f64 0 (/.f64 x (*.f64 y y)))
(-.f64 (/.f64 x (*.f64 y y)) 0)
(-.f64 0 (neg.f64 (/.f64 x (*.f64 y y))))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 x (*.f64 y y)))) 1)
(/.f64 x (*.f64 y y))
(/.f64 (/.f64 x (*.f64 y y)) 1)
(/.f64 (/.f64 x (.f64 y y)) (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
(pow.f64 (/.f64 x (*.f64 y y)) 1)
(neg.f64 (neg.f64 (/.f64 x (*.f64 y y))))
(+.f64 (/.f64 1 (/.f64 x (*.f64 y y))) 0)
(+.f64 0 (/.f64 1 (/.f64 x (*.f64 y y))))
(-.f64 (/.f64 1 (/.f64 x (*.f64 y y))) 0)
(-.f64 0 (neg.f64 (/.f64 1 (/.f64 x (*.f64 y y)))))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 1 (/.f64 x (*.f64 y y))))) 1)
(.f64 1 (/.f64 1 (/.f64 x (.f64 y y))))
(.f64 (/.f64 1 (/.f64 x (.f64 y y))) 1)
(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y)))))
(.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y)))) (/.f64 1 (/.f64 1 (/.f64 x (*.f64 y y)))))
(.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y)))) (.f64 (/.f64 1 (/.f64 1 (/.f64 x (.f64 y y)))) 1))
(.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y)))) (/.f64 (/.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y)))) (/.f64 1 (/.f64 x (*.f64 y y)))))
(.f64 (/.f64 1 (/.f64 1 (/.f64 x (.f64 y y)))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (*.f64 y y)))))
(.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y)))))) (/.f64 (/.f64 1 (/.f64 1 (/.f64 x (.f64 y y)))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y))))))
(.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y)))))) (/.f64 (.f64 (/.f64 1 (/.f64 1 (/.f64 x (.f64 y y)))) 1) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (*.f64 y y))))))
(.f64 (.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y)))))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y))))))) (/.f64 (/.f64 (/.f64 1 (/.f64 1 (/.f64 x (.f64 y y)))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y))))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (*.f64 y y))))))))
(pow.f64 (/.f64 1 (/.f64 x (*.f64 y y))) 1)
(neg.f64 (neg.f64 (/.f64 1 (/.f64 x (*.f64 y y)))))
(+.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))) 0)
(+.f64 0 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
(-.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))) 0)
(-.f64 0 (neg.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))) 1)
(/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))) 1)
(/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
(pow.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))) 1)
(neg.f64 (neg.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))
(fabs.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
(fabs.f64 (neg.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (neg.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))))
(fabs.f64 (.f64 (fabs.f64 (/.f64 x (.f64 y y))) (/.f64 x (*.f64 y y))))
(fabs.f64 (.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 x (*.f64 y y)))))
(fabs.f64 (neg.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(fabs.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (neg.f64 (*.f64 y y)))))
(fabs.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))
(fabs.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(fabs.f64 (.f64 (fabs.f64 (/.f64 x (.f64 y y))) (neg.f64 (/.f64 x (*.f64 y y)))))
(fabs.f64 (.f64 (fabs.f64 (/.f64 x (.f64 y y))) (/.f64 x (neg.f64 (*.f64 y y)))))
(fabs.f64 (.f64 (fabs.f64 (/.f64 x (.f64 y y))) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))
(fabs.f64 (.f64 (fabs.f64 (/.f64 x (.f64 y y))) (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(fabs.f64 (.f64 (neg.f64 (/.f64 x (.f64 y y))) (/.f64 x (*.f64 y y))))
(fabs.f64 (.f64 (neg.f64 (/.f64 x (.f64 y y))) (fabs.f64 (/.f64 x (*.f64 y y)))))
(fabs.f64 (.f64 (neg.f64 (/.f64 x (.f64 y y))) (/.f64 x (neg.f64 (*.f64 y y)))))
(fabs.f64 (.f64 (neg.f64 (/.f64 x (.f64 y y))) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))
(fabs.f64 (.f64 (neg.f64 (/.f64 x (.f64 y y))) (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(fabs.f64 (.f64 (/.f64 x (neg.f64 (.f64 y y))) (/.f64 x (*.f64 y y))))
(fabs.f64 (.f64 (/.f64 x (neg.f64 (.f64 y y))) (fabs.f64 (/.f64 x (*.f64 y y)))))
(fabs.f64 (.f64 (/.f64 x (neg.f64 (.f64 y y))) (neg.f64 (/.f64 x (*.f64 y y)))))
(fabs.f64 (.f64 (/.f64 x (neg.f64 (.f64 y y))) (/.f64 x (neg.f64 (*.f64 y y)))))
(fabs.f64 (.f64 (/.f64 x (neg.f64 (.f64 y y))) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))
(fabs.f64 (.f64 (/.f64 x (neg.f64 (.f64 y y))) (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(fabs.f64 (.f64 (/.f64 x (/.f64 (.f64 y y) (fabs.f64 (/.f64 y y)))) (/.f64 x (*.f64 y y))))
(fabs.f64 (.f64 (/.f64 x (/.f64 (.f64 y y) (fabs.f64 (/.f64 y y)))) (fabs.f64 (/.f64 x (*.f64 y y)))))
(fabs.f64 (.f64 (/.f64 x (/.f64 (.f64 y y) (fabs.f64 (/.f64 y y)))) (neg.f64 (/.f64 x (*.f64 y y)))))
(fabs.f64 (.f64 (/.f64 x (/.f64 (.f64 y y) (fabs.f64 (/.f64 y y)))) (/.f64 x (neg.f64 (*.f64 y y)))))
(fabs.f64 (.f64 (/.f64 x (/.f64 (.f64 y y) (fabs.f64 (/.f64 y y)))) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))
(fabs.f64 (.f64 (/.f64 x (/.f64 (.f64 y y) (fabs.f64 (/.f64 y y)))) (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(fabs.f64 (.f64 (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (/.f64 x (*.f64 y y))))
(fabs.f64 (.f64 (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (fabs.f64 (/.f64 x (*.f64 y y)))))
(fabs.f64 (.f64 (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (neg.f64 (/.f64 x (*.f64 y y)))))
(fabs.f64 (.f64 (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (/.f64 x (neg.f64 (*.f64 y y)))))
(fabs.f64 (.f64 (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))
(fabs.f64 (.f64 (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (neg.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))))))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 x (*.f64 y y))))))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (fabs.f64 (/.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))))))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (fabs.f64 (/.f64 x (.f64 y y))) (neg.f64 (/.f64 x (*.f64 y y))))))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (.f64 (/.f64 x (.f64 y y)) 2) (.f64 (fabs.f64 (/.f64 x (*.f64 y y))) 2))))
(fabs.f64 (/.f64 (neg.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))))
(fabs.f64 (/.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (neg.f64 (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(fabs.f64 (-.f64 0 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (neg.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))

Outputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 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)
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(+.f64 (/.f64 x (*.f64 y y)) 0)
(/.f64 x (*.f64 y y))
(+.f64 0 (/.f64 x (*.f64 y y)))
(/.f64 x (*.f64 y y))
(-.f64 (/.f64 x (*.f64 y y)) 0)
(/.f64 x (*.f64 y y))
(-.f64 0 (neg.f64 (/.f64 x (*.f64 y y))))
(/.f64 x (*.f64 y y))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 x (*.f64 y y)))) 1)
(/.f64 x (*.f64 y y))
(/.f64 x (*.f64 y y))
(/.f64 (/.f64 x (*.f64 y y)) 1)
(/.f64 x (*.f64 y y))
(/.f64 (/.f64 x (.f64 y y)) (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
(/.f64 x (*.f64 y y))
(pow.f64 (/.f64 x (*.f64 y y)) 1)
(/.f64 x (*.f64 y y))
(neg.f64 (neg.f64 (/.f64 x (*.f64 y y))))
(/.f64 x (*.f64 y y))
(+.f64 (/.f64 1 (/.f64 x (*.f64 y y))) 0)
(/.f64 1 (/.f64 x (*.f64 y y)))
(+.f64 0 (/.f64 1 (/.f64 x (*.f64 y y))))
(/.f64 1 (/.f64 x (*.f64 y y)))
(-.f64 (/.f64 1 (/.f64 x (*.f64 y y))) 0)
(/.f64 1 (/.f64 x (*.f64 y y)))
(-.f64 0 (neg.f64 (/.f64 1 (/.f64 x (*.f64 y y)))))
(/.f64 1 (/.f64 x (*.f64 y y)))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 1 (/.f64 x (*.f64 y y))))) 1)
(/.f64 1 (/.f64 x (*.f64 y y)))
(.f64 1 (/.f64 1 (/.f64 x (.f64 y y))))
(/.f64 1 (/.f64 x (*.f64 y y)))
(.f64 (/.f64 1 (/.f64 x (.f64 y y))) 1)
(/.f64 1 (/.f64 x (*.f64 y y)))
(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y)))))
(/.f64 1 (/.f64 x (*.f64 y y)))
(.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y)))) (/.f64 1 (/.f64 1 (/.f64 x (*.f64 y y)))))
(/.f64 1 (/.f64 x (*.f64 y y)))
(.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y)))) (.f64 (/.f64 1 (/.f64 1 (/.f64 x (.f64 y y)))) 1))
(/.f64 1 (/.f64 x (*.f64 y y)))
(.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y)))) (/.f64 (/.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y)))) (/.f64 1 (/.f64 x (*.f64 y y)))))
(/.f64 1 (/.f64 x (*.f64 y y)))
(.f64 (/.f64 1 (/.f64 1 (/.f64 x (.f64 y y)))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (*.f64 y y)))))
(/.f64 1 (/.f64 x (*.f64 y y)))
(.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y)))))) (/.f64 (/.f64 1 (/.f64 1 (/.f64 x (.f64 y y)))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y))))))
(/.f64 1 (/.f64 x (*.f64 y y)))
(.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y)))))) (/.f64 (.f64 (/.f64 1 (/.f64 1 (/.f64 x (.f64 y y)))) 1) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (*.f64 y y))))))
(/.f64 1 (/.f64 x (*.f64 y y)))
(.f64 (.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y)))))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y))))))) (/.f64 (/.f64 (/.f64 1 (/.f64 1 (/.f64 x (.f64 y y)))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y))))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (*.f64 y y))))))))
(/.f64 1 (/.f64 x (*.f64 y y)))
(pow.f64 (/.f64 1 (/.f64 x (*.f64 y y))) 1)
(/.f64 1 (/.f64 x (*.f64 y y)))
(neg.f64 (neg.f64 (/.f64 1 (/.f64 x (*.f64 y y)))))
(/.f64 1 (/.f64 x (*.f64 y y)))
(+.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))) 0)
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(+.f64 0 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(-.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))) 0)
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(-.f64 0 (neg.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))) 1)
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))) 1)
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(pow.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))) 1)
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(neg.f64 (neg.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (neg.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (neg.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (fabs.f64 (/.f64 x (.f64 y y))) (/.f64 x (*.f64 y y))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 x (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (neg.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (neg.f64 (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (fabs.f64 (/.f64 x (.f64 y y))) (neg.f64 (/.f64 x (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (fabs.f64 (/.f64 x (.f64 y y))) (/.f64 x (neg.f64 (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (fabs.f64 (/.f64 x (.f64 y y))) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (fabs.f64 (/.f64 x (.f64 y y))) (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (neg.f64 (/.f64 x (.f64 y y))) (/.f64 x (*.f64 y y))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (neg.f64 (/.f64 x (.f64 y y))) (fabs.f64 (/.f64 x (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (neg.f64 (/.f64 x (.f64 y y))) (/.f64 x (neg.f64 (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (neg.f64 (/.f64 x (.f64 y y))) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (neg.f64 (/.f64 x (.f64 y y))) (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 x (neg.f64 (.f64 y y))) (/.f64 x (*.f64 y y))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 x (neg.f64 (.f64 y y))) (fabs.f64 (/.f64 x (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 x (neg.f64 (.f64 y y))) (neg.f64 (/.f64 x (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 x (neg.f64 (.f64 y y))) (/.f64 x (neg.f64 (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 x (neg.f64 (.f64 y y))) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 x (neg.f64 (.f64 y y))) (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 x (/.f64 (.f64 y y) (fabs.f64 (/.f64 y y)))) (/.f64 x (*.f64 y y))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 x (/.f64 (.f64 y y) (fabs.f64 (/.f64 y y)))) (fabs.f64 (/.f64 x (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 x (/.f64 (.f64 y y) (fabs.f64 (/.f64 y y)))) (neg.f64 (/.f64 x (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 x (/.f64 (.f64 y y) (fabs.f64 (/.f64 y y)))) (/.f64 x (neg.f64 (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 x (/.f64 (.f64 y y) (fabs.f64 (/.f64 y y)))) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 x (/.f64 (.f64 y y) (fabs.f64 (/.f64 y y)))) (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (/.f64 x (*.f64 y y))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (fabs.f64 (/.f64 x (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (neg.f64 (/.f64 x (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (/.f64 x (neg.f64 (*.f64 y y)))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (/.f64 x (/.f64 (*.f64 y y) (fabs.f64 (/.f64 y y))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (.f64 (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (neg.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (/.f64 x (.f64 y y)) (fabs.f64 (/.f64 x (*.f64 y y))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (fabs.f64 (/.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (fabs.f64 (/.f64 x (.f64 y y))) (neg.f64 (/.f64 x (*.f64 y y))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 (.f64 (/.f64 x (.f64 y y)) 2) (.f64 (fabs.f64 (/.f64 x (*.f64 y y))) 2))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (/.f64 (neg.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (/.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (neg.f64 (fabs.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
(fabs.f64 (-.f64 0 (/.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (neg.f64 (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))))))
(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))

eval49.0ms (0.8%)

Compiler: Compiled 4336 to 897 computations (79.3% saved)

prune36.0ms (0.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	142	3	145
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	142	5	147

Error

8.7b

Counts

147 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	8.7b	(/.f64 x (*.f64 y y))
▶	43.8b	(.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))
▶	55.1b	(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))
✓	43.7b	(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
▶	43.8b	(.f64 (/.f64 1 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))

Compiler

Compiled 99 to 44 computations (55.6% saved)

localize25.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 104 to 22 computations (78.8% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite132.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1436×	`rational.json-simplify-47`
786×	`rational.json-simplify-58`
782×	`rational.json-simplify-55`
494×	`rational.json-5`
492×	`exponential.json-3`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	97
1	106	13
2	348	13
3	1090	13
4	4908	13

Stop Event

1×	node limit

Counts

1 → 10

Calls

Call 1

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

Outputs

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

simplify192.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1506×	`rational.json-simplify-2`
1030×	`rational.json-simplify-43`
908×	`rational.json-simplify-47`
766×	`rational.json-simplify-1`
672×	`exponential.json-simplify-26`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	442
1	46	442
2	95	442
3	273	442
4	903	442
5	2876	442
6	6140	442

Stop Event

1×	node limit

Counts

34 → 11

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 (/.f64 x (*.f64 y y)) 0)
(+.f64 0 (/.f64 x (*.f64 y y)))
(-.f64 (/.f64 x (*.f64 y y)) 0)
(-.f64 0 (neg.f64 (/.f64 x (*.f64 y y))))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 x (*.f64 y y)))) 1)
(/.f64 x (*.f64 y y))
(/.f64 (/.f64 x (*.f64 y y)) 1)
(/.f64 (/.f64 x (.f64 y y)) (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
(pow.f64 (/.f64 x (*.f64 y y)) 1)
(neg.f64 (neg.f64 (/.f64 x (*.f64 y y))))

Outputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 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 x (*.f64 y y)) 0)
(/.f64 x (*.f64 y y))
(+.f64 0 (/.f64 x (*.f64 y y)))
(/.f64 x (*.f64 y y))
(-.f64 (/.f64 x (*.f64 y y)) 0)
(/.f64 x (*.f64 y y))
(-.f64 0 (neg.f64 (/.f64 x (*.f64 y y))))
(/.f64 x (*.f64 y y))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 x (*.f64 y y)))) 1)
(/.f64 x (*.f64 y y))
(/.f64 x (*.f64 y y))
(/.f64 (/.f64 x (*.f64 y y)) 1)
(/.f64 x (*.f64 y y))
(/.f64 (/.f64 x (.f64 y y)) (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
(/.f64 x (*.f64 y y))
(pow.f64 (/.f64 x (*.f64 y y)) 1)
(/.f64 x (*.f64 y y))
(neg.f64 (neg.f64 (/.f64 x (*.f64 y y))))
(/.f64 x (*.f64 y y))

localize22.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 50 to 26 computations (48% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

12 calls:

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

rewrite141.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

742×	`rational.json-simplify-47`
706×	`rational.json-simplify-54`
702×	`rational.json-simplify-50`
648×	`rational.json-simplify-49`
626×	`rational.json-simplify-58`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	62
1	114	62
2	333	62
3	1193	62
4	5003	62

Stop Event

1×	node limit

Counts

2 → 27

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 1 (/.f64 x (*.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (/.f64 1 (/.f64 x (*.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (/.f64 1 (/.f64 x (*.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (/.f64 1 (/.f64 x (*.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 (/.f64 1 (/.f64 x (*.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 1 (/.f64 x (*.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 1 (/.f64 x (*.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (/.f64 (*.f64 (/.f64 1 (/.f64 x (*.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (*.f64 (/.f64 1 (/.f64 x (*.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 1 (/.f64 x (*.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (/.f64 1 (/.f64 x (*.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (pow.f64 x 2) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (*.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 y 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (/.f64 (/.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))))) (/.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))))) (/.f64 (*.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 y 4))) 1) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))))) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))))) (/.f64 (/.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4))))))))

simplify254.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

972×	`rational.json-simplify-47`
946×	`rational.json-simplify-2`
660×	`rational.json-simplify-54`
640×	`rational.json-simplify-42`
634×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	64	1041
1	125	1041
2	282	1041
3	1221	1041
4	4661	1041
5	7555	1041

Stop Event

1×	node limit

Counts

51 → 30

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

Outputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 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 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) 0)
(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))
(+.f64 0 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))))
(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))
(-.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) 0)
(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))
(-.f64 0 (neg.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))))
(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))))) 1)
(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))
(/.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) 1)
(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))
(/.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (/.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))))
(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))
(pow.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) 1)
(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))
(neg.f64 (neg.f64 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))))
(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))
(+.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) 0)
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(+.f64 0 (/.f64 (pow.f64 x 2) (pow.f64 y 4)))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(-.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) 0)
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(-.f64 0 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4))))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 (pow.f64 x 2) (pow.f64 y 4)))) 1)
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(*.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 y 4)))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) 1)
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(*.f64 (/.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 y 4))))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (*.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 y 4))) 1))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (/.f64 (/.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (/.f64 (pow.f64 x 2) (pow.f64 y 4))))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))))) (/.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))))) (/.f64 (.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 y 4))) 1) (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(.f64 (.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4))))) (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))))) (/.f64 (/.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 y 4))) (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))) (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))))))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(pow.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4)) 1)
(/.f64 (pow.f64 x 2) (pow.f64 y 4))
(neg.f64 (neg.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 4))))
(/.f64 (pow.f64 x 2) (pow.f64 y 4))

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y)))
✓	8.0b	(/.f64 (pow.f64 y 2) x)
	8.6b	(/.f64 x (*.f64 y y))
✓	40.6b	(.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))

Compiler

Compiled 49 to 15 computations (69.4% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

12 calls:

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

rewrite155.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

988×	`rational.json-simplify-49`
820×	`rational.json-simplify-47`
808×	`rational.json-simplify-50`
710×	`rational.json-simplify-55`
596×	`rational.json-simplify-58`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	62
1	95	62
2	316	62
3	1156	62
4	5099	62

Stop Event

1×	node limit

Counts

2 → 27

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))) (/.f64 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))) (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (pow.f64 y 2) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (pow.f64 y 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 y 2) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 (pow.f64 y 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (/.f64 (pow.f64 y 2) x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 y 2) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (pow.f64 y 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (/.f64 (pow.f64 y 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (/.f64 1 (/.f64 (pow.f64 y 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (*.f64 (/.f64 1 (/.f64 (pow.f64 y 2) x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (/.f64 (/.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (/.f64 (pow.f64 y 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (pow.f64 y 2) x)) (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x))) (/.f64 (/.f64 1 (/.f64 (pow.f64 y 2) x)) (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x))) (/.f64 (*.f64 (/.f64 1 (/.f64 (pow.f64 y 2) x)) 1) (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x))) (*.f64 (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)))) (/.f64 (/.f64 (/.f64 1 (/.f64 (pow.f64 y 2) x)) (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x))) (*.f64 (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 y 2) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 (pow.f64 y 2) x)))))))

simplify255.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

1054×	`rational.json-simplify-47`
1028×	`rational.json-simplify-2`
686×	`rational.json-simplify-54`
638×	`rational.json-simplify-41`
610×	`rational.json-simplify-42`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	987
1	132	987
2	298	987
3	1300	987
4	4958	987
5	7906	987

Stop Event

1×	node limit

Counts

51 → 30

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

Outputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 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 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))) 0)
(.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))
(+.f64 0 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))))
(.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))
(-.f64 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))) 0)
(.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))
(-.f64 0 (neg.f64 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))
(.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))))) 1)
(.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))
(/.f64 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))) 1)
(.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))
(/.f64 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))) (/.f64 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))) (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))
(.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))
(pow.f64 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))) 1)
(.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))
(neg.f64 (neg.f64 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))
(.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))
(+.f64 (/.f64 (pow.f64 y 2) x) 0)
(/.f64 (pow.f64 y 2) x)
(+.f64 0 (/.f64 (pow.f64 y 2) x))
(/.f64 (pow.f64 y 2) x)
(-.f64 (/.f64 (pow.f64 y 2) x) 0)
(/.f64 (pow.f64 y 2) x)
(-.f64 0 (neg.f64 (/.f64 (pow.f64 y 2) x)))
(/.f64 (pow.f64 y 2) x)
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 (pow.f64 y 2) x))) 1)
(/.f64 (pow.f64 y 2) x)
(*.f64 (/.f64 (pow.f64 y 2) x) 1)
(/.f64 (pow.f64 y 2) x)
(*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)))
(/.f64 (pow.f64 y 2) x)
(*.f64 1 (/.f64 (pow.f64 y 2) x))
(/.f64 (pow.f64 y 2) x)
(*.f64 (/.f64 (/.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 (.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (/.f64 1 (/.f64 (pow.f64 y 2) x)))
(/.f64 (pow.f64 y 2) x)
(.f64 (.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (*.f64 (/.f64 1 (/.f64 (pow.f64 y 2) x)) 1))
(/.f64 (pow.f64 y 2) x)
(.f64 (.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (/.f64 (/.f64 (/.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 (/.f64 1 (/.f64 (pow.f64 y 2) x)) (.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)))
(/.f64 (pow.f64 y 2) x)
(.f64 (.f64 (.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x))) (/.f64 (/.f64 1 (/.f64 (pow.f64 y 2) x)) (*.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x))))
(/.f64 (pow.f64 y 2) x)
(.f64 (.f64 (.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x))) (/.f64 (.f64 (/.f64 1 (/.f64 (pow.f64 y 2) x)) 1) (.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x))))
(/.f64 (pow.f64 y 2) x)
(.f64 (.f64 (.f64 (.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x))) (.f64 (.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)))) (/.f64 (/.f64 (/.f64 1 (/.f64 (pow.f64 y 2) x)) (.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x))) (.f64 (.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)) (.f64 (/.f64 (pow.f64 y 2) x) (/.f64 (pow.f64 y 2) x)))))
(/.f64 (pow.f64 y 2) x)
(pow.f64 (/.f64 (pow.f64 y 2) x) 1)
(/.f64 (pow.f64 y 2) x)
(neg.f64 (neg.f64 (/.f64 (pow.f64 y 2) x)))
(/.f64 (pow.f64 y 2) x)

eval136.0ms (2.2%)

Compiler: Compiled 11328 to 3243 computations (71.4% saved)

prune81.0ms (1.3%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	328	2	330
Fresh	0	0	0
Picked	1	0	1
Done	0	4	4
Total	329	6	335

Error

8.7b

Counts

335 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	8.7b	(/.f64 x (*.f64 y y))
✓	55.1b	(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))
✓	43.7b	(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
▶	43.8b	(.f64 (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))
✓	43.8b	(.f64 (/.f64 1 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
▶	44.3b	(.f64 (/.f64 1 (.f64 (.f64 (/.f64 1 (/.f64 1 (/.f64 x (.f64 y y)))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y))))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))

Compiler

Compiled 166 to 66 computations (60.2% saved)

localize71.0ms (1.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	8.6b	(/.f64 x (*.f64 y y))
✓	36.6b	(.f64 (/.f64 1 (/.f64 1 (/.f64 x (.f64 y y)))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (*.f64 y y)))))
✓	40.6b	(.f64 (.f64 (/.f64 1 (/.f64 1 (/.f64 x (.f64 y y)))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y))))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
✓	40.6b	(.f64 (/.f64 1 (.f64 (.f64 (/.f64 1 (/.f64 1 (/.f64 x (.f64 y y)))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y))))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))

Compiler

Compiled 207 to 65 computations (68.6% saved)

series3.0ms (0%)

Counts

3 → 72

Calls

18 calls:

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

rewrite214.0ms (3.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1636×	`rational.json-simplify-47`
1240×	`rational.json-simplify-55`
722×	`rational.json-5`
720×	`exponential.json-3`
720×	`rational.json-1`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	375
1	134	213
2	457	45
3	1800	45
4	6821	45

Stop Event

1×	node limit

Counts

3 → 30

Calls

Call 1

Inputs

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

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

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

Outputs

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

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

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 (/.f64 x (*.f64 y y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 1 (/.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1 (/.f64 x (*.f64 y y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 1 (/.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (/.f64 1 (/.f64 x (*.f64 y y))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (/.f64 x (*.f64 y y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (/.f64 x (*.f64 y y))) (/.f64 (/.f64 1 (/.f64 x (*.f64 y y))) (/.f64 1 (/.f64 x (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (/.f64 x (*.f64 y y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 1 (/.f64 x (*.f64 y y)))))))))

simplify188.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

1726×	`rational.json-simplify-47`
940×	`rational.json-simplify-1`
762×	`rational.json-simplify-55`
698×	`rational.json-simplify-111`
682×	`rational.json-simplify-76`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	1386
1	78	1386
2	167	1386
3	532	1386
4	2129	1386
5	5183	1386

Stop Event

1×	node limit

Counts

102 → 22

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

Outputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 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)
(+.f64 (/.f64 x (*.f64 y y)) 0)
(/.f64 x (*.f64 y y))
(+.f64 0 (/.f64 x (*.f64 y y)))
(/.f64 x (*.f64 y y))
(-.f64 (/.f64 x (*.f64 y y)) 0)
(/.f64 x (*.f64 y y))
(-.f64 0 (neg.f64 (/.f64 x (*.f64 y y))))
(/.f64 x (*.f64 y y))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 x (*.f64 y y)))) 1)
(/.f64 x (*.f64 y y))
(/.f64 x (*.f64 y y))
(/.f64 (/.f64 x (*.f64 y y)) 1)
(/.f64 x (*.f64 y y))
(/.f64 (/.f64 x (.f64 y y)) (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
(/.f64 x (*.f64 y y))
(pow.f64 (/.f64 x (*.f64 y y)) 1)
(/.f64 x (*.f64 y y))
(neg.f64 (neg.f64 (/.f64 x (*.f64 y y))))
(/.f64 x (*.f64 y y))
(+.f64 (/.f64 x (*.f64 y y)) 0)
(/.f64 x (*.f64 y y))
(+.f64 0 (/.f64 x (*.f64 y y)))
(/.f64 x (*.f64 y y))
(-.f64 (/.f64 x (*.f64 y y)) 0)
(/.f64 x (*.f64 y y))
(-.f64 0 (neg.f64 (/.f64 x (*.f64 y y))))
(/.f64 x (*.f64 y y))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 x (*.f64 y y)))) 1)
(/.f64 x (*.f64 y y))
(/.f64 x (*.f64 y y))
(/.f64 (/.f64 x (*.f64 y y)) 1)
(/.f64 x (*.f64 y y))
(/.f64 (/.f64 x (.f64 y y)) (/.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
(/.f64 x (*.f64 y y))
(pow.f64 (/.f64 x (*.f64 y y)) 1)
(/.f64 x (*.f64 y y))
(neg.f64 (neg.f64 (/.f64 x (*.f64 y y))))
(/.f64 x (*.f64 y y))
(+.f64 (/.f64 1 (/.f64 x (*.f64 y y))) 0)
(/.f64 1 (/.f64 x (*.f64 y y)))
(+.f64 0 (/.f64 1 (/.f64 x (*.f64 y y))))
(/.f64 1 (/.f64 x (*.f64 y y)))
(-.f64 (/.f64 1 (/.f64 x (*.f64 y y))) 0)
(/.f64 1 (/.f64 x (*.f64 y y)))
(-.f64 0 (neg.f64 (/.f64 1 (/.f64 x (*.f64 y y)))))
(/.f64 1 (/.f64 x (*.f64 y y)))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 1 (/.f64 x (*.f64 y y))))) 1)
(/.f64 1 (/.f64 x (*.f64 y y)))
(/.f64 1 (/.f64 x (*.f64 y y)))
(/.f64 (/.f64 1 (/.f64 x (*.f64 y y))) 1)
(/.f64 1 (/.f64 x (*.f64 y y)))
(/.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (*.f64 y y)))))
(/.f64 1 (/.f64 x (*.f64 y y)))
(pow.f64 (/.f64 1 (/.f64 x (*.f64 y y))) 1)
(/.f64 1 (/.f64 x (*.f64 y y)))
(neg.f64 (neg.f64 (/.f64 1 (/.f64 x (*.f64 y y)))))
(/.f64 1 (/.f64 x (*.f64 y y)))

localize54.0ms (0.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
	8.0b	(/.f64 (pow.f64 y 2) x)
	8.6b	(/.f64 x (*.f64 y y))
✓	40.6b	(.f64 (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))
	40.6b	(.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))

Compiler

Compiled 100 to 29 computations (71% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite158.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1358×	`rational.json-simplify-49`
1044×	`rational.json-simplify-47`
880×	`rational.json-simplify-55`
670×	`rational.json-5`
668×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	91
1	121	91
2	380	91
3	1403	91
4	6276	91

Stop Event

1×	node limit

Counts

1 → 9

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 1 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 1 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 1 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 1 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 1 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 1 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 1 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))) (/.f64 (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 1 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))) (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 1 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 1 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (/.f64 x (*.f64 y y)) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 1 (*.f64 (/.f64 (pow.f64 y 2) x) (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y)))))))))))))

simplify205.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

968×	`rational.json-simplify-2`
846×	`rational.json-simplify-111`
748×	`rational.json-simplify-49`
728×	`rational.json-simplify-104`
580×	`rational.json-simplify-79`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	1131
1	61	1131
2	137	1131
3	405	1131
4	1594	1131
5	4247	1131
6	6245	1131

Stop Event

1×	node limit

Counts

33 → 12

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 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))) 0)
(+.f64 0 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))))
(-.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))) 0)
(-.f64 0 (neg.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))))))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))))) 1)
(/.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))) 1)
(/.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))) (/.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))))))))
(pow.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))) 1)
(neg.f64 (neg.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))))))))

Outputs
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 x (pow.f64 y 2))
(/.f64 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 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))) 0)
(.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x))))))
(.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x)))))
(+.f64 0 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))))
(.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x))))))
(.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x)))))
(-.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))) 0)
(.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x))))))
(.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x)))))
(-.f64 0 (neg.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))))))))
(.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x))))))
(.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x)))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))))) 1)
(.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x))))))
(.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x)))))
(/.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))) 1)
(.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x))))))
(.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x)))))
(/.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))) (/.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))) (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))))))))
(.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x))))))
(.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x)))))
(pow.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))) 1)
(.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x))))))
(.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x)))))
(neg.f64 (neg.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y)))))))))
(.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x))))))
(.f64 (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x)))))

eval119.0ms (2%)

Compiler: Compiled 14183 to 3677 computations (74.1% saved)

prune65.0ms (1.1%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	271	2	273
Fresh	0	0	0
Picked	1	0	1
Done	0	5	5
Total	272	7	279

Error

8.7b

Counts

279 → 7

Alt Table

Click to see full alt table

Status	Error	Program
	44.0b	(/.f64 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 (pow.f64 y 2) x) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))))) 1)
✓	8.7b	(/.f64 x (*.f64 y y))
	31.3b	(.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 1 (.f64 (/.f64 x (.f64 y y)) (.f64 (/.f64 x (.f64 y y)) (/.f64 (pow.f64 y 2) x))))))
✓	55.1b	(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 (pow.f64 x 2) (pow.f64 y 4)))
✓	43.7b	(.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
✓	43.8b	(.f64 (/.f64 1 (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))
✓	44.3b	(.f64 (/.f64 1 (.f64 (.f64 (/.f64 1 (/.f64 1 (/.f64 x (.f64 y y)))) (.f64 (/.f64 1 (/.f64 x (.f64 y y))) (/.f64 1 (/.f64 x (.f64 y y))))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (.f64 y y))))) (.f64 (/.f64 x (.f64 y y)) (/.f64 x (*.f64 y y))))

Compiler

Compiled 201 to 82 computations (59.2% saved)

regimes35.0ms (0.6%)

Accuracy

Total -46.7b remaining (-535.6%)

Threshold costs -46.7b (-535.6%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

4 calls:

10.0ms	x
9.0ms	(*.f64 y y)
7.0ms	y
5.0ms	(/.f64 x (*.f64 y y))

Results

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

Compiler

Compiled 255 to 77 computations (69.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 7 to 4 computations (42.9% saved)

soundness0.0ms (0%)

end14.0ms (0.2%)

Compiler: Compiled 7 to 4 computations (42.9% saved)

Details

analyze75.0ms (1.2%)

sample2.5s (41.2%)

preprocess21.0ms (0.3%)

simplify28.0ms (0.5%)

eval1.0ms (0%)

prune1.0ms (0%)

localize9.0ms (0.2%)

series6.0ms (0.1%)

rewrite125.0ms (2.1%)

simplify226.0ms (3.7%)

eval3.0ms (0%)

prune4.0ms (0.1%)

localize14.0ms (0.2%)

series6.0ms (0.1%)

rewrite156.0ms (2.6%)

simplify254.0ms (4.2%)

eval49.0ms (0.8%)

prune36.0ms (0.6%)

localize25.0ms (0.4%)

series1.0ms (0%)

rewrite132.0ms (2.2%)

simplify192.0ms (3.2%)

localize22.0ms (0.4%)

series1.0ms (0%)

rewrite141.0ms (2.3%)

simplify254.0ms (4.2%)

localize19.0ms (0.3%)

series1.0ms (0%)

rewrite155.0ms (2.6%)

simplify255.0ms (4.2%)

eval136.0ms (2.2%)

prune81.0ms (1.3%)

localize71.0ms (1.2%)

series3.0ms (0%)

rewrite214.0ms (3.5%)

simplify188.0ms (3.1%)

localize54.0ms (0.9%)

series1.0ms (0%)

rewrite158.0ms (2.6%)

simplify205.0ms (3.4%)

eval119.0ms (2%)

prune65.0ms (1.1%)

regimes35.0ms (0.6%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end14.0ms (0.2%)

Profiling