Details

analyze43.0ms (0.8%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
25%	25%	74.9%	0.1%	0%	0%	0%	4
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	5
56.3%	56.2%	43.7%	0.1%	0%	0%	0%	6
65.6%	65.6%	34.3%	0.1%	0%	0%	0%	7
76.6%	76.5%	23.4%	0.1%	0%	0%	0%	8
82%	82%	18%	0.1%	0%	0%	0%	9
87.9%	87.8%	12.1%	0.1%	0%	0%	0%	10
90.8%	90.7%	9.2%	0.1%	0%	0%	0%	11
93.8%	93.8%	6.1%	0.1%	0%	0%	0%	12

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.2s (20.9%)

Results

1.1s

8256×

body

256

valid

Bogosity

preprocess32.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

4×	`associate-/r*_binary64`
2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	18
1	16	18
2	20	18
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(cbrt.f64 (/.f64 g (*.f64 2 a)))
(cbrt.f64 (/.f64 a (*.f64 2 g)))

Outputs
(cbrt.f64 (/.f64 g (*.f64 2 a)))
(cbrt.f64 (/.f64 (/.f64 g 2) a))
(cbrt.f64 (/.f64 a (*.f64 2 g)))
(cbrt.f64 (/.f64 a (*.f64 g 2)))

Compiler

Compiled 10 to 8 computations (20% saved)

simplify15.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`associate-/r*_binary64`
1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	10	9
2	12	9

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(cbrt.f64 (/.f64 g (*.f64 2 a)))

Outputs
(cbrt.f64 (/.f64 g (*.f64 2 a)))

eval1.0ms (0%)

Compiler: Compiled 8 to 6 computations (25% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

17.2b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	17.2b	(cbrt.f64 (/.f64 g (*.f64 2 a)))

Compiler

Compiled 8 to 6 computations (25% saved)

localize20.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	16.8b	(cbrt.f64 (/.f64 g (*.f64 2 a)))

Compiler

Compiled 19 to 12 computations (36.8% saved)

series60.0ms (1.1%)

Counts

1 → 0

Calls

6 calls:

Time	Variable		Point	Expression
53.0ms	a	@	inf	(cbrt.f64 (/.f64 g (*.f64 2 a)))
2.0ms	g	@	0	(cbrt.f64 (/.f64 g (*.f64 2 a)))
1.0ms	g	@	-inf	(cbrt.f64 (/.f64 g (*.f64 2 a)))
1.0ms	g	@	inf	(cbrt.f64 (/.f64 g (*.f64 2 a)))
1.0ms	a	@	-inf	(cbrt.f64 (/.f64 g (*.f64 2 a)))

rewrite78.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

745×	`pow1_binary64`
695×	`add-log-exp_binary64`
695×	`log1p-expm1-u_binary64`
695×	`expm1-log1p-u_binary64`
680×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	146	9
2	1857	9

Stop Event

1×	node limit

Counts

1 → 27

Calls

Call 1

Inputs
(cbrt.f64 (/.f64 g (*.f64 2 a)))

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

Outputs

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

simplify15.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

27 → 27

Calls

Call 1

Inputs

Outputs

eval11.0ms (0.2%)

Compiler: Compiled 268 to 177 computations (34% saved)

prune23.0ms (0.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	20	7	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	20	8	28

Error

0.2b

Counts

28 → 8

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.8b	(.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (.f64 2 a))))
	17.9b	(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 1/2 (/.f64 g a)))) 3)
▶	0.8b	(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
▶	0.9b	(/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a))
▶	0.8b	(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
	0.8b	(/.f64 1 (/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g)))
▶	16.9b	(/.f64 1 (cbrt.f64 (*.f64 2 (/.f64 a g))))
✓	17.2b	(cbrt.f64 (/.f64 g (*.f64 2 a)))

Compiler

Compiled 148 to 118 computations (20.3% saved)

localize45.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 1 (cbrt.f64 (*.f64 2 a)))
✓	0.3b	(.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (.f64 2 a))))
✓	0.5b	(cbrt.f64 g)
✓	0.6b	(cbrt.f64 (*.f64 2 a))

Compiler

Compiled 30 to 21 computations (30% saved)

series16.0ms (0.3%)

Counts

4 → 0

Calls

15 calls:

Time	Variable		Point	Expression
2.0ms	a	@	0	(.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (.f64 2 a))))
2.0ms	g	@	0	(.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (.f64 2 a))))
1.0ms	a	@	0	(cbrt.f64 (*.f64 2 a))
1.0ms	g	@	-inf	(.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (.f64 2 a))))
1.0ms	a	@	-inf	(cbrt.f64 (*.f64 2 a))

rewrite93.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

842×	`pow1_binary64`
780×	`add-log-exp_binary64`
780×	`log1p-expm1-u_binary64`
780×	`expm1-log1p-u_binary64`
761×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	29
1	197	27
2	2241	27

Stop Event

1×	node limit

Counts

4 → 93

Calls

Call 1

Inputs
(cbrt.f64 (*.f64 2 a))
(cbrt.f64 g)
(.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (.f64 2 a))))
(/.f64 1 (cbrt.f64 (*.f64 2 a)))

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

simplify13.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

93 → 93

Calls

Call 1

Inputs

Outputs

localize24.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 2 (/.f64 a g))
✓	0.3b	(/.f64 1 (cbrt.f64 (*.f64 2 (/.f64 a g))))
✓	16.5b	(cbrt.f64 (*.f64 2 (/.f64 a g)))

Compiler

Compiled 28 to 15 computations (46.4% saved)

series19.0ms (0.3%)

Counts

3 → 0

Calls

18 calls:

Time	Variable		Point	Expression
3.0ms	a	@	inf	(*.f64 2 (/.f64 a g))
2.0ms	a	@	-inf	(*.f64 2 (/.f64 a g))
1.0ms	g	@	0	(cbrt.f64 (*.f64 2 (/.f64 a g)))
1.0ms	g	@	-inf	(cbrt.f64 (*.f64 2 (/.f64 a g)))
1.0ms	g	@	inf	(cbrt.f64 (*.f64 2 (/.f64 a g)))

rewrite95.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

869×	`pow1_binary64`
808×	`add-log-exp_binary64`
808×	`log1p-expm1-u_binary64`
808×	`expm1-log1p-u_binary64`
790×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	28
1	185	28
2	2242	28

Stop Event

1×	node limit

Counts

3 → 69

Calls

Call 1

Inputs
(cbrt.f64 (*.f64 2 (/.f64 a g)))
(/.f64 1 (cbrt.f64 (*.f64 2 (/.f64 a g))))
(*.f64 2 (/.f64 a g))

Outputs

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

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

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

simplify13.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

69 → 69

Calls

Call 1

Inputs

Outputs

localize32.0ms (0.6%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
	0.5b	(cbrt.f64 g)
✓	0.6b	(cbrt.f64 (/.f64 1/2 a))

Compiler

Compiled 21 to 13 computations (38.1% saved)

series6.0ms (0.1%)

Counts

2 → 0

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	g	@	-inf	(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
1.0ms	a	@	0	(cbrt.f64 (/.f64 1/2 a))
1.0ms	g	@	inf	(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
1.0ms	a	@	inf	(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
1.0ms	a	@	inf	(cbrt.f64 (/.f64 1/2 a))

rewrite102.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

739×	`pow1_binary64`
687×	`add-log-exp_binary64`
687×	`log1p-expm1-u_binary64`
687×	`expm1-log1p-u_binary64`
669×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	164	15
2	1911	15

Stop Event

1×	node limit

Counts

2 → 39

Calls

Call 1

Inputs
(cbrt.f64 (/.f64 1/2 a))
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))

Outputs

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

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

simplify15.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

39 → 39

Calls

Call 1

Inputs

Outputs

localize20.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
	0.5b	(cbrt.f64 g)
	0.6b	(cbrt.f64 (*.f64 2 a))

Compiler

Compiled 21 to 13 computations (38.1% saved)

series17.0ms (0.3%)

Counts

1 → 0

Calls

6 calls:

Time	Variable		Point	Expression
13.0ms	g	@	-inf	(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
1.0ms	g	@	0	(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
1.0ms	a	@	0	(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
1.0ms	g	@	inf	(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
1.0ms	a	@	inf	(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))

rewrite68.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

808×	`pow1_binary64`
753×	`add-log-exp_binary64`
753×	`log1p-expm1-u_binary64`
753×	`expm1-log1p-u_binary64`
734×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	9
1	163	9
2	2015	9

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

Inputs
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))

Outputs

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

simplify13.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

33 → 33

Calls

Call 1

Inputs

Outputs

localize20.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a))
✓	0.5b	(cbrt.f64 a)
✓	0.6b	(cbrt.f64 (*.f64 g 1/2))

Compiler

Compiled 21 to 13 computations (38.1% saved)

series10.0ms (0.2%)

Counts

3 → 0

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	g	@	0	(/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a))
1.0ms	a	@	-inf	(/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a))
1.0ms	a	@	-inf	(cbrt.f64 a)
1.0ms	g	@	0	(cbrt.f64 (*.f64 g 1/2))
1.0ms	g	@	-inf	(cbrt.f64 (*.f64 g 1/2))

rewrite84.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

812×	`pow1_binary64`
758×	`add-log-exp_binary64`
758×	`log1p-expm1-u_binary64`
758×	`expm1-log1p-u_binary64`
739×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	163	18
2	2020	18

Stop Event

1×	node limit

Counts

3 → 72

Calls

Call 1

Inputs
(cbrt.f64 (*.f64 g 1/2))
(cbrt.f64 a)
(/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a))

Outputs

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

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

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

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

72 → 72

Calls

Call 1

Inputs

Outputs

eval905.0ms (16.4%)

Compiler: Compiled 4279 to 2956 computations (30.9% saved)

prune104.0ms (1.9%)

Pruning

24 alts after pruning (19 fresh and 5 done)

	Pruned	Kept	Total
New	354	18	372
Fresh	1	1	2
Picked	0	1	1
Done	1	4	5
Total	356	24	380

Error

0.0b

Counts

380 → 24

Alt Table

Click to see full alt table

Status	Error	Program
	1.1b	(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 2)) (cbrt.f64 a))
	1.4b	(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 g)) 3) (/.f64 1 (cbrt.f64 (.f64 2 a))))
▶	17.2b	(cbrt.f64 (*.f64 (/.f64 1/2 a) g))
✓	0.8b	(.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (.f64 2 a))))
▶	0.9b	(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 a))
	1.1b	(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))
	16.9b	(/.f64 1 (cbrt.f64 (/.f64 (*.f64 2 a) g)))
	1.5b	(/.f64 (pow.f64 (cbrt.f64 (cbrt.f64 g)) 2) (/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 (cbrt.f64 g))))
✓	0.9b	(/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a))
	0.9b	(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 1/2) (cbrt.f64 a)))
▶	17.2b	(/.f64 1 (*.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 2)))
	1.5b	(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 g)) 3) (cbrt.f64 (/.f64 1/2 a)))
	0.9b	(*.f64 (cbrt.f64 g) (/.f64 1 (/.f64 (cbrt.f64 a) (cbrt.f64 1/2))))
	17.4b	(/.f64 1 (cbrt.f64 (/.f64 2 (/.f64 g a))))
	0.9b	(.f64 (/.f64 1 (cbrt.f64 a)) (cbrt.f64 (.f64 g 1/2)))
✓	0.8b	(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
✓	17.2b	(cbrt.f64 (/.f64 g (*.f64 2 a)))
	1.5b	(/.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 g 1/2))) 3) (cbrt.f64 a))
▶	0.8b	(.f64 (cbrt.f64 g) (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a))))
▶	1.5b	(/.f64 (cbrt.f64 g) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) 3))
✓	0.8b	(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
	0.8b	(/.f64 1 (/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g)))
	17.2b	(.f64 (/.f64 1 (cbrt.f64 (cbrt.f64 (.f64 2 (/.f64 a g))))) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 2 (/.f64 a g))) -2)))
	1.2b	(.f64 (cbrt.f64 g) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 2 a)) -2)) (cbrt.f64 (/.f64 1 (cbrt.f64 (.f64 2 a))))))

Compiler

Compiled 510 to 410 computations (19.6% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (cbrt.f64 g) (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a))))
✓	0.5b	(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a)))
✓	0.5b	(cbrt.f64 (/.f64 1 a))
	0.5b	(cbrt.f64 g)

Compiler

Compiled 34 to 25 computations (26.5% saved)

series6.0ms (0.1%)

Counts

3 → 0

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	a	@	-inf	(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a)))
1.0ms	a	@	-inf	(cbrt.f64 (/.f64 1 a))
0.0ms	a	@	0	(cbrt.f64 (/.f64 1 a))
0.0ms	a	@	inf	(cbrt.f64 (/.f64 1 a))
0.0ms	a	@	-inf	(.f64 (cbrt.f64 g) (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a))))

rewrite76.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

904×	`pow1_binary64`
835×	`add-log-exp_binary64`
835×	`log1p-expm1-u_binary64`
835×	`expm1-log1p-u_binary64`
812×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	29
1	215	21
2	2390	21

Stop Event

1×	node limit

Counts

3 → 51

Calls

Call 1

Inputs
(cbrt.f64 (/.f64 1 a))
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a)))
(.f64 (cbrt.f64 g) (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a))))

Outputs

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

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

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

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

51 → 51

Calls

Call 1

Inputs

Outputs

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (/.f64 1/2 a) g)
✓	16.8b	(cbrt.f64 (*.f64 (/.f64 1/2 a) g))

Compiler

Compiled 19 to 12 computations (36.8% saved)

series7.0ms (0.1%)

Counts

2 → 24

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	a	@	-inf	(*.f64 (/.f64 1/2 a) g)
1.0ms	g	@	0	(*.f64 (/.f64 1/2 a) g)
1.0ms	a	@	0	(*.f64 (/.f64 1/2 a) g)
0.0ms	g	@	inf	(*.f64 (/.f64 1/2 a) g)
0.0ms	g	@	-inf	(*.f64 (/.f64 1/2 a) g)

rewrite80.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

690×	`pow1_binary64`
643×	`add-log-exp_binary64`
643×	`log1p-expm1-u_binary64`
643×	`expm1-log1p-u_binary64`
629×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	16
1	147	16
2	1763	16

Stop Event

1×	node limit

Counts

2 → 44

Calls

Call 1

Inputs
(cbrt.f64 (*.f64 (/.f64 1/2 a) g))
(*.f64 (/.f64 1/2 a) g)

Outputs

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

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

simplify14.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	9	168
2	13	168
3	17	168
4	18	168

Stop Event

1×

saturated

Counts

68 → 45

Calls

Call 1

Inputs
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))

Outputs
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 1 (*.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 2)))
✓	0.3b	(*.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 2))
✓	1.0b	(cbrt.f64 2)
✓	16.5b	(cbrt.f64 (/.f64 a g))

Compiler

Compiled 31 to 16 computations (48.4% saved)

series9.0ms (0.2%)

Counts

4 → 0

Calls

18 calls:

Time	Variable		Point	Expression
1.0ms	a	@	-inf	(/.f64 1 (*.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 2)))
1.0ms	a	@	-inf	(*.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 2))
1.0ms	g	@	-inf	(/.f64 1 (*.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 2)))
1.0ms	g	@	-inf	(*.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 2))
0.0ms	g	@	-inf	(cbrt.f64 (/.f64 a g))

rewrite90.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

942×	`pow1_binary64`
875×	`add-log-exp_binary64`
875×	`log1p-expm1-u_binary64`
875×	`expm1-log1p-u_binary64`
853×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	30
1	204	30
2	2451	30

Stop Event

1×	node limit

Counts

4 → 84

Calls

Call 1

Inputs
(cbrt.f64 (/.f64 a g))
(cbrt.f64 2)
(*.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 2))
(/.f64 1 (*.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 2)))

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

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

84 → 84

Calls

Call 1

Inputs

Outputs

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 a))
✓	0.4b	(*.f64 (cbrt.f64 g) (cbrt.f64 1/2))
	0.5b	(cbrt.f64 a)
	0.5b	(cbrt.f64 g)

Compiler

Compiled 24 to 14 computations (41.7% saved)

series4.0ms (0.1%)

Counts

2 → 0

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	g	@	0	(*.f64 (cbrt.f64 g) (cbrt.f64 1/2))
0.0ms	a	@	inf	(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 a))
0.0ms	g	@	-inf	(*.f64 (cbrt.f64 g) (cbrt.f64 1/2))
0.0ms	g	@	-inf	(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 a))
0.0ms	a	@	-inf	(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 a))

rewrite71.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

888×	`pow1_binary64`
827×	`add-log-exp_binary64`
827×	`log1p-expm1-u_binary64`
827×	`expm1-log1p-u_binary64`
805×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	181	15
2	2229	15

Stop Event

1×	node limit

Counts

2 → 52

Calls

Call 1

Inputs
(*.f64 (cbrt.f64 g) (cbrt.f64 1/2))
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 a))

Outputs

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

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

simplify10.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

52 → 52

Calls

Call 1

Inputs

Outputs

localize20.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(cbrt.f64 g)
	0.6b	(cbrt.f64 (*.f64 2 a))
✓	0.7b	(cbrt.f64 (cbrt.f64 (*.f64 2 a)))
✓	0.7b	(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) 3)

Compiler

Compiled 37 to 27 computations (27% saved)

series63.0ms (1.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
43.0ms	a	@	0	(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) 3)
9.0ms	a	@	inf	(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) 3)
5.0ms	a	@	inf	(cbrt.f64 (cbrt.f64 (*.f64 2 a)))
4.0ms	a	@	-inf	(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) 3)
0.0ms	a	@	-inf	(cbrt.f64 (cbrt.f64 (*.f64 2 a)))

rewrite56.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

562×	`pow1_binary64`
529×	`add-log-exp_binary64`
528×	`log1p-expm1-u_binary64`
528×	`expm1-log1p-u_binary64`
515×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	165	14
2	1537	14

Stop Event

1×	node limit

Counts

2 → 45

Calls

Call 1

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

Outputs

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

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

simplify203.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

2184×	`unswap-sqr_binary64`
1339×	`sqr-pow_binary64`
462×	`pow-sqr_binary64`
371×	`*-commutative_binary64`
367×	`cube-prod_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	28	348
1	71	324
2	142	324
3	326	324
4	1152	280
5	2185	280
6	2297	280
7	2496	280
8	2762	280
9	3026	280
10	3357	280
11	3774	280
12	4238	280
13	4792	280
14	5076	280
15	5248	280
16	5352	280
17	5472	280
18	5508	280
19	5957	280
20	6529	280

Stop Event

1×	node limit

Counts

69 → 52

Calls

Call 1

Inputs
(.f64 (pow.f64 (pow.f64 1 4) 1/9) (.f64 (cbrt.f64 2) (pow.f64 a 1/3)))
(.f64 (pow.f64 (pow.f64 1 4) 1/9) (.f64 (cbrt.f64 2) (pow.f64 a 1/3)))
(.f64 (pow.f64 (pow.f64 1 4) 1/9) (.f64 (cbrt.f64 2) (pow.f64 a 1/3)))
(.f64 (pow.f64 (pow.f64 1 4) 1/9) (.f64 (cbrt.f64 2) (pow.f64 a 1/3)))
(.f64 (pow.f64 (pow.f64 1 4) 1/9) (.f64 (cbrt.f64 2) (pow.f64 a 1/3)))
(.f64 (pow.f64 (pow.f64 1 4) 1/9) (.f64 (cbrt.f64 2) (pow.f64 a 1/3)))
(.f64 (pow.f64 (pow.f64 1 4) 1/9) (.f64 (cbrt.f64 2) (pow.f64 a 1/3)))
(.f64 (pow.f64 (pow.f64 1 4) 1/9) (.f64 (cbrt.f64 2) (pow.f64 a 1/3)))
(.f64 (pow.f64 (.f64 -1 a) 1/3) (*.f64 (pow.f64 1 1/9) (cbrt.f64 -2)))
(.f64 (pow.f64 (.f64 -1 a) 1/3) (*.f64 (pow.f64 1 1/9) (cbrt.f64 -2)))
(.f64 (pow.f64 (.f64 -1 a) 1/3) (*.f64 (pow.f64 1 1/9) (cbrt.f64 -2)))
(.f64 (pow.f64 (.f64 -1 a) 1/3) (*.f64 (pow.f64 1 1/9) (cbrt.f64 -2)))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) a) 1/9) (pow.f64 (cbrt.f64 2) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) a) 1/9) (pow.f64 (cbrt.f64 2) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) a) 1/9) (pow.f64 (cbrt.f64 2) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) a) 1/9) (pow.f64 (cbrt.f64 2) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) a) 1/9) (pow.f64 (cbrt.f64 2) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) a) 1/9) (pow.f64 (cbrt.f64 2) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) a) 1/9) (pow.f64 (cbrt.f64 2) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) a) 1/9) (pow.f64 (cbrt.f64 2) 1/3))
(.f64 (pow.f64 (.f64 -1 a) 1/9) (pow.f64 (*.f64 1 (cbrt.f64 -2)) 1/3))
(.f64 (pow.f64 (.f64 -1 a) 1/9) (pow.f64 (*.f64 1 (cbrt.f64 -2)) 1/3))
(.f64 (pow.f64 (.f64 -1 a) 1/9) (pow.f64 (*.f64 1 (cbrt.f64 -2)) 1/3))
(.f64 (pow.f64 (.f64 -1 a) 1/9) (pow.f64 (*.f64 1 (cbrt.f64 -2)) 1/3))

Outputs
(.f64 (pow.f64 (pow.f64 1 4) 1/9) (.f64 (cbrt.f64 2) (pow.f64 a 1/3)))
(.f64 1 (.f64 (cbrt.f64 2) (cbrt.f64 a)))
(*.f64 (cbrt.f64 2) (cbrt.f64 a))
(.f64 (pow.f64 (pow.f64 1 4) 1/9) (.f64 (cbrt.f64 2) (pow.f64 a 1/3)))
(.f64 1 (.f64 (cbrt.f64 2) (cbrt.f64 a)))
(*.f64 (cbrt.f64 2) (cbrt.f64 a))
(.f64 (pow.f64 (pow.f64 1 4) 1/9) (.f64 (cbrt.f64 2) (pow.f64 a 1/3)))
(.f64 1 (.f64 (cbrt.f64 2) (cbrt.f64 a)))
(*.f64 (cbrt.f64 2) (cbrt.f64 a))
(.f64 (pow.f64 (pow.f64 1 4) 1/9) (.f64 (cbrt.f64 2) (pow.f64 a 1/3)))
(.f64 1 (.f64 (cbrt.f64 2) (cbrt.f64 a)))
(*.f64 (cbrt.f64 2) (cbrt.f64 a))
(.f64 (pow.f64 (pow.f64 1 4) 1/9) (.f64 (cbrt.f64 2) (pow.f64 a 1/3)))
(.f64 1 (.f64 (cbrt.f64 2) (cbrt.f64 a)))
(*.f64 (cbrt.f64 2) (cbrt.f64 a))
(.f64 (pow.f64 (pow.f64 1 4) 1/9) (.f64 (cbrt.f64 2) (pow.f64 a 1/3)))
(.f64 1 (.f64 (cbrt.f64 2) (cbrt.f64 a)))
(*.f64 (cbrt.f64 2) (cbrt.f64 a))
(.f64 (pow.f64 (pow.f64 1 4) 1/9) (.f64 (cbrt.f64 2) (pow.f64 a 1/3)))
(.f64 1 (.f64 (cbrt.f64 2) (cbrt.f64 a)))
(*.f64 (cbrt.f64 2) (cbrt.f64 a))
(.f64 (pow.f64 (pow.f64 1 4) 1/9) (.f64 (cbrt.f64 2) (pow.f64 a 1/3)))
(.f64 1 (.f64 (cbrt.f64 2) (cbrt.f64 a)))
(*.f64 (cbrt.f64 2) (cbrt.f64 a))
(.f64 (pow.f64 (.f64 -1 a) 1/3) (*.f64 (pow.f64 1 1/9) (cbrt.f64 -2)))
(*.f64 (cbrt.f64 (neg.f64 a)) (cbrt.f64 -2))
(.f64 (pow.f64 (.f64 -1 a) 1/3) (*.f64 (pow.f64 1 1/9) (cbrt.f64 -2)))
(*.f64 (cbrt.f64 (neg.f64 a)) (cbrt.f64 -2))
(.f64 (pow.f64 (.f64 -1 a) 1/3) (*.f64 (pow.f64 1 1/9) (cbrt.f64 -2)))
(*.f64 (cbrt.f64 (neg.f64 a)) (cbrt.f64 -2))
(.f64 (pow.f64 (.f64 -1 a) 1/3) (*.f64 (pow.f64 1 1/9) (cbrt.f64 -2)))
(*.f64 (cbrt.f64 (neg.f64 a)) (cbrt.f64 -2))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) a) 1/9) (pow.f64 (cbrt.f64 2) 1/3))
(.f64 (.f64 (pow.f64 a 1/18) (pow.f64 a 1/18)) (cbrt.f64 (cbrt.f64 2)))
(*.f64 (pow.f64 (pow.f64 a 1/36) 4) (cbrt.f64 (cbrt.f64 2)))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) a) 1/9) (pow.f64 (cbrt.f64 2) 1/3))
(.f64 (.f64 (pow.f64 a 1/18) (pow.f64 a 1/18)) (cbrt.f64 (cbrt.f64 2)))
(*.f64 (pow.f64 (pow.f64 a 1/36) 4) (cbrt.f64 (cbrt.f64 2)))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) a) 1/9) (pow.f64 (cbrt.f64 2) 1/3))
(.f64 (.f64 (pow.f64 a 1/18) (pow.f64 a 1/18)) (cbrt.f64 (cbrt.f64 2)))
(*.f64 (pow.f64 (pow.f64 a 1/36) 4) (cbrt.f64 (cbrt.f64 2)))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) a) 1/9) (pow.f64 (cbrt.f64 2) 1/3))
(.f64 (.f64 (pow.f64 a 1/18) (pow.f64 a 1/18)) (cbrt.f64 (cbrt.f64 2)))
(*.f64 (pow.f64 (pow.f64 a 1/36) 4) (cbrt.f64 (cbrt.f64 2)))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) a) 1/9) (pow.f64 (cbrt.f64 2) 1/3))
(.f64 (.f64 (pow.f64 a 1/18) (pow.f64 a 1/18)) (cbrt.f64 (cbrt.f64 2)))
(*.f64 (pow.f64 (pow.f64 a 1/36) 4) (cbrt.f64 (cbrt.f64 2)))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) a) 1/9) (pow.f64 (cbrt.f64 2) 1/3))
(.f64 (.f64 (pow.f64 a 1/18) (pow.f64 a 1/18)) (cbrt.f64 (cbrt.f64 2)))
(*.f64 (pow.f64 (pow.f64 a 1/36) 4) (cbrt.f64 (cbrt.f64 2)))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) a) 1/9) (pow.f64 (cbrt.f64 2) 1/3))
(.f64 (.f64 (pow.f64 a 1/18) (pow.f64 a 1/18)) (cbrt.f64 (cbrt.f64 2)))
(*.f64 (pow.f64 (pow.f64 a 1/36) 4) (cbrt.f64 (cbrt.f64 2)))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) a) 1/9) (pow.f64 (cbrt.f64 2) 1/3))
(.f64 (.f64 (pow.f64 a 1/18) (pow.f64 a 1/18)) (cbrt.f64 (cbrt.f64 2)))
(*.f64 (pow.f64 (pow.f64 a 1/36) 4) (cbrt.f64 (cbrt.f64 2)))
(.f64 (pow.f64 (.f64 -1 a) 1/9) (pow.f64 (*.f64 1 (cbrt.f64 -2)) 1/3))
(.f64 (.f64 (pow.f64 (neg.f64 a) 1/18) (pow.f64 (neg.f64 a) 1/18)) (cbrt.f64 (cbrt.f64 -2)))
(*.f64 (pow.f64 (pow.f64 (neg.f64 a) 1/36) 4) (cbrt.f64 (cbrt.f64 -2)))
(*.f64 (pow.f64 (pow.f64 (neg.f64 a) 1/72) 8) (cbrt.f64 (cbrt.f64 -2)))
(.f64 (pow.f64 (.f64 -1 a) 1/9) (pow.f64 (*.f64 1 (cbrt.f64 -2)) 1/3))
(.f64 (.f64 (pow.f64 (neg.f64 a) 1/18) (pow.f64 (neg.f64 a) 1/18)) (cbrt.f64 (cbrt.f64 -2)))
(*.f64 (pow.f64 (pow.f64 (neg.f64 a) 1/36) 4) (cbrt.f64 (cbrt.f64 -2)))
(*.f64 (pow.f64 (pow.f64 (neg.f64 a) 1/72) 8) (cbrt.f64 (cbrt.f64 -2)))
(.f64 (pow.f64 (.f64 -1 a) 1/9) (pow.f64 (*.f64 1 (cbrt.f64 -2)) 1/3))
(.f64 (.f64 (pow.f64 (neg.f64 a) 1/18) (pow.f64 (neg.f64 a) 1/18)) (cbrt.f64 (cbrt.f64 -2)))
(*.f64 (pow.f64 (pow.f64 (neg.f64 a) 1/36) 4) (cbrt.f64 (cbrt.f64 -2)))
(*.f64 (pow.f64 (pow.f64 (neg.f64 a) 1/72) 8) (cbrt.f64 (cbrt.f64 -2)))
(.f64 (pow.f64 (.f64 -1 a) 1/9) (pow.f64 (*.f64 1 (cbrt.f64 -2)) 1/3))
(.f64 (.f64 (pow.f64 (neg.f64 a) 1/18) (pow.f64 (neg.f64 a) 1/18)) (cbrt.f64 (cbrt.f64 -2)))
(*.f64 (pow.f64 (pow.f64 (neg.f64 a) 1/36) 4) (cbrt.f64 (cbrt.f64 -2)))
(*.f64 (pow.f64 (pow.f64 (neg.f64 a) 1/72) 8) (cbrt.f64 (cbrt.f64 -2)))

eval118.0ms (2.1%)

Compiler: Compiled 4693 to 3246 computations (30.8% saved)

prune93.0ms (1.7%)

Pruning

28 alts after pruning (18 fresh and 10 done)

	Pruned	Kept	Total
New	377	11	388
Fresh	7	7	14
Picked	0	1	1
Done	0	9	9
Total	384	28	412

Error

Counts

412 → 28

Alt Table

Click to see full alt table

Status	Error	Program
	32.3b	(.f64 (sqrt.f64 (cbrt.f64 (.f64 g 1/2))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 g 1/2))) (/.f64 1 (cbrt.f64 a))))
	17.3b	(/.f64 1 (/.f64 (cbrt.f64 (/.f64 a g)) (/.f64 1 (cbrt.f64 2))))
▶	17.3b	(cbrt.f64 (/.f64 1/2 (/.f64 a g)))
✓	0.8b	(.f64 (cbrt.f64 g) (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a))))
✓	17.2b	(cbrt.f64 (*.f64 (/.f64 1/2 a) g))
✓	0.8b	(.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (.f64 2 a))))
✓	1.5b	(/.f64 (cbrt.f64 g) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) 3))
	40.8b	(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 1/2 (/.f64 g a))) 2))
	17.2b	(*.f64 (/.f64 1 (cbrt.f64 (/.f64 a g))) (/.f64 1 (cbrt.f64 2)))
▶	1.3b	(/.f64 1 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 (/.f64 1 g))) (cbrt.f64 2)))
✓	0.9b	(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 a))
▶	1.1b	(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))
	16.9b	(/.f64 1 (cbrt.f64 (/.f64 (*.f64 2 a) g)))
✓	17.2b	(/.f64 1 (*.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 2)))
	1.5b	(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 g)) 3) (cbrt.f64 (/.f64 1/2 a)))
	17.4b	(/.f64 1 (cbrt.f64 (/.f64 2 (/.f64 g a))))
✓	0.8b	(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
	40.2b	(cbrt.f64 (/.f64 (/.f64 (*.f64 1/2 g) (sqrt.f64 a)) (sqrt.f64 a)))
	0.9b	(*.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 1/2))
▶	16.9b	(/.f64 1 (*.f64 (cbrt.f64 (/.f64 a g)) (pow.f64 2 1/3)))
▶	0.8b	(/.f64 1 (/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g)))
✓	17.2b	(cbrt.f64 (/.f64 g (*.f64 2 a)))
	0.9b	(.f64 (/.f64 1 (cbrt.f64 a)) (cbrt.f64 (.f64 g 1/2)))
	1.1b	(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 2)) (cbrt.f64 a))
✓	0.8b	(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
✓	0.9b	(/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a))
	33.7b	(/.f64 (cbrt.f64 g) (.f64 (pow.f64 (cbrt.f64 (.f64 2 a)) 1/6) (.f64 (pow.f64 (cbrt.f64 (.f64 2 a)) 1/6) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) 2))))
	1.2b	(.f64 (cbrt.f64 g) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 2 a)) -2)) (cbrt.f64 (/.f64 1 (cbrt.f64 (.f64 2 a))))))

Compiler

Compiled 561 to 457 computations (18.5% saved)

localize16.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 1 (/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g)))
✓	0.4b	(/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g))
	0.5b	(cbrt.f64 g)
	0.6b	(cbrt.f64 (*.f64 2 a))

Compiler

Compiled 31 to 20 computations (35.5% saved)

series6.0ms (0.1%)

Counts

2 → 0

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	g	@	-inf	(/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g))
1.0ms	a	@	0	(/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g))
0.0ms	a	@	inf	(/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g))
0.0ms	g	@	inf	(/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g))
0.0ms	g	@	0	(/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g))

rewrite71.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

959×	`pow1_binary64`
893×	`add-log-exp_binary64`
893×	`log1p-expm1-u_binary64`
893×	`expm1-log1p-u_binary64`
96×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	21
1	204	18
2	2506	18

Stop Event

1×	node limit

Counts

2 → 75

Calls

Call 1

Inputs
(/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g))
(/.f64 1 (/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g)))

Outputs

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

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

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

75 → 75

Calls

Call 1

Inputs

Outputs

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 1/2 (/.f64 a g))
✓	16.8b	(cbrt.f64 (/.f64 1/2 (/.f64 a g)))

Compiler

Compiled 19 to 9 computations (52.6% saved)

series5.0ms (0.1%)

Counts

2 → 24

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	a	@	0	(cbrt.f64 (/.f64 1/2 (/.f64 a g)))
0.0ms	g	@	0	(cbrt.f64 (/.f64 1/2 (/.f64 a g)))
0.0ms	a	@	inf	(cbrt.f64 (/.f64 1/2 (/.f64 a g)))
0.0ms	a	@	-inf	(cbrt.f64 (/.f64 1/2 (/.f64 a g)))
0.0ms	g	@	-inf	(cbrt.f64 (/.f64 1/2 (/.f64 a g)))

rewrite68.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

777×	`pow1_binary64`
727×	`add-log-exp_binary64`
727×	`log1p-expm1-u_binary64`
727×	`expm1-log1p-u_binary64`
711×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	16
1	153	16
2	1983	16

Stop Event

1×	node limit

Counts

2 → 57

Calls

Call 1

Inputs
(cbrt.f64 (/.f64 1/2 (/.f64 a g)))
(/.f64 1/2 (/.f64 a g))

Outputs

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

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

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	9	168
2	13	168
3	17	168
4	18	168

Stop Event

1×

saturated

Counts

81 → 57

Calls

Call 1

Inputs
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))

Outputs
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))
(*.f64 1/2 (/.f64 g a))

localize18.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 1 (*.f64 (cbrt.f64 (/.f64 a g)) (pow.f64 2 1/3)))
✓	0.3b	(*.f64 (cbrt.f64 (/.f64 a g)) (pow.f64 2 1/3))
	16.5b	(cbrt.f64 (/.f64 a g))

Compiler

Compiled 35 to 20 computations (42.9% saved)

series6.0ms (0.1%)

Counts

2 → 0

Calls

12 calls:

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

rewrite71.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

466×	`log-prod_binary64`
364×	`exp-prod_binary64`
350×	`prod-exp_binary64`
302×	`pow-prod-down_binary64`
257×	`pow2_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	25
1	231	21
2	2644	20

Stop Event

1×	node limit

Counts

2 → 103

Calls

Call 1

Inputs
(*.f64 (cbrt.f64 (/.f64 a g)) (pow.f64 2 1/3))
(/.f64 1 (*.f64 (cbrt.f64 (/.f64 a g)) (pow.f64 2 1/3)))

Outputs

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

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

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

103 → 103

Calls

Call 1

Inputs

Outputs

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))
	0.5b	(cbrt.f64 a)
	0.5b	(cbrt.f64 g)
	1.0b	(cbrt.f64 2)

Compiler

Compiled 24 to 14 computations (41.7% saved)

series2.0ms (0%)

Counts

1 → 0

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	a	@	-inf	(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))
0.0ms	g	@	0	(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))
0.0ms	g	@	-inf	(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))
0.0ms	g	@	inf	(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))
0.0ms	a	@	inf	(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))

rewrite57.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

887×	`pow1_binary64`
824×	`add-log-exp_binary64`
824×	`log1p-expm1-u_binary64`
824×	`expm1-log1p-u_binary64`
802×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	181	9
2	2223	9

Stop Event

1×	node limit

Counts

1 → 38

Calls

Call 1

Inputs
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))

Outputs

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

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

38 → 38

Calls

Call 1

Inputs

Outputs

localize22.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (cbrt.f64 a) (cbrt.f64 (/.f64 1 g)))
	0.5b	(cbrt.f64 a)
✓	0.9b	(cbrt.f64 (/.f64 1 g))
	1.0b	(cbrt.f64 2)

Compiler

Compiled 46 to 32 computations (30.4% saved)

series3.0ms (0.1%)

Counts

2 → 0

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	a	@	0	(*.f64 (cbrt.f64 a) (cbrt.f64 (/.f64 1 g)))
0.0ms	a	@	-inf	(*.f64 (cbrt.f64 a) (cbrt.f64 (/.f64 1 g)))
0.0ms	g	@	-inf	(cbrt.f64 (/.f64 1 g))
0.0ms	g	@	0	(cbrt.f64 (/.f64 1 g))
0.0ms	g	@	inf	(*.f64 (cbrt.f64 a) (cbrt.f64 (/.f64 1 g)))

rewrite54.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

652×	`pow1_binary64`
602×	`add-log-exp_binary64`
602×	`log1p-expm1-u_binary64`
602×	`expm1-log1p-u_binary64`
584×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	155	12
2	1746	12

Stop Event

1×	node limit

Counts

2 → 36

Calls

Call 1

Inputs
(cbrt.f64 (/.f64 1 g))
(*.f64 (cbrt.f64 a) (cbrt.f64 (/.f64 1 g)))

Outputs

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

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

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

36 → 36

Calls

Call 1

Inputs

Outputs

eval186.0ms (3.4%)

Compiler: Compiled 5842 to 3991 computations (31.7% saved)

prune111.0ms (2%)

Pruning

28 alts after pruning (14 fresh and 14 done)

	Pruned	Kept	Total
New	459	8	467
Fresh	7	6	13
Picked	0	1	1
Done	1	13	14
Total	467	28	495

Error

Counts

495 → 28

Alt Table

Click to see full alt table

Status	Error	Program
✓	17.3b	(cbrt.f64 (/.f64 1/2 (/.f64 a g)))
✓	0.8b	(.f64 (cbrt.f64 g) (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a))))
✓	17.2b	(cbrt.f64 (*.f64 (/.f64 1/2 a) g))
✓	0.8b	(.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (.f64 2 a))))
	17.5b	(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (/.f64 a g) 2))) -3)
✓	0.8b	(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
✓	0.9b	(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 a))
	1.1b	(/.f64 1 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 (/.f64 1 g))) (pow.f64 2 1/3)))
✓	1.1b	(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))
	16.9b	(/.f64 1 (cbrt.f64 (/.f64 (*.f64 2 a) g)))
	17.3b	(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
	1.5b	(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 g)) 3) (cbrt.f64 (/.f64 1/2 a)))
	17.4b	(/.f64 1 (cbrt.f64 (/.f64 2 (/.f64 g a))))
	17.7b	(+.f64 0 (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 2)))
✓	0.8b	(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
	17.0b	(/.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 a g)))
	0.9b	(*.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 1/2))
	0.8b	(/.f64 1 (.f64 (/.f64 1 (cbrt.f64 g)) (cbrt.f64 (.f64 2 a))))
✓	16.9b	(/.f64 1 (*.f64 (cbrt.f64 (/.f64 a g)) (pow.f64 2 1/3)))
✓	0.8b	(/.f64 1 (/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g)))
	17.0b	(/.f64 1 (/.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 1/2)))
✓	17.2b	(cbrt.f64 (/.f64 g (*.f64 2 a)))
	0.9b	(.f64 (/.f64 1 (cbrt.f64 a)) (cbrt.f64 (.f64 g 1/2)))
	1.1b	(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 2)) (cbrt.f64 a))
✓	1.5b	(/.f64 (cbrt.f64 g) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) 3))
✓	1.3b	(/.f64 1 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 (/.f64 1 g))) (cbrt.f64 2)))
✓	0.9b	(/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a))
	1.6b	(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (pow.f64 (cbrt.f64 (cbrt.f64 2)) 3)))

Compiler

Compiled 298 to 242 computations (18.8% saved)

regimes191.0ms (3.5%)

Counts

45 → 1

Calls

Call 1

Inputs
(cbrt.f64 (/.f64 1/2 (/.f64 a g)))
(cbrt.f64 (*.f64 (/.f64 1/2 a) g))
(cbrt.f64 (/.f64 g (*.f64 2 a)))
(/.f64 1 (cbrt.f64 (/.f64 (*.f64 2 a) g)))
(/.f64 1 (cbrt.f64 (/.f64 2 (/.f64 g a))))
(/.f64 1 (cbrt.f64 (*.f64 2 (/.f64 a g))))
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
(/.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 a g)))
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
(/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
(+.f64 0 (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 2)))
(/.f64 1 (/.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 1/2)))
(.f64 (/.f64 1 (cbrt.f64 a)) (cbrt.f64 (.f64 g 1/2)))
(/.f64 1 (*.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 2)))
(.f64 (/.f64 1 (cbrt.f64 a)) (cbrt.f64 (.f64 g 1/2)))
(.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (.f64 2 a))))
(/.f64 1 (/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g)))
(/.f64 1 (*.f64 (cbrt.f64 (/.f64 a g)) (pow.f64 2 1/3)))
(/.f64 1 (.f64 (/.f64 1 (cbrt.f64 g)) (cbrt.f64 (.f64 2 a))))
(/.f64 1 (/.f64 (cbrt.f64 (/.f64 a g)) (/.f64 1 (cbrt.f64 2))))
(*.f64 (/.f64 1 (cbrt.f64 (/.f64 a g))) (/.f64 1 (cbrt.f64 2)))
(*.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 1/2))
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 2)) (cbrt.f64 a))
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))
(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 1/2) (cbrt.f64 a)))
(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (/.f64 a g) 2))) -3)
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 1/2 (/.f64 g a))) 2))
(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 1/2 (/.f64 g a)))) 3)
(cbrt.f64 (/.f64 (/.f64 (*.f64 1/2 g) (sqrt.f64 a)) (sqrt.f64 a)))
(*.f64 (cbrt.f64 g) (/.f64 1 (/.f64 (cbrt.f64 a) (cbrt.f64 1/2))))
(.f64 (cbrt.f64 g) (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a))))
(/.f64 1 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 (/.f64 1 g))) (cbrt.f64 2)))
(/.f64 1 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 (/.f64 1 g))) (pow.f64 2 1/3)))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 g)) 3) (cbrt.f64 (/.f64 1/2 a)))
(/.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 g 1/2))) 3) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) 3))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 g)) 3) (/.f64 1 (cbrt.f64 (.f64 2 a))))
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (pow.f64 (cbrt.f64 (cbrt.f64 2)) 3)))
(.f64 (sqrt.f64 (cbrt.f64 (.f64 g 1/2))) (.f64 (sqrt.f64 (cbrt.f64 (.f64 g 1/2))) (/.f64 1 (cbrt.f64 a))))
(.f64 (/.f64 1 (cbrt.f64 (cbrt.f64 (.f64 2 (/.f64 a g))))) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 2 (/.f64 a g))) -2)))
(/.f64 (pow.f64 (cbrt.f64 (cbrt.f64 g)) 2) (/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 (cbrt.f64 g))))
(.f64 (cbrt.f64 g) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 2 a)) -2)) (cbrt.f64 (/.f64 1 (cbrt.f64 (.f64 2 a))))))
(/.f64 (cbrt.f64 g) (.f64 (pow.f64 (cbrt.f64 (.f64 2 a)) 1/6) (.f64 (pow.f64 (cbrt.f64 (.f64 2 a)) 1/6) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 2 a))) 2))))

Outputs
(.f64 (cbrt.f64 g) (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a))))

Calls

6 calls:

43.0ms	(cbrt.f64 (/.f64 g (*.f64 2 a)))
35.0ms	a
26.0ms	(*.f64 2 a)
25.0ms	(*.f64 2 a)
25.0ms	g

Results

Error	Segments	Branch
0.8b	1	`g`
0.8b	1	`a`
0.8b	1	`(cbrt.f64 (/.f64 g (*.f64 2 a)))`
0.8b	1	`(/.f64 g (*.f64 2 a))`
0.8b	1	`(*.f64 2 a)`
0.8b	1	`(*.f64 2 a)`

Compiler

Compiled 482 to 320 computations (33.6% saved)

regimes131.0ms (2.4%)

Counts

32 → 1

Calls

Call 1

Inputs
(cbrt.f64 (/.f64 1/2 (/.f64 a g)))
(cbrt.f64 (*.f64 (/.f64 1/2 a) g))
(cbrt.f64 (/.f64 g (*.f64 2 a)))
(/.f64 1 (cbrt.f64 (/.f64 (*.f64 2 a) g)))
(/.f64 1 (cbrt.f64 (/.f64 2 (/.f64 g a))))
(/.f64 1 (cbrt.f64 (*.f64 2 (/.f64 a g))))
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
(/.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 a g)))
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
(/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
(+.f64 0 (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 2)))
(/.f64 1 (/.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 1/2)))
(.f64 (/.f64 1 (cbrt.f64 a)) (cbrt.f64 (.f64 g 1/2)))
(/.f64 1 (*.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 2)))
(.f64 (/.f64 1 (cbrt.f64 a)) (cbrt.f64 (.f64 g 1/2)))
(.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (.f64 2 a))))
(/.f64 1 (/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g)))
(/.f64 1 (*.f64 (cbrt.f64 (/.f64 a g)) (pow.f64 2 1/3)))
(/.f64 1 (.f64 (/.f64 1 (cbrt.f64 g)) (cbrt.f64 (.f64 2 a))))
(/.f64 1 (/.f64 (cbrt.f64 (/.f64 a g)) (/.f64 1 (cbrt.f64 2))))
(*.f64 (/.f64 1 (cbrt.f64 (/.f64 a g))) (/.f64 1 (cbrt.f64 2)))
(*.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 a)) (cbrt.f64 1/2))
(/.f64 (/.f64 (cbrt.f64 g) (cbrt.f64 2)) (cbrt.f64 a))
(/.f64 (*.f64 (cbrt.f64 g) (cbrt.f64 1/2)) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 a) (cbrt.f64 2)))
(*.f64 (cbrt.f64 g) (/.f64 (cbrt.f64 1/2) (cbrt.f64 a)))
(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (/.f64 a g) 2))) -3)
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 1/2 (/.f64 g a))) 2))
(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 1/2 (/.f64 g a)))) 3)
(cbrt.f64 (/.f64 (/.f64 (*.f64 1/2 g) (sqrt.f64 a)) (sqrt.f64 a)))
(*.f64 (cbrt.f64 g) (/.f64 1 (/.f64 (cbrt.f64 a) (cbrt.f64 1/2))))

Outputs
(.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (.f64 2 a))))

Calls

5 calls:

54.0ms	g
20.0ms	a
19.0ms	(*.f64 2 a)
14.0ms	(/.f64 g (*.f64 2 a))
13.0ms	(cbrt.f64 (/.f64 g (*.f64 2 a)))

Results

Error	Segments	Branch
0.8b	1	`g`
0.8b	1	`a`
0.8b	1	`(cbrt.f64 (/.f64 g (*.f64 2 a)))`
0.8b	1	`(/.f64 g (*.f64 2 a))`
0.8b	1	`(*.f64 2 a)`

Compiler

Compiled 298 to 189 computations (36.6% saved)

regimes102.0ms (1.8%)

Counts

16 → 1

Calls

Call 1

Inputs
(cbrt.f64 (/.f64 1/2 (/.f64 a g)))
(cbrt.f64 (*.f64 (/.f64 1/2 a) g))
(cbrt.f64 (/.f64 g (*.f64 2 a)))
(/.f64 1 (cbrt.f64 (/.f64 (*.f64 2 a) g)))
(/.f64 1 (cbrt.f64 (/.f64 2 (/.f64 g a))))
(/.f64 1 (cbrt.f64 (*.f64 2 (/.f64 a g))))
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
(/.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 a g)))
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
(/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
(+.f64 0 (/.f64 (cbrt.f64 (/.f64 g a)) (cbrt.f64 2)))
(/.f64 1 (/.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 1/2)))
(.f64 (/.f64 1 (cbrt.f64 a)) (cbrt.f64 (.f64 g 1/2)))
(/.f64 1 (*.f64 (cbrt.f64 (/.f64 a g)) (cbrt.f64 2)))
(.f64 (/.f64 1 (cbrt.f64 a)) (cbrt.f64 (.f64 g 1/2)))

Outputs
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))

Calls

5 calls:

61.0ms	a
10.0ms	(*.f64 2 a)
10.0ms	g
8.0ms	(cbrt.f64 (/.f64 g (*.f64 2 a)))
7.0ms	(/.f64 g (*.f64 2 a))

Results

Error	Segments	Branch
0.8b	1	`g`
0.8b	1	`a`
0.8b	1	`(cbrt.f64 (/.f64 g (*.f64 2 a)))`
0.8b	1	`(/.f64 g (*.f64 2 a))`
0.8b	1	`(*.f64 2 a)`

Compiler

Compiled 150 to 99 computations (34% saved)

regimes42.0ms (0.8%)

Counts

10 → 1

Calls

Call 1

Inputs
(cbrt.f64 (/.f64 1/2 (/.f64 a g)))
(cbrt.f64 (*.f64 (/.f64 1/2 a) g))
(cbrt.f64 (/.f64 g (*.f64 2 a)))
(/.f64 1 (cbrt.f64 (/.f64 (*.f64 2 a) g)))
(/.f64 1 (cbrt.f64 (/.f64 2 (/.f64 g a))))
(/.f64 1 (cbrt.f64 (*.f64 2 (/.f64 a g))))
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
(/.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 a g)))
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
(/.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a))

Outputs
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))

Calls

6 calls:

7.0ms	(*.f64 2 a)
7.0ms	g
7.0ms	(*.f64 2 a)
6.0ms	a
6.0ms	(cbrt.f64 (/.f64 g (*.f64 2 a)))

Results

Error	Segments	Branch
0.8b	1	`g`
0.8b	1	`a`
0.8b	1	`(cbrt.f64 (/.f64 g (*.f64 2 a)))`
0.8b	1	`(/.f64 g (*.f64 2 a))`
0.8b	1	`(*.f64 2 a)`
0.8b	1	`(*.f64 2 a)`

Compiler

Compiled 103 to 72 computations (30.1% saved)

regimes35.0ms (0.6%)

Counts

8 → 1

Calls

Call 1

Inputs
(cbrt.f64 (/.f64 1/2 (/.f64 a g)))
(cbrt.f64 (*.f64 (/.f64 1/2 a) g))
(cbrt.f64 (/.f64 g (*.f64 2 a)))
(/.f64 1 (cbrt.f64 (/.f64 (*.f64 2 a) g)))
(/.f64 1 (cbrt.f64 (/.f64 2 (/.f64 g a))))
(/.f64 1 (cbrt.f64 (*.f64 2 (/.f64 a g))))
(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 g a)))
(/.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 a g)))

Outputs
(/.f64 1 (cbrt.f64 (/.f64 (*.f64 2 a) g)))

Calls

5 calls:

10.0ms	g
6.0ms	(*.f64 2 a)
6.0ms	(cbrt.f64 (/.f64 g (*.f64 2 a)))
6.0ms	a
5.0ms	(/.f64 g (*.f64 2 a))

Results

Error	Segments	Branch
16.9b	1	`g`
16.9b	1	`a`
16.9b	1	`(cbrt.f64 (/.f64 g (*.f64 2 a)))`
16.9b	1	`(/.f64 g (*.f64 2 a))`
16.9b	1	`(*.f64 2 a)`

Compiler

Compiled 84 to 58 computations (31% saved)

regimes23.0ms (0.4%)

Accuracy

Total -0.2b remaining (-1%)

Threshold costs -0.2b (-1%)

Counts

3 → 1

Calls

Call 1

Inputs
(cbrt.f64 (/.f64 1/2 (/.f64 a g)))
(cbrt.f64 (*.f64 (/.f64 1/2 a) g))
(cbrt.f64 (/.f64 g (*.f64 2 a)))

Outputs
(cbrt.f64 (*.f64 (/.f64 1/2 a) g))

Calls

5 calls:

6.0ms	(*.f64 2 a)
5.0ms	a
4.0ms	g
3.0ms	(/.f64 g (*.f64 2 a))
3.0ms	(cbrt.f64 (/.f64 g (*.f64 2 a)))

Results

Error	Segments	Branch
17.2b	1	`g`
17.2b	1	`a`
17.2b	1	`(cbrt.f64 (/.f64 g (*.f64 2 a)))`
17.2b	1	`(/.f64 g (*.f64 2 a))`
17.2b	1	`(*.f64 2 a)`

Compiler

Compiled 46 to 33 computations (28.3% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	82
1	36	82

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(.f64 (cbrt.f64 g) (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a))))
(.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (.f64 2 a))))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
(/.f64 1 (cbrt.f64 (/.f64 (*.f64 2 a) g)))
(cbrt.f64 (*.f64 (/.f64 1/2 a) g))
(cbrt.f64 (/.f64 1/2 (/.f64 a g)))

Outputs
(.f64 (cbrt.f64 g) (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a))))
(.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (.f64 2 a))))
(.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (.f64 a 2))))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 a 2)))
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
(/.f64 1 (cbrt.f64 (/.f64 (*.f64 2 a) g)))
(/.f64 1 (cbrt.f64 (/.f64 (*.f64 a 2) g)))
(cbrt.f64 (*.f64 (/.f64 1/2 a) g))
(cbrt.f64 (*.f64 g (/.f64 1/2 a)))
(cbrt.f64 (/.f64 1/2 (/.f64 a g)))

Compiler

Compiled 67 to 53 computations (20.9% saved)

soundness0.0ms (0%)

end54.0ms (1%)

Compiler: Compiled 55 to 38 computations (30.9% saved)