Details

analyze3.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
66.7%	50%	25%	0%	25%	0%	0%	4
83.3%	62.5%	12.5%	0%	25%	0%	0%	5
91.7%	68.7%	6.2%	0%	25%	0%	0%	6
95.8%	71.8%	3.1%	0%	25%	0%	0%	7
97.9%	73.4%	1.6%	0%	25%	0%	0%	8
99%	74.2%	0.8%	0%	25%	0%	0%	9
99.5%	74.6%	0.4%	0%	25%	0%	0%	10
99.7%	74.8%	0.2%	0%	25%	0%	0%	11
99.9%	74.9%	0.1%	0%	25%	0%	0%	12

Compiler

Compiled 7 to 5 computations (28.6% saved)

sample771.0ms (28.2%)

Results

759.0ms	8256×	body	256	valid
1.0ms	10×	body	256	infinite

Bogosity

preprocess17.0ms (0.6%)

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 7 to 5 computations (28.6% saved)

simplify8.0ms (0.3%)

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

eval1.0ms (0%)

Compiler: Compiled 11 to 7 computations (36.4% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.2b

Counts

3 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 6 to 4 computations (33.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite47.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

446×	`pow1_binary64`
430×	`add-sqr-sqrt_binary64`
423×	`*-un-lft-identity_binary64`
412×	`add-log-exp_binary64`
412×	`log1p-expm1-u_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 → 14

Calls

Call 1

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

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

Outputs

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

simplify176.0ms (6.4%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	23	84
3	44	84
4	104	84
5	318	84
6	1268	84
7	2140	84
8	2304	84
9	2488	84
10	2696	84
11	2991	84
12	3382	84
13	3863	84
14	4431	84
15	5123	84
16	5958	84
17	6350	84
18	6640	84
19	6918	84
20	6988	84
21	7024	84
22	7965	84

Stop Event

1×	node limit

Counts

26 → 16

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

eval4.0ms (0.1%)

Compiler: Compiled 145 to 103 computations (29% saved)

prune4.0ms (0.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	14	2	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	3	17

Error

0.0b

Counts

17 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 21 to 16 computations (23.8% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 9 computations (25% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

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

rewrite47.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

469×	`pow1_binary64`
458×	`add-sqr-sqrt_binary64`
449×	`*-un-lft-identity_binary64`
435×	`add-log-exp_binary64`
434×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	124	7
2	1267	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 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))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.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 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))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 3 (*.f64 x x))))))))

simplify8.0ms (0.3%)

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

localize12.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 x (.f64 x 3))
✓	0.4b	(pow.f64 (sqrt.f64 (.f64 x (.f64 x 3))) 2)
✓	17.3b	(sqrt.f64 (.f64 x (.f64 x 3)))

Compiler

Compiled 26 to 18 computations (30.8% saved)

series4.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

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

rewrite64.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

590×	`pow1_binary64`
549×	`add-log-exp_binary64`
548×	`log1p-expm1-u_binary64`
548×	`expm1-log1p-u_binary64`
537×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	23
1	167	20
2	1590	20

Stop Event

1×	node limit

Counts

3 → 66

Calls

Call 1

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

Outputs

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

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

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

simplify114.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

696×	`fma-neg_binary64`
617×	`unswap-sqr_binary64`
423×	`fma-def_binary64`
384×	`fabs-mul_binary64`
353×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	368
1	27	248
2	57	248
3	140	248
4	559	248
5	1061	248
6	2257	248
7	2837	248
8	3736	248
9	4466	248
10	5100	248
11	5895	248
12	7312	248

Stop Event

1×	node limit

Counts

102 → 64

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

eval19.0ms (0.7%)

Compiler: Compiled 715 to 547 computations (23.5% saved)

prune17.0ms (0.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	70	5	75
Fresh	0	0	0
Picked	1	0	1
Done	1	1	2
Total	72	6	78

Error

0.0b

Counts

78 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	35.9b	(.f64 (.f64 (.f64 x (sqrt.f64 3)) (sqrt.f64 x)) (sqrt.f64 (.f64 x 3)))
▶	0.2b	(.f64 (.f64 x x) 3)
▶	19.2b	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
✓	0.2b	(.f64 (.f64 x 3) x)
▶	0.6b	(*.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2))
▶	0.5b	(pow.f64 (*.f64 (sqrt.f64 3) x) 2)

Compiler

Compiled 90 to 72 computations (20% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 11 to 5 computations (54.5% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite48.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

431×	`pow1_binary64`
418×	`add-sqr-sqrt_binary64`
410×	`*-un-lft-identity_binary64`
399×	`add-log-exp_binary64`
399×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

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

Outputs

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

simplify184.0ms (6.7%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	23	84
3	44	84
4	104	84
5	318	84
6	1268	84
7	2140	84
8	2304	84
9	2488	84
10	2696	84
11	2991	84
12	3382	84
13	3863	84
14	4431	84
15	5123	84
16	5958	84
17	6350	84
18	6640	84
19	6918	84
20	6988	84
21	7024	84
22	7965	84

Stop Event

1×	node limit

Counts

26 → 16

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

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (pow.f64 x 4) 9)
✓	18.5b	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))

Compiler

Compiled 18 to 14 computations (22.2% saved)

series6.0ms (0.2%)

Counts

2 → 24

Calls

6 calls:

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

rewrite61.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

574×	`pow1_binary64`
538×	`add-log-exp_binary64`
538×	`log1p-expm1-u_binary64`
538×	`expm1-log1p-u_binary64`
525×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	16
1	148	14
2	1556	14

Stop Event

1×	node limit

Counts

2 → 36

Calls

Call 1

Inputs
(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
(*.f64 (pow.f64 x 4) 9)

Outputs

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

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

simplify214.0ms (7.8%)

Algorithm

1×	egg-herbie

Rules

1319×	`sqr-pow_binary64`
659×	`pow-sqr_binary64`
493×	`cube-prod_binary64`
407×	`fabs-mul_binary64`
387×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	168
1	19	168
2	39	168
3	89	168
4	289	168
5	1156	168
6	1907	168
7	2031	168
8	2199	168
9	2398	168
10	2671	168
11	3030	168
12	3483	168
13	4014	168
14	4644	168
15	5395	168
16	5709	168
17	5935	168
18	6133	168
19	6187	168
20	6209	168
21	7043	168
22	7956	168

Stop Event

1×	node limit

Counts

60 → 39

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

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

localize11.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 16 to 13 computations (18.8% saved)

series2.0ms (0.1%)

Counts

2 → 12

Calls

6 calls:

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

rewrite53.0ms (1.9%)

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	1536	13

Stop Event

1×	node limit

Counts

2 → 35

Calls

Call 1

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

Outputs

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

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

simplify185.0ms (6.7%)

Algorithm

1×	egg-herbie

Rules

834×	`sqr-pow_binary64`
691×	`cube-prod_binary64`
685×	`fabs-mul_binary64`
616×	`associate-l_binary64`
573×	`pow-sqr_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	144
1	17	84
2	39	84
3	98	84
4	392	84
5	2115	84
6	2228	84
7	2438	84
8	2634	84
9	2865	84
10	3172	84
11	3826	84
12	4299	84
13	4930	84
14	5640	84
15	6569	84
16	7085	84
17	7469	84
18	7837	84
19	7933	84
20	7965	84

Stop Event

1×	node limit

Counts

47 → 36

Calls

Call 1

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

localize11.0ms (0.4%)

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)

Compiler

Compiled 21 to 18 computations (14.3% saved)

series2.0ms (0.1%)

Counts

2 → 0

Calls

3 calls:

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

rewrite50.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

546×	`pow1_binary64`
528×	`add-sqr-sqrt_binary64`
507×	`add-log-exp_binary64`
506×	`log1p-expm1-u_binary64`
506×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	8
1	170	8
2	1533	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 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))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 3 (*.f64 x x))))))))

simplify8.0ms (0.3%)

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

localize21.0ms (0.8%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 37 to 25 computations (32.4% saved)

series8.0ms (0.3%)

Counts

4 → 24

Calls

12 calls:

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

rewrite74.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

847×	`pow1_binary64`
782×	`add-log-exp_binary64`
782×	`log1p-expm1-u_binary64`
782×	`expm1-log1p-u_binary64`
761×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	42
1	203	28
2	2394	28

Stop Event

1×	node limit

Counts

4 → 75

Calls

Call 1

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

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

simplify81.0ms (3%)

Algorithm

1×	egg-herbie

Rules

949×	`fma-def_binary64`
647×	`distribute-rgt-neg-in_binary64`
635×	`distribute-lft-neg-in_binary64`
549×	`associate-l_binary64`
499×	`unsub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	252
1	38	212
2	109	212
3	448	212
4	2106	212
5	3422	212
6	5008	212
7	7095	212

Stop Event

1×	node limit

Counts

99 → 80

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

eval72.0ms (2.6%)

Compiler: Compiled 1992 to 1441 computations (27.7% saved)

prune31.0ms (1.1%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	182	1	183
Fresh	0	0	0
Picked	1	0	1
Done	1	4	5
Total	184	5	189

Error

0.0b

Counts

189 → 5

Alt Table

Click to see full alt table

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

Compiler

Compiled 36 to 28 computations (22.2% saved)

localize12.0ms (0.5%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (*.f64 (sqrt.f64 3) x) (sqrt.f64 3)) x)
	0.4b	(*.f64 (sqrt.f64 3) x)
✓	0.5b	(.f64 (.f64 (sqrt.f64 3) x) (sqrt.f64 3))

Compiler

Compiled 25 to 20 computations (20% saved)

series2.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite58.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

596×	`pow1_binary64`
551×	`add-log-exp_binary64`
551×	`log1p-expm1-u_binary64`
551×	`expm1-log1p-u_binary64`
539×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	25
1	142	11
2	1586	11

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

Outputs

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

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

simplify147.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

834×	`sqr-pow_binary64`
757×	`associate-l_binary64`
660×	`cube-prod_binary64`
582×	`fabs-mul_binary64`
542×	`associate-r_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	252
1	19	132
2	41	132
3	105	132
4	438	132
5	2497	132
6	2606	132
7	2815	132
8	3011	132
9	3242	132
10	3549	132
11	4164	132
12	4641	132
13	5271	132
14	5981	132
15	6908	132
16	7422	132
17	7814	132

Stop Event

1×	node limit

Counts

46 → 26

Calls

Call 1

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

eval10.0ms (0.4%)

Compiler: Compiled 345 to 257 computations (25.5% saved)

prune7.0ms (0.3%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	38	1	39
Fresh	0	0	0
Picked	1	0	1
Done	0	4	4
Total	39	5	44

Error

0.0b

Counts

44 → 5

Alt Table

Click to see full alt table

Status	Error	Program
	0.6b	(.f64 (.f64 (pow.f64 (sqrt.f64 3) 2) x) x)
✓	19.2b	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
✓	0.2b	(.f64 (.f64 x x) 3)
✓	0.2b	(.f64 (.f64 x 3) x)
✓	0.5b	(pow.f64 (*.f64 (sqrt.f64 3) x) 2)

Compiler

Compiled 35 to 27 computations (22.9% saved)

regimes14.0ms (0.5%)

Accuracy

Total -44.5b remaining (-22769.3%)

Threshold costs -44.5b (-22769.3%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

2 calls:

6.0ms	x
4.0ms	(.f64 (.f64 x 3) x)

Results

Error	Segments	Branch
0.2b	1	`x`
0.2b	1	`(.f64 (.f64 x 3) x)`

Compiler

Compiled 81 to 61 computations (24.7% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	10	14

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 12 to 8 computations (33.3% saved)

soundness0.0ms (0%)

end17.0ms (0.6%)

Compiler: Compiled 11 to 7 computations (36.4% saved)

Details

analyze3.0ms (0.1%)

sample771.0ms (28.2%)

preprocess17.0ms (0.6%)

simplify8.0ms (0.3%)

eval1.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.2%)

series2.0ms (0.1%)

rewrite47.0ms (1.7%)

simplify176.0ms (6.4%)

eval4.0ms (0.1%)

prune4.0ms (0.2%)

localize5.0ms (0.2%)

series1.0ms (0%)

rewrite47.0ms (1.7%)

simplify8.0ms (0.3%)

localize12.0ms (0.4%)

series4.0ms (0.1%)

rewrite64.0ms (2.3%)

simplify114.0ms (4.1%)

eval19.0ms (0.7%)

prune17.0ms (0.6%)

localize4.0ms (0.2%)

series1.0ms (0%)

rewrite48.0ms (1.7%)

simplify184.0ms (6.7%)

localize9.0ms (0.3%)

series6.0ms (0.2%)

rewrite61.0ms (2.2%)

simplify214.0ms (7.8%)

localize11.0ms (0.4%)

series2.0ms (0.1%)

rewrite53.0ms (1.9%)

simplify185.0ms (6.7%)

localize11.0ms (0.4%)

series2.0ms (0.1%)

rewrite50.0ms (1.8%)

simplify8.0ms (0.3%)

localize21.0ms (0.8%)

series8.0ms (0.3%)

rewrite74.0ms (2.7%)

simplify81.0ms (3%)

eval72.0ms (2.6%)

prune31.0ms (1.1%)

localize12.0ms (0.5%)

series2.0ms (0.1%)

rewrite58.0ms (2.1%)

simplify147.0ms (5.4%)

eval10.0ms (0.4%)

prune7.0ms (0.3%)

regimes14.0ms (0.5%)

simplify7.0ms (0.2%)

soundness0.0ms (0%)

end17.0ms (0.6%)

Profiling