Details

analyze4.0ms (0.1%)

Algorithm

1×

Search

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

Compiler

Compiled 8 to 6 computations (25% saved)

sample958.0ms (27%)

Results

932.0ms	8256×	body	256	valid
1.0ms	6×	body	256	invalid

preprocess13.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

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

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

Compiler

Compiled 8 to 6 computations (25% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval0.0ms (0%)

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

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

27.4b

Counts

3 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 17 to 11 computations (35.3% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite43.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

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

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

Outputs

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

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

38×	`fma-def_binary64`
9×	`sub-neg_binary64`
6×	`+-commutative_binary64`
4×	`*-commutative_binary64`
4×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	80
1	12	80
2	25	80
3	29	80
4	33	80
5	51	80
6	73	80
7	84	80
8	96	80
9	121	80

Stop Event

1×

saturated

Counts

36 → 26

Calls

Call 1

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

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

eval5.0ms (0.2%)

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

prune8.0ms (0.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	20	6	26
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	20	7	27

Error

0.1b

Counts

27 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	49.8b	(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 3))
	33.1b	(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 2) x)) 2)
▶	30.8b	(*.f64 (sqrt.f64 2) (neg.f64 x))
✓	27.4b	(sqrt.f64 (.f64 (.f64 2 x) x))
▶	32.3b	(*.f64 (sqrt.f64 2) x)
▶	27.8b	(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 2 (.f64 x x))) 2)) (sqrt.f64 (cbrt.f64 (.f64 2 (*.f64 x x)))))
▶	32.9b	(.f64 (sqrt.f64 (.f64 2 x)) (sqrt.f64 x))

Compiler

Compiled 113 to 89 computations (21.2% saved)

localize24.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 58 to 34 computations (41.4% saved)

series53.0ms (1.5%)

Counts

4 → 12

Calls

12 calls:

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

rewrite63.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

681×	`pow1_binary64`
632×	`add-log-exp_binary64`
632×	`log1p-expm1-u_binary64`
632×	`expm1-log1p-u_binary64`
613×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	39
1	206	33
2	1918	33

Stop Event

1×	node limit

Counts

4 → 91

Calls

Call 1

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

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

simplify12.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

38×	`fma-def_binary64`
9×	`sub-neg_binary64`
6×	`+-commutative_binary64`
4×	`*-commutative_binary64`
4×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	80
1	12	80
2	25	80
3	29	80
4	33	80
5	51	80
6	73	80
7	84	80
8	96	80
9	121	80

Stop Event

1×

saturated

Counts

103 → 66

Calls

Call 1

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

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

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

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

rewrite37.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

417×	`pow1_binary64`
403×	`add-sqr-sqrt_binary64`
395×	`*-un-lft-identity_binary64`
386×	`add-log-exp_binary64`
386×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	100	6
2	1075	6

Stop Event

1×	node limit

Counts

1 → 15

Calls

Call 1

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

Outputs

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

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

15 → 15

Calls

Call 1

Inputs

Outputs

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 8 computations (33.3% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite42.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

450×	`pow1_binary64`
437×	`add-sqr-sqrt_binary64`
428×	`*-un-lft-identity_binary64`
418×	`add-log-exp_binary64`
417×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 13

Calls

Call 1

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

Outputs

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

simplify12.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

38×	`fma-def_binary64`
9×	`sub-neg_binary64`
6×	`+-commutative_binary64`
4×	`*-commutative_binary64`
4×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	96
1	12	96
2	25	96
3	29	96
4	33	96
5	51	96
6	73	96
7	84	96
8	96	96
9	121	96

Stop Event

1×

saturated

Counts

25 → 15

Calls

Call 1

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

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

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 12 computations (36.8% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite43.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 12

Calls

Call 1

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

Outputs

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

simplify20.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

248×	`fma-def_binary64`
22×	`distribute-rgt-in_binary64`
21×	`associate-l_binary64`
21×	`sub-neg_binary64`
19×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	100
1	21	100
2	53	100
3	104	100
4	119	100
5	167	100
6	239	100
7	276	100
8	322	100
9	499	100
10	527	100

Stop Event

1×

saturated

Counts

24 → 15

Calls

Call 1

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

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

localize12.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 23 to 19 computations (17.4% saved)

series5.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite99.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

582×	`pow1_binary64`
550×	`add-log-exp_binary64`
549×	`log1p-expm1-u_binary64`
549×	`expm1-log1p-u_binary64`
535×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	170	15
2	1638	15

Stop Event

1×	node limit

Counts

2 → 54

Calls

Call 1

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

Outputs

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

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

simplify174.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

934×	`unswap-sqr_binary64`
749×	`sqr-pow_binary64`
545×	`cube-prod_binary64`
468×	`fma-def_binary64`
390×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	244
1	36	244
2	103	244
3	276	244
4	783	244
5	1358	244
6	2805	244
7	2927	244
8	3219	244
9	3491	244
10	3718	244
11	3949	244
12	4241	244
13	4590	244
14	5420	244
15	5945	244
16	6627	244
17	6935	244
18	7303	244
19	7633	244

Stop Event

1×	node limit

Counts

78 → 58

Calls

Call 1

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

Outputs
(*.f64 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) x)
(.f64 -1 (.f64 (sqrt.f64 2) (*.f64 (cbrt.f64 -1) x)))
(neg.f64 (.f64 (sqrt.f64 2) (.f64 x (cbrt.f64 -1))))
(.f64 (.f64 x (cbrt.f64 -1)) (neg.f64 (sqrt.f64 2)))
(.f64 (sqrt.f64 2) (.f64 (cbrt.f64 -1) (neg.f64 x)))
(.f64 (sqrt.f64 2) (.f64 x (neg.f64 (cbrt.f64 -1))))
(.f64 -1 (.f64 (sqrt.f64 2) (*.f64 (cbrt.f64 -1) x)))
(neg.f64 (.f64 (sqrt.f64 2) (.f64 x (cbrt.f64 -1))))
(.f64 (.f64 x (cbrt.f64 -1)) (neg.f64 (sqrt.f64 2)))
(.f64 (sqrt.f64 2) (.f64 (cbrt.f64 -1) (neg.f64 x)))
(.f64 (sqrt.f64 2) (.f64 x (neg.f64 (cbrt.f64 -1))))
(.f64 -1 (.f64 (sqrt.f64 2) (*.f64 (cbrt.f64 -1) x)))
(neg.f64 (.f64 (sqrt.f64 2) (.f64 x (cbrt.f64 -1))))
(.f64 (.f64 x (cbrt.f64 -1)) (neg.f64 (sqrt.f64 2)))
(.f64 (sqrt.f64 2) (.f64 (cbrt.f64 -1) (neg.f64 x)))
(.f64 (sqrt.f64 2) (.f64 x (neg.f64 (cbrt.f64 -1))))
(.f64 -1 (.f64 (sqrt.f64 2) (*.f64 (cbrt.f64 -1) x)))
(neg.f64 (.f64 (sqrt.f64 2) (.f64 x (cbrt.f64 -1))))
(.f64 (.f64 x (cbrt.f64 -1)) (neg.f64 (sqrt.f64 2)))
(.f64 (sqrt.f64 2) (.f64 (cbrt.f64 -1) (neg.f64 x)))
(.f64 (sqrt.f64 2) (.f64 x (neg.f64 (cbrt.f64 -1))))
(*.f64 (pow.f64 (sqrt.f64 2) 3) (pow.f64 x 3))
(.f64 (sqrt.f64 2) (.f64 2 (pow.f64 x 3)))
(.f64 (sqrt.f64 2) (.f64 (pow.f64 x 3) 2))
(.f64 (.f64 (sqrt.f64 2) 2) (pow.f64 x 3))
(*.f64 (pow.f64 (sqrt.f64 2) 3) (pow.f64 x 3))
(.f64 (sqrt.f64 2) (.f64 2 (pow.f64 x 3)))
(.f64 (sqrt.f64 2) (.f64 (pow.f64 x 3) 2))
(.f64 (.f64 (sqrt.f64 2) 2) (pow.f64 x 3))
(*.f64 (pow.f64 (sqrt.f64 2) 3) (pow.f64 x 3))
(.f64 (sqrt.f64 2) (.f64 2 (pow.f64 x 3)))
(.f64 (sqrt.f64 2) (.f64 (pow.f64 x 3) 2))
(.f64 (.f64 (sqrt.f64 2) 2) (pow.f64 x 3))
(*.f64 (pow.f64 (sqrt.f64 2) 3) (pow.f64 x 3))
(.f64 (sqrt.f64 2) (.f64 2 (pow.f64 x 3)))
(.f64 (sqrt.f64 2) (.f64 (pow.f64 x 3) 2))
(.f64 (.f64 (sqrt.f64 2) 2) (pow.f64 x 3))
(*.f64 (pow.f64 (sqrt.f64 2) 3) (pow.f64 x 3))
(.f64 (sqrt.f64 2) (.f64 2 (pow.f64 x 3)))
(.f64 (sqrt.f64 2) (.f64 (pow.f64 x 3) 2))
(.f64 (.f64 (sqrt.f64 2) 2) (pow.f64 x 3))
(*.f64 (pow.f64 (sqrt.f64 2) 3) (pow.f64 x 3))
(.f64 (sqrt.f64 2) (.f64 2 (pow.f64 x 3)))
(.f64 (sqrt.f64 2) (.f64 (pow.f64 x 3) 2))
(.f64 (.f64 (sqrt.f64 2) 2) (pow.f64 x 3))
(*.f64 (pow.f64 (sqrt.f64 2) 3) (pow.f64 x 3))
(.f64 (sqrt.f64 2) (.f64 2 (pow.f64 x 3)))
(.f64 (sqrt.f64 2) (.f64 (pow.f64 x 3) 2))
(.f64 (.f64 (sqrt.f64 2) 2) (pow.f64 x 3))
(*.f64 (pow.f64 (sqrt.f64 2) 3) (pow.f64 x 3))
(.f64 (sqrt.f64 2) (.f64 2 (pow.f64 x 3)))
(.f64 (sqrt.f64 2) (.f64 (pow.f64 x 3) 2))
(.f64 (.f64 (sqrt.f64 2) 2) (pow.f64 x 3))
(*.f64 (pow.f64 (sqrt.f64 2) 3) (pow.f64 x 3))
(.f64 (sqrt.f64 2) (.f64 2 (pow.f64 x 3)))
(.f64 (sqrt.f64 2) (.f64 (pow.f64 x 3) 2))
(.f64 (.f64 (sqrt.f64 2) 2) (pow.f64 x 3))
(*.f64 (pow.f64 (sqrt.f64 2) 3) (pow.f64 x 3))
(.f64 (sqrt.f64 2) (.f64 2 (pow.f64 x 3)))
(.f64 (sqrt.f64 2) (.f64 (pow.f64 x 3) 2))
(.f64 (.f64 (sqrt.f64 2) 2) (pow.f64 x 3))
(*.f64 (pow.f64 (sqrt.f64 2) 3) (pow.f64 x 3))
(.f64 (sqrt.f64 2) (.f64 2 (pow.f64 x 3)))
(.f64 (sqrt.f64 2) (.f64 (pow.f64 x 3) 2))
(.f64 (.f64 (sqrt.f64 2) 2) (pow.f64 x 3))
(*.f64 (pow.f64 (sqrt.f64 2) 3) (pow.f64 x 3))
(.f64 (sqrt.f64 2) (.f64 2 (pow.f64 x 3)))
(.f64 (sqrt.f64 2) (.f64 (pow.f64 x 3) 2))
(.f64 (.f64 (sqrt.f64 2) 2) (pow.f64 x 3))

eval104.0ms (2.9%)

Compiler: Compiled 2811 to 2120 computations (24.6% saved)

prune174.0ms (4.9%)

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	210	3	213
Fresh	1	0	1
Picked	0	1	1
Done	1	4	5
Total	212	8	220

Error

0.1b

Counts

220 → 8

Alt Table

Click to see full alt table

Status	Error	Program
▶	27.8b	(pow.f64 (cbrt.f64 (.f64 2 (.f64 x x))) 3/2)
✓	32.3b	(*.f64 (sqrt.f64 2) x)
▶	32.2b	(.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) x))
▶	28.0b	(.f64 (sqrt.f64 (pow.f64 (.f64 (cbrt.f64 (.f64 2 x)) (cbrt.f64 x)) 2)) (sqrt.f64 (cbrt.f64 (.f64 2 (*.f64 x x)))))
✓	49.8b	(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 3))
✓	30.8b	(*.f64 (sqrt.f64 2) (neg.f64 x))
✓	27.4b	(sqrt.f64 (.f64 (.f64 2 x) x))
✓	32.9b	(.f64 (sqrt.f64 (.f64 2 x)) (sqrt.f64 x))

Compiler

Compiled 72 to 58 computations (19.4% saved)

localize33.0ms (0.9%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 77 to 47 computations (39% saved)

series5.0ms (0.1%)

Counts

3 → 0

Calls

9 calls:

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

rewrite58.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

675×	`pow1_binary64`
627×	`add-log-exp_binary64`
627×	`log1p-expm1-u_binary64`
627×	`expm1-log1p-u_binary64`
606×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	18
1	184	18
2	1855	18

Stop Event

1×	node limit

Counts

3 → 73

Calls

Call 1

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

Outputs

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

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

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

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

73 → 73

Calls

Call 1

Inputs

Outputs

localize21.0ms (0.6%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 21 to 18 computations (14.3% saved)

series17.0ms (0.5%)

Counts

2 → 12

Calls

6 calls:

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

rewrite49.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

610×	`pow1_binary64`
566×	`add-log-exp_binary64`
566×	`log1p-expm1-u_binary64`
566×	`expm1-log1p-u_binary64`
554×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	148	13
2	1611	13

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

Outputs

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

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

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	72
1	6	72

Stop Event

1×

saturated

Counts

34 → 23

Calls

Call 1

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

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

localize14.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 26 to 14 computations (46.2% saved)

series12.0ms (0.3%)

Counts

2 → 12

Calls

6 calls:

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

rewrite174.0ms (4.9%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	166	13
2	1833	13

Stop Event

1×	node limit

Counts

2 → 32

Calls

Call 1

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

Outputs

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

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

simplify172.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	84
1	11	84
2	22	84
3	43	84
4	105	84
5	329	84
6	1259	84
7	2132	84
8	2296	84
9	2480	84
10	2688	84
11	2984	84
12	3379	84
13	3860	84
14	4426	84
15	5118	84
16	5951	84
17	6343	84
18	6631	84
19	6911	84
20	6985	84
21	7019	84
22	7960	84

Stop Event

1×	node limit

Counts

44 → 34

Calls

Call 1

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

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

eval202.0ms (5.7%)

Compiler: Compiled 3048 to 2191 computations (28.1% saved)

prune28.0ms (0.8%)

Pruning

10 alts after pruning (3 fresh and 7 done)

	Pruned	Kept	Total
New	185	3	188
Fresh	0	0	0
Picked	0	1	1
Done	1	6	7
Total	186	10	196

Error

0.1b

Counts

196 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	27.4b	(sqrt.f64 (.f64 (.f64 2 x) x))
▶	1.2b	(pow.f64 (pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2))) 2) 3/2)
✓	27.8b	(pow.f64 (cbrt.f64 (.f64 2 (.f64 x x))) 3/2)
✓	32.3b	(*.f64 (sqrt.f64 2) x)
▶	15.1b	(.f64 (sqrt.f64 (pow.f64 (.f64 (cbrt.f64 (.f64 2 x)) (cbrt.f64 x)) 2)) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 x (sqrt.f64 2))) 2)))
✓	32.9b	(.f64 (sqrt.f64 (.f64 2 x)) (sqrt.f64 x))
✓	32.2b	(.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) x))
✓	49.8b	(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 3))
✓	30.8b	(*.f64 (sqrt.f64 2) (neg.f64 x))
▶	1.3b	(pow.f64 (.f64 (cbrt.f64 (.f64 2 x)) (cbrt.f64 x)) 3/2)

Compiler

Compiled 93 to 77 computations (17.2% saved)

localize40.0ms (1.1%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 83 to 62 computations (25.3% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

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

rewrite43.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

490×	`pow1_binary64`
474×	`add-sqr-sqrt_binary64`
456×	`add-log-exp_binary64`
456×	`log1p-expm1-u_binary64`
456×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	119	8
2	1278	8

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

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

Outputs

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

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

20 → 20

Calls

Call 1

Inputs

Outputs

localize17.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 29 to 19 computations (34.5% saved)

series30.0ms (0.8%)

Counts

2 → 0

Calls

6 calls:

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

rewrite126.0ms (3.5%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 28

Calls

Call 1

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

Outputs

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

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

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

28 → 28

Calls

Call 1

Inputs

Outputs

localize21.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 31 to 26 computations (16.1% saved)

series9.0ms (0.2%)

Counts

3 → 12

Calls

9 calls:

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

rewrite54.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

652×	`pow1_binary64`
616×	`add-log-exp_binary64`
615×	`log1p-expm1-u_binary64`
615×	`expm1-log1p-u_binary64`
600×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	191	21
2	2011	21

Stop Event

1×	node limit

Counts

3 → 65

Calls

Call 1

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

Outputs

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

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

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

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	72
1	6	72

Stop Event

1×

saturated

Counts

77 → 56

Calls

Call 1

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

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

eval89.0ms (2.5%)

Compiler: Compiled 3823 to 2928 computations (23.4% saved)

prune38.0ms (1.1%)

Pruning

13 alts after pruning (4 fresh and 9 done)

	Pruned	Kept	Total
New	234	4	238
Fresh	0	0	0
Picked	0	1	1
Done	1	8	9
Total	235	13	248

Error

0.0b

Counts

248 → 13

Alt Table

Click to see full alt table

Status	Error	Program
	1.2b	(.f64 (.f64 (cbrt.f64 (.f64 2 x)) (cbrt.f64 x)) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 x (sqrt.f64 2))) 2)))
✓	27.4b	(sqrt.f64 (.f64 (.f64 2 x) x))
✓	1.2b	(pow.f64 (pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2))) 2) 3/2)
✓	27.8b	(pow.f64 (cbrt.f64 (.f64 2 (.f64 x x))) 3/2)
✓	32.3b	(*.f64 (sqrt.f64 2) x)
✓	1.3b	(pow.f64 (.f64 (cbrt.f64 (.f64 2 x)) (cbrt.f64 x)) 3/2)
	1.6b	(pow.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 2)) (cbrt.f64 x)) 3/2)
✓	32.2b	(.f64 (pow.f64 2 1/4) (.f64 (pow.f64 2 1/4) x))
	1.5b	(pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2))) 3)) 2) 3/2)
✓	49.8b	(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 2) x) 3))
	1.9b	(pow.f64 (.f64 (cbrt.f64 (.f64 2 x)) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3)) 3/2)
✓	30.8b	(*.f64 (sqrt.f64 2) (neg.f64 x))
✓	32.9b	(.f64 (sqrt.f64 (.f64 2 x)) (sqrt.f64 x))

Compiler

Compiled 127 to 105 computations (17.3% saved)

regimes30.0ms (0.8%)

Counts

17 → 1

Calls

Call 1

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

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

Calls

3 calls:

9.0ms	x
8.0ms	(.f64 (.f64 2 x) x)
6.0ms	(sqrt.f64 (.f64 (.f64 2 x) x))

Results

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

Compiler

Compiled 191 to 144 computations (24.6% saved)

regimes25.0ms (0.7%)

Counts

14 → 1

Calls

Call 1

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

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

Calls

3 calls:

8.0ms	x
6.0ms	(.f64 (.f64 2 x) x)
6.0ms	(sqrt.f64 (.f64 (.f64 2 x) x))

Results

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

Compiler

Compiled 138 to 105 computations (23.9% saved)

regimes18.0ms (0.5%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

3 calls:

7.0ms	x
4.0ms	(sqrt.f64 (.f64 (.f64 2 x) x))
4.0ms	(.f64 (.f64 2 x) x)

Results

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

Compiler

Compiled 78 to 60 computations (23.1% saved)

regimes36.0ms (1%)

Counts

8 → 2

Calls

Call 1

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

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

Calls

3 calls:

12.0ms	(.f64 (.f64 2 x) x)
11.0ms	x
11.0ms	(sqrt.f64 (.f64 (.f64 2 x) x))

Results

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

Compiler

Compiled 69 to 53 computations (23.2% saved)

bsearch16.0ms (0.4%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
15.0ms	-2.0925672469871087e-305	1.175499337423358e-308

Compiler

Compiled 11 to 8 computations (27.3% saved)

regimes38.0ms (1.1%)

Accuracy

Total -62.2b remaining (-14211.8%)

Threshold costs -62.2b (-14211.8%)

Counts

3 → 2

Calls

Call 1

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

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

Calls

3 calls:

19.0ms	(.f64 (.f64 2 x) x)
10.0ms	x
8.0ms	(sqrt.f64 (.f64 (.f64 2 x) x))

Results

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

Compiler

Compiled 31 to 22 computations (29% saved)

bsearch16.0ms (0.4%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
16.0ms	-2.0925672469871087e-305	1.175499337423358e-308

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	105
1	38	105
2	45	105
3	50	105
4	53	105
5	54	105

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

Outputs
(.f64 (.f64 (cbrt.f64 (.f64 2 x)) (cbrt.f64 x)) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 x (sqrt.f64 2))) 2)))
(pow.f64 (pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 2))) 2) 3/2)
(pow.f64 (.f64 (cbrt.f64 (.f64 2 x)) (cbrt.f64 x)) 3/2)
(if (<=.f64 x -8272271991938797/395316900990841051469717474060385365331165331570590074915822964897324881968740911898360124416869383779662261453743773264433220190206627884505885546759254902190463719290168674539974429183775813166483921247017080212035170866063852926988483116502264758478144641625700721781901200420372075258176420915324230983022866681823232) (.f64 (sqrt.f64 2) (neg.f64 x)) (.f64 (sqrt.f64 (*.f64 2 x)) (sqrt.f64 x)))
(if (<=.f64 x -8272271991938797/395316900990841051469717474060385365331165331570590074915822964897324881968740911898360124416869383779662261453743773264433220190206627884505885546759254902190463719290168674539974429183775813166483921247017080212035170866063852926988483116502264758478144641625700721781901200420372075258176420915324230983022866681823232) (.f64 x (neg.f64 (sqrt.f64 2))) (.f64 (sqrt.f64 (*.f64 2 x)) (sqrt.f64 x)))
(if (<=.f64 x -8272271991938797/395316900990841051469717474060385365331165331570590074915822964897324881968740911898360124416869383779662261453743773264433220190206627884505885546759254902190463719290168674539974429183775813166483921247017080212035170866063852926988483116502264758478144641625700721781901200420372075258176420915324230983022866681823232) (.f64 (sqrt.f64 2) (neg.f64 x)) (.f64 (sqrt.f64 2) x))
(if (<=.f64 x -8272271991938797/395316900990841051469717474060385365331165331570590074915822964897324881968740911898360124416869383779662261453743773264433220190206627884505885546759254902190463719290168674539974429183775813166483921247017080212035170866063852926988483116502264758478144641625700721781901200420372075258176420915324230983022866681823232) (.f64 (sqrt.f64 2) (neg.f64 x)) (.f64 x (sqrt.f64 2)))
(if (<=.f64 x -8272271991938797/395316900990841051469717474060385365331165331570590074915822964897324881968740911898360124416869383779662261453743773264433220190206627884505885546759254902190463719290168674539974429183775813166483921247017080212035170866063852926988483116502264758478144641625700721781901200420372075258176420915324230983022866681823232) (.f64 x (neg.f64 (sqrt.f64 2))) (.f64 x (sqrt.f64 2)))
(*.f64 (sqrt.f64 2) x)
(*.f64 x (sqrt.f64 2))

Compiler

Compiled 73 to 59 computations (19.2% saved)

soundness43.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

38×	`fma-def_binary64`
9×	`sub-neg_binary64`
6×	`+-commutative_binary64`
4×	`*-commutative_binary64`
4×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	80
1	12	80
2	25	80
3	29	80
4	33	80
5	51	80
6	73	80
7	84	80
8	96	80
9	121	80

Stop Event

1×

saturated

Compiler

Compiled 19 to 16 computations (15.8% saved)

end76.0ms (2.1%)

Compiler: Compiled 68 to 53 computations (22.1% saved)

Iter	Nodes	Cost
0	12	100
1	21	100
2	53	100
3	104	100
4	119	100
5	167	100
6	239	100
7	276	100
8	322	100
9	499	100
10	527	100

Iter	Nodes	Cost
0	12	100
1	21	100
2	53	100
3	104	100
4	119	100
5	167	100
6	239	100
7	276	100
8	322	100
9	499	100
10	527	100

Details

analyze4.0ms (0.1%)

sample958.0ms (27%)

preprocess13.0ms (0.4%)

simplify6.0ms (0.2%)

eval0.0ms (0%)

prune3.0ms (0.1%)

localize7.0ms (0.2%)

series2.0ms (0%)

rewrite43.0ms (1.2%)

simplify11.0ms (0.3%)

eval5.0ms (0.2%)

prune8.0ms (0.2%)

localize24.0ms (0.7%)

series53.0ms (1.5%)

rewrite63.0ms (1.8%)

simplify12.0ms (0.3%)

localize4.0ms (0.1%)

series1.0ms (0%)

rewrite37.0ms (1%)

simplify6.0ms (0.2%)

localize6.0ms (0.2%)

series1.0ms (0%)

rewrite42.0ms (1.2%)

simplify12.0ms (0.3%)

localize8.0ms (0.2%)

series2.0ms (0%)

rewrite43.0ms (1.2%)

simplify20.0ms (0.6%)

localize12.0ms (0.3%)

series5.0ms (0.1%)

rewrite99.0ms (2.8%)

simplify174.0ms (4.9%)

eval104.0ms (2.9%)

prune174.0ms (4.9%)

localize33.0ms (0.9%)

series5.0ms (0.1%)

rewrite58.0ms (1.6%)

simplify7.0ms (0.2%)

localize21.0ms (0.6%)

series17.0ms (0.5%)

rewrite49.0ms (1.4%)

simplify7.0ms (0.2%)

localize14.0ms (0.4%)

series12.0ms (0.3%)

rewrite174.0ms (4.9%)

simplify172.0ms (4.8%)

eval202.0ms (5.7%)

prune28.0ms (0.8%)

localize40.0ms (1.1%)

series1.0ms (0%)

rewrite43.0ms (1.2%)

simplify6.0ms (0.2%)

localize17.0ms (0.5%)

series30.0ms (0.8%)

rewrite126.0ms (3.5%)

simplify6.0ms (0.2%)

localize21.0ms (0.6%)

series9.0ms (0.2%)

rewrite54.0ms (1.5%)

simplify7.0ms (0.2%)

eval89.0ms (2.5%)

prune38.0ms (1.1%)

regimes30.0ms (0.8%)

regimes25.0ms (0.7%)

regimes18.0ms (0.5%)

regimes36.0ms (1%)

bsearch16.0ms (0.4%)

regimes38.0ms (1.1%)

bsearch16.0ms (0.4%)

simplify8.0ms (0.2%)

soundness43.0ms (1.2%)

end76.0ms (2.1%)

Profiling

Iter	Nodes	Cost
0	12	100
1	21	100
2	53	100
3	104	100
4	119	100
5	167	100
6	239	100
7	276	100
8	322	100
9	499	100
10	527	100