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)

sample909.0ms (21.2%)

Results

895.0ms	8256×	body	256	valid
0.0ms	6×	body	256	infinite

Bogosity

preprocess15.0ms (0.4%)

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)

simplify9.0ms (0.2%)

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

eval0.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.1b

Counts

3 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 6 to 4 computations (33.3% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

series2.0ms (0%)

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)

rewrite50.0ms (1.2%)

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

simplify175.0ms (4.1%)

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)

prune9.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	13	3	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	13	4	17

Error

0.0b

Counts

17 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.8b	(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
▶	0.2b	(*.f64 3 (pow.f64 x 2))
▶	25.1b	(cbrt.f64 (pow.f64 (.f64 x (.f64 x 3)) 3))
✓	0.1b	(.f64 (.f64 x 3) x)

Compiler

Compiled 30 to 23 computations (23.3% saved)

localize13.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 x (.f64 x 3))
✓	0.1b	(pow.f64 (.f64 x (.f64 x 3)) 3)
✓	24.3b	(cbrt.f64 (pow.f64 (.f64 x (.f64 x 3)) 3))

Compiler

Compiled 26 to 18 computations (30.8% saved)

series6.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

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

rewrite64.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

564×	`pow1_binary64`
531×	`add-log-exp_binary64`
531×	`log1p-expm1-u_binary64`
531×	`expm1-log1p-u_binary64`
516×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	24
1	151	24
2	1554	24

Stop Event

1×	node limit

Counts

3 → 70

Calls

Call 1

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

simplify139.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

2322×	`associate-l_binary64`
898×	`sqr-pow_binary64`
477×	`pow-sqr_binary64`
370×	`cube-prod_binary64`
299×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	252
1	20	252
2	42	252
3	120	252
4	530	252
5	858	252
6	979	252
7	1156	252
8	1336	252
9	1565	252
10	1856	252
11	2224	252
12	2609	252
13	3093	252
14	3670	252
15	3898	252
16	4078	252
17	4218	252
18	4312	252
19	4384	252

Stop Event

1×	node limit

Counts

106 → 62

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 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.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))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.f64 27 (pow.f64 x 6))
(*.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))

localize6.0ms (0.1%)

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

rewrite61.0ms (1.4%)

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

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

localize28.0ms (0.6%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.1b	(.f64 x (.f64 x 3))
✓	0.4b	(pow.f64 (cbrt.f64 (.f64 x (.f64 x 3))) 3)
✓	24.4b	(cbrt.f64 (.f64 x (.f64 x 3)))

Compiler

Compiled 25 to 17 computations (32% saved)

series11.0ms (0.2%)

Counts

2 → 0

Calls

6 calls:

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

rewrite184.0ms (4.3%)

Algorithm

1×	batch-egg-rewrite

Rules

554×	`pow1_binary64`
521×	`add-log-exp_binary64`
521×	`log1p-expm1-u_binary64`
521×	`expm1-log1p-u_binary64`
508×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	16
1	149	16
2	1487	16

Stop Event

1×	node limit

Counts

2 → 56

Calls

Call 1

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

Outputs

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

simplify14.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

56 → 56

Calls

Call 1

Inputs

Outputs

eval123.0ms (2.9%)

Compiler: Compiled 1455 to 1061 computations (27.1% saved)

prune42.0ms (1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	123	7	130
Fresh	0	0	0
Picked	1	0	1
Done	2	1	3
Total	126	8	134

Error

0.0b

Counts

134 → 8

Alt Table

Click to see full alt table

Status	Error	Program
▶	29.0b	(.f64 (.f64 (*.f64 x 3) (sqrt.f64 x)) (sqrt.f64 x))
	0.5b	(.f64 (.f64 (.f64 x 3) (cbrt.f64 (.f64 x x))) (cbrt.f64 x))
	0.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 x 3)) 2) (.f64 (cbrt.f64 (.f64 x 3)) x))
▶	0.4b	(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
▶	0.2b	(.f64 (.f64 x x) 3)
▶	28.9b	(.f64 (.f64 x (sqrt.f64 (.f64 x 3))) (sqrt.f64 (.f64 x 3)))
✓	0.1b	(.f64 (.f64 x 3) x)
▶	19.3b	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))

Compiler

Compiled 142 to 104 computations (26.8% saved)

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

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite179.0ms (4.2%)

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

simplify195.0ms (4.6%)

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

localize15.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 18 to 14 computations (22.2% saved)

series33.0ms (0.8%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
28.0ms	x	@	inf	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
2.0ms	x	@	inf	(*.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)
1.0ms	x	@	-inf	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))

rewrite118.0ms (2.8%)

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

simplify217.0ms (5.1%)

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

localize17.0ms (0.4%)

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

Compiler

Compiled 16 to 13 computations (18.8% saved)

series5.0ms (0.1%)

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

rewrite58.0ms (1.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	1536	13

Stop Event

1×	node limit

Counts

2 → 35

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

simplify194.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	216
1	19	156
2	38	156
3	93	156
4	383	156
5	2082	156
6	2195	156
7	2404	156
8	2600	156
9	2829	156
10	3136	156
11	3768	156
12	4243	156
13	4872	156
14	5586	156
15	6511	156
16	7021	156
17	7405	156
18	7777	156
19	7869	156
20	7899	156

Stop Event

1×	node limit

Counts

59 → 37

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

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 23 to 12 computations (47.8% saved)

series5.0ms (0.1%)

Counts

2 → 12

Calls

6 calls:

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

rewrite55.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

637×	`pow1_binary64`
589×	`add-log-exp_binary64`
589×	`log1p-expm1-u_binary64`
589×	`expm1-log1p-u_binary64`
576×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	16
1	143	14
2	1666	14

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

Outputs

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

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

simplify87.0ms (2%)

Algorithm

1×	egg-herbie

Rules

618×	`unswap-sqr_binary64`
510×	`unsub-neg_binary64`
351×	`fma-def_binary64`
292×	`fma-neg_binary64`
287×	`sqr-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	84
1	25	84
2	60	84
3	171	84
4	712	84
5	1159	84
6	2214	84
7	2685	84
8	3275	84
9	4124	84
10	5766	84
11	7436	84

Stop Event

1×	node limit

Counts

34 → 25

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

localize12.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 27 to 19 computations (29.6% saved)

series9.0ms (0.2%)

Counts

3 → 12

Calls

9 calls:

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

rewrite61.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

631×	`pow1_binary64`
584×	`add-log-exp_binary64`
584×	`log1p-expm1-u_binary64`
584×	`expm1-log1p-u_binary64`
571×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	22
1	142	22
2	1643	22

Stop Event

1×	node limit

Counts

3 → 44

Calls

Call 1

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

Outputs

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

simplify120.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

861×	`fma-def_binary64`
480×	`distribute-lft-neg-in_binary64`
477×	`distribute-rgt-neg-in_binary64`
444×	`neg-mul-1_binary64`
361×	`fma-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	144
1	31	84
2	80	84
3	254	84
4	1117	84
5	2323	84
6	2996	84
7	4125	84
8	5532	84
9	6546	84
10	7789	84

Stop Event

1×	node limit

Counts

56 → 47

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

eval68.0ms (1.6%)

Compiler: Compiled 1906 to 1402 computations (26.4% saved)

prune36.0ms (0.8%)

Pruning

10 alts after pruning (4 fresh and 6 done)

	Pruned	Kept	Total
New	183	3	186
Fresh	1	1	2
Picked	0	1	1
Done	0	5	5
Total	184	10	194

Error

0.0b

Counts

194 → 10

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.5b	(*.f64 (pow.f64 (sqrt.f64 3) 2) (pow.f64 x 2))
✓	0.2b	(.f64 (.f64 x x) 3)
✓	29.0b	(.f64 (.f64 (*.f64 x 3) (sqrt.f64 x)) (sqrt.f64 x))
▶	0.4b	(.f64 (.f64 (*.f64 x (sqrt.f64 3)) x) (sqrt.f64 3))
▶	28.9b	(.f64 (pow.f64 (.f64 3 (pow.f64 x 3/2)) 1) (sqrt.f64 x))
✓	19.3b	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
▶	0.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 x 3)) 2) (.f64 (cbrt.f64 (.f64 x 3)) x))
✓	0.4b	(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
✓	28.9b	(.f64 (.f64 x (sqrt.f64 (.f64 x 3))) (sqrt.f64 (.f64 x 3)))
✓	0.1b	(.f64 (.f64 x 3) x)

Compiler

Compiled 92 to 71 computations (22.8% saved)

localize11.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 24 to 18 computations (25% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite64.0ms (1.5%)

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	23
1	142	16
2	1586	16

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

simplify151.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

834×	`sqr-pow_binary64`
749×	`associate-l_binary64`
662×	`cube-prod_binary64`
580×	`fabs-mul_binary64`
543×	`associate-r_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	252
1	19	192
2	41	192
3	107	192
4	447	192
5	2498	192
6	2611	192
7	2820	192
8	3016	192
9	3247	192
10	3552	192
11	4196	192
12	4673	192
13	5299	192
14	6011	192
15	6938	192
16	7452	192
17	7842	192

Stop Event

1×	node limit

Counts

46 → 26

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

localize23.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 36 to 27 computations (25% saved)

series11.0ms (0.3%)

Counts

4 → 12

Calls

12 calls:

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

rewrite86.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

746×	`pow1_binary64`
692×	`add-log-exp_binary64`
691×	`log1p-expm1-u_binary64`
691×	`expm1-log1p-u_binary64`
677×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	31
1	185	31
2	2012	31

Stop Event

1×	node limit

Counts

4 → 68

Calls

Call 1

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

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

simplify174.0ms (4.1%)

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

80 → 70

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

localize10.0ms (0.2%)

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

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

rewrite50.0ms (1.2%)

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

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

12 → 12

Calls

Call 1

Inputs

Outputs

localize20.0ms (0.5%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 32 to 24 computations (25% saved)

series3.0ms (0.1%)

Counts

2 → 12

Calls

6 calls:

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

rewrite58.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

707×	`pow1_binary64`
661×	`add-log-exp_binary64`
661×	`log1p-expm1-u_binary64`
661×	`expm1-log1p-u_binary64`
646×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	190	14
2	1981	14

Stop Event

1×	node limit

Counts

2 → 25

Calls

Call 1

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

simplify102.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

618×	`unswap-sqr_binary64`
550×	`fma-neg_binary64`
386×	`*-commutative_binary64`
352×	`distribute-lft-neg-in_binary64`
348×	`fma-def_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	84
1	24	84
2	60	84
3	173	84
4	740	84
5	1204	84
6	2260	84
7	2683	84
8	3145	84
9	3786	84
10	4588	84
11	5744	84
12	7327	84

Stop Event

1×	node limit

Counts

37 → 28

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

eval53.0ms (1.2%)

Compiler: Compiled 2180 to 1685 computations (22.7% saved)

prune27.0ms (0.6%)

Pruning

10 alts after pruning (3 fresh and 7 done)

	Pruned	Kept	Total
New	169	3	172
Fresh	0	0	0
Picked	0	1	1
Done	3	6	9
Total	172	10	182

Error

Counts

182 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	29.0b	(.f64 (.f64 (*.f64 x 3) (sqrt.f64 x)) (sqrt.f64 x))
✓	0.4b	(.f64 (.f64 (*.f64 x (sqrt.f64 3)) x) (sqrt.f64 3))
	0.8b	(.f64 (cbrt.f64 (.f64 (.f64 x x) 9)) (.f64 (cbrt.f64 (*.f64 x 3)) x))
	0.4b	(.f64 (.f64 (sqrt.f64 3) (*.f64 x x)) (sqrt.f64 3))
✓	28.9b	(.f64 (pow.f64 (.f64 3 (pow.f64 x 3/2)) 1) (sqrt.f64 x))
✓	19.3b	(sqrt.f64 (*.f64 (pow.f64 x 4) 9))
✓	0.4b	(pow.f64 (*.f64 x (sqrt.f64 3)) 2)
✓	0.2b	(.f64 (.f64 x x) 3)
✓	0.1b	(.f64 (.f64 x 3) x)
	0.8b	(.f64 (pow.f64 (cbrt.f64 (.f64 x (*.f64 x (sqrt.f64 3)))) 3) (sqrt.f64 3))

Compiler

Compiled 94 to 72 computations (23.4% saved)

regimes20.0ms (0.5%)

Accuracy

Total -43.5b remaining (-32775.9%)

Threshold costs -43.5b (-32775.9%)

Counts

17 → 1

Calls

Call 1

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

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

Calls

2 calls:

9.0ms	x
5.0ms	(.f64 (.f64 x 3) x)

Results

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

Compiler

Compiled 157 to 112 computations (28.7% saved)

simplify3.0ms (0.1%)

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

end16.0ms (0.4%)

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

Details

analyze3.0ms (0.1%)

sample909.0ms (21.2%)

preprocess15.0ms (0.4%)

simplify9.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite50.0ms (1.2%)

simplify175.0ms (4.1%)

eval4.0ms (0.1%)

prune9.0ms (0.2%)

localize13.0ms (0.3%)

series6.0ms (0.1%)

rewrite64.0ms (1.5%)

simplify139.0ms (3.3%)

localize6.0ms (0.1%)

series1.0ms (0%)

rewrite61.0ms (1.4%)

simplify12.0ms (0.3%)

localize28.0ms (0.6%)

series11.0ms (0.2%)

rewrite184.0ms (4.3%)

simplify14.0ms (0.3%)

eval123.0ms (2.9%)

prune42.0ms (1%)

localize9.0ms (0.2%)

series2.0ms (0%)

rewrite179.0ms (4.2%)

simplify195.0ms (4.6%)

localize15.0ms (0.4%)

series33.0ms (0.8%)

rewrite118.0ms (2.8%)

simplify217.0ms (5.1%)

localize17.0ms (0.4%)

series5.0ms (0.1%)

rewrite58.0ms (1.4%)

simplify194.0ms (4.5%)

localize11.0ms (0.2%)

series5.0ms (0.1%)

rewrite55.0ms (1.3%)

simplify87.0ms (2%)

localize12.0ms (0.3%)

series9.0ms (0.2%)

rewrite61.0ms (1.4%)

simplify120.0ms (2.8%)

eval68.0ms (1.6%)

prune36.0ms (0.8%)

localize11.0ms (0.3%)

series2.0ms (0%)

rewrite64.0ms (1.5%)

simplify151.0ms (3.5%)

localize23.0ms (0.5%)

series11.0ms (0.3%)

rewrite86.0ms (2%)

simplify174.0ms (4.1%)

localize10.0ms (0.2%)

series2.0ms (0%)

rewrite50.0ms (1.2%)

simplify7.0ms (0.2%)

localize20.0ms (0.5%)

series3.0ms (0.1%)

rewrite58.0ms (1.4%)

simplify102.0ms (2.4%)

eval53.0ms (1.2%)

prune27.0ms (0.6%)

regimes20.0ms (0.5%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end16.0ms (0.4%)

Profiling