Details

analyze66.0ms (0.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
50%	48.4%	1.7%	7
59.3%	38.2%	2.4%	8
67.1%	27.7%	5.2%	9
72.6%	21.3%	6.1%	10
76.9%	14.7%	8.4%	11
79.8%	11.2%	9%	12

Compiler

Compiled 10 to 6 computations (40% saved)

sample1.2s (10.2%)

Results

1.2s	8253×	body	256	valid
41.0ms	318×	body	256	invalid
0.0ms	2×	body	512	valid
0.0ms	1×	body	1024	valid

preprocess33.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

247×	`fma-neg_binary64`
165×	`fma-def_binary64`
59×	`cancel-sign-sub-inv_binary64`
36×	`associate--r+_binary64`
35×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	27	20
2	46	20
3	82	18
4	152	16
5	283	16
6	529	16
7	781	16
8	923	16
9	943	16
10	944	16
0	2	2
1	2	2

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

Inputs
(-.f64 (+.f64 x y) (*.f64 x y))
(-.f64 (+.f64 y x) (*.f64 y x))

Outputs
(-.f64 (+.f64 x y) (*.f64 x y))
(+.f64 x (-.f64 y (*.f64 x y)))
(fma.f64 x (neg.f64 y) (+.f64 x y))
(fma.f64 (fma.f64 x -1 1) y x)
(fma.f64 y (-.f64 1 x) x)
(-.f64 (+.f64 y x) (*.f64 y x))
(+.f64 x (-.f64 y (*.f64 x y)))
(fma.f64 x (neg.f64 y) (+.f64 x y))
(fma.f64 (fma.f64 x -1 1) y x)
(fma.f64 y (-.f64 1 x) x)

Symmetry

(sort x y)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify20.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

249×	`fma-neg_binary64`
175×	`fma-def_binary64`
55×	`cancel-sign-sub-inv_binary64`
37×	`sub-neg_binary64`
36×	`associate--r+_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	15	10
2	35	10
3	69	9
4	136	8
5	265	8
6	506	8
7	761	8
8	937	8
9	966	8
10	967	8

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 (+.f64 x y) (*.f64 x y))

Outputs
(-.f64 (+.f64 x y) (*.f64 x y))
(+.f64 x (-.f64 y (*.f64 x y)))
(fma.f64 (fma.f64 x -1 1) y x)
(fma.f64 x (-.f64 1 y) y)

eval1.0ms (0%)

Compiler: Compiled 15 to 8 computations (46.7% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(fma.f64 x (-.f64 1 y) y)
▶	0.0b	(-.f64 (+.f64 x y) (*.f64 x y))

Compiler

Compiled 17 to 10 computations (41.2% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(-.f64 (+.f64 x y) (*.f64 x y))
✓	0.0b	(-.f64 (+.f64 x y) (*.f64 x y))

Compiler

Compiled 17 to 5 computations (70.6% saved)

series4.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite53.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

917×	`pow1_binary64`
857×	`add-log-exp_binary64`
857×	`log1p-expm1-u_binary64`
857×	`expm1-log1p-u_binary64`
840×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	144	10
2	2321	10

Stop Event

1×	node limit

Counts

1 → 47

Calls

Call 1

Inputs
(-.f64 (+.f64 x y) (*.f64 x y))

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

Outputs

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

simplify25.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

260×	`fma-def_binary64`
185×	`fma-neg_binary64`
38×	`cancel-sign-sub-inv_binary64`
33×	`distribute-rgt-in_binary64`
33×	`sub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	210
1	45	174
2	86	174
3	166	174
4	243	174
5	349	174
6	523	174
7	793	174
8	923	174
9	961	174
10	965	174

Stop Event

1×

saturated

Counts

71 → 60

Calls

Call 1

Inputs
y
(+.f64 y (*.f64 (-.f64 1 y) x))
(+.f64 y (*.f64 (-.f64 1 y) x))
(+.f64 y (*.f64 (-.f64 1 y) x))
(*.f64 (-.f64 1 y) x)
(+.f64 y (*.f64 (-.f64 1 y) x))
(+.f64 y (*.f64 (-.f64 1 y) x))
(+.f64 y (*.f64 (-.f64 1 y) x))
(.f64 (+.f64 1 (.f64 -1 y)) x)
(+.f64 y (.f64 (+.f64 1 (.f64 -1 y)) x))
(+.f64 y (.f64 (+.f64 1 (.f64 -1 y)) x))
(+.f64 y (.f64 (+.f64 1 (.f64 -1 y)) x))
x
(+.f64 (*.f64 y (-.f64 1 x)) x)
(+.f64 (*.f64 y (-.f64 1 x)) x)
(+.f64 (*.f64 y (-.f64 1 x)) x)
(*.f64 y (-.f64 1 x))
(+.f64 (*.f64 y (-.f64 1 x)) x)
(+.f64 (*.f64 y (-.f64 1 x)) x)
(+.f64 (*.f64 y (-.f64 1 x)) x)
(.f64 y (+.f64 1 (.f64 -1 x)))
(+.f64 (.f64 y (+.f64 1 (.f64 -1 x))) x)
(+.f64 (.f64 y (+.f64 1 (.f64 -1 x))) x)
(+.f64 (.f64 y (+.f64 1 (.f64 -1 x))) x)

Outputs
y
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)
(*.f64 (-.f64 1 y) x)
(-.f64 x (*.f64 y x))
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)
(.f64 (+.f64 1 (.f64 -1 y)) x)
(*.f64 (-.f64 1 y) x)
(-.f64 x (*.f64 y x))
(+.f64 y (.f64 (+.f64 1 (.f64 -1 y)) x))
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)
(+.f64 y (.f64 (+.f64 1 (.f64 -1 y)) x))
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)
(+.f64 y (.f64 (+.f64 1 (.f64 -1 y)) x))
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)
x
(+.f64 (*.f64 y (-.f64 1 x)) x)
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)
(+.f64 (*.f64 y (-.f64 1 x)) x)
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)
(+.f64 (*.f64 y (-.f64 1 x)) x)
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)
(*.f64 y (-.f64 1 x))
(-.f64 y (*.f64 y x))
(+.f64 (*.f64 y (-.f64 1 x)) x)
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)
(+.f64 (*.f64 y (-.f64 1 x)) x)
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)
(+.f64 (*.f64 y (-.f64 1 x)) x)
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)
(.f64 y (+.f64 1 (.f64 -1 x)))
(*.f64 y (-.f64 1 x))
(-.f64 y (*.f64 y x))
(+.f64 (.f64 y (+.f64 1 (.f64 -1 x))) x)
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)
(+.f64 (.f64 y (+.f64 1 (.f64 -1 x))) x)
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)
(+.f64 (.f64 y (+.f64 1 (.f64 -1 x))) x)
(+.f64 y (*.f64 (-.f64 1 y) x))
(fma.f64 (-.f64 1 y) x y)
(fma.f64 y (-.f64 1 x) x)

localize7.0ms (0.1%)

Compiler: Compiled 14 to 8 computations (42.9% saved)

eval12.0ms (0.1%)

Compiler: Compiled 809 to 244 computations (69.8% saved)

prune12.0ms (0.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	55	5	60
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	56	6	62

Error

Counts

62 → 6

Alt Table

Click to see full alt table

Status	Error	Program
	33.1b	y
▶	25.5b	(-.f64 y (*.f64 y x))
✓	0.0b	(-.f64 (+.f64 x y) (*.f64 x y))
	37.1b	x
▶	0.5b	(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (-.f64 y (*.f64 x y)))
▶	29.4b	(*.f64 (-.f64 1 y) x)

Compiler

Compiled 43 to 26 computations (39.5% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(*.f64 (-.f64 1 y) x)
✓	0.0b	(*.f64 (-.f64 1 y) x)

Compiler

Compiled 13 to 8 computations (38.5% saved)

series3.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite72.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

617×	`pow1_binary64`
572×	`add-log-exp_binary64`
572×	`log1p-expm1-u_binary64`
572×	`expm1-log1p-u_binary64`
561×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	122	7
2	1509	7

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

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

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

Outputs

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

simplify15.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

140×	`fma-def_binary64`
84×	`fma-neg_binary64`
20×	`cancel-sign-sub-inv_binary64`
19×	`associate-r_binary64`
19×	`associate-l_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	85
1	14	76
2	33	76
3	51	76
4	72	76
5	146	76
6	272	76
7	381	76
8	461	76
9	525	76

Stop Event

1×

saturated

Counts

29 → 23

Calls

Call 1

Inputs
x
(+.f64 (.f64 -1 (.f64 y x)) x)
(+.f64 (.f64 -1 (.f64 y x)) x)
(+.f64 (.f64 -1 (.f64 y x)) x)
(.f64 -1 (.f64 y x))
(+.f64 x (.f64 -1 (.f64 y x)))
(+.f64 x (.f64 -1 (.f64 y x)))
(+.f64 x (.f64 -1 (.f64 y x)))
(.f64 -1 (.f64 y x))
(+.f64 x (.f64 -1 (.f64 y x)))
(+.f64 x (.f64 -1 (.f64 y x)))
(+.f64 x (.f64 -1 (.f64 y x)))

Outputs
x
(+.f64 (.f64 -1 (.f64 y x)) x)
(fma.f64 -1 (*.f64 x y) x)
(-.f64 x (*.f64 x y))
(fma.f64 y (neg.f64 x) x)
(*.f64 x (-.f64 1 y))
(+.f64 (.f64 -1 (.f64 y x)) x)
(fma.f64 -1 (*.f64 x y) x)
(-.f64 x (*.f64 x y))
(fma.f64 y (neg.f64 x) x)
(*.f64 x (-.f64 1 y))
(+.f64 (.f64 -1 (.f64 y x)) x)
(fma.f64 -1 (*.f64 x y) x)
(-.f64 x (*.f64 x y))
(fma.f64 y (neg.f64 x) x)
(*.f64 x (-.f64 1 y))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 x y))
(*.f64 y (neg.f64 x))
(*.f64 x (neg.f64 y))
(+.f64 x (.f64 -1 (.f64 y x)))
(fma.f64 -1 (*.f64 x y) x)
(-.f64 x (*.f64 x y))
(fma.f64 y (neg.f64 x) x)
(*.f64 x (-.f64 1 y))
(+.f64 x (.f64 -1 (.f64 y x)))
(fma.f64 -1 (*.f64 x y) x)
(-.f64 x (*.f64 x y))
(fma.f64 y (neg.f64 x) x)
(*.f64 x (-.f64 1 y))
(+.f64 x (.f64 -1 (.f64 y x)))
(fma.f64 -1 (*.f64 x y) x)
(-.f64 x (*.f64 x y))
(fma.f64 y (neg.f64 x) x)
(*.f64 x (-.f64 1 y))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 x y))
(*.f64 y (neg.f64 x))
(*.f64 x (neg.f64 y))
(+.f64 x (.f64 -1 (.f64 y x)))
(fma.f64 -1 (*.f64 x y) x)
(-.f64 x (*.f64 x y))
(fma.f64 y (neg.f64 x) x)
(*.f64 x (-.f64 1 y))
(+.f64 x (.f64 -1 (.f64 y x)))
(fma.f64 -1 (*.f64 x y) x)
(-.f64 x (*.f64 x y))
(fma.f64 y (neg.f64 x) x)
(*.f64 x (-.f64 1 y))
(+.f64 x (.f64 -1 (.f64 y x)))
(fma.f64 -1 (*.f64 x y) x)
(-.f64 x (*.f64 x y))
(fma.f64 y (neg.f64 x) x)
(*.f64 x (-.f64 1 y))

localize14.0ms (0.1%)

Local error

Found 6 expressions with local error:

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

Compiler

Compiled 31 to 11 computations (64.5% saved)

series9.0ms (0.1%)

Counts

3 → 18

Calls

12 calls:

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

rewrite52.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

948×	`pow1_binary64`
883×	`add-log-exp_binary64`
882×	`log1p-expm1-u_binary64`
882×	`expm1-log1p-u_binary64`
98×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	196	19
2	2475	19

Stop Event

1×	node limit

Counts

3 → 61

Calls

Call 1

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

Outputs

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

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

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

simplify4.7s (39.8%)

Algorithm

1×	egg-herbie

Rules

1764×	`sqr-pow_binary64`
1763×	`pow-base-1_binary64`
239×	`fma-def_binary64`
199×	`fma-neg_binary64`
34×	`sub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	161
1	51	121
2	84	121
3	146	121
4	249	121
5	413	121
6	706	121
7	913	121
8	976	121
9	983	121
10	988	121
11	992	121
12	996	121
13	1000	121
14	1004	121
15	1008	121
16	1012	121
17	1016	121
18	1020	121
19	1024	121
20	1028	121
21	1032	121
22	1036	121
23	1040	121
24	1044	121
25	1048	121
26	1052	121
27	1056	121
28	1060	121
29	1064	121
30	1068	121
31	1072	121
32	1076	121
33	1080	121
34	1084	121
35	1088	121
36	1092	121
37	1096	121
38	1100	121
39	1104	121
40	1108	121
41	1112	121
42	1116	121
43	1120	121
44	1124	121
45	1128	121
46	1132	121
47	1136	121
48	1140	121
49	1144	121
50	1148	121
51	1152	121
52	1156	121
53	1160	121
54	1164	121
55	1168	121
56	1172	121
57	1176	121
58	1180	121
59	1184	121
60	1188	121
61	1192	121
62	1196	121
63	1200	121
64	1204	121
65	1208	121
66	1212	121
67	1216	121
68	1220	121
69	1224	121
70	1228	121
71	1232	121
72	1236	121
73	1240	121
74	1244	121
75	1248	121
76	1252	121
77	1256	121
78	1260	121
79	1264	121
80	1268	121
81	1272	121
82	1276	121
83	1280	121
84	1284	121
85	1288	121
86	1292	121
87	1296	121
88	1300	121
89	1304	121
90	1308	121
91	1312	121
92	1316	121
93	1320	121
94	1324	121
95	1328	121
96	1332	121
97	1336	121
98	1340	121
99	1344	121
100	1348	121
101	1352	121
102	1356	121
103	1360	121
104	1364	121
105	1368	121
106	1372	121
107	1376	121
108	1380	121
109	1384	121
110	1388	121
111	1392	121
112	1396	121
113	1400	121
114	1404	121
115	1408	121
116	1412	121
117	1416	121
118	1420	121
119	1424	121
120	1428	121
121	1432	121
122	1436	121
123	1440	121
124	1444	121
125	1448	121
126	1452	121
127	1456	121
128	1460	121
129	1464	121
130	1468	121
131	1472	121
132	1476	121
133	1480	121
134	1484	121
135	1488	121
136	1492	121
137	1496	121
138	1500	121
139	1504	121
140	1508	121
141	1512	121
142	1516	121
143	1520	121
144	1524	121
145	1528	121
146	1532	121
147	1536	121
148	1540	121
149	1544	121
150	1548	121
151	1552	121
152	1556	121
153	1560	121
154	1564	121
155	1568	121
156	1572	121
157	1576	121
158	1580	121
159	1584	121
160	1588	121
161	1592	121
162	1596	121
163	1600	121
164	1604	121
165	1608	121
166	1612	121
167	1616	121
168	1620	121
169	1624	121
170	1628	121
171	1632	121
172	1636	121
173	1640	121
174	1644	121
175	1648	121
176	1652	121
177	1656	121
178	1660	121
179	1664	121
180	1668	121
181	1672	121
182	1676	121
183	1680	121
184	1684	121
185	1688	121
186	1692	121
187	1696	121
188	1700	121
189	1704	121
190	1708	121
191	1712	121
192	1716	121
193	1720	121
194	1724	121
195	1728	121
196	1732	121
197	1736	121
198	1740	121
199	1744	121
200	1748	121
201	1752	121
202	1756	121
203	1760	121
204	1764	121
205	1768	121
206	1772	121
207	1776	121
208	1780	121
209	1784	121
210	1788	121
211	1792	121
212	1796	121
213	1800	121
214	1804	121
215	1808	121
216	1812	121
217	1816	121
218	1820	121
219	1824	121
220	1828	121
221	1832	121
222	1836	121
223	1840	121
224	1844	121
225	1848	121
226	1852	121
227	1856	121
228	1860	121
229	1864	121
230	1868	121
231	1872	121
232	1876	121
233	1880	121
234	1884	121
235	1888	121
236	1892	121
237	1896	121
238	1900	121
239	1904	121
240	1908	121
241	1912	121
242	1916	121
243	1920	121
244	1924	121
245	1928	121
246	1932	121
247	1936	121
248	1940	121
249	1944	121
250	1948	121
251	1952	121
252	1956	121
253	1960	121
254	1964	121
255	1968	121
256	1972	121
257	1976	121
258	1980	121
259	1984	121
260	1988	121
261	1992	121
262	1996	121
263	2000	121
264	2004	121
265	2008	121
266	2012	121
267	2016	121
268	2020	121
269	2024	121
270	2028	121
271	2032	121
272	2036	121
273	2040	121
274	2044	121
275	2048	121
276	2052	121
277	2056	121
278	2060	121
279	2064	121
280	2068	121
281	2072	121
282	2076	121
283	2080	121
284	2084	121
285	2088	121
286	2092	121
287	2096	121
288	2100	121
289	2104	121
290	2108	121
291	2112	121
292	2116	121
293	2120	121
294	2124	121
295	2128	121
296	2132	121
297	2136	121
298	2140	121
299	2144	121
300	2148	121
301	2152	121
302	2156	121
303	2160	121
304	2164	121
305	2168	121
306	2172	121
307	2176	121
308	2180	121
309	2184	121
310	2188	121
311	2192	121
312	2196	121
313	2200	121
314	2204	121
315	2208	121
316	2212	121
317	2216	121
318	2220	121
319	2224	121
320	2228	121
321	2232	121
322	2236	121
323	2240	121
324	2244	121
325	2248	121
326	2252	121
327	2256	121
328	2260	121
329	2264	121
330	2268	121
331	2272	121
332	2276	121
333	2280	121
334	2284	121
335	2288	121
336	2292	121
337	2296	121
338	2300	121
339	2304	121
340	2308	121
341	2312	121
342	2316	121
343	2320	121
344	2324	121
345	2328	121
346	2332	121
347	2336	121
348	2340	121
349	2344	121
350	2348	121
351	2352	121
352	2356	121
353	2360	121
354	2364	121
355	2368	121
356	2372	121
357	2376	121
358	2380	121
359	2384	121
360	2388	121
361	2392	121
362	2396	121
363	2400	121
364	2404	121
365	2408	121
366	2412	121
367	2416	121
368	2420	121
369	2424	121
370	2428	121
371	2432	121
372	2436	121
373	2440	121
374	2444	121
375	2448	121
376	2452	121
377	2456	121
378	2460	121
379	2464	121
380	2468	121
381	2472	121
382	2476	121
383	2480	121
384	2484	121
385	2488	121
386	2492	121
387	2496	121
388	2500	121
389	2504	121
390	2508	121
391	2512	121
392	2516	121
393	2520	121
394	2524	121
395	2528	121
396	2532	121
397	2536	121
398	2540	121
399	2544	121
400	2548	121
401	2552	121
402	2556	121
403	2560	121
404	2564	121
405	2568	121
406	2572	121
407	2576	121
408	2580	121
409	2584	121
410	2588	121
411	2592	121
412	2596	121
413	2600	121
414	2604	121
415	2608	121
416	2612	121
417	2616	121
418	2620	121
419	2624	121
420	2628	121
421	2632	121
422	2636	121
423	2640	121
424	2644	121
425	2648	121
426	2652	121
427	2656	121
428	2660	121
429	2664	121
430	2668	121
431	2672	121
432	2676	121
433	2680	121
434	2684	121
435	2688	121
436	2692	121
437	2696	121
438	2700	121
439	2704	121
440	2708	121
441	2712	121
442	2716	121
443	2720	121
444	2724	121
445	2728	121
446	2732	121
447	2736	121
448	2740	121
449	2744	121
450	2748	121
451	2752	121
452	2756	121
453	2760	121
454	2764	121
455	2768	121
456	2772	121
457	2776	121
458	2780	121
459	2784	121
460	2788	121
461	2792	121
462	2796	121
463	2800	121
464	2804	121
465	2808	121
466	2812	121
467	2816	121
468	2820	121
469	2824	121
470	2828	121
471	2832	121
472	2836	121
473	2840	121
474	2844	121
475	2848	121
476	2852	121
477	2856	121
478	2860	121
479	2864	121
480	2868	121
481	2872	121
482	2876	121
483	2880	121
484	2884	121
485	2888	121
486	2892	121
487	2896	121
488	2900	121
489	2904	121
490	2908	121
491	2912	121
492	2916	121
493	2920	121
494	2924	121
495	2928	121
496	2932	121
497	2936	121
498	2940	121
499	2944	121
500	2948	121
501	2952	121
502	2956	121
503	2960	121
504	2964	121
505	2968	121
506	2972	121
507	2976	121
508	2980	121
509	2984	121
510	2988	121
511	2992	121
512	2996	121
513	3000	121
514	3004	121
515	3008	121
516	3012	121
517	3016	121
518	3020	121
519	3024	121
520	3028	121
521	3032	121
522	3036	121
523	3040	121
524	3044	121
525	3048	121
526	3052	121
527	3056	121
528	3060	121
529	3064	121
530	3068	121
531	3072	121
532	3076	121
533	3080	121
534	3084	121
535	3088	121
536	3092	121
537	3096	121
538	3100	121
539	3104	121
540	3108	121
541	3112	121
542	3116	121
543	3120	121
544	3124	121
545	3128	121
546	3132	121
547	3136	121
548	3140	121
549	3144	121
550	3148	121
551	3152	121
552	3156	121
553	3160	121
554	3164	121
555	3168	121
556	3172	121
557	3176	121
558	3180	121
559	3184	121
560	3188	121
561	3192	121
562	3196	121
563	3200	121
564	3204	121
565	3208	121
566	3212	121
567	3216	121
568	3220	121
569	3224	121
570	3228	121
571	3232	121
572	3236	121
573	3240	121
574	3244	121
575	3248	121
576	3252	121
577	3256	121
578	3260	121
579	3264	121
580	3268	121
581	3272	121
582	3276	121
583	3280	121
584	3284	121
585	3288	121
586	3292	121
587	3296	121
588	3300	121
589	3304	121
590	3308	121
591	3312	121
592	3316	121
593	3320	121
594	3324	121
595	3328	121
596	3332	121
597	3336	121
598	3340	121
599	3344	121
600	3348	121
601	3352	121
602	3356	121
603	3360	121
604	3364	121
605	3368	121
606	3372	121
607	3376	121
608	3380	121
609	3384	121
610	3388	121
611	3392	121
612	3396	121
613	3400	121
614	3404	121
615	3408	121
616	3412	121
617	3416	121
618	3420	121
619	3424	121
620	3428	121
621	3432	121
622	3436	121
623	3440	121
624	3444	121
625	3448	121
626	3452	121
627	3456	121
628	3460	121
629	3464	121
630	3468	121
631	3472	121
632	3476	121
633	3480	121
634	3484	121
635	3488	121
636	3492	121
637	3496	121
638	3500	121
639	3504	121
640	3508	121
641	3512	121
642	3516	121
643	3520	121
644	3524	121
645	3528	121
646	3532	121
647	3536	121
648	3540	121
649	3544	121
650	3548	121
651	3552	121
652	3556	121
653	3560	121
654	3564	121
655	3568	121
656	3572	121
657	3576	121
658	3580	121
659	3584	121
660	3588	121
661	3592	121
662	3596	121
663	3600	121
664	3604	121
665	3608	121
666	3612	121
667	3616	121
668	3620	121
669	3624	121
670	3628	121
671	3632	121
672	3636	121
673	3640	121
674	3644	121
675	3648	121
676	3652	121
677	3656	121
678	3660	121
679	3664	121
680	3668	121
681	3672	121
682	3676	121
683	3680	121
684	3684	121
685	3688	121
686	3692	121
687	3696	121
688	3700	121
689	3704	121
690	3708	121
691	3712	121
692	3716	121
693	3720	121
694	3724	121
695	3728	121
696	3732	121
697	3736	121
698	3740	121
699	3744	121
700	3748	121
701	3752	121
702	3756	121
703	3760	121
704	3764	121
705	3768	121
706	3772	121
707	3776	121
708	3780	121
709	3784	121
710	3788	121
711	3792	121
712	3796	121
713	3800	121
714	3804	121
715	3808	121
716	3812	121
717	3816	121
718	3820	121
719	3824	121
720	3828	121
721	3832	121
722	3836	121
723	3840	121
724	3844	121
725	3848	121
726	3852	121
727	3856	121
728	3860	121
729	3864	121
730	3868	121
731	3872	121
732	3876	121
733	3880	121
734	3884	121
735	3888	121
736	3892	121
737	3896	121
738	3900	121
739	3904	121
740	3908	121
741	3912	121
742	3916	121
743	3920	121
744	3924	121
745	3928	121
746	3932	121
747	3936	121
748	3940	121
749	3944	121
750	3948	121
751	3952	121
752	3956	121
753	3960	121
754	3964	121
755	3968	121
756	3972	121
757	3976	121
758	3980	121
759	3984	121
760	3988	121
761	3992	121
762	3996	121
763	4000	121
764	4004	121
765	4008	121
766	4012	121
767	4016	121
768	4020	121
769	4024	121
770	4028	121
771	4032	121
772	4036	121
773	4040	121
774	4044	121
775	4048	121
776	4052	121
777	4056	121
778	4060	121
779	4064	121
780	4068	121
781	4072	121
782	4076	121
783	4080	121
784	4084	121
785	4088	121
786	4092	121
787	4096	121
788	4100	121
789	4104	121
790	4108	121
791	4112	121
792	4116	121
793	4120	121
794	4124	121
795	4128	121
796	4132	121
797	4136	121
798	4140	121
799	4144	121
800	4148	121
801	4152	121
802	4156	121
803	4160	121
804	4164	121
805	4168	121
806	4172	121
807	4176	121
808	4180	121
809	4184	121
810	4188	121
811	4192	121
812	4196	121
813	4200	121
814	4204	121
815	4208	121
816	4212	121
817	4216	121
818	4220	121
819	4224	121
820	4228	121
821	4232	121
822	4236	121
823	4240	121
824	4244	121
825	4248	121
826	4252	121
827	4256	121
828	4260	121
829	4264	121
830	4268	121
831	4272	121
832	4276	121
833	4280	121
834	4284	121
835	4288	121
836	4292	121
837	4296	121
838	4300	121
839	4304	121
840	4308	121
841	4312	121
842	4316	121
843	4320	121
844	4324	121
845	4328	121
846	4332	121
847	4336	121
848	4340	121
849	4344	121
850	4348	121
851	4352	121
852	4356	121
853	4360	121
854	4364	121
855	4368	121
856	4372	121
857	4376	121
858	4380	121
859	4384	121
860	4388	121
861	4392	121
862	4396	121
863	4400	121
864	4404	121
865	4408	121
866	4412	121
867	4416	121
868	4420	121
869	4424	121
870	4428	121
871	4432	121
872	4436	121
873	4440	121
874	4444	121
875	4448	121
876	4452	121
877	4456	121
878	4460	121
879	4464	121
880	4468	121
881	4472	121
882	4476	121
883	4480	121
884	4484	121
885	4488	121
886	4492	121
887	4496	121
888	4500	121
889	4504	121
890	4508	121
891	4512	121
892	4516	121
893	4520	121
894	4524	121
895	4528	121
896	4532	121
897	4536	121
898	4540	121
899	4544	121
900	4548	121
901	4552	121
902	4556	121
903	4560	121
904	4564	121
905	4568	121
906	4572	121
907	4576	121
908	4580	121
909	4584	121
910	4588	121
911	4592	121
912	4596	121
913	4600	121
914	4604	121
915	4608	121
916	4612	121
917	4616	121
918	4620	121
919	4624	121
920	4628	121
921	4632	121
922	4636	121
923	4640	121
924	4644	121
925	4648	121
926	4652	121
927	4656	121
928	4660	121
929	4664	121
930	4668	121
931	4672	121
932	4676	121
933	4680	121
934	4684	121
935	4688	121
936	4692	121
937	4696	121
938	4700	121
939	4704	121
940	4708	121
941	4712	121
942	4716	121
943	4720	121
944	4724	121
945	4728	121
946	4732	121
947	4736	121
948	4740	121
949	4744	121
950	4748	121
951	4752	121
952	4756	121
953	4760	121
954	4764	121
955	4768	121
956	4772	121
957	4776	121
958	4780	121
959	4784	121
960	4788	121
961	4792	121
962	4796	121
963	4800	121
964	4804	121
965	4808	121
966	4812	121
967	4816	121
968	4820	121
969	4824	121
970	4828	121
971	4832	121
972	4836	121
973	4840	121
974	4844	121
975	4848	121
976	4852	121
977	4856	121
978	4860	121
979	4864	121
980	4868	121
981	4872	121
982	4876	121
983	4880	121
984	4884	121
985	4888	121
986	4892	121
987	4896	121
988	4900	121
989	4904	121
990	4908	121
991	4912	121
992	4916	121
993	4920	121
994	4924	121
995	4928	121
996	4932	121
997	4936	121
998	4940	121
999	4944	121
1000	4948	121
1001	4952	121
1002	4956	121
1003	4960	121
1004	4964	121
1005	4968	121
1006	4972	121
1007	4976	121
1008	4980	121
1009	4984	121
1010	4988	121
1011	4992	121
1012	4996	121
1013	5000	121
1014	5004	121
1015	5008	121
1016	5012	121
1017	5016	121
1018	5020	121
1019	5024	121
1020	5028	121
1021	5032	121
1022	5036	121
1023	5040	121
1024	5044	121
1025	5048	121
1026	5052	121
1027	5056	121
1028	5060	121
1029	5064	121
1030	5068	121
1031	5072	121
1032	5076	121
1033	5080	121
1034	5084	121
1035	5088	121
1036	5092	121
1037	5096	121
1038	5100	121
1039	5104	121
1040	5108	121
1041	5112	121
1042	5116	121
1043	5120	121
1044	5124	121
1045	5128	121
1046	5132	121
1047	5136	121
1048	5140	121
1049	5144	121
1050	5148	121
1051	5152	121
1052	5156	121
1053	5160	121
1054	5164	121
1055	5168	121
1056	5172	121
1057	5176	121
1058	5180	121
1059	5184	121
1060	5188	121
1061	5192	121
1062	5196	121
1063	5200	121
1064	5204	121
1065	5208	121
1066	5212	121
1067	5216	121
1068	5220	121
1069	5224	121
1070	5228	121
1071	5232	121
1072	5236	121
1073	5240	121
1074	5244	121
1075	5248	121
1076	5252	121
1077	5256	121
1078	5260	121
1079	5264	121
1080	5268	121
1081	5272	121
1082	5276	121
1083	5280	121
1084	5284	121
1085	5288	121
1086	5292	121
1087	5296	121
1088	5300	121
1089	5304	121
1090	5308	121
1091	5312	121
1092	5316	121
1093	5320	121
1094	5324	121
1095	5328	121
1096	5332	121
1097	5336	121
1098	5340	121
1099	5344	121
1100	5348	121
1101	5352	121
1102	5356	121
1103	5360	121
1104	5364	121
1105	5368	121
1106	5372	121
1107	5376	121
1108	5380	121
1109	5384	121
1110	5388	121
1111	5392	121
1112	5396	121
1113	5400	121
1114	5404	121
1115	5408	121
1116	5412	121
1117	5416	121
1118	5420	121
1119	5424	121
1120	5428	121
1121	5432	121
1122	5436	121
1123	5440	121
1124	5444	121
1125	5448	121
1126	5452	121
1127	5456	121
1128	5460	121
1129	5464	121
1130	5468	121
1131	5472	121
1132	5476	121
1133	5480	121
1134	5484	121
1135	5488	121
1136	5492	121
1137	5496	121
1138	5500	121
1139	5504	121
1140	5508	121
1141	5512	121
1142	5516	121
1143	5520	121
1144	5524	121
1145	5528	121
1146	5532	121
1147	5536	121
1148	5540	121
1149	5544	121
1150	5548	121
1151	5552	121
1152	5556	121
1153	5560	121
1154	5564	121
1155	5568	121
1156	5572	121
1157	5576	121
1158	5580	121
1159	5584	121
1160	5588	121
1161	5592	121
1162	5596	121
1163	5600	121
1164	5604	121
1165	5608	121
1166	5612	121
1167	5616	121
1168	5620	121
1169	5624	121
1170	5628	121
1171	5632	121
1172	5636	121
1173	5640	121
1174	5644	121
1175	5648	121
1176	5652	121
1177	5656	121
1178	5660	121
1179	5664	121
1180	5668	121
1181	5672	121
1182	5676	121
1183	5680	121
1184	5684	121
1185	5688	121
1186	5692	121
1187	5696	121
1188	5700	121
1189	5704	121
1190	5708	121
1191	5712	121
1192	5716	121
1193	5720	121
1194	5724	121
1195	5728	121
1196	5732	121
1197	5736	121
1198	5740	121
1199	5744	121
1200	5748	121
1201	5752	121
1202	5756	121
1203	5760	121
1204	5764	121
1205	5768	121
1206	5772	121
1207	5776	121
1208	5780	121
1209	5784	121
1210	5788	121
1211	5792	121
1212	5796	121
1213	5800	121
1214	5804	121
1215	5808	121
1216	5812	121
1217	5816	121
1218	5820	121
1219	5824	121
1220	5828	121
1221	5832	121
1222	5836	121
1223	5840	121
1224	5844	121
1225	5848	121
1226	5852	121
1227	5856	121
1228	5860	121
1229	5864	121
1230	5868	121
1231	5872	121
1232	5876	121
1233	5880	121
1234	5884	121
1235	5888	121
1236	5892	121
1237	5896	121
1238	5900	121
1239	5904	121
1240	5908	121
1241	5912	121
1242	5916	121
1243	5920	121
1244	5924	121
1245	5928	121
1246	5932	121
1247	5936	121
1248	5940	121
1249	5944	121
1250	5948	121
1251	5952	121
1252	5956	121
1253	5960	121
1254	5964	121
1255	5968	121
1256	5972	121
1257	5976	121
1258	5980	121
1259	5984	121
1260	5988	121
1261	5992	121
1262	5996	121
1263	6000	121
1264	6004	121
1265	6008	121
1266	6012	121
1267	6016	121
1268	6020	121
1269	6024	121
1270	6028	121
1271	6032	121
1272	6036	121
1273	6040	121
1274	6044	121
1275	6048	121
1276	6052	121
1277	6056	121
1278	6060	121
1279	6064	121
1280	6068	121
1281	6072	121
1282	6076	121
1283	6080	121
1284	6084	121
1285	6088	121
1286	6092	121
1287	6096	121
1288	6100	121
1289	6104	121
1290	6108	121
1291	6112	121
1292	6116	121
1293	6120	121
1294	6124	121
1295	6128	121
1296	6132	121
1297	6136	121
1298	6140	121
1299	6144	121
1300	6148	121
1301	6152	121
1302	6156	121
1303	6160	121
1304	6164	121
1305	6168	121
1306	6172	121
1307	6176	121
1308	6180	121
1309	6184	121
1310	6188	121
1311	6192	121
1312	6196	121
1313	6200	121
1314	6204	121
1315	6208	121
1316	6212	121
1317	6216	121
1318	6220	121
1319	6224	121
1320	6228	121
1321	6232	121
1322	6236	121
1323	6240	121
1324	6244	121
1325	6248	121
1326	6252	121
1327	6256	121
1328	6260	121
1329	6264	121
1330	6268	121
1331	6272	121
1332	6276	121
1333	6280	121
1334	6284	121
1335	6288	121
1336	6292	121
1337	6296	121
1338	6300	121
1339	6304	121
1340	6308	121
1341	6312	121
1342	6316	121
1343	6320	121
1344	6324	121
1345	6328	121
1346	6332	121
1347	6336	121
1348	6340	121
1349	6344	121
1350	6348	121
1351	6352	121
1352	6356	121
1353	6360	121
1354	6364	121
1355	6368	121
1356	6372	121
1357	6376	121
1358	6380	121
1359	6384	121
1360	6388	121
1361	6392	121
1362	6396	121
1363	6400	121
1364	6404	121
1365	6408	121
1366	6412	121
1367	6416	121
1368	6420	121
1369	6424	121
1370	6428	121
1371	6432	121
1372	6436	121
1373	6440	121
1374	6444	121
1375	6448	121
1376	6452	121
1377	6456	121
1378	6460	121
1379	6464	121
1380	6468	121
1381	6472	121
1382	6476	121
1383	6480	121
1384	6484	121
1385	6488	121
1386	6492	121
1387	6496	121
1388	6500	121
1389	6504	121
1390	6508	121
1391	6512	121
1392	6516	121
1393	6520	121
1394	6524	121
1395	6528	121
1396	6532	121
1397	6536	121
1398	6540	121
1399	6544	121
1400	6548	121
1401	6552	121
1402	6556	121
1403	6560	121
1404	6564	121
1405	6568	121
1406	6572	121
1407	6576	121
1408	6580	121
1409	6584	121
1410	6588	121
1411	6592	121
1412	6596	121
1413	6600	121
1414	6604	121
1415	6608	121
1416	6612	121
1417	6616	121
1418	6620	121
1419	6624	121
1420	6628	121
1421	6632	121
1422	6636	121
1423	6640	121
1424	6644	121
1425	6648	121
1426	6652	121
1427	6656	121
1428	6660	121
1429	6664	121
1430	6668	121
1431	6672	121
1432	6676	121
1433	6680	121
1434	6684	121
1435	6688	121
1436	6692	121
1437	6696	121
1438	6700	121
1439	6704	121
1440	6708	121
1441	6712	121
1442	6716	121
1443	6720	121
1444	6724	121
1445	6728	121
1446	6732	121
1447	6736	121
1448	6740	121
1449	6744	121
1450	6748	121
1451	6752	121
1452	6756	121
1453	6760	121
1454	6764	121
1455	6768	121
1456	6772	121
1457	6776	121
1458	6780	121
1459	6784	121
1460	6788	121
1461	6792	121
1462	6796	121
1463	6800	121
1464	6804	121
1465	6808	121
1466	6812	121
1467	6816	121
1468	6820	121
1469	6824	121
1470	6828	121
1471	6832	121
1472	6836	121
1473	6840	121
1474	6844	121
1475	6848	121
1476	6852	121
1477	6856	121
1478	6860	121
1479	6864	121
1480	6868	121
1481	6872	121
1482	6876	121
1483	6880	121
1484	6884	121
1485	6888	121
1486	6892	121
1487	6896	121
1488	6900	121
1489	6904	121
1490	6908	121
1491	6912	121
1492	6916	121
1493	6920	121
1494	6924	121
1495	6928	121
1496	6932	121
1497	6936	121
1498	6940	121
1499	6944	121
1500	6948	121
1501	6952	121
1502	6956	121
1503	6960	121
1504	6964	121
1505	6968	121
1506	6972	121
1507	6976	121
1508	6980	121
1509	6984	121
1510	6988	121
1511	6992	121
1512	6996	121
1513	7000	121
1514	7004	121
1515	7008	121
1516	7012	121
1517	7016	121
1518	7020	121
1519	7024	121
1520	7028	121
1521	7032	121
1522	7036	121
1523	7040	121
1524	7044	121
1525	7048	121
1526	7052	121
1527	7056	121
1528	7060	121
1529	7064	121
1530	7068	121
1531	7072	121
1532	7076	121
1533	7080	121
1534	7084	121
1535	7088	121
1536	7092	121
1537	7096	121
1538	7100	121
1539	7104	121
1540	7108	121
1541	7112	121
1542	7116	121
1543	7120	121
1544	7124	121
1545	7128	121
1546	7132	121
1547	7136	121
1548	7140	121
1549	7144	121
1550	7148	121
1551	7152	121
1552	7156	121
1553	7160	121
1554	7164	121
1555	7168	121
1556	7172	121
1557	7176	121
1558	7180	121
1559	7184	121
1560	7188	121
1561	7192	121
1562	7196	121
1563	7200	121
1564	7204	121
1565	7208	121
1566	7212	121
1567	7216	121
1568	7220	121
1569	7224	121
1570	7228	121
1571	7232	121
1572	7236	121
1573	7240	121
1574	7244	121
1575	7248	121
1576	7252	121
1577	7256	121
1578	7260	121
1579	7264	121
1580	7268	121
1581	7272	121
1582	7276	121
1583	7280	121
1584	7284	121
1585	7288	121
1586	7292	121
1587	7296	121
1588	7300	121
1589	7304	121
1590	7308	121
1591	7312	121
1592	7316	121
1593	7320	121
1594	7324	121
1595	7328	121
1596	7332	121
1597	7336	121
1598	7340	121
1599	7344	121
1600	7348	121
1601	7352	121
1602	7356	121
1603	7360	121
1604	7364	121
1605	7368	121
1606	7372	121
1607	7376	121
1608	7380	121
1609	7384	121
1610	7388	121
1611	7392	121
1612	7396	121
1613	7400	121
1614	7404	121
1615	7408	121
1616	7412	121
1617	7416	121
1618	7420	121
1619	7424	121
1620	7428	121
1621	7432	121
1622	7436	121
1623	7440	121
1624	7444	121
1625	7448	121
1626	7452	121
1627	7456	121
1628	7460	121
1629	7464	121
1630	7468	121
1631	7472	121
1632	7476	121
1633	7480	121
1634	7484	121
1635	7488	121
1636	7492	121
1637	7496	121
1638	7500	121
1639	7504	121
1640	7508	121
1641	7512	121
1642	7516	121
1643	7520	121
1644	7524	121
1645	7528	121
1646	7532	121
1647	7536	121
1648	7540	121
1649	7544	121
1650	7548	121
1651	7552	121
1652	7556	121
1653	7560	121
1654	7564	121
1655	7568	121
1656	7572	121
1657	7576	121
1658	7580	121
1659	7584	121
1660	7588	121
1661	7592	121
1662	7596	121
1663	7600	121
1664	7604	121
1665	7608	121
1666	7612	121
1667	7616	121
1668	7620	121
1669	7624	121
1670	7628	121
1671	7632	121
1672	7636	121
1673	7640	121
1674	7644	121
1675	7648	121
1676	7652	121
1677	7656	121
1678	7660	121
1679	7664	121
1680	7668	121
1681	7672	121
1682	7676	121
1683	7680	121
1684	7684	121
1685	7688	121
1686	7692	121
1687	7696	121
1688	7700	121
1689	7704	121
1690	7708	121
1691	7712	121
1692	7716	121
1693	7720	121
1694	7724	121
1695	7728	121
1696	7732	121
1697	7736	121
1698	7740	121
1699	7744	121
1700	7748	121
1701	7752	121
1702	7756	121
1703	7760	121
1704	7764	121
1705	7768	121
1706	7772	121
1707	7776	121
1708	7780	121
1709	7784	121
1710	7788	121
1711	7792	121
1712	7796	121
1713	7800	121
1714	7804	121
1715	7808	121
1716	7812	121
1717	7816	121
1718	7820	121
1719	7824	121
1720	7828	121
1721	7832	121
1722	7836	121
1723	7840	121
1724	7844	121
1725	7848	121
1726	7852	121
1727	7856	121
1728	7860	121
1729	7864	121
1730	7868	121
1731	7872	121
1732	7876	121
1733	7880	121
1734	7884	121
1735	7888	121
1736	7892	121
1737	7896	121
1738	7900	121
1739	7904	121
1740	7908	121
1741	7912	121
1742	7916	121
1743	7920	121
1744	7924	121
1745	7928	121
1746	7932	121
1747	7936	121
1748	7940	121
1749	7944	121
1750	7948	121
1751	7952	121
1752	7956	121
1753	7960	121
1754	7964	121
1755	7968	121
1756	7972	121
1757	7976	121
1758	7980	121
1759	7984	121
1760	7988	121
1761	7992	121
1762	7996	121
1763	8000	121

Stop Event

1×	node limit

Counts

79 → 73

Calls

Call 1

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

Outputs
y
(+.f64 y (.f64 -1 (.f64 y x)))
(+.f64 y (neg.f64 (*.f64 y x)))
(-.f64 y (*.f64 y x))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 y x))
(*.f64 y (neg.f64 x))
(*.f64 x (neg.f64 y))
(+.f64 y (.f64 -1 (.f64 y x)))
(+.f64 y (neg.f64 (*.f64 y x)))
(-.f64 y (*.f64 y x))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 y x))
(*.f64 y (neg.f64 x))
(*.f64 x (neg.f64 y))
(+.f64 y (.f64 -1 (.f64 y x)))
(+.f64 y (neg.f64 (*.f64 y x)))
(-.f64 y (*.f64 y x))
(*.f64 (pow.f64 1 1/3) x)
(*.f64 x 1)
x
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (-.f64 1 x)))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (-.f64 1 x)))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (-.f64 1 x)))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)
(*.f64 y (-.f64 1 x))
(+.f64 y (neg.f64 (*.f64 y x)))
(-.f64 y (*.f64 y x))
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (-.f64 1 x)))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (-.f64 1 x)))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (-.f64 1 x)))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)
(.f64 y (+.f64 1 (.f64 -1 x)))
(+.f64 y (neg.f64 (*.f64 y x)))
(-.f64 y (*.f64 y x))
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (+.f64 1 (*.f64 -1 x))))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (+.f64 1 (*.f64 -1 x))))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (+.f64 1 (*.f64 -1 x))))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)

localize5.0ms (0%)

Compiler: Compiled 12 to 4 computations (66.7% saved)

eval30.0ms (0.3%)

Compiler: Compiled 1442 to 539 computations (62.6% saved)

prune19.0ms (0.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	114	3	117
Fresh	1	1	2
Picked	0	1	1
Done	1	2	3
Total	116	7	123

Error

Counts

123 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	54.6b	(*.f64 x (neg.f64 y))
✓	25.5b	(-.f64 y (*.f64 y x))
▶	12.9b	(fma.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 x) (-.f64 y (.f64 x y)))
	37.1b	x
	33.1b	y
✓	0.0b	(-.f64 (+.f64 x y) (*.f64 x y))
✓	29.4b	(*.f64 (-.f64 1 y) x)

Compiler

Compiled 49 to 30 computations (38.8% saved)

localize15.0ms (0.1%)

Local error

Found 6 expressions with local error:

New	Error	Program
	28.9b	(cbrt.f64 (*.f64 x x))
	0.6b	(cbrt.f64 x)
	0.1b	(fma.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 x) (-.f64 y (.f64 x y)))
✓	0.1b	(fma.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 x) (-.f64 y (.f64 x y)))
	0.6b	(cbrt.f64 x)
✓	28.9b	(cbrt.f64 (*.f64 x x))

Compiler

Compiled 33 to 8 computations (75.8% saved)

series5.0ms (0%)

Counts

2 → 18

Calls

9 calls:

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

rewrite64.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

940×	`pow1_binary64`
874×	`add-log-exp_binary64`
874×	`log1p-expm1-u_binary64`
874×	`expm1-log1p-u_binary64`
851×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	190	16
2	2459	16

Stop Event

1×	node limit

Counts

2 → 44

Calls

Call 1

Inputs
(cbrt.f64 (*.f64 x x))
(fma.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 x) (-.f64 y (.f64 x y)))

Outputs

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

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

simplify4.7s (39.4%)

Algorithm

1×	egg-herbie

Rules

1764×	`sqr-pow_binary64`
1763×	`pow-base-1_binary64`
239×	`fma-def_binary64`
199×	`fma-neg_binary64`
34×	`sub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	161
1	51	121
2	84	121
3	146	121
4	249	121
5	413	121
6	706	121
7	913	121
8	976	121
9	983	121
10	988	121
11	992	121
12	996	121
13	1000	121
14	1004	121
15	1008	121
16	1012	121
17	1016	121
18	1020	121
19	1024	121
20	1028	121
21	1032	121
22	1036	121
23	1040	121
24	1044	121
25	1048	121
26	1052	121
27	1056	121
28	1060	121
29	1064	121
30	1068	121
31	1072	121
32	1076	121
33	1080	121
34	1084	121
35	1088	121
36	1092	121
37	1096	121
38	1100	121
39	1104	121
40	1108	121
41	1112	121
42	1116	121
43	1120	121
44	1124	121
45	1128	121
46	1132	121
47	1136	121
48	1140	121
49	1144	121
50	1148	121
51	1152	121
52	1156	121
53	1160	121
54	1164	121
55	1168	121
56	1172	121
57	1176	121
58	1180	121
59	1184	121
60	1188	121
61	1192	121
62	1196	121
63	1200	121
64	1204	121
65	1208	121
66	1212	121
67	1216	121
68	1220	121
69	1224	121
70	1228	121
71	1232	121
72	1236	121
73	1240	121
74	1244	121
75	1248	121
76	1252	121
77	1256	121
78	1260	121
79	1264	121
80	1268	121
81	1272	121
82	1276	121
83	1280	121
84	1284	121
85	1288	121
86	1292	121
87	1296	121
88	1300	121
89	1304	121
90	1308	121
91	1312	121
92	1316	121
93	1320	121
94	1324	121
95	1328	121
96	1332	121
97	1336	121
98	1340	121
99	1344	121
100	1348	121
101	1352	121
102	1356	121
103	1360	121
104	1364	121
105	1368	121
106	1372	121
107	1376	121
108	1380	121
109	1384	121
110	1388	121
111	1392	121
112	1396	121
113	1400	121
114	1404	121
115	1408	121
116	1412	121
117	1416	121
118	1420	121
119	1424	121
120	1428	121
121	1432	121
122	1436	121
123	1440	121
124	1444	121
125	1448	121
126	1452	121
127	1456	121
128	1460	121
129	1464	121
130	1468	121
131	1472	121
132	1476	121
133	1480	121
134	1484	121
135	1488	121
136	1492	121
137	1496	121
138	1500	121
139	1504	121
140	1508	121
141	1512	121
142	1516	121
143	1520	121
144	1524	121
145	1528	121
146	1532	121
147	1536	121
148	1540	121
149	1544	121
150	1548	121
151	1552	121
152	1556	121
153	1560	121
154	1564	121
155	1568	121
156	1572	121
157	1576	121
158	1580	121
159	1584	121
160	1588	121
161	1592	121
162	1596	121
163	1600	121
164	1604	121
165	1608	121
166	1612	121
167	1616	121
168	1620	121
169	1624	121
170	1628	121
171	1632	121
172	1636	121
173	1640	121
174	1644	121
175	1648	121
176	1652	121
177	1656	121
178	1660	121
179	1664	121
180	1668	121
181	1672	121
182	1676	121
183	1680	121
184	1684	121
185	1688	121
186	1692	121
187	1696	121
188	1700	121
189	1704	121
190	1708	121
191	1712	121
192	1716	121
193	1720	121
194	1724	121
195	1728	121
196	1732	121
197	1736	121
198	1740	121
199	1744	121
200	1748	121
201	1752	121
202	1756	121
203	1760	121
204	1764	121
205	1768	121
206	1772	121
207	1776	121
208	1780	121
209	1784	121
210	1788	121
211	1792	121
212	1796	121
213	1800	121
214	1804	121
215	1808	121
216	1812	121
217	1816	121
218	1820	121
219	1824	121
220	1828	121
221	1832	121
222	1836	121
223	1840	121
224	1844	121
225	1848	121
226	1852	121
227	1856	121
228	1860	121
229	1864	121
230	1868	121
231	1872	121
232	1876	121
233	1880	121
234	1884	121
235	1888	121
236	1892	121
237	1896	121
238	1900	121
239	1904	121
240	1908	121
241	1912	121
242	1916	121
243	1920	121
244	1924	121
245	1928	121
246	1932	121
247	1936	121
248	1940	121
249	1944	121
250	1948	121
251	1952	121
252	1956	121
253	1960	121
254	1964	121
255	1968	121
256	1972	121
257	1976	121
258	1980	121
259	1984	121
260	1988	121
261	1992	121
262	1996	121
263	2000	121
264	2004	121
265	2008	121
266	2012	121
267	2016	121
268	2020	121
269	2024	121
270	2028	121
271	2032	121
272	2036	121
273	2040	121
274	2044	121
275	2048	121
276	2052	121
277	2056	121
278	2060	121
279	2064	121
280	2068	121
281	2072	121
282	2076	121
283	2080	121
284	2084	121
285	2088	121
286	2092	121
287	2096	121
288	2100	121
289	2104	121
290	2108	121
291	2112	121
292	2116	121
293	2120	121
294	2124	121
295	2128	121
296	2132	121
297	2136	121
298	2140	121
299	2144	121
300	2148	121
301	2152	121
302	2156	121
303	2160	121
304	2164	121
305	2168	121
306	2172	121
307	2176	121
308	2180	121
309	2184	121
310	2188	121
311	2192	121
312	2196	121
313	2200	121
314	2204	121
315	2208	121
316	2212	121
317	2216	121
318	2220	121
319	2224	121
320	2228	121
321	2232	121
322	2236	121
323	2240	121
324	2244	121
325	2248	121
326	2252	121
327	2256	121
328	2260	121
329	2264	121
330	2268	121
331	2272	121
332	2276	121
333	2280	121
334	2284	121
335	2288	121
336	2292	121
337	2296	121
338	2300	121
339	2304	121
340	2308	121
341	2312	121
342	2316	121
343	2320	121
344	2324	121
345	2328	121
346	2332	121
347	2336	121
348	2340	121
349	2344	121
350	2348	121
351	2352	121
352	2356	121
353	2360	121
354	2364	121
355	2368	121
356	2372	121
357	2376	121
358	2380	121
359	2384	121
360	2388	121
361	2392	121
362	2396	121
363	2400	121
364	2404	121
365	2408	121
366	2412	121
367	2416	121
368	2420	121
369	2424	121
370	2428	121
371	2432	121
372	2436	121
373	2440	121
374	2444	121
375	2448	121
376	2452	121
377	2456	121
378	2460	121
379	2464	121
380	2468	121
381	2472	121
382	2476	121
383	2480	121
384	2484	121
385	2488	121
386	2492	121
387	2496	121
388	2500	121
389	2504	121
390	2508	121
391	2512	121
392	2516	121
393	2520	121
394	2524	121
395	2528	121
396	2532	121
397	2536	121
398	2540	121
399	2544	121
400	2548	121
401	2552	121
402	2556	121
403	2560	121
404	2564	121
405	2568	121
406	2572	121
407	2576	121
408	2580	121
409	2584	121
410	2588	121
411	2592	121
412	2596	121
413	2600	121
414	2604	121
415	2608	121
416	2612	121
417	2616	121
418	2620	121
419	2624	121
420	2628	121
421	2632	121
422	2636	121
423	2640	121
424	2644	121
425	2648	121
426	2652	121
427	2656	121
428	2660	121
429	2664	121
430	2668	121
431	2672	121
432	2676	121
433	2680	121
434	2684	121
435	2688	121
436	2692	121
437	2696	121
438	2700	121
439	2704	121
440	2708	121
441	2712	121
442	2716	121
443	2720	121
444	2724	121
445	2728	121
446	2732	121
447	2736	121
448	2740	121
449	2744	121
450	2748	121
451	2752	121
452	2756	121
453	2760	121
454	2764	121
455	2768	121
456	2772	121
457	2776	121
458	2780	121
459	2784	121
460	2788	121
461	2792	121
462	2796	121
463	2800	121
464	2804	121
465	2808	121
466	2812	121
467	2816	121
468	2820	121
469	2824	121
470	2828	121
471	2832	121
472	2836	121
473	2840	121
474	2844	121
475	2848	121
476	2852	121
477	2856	121
478	2860	121
479	2864	121
480	2868	121
481	2872	121
482	2876	121
483	2880	121
484	2884	121
485	2888	121
486	2892	121
487	2896	121
488	2900	121
489	2904	121
490	2908	121
491	2912	121
492	2916	121
493	2920	121
494	2924	121
495	2928	121
496	2932	121
497	2936	121
498	2940	121
499	2944	121
500	2948	121
501	2952	121
502	2956	121
503	2960	121
504	2964	121
505	2968	121
506	2972	121
507	2976	121
508	2980	121
509	2984	121
510	2988	121
511	2992	121
512	2996	121
513	3000	121
514	3004	121
515	3008	121
516	3012	121
517	3016	121
518	3020	121
519	3024	121
520	3028	121
521	3032	121
522	3036	121
523	3040	121
524	3044	121
525	3048	121
526	3052	121
527	3056	121
528	3060	121
529	3064	121
530	3068	121
531	3072	121
532	3076	121
533	3080	121
534	3084	121
535	3088	121
536	3092	121
537	3096	121
538	3100	121
539	3104	121
540	3108	121
541	3112	121
542	3116	121
543	3120	121
544	3124	121
545	3128	121
546	3132	121
547	3136	121
548	3140	121
549	3144	121
550	3148	121
551	3152	121
552	3156	121
553	3160	121
554	3164	121
555	3168	121
556	3172	121
557	3176	121
558	3180	121
559	3184	121
560	3188	121
561	3192	121
562	3196	121
563	3200	121
564	3204	121
565	3208	121
566	3212	121
567	3216	121
568	3220	121
569	3224	121
570	3228	121
571	3232	121
572	3236	121
573	3240	121
574	3244	121
575	3248	121
576	3252	121
577	3256	121
578	3260	121
579	3264	121
580	3268	121
581	3272	121
582	3276	121
583	3280	121
584	3284	121
585	3288	121
586	3292	121
587	3296	121
588	3300	121
589	3304	121
590	3308	121
591	3312	121
592	3316	121
593	3320	121
594	3324	121
595	3328	121
596	3332	121
597	3336	121
598	3340	121
599	3344	121
600	3348	121
601	3352	121
602	3356	121
603	3360	121
604	3364	121
605	3368	121
606	3372	121
607	3376	121
608	3380	121
609	3384	121
610	3388	121
611	3392	121
612	3396	121
613	3400	121
614	3404	121
615	3408	121
616	3412	121
617	3416	121
618	3420	121
619	3424	121
620	3428	121
621	3432	121
622	3436	121
623	3440	121
624	3444	121
625	3448	121
626	3452	121
627	3456	121
628	3460	121
629	3464	121
630	3468	121
631	3472	121
632	3476	121
633	3480	121
634	3484	121
635	3488	121
636	3492	121
637	3496	121
638	3500	121
639	3504	121
640	3508	121
641	3512	121
642	3516	121
643	3520	121
644	3524	121
645	3528	121
646	3532	121
647	3536	121
648	3540	121
649	3544	121
650	3548	121
651	3552	121
652	3556	121
653	3560	121
654	3564	121
655	3568	121
656	3572	121
657	3576	121
658	3580	121
659	3584	121
660	3588	121
661	3592	121
662	3596	121
663	3600	121
664	3604	121
665	3608	121
666	3612	121
667	3616	121
668	3620	121
669	3624	121
670	3628	121
671	3632	121
672	3636	121
673	3640	121
674	3644	121
675	3648	121
676	3652	121
677	3656	121
678	3660	121
679	3664	121
680	3668	121
681	3672	121
682	3676	121
683	3680	121
684	3684	121
685	3688	121
686	3692	121
687	3696	121
688	3700	121
689	3704	121
690	3708	121
691	3712	121
692	3716	121
693	3720	121
694	3724	121
695	3728	121
696	3732	121
697	3736	121
698	3740	121
699	3744	121
700	3748	121
701	3752	121
702	3756	121
703	3760	121
704	3764	121
705	3768	121
706	3772	121
707	3776	121
708	3780	121
709	3784	121
710	3788	121
711	3792	121
712	3796	121
713	3800	121
714	3804	121
715	3808	121
716	3812	121
717	3816	121
718	3820	121
719	3824	121
720	3828	121
721	3832	121
722	3836	121
723	3840	121
724	3844	121
725	3848	121
726	3852	121
727	3856	121
728	3860	121
729	3864	121
730	3868	121
731	3872	121
732	3876	121
733	3880	121
734	3884	121
735	3888	121
736	3892	121
737	3896	121
738	3900	121
739	3904	121
740	3908	121
741	3912	121
742	3916	121
743	3920	121
744	3924	121
745	3928	121
746	3932	121
747	3936	121
748	3940	121
749	3944	121
750	3948	121
751	3952	121
752	3956	121
753	3960	121
754	3964	121
755	3968	121
756	3972	121
757	3976	121
758	3980	121
759	3984	121
760	3988	121
761	3992	121
762	3996	121
763	4000	121
764	4004	121
765	4008	121
766	4012	121
767	4016	121
768	4020	121
769	4024	121
770	4028	121
771	4032	121
772	4036	121
773	4040	121
774	4044	121
775	4048	121
776	4052	121
777	4056	121
778	4060	121
779	4064	121
780	4068	121
781	4072	121
782	4076	121
783	4080	121
784	4084	121
785	4088	121
786	4092	121
787	4096	121
788	4100	121
789	4104	121
790	4108	121
791	4112	121
792	4116	121
793	4120	121
794	4124	121
795	4128	121
796	4132	121
797	4136	121
798	4140	121
799	4144	121
800	4148	121
801	4152	121
802	4156	121
803	4160	121
804	4164	121
805	4168	121
806	4172	121
807	4176	121
808	4180	121
809	4184	121
810	4188	121
811	4192	121
812	4196	121
813	4200	121
814	4204	121
815	4208	121
816	4212	121
817	4216	121
818	4220	121
819	4224	121
820	4228	121
821	4232	121
822	4236	121
823	4240	121
824	4244	121
825	4248	121
826	4252	121
827	4256	121
828	4260	121
829	4264	121
830	4268	121
831	4272	121
832	4276	121
833	4280	121
834	4284	121
835	4288	121
836	4292	121
837	4296	121
838	4300	121
839	4304	121
840	4308	121
841	4312	121
842	4316	121
843	4320	121
844	4324	121
845	4328	121
846	4332	121
847	4336	121
848	4340	121
849	4344	121
850	4348	121
851	4352	121
852	4356	121
853	4360	121
854	4364	121
855	4368	121
856	4372	121
857	4376	121
858	4380	121
859	4384	121
860	4388	121
861	4392	121
862	4396	121
863	4400	121
864	4404	121
865	4408	121
866	4412	121
867	4416	121
868	4420	121
869	4424	121
870	4428	121
871	4432	121
872	4436	121
873	4440	121
874	4444	121
875	4448	121
876	4452	121
877	4456	121
878	4460	121
879	4464	121
880	4468	121
881	4472	121
882	4476	121
883	4480	121
884	4484	121
885	4488	121
886	4492	121
887	4496	121
888	4500	121
889	4504	121
890	4508	121
891	4512	121
892	4516	121
893	4520	121
894	4524	121
895	4528	121
896	4532	121
897	4536	121
898	4540	121
899	4544	121
900	4548	121
901	4552	121
902	4556	121
903	4560	121
904	4564	121
905	4568	121
906	4572	121
907	4576	121
908	4580	121
909	4584	121
910	4588	121
911	4592	121
912	4596	121
913	4600	121
914	4604	121
915	4608	121
916	4612	121
917	4616	121
918	4620	121
919	4624	121
920	4628	121
921	4632	121
922	4636	121
923	4640	121
924	4644	121
925	4648	121
926	4652	121
927	4656	121
928	4660	121
929	4664	121
930	4668	121
931	4672	121
932	4676	121
933	4680	121
934	4684	121
935	4688	121
936	4692	121
937	4696	121
938	4700	121
939	4704	121
940	4708	121
941	4712	121
942	4716	121
943	4720	121
944	4724	121
945	4728	121
946	4732	121
947	4736	121
948	4740	121
949	4744	121
950	4748	121
951	4752	121
952	4756	121
953	4760	121
954	4764	121
955	4768	121
956	4772	121
957	4776	121
958	4780	121
959	4784	121
960	4788	121
961	4792	121
962	4796	121
963	4800	121
964	4804	121
965	4808	121
966	4812	121
967	4816	121
968	4820	121
969	4824	121
970	4828	121
971	4832	121
972	4836	121
973	4840	121
974	4844	121
975	4848	121
976	4852	121
977	4856	121
978	4860	121
979	4864	121
980	4868	121
981	4872	121
982	4876	121
983	4880	121
984	4884	121
985	4888	121
986	4892	121
987	4896	121
988	4900	121
989	4904	121
990	4908	121
991	4912	121
992	4916	121
993	4920	121
994	4924	121
995	4928	121
996	4932	121
997	4936	121
998	4940	121
999	4944	121
1000	4948	121
1001	4952	121
1002	4956	121
1003	4960	121
1004	4964	121
1005	4968	121
1006	4972	121
1007	4976	121
1008	4980	121
1009	4984	121
1010	4988	121
1011	4992	121
1012	4996	121
1013	5000	121
1014	5004	121
1015	5008	121
1016	5012	121
1017	5016	121
1018	5020	121
1019	5024	121
1020	5028	121
1021	5032	121
1022	5036	121
1023	5040	121
1024	5044	121
1025	5048	121
1026	5052	121
1027	5056	121
1028	5060	121
1029	5064	121
1030	5068	121
1031	5072	121
1032	5076	121
1033	5080	121
1034	5084	121
1035	5088	121
1036	5092	121
1037	5096	121
1038	5100	121
1039	5104	121
1040	5108	121
1041	5112	121
1042	5116	121
1043	5120	121
1044	5124	121
1045	5128	121
1046	5132	121
1047	5136	121
1048	5140	121
1049	5144	121
1050	5148	121
1051	5152	121
1052	5156	121
1053	5160	121
1054	5164	121
1055	5168	121
1056	5172	121
1057	5176	121
1058	5180	121
1059	5184	121
1060	5188	121
1061	5192	121
1062	5196	121
1063	5200	121
1064	5204	121
1065	5208	121
1066	5212	121
1067	5216	121
1068	5220	121
1069	5224	121
1070	5228	121
1071	5232	121
1072	5236	121
1073	5240	121
1074	5244	121
1075	5248	121
1076	5252	121
1077	5256	121
1078	5260	121
1079	5264	121
1080	5268	121
1081	5272	121
1082	5276	121
1083	5280	121
1084	5284	121
1085	5288	121
1086	5292	121
1087	5296	121
1088	5300	121
1089	5304	121
1090	5308	121
1091	5312	121
1092	5316	121
1093	5320	121
1094	5324	121
1095	5328	121
1096	5332	121
1097	5336	121
1098	5340	121
1099	5344	121
1100	5348	121
1101	5352	121
1102	5356	121
1103	5360	121
1104	5364	121
1105	5368	121
1106	5372	121
1107	5376	121
1108	5380	121
1109	5384	121
1110	5388	121
1111	5392	121
1112	5396	121
1113	5400	121
1114	5404	121
1115	5408	121
1116	5412	121
1117	5416	121
1118	5420	121
1119	5424	121
1120	5428	121
1121	5432	121
1122	5436	121
1123	5440	121
1124	5444	121
1125	5448	121
1126	5452	121
1127	5456	121
1128	5460	121
1129	5464	121
1130	5468	121
1131	5472	121
1132	5476	121
1133	5480	121
1134	5484	121
1135	5488	121
1136	5492	121
1137	5496	121
1138	5500	121
1139	5504	121
1140	5508	121
1141	5512	121
1142	5516	121
1143	5520	121
1144	5524	121
1145	5528	121
1146	5532	121
1147	5536	121
1148	5540	121
1149	5544	121
1150	5548	121
1151	5552	121
1152	5556	121
1153	5560	121
1154	5564	121
1155	5568	121
1156	5572	121
1157	5576	121
1158	5580	121
1159	5584	121
1160	5588	121
1161	5592	121
1162	5596	121
1163	5600	121
1164	5604	121
1165	5608	121
1166	5612	121
1167	5616	121
1168	5620	121
1169	5624	121
1170	5628	121
1171	5632	121
1172	5636	121
1173	5640	121
1174	5644	121
1175	5648	121
1176	5652	121
1177	5656	121
1178	5660	121
1179	5664	121
1180	5668	121
1181	5672	121
1182	5676	121
1183	5680	121
1184	5684	121
1185	5688	121
1186	5692	121
1187	5696	121
1188	5700	121
1189	5704	121
1190	5708	121
1191	5712	121
1192	5716	121
1193	5720	121
1194	5724	121
1195	5728	121
1196	5732	121
1197	5736	121
1198	5740	121
1199	5744	121
1200	5748	121
1201	5752	121
1202	5756	121
1203	5760	121
1204	5764	121
1205	5768	121
1206	5772	121
1207	5776	121
1208	5780	121
1209	5784	121
1210	5788	121
1211	5792	121
1212	5796	121
1213	5800	121
1214	5804	121
1215	5808	121
1216	5812	121
1217	5816	121
1218	5820	121
1219	5824	121
1220	5828	121
1221	5832	121
1222	5836	121
1223	5840	121
1224	5844	121
1225	5848	121
1226	5852	121
1227	5856	121
1228	5860	121
1229	5864	121
1230	5868	121
1231	5872	121
1232	5876	121
1233	5880	121
1234	5884	121
1235	5888	121
1236	5892	121
1237	5896	121
1238	5900	121
1239	5904	121
1240	5908	121
1241	5912	121
1242	5916	121
1243	5920	121
1244	5924	121
1245	5928	121
1246	5932	121
1247	5936	121
1248	5940	121
1249	5944	121
1250	5948	121
1251	5952	121
1252	5956	121
1253	5960	121
1254	5964	121
1255	5968	121
1256	5972	121
1257	5976	121
1258	5980	121
1259	5984	121
1260	5988	121
1261	5992	121
1262	5996	121
1263	6000	121
1264	6004	121
1265	6008	121
1266	6012	121
1267	6016	121
1268	6020	121
1269	6024	121
1270	6028	121
1271	6032	121
1272	6036	121
1273	6040	121
1274	6044	121
1275	6048	121
1276	6052	121
1277	6056	121
1278	6060	121
1279	6064	121
1280	6068	121
1281	6072	121
1282	6076	121
1283	6080	121
1284	6084	121
1285	6088	121
1286	6092	121
1287	6096	121
1288	6100	121
1289	6104	121
1290	6108	121
1291	6112	121
1292	6116	121
1293	6120	121
1294	6124	121
1295	6128	121
1296	6132	121
1297	6136	121
1298	6140	121
1299	6144	121
1300	6148	121
1301	6152	121
1302	6156	121
1303	6160	121
1304	6164	121
1305	6168	121
1306	6172	121
1307	6176	121
1308	6180	121
1309	6184	121
1310	6188	121
1311	6192	121
1312	6196	121
1313	6200	121
1314	6204	121
1315	6208	121
1316	6212	121
1317	6216	121
1318	6220	121
1319	6224	121
1320	6228	121
1321	6232	121
1322	6236	121
1323	6240	121
1324	6244	121
1325	6248	121
1326	6252	121
1327	6256	121
1328	6260	121
1329	6264	121
1330	6268	121
1331	6272	121
1332	6276	121
1333	6280	121
1334	6284	121
1335	6288	121
1336	6292	121
1337	6296	121
1338	6300	121
1339	6304	121
1340	6308	121
1341	6312	121
1342	6316	121
1343	6320	121
1344	6324	121
1345	6328	121
1346	6332	121
1347	6336	121
1348	6340	121
1349	6344	121
1350	6348	121
1351	6352	121
1352	6356	121
1353	6360	121
1354	6364	121
1355	6368	121
1356	6372	121
1357	6376	121
1358	6380	121
1359	6384	121
1360	6388	121
1361	6392	121
1362	6396	121
1363	6400	121
1364	6404	121
1365	6408	121
1366	6412	121
1367	6416	121
1368	6420	121
1369	6424	121
1370	6428	121
1371	6432	121
1372	6436	121
1373	6440	121
1374	6444	121
1375	6448	121
1376	6452	121
1377	6456	121
1378	6460	121
1379	6464	121
1380	6468	121
1381	6472	121
1382	6476	121
1383	6480	121
1384	6484	121
1385	6488	121
1386	6492	121
1387	6496	121
1388	6500	121
1389	6504	121
1390	6508	121
1391	6512	121
1392	6516	121
1393	6520	121
1394	6524	121
1395	6528	121
1396	6532	121
1397	6536	121
1398	6540	121
1399	6544	121
1400	6548	121
1401	6552	121
1402	6556	121
1403	6560	121
1404	6564	121
1405	6568	121
1406	6572	121
1407	6576	121
1408	6580	121
1409	6584	121
1410	6588	121
1411	6592	121
1412	6596	121
1413	6600	121
1414	6604	121
1415	6608	121
1416	6612	121
1417	6616	121
1418	6620	121
1419	6624	121
1420	6628	121
1421	6632	121
1422	6636	121
1423	6640	121
1424	6644	121
1425	6648	121
1426	6652	121
1427	6656	121
1428	6660	121
1429	6664	121
1430	6668	121
1431	6672	121
1432	6676	121
1433	6680	121
1434	6684	121
1435	6688	121
1436	6692	121
1437	6696	121
1438	6700	121
1439	6704	121
1440	6708	121
1441	6712	121
1442	6716	121
1443	6720	121
1444	6724	121
1445	6728	121
1446	6732	121
1447	6736	121
1448	6740	121
1449	6744	121
1450	6748	121
1451	6752	121
1452	6756	121
1453	6760	121
1454	6764	121
1455	6768	121
1456	6772	121
1457	6776	121
1458	6780	121
1459	6784	121
1460	6788	121
1461	6792	121
1462	6796	121
1463	6800	121
1464	6804	121
1465	6808	121
1466	6812	121
1467	6816	121
1468	6820	121
1469	6824	121
1470	6828	121
1471	6832	121
1472	6836	121
1473	6840	121
1474	6844	121
1475	6848	121
1476	6852	121
1477	6856	121
1478	6860	121
1479	6864	121
1480	6868	121
1481	6872	121
1482	6876	121
1483	6880	121
1484	6884	121
1485	6888	121
1486	6892	121
1487	6896	121
1488	6900	121
1489	6904	121
1490	6908	121
1491	6912	121
1492	6916	121
1493	6920	121
1494	6924	121
1495	6928	121
1496	6932	121
1497	6936	121
1498	6940	121
1499	6944	121
1500	6948	121
1501	6952	121
1502	6956	121
1503	6960	121
1504	6964	121
1505	6968	121
1506	6972	121
1507	6976	121
1508	6980	121
1509	6984	121
1510	6988	121
1511	6992	121
1512	6996	121
1513	7000	121
1514	7004	121
1515	7008	121
1516	7012	121
1517	7016	121
1518	7020	121
1519	7024	121
1520	7028	121
1521	7032	121
1522	7036	121
1523	7040	121
1524	7044	121
1525	7048	121
1526	7052	121
1527	7056	121
1528	7060	121
1529	7064	121
1530	7068	121
1531	7072	121
1532	7076	121
1533	7080	121
1534	7084	121
1535	7088	121
1536	7092	121
1537	7096	121
1538	7100	121
1539	7104	121
1540	7108	121
1541	7112	121
1542	7116	121
1543	7120	121
1544	7124	121
1545	7128	121
1546	7132	121
1547	7136	121
1548	7140	121
1549	7144	121
1550	7148	121
1551	7152	121
1552	7156	121
1553	7160	121
1554	7164	121
1555	7168	121
1556	7172	121
1557	7176	121
1558	7180	121
1559	7184	121
1560	7188	121
1561	7192	121
1562	7196	121
1563	7200	121
1564	7204	121
1565	7208	121
1566	7212	121
1567	7216	121
1568	7220	121
1569	7224	121
1570	7228	121
1571	7232	121
1572	7236	121
1573	7240	121
1574	7244	121
1575	7248	121
1576	7252	121
1577	7256	121
1578	7260	121
1579	7264	121
1580	7268	121
1581	7272	121
1582	7276	121
1583	7280	121
1584	7284	121
1585	7288	121
1586	7292	121
1587	7296	121
1588	7300	121
1589	7304	121
1590	7308	121
1591	7312	121
1592	7316	121
1593	7320	121
1594	7324	121
1595	7328	121
1596	7332	121
1597	7336	121
1598	7340	121
1599	7344	121
1600	7348	121
1601	7352	121
1602	7356	121
1603	7360	121
1604	7364	121
1605	7368	121
1606	7372	121
1607	7376	121
1608	7380	121
1609	7384	121
1610	7388	121
1611	7392	121
1612	7396	121
1613	7400	121
1614	7404	121
1615	7408	121
1616	7412	121
1617	7416	121
1618	7420	121
1619	7424	121
1620	7428	121
1621	7432	121
1622	7436	121
1623	7440	121
1624	7444	121
1625	7448	121
1626	7452	121
1627	7456	121
1628	7460	121
1629	7464	121
1630	7468	121
1631	7472	121
1632	7476	121
1633	7480	121
1634	7484	121
1635	7488	121
1636	7492	121
1637	7496	121
1638	7500	121
1639	7504	121
1640	7508	121
1641	7512	121
1642	7516	121
1643	7520	121
1644	7524	121
1645	7528	121
1646	7532	121
1647	7536	121
1648	7540	121
1649	7544	121
1650	7548	121
1651	7552	121
1652	7556	121
1653	7560	121
1654	7564	121
1655	7568	121
1656	7572	121
1657	7576	121
1658	7580	121
1659	7584	121
1660	7588	121
1661	7592	121
1662	7596	121
1663	7600	121
1664	7604	121
1665	7608	121
1666	7612	121
1667	7616	121
1668	7620	121
1669	7624	121
1670	7628	121
1671	7632	121
1672	7636	121
1673	7640	121
1674	7644	121
1675	7648	121
1676	7652	121
1677	7656	121
1678	7660	121
1679	7664	121
1680	7668	121
1681	7672	121
1682	7676	121
1683	7680	121
1684	7684	121
1685	7688	121
1686	7692	121
1687	7696	121
1688	7700	121
1689	7704	121
1690	7708	121
1691	7712	121
1692	7716	121
1693	7720	121
1694	7724	121
1695	7728	121
1696	7732	121
1697	7736	121
1698	7740	121
1699	7744	121
1700	7748	121
1701	7752	121
1702	7756	121
1703	7760	121
1704	7764	121
1705	7768	121
1706	7772	121
1707	7776	121
1708	7780	121
1709	7784	121
1710	7788	121
1711	7792	121
1712	7796	121
1713	7800	121
1714	7804	121
1715	7808	121
1716	7812	121
1717	7816	121
1718	7820	121
1719	7824	121
1720	7828	121
1721	7832	121
1722	7836	121
1723	7840	121
1724	7844	121
1725	7848	121
1726	7852	121
1727	7856	121
1728	7860	121
1729	7864	121
1730	7868	121
1731	7872	121
1732	7876	121
1733	7880	121
1734	7884	121
1735	7888	121
1736	7892	121
1737	7896	121
1738	7900	121
1739	7904	121
1740	7908	121
1741	7912	121
1742	7916	121
1743	7920	121
1744	7924	121
1745	7928	121
1746	7932	121
1747	7936	121
1748	7940	121
1749	7944	121
1750	7948	121
1751	7952	121
1752	7956	121
1753	7960	121
1754	7964	121
1755	7968	121
1756	7972	121
1757	7976	121
1758	7980	121
1759	7984	121
1760	7988	121
1761	7992	121
1762	7996	121
1763	8000	121

Stop Event

1×	node limit

Counts

62 → 56

Calls

Call 1

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

Outputs
y
(+.f64 y (.f64 -1 (.f64 y x)))
(+.f64 y (neg.f64 (*.f64 y x)))
(-.f64 y (*.f64 y x))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 y x))
(*.f64 y (neg.f64 x))
(*.f64 x (neg.f64 y))
(+.f64 y (.f64 -1 (.f64 y x)))
(+.f64 y (neg.f64 (*.f64 y x)))
(-.f64 y (*.f64 y x))
(.f64 -1 (.f64 y x))
(neg.f64 (*.f64 y x))
(*.f64 y (neg.f64 x))
(*.f64 x (neg.f64 y))
(+.f64 y (.f64 -1 (.f64 y x)))
(+.f64 y (neg.f64 (*.f64 y x)))
(-.f64 y (*.f64 y x))
(*.f64 (pow.f64 1 1/3) x)
(*.f64 x 1)
x
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (-.f64 1 x)))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (-.f64 1 x)))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (-.f64 1 x)))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)
(*.f64 y (-.f64 1 x))
(+.f64 y (neg.f64 (*.f64 y x)))
(-.f64 y (*.f64 y x))
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (-.f64 1 x)))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (-.f64 1 x)))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (-.f64 1 x)))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)
(.f64 y (+.f64 1 (.f64 -1 x)))
(+.f64 y (neg.f64 (*.f64 y x)))
(-.f64 y (*.f64 y x))
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (+.f64 1 (*.f64 -1 x))))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (+.f64 1 (*.f64 -1 x))))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)
(+.f64 (.f64 (pow.f64 1 1/3) x) (.f64 y (+.f64 1 (*.f64 -1 x))))
(fma.f64 1 x (*.f64 y (-.f64 1 x)))
(fma.f64 y (-.f64 1 x) x)
(fma.f64 x (-.f64 1 y) y)

localize5.0ms (0%)

Compiler: Compiled 10 to 4 computations (60% saved)

eval18.0ms (0.2%)

Compiler: Compiled 998 to 272 computations (72.7% saved)

prune16.0ms (0.1%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	77	0	77
Fresh	0	2	2
Picked	0	1	1
Done	0	4	4
Total	77	7	84

Error

Counts

84 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	54.6b	(*.f64 x (neg.f64 y))
✓	25.5b	(-.f64 y (*.f64 y x))
✓	12.9b	(fma.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 x) (-.f64 y (.f64 x y)))
	37.1b	x
	33.1b	y
✓	0.0b	(-.f64 (+.f64 x y) (*.f64 x y))
✓	29.4b	(*.f64 (-.f64 1 y) x)

Compiler

Compiled 49 to 30 computations (38.8% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune3.0ms (0%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	0	0
Done	5	5
Total	7	7

Error

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	54.6b	(*.f64 x (neg.f64 y))
✓	25.5b	(-.f64 y (*.f64 y x))
✓	12.9b	(fma.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 x) (-.f64 y (.f64 x y)))
	37.1b	x
	33.1b	y
✓	0.0b	(-.f64 (+.f64 x y) (*.f64 x y))
✓	29.4b	(*.f64 (-.f64 1 y) x)

Compiler

Compiled 49 to 30 computations (38.8% saved)

regimes19.0ms (0.2%)

Counts

7 → 1

Calls

Call 1

Inputs
y
x
(*.f64 x (neg.f64 y))
(*.f64 (-.f64 1 y) x)
(-.f64 y (*.f64 y x))
(-.f64 (+.f64 x y) (*.f64 x y))
(fma.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 x) (-.f64 y (.f64 x y)))

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

Calls

3 calls:

7.0ms	y
5.0ms	(-.f64 (+.f64 x y) (*.f64 x y))
5.0ms	x

Results

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

Compiler

Compiled 52 to 26 computations (50% saved)

regimes35.0ms (0.3%)

Counts

5 → 2

Calls

Call 1

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

Outputs
(*.f64 (-.f64 1 y) x)
(-.f64 y (*.f64 y x))

Calls

2 calls:

25.0ms	y
9.0ms	x

Results

Error	Segments	Branch
5.0b	2	`x`
5.9b	4	`y`

Compiler

Compiled 24 to 13 computations (45.8% saved)

bsearch19.0ms (0.2%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
19.0ms	-6.505210601254557e-80	-3.042702686215911e-82

Compiler

Compiled 14 to 9 computations (35.7% saved)

regimes35.0ms (0.3%)

Counts

4 → 2

Calls

Call 1

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

Outputs
(*.f64 (-.f64 1 y) x)
y

Calls

2 calls:

24.0ms	y
10.0ms	x

Results

Error	Segments	Branch
6.3b	2	`x`
10.1b	6	`y`

Compiler

Compiled 19 to 11 computations (42.1% saved)

bsearch22.0ms (0.2%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
21.0ms	-6.505210601254557e-80	-3.042702686215911e-82

Compiler

Compiled 14 to 9 computations (35.7% saved)

regimes46.0ms (0.4%)

Counts

3 → 7

Calls

Call 1

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

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

Calls

2 calls:

25.0ms	y
20.0ms	x

Results

Error	Segments	Branch
11.9b	4	`x`
10.1b	7	`y`

Compiler

Compiled 14 to 8 computations (42.9% saved)

bsearch336.0ms (2.8%)

Algorithm

6×	binary-search

Steps

Time	Left	Right
16.0ms	3.845303099816652e+51	4.111905806121563e+51
205.0ms	4.1938992463191097e+37	4.025056666745763e+38
39.0ms	5.342975730417039e-54	3.48704048570193e-52
16.0ms	2.0472359459496144e-150	1.1495676506369853e-148
16.0ms	4.0557193580418584e-193	1.1112865488692448e-192
43.0ms	-1.2717529438719227e+20	-2.5616662891761047e-20

Compiler

Compiled 14 to 9 computations (35.7% saved)

regimes42.0ms (0.4%)

Accuracy

Total -49.2b remaining (-380.7%)

Threshold costs -49.2b (-380.7%)

Counts

2 → 2

Calls

Call 1

Inputs
y
x

Outputs
x
y

Calls

2 calls:

25.0ms	x
16.0ms	y

Results

Error	Segments	Branch
12.9b	2	`x`
13.4b	4	`y`

Compiler

Compiled 10 to 6 computations (40% saved)

bsearch17.0ms (0.1%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
17.0ms	-6.574975083832875e-77	-3.932388537592732e-78

Compiler

Compiled 14 to 9 computations (35.7% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64`
6×	`*-commutative_binary64`
6×	`sub-neg_binary64`
3×	`cancel-sign-sub-inv_binary64`
3×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	106
1	59	106
2	70	106
3	75	106
4	77	106

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (+.f64 x y) (*.f64 x y))
(if (<=.f64 x -138950455102150032/2135987035920910082395021706169552114602704522356652769947041607822219725780640550022962086936576) (.f64 (-.f64 1 y) x) (-.f64 y (.f64 y x)))
(if (<=.f64 x -138950455102150032/2135987035920910082395021706169552114602704522356652769947041607822219725780640550022962086936576) (*.f64 (-.f64 1 y) x) y)
(if (<=.f64 y -8334560092959032393859072/65536) (.f64 x (neg.f64 y)) (if (<=.f64 y 1041681396574253/2568425733177916751582514591250062824975751856847252861083144972201529372215371495172688738416791235950675277761805770367685269653410060480042878305982363696267199058168185838960773319279454451792623658074112) x (if (<=.f64 y 3772554460330971/1842755090244893238399196572748178169393027939656465052918069482541808673043041431682679065028153695088607604995490158642466105776330465152617887818082371115063181312) y (if (<=.f64 y 4609482903549555/862718293348820473429344482784628181556388621521298319395315527974912) x (if (<=.f64 y 41938992463191097094865050327167533056) y (if (<=.f64 y 3845303099816652258190188024332502253405991350566912) (.f64 x (neg.f64 y)) y))))))
(if (<=.f64 x -8571814905133069/130370302485407109521180524058200202307293977194619920040712988758680403184853549195737432064) x y)
y

Outputs
(-.f64 (+.f64 x y) (*.f64 x y))
(if (<=.f64 x -138950455102150032/2135987035920910082395021706169552114602704522356652769947041607822219725780640550022962086936576) (.f64 (-.f64 1 y) x) (-.f64 y (.f64 y x)))
(if (<=.f64 x -8684403443884377/133499189745056880149688856635597007162669032647290798121690100488888732861290034376435130433536) (.f64 x (-.f64 1 y)) (-.f64 y (.f64 x y)))
(if (<=.f64 x -138950455102150032/2135987035920910082395021706169552114602704522356652769947041607822219725780640550022962086936576) (*.f64 (-.f64 1 y) x) y)
(if (<=.f64 x -8684403443884377/133499189745056880149688856635597007162669032647290798121690100488888732861290034376435130433536) (*.f64 x (-.f64 1 y)) y)
(if (<=.f64 y -8334560092959032393859072/65536) (.f64 x (neg.f64 y)) (if (<=.f64 y 1041681396574253/2568425733177916751582514591250062824975751856847252861083144972201529372215371495172688738416791235950675277761805770367685269653410060480042878305982363696267199058168185838960773319279454451792623658074112) x (if (<=.f64 y 3772554460330971/1842755090244893238399196572748178169393027939656465052918069482541808673043041431682679065028153695088607604995490158642466105776330465152617887818082371115063181312) y (if (<=.f64 y 4609482903549555/862718293348820473429344482784628181556388621521298319395315527974912) x (if (<=.f64 y 41938992463191097094865050327167533056) y (if (<=.f64 y 3845303099816652258190188024332502253405991350566912) (.f64 x (neg.f64 y)) y))))))
(if (<=.f64 y -127175294387192266752) (.f64 x (neg.f64 y)) (if (<=.f64 y 1041681396574253/2568425733177916751582514591250062824975751856847252861083144972201529372215371495172688738416791235950675277761805770367685269653410060480042878305982363696267199058168185838960773319279454451792623658074112) x (if (<=.f64 y 3772554460330971/1842755090244893238399196572748178169393027939656465052918069482541808673043041431682679065028153695088607604995490158642466105776330465152617887818082371115063181312) y (if (<=.f64 y 4609482903549555/862718293348820473429344482784628181556388621521298319395315527974912) x (if (<=.f64 y 41938992463191097094865050327167533056) y (if (<=.f64 y 3845303099816652258190188024332502253405991350566912) (.f64 x (neg.f64 y)) y))))))
(if (<=.f64 x -8571814905133069/130370302485407109521180524058200202307293977194619920040712988758680403184853549195737432064) x y)
y

end82.0ms (0.7%)

Stop Event

1×

fuel

Remove

(sort x y)

Compiler

Compiled 182 to 103 computations (43.4% saved)

Iter	Nodes	Cost
0	9	20
1	27	20
2	46	20
3	82	18
4	152	16
5	283	16
6	529	16
7	781	16
8	923	16
9	943	16
10	944	16
0	2	2
1	2	2

Iter	Nodes	Cost
0	19	210
1	45	174
2	86	174
3	166	174
4	243	174
5	349	174
6	523	174
7	793	174
8	923	174
9	961	174
10	965	174

Iter	Nodes	Cost
0	9	20
1	27	20
2	46	20
3	82	18
4	152	16
5	283	16
6	529	16
7	781	16
8	923	16
9	943	16
10	944	16
0	2	2
1	2	2

Iter	Nodes	Cost
0	19	210
1	45	174
2	86	174
3	166	174
4	243	174
5	349	174
6	523	174
7	793	174
8	923	174
9	961	174
10	965	174

Details

analyze66.0ms (0.6%)

sample1.2s (10.2%)

preprocess33.0ms (0.3%)

simplify20.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.1%)

series4.0ms (0%)

rewrite53.0ms (0.4%)

simplify25.0ms (0.2%)

localize7.0ms (0.1%)

eval12.0ms (0.1%)

prune12.0ms (0.1%)

localize6.0ms (0%)

series3.0ms (0%)

rewrite72.0ms (0.6%)

simplify15.0ms (0.1%)

localize14.0ms (0.1%)

series9.0ms (0.1%)

rewrite52.0ms (0.4%)

simplify4.7s (39.8%)

localize5.0ms (0%)

eval30.0ms (0.3%)

prune19.0ms (0.2%)

localize15.0ms (0.1%)

series5.0ms (0%)

rewrite64.0ms (0.5%)

simplify4.7s (39.4%)

localize5.0ms (0%)

eval18.0ms (0.2%)

prune16.0ms (0.1%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes19.0ms (0.2%)

regimes35.0ms (0.3%)

bsearch19.0ms (0.2%)

regimes35.0ms (0.3%)

bsearch22.0ms (0.2%)

regimes46.0ms (0.4%)

bsearch336.0ms (2.8%)

regimes42.0ms (0.4%)

bsearch17.0ms (0.1%)

simplify7.0ms (0.1%)

end82.0ms (0.7%)

Profiling

Iter	Nodes	Cost
0	9	20
1	27	20
2	46	20
3	82	18
4	152	16
5	283	16
6	529	16
7	781	16
8	923	16
9	943	16
10	944	16
0	2	2
1	2	2

Iter	Nodes	Cost
0	19	210
1	45	174
2	86	174
3	166	174
4	243	174
5	349	174
6	523	174
7	793	174
8	923	174
9	961	174
10	965	174