Details

analyze37.0ms (4.4%)

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)

sample722.0ms (84.1%)

Results

711.0ms

8256×

body

256

valid

Bogosity

preprocess13.0ms (1.6%)

Algorithm

2×	egg-herbie

Rules

8×	`associate-/r*`
4×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	34
1	18	34
2	22	34
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 a (*.f64 2 g)))
(cbrt.f64 (/.f64 (/.f64 a 2) g))

Compiler

Compiled 10 to 8 computations (20% saved)

simplify16.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

4×	`associate-/r*`
2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	12	17
2	14	17

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

eval0.0ms (0%)

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

prune1.0ms (0.1%)

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

77.2%

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	77.2%	(cbrt.f64 (/.f64 g (*.f64 2 a)))

Compiler

Compiled 8 to 6 computations (25% saved)

localize8.0ms (1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	77.6%	(cbrt.f64 (/.f64 g (*.f64 2 a)))

Compiler

Compiled 19 to 12 computations (36.8% saved)

series3.0ms (0.4%)

Counts

1 → 0

Calls

6 calls:

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

rewrite57.0ms (6.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1862×	`add-sqr-sqrt`
1838×	`*-un-lft-identity`
1722×	`add-cube-cbrt`
1702×	`add-cbrt-cube`
178×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	183	17
2	2299	17

Stop Event

1×	node limit

Calls

Call 1

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

Outputs
((((x -.f64 (exp.f64 (log1p.f64 (cbrt.f64 (.f64 g (/.f64 1/2 a))))) 1))) (((x .f64 (cbrt.f64 (.f64 g (/.f64 1/2 a))) 1))) (((x .f64 1 (cbrt.f64 (.f64 g (/.f64 1/2 a)))))) (((x .f64 (pow.f64 (.f64 g (/.f64 1/2 a)) 1/6) (pow.f64 (.f64 g (/.f64 1/2 a)) 1/6)))) (((x .f64 (cbrt.f64 (cbrt.f64 (.f64 g (/.f64 1/2 a)))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 g (/.f64 1/2 a)))) 2)))) (((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 g (/.f64 1/2 a)))) 2) (cbrt.f64 (cbrt.f64 (.f64 g (/.f64 1/2 a))))))) (((x .f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))))) (((x .f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (.f64 2 a)))))) (((x .f64 (cbrt.f64 g) (pow.f64 (/.f64 1/2 a) 1/3)))) (((x .f64 (pow.f64 1 1/3) (cbrt.f64 (.f64 g (/.f64 1/2 a)))))) (((x .f64 (pow.f64 (sqrt.f64 (.f64 g (/.f64 1/2 a))) 1/3) (pow.f64 (sqrt.f64 (.f64 g (/.f64 1/2 a))) 1/3)))) (((x .f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 g (/.f64 1/2 a))) 2) 1/3) (cbrt.f64 (cbrt.f64 (.f64 g (/.f64 1/2 a))))))) (((x /.f64 1 (cbrt.f64 (/.f64 a (.f64 g 1/2)))))) (((x /.f64 1 (/.f64 (cbrt.f64 (.f64 2 a)) (cbrt.f64 g))))) (((x /.f64 (cbrt.f64 g) (cbrt.f64 (.f64 2 a))))) (((x /.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (.f64 a -2))))) (((x /.f64 (cbrt.f64 (.f64 g 1/2)) (cbrt.f64 a)))) (((x /.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (.f64 2 a)))))) (((x pow.f64 (.f64 g (/.f64 1/2 a)) 1/3))) (((x pow.f64 (cbrt.f64 (.f64 g (/.f64 1/2 a))) 1))) (((x pow.f64 (pow.f64 (.f64 g (/.f64 1/2 a)) 1/6) 2))) (((x pow.f64 (cbrt.f64 (cbrt.f64 (.f64 g (/.f64 1/2 a)))) 3))) (((x sqrt.f64 (pow.f64 (cbrt.f64 (.f64 g (/.f64 1/2 a))) 2)))) (((x log.f64 (exp.f64 (cbrt.f64 (.f64 g (/.f64 1/2 a))))))) (((x log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 (.f64 g (/.f64 1/2 a)))))))) (((x expm1.f64 (log1p.f64 (cbrt.f64 (.f64 g (/.f64 1/2 a))))))) (((x exp.f64 (log.f64 (cbrt.f64 (.f64 g (/.f64 1/2 a))))))) (((x exp.f64 (.f64 (log.f64 (.f64 g (/.f64 1/2 a))) 1/3)))) (((x exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 g (/.f64 1/2 a)))) 1)))) (((x log1p.f64 (expm1.f64 (cbrt.f64 (.f64 g (/.f64 1/2 a))))))))

Outputs

((((x -.f64 (exp.f64 (log1p.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a))))) 1))) (((x *.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a))) 1))) (((x *.f64 1 (cbrt.f64 (*.f64 g (/.f64 1/2 a)))))) (((x *.f64 (pow.f64 (*.f64 g (/.f64 1/2 a)) 1/6) (pow.f64 (*.f64 g (/.f64 1/2 a)) 1/6)))) (((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a)))) 2)))) (((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a)))) 2) (cbrt.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a))))))) (((x *.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a))))) (((x *.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (*.f64 2 a)))))) (((x *.f64 (cbrt.f64 g) (pow.f64 (/.f64 1/2 a) 1/3)))) (((x *.f64 (pow.f64 1 1/3) (cbrt.f64 (*.f64 g (/.f64 1/2 a)))))) (((x *.f64 (pow.f64 (sqrt.f64 (*.f64 g (/.f64 1/2 a))) 1/3) (pow.f64 (sqrt.f64 (*.f64 g (/.f64 1/2 a))) 1/3)))) (((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a))))))) (((x /.f64 1 (cbrt.f64 (/.f64 a (*.f64 g 1/2)))))) (((x /.f64 1 (/.f64 (cbrt.f64 (*.f64 2 a)) (cbrt.f64 g))))) (((x /.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a))))) (((x /.f64 (cbrt.f64 (neg.f64 g)) (cbrt.f64 (*.f64 a -2))))) (((x /.f64 (cbrt.f64 (*.f64 g 1/2)) (cbrt.f64 a)))) (((x /.f64 (neg.f64 (cbrt.f64 g)) (neg.f64 (cbrt.f64 (*.f64 2 a)))))) (((x pow.f64 (*.f64 g (/.f64 1/2 a)) 1/3))) (((x pow.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a))) 1))) (((x pow.f64 (pow.f64 (*.f64 g (/.f64 1/2 a)) 1/6) 2))) (((x pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a)))) 3))) (((x sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a))) 2)))) (((x log.f64 (exp.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a))))))) (((x log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a)))))))) (((x expm1.f64 (log1p.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a))))))) (((x exp.f64 (log.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a))))))) (((x exp.f64 (*.f64 (log.f64 (*.f64 g (/.f64 1/2 a))) 1/3)))) (((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a)))) 1)))) (((x log1p.f64 (expm1.f64 (cbrt.f64 (*.f64 g (/.f64 1/2 a))))))))

Details

analyze37.0ms (4.4%)

sample722.0ms (84.1%)

preprocess13.0ms (1.6%)

simplify16.0ms (1.9%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize8.0ms (1%)

series3.0ms (0.4%)

rewrite57.0ms (6.6%)

end0.0ms (0%)

Profiling