Metrics for Exp of sum of logs

start0.0ms (0%)

Memory: 0.1MiB live, 0.0MiB allocated

analyze1.0ms (0%)

Memory

1.0MiB live, 1.0MiB 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)

sample1.1s (36.8%)

Memory

10.8MiB live, 1 636.6MiB allocated

Samples

803.0ms

8 256×

valid

Precisions

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

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

ival-exp: 138.0ms (30.8% of total)

ival-add: 54.0ms (12.1% of total)

ival-true: 7.0ms (1.6% of total)

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

Bogosity

explain413.0ms (13.8%)

Memory

-462.5MiB live, 267.9MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
152	17	(2.1562067810705892e-277 6.0674697560783896e+231)	10	(8.233829816533966e+20 32573157080867708.0)	`(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))`
5	0	-	4	(1.4783146045675505e+213 1.5881520936472487e-211)	`(+.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	159	28
`+.f64`	`(+.f64 (log.f64 a) (log.f64 b))`	cancellation	1	2

Confusion

	Predicted +	Predicted -
+	149	37
-	11	59

Precision

0.93125

Recall

0.8010752688172043

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	149	27	10
-	11	3	56

Precision?

0.9263157894736842

Recall?

0.946236559139785

Freqs

test

number	freq
0	96
1	160

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

40.0ms

512×

valid

Compiler

Compiled 44 to 22 computations (50% saved)

Precisions

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

ival-log: 14.0ms (60.8% of total)

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

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

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

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

preprocess39.0ms (1.3%)

Memory

-24.6MiB live, 54.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.4MiB live, 0.4MiB allocated
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0%)

Memory

1.9MiB live, 1.9MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 6 to 6 computations (0% saved)

simplify3.0ms (0.1%)

Memory

6.9MiB live, 6.9MiB 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

localize26.0ms (0.9%)

Memory

17.4MiB live, 56.1MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(log.f64 b)
accuracy	0	(log.f64 a)
accuracy	0.668877408478088	(+.f64 (log.f64 a) (log.f64 b))
accuracy	4.254779406464763	(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))

Samples

21.0ms

256×

valid

Compiler

Compiled 19 to 8 computations (57.9% saved)

Precisions

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

ival-log: 7.0ms (51.2% of total)

ival-add: 4.0ms (29.2% of total)

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

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

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

series178.0ms (6%)

Memory

-22.1MiB live, 376.3MiB 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
58.0ms	b	@	0	((exp (+ (log a) (log b))) (+ (log a) (log b)) (log a) (log b))
36.0ms	a	@	0	((exp (+ (log a) (log b))) (+ (log a) (log b)) (log a) (log b))
25.0ms	a	@	-inf	((exp (+ (log a) (log b))) (+ (log a) (log b)) (log a) (log b))
24.0ms	b	@	-inf	((exp (+ (log a) (log b))) (+ (log a) (log b)) (log a) (log b))
20.0ms	a	@	inf	((exp (+ (log a) (log b))) (+ (log a) (log b)) (log a) (log b))

simplify268.0ms (9%)

Memory

-2.1MiB live, 196.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)

rewrite242.0ms (8.1%)

Memory

7.7MiB live, 240.5MiB 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>

eval112.0ms (3.7%)

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

prune5.0ms (0.2%)

Memory

20.9MiB live, 20.9MiB 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

5.3MiB live, 5.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

localize196.0ms (6.6%)

Memory

-17.0MiB live, 22.7MiB allocated

Localize:

Found 1 expressions of interest:

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

Samples

192.0ms

256×

valid

Compiler

Compiled 7 to 5 computations (28.6% saved)

Precisions

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

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

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

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

series2.0ms (0.1%)

Memory

5.1MiB live, 5.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	a	@	0	((* b a))
0.0ms	b	@	inf	((* b a))
0.0ms	b	@	0	((* b a))

simplify2.0ms (0.1%)

Memory

6.1MiB live, 6.1MiB 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)

rewrite10.0ms (0.3%)

Memory

-30.9MiB live, 10.5MiB 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: 6.1MiB live, 6.1MiB allocated
Compiler: Compiled 102 to 5 computations (95.1% saved)

prune3.0ms (0.1%)

Memory

7.2MiB live, 7.2MiB 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)

regimes11.0ms (0.4%)

Memory

-12.6MiB live, 27.0MiB allocated

Accuracy

Total -5.3b remaining (-∞%)

Threshold costs -5.3b (-∞%)

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:

3.0ms	a
2.0ms	(log.f64 b)
2.0ms	(+.f64 (log.f64 a) (log.f64 b))
2.0ms	(log.f64 a)
2.0ms	(exp.f64 (+.f64 (log.f64 a) (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)

simplify47.0ms (1.6%)

Memory

13.1MiB live, 52.8MiB 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)

soundness183.0ms (6.2%)

Memory

-10.4MiB live, 109.6MiB 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)

preprocess139.0ms (4.6%)

Memory

4.8MiB live, 163.4MiB 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%)

sample1.1s (36.8%)

explain413.0ms (13.8%)

preprocess39.0ms (1.3%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0.1%)

localize26.0ms (0.9%)

series178.0ms (6%)

simplify268.0ms (9%)

rewrite242.0ms (8.1%)

eval112.0ms (3.7%)

prune5.0ms (0.2%)

simplify3.0ms (0.1%)

localize196.0ms (6.6%)

series2.0ms (0.1%)

simplify2.0ms (0.1%)

rewrite10.0ms (0.3%)

eval2.0ms (0.1%)

prune3.0ms (0.1%)

regimes11.0ms (0.4%)

simplify47.0ms (1.6%)

soundness183.0ms (6.2%)

preprocess139.0ms (4.6%)

end0.0ms (0%)

Profiling