Details

analyze54.0ms (2.5%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
48%	37.5%	40.6%	0.1%	21.9%	0%	0%	7
57.1%	43.7%	32.8%	0.1%	23.4%	0%	0%	8
67.5%	43.7%	21.1%	0.1%	35.1%	0%	0%	9
73.6%	46.8%	16.8%	0.1%	36.3%	0%	0%	10
81.4%	46.8%	10.7%	0.1%	42.3%	0%	0%	11
85.1%	48.4%	8.5%	0.1%	43%	0%	0%	12

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample1.4s (67.1%)

Results

1.2s	8256×	body	256	valid
88.0ms	1122×	body	256	infinite

Bogosity

preprocess198.0ms (9.3%)

Algorithm

2×	egg-herbie

Rules

1088×	`rational.json-simplify-2`
944×	`rational.json-simplify-19`
924×	`rational.json-simplify-44`
898×	`rational.json-simplify-37`
812×	`rational.json-simplify-39`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	34
1	15	34
2	23	34
3	59	34
4	355	34
5	3901	34
6	6145	34
7	7205	34
8	7863	34
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(.f64 x (exp.f64 (.f64 y y)))
(.f64 y (exp.f64 (.f64 x x)))

Outputs
(.f64 x (exp.f64 (.f64 y y)))
(.f64 y (exp.f64 (.f64 x x)))

Compiler

Compiled 10 to 7 computations (30% saved)

simplify134.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

1810×	`rational.json-simplify-35`
1346×	`rational.json-simplify-53`
986×	`rational.json-simplify-39`
862×	`rational.json-simplify-59`
608×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	10	17
2	14	17
3	32	17
4	180	17
5	1958	17
6	5898	17
7	7763	17

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(.f64 x (exp.f64 (.f64 y y)))

Outputs
(.f64 x (exp.f64 (.f64 y y)))

eval0.0ms (0%)

Compiler: Compiled 8 to 5 computations (37.5% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(.f64 x (exp.f64 (.f64 y y)))

Compiler

Compiled 8 to 5 computations (37.5% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(exp.f64 (*.f64 y y))

Compiler

Compiled 17 to 5 computations (70.6% saved)

series0.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite124.0ms (5.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1908×	`rational.json-simplify-35`
1334×	`rational.json-simplify-2`
1260×	`rational.json-1`
1260×	`rational.json-2`
1260×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	39	11
2	99	11
3	260	11
4	1030	11
5	4170	11

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

Inputs
(exp.f64 (*.f64 y y))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (.f64 y y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (exp.f64 (.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (exp.f64 (.f64 y y)) 2) (/.f64 (exp.f64 (.f64 y y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (.f64 y y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (exp.f64 (.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (exp.f64 (.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 (exp.f64 (.f64 y y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (exp.f64 (.f64 y y)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (exp.f64 (.f64 y y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (exp.f64 (.f64 y y)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (exp.f64 (.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (exp.f64 (.f64 y y)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (exp.f64 (.f64 y y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (exp.f64 (.f64 y y)) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (exp.f64 (.f64 y y)) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (exp.f64 (.f64 y y)) 4))) (.f64 2 (.f64 2 (.f64 (exp.f64 (.f64 y y)) 4)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (.f64 y y)) 1)))))

Outputs

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

simplify130.0ms (6.1%)

Algorithm

1×	egg-herbie

Rules

1128×	`rational.json-simplify-2`
1058×	`rational.json-simplify-59`
1034×	`rational.json-simplify-19`
756×	`rational.json-simplify-1`
658×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	369
1	96	369
2	201	369
3	525	369
4	1374	369
5	3991	369
6	6012	369
7	7212	369

Stop Event

1×	node limit

Counts

29 → 28

Calls

Call 1

Inputs
1
(+.f64 1 (pow.f64 y 2))
(+.f64 1 (+.f64 (pow.f64 y 2) (*.f64 1/2 (pow.f64 y 4))))
(+.f64 (.f64 1/6 (pow.f64 y 6)) (+.f64 1 (+.f64 (pow.f64 y 2) (.f64 1/2 (pow.f64 y 4)))))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(+.f64 (exp.f64 (*.f64 y y)) 0)
(+.f64 0 (exp.f64 (*.f64 y y)))
(+.f64 (/.f64 (exp.f64 (.f64 y y)) 2) (/.f64 (exp.f64 (.f64 y y)) 2))
(-.f64 (exp.f64 (*.f64 y y)) 0)
(.f64 (exp.f64 (.f64 y y)) 1)
(.f64 1 (exp.f64 (.f64 y y)))
(.f64 2 (/.f64 (exp.f64 (.f64 y y)) 2))
(.f64 (.f64 (exp.f64 (*.f64 y y)) 2) 1/2)
(.f64 1/2 (.f64 (exp.f64 (*.f64 y y)) 2))
(.f64 (/.f64 (exp.f64 (.f64 y y)) 2) 2)
(/.f64 (exp.f64 (*.f64 y y)) 1)
(/.f64 (.f64 (exp.f64 (.f64 y y)) 2) 2)
(/.f64 (.f64 (exp.f64 (.f64 y y)) 4) 4)
(/.f64 (.f64 2 (.f64 (exp.f64 (*.f64 y y)) 4)) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (exp.f64 (.f64 y y)) 4))) 16)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (exp.f64 (.f64 y y)) 4))) (.f64 2 (.f64 2 (.f64 (exp.f64 (.f64 y y)) 4)))) 32)
(pow.f64 (exp.f64 (*.f64 y y)) 1)

Outputs
1
(+.f64 1 (pow.f64 y 2))
(+.f64 1 (+.f64 (pow.f64 y 2) (*.f64 1/2 (pow.f64 y 4))))
(+.f64 (pow.f64 y 2) (+.f64 1 (*.f64 1/2 (pow.f64 y 4))))
(+.f64 (.f64 1/6 (pow.f64 y 6)) (+.f64 1 (+.f64 (pow.f64 y 2) (.f64 1/2 (pow.f64 y 4)))))
(+.f64 1 (+.f64 (+.f64 (pow.f64 y 2) (.f64 1/2 (pow.f64 y 4))) (.f64 1/6 (pow.f64 y 6))))
(+.f64 1 (+.f64 (pow.f64 y 2) (+.f64 (.f64 1/2 (pow.f64 y 4)) (.f64 1/6 (pow.f64 y 6)))))
(+.f64 (.f64 1/2 (pow.f64 y 4)) (+.f64 (+.f64 1 (pow.f64 y 2)) (.f64 1/6 (pow.f64 y 6))))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 y 4)) (+.f64 (pow.f64 y 2) (.f64 1/6 (pow.f64 y 6)))))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(+.f64 (exp.f64 (*.f64 y y)) 0)
(exp.f64 (*.f64 y y))
(+.f64 0 (exp.f64 (*.f64 y y)))
(exp.f64 (*.f64 y y))
(+.f64 (/.f64 (exp.f64 (.f64 y y)) 2) (/.f64 (exp.f64 (.f64 y y)) 2))
(exp.f64 (*.f64 y y))
(-.f64 (exp.f64 (*.f64 y y)) 0)
(exp.f64 (*.f64 y y))
(.f64 (exp.f64 (.f64 y y)) 1)
(exp.f64 (*.f64 y y))
(.f64 1 (exp.f64 (.f64 y y)))
(exp.f64 (*.f64 y y))
(.f64 2 (/.f64 (exp.f64 (.f64 y y)) 2))
(exp.f64 (*.f64 y y))
(.f64 (.f64 (exp.f64 (*.f64 y y)) 2) 1/2)
(exp.f64 (*.f64 y y))
(.f64 1/2 (.f64 (exp.f64 (*.f64 y y)) 2))
(exp.f64 (*.f64 y y))
(.f64 (/.f64 (exp.f64 (.f64 y y)) 2) 2)
(exp.f64 (*.f64 y y))
(/.f64 (exp.f64 (*.f64 y y)) 1)
(exp.f64 (*.f64 y y))
(/.f64 (.f64 (exp.f64 (.f64 y y)) 2) 2)
(exp.f64 (*.f64 y y))
(/.f64 (.f64 (exp.f64 (.f64 y y)) 4) 4)
(exp.f64 (*.f64 y y))
(/.f64 (.f64 2 (.f64 (exp.f64 (*.f64 y y)) 4)) 8)
(exp.f64 (*.f64 y y))
(/.f64 (.f64 2 (.f64 2 (.f64 (exp.f64 (.f64 y y)) 4))) 16)
(exp.f64 (*.f64 y y))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (exp.f64 (.f64 y y)) 4))) (.f64 2 (.f64 2 (.f64 (exp.f64 (.f64 y y)) 4)))) 32)
(exp.f64 (*.f64 y y))
(pow.f64 (exp.f64 (*.f64 y y)) 1)
(exp.f64 (*.f64 y y))

eval6.0ms (0.3%)

Compiler: Compiled 327 to 200 computations (38.8% saved)

prune4.0ms (0.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	27	1	28
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	27	2	29

Error

0.0b

Counts

29 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(.f64 x (exp.f64 (.f64 y y)))
▶	0.5b	(*.f64 x 1)

Compiler

Compiled 13 to 9 computations (30.8% saved)

localize3.0ms (0.1%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

2 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(.f64 x (exp.f64 (.f64 y y)))
✓	0.5b	(*.f64 x 1)

Compiler

Compiled 13 to 9 computations (30.8% saved)

regimes15.0ms (0.7%)

Accuracy

Total -0.5b remaining (-13731.3%)

Threshold costs -0.5b (-13731.3%)

Counts

2 → 1

Calls

Call 1

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

Outputs
(.f64 x (exp.f64 (.f64 y y)))

Calls

5 calls:

4.0ms	x
3.0ms	(.f64 x (exp.f64 (.f64 y y)))
3.0ms	y
2.0ms	(*.f64 y y)
2.0ms	(exp.f64 (*.f64 y y))

Results

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

Compiler

Compiled 36 to 23 computations (36.1% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	24

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

soundness0.0ms (0%)

end19.0ms (0.9%)

Compiler: Compiled 11 to 7 computations (36.4% saved)

Details

analyze54.0ms (2.5%)

sample1.4s (67.1%)

preprocess198.0ms (9.3%)

simplify134.0ms (6.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.3%)

series0.0ms (0%)

rewrite124.0ms (5.9%)

simplify130.0ms (6.1%)

eval6.0ms (0.3%)

prune4.0ms (0.2%)

localize3.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes15.0ms (0.7%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end19.0ms (0.9%)

Profiling