Metrics for Exp of sum of logs

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze1.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

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%	50%	0.1%	0%	50%	0%	2
100%	25%	0%	0.1%	0%	74.9%	0%	3

Compiler

Compiled 8 to 8 computations (0% saved)

sample1000.0ms (44.9%)

Memory

32.5MiB live, 822.0MiB allocated

Samples

756.0ms

8 256×

valid

Precisions

Click to see histograms. Total time spent on operations: 486.0ms

ival-log: 245.0ms (50.4% of total)

ival-exp: 189.0ms (38.9% of total)

ival-add: 42.0ms (8.6% of total)

ival-true: 6.0ms (1.2% of total)

ival-assert: 4.0ms (0.8% of total)

Bogosity

explain123.0ms (5.5%)

Memory

-16.4MiB live, 80.7MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
142	20	(3.0809120454881762e-19 4.0634149232751134e+301)	14	(9.40204180158873e-44 900313.2044312202)	`(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))`
7	0	-	5	(6.191451610405298e-287 6.464345092106693e+289)	`(+.f64 (log.f64 a) (log.f64 b))`
0	0	-	0	-	`a`
0	0	-	0	-	`b`
0	0	-	0	-	`(log.f64 a)`
0	0	-	0	-	`(log.f64 b)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`exp.f64`	`(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))`	sensitivity	148	30
`+.f64`	`(+.f64 (log.f64 a) (log.f64 b))`	cancellation	2	5

Confusion

	Predicted +	Predicted -
+	136	45
-	14	61

Precision

0.9066666666666666

Recall

0.7513812154696132

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	136	31	14
-	14	4	57

Precision?

0.9027027027027027

Recall?

0.9226519337016574

Freqs

test

number	freq
0	106
1	150

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

35.0ms

512×

valid

Compiler

Compiled 44 to 22 computations (50% saved)

Precisions

Click to see histograms. Total time spent on operations: 21.0ms

ival-log: 12.0ms (56.7% of total)

ival-exp: 6.0ms (28.3% of total)

ival-add: 3.0ms (14.2% of total)

ival-true: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

preprocess38.0ms (1.7%)

Memory

-20.9MiB live, 18.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	38
1	36	23
2	70	17
3	111	17
4	164	17
5	170	17
0	6	6
0	10	6
1	14	3
2	19	3
0	19	3

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))

Outputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(*.f64 b a)

Symmetry

(negabs b)

(negabs a)

(sort a b)

Compiler

Compiled 6 to 6 computations (0% saved)

eval0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	92.0%	(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))

Compiler

Compiled 6 to 6 computations (0% saved)

simplify3.0ms (0.1%)

Memory

2.2MiB live, 2.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(log.f64 b)
cost-diff	0	(log.f64 a)
cost-diff	0	(+.f64 (log.f64 a) (log.f64 b))
cost-diff	19072	(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	17
0	10	17
1	14	14
2	19	14
0	19	14

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(+.f64 (log.f64 a) (log.f64 b))
(log.f64 a)
a
(log.f64 b)
b

Outputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(*.f64 b a)
(+.f64 (log.f64 a) (log.f64 b))
(+.f64 (log.f64 b) (log.f64 a))
(log.f64 a)
a
(log.f64 b)
b

localize23.0ms (1%)

Memory

23.2MiB live, 23.2MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(log.f64 b)
accuracy	0	(log.f64 a)
accuracy	0.742561198814038	(+.f64 (log.f64 a) (log.f64 b))
accuracy	3.9232734126407043	(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))

Samples

17.0ms

256×

valid

Compiler

Compiled 19 to 8 computations (57.9% saved)

Precisions

Click to see histograms. Total time spent on operations: 10.0ms

ival-log: 6.0ms (57.5% of total)

ival-exp: 3.0ms (28.8% of total)

ival-add: 1.0ms (9.6% of total)

ival-true: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series184.0ms (8.3%)

Memory

5.5MiB live, 195.5MiB allocated

Counts

4 → 72

Calls

Call 1

Inputs
#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())
#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())
#s(alt (log.f64 a) (patch (log.f64 a) #<representation binary64>) () ())
#s(alt (log.f64 b) (patch (log.f64 b) #<representation binary64>) () ())

Outputs
#s(alt (exp (+ (log a) (log b))) (taylor 0 b) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log a) (log b))) (taylor 0 b) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log a) (log b))) (taylor 0 b) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log a) (log b))) (taylor 0 b) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (+ (log a) (log b)) (taylor 0 b) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log a) (log b)) (taylor 0 b) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log a) (log b)) (taylor 0 b) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log a) (log b)) (taylor 0 b) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (log b) (taylor 0 b) (#s(alt (log.f64 b) (patch (log.f64 b) #<representation binary64>) () ())) ())
#s(alt (log b) (taylor 0 b) (#s(alt (log.f64 b) (patch (log.f64 b) #<representation binary64>) () ())) ())
#s(alt (log b) (taylor 0 b) (#s(alt (log.f64 b) (patch (log.f64 b) #<representation binary64>) () ())) ())
#s(alt (log b) (taylor 0 b) (#s(alt (log.f64 b) (patch (log.f64 b) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log a) (* -1 (log (/ 1 b))))) (taylor inf b) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log a) (* -1 (log (/ 1 b))))) (taylor inf b) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log a) (* -1 (log (/ 1 b))))) (taylor inf b) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log a) (* -1 (log (/ 1 b))))) (taylor inf b) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (+ (log a) (* -1 (log (/ 1 b)))) (taylor inf b) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log a) (* -1 (log (/ 1 b)))) (taylor inf b) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log a) (* -1 (log (/ 1 b)))) (taylor inf b) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log a) (* -1 (log (/ 1 b)))) (taylor inf b) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 b))) (taylor inf b) (#s(alt (log.f64 b) (patch (log.f64 b) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 b))) (taylor inf b) (#s(alt (log.f64 b) (patch (log.f64 b) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 b))) (taylor inf b) (#s(alt (log.f64 b) (patch (log.f64 b) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 b))) (taylor inf b) (#s(alt (log.f64 b) (patch (log.f64 b) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log -1) (+ (log a) (* -1 (log (/ -1 b)))))) (taylor -inf b) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log -1) (+ (log a) (* -1 (log (/ -1 b)))))) (taylor -inf b) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log -1) (+ (log a) (* -1 (log (/ -1 b)))))) (taylor -inf b) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log -1) (+ (log a) (* -1 (log (/ -1 b)))))) (taylor -inf b) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (+ (log a) (* -1 (log (/ -1 b))))) (taylor -inf b) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (+ (log a) (* -1 (log (/ -1 b))))) (taylor -inf b) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (+ (log a) (* -1 (log (/ -1 b))))) (taylor -inf b) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (+ (log a) (* -1 (log (/ -1 b))))) (taylor -inf b) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 b)))) (taylor -inf b) (#s(alt (log.f64 b) (patch (log.f64 b) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 b)))) (taylor -inf b) (#s(alt (log.f64 b) (patch (log.f64 b) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 b)))) (taylor -inf b) (#s(alt (log.f64 b) (patch (log.f64 b) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 b)))) (taylor -inf b) (#s(alt (log.f64 b) (patch (log.f64 b) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log a) (log b))) (taylor 0 a) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log a) (log b))) (taylor 0 a) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log a) (log b))) (taylor 0 a) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log a) (log b))) (taylor 0 a) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (+ (log a) (log b)) (taylor 0 a) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log a) (log b)) (taylor 0 a) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log a) (log b)) (taylor 0 a) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log a) (log b)) (taylor 0 a) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (log a) (taylor 0 a) (#s(alt (log.f64 a) (patch (log.f64 a) #<representation binary64>) () ())) ())
#s(alt (log a) (taylor 0 a) (#s(alt (log.f64 a) (patch (log.f64 a) #<representation binary64>) () ())) ())
#s(alt (log a) (taylor 0 a) (#s(alt (log.f64 a) (patch (log.f64 a) #<representation binary64>) () ())) ())
#s(alt (log a) (taylor 0 a) (#s(alt (log.f64 a) (patch (log.f64 a) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log b) (* -1 (log (/ 1 a))))) (taylor inf a) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log b) (* -1 (log (/ 1 a))))) (taylor inf a) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log b) (* -1 (log (/ 1 a))))) (taylor inf a) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log b) (* -1 (log (/ 1 a))))) (taylor inf a) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (+ (log b) (* -1 (log (/ 1 a)))) (taylor inf a) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log b) (* -1 (log (/ 1 a)))) (taylor inf a) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log b) (* -1 (log (/ 1 a)))) (taylor inf a) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log b) (* -1 (log (/ 1 a)))) (taylor inf a) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 a))) (taylor inf a) (#s(alt (log.f64 a) (patch (log.f64 a) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 a))) (taylor inf a) (#s(alt (log.f64 a) (patch (log.f64 a) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 a))) (taylor inf a) (#s(alt (log.f64 a) (patch (log.f64 a) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 a))) (taylor inf a) (#s(alt (log.f64 a) (patch (log.f64 a) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log -1) (+ (log b) (* -1 (log (/ -1 a)))))) (taylor -inf a) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log -1) (+ (log b) (* -1 (log (/ -1 a)))))) (taylor -inf a) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log -1) (+ (log b) (* -1 (log (/ -1 a)))))) (taylor -inf a) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (exp (+ (log -1) (+ (log b) (* -1 (log (/ -1 a)))))) (taylor -inf a) (#s(alt (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) (patch (exp.f64 (+.f64 (log.f64 a) (log.f64 b))) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (+ (log b) (* -1 (log (/ -1 a))))) (taylor -inf a) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (+ (log b) (* -1 (log (/ -1 a))))) (taylor -inf a) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (+ (log b) (* -1 (log (/ -1 a))))) (taylor -inf a) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (+ (log b) (* -1 (log (/ -1 a))))) (taylor -inf a) (#s(alt (+.f64 (log.f64 a) (log.f64 b)) (patch (+.f64 (log.f64 a) (log.f64 b)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 a)))) (taylor -inf a) (#s(alt (log.f64 a) (patch (log.f64 a) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 a)))) (taylor -inf a) (#s(alt (log.f64 a) (patch (log.f64 a) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 a)))) (taylor -inf a) (#s(alt (log.f64 a) (patch (log.f64 a) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 a)))) (taylor -inf a) (#s(alt (log.f64 a) (patch (log.f64 a) #<representation binary64>) () ())) ())

Calls

6 calls:

Time	Variable		Point	Expression
70.0ms	b	@	0	((exp (+ (log a) (log b))) (+ (log a) (log b)) (log a) (log b))
38.0ms	b	@	-inf	((exp (+ (log a) (log b))) (+ (log a) (log b)) (log a) (log b))
28.0ms	a	@	-inf	((exp (+ (log a) (log b))) (+ (log a) (log b)) (log a) (log b))
23.0ms	a	@	0	((exp (+ (log a) (log b))) (+ (log a) (log b)) (log a) (log b))
13.0ms	a	@	inf	((exp (+ (log a) (log b))) (+ (log a) (log b)) (log a) (log b))

simplify200.0ms (9%)

Memory

11.4MiB live, 131.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	33	312
1	70	240
2	136	240
3	332	240
4	715	240
5	1114	240
6	1425	240
7	1672	240
8	2149	240
9	2854	240
10	3182	240
11	3188	240
12	3930	240
13	4978	240
14	5074	240
15	5082	240
16	5090	240
17	5090	240
18	5158	240
19	5166	240
20	5170	240
21	7832	240
22	7925	240
0	8053	240

Stop Event

1×	iter limit
1×	node limit

Counts

72 → 72

Calls

Call 1

Inputs
(exp (+ (log a) (log b)))
(exp (+ (log a) (log b)))
(exp (+ (log a) (log b)))
(exp (+ (log a) (log b)))
(+ (log a) (log b))
(+ (log a) (log b))
(+ (log a) (log b))
(+ (log a) (log b))
(log b)
(log b)
(log b)
(log b)
(exp (+ (log a) (* -1 (log (/ 1 b)))))
(exp (+ (log a) (* -1 (log (/ 1 b)))))
(exp (+ (log a) (* -1 (log (/ 1 b)))))
(exp (+ (log a) (* -1 (log (/ 1 b)))))
(+ (log a) (* -1 (log (/ 1 b))))
(+ (log a) (* -1 (log (/ 1 b))))
(+ (log a) (* -1 (log (/ 1 b))))
(+ (log a) (* -1 (log (/ 1 b))))
(* -1 (log (/ 1 b)))
(* -1 (log (/ 1 b)))
(* -1 (log (/ 1 b)))
(* -1 (log (/ 1 b)))
(exp (+ (log -1) (+ (log a) (* -1 (log (/ -1 b))))))
(exp (+ (log -1) (+ (log a) (* -1 (log (/ -1 b))))))
(exp (+ (log -1) (+ (log a) (* -1 (log (/ -1 b))))))
(exp (+ (log -1) (+ (log a) (* -1 (log (/ -1 b))))))
(+ (log -1) (+ (log a) (* -1 (log (/ -1 b)))))
(+ (log -1) (+ (log a) (* -1 (log (/ -1 b)))))
(+ (log -1) (+ (log a) (* -1 (log (/ -1 b)))))
(+ (log -1) (+ (log a) (* -1 (log (/ -1 b)))))
(+ (log -1) (* -1 (log (/ -1 b))))
(+ (log -1) (* -1 (log (/ -1 b))))
(+ (log -1) (* -1 (log (/ -1 b))))
(+ (log -1) (* -1 (log (/ -1 b))))
(exp (+ (log a) (log b)))
(exp (+ (log a) (log b)))
(exp (+ (log a) (log b)))
(exp (+ (log a) (log b)))
(+ (log a) (log b))
(+ (log a) (log b))
(+ (log a) (log b))
(+ (log a) (log b))
(log a)
(log a)
(log a)
(log a)
(exp (+ (log b) (* -1 (log (/ 1 a)))))
(exp (+ (log b) (* -1 (log (/ 1 a)))))
(exp (+ (log b) (* -1 (log (/ 1 a)))))
(exp (+ (log b) (* -1 (log (/ 1 a)))))
(+ (log b) (* -1 (log (/ 1 a))))
(+ (log b) (* -1 (log (/ 1 a))))
(+ (log b) (* -1 (log (/ 1 a))))
(+ (log b) (* -1 (log (/ 1 a))))
(* -1 (log (/ 1 a)))
(* -1 (log (/ 1 a)))
(* -1 (log (/ 1 a)))
(* -1 (log (/ 1 a)))
(exp (+ (log -1) (+ (log b) (* -1 (log (/ -1 a))))))
(exp (+ (log -1) (+ (log b) (* -1 (log (/ -1 a))))))
(exp (+ (log -1) (+ (log b) (* -1 (log (/ -1 a))))))
(exp (+ (log -1) (+ (log b) (* -1 (log (/ -1 a))))))
(+ (log -1) (+ (log b) (* -1 (log (/ -1 a)))))
(+ (log -1) (+ (log b) (* -1 (log (/ -1 a)))))
(+ (log -1) (+ (log b) (* -1 (log (/ -1 a)))))
(+ (log -1) (+ (log b) (* -1 (log (/ -1 a)))))
(+ (log -1) (* -1 (log (/ -1 a))))
(+ (log -1) (* -1 (log (/ -1 a))))
(+ (log -1) (* -1 (log (/ -1 a))))
(+ (log -1) (* -1 (log (/ -1 a))))

Outputs
(exp (+ (log a) (log b)))
(*.f64 b a)
(exp (+ (log a) (log b)))
(*.f64 b a)
(exp (+ (log a) (log b)))
(*.f64 b a)
(exp (+ (log a) (log b)))
(*.f64 b a)
(+ (log a) (log b))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log a) (log b))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log a) (log b))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log a) (log b))
(+.f64 (log.f64 b) (log.f64 a))
(log b)
(log.f64 b)
(log b)
(log.f64 b)
(log b)
(log.f64 b)
(log b)
(log.f64 b)
(exp (+ (log a) (* -1 (log (/ 1 b)))))
(*.f64 b a)
(exp (+ (log a) (* -1 (log (/ 1 b)))))
(*.f64 b a)
(exp (+ (log a) (* -1 (log (/ 1 b)))))
(*.f64 b a)
(exp (+ (log a) (* -1 (log (/ 1 b)))))
(*.f64 b a)
(+ (log a) (* -1 (log (/ 1 b))))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log a) (* -1 (log (/ 1 b))))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log a) (* -1 (log (/ 1 b))))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log a) (* -1 (log (/ 1 b))))
(+.f64 (log.f64 b) (log.f64 a))
(* -1 (log (/ 1 b)))
(log.f64 b)
(* -1 (log (/ 1 b)))
(log.f64 b)
(* -1 (log (/ 1 b)))
(log.f64 b)
(* -1 (log (/ 1 b)))
(log.f64 b)
(exp (+ (log -1) (+ (log a) (* -1 (log (/ -1 b))))))
(*.f64 b a)
(exp (+ (log -1) (+ (log a) (* -1 (log (/ -1 b))))))
(*.f64 b a)
(exp (+ (log -1) (+ (log a) (* -1 (log (/ -1 b))))))
(*.f64 b a)
(exp (+ (log -1) (+ (log a) (* -1 (log (/ -1 b))))))
(*.f64 b a)
(+ (log -1) (+ (log a) (* -1 (log (/ -1 b)))))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log -1) (+ (log a) (* -1 (log (/ -1 b)))))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log -1) (+ (log a) (* -1 (log (/ -1 b)))))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log -1) (+ (log a) (* -1 (log (/ -1 b)))))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log -1) (* -1 (log (/ -1 b))))
(log.f64 b)
(+ (log -1) (* -1 (log (/ -1 b))))
(log.f64 b)
(+ (log -1) (* -1 (log (/ -1 b))))
(log.f64 b)
(+ (log -1) (* -1 (log (/ -1 b))))
(log.f64 b)
(exp (+ (log a) (log b)))
(*.f64 b a)
(exp (+ (log a) (log b)))
(*.f64 b a)
(exp (+ (log a) (log b)))
(*.f64 b a)
(exp (+ (log a) (log b)))
(*.f64 b a)
(+ (log a) (log b))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log a) (log b))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log a) (log b))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log a) (log b))
(+.f64 (log.f64 b) (log.f64 a))
(log a)
(log.f64 a)
(log a)
(log.f64 a)
(log a)
(log.f64 a)
(log a)
(log.f64 a)
(exp (+ (log b) (* -1 (log (/ 1 a)))))
(*.f64 b a)
(exp (+ (log b) (* -1 (log (/ 1 a)))))
(*.f64 b a)
(exp (+ (log b) (* -1 (log (/ 1 a)))))
(*.f64 b a)
(exp (+ (log b) (* -1 (log (/ 1 a)))))
(*.f64 b a)
(+ (log b) (* -1 (log (/ 1 a))))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log b) (* -1 (log (/ 1 a))))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log b) (* -1 (log (/ 1 a))))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log b) (* -1 (log (/ 1 a))))
(+.f64 (log.f64 b) (log.f64 a))
(* -1 (log (/ 1 a)))
(log.f64 a)
(* -1 (log (/ 1 a)))
(log.f64 a)
(* -1 (log (/ 1 a)))
(log.f64 a)
(* -1 (log (/ 1 a)))
(log.f64 a)
(exp (+ (log -1) (+ (log b) (* -1 (log (/ -1 a))))))
(*.f64 b a)
(exp (+ (log -1) (+ (log b) (* -1 (log (/ -1 a))))))
(*.f64 b a)
(exp (+ (log -1) (+ (log b) (* -1 (log (/ -1 a))))))
(*.f64 b a)
(exp (+ (log -1) (+ (log b) (* -1 (log (/ -1 a))))))
(*.f64 b a)
(+ (log -1) (+ (log b) (* -1 (log (/ -1 a)))))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log -1) (+ (log b) (* -1 (log (/ -1 a)))))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log -1) (+ (log b) (* -1 (log (/ -1 a)))))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log -1) (+ (log b) (* -1 (log (/ -1 a)))))
(+.f64 (log.f64 b) (log.f64 a))
(+ (log -1) (* -1 (log (/ -1 a))))
(log.f64 a)
(+ (log -1) (* -1 (log (/ -1 a))))
(log.f64 a)
(+ (log -1) (* -1 (log (/ -1 a))))
(log.f64 a)
(+ (log -1) (* -1 (log (/ -1 a))))
(log.f64 a)

rewrite228.0ms (10.2%)

Memory

-32.4MiB live, 163.3MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	15
0	10	13
1	29	11
2	144	11
3	1268	11
0	8970	11

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

4 → 239

Calls

Call 1

Inputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(+.f64 (log.f64 a) (log.f64 b))
(log.f64 a)
(log.f64 b)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval40.0ms (1.8%)

Memory: 8.0MiB live, 46.0MiB allocated
Compiler: Compiled 7 825 to 801 computations (89.8% saved)

prune5.0ms (0.2%)

Memory

12.7MiB live, 12.7MiB allocated

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	310	1	311
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	311	1	312

Accuracy

100.0%

Counts

312 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 b a)

Compiler

Compiled 3 to 3 computations (0% saved)

simplify3.0ms (0.1%)

Memory

0.3MiB live, 0.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 b a)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	5
0	4	5
1	5	5
0	5	5

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(*.f64 b a)
b
a

Outputs
(*.f64 b a)
(*.f64 a b)
b
a

localize10.0ms (0.5%)

Memory

4.3MiB live, 4.3MiB allocated

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
accuracy	0	(*.f64 b a)

Samples

7.0ms

256×

valid

Compiler

Compiled 7 to 5 computations (28.6% saved)

Precisions

Click to see histograms. Total time spent on operations: 2.0ms

ival-mult: 2.0ms (90% of total)

ival-true: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series2.0ms (0.1%)

Memory

1.1MiB live, 1.1MiB allocated

Counts

1 → 24

Calls

Call 1

Inputs
#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())

Outputs
#s(alt (* a b) (taylor 0 b) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor 0 b) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor 0 b) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor 0 b) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor inf b) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor inf b) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor inf b) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor inf b) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor -inf b) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor -inf b) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor -inf b) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor -inf b) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor 0 a) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor 0 a) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor 0 a) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor 0 a) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor inf a) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor inf a) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor inf a) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor inf a) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor -inf a) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor -inf a) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor -inf a) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())
#s(alt (* a b) (taylor -inf a) (#s(alt (.f64 b a) (patch (.f64 b a) #<representation binary64>) () ())) ())

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	b	@	-inf	((* b a))
0.0ms	a	@	-inf	((* b a))
0.0ms	b	@	0	((* b a))
0.0ms	a	@	inf	((* b a))
0.0ms	a	@	0	((* b a))

simplify2.0ms (0.1%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	72
1	4	72
0	4	72

Stop Event

1×	iter limit
1×	saturated

Counts

24 → 24

Calls

Call 1

Inputs
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)
(* a b)

Outputs
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)
(* a b)
(*.f64 b a)

rewrite5.0ms (0.2%)

Memory

0.7MiB live, 0.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	3
0	4	3
1	5	3
0	5	3

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Counts

1 → 2

Calls

Call 1

Inputs
(*.f64 b a)

Outputs
#<batchref>
#<batchref>

eval2.0ms (0.1%)

Memory: 2.0MiB live, 2.0MiB allocated
Compiler: Compiled 102 to 5 computations (95.1% saved)

prune3.0ms (0.1%)

Memory

2.8MiB live, 2.8MiB allocated

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	26	0	26
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	26	1	27

Accuracy

100.0%

Counts

27 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 b a)

Compiler

Compiled 12 to 10 computations (16.7% saved)

regimes77.0ms (3.5%)

Memory

-28.1MiB live, 21.6MiB allocated

Accuracy

Total -5.1b remaining (-∞%)

Threshold costs -5.1b (-∞%)

Counts

2 → 1

Calls

Call 1

Inputs
(*.f64 b a)
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))

Outputs
(*.f64 b a)

Calls

6 calls:

69.0ms	b
2.0ms	a
2.0ms	(log.f64 a)
2.0ms	(+.f64 (log.f64 a) (log.f64 b))
2.0ms	(log.f64 b)

Results

Accuracy	Segments	Branch
100.0%	1	`a`
100.0%	1	`b`
100.0%	1	`(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))`
100.0%	1	`(+.f64 (log.f64 a) (log.f64 b))`
100.0%	1	`(log.f64 a)`
100.0%	1	`(log.f64 b)`

Compiler

Compiled 17 to 21 computations (-23.5% saved)

simplify62.0ms (2.8%)

Memory

-0.2MiB live, 37.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	3
1	4	3

Stop Event

1×

saturated

Calls

Call 1

Inputs
(*.f64 b a)

Outputs
(*.f64 b a)
(*.f64 a b)

soundness113.0ms (5.1%)

Memory

-5.7MiB live, 31.9MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	15
0	10	13
1	29	11
2	144	11
3	1268	11
0	8970	11

Stop Event

1×	done
1×	iter limit
1×	node limit
1×	iter limit

Compiler

Compiled 12 to 10 computations (16.7% saved)

preprocess104.0ms (4.6%)

Memory

4.8MiB live, 86.0MiB allocated

Remove

(sort a b)

(negabs a)

(negabs b)

Compiler

Compiled 60 to 60 computations (0% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze1.0ms (0%)

sample1000.0ms (44.9%)

explain123.0ms (5.5%)

preprocess38.0ms (1.7%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0.1%)

localize23.0ms (1%)

series184.0ms (8.3%)

simplify200.0ms (9%)

rewrite228.0ms (10.2%)

eval40.0ms (1.8%)

prune5.0ms (0.2%)

simplify3.0ms (0.1%)

localize10.0ms (0.5%)

series2.0ms (0.1%)

simplify2.0ms (0.1%)

rewrite5.0ms (0.2%)

eval2.0ms (0.1%)

prune3.0ms (0.1%)

regimes77.0ms (3.5%)

simplify62.0ms (2.8%)

soundness113.0ms (5.1%)

preprocess104.0ms (4.6%)

end0.0ms (0%)

Profiling