Details

analyze424.0ms (4.4%)

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)

sample6.0s (62%)

Results

5.0s	8256×	body	256	valid
587.0ms	2261×	body	256	invalid
420.0ms	545×	body	256	infinite

Bogosity

preprocess4.0ms (0%)

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)

simplify13.0ms (0.1%)

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.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 27 to 9 computations (66.7% saved)

series4.0ms (0%)

Counts

2 → 25

Calls

15 calls:

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

rewrite1.2s (12.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1790×	`rational.json-simplify-35`
1548×	`rational.json-1`
1548×	`rational.json-2`
1548×	`rational.json-3`
1252×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	28
1	58	28
2	121	28
3	248	28
4	461	28
5	1048	28
6	2697	28
7	4742	28
8	5906	28
9	7568	28

Stop Event

1×	node limit

Counts

2 → 37

Calls

Call 1

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

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

simplify418.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

3716×	`rational.json-simplify-41`
2174×	`rational.json-simplify-2`
1970×	`rational.json-simplify-35`
810×	`rational.json-simplify-51`
772×	`rational.json-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	82	888
1	195	888
2	601	888
3	1610	888
4	3060	888
5	3931	888
6	4362	888
7	4538	888
8	4656	888
9	4755	888
10	4852	888
11	5210	888
12	5395	888
13	5544	888
14	5599	888
15	5707	888
16	5802	888
17	5816	888
18	5816	888

Stop Event

1×	node limit

Counts

62 → 40

Calls

Call 1

Inputs
(*.f64 y (sqrt.f64 z))
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
x
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
x
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
x
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(*.f64 y (sqrt.f64 z))
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(*.f64 y (sqrt.f64 z))
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
x
(+.f64 (*.f64 y (sqrt.f64 z)) 0)
(+.f64 0 (*.f64 y (sqrt.f64 z)))
(+.f64 (.f64 (sqrt.f64 z) (.f64 y 1/2)) (.f64 (sqrt.f64 z) (.f64 y 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 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8))))))) 256)
(pow.f64 (*.f64 y (sqrt.f64 z)) 1)
(-.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 0)
(.f64 (+.f64 (.f64 y (sqrt.f64 z)) x) 1)
(.f64 1 (+.f64 (.f64 y (sqrt.f64 z)) x))
(.f64 2 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 1/2))
(.f64 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 2) 1/2)
(.f64 4 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 1/4))
(.f64 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 4) 1/4)
(.f64 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 8) 1/8)
(.f64 1/2 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 2))
(.f64 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 4))
(.f64 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 1/4) 4)
(.f64 1/8 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 8))
(/.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 1)
(/.f64 (.f64 (+.f64 (.f64 y (sqrt.f64 z)) x) 2) 2)
(/.f64 (.f64 (+.f64 (.f64 y (sqrt.f64 z)) x) 4) 4)
(/.f64 (.f64 (+.f64 (.f64 y (sqrt.f64 z)) x) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 y (sqrt.f64 z)) x) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 y (sqrt.f64 z)) x) 8))))) 128)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 y (sqrt.f64 z)) x) 8))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 y (sqrt.f64 z)) x) 8)))))) 256)
(pow.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 1)

Outputs
(*.f64 y (sqrt.f64 z))
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
x
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
x
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
x
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(*.f64 y (sqrt.f64 z))
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(*.f64 y (sqrt.f64 z))
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
x
(+.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 (sqrt.f64 z) (.f64 y 1/2)) (.f64 (sqrt.f64 z) (.f64 y 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 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8))))))) 256)
(*.f64 y (sqrt.f64 z))
(pow.f64 (*.f64 y (sqrt.f64 z)) 1)
(*.f64 y (sqrt.f64 z))
(-.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 0)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(.f64 (+.f64 (.f64 y (sqrt.f64 z)) x) 1)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(.f64 1 (+.f64 (.f64 y (sqrt.f64 z)) x))
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(.f64 2 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 1/2))
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(.f64 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 2) 1/2)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(.f64 4 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 1/4))
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(.f64 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 4) 1/4)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(.f64 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 8) 1/8)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(.f64 1/2 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 2))
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(.f64 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 1/2) 2)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(.f64 1/4 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 4))
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(.f64 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 1/4) 4)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(.f64 1/8 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 8))
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(/.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 1)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(/.f64 (.f64 (+.f64 (.f64 y (sqrt.f64 z)) x) 2) 2)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(/.f64 (.f64 (+.f64 (.f64 y (sqrt.f64 z)) x) 4) 4)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(/.f64 (.f64 (+.f64 (.f64 y (sqrt.f64 z)) x) 8) 8)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(/.f64 (.f64 2 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 8)) 16)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 y (sqrt.f64 z)) x) 8))) 32)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 8)))) 64)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 y (sqrt.f64 z)) x) 8))))) 128)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 y (sqrt.f64 z)) x) 8))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 y (sqrt.f64 z)) x) 8)))))) 256)
(+.f64 (*.f64 y (sqrt.f64 z)) x)
(pow.f64 (+.f64 (*.f64 y (sqrt.f64 z)) x) 1)
(+.f64 (*.f64 y (sqrt.f64 z)) x)

eval10.0ms (0.1%)

Compiler: Compiled 537 to 318 computations (40.8% saved)

prune6.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	38	2	40
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	38	3	41

Error

0.1b

Counts

41 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 26 to 20 computations (23.1% saved)

localize4.0ms (0%)

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

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 1/2 (.f64 y (sqrt.f64 z)))
	0.2b	(*.f64 y (sqrt.f64 z))

Compiler

Compiled 18 to 8 computations (55.6% saved)

series2.0ms (0%)

Counts

1 → 0

Calls

6 calls:

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

rewrite219.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

2584×	`rational.json-simplify-2`
1420×	`rational.json-simplify-35`
1362×	`rational.json-1`
1362×	`rational.json-2`
1076×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	60	17
2	133	17
3	274	17
4	497	17
5	1082	17
6	2305	17
7	3898	17
8	4726	17
9	5704	17
10	6489	17
11	6489	17
12	7749	17

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 (.f64 y (sqrt.f64 z))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 1/2 (.f64 y (sqrt.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (sqrt.f64 z) (.f64 y 1/4)) (.f64 (sqrt.f64 z) (.f64 y 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/2 (.f64 y (sqrt.f64 z))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y (sqrt.f64 z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 1/2 (.f64 y (sqrt.f64 z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y (.f64 (sqrt.f64 z) 2)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y (.f64 (sqrt.f64 z) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 z) (.f64 y 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.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 (sqrt.f64 z) (.f64 y 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 z) (.f64 y 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 1/2 (*.f64 y (sqrt.f64 z))) 1)))))

Outputs

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

simplify862.0ms (8.9%)

Algorithm

1×	egg-herbie

Rules

3528×	`rational.json-simplify-35`
3390×	`rational.json-simplify-2`
1736×	`rational.json-simplify-53`
908×	`exponential.json-simplify-26`
718×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	238
1	124	238
2	253	238
3	583	238
4	1698	238
5	3041	238
6	4056	238
7	4592	238
8	4772	238
9	4893	238
10	5012	238
11	5129	238
12	5613	238
13	6026	238
14	6295	238
15	6501	238
16	6517	238
17	6517	238
18	6517	238
19	6633	238
20	6749	238
21	6865	238
22	6981	238
23	7097	238
24	7213	238
25	7640	238
26	7989	238

Stop Event

1×	node limit

Counts

14 → 16

Calls

Call 1

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

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

eval87.0ms (0.9%)

Compiler: Compiled 328 to 219 computations (33.2% saved)

prune5.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

0.1b

Counts

33 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 26 to 20 computations (23.1% saved)

regimes274.0ms (2.8%)

Counts

4 → 1

Calls

Call 1

Inputs
(*.f64 1/2 x)
(.f64 1/2 (.f64 y (sqrt.f64 z)))
(.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:

247.0ms	(.f64 (/.f64 1 2) (+.f64 x (.f64 y (sqrt.f64 z))))
5.0ms	(sqrt.f64 z)
5.0ms	y
4.0ms	(+.f64 x (*.f64 y (sqrt.f64 z)))
4.0ms	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 76 to 50 computations (34.2% saved)

regimes85.0ms (0.9%)

Accuracy

Total -46.9b remaining (-315.7%)

Threshold costs -46.9b (-315.7%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

5 calls:

22.0ms	(sqrt.f64 z)
22.0ms	z
16.0ms	y
13.0ms	x
10.0ms	(*.f64 y (sqrt.f64 z))

Results

Error	Segments	Branch
15.0b	3	`x`
15.9b	5	`y`
20.1b	8	`z`
14.8b	3	`(*.f64 y (sqrt.f64 z))`
20.1b	8	`(sqrt.f64 z)`

Compiler

Compiled 36 to 27 computations (25% saved)

bsearch27.0ms (0.3%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
9.0ms	4.6048100720518086e-61	1.7042544479093976e-60
18.0ms	-9.963444456290724e+132	-1.2808970757807584e+103

Results

23.0ms

256×

body

256

valid

Compiler

Compiled 243 to 207 computations (14.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	109

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 (*.f64 y (sqrt.f64 z)) -379999999999999988931481193626165194181493966782064033589011867828327315763626385054047628211625657434409795584) (*.f64 1/2 (*.f64 y (sqrt.f64 z))) (if (<=.f64 (*.f64 y (sqrt.f64 z)) 497544133441593/452312848583266388373324160190187140051835877600158453279131187530910662656) (*.f64 1/2 x) (*.f64 1/2 (*.f64 y (sqrt.f64 z)))))

(*.f64 1/2 x)

Outputs

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

(if (<=.f64 (*.f64 y (sqrt.f64 z)) -379999999999999988931481193626165194181493966782064033589011867828327315763626385054047628211625657434409795584) (*.f64 1/2 (*.f64 y (sqrt.f64 z))) (if (<=.f64 (*.f64 y (sqrt.f64 z)) 497544133441593/452312848583266388373324160190187140051835877600158453279131187530910662656) (*.f64 1/2 x) (*.f64 1/2 (*.f64 y (sqrt.f64 z)))))

(*.f64 1/2 x)

Compiler

Compiled 49 to 30 computations (38.8% saved)

soundness10.0ms (0.1%)

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)

end24.0ms (0.2%)

Compiler: Compiled 43 to 22 computations (48.8% saved)

Details

analyze424.0ms (4.4%)

sample6.0s (62%)

preprocess4.0ms (0%)

simplify13.0ms (0.1%)

eval1.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0.1%)

series4.0ms (0%)

rewrite1.2s (12.3%)

simplify418.0ms (4.3%)

eval10.0ms (0.1%)

prune6.0ms (0.1%)

localize4.0ms (0%)

localize9.0ms (0.1%)

series2.0ms (0%)

rewrite219.0ms (2.2%)

simplify862.0ms (8.9%)

eval87.0ms (0.9%)

prune5.0ms (0.1%)

regimes274.0ms (2.8%)

regimes85.0ms (0.9%)

bsearch27.0ms (0.3%)

simplify3.0ms (0%)

soundness10.0ms (0.1%)

end24.0ms (0.2%)

Profiling