Details

analyze3.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12

Compiler

Compiled 10 to 5 computations (50% saved)

sample790.0ms (29.6%)

Results

776.0ms	8256×	body	256	valid
0.0ms	4×	body	256	invalid

preprocess14.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

2×	`*-commutative_binary64`
2×	`associate-r_binary64`
2×	`count-2_binary64`
1×	`associate-l_binary64`
1×	`distribute-rgt-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	4
1	11	4
2	14	4
3	17	4
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

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

Outputs
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(hypot.f64 x x)

Compiler

Compiled 10 to 5 computations (50% saved)

simplify30.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
2×	`associate-r_binary64`
2×	`count-2_binary64`
1×	`associate-l_binary64`
1×	`distribute-rgt-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	4
1	11	4
2	14	4
3	17	4

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

Outputs
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(hypot.f64 x x)

eval0.0ms (0%)

Compiler: Compiled 12 to 5 computations (58.3% 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	(hypot.f64 x x)

Compiler

Compiled 4 to 2 computations (50% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(hypot.f64 x x)

Compiler

Compiled 5 to 2 computations (60% saved)

series3.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite78.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

356×	`log1p-udef_binary64`
279×	`associate-r_binary64`
271×	`pow1_binary64`
259×	`associate-l_binary64`
259×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	4
1	60	4
2	696	4
3	7879	4

Stop Event

1×	node limit

Counts

1 → 103

Calls

Call 1

Inputs
(hypot.f64 x x)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x x) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 (/.f64 0 0)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 0 0)) 2))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 0 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 0 0)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 0 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 x x) (/.f64 0 0)) (.f64 (.f64 x x) (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 0 0) (.f64 x x)) (.f64 (/.f64 0 0) (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (/.f64 0 0)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 4) 0) (/.f64 (pow.f64 x 4) 0))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 x (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 x (.f64 (+.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 x (.f64 (+.f64 x x) (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x x) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x x) (.f64 (+.f64 x x) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 x) (cbrt.f64 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 x) (+.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (cbrt.f64 x) 5)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 x) (.f64 (pow.f64 (cbrt.f64 x) 2) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 x) 2) (+.f64 (.f64 x (cbrt.f64 x)) (.f64 x (cbrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 x) (pow.f64 (+.f64 x x) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 x) (+.f64 (pow.f64 x 3/2) (pow.f64 x 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 0 0) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 0 0) (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 0 0) (pow.f64 1 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 0 0) (pow.f64 1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 0 (/.f64 1 0))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x (cbrt.f64 x)) (+.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 x 3/2) (+.f64 (sqrt.f64 x) (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (.f64 x x) (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (pow.f64 x 6)) (/.f64 1 (+.f64 0 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x x) x)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 x) 5) (+.f64 (cbrt.f64 x) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (pow.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 2) (pow.f64 (cbrt.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 2) x)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 1 1/3) (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 1 1/2) (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 2 1/2) x)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (sqrt.f64 x)) (pow.f64 x 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 0 0) x) (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 0 0) 2) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (pow.f64 (cbrt.f64 x) 2)) (.f64 x (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (.f64 x (cbrt.f64 x))) (pow.f64 (cbrt.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (pow.f64 x 3/2)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (pow.f64 (cbrt.f64 x) 5)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 0 (pow.f64 x 4)) (.f64 2 (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 0 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (pow.f64 x 6)) (+.f64 0 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 2 (pow.f64 x 6)) (.f64 2 (pow.f64 x 6))) (.f64 (+.f64 0 (pow.f64 x 4)) (+.f64 0 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (.f64 2 (pow.f64 x 6))) (cbrt.f64 (+.f64 0 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (.f64 2 (pow.f64 x 6))) (sqrt.f64 (+.f64 0 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 0) (sqrt.f64 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 2 (pow.f64 x 6))) (neg.f64 (+.f64 0 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 0 (.f64 2 (pow.f64 x 6))) (.f64 0 (+.f64 0 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 2 (pow.f64 x 6)) 0) (.f64 (+.f64 0 (pow.f64 x 4)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 0 0)) 3) 1) (+.f64 (.f64 (+.f64 1 (/.f64 0 0)) (+.f64 1 (/.f64 0 0))) (+.f64 1 (+.f64 1 (/.f64 0 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 1 (/.f64 0 0)) (+.f64 1 (/.f64 0 0))) 1) (+.f64 (+.f64 1 (/.f64 0 0)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 2 (pow.f64 x 6)) 1) (+.f64 0 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 2 (pow.f64 x 6)) (/.f64 0 0)) (+.f64 0 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 0 (/.f64 0 0)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 0 0) (.f64 2 (pow.f64 x 6))) (+.f64 0 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 1/9)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 9)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 2/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 6)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 1/6)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 3/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 5/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 5)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 4/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (E.f64) (log.f64 (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 0 0)) 2))) (cbrt.f64 (log.f64 (/.f64 0 0))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 0 0)))) (sqrt.f64 (log.f64 (/.f64 0 0))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (/.f64 0 0)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (/.f64 0 0)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (/.f64 0 0)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 x x) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 x (cbrt.f64 x)) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (cbrt.f64 x)) (pow.f64 (cbrt.f64 x) 2) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 3/2) (sqrt.f64 x) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x) (.f64 x x))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x x) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 (/.f64 0 0)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 0 0)) 2))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 0 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 0 0)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 0 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x x) (/.f64 0 0)) (*.f64 (*.f64 x x) (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 0 0) (*.f64 x x)) (*.f64 (/.f64 0 0) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (/.f64 0 0)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 4) 0) (/.f64 (pow.f64 x 4) 0))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 (+.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 (+.f64 x x) (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x x) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x x) (*.f64 (+.f64 x x) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (+.f64 (pow.f64 (cbrt.f64 x) 5) (pow.f64 (cbrt.f64 x) 5)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (*.f64 (pow.f64 (cbrt.f64 x) 2) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (+.f64 (*.f64 x (cbrt.f64 x)) (*.f64 x (cbrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (pow.f64 (+.f64 x x) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (+.f64 (pow.f64 x 3/2) (pow.f64 x 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 0 0) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 0 0) (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 0 0) (pow.f64 1 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 0 0) (pow.f64 1 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 0 (/.f64 1 0))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (cbrt.f64 x)) (+.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 3/2) (+.f64 (sqrt.f64 x) (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 x x) (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (pow.f64 x 6)) (/.f64 1 (+.f64 0 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x x) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 5) (+.f64 (cbrt.f64 x) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (pow.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 2) (pow.f64 (cbrt.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 2) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 2 1/2) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (sqrt.f64 x)) (pow.f64 x 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 0 0) x) (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 0 0) 2) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (pow.f64 (cbrt.f64 x) 2)) (*.f64 x (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 x (cbrt.f64 x))) (pow.f64 (cbrt.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (pow.f64 x 3/2)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (pow.f64 (cbrt.f64 x) 5)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 0 (pow.f64 x 4)) (*.f64 2 (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 0 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (pow.f64 x 6)) (+.f64 0 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (pow.f64 x 6)) (*.f64 2 (pow.f64 x 6))) (*.f64 (+.f64 0 (pow.f64 x 4)) (+.f64 0 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (*.f64 2 (pow.f64 x 6))) (cbrt.f64 (+.f64 0 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (*.f64 2 (pow.f64 x 6))) (sqrt.f64 (+.f64 0 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 0) (sqrt.f64 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 2 (pow.f64 x 6))) (neg.f64 (+.f64 0 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 0 (*.f64 2 (pow.f64 x 6))) (*.f64 0 (+.f64 0 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (pow.f64 x 6)) 0) (*.f64 (+.f64 0 (pow.f64 x 4)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 0 0)) 3) 1) (+.f64 (*.f64 (+.f64 1 (/.f64 0 0)) (+.f64 1 (/.f64 0 0))) (+.f64 1 (+.f64 1 (/.f64 0 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 0 0)) (+.f64 1 (/.f64 0 0))) 1) (+.f64 (+.f64 1 (/.f64 0 0)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (pow.f64 x 6)) 1) (+.f64 0 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (pow.f64 x 6)) (/.f64 0 0)) (+.f64 0 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 0 (/.f64 0 0)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 0 0) (*.f64 2 (pow.f64 x 6))) (+.f64 0 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 1/9)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 9)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 2/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 6)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 1/6)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 3/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 5/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 5)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 0 0) 4/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (E.f64) (log.f64 (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (/.f64 0 0)) 2))) (cbrt.f64 (log.f64 (/.f64 0 0))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 0 0)))) (sqrt.f64 (log.f64 (/.f64 0 0))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 0 0))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 0 0)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 0 0)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 0 0)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 0 0)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x x) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 x (cbrt.f64 x)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (pow.f64 x 3/2) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (cbrt.f64 x)) (pow.f64 (cbrt.f64 x) 2) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 3/2) (sqrt.f64 x) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 5) (cbrt.f64 x) (*.f64 x x))))))

simplify13.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

38×	`fma-def_binary64`
9×	`sub-neg_binary64`
6×	`+-commutative_binary64`
4×	`*-commutative_binary64`
4×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	80
1	12	80
2	25	80
3	29	80
4	33	80
5	51	80
6	73	80
7	84	80
8	96	80
9	121	80

Stop Event

1×

saturated

Counts

115 → 105

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))

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))
(neg.f64 (*.f64 (sqrt.f64 2) x))
(*.f64 (sqrt.f64 2) (neg.f64 x))
(.f64 -1 (.f64 (sqrt.f64 2) x))
(neg.f64 (*.f64 (sqrt.f64 2) x))
(*.f64 (sqrt.f64 2) (neg.f64 x))
(.f64 -1 (.f64 (sqrt.f64 2) x))
(neg.f64 (*.f64 (sqrt.f64 2) x))
(*.f64 (sqrt.f64 2) (neg.f64 x))
(.f64 -1 (.f64 (sqrt.f64 2) x))
(neg.f64 (*.f64 (sqrt.f64 2) x))
(*.f64 (sqrt.f64 2) (neg.f64 x))

eval20.0ms (0.7%)

Compiler: Compiled 899 to 665 computations (26% saved)

prune21.0ms (0.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	99	6	105
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	99	7	106

Error

0.0b

Counts

106 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	64.0b	(/.f64 0 0)
▶	60.7b	(*.f64 (+.f64 x x) x)
▶	31.0b	(*.f64 (sqrt.f64 2) (neg.f64 x))
▶	31.9b	(*.f64 (sqrt.f64 2) x)
✓	0.1b	(hypot.f64 x x)
	53.6b	(/.f64 (sqrt.f64 (*.f64 2 (pow.f64 x 6))) (sqrt.f64 (+.f64 0 (pow.f64 x 4))))
▶	32.7b	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))

Compiler

Compiled 90 to 68 computations (24.4% saved)

localize6.0ms (0.2%)

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)

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite40.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

450×	`pow1_binary64`
437×	`add-sqr-sqrt_binary64`
428×	`*-un-lft-identity_binary64`
418×	`add-log-exp_binary64`
417×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	125	6
2	1473	6

Stop Event

1×	node limit

Counts

1 → 13

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 (sqrt.f64 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 (sqrt.f64 2) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (sqrt.f64 2) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (sqrt.f64 2) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (sqrt.f64 2) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (sqrt.f64 2) x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 (sqrt.f64 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 2 (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (sqrt.f64 2) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sqrt.f64 2) x)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 (sqrt.f64 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 (sqrt.f64 2) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 2) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (sqrt.f64 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 2 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sqrt.f64 2) x)))))))

simplify14.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

38×	`fma-def_binary64`
9×	`sub-neg_binary64`
6×	`+-commutative_binary64`
4×	`*-commutative_binary64`
4×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	96
1	12	96
2	25	96
3	29	96
4	33	96
5	51	96
6	73	96
7	84	96
8	96	96
9	121	96

Stop Event

1×

saturated

Counts

25 → 15

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))

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

localize2.0ms (0.1%)

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

localize4.0ms (0.1%)

Compiler: Compiled 10 to 3 computations (70% saved)

localize4.0ms (0.2%)

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)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

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

rewrite40.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

417×	`pow1_binary64`
403×	`add-sqr-sqrt_binary64`
395×	`*-un-lft-identity_binary64`
386×	`add-log-exp_binary64`
386×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	100	6
2	1075	6

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 0 (*.f64 (sqrt.f64 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 (sqrt.f64 2) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 2) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 2 (*.f64 x x)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 2 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sqrt.f64 2) x)))))))

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

15 → 15

Calls

Call 1

Inputs

Outputs

localize8.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 18 to 5 computations (72.2% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite40.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

417×	`pow1_binary64`
408×	`prod-diff_binary64`
401×	`add-sqr-sqrt_binary64`
394×	`add-log-exp_binary64`
393×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	129	4
2	1820	4

Stop Event

1×	node limit

Counts

1 → 38

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 x x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x x) (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x x) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (+.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 x x) 0) (/.f64 (*.f64 x x) 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 x x 0) (*.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (pow.f64 x 3)) (fma.f64 x x 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 0 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (pow.f64 x 3)) (*.f64 2 (pow.f64 x 3))) (*.f64 (fma.f64 x x 0) (fma.f64 x x 0)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (*.f64 2 (pow.f64 x 3))) (cbrt.f64 (fma.f64 x x 0)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 0) (sqrt.f64 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (*.f64 2 (pow.f64 x 3))) (sqrt.f64 (fma.f64 x x 0)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 2 (pow.f64 x 3))) (neg.f64 (fma.f64 x x 0)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 0 (*.f64 2 (pow.f64 x 3))) (*.f64 0 (fma.f64 x x 0)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (pow.f64 x 3)) 0) (*.f64 (fma.f64 x x 0) 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (pow.f64 x 3)) (+.f64 x x)) (fma.f64 x x 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 0 (+.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 2 (pow.f64 x 3))) (fma.f64 x x 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x x) (*.f64 2 (pow.f64 x 3))) (fma.f64 x x 0))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x x) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x x) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x x) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x x) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x x) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x x) 3/2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x hypot.f64 (sqrt.f64 x) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (sqrt.f64 x) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) x)))))

simplify18.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

248×	`fma-def_binary64`
22×	`distribute-rgt-in_binary64`
21×	`associate-l_binary64`
21×	`sub-neg_binary64`
19×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	100
1	21	100
2	53	100
3	104	100
4	119	100
5	167	100
6	239	100
7	276	100
8	322	100
9	499	100
10	527	100

Stop Event

1×

saturated

Counts

50 → 41

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 -1) (*.f64 (sqrt.f64 -2) x)))
(.f64 -1 (.f64 (sqrt.f64 -1) (*.f64 (sqrt.f64 -2) x)))
(.f64 -1 (.f64 (sqrt.f64 -1) (*.f64 (sqrt.f64 -2) x)))
(.f64 -1 (.f64 (sqrt.f64 -1) (*.f64 (sqrt.f64 -2) x)))

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 -1) (*.f64 (sqrt.f64 -2) x)))
(neg.f64 (.f64 (.f64 (sqrt.f64 -1) (sqrt.f64 -2)) x))
(.f64 (.f64 (sqrt.f64 -1) (sqrt.f64 -2)) (neg.f64 x))
(.f64 -1 (.f64 (sqrt.f64 -1) (*.f64 (sqrt.f64 -2) x)))
(neg.f64 (.f64 (.f64 (sqrt.f64 -1) (sqrt.f64 -2)) x))
(.f64 (.f64 (sqrt.f64 -1) (sqrt.f64 -2)) (neg.f64 x))
(.f64 -1 (.f64 (sqrt.f64 -1) (*.f64 (sqrt.f64 -2) x)))
(neg.f64 (.f64 (.f64 (sqrt.f64 -1) (sqrt.f64 -2)) x))
(.f64 (.f64 (sqrt.f64 -1) (sqrt.f64 -2)) (neg.f64 x))
(.f64 -1 (.f64 (sqrt.f64 -1) (*.f64 (sqrt.f64 -2) x)))
(neg.f64 (.f64 (.f64 (sqrt.f64 -1) (sqrt.f64 -2)) x))
(.f64 (.f64 (sqrt.f64 -1) (sqrt.f64 -2)) (neg.f64 x))

eval31.0ms (1.1%)

Compiler: Compiled 527 to 360 computations (31.7% saved)

prune15.0ms (0.5%)

Pruning

10 alts after pruning (5 fresh and 5 done)

	Pruned	Kept	Total
New	66	5	71
Fresh	1	0	1
Picked	0	1	1
Done	1	4	5
Total	68	10	78

Error

0.0b

Counts

78 → 10

Alt Table

Click to see full alt table

Status	Error	Program
▶	32.8b	(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) 2)
✓	0.1b	(hypot.f64 x x)
▶	32.3b	(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
▶	62.3b	(/.f64 1 (+.f64 x x))
✓	60.7b	(*.f64 (+.f64 x x) x)
▶	56.8b	(+.f64 x x)
✓	31.0b	(*.f64 (sqrt.f64 2) (neg.f64 x))
✓	31.9b	(*.f64 (sqrt.f64 2) x)
▶	58.7b	(-.f64 (+.f64 1 (+.f64 x x)) 1)
✓	32.7b	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))

Compiler

Compiled 97 to 71 computations (26.8% saved)

localize13.0ms (0.5%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.4b	(*.f64 (sqrt.f64 2) x)
✓	0.6b	(cbrt.f64 (*.f64 (sqrt.f64 2) x))
✓	0.7b	(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)

Compiler

Compiled 22 to 18 computations (18.2% saved)

series6.0ms (0.2%)

Counts

2 → 0

Calls

6 calls:

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

rewrite54.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

575×	`pow1_binary64`
543×	`add-log-exp_binary64`
542×	`log1p-expm1-u_binary64`
542×	`expm1-log1p-u_binary64`
530×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	168	14
2	1578	14

Stop Event

1×	node limit

Counts

2 → 52

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 (sqrt.f64 2) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 2) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (sqrt.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 2) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) (cbrt.f64 (*.f64 2 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (sqrt.f64 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) (cbrt.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 (*.f64 x x)))) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) (cbrt.f64 (*.f64 2 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 2)) (*.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 2 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 2) (*.f64 (cbrt.f64 (sqrt.f64 2)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) (sqrt.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/6) (*.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/6) (cbrt.f64 (*.f64 2 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 2 1/4) (*.f64 (pow.f64 2 1/4) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 (*.f64 x x)))) 3) (cbrt.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/6) 3) (pow.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/6) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 2) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (cbrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (pow.f64 2 1/4)) (pow.f64 2 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) 1) (cbrt.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) (cbrt.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))))) (cbrt.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) (pow.f64 (*.f64 (sqrt.f64 2) x) 1/6)) (pow.f64 (*.f64 (sqrt.f64 2) x) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 2 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sqrt.f64 2) x)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cbrt.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) (cbrt.f64 (cbrt.f64 (*.f64 2 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 (*.f64 x x)))) (cbrt.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (cbrt.f64 (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/6) (pow.f64 (*.f64 (sqrt.f64 2) x) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (cbrt.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) 1/3) (pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 2) x) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))))))))

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

52 → 52

Calls

Call 1

Inputs

Outputs

localize2.0ms (0.1%)

Compiler: Compiled 5 to 2 computations (60% saved)

localize4.0ms (0.2%)

Compiler: Compiled 11 to 5 computations (54.5% saved)

localize8.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	2.4b	(-.f64 (+.f64 1 (+.f64 x x)) 1)

Compiler

Compiled 18 to 9 computations (50% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite54.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

654×	`pow1_binary64`
621×	`add-log-exp_binary64`
619×	`log1p-expm1-u_binary64`
619×	`expm1-log1p-u_binary64`
611×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	145	4
2	2348	4

Stop Event

1×	node limit

Counts

1 → 93

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (fma.f64 2 x -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (*.f64 (fma.f64 2 x -1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 x x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x x) (-.f64 (+.f64 x x) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x x) (*.f64 (fma.f64 2 x -1) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 2 x 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (fma.f64 2 x 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 2 x -1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 x) (-.f64 x 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 x) (+.f64 x -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (+.f64 x x)) (*.f64 x (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x x) (fma.f64 2 x 1)) (*.f64 (+.f64 x x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x x) x) (*.f64 (+.f64 x x) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (fma.f64 2 x 1) (+.f64 x x)) (*.f64 -1 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x x) (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (+.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (+.f64 (cbrt.f64 x) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (+.f64 (sqrt.f64 x) (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 3) -1) (/.f64 1 (+.f64 (pow.f64 (fma.f64 2 x 1) 2) (+.f64 (+.f64 x x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (pow.f64 x 3)) (/.f64 1 (fma.f64 x x 0)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 2) -1) (/.f64 1 (+.f64 (+.f64 x x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 0 (/.f64 1 0))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 x (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 8 (pow.f64 x 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 2) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 2) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (+.f64 x x) 3/2) (pow.f64 (+.f64 x x) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (hypot.f64 1 (+.f64 x x)) 1) (-.f64 (hypot.f64 1 (+.f64 x x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x x) 2) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 2) (+.f64 (+.f64 x x) 2)) (+.f64 (pow.f64 (fma.f64 2 x 1) 3) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (+.f64 x x) 2) (+.f64 (pow.f64 (fma.f64 2 x 1) 2) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 x x 0) (*.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 3) -1) (+.f64 (pow.f64 (fma.f64 2 x 1) 2) (+.f64 (+.f64 x x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 3) -1) (+.f64 (pow.f64 (fma.f64 2 x 1) 2) (-.f64 1 (*.f64 (fma.f64 2 x 1) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (pow.f64 x 3)) (fma.f64 x x 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 2) -1) (+.f64 (+.f64 x x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 2) -1) (-.f64 (fma.f64 2 x 1) -1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 0 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (pow.f64 x 3)) (*.f64 2 (pow.f64 x 3))) (*.f64 (fma.f64 x x 0) (fma.f64 x x 0)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 2) -1) (+.f64 (pow.f64 (fma.f64 2 x 1) 2) -1)) (*.f64 (+.f64 (+.f64 x x) 2) (+.f64 (+.f64 x x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 3) -1) (+.f64 (pow.f64 (fma.f64 2 x 1) 3) -1)) (*.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 2) (+.f64 (+.f64 x x) 2)) (+.f64 (pow.f64 (fma.f64 2 x 1) 2) (+.f64 (+.f64 x x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (*.f64 2 (pow.f64 x 3))) (cbrt.f64 (fma.f64 x x 0)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 2) -1)) (cbrt.f64 (+.f64 (+.f64 x x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 3) -1)) (cbrt.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 2) (+.f64 (+.f64 x x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (*.f64 2 (pow.f64 x 3))) (sqrt.f64 (fma.f64 x x 0)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 0) (sqrt.f64 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 2) -1)) (sqrt.f64 (+.f64 (+.f64 x x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 3) -1)) (sqrt.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 2) (+.f64 (+.f64 x x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (*.f64 2 (pow.f64 x 3)) 3) (pow.f64 (fma.f64 x x 0) 3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 3) -1)) (neg.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 2) (+.f64 (+.f64 x x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 2) -1)) (neg.f64 (+.f64 (+.f64 x x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 2 (pow.f64 x 3))) (neg.f64 (fma.f64 x x 0)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 2) -1) (+.f64 (pow.f64 (fma.f64 2 x 1) 3) -1)) (*.f64 (+.f64 (+.f64 x x) 2) (+.f64 (pow.f64 (fma.f64 2 x 1) 2) (+.f64 (+.f64 x x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 3) -1) (+.f64 (pow.f64 (fma.f64 2 x 1) 2) -1)) (*.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 2) (+.f64 (+.f64 x x) 2)) (+.f64 (+.f64 x x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 0 (*.f64 2 (pow.f64 x 3))) (*.f64 0 (fma.f64 x x 0)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (pow.f64 x 3)) 0) (*.f64 (fma.f64 x x 0) 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 1 (pow.f64 (fma.f64 2 x -1) 3)) (+.f64 1 (-.f64 (*.f64 (fma.f64 2 x -1) (fma.f64 2 x -1)) (fma.f64 2 x -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (*.f64 (fma.f64 2 x -1) (fma.f64 2 x -1))) (-.f64 1 (fma.f64 2 x -1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 3) -1) (+.f64 x x)) (+.f64 (pow.f64 (fma.f64 2 x 1) 2) (+.f64 (+.f64 x x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 (fma.f64 2 x 1) 2) -1) (+.f64 x x)) (+.f64 (+.f64 x x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (pow.f64 x 3)) (+.f64 x x)) (fma.f64 x x 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 0 (+.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x x) (*.f64 2 (pow.f64 x 3))) (fma.f64 x x 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x x) (+.f64 (pow.f64 (fma.f64 2 x 1) 3) -1)) (+.f64 (pow.f64 (fma.f64 2 x 1) 2) (+.f64 (+.f64 x x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x x) (+.f64 (pow.f64 (fma.f64 2 x 1) 2) -1)) (+.f64 (+.f64 x x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x x) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x x) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x x) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x x) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x hypot.f64 (sqrt.f64 x) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 2 x 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 2 x 1)) 2) (cbrt.f64 (fma.f64 2 x 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (sqrt.f64 x) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (hypot.f64 1 (+.f64 x x)) (hypot.f64 1 (+.f64 x x)) -1)))))

simplify9.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	48
1	5	48

Stop Event

1×

saturated

Counts

105 → 93

Calls

Call 1

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

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

localize10.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 21 to 17 computations (19% saved)

series7.0ms (0.3%)

Counts

2 → 0

Calls

6 calls:

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

rewrite49.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

490×	`pow1_binary64`
471×	`add-sqr-sqrt_binary64`
462×	`*-un-lft-identity_binary64`
454×	`add-log-exp_binary64`
454×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	144	14
2	1322	14

Stop Event

1×	node limit

Counts

2 → 50

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 (sqrt.f64 2) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 2) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (sqrt.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 2) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) (sqrt.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (sqrt.f64 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 2) (*.f64 (cbrt.f64 (sqrt.f64 2)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) (cbrt.f64 (*.f64 2 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x))) (sqrt.f64 (*.f64 (sqrt.f64 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) (cbrt.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/4) (*.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/4) (sqrt.f64 (*.f64 (sqrt.f64 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 2 1/4) (*.f64 (pow.f64 2 1/4) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 2 1/4) (*.f64 (sqrt.f64 x) (sqrt.f64 (*.f64 (sqrt.f64 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) (pow.f64 (*.f64 (sqrt.f64 2) x) 1/4)) (pow.f64 (*.f64 (sqrt.f64 2) x) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 2) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (cbrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (pow.f64 2 1/4)) (pow.f64 2 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) (cbrt.f64 (*.f64 (sqrt.f64 2) x))) (cbrt.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) (pow.f64 2 1/4)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 2 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sqrt.f64 2) x)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (sqrt.f64 (*.f64 (sqrt.f64 2) x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x))) (cbrt.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) (cbrt.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/4) (pow.f64 (*.f64 (sqrt.f64 2) x) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 2 1/4) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (pow.f64 2 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cbrt.f64 (*.f64 2 (*.f64 x x)))) (sqrt.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (sqrt.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) 1/2) (pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 2) x) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x))))))))

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

50 → 50

Calls

Call 1

Inputs

Outputs

eval80.0ms (3%)

Compiler: Compiled 2485 to 1853 computations (25.4% saved)

prune36.0ms (1.3%)

Pruning

13 alts after pruning (5 fresh and 8 done)

	Pruned	Kept	Total
New	220	5	225
Fresh	0	0	0
Picked	1	0	1
Done	1	8	9
Total	222	13	235

Error

0.0b

Counts

235 → 13

Alt Table

Click to see full alt table

Status	Error	Program
▶	60.7b	(.f64 4 (.f64 x x))
✓	58.7b	(-.f64 (+.f64 1 (+.f64 x x)) 1)
✓	60.7b	(*.f64 (+.f64 x x) x)
▶	31.9b	(.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) x))
✓	56.8b	(+.f64 x x)
✓	31.0b	(*.f64 (sqrt.f64 2) (neg.f64 x))
✓	31.9b	(*.f64 (sqrt.f64 2) x)
▶	60.7b	(*.f64 (+.f64 x x) (+.f64 x x))
✓	0.1b	(hypot.f64 x x)
✓	62.3b	(/.f64 1 (+.f64 x x))
✓	32.7b	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
▶	58.7b	(+.f64 (+.f64 1 x) (-.f64 x 1))
▶	31.4b	(pow.f64 (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 3)

Compiler

Compiled 131 to 91 computations (30.5% saved)

localize13.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 2 (.f64 x x))
✓	0.1b	(sqrt.f64 (cbrt.f64 (.f64 2 (.f64 x x))))
✓	0.7b	(pow.f64 (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 3)
✓	30.8b	(cbrt.f64 (.f64 2 (.f64 x x)))

Compiler

Compiled 34 to 19 computations (44.1% saved)

series52.0ms (1.9%)

Counts

4 → 12

Calls

12 calls:

Time	Variable		Point	Expression
45.0ms	x	@	0	(pow.f64 (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 3)
1.0ms	x	@	inf	(pow.f64 (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 3)
1.0ms	x	@	0	(cbrt.f64 (.f64 2 (.f64 x x)))
1.0ms	x	@	-inf	(pow.f64 (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 3)
1.0ms	x	@	inf	(cbrt.f64 (.f64 2 (.f64 x x)))

rewrite62.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

702×	`pow1_binary64`
659×	`add-log-exp_binary64`
658×	`log1p-expm1-u_binary64`
658×	`expm1-log1p-u_binary64`
641×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	39
1	189	30
2	1997	30

Stop Event

1×	node limit

Counts

4 → 90

Calls

Call 1

Inputs
(cbrt.f64 (.f64 2 (.f64 x x)))
(pow.f64 (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 3)
(sqrt.f64 (cbrt.f64 (.f64 2 (.f64 x x))))
(.f64 2 (.f64 x x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (cbrt.f64 (.f64 2 (.f64 x x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 2 (.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 x (sqrt.f64 2))) (cbrt.f64 (.f64 x (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cbrt.f64 (.f64 2 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 2) (cbrt.f64 (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) (cbrt.f64 (cbrt.f64 (.f64 4 (pow.f64 x 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))) (cbrt.f64 (.f64 x (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 4 (pow.f64 x 4)))) (cbrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))) (sqrt.f64 (.f64 x (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 x (sqrt.f64 2))) (sqrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 2 x)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 1 1/3) (cbrt.f64 (.f64 2 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 4 (pow.f64 x 4))) 1/3) (cbrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 2 x) 1/3) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 x (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (.f64 2 (.f64 x x))))) (cbrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 2 (.f64 x x)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 2 (.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x (sqrt.f64 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 4 (pow.f64 x 4))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (cbrt.f64 (.f64 4 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (.f64 2 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (.f64 2 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (.f64 2 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (.f64 2 (*.f64 x x)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 x (sqrt.f64 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 x (sqrt.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 2 (.f64 x x))) (cbrt.f64 (.f64 x (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 x (sqrt.f64 2))) (cbrt.f64 (.f64 2 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x (sqrt.f64 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 x (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 2) (.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 (.f64 x (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))) (cbrt.f64 (.f64 2 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 4 (pow.f64 x 4)))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) (cbrt.f64 (.f64 x (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 2) x)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))) (cbrt.f64 (.f64 2 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 x (sqrt.f64 2))) (sqrt.f64 (.f64 x (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 2 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 1 3/2) (.f64 x (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 2) 3/2) (pow.f64 (cbrt.f64 (.f64 x x)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 4 (pow.f64 x 4)))) 3/2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 2 (.f64 x x))) (cbrt.f64 (cbrt.f64 (.f64 2 (.f64 x x))))) (cbrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 2 (.f64 x x))) (sqrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2))))) (sqrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 x (sqrt.f64 2))) (cbrt.f64 2)) (cbrt.f64 (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 x (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (.f64 4 (pow.f64 x 4))))) (cbrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 2 (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 x (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 x (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 x (sqrt.f64 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 x (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (sqrt.f64 2))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (cbrt.f64 (.f64 x (sqrt.f64 2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 x (sqrt.f64 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cbrt.f64 (.f64 x (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) (cbrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))) (cbrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))) (sqrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cbrt.f64 2)) (sqrt.f64 (cbrt.f64 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cbrt.f64 (cbrt.f64 (.f64 4 (pow.f64 x 4))))) (sqrt.f64 (cbrt.f64 (cbrt.f64 (.f64 2 (.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 1 1/2) (cbrt.f64 (.f64 x (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 2) 1/2) (pow.f64 (cbrt.f64 (.f64 x x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 4 (pow.f64 x 4)))) 1/2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 2 (.f64 x x)) 1/6)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 2 (.f64 x x))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x (sqrt.f64 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (sqrt.f64 2)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (cbrt.f64 (.f64 x (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 x (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (.f64 x (sqrt.f64 2)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 2 (.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 2 (.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 2 (.f64 x x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x (sqrt.f64 2))) 6)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (sqrt.f64 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 2 (.f64 x x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 4 (pow.f64 x 4))) 3/2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 4 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 2) (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 2 (.f64 x x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 2 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 2 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 2 (*.f64 x x))))))))

simplify169.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
558×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
445×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	84
1	11	84
2	22	84
3	43	84
4	105	84
5	329	84
6	1259	84
7	2132	84
8	2296	84
9	2480	84
10	2688	84
11	2984	84
12	3379	84
13	3860	84
14	4426	84
15	5118	84
16	5951	84
17	6343	84
18	6631	84
19	6911	84
20	6985	84
21	7019	84
22	7960	84

Stop Event

1×	node limit

Counts

102 → 92

Calls

Call 1

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

Outputs
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 11 to 5 computations (54.5% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite37.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

422×	`pow1_binary64`
408×	`add-sqr-sqrt_binary64`
401×	`*-un-lft-identity_binary64`
392×	`add-log-exp_binary64`
392×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	102	7
2	1128	7

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

Inputs
(.f64 4 (.f64 x x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 4 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 4) (*.f64 x x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 4) (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 4) (*.f64 x x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 4) (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 4 (*.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 4 (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (*.f64 x 2) 3) 2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 (*.f64 x 2)) 2) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 16 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 4) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (*.f64 x 2) 3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 4 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 4 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 2 (log.f64 (*.f64 x 2))))))))

simplify178.0ms (6.7%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
553×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
445×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	23	84
3	44	84
4	105	84
5	330	84
6	1242	84
7	2121	84
8	2285	84
9	2469	84
10	2677	84
11	2974	84
12	3367	84
13	3848	84
14	4414	84
15	5100	84
16	5933	84
17	6329	84
18	6623	84
19	6895	84
20	6965	84
21	6999	84
22	7940	84

Stop Event

1×	node limit

Counts

26 → 16

Calls

Call 1

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

Outputs
(*.f64 4 (pow.f64 x 2))
(.f64 4 (.f64 x x))
(.f64 x (.f64 4 x))
(*.f64 4 (pow.f64 x 2))
(.f64 4 (.f64 x x))
(.f64 x (.f64 4 x))
(*.f64 4 (pow.f64 x 2))
(.f64 4 (.f64 x x))
(.f64 x (.f64 4 x))
(*.f64 4 (pow.f64 x 2))
(.f64 4 (.f64 x x))
(.f64 x (.f64 4 x))
(*.f64 4 (pow.f64 x 2))
(.f64 4 (.f64 x x))
(.f64 x (.f64 4 x))
(*.f64 4 (pow.f64 x 2))
(.f64 4 (.f64 x x))
(.f64 x (.f64 4 x))
(*.f64 4 (pow.f64 x 2))
(.f64 4 (.f64 x x))
(.f64 x (.f64 4 x))
(*.f64 4 (pow.f64 x 2))
(.f64 4 (.f64 x x))
(.f64 x (.f64 4 x))
(*.f64 4 (pow.f64 x 2))
(.f64 4 (.f64 x x))
(.f64 x (.f64 4 x))
(*.f64 4 (pow.f64 x 2))
(.f64 4 (.f64 x x))
(.f64 x (.f64 4 x))
(*.f64 4 (pow.f64 x 2))
(.f64 4 (.f64 x x))
(.f64 x (.f64 4 x))
(*.f64 4 (pow.f64 x 2))
(.f64 4 (.f64 x x))
(.f64 x (.f64 4 x))

localize4.0ms (0.1%)

Compiler: Compiled 12 to 3 computations (75% saved)

localize7.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	2.4b	(+.f64 (+.f64 1 x) (-.f64 x 1))

Compiler

Compiled 16 to 11 computations (31.3% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(+.f64 (+.f64 1 x) (-.f64 x 1))
0.0ms	x	@	inf	(+.f64 (+.f64 1 x) (-.f64 x 1))
0.0ms	x	@	-inf	(+.f64 (+.f64 1 x) (-.f64 x 1))

rewrite68.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

911×	`pow1_binary64`
858×	`log1p-expm1-u_binary64`
858×	`expm1-log1p-u_binary64`
857×	`add-log-exp_binary64`
843×	`add-exp-log_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	146	10
2	2283	4

Stop Event

1×	node limit

Counts

1 → 46

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 x (-.f64 1 (+.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (+.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (+.f64 1 x) 2) (+.f64 x (-.f64 1 (+.f64 x -1)))) (/.f64 (pow.f64 (+.f64 x -1) 2) (+.f64 x (-.f64 1 (+.f64 x -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 x x)) (pow.f64 (cbrt.f64 (+.f64 x x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 x x)) 2) (cbrt.f64 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 x x)) (sqrt.f64 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (+.f64 1 x) 3) (pow.f64 (+.f64 x -1) 3)) (/.f64 1 (+.f64 (pow.f64 (+.f64 1 x) 2) (-.f64 (pow.f64 (+.f64 x -1) 2) (fma.f64 x x -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (+.f64 1 x) 2) (pow.f64 (+.f64 x -1) 2)) (/.f64 1 (+.f64 x (-.f64 1 (+.f64 x -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 1 x) 2) (-.f64 (pow.f64 (+.f64 x -1) 2) (fma.f64 x x -1))) (+.f64 (pow.f64 (+.f64 1 x) 3) (pow.f64 (+.f64 x -1) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 x (-.f64 1 (+.f64 x -1))) (-.f64 (pow.f64 (+.f64 1 x) 2) (pow.f64 (+.f64 x -1) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 1 x) 3) (pow.f64 (+.f64 x -1) 3)) (+.f64 (pow.f64 (+.f64 1 x) 2) (-.f64 (pow.f64 (+.f64 x -1) 2) (fma.f64 x x -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 1 x) 3) (pow.f64 (+.f64 x -1) 3)) (+.f64 (pow.f64 (+.f64 x -1) 2) (-.f64 (pow.f64 (+.f64 1 x) 2) (fma.f64 x x -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 1 x) 2) (pow.f64 (+.f64 x -1) 2)) (+.f64 x (-.f64 1 (+.f64 x -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 1 x) 3) (pow.f64 (+.f64 x -1) 3))) (neg.f64 (+.f64 (pow.f64 (+.f64 1 x) 2) (-.f64 (pow.f64 (+.f64 x -1) 2) (fma.f64 x x -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 1 x) 2) (pow.f64 (+.f64 x -1) 2))) (neg.f64 (+.f64 x (-.f64 1 (+.f64 x -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (+.f64 1 (pow.f64 x 3)) (fma.f64 x x (+.f64 1 x))) (*.f64 (+.f64 1 (-.f64 (*.f64 x x) x)) (+.f64 (pow.f64 x 3) -1))) (*.f64 (+.f64 1 (-.f64 (*.f64 x x) x)) (fma.f64 x x (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (-.f64 1 (*.f64 x x)) (fma.f64 x x (+.f64 1 x))) (*.f64 (-.f64 1 x) (+.f64 (pow.f64 x 3) -1))) (*.f64 (-.f64 1 x) (fma.f64 x x (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (+.f64 1 (pow.f64 x 3)) (+.f64 1 x)) (*.f64 (+.f64 1 (-.f64 (*.f64 x x) x)) (fma.f64 x x -1))) (*.f64 (+.f64 1 (-.f64 (*.f64 x x) x)) (+.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (-.f64 1 (*.f64 x x)) (+.f64 1 x)) (*.f64 (-.f64 1 x) (fma.f64 x x -1))) (*.f64 (-.f64 1 x) (+.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (+.f64 (pow.f64 x 3) -1) (+.f64 1 (-.f64 (*.f64 x x) x))) (*.f64 (fma.f64 x x (+.f64 1 x)) (+.f64 1 (pow.f64 x 3)))) (*.f64 (fma.f64 x x (+.f64 1 x)) (+.f64 1 (-.f64 (*.f64 x x) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (fma.f64 x x -1) (+.f64 1 (-.f64 (*.f64 x x) x))) (*.f64 (+.f64 1 x) (+.f64 1 (pow.f64 x 3)))) (*.f64 (+.f64 1 x) (+.f64 1 (-.f64 (*.f64 x x) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (+.f64 (pow.f64 x 3) -1) (-.f64 1 x)) (*.f64 (fma.f64 x x (+.f64 1 x)) (-.f64 1 (*.f64 x x)))) (*.f64 (fma.f64 x x (+.f64 1 x)) (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (fma.f64 x x -1) (-.f64 1 x)) (*.f64 (+.f64 1 x) (-.f64 1 (*.f64 x x)))) (*.f64 (+.f64 1 x) (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 x (+.f64 1 x)) 3) 1) (+.f64 (*.f64 (+.f64 x (+.f64 1 x)) (+.f64 x (+.f64 1 x))) (+.f64 1 (*.f64 (+.f64 x (+.f64 1 x)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 1 (pow.f64 (+.f64 x (+.f64 x -1)) 3)) (+.f64 1 (-.f64 (*.f64 (+.f64 x (+.f64 x -1)) (+.f64 x (+.f64 x -1))) (+.f64 x (+.f64 x -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 x (+.f64 1 x)) (+.f64 x (+.f64 1 x))) 1) (+.f64 (+.f64 x (+.f64 1 x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (*.f64 (+.f64 x (+.f64 x -1)) (+.f64 x (+.f64 x -1)))) (-.f64 1 (+.f64 x (+.f64 x -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 x -1) 2) (pow.f64 (+.f64 1 x) 2)) (-.f64 (+.f64 x -1) (+.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 x x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 x x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 x x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 x x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 x x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 1 x) (+.f64 x -1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 x -1) (+.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 x -1)) 2) (cbrt.f64 (+.f64 x -1)) (+.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) (cbrt.f64 (+.f64 1 x)) (+.f64 x -1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 x -1)) (sqrt.f64 (+.f64 x -1)) (+.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (+.f64 1 x)) (+.f64 x -1))))))

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	48
1	5	48

Stop Event

1×

saturated

Counts

58 → 47

Calls

Call 1

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

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

localize12.0ms (0.5%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (pow.f64 2 1/4) x)
✓	0.3b	(.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) x))

Compiler

Compiled 21 to 18 computations (14.3% saved)

series159.0ms (6%)

Counts

2 → 12

Calls

6 calls:

Time	Variable		Point	Expression
157.0ms	x	@	0	(*.f64 (pow.f64 2 1/4) x)
0.0ms	x	@	inf	(*.f64 (pow.f64 2 1/4) x)
0.0ms	x	@	-inf	(*.f64 (pow.f64 2 1/4) x)
0.0ms	x	@	inf	(.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) x))
0.0ms	x	@	0	(.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) x))

rewrite50.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

610×	`pow1_binary64`
566×	`add-log-exp_binary64`
566×	`log1p-expm1-u_binary64`
566×	`expm1-log1p-u_binary64`
554×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	148	13
2	1611	13

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

Inputs
(.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) x))
(*.f64 (pow.f64 2 1/4) x)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (sqrt.f64 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (sqrt.f64 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 2 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (sqrt.f64 2)) x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (sqrt.f64 2))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 (pow.f64 2 1/4) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 2 1/4) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (pow.f64 2 1/4) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (pow.f64 2 1/4) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 x) (pow.f64 2 1/8)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (*.f64 x x) (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (pow.f64 2 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (pow.f64 2 1/4) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (pow.f64 2 1/4) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (pow.f64 2 1/4) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (pow.f64 2 1/4) x)))))))

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	72
1	6	72

Stop Event

1×

saturated

Counts

34 → 23

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 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) x)

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 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) x)

eval59.0ms (2.2%)

Compiler: Compiled 2248 to 1673 computations (25.6% saved)

prune58.0ms (2.2%)

Pruning

18 alts after pruning (8 fresh and 10 done)

	Pruned	Kept	Total
New	170	8	178
Fresh	0	0	0
Picked	0	1	1
Done	3	9	12
Total	173	18	191

Error

0.0b

Counts

191 → 18

Alt Table

Click to see full alt table

Status	Error	Program
✓	31.0b	(*.f64 (sqrt.f64 2) (neg.f64 x))
	56.8b	(-.f64 x (-.f64 1 (+.f64 1 x)))
✓	31.9b	(*.f64 (sqrt.f64 2) x)
	31.1b	(.f64 (pow.f64 2 1/4) (sqrt.f64 (.f64 (*.f64 x x) (sqrt.f64 2))))
	61.1b	(-.f64 (+.f64 1 (.f64 4 (.f64 x x))) 1)
	1.4b	(pow.f64 (sqrt.f64 (.f64 (cbrt.f64 (.f64 2 x)) (cbrt.f64 x))) 3)
✓	62.3b	(/.f64 1 (+.f64 x x))
	60.7b	(/.f64 (-.f64 (*.f64 (+.f64 x (+.f64 1 x)) (+.f64 x (+.f64 1 x))) 1) (+.f64 (+.f64 x (+.f64 1 x)) 1))
✓	58.7b	(-.f64 (+.f64 1 (+.f64 x x)) 1)
✓	60.7b	(*.f64 (+.f64 x x) x)
	58.7b	(-.f64 (+.f64 x (+.f64 1 x)) 1)
✓	31.9b	(.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) x))
✓	56.8b	(+.f64 x x)
	60.7b	(.f64 x (.f64 4 x))
	47.4b	(.f64 (.f64 (cbrt.f64 (.f64 x (sqrt.f64 2))) (cbrt.f64 2)) (cbrt.f64 (.f64 x x)))
✓	0.1b	(hypot.f64 x x)
✓	32.7b	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
✓	31.4b	(pow.f64 (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 3)

Compiler

Compiled 158 to 118 computations (25.3% saved)

regimes102.0ms (3.8%)

Counts

26 → 1

Calls

Call 1

Inputs
(+.f64 x x)
(/.f64 0 0)
(.f64 x (.f64 4 x))
(.f64 4 (.f64 x x))
(/.f64 1 (+.f64 x x))
(*.f64 (+.f64 x x) x)
(-.f64 x (-.f64 1 (+.f64 1 x)))
(-.f64 (+.f64 x (+.f64 1 x)) 1)
(*.f64 (+.f64 x x) (+.f64 x x))
(+.f64 (+.f64 1 x) (-.f64 x 1))
(-.f64 (+.f64 1 (+.f64 x x)) 1)
(-.f64 (+.f64 1 (.f64 4 (.f64 x x))) 1)
(/.f64 (-.f64 (*.f64 (+.f64 x (+.f64 1 x)) (+.f64 x (+.f64 1 x))) 1) (+.f64 (+.f64 x (+.f64 1 x)) 1))
(hypot.f64 x x)
(*.f64 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) (neg.f64 x))
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) x))
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) 2)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(pow.f64 (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 3)
(.f64 (pow.f64 2 1/4) (sqrt.f64 (.f64 (*.f64 x x) (sqrt.f64 2))))
(pow.f64 (sqrt.f64 (.f64 (cbrt.f64 (.f64 2 x)) (cbrt.f64 x))) 3)
(.f64 (.f64 (cbrt.f64 (.f64 x (sqrt.f64 2))) (cbrt.f64 2)) (cbrt.f64 (.f64 x x)))
(/.f64 (sqrt.f64 (*.f64 2 (pow.f64 x 6))) (sqrt.f64 (+.f64 0 (pow.f64 x 4))))

Outputs
(hypot.f64 x x)

Calls

7 calls:

18.0ms	(*.f64 x x)
18.0ms	(*.f64 x x)
14.0ms	x
10.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
10.0ms	(+.f64 (.f64 x x) (.f64 x x))

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
0.1b	1	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
0.1b	1	`(+.f64 (.f64 x x) (.f64 x x))`
0.1b	1	`(+.f64 (.f64 x x) (.f64 x x))`
0.1b	1	`(*.f64 x x)`
0.1b	1	`(*.f64 x x)`

Compiler

Compiled 242 to 149 computations (38.4% saved)

regimes31.0ms (1.2%)

Accuracy

Total -7.2b remaining (-12.7%)

Threshold costs -7.2b (-12.7%)

Counts

13 → 1

Calls

Call 1

Inputs
(+.f64 x x)
(/.f64 0 0)
(.f64 x (.f64 4 x))
(.f64 4 (.f64 x x))
(/.f64 1 (+.f64 x x))
(*.f64 (+.f64 x x) x)
(-.f64 x (-.f64 1 (+.f64 1 x)))
(-.f64 (+.f64 x (+.f64 1 x)) 1)
(*.f64 (+.f64 x x) (+.f64 x x))
(+.f64 (+.f64 1 x) (-.f64 x 1))
(-.f64 (+.f64 1 (+.f64 x x)) 1)
(-.f64 (+.f64 1 (.f64 4 (.f64 x x))) 1)
(/.f64 (-.f64 (*.f64 (+.f64 x (+.f64 1 x)) (+.f64 x (+.f64 1 x))) 1) (+.f64 (+.f64 x (+.f64 1 x)) 1))

Outputs
(+.f64 x x)

Calls

3 calls:

17.0ms	x
5.0ms	(*.f64 x x)
5.0ms	(*.f64 x x)

Results

Error	Segments	Branch
56.8b	1	`x`
56.8b	1	`(*.f64 x x)`
56.8b	1	`(*.f64 x x)`

Compiler

Compiled 102 to 60 computations (41.2% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	8

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(hypot.f64 x x)
(+.f64 x x)

Outputs
(hypot.f64 x x)
(+.f64 x x)

Compiler

Compiled 8 to 4 computations (50% saved)

soundness7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
2×	`associate-r_binary64`
2×	`count-2_binary64`
1×	`associate-l_binary64`
1×	`distribute-rgt-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	4
1	11	4
2	14	4
3	17	4

Stop Event

1×

saturated

Compiler

Compiled 13 to 6 computations (53.8% saved)

end23.0ms (0.9%)

Compiler: Compiled 7 to 3 computations (57.1% saved)

Iter	Nodes	Cost
0	12	100
1	21	100
2	53	100
3	104	100
4	119	100
5	167	100
6	239	100
7	276	100
8	322	100
9	499	100
10	527	100

Iter	Nodes	Cost
0	12	100
1	21	100
2	53	100
3	104	100
4	119	100
5	167	100
6	239	100
7	276	100
8	322	100
9	499	100
10	527	100

Details

analyze3.0ms (0.1%)

sample790.0ms (29.6%)

preprocess14.0ms (0.5%)

simplify30.0ms (1.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize3.0ms (0.1%)

series3.0ms (0.1%)

rewrite78.0ms (2.9%)

simplify13.0ms (0.5%)

eval20.0ms (0.7%)

prune21.0ms (0.8%)

localize6.0ms (0.2%)

series2.0ms (0.1%)

rewrite40.0ms (1.5%)

simplify14.0ms (0.5%)

localize2.0ms (0.1%)

localize4.0ms (0.1%)

localize4.0ms (0.2%)

series1.0ms (0%)

rewrite40.0ms (1.5%)

simplify6.0ms (0.2%)

localize8.0ms (0.3%)

series2.0ms (0.1%)

rewrite40.0ms (1.5%)

simplify18.0ms (0.7%)

eval31.0ms (1.1%)

prune15.0ms (0.5%)

localize13.0ms (0.5%)

series6.0ms (0.2%)

rewrite54.0ms (2%)

simplify7.0ms (0.3%)

localize2.0ms (0.1%)

localize4.0ms (0.2%)

localize8.0ms (0.3%)

series1.0ms (0%)

rewrite54.0ms (2%)

simplify9.0ms (0.3%)

localize10.0ms (0.4%)

series7.0ms (0.3%)

rewrite49.0ms (1.8%)

simplify6.0ms (0.2%)

eval80.0ms (3%)

prune36.0ms (1.3%)

localize13.0ms (0.5%)

series52.0ms (1.9%)

rewrite62.0ms (2.3%)

simplify169.0ms (6.3%)

localize4.0ms (0.1%)

series1.0ms (0%)

rewrite37.0ms (1.4%)

simplify178.0ms (6.7%)

localize4.0ms (0.1%)

localize7.0ms (0.3%)

series1.0ms (0%)

rewrite68.0ms (2.6%)

simplify7.0ms (0.3%)

localize12.0ms (0.5%)

series159.0ms (6%)

rewrite50.0ms (1.9%)

simplify7.0ms (0.3%)

eval59.0ms (2.2%)

prune58.0ms (2.2%)

regimes102.0ms (3.8%)

regimes31.0ms (1.2%)

simplify2.0ms (0.1%)

soundness7.0ms (0.3%)

end23.0ms (0.9%)

Profiling

Iter	Nodes	Cost
0	12	100
1	21	100
2	53	100
3	104	100
4	119	100
5	167	100
6	239	100
7	276	100
8	322	100
9	499	100
10	527	100