Details

analyze6.0ms (0.2%)

Algorithm

1×

Search

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

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample946.0ms (24.8%)

Results

934.0ms	8256×	body	256	valid
0.0ms	2×	body	256	invalid

preprocess141.0ms (3.7%)

Algorithm

2×	egg-herbie

Rules

1104×	`sqr-pow_binary64`
618×	`cube-prod_binary64`
559×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
454×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	12	9
2	23	9
3	44	9
4	105	9
5	327	9
6	1242	9
7	2119	9
8	2283	9
9	2467	9
10	2675	9
11	2968	9
12	3359	9
13	3837	9
14	4400	9
15	5086	9
16	5923	9
17	6319	9
18	6609	9
19	6889	9
20	6961	9
21	6997	9
22	7938	9
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

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

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

Compiler

Compiled 8 to 7 computations (12.5% saved)

simplify128.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1104×	`sqr-pow_binary64`
618×	`cube-prod_binary64`
559×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
454×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	12	9
2	23	9
3	44	9
4	105	9
5	327	9
6	1242	9
7	2119	9
8	2283	9
9	2467	9
10	2675	9
11	2968	9
12	3359	9
13	3837	9
14	4400	9
15	5086	9
16	5923	9
17	6319	9
18	6609	9
19	6889	9
20	6961	9
21	6997	9
22	7938	9

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 13 to 10 computations (23.1% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

26.9b

Counts

3 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize6.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 17 to 8 computations (52.9% saved)

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite37.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

503×	`pow1_binary64`
486×	`add-sqr-sqrt_binary64`
466×	`add-log-exp_binary64`
466×	`log1p-expm1-u_binary64`
466×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	16
1	122	13
2	1363	13

Stop Event

1×	node limit

Counts

2 → 36

Calls

Call 1

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

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

simplify71.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

964×	`fma-def_binary64`
614×	`fma-neg_binary64`
412×	`distribute-rgt-neg-out_binary64`
313×	`distribute-lft-neg-out_binary64`
311×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	164
1	20	164
2	43	164
3	83	164
4	203	164
5	607	164
6	959	164
7	1606	164
8	2009	164
9	2876	164
10	3703	164
11	4514	164
12	5415	164
13	7789	164

Stop Event

1×	node limit

Counts

60 → 40

Calls

Call 1

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

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

eval8.0ms (0.2%)

Compiler: Compiled 313 to 236 computations (24.6% saved)

prune63.0ms (1.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	35	5	40
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	35	6	41

Error

0.1b

Counts

41 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	30.8b	(pow.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) 2)
✓	26.9b	(sqrt.f64 (.f64 2 (.f64 x x)))
▶	27.4b	(sqrt.f64 (pow.f64 (cbrt.f64 (.f64 2 (.f64 x x))) 3))
▶	30.1b	(*.f64 (sqrt.f64 2) x)
▶	30.7b	(.f64 (sqrt.f64 (.f64 2 x)) (sqrt.f64 x))
▶	32.8b	(*.f64 x (neg.f64 (sqrt.f64 2)))

Compiler

Compiled 81 to 65 computations (19.8% saved)

localize14.0ms (0.4%)

Local error

Found 8 expressions with local error:

New	Error	Program
	27.0b	(cbrt.f64 (.f64 2 (.f64 x x)))
	26.0b	(sqrt.f64 (pow.f64 (cbrt.f64 (.f64 2 (.f64 x x))) 3))
	0.4b	(pow.f64 (cbrt.f64 (.f64 2 (.f64 x x))) 3)
	0.0b	(.f64 2 (.f64 x x))
	0.0b	(.f64 2 (.f64 x x))
✓	0.4b	(pow.f64 (cbrt.f64 (.f64 2 (.f64 x x))) 3)
✓	26.0b	(sqrt.f64 (pow.f64 (cbrt.f64 (.f64 2 (.f64 x x))) 3))
✓	27.0b	(cbrt.f64 (.f64 2 (.f64 x x)))

Compiler

Compiled 35 to 20 computations (42.9% saved)

series10.0ms (0.3%)

Counts

3 → 12

Calls

9 calls:

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

rewrite132.0ms (3.5%)

Algorithm

1×	batch-egg-rewrite

Rules

649×	`pow1_binary64`
612×	`add-log-exp_binary64`
611×	`log1p-expm1-u_binary64`
611×	`expm1-log1p-u_binary64`
595×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	189	22
2	1842	22

Stop Event

1×	node limit

Counts

3 → 84

Calls

Call 1

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

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

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

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

96 → 86

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

localize137.0ms (3.6%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.4b	(*.f64 (sqrt.f64 2) x)
✓	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
1.0ms	x	@	-inf	(*.f64 (sqrt.f64 2) x)
0.0ms	x	@	0	(*.f64 (sqrt.f64 2) x)
0.0ms	x	@	inf	(*.f64 (sqrt.f64 2) x)

rewrite33.0ms (0.9%)

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

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

15 → 15

Calls

Call 1

Inputs

Outputs

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 13 to 11 computations (15.4% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite26.0ms (0.7%)

Algorithm

1×	egg-rewrite-iter-limit
1×	batch-egg-rewrite

Rules

61×	`add-sqr-sqrt_binary64`
57×	`add-exp-log_binary64`
57×	`add-log-exp_binary64`
57×	`log1p-expm1-u_binary64`
57×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	iter limit
1×	unsound

Counts

1 → 7

Calls

Call 1

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

Outputs

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

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

19 → 9

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

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite52.0ms (1.4%)

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

simplify105.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

248×	`fma-def_binary64`
23×	`distribute-rgt-in_binary64`
21×	`sub-neg_binary64`
20×	`associate-l_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	118	100
5	166	100
6	238	100
7	275	100
8	321	100
9	498	100
10	526	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))
(neg.f64 (.f64 x (.f64 (sqrt.f64 -1) (sqrt.f64 -2))))
(.f64 x (.f64 (sqrt.f64 -1) (neg.f64 (sqrt.f64 -2))))
(.f64 -1 (.f64 (sqrt.f64 -1) (*.f64 (sqrt.f64 -2) x)))
(neg.f64 (.f64 (.f64 (sqrt.f64 -1) (sqrt.f64 -2)) x))
(neg.f64 (.f64 x (.f64 (sqrt.f64 -1) (sqrt.f64 -2))))
(.f64 x (.f64 (sqrt.f64 -1) (neg.f64 (sqrt.f64 -2))))
(.f64 -1 (.f64 (sqrt.f64 -1) (*.f64 (sqrt.f64 -2) x)))
(neg.f64 (.f64 (.f64 (sqrt.f64 -1) (sqrt.f64 -2)) x))
(neg.f64 (.f64 x (.f64 (sqrt.f64 -1) (sqrt.f64 -2))))
(.f64 x (.f64 (sqrt.f64 -1) (neg.f64 (sqrt.f64 -2))))
(.f64 -1 (.f64 (sqrt.f64 -1) (*.f64 (sqrt.f64 -2) x)))
(neg.f64 (.f64 (.f64 (sqrt.f64 -1) (sqrt.f64 -2)) x))
(neg.f64 (.f64 x (.f64 (sqrt.f64 -1) (sqrt.f64 -2))))
(.f64 x (.f64 (sqrt.f64 -1) (neg.f64 (sqrt.f64 -2))))

localize10.0ms (0.3%)

Local error

Found 6 expressions with local error:

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

Compiler

Compiled 21 to 17 computations (19% saved)

series7.0ms (0.2%)

Counts

3 → 12

Calls

9 calls:

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

rewrite46.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	20
1	144	20
2	1321	20

Stop Event

1×	node limit

Counts

3 → 62

Calls

Call 1

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

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

74 → 55

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)

eval52.0ms (1.4%)

Compiler: Compiled 1947 to 1542 computations (20.8% saved)

prune49.0ms (1.3%)

Pruning

10 alts after pruning (6 fresh and 4 done)

	Pruned	Kept	Total
New	188	6	194
Fresh	0	0	0
Picked	1	0	1
Done	1	4	5
Total	190	10	200

Error

0.1b

Counts

200 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	30.1b	(*.f64 (sqrt.f64 2) x)
▶	27.6b	(sqrt.f64 (pow.f64 (.f64 (cbrt.f64 (.f64 2 x)) (cbrt.f64 x)) 3))
✓	26.9b	(sqrt.f64 (.f64 2 (.f64 x x)))
	30.9b	(.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)))))
▶	30.8b	(.f64 (.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) (sqrt.f64 x)) (pow.f64 2 1/4))
▶	27.4b	(pow.f64 (cbrt.f64 (.f64 2 (.f64 x x))) 3/2)
✓	30.7b	(.f64 (sqrt.f64 (.f64 2 x)) (sqrt.f64 x))
▶	30.1b	(.f64 (.f64 x (pow.f64 2 1/4)) (pow.f64 2 1/4))
▶	27.3b	(sqrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 2)) 3))
✓	32.8b	(*.f64 x (neg.f64 (sqrt.f64 2)))

Compiler

Compiled 174 to 146 computations (16.1% saved)

localize21.0ms (0.5%)

Local error

Found 8 expressions with local error:

New	Error	Program
	26.0b	(sqrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 2)) 3))
	0.4b	(pow.f64 (cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 2)) 3)
	0.4b	(*.f64 x (sqrt.f64 2))
	0.2b	(pow.f64 (*.f64 x (sqrt.f64 2)) 2)
	0.4b	(*.f64 x (sqrt.f64 2))
✓	0.4b	(pow.f64 (cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 2)) 3)
✓	26.0b	(sqrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 2)) 3))
✓	27.0b	(cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 2))

Compiler

Compiled 42 to 36 computations (14.3% saved)

series5.0ms (0.1%)

Counts

3 → 12

Calls

9 calls:

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

rewrite87.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

644×	`pow1_binary64`
607×	`add-log-exp_binary64`
606×	`log1p-expm1-u_binary64`
606×	`expm1-log1p-u_binary64`
588×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	31
1	212	22
2	2026	22

Stop Event

1×	node limit

Counts

3 → 85

Calls

Call 1

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

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

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

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

97 → 87

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

localize14.0ms (0.4%)

Local error

Found 6 expressions with local error:

New	Error	Program
	27.0b	(cbrt.f64 (.f64 2 (.f64 x x)))
	0.4b	(pow.f64 (cbrt.f64 (.f64 2 (.f64 x x))) 3/2)
	0.0b	(.f64 2 (.f64 x x))
	0.0b	(.f64 2 (.f64 x x))
✓	0.4b	(pow.f64 (cbrt.f64 (.f64 2 (.f64 x x))) 3/2)
	27.0b	(cbrt.f64 (.f64 2 (.f64 x x)))

Compiler

Compiled 26 to 14 computations (46.2% saved)

series4.0ms (0.1%)

Counts

1 → 0

Calls

3 calls:

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

rewrite49.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

645×	`pow1_binary64`
606×	`add-log-exp_binary64`
606×	`log1p-expm1-u_binary64`
606×	`expm1-log1p-u_binary64`
591×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	166	6
2	1825	6

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

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

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

20 → 20

Calls

Call 1

Inputs

Outputs

localize40.0ms (1.1%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 21 to 18 computations (14.3% saved)

series40.0ms (1.1%)

Counts

2 → 24

Calls

6 calls:

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

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

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

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

simplify130.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1333×	`sqr-pow_binary64`
715×	`pow-sqr_binary64`
530×	`cube-prod_binary64`
477×	`fabs-mul_binary64`
435×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	156
1	14	156
2	23	156
3	42	156
4	99	156
5	305	156
6	1146	156
7	1839	156
8	1929	156
9	2064	156
10	2223	156
11	2457	156
12	2779	156
13	3200	156
14	3700	156
15	4295	156
16	5015	156
17	5338	156
18	5626	156
19	5850	156
20	6032	156
21	6116	156
22	7056	156

Stop Event

1×	node limit

Counts

46 → 25

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

localize21.0ms (0.6%)

Local error

Found 8 expressions with local error:

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

Compiler

Compiled 39 to 26 computations (33.3% saved)

series12.0ms (0.3%)

Counts

4 → 12

Calls

12 calls:

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

rewrite68.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

805×	`pow1_binary64`
754×	`add-log-exp_binary64`
753×	`log1p-expm1-u_binary64`
753×	`expm1-log1p-u_binary64`
731×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	33
1	208	25
2	2239	25

Stop Event

1×	node limit

Counts

4 → 101

Calls

Call 1

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

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

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

113 → 104

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

localize23.0ms (0.6%)

Local error

Found 8 expressions with local error:

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

Compiler

Compiled 40 to 30 computations (25% saved)

series23.0ms (0.6%)

Counts

2 → 24

Calls

6 calls:

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

rewrite45.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

825×	`pow1_binary64`
765×	`add-log-exp_binary64`
765×	`log1p-expm1-u_binary64`
765×	`expm1-log1p-u_binary64`
745×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	28
1	229	13
2	2524	13

Stop Event

1×	node limit

Counts

2 → 30

Calls

Call 1

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

Outputs

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

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

simplify59.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

852×	`fma-def_binary64`
476×	`distribute-rgt-neg-in_binary64`
371×	`fma-neg_binary64`
331×	`distribute-lft-neg-in_binary64`
232×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	264
1	49	264
2	153	264
3	499	264
4	971	264
5	1808	264
6	2925	264
7	4101	264
8	4892	264
9	5694	264

Stop Event

1×

unsound

Counts

54 → 35

Calls

Call 1

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

Outputs
(*.f64 (sqrt.f64 (sqrt.f64 2)) x)
(*.f64 (sqrt.f64 (sqrt.f64 2)) x)
(*.f64 (sqrt.f64 (sqrt.f64 2)) x)
(*.f64 (sqrt.f64 (sqrt.f64 2)) x)
(*.f64 (sqrt.f64 (sqrt.f64 2)) x)
(*.f64 (sqrt.f64 (sqrt.f64 2)) x)
(*.f64 (sqrt.f64 (sqrt.f64 2)) x)
(*.f64 (sqrt.f64 (sqrt.f64 2)) x)
(.f64 -1 (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (pow.f64 (sqrt.f64 -1) 2) x)))
(*.f64 (sqrt.f64 (sqrt.f64 2)) x)
(.f64 -1 (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (pow.f64 (sqrt.f64 -1) 2) x)))
(*.f64 (sqrt.f64 (sqrt.f64 2)) x)
(.f64 -1 (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (pow.f64 (sqrt.f64 -1) 2) x)))
(*.f64 (sqrt.f64 (sqrt.f64 2)) x)
(.f64 -1 (.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (pow.f64 (sqrt.f64 -1) 2) x)))
(*.f64 (sqrt.f64 (sqrt.f64 2)) x)
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 2 1/4) x))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 x (pow.f64 2 1/4)))
(.f64 x (.f64 (sqrt.f64 (sqrt.f64 2)) (pow.f64 2 1/4)))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 2 1/4) x))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 x (pow.f64 2 1/4)))
(.f64 x (.f64 (sqrt.f64 (sqrt.f64 2)) (pow.f64 2 1/4)))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 2 1/4) x))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 x (pow.f64 2 1/4)))
(.f64 x (.f64 (sqrt.f64 (sqrt.f64 2)) (pow.f64 2 1/4)))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 2 1/4) x))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 x (pow.f64 2 1/4)))
(.f64 x (.f64 (sqrt.f64 (sqrt.f64 2)) (pow.f64 2 1/4)))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 2 1/4) x))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 x (pow.f64 2 1/4)))
(.f64 x (.f64 (sqrt.f64 (sqrt.f64 2)) (pow.f64 2 1/4)))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 2 1/4) x))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 x (pow.f64 2 1/4)))
(.f64 x (.f64 (sqrt.f64 (sqrt.f64 2)) (pow.f64 2 1/4)))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 2 1/4) x))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 x (pow.f64 2 1/4)))
(.f64 x (.f64 (sqrt.f64 (sqrt.f64 2)) (pow.f64 2 1/4)))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 2 1/4) x))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 x (pow.f64 2 1/4)))
(.f64 x (.f64 (sqrt.f64 (sqrt.f64 2)) (pow.f64 2 1/4)))
(.f64 -1 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) x) (pow.f64 2 1/4))))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 x (pow.f64 2 1/4)))
(.f64 x (.f64 (sqrt.f64 (sqrt.f64 2)) (pow.f64 2 1/4)))
(.f64 -1 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) x) (pow.f64 2 1/4))))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 x (pow.f64 2 1/4)))
(.f64 x (.f64 (sqrt.f64 (sqrt.f64 2)) (pow.f64 2 1/4)))
(.f64 -1 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) x) (pow.f64 2 1/4))))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 x (pow.f64 2 1/4)))
(.f64 x (.f64 (sqrt.f64 (sqrt.f64 2)) (pow.f64 2 1/4)))
(.f64 -1 (.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) x) (pow.f64 2 1/4))))
(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 x (pow.f64 2 1/4)))
(.f64 x (.f64 (sqrt.f64 (sqrt.f64 2)) (pow.f64 2 1/4)))

eval229.0ms (6%)

Compiler: Compiled 4124 to 3132 computations (24.1% saved)

prune48.0ms (1.3%)

Pruning

10 alts after pruning (3 fresh and 7 done)

	Pruned	Kept	Total
New	352	3	355
Fresh	1	0	1
Picked	0	1	1
Done	2	6	8
Total	355	10	365

Error

0.0b

Counts

365 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	30.1b	(*.f64 (sqrt.f64 2) x)
✓	30.8b	(.f64 (.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) (sqrt.f64 x)) (pow.f64 2 1/4))
✓	27.4b	(pow.f64 (cbrt.f64 (.f64 2 (.f64 x x))) 3/2)
✓	30.7b	(.f64 (sqrt.f64 (.f64 2 x)) (sqrt.f64 x))
✓	30.1b	(.f64 (.f64 x (pow.f64 2 1/4)) (pow.f64 2 1/4))
▶	27.3b	(pow.f64 (cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 2)) 3/2)
▶	1.5b	(pow.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 2)) 3/2)
✓	26.9b	(sqrt.f64 (.f64 2 (.f64 x x)))
▶	1.3b	(pow.f64 (.f64 (cbrt.f64 (.f64 2 x)) (cbrt.f64 x)) 3/2)
✓	32.8b	(*.f64 x (neg.f64 (sqrt.f64 2)))

Compiler

Compiled 88 to 73 computations (17% saved)

localize21.0ms (0.5%)

Local error

Found 8 expressions with local error:

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

Compiler

Compiled 29 to 19 computations (34.5% saved)

series5.0ms (0.1%)

Counts

2 → 0

Calls

6 calls:

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

rewrite46.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

755×	`pow1_binary64`
706×	`add-log-exp_binary64`
706×	`log1p-expm1-u_binary64`
706×	`expm1-log1p-u_binary64`
685×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	187	18
2	2105	18

Stop Event

1×	node limit

Counts

2 → 28

Calls

Call 1

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

Outputs

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

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

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

28 → 28

Calls

Call 1

Inputs

Outputs

localize28.0ms (0.7%)

Local error

Found 8 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 x)
	0.5b	(pow.f64 (cbrt.f64 x) 2)
	0.4b	(pow.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 2)) 3/2)
	0.3b	(*.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 2))
✓	0.4b	(pow.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 2)) 3/2)
✓	0.5b	(pow.f64 (cbrt.f64 x) 2)
	0.6b	(cbrt.f64 x)
✓	1.0b	(cbrt.f64 2)

Compiler

Compiled 28 to 20 computations (28.6% saved)

series5.0ms (0.1%)

Counts

3 → 0

Calls

6 calls:

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

rewrite50.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

712×	`pow1_binary64`
666×	`add-log-exp_binary64`
666×	`log1p-expm1-u_binary64`
666×	`expm1-log1p-u_binary64`
646×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	187	15
2	2012	15

Stop Event

1×	node limit

Counts

3 → 48

Calls

Call 1

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

Outputs

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

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

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

48 → 48

Calls

Call 1

Inputs

Outputs

localize27.0ms (0.7%)

Local error

Found 8 expressions with local error:

New	Error	Program
	27.0b	(cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 2))
	0.4b	(*.f64 x (sqrt.f64 2))
	0.4b	(pow.f64 (cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 2)) 3/2)
	0.2b	(pow.f64 (*.f64 x (sqrt.f64 2)) 2)
✓	0.2b	(pow.f64 (*.f64 x (sqrt.f64 2)) 2)
✓	0.4b	(pow.f64 (cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 2)) 3/2)
	0.4b	(*.f64 x (sqrt.f64 2))
	27.0b	(cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 2))

Compiler

Compiled 32 to 27 computations (15.6% saved)

series4.0ms (0.1%)

Counts

2 → 12

Calls

6 calls:

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

rewrite44.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

652×	`pow1_binary64`
613×	`add-log-exp_binary64`
613×	`log1p-expm1-u_binary64`
613×	`expm1-log1p-u_binary64`
595×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	190	13
2	2048	13

Stop Event

1×	node limit

Counts

2 → 52

Calls

Call 1

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

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

simplify144.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

861×	`sqr-pow_binary64`
689×	`cube-prod_binary64`
683×	`fabs-mul_binary64`
622×	`associate-l_binary64`
582×	`pow-sqr_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	144
1	16	84
2	39	84
3	98	84
4	386	84
5	2049	84
6	2162	84
7	2357	84
8	2553	84
9	2784	84
10	3087	84
11	3726	84
12	4201	84
13	4825	84
14	5537	84
15	6464	84
16	6980	84
17	7364	84
18	7734	84
19	7834	84
20	7864	84

Stop Event

1×	node limit

Counts

64 → 53

Calls

Call 1

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

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

eval88.0ms (2.3%)

Compiler: Compiled 2544 to 1892 computations (25.6% saved)

prune41.0ms (1.1%)

Pruning

14 alts after pruning (4 fresh and 10 done)

	Pruned	Kept	Total
New	218	4	222
Fresh	0	0	0
Picked	0	1	1
Done	0	9	9
Total	218	14	232

Error

0.0b

Counts

232 → 14

Alt Table

Click to see full alt table

Status	Error	Program
✓	27.4b	(pow.f64 (cbrt.f64 (.f64 2 (.f64 x x))) 3/2)
	2.4b	(pow.f64 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) 2) (cbrt.f64 2)) 3/2)
	1.4b	(pow.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 2 1/3)) 3/2)
✓	30.7b	(.f64 (sqrt.f64 (.f64 2 x)) (sqrt.f64 x))
	2.0b	(pow.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 2 x))) 2) (cbrt.f64 (cbrt.f64 (.f64 2 x)))) (cbrt.f64 x)) 3/2)
	2.0b	(pow.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 2 x))) 3) (cbrt.f64 x)) 3/2)
✓	30.1b	(*.f64 (sqrt.f64 2) x)
✓	30.8b	(.f64 (.f64 (sqrt.f64 (*.f64 x (sqrt.f64 2))) (sqrt.f64 x)) (pow.f64 2 1/4))
✓	30.1b	(.f64 (.f64 x (pow.f64 2 1/4)) (pow.f64 2 1/4))
✓	27.3b	(pow.f64 (cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 2)) 2)) 3/2)
✓	1.5b	(pow.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 2)) 3/2)
✓	26.9b	(sqrt.f64 (.f64 2 (.f64 x x)))
✓	1.3b	(pow.f64 (.f64 (cbrt.f64 (.f64 2 x)) (cbrt.f64 x)) 3/2)
✓	32.8b	(*.f64 x (neg.f64 (sqrt.f64 2)))

Compiler

Compiled 144 to 122 computations (15.3% saved)

regimes13.0ms (0.3%)

Counts

14 → 1

Calls

Call 1

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

Outputs
(pow.f64 (.f64 (cbrt.f64 (.f64 2 x)) (cbrt.f64 x)) 3/2)

Calls

1 calls:

8.0ms

Results

Error	Segments	Branch
1.3b	1	`x`

Compiler

Compiled 133 to 103 computations (22.6% saved)

regimes12.0ms (0.3%)

Counts

6 → 2

Calls

Call 1

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

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

Calls

1 calls:

9.0ms

Results

Error	Segments	Branch
0.4b	2	`x`

Compiler

Compiled 42 to 31 computations (26.2% saved)

bsearch35.0ms (0.9%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
35.0ms	-2.370483120465764e-293	1.0795598252042135e-302

Compiler

Compiled 11 to 9 computations (18.2% saved)

regimes8.0ms (0.2%)

Accuracy

Total -62.1b remaining (-14587.3%)

Threshold costs -62.1b (-14587.3%)

Counts

3 → 2

Calls

Call 1

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

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

Calls

1 calls:

6.0ms

Results

Error	Segments	Branch
0.4b	2	`x`

Compiler

Compiled 18 to 13 computations (27.8% saved)

bsearch41.0ms (1.1%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
41.0ms	-2.370483120465764e-293	1.0795598252042135e-302

Compiler

Compiled 11 to 9 computations (18.2% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-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	21	65
1	32	65
2	39	65
3	44	65
4	47	65
5	48	65

Stop Event

1×

saturated

Calls

Call 1

Inputs
(pow.f64 (.f64 (cbrt.f64 (.f64 2 x)) (cbrt.f64 x)) 3/2)
(if (<=.f64 x -4261401231968304/179769313486231590772930519078902473361797697894230657273430081157732675805500963132708477322407536021120113879871393357658789768814416622492847430639474124377767893424865485276302219601246094119453082952085005768838150682342462881473913110540827237163350510684586298239947245938479716304835356329624224137216) (.f64 x (neg.f64 (sqrt.f64 2))) (.f64 (sqrt.f64 (*.f64 2 x)) (sqrt.f64 x)))
(if (<=.f64 x -4261401231968304/179769313486231590772930519078902473361797697894230657273430081157732675805500963132708477322407536021120113879871393357658789768814416622492847430639474124377767893424865485276302219601246094119453082952085005768838150682342462881473913110540827237163350510684586298239947245938479716304835356329624224137216) (.f64 x (neg.f64 (sqrt.f64 2))) (.f64 (sqrt.f64 2) x))
(*.f64 (sqrt.f64 2) x)

Outputs
(pow.f64 (.f64 (cbrt.f64 (.f64 2 x)) (cbrt.f64 x)) 3/2)
(if (<=.f64 x -4261401231968304/179769313486231590772930519078902473361797697894230657273430081157732675805500963132708477322407536021120113879871393357658789768814416622492847430639474124377767893424865485276302219601246094119453082952085005768838150682342462881473913110540827237163350510684586298239947245938479716304835356329624224137216) (.f64 x (neg.f64 (sqrt.f64 2))) (.f64 (sqrt.f64 (*.f64 2 x)) (sqrt.f64 x)))
(if (<=.f64 x -266337576998019/11235582092889474423308157442431404585112356118389416079589380072358292237843810195794279832650471001320007117491962084853674360550901038905802964414967132773610493339054092829768888725077880882465817684505312860552384417646403930092119569408801702322709406917786643639996702871154982269052209770601514008576) (.f64 x (neg.f64 (sqrt.f64 2))) (.f64 (sqrt.f64 (*.f64 2 x)) (sqrt.f64 x)))
(if (<=.f64 x -266337576998019/11235582092889474423308157442431404585112356118389416079589380072358292237843810195794279832650471001320007117491962084853674360550901038905802964414967132773610493339054092829768888725077880882465817684505312860552384417646403930092119569408801702322709406917786643639996702871154982269052209770601514008576) (.f64 (sqrt.f64 2) (neg.f64 x)) (.f64 (sqrt.f64 (*.f64 2 x)) (sqrt.f64 x)))
(if (<=.f64 x -4261401231968304/179769313486231590772930519078902473361797697894230657273430081157732675805500963132708477322407536021120113879871393357658789768814416622492847430639474124377767893424865485276302219601246094119453082952085005768838150682342462881473913110540827237163350510684586298239947245938479716304835356329624224137216) (.f64 x (neg.f64 (sqrt.f64 2))) (.f64 (sqrt.f64 2) x))
(if (<=.f64 x -266337576998019/11235582092889474423308157442431404585112356118389416079589380072358292237843810195794279832650471001320007117491962084853674360550901038905802964414967132773610493339054092829768888725077880882465817684505312860552384417646403930092119569408801702322709406917786643639996702871154982269052209770601514008576) (.f64 x (neg.f64 (sqrt.f64 2))) (.f64 x (sqrt.f64 2)))
(if (<=.f64 x -266337576998019/11235582092889474423308157442431404585112356118389416079589380072358292237843810195794279832650471001320007117491962084853674360550901038905802964414967132773610493339054092829768888725077880882465817684505312860552384417646403930092119569408801702322709406917786643639996702871154982269052209770601514008576) (.f64 (sqrt.f64 2) (neg.f64 x)) (.f64 x (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) x)
(*.f64 x (sqrt.f64 2))

end44.0ms (1.1%)

Stop Event

1×

fuel

Compiler

Compiled 89 to 68 computations (23.6% saved)

Iter	Nodes	Cost
0	12	100
1	21	100
2	53	100
3	104	100
4	118	100
5	166	100
6	238	100
7	275	100
8	321	100
9	498	100
10	526	100

Iter	Nodes	Cost
0	12	100
1	21	100
2	53	100
3	104	100
4	118	100
5	166	100
6	238	100
7	275	100
8	321	100
9	498	100
10	526	100

Details

analyze6.0ms (0.2%)

sample946.0ms (24.8%)

preprocess141.0ms (3.7%)

simplify128.0ms (3.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series3.0ms (0.1%)

rewrite37.0ms (1%)

simplify71.0ms (1.9%)

eval8.0ms (0.2%)

prune63.0ms (1.6%)

localize14.0ms (0.4%)

series10.0ms (0.3%)

rewrite132.0ms (3.5%)

simplify11.0ms (0.3%)

localize137.0ms (3.6%)

series1.0ms (0%)

rewrite33.0ms (0.9%)

simplify6.0ms (0.2%)

localize7.0ms (0.2%)

series1.0ms (0%)

rewrite26.0ms (0.7%)

simplify12.0ms (0.3%)

localize8.0ms (0.2%)

series2.0ms (0%)

rewrite52.0ms (1.4%)

simplify105.0ms (2.7%)

localize10.0ms (0.3%)

series7.0ms (0.2%)

rewrite46.0ms (1.2%)

simplify7.0ms (0.2%)

eval52.0ms (1.4%)

prune49.0ms (1.3%)

localize21.0ms (0.5%)

series5.0ms (0.1%)

rewrite87.0ms (2.3%)

simplify13.0ms (0.3%)

localize14.0ms (0.4%)

series4.0ms (0.1%)

rewrite49.0ms (1.3%)

simplify6.0ms (0.2%)

localize40.0ms (1.1%)

series40.0ms (1.1%)

rewrite50.0ms (1.3%)

simplify130.0ms (3.4%)

localize21.0ms (0.6%)

series12.0ms (0.3%)

rewrite68.0ms (1.8%)

simplify12.0ms (0.3%)

localize23.0ms (0.6%)

series23.0ms (0.6%)

rewrite45.0ms (1.2%)

simplify59.0ms (1.6%)

eval229.0ms (6%)

prune48.0ms (1.3%)

localize21.0ms (0.5%)

series5.0ms (0.1%)

rewrite46.0ms (1.2%)

simplify6.0ms (0.2%)

localize28.0ms (0.7%)

series5.0ms (0.1%)

rewrite50.0ms (1.3%)

simplify6.0ms (0.2%)

localize27.0ms (0.7%)

series4.0ms (0.1%)

rewrite44.0ms (1.1%)

simplify144.0ms (3.8%)

eval88.0ms (2.3%)

prune41.0ms (1.1%)

regimes13.0ms (0.3%)

regimes12.0ms (0.3%)

bsearch35.0ms (0.9%)

regimes8.0ms (0.2%)

bsearch41.0ms (1.1%)

simplify4.0ms (0.1%)

end44.0ms (1.1%)

Profiling

Iter	Nodes	Cost
0	12	100
1	21	100
2	53	100
3	104	100
4	118	100
5	166	100
6	238	100
7	275	100
8	321	100
9	498	100
10	526	100