Details

analyze3.0ms (0.2%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
66.7%	50%	25%	0%	25%	0%	0%	4
83.3%	62.5%	12.5%	0%	25%	0%	0%	5
91.7%	68.7%	6.2%	0%	25%	0%	0%	6
95.8%	71.8%	3.1%	0%	25%	0%	0%	7
97.9%	73.4%	1.6%	0%	25%	0%	0%	8
99%	74.2%	0.8%	0%	25%	0%	0%	9
99.5%	74.6%	0.4%	0%	25%	0%	0%	10
99.7%	74.8%	0.2%	0%	25%	0%	0%	11
99.9%	74.9%	0.1%	0%	25%	0%	0%	12

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.0s (71.8%)

Results

1.0s	8256×	body	256	valid
0.0ms	6×	body	256	infinite

Bogosity

preprocess22.0ms (1.5%)

Algorithm

2×	egg-herbie

Rules

12×	`rational.json-simplify-2`
4×	`rational.json-simplify-54`
4×	`rational.json-simplify-43`
4×	`rational.json-simplify-55`
2×	`rational.json-simplify-16`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	13	19
2	18	19
3	24	19
4	30	19
5	30	19
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(-.f64 (.f64 (.f64 x x) 2) 1)

Outputs
(-.f64 (.f64 (.f64 x x) 2) 1)
(+.f64 (.f64 (.f64 x x) 2) -1)
(+.f64 (.f64 x (.f64 x 2)) -1)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify18.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

12×	`rational.json-simplify-2`
4×	`rational.json-simplify-54`
4×	`rational.json-simplify-43`
4×	`rational.json-simplify-55`
2×	`rational.json-simplify-16`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	13	19
2	18	19
3	24	19
4	30	19
5	30	19

Stop Event

1×

saturated

Counts

1 → 3

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 x x) 2) 1)

Outputs
(-.f64 (.f64 (.f64 x x) 2) 1)
(+.f64 (.f64 (.f64 x x) 2) -1)
(+.f64 (.f64 x (.f64 x 2)) -1)

eval1.0ms (0.1%)

Compiler: Compiled 22 to 15 computations (31.8% saved)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

Counts

4 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(-.f64 (.f64 (.f64 x x) 2) 1)

Compiler

Compiled 8 to 6 computations (25% saved)

localize7.0ms (0.5%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (.f64 x x) 2)

Compiler

Compiled 19 to 10 computations (47.4% saved)

series1.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite85.0ms (6%)

Algorithm

1×	batch-egg-rewrite

Rules

1338×	`rational.json-5`
1336×	`exponential.json-3`
1336×	`rational.json-1`
1336×	`rational.json-2`
1336×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	52	13
2	179	13
3	643	13
4	2632	13

Stop Event

1×	node limit

Counts

1 → 32

Calls

Call 1

Inputs
(.f64 (.f64 x x) 2)

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

Outputs

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

simplify234.0ms (16.4%)

Algorithm

1×	egg-herbie

Rules

1382×	`rational.json-simplify-47`
1056×	`rational.json-simplify-58`
1030×	`rational.json-simplify-1`
936×	`rational.json-simplify-2`
524×	`rational.json-simplify-54`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	87	572
1	211	572
2	379	572
3	732	572
4	2283	572
5	6643	572

Stop Event

1×	node limit

Counts

44 → 34

Calls

Call 1

Inputs
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(+.f64 (.f64 x x) (.f64 x x))
(+.f64 (*.f64 x (+.f64 x x)) 0)
(+.f64 0 (*.f64 x (+.f64 x x)))
(-.f64 (.f64 x x) (neg.f64 (.f64 x x)))
(-.f64 (*.f64 x (+.f64 x x)) 0)
(-.f64 0 (.f64 (.f64 x x) -2))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 x (+.f64 x x)))) 1)
(/.f64 (*.f64 x (+.f64 x x)) 1)
(/.f64 (*.f64 x (+.f64 x x)) (/.f64 x x))
(pow.f64 (*.f64 x (+.f64 x x)) 1)
(neg.f64 (.f64 (.f64 x x) -2))
(fabs.f64 (*.f64 x (+.f64 x x)))
(fabs.f64 (.f64 (.f64 x x) -2))
(fabs.f64 (.f64 (neg.f64 (.f64 x x)) 2))
(fabs.f64 (.f64 (/.f64 (.f64 x x) (fabs.f64 (/.f64 x x))) 2))
(fabs.f64 (/.f64 (*.f64 x (+.f64 x x)) (fabs.f64 (/.f64 x x))))
(fabs.f64 (*.f64 (+.f64 x x) (fabs.f64 x)))
(fabs.f64 (*.f64 (+.f64 x x) (neg.f64 x)))
(fabs.f64 (*.f64 (+.f64 x x) (/.f64 x (fabs.f64 (/.f64 x x)))))
(fabs.f64 (+.f64 (/.f64 (.f64 x x) (neg.f64 (/.f64 x x))) (/.f64 (.f64 x x) (neg.f64 (/.f64 x x)))))
(fabs.f64 (/.f64 (*.f64 x (+.f64 x x)) (neg.f64 (/.f64 x x))))
(fabs.f64 (/.f64 (.f64 x (+.f64 x x)) (/.f64 (.f64 x x) (neg.f64 (*.f64 x x)))))
(fabs.f64 (/.f64 (.f64 x (+.f64 x x)) (/.f64 (.f64 x x) (/.f64 (*.f64 x x) (fabs.f64 (/.f64 x x))))))
(fabs.f64 (/.f64 (*.f64 x (+.f64 x x)) (/.f64 x (fabs.f64 x))))
(fabs.f64 (/.f64 (*.f64 x (+.f64 x x)) (/.f64 (/.f64 x x) (fabs.f64 (/.f64 (/.f64 x x) (/.f64 x x))))))
(fabs.f64 (/.f64 (*.f64 x (+.f64 x x)) (/.f64 (fabs.f64 x) (neg.f64 x))))
(fabs.f64 (/.f64 (.f64 x (+.f64 x x)) (/.f64 (+.f64 x x) (.f64 2 (fabs.f64 x)))))
(fabs.f64 (/.f64 (.f64 (.f64 x x) -2) (fabs.f64 (/.f64 x x))))
(fabs.f64 (/.f64 (*.f64 x (+.f64 x x)) (neg.f64 (fabs.f64 (/.f64 x x)))))
(fabs.f64 (-.f64 0 (/.f64 (*.f64 x (+.f64 x x)) (fabs.f64 (/.f64 x x)))))
(fabs.f64 (-.f64 0 (.f64 (/.f64 (.f64 x x) (fabs.f64 (/.f64 x x))) 2)))
(fabs.f64 (-.f64 0 (.f64 (neg.f64 (.f64 x x)) 2)))

Outputs
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(+.f64 (.f64 x x) (.f64 x x))
(*.f64 x (+.f64 x x))
(+.f64 (*.f64 x (+.f64 x x)) 0)
(*.f64 x (+.f64 x x))
(+.f64 0 (*.f64 x (+.f64 x x)))
(*.f64 x (+.f64 x x))
(-.f64 (.f64 x x) (neg.f64 (.f64 x x)))
(*.f64 x (+.f64 x x))
(-.f64 (*.f64 x (+.f64 x x)) 0)
(*.f64 x (+.f64 x x))
(-.f64 0 (.f64 (.f64 x x) -2))
(*.f64 x (+.f64 x x))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 x (+.f64 x x)))) 1)
(*.f64 x (+.f64 x x))
(/.f64 (*.f64 x (+.f64 x x)) 1)
(*.f64 x (+.f64 x x))
(/.f64 (*.f64 x (+.f64 x x)) (/.f64 x x))
(*.f64 x (+.f64 x x))
(pow.f64 (*.f64 x (+.f64 x x)) 1)
(*.f64 x (+.f64 x x))
(neg.f64 (.f64 (.f64 x x) -2))
(*.f64 x (+.f64 x x))
(fabs.f64 (*.f64 x (+.f64 x x)))
(*.f64 x (+.f64 x x))
(fabs.f64 (.f64 (.f64 x x) -2))
(*.f64 x (+.f64 x x))
(fabs.f64 (.f64 (neg.f64 (.f64 x x)) 2))
(*.f64 x (+.f64 x x))
(fabs.f64 (.f64 (/.f64 (.f64 x x) (fabs.f64 (/.f64 x x))) 2))
(*.f64 x (+.f64 x x))
(fabs.f64 (/.f64 (*.f64 x (+.f64 x x)) (fabs.f64 (/.f64 x x))))
(*.f64 x (+.f64 x x))
(fabs.f64 (*.f64 (+.f64 x x) (fabs.f64 x)))
(*.f64 x (+.f64 x x))
(fabs.f64 (*.f64 (+.f64 x x) (neg.f64 x)))
(*.f64 x (+.f64 x x))
(fabs.f64 (*.f64 (+.f64 x x) (/.f64 x (fabs.f64 (/.f64 x x)))))
(*.f64 x (+.f64 x x))
(fabs.f64 (+.f64 (/.f64 (.f64 x x) (neg.f64 (/.f64 x x))) (/.f64 (.f64 x x) (neg.f64 (/.f64 x x)))))
(*.f64 x (+.f64 x x))
(fabs.f64 (/.f64 (*.f64 x (+.f64 x x)) (neg.f64 (/.f64 x x))))
(*.f64 x (+.f64 x x))
(fabs.f64 (/.f64 (.f64 x (+.f64 x x)) (/.f64 (.f64 x x) (neg.f64 (*.f64 x x)))))
(*.f64 x (+.f64 x x))
(fabs.f64 (/.f64 (.f64 x (+.f64 x x)) (/.f64 (.f64 x x) (/.f64 (*.f64 x x) (fabs.f64 (/.f64 x x))))))
(*.f64 x (+.f64 x x))
(fabs.f64 (/.f64 (*.f64 x (+.f64 x x)) (/.f64 x (fabs.f64 x))))
(*.f64 x (+.f64 x x))
(fabs.f64 (/.f64 (*.f64 x (+.f64 x x)) (/.f64 (/.f64 x x) (fabs.f64 (/.f64 (/.f64 x x) (/.f64 x x))))))
(*.f64 x (+.f64 x x))
(fabs.f64 (/.f64 (*.f64 x (+.f64 x x)) (/.f64 (fabs.f64 x) (neg.f64 x))))
(*.f64 x (+.f64 x x))
(fabs.f64 (/.f64 (.f64 x (+.f64 x x)) (/.f64 (+.f64 x x) (.f64 2 (fabs.f64 x)))))
(*.f64 x (+.f64 x x))
(fabs.f64 (/.f64 (.f64 (.f64 x x) -2) (fabs.f64 (/.f64 x x))))
(*.f64 x (+.f64 x x))
(fabs.f64 (/.f64 (*.f64 x (+.f64 x x)) (neg.f64 (fabs.f64 (/.f64 x x)))))
(*.f64 x (+.f64 x x))
(fabs.f64 (-.f64 0 (/.f64 (*.f64 x (+.f64 x x)) (fabs.f64 (/.f64 x x)))))
(*.f64 x (+.f64 x x))
(fabs.f64 (-.f64 0 (.f64 (/.f64 (.f64 x x) (fabs.f64 (/.f64 x x))) 2)))
(*.f64 x (+.f64 x x))
(fabs.f64 (-.f64 0 (.f64 (neg.f64 (.f64 x x)) 2)))
(*.f64 x (+.f64 x x))

eval7.0ms (0.5%)

Compiler: Compiled 406 to 175 computations (56.9% saved)

prune7.0ms (0.5%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	34	0	34
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	34	1	35

Error

Counts

35 → 1

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(-.f64 (.f64 (.f64 x x) 2) 1)

Compiler

Compiled 16 to 12 computations (25% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 x x) 2) 1)

Outputs
(-.f64 (.f64 (.f64 x x) 2) 1)

Compiler

Compiled 8 to 6 computations (25% saved)

soundness0.0ms (0%)

end16.0ms (1.1%)

Compiler: Compiled 8 to 6 computations (25% saved)

Details

analyze3.0ms (0.2%)

sample1.0s (71.8%)

preprocess22.0ms (1.5%)

simplify18.0ms (1.3%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

localize7.0ms (0.5%)

series1.0ms (0.1%)

rewrite85.0ms (6%)

simplify234.0ms (16.4%)

eval7.0ms (0.5%)

prune7.0ms (0.5%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end16.0ms (1.1%)

Profiling