Metrics for math.log/1 on complex, real part

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze55.0ms (1.9%)

Memory

5.5MiB live, 44.2MiB 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%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
18.8%	18.7%	81.2%	0.1%	0%	0%	0%	5
34.4%	34.3%	65.6%	0.1%	0%	0%	0%	6
54.7%	54.6%	45.3%	0.1%	0%	0%	0%	7
64.8%	64.8%	35.1%	0.1%	0%	0%	0%	8
76.2%	76.1%	23.8%	0.1%	0%	0%	0%	9
81.8%	81.8%	18.1%	0.1%	0%	0%	0%	10
87.8%	87.7%	12.2%	0.1%	0%	0%	0%	11
90.8%	90.7%	9.2%	0.1%	0%	0%	0%	12

Compiler

Compiled 11 to 6 computations (45.5% saved)

sample1.0s (35.8%)

Memory

36.0MiB live, 659.3MiB allocated

Samples

765.0ms

8 256×

valid

Precisions

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

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

ival-hypot: 164.0ms (46.4% of total)

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

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

Bogosity

explain153.0ms (5.4%)

Memory

-9.2MiB live, 117.8MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
119	-	-	`(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))`
0	-	-	`(+.f64 (.f64 re re) (.f64 im im))`
0	-	-	`(*.f64 re re)`
0	-	-	`re`
0	-	-	`(*.f64 im im)`
0	-	-	`(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))`
0	-	-	`im`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))`	oflow-rescue	107	0
↳	`(+.f64 (.f64 re re) (.f64 im im))`	overflow	107
↳	`(*.f64 re re)`	overflow	67
↳	`(*.f64 im im)`	overflow	56
`sqrt.f64`	`(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))`	uflow-rescue	12	0
↳	`(+.f64 (.f64 re re) (.f64 im im))`	underflow	12
↳	`(*.f64 re re)`	underflow	50
↳	`(*.f64 im im)`	underflow	59

Confusion

	Predicted +	Predicted -
+	119	0
-	0	137

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	119	0	0
-	0	0	137

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	137
1	119

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

72.0ms

512×

valid

Compiler

Compiled 109 to 32 computations (70.6% saved)

Precisions

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

ival-hypot: 9.0ms (34.1% of total)

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

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

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

ival-true: 1.0ms (3.8% of total)

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

preprocess41.0ms (1.4%)

Memory

-19.0MiB live, 18.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	47
1	38	47
2	80	47
3	148	47
4	207	47
5	220	47
6	222	47
0	7	9
0	12	9
1	13	9
0	13	4

Stop Event

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

Calls

Call 1

Inputs
(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))

Outputs
(log.f64 (hypot.f64 im re))

Symmetry

(abs im)

(abs re)

(sort re im)

Compiler

Compiled 9 to 7 computations (22.2% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	55.0%	(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify3.0ms (0.1%)

Memory

2.5MiB live, 2.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 im im)
cost-diff	0	(*.f64 re re)
cost-diff	0	(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
cost-diff	128	(+.f64 (.f64 re re) (.f64 im im))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	32
0	12	32
1	13	32
0	13	21

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
(+.f64 (.f64 re re) (.f64 im im))
(*.f64 re re)
re
(*.f64 im im)
im

Outputs
(log.f64 (hypot.f64 im re))
(hypot.f64 im re)
(fma.f64 im im (*.f64 re re))
(*.f64 re re)
re
(*.f64 im im)
im

localize26.0ms (0.9%)

Memory

21.5MiB live, 21.5MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 im im)
accuracy	0	(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
accuracy	0.0078125	(+.f64 (.f64 re re) (.f64 im im))
accuracy	27.736938375791812	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Samples

20.0ms

256×

valid

Compiler

Compiled 66 to 16 computations (75.8% saved)

Precisions

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

ival-hypot: 5.0ms (40.2% of total)

ival-log: 3.0ms (24.1% of total)

ival-mult: 3.0ms (24.1% of total)

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

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

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

series65.0ms (2.3%)

Memory

-28.8MiB live, 9.3MiB allocated

Counts

5 → 96

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())
#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (+.f64 (.f64 re re) (.f64 im im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (*.f64 im im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) #<representation binary64>) () ())) ())

Calls

6 calls:

Time	Variable		Point	Expression
54.0ms	re	@	0	((+ (* re re) (* im im)) (log (sqrt (+ (* re re) (* im im)))) (* re re) (* im im) (sqrt (+ (* re re) (* im im))))
3.0ms	re	@	inf	((+ (* re re) (* im im)) (log (sqrt (+ (* re re) (* im im)))) (* re re) (* im im) (sqrt (+ (* re re) (* im im))))
2.0ms	im	@	inf	((+ (* re re) (* im im)) (log (sqrt (+ (* re re) (* im im)))) (* re re) (* im im) (sqrt (+ (* re re) (* im im))))
1.0ms	im	@	0	((+ (* re re) (* im im)) (log (sqrt (+ (* re re) (* im im)))) (* re re) (* im im) (sqrt (+ (* re re) (* im im))))
1.0ms	re	@	-inf	((+ (* re re) (* im im)) (log (sqrt (+ (* re re) (* im im)))) (* re re) (* im im) (sqrt (+ (* re re) (* im im))))

simplify176.0ms (6.2%)

Memory

18.9MiB live, 131.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	186	1076
1	510	1054
2	1532	1044
3	5373	1010
0	8233	932

Stop Event

1×	iter limit
1×	node limit

Counts

96 → 92

Calls

Call 1

Inputs
(pow im 2)
(+ (pow im 2) (pow re 2))
(+ (pow im 2) (pow re 2))
(+ (pow im 2) (pow re 2))
(log im)
(+ (log im) (* 1/2 (/ (pow re 2) (pow im 2))))
(+ (log im) (* (pow re 2) (+ (* -1/4 (/ (pow re 2) (pow im 4))) (* 1/2 (/ 1 (pow im 2))))))
(+ (log im) (* (pow re 2) (+ (* (pow re 2) (- (* 1/6 (/ (pow re 2) (pow im 6))) (* 1/4 (/ 1 (pow im 4))))) (* 1/2 (/ 1 (pow im 2))))))
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
im
(+ im (* 1/2 (/ (pow re 2) im)))
(+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im)))))
(+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im)))))
(pow re 2)
(* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))
(* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))
(* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))
(* -1 (log (/ 1 re)))
(+ (* -1 (log (/ 1 re))) (* 1/2 (/ (pow im 2) (pow re 2))))
(+ (* -1 (log (/ 1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))
(+ (* -1 (log (/ 1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (+ (* 1/720 (/ (+ (* 30 (pow im 6)) (* 90 (pow im 6))) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
re
(* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2)))))
(* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2))))))
(* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2)))))))
(pow re 2)
(* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))
(* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))
(* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))
(* -1 (log (/ -1 re)))
(+ (* -1 (log (/ -1 re))) (* 1/2 (/ (pow im 2) (pow re 2))))
(+ (* -1 (log (/ -1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))
(+ (* -1 (log (/ -1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (+ (* 1/720 (/ (+ (* 30 (pow im 6)) (* 90 (pow im 6))) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(* -1 re)
(* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))
(* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))
(* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))
(pow re 2)
(+ (pow im 2) (pow re 2))
(+ (pow im 2) (pow re 2))
(+ (pow im 2) (pow re 2))
(log re)
(+ (log re) (* 1/2 (/ (pow im 2) (pow re 2))))
(+ (log re) (* (pow im 2) (+ (* -1/4 (/ (pow im 2) (pow re 4))) (* 1/2 (/ 1 (pow re 2))))))
(+ (log re) (* (pow im 2) (+ (* (pow im 2) (- (* 1/6 (/ (pow im 2) (pow re 6))) (* 1/4 (/ 1 (pow re 4))))) (* 1/2 (/ 1 (pow re 2))))))
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
re
(+ re (* 1/2 (/ (pow im 2) re)))
(+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re)))))
(+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re)))))
(pow im 2)
(* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))
(* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))
(* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))
(* -1 (log (/ 1 im)))
(+ (* -1 (log (/ 1 im))) (* 1/2 (/ (pow re 2) (pow im 2))))
(+ (* -1 (log (/ 1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))
(+ (* -1 (log (/ 1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (+ (* 1/720 (/ (+ (* 30 (pow re 6)) (* 90 (pow re 6))) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
im
(* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))
(* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2))))))
(* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2)))))))
(pow im 2)
(* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))
(* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))
(* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))
(* -1 (log (/ -1 im)))
(+ (* -1 (log (/ -1 im))) (* 1/2 (/ (pow re 2) (pow im 2))))
(+ (* -1 (log (/ -1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))
(+ (* -1 (log (/ -1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (+ (* 1/720 (/ (+ (* 30 (pow re 6)) (* 90 (pow re 6))) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(* -1 im)
(* -1 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2))))))
(* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))
(* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))

Outputs
(*.f64 im im)
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(log.f64 im)
(fma.f64 (*.f64 (/.f64 (/.f64 re im) im) #s(literal 1/2 binary64)) re (log.f64 im))
(fma.f64 (pow.f64 re #s(literal 4 binary64)) (/.f64 #s(literal -1/4 binary64) (pow.f64 im #s(literal 4 binary64))) (fma.f64 (*.f64 (/.f64 (/.f64 re im) im) #s(literal 1/2 binary64)) re (log.f64 im)))
(fma.f64 (fma.f64 (/.f64 (/.f64 re im) im) #s(literal 1/2 binary64) (.f64 (pow.f64 re #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/6 binary64) re) (/.f64 re (pow.f64 im #s(literal 6 binary64))) (/.f64 #s(literal -1/4 binary64) (pow.f64 im #s(literal 4 binary64)))))) re (log.f64 im))
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
im
(fma.f64 (/.f64 #s(literal 1/2 binary64) im) (*.f64 re re) im)
(fma.f64 (fma.f64 (.f64 (/.f64 #s(literal -1/8 binary64) (pow.f64 im #s(literal 3 binary64))) re) re (/.f64 #s(literal 1/2 binary64) im)) (.f64 re re) im)
(fma.f64 (pow.f64 re #s(literal 4 binary64)) (fma.f64 (.f64 #s(literal 1/16 binary64) re) (/.f64 re (pow.f64 im #s(literal 5 binary64))) (/.f64 #s(literal -1/8 binary64) (pow.f64 im #s(literal 3 binary64)))) (fma.f64 (/.f64 #s(literal 1/2 binary64) im) (.f64 re re) im))
(*.f64 re re)
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(log.f64 re)
(fma.f64 (*.f64 (/.f64 im re) #s(literal 1/2 binary64)) (/.f64 im re) (log.f64 re))
(fma.f64 (*.f64 (/.f64 im re) #s(literal 1/2 binary64)) (/.f64 im re) (fma.f64 (/.f64 (pow.f64 im #s(literal 4 binary64)) (pow.f64 re #s(literal 4 binary64))) #s(literal -1/4 binary64) (log.f64 re)))
(fma.f64 (.f64 (/.f64 im re) #s(literal 1/2 binary64)) (/.f64 im re) (+.f64 (fma.f64 (pow.f64 im #s(literal 4 binary64)) (/.f64 #s(literal -1/4 binary64) (pow.f64 re #s(literal 4 binary64))) (/.f64 (.f64 (pow.f64 im #s(literal 6 binary64)) #s(literal 1/6 binary64)) (pow.f64 re #s(literal 6 binary64)))) (log.f64 re)))
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
re
(fma.f64 (*.f64 (/.f64 im re) #s(literal 1/2 binary64)) im re)
(fma.f64 (.f64 #s(literal -1/8 binary64) re) (/.f64 (pow.f64 im #s(literal 4 binary64)) (pow.f64 re #s(literal 4 binary64))) (fma.f64 (.f64 (/.f64 im re) #s(literal 1/2 binary64)) im re))
(fma.f64 (fma.f64 (pow.f64 im #s(literal 6 binary64)) (/.f64 #s(literal 1/16 binary64) (pow.f64 re #s(literal 6 binary64))) (fma.f64 (pow.f64 im #s(literal 4 binary64)) (/.f64 #s(literal -1/8 binary64) (pow.f64 re #s(literal 4 binary64))) #s(literal 1 binary64))) re (.f64 (/.f64 (.f64 im im) re) #s(literal 1/2 binary64)))
(*.f64 re re)
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) re)))
(fma.f64 (*.f64 (/.f64 (/.f64 im re) re) im) #s(literal 1/2 binary64) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) re))))
(fma.f64 (fma.f64 (.f64 (/.f64 #s(literal -1/4 binary64) (pow.f64 re #s(literal 4 binary64))) im) im (/.f64 #s(literal 1/2 binary64) (.f64 re re))) (*.f64 im im) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) re))))
(fma.f64 (.f64 (fma.f64 (.f64 (/.f64 #s(literal -1/4 binary64) (pow.f64 re #s(literal 4 binary64))) im) im (/.f64 #s(literal 1/2 binary64) (.f64 re re))) im) im (-.f64 (/.f64 (.f64 (pow.f64 im #s(literal 6 binary64)) #s(literal 1/6 binary64)) (pow.f64 re #s(literal 6 binary64))) (log.f64 (/.f64 #s(literal -1 binary64) re))))
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(neg.f64 re)
(neg.f64 (fma.f64 (*.f64 (/.f64 im re) #s(literal 1/2 binary64)) im re))
(neg.f64 (fma.f64 (.f64 #s(literal -1/8 binary64) re) (/.f64 (pow.f64 im #s(literal 4 binary64)) (pow.f64 re #s(literal 4 binary64))) (fma.f64 (.f64 (/.f64 im re) #s(literal 1/2 binary64)) im re)))
(neg.f64 (fma.f64 (fma.f64 (pow.f64 im #s(literal 6 binary64)) (/.f64 #s(literal 1/16 binary64) (pow.f64 re #s(literal 6 binary64))) (fma.f64 (pow.f64 im #s(literal 4 binary64)) (/.f64 #s(literal -1/8 binary64) (pow.f64 re #s(literal 4 binary64))) #s(literal 1 binary64))) re (.f64 (/.f64 (.f64 im im) re) #s(literal 1/2 binary64))))
(*.f64 re re)
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(log.f64 re)
(fma.f64 (*.f64 (/.f64 im re) #s(literal 1/2 binary64)) (/.f64 im re) (log.f64 re))
(fma.f64 (*.f64 (/.f64 im re) #s(literal 1/2 binary64)) (/.f64 im re) (fma.f64 (/.f64 (pow.f64 im #s(literal 4 binary64)) (pow.f64 re #s(literal 4 binary64))) #s(literal -1/4 binary64) (log.f64 re)))
(fma.f64 (.f64 (/.f64 im re) #s(literal 1/2 binary64)) (/.f64 im re) (fma.f64 (fma.f64 (.f64 #s(literal 1/6 binary64) im) (/.f64 im (pow.f64 re #s(literal 6 binary64))) (/.f64 #s(literal -1/4 binary64) (pow.f64 re #s(literal 4 binary64)))) (pow.f64 im #s(literal 4 binary64)) (log.f64 re)))
(*.f64 im im)
(*.f64 im im)
(*.f64 im im)
(*.f64 im im)
re
(fma.f64 (*.f64 (/.f64 im re) #s(literal 1/2 binary64)) im re)
(fma.f64 (fma.f64 (.f64 (/.f64 #s(literal -1/8 binary64) (pow.f64 re #s(literal 3 binary64))) im) im (/.f64 #s(literal 1/2 binary64) re)) (.f64 im im) re)
(fma.f64 (fma.f64 (fma.f64 (.f64 #s(literal 1/16 binary64) im) (/.f64 im (pow.f64 re #s(literal 5 binary64))) (/.f64 #s(literal -1/8 binary64) (pow.f64 re #s(literal 3 binary64)))) (.f64 im im) (/.f64 #s(literal 1/2 binary64) re)) (*.f64 im im) re)
(*.f64 im im)
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(log.f64 im)
(fma.f64 (*.f64 (/.f64 (/.f64 re im) im) #s(literal 1/2 binary64)) re (log.f64 im))
(fma.f64 (pow.f64 re #s(literal 4 binary64)) (/.f64 #s(literal -1/4 binary64) (pow.f64 im #s(literal 4 binary64))) (fma.f64 (*.f64 (/.f64 (/.f64 re im) im) #s(literal 1/2 binary64)) re (log.f64 im)))
(fma.f64 (.f64 (/.f64 (/.f64 re im) im) #s(literal 1/2 binary64)) re (+.f64 (fma.f64 (pow.f64 re #s(literal 4 binary64)) (/.f64 #s(literal -1/4 binary64) (pow.f64 im #s(literal 4 binary64))) (/.f64 (.f64 (pow.f64 re #s(literal 6 binary64)) #s(literal 1/6 binary64)) (pow.f64 im #s(literal 6 binary64)))) (log.f64 im)))
(*.f64 im im)
(*.f64 im im)
(*.f64 im im)
(*.f64 im im)
im
(fma.f64 (/.f64 #s(literal 1/2 binary64) im) (*.f64 re re) im)
(fma.f64 (.f64 #s(literal -1/8 binary64) im) (/.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64))) (fma.f64 (/.f64 #s(literal 1/2 binary64) im) (.f64 re re) im))
(fma.f64 (fma.f64 (pow.f64 re #s(literal 6 binary64)) (/.f64 #s(literal 1/16 binary64) (pow.f64 im #s(literal 6 binary64))) (fma.f64 (pow.f64 re #s(literal 4 binary64)) (/.f64 #s(literal -1/8 binary64) (pow.f64 im #s(literal 4 binary64))) #s(literal 1 binary64))) im (.f64 (/.f64 (.f64 re re) im) #s(literal 1/2 binary64)))
(*.f64 im im)
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) im)))
(fma.f64 (*.f64 (/.f64 (/.f64 re im) im) re) #s(literal 1/2 binary64) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) im))))
(fma.f64 (/.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64))) #s(literal -1/4 binary64) (fma.f64 (*.f64 (/.f64 (/.f64 re im) im) re) #s(literal 1/2 binary64) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) im)))))
(fma.f64 (.f64 (fma.f64 (.f64 (/.f64 #s(literal -1/4 binary64) (pow.f64 im #s(literal 4 binary64))) re) re (/.f64 #s(literal 1/2 binary64) (.f64 im im))) re) re (-.f64 (/.f64 (.f64 (pow.f64 re #s(literal 6 binary64)) #s(literal 1/6 binary64)) (pow.f64 im #s(literal 6 binary64))) (log.f64 (/.f64 #s(literal -1 binary64) im))))
(*.f64 im im)
(*.f64 im im)
(*.f64 im im)
(*.f64 im im)
(neg.f64 im)
(neg.f64 (fma.f64 (/.f64 #s(literal 1/2 binary64) im) (*.f64 re re) im))
(neg.f64 (fma.f64 (.f64 #s(literal -1/8 binary64) im) (/.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64))) (fma.f64 (/.f64 #s(literal 1/2 binary64) im) (.f64 re re) im)))
(neg.f64 (fma.f64 (fma.f64 (pow.f64 re #s(literal 6 binary64)) (/.f64 #s(literal 1/16 binary64) (pow.f64 im #s(literal 6 binary64))) (fma.f64 (pow.f64 re #s(literal 4 binary64)) (/.f64 #s(literal -1/8 binary64) (pow.f64 im #s(literal 4 binary64))) #s(literal 1 binary64))) im (.f64 (/.f64 (.f64 re re) im) #s(literal 1/2 binary64))))

rewrite153.0ms (5.4%)

Memory

20.3MiB live, 210.0MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	30
0	12	30
1	31	30
2	199	30
3	1798	30
0	8149	19

Stop Event

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

Counts

5 → 260

Calls

Call 1

Inputs
(+.f64 (.f64 re re) (.f64 im im))
(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
(*.f64 re re)
(*.f64 im im)
(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

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>

eval54.0ms (1.9%)

Memory: -4.8MiB live, 121.4MiB allocated
Compiler: Compiled 9 176 to 1 339 computations (85.4% saved)

prune8.0ms (0.3%)

Memory

-13.7MiB live, 23.7MiB allocated

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	350	2	352
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	351	2	353

Accuracy

100.0%

Counts

353 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	55.0%	(.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64))
▶	99.3%	#s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im))

Compiler

Compiled 21 to 16 computations (23.8% saved)

simplify3.0ms (0.1%)

Memory

6.5MiB live, 6.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 6 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 re re)
cost-diff	0	(fma.f64 im im (*.f64 re re))
cost-diff	0	(log.f64 (fma.f64 im im (*.f64 re re)))
cost-diff	0	(.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64))
cost-diff	0	(log.f64 im)
cost-diff	0	#s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	43
0	19	42
1	21	42
0	21	38

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im))
(log.f64 im)
im
(.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64))
(log.f64 (fma.f64 im im (*.f64 re re)))
(fma.f64 im im (*.f64 re re))
im
(*.f64 re re)
re
#s(literal 1/2 binary64)

Outputs
#s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im))
(log.f64 im)
im
(.f64 #s(literal 1/2 binary64) (log.f64 (fma.f64 im im (.f64 re re))))
(log.f64 (fma.f64 im im (*.f64 re re)))
(fma.f64 im im (*.f64 re re))
im
(*.f64 re re)
re
#s(literal 1/2 binary64)

localize92.0ms (3.3%)

Memory

-8.7MiB live, 120.3MiB allocated

Localize:

Found 6 expressions of interest:

New	Metric	Score
accuracy	0	(fma.f64 im im (*.f64 re re))
accuracy	0	(.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64))
accuracy	0	(*.f64 re re)
accuracy	28.813764559056352	(log.f64 (fma.f64 im im (*.f64 re re)))
accuracy	0	(log.f64 im)
accuracy	0.4197058531826813	#s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im))

Samples

84.0ms

256×

valid

Compiler

Compiled 88 to 27 computations (69.3% saved)

Precisions

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

ival-log: 51.0ms (67.8% of total)

ival-hypot: 15.0ms (19.9% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series67.0ms (2.4%)

Memory

0.3MiB live, 153.2MiB allocated

Counts

6 → 120

Calls

Call 1

Inputs
#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (log.f64 im) #<representation binary64>) () ())
#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf re) (#s(alt #<batchref> (patch (*.f64 re re) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (log.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (log.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (log.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (log.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 im) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (log.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (log.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (log.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (log.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf im) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch #s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (log.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (log.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (log.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (log.f64 im) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (log.f64 (fma.f64 im im (*.f64 re re))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf im) (#s(alt #<batchref> (patch (fma.f64 im im (*.f64 re re)) #<representation binary64>) () ())) ())

Calls

6 calls:

Time	Variable		Point	Expression
27.0ms	im	@	0	((log (sqrt (+ (* re re) (* im im)))) (log im) (* (log (+ (* im im) (* re re))) 1/2) (log (+ (* im im) (* re re))) (+ (* im im) (* re re)) (* re re))
20.0ms	im	@	-inf	((log (sqrt (+ (* re re) (* im im)))) (log im) (* (log (+ (* im im) (* re re))) 1/2) (log (+ (* im im) (* re re))) (+ (* im im) (* re re)) (* re re))
12.0ms	im	@	inf	((log (sqrt (+ (* re re) (* im im)))) (log im) (* (log (+ (* im im) (* re re))) 1/2) (log (+ (* im im) (* re re))) (+ (* im im) (* re re)) (* re re))
2.0ms	re	@	0	((log (sqrt (+ (* re re) (* im im)))) (log im) (* (log (+ (* im im) (* re re))) 1/2) (log (+ (* im im) (* re re))) (+ (* im im) (* re re)) (* re re))
1.0ms	re	@	inf	((log (sqrt (+ (* re re) (* im im)))) (log im) (* (log (+ (* im im) (* re re))) 1/2) (log (+ (* im im) (* re re))) (+ (* im im) (* re re)) (* re re))

simplify295.0ms (10.4%)

Memory

-0.2MiB live, 351.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	186	1614
1	490	1572
2	1305	1532
3	3518	1532
4	7763	1532
0	8034	1418

Stop Event

1×	iter limit
1×	node limit

Counts

120 → 120

Calls

Call 1

Inputs
(log im)
(+ (log im) (* 1/2 (/ (pow re 2) (pow im 2))))
(+ (log im) (* (pow re 2) (+ (* -1/4 (/ (pow re 2) (pow im 4))) (* 1/2 (/ 1 (pow im 2))))))
(+ (log im) (* (pow re 2) (+ (* (pow re 2) (- (* 1/6 (/ (pow re 2) (pow im 6))) (* 1/4 (/ 1 (pow im 4))))) (* 1/2 (/ 1 (pow im 2))))))
(* 1/2 (log (pow im 2)))
(+ (* 1/2 (log (pow im 2))) (* 1/2 (/ (pow re 2) (pow im 2))))
(+ (* 1/2 (log (pow im 2))) (* (pow re 2) (+ (* -1/4 (/ (pow re 2) (pow im 4))) (* 1/2 (/ 1 (pow im 2))))))
(+ (* 1/2 (log (pow im 2))) (* (pow re 2) (+ (* (pow re 2) (- (* 1/6 (/ (pow re 2) (pow im 6))) (* 1/4 (/ 1 (pow im 4))))) (* 1/2 (/ 1 (pow im 2))))))
(log (pow im 2))
(+ (log (pow im 2)) (/ (pow re 2) (pow im 2)))
(+ (log (pow im 2)) (* (pow re 2) (+ (* -1/2 (/ (pow re 2) (pow im 4))) (/ 1 (pow im 2)))))
(+ (log (pow im 2)) (* (pow re 2) (+ (* (pow re 2) (- (* 1/3 (/ (pow re 2) (pow im 6))) (* 1/2 (/ 1 (pow im 4))))) (/ 1 (pow im 2)))))
(pow im 2)
(+ (pow im 2) (pow re 2))
(+ (pow im 2) (pow re 2))
(+ (pow im 2) (pow re 2))
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(* -1 (log (/ 1 re)))
(+ (* -1 (log (/ 1 re))) (* 1/2 (/ (pow im 2) (pow re 2))))
(+ (* -1 (log (/ 1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))
(+ (* -1 (log (/ 1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (+ (* 1/720 (/ (+ (* 30 (pow im 6)) (* 90 (pow im 6))) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))
(* -1 (log (/ 1 re)))
(+ (* -1 (log (/ 1 re))) (* 1/2 (/ (pow im 2) (pow re 2))))
(+ (* -1 (log (/ 1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))
(+ (* -1 (log (/ 1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (+ (* 1/6 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))
(* -2 (log (/ 1 re)))
(+ (* -2 (log (/ 1 re))) (/ (pow im 2) (pow re 2)))
(+ (* -2 (log (/ 1 re))) (+ (* -1/2 (/ (pow im 4) (pow re 4))) (/ (pow im 2) (pow re 2))))
(+ (* -2 (log (/ 1 re))) (+ (* -1/2 (/ (pow im 4) (pow re 4))) (+ (* 1/3 (/ (pow im 6) (pow re 6))) (/ (pow im 2) (pow re 2)))))
(pow re 2)
(* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))
(* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))
(* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(* -1 (log (/ -1 re)))
(+ (* -1 (log (/ -1 re))) (* 1/2 (/ (pow im 2) (pow re 2))))
(+ (* -1 (log (/ -1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))
(+ (* -1 (log (/ -1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (+ (* 1/720 (/ (+ (* 30 (pow im 6)) (* 90 (pow im 6))) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))
(* -1 (log (/ -1 re)))
(+ (* -1 (log (/ -1 re))) (* 1/2 (/ (pow im 2) (pow re 2))))
(+ (* -1 (log (/ -1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))
(+ (* -1 (log (/ -1 re))) (+ (* -1/4 (/ (pow im 4) (pow re 4))) (+ (* 1/6 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))
(* -2 (log (/ -1 re)))
(+ (* -2 (log (/ -1 re))) (/ (pow im 2) (pow re 2)))
(+ (* -2 (log (/ -1 re))) (+ (* -1/2 (/ (pow im 4) (pow re 4))) (/ (pow im 2) (pow re 2))))
(+ (* -2 (log (/ -1 re))) (+ (* -1/2 (/ (pow im 4) (pow re 4))) (+ (* 1/3 (/ (pow im 6) (pow re 6))) (/ (pow im 2) (pow re 2)))))
(pow re 2)
(* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))
(* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))
(* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2))))
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(log re)
(+ (log re) (* 1/2 (/ (pow im 2) (pow re 2))))
(+ (log re) (* (pow im 2) (+ (* -1/4 (/ (pow im 2) (pow re 4))) (* 1/2 (/ 1 (pow re 2))))))
(+ (log re) (* (pow im 2) (+ (* (pow im 2) (- (* 1/6 (/ (pow im 2) (pow re 6))) (* 1/4 (/ 1 (pow re 4))))) (* 1/2 (/ 1 (pow re 2))))))
(log im)
(log im)
(log im)
(log im)
(* 1/2 (log (pow re 2)))
(+ (* 1/2 (log (pow re 2))) (* 1/2 (/ (pow im 2) (pow re 2))))
(+ (* 1/2 (log (pow re 2))) (* (pow im 2) (+ (* -1/4 (/ (pow im 2) (pow re 4))) (* 1/2 (/ 1 (pow re 2))))))
(+ (* 1/2 (log (pow re 2))) (* (pow im 2) (+ (* (pow im 2) (- (* 1/6 (/ (pow im 2) (pow re 6))) (* 1/4 (/ 1 (pow re 4))))) (* 1/2 (/ 1 (pow re 2))))))
(log (pow re 2))
(+ (log (pow re 2)) (/ (pow im 2) (pow re 2)))
(+ (log (pow re 2)) (* (pow im 2) (+ (* -1/2 (/ (pow im 2) (pow re 4))) (/ 1 (pow re 2)))))
(+ (log (pow re 2)) (* (pow im 2) (+ (* (pow im 2) (- (* 1/3 (/ (pow im 2) (pow re 6))) (* 1/2 (/ 1 (pow re 4))))) (/ 1 (pow re 2)))))
(pow re 2)
(+ (pow im 2) (pow re 2))
(+ (pow im 2) (pow re 2))
(+ (pow im 2) (pow re 2))
(* -1 (log (/ 1 im)))
(+ (* -1 (log (/ 1 im))) (* 1/2 (/ (pow re 2) (pow im 2))))
(+ (* -1 (log (/ 1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))
(+ (* -1 (log (/ 1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (+ (* 1/720 (/ (+ (* 30 (pow re 6)) (* 90 (pow re 6))) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))
(* -1 (log (/ 1 im)))
(* -1 (log (/ 1 im)))
(* -1 (log (/ 1 im)))
(* -1 (log (/ 1 im)))
(* -1 (log (/ 1 im)))
(+ (* -1 (log (/ 1 im))) (* 1/2 (/ (pow re 2) (pow im 2))))
(+ (* -1 (log (/ 1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))
(+ (* -1 (log (/ 1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (+ (* 1/6 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))
(* -2 (log (/ 1 im)))
(+ (* -2 (log (/ 1 im))) (/ (pow re 2) (pow im 2)))
(+ (* -2 (log (/ 1 im))) (+ (* -1/2 (/ (pow re 4) (pow im 4))) (/ (pow re 2) (pow im 2))))
(+ (* -2 (log (/ 1 im))) (+ (* -1/2 (/ (pow re 4) (pow im 4))) (+ (* 1/3 (/ (pow re 6) (pow im 6))) (/ (pow re 2) (pow im 2)))))
(pow im 2)
(* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))
(* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))
(* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))
(* -1 (log (/ -1 im)))
(+ (* -1 (log (/ -1 im))) (* 1/2 (/ (pow re 2) (pow im 2))))
(+ (* -1 (log (/ -1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))
(+ (* -1 (log (/ -1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (+ (* 1/720 (/ (+ (* 30 (pow re 6)) (* 90 (pow re 6))) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))
(+ (log -1) (* -1 (log (/ -1 im))))
(+ (log -1) (* -1 (log (/ -1 im))))
(+ (log -1) (* -1 (log (/ -1 im))))
(+ (log -1) (* -1 (log (/ -1 im))))
(* -1 (log (/ -1 im)))
(+ (* -1 (log (/ -1 im))) (* 1/2 (/ (pow re 2) (pow im 2))))
(+ (* -1 (log (/ -1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))
(+ (* -1 (log (/ -1 im))) (+ (* -1/4 (/ (pow re 4) (pow im 4))) (+ (* 1/6 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))
(* -2 (log (/ -1 im)))
(+ (* -2 (log (/ -1 im))) (/ (pow re 2) (pow im 2)))
(+ (* -2 (log (/ -1 im))) (+ (* -1/2 (/ (pow re 4) (pow im 4))) (/ (pow re 2) (pow im 2))))
(+ (* -2 (log (/ -1 im))) (+ (* -1/2 (/ (pow re 4) (pow im 4))) (+ (* 1/3 (/ (pow re 6) (pow im 6))) (/ (pow re 2) (pow im 2)))))
(pow im 2)
(* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))
(* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))
(* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))

Outputs
(log.f64 im)
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) im) re) (/.f64 re im) (log.f64 im))
(fma.f64 (/.f64 #s(literal -1/4 binary64) (pow.f64 im #s(literal 4 binary64))) (pow.f64 re #s(literal 4 binary64)) (fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) im) re) (/.f64 re im) (log.f64 im)))
(fma.f64 (.f64 (/.f64 #s(literal 1/2 binary64) im) re) (/.f64 re im) (fma.f64 (pow.f64 re #s(literal 4 binary64)) (fma.f64 (.f64 #s(literal 1/6 binary64) re) (/.f64 re (pow.f64 im #s(literal 6 binary64))) (/.f64 #s(literal -1/4 binary64) (pow.f64 im #s(literal 4 binary64)))) (log.f64 im)))
(.f64 (log.f64 (.f64 im im)) #s(literal 1/2 binary64))
(.f64 (fma.f64 (/.f64 (/.f64 re im) im) re (log.f64 (.f64 im im))) #s(literal 1/2 binary64))
(fma.f64 (fma.f64 (/.f64 (/.f64 re im) im) re (log.f64 (.f64 im im))) #s(literal 1/2 binary64) (.f64 (/.f64 #s(literal -1/4 binary64) (pow.f64 im #s(literal 4 binary64))) (pow.f64 re #s(literal 4 binary64))))
(fma.f64 (fma.f64 (/.f64 (/.f64 re im) im) re (log.f64 (.f64 im im))) #s(literal 1/2 binary64) (.f64 (pow.f64 re #s(literal 4 binary64)) (fma.f64 (*.f64 #s(literal 1/6 binary64) re) (/.f64 re (pow.f64 im #s(literal 6 binary64))) (/.f64 #s(literal -1/4 binary64) (pow.f64 im #s(literal 4 binary64))))))
(log.f64 (*.f64 im im))
(fma.f64 (/.f64 (/.f64 re im) im) re (log.f64 (*.f64 im im)))
(fma.f64 (/.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 4 binary64))) (pow.f64 re #s(literal 4 binary64)) (fma.f64 (/.f64 (/.f64 re im) im) re (log.f64 (*.f64 im im))))
(fma.f64 (pow.f64 re #s(literal 4 binary64)) (fma.f64 (.f64 #s(literal 1/3 binary64) re) (/.f64 re (pow.f64 im #s(literal 6 binary64))) (/.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 4 binary64)))) (fma.f64 (/.f64 (/.f64 re im) im) re (log.f64 (.f64 im im))))
(*.f64 im im)
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(log.f64 re)
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) im) (/.f64 im re) (log.f64 re))
(fma.f64 (/.f64 #s(literal -1/4 binary64) (pow.f64 re #s(literal 4 binary64))) (pow.f64 im #s(literal 4 binary64)) (fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) im) (/.f64 im re) (log.f64 re)))
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) im) (/.f64 im re) (fma.f64 (pow.f64 im #s(literal 6 binary64)) (/.f64 #s(literal 1/6 binary64) (pow.f64 re #s(literal 6 binary64))) (fma.f64 (/.f64 #s(literal -1/4 binary64) (pow.f64 re #s(literal 4 binary64))) (pow.f64 im #s(literal 4 binary64)) (log.f64 re))))
(log.f64 re)
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) im) (/.f64 im re) (log.f64 re))
(fma.f64 (/.f64 #s(literal -1/4 binary64) (pow.f64 re #s(literal 4 binary64))) (pow.f64 im #s(literal 4 binary64)) (fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) im) (/.f64 im re) (log.f64 re)))
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) im) (/.f64 im re) (fma.f64 (pow.f64 im #s(literal 6 binary64)) (/.f64 #s(literal 1/6 binary64) (pow.f64 re #s(literal 6 binary64))) (fma.f64 (/.f64 #s(literal -1/4 binary64) (pow.f64 re #s(literal 4 binary64))) (pow.f64 im #s(literal 4 binary64)) (log.f64 re))))
(*.f64 (log.f64 re) #s(literal 2 binary64))
(fma.f64 (/.f64 (/.f64 im re) re) im (*.f64 (log.f64 re) #s(literal 2 binary64)))
(fma.f64 (/.f64 #s(literal -1/2 binary64) (pow.f64 re #s(literal 4 binary64))) (pow.f64 im #s(literal 4 binary64)) (fma.f64 (/.f64 (/.f64 im re) re) im (*.f64 (log.f64 re) #s(literal 2 binary64))))
(fma.f64 (log.f64 re) #s(literal 2 binary64) (fma.f64 (/.f64 #s(literal -1/2 binary64) (pow.f64 re #s(literal 4 binary64))) (pow.f64 im #s(literal 4 binary64)) (fma.f64 (/.f64 (/.f64 im re) re) im (*.f64 (pow.f64 im #s(literal 6 binary64)) (/.f64 #s(literal 1/3 binary64) (pow.f64 re #s(literal 6 binary64)))))))
(*.f64 re re)
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) re)))
(fma.f64 (*.f64 (/.f64 (/.f64 im re) re) im) #s(literal 1/2 binary64) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) re))))
(fma.f64 (/.f64 (pow.f64 im #s(literal 4 binary64)) (pow.f64 re #s(literal 4 binary64))) #s(literal -1/4 binary64) (fma.f64 (*.f64 (/.f64 (/.f64 im re) re) im) #s(literal 1/2 binary64) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) re)))))
(fma.f64 (.f64 (fma.f64 (.f64 (/.f64 im (pow.f64 re #s(literal 4 binary64))) #s(literal -1/4 binary64)) im (/.f64 #s(literal 1/2 binary64) (*.f64 re re))) im) im (fma.f64 (/.f64 (pow.f64 im #s(literal 6 binary64)) (pow.f64 re #s(literal 6 binary64))) #s(literal 1/6 binary64) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) re)))))
(neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) re)))
(fma.f64 (*.f64 (/.f64 (/.f64 im re) re) im) #s(literal 1/2 binary64) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) re))))
(fma.f64 (/.f64 (pow.f64 im #s(literal 4 binary64)) (pow.f64 re #s(literal 4 binary64))) #s(literal -1/4 binary64) (fma.f64 (*.f64 (/.f64 (/.f64 im re) re) im) #s(literal 1/2 binary64) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) re)))))
(fma.f64 (.f64 (fma.f64 (.f64 (/.f64 im (pow.f64 re #s(literal 4 binary64))) #s(literal -1/4 binary64)) im (/.f64 #s(literal 1/2 binary64) (*.f64 re re))) im) im (fma.f64 (/.f64 (pow.f64 im #s(literal 6 binary64)) (pow.f64 re #s(literal 6 binary64))) #s(literal 1/6 binary64) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) re)))))
(*.f64 (log.f64 (/.f64 #s(literal -1 binary64) re)) #s(literal -2 binary64))
(fma.f64 (log.f64 (/.f64 #s(literal -1 binary64) re)) #s(literal -2 binary64) (*.f64 (/.f64 (/.f64 im re) re) im))
(fma.f64 (/.f64 (pow.f64 im #s(literal 4 binary64)) (pow.f64 re #s(literal 4 binary64))) #s(literal -1/2 binary64) (fma.f64 (log.f64 (/.f64 #s(literal -1 binary64) re)) #s(literal -2 binary64) (*.f64 (/.f64 (/.f64 im re) re) im)))
(fma.f64 (log.f64 (/.f64 #s(literal -1 binary64) re)) #s(literal -2 binary64) (fma.f64 (/.f64 #s(literal -1/2 binary64) (pow.f64 re #s(literal 4 binary64))) (pow.f64 im #s(literal 4 binary64)) (fma.f64 (/.f64 (/.f64 im re) re) im (*.f64 (pow.f64 im #s(literal 6 binary64)) (/.f64 #s(literal 1/3 binary64) (pow.f64 re #s(literal 6 binary64)))))))
(*.f64 re re)
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(*.f64 re re)
(log.f64 re)
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) im) (/.f64 im re) (log.f64 re))
(fma.f64 (/.f64 #s(literal -1/4 binary64) (pow.f64 re #s(literal 4 binary64))) (pow.f64 im #s(literal 4 binary64)) (fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) re) im) (/.f64 im re) (log.f64 re)))
(fma.f64 (.f64 (/.f64 #s(literal 1/2 binary64) re) im) (/.f64 im re) (fma.f64 (fma.f64 (.f64 #s(literal 1/6 binary64) im) (/.f64 im (pow.f64 re #s(literal 6 binary64))) (/.f64 #s(literal -1/4 binary64) (pow.f64 re #s(literal 4 binary64)))) (pow.f64 im #s(literal 4 binary64)) (log.f64 re)))
(log.f64 im)
(log.f64 im)
(log.f64 im)
(log.f64 im)
(.f64 (log.f64 (.f64 re re)) #s(literal 1/2 binary64))
(.f64 (fma.f64 (/.f64 (/.f64 im re) re) im (log.f64 (.f64 re re))) #s(literal 1/2 binary64))
(fma.f64 (fma.f64 (/.f64 (/.f64 im re) re) im (log.f64 (.f64 re re))) #s(literal 1/2 binary64) (.f64 (/.f64 #s(literal -1/4 binary64) (pow.f64 re #s(literal 4 binary64))) (pow.f64 im #s(literal 4 binary64))))
(fma.f64 (fma.f64 (/.f64 (/.f64 im re) re) im (log.f64 (.f64 re re))) #s(literal 1/2 binary64) (.f64 (fma.f64 (*.f64 #s(literal 1/6 binary64) im) (/.f64 im (pow.f64 re #s(literal 6 binary64))) (/.f64 #s(literal -1/4 binary64) (pow.f64 re #s(literal 4 binary64)))) (pow.f64 im #s(literal 4 binary64))))
(log.f64 (*.f64 re re))
(fma.f64 (/.f64 (/.f64 im re) re) im (log.f64 (*.f64 re re)))
(fma.f64 (/.f64 #s(literal -1/2 binary64) (pow.f64 re #s(literal 4 binary64))) (pow.f64 im #s(literal 4 binary64)) (fma.f64 (/.f64 (/.f64 im re) re) im (log.f64 (*.f64 re re))))
(fma.f64 (fma.f64 (.f64 #s(literal 1/3 binary64) im) (/.f64 im (pow.f64 re #s(literal 6 binary64))) (/.f64 #s(literal -1/2 binary64) (pow.f64 re #s(literal 4 binary64)))) (pow.f64 im #s(literal 4 binary64)) (fma.f64 (/.f64 (/.f64 im re) re) im (log.f64 (.f64 re re))))
(*.f64 re re)
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(log.f64 im)
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) im) re) (/.f64 re im) (log.f64 im))
(fma.f64 (/.f64 #s(literal -1/4 binary64) (pow.f64 im #s(literal 4 binary64))) (pow.f64 re #s(literal 4 binary64)) (fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) im) re) (/.f64 re im) (log.f64 im)))
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) im) re) (/.f64 re im) (fma.f64 (pow.f64 re #s(literal 6 binary64)) (/.f64 #s(literal 1/6 binary64) (pow.f64 im #s(literal 6 binary64))) (fma.f64 (/.f64 #s(literal -1/4 binary64) (pow.f64 im #s(literal 4 binary64))) (pow.f64 re #s(literal 4 binary64)) (log.f64 im))))
(log.f64 im)
(log.f64 im)
(log.f64 im)
(log.f64 im)
(log.f64 im)
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) im) re) (/.f64 re im) (log.f64 im))
(fma.f64 (/.f64 #s(literal -1/4 binary64) (pow.f64 im #s(literal 4 binary64))) (pow.f64 re #s(literal 4 binary64)) (fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) im) re) (/.f64 re im) (log.f64 im)))
(fma.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) im) re) (/.f64 re im) (fma.f64 (pow.f64 re #s(literal 6 binary64)) (/.f64 #s(literal 1/6 binary64) (pow.f64 im #s(literal 6 binary64))) (fma.f64 (/.f64 #s(literal -1/4 binary64) (pow.f64 im #s(literal 4 binary64))) (pow.f64 re #s(literal 4 binary64)) (log.f64 im))))
(*.f64 (log.f64 im) #s(literal 2 binary64))
(fma.f64 (/.f64 (/.f64 re im) im) re (*.f64 (log.f64 im) #s(literal 2 binary64)))
(fma.f64 (/.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 4 binary64))) (pow.f64 re #s(literal 4 binary64)) (fma.f64 (/.f64 (/.f64 re im) im) re (*.f64 (log.f64 im) #s(literal 2 binary64))))
(fma.f64 (log.f64 im) #s(literal 2 binary64) (fma.f64 (/.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 4 binary64))) (pow.f64 re #s(literal 4 binary64)) (fma.f64 (/.f64 (/.f64 re im) im) re (*.f64 (pow.f64 re #s(literal 6 binary64)) (/.f64 #s(literal 1/3 binary64) (pow.f64 im #s(literal 6 binary64)))))))
(*.f64 im im)
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) im)))
(fma.f64 (*.f64 (/.f64 (/.f64 re im) im) re) #s(literal 1/2 binary64) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) im))))
(fma.f64 (/.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64))) #s(literal -1/4 binary64) (fma.f64 (*.f64 (/.f64 (/.f64 re im) im) re) #s(literal 1/2 binary64) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) im)))))
(fma.f64 (/.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64))) #s(literal -1/4 binary64) (fma.f64 (/.f64 (pow.f64 re #s(literal 6 binary64)) (pow.f64 im #s(literal 6 binary64))) #s(literal 1/6 binary64) (fma.f64 (*.f64 (/.f64 (/.f64 re im) im) re) #s(literal 1/2 binary64) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) im))))))
(-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) im)))
(-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) im)))
(-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) im)))
(-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) im)))
(neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) im)))
(fma.f64 (*.f64 (/.f64 (/.f64 re im) im) re) #s(literal 1/2 binary64) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) im))))
(fma.f64 (/.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64))) #s(literal -1/4 binary64) (fma.f64 (*.f64 (/.f64 (/.f64 re im) im) re) #s(literal 1/2 binary64) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) im)))))
(fma.f64 (/.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64))) #s(literal -1/4 binary64) (fma.f64 (/.f64 (pow.f64 re #s(literal 6 binary64)) (pow.f64 im #s(literal 6 binary64))) #s(literal 1/6 binary64) (fma.f64 (*.f64 (/.f64 (/.f64 re im) im) re) #s(literal 1/2 binary64) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) im))))))
(*.f64 (log.f64 (/.f64 #s(literal -1 binary64) im)) #s(literal -2 binary64))
(fma.f64 (log.f64 (/.f64 #s(literal -1 binary64) im)) #s(literal -2 binary64) (*.f64 (/.f64 (/.f64 re im) im) re))
(fma.f64 (/.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64))) #s(literal -1/2 binary64) (fma.f64 (log.f64 (/.f64 #s(literal -1 binary64) im)) #s(literal -2 binary64) (*.f64 (/.f64 (/.f64 re im) im) re)))
(fma.f64 (log.f64 (/.f64 #s(literal -1 binary64) im)) #s(literal -2 binary64) (fma.f64 (/.f64 #s(literal -1/2 binary64) (pow.f64 im #s(literal 4 binary64))) (pow.f64 re #s(literal 4 binary64)) (fma.f64 (/.f64 (/.f64 re im) im) re (*.f64 (pow.f64 re #s(literal 6 binary64)) (/.f64 #s(literal 1/3 binary64) (pow.f64 im #s(literal 6 binary64)))))))
(*.f64 im im)
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))

rewrite255.0ms (9%)

Memory

-15.8MiB live, 210.5MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	39
0	19	38
1	47	37
2	316	37
3	3335	37
0	8731	29

Stop Event

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

Counts

6 → 255

Calls

Call 1

Inputs
#s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im))
(log.f64 im)
(.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64))
(log.f64 (fma.f64 im im (*.f64 re re)))
(fma.f64 im im (*.f64 re re))
(*.f64 re re)

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>

eval120.0ms (4.3%)

Memory: 3.8MiB live, 86.8MiB allocated
Compiler: Compiled 9 839 to 1 302 computations (86.8% saved)

prune10.0ms (0.4%)

Memory

-6.7MiB live, 31.5MiB allocated

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	375	0	375
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	375	2	377

Accuracy

100.0%

Counts

377 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	55.0%	(.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64))
✓	99.3%	#s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im))

Compiler

Compiled 51 to 34 computations (33.3% saved)

regimes15.0ms (0.5%)

Memory

-3.4MiB live, 34.6MiB allocated

Accuracy

Total -28.8b remaining (-6865.4%)

Threshold costs -28.8b (-6865.4%)

Counts

3 → 1

Calls

Call 1

Inputs
#s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im))
(.f64 (log.f64 (fma.f64 im im (.f64 re re))) #s(literal 1/2 binary64))
(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))

Outputs
#s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im))

Calls

7 calls:

4.0ms	im
2.0ms	(*.f64 im im)
2.0ms	re
2.0ms	(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
2.0ms	(+.f64 (.f64 re re) (.f64 im im))

Results

Accuracy	Segments	Branch
99.3%	1	`re`
99.3%	1	`im`
99.3%	1	`(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))`
99.3%	1	`(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))`
99.3%	1	`(+.f64 (.f64 re re) (.f64 im im))`
99.3%	1	`(*.f64 re re)`
99.3%	1	`(*.f64 im im)`

Compiler

Compiled 32 to 28 computations (12.5% saved)

simplify24.0ms (0.8%)

Memory

0.5MiB live, 46.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	12

Stop Event

1×

saturated

Calls

Call 1

Inputs
#s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im))

Outputs
#s(approx (log (sqrt (+ (* re re) (* im im)))) (log.f64 im))

soundness139.0ms (4.9%)

Memory

-6.7MiB live, 108.5MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	186	1076
1	510	1054
2	1532	1044
3	5373	1010
0	8233	932

Stop Event

1×	done
1×	iter limit
1×	node limit

Compiler

Compiled 14 to 12 computations (14.3% saved)

preprocess62.0ms (2.2%)

Memory: 5.5MiB live, 123.1MiB allocated
Compiler: Compiled 114 to 86 computations (24.6% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze55.0ms (1.9%)

sample1.0s (35.8%)

explain153.0ms (5.4%)

preprocess41.0ms (1.4%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify3.0ms (0.1%)

localize26.0ms (0.9%)

series65.0ms (2.3%)

simplify176.0ms (6.2%)

rewrite153.0ms (5.4%)

eval54.0ms (1.9%)

prune8.0ms (0.3%)

simplify3.0ms (0.1%)

localize92.0ms (3.3%)

series67.0ms (2.4%)

simplify295.0ms (10.4%)

rewrite255.0ms (9%)

eval120.0ms (4.3%)

prune10.0ms (0.4%)

regimes15.0ms (0.5%)

simplify24.0ms (0.8%)

soundness139.0ms (4.9%)

preprocess62.0ms (2.2%)

end0.0ms (0%)

Profiling