Details

analyze7.0ms (0.1%)

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
75%	75%	25%	0%	0%	0%	0%	4
87.5%	87.5%	12.5%	0%	0%	0%	0%	5
93.8%	93.7%	6.2%	0%	0%	0%	0%	6
96.9%	96.8%	3.1%	0%	0%	0%	0%	7
98.4%	98.4%	1.6%	0%	0%	0%	0%	8
99.2%	99.2%	0.8%	0%	0%	0%	0%	9
99.6%	99.6%	0.4%	0%	0%	0%	0%	10
99.8%	99.8%	0.2%	0%	0%	0%	0%	11
99.9%	99.9%	0.1%	0%	0%	0%	0%	12

Compiler

Compiled 10 to 8 computations (20% saved)

sample882.0ms (17.4%)

Results

872.0ms

8256×

body

256

valid

Bogosity

preprocess11.0ms (0.2%)

Algorithm

2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	23
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(sqrt.f64 (+.f64 (pow.f64 x 2) (pow.f64 x 2)))

Outputs
(sqrt.f64 (+.f64 (pow.f64 x 2) (pow.f64 x 2)))

Compiler

Compiled 10 to 8 computations (20% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	23

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 (pow.f64 x 2) (pow.f64 x 2)))

Outputs
(sqrt.f64 (+.f64 (pow.f64 x 2) (pow.f64 x 2)))

eval0.0ms (0%)

Compiler: Compiled 9 to 7 computations (22.2% 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

31.9b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	31.9b	(sqrt.f64 (+.f64 (pow.f64 x 2) (pow.f64 x 2)))

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (pow.f64 x 2) (pow.f64 x 2))
✓	30.8b	(sqrt.f64 (+.f64 (pow.f64 x 2) (pow.f64 x 2)))

Compiler

Compiled 21 to 15 computations (28.6% saved)

series4.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(+.f64 (pow.f64 x 2) (pow.f64 x 2))
0.0ms	x	@	0	(sqrt.f64 (+.f64 (pow.f64 x 2) (pow.f64 x 2)))
0.0ms	x	@	inf	(+.f64 (pow.f64 x 2) (pow.f64 x 2))
0.0ms	x	@	inf	(sqrt.f64 (+.f64 (pow.f64 x 2) (pow.f64 x 2)))
0.0ms	x	@	0	(+.f64 (pow.f64 x 2) (pow.f64 x 2))

rewrite264.0ms (5.2%)

Algorithm

1×	batch-egg-rewrite

Rules

3334×	`rational.json-simplify-35`
2006×	`rational.json-simplify-2`
1100×	`exponential.json-3`
1100×	`rational.json-1`
1100×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	42
1	50	30
2	106	30
3	200	30
4	366	30
5	797	30
6	1905	30
7	3182	30
8	3831	30
9	4585	30
10	5482	30
11	5961	30
12	5961	30
13	6495	30
14	6653	30
15	7153	30

Stop Event

1×	node limit

Counts

2 → 57

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 (pow.f64 x 2) (pow.f64 x 2)))
(+.f64 (pow.f64 x 2) (pow.f64 x 2))

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

Outputs

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

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

simplify638.0ms (12.6%)

Algorithm

1×	egg-herbie

Rules

3902×	`rational.json-simplify-1`
2808×	`rational.json-simplify-41`
1972×	`rational.json-simplify-35`
1262×	`rational.json-simplify-2`
1100×	`rational.json-simplify-51`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	109	1169
1	249	1161
2	701	1161
3	1724	1161
4	2810	1161
5	3352	1161
6	3466	1161
7	3531	1161
8	3589	1161
9	3646	1161
10	5863	1161
11	5962	1161
12	6079	1161
13	6147	1161
14	6209	1161
15	6270	1161
16	6328	1161
17	6386	1161
18	6443	1161
19	6500	1161
20	6557	1161
21	6557	1161

Stop Event

1×	node limit

Counts

81 → 63

Calls

Call 1

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

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

eval142.0ms (2.8%)

Compiler: Compiled 719 to 653 computations (9.2% saved)

prune8.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	60	3	63
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	61	3	64

Error

0.2b

Counts

64 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	32.5b	(*.f64 (sqrt.f64 2) (neg.f64 x))
▶	30.5b	(*.f64 (sqrt.f64 2) x)
▶	31.9b	(sqrt.f64 (*.f64 (pow.f64 x 2) 2))

Compiler

Compiled 18 to 15 computations (16.7% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (pow.f64 x 2) 2)
✓	30.8b	(sqrt.f64 (*.f64 (pow.f64 x 2) 2))

Compiler

Compiled 17 to 13 computations (23.5% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite317.0ms (6.3%)

Algorithm

1×	batch-egg-rewrite

Rules

3126×	`rational.json-simplify-35`
1872×	`rational.json-simplify-2`
1260×	`rational.json-simplify-1`
1138×	`exponential.json-3`
1138×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	30
1	51	30
2	107	30
3	200	30
4	352	30
5	780	30
6	1830	30
7	3060	30
8	3671	30
9	4345	30
10	5144	30
11	5563	30
12	5563	30
13	6034	30
14	6034	30
15	6624	30
16	7495	30
17	7983	30

Stop Event

1×	node limit

Counts

2 → 48

Calls

Call 1

Inputs
(sqrt.f64 (*.f64 (pow.f64 x 2) 2))
(*.f64 (pow.f64 x 2) 2)

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

Outputs

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

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

simplify367.0ms (7.3%)

Algorithm

1×	egg-herbie

Rules

4028×	`rational.json-simplify-51`
3042×	`rational.json-simplify-41`
1998×	`rational.json-simplify-35`
1436×	`rational.json-simplify-2`
752×	`rational.json-simplify-43`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	102	1052
1	247	1044
2	639	1044
3	1950	1044
4	3353	1044
5	3741	1044
6	3814	1044
7	3885	1044
8	3945	1044
9	4004	1044
10	4353	1044
11	4412	1044
12	4471	1044
13	4530	1044
14	4589	1044
15	4648	1044
16	4707	1044
17	4766	1044
18	4825	1044
19	4884	1044

Stop Event

1×	node limit

Counts

72 → 54

Calls

Call 1

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

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

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 (sqrt.f64 2) x)

Compiler

Compiled 9 to 7 computations (22.2% saved)

series0.0ms (0%)

Counts

1 → 0

Calls

3 calls:

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

rewrite224.0ms (4.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1740×	`rational.json-simplify-35`
1606×	`rational.json-1`
1606×	`rational.json-2`
1508×	`rational.json-simplify-53`
1262×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	45	11
2	95	11
3	183	11
4	323	11
5	705	11
6	1680	11
7	2910	11
8	3832	11
9	4975	11
10	6124	11
11	7083	11
12	7083	11
13	7710	11

Stop Event

1×	node limit

Counts

1 → 15

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 2) x)

Outputs

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

simplify1.0s (20.6%)

Algorithm

1×	egg-herbie

Rules

3900×	`rational.json-simplify-35`
2832×	`rational.json-simplify-2`
1574×	`rational.json-simplify-53`
960×	`exponential.json-simplify-26`
930×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	165
1	136	165
2	291	165
3	819	165
4	2034	165
5	3334	165
6	4237	165
7	4530	165
8	4672	165
9	4779	165
10	4886	165
11	5468	165
12	5747	165
13	5965	165
14	6156	165
15	6258	165
16	6405	165
17	6484	165
18	6484	165
19	6591	165
20	6698	165
21	6805	165
22	6921	165
23	7028	165
24	7135	165
25	7466	165
26	7573	165
27	7680	165
28	7787	165
29	7894	165

Stop Event

1×	node limit

Counts

15 → 16

Calls

Call 1

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

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

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 (sqrt.f64 2) (neg.f64 x))

Compiler

Compiled 12 to 8 computations (33.3% saved)

series0.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite126.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1910×	`rational.json-simplify-35`
1610×	`rational.json-1`
1610×	`rational.json-2`
1610×	`rational.json-4`
1610×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	55	15
2	125	15
3	260	15
4	512	15
5	1218	15
6	2586	15
7	4474	15
8	5728	15
9	7320	15

Stop Event

1×	node limit

Counts

1 → 25

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 2) (neg.f64 x))

Outputs

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

simplify277.0ms (5.5%)

Algorithm

1×	egg-herbie

Rules

2282×	`rational.json-simplify-2`
1868×	`rational.json-simplify-35`
1724×	`rational.json-simplify-1`
1168×	`rational.json-simplify-41`
1086×	`rational.json-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	68	577
1	174	577
2	373	577
3	909	577
4	2522	577
5	4652	577
6	5254	577
7	5617	577
8	5876	577
9	6143	577
10	6179	577
11	7445	577
12	7883	577

Stop Event

1×	node limit

Counts

37 → 30

Calls

Call 1

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

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

eval22.0ms (0.4%)

Compiler: Compiled 1043 to 925 computations (11.3% saved)

prune75.0ms (1.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

0.2b

Counts

103 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	32.5b	(*.f64 (sqrt.f64 2) (neg.f64 x))
✓	30.5b	(*.f64 (sqrt.f64 2) x)
✓	31.9b	(sqrt.f64 (*.f64 (pow.f64 x 2) 2))

Compiler

Compiled 18 to 15 computations (16.7% saved)

regimes31.0ms (0.6%)

Accuracy

Total -62.2b remaining (-13839.1%)

Threshold costs -62.2b (-13839.1%)

Counts

4 → 2

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) (neg.f64 x))
(sqrt.f64 (*.f64 (pow.f64 x 2) 2))
(sqrt.f64 (+.f64 (pow.f64 x 2) (pow.f64 x 2)))

Outputs
(*.f64 (sqrt.f64 2) (neg.f64 x))
(*.f64 (sqrt.f64 2) x)

Calls

4 calls:

9.0ms	(+.f64 (pow.f64 x 2) (pow.f64 x 2))
7.0ms	(sqrt.f64 (+.f64 (pow.f64 x 2) (pow.f64 x 2)))
7.0ms	(pow.f64 x 2)
7.0ms	x

Results

Error	Segments	Branch
0.4b	2	`x`
14.4b	3	`(sqrt.f64 (+.f64 (pow.f64 x 2) (pow.f64 x 2)))`
14.4b	3	`(+.f64 (pow.f64 x 2) (pow.f64 x 2))`
14.4b	3	`(pow.f64 x 2)`

Compiler

Compiled 47 to 36 computations (23.4% saved)

bsearch18.0ms (0.4%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
18.0ms	-1.0079072536098313e-305	3.603476287487585e-298

Results

16.0ms

160×

body

256

valid

Compiler

Compiled 143 to 120 computations (16.1% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	46

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(if (<=.f64 x -2024022533073/101201126653655309176247673359458653524778324882071059178450679013715169783997673445980191850718562247593538932158405955694904368692896738433506699970369254960758712138283180682233453871046608170619883839236372534281003741712346349309051677824579778170405028256179384776166707307615251266093163754323003131653853870546747392) (*.f64 (sqrt.f64 2) (neg.f64 x)) (*.f64 (sqrt.f64 2) x))

(*.f64 (sqrt.f64 2) x)

Outputs

(if (<=.f64 x -2024022533073/101201126653655309176247673359458653524778324882071059178450679013715169783997673445980191850718562247593538932158405955694904368692896738433506699970369254960758712138283180682233453871046608170619883839236372534281003741712346349309051677824579778170405028256179384776166707307615251266093163754323003131653853870546747392) (*.f64 (sqrt.f64 2) (neg.f64 x)) (*.f64 (sqrt.f64 2) x))

(*.f64 (sqrt.f64 2) x)

Compiler

Compiled 19 to 15 computations (21.1% saved)

soundness508.0ms (10%)

Algorithm

1×	egg-herbie

Rules

3902×	`rational.json-simplify-1`
2808×	`rational.json-simplify-41`
1972×	`rational.json-simplify-35`
1262×	`rational.json-simplify-2`
1100×	`rational.json-simplify-51`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	109	1169
1	249	1161
2	701	1161
3	1724	1161
4	2810	1161
5	3352	1161
6	3466	1161
7	3531	1161
8	3589	1161
9	3646	1161
10	5863	1161
11	5962	1161
12	6079	1161
13	6147	1161
14	6209	1161
15	6270	1161
16	6328	1161
17	6386	1161
18	6443	1161
19	6500	1161
20	6557	1161
21	6557	1161

Stop Event

1×	node limit

Compiler

Compiled 18 to 15 computations (16.7% saved)

end56.0ms (1.1%)

Compiler: Compiled 18 to 14 computations (22.2% saved)

Details

analyze7.0ms (0.1%)

sample882.0ms (17.4%)

preprocess11.0ms (0.2%)

simplify8.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0.2%)

series4.0ms (0.1%)

rewrite264.0ms (5.2%)

simplify638.0ms (12.6%)

eval142.0ms (2.8%)

prune8.0ms (0.2%)

localize8.0ms (0.2%)

series1.0ms (0%)

rewrite317.0ms (6.3%)

simplify367.0ms (7.3%)

localize4.0ms (0.1%)

series0.0ms (0%)

rewrite224.0ms (4.4%)

simplify1.0s (20.6%)

localize6.0ms (0.1%)

series0.0ms (0%)

rewrite126.0ms (2.5%)

simplify277.0ms (5.5%)

eval22.0ms (0.4%)

prune75.0ms (1.5%)

regimes31.0ms (0.6%)

bsearch18.0ms (0.4%)

simplify2.0ms (0%)

soundness508.0ms (10%)

end56.0ms (1.1%)

Profiling