Details

analyze4.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
75%	75%	25%	0%	0%	0%	0%	4
87.5%	87.5%	12.5%	0%	0%	0%	0%	5
93.8%	93.7%	6.2%	0%	0%	0%	0%	6
96.9%	96.8%	3.1%	0%	0%	0%	0%	7
98.4%	98.4%	1.6%	0%	0%	0%	0%	8
99.2%	99.2%	0.8%	0%	0%	0%	0%	9
99.6%	99.6%	0.4%	0%	0%	0%	0%	10
99.8%	99.8%	0.2%	0%	0%	0%	0%	11
99.9%	99.9%	0.1%	0%	0%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample1.1s (26.9%)

Results

1.1s	8256×	body	256	valid
0.0ms	3×	body	256	infinite

Bogosity

preprocess15.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`associate-r_binary64`
1×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	10	9
2	11	9
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

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

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

Compiler

Compiled 8 to 6 computations (25% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`associate-r_binary64`
1×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	10	9
2	11	9

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 13 to 9 computations (30.8% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

31.1b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	31.1b	(sqrt.f64 (.f64 (.f64 2 x) x))

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 17 to 11 computations (35.3% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite178.0ms (4.4%)

Algorithm

1×	batch-egg-rewrite

Rules

527×	`pow1_binary64`
508×	`add-sqr-sqrt_binary64`
488×	`add-log-exp_binary64`
488×	`log1p-expm1-u_binary64`
488×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	122	6
2	1374	6

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

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

simplify13.0ms (0.3%)

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

36 → 26

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

Compiler: Compiled 208 to 159 computations (23.6% saved)

prune8.0ms (0.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	21	5	26
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	6	27

Error

0.2b

Counts

27 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	30.1b	(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
▶	33.3b	(*.f64 (sqrt.f64 2) (neg.f64 x))
▶	30.2b	(.f64 (sqrt.f64 (.f64 2 x)) (sqrt.f64 x))
✓	31.1b	(sqrt.f64 (.f64 (.f64 2 x) x))
▶	30.3b	(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) 2)
▶	29.6b	(*.f64 (sqrt.f64 2) x)

Compiler

Compiled 77 to 63 computations (18.2% saved)

localize62.0ms (1.5%)

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	@	-inf	(*.f64 (sqrt.f64 2) x)
0.0ms	x	@	inf	(*.f64 (sqrt.f64 2) x)
0.0ms	x	@	0	(*.f64 (sqrt.f64 2) x)

rewrite88.0ms (2.2%)

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

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

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

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 8 computations (33.3% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite178.0ms (4.4%)

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

simplify14.0ms (0.3%)

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

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 12 computations (36.8% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite45.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

597×	`pow1_binary64`
552×	`add-log-exp_binary64`
552×	`log1p-expm1-u_binary64`
552×	`expm1-log1p-u_binary64`
537×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	142	6
2	1593	6

Stop Event

1×	node limit

Counts

1 → 12

Calls

Call 1

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

simplify19.0ms (0.5%)

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

24 → 15

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

localize12.0ms (0.3%)

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)

series7.0ms (0.2%)

Counts

2 → 0

Calls

6 calls:

Time	Variable		Point	Expression
3.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))

rewrite50.0ms (1.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))))))))

simplify9.0ms (0.2%)

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

localize11.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (*.f64 (sqrt.f64 2) x))
✓	0.2b	(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.2%)

Counts

2 → 0

Calls

6 calls:

Time	Variable		Point	Expression
2.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))

rewrite50.0ms (1.2%)

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

simplify8.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

eval50.0ms (1.2%)

Compiler: Compiled 1702 to 1385 computations (18.6% saved)

prune29.0ms (0.7%)

Pruning

9 alts after pruning (4 fresh and 5 done)

	Pruned	Kept	Total
New	173	4	177
Fresh	0	0	0
Picked	1	0	1
Done	0	5	5
Total	174	9	183

Error

0.1b

Counts

183 → 9

Alt Table

Click to see full alt table

Status	Error	Program
▶	29.6b	(.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) x))
✓	30.2b	(.f64 (sqrt.f64 (.f64 2 x)) (sqrt.f64 x))
✓	30.1b	(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
✓	33.3b	(*.f64 (sqrt.f64 2) (neg.f64 x))
▶	30.0b	(.f64 (.f64 (sqrt.f64 2) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
✓	31.1b	(sqrt.f64 (.f64 (.f64 2 x) x))
✓	29.6b	(*.f64 (sqrt.f64 2) x)
▶	31.3b	(pow.f64 (sqrt.f64 (sqrt.f64 (.f64 2 (.f64 x x)))) 2)
▶	31.6b	(pow.f64 (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 3)

Compiler

Compiled 75 to 60 computations (20% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 28 to 18 computations (35.7% saved)

series11.0ms (0.3%)

Counts

4 → 12

Calls

12 calls:

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

rewrite75.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

650×	`pow1_binary64`
602×	`add-log-exp_binary64`
602×	`log1p-expm1-u_binary64`
602×	`expm1-log1p-u_binary64`
587×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	26
1	163	26
2	1764	26

Stop Event

1×	node limit

Counts

4 → 62

Calls

Call 1

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

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

simplify8.0ms (0.2%)

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

74 → 63

Calls

Call 1

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

localize11.0ms (0.3%)

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)

series48.0ms (1.2%)

Counts

2 → 12

Calls

6 calls:

Time	Variable		Point	Expression
45.0ms	x	@	0	(*.f64 (pow.f64 2 1/4) x)
1.0ms	x	@	inf	(.f64 (pow.f64 2 1/4) (.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	@	0	(.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) x))

rewrite94.0ms (2.3%)

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

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)

localize14.0ms (0.4%)

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)
✓	31.1b	(cbrt.f64 (.f64 2 (.f64 x x)))

Compiler

Compiled 34 to 19 computations (44.1% saved)

series105.0ms (2.6%)

Counts

4 → 12

Calls

12 calls:

Time	Variable		Point	Expression
70.0ms	x	@	0	(pow.f64 (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 3)
28.0ms	x	@	inf	(.f64 2 (.f64 x x))
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)

rewrite68.0ms (1.7%)

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

simplify189.0ms (4.7%)

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

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(.f64 2 (.f64 x x))
✓	0.1b	(sqrt.f64 (sqrt.f64 (.f64 2 (.f64 x x))))
✓	0.5b	(pow.f64 (sqrt.f64 (sqrt.f64 (.f64 2 (.f64 x x)))) 2)
✓	30.2b	(sqrt.f64 (.f64 2 (.f64 x x)))

Compiler

Compiled 33 to 18 computations (45.5% saved)

series4.0ms (0.1%)

Counts

3 → 12

Calls

9 calls:

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

rewrite60.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

570×	`pow1_binary64`
527×	`add-log-exp_binary64`
527×	`log1p-expm1-u_binary64`
527×	`expm1-log1p-u_binary64`
511×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	29
1	165	20
2	1598	20

Stop Event

1×	node limit

Counts

3 → 75

Calls

Call 1

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

simplify14.0ms (0.4%)

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

87 → 54

Calls

Call 1

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

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

eval80.0ms (2%)

Compiler: Compiled 3086 to 2318 computations (24.9% saved)

prune49.0ms (1.2%)

Pruning

13 alts after pruning (6 fresh and 7 done)

	Pruned	Kept	Total
New	261	6	267
Fresh	0	0	0
Picked	1	0	1
Done	1	7	8
Total	263	13	276

Error

0.1b

Counts

276 → 13

Alt Table

Click to see full alt table

Status	Error	Program
✓	29.6b	(.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) x))
✓	30.2b	(.f64 (sqrt.f64 (.f64 2 x)) (sqrt.f64 x))
✓	30.1b	(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
✓	33.3b	(*.f64 (sqrt.f64 2) (neg.f64 x))
✓	29.6b	(*.f64 (sqrt.f64 2) x)
▶	31.3b	(pow.f64 (pow.f64 (.f64 2 (.f64 x x)) 1/4) 2)
	30.2b	(.f64 (pow.f64 (.f64 (cbrt.f64 x) (pow.f64 2 1/4)) 2) (cbrt.f64 x))
✓	31.6b	(pow.f64 (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 3)
▶	34.3b	(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (neg.f64 x))) 2)
✓	31.1b	(sqrt.f64 (.f64 (.f64 2 x) x))
▶	1.3b	(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2)))) 3)
▶	1.3b	(.f64 (.f64 (sqrt.f64 2) (pow.f64 (cbrt.f64 x) 2)) (fabs.f64 (cbrt.f64 x)))
▶	36.5b	(.f64 (sqrt.f64 (.f64 2 (*.f64 x (cbrt.f64 x)))) (cbrt.f64 x))

Compiler

Compiled 180 to 142 computations (21.1% saved)

localize15.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 32 to 19 computations (40.6% saved)

series4.0ms (0.1%)

Counts

1 → 0

Calls

3 calls:

Time

Variable

Point

Expression

2.0ms

-inf

(*.f64 (*.f64 (sqrt.f64 2) (pow.f64 (cbrt.f64 x) 2)) (fabs.f64 (cbrt.f64 x)))

1.0ms

(*.f64 (*.f64 (sqrt.f64 2) (pow.f64 (cbrt.f64 x) 2)) (fabs.f64 (cbrt.f64 x)))

1.0ms

inf

(*.f64 (*.f64 (sqrt.f64 2) (pow.f64 (cbrt.f64 x) 2)) (fabs.f64 (cbrt.f64 x)))

rewrite56.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

677×	`pow1_binary64`
628×	`add-log-exp_binary64`
628×	`log1p-expm1-u_binary64`
628×	`expm1-log1p-u_binary64`
613×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	18
1	184	6
2	2092	6

Stop Event

1×	node limit

Counts

1 → 12

Calls

Call 1

Inputs
(.f64 (.f64 (sqrt.f64 2) (pow.f64 (cbrt.f64 x) 2)) (fabs.f64 (cbrt.f64 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 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 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 cbrt.f64 (*.f64 x (*.f64 (*.f64 2 (*.f64 x x)) (sqrt.f64 2))))))) (#(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

12 → 12

Calls

Call 1

Inputs

Outputs

localize17.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(.f64 2 (.f64 x x))
✓	0.5b	(pow.f64 (pow.f64 (.f64 2 (.f64 x x)) 1/4) 2)
✓	31.0b	(pow.f64 (.f64 2 (.f64 x x)) 1/4)

Compiler

Compiled 28 to 16 computations (42.9% saved)

series19.0ms (0.5%)

Counts

2 → 24

Calls

6 calls:

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

rewrite51.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

665×	`pow1_binary64`
619×	`add-log-exp_binary64`
619×	`log1p-expm1-u_binary64`
619×	`expm1-log1p-u_binary64`
601×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	20
1	176	14
2	1945	14

Stop Event

1×	node limit

Counts

2 → 48

Calls

Call 1

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

Outputs

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

((#(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 (sqrt.f64 (*.f64 x (sqrt.f64 2))) (sqrt.f64 (*.f64 x (sqrt.f64 2))))))) (#(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 (*.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 (cbrt.f64 (*.f64 x (sqrt.f64 2))) (*.f64 (cbrt.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 2) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 2 1/4) (*.f64 (sqrt.f64 x) (sqrt.f64 (*.f64 x (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 2 (*.f64 x x)) 1/8) (*.f64 (pow.f64 (*.f64 2 (*.f64 x x)) 1/8) (sqrt.f64 (*.f64 x (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) (pow.f64 (*.f64 2 (*.f64 x x)) 1/8)) (pow.f64 (*.f64 2 (*.f64 x x)) 1/8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 2 1/4) (pow.f64 2 1/4)) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 2 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cbrt.f64 (*.f64 4 (pow.f64 x 4)))) (sqrt.f64 (cbrt.f64 (*.f64 2 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (*.f64 x (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 4 (pow.f64 x 4))) 1/2) (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 2 x) 1/2) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 2 1/4) 2) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) (cbrt.f64 (*.f64 x (sqrt.f64 2)))) (cbrt.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) (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 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))))))))

simplify53.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

660×	`associate-l_binary64`
648×	`associate-r_binary64`
605×	`unswap-sqr_binary64`
318×	`fma-def_binary64`
227×	`fma-neg_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	28	420
1	72	372
2	180	276
3	494	216
4	1297	180
5	5963	180

Stop Event

1×	node limit

Counts

72 → 54

Calls

Call 1

Inputs
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 2 (log.f64 x)))))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 2 (log.f64 x)))))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 2 (log.f64 x)))))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 2 (log.f64 x)))))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 1 x))))))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 1 x))))))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 1 x))))))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 1 x))))))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 -1 x))))))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 -1 x))))))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 -1 x))))))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 -1 x))))))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 2 (log.f64 x))))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 2 (log.f64 x))))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 2 (log.f64 x))))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 2 (log.f64 x))))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 1 x)))))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 1 x)))))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 1 x)))))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 1 x)))))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 -1 x)))))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 -1 x)))))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 -1 x)))))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 -1 x)))))) 2)

Outputs
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 2 (log.f64 x)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x))))
(pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2)))
(*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2))
(*.f64 (pow.f64 2 1/4) (sqrt.f64 x))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 2 (log.f64 x)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x))))
(pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2)))
(*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2))
(*.f64 (pow.f64 2 1/4) (sqrt.f64 x))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 2 (log.f64 x)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x))))
(pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2)))
(*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2))
(*.f64 (pow.f64 2 1/4) (sqrt.f64 x))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 2 (log.f64 x)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x))))
(pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2)))
(*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2))
(*.f64 (pow.f64 2 1/4) (sqrt.f64 x))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 1 x))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x))))
(pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2)))
(*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2))
(*.f64 (pow.f64 2 1/4) (sqrt.f64 x))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 1 x))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x))))
(pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2)))
(*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2))
(*.f64 (pow.f64 2 1/4) (sqrt.f64 x))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 1 x))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x))))
(pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2)))
(*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2))
(*.f64 (pow.f64 2 1/4) (sqrt.f64 x))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 1 x))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x))))
(pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2)))
(*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2))
(*.f64 (pow.f64 2 1/4) (sqrt.f64 x))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 -1 x))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x))))
(pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2)))
(*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2))
(*.f64 (pow.f64 2 1/4) (sqrt.f64 x))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 -1 x))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x))))
(pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2)))
(*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2))
(*.f64 (pow.f64 2 1/4) (sqrt.f64 x))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 -1 x))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x))))
(pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2)))
(*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2))
(*.f64 (pow.f64 2 1/4) (sqrt.f64 x))
(exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 -1 x))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x))))
(pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2)))
(*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2))
(*.f64 (pow.f64 2 1/4) (sqrt.f64 x))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 2 (log.f64 x))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2))) 2)
(pow.f64 (*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2)) 2)
(sqrt.f64 (.f64 2 (.f64 x x)))
(*.f64 x (sqrt.f64 2))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 2 (log.f64 x))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2))) 2)
(pow.f64 (*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2)) 2)
(sqrt.f64 (.f64 2 (.f64 x x)))
(*.f64 x (sqrt.f64 2))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 2 (log.f64 x))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2))) 2)
(pow.f64 (*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2)) 2)
(sqrt.f64 (.f64 2 (.f64 x x)))
(*.f64 x (sqrt.f64 2))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 2 (log.f64 x))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2))) 2)
(pow.f64 (*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2)) 2)
(sqrt.f64 (.f64 2 (.f64 x x)))
(*.f64 x (sqrt.f64 2))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 1 x)))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2))) 2)
(pow.f64 (*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2)) 2)
(sqrt.f64 (.f64 2 (.f64 x x)))
(*.f64 x (sqrt.f64 2))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 1 x)))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2))) 2)
(pow.f64 (*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2)) 2)
(sqrt.f64 (.f64 2 (.f64 x x)))
(*.f64 x (sqrt.f64 2))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 1 x)))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2))) 2)
(pow.f64 (*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2)) 2)
(sqrt.f64 (.f64 2 (.f64 x x)))
(*.f64 x (sqrt.f64 2))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 1 x)))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2))) 2)
(pow.f64 (*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2)) 2)
(sqrt.f64 (.f64 2 (.f64 x x)))
(*.f64 x (sqrt.f64 2))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 -1 x)))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2))) 2)
(pow.f64 (*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2)) 2)
(sqrt.f64 (.f64 2 (.f64 x x)))
(*.f64 x (sqrt.f64 2))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 -1 x)))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2))) 2)
(pow.f64 (*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2)) 2)
(sqrt.f64 (.f64 2 (.f64 x x)))
(*.f64 x (sqrt.f64 2))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 -1 x)))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2))) 2)
(pow.f64 (*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2)) 2)
(sqrt.f64 (.f64 2 (.f64 x x)))
(*.f64 x (sqrt.f64 2))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 2) (.f64 -2 (log.f64 (/.f64 -1 x)))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 2) (*.f64 2 (log.f64 x)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (fma.f64 2 (log.f64 x) (log.f64 2))) 2)
(pow.f64 (*.f64 (pow.f64 2 1/4) (pow.f64 x 1/2)) 2)
(sqrt.f64 (.f64 2 (.f64 x x)))
(*.f64 x (sqrt.f64 2))

localize12.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 26 to 18 computations (30.8% saved)

series4.0ms (0.1%)

Counts

2 → 0

Calls

6 calls:

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

rewrite54.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

523×	`pow1_binary64`
505×	`add-sqr-sqrt_binary64`
486×	`add-log-exp_binary64`
485×	`log1p-expm1-u_binary64`
485×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	169	14
2	1725	14

Stop Event

1×	node limit

Counts

2 → 55

Calls

Call 1

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

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

55 → 55

Calls

Call 1

Inputs

Outputs

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 x (cbrt.f64 x))
✓	0.4b	(.f64 (sqrt.f64 (.f64 2 (*.f64 x (cbrt.f64 x)))) (cbrt.f64 x))
	0.6b	(cbrt.f64 x)
✓	13.7b	(sqrt.f64 (.f64 2 (.f64 x (cbrt.f64 x))))

Compiler

Compiled 32 to 13 computations (59.4% saved)

series21.0ms (0.5%)

Counts

3 → 12

Calls

9 calls:

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

rewrite55.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

701×	`pow1_binary64`
651×	`add-log-exp_binary64`
651×	`log1p-expm1-u_binary64`
651×	`expm1-log1p-u_binary64`
635×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	33
1	161	23
2	1880	23

Stop Event

1×	node limit

Counts

3 → 50

Calls

Call 1

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

Outputs

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

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

simplify18.0ms (0.4%)

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

62 → 53

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

localize18.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 29 to 24 computations (17.2% saved)

series4.0ms (0.1%)

Counts

3 → 24

Calls

9 calls:

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

rewrite57.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

610×	`pow1_binary64`
576×	`add-log-exp_binary64`
575×	`log1p-expm1-u_binary64`
575×	`expm1-log1p-u_binary64`
563×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	34
1	188	20
2	2061	20

Stop Event

1×	node limit

Counts

3 → 67

Calls

Call 1

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

Outputs

((#(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 (sqrt.f64 2) x)))) (#(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 (*.f64 2 (*.f64 x x))) (cbrt.f64 (*.f64 x (sqrt.f64 2))))))) (#(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 (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 2) (*.f64 (cbrt.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 (pow.f64 (*.f64 x (sqrt.f64 2)) 1/6) (*.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 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 (*.f64 x (sqrt.f64 2))) (sqrt.f64 (*.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 x (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 1/6) 3) (pow.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 1/6) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) 1) (cbrt.f64 (*.f64 x (sqrt.f64 2))))))) (#(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 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 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 (cbrt.f64 (*.f64 2 (*.f64 x x))) (cbrt.f64 x)) (cbrt.f64 (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) (pow.f64 (*.f64 x (sqrt.f64 2)) 1/6)) (pow.f64 (*.f64 x (sqrt.f64 2)) 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 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 x) (cbrt.f64 (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 (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 (sqrt.f64 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 1/6) (pow.f64 (*.f64 x (sqrt.f64 2)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (cbrt.f64 (*.f64 x (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) 1/3) (pow.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fabs.f64 (cbrt.f64 x)) (fabs.f64 (cbrt.f64 (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fabs.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))))) (fabs.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (sqrt.f64 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 (pow.f64 (*.f64 x (sqrt.f64 2)) 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 fabs.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (neg.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 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 x (sqrt.f64 2))) 1)))) (#(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 (*.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 2 (*.f64 x x))) 3/2)))) (#(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 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))))))))

simplify95.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

1513×	`fma-def_binary64`
338×	`sqr-pow_binary64`
335×	`distribute-lft-neg-in_binary64`
334×	`distribute-rgt-neg-in_binary64`
320×	`*-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	18	340
1	48	300
2	99	192
3	271	192
4	1179	192
5	2206	192
6	3229	192
7	4259	192
8	5852	192
9	7907	192

Stop Event

1×	node limit

Counts

91 → 64

Calls

Call 1

Inputs
(pow.f64 (fabs.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/3)) 3)
(pow.f64 (fabs.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/3)) 3)
(pow.f64 (fabs.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/3)) 3)
(pow.f64 (fabs.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/3)) 3)
(pow.f64 (fabs.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/3)) 3)
(pow.f64 (fabs.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/3)) 3)
(pow.f64 (fabs.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/3)) 3)
(pow.f64 (fabs.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/3)) 3)
(pow.f64 (fabs.f64 (.f64 (pow.f64 (.f64 (sqrt.f64 2) (*.f64 -1 x)) 1/3) (cbrt.f64 -1))) 3)
(pow.f64 (fabs.f64 (.f64 (pow.f64 (.f64 (sqrt.f64 2) (*.f64 -1 x)) 1/3) (cbrt.f64 -1))) 3)
(pow.f64 (fabs.f64 (.f64 (pow.f64 (.f64 (sqrt.f64 2) (*.f64 -1 x)) 1/3) (cbrt.f64 -1))) 3)
(pow.f64 (fabs.f64 (.f64 (pow.f64 (.f64 (sqrt.f64 2) (*.f64 -1 x)) 1/3) (cbrt.f64 -1))) 3)
(*.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
(pow.f64 (fabs.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/3)) 3)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/3)) 3)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/3)) 3)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/3)) 3)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/3)) 3)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/3)) 3)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/3)) 3)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 1/3)) 3)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (.f64 (pow.f64 (.f64 (sqrt.f64 2) (*.f64 -1 x)) 1/3) (cbrt.f64 -1))) 3)
(pow.f64 (fabs.f64 (.f64 (cbrt.f64 (.f64 (sqrt.f64 2) (neg.f64 x))) (cbrt.f64 -1))) 3)
(pow.f64 (.f64 (cbrt.f64 (.f64 (sqrt.f64 2) (neg.f64 x))) (fabs.f64 (cbrt.f64 -1))) 3)
(.f64 (.f64 (sqrt.f64 2) (neg.f64 x)) (pow.f64 (fabs.f64 (cbrt.f64 -1)) 3))
(.f64 x (.f64 (neg.f64 (sqrt.f64 2)) (pow.f64 (fabs.f64 (cbrt.f64 -1)) 3)))
(.f64 x (.f64 (sqrt.f64 2) (neg.f64 (pow.f64 (fabs.f64 (cbrt.f64 -1)) 3))))
(.f64 (sqrt.f64 2) (.f64 x (neg.f64 (pow.f64 (fabs.f64 (cbrt.f64 -1)) 3))))
(pow.f64 (fabs.f64 (.f64 (pow.f64 (.f64 (sqrt.f64 2) (*.f64 -1 x)) 1/3) (cbrt.f64 -1))) 3)
(pow.f64 (fabs.f64 (.f64 (cbrt.f64 (.f64 (sqrt.f64 2) (neg.f64 x))) (cbrt.f64 -1))) 3)
(pow.f64 (.f64 (cbrt.f64 (.f64 (sqrt.f64 2) (neg.f64 x))) (fabs.f64 (cbrt.f64 -1))) 3)
(.f64 (.f64 (sqrt.f64 2) (neg.f64 x)) (pow.f64 (fabs.f64 (cbrt.f64 -1)) 3))
(.f64 x (.f64 (neg.f64 (sqrt.f64 2)) (pow.f64 (fabs.f64 (cbrt.f64 -1)) 3)))
(.f64 x (.f64 (sqrt.f64 2) (neg.f64 (pow.f64 (fabs.f64 (cbrt.f64 -1)) 3))))
(.f64 (sqrt.f64 2) (.f64 x (neg.f64 (pow.f64 (fabs.f64 (cbrt.f64 -1)) 3))))
(pow.f64 (fabs.f64 (.f64 (pow.f64 (.f64 (sqrt.f64 2) (*.f64 -1 x)) 1/3) (cbrt.f64 -1))) 3)
(pow.f64 (fabs.f64 (.f64 (cbrt.f64 (.f64 (sqrt.f64 2) (neg.f64 x))) (cbrt.f64 -1))) 3)
(pow.f64 (.f64 (cbrt.f64 (.f64 (sqrt.f64 2) (neg.f64 x))) (fabs.f64 (cbrt.f64 -1))) 3)
(.f64 (.f64 (sqrt.f64 2) (neg.f64 x)) (pow.f64 (fabs.f64 (cbrt.f64 -1)) 3))
(.f64 x (.f64 (neg.f64 (sqrt.f64 2)) (pow.f64 (fabs.f64 (cbrt.f64 -1)) 3)))
(.f64 x (.f64 (sqrt.f64 2) (neg.f64 (pow.f64 (fabs.f64 (cbrt.f64 -1)) 3))))
(.f64 (sqrt.f64 2) (.f64 x (neg.f64 (pow.f64 (fabs.f64 (cbrt.f64 -1)) 3))))
(pow.f64 (fabs.f64 (.f64 (pow.f64 (.f64 (sqrt.f64 2) (*.f64 -1 x)) 1/3) (cbrt.f64 -1))) 3)
(pow.f64 (fabs.f64 (.f64 (cbrt.f64 (.f64 (sqrt.f64 2) (neg.f64 x))) (cbrt.f64 -1))) 3)
(pow.f64 (.f64 (cbrt.f64 (.f64 (sqrt.f64 2) (neg.f64 x))) (fabs.f64 (cbrt.f64 -1))) 3)
(.f64 (.f64 (sqrt.f64 2) (neg.f64 x)) (pow.f64 (fabs.f64 (cbrt.f64 -1)) 3))
(.f64 x (.f64 (neg.f64 (sqrt.f64 2)) (pow.f64 (fabs.f64 (cbrt.f64 -1)) 3)))
(.f64 x (.f64 (sqrt.f64 2) (neg.f64 (pow.f64 (fabs.f64 (cbrt.f64 -1)) 3))))
(.f64 (sqrt.f64 2) (.f64 x (neg.f64 (pow.f64 (fabs.f64 (cbrt.f64 -1)) 3))))
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)

eval105.0ms (2.6%)

Compiler: Compiled 4351 to 3022 computations (30.5% saved)

prune62.0ms (1.5%)

Pruning

16 alts after pruning (7 fresh and 9 done)

	Pruned	Kept	Total
New	371	6	377
Fresh	0	1	1
Picked	0	1	1
Done	3	8	11
Total	374	16	390

Error

0.0b

Counts

390 → 16

Alt Table

Click to see full alt table

Status	Error	Program
✓	29.6b	(.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) x))
✓	30.2b	(.f64 (sqrt.f64 (.f64 2 x)) (sqrt.f64 x))
	1.3b	(pow.f64 (fabs.f64 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 x))) 3)
✓	34.3b	(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (neg.f64 x))) 2)
✓	29.6b	(*.f64 (sqrt.f64 2) x)
	14.3b	(.f64 (sqrt.f64 (.f64 2 (*.f64 x (cbrt.f64 x)))) (fabs.f64 (cbrt.f64 x)))
✓	31.3b	(pow.f64 (pow.f64 (.f64 2 (.f64 x x)) 1/4) 2)
	1.4b	(.f64 (pow.f64 (.f64 (cbrt.f64 x) (pow.f64 2 1/4)) 2) (fabs.f64 (cbrt.f64 x)))
	30.2b	(.f64 (pow.f64 (.f64 (cbrt.f64 x) (pow.f64 2 1/4)) 2) (cbrt.f64 x))
✓	31.6b	(pow.f64 (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 3)
	1.7b	(.f64 (.f64 (sqrt.f64 2) (pow.f64 (cbrt.f64 x) 2)) (fabs.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x)))))
	14.4b	(.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (*.f64 x (cbrt.f64 x)))) (fabs.f64 (cbrt.f64 x)))
✓	31.1b	(sqrt.f64 (.f64 (.f64 2 x) x))
✓	1.3b	(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2)))) 3)
✓	33.3b	(*.f64 (sqrt.f64 2) (neg.f64 x))
	29.7b	(*.f64 (pow.f64 (pow.f64 2 1/4) 2) x)

Compiler

Compiled 161 to 126 computations (21.7% saved)

regimes32.0ms (0.8%)

Counts

22 → 1

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) (neg.f64 x))
(sqrt.f64 (.f64 (.f64 2 x) x))
(*.f64 (pow.f64 (pow.f64 2 1/4) 2) x)
(.f64 (sqrt.f64 (.f64 2 x)) (sqrt.f64 x))
(pow.f64 (pow.f64 (.f64 2 (.f64 x x)) 1/4) 2)
(.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) x))
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) 2)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (neg.f64 x))) 2)
(pow.f64 (sqrt.f64 (sqrt.f64 (.f64 2 (.f64 x x)))) 2)
(pow.f64 (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 3)
(.f64 (sqrt.f64 (.f64 2 (*.f64 x (cbrt.f64 x)))) (cbrt.f64 x))
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2)))) 3)
(.f64 (.f64 (sqrt.f64 2) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
(.f64 (sqrt.f64 (.f64 2 (*.f64 x (cbrt.f64 x)))) (fabs.f64 (cbrt.f64 x)))
(.f64 (pow.f64 (.f64 (cbrt.f64 x) (pow.f64 2 1/4)) 2) (cbrt.f64 x))
(pow.f64 (fabs.f64 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 x))) 3)
(.f64 (.f64 (sqrt.f64 2) (pow.f64 (cbrt.f64 x) 2)) (fabs.f64 (cbrt.f64 x)))
(.f64 (pow.f64 (.f64 (cbrt.f64 x) (pow.f64 2 1/4)) 2) (fabs.f64 (cbrt.f64 x)))
(.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (*.f64 x (cbrt.f64 x)))) (fabs.f64 (cbrt.f64 x)))
(.f64 (.f64 (sqrt.f64 2) (pow.f64 (cbrt.f64 x) 2)) (fabs.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x)))))

Outputs
(.f64 (.f64 (sqrt.f64 2) (pow.f64 (cbrt.f64 x) 2)) (fabs.f64 (cbrt.f64 x)))

Calls

3 calls:

11.0ms	x
8.0ms	(sqrt.f64 (.f64 (.f64 2 x) x))
7.0ms	(.f64 (.f64 2 x) x)

Results

Error	Segments	Branch
1.3b	1	`x`
1.3b	1	`(sqrt.f64 (.f64 (.f64 2 x) x))`
1.3b	1	`(.f64 (.f64 2 x) x)`

Compiler

Compiled 215 to 145 computations (32.6% saved)

regimes52.0ms (1.3%)

Counts

18 → 1

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) (neg.f64 x))
(sqrt.f64 (.f64 (.f64 2 x) x))
(*.f64 (pow.f64 (pow.f64 2 1/4) 2) x)
(.f64 (sqrt.f64 (.f64 2 x)) (sqrt.f64 x))
(pow.f64 (pow.f64 (.f64 2 (.f64 x x)) 1/4) 2)
(.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) x))
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) 2)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (neg.f64 x))) 2)
(pow.f64 (sqrt.f64 (sqrt.f64 (.f64 2 (.f64 x x)))) 2)
(pow.f64 (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 3)
(.f64 (sqrt.f64 (.f64 2 (*.f64 x (cbrt.f64 x)))) (cbrt.f64 x))
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2)))) 3)
(.f64 (.f64 (sqrt.f64 2) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
(.f64 (sqrt.f64 (.f64 2 (*.f64 x (cbrt.f64 x)))) (fabs.f64 (cbrt.f64 x)))
(.f64 (pow.f64 (.f64 (cbrt.f64 x) (pow.f64 2 1/4)) 2) (cbrt.f64 x))
(pow.f64 (fabs.f64 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 x))) 3)

Outputs
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2)))) 3)

Calls

3 calls:

15.0ms	x
7.0ms	(.f64 (.f64 2 x) x)
6.0ms	(sqrt.f64 (.f64 (.f64 2 x) x))

Results

Error	Segments	Branch
1.3b	1	`x`
1.3b	1	`(sqrt.f64 (.f64 (.f64 2 x) x))`
1.3b	1	`(.f64 (.f64 2 x) x)`

Compiler

Compiled 162 to 116 computations (28.4% saved)

regimes92.0ms (2.3%)

Counts

13 → 2

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) (neg.f64 x))
(sqrt.f64 (.f64 (.f64 2 x) x))
(*.f64 (pow.f64 (pow.f64 2 1/4) 2) x)
(.f64 (sqrt.f64 (.f64 2 x)) (sqrt.f64 x))
(pow.f64 (pow.f64 (.f64 2 (.f64 x x)) 1/4) 2)
(.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) x))
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) 3)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) 2)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) (neg.f64 x))) 2)
(pow.f64 (sqrt.f64 (sqrt.f64 (.f64 2 (.f64 x x)))) 2)
(pow.f64 (sqrt.f64 (cbrt.f64 (.f64 2 (.f64 x x)))) 3)
(.f64 (sqrt.f64 (.f64 2 (*.f64 x (cbrt.f64 x)))) (cbrt.f64 x))

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

Calls

3 calls:

29.0ms	x
29.0ms	(.f64 (.f64 2 x) x)
26.0ms	(sqrt.f64 (.f64 (.f64 2 x) x))

Results

Error	Segments	Branch
0.4b	2	`x`
13.1b	3	`(sqrt.f64 (.f64 (.f64 2 x) x))`
13.1b	3	`(.f64 (.f64 2 x) x)`

Compiler

Compiled 113 to 84 computations (25.7% saved)

bsearch28.0ms (0.7%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
28.0ms	-1.7650225425148812e-304	5.536192860620525e-307

Compiler

Compiled 11 to 8 computations (27.3% saved)

regimes57.0ms (1.4%)

Accuracy

Total -62.1b remaining (-14316.8%)

Threshold costs -62.1b (-14316.8%)

Counts

4 → 2

Calls

Call 1

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

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

Calls

3 calls:

22.0ms	(.f64 (.f64 2 x) x)
17.0ms	x
15.0ms	(sqrt.f64 (.f64 (.f64 2 x) x))

Results

Error	Segments	Branch
0.4b	2	`x`
13.1b	3	`(sqrt.f64 (.f64 (.f64 2 x) x))`
13.1b	3	`(.f64 (.f64 2 x) x)`

Compiler

Compiled 38 to 28 computations (26.3% saved)

bsearch31.0ms (0.8%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
31.0ms	-1.7650225425148812e-304	5.536192860620525e-307

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify36.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`
3×	`+-commutative_binary64`
3×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	82
1	37	82
2	44	82
3	49	82
4	52	82
5	53	82

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(.f64 (.f64 (sqrt.f64 2) (pow.f64 (cbrt.f64 x) 2)) (fabs.f64 (cbrt.f64 x)))
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2)))) 3)
(if (<=.f64 x -8721790521074473/49414612623855131433714684257548170666395666446323759364477870612165610246092613987295015552108672972457782681717971658054152523775828485563235693344906862773807964911271084317496803647971976645810490155877135026504396358257981615873560389562783094809768080203212590222737650052546509407272052614415528872877858335227904) (.f64 (sqrt.f64 2) (neg.f64 x)) (.f64 (sqrt.f64 (*.f64 2 x)) (sqrt.f64 x)))
(if (<=.f64 x -8721790521074473/49414612623855131433714684257548170666395666446323759364477870612165610246092613987295015552108672972457782681717971658054152523775828485563235693344906862773807964911271084317496803647971976645810490155877135026504396358257981615873560389562783094809768080203212590222737650052546509407272052614415528872877858335227904) (.f64 (sqrt.f64 2) (neg.f64 x)) (.f64 (sqrt.f64 2) x))
(*.f64 (sqrt.f64 2) x)

Outputs
(.f64 (.f64 (sqrt.f64 2) (pow.f64 (cbrt.f64 x) 2)) (fabs.f64 (cbrt.f64 x)))
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2)))) 3)
(pow.f64 (fabs.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x))) 3)
(if (<=.f64 x -8721790521074473/49414612623855131433714684257548170666395666446323759364477870612165610246092613987295015552108672972457782681717971658054152523775828485563235693344906862773807964911271084317496803647971976645810490155877135026504396358257981615873560389562783094809768080203212590222737650052546509407272052614415528872877858335227904) (.f64 (sqrt.f64 2) (neg.f64 x)) (.f64 (sqrt.f64 (*.f64 2 x)) (sqrt.f64 x)))
(if (<=.f64 x -8721790521074473/49414612623855131433714684257548170666395666446323759364477870612165610246092613987295015552108672972457782681717971658054152523775828485563235693344906862773807964911271084317496803647971976645810490155877135026504396358257981615873560389562783094809768080203212590222737650052546509407272052614415528872877858335227904) (.f64 (sqrt.f64 2) (neg.f64 x)) (.f64 (sqrt.f64 2) x))
(*.f64 (sqrt.f64 2) x)

Compiler

Compiled 57 to 45 computations (21.1% saved)

soundness19.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

Compiler

Compiled 19 to 16 computations (15.8% saved)

end87.0ms (2.2%)

Compiler: Compiled 53 to 40 computations (24.5% 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

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

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