Metrics for FastMath dist

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze1.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample786.0ms (27.5%)

Memory

-6.8MiB live, 1 147.9MiB allocated

Samples

505.0ms

8 256×

valid

Precisions

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

ival-mult: 200.0ms (78.3% of total)

ival-add: 46.0ms (18% of total)

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

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

Bogosity

explain87.0ms (3%)

Memory

-14.2MiB live, 143.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
8	-	-	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`
0	-	-	`d2`
0	-	-	`d1`
0	-	-	`d3`
0	-	-	`(*.f64 d1 d2)`
0	-	-	`(*.f64 d1 d3)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`+.f64`	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`	nan-rescue	8	0
↳	`(*.f64 d1 d2)`	overflow	34
↳	`(*.f64 d1 d3)`	overflow	30

Confusion

	Predicted +	Predicted -
+	8	0
-	0	248

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	8	0	0
-	0	0	248

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	248
1	8

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

49.0ms

512×

valid

Compiler

Compiled 59 to 28 computations (52.5% saved)

Precisions

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

ival-mult: 7.0ms (70.4% of total)

ival-add: 2.0ms (20.1% of total)

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

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

preprocess40.0ms (1.4%)

Memory

17.7MiB live, 54.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	54
1	74	48
2	177	46
3	431	46
4	745	46
5	1045	46
6	1055	46
0	6	7
0	9	5
1	14	5
2	17	5
0	17	5

Stop Event

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

Calls

Call 1

Inputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Outputs
(*.f64 (+.f64 d3 d2) d1)

Symmetry

(negabs d1)

(sort d2 d3)

Compiler

Compiled 7 to 6 computations (14.3% saved)

eval0.0ms (0%)

Memory: 0.9MiB live, 1.0MiB allocated
Compiler: Compiled 5 to 5 computations (0% saved)

prune1.0ms (0%)

Memory

2.3MiB live, 2.3MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	96.9%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
▶	100.0%	(*.f64 (+.f64 d3 d2) d1)

Compiler

Compiled 12 to 11 computations (8.3% saved)

simplify3.0ms (0.1%)

Memory

8.4MiB live, 8.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 5 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 d1 d3)
cost-diff	0	(*.f64 d1 d2)
cost-diff	320	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
cost-diff	0	(+.f64 d3 d2)
cost-diff	0	(*.f64 (+.f64 d3 d2) d1)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	27
0	13	25
1	19	25
0	19	25

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(*.f64 (+.f64 d3 d2) d1)
(+.f64 d3 d2)
d3
d2
d1
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)
d1
d2
(*.f64 d1 d3)
d3

Outputs
(*.f64 d1 (+.f64 d2 d3))
(+.f64 d2 d3)
d3
d2
d1
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d2)
d1
d2
(*.f64 d1 d3)
d3

localize26.0ms (0.9%)

Memory

-0.5MiB live, 72.1MiB allocated

Localize:

Found 5 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 d1 d3)
accuracy	0	(*.f64 d1 d2)
accuracy	1.9570168008114406	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
accuracy	0	(+.f64 d3 d2)
accuracy	0.01171875	(*.f64 (+.f64 d3 d2) d1)

Samples

19.0ms

256×

valid

Compiler

Compiled 56 to 18 computations (67.9% saved)

Precisions

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

ival-mult: 5.0ms (62.3% of total)

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

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

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

series14.0ms (0.5%)

Memory

-13.4MiB live, 36.6MiB allocated

Counts

5 → 144

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (+.f64 d3 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 (+.f64 d3 d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (+.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())

Calls

9 calls:

Time	Variable		Point	Expression
4.0ms	d3	@	inf	((* (+ d3 d2) d1) (+ d3 d2) (+ (* d1 d2) (* d1 d3)) (* d1 d2) (* d1 d3))
1.0ms	d1	@	0	((* (+ d3 d2) d1) (+ d3 d2) (+ (* d1 d2) (* d1 d3)) (* d1 d2) (* d1 d3))
1.0ms	d1	@	-inf	((* (+ d3 d2) d1) (+ d3 d2) (+ (* d1 d2) (* d1 d3)) (* d1 d2) (* d1 d3))
1.0ms	d2	@	-inf	((* (+ d3 d2) d1) (+ d3 d2) (+ (* d1 d2) (* d1 d3)) (* d1 d2) (* d1 d3))
1.0ms	d1	@	inf	((* (+ d3 d2) d1) (+ d3 d2) (+ (* d1 d2) (* d1 d3)) (* d1 d2) (* d1 d3))

simplify170.0ms (6%)

Memory

-2.5MiB live, 72.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	540
1	151	540
2	400	540
3	1152	540
4	3165	540
5	3805	540
6	4169	540
7	4488	540
8	4588	540
9	4613	540
10	7234	540
0	8030	540

Stop Event

1×	iter limit
1×	node limit

Counts

144 → 144

Calls

Call 1

Inputs
(* d1 d3)
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
d3
(+ d2 d3)
(+ d2 d3)
(+ d2 d3)
(* d1 d3)
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d2 (+ d1 (/ (* d1 d3) d2)))
d2
(* d2 (+ 1 (/ d3 d2)))
(* d2 (+ 1 (/ d3 d2)))
(* d2 (+ 1 (/ d3 d2)))
(* d1 d2)
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
d2
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
d2
(+ d2 d3)
(+ d2 d3)
(+ d2 d3)
(* d1 d2)
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d3 (+ d1 (/ (* d1 d2) d3)))
d3
(* d3 (+ 1 (/ d2 d3)))
(* d3 (+ 1 (/ d2 d3)))
(* d3 (+ 1 (/ d2 d3)))
(* d1 d3)
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
d3
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* -1 (* d1 (+ (* -1 d2) (* -1 d3))))
(* -1 (* d1 (+ (* -1 d2) (* -1 d3))))
(* -1 (* d1 (+ (* -1 d2) (* -1 d3))))
(* -1 (* d1 (+ (* -1 d2) (* -1 d3))))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)

Outputs
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d3
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d2
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d2)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d2
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d2)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d2
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d2)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d3
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d3
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d2)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)

rewrite258.0ms (9%)

Memory

-18.1MiB live, 277.4MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	21
0	13	19
1	44	19
2	306	19
3	3260	19
0	8964	19

Stop Event

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

Counts

5 → 506

Calls

Call 1

Inputs
(*.f64 (+.f64 d3 d2) d1)
(+.f64 d3 d2)
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)
(*.f64 d1 d3)

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>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval153.0ms (5.3%)

Memory: -4.3MiB live, 153.8MiB allocated
Compiler: Compiled 14 987 to 1 043 computations (93% saved)

prune13.0ms (0.4%)

Memory

-2.7MiB live, 35.9MiB allocated

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	647	3	650
Fresh	0	0	0
Picked	1	1	2
Done	0	0	0
Total	648	4	652

Accuracy

100.0%

Counts

652 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	97.3%	(fma.f64 d2 d1 (*.f64 d1 d3))
✓	100.0%	(*.f64 (+.f64 d3 d2) d1)
▶	52.8%	(*.f64 #s(approx (+ d3 d2) d3) d1)
▶	54.1%	(*.f64 #s(approx (+ d3 d2) d2) d1)

Compiler

Compiled 25 to 22 computations (12% saved)

simplify3.0ms (0.1%)

Memory

3.1MiB live, 3.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 6 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 d1 d3)
cost-diff	192	(fma.f64 d2 d1 (*.f64 d1 d3))
cost-diff	0	#s(approx (+ d3 d2) d3)
cost-diff	0	(*.f64 #s(approx (+ d3 d2) d3) d1)
cost-diff	0	#s(approx (+ d3 d2) d2)
cost-diff	0	(*.f64 #s(approx (+ d3 d2) d2) d1)

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	40
0	15	40
1	21	39
2	22	39
3	23	39
0	23	39

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(*.f64 #s(approx (+ d3 d2) d2) d1)
#s(approx (+ d3 d2) d2)
d2
d1
(*.f64 #s(approx (+ d3 d2) d3) d1)
#s(approx (+ d3 d2) d3)
d3
d1
(fma.f64 d2 d1 (*.f64 d1 d3))
d2
d1
(*.f64 d1 d3)
d3

Outputs
(*.f64 d1 #s(approx (+ d3 d2) d2))
#s(approx (+ d3 d2) d2)
d2
d1
(*.f64 #s(approx (+ d3 d2) d3) d1)
#s(approx (+ d3 d2) d3)
d3
d1
(*.f64 d1 (+.f64 d2 d3))
d2
d1
(*.f64 d1 d3)
d3

localize23.0ms (0.8%)

Memory

32.3MiB live, 32.3MiB allocated

Localize:

Found 6 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 d1 d3)
accuracy	1.7538869832389217	(fma.f64 d2 d1 (*.f64 d1 d3))
accuracy	0.01171875	(*.f64 #s(approx (+ d3 d2) d3) d1)
accuracy	32.310123466670454	#s(approx (+ d3 d2) d3)
accuracy	0.01171875	(*.f64 #s(approx (+ d3 d2) d2) d1)
accuracy	31.30636037708635	#s(approx (+ d3 d2) d2)

Samples

16.0ms

256×

valid

Compiler

Compiled 75 to 20 computations (73.3% saved)

Precisions

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

ival-mult: 5.0ms (67.8% of total)

ival-add: 2.0ms (27.1% of total)

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

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

series12.0ms (0.4%)

Memory

-20.3MiB live, 15.3MiB allocated

Counts

6 → 180

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d2) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d2) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d2) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d2) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch #s(approx (+ d3 d2) d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d3) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d2) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 #s(approx (+ d3 d2) d3) d1) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (fma.f64 d2 d1 (*.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d1) (#s(alt #<batchref> (patch (*.f64 d1 d3) #<representation binary64>) () ())) ())

Calls

9 calls:

Time	Variable		Point	Expression
4.0ms	d3	@	inf	((* (+ d3 d2) d1) (+ d3 d2) (* (+ d3 d2) d1) (+ d3 d2) (+ (* d2 d1) (* d1 d3)) (* d1 d3))
1.0ms	d3	@	-inf	((* (+ d3 d2) d1) (+ d3 d2) (* (+ d3 d2) d1) (+ d3 d2) (+ (* d2 d1) (* d1 d3)) (* d1 d3))
1.0ms	d1	@	-inf	((* (+ d3 d2) d1) (+ d3 d2) (* (+ d3 d2) d1) (+ d3 d2) (+ (* d2 d1) (* d1 d3)) (* d1 d3))
1.0ms	d1	@	0	((* (+ d3 d2) d1) (+ d3 d2) (* (+ d3 d2) d1) (+ d3 d2) (+ (* d2 d1) (* d1 d3)) (* d1 d3))
1.0ms	d1	@	inf	((* (+ d3 d2) d1) (+ d3 d2) (* (+ d3 d2) d1) (+ d3 d2) (+ (* d2 d1) (* d1 d3)) (* d1 d3))

simplify134.0ms (4.7%)

Memory

4.2MiB live, 90.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	696
1	151	696
2	400	696
3	1152	696
4	3165	696
5	3805	696
6	4169	696
7	4488	696
8	4588	696
9	4613	696
10	7234	696
0	8030	696

Stop Event

1×	iter limit
1×	node limit

Counts

180 → 180

Calls

Call 1

Inputs
(* d1 d3)
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
d3
(+ d2 d3)
(+ d2 d3)
(+ d2 d3)
(* d1 d3)
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
d3
(+ d2 d3)
(+ d2 d3)
(+ d2 d3)
(* d1 d3)
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(* d1 d2)
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d2 (+ d1 (/ (* d1 d3) d2)))
d2
(* d2 (+ 1 (/ d3 d2)))
(* d2 (+ 1 (/ d3 d2)))
(* d2 (+ 1 (/ d3 d2)))
(* d1 d2)
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d2 (+ d1 (/ (* d1 d3) d2)))
d2
(* d2 (+ 1 (/ d3 d2)))
(* d2 (+ 1 (/ d3 d2)))
(* d2 (+ 1 (/ d3 d2)))
(* d1 d2)
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
d2
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
d2
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* d1 d2)
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
d2
(+ d2 d3)
(+ d2 d3)
(+ d2 d3)
(* d1 d2)
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
d2
(+ d2 d3)
(+ d2 d3)
(+ d2 d3)
(* d1 d2)
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d3 (+ d1 (/ (* d1 d2) d3)))
d3
(* d3 (+ 1 (/ d2 d3)))
(* d3 (+ 1 (/ d2 d3)))
(* d3 (+ 1 (/ d2 d3)))
(* d1 d3)
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d3 (+ d1 (/ (* d1 d2) d3)))
d3
(* d3 (+ 1 (/ d2 d3)))
(* d3 (+ 1 (/ d2 d3)))
(* d3 (+ 1 (/ d2 d3)))
(* d1 d3)
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
d3
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
d3
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* -1 (* d1 (+ (* -1 d2) (* -1 d3))))
(* -1 (* d1 (+ (* -1 d2) (* -1 d3))))
(* -1 (* d1 (+ (* -1 d2) (* -1 d3))))
(* -1 (* d1 (+ (* -1 d2) (* -1 d3))))
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)

Outputs
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d3
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d3
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d2)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d2
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d2)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d2
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d2)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d2)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d2
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d2)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d2
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d2)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d2)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d2
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d2)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d2
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d2)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d3
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d3
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d3
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
d3
(+.f64 d2 d3)
(+.f64 d2 d3)
(+.f64 d2 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)
(*.f64 d1 d3)

rewrite239.0ms (8.4%)

Memory

-6.9MiB live, 188.2MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	33
0	15	33
1	46	32
2	301	32
3	3116	32
0	8673	32

Stop Event

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

Counts

6 → 180

Calls

Call 1

Inputs
(*.f64 #s(approx (+ d3 d2) d2) d1)
#s(approx (+ d3 d2) d2)
(*.f64 #s(approx (+ d3 d2) d3) d1)
#s(approx (+ d3 d2) d3)
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 d3)

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>

eval42.0ms (1.5%)

Memory: -13.3MiB live, 74.2MiB allocated
Compiler: Compiled 6 785 to 553 computations (91.8% saved)

prune9.0ms (0.3%)

Memory

26.1MiB live, 26.1MiB allocated

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	360	0	360
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	360	4	364

Accuracy

100.0%

Counts

364 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	97.3%	(fma.f64 d2 d1 (*.f64 d1 d3))
✓	100.0%	(*.f64 (+.f64 d3 d2) d1)
✓	52.8%	(*.f64 #s(approx (+ d3 d2) d3) d1)
✓	54.1%	(*.f64 #s(approx (+ d3 d2) d2) d1)

Compiler

Compiled 57 to 36 computations (36.8% saved)

regimes11.0ms (0.4%)

Memory

-19.1MiB live, 19.4MiB allocated

Counts

5 → 1

Calls

Call 1

Inputs
(*.f64 #s(approx (+ d3 d2) d2) d1)
(*.f64 #s(approx (+ d3 d2) d3) d1)
(*.f64 (+.f64 d3 d2) d1)
(fma.f64 d2 d1 (*.f64 d1 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Outputs
(*.f64 (+.f64 d3 d2) d1)

Calls

4 calls:

4.0ms	d3
2.0ms	d1
2.0ms	d2
2.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Results

Accuracy	Segments	Branch
100.0%	1	`d1`
100.0%	1	`d2`
100.0%	1	`d3`
100.0%	1	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`

Compiler

Compiled 10 to 15 computations (-50% saved)

regimes7.0ms (0.2%)

Memory

14.9MiB live, 14.9MiB allocated

Counts

2 → 3

Calls

Call 1

Inputs
(*.f64 #s(approx (+ d3 d2) d2) d1)
(*.f64 #s(approx (+ d3 d2) d3) d1)

Outputs
(*.f64 #s(approx (+ d3 d2) d2) d1)
(*.f64 #s(approx (+ d3 d2) d3) d1)
(*.f64 #s(approx (+ d3 d2) d2) d1)

Calls

4 calls:

2.0ms	d1
2.0ms	d2
2.0ms	d3
2.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Results

Accuracy	Segments	Branch
64.9%	6	`d1`
87.8%	2	`d2`
82.1%	2	`d3`
97.9%	3	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`

Compiler

Compiled 10 to 15 computations (-50% saved)

regimes5.0ms (0.2%)

Memory

13.1MiB live, 13.1MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 #s(approx (+ d3 d2) d2) d1)

Outputs
(*.f64 #s(approx (+ d3 d2) d2) d1)

Calls

4 calls:

1.0ms	d3
1.0ms	d1
1.0ms	d2
1.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Results

Accuracy	Segments	Branch
54.1%	1	`d1`
54.1%	1	`d3`
54.1%	1	`d2`
54.1%	1	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`

Compiler

Compiled 10 to 15 computations (-50% saved)

bsearch2.0ms (0.1%)

Memory

-36.5MiB live, 1.9MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN
0.0ms	-1.3214929957302807e-254	0.0

Compiler

Compiled 10 to 12 computations (-20% saved)

simplify24.0ms (0.8%)

Memory

23.6MiB live, 60.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	53
1	26	53

Stop Event

1×

saturated

Calls

Call 1

Inputs

(*.f64 (+.f64 d3 d2) d1)

(if (<=.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)) #s(literal -1320736327839163/132073632783916311588084946229129151629711831509030380531990177256668475639181214868604313971914296973668598748314282169720586889875671384312634744615734894227096670999751271042182879419106610263256058227052797101037007073187890434709599224691759119122384645224434499584 binary64)) (*.f64 #s(approx (+ d3 d2) d2) d1) (if (<=.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)) #s(literal +inf.0 binary64)) (*.f64 #s(approx (+ d3 d2) d3) d1) (*.f64 #s(approx (+ d3 d2) d2) d1)))

(*.f64 #s(approx (+ d3 d2) d2) d1)

Outputs

(*.f64 d1 (+.f64 d2 d3))

(if (<=.f64 (+.f64 (*.f64 d1 d3) (*.f64 d1 d2)) #s(literal -1320736327839163/132073632783916311588084946229129151629711831509030380531990177256668475639181214868604313971914296973668598748314282169720586889875671384312634744615734894227096670999751271042182879419106610263256058227052797101037007073187890434709599224691759119122384645224434499584 binary64)) (*.f64 #s(approx (+ d3 d2) d2) d1) (if (<=.f64 (+.f64 (*.f64 d1 d3) (*.f64 d1 d2)) #s(literal +inf.0 binary64)) (*.f64 #s(approx (+ d3 d2) d3) d1) (*.f64 #s(approx (+ d3 d2) d2) d1)))

(*.f64 #s(approx (+ d3 d2) d2) d1)

soundness741.0ms (25.9%)

Memory

-20.7MiB live, 103.1MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
0	9	5
1	14	5
2	17	5
0	17	5
0	44	540
1	151	540
2	400	540
3	1152	540
4	3165	540
5	3805	540
6	4169	540
7	4488	540
8	4588	540
9	4613	540
10	7234	540
0	8030	540

Stop Event

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

Compiler

Compiled 110 to 63 computations (42.7% saved)

preprocess58.0ms (2%)

Memory

34.4MiB live, 72.3MiB allocated

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 170 to 100 computations (41.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze1.0ms (0%)

sample786.0ms (27.5%)

explain87.0ms (3%)

preprocess40.0ms (1.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0.1%)

localize26.0ms (0.9%)

series14.0ms (0.5%)

simplify170.0ms (6%)

rewrite258.0ms (9%)

eval153.0ms (5.3%)

prune13.0ms (0.4%)

simplify3.0ms (0.1%)

localize23.0ms (0.8%)

series12.0ms (0.4%)

simplify134.0ms (4.7%)

rewrite239.0ms (8.4%)

eval42.0ms (1.5%)

prune9.0ms (0.3%)

regimes11.0ms (0.4%)

regimes7.0ms (0.2%)

regimes5.0ms (0.2%)

bsearch2.0ms (0.1%)

simplify24.0ms (0.8%)

soundness741.0ms (25.9%)

preprocess58.0ms (2%)

end0.0ms (0%)

Profiling