Details

analyze4.0ms (0.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
62.5%	12.5%	25%	5
68.7%	6.2%	25%	6
71.8%	3.1%	25%	7
73.4%	1.6%	25%	8
74.2%	0.8%	25%	9
74.6%	0.4%	25%	10
74.8%	0.2%	25%	11
74.9%	0.1%	25%	12
74.9%	0%	25.1%	13
74.9%	0%	25.1%	14

Compiler

Compiled 7 to 5 computations (28.6% saved)

sample576.0ms (56.2%)

Results

563.0ms	8256×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 14 to 10 computations (28.6% saved)

preprocess16.0ms (1.5%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	8	7
2	11	7
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(.f64 (.f64 x 3) x)

Outputs
(.f64 (.f64 x 3) x)
(.f64 x (.f64 x 3))

Compiler

Compiled 6 to 4 computations (33.3% saved)

simplify6.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	8	7
2	11	7

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 (.f64 x 3) x)

Outputs
(.f64 (.f64 x 3) x)
(.f64 x (.f64 x 3))

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.2b	(.f64 (.f64 x 3) x)

Compiler

Compiled 23 to 15 computations (34.8% saved)

localize3.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x 3) x)

series4.0ms (0.4%)

Counts

1 → 12

Calls

3 calls:

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

rewrite29.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

446×	`pow1_binary64`
412×	`add-log-exp_binary64`
412×	`log1p-expm1-u_binary64`
412×	`expm1-log1p-u_binary64`
404×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	101	7
2	1132	7

Stop Event

1×	node limit

Counts

1 → 13

Calls

Call 1

Inputs
(.f64 (.f64 x 3) x)

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

Outputs

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

simplify54.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

609×	`sqr-pow_binary64`
451×	`associate-l_binary64`
434×	`unswap-sqr_binary64`
281×	`cube-prod_binary64`
271×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	23	84
3	44	84
4	106	84
5	315	84
6	1235	84
7	2116	84
8	2280	84
9	2464	84
10	2672	84
11	2963	84
12	3356	84
13	3834	84
14	4395	84

Stop Event

1×	node limit

Counts

25 → 15

Calls

Call 1

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

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

prune11.0ms (1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	11	4	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	11	5	16

Error

0.0b

Counts

16 → 5

Alt Table

Status	Error	Program
	29.7b	(cbrt.f64 (pow.f64 (.f64 x (.f64 x 3)) 3))
	0.4b	(pow.f64 (sqrt.f64 (.f64 x (.f64 x 3))) 2)
	0.9b	(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
▶	0.2b	(*.f64 3 (pow.f64 x 2))
✓	0.2b	(.f64 (.f64 x 3) x)

Compiler

Compiled 188 to 143 computations (23.9% saved)

localize3.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 3 (pow.f64 x 2))

series1.0ms (0.1%)

Counts

1 → 0

Calls

3 calls:

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

rewrite32.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

469×	`pow1_binary64`
435×	`add-log-exp_binary64`
434×	`log1p-expm1-u_binary64`
434×	`expm1-log1p-u_binary64`
426×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	124	7
2	1265	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify6.0ms (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

11 → 11

Calls

Call 1

Inputs

Outputs

prune9.0ms (0.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	9	2	11
Fresh	2	1	3
Picked	0	1	1
Done	0	1	1
Total	11	5	16

Error

0.0b

Counts

16 → 5

Alt Table

Status	Error	Program
	0.9b	(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
✓	0.2b	(*.f64 3 (pow.f64 x 2))
	22.6b	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
▶	0.4b	(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
✓	0.2b	(.f64 (.f64 x 3) x)

Compiler

Compiled 140 to 101 computations (27.9% saved)

localize5.0ms (0.5%)

Local error

Found 2 expressions with local error:

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

series4.0ms (0.4%)

Counts

2 → 24

Calls

6 calls:

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

rewrite35.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

550×	`pow1_binary64`
511×	`add-log-exp_binary64`
510×	`log1p-expm1-u_binary64`
510×	`expm1-log1p-u_binary64`
498×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	15
1	147	13
2	1535	13

Stop Event

1×	node limit

Counts

2 → 37

Calls

Call 1

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

Outputs

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

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

simplify70.0ms (6.9%)

Algorithm

1×	egg-herbie

Rules

642×	`associate-l_binary64`
538×	`sqr-pow_binary64`
458×	`associate-r_binary64`
453×	`*-commutative_binary64`
328×	`cube-prod_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	216
1	19	156
2	38	156
3	95	156
4	384	156
5	2092	156
6	2205	156
7	2403	156
8	2599	156
9	2830	156
10	3137	156
11	3768	156
12	4243	156
13	4862	156

Stop Event

1×	node limit

Counts

61 → 40

Calls

Call 1

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

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

prune25.0ms (2.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	39	1	40
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	39	6	45

Error

Counts

45 → 6

Alt Table

Status	Error	Program
▶	0.6b	(*.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2))
	0.9b	(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
✓	0.2b	(*.f64 3 (pow.f64 x 2))
	22.6b	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
✓	0.4b	(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
✓	0.2b	(.f64 (.f64 x 3) x)

Compiler

Compiled 437 to 338 computations (22.7% saved)

localize5.0ms (0.5%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2))
✓	1.0b	(pow.f64 (sqrt.f64 3) 2)

series2.0ms (0.2%)

Counts

2 → 0

Calls

3 calls:

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

rewrite33.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

546×	`pow1_binary64`
507×	`add-log-exp_binary64`
506×	`log1p-expm1-u_binary64`
506×	`expm1-log1p-u_binary64`
493×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	8
1	170	8
2	1530	8

Stop Event

1×	node limit

Counts

2 → 12

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x . 3)))))

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

simplify6.0ms (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

12 → 12

Calls

Call 1

Inputs

Outputs

prune8.0ms (0.8%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	12	0	12
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	12	6	18

Error

Counts

18 → 6

Alt Table

Status	Error	Program
✓	0.6b	(*.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2))
	0.9b	(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
✓	0.2b	(*.f64 3 (pow.f64 x 2))
	22.6b	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
✓	0.4b	(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
✓	0.2b	(.f64 (.f64 x 3) x)

Compiler

Compiled 131 to 94 computations (28.2% saved)

regimes12.0ms (1.1%)

Accuracy

Total 0.2b remaining (93.3%)

Threshold costs 0.2b (93.3%)

Counts

8 → 1

Compiler

Compiled 63 to 48 computations (23.8% saved)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7

Stop Event

1×

saturated

Calls

Call 1

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

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

end66.0ms (6.4%)

Stop Event

1×

fuel

Compiler

Compiled 56 to 46 computations (17.9% saved)

Details

analyze4.0ms (0.4%)

sample576.0ms (56.2%)

preprocess16.0ms (1.5%)

simplify6.0ms (0.6%)

prune1.0ms (0.1%)

localize3.0ms (0.3%)

series4.0ms (0.4%)

rewrite29.0ms (2.9%)

simplify54.0ms (5.3%)

prune11.0ms (1%)

localize3.0ms (0.3%)

series1.0ms (0.1%)

rewrite32.0ms (3.2%)

simplify6.0ms (0.6%)

prune9.0ms (0.8%)

localize5.0ms (0.5%)

series4.0ms (0.4%)

rewrite35.0ms (3.4%)

simplify70.0ms (6.9%)

prune25.0ms (2.4%)

localize5.0ms (0.5%)

series2.0ms (0.2%)

rewrite33.0ms (3.2%)

simplify6.0ms (0.6%)

prune8.0ms (0.8%)

regimes12.0ms (1.1%)

simplify2.0ms (0.2%)

end66.0ms (6.4%)

Profiling