Details

analyze174.0ms (3.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
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
8.3%	6.2%	68.6%	0.1%	0%	25%	0%	7
12.5%	9.4%	65.5%	0.1%	0%	25%	0%	8
18.8%	14%	60.8%	0.1%	0%	25%	0%	9
33.8%	21.1%	41.3%	0.1%	0%	37.4%	0%	10
39.4%	24.6%	37.8%	0.1%	0%	37.4%	0%	11
45.9%	28.7%	33.7%	0.1%	0%	37.4%	0%	12

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample3.7s (74.4%)

Results

2.4s	8256×	body	256	valid
392.0ms	2316×	body	256	invalid
143.0ms	555×	body	256	infinite

Bogosity

preprocess4.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

16×	`rational.json-simplify-2`
8×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	92
1	37	92
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

Inputs
(.f64 (/.f64 1 2) (+.f64 x (.f64 y (sqrt.f64 z))))
(.f64 (/.f64 1 2) (+.f64 y (.f64 x (sqrt.f64 z))))
(.f64 (/.f64 1 2) (+.f64 z (.f64 y (sqrt.f64 x))))
(.f64 (/.f64 1 2) (+.f64 x (.f64 z (sqrt.f64 y))))

Outputs
(.f64 (/.f64 1 2) (+.f64 x (.f64 y (sqrt.f64 z))))
(.f64 1/2 (+.f64 x (.f64 y (sqrt.f64 z))))
(.f64 (/.f64 1 2) (+.f64 y (.f64 x (sqrt.f64 z))))
(.f64 1/2 (+.f64 y (.f64 x (sqrt.f64 z))))
(.f64 (/.f64 1 2) (+.f64 z (.f64 y (sqrt.f64 x))))
(.f64 1/2 (+.f64 z (.f64 y (sqrt.f64 x))))
(.f64 (/.f64 1 2) (+.f64 x (.f64 z (sqrt.f64 y))))
(.f64 1/2 (+.f64 x (.f64 z (sqrt.f64 y))))

Compiler

Compiled 16 to 13 computations (18.8% saved)

simplify11.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`rational.json-simplify-2`
2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	23
1	17	23

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 (/.f64 1 2) (+.f64 x (.f64 y (sqrt.f64 z))))

Outputs
(.f64 (/.f64 1 2) (+.f64 x (.f64 y (sqrt.f64 z))))
(.f64 1/2 (+.f64 x (.f64 y (sqrt.f64 z))))

eval1.0ms (0%)

Compiler: Compiled 21 to 12 computations (42.9% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.1b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(.f64 1/2 (+.f64 x (.f64 y (sqrt.f64 z))))

Compiler

Compiled 11 to 8 computations (27.3% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 y (sqrt.f64 z))

Compiler

Compiled 27 to 9 computations (66.7% saved)

series3.0ms (0.1%)

Counts

1 → 0

Calls

6 calls:

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

rewrite262.0ms (5.3%)

Algorithm

1×	batch-egg-rewrite

Rules

2624×	`rational.json-simplify-2`
2074×	`rational.json-simplify-35`
1336×	`rational.json-1`
1336×	`rational.json-2`
1110×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	45	11
2	100	11
3	203	11
4	360	11
5	791	11
6	1894	11
7	3268	11
8	4251	11
9	5483	11
10	6066	11
11	6066	11
12	6945	11
13	6945	11
14	7749	11

Stop Event

1×	node limit

Counts

1 → 15

Calls

Call 1

Inputs
(*.f64 y (sqrt.f64 z))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y (sqrt.f64 z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 y (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y (.f64 (sqrt.f64 z) 1/2)) (.f64 y (.f64 (sqrt.f64 z) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 y (sqrt.f64 z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y (sqrt.f64 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y (.f64 (sqrt.f64 z) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 z) (.f64 y 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 z) (.f64 y 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8))))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8)))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 y (sqrt.f64 z)) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (sqrt.f64 z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 y (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 (sqrt.f64 z) 1/2)) (*.f64 y (*.f64 (sqrt.f64 z) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 y (sqrt.f64 z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (sqrt.f64 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 (sqrt.f64 z) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 z) (*.f64 y 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 z) (*.f64 y 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (sqrt.f64 z) (*.f64 y 8))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 z) (*.f64 y 8)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 z) (*.f64 y 8))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 z) (*.f64 y 8)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 z) (*.f64 y 8))))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 z) (*.f64 y 8))))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 z) (*.f64 y 8)))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (sqrt.f64 z)) 1)))))

simplify532.0ms (10.7%)

Algorithm

1×	egg-herbie

Rules

3016×	`rational.json-simplify-2`
2622×	`rational.json-simplify-35`
2290×	`rational.json-simplify-53`
988×	`exponential.json-simplify-26`
980×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	165
1	127	165
2	246	165
3	578	165
4	2127	165
5	4066	165
6	4644	165
7	4786	165
8	4885	165
9	4984	165
10	5081	165
11	6069	165
12	6571	165
13	6786	165
14	6786	165
15	6786	165
16	6883	165
17	6980	165
18	7460	165
19	7714	165

Stop Event

1×	node limit

Counts

15 → 16

Calls

Call 1

Inputs
(+.f64 (*.f64 y (sqrt.f64 z)) 0)
(+.f64 0 (*.f64 y (sqrt.f64 z)))
(+.f64 (.f64 y (.f64 (sqrt.f64 z) 1/2)) (.f64 y (.f64 (sqrt.f64 z) 1/2)))
(-.f64 (*.f64 y (sqrt.f64 z)) 0)
(/.f64 (*.f64 y (sqrt.f64 z)) 1)
(/.f64 (.f64 y (.f64 (sqrt.f64 z) 2)) 2)
(/.f64 (.f64 (sqrt.f64 z) (.f64 y 4)) 4)
(/.f64 (.f64 (sqrt.f64 z) (.f64 y 8)) 8)
(/.f64 (.f64 2 (.f64 (sqrt.f64 z) (*.f64 y 8))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8)))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (*.f64 y 8))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8)))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (*.f64 y 8))))))) 256)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8)))))))) 512)
(pow.f64 (*.f64 y (sqrt.f64 z)) 1)

Outputs
(+.f64 (*.f64 y (sqrt.f64 z)) 0)
(*.f64 y (sqrt.f64 z))
(+.f64 0 (*.f64 y (sqrt.f64 z)))
(*.f64 y (sqrt.f64 z))
(+.f64 (.f64 y (.f64 (sqrt.f64 z) 1/2)) (.f64 y (.f64 (sqrt.f64 z) 1/2)))
(*.f64 y (sqrt.f64 z))
(-.f64 (*.f64 y (sqrt.f64 z)) 0)
(*.f64 y (sqrt.f64 z))
(/.f64 (*.f64 y (sqrt.f64 z)) 1)
(*.f64 y (sqrt.f64 z))
(/.f64 (.f64 y (.f64 (sqrt.f64 z) 2)) 2)
(*.f64 y (sqrt.f64 z))
(/.f64 (.f64 (sqrt.f64 z) (.f64 y 4)) 4)
(*.f64 y (sqrt.f64 z))
(/.f64 (.f64 (sqrt.f64 z) (.f64 y 8)) 8)
(*.f64 y (sqrt.f64 z))
(/.f64 (.f64 2 (.f64 (sqrt.f64 z) (*.f64 y 8))) 16)
(*.f64 y (sqrt.f64 z))
(/.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8)))) 32)
(*.f64 y (sqrt.f64 z))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (*.f64 y 8))))) 64)
(*.f64 y (sqrt.f64 z))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8)))))) 128)
(*.f64 y (sqrt.f64 z))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (*.f64 y 8))))))) 256)
(*.f64 y (sqrt.f64 z))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8)))))))) 512)
(*.f64 y (sqrt.f64 z))
(pow.f64 (*.f64 y (sqrt.f64 z)) 1)
(*.f64 y (sqrt.f64 z))

eval4.0ms (0.1%)

Compiler: Compiled 243 to 169 computations (30.5% saved)

prune224.0ms (4.5%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	16	0	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	16	1	17

Error

0.1b

Counts

17 → 1

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(.f64 1/2 (+.f64 x (.f64 y (sqrt.f64 z))))

Compiler

Compiled 11 to 8 computations (27.3% saved)

regimes23.0ms (0.5%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

2 → 1

Calls

Call 1

Inputs
(.f64 1/2 (+.f64 x (.f64 y (sqrt.f64 z))))
(.f64 (/.f64 1 2) (+.f64 x (.f64 y (sqrt.f64 z))))

Outputs
(.f64 1/2 (+.f64 x (.f64 y (sqrt.f64 z))))

Calls

7 calls:

4.0ms	(+.f64 x (*.f64 y (sqrt.f64 z)))
3.0ms	x
3.0ms	(.f64 (/.f64 1 2) (+.f64 x (.f64 y (sqrt.f64 z))))
3.0ms	(*.f64 y (sqrt.f64 z))
3.0ms	(sqrt.f64 z)

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`y`
0.1b	1	`z`
0.1b	1	`(.f64 (/.f64 1 2) (+.f64 x (.f64 y (sqrt.f64 z))))`
0.1b	1	`(+.f64 x (*.f64 y (sqrt.f64 z)))`
0.1b	1	`(*.f64 y (sqrt.f64 z))`
0.1b	1	`(sqrt.f64 z)`

Compiler

Compiled 67 to 46 computations (31.3% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	23

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(.f64 1/2 (+.f64 x (.f64 y (sqrt.f64 z))))

Outputs
(.f64 1/2 (+.f64 x (.f64 y (sqrt.f64 z))))

Compiler

Compiled 11 to 8 computations (27.3% saved)

soundness9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`rational.json-simplify-2`
2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	23
1	17	23

Stop Event

1×

saturated

Compiler

Compiled 21 to 12 computations (42.9% saved)

end13.0ms (0.3%)

Compiler: Compiled 11 to 8 computations (27.3% saved)

Details

analyze174.0ms (3.5%)

sample3.7s (74.4%)

preprocess4.0ms (0.1%)

simplify11.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0.2%)

series3.0ms (0.1%)

rewrite262.0ms (5.3%)

simplify532.0ms (10.7%)

eval4.0ms (0.1%)

prune224.0ms (4.5%)

regimes23.0ms (0.5%)

simplify1.0ms (0%)

soundness9.0ms (0.2%)

end13.0ms (0.3%)

Profiling