Details

analyze222.0ms (2.9%)

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
0%	0%	99.9%	0.1%	0%	0%	0%	4
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	5
14.8%	12.5%	71.8%	0.1%	9.4%	0%	6.2%	6
24.5%	20.3%	62.4%	0.1%	10.9%	0%	6.2%	7
28.4%	21.1%	53.1%	0.1%	16.4%	0%	9.4%	8
34.8%	25.4%	47.6%	0.1%	17.6%	0%	9.4%	9
38.7%	26%	41.2%	0.1%	20.5%	1.4%	10.9%	10
42.6%	28.3%	38%	0.1%	21.2%	1.5%	10.9%	11
44.6%	28.6%	35.5%	0.1%	22.7%	1.5%	11.7%	12

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample7.1s (92.5%)

Results

4.2s	1604×	body	8192	exit
1.3s	3114×	body	1024	invalid
1.0s	8256×	body	256	valid
392.0ms	1616×	body	512	invalid
143.0ms	1334×	body	256	invalid
60.0ms	533×	body	256	infinite
24.0ms	133×	body	256	unsamplable
3.0ms	1×	body	8192	invalid
2.0ms	3×	body	2048	invalid
2.0ms	1×	body	4096	invalid

Bogosity

preprocess115.0ms (1.5%)

Algorithm

2×	egg-herbie

Rules

2070×	`associate-*l/`
1200×	`sqr-pow`
946×	`associate-r`
848×	`associate-/r*`
822×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	50
1	33	50
2	67	42
3	155	42
4	527	42
5	1914	42
6	3629	42
7	3784	42
8	4016	42
9	4466	42
10	5325	42
11	6896	42
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
(*.f64 (exp.f64 (neg.f64 l)) (pow.f64 w (exp.f64 l)))

Outputs
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
(*.f64 (exp.f64 (neg.f64 l)) (pow.f64 w (exp.f64 l)))
(/.f64 (pow.f64 w (exp.f64 l)) (exp.f64 l))

Compiler

Compiled 12 to 9 computations (25% saved)

simplify124.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

1832×	`associate-*l/`
1662×	`sqr-pow`
1410×	`*-commutative`
888×	`times-frac`
778×	`pow-sqr`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	21	25
2	39	21
3	84	21
4	275	21
5	976	21
6	2998	21
7	3098	21
8	3226	21
9	3463	21
10	3913	21
11	4735	21
12	7788	21

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))

Outputs
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))

eval0.0ms (0%)

Compiler: Compiled 17 to 8 computations (52.9% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

99.6%

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	99.6%	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
▶	99.6%	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))

Compiler

Compiled 19 to 12 computations (36.8% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	100.0%	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
✓	99.6%	(pow.f64 l (exp.f64 w))

Compiler

Compiled 23 to 7 computations (69.6% saved)

series52.0ms (0.7%)

Counts

2 → 40

Calls

12 calls:

Time	Variable		Point	Expression
18.0ms	l	@	0	(pow.f64 l (exp.f64 w))
13.0ms	l	@	-inf	(pow.f64 l (exp.f64 w))
12.0ms	w	@	inf	(pow.f64 l (exp.f64 w))
5.0ms	l	@	inf	(pow.f64 l (exp.f64 w))
0.0ms	w	@	0	(pow.f64 l (exp.f64 w))

rewrite51.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1572×	`add-sqr-sqrt`
1556×	`*-un-lft-identity`
1442×	`add-cube-cbrt`
1422×	`add-cbrt-cube`
196×	`pow1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	36
1	199	32
2	2483	32

Stop Event

1×	node limit

Calls

Call 1

Inputs
(pow.f64 l (exp.f64 w))
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))

Outputs
((((x -.f64 (exp.f64 (log1p.f64 (pow.f64 l (exp.f64 w)))) 1))) (((x .f64 (pow.f64 l (exp.f64 w)) 1))) (((x .f64 1 (pow.f64 l (exp.f64 w))))) (((x .f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (sqrt.f64 (pow.f64 l (exp.f64 w)))))) (((x .f64 (cbrt.f64 (pow.f64 l (exp.f64 w))) (pow.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))) 2)))) (((x .f64 (pow.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))) 2) (cbrt.f64 (pow.f64 l (exp.f64 w)))))) (((x .f64 (pow.f64 1 (exp.f64 w)) (pow.f64 l (exp.f64 w))))) (((x .f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (pow.f64 (sqrt.f64 l) (exp.f64 w))))) (((x .f64 (pow.f64 (pow.f64 (cbrt.f64 l) 2) (exp.f64 w)) (pow.f64 (cbrt.f64 l) (exp.f64 w))))) (((x sqrt.f64 (pow.f64 l (.f64 2 (exp.f64 w)))))) (((x log.f64 (exp.f64 (pow.f64 l (exp.f64 w)))))) (((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 l (exp.f64 w))))))) (((x cbrt.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 3)))) (((x expm1.f64 (log1p.f64 (pow.f64 l (exp.f64 w)))))) (((x exp.f64 (.f64 (exp.f64 w) (log.f64 l))))) (((x exp.f64 (.f64 (.f64 (exp.f64 w) (log.f64 l)) 1)))) (((x log1p.f64 (expm1.f64 (pow.f64 l (exp.f64 w)))))))
((((x -.f64 (exp.f64 (log1p.f64 (.f64 (exp.f64 w) (pow.f64 l (exp.f64 w))))) 1))) (((x /.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))) (((x pow.f64 (.f64 (exp.f64 w) (pow.f64 l (exp.f64 w))) 1))) (((x pow.f64 (sqrt.f64 (.f64 (exp.f64 w) (pow.f64 l (exp.f64 w)))) 2))) (((x pow.f64 (cbrt.f64 (.f64 (exp.f64 w) (pow.f64 l (exp.f64 w)))) 3))) (((x pow.f64 (pow.f64 (.f64 (exp.f64 w) (pow.f64 l (exp.f64 w))) 3) 1/3))) (((x sqrt.f64 (pow.f64 (.f64 (exp.f64 w) (pow.f64 l (exp.f64 w))) 2)))) (((x log.f64 (pow.f64 (exp.f64 (exp.f64 w)) (pow.f64 l (exp.f64 w)))))) (((x log.f64 (+.f64 1 (expm1.f64 (.f64 (exp.f64 w) (pow.f64 l (exp.f64 w)))))))) (((x cbrt.f64 (pow.f64 (.f64 (exp.f64 w) (pow.f64 l (exp.f64 w))) 3)))) (((x expm1.f64 (log1p.f64 (.f64 (exp.f64 w) (pow.f64 l (exp.f64 w))))))) (((x exp.f64 (+.f64 w (.f64 (exp.f64 w) (log.f64 l)))))) (((x exp.f64 (.f64 (+.f64 w (.f64 (exp.f64 w) (log.f64 l))) 1)))) (((x log1p.f64 (expm1.f64 (*.f64 (exp.f64 w) (pow.f64 l (exp.f64 w))))))))

Outputs

((((x -.f64 (exp.f64 (log1p.f64 (pow.f64 l (exp.f64 w)))) 1))) (((x *.f64 (pow.f64 l (exp.f64 w)) 1))) (((x *.f64 1 (pow.f64 l (exp.f64 w))))) (((x *.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (sqrt.f64 (pow.f64 l (exp.f64 w)))))) (((x *.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))) (pow.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))) 2)))) (((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))) 2) (cbrt.f64 (pow.f64 l (exp.f64 w)))))) (((x *.f64 (pow.f64 1 (exp.f64 w)) (pow.f64 l (exp.f64 w))))) (((x *.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (pow.f64 (sqrt.f64 l) (exp.f64 w))))) (((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 l) 2) (exp.f64 w)) (pow.f64 (cbrt.f64 l) (exp.f64 w))))) (((x sqrt.f64 (pow.f64 l (*.f64 2 (exp.f64 w)))))) (((x log.f64 (exp.f64 (pow.f64 l (exp.f64 w)))))) (((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 l (exp.f64 w))))))) (((x cbrt.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 3)))) (((x expm1.f64 (log1p.f64 (pow.f64 l (exp.f64 w)))))) (((x exp.f64 (*.f64 (exp.f64 w) (log.f64 l))))) (((x exp.f64 (*.f64 (*.f64 (exp.f64 w) (log.f64 l)) 1)))) (((x log1p.f64 (expm1.f64 (pow.f64 l (exp.f64 w)))))))

((((x -.f64 (exp.f64 (log1p.f64 (*.f64 (exp.f64 w) (pow.f64 l (exp.f64 w))))) 1))) (((x /.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))) (((x pow.f64 (*.f64 (exp.f64 w) (pow.f64 l (exp.f64 w))) 1))) (((x pow.f64 (sqrt.f64 (*.f64 (exp.f64 w) (pow.f64 l (exp.f64 w)))) 2))) (((x pow.f64 (cbrt.f64 (*.f64 (exp.f64 w) (pow.f64 l (exp.f64 w)))) 3))) (((x pow.f64 (pow.f64 (*.f64 (exp.f64 w) (pow.f64 l (exp.f64 w))) 3) 1/3))) (((x sqrt.f64 (pow.f64 (*.f64 (exp.f64 w) (pow.f64 l (exp.f64 w))) 2)))) (((x log.f64 (pow.f64 (exp.f64 (exp.f64 w)) (pow.f64 l (exp.f64 w)))))) (((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (exp.f64 w) (pow.f64 l (exp.f64 w)))))))) (((x cbrt.f64 (pow.f64 (*.f64 (exp.f64 w) (pow.f64 l (exp.f64 w))) 3)))) (((x expm1.f64 (log1p.f64 (*.f64 (exp.f64 w) (pow.f64 l (exp.f64 w))))))) (((x exp.f64 (+.f64 w (*.f64 (exp.f64 w) (log.f64 l)))))) (((x exp.f64 (*.f64 (+.f64 w (*.f64 (exp.f64 w) (log.f64 l))) 1)))) (((x log1p.f64 (expm1.f64 (*.f64 (exp.f64 w) (pow.f64 l (exp.f64 w))))))))

Details

analyze222.0ms (2.9%)

sample7.1s (92.5%)

preprocess115.0ms (1.5%)

simplify124.0ms (1.6%)

eval0.0ms (0%)

prune1.0ms (0%)

localize9.0ms (0.1%)

series52.0ms (0.7%)

rewrite51.0ms (0.7%)

end0.0ms (0%)

Profiling